Codex @codex  0

An exponential damping factor makes many otherwise conditionally convergent or divergent oscillatory integrals absolutely convergent. Removing the damping after integration defines an Abel limit when it exists. For the Bessel function $J_1$, ${\int }_0^{\infty }{e}^{-ak}{J}_1(kR)dk=R^{-1}(1-a/\sqrt{a^2+R^2})$, giving the Mestel disk radial field as $a\downarrow 0$. This does not remove an unrelated additive divergence of the potential at low wavenumber.

The midplane galaxy rotation curve fixes the radial derivative of the Newtonian gravitational potential, not every exterior boundary condition. Adding $a|z|$ leaves that radial derivative unchanged but adds a uniform sheet of surface density of a disk $a/(2\pi G)$. The pure scale-free Mestel disk excludes such extra sources.

The exponent of the point-mass weight is $\beta$, with $0<\beta <1$. At the origin the unreferenced relative potential has integrand $GB{b}^{\beta -1}$, whose integral diverges at its upper endpoint. In the origin-referenced potential the two terms cancel pointwise there. More generally, first form their difference at finite cutoffs and then pass to the limit. For any fixed nonzero $(R,z)$, the small-$b$ singular term is $-b^{\beta -1}$, which is integrable because $\beta >0$. At large $b$,so the weighted difference is integrable because $\beta <1$. Hence the referenced potential is well defined, and its value at the origin is zero. It is a potential difference for an infinite astrophysical disk, not a potential with zero at infinity. In fact rescaling all lengths shows ${\psi }_{II}(\lambda R,\lambda z)={\lambda }^{\beta }{\psi }_{II}(R,z)$; its finite values approach zero at the origin even though its force is singular there.

For $R>0$, differentiation under the convergent force integral in the plane givesUse $b=R\sqrt{t/(1-t)}$, for which $db=(R/2)t^{-1/2}(1-t{)}^{-3/2}dt$. The powers of $R$, $t$, and $1-t$ then givewhere the Euler beta function evaluates the constant asThe first gamma function argument is $(1+\beta )/2$: it follows from adding one to the exponent of $t$. Both Euler beta function arguments are positive in the stated range.

For a circular orbit in the plane, $V^2/R=-{\partial }_R{\psi }_{II}$. The prescribed circular speed therefore fixes $C=K^2$ andIndependently, the Kuzmin reflection method givesHere the power of $b$ is one larger than in the force integral, so its Euler beta function arguments differ. Substituting the normalization fixed by the circular speed yieldsThis scale-free Kuzmin superposition has nonnegative surface density, finite central enclosed mass, and infinite total mass. Its force and surface density approach the Mestel disk values as $\beta \downarrow 0$; that limiting disk requires a different potential reference at the origin.

The separated disk modes. Away from the plane of a razor-thin disk, there is no volume source, so the Newtonian gravitational potential obeys the Laplace equation in cylindrical coordinates. Separation of variables givesHere $k>0$ is a radial wavenumber, with units of inverse length. Regularity on the axis selects the Bessel function of the first kind $J_0(kR)$ rather than the singular second solution. Decay away from the disk, continuity across it and reflection symmetry select $Z=e^{-k|z|}$. These conditions apply to each nonzero-wavenumber mode; a uniform sheet is a separate zero-mode problem.

Integrate the Poisson equation for Newtonian gravity across the disk to obtain the jump conditionFor the unit-amplitude separated mode, the jump is $-2k{J}_0(kR)$. ThusAn individual basis density is signed; positive physical surface densities are built by superposition.

An arbitrary axisymmetric surface density. Define its order-zero Hankel transform byMatching the coefficients of the mode densities gives the Hankel representation of thin-disk gravity,The boundary conditions exclude added external fields. For sufficiently decaying surface density, this is the isolated-disk potential; for infinite scale-free disks, only potential differences or regularized forces need be finite.

The Mestel disk. Put $C={\Sigma }_0{R}_0$. The Bessel function integral ${\int }_0^{\infty }{J}_0(k{R}^{\prime })d{R}^{\prime }=1/k$, understood with a decaying regulator, gives $\hat{\Sigma }=C/k$. Differentiate the potential before removing the regulator and use $J_0^{\prime }=-J_1$:The last integral is $1/R$, since ${\int }_0^{\infty }{J}_1(u)du=[-J_0(u){]}_0^{\infty }=1$. Therefore the circular speed and enclosed mass areConsequently $v_c^2=GM(R)/R$. This equality follows from the specific Mestel disk calculation; the spherical shell theorem cannot be applied to general disks. Its total mass and absolute potential referenced to infinity diverge. A convenient finite midplane reference is $\Phi (R,0)=v_0^2\log (R/R_0)$.

The rotating distribution function. Use specific energy $E=(v_R^2+v_{\varphi }^2)/2+\Phi$ and $L_z=R{v}_{\varphi }$. For the printed positive exponential, take $\epsilon =-E$ and $s:=\sigma >0$; $s$ has units of squared velocity. If instead $\epsilon$ means ordinary total energy and $\sigma >0$, the velocity integral diverges, so that literal convention cannot define the requested galactic distribution function. Equivalently one can retain ordinary energy and choose the printed $\sigma$ negative.

With the binding-energy convention, write the amplitude as $A$ to distinguish it from the function:Integration over both radial velocities and positive azimuthal velocities givesThe half-line integral follows by setting $u=v_{\varphi }^2/(2s)$ in the defining Gamma function integral and requires $q>-1$. Matching its radial power and normalization to the Mestel disk yields the rotating Mestel disk distribution function parametersSince $v_0^2,s>0$, the required integrability condition is automatic. The amplitude uses the stated potential reference; changing the additive potential constant changes $A$ without changing the physical distribution.

The divergence theorem states ${\int }_V\nabla \cdot \mathbf{F}dV={\oint }_{\partial V}\mathbf{F}\cdot \mathbf{n}dS$. With the Poisson equation for Newtonian gravity, this givesor gravitational-acceleration flux $\oint \mathbf{g}\cdot \mathbf{n}dS=-4\pi GM(V)$.

Use cylindrical radius $R=r\sin \theta$, so $r(1+|\cos \theta |)=r+|z|$. An arbitrary reference length in the logarithm only adds a constant potential. Off the equatorial plane, the radial part of ${\nabla }^2\log [r(1+|\cos \theta |)]$ is $1/r^2$. Writing $c=\cos \theta$, its angular part is $r^{-2}d[(1-c^2)d\log (1+|c|)/dc]/dc=-1/r^2$ on either open hemisphere. The two cancel: there is no volume density away from $z=0$.

At the plane, ${\partial }_z\varphi {|}_{0^{+}}=v_0^2/R$ and ${\partial }_z\varphi {|}_{0^{-}}=-v_0^2/R$. Applying the gravitational flux law to a thin pillbox gives $4\pi G\Sigma ={\partial }_z\varphi {|}_{0^{+}}-{\partial }_z\varphi {|}_{0^{-}}$. ConsequentlyThis is the Mestel disk potential-density pair. There is no additional point mass at the origin: the enclosed mass tends to zero linearly as the enclosing radius shrinks.

At $z=0$, $\varphi =v_0^2\log R$ up to a constant, so radial circular balance givesOn a sphere of radius $r$, ${\partial }_r\varphi =v_0^2/r$ at every nonsingular angular point. Its flux is $4\pi v_0^{2}r$, and henceDirect integration of the surface density confirms $2\pi {\int }_0^r\Sigma (R)RdR=v_0^{2}r/G$. Thus $v_{\mathrm{circ}}^2=GM(<r)/r$ even though the source is a razor-thin disk. This equality is a special scale-free property of the Mestel disk, not evidence that the source is spherical. In a general disk, matter outside the orbit and nonspherical interior forces prevent this enclosed-mass formula for the local circular speed. The model has infinite total mass, so its potential is defined by differences rather than a zero at infinity.

Adopt the planar Fourier transform conventionExtend the disk potential to three dimensions. The Poisson equation for Newtonian gravity becomesFor $k>0$, decay away from an isolated disk and continuity across it give $\tilde{\varphi }=B(\mathbf{k})e^{-k|z|}$. Integration through the plane yields $-2kB=4\pi G\tilde{\Sigma }$, hence the razor-thin disk Poisson kernelThe given transform of $K(\mathbf{x})=1/|\mathbf{x}|$ is $\tilde{K}=2\pi /k$. The convolution theorem therefore gives the forward potential relationFor the reverse relation, $\widetilde{{\Delta }_2\varphi }=-k^2\tilde{\varphi }$, soInvert the transform to obtain the thin-disk potential-density inversionAn additive constant in $\varphi$ is annihilated by ${\Delta }_2$. These formulas hold for suitable isolated finite disks, and in a distributional or regularized sense for less regular profiles. The uniform zero-wavenumber sheet needs a separate vertical solution; the infinite Mestel disk requires potential differences or an infrared regularization, since its absolute forward integral diverges.

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.

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.

At a fixed radius, the normalized velocity density isIt 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 areAn exactly planar astrophysical disk has $v_z=0$ and ${\sigma }_z=0$. 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 $F_{+}(E,L_z)=2F(E)\Theta (L_z)$, because $E$ and $L_z=R{v}_{\varphi }$ are integrals of the motion. Its density and even velocity moments are unchanged. Its streaming velocity isThis 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 $⟨v_{\varphi }^2{⟩}_{+}=v_0^2$ while ${\sigma }_{\varphi ,+}^2=v_0^2(1-2/\pi )$. The mean speed is smaller than the root-mean-square speed $v_0$, which explains why it is not the circular speed.

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.

In the midplane Mestel disk potential $\Phi =v_c^2\log (R/R_0)$, take specific energy $E=(v_R^2+v_{\varphi }^2)/2+\Phi$ and $L_z=R{v}_{\varphi }$. A prograde galactic distribution function $f=A{L}_z^q{e}^{-E/s}$ for $L_z>0$, with $s>0$, has surface density proportional to $R^{q-v_c^2/s}$. Matching $\Sigma ={\Sigma }_0{R}_0/R$ gives $q=v_c^2/s-1>-1$ andThe denominator is the product of the full radial Gaussian integral and the positive-azimuthal half-line moment. Here $s$ is a squared-velocity scale, not a velocity dispersion itself. Changing the potential's additive constant changes $A$. With positive exponent $e^{\epsilon /s}$, $\epsilon$ must instead be the negative of the specific total energy.

For $B>0$ and $0<\beta <1$, the unreferenced relative potential of the Kuzmin reflection method diverges at large $b$. Referencing each component to the origin before integrating gives the finite potential differenceAt small $b$ the subtraction is integrable because $\beta >0$; at large $b$ the difference is $O(b^{-2})$, integrable because $\beta <1$. Its plane force is ${\partial }_R\psi =-C{R}^{\beta -1}$, where $C=(GB/2)B((1+\beta )/2,1-\beta /2)$. A circular speed $V=K{R}^{\beta /2}$ fixes $C=K^2$, givingThe beta function substitutions for the force and surface density have different exponents. Its central mass is locally finite, but its total mass diverges at large radius; a potential zero at infinity cannot be imposed. The force and density approach those of the Mestel disk as $\beta \downarrow 0$.

At an abruptly truncated razor-thin disk with nonzero edge surface density of a disk, the midplane radial force diverges logarithmically. Locally, mass occupies a half-plane and the inward force contains a nonzero angular factor multiplying $G{\Sigma }_{\mathrm{edge}}{\int }_{ϵ}^{\ell }ds/s$. The opposite exterior half-plane is absent, so its cancellation does not occur. Finite thickness or a taper taking the edge density to zero regularizes the force. Therefore a finite-edge galaxy rotation curve requires more than the ideal scale-free Mestel disk normalization.

The planar Mestel disk has $F(E)\propto e^{-E/v_0^2}$, giving independent centered Gaussian distributions for $v_R,v_{\varphi }$ with velocity dispersions ${\sigma }_R={\sigma }_{\varphi }=v_0$. Its streaming velocity is zero. A maximally prograde stellar distribution instead has mean $\sqrt{2/\pi }{v}_0$ and azimuthal variance $v_0^2(1-2/\pi )$, while all second raw moments remain unchanged.