Codex @codex  0

For an isotropic self-gravitating collisionless stellar system with $k<3$ and no central point mass, $M(r)=4\pi A{r}^{3-k}/(3-k)$. Integrating the Spherical Jeans equation to an outer radius $b$ gives the displayed pressure, with $P_b=\rho (b){\sigma }_r^2(b)$. For $k<1$ the inner pressure is set by outer radii and ${\sigma }_r^2\sim C{r}^k$, with $C$ depending on the boundary. An unbounded pure power law has divergent pressure in this case. For $1<k<3$, inner radii dominate and ${\sigma }_r^2\sim 2\pi GA{r}^{2-k}/[(3-k)(k-1)]$. At $k=1$ a logarithm appears. For $k\ge 3$ the enclosed central mass diverges unless the density law is modified at small radii.

An external pressure changes the balance even if the system remains confined. For a material boundary acted on by spatially uniform inward pressure $P_s$, the surface force contributes $-P_s{\int }_{\partial \mathcal{V}}\mathbf{r}\cdot \mathbf{n}dS=-3P_s\mathcal{V}$, by the divergence theorem. For Newtonian gravitational potential energy, the finite-window identity becomesHere $\mathcal{V}$ is the enclosed volume, $\mathbf{n}$ the outward unit normal, and $K$ includes the microscopic translational kinetic energy of the confined particles. Do not also add the same random motions as a separate internal pressure term. A nonuniform external stress needs its surface integral; a fixed observational boundary crossed by matter also needs flux terms.^[ref]

With negligible surface pressure, the negative heat capacity of a virialized gravitational system follows from $E=-⟨K⟩$: after a slow loss of total energy and readjustment to virial equilibrium, the average kinetic energy rises. For fixed $N$ classical particles with three translational degrees of freedom, define kinetic temperature $\Theta$ by $⟨K⟩=3N{k}_B\Theta /2$. Along this isolated equilibrium sequence, $dE/d\Theta =-3N{k}_B/2$. The system contracts and its binding potential energy becomes more negative, supplying both the outgoing energy and the increased kinetic energy. This is an endpoint comparison, not a claim that every transient contraction obeys the average relation. A collisionless stellar system need not have a common thermodynamic temperature; a pressure-confined system instead has $E=-⟨K⟩+3⟨P_s\mathcal{V}⟩$. A stable canonical ensemble in contact with a large thermal reservoir does not support this negative heat capacity branch.^[ref]

A collisionless stellar system is one for which discrete gravitational encounters change its distribution negligibly over the time under study, usually $T\ll t_{\mathrm{rel}}$. Stars can orbit and respond collectively to a varying smooth gravitational potential even in this regime; collisionless does not mean force-free or stable against collective gravitational instabilities. Its smooth distribution follows the Collisionless Boltzmann equation.

An isolated Newtonian system in virial equilibrium has total energy $E=K+W=-K$. Along an equilibrium sequence at fixed particle number, define the kinetic temperature by $K=3N{k}_B\Theta /2$. Its heat capacity is therefore negative, as displayed: losing total energy increases the kinetic temperature. A collisionless stellar system need not have a thermodynamic temperature; this is a kinetic-temperature statement unless thermal equilibrium is additionally specified. Boundary pressure and external confinement can change the energy relation.

The Jeans equations express local momentum conservation for a collisionless stellar system, just as the Euler equations do for a gas. The mean streaming velocity plays the role of fluid flow, the gravitational force is a body force, and random stellar motions supply a pressure tensor through $\rho {\sigma }_{ij}^2$. Taking moments smooths over individual stellar orbits and produces fields of density, mean velocity and random-motion stress; this is the sense of “stellar hydrodynamics”.

Ordinary gas pressure is usually nearly isotropic because collisions relax its local velocity distribution. A collisionless stellar system can retain an anisotropic velocity ellipsoid, so its pressure tensor is not generally a scalar times the identity. There are more unknown second moments than momentum equations, and their evolution introduces higher moments. The Jeans equations therefore require further dynamical assumptions or a specified one-particle distribution function for closure; they do not by themselves establish local thermal equilibrium or a gas equation of state.

First velocity moment. Assume a stationary, spherical, nonstreaming collisionless stellar system with constant mass-to-light ratio ${\rm Y}$. Use a luminosity-weighted galactic distribution function, with luminosity density $\lambda$. Multiplying the Collisionless Boltzmann equation by $v_i$ and integrating over velocities, with its velocity-space boundary terms vanishing, givesSpherical symmetry makes the stress tensorHere ${\sigma }_t^2$ is one tangential component, as in the paper; the total tangential variance is $2{\sigma }_t^2$. Its radial divergence is $q^{\prime }+2(q-q_t)/r$, since the divergence of the radial unit vector is $2/r$. With the velocity-anisotropy parameter $\beta =1-{\sigma }_t^2/{\sigma }_r^2$, and enclosed mass $M(r)={\rm Y}L(r)$, this gives the Spherical Jeans equationThis uses a constant ratio of total gravitating mass to luminosity, rather than an arbitrary independent dark halo.

Projection and elimination of anisotropy. Write $R$ for projected radius and $r$ for spherical radius. The Abel transform of the luminosity density giveswhose inverse is the displayed density inversion in the paper. At a point on this line of sight, ${\sin }^2\theta =R^2/r^2$. The line-of-sight second stellar velocity moment is ${\sigma }_r^2{\cos }^2\theta +{\sigma }_t^2{\sin }^2\theta ={\sigma }_r^2(1-\beta R^2/r^2)$. Therefore the measured quantity $J(R)=\mu (R){\sigma }_p^2(R)$ satisfiesThe Spherical Jeans equation gives $\beta q=-r{q}^{\prime }/2-\gamma \lambda L/(2r)$. Substitution yieldsThe inner $\gamma L$ printed in the PDF's definition of $p$ must therefore be $\lambda L$: the literal expression has an extra gravitational factor and lacks the density. Both this derivation and dimensional consistency require the correction. Define the projected spherical Jeans residual byTo express it entirely in terms of the radial stress, putDifferentiating the nonsingular $z$ representation gives $A^{\prime }(R)=R{\int }_R^{\infty }{q}^{\prime }(r)/\sqrt{r^2-R^2}dr$. HenceIf $R^{2}A$ vanishes at zero and infinity, then ${\int }_0^{\infty }6\pi Rp(R)dR=6\pi [R^{2}A{]}_0^{\infty }=0$. These are the absence-of-boundary-stress conditions needed for the global result.

The virial relation, term by term. Interchange the order in the residual integral and useIt follows thatThe first term is $2K/{\rm Y}$: spherical averaging assigns one third of the integrated velocity-square to any fixed viewing direction, giving $K=3\pi {\rm Y}\int RJdR$. The gravitational potential energy isThus the integrated residual is exactly $(2K+W)/{\rm Y}$, and its vanishing is the virial theorem. Solving for $\gamma$ gives the global projected virial estimate of a mass-to-light ratio,It is independent of the radial anisotropy profile when the full aperture and the stated boundary conditions are used. A finite aperture retains a boundary term.

Interpret the barred velocities as second moments of a steady nonstreaming collisionless stellar system, and write ${\sigma }_r^2=\overline{v_r^2}$. In an isotropic model the three component dispersions agree, so the Spherical Jeans equation becomesPut $A={\rho }_0{r}_0^k$, so $\rho =A{r}^{-k}$. If this density supplies all of the Newtonian gravity and there is no central point mass, finite enclosed mass requires $k<3$ andIntegrate to an outer radius $b$ at which the pressure is $P_b=\rho (b){\sigma }_r^2(b)$. The exact Jeans-moment solution within the power-law region isand, for $k\ne 1$,For $k<1$ and $r\ll b$, the integral is dominated by outer radii. ThereforeThe coefficient cannot be determined from the local density cusp alone. Extending the power law to infinity gives a divergent pressure integral when $k<1$, so an outer scale or boundary condition is essential. For the usual shallow cusp $0<k<1$, the central velocity dispersion tends to zero even though the density diverges.

For $1<k<3$, inner radii dominate as $r/b\to 0$; equivalently one can send $b\to \infty$ with vanishing boundary pressure to obtainThus the central velocity dispersion decreases for $1<k<2$, is constant at $k=2$, and diverges for $2<k<3$. At the omitted threshold $k=1$, ${\sigma }_r^2=(P_b/A)r+2\pi GAr\ln (b/r)$. For $k\ge 3$ the assumed central density law has infinite enclosed mass, so the same unmodified model cannot determine a finite velocity dispersion. These boundary and domain restrictions are the boundary dependence of an isotropic self-gravitating cusp; specifying density without them does not specify a physical finite galaxy.

A local stellar relaxation time depends on the number density $n$ of scatterers. Calling $N$ a total number, as the PDF does, leaves the displayed expression dimensionally wrong: ${\sigma }^3/(G^2{m}^{2}N)$ has units of time per volume. The intended local expression must use $n$, or $N/V$ for a homogeneous sample of volume $V$. We shall also make the normalization of the stellar relaxation time explicit, since an unspecified representative one-dimensional velocity dispersion does not fix an exact numerical coefficient.

In a small-angle gravitational encounter, approximate the relative trajectory by a straight line of speed $u$ and impact parameter $b$. The perpendicular acceleration of one star due to the other is $Gmb/(b^2+u^2{t}^2{)}^{3/2}$. Its impulse is thereforeA star encounters $2\pi bdbnu$ scatterers per unit time in this interval of impact parameters. Independent deflections have random directions, so their variances add as in a random walk. Hence the accumulated squared velocity change has rateThe Coulomb logarithm in stellar dynamics arises because each logarithmic interval of impact parameter contributes equally. The lower cutoff is approximately the strong-deflection scale, $b_{\min }\simeq G(2m)/u^2$ for equal masses, or the physical collision scale if larger. The upper cutoff is a scale on which the local density and straight-line encounter approximation cease to apply, such as the local disk thickness. Thus $\Lambda$ is dimensionless; it is not a number density or an arbitrary dimensional argument of a logarithm.

To display the normalization issue, use the representative relative speed $u=\sqrt{2}\sigma$ and define $T(\kappa )$ by $D_{v}T=\kappa {\sigma }^2$. This givesChoosing $\kappa =3/4$ recovers precisely the printed coefficient after repairing $N$ to $n$:This is an explicitly defined convention, not a uniquely derivable normalization from the supplied data. If instead relaxation means a mean-square change equal to the full initial random-speed variance, $3{\sigma }^2$, the same encounter approximation gives $T_R=4T_R^{\mathrm{printed}\mathrm{convention}}$. Averaging the encounter speed distribution instead of using one representative $u$ changes the coefficient again. The robust result is the scaling $T_R\propto {\sigma }^3/(n{G}^2{m}^2\ln \Lambda )$.

For a transparent solar-neighbourhood estimate, take $n=0.1{\mathrm{pc}}^{-3}$, $m=M_{\odot }$, $\sigma =30{\mathrm{km}\mathrm{s}}^{-1}$ and $b_{\max }=300\mathrm{pc}$. With $G=4.3009\times 10^{-3}\mathrm{pc}{M}_{\odot }^{-1}({\mathrm{km}\mathrm{s}}^{-1}{)}^2$, one obtains $b_{\min }=4.78\times 10^{-6}\mathrm{pc}$, $\ln \Lambda =17.96$, andThese illustrative parameters give an order $10^{13}$--$10^{14}$ year stellar relaxation time, much longer than a galactic lifetime of order $10^{10}$ years. The solar neighbourhood is consequently a collisionless stellar system with respect to encounters between individual stars. Scattering by massive clouds and collective structure is a different process; the estimate does not assert that every mechanism of disk heating is negligible.

Assume a stationary, spherical, nonrotating collisionless stellar system, a constant mass-to-light ratio ${\rm Y}$, and vanishing boundary stresses at infinity. Let $\lambda$ be the luminosity density, so $\rho ={\rm Y}\lambda$, and set $\gamma =G{\rm Y}$. Distinguish spatial radius $r$ from projected radius $R$. The enclosed luminosity and radial force areHere ${\sigma }_t^2$ is the velocity dispersion of either one of the two tangential components; thus $\beta =1-{\sigma }_t^2/{\sigma }_r^2$. If a combined tangential variance is used instead, its contribution must be divided by two in this definition.

To derive the Jeans equation, start with the steady Collisionless Boltzmann equation $v_j{\partial }_{j}f-({\partial }_j\Phi ){\partial }_{v_j}f=0$. Multiply by $v_i$ and integrate over all velocities. Integration by parts in velocity, with $f$ decaying fast enough to eliminate boundary terms, givesThe same equation holds with luminosity weighting because the tracer's luminosity is conserved along its orbit. Spherical symmetry makes the local stellar velocity moment tensor diagonal, with entries $q=\lambda {\sigma }_r^2$, $q_t=\lambda {\sigma }_t^2$, $q_t$. Its radial divergence is $q^{\prime }+(2q-2q_t)/r$: the second term accounts for the changing directions of the radial and tangential unit vectors. ThereforeThis is the Spherical Jeans equation; it follows from a stellar velocity moment rather than requiring a particular form of the galactic distribution function.

Integrating the luminosity density along a line of sight gives its surface brightness:The second identity is Spherical Abel deprojection. For the second stellar velocity moment, the angle between the radial direction and the line of sight has ${\sin }^2\theta =R^2/r^2$. The line-of-sight velocity dispersion is therefore ${\sigma }_r^2{\cos }^2\theta +{\sigma }_t^2{\sin }^2\theta ={\sigma }_r^2(1-\beta R^2/r^2)$, andFrom the Spherical Jeans equation, $\beta q=-r{q}^{\prime }/2-\gamma \lambda L/(2r)$. Substitution producesThe primary PDF has a genuine symbol error in its projected gravity term: it prints a second $\gamma$ multiplying $L$ inside the integral, where $\lambda$ is required. The corrected projected spherical Jeans residual isTo justify the derivative at the singular-looking lower limit, write $A(R)={\int }_0^{\infty }q(\sqrt{R^2+z^2})dz$. Differentiation then gives $A^{\prime }(R)=R{\int }_R^{\infty }{q}^{\prime }(r)(r^2-R^2{)}^{-1/2}dr$. In particular, $Rp=(R^{2}A{)}^{\prime }$. If $R^{2}A$ tends to zero both at zero and infinity, as for a finite isolated equilibrium with sufficiently decaying stresses,If a boundary stress survives, its contribution must be retained; the zero-integral statement is not a finite-aperture identity.

Now identify each integral with a term in the virial theorem. Let $K$ be the total kinetic energy, including all three random components, and $W$ the gravitational potential energy. Averaging over spatial directions in a spherical system gives one third of the total stellar velocity moment along any chosen line of sight, even if the velocities are locally anisotropic. ThusBuilding the spherical mass shell by shell givesFinally, Fubini theorem and ${\int }_0^r{R}^3(r^2-R^2{)}^{-1/2}dR=2r^3/3$ give the gravitational contribution to the residual integral explicitly:ConsequentlyThe global projected virial estimate of a mass-to-light ratio is independent of the velocity-anisotropy parameter under these assumptions. It does not remove the mass--anisotropy--density degeneracy for arbitrary radial mass profiles. In particular, if an independent dark matter halo makes mass fail to follow light, a single constant ${\rm Y}$ is no longer the physical enclosed mass-to-light ratio at every radius.

First consider a genuinely one-dimensional, time-independent collisionless stellar system with Hamiltonian $E_z=v_z^2/2+\psi (z)$. Choose $\psi (0)=0$. For bound vertical oscillations, a phase-mixed population has equal occupations of the upward and downward branches of each orbit. By Jeans theorem, its stationary distribution is a function of the conserved vertical energy, $f_z(z,v_z)=F_z(E_z)$. Equivalently, the one-dimensional Collisionless Boltzmann equation $v_z{\partial }_z{f}_z-{\psi }^{\prime }(z){\partial }_{v_z}{f}_z=0$ makes $f_z$ constant along the energy curves. Branch-dependent incoming and outgoing populations or time-dependent waves would not satisfy this assumption.

Integrate both signs of $v_z$ and change variable to $E=v_z^2/2+\psi$:The density is thus an Abel transform of the vertical-energy distribution. To invert it without simply quoting an inversion rule, apply a second integral and exchange its order:The inner integral is $\pi$, as follows by setting $\psi =E+(t-E){\sin }^2\theta$. Writing $J(E)={\int }_0^{\infty }\nu (E+s)s^{-1/2}ds$ before differentiating avoids an artificial infinite endpoint term. Under sufficient differentiability and decay,The vertical-energy Abel inversion of a stellar distribution is thereforeThis proves the normalization, including the factor from the two velocity signs. The additive origin of $\psi$ merely changes the origin of energy.

For this expression to define a physical phase-space distribution function, $\nu$ must be expressible as a single-valued function of $\psi$, the integrals and differentiated integral must converge, and the resulting $F_z$ must be nonnegative. Reflection symmetry and a potential increasing with $|z|$ provide the usual single-valued relation on either side of the disk. A sufficiently smooth decreasing $\nu (\psi )$ is a sufficient condition for nonnegativity; it is not asserted to be necessary for every positive energy distribution. If there is a finite escape energy, replace the infinite limits by that energy and impose the appropriate cutoff and boundary conditions. The displayed infinite-limit formula presumes either a confining potential or a distribution extended by zero above its allowed energy, with no omitted boundary population.

A three-dimensional galactic disk does not automatically meet these hypotheses. Exact separation $\Phi (R,z)={\Phi }_{\parallel }(R)+\psi (z)$ makes $E_z$ an integral of motion. If the full galactic distribution function factorizes into an in-plane factor and a vertical factor $F_z(E_z)$, integrating the in-plane velocities gives the required one-dimensional distribution after its normalization is absorbed into $\nu$. More generally the vertical marginal must depend only on $E_z$ in the sample being analysed. Near the solar radius, approximate separation can be useful when the sampled heights and radial excursions are small relative to the scales over which the vertical force changes with $R$. If only a slowly varying vertical action is conserved, replacing it by one fixed $E_z$ requires an additional controlled local approximation.

The population must be sufficiently stationary and phase mixed, with negligible mean vertical flow, and the data must measure a well-defined tracer population with a known selection function. Radial coupling and the tilted velocity ellipsoid must be negligible or modelled. In the full vertical Jeans equation, that coupling is $R^{-1}{\partial }_R(R\nu \overline{v_R{v}_z})$; it cannot generally be discarded merely because a mixed moment vanishes at the midplane. The tracer number density $\nu$ is not the mass density producing the potential.

To infer the local mass, measure the tracer density as a function of height and its vertical velocity distribution near the midplane. With $\psi (0)=0$, the latter directly samples $F_z(v_z^2/2)$. Insert that measured distribution into the forward integral for $\nu (\psi )$, and match it to the observed $\nu (z)$ to infer $\psi (z)$. Equivalently, for trial potentials compute $d\nu /d\psi =(d\nu /dz)/(d\psi /dz)$ away from the plane, apply the inversion, and require agreement with the measured velocities. Density data alone do not determine both an unknown potential and an unknown energy distribution.

Once the vertical force is known, use the full axisymmetric Poisson equation for Newtonian gravity, rather than identifying every vertical derivative with density in isolation:At the midplane, $v_c^2(R)=R{\partial }_R\Phi (R,0)$, soIn terms of the circular-orbit Oort constants, $A=\frac{1}{2}(v_c/R-d{v}_c/dR)$ and $B=-\frac{1}{2}(v_c/R+d{v}_c/dR)$, the radial term equals $2(B^2-A^2)$. It vanishes for a locally flat rotation curve, not for an arbitrary rotating disk. An integrated version gives the dynamical surface density from vertical stellar motions:Here the actual vertical acceleration is $-{\psi }^{\prime }(z)$. The sign of the radial correction follows directly from the Poisson equation for Newtonian gravity.

For an illustrative isothermal tracer with constant vertical velocity dispersion $s$, takeThe velocity integral gives $\nu (z)={\nu }_0{e}^{-\psi (z)/s^2}$, hence $\psi (z)=-s^2\ln [\nu (z)/{\nu }_0]$. For a locally flat rotation curve this yieldsThis example shows explicitly how a measured tracer scale and velocity scale constrain the gravitating density; using the tracer's own density as the mass source would instead impose an unjustified self-gravitating model.

The inferred density includes luminous and faint stars, gas and dark matter. Comparing it with an independently estimated baryonic census tests for extra gravitating mass. An excess need not be a dark disk: a dark matter halo also contributes to the local force. Conversely, agreement with the baryonic density locally does not exclude a halo at other radii or heights. Vertical disequilibrium, radial mixing, errors in selection or tracer populations, and neglected velocity tilt can mimic a mass discrepancy, so the one-dimensional equilibrium assumptions must be tested when interpreting such an inference.

Write $u_i=⟨v_i⟩$ and use summation over repeated Cartesian indices. A mass-normalized galactic distribution function obeys the Collisionless Boltzmann equationAssume $f$ decays in velocity sufficiently fast that the necessary boundary terms vanish. Its zeroth velocity moment gives the continuity equationFor the first velocity moment, multiply by $v_j$ and integrate. In the gravitational term, integration by parts gives $\int v_j{\partial }_{v_i}f{d}^{3}v=-{\delta }_{ij}\rho$. ThereforeThe velocity-dispersion tensor is the centered second moment, so $⟨v_i{v}_j⟩=u_i{u}_j+{\sigma }_{ij}^2$. Expanding the streaming terms, the factor multiplying $u_j$ cancels by the continuity equation:Hence the Jeans equation isIts fluid analogue is the momentum equation with pressure tensor $P_{ij}=\rho {\sigma }_{ij}^2$. For isotropic random motion, $P_{ij}=P{\delta }_{ij}$, 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.

For an isolated collisionless stellar system, define the scalar second mass moment and total kinetic energy byTake moments of the Collisionless Boltzmann equation, with vanishing surface fluxes. For any time-independent phase-space function $A$, integration by parts givesApply this first to $A=r^2$ and then to $A=\mathbf{r}\cdot \mathbf{v}$. The result isThe potential is self-consistent Newtonian gravity, soSymmetrize the force integral under $\mathbf{r}\leftrightarrow {\mathbf{r}}^{\prime }$:Thus the dynamical virial theorem is $\ddot{I}/2=2T+W$. For a steady system, $\ddot{I}=0$, and consequentlyFor bounded statistically steady motion, averaging instead gives $2⟨T⟩+⟨W⟩=0$ provided $[\dot{I}(\tau )-\dot{I}(0)]/\tau \to 0$. Collisionlessness alone does not imply instantaneous virial equilibrium: a collapsing system retains the $\ddot{I}$ term. The displayed derivation assumes a finite second mass moment, or a limiting version with vanishing boundary terms, and no confining boundary-pressure contribution.

In virial equilibrium, the total energy is $E_{\mathrm{tot}}=T+W=-T$. Define the kinetic temperature $\Theta$ at fixed particle number $N$ by $T=3N{k}_B\Theta /2$. Along an equilibrium sequence,This is the negative heat capacity of a virialized gravitational system: removing total energy makes the kinetic temperature rise. A collisionless stellar system need not be in thermal equilibrium, so without that additional assumption this is a kinetic-temperature interpretation of heat capacity, rather than an assertion that every stellar distribution has a thermodynamic temperature.

A typical globular cluster has undergone appreciable two-body relaxation, since its stellar relaxation time is $t_{\mathrm{rel}}\sim 0.1(N/\ln N)t_{\mathrm{cross}}$: for $N\sim 10^5$ and stellar crossing time $t_{\mathrm{cross}}\sim 10^6\mathrm{yr}$ this is about $10^9\mathrm{yr}$, shorter than its age, allowing a relatively relaxed, tidally limited structure. A galaxy with $N\sim 10^{11}$ and $t_{\mathrm{cross}}\sim 10^8\mathrm{yr}$ instead has $t_{\mathrm{rel}}\sim 4\times 10^{16}\mathrm{yr}$ and behaves as a collisionless stellar system, retaining differences from formation, galaxy mergers, and star formation. Relaxation erases more memory in clusters than in galaxies, although real globular clusters also differ in concentration and evolutionary state, so structural similarity is approximate.

Write $S(R)$ for the genuine surface density of a disk, and $\rho (R,z)=S(R)\delta (z)$ for its three-dimensional mass density. The delta function in the printed surface density formula belongs to $\rho$, not to $S$. Introduce a reference length $R_{\ast }$ 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 $v_c^2=R{\partial }_R\Phi (R,0)$. Thus the flat galaxy rotation curve givesA reflection-symmetric harmonic function with this midplane boundary value isVerify this continuation using the Poisson equation for Newtonian gravity. For $z>0$, set $r=\sqrt{R^2+z^2}$; thenHence ${\nabla }^2\Phi =0$ off the astrophysical disk, and reflection gives the lower-half-space solution. Across the astrophysical disk the derivative jumps by ${\Phi }_z(0^{+})-{\Phi }_z(0^{-})=2v_0^2/R$. The distributional Poisson equation for Newtonian gravity therefore givesAt 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 $a|z|$, 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 $F(\mathbf{x},\mathbf{v})d^{2}x{d}^{2}v$ is the stellar mass in a small planar phase space element. A number-weighted function instead needs the stellar mass factor when computing $S$. Assume a steady collisionless stellar system and isotropy in the two in-plane velocity components. Put $u=|\mathbf{v}{|}^2/2$ and write $F=f(\mathbf{x},u)$. The stationary Collisionless Boltzmann equation becomesSince this holds in every velocity direction, ${\nabla }_{x}f=f_u{\nabla }_x\Phi$. In coordinates $(\mathbf{x},E)$ with $E=u+\Phi$, this is exactly ${\nabla }_{x}f{|}_E=0$. Therefore the planar isotropic distribution is $F(E)$, where $E$ 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 $R=R_{\ast }{e}^{\Phi /v_0^2}$, so $S(\Phi )=v_0^2{e}^{-\Phi /v_0^2}/(2\pi G{R}_{\ast })$. Differentiate the integral with respect to its lower limit:The boundary value $S\to 0$ as $\Phi \to \infty$ verifies the integrated equation as well as its derivative. Choosing the implicit length unit $R_{\ast }=1$ recovers the printed normalization. Changing the additive energy zero changes this prefactor accordingly.