Write and use summation over repeated Cartesian indices. A mass-normalized galactic distribution function obeys the Collisionless Boltzmann equation
Assume decays in velocity sufficiently fast that the necessary boundary terms vanish. Its zeroth velocity moment gives the continuity equation
For the first velocity moment, multiply by and integrate. In the gravitational term, integration by parts gives . Therefore
The velocity-dispersion tensor is the centered second moment, so . Expanding the streaming terms, the factor multiplying cancels by the continuity equation:
Hence the Jeans equation is
Its fluid analogue is the momentum equation with pressure tensor . For isotropic random motion, , and this becomes the Euler equations for an inviscid fluid:
The tensor form allows anisotropic stellar stresses. In a fluid an equation of state can provide a pressure closure; the Jeans equation alone does not determine the velocity-dispersion tensor of a collisionless stellar system.
Use relative energy , with . If the galactic distribution function depends on alone, rotations and sign reversals in velocity space leave it unchanged. Thus all mean velocities vanish, and the three component second moments are equal. The anisotropy term in the Spherical Jeans equation cancels. With constant radial velocity dispersion , it reduces to
Integration gives the isothermal collisionless tracer density
The constant changes if a constant is added to the potential; this has no effect on the velocity distribution.
Apply the given untruncated Eddington inversion, retaining its lower limit . Define its integral before differentiation by . With , the Gaussian integral gives
Differentiating and multiplying by yields
Indeed, at a fixed position this is
whose integral over all velocities is and whose component second moments are . This checks both the normalization and the velocity dispersion.
Let be the line of sight component of velocity. Integrate this Maxwell-Boltzmann velocity distribution over the two transverse components:
At projected radius , integrating along the line of sight simply replaces by the projected surface density . Dividing by gives the spectroscopist's normalized Gaussian line-of-sight velocity distribution:
It is a zero-mean normal distribution with width , independent of projected radius. This is the untruncated model specified by the lower limit in the inversion formula: no escape-energy cutoff has been imposed. A population restricted to positive binding energy would have truncated velocity tails and would not obey this exact Gaussian density law in a finite escape potential.
Put , take without loss of generality, and write . The Newtonian gravitational potential is singular at the origin; all pointwise claims below concern . The zero of the Newtonian gravitational potential is the one in the paper, with an implicit fixed length unit inside the logarithm.
The Poisson equation for Newtonian gravity in cylindrical coordinates gives
The two contributions to the Laplacian are
Consequently the mass density of the axisymmetric logarithmic gravitational potential is
The coefficient of is positive. The coefficient of determines the density positivity for an axisymmetric logarithmic potential: strict positivity at every noncentral point requires and . Nonnegativity permits , where the mass density vanishes on the noncentral symmetry axis. For it is negative near that axis. Either sign of a nonzero real gives the same model, and is undefined. Setting yields vacuum away from the singular origin, not strictly positive mass density. The central cusp is locally integrable and contains no hidden point mass: the Newtonian gravitational field flux through a shrinking sphere is of order its radius.
An equatorial circular orbit requires inward gravitational acceleration equal to . Thus the circular speed is
This is a flat galaxy rotation curve. The singular center does not define an additional circular orbit at .
Figure 1.
Flat equatorial rotation curve of the singular logarithmic galaxy; the central point is excluded
. Details.
The specific orbital energy is conserved because the Newtonian gravitational potential is time independent. The axial specific angular momentum is conserved because the Newtonian gravitational potential is axisymmetric. Hence the Jeans theorem, or directly in the Collisionless Boltzmann equation, permits a stationary two-integral galactic distribution function. Using makes this galactic distribution function even under reversal of the azimuthal velocity, so it describes a nonstreaming population. A general axisymmetric population can have an odd part in , or dependence on a third integral of motion; neither is required for this construction.
At each position define . The two-integral galactic distribution function is invariant under swapping and , since only their sum of squares occurs in . It is also even in each velocity component. Swapping integration variables proves meridional velocity isotropy of a two-integral distribution, while reflecting one variable makes each mixed integrand odd. Therefore
All mean velocities vanish, so these are also the corresponding statements for the velocity ellipsoid and its centered covariance tensor. They do not require to equal either meridional second moment.
To normalize the proposed logarithmic-potential two-integral distribution, first separate the mass density into terms with the same spatial factors as the two exponentials:
Since and , the Gaussian integral and its derivative give
Thus velocity integration of the galactic distribution function yields . Matching the independent spatial factors determines
This verifies both the stationary Collisionless Boltzmann equation and the required Poisson equation for Newtonian gravity. A shift changes the normalizations to and ; the physical mass density is unchanged.
There is an important distinction between positive mass density and a nonnegative galactic distribution function. For , both coefficients above are nonnegative. For a prolate model , and one must test the sum rather than reject the model just because one term is negative. On accessible phase space,
with equality in the equatorial plane at , . The nonnegativity bound for a prolate logarithmic-potential distribution is consequently
For larger , the displayed algebraic expression still integrates to the positive mass density, but is negative at those equatorial circular orbit phase points and is not a physical galactic distribution function. This extra restriction is distinct from the earlier density-only answer.
Let , , and . The Jeans equation obtained by taking the first velocity moment of the Collisionless Boltzmann equation is
For an equilibrium population multiply by and integrate. Integration by parts gives
Assume the integrals exist and the boundary flux vanishes, as for an isolated finite system with adequate decay. With the stellar kinetic-energy tensor, stellar pressure-energy tensor and stellar potential-energy tensor defined by
we obtain the equilibrium tensor virial theorem
The stellar kinetic-energy tensor describes ordered motion, whereas the stellar pressure-energy tensor describes random motion. In particular, does not mean the stars have no kinetic energy. If a surface flux is retained, the right side of the displayed equilibrium identity is that surface tensor; it cannot be discarded for an arbitrary finite aperture. For an isolated self-gravitating population, is symmetric by pairwise interchange in the Newtonian interaction integral, and the time-dependent identity is with .
For the spherical Newtonian gravitational potential, . In the pressure-supported case the tensor virial theorem gives . The notation used in this question is the planar virial trace , not just the integral of the local cylindrical radial velocity dispersion. In cylindrical coordinates this trace includes both and . Summing the two Cartesian components therefore gives
The distinction explains the factor of two in the spherical limit.
Use ordinary spherical coordinates, , . The mass density separates as , where
Both potential-energy integrals have the same radial factor . When this factor is finite and positive it cancels, leaving the scale-free tracer virial ratio
The angular factor in the printed intermediate formula has its sine and cosine interchanged. Keeping its sine/cosine weights while using that printed factor would instead produce the opposite sign in the final small-flattening correction. Merely measuring from the equatorial plane cannot fix this: the measure and both moment weights would have to change as well.
The angular ratio is finite and positive for every fixed and finite real , because is positive and bounded above and below. However, the claim that the unrestricted global virial integrals are always well-defined needs a hypothesis. In a point-mass Newtonian gravitational potential, the common radial factor is proportional to : convergence at zero requires , while convergence at infinity requires . There is no such . If the global energies diverge, the boxed angular ratio is still the ratio of the two potential-energy integrals with identical spherical inner and outer cutoffs, independent of the cutoffs. It is not a quotient of two finite global stellar pressure-energy tensors; applying a finite-aperture tensor virial theorem additionally requires its surface terms. These convergence and boundary qualifications are separate from the printed angular typo.
Set . For modest flattening, the Taylor expansion is . The required elementary angular integrals are
These follow directly by , or from the supplied Gamma function identity. Hence the numerator is and the denominator is . The flattening–anisotropy virial relation becomes
For a decreasing tracer mass density (), oblate flattening () requires more random kinetic support per in-plane direction than vertically. In a spherical Newtonian gravitational field, directional orbital anisotropy supplies the flattening rather than an anisotropic force law. A steeper radial mass density amplifies the required velocity dispersion anisotropy. A prolate tracer reverses the leading inequality. The relation constrains integrated velocity dispersions, not a unique local galactic distribution function.
Write for the genuine surface density of a disk, and for its three-dimensional mass density. The delta function in the printed surface density formula belongs to , not to . Introduce a reference length to make logarithms dimensionless. The intended model is the infinite, self-gravitating, scale-free Mestel disk, with no extra source or imposed gravitational field.
The circular speed satisfies . Thus the flat galaxy rotation curve gives
A reflection-symmetric harmonic function with this midplane boundary value is
Verify this continuation using the Poisson equation for Newtonian gravity. For , set ; then
Hence off the astrophysical disk, and reflection gives the lower-half-space solution. Across the astrophysical disk the derivative jumps by . The distributional Poisson equation for Newtonian gravity therefore gives
At the origin the enclosed disk mass tends to zero linearly with radius, so there is no additional central point mass. This verifies the Mestel disk potential-density pair. The astrophysical disk has infinite total mass and a logarithmic Newtonian gravitational potential, so it is not an isolated finite-mass model with Newtonian gravitational potential zero at infinity. The usual scale-free boundary condition is important: the midplane rotation curve alone would also permit an added term , representing an extra uniform sheet without changing the radial circular force. That contribution is excluded in the intended Mestel disk model.
Use a mass-weighted planar galactic distribution function, so is the stellar mass in a small planar phase space element. A number-weighted function instead needs the stellar mass factor when computing . Assume a steady collisionless stellar system and isotropy in the two in-plane velocity components. Put and write . The stationary Collisionless Boltzmann equation becomes
Since this holds in every velocity direction, . In coordinates with , this is exactly . Therefore the planar isotropic distribution is , where is the specific orbital energy. Stationarity is essential; instantaneous isotropy alone would not imply this result.
Integrating over the two-dimensional velocity plane gives the planar isotropic distribution inversion:
On the astrophysical disk , so . Differentiate the integral with respect to its lower limit:
The boundary value as verifies the integrated equation as well as its derivative. Choosing the implicit length unit recovers the printed normalization. Changing the additive energy zero changes this prefactor accordingly.
At a fixed radius, the normalized velocity density is
It is a product of centered Gaussian distributions. Differentiating the supplied Gaussian integral with respect to its coefficient gives the second moments, and odd moments vanish. Thus the in-plane velocity dispersions are
An exactly planar astrophysical disk has and . The nonzero circular speed is a property of the force field, not a statement that this hot stellar distribution has net rotation.
Reversing every retrograde star folds the azimuthal Gaussian to a half-normal distribution. Equivalently the new steady galactic distribution function is , because and are integrals of the motion. Its density and even velocity moments are unchanged. Its streaming velocity is
This maximally prograde stellar distribution still has radial motion and a spread of azimuthal speeds; it does not place every star on a circular orbit. In particular while . The mean speed is smaller than the root-mean-square speed , which explains why it is not the circular speed.
Use a mass-normalized galactic distribution function , so that and . Multiplying the stationary Collisionless Boltzmann equation by and integrating over velocity space gives
Assume the galactic distribution function decays sufficiently rapidly for the velocity boundary term to vanish. Integration by parts then gives , and therefore the Jeans equations are
The second moment includes both ordered motion and velocity dispersion; no assumption of zero mean velocity was needed.
To obtain the tensor virial theorem, multiply the th Jeans equation by and integrate over position. For an isolated, finite system with a vanishing spatial surface term,
Since the left side is , . This convention puts all stellar second moments into ; it does not separate ordered and random kinetic energies.
For a self-gravitating system, the trace is the Newtonian gravitational potential energy. Indeed, symmetrizing the pair integral gives
Thus the trace of the tensor virial theorem is , and the total energy obeys
These identities require self-gravity without an additional external potential or an omitted confining boundary pressure.
Let now denote a mass-weighted average over the entire initial system. Then . The gravitational radius is defined by , so the virial theorem immediately yields
The gravitational radius measures total binding energy, rather than a particular geometric edge or half-mass radius.
For the accreted systems define the mass-weighted internal mean-square speed by . If each satellite initially satisfies the virial theorem, its internal energy contributes to . In parabolic dry-merger energy accounting, the orbital energy at large separation is zero. Assume a dry galaxy merger, no loss of mass or energy through escaping stars, no external work, and a final relaxed system satisfying the virial theorem. Then conservation of energy gives and . Energy transferred by Chandrasekhar dynamical friction remains part of the total energy under these assumptions. Consequently,
Applying the final virial theorem and dividing by the initial relation gives
For a mass doubling, . A merger of two identical equilibrated galaxies has , hence . For accretion through many minor galaxy mergers whose satellites have much smaller internal mean-square speeds, , hence , tending to in the cold-satellite limit. Equivalently, nearly fixed total energy makes the gravitational radius scale as during cold minor-merger size growth. Small satellite mass alone does not logically imply : the factor four also requires this weak-binding assumption. Likewise, equal masses require comparable internal binding to give the factor two. These are the physical limits behind the two stated merger comparisons.
A phase-space distribution function describes the mass in a small cell of positions and velocities: is that mass. Its velocity integral is the spatial mass density, and at a fixed position is a normalized velocity probability density. A number-normalized galactic distribution function differs by the stellar mass convention.
Take and . For the cusped logarithmic spherical galaxy model, differentiate the gravitational potential and use the spherical Poisson equation for Newtonian gravity:
Thus
A circular orbit requires . Its galaxy rotation curve is therefore
It rises as at small radius and approaches from below at large radius.
Figure 1.
Rotation curve of the cusped logarithmic spherical galaxy model
. Details.
The outer flat galaxy rotation curve is qualitatively useful for galaxies. However, the density has an inner cusp and an outer tail, while diverges. The model therefore requires an outer truncation for a finite galaxy, and does not describe a central constant-density core. Its gravitational potential cannot be normalized to zero at infinity.
For a star, the specific energy is and the specific angular momentum is . Since the gravitational potential is stationary and spherical,
Thus both the specific energy and the entire angular-momentum vector are conserved.
For Jeans theorem, follow a stellar trajectory in phase space. The Collisionless Boltzmann equation is precisely
In a steady system , so the value of the galactic distribution function is constant along every trajectory: it is itself an integral of motion. Conversely, if are time-independent integrals of motion, then satisfies . Locally, a complete set of invariant orbit labels expresses any steady galactic distribution function this way. This is the weak form of Jeans theorem; a stronger assertion about a small set of isolating integrals needs additional orbital regularity or mixing assumptions. In particular, the theorem does not say that every steady galaxy must have a galactic distribution function depending on only and .
For the proposed constant-anisotropy distribution function, write and . Introduce a polar angle in the tangential velocity plane. Then , so the apparent singularity cancels against the velocity Jacobian. This inverse-angular-momentum velocity integration makes the density finite for every .
Let , , , and . Each exponential component contributes
Here the two Gaussian integrals and the angular integral have product . Consequently,
The galactic distribution function is nonnegative, gives the required density, and depends on conserved ; by Jeans theorem it is a self-consistent steady solution.
Differentiating the Gaussian integral with respect to shows that each component has , and the same value for . Angular averaging gives . Weighting these by yields the velocity dispersions
The radial numerator includes , as in the original PDF. All mean velocities vanish by parity. The same parity, or the zero angular average of , gives .
The velocity-anisotropy parameter is
The constant-anisotropy distribution function therefore favors radial motion at every radius: the radial variance is twice either individual tangential variance. It still has a substantial population with nonzero angular momentum, rather than exclusively radial orbits. The factor enhances low-angular-momentum stars. The radial velocity dispersion approaches at the centre and far out; each individual tangential variance is half as large. There is no mean rotation, despite the well-defined galaxy rotation curve for hypothetical circular orbits.
A spherically symmetric stellar model has no preferred direction in the tangent plane at a fixed radius. Rotations about the radial axis exchange its two transverse velocity directions, so . This uses spherical symmetry of the velocity distribution, not just a spherical mass density.
The augmented density treats radius and relative potential as independent variables, agreeing with the physical density only along . For any regular bound spherical galactic distribution function , write and . At fixed , and . Integration by parts therefore gives
For , the velocity measure is , and . Integrating the transverse derivative gives , while integrating the radial derivative in gives . Consequently
where is fixed. These identities show that the augmented representation holds for any such spherical distribution, not only a monomial ansatz. With radial pressure vanishing at the zero-binding boundary, set
Along the physical curve, the chain rule gives . The Spherical Jeans equation then requires
Thus the Jeans moments from an augmented density are
The partial derivative holds fixed. Substitution cancels the integral of and leaves precisely in the Spherical Jeans equation. This is a representation by a chosen augmented density, not a unique solution determined by the one-variable density: different extensions off the physical curve encode different anisotropies, and not every formal extension necessarily gives a nonnegative galactic distribution function.
For the hypervirial density-potential family, differentiate the potential and use the spherical shell theorem:
Differentiating and dividing by gives
The enclosed mass tends to at infinity and to zero at the centre for every . The same result follows from , with the stated sign convention.
From now on set . The separable augmented density is . Integrating it gives
and hence
With these are the requested radial expressions. The velocity-anisotropy parameter is , and the total mean square speed is .
The local kinetic-energy density is . With the potential zero at infinity, the gravitational energy density is , where . Therefore
This is the local virial relation of the hypervirial model, a special property stronger than the global virial theorem. To compute the global energies as well, set . The substitution yields the global binding integral of the hypervirial model
The beta function integral converges for all . Thus
Restoring dimensions multiplies by .
To derive the hypervirial distribution function, let be the positive relative energy and the magnitude of the specific angular momentum. Seek for and zero otherwise. Its density is
The angular integral is . Substitution makes the radial integral
Matching the augmented-density power gives . Matching its coefficient gives the normalization of the hypervirial distribution function
All integrals are finite in velocity for , and . Because and are orbital integrals, this is a steady solution by the Jeans theorem. As checks, gives for the Hernquist model, and gives for the isotropic Plummer model.
The density and potential do not uniquely fix the stellar distribution. The preceding coefficient is fixed within the chosen separable power-law model, but nonuniqueness of spherical galactic distribution functions remains without that extra restriction. An explicit positive counterexample uses the same density. Define the Osipkov-Merritt distribution function variable and take
Rescale the transverse velocity by . Then and the velocity Jacobian contributes . Direct integration gives
exactly the same Plummer model density. This anisotropic Plummer distribution with unit anisotropy radius has , so it is distinct from the isotropic distribution while remaining positive and spherical. Its second moments differ, so it does not share the extra augmented-density and local-virial restrictions of the chosen hypervirial model.
A small-angle gravitational encounter between a test star and a field star of mass gives a transverse kick , where is the impact parameter and the relative speed. For number density , encounters in occur at rate . Independent kicks add in mean square, giving the random-walk derivation of stellar relaxation
The Coulomb logarithm in stellar dynamics has of order system size , and of order the strong-deflection scale . For a virialized -star system, , so is of order . The stellar relaxation time is the time for accumulated velocity variance to become comparable with :
Using gives . With a diameter-crossing convention , this is , conventionally rounded to
The coefficient is approximate: spatial profile, velocity averages and crossing-time convention change it by factors of order unity. The robust result is crossing times.
For and years, the estimate is about years, enormously longer than a Hubble time. Most galaxies therefore behave as collisionless stellar systems. Dense nuclei and star clusters can relax more rapidly. Negligible stellar encounters do not mean negligible collective gravitational instabilities.
Define the mass-weighted galactic distribution function by , so . Hamiltonian gravitational motion preserves phase space volume by the Liouville theorem in Hamiltonian mechanics. In the collisionless regime no encounter term redistributes stars between neighbouring phase space trajectories, so . With acceleration , the Collisionless Boltzmann equation is
For a steadily rotating galactic bar, write the inertial polar angle as . The inertial radial and angular equations are and . Substitution gives the equations of motion in a rotating frame:
Here the velocities are measured in the bar frame. Set , and define the positive-force rotating-frame relative effective potential
The centrifugal sign is positive in this relative-potential convention. The characteristics are
Consequently the rotating-frame collisionless Boltzmann equation is
For these planar equations, integrate over and interpret as the planar or vertically integrated mass density. Define . Boundary terms in velocity vanish for a sufficiently decaying distribution.
Let the velocity accelerations above be . Their velocity divergence is . Thus integration by parts in the zeroth moment contributes , producing the cylindrical continuity equation for a rotating stellar system
This is conservation of mass: change of density balances flux through the radial and azimuthal sides of a small cylindrical element. The factor is geometric; the physical phase space measure is .
For the radial first moment, multiply the rotating-frame collisionless Boltzmann equation by . Its velocity integrations are and . Hence the radial cylindrical Jeans equations in a rotating frame are
For the azimuthal first moment, the velocity integral vanishes, while . This gives
The Jeans equations are local momentum-balance equations. The second moments include streaming momentum flux and random-velocity stress, while gravity, centrifugal acceleration and Coriolis acceleration supply the frame-dependent forces. They do not by themselves close the full distribution: a stress prescription or a galactic distribution function is also needed.