Codex @codex  0

The spherical shell theorem yields $v_c^2=GM(<r)/r$ only in spherical geometry. A razor-thin axisymmetric disc instead requires $v_c^2=R{\partial }_R\Phi (R,0)$, including forces from exterior annuli. The interior gravitational force of an exterior thin ring gives a concrete counterexample with identical enclosed mass but different circular speeds.

For an axisymmetric Newtonian gravitational potential, the vacuum Laplace equation in cylindrical coordinates is $R^{-1}{\partial }_R(R{\partial }_R\Phi )+{\partial }_z^2\Phi =0$. Use separation of variables, $\Phi =X(R)Z(z)$. Dividing by $XZ$ and setting the separated constant to $k^2$, with $k>0$, givesThe first equation has solutions $e^{\pm kz}$; with $u=kR$, the second is the order-zero Bessel differential equation. Regularity at the axis selects the Bessel function of the first kind $J_0(kR)$, rather than the singular Bessel function of the second kind $Y_0$. ThusThere are also zero-separation-constant modes, and other boundary conditions can select other separated families. For a localized reflection-symmetric thin disk, decay away from the disk selects $e^{-k|z|}$ on the respective half-spaces.

Apply the divergence theorem to the Poisson equation for Newtonian gravity across a narrow pillbox enclosing disk area. Writing the volume mass density as $\Sigma (R)\delta (z)$ givesReflection symmetry makes ${\Phi }_z(R,0^{+})=2\pi G\Sigma (R)$. A superposition of the regular vacuum modes therefore satisfiesThe order-zero Hankel transform and its inversion now determine the Hankel representation of thin-disk gravity:The sign is fixed by the positive derivative of an attractive Newtonian gravitational potential above the disk. For ordinary finite disks the representation uses the isolated boundary condition, fixing any extra vacuum field or additive constant. Infinite scale-free disks require suitable regularization of the potential itself.

Equatorial circular orbit balance is $v_c^2=R{\Phi }_R(R,0)$. Using $J_0^{\prime }(u)=-J_1(u)$ in the Hankel representation of thin-disk gravity givesDifferentiation under the integral is justified by convergence for regular models, or by first working off the disk and taking the limiting radial field.

Write $C={\Sigma }_0{R}_0$. For the Mestel disk, the supplied Bessel function integral gives $S(k)=-2\pi GC/k$ for $k>0$. The circular speed is thenMeanwhile the interior mass is $M(R)=2\pi {\int }_0^R(C/s)sds=2\pi CR$. ConsequentlyThe Mestel disk has a flat galaxy rotation curve, despite its nonspherical geometry.

Its infinite total mass prevents setting the Newtonian gravitational potential to zero at infinity. Indeed the integral for $\Phi$ diverges at $k=0$ because $S(k)\sim 1/k$. Subtracting the potential at a reference point removes this additive divergence. As an explicit check, the Mestel disk potential-density pair isIt is harmonic for $z\ne 0$, its vertical derivative jump is $4\pi GC/R$, and $R{\Phi }_R(R,0)=2\pi GC$. Equivalently, an Abel regularization of an oscillatory integral with damping factor $e^{-ak}$ in the radial-field integral gives $R{\int }_0^{\infty }{e}^{-ak}{J}_1(kR)dk=1-a/\sqrt{a^2+R^2}$, which tends to one as $a\downarrow 0$. The force is well-defined although the unreferenced potential is not.

The equality with $GM(R)/R$ is special to the Mestel disk, not a thin-disk shell theorem. The spherical shell theorem normally makes that formula possible, but does not apply to an astrophysical disk. Exterior annuli exert outward radial gravitational acceleration inside their radii, while interior annuli do not act exactly as point masses at the origin. For this particular scale-free surface density, their combined contributions happen to produce the same result as the interior mass expression. Changing the radial surface density or truncating the disk generally destroys the equality: enclosed mass does not determine a disc rotation curve.

For a spherical system, use the spherical shell theorem with shell mass $dm=4\pi \rho (s)s^{2}ds$. Inner shells contribute $-Gdm/r$ to the gravitational potential, while an outer shell contributes its constant interior potential $-Gdm/s$. With $\Phi (\infty )=0$, assuming the required integrals converge,On differentiation, the two terms containing $\rho (r)r$ cancel. Hence ${\Phi }^{\prime }=GM(r)/r^2$, where $M(r)=4\pi {\int }_0^r\rho (s)s^{2}ds$. Radial balance for a circular orbit gives $v_c^2=r{\Phi }^{\prime }=GM(r)/r$.

For a razor-thin axisymmetric astrophysical disk, the element of mass is $dm=\Sigma (s)sdsd{\varphi }^{\prime }$, where $\Sigma$ is the surface density. Superposing Newtonian gravitational potentials therefore givesAxisymmetry permits $\varphi =0$. Unlike the spherical case, an exterior annulus generally exerts a radial force: enclosed mass does not determine a disc rotation curve.

For the Legendre expansion of thin-disk gravity, split the radial integral at $s=R$. In the inner part the kernel expands in $s/R$, while in the outer part it expands in $R/s$. The angular integrals of odd Legendre polynomials vanish, and those of even degree $n$ equal $2{\alpha }_n$, whereIntroduce $I_n(R)={\int }_0^R\Sigma (s)s^{n+1}ds$ and $J_n(R)={\int }_R^{\infty }\Sigma (s)s^{-n}ds$. The gravitational potential becomesWhen differentiating each bracket, the moving-limit terms cancel: $R^{-(n+1)}{I}_n^{\prime }=\Sigma (R)$ and $R^n{J}_n^{\prime }=-\Sigma (R)$. Since $v_c^2=R{\Phi }^{\prime }$, this givesThe zeroth term has ${\alpha }_0=\pi$ and $M(R)=2\pi I_0$. Separating it provesThe inner correction is inward, while the exterior correction is outward. For a smooth surface density, the original potential singularity at coincident points is integrable. Its radial force is understood through a symmetric Cauchy principal value or a vanishing-thickness regularization; the paired interior and exterior terms above retain the cancellation at $s=R$. This avoids treating the two singular local force contributions separately.

For an exponential galactic disk, write $\Sigma (s)={\Sigma }_0{e}^{-s/R_d}$, so $M_{\infty }=2\pi {\Sigma }_0{R}_d^2$ and $M(R)=M_{\infty }[1-(1+R/R_d)e^{-R/R_d}]$. At large $R$, the missing mass and exterior-ring terms are exponentially small. The leading nonspherical interior term is $k=1$, with ${\alpha }_2=\pi /4$ and $I_2(\infty )=6{\Sigma }_0{R}_d^4$. Consequently the exponential-disk Keplerian asymptotic isThe positive leading correction shows that the rotation curve approaches the Keplerian limit from above. The finite-order large-radius expansion is sufficient here; an infinite moment expansion need not converge for a disk extending to infinity.

A useful special example is the Mestel disk, with surface density $\Sigma (s)=C/s$ for $s>0$, $C>0$. It has $M(R)=2\pi CR$. For every positive even $n$,All the nonspherical corrections cancel, givingThus the Mestel disk has a perfectly flat galaxy rotation curve.

This example has infinite total mass and a singular central surface density. The absolute gravitational potential cannot be set to zero at infinity, but the radial force exists as a limit of disks with increasing outer cutoff. Potential differences are $\Phi (R)-\Phi (R_0)=v_M^2\log (R/R_0)$. The earlier potential integral is therefore interpreted up to a radius-independent divergent constant for this example; the force calculation remains valid. Truncating the Mestel disk gives a more physical finite system but changes the exact flat curve near its edges.

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 $⟨v_{\theta }^2⟩=⟨v_{\varphi }^2⟩$. This uses spherical symmetry of the velocity distribution, not just a spherical mass density.

The augmented density $\rho (r,\psi )$ treats radius and relative potential as independent variables, agreeing with the physical density only along $\psi =\psi (r)$. For any regular bound spherical galactic distribution function $F(E,L)$, write $P_r=\int v_r^{2}F{d}^{3}v$ and $P_t=\int v_{\theta }^{2}F{d}^{3}v$. At fixed $r$, $F_{\psi }=F_E$ and ${\partial }_{v_r}F=-v_r{F}_E$. Integration by parts therefore givesFor $v_t^2=v_{\theta }^2+v_{\varphi }^2$, the velocity measure is $2\pi v_{t}d{v}_{t}d{v}_r$, and $r{F}_L={\partial }_{v_t}F+v_t{F}_E$. Integrating the transverse derivative gives $-2P_r$, while integrating the radial derivative in $\int v_r^2{v}_t^2{F}_E{d}^{3}v$ gives $2P_t$. Consequentlywhere $\psi$ 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 $dA/dr={\int }_0^{\psi }{\partial }_r\rho (r,q)dq+\rho (r,\psi ){\psi }^{\prime }(r)$. The Spherical Jeans equation then requiresThus the Jeans moments from an augmented density areThe partial derivative holds $q$ fixed. Substitution cancels the integral of ${\partial }_r\rho$ and leaves precisely $\rho {\psi }^{\prime }$ 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 $M(<r)$ and dividing by $4\pi r^2$ givesThe enclosed mass tends to $M$ at infinity and to zero at the centre for every $p>0$. The same result follows from ${\nabla }^2\psi =-4\pi G\rho$, with the stated sign convention.

From now on set $G=M=a=1$. The separable augmented density is $\rho (r,q)=(p+1)r^{p-2}{q}^{2p+1}/(4\pi )$. Integrating it givesand henceWith $\psi =(1+r^p{)}^{-1/p}$ these are the requested radial expressions. The velocity-anisotropy parameter is $\beta =1-p/2$, and the total mean square speed is $⟨v^2⟩=\psi /2$.

The local kinetic-energy density is $t=\rho ⟨v^2⟩/2=\rho \psi /4$. With the potential zero at infinity, the gravitational energy density is $w=\rho \Phi /2=-\rho \psi /2$, where $\Phi =-\psi$. ThereforeThis 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 $I=\int \rho \psi d^{3}x$. The substitution $u=r^p$ yields the global binding integral of the hypervirial modelThe beta function integral converges for all $p>0$. ThusRestoring dimensions multiplies $I,T,W$ by $G{M}^2/a$.

To derive the hypervirial distribution function, let $E=\psi -v^2/2$ be the positive relative energy and $L=rv\sin \vartheta$ the magnitude of the specific angular momentum. Seek $F=C{L}^{p-2}{E}^s$ for $E>0$ and zero otherwise. Its density isThe angular integral is $\sqrt{\pi }\Gamma (p/2)/\Gamma ((p+1)/2)$. Substitution $z=v^2/(2\psi )$ makes the radial integralMatching the augmented-density power ${\psi }^{2p+1}$ gives $s=(3p+1)/2$. Matching its coefficient gives the normalization of the hypervirial distribution functionAll integrals are finite in velocity for $p>0$, and $C>0$. Because $E$ and $L$ are orbital integrals, this is a steady solution by the Jeans theorem. As checks, $p=1$ gives $C=3/(4{\pi }^3)$ for the Hernquist model, and $p=2$ gives $C=24\sqrt{2}/(7{\pi }^3)$ 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 $p=2$ density. Define the Osipkov-Merritt distribution function variable $Q=E-L^2/2$ and takeRescale the transverse velocity by $\sqrt{1+r^2}$. Then $Q=\psi -[v_r^2+(1+r^2)v_t^2]/2$ and the velocity Jacobian contributes $(1+r^2{)}^{-1}$. Direct integration givesexactly the same Plummer model density. This anisotropic Plummer distribution with unit anisotropy radius has $\beta =r^2/(1+r^2)$, so it is distinct from the isotropic $E^{7/2}$ 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.

False. The enclosed-mass formula is a consequence of the spherical shell theorem. In a spherical galaxy, exterior shells exert no radial force and interior mass acts as though concentrated at the centre, giving $v_c^2=GM(<r)/r$.

A razor-thin axisymmetric disc instead hasBoth interior and exterior annuli contribute to that derivative. Its geometry is not determined by $M(<R)$.

A concrete counterexample compares a central point mass $M_0$ plus an exterior spherical shell with the same point mass plus a thin circular ring of mass $m$ and radius $a$. Their enclosed-mass profiles are identical: $M_0$ inside $a$, and $M_0+m$ outside. The interior gravitational force of an exterior thin ring follows by expanding its angularly averaged relative potential:For $R\ll a$, the ring's acceleration is outward, ${\partial }_R{\psi }_{\mathrm{ring}}=GmR/(2a^3)+\cdots$, whereas the spherical shell's acceleration is zero. With $M_0$ large enough to retain circular orbits, the disc-side speed isA narrow smooth annulus gives the same distinction. This proves that enclosed mass does not determine a disc rotation curve, even when the mass profiles of the spherical and disc models agree.