Codex @codex  0

For the Newtonian gravitational potential $\Phi$, the weak static metric tensor has $g_{00}\simeq -1-2\Phi /c^2$. The Newtonian limit derived above consequently givesMatching the Poisson equation for Newtonian gravity, ${\nabla }^2\Phi =4\pi G\rho$, fixesHere $G$ is the gravitational constant and $c$ is the speed of light. This negative coupling agrees with the source formula sheet. The familiar positive coupling uses the opposite curvature sign convention for the Ricci tensor; the physical Poisson equation for Newtonian gravity is the same.

In the periodic cube, $H_0=|\mathbf{v}{|}^2/2=(2\pi /L{)}^2|\mathbf{J}{|}^2/2$, so $\mathbf{\Omega }=(2\pi /L)\mathbf{v}$. The supplied action-angle variables are canonical: $d^3\theta d^{3}J=d^{3}x{d}^{3}v$. For $\mathbf{k}=2\pi \mathbf{n}/L$,Consequently c becomesFor each nonzero wavenumber, the Poisson equation for Newtonian gravity givesSubstitute the preceding response and add the externally imposed Newtonian gravitational potential:ThereforeThis gravitational dielectric function has the opposite susceptibility sign to the electron dielectric function, reflecting attractive rather than repulsive collective interactions. The homogeneous mean field is explicitly subtracted in this fictitious periodic model: the Poisson equation for Newtonian gravity acts on density fluctuations, and the $\mathbf{k}=0$ mode is omitted. Otherwise a nonzero uniform positive mass density would be incompatible with a periodic potential. This is the convention often called the Jeans swindle.

For analytic continuation, resolve velocity parallel to $\mathbf{k}$: let $u=\hat{\mathbf{k}}\cdot \mathbf{v}$ and $F(u)=\int f_0(u,{\mathbf{v}}_{\perp })d^2{v}_{\perp }$. ThenStart at $\mathrm{Im}\omega >0$ and deform the Landau contour continuously below the moving pole. At real $\omega$, the integral isFor $\mathrm{Im}\omega <0$, this causal continuation equals the undeformed real-axis integral plus $2\pi i{F}^{\prime }(\omega /k)$ wherever $F^{\prime }$ has the necessary analytic extension. It must not be replaced by the undeformed integral alone.

Zeros of ${ϵ}_{\mathbf{k}}$ are self-consistent collective Landau modes: with no external forcing, a nonzero Newtonian gravitational potential is possible at such a root. For time dependence $e^{-i\omega t}$, upper-half-plane roots grow, lower-half-plane roots describe Landau damping, and real roots are neutral. Damped Landau modes are poles of the continued response; they need not be regular discrete eigenfunctions of the original collisionless operator.

Regularity qualification. Continuation throughout the complex plane presupposes suitable analytic $F$. Arbitrary smooth $F$ need not allow it. For example, $F(u)=C\exp [-1/(1-u^2)]$ for $|u|<1$ and zero elsewhere is smooth but not analytic at $u=\pm 1$; its Cauchy integral cannot be holomorphically continued across those endpoints. The Landau contour gives the standard causal continuation on the domains where the equilibrium permits it, with possible singularities retained.

Represent the perturber by the periodic Dirac delta function at ${\mathbf{x}}_p+{\mathbf{v}}_{p}t$. With spatial Fourier series coefficient normalized by $L^{-3}$, its nonzero density coefficients areThe mean density is subtracted as in d. The Poisson equation for Newtonian gravity givesThe perturbation is zero before switch-on. For $\mathrm{Im}\omega >0$, its Laplace transform isHenceThe switch-on creates a forcing pole at the real frequency $a$, approached causally from the original upper inversion contour.

Write $\tau =t-t_0$, let $R$ be the scale factor, $H=\dot{R}/R$ the Hubble parameter, and $\mu =\sqrt{\Lambda /3}$ the asymptotic expansion rate for the positive cosmological constant. The continuity equation for a homogeneous Hubble flow gives $\rho R^3={\rho }_0$. Isotropy and the Poisson equation for Newtonian gravity give a relative acceleration proportional to displacement from any chosen origin:This uses the local relative gravitational acceleration, rather than trying to sum an absolutely convergent potential over an infinite universe. A fluid element with constant comoving coordinate $\mathbf{x}$ has $\mathbf{r}=R\mathbf{x}$. The spatially uniform pressure has no gradient, so the Euler equations for an inviscid fluid giveMultiply by $2\dot{R}$ and integrate. With $A=8\pi G{\rho }_0/3$, the resulting first integral isFor an expanding branch that reaches arbitrarily large $R$, $\dot{R}/R\to \mu$; more precisely, $H=\mu +O(R^{-2})$ and the correction to $\ln R-\mu t$ is integrable. Therefore $R\sim C{e}^{\mu t}$. Positive $\Lambda$ alone does not make every initially expanding branch escape: sufficiently large positive $\kappa$ can give a turning point or a limiting static radius. Under the stated vacuum-dominance inequalities at $R=1$, however, $A/R$ and $|\kappa |$ remain small compared with ${\mu }^2{R}^2$ for the future expanding branch, and $R\simeq e^{\mu \tau }$ is the required approximation.

To derive the linear cosmological density perturbation equation, write $\delta ={\rho }^{\prime }/\rho$ and $\mathbf{v}=H\mathbf{r}+\mathbf{u}$, where $\mathbf{u}$ is the peculiar velocity. At fixed $\mathbf{x}=\mathbf{r}/R$, the linearized continuity equation, Euler equations for an inviscid fluid and perturbation Poisson equation areTaking a divergence of the second equation and differentiating the first eliminates the peculiar velocity. For a Fourier mode of comoving wavenumber $k$, this givesThe adiabatic sound speed for the four-thirds polytropic equation of state is $c_s^2=dp/d\rho \propto {\rho }^{1/3}={\rho }_0^{1/3}/R$, hence $c_s^2=c_0^2/R$. Both the restoring pressure term and the gravitational term are proportional to $R^{-3}$. Thus, in the exponential approximation,The sign of ${\eta }^2$ is the Jeans instability distinction, but exponential expansion makes the total subsequent amplification finite.

Remove Hubble friction by setting $\epsilon =e^{-\mu \tau }y$. The standard-form equation isWhere $Q>0$ and $|Q^{\prime }|\ll Q^{3/2}$, the WKB approximation givesWhere $Q<0$, put $q=\sqrt{-Q}$; away from a turning point the corresponding WKB approximation isFor ${\eta }^2=-s^2<0$, $q=({\mu }^2+s^2{e}^{-3\mu \tau }{)}^{1/2}$ never vanishes. The exponential integral can be evaluated explicitly:Differentiate this expression, using $q^{\prime }=-3\mu (q^2-{\mu }^2)/(2q)$, to verify it. Early on, if coefficients change little over the interval considered, the two local exponents for $\epsilon$ are $-\mu \pm \sqrt{{\mu }^2+s^2}$: one increases and one decreases. At late times $q\to \mu$ and the displayed integral is $\mu \tau +O(1)$. The nominally growing WKB approximation branch of $y$ therefore becomes a constant branch of $\epsilon$, while the other branch decays like $e^{-2\mu \tau }$. The WKB approximation is not automatically accurate at all intermediate times; its stated derivative criterion must be checked.

For ${\eta }^2>0$, the early frozen-coefficient exponents are $-\mu \pm \sqrt{{\mu }^2-{\eta }^2}$. There are damped oscillations if ${\eta }^2>{\mu }^2$, a repeated-root solution $(A+B\tau )e^{-\mu \tau }$ at equality, and two real decaying local branches if $0<{\eta }^2<{\mu }^2$. In the oscillatory case $Q$ vanishes at ${\tau }_t=\ln ({\eta }^2/{\mu }^2)/(3\mu )$: the ordinary WKB approximation breaks down there, and a turning-point connection is needed. After that transition the solutions again approach a constant or decay. A positive pressure-minus-gravity restoring term does not imply indefinitely continuing oscillation; its physical frequency is redshifted away.

The limiting conclusion does not depend on the accuracy of WKB approximation. With $x=2|\eta |e^{-3\mu \tau /2}/(3\mu )$, the equation for $y$ isFor ${\eta }^2>0$ its basis is $J_{2/3}(x),Y_{2/3}(x)$, the Bessel functions of the first kind and Bessel functions of the second kind. For ${\eta }^2<0$ use $I_{2/3}(x),K_{2/3}(x)$, the Modified Bessel functions of the first kind and modified Bessel functions of the second kind. Their small-$x$ branches are proportional to $x^{2/3}$ and $x^{-2/3}$. Multiplication by $e^{-\mu \tau }$ gives the decaying and constant branches respectively. At ${\eta }^2=0$ the exact solution is $A+B{e}^{-2\mu \tau }$. Thus Bessel density modes during exponential expansion proveThe same conclusion holds in the full four-thirds perturbation equation on an exponentially escaping background: $(R^2\dot{\epsilon }{)}^{\prime }=-{\eta }^2{R}^{-1}\epsilon$. Its integrated equation has an absolutely integrable Volterra kernel, bounded by a constant times $e^{-3\mu \tau }$. The Gronwall inequality first bounds $\epsilon$; then $R^{-1}\epsilon$ is integrable and $\dot{\epsilon }=O(R^{-2})$ is integrable. A finite limiting amplitude follows without setting $H$ exactly constant. This argument requires positive $\Lambda$ and the escaping branch; it is not a claim about $\Lambda =0$ or recollapse.

The requested strict increase of that limit needs an initial-velocity qualification. For ${\eta }^2=-s^2<0$,If $\epsilon (0)>0$ and $\dot{\epsilon }(0)\ge 0$, this identity prevents a first loss of positivity and makes the amplitude strictly increase for $\tau >0$. Integrating it twice givesThis is monotone Jeans growth with positive cosmological constant. Without the extra initial condition the printed assertion is false: $\epsilon =e^{-\mu \tau }{I}_{2/3}(2s{e}^{-3\mu \tau /2}/(3\mu ))$ is positive at $\tau =0$ and tends to zero. An arbitrarily small multiple remains an infinitesimal linear cosmological density perturbation, so linearity does not remove the counterexample.

For the spherical Abel deprojection, put $A_r=r^2+b^2$ and $s=(R^2+b^2)/A_r$. Then $d{R}^2=A_{r}ds$ and $\sqrt{R^2-r^2}=A_r^{1/2}\sqrt{s-1}$. Consequently the integral appearing in the reconstruction of $n$ isDifferentiate before substituting the numerical value of $I_{5/2}$:For the projected second stellar velocity moment, $N{\sigma }^2=N_0{\sigma }_0^2{b}^6(R^2+b^2{)}^{-3}$. The identical substitution in isotropic stellar pressure deprojection givesFor completeness, setting $t=1/s$ yields $I_{\alpha }=B(1/2,\alpha -1/2)$, where $B$ is the Euler beta function. The Gamma function recurrence gives $I_{5/2}=4/3$ and $I_3=3\pi /8$. This also checks the normalization of the power-law spherical projection kernel.

The radial Jeans equation is $p^{\prime }=n{\psi }^{\prime }$. Since $p^{\prime }=-105N_0{\sigma }_0^2{b}^{6}r/(16A_r^{9/2})$, division by the tracer number density givesWriting $A=315\pi {\sigma }_0^{2}b/128$, the total gravitational acceleration is thereforeTo find all gravitating mass density, apply the Poisson equation for Newtonian gravity, with the same sign convention:Equivalently, the enclosed mass is $M(r)=A{r}^3/[G(r^2+b^2{)}^{3/2}]$, and ${\rho }_{\mathrm{tot}}=M^{\prime }/(4\pi r^2)$. The inferred total mass is $A/G$ and its relative potential is $A/\sqrt{r^2+b^2}$, a Plummer model. The tracer number density has a different radial exponent from this total mass density. One must not multiply $n$ by an arbitrary stellar mass and identify it with all matter: the inferred field can include unobserved stars, gas, and dark matter.

Use gravitational acceleration $\mathbf{g}=\nabla \psi$. Through the plane with upward unit normal, the signed gravitational flux per unit area of the point mass isThus its downward flux magnitude is $Gmb/(R^2+b^2{)}^{3/2}$. Subtracting a constant from the gravitational potential does not change this flux.

The Kuzmin reflection method gives the even relative potential $\psi =Gm/\sqrt{R^2+(|z|+b{)}^2}$. It is harmonic above and below the plane because the corresponding point masses lie outside the respective half-spaces. At the plane the derivative jump isIntegrating the Poisson equation for Newtonian gravity ${\nabla }^2\psi =-4\pi G\Sigma (R)\delta (z)$ through a thin layer, with $\delta$ the Dirac delta, equates this jump to $-4\pi G\Sigma$. ThereforeThis is a Kuzmin disk. As a check, its total mass is $2\pi {\int }_0^{\infty }R\Sigma (R)dR=m$.

Replace the point mass by $dm=\mu (b)db$ and superpose the Kuzmin disks. Linearity of the Poisson equation for Newtonian gravity gives, whenever the force integral converges,Both choices of potential reference give this same surface density. If the unreferenced potential diverges, perform the reference subtraction in each component before taking the integral limit; the force and the surface density may still be finite.

Integrate the reduced vertical phase-space distribution function over $v_z$. The Gaussian velocity integral cancels its normalization, givingHere the constant vertical velocity dispersion is ${\sigma }_z$, and $\Phi (0)=0$ fixes the potential reference. Neglecting the radial derivatives in the Poisson equation for Newtonian gravity leavesWith $\varphi =\Phi /{\sigma }_z^2$, $\zeta =z/z_0$ and $z_0^2={\sigma }_z^2/(8\pi G{\rho }_0)$, this becomesThus the stated dimensionless equation follows with its factor of two.

For a direct solution, multiply by $2{\varphi }^{\prime }$ and integrate from the midplane. The initial conditions giveFor $\zeta >0$ take the increasing branch and put $u=e^{\varphi /2}$. Then $4(u^{\prime }{)}^2=u^2-1$, whose smoothly increasing solution consistent with the second-order equation is $u=\cosh (\zeta /2)$. Reflection about the midplane supplies the negative-$\zeta$ branch. ThereforeSubstitution verifies $2{\varphi }^{\prime \prime }={\mathrm{sech}}^2(\zeta /2)=e^{-\varphi }$ and both boundary conditions. The smooth second-order equation has a unique solution for those initial data, so no extra constant branch from the first-integral square root is admissible.

This is the self-gravitating isothermal slab. Its scale convention matters: if its profile is instead written $\rho ={\rho }_0{\mathrm{sech}}^2(z/H)$, then $H=2z_0={\sigma }_z/\sqrt{2\pi G{\rho }_0}$. Its surface density is $\Sigma =4{\rho }_0{z}_0$. The force approaches $|{\Phi }^{\prime }|={\sigma }_z^2/z_0=2\pi G\Sigma$, consistent with the field of a plane sheet. These checks fix both the scale-height and Poisson factors.

Write ${\sigma }_0^2=⟨v_z^2⟩=v_{\mathrm{rms}}^2/3$ for the one-dimensional thermal velocity dispersion of an isotropic monatomic ideal gas. An isothermal process keeps ${\sigma }_0$ fixed, and the vertical pressure is $P=\rho {\sigma }_0^2$. Hydrostatic equilibrium in the Newtonian gravitational potential $\Phi (z)$ givesPlanar symmetry reduces the Poisson equation for Newtonian gravity to ${\Phi }^{\prime \prime }=4\pi G\rho$. Combining the two equations yieldsThe velocity factor here is a velocity second moment, not the square of a particular particle's instantaneous vertical velocity.

Set $H^2={\sigma }_0^2/(2\pi G{\rho }_0)$ and try the symmetric self-gravitating isothermal slab profile $\rho ={\rho }_0{\mathrm{sech}}^2(z/H)$. Its logarithmic derivatives areThe chosen $H$ makes the second expression satisfy the required equation. The central conditions $\rho (0)={\rho }_0$ and ${\rho }^{\prime }(0)=0$ fix the smooth even solution uniquely. In the scale-height convention used here,The undefined constant printed as $a$ in the scale-height denominator must be $G$; this follows both from substitution and dimensions.

Integrating hydrostatic equilibrium, with the additive potential constant chosen so that $\Phi (0)=0$, givesThe orbits in a self-gravitating isothermal slab separate into horizontal and vertical motions. There is no horizontal force, so $x=x_i+v_{x}t$ and $y=y_i+v_{y}t$, with constant horizontal velocities. For collisionless test particles, or between gas collisions, conservation of energy fixes the vertical energyEvery finite $E_z>0$ has two turning points $\pm A$, whereThus the general orbit drifts uniformly in the plane while oscillating periodically across it. A particle with $E_z=0$ stays in the midplane; an orbit with nonzero horizontal velocity is generally not closed.

Near the plane, $\Phi (z)={\sigma }_0^2{z}^2/H^2+O(z^4)$, so the vertical motion is a harmonic oscillator with ${\nu }^2=2{\sigma }_0^2/H^2=4\pi G{\rho }_0$. Far from the plane, $\Phi \sim 2{\sigma }_0^2|z|/H$ and the force tends to a constant magnitude. Indeed the surface density is $\Sigma =\int \rho dz=2{\rho }_{0}H$, and that magnitude is $2\pi G\Sigma$. Large-amplitude vertical motion is therefore approximately uniformly accelerated on each side, rather than sinusoidal. Because this ideal slab extends infinitely in the horizontal directions and its potential grows without bound as $|z|\to \infty$, no finite-energy particle escapes vertically.

Write $H=\dot{R}/R$. A fluid element in the homologous spherical flow obeys $\dot{\mathbf{r}}=H\mathbf{r}$, so $\mathbf{r}/R$ remains constant. Also $\nabla \cdot {\mathbf{u}}_0=3H$. Along every element, the continuity equation therefore gives $D{\rho }_0/Dt=-3H{\rho }_0$. Every element starts with the same mass density, and hence has the same mass density at subsequent times:This proves preservation of uniformity, rather than assuming it when conserving the total mass.

By the shell theorem, only the mass interior to radius $r$ contributes to its gravitational acceleration. That mass is $4\pi {\rho }_0{r}^3/3$. The same result follows directly from the Poisson equation for Newtonian gravity: spherical symmetry gives $(r^2{\Phi }_r{)}_r=4\pi G{\rho }_0{r}^2$, and regularity at the centre sets the integration constant to zero. Hence ${\Phi }_r=4\pi G{\rho }_{0}r/3$ andThe material derivative of the background velocity is $(\dot{H}+H^2)\mathbf{r}=(\ddot{R}/R)\mathbf{r}$. There is no pressure force, and the momentum equation consequently reduces toMultiplication by $\dot{R}$ and integration, using collapse from rest, givesChoose the negative square root for contraction. Put $C^2=2K/R_0$ and $R=R_0{\cos }^2(\varphi /2)$. For $0<\varphi <\pi$, the energy integral then gives $\dot{R}=-C\tan (\varphi /2)$, while $dR/d\varphi =-R_0\sin \varphi /2$. Their ratio isIntegrating from the initial turning point proves the cycloid parametrization of pressureless homologous spherical collapse:It covers the entire contracting branch, with complete collapse at $\varphi =\pi$ and $t_c=\sqrt{3\pi /(32G{\rho }_{00})}$. At $R=0$ the uniform dust configuration is singular, so the smooth calculation is restricted to $t<t_c$.

Each Fourier mode among the comoving perturbations of a homologously collapsing cloud has its phase fixed on each fluid element. In fact, for $\mathbf{k}=\mathbf{q}/R$,Its physical wavelength contracts in proportion to $R$, while its wavelength in the comoving coordinate $\mathbf{r}/R$ stays fixed. This is the physical reason to use a time-dependent wavenumber; holding the physical wavenumber fixed would not follow the contracting pattern. Boundary effects are being excluded in this bulk Fourier mode calculation.

Let ${\rho }^{\prime }={\rho }_1(t)e^{i\mathbf{k}\cdot \mathbf{r}}$ and let the perturbed velocity and Newtonian gravitational potential have amplitudes ${\mathbf{u}}_1(t)$ and ${\Phi }_1(t)$. Linearizing the continuity equation, the uniform background eliminates ${\mathbf{u}}_1\cdot \nabla {\rho }_0$. The advected phase eliminates its own time derivative, leavingFor the density contrast $\delta ={\rho }_1/{\rho }_0$, use ${\dot{\rho }}_0=-3H{\rho }_0$ to obtain $\dot{\delta }=-i\mathbf{k}\cdot {\mathbf{u}}_1$. The linear momentum equation and Poisson equation for Newtonian gravity areDifferentiating the density contrast equation must include $\dot{\mathbf{k}}=-H\mathbf{k}$:Thus the compressive Fourier mode with $k\ne 0$ satisfiesThe pressureless approximation removes the usual acoustic restoring term of Jeans instability. A transverse velocity perturbation instead obeys ${\dot{\mathbf{u}}}_{1\perp }+H{\mathbf{u}}_{1\perp }=0$ and does not drive this density contrast.

Since $d/dt=(C/R)d/d\varphi$, the density contrast equation becomesFor a direct verification, put $s=\tan (\varphi /2)$. As $d/d\varphi =(1+s^2)d/(2ds)$, the first-derivative terms cancel, reducing the equation toThe function ${\delta }_g=s(1+s^2)/2$ has second derivative $3s$ and satisfies this equation. Transforming back gives the required growing branch:To establish what the other solution does, use reduction of order, not just the growth of this example. The coefficient of ${\delta }_{\varphi }$ is $d\log R/d\varphi$, so an independent solution is proportional to ${\delta }_g\int d\varphi /(R{\delta }_g^2)$. Choose the integration endpoint at complete collapse to select the decaying branch:For example, evaluating the integral with $a=\tan (s/2)$ gives integrand $4/[a^2(1+a^2{)}^2]$ and antiderivative $-4/a-6\arctan a-2a/(1+a^2)$. Its endpoint value gives the displayed expression. Its Wronskian with ${\delta }_g$ is $-(1+\cos \varphi {)}^{-1}$, so the two solutions are independent on $0<\varphi <\pi$.

For $ϵ=\pi -\varphi \to 0$, $R\sim R_0{ϵ}^2/4$, ${\delta }_g\sim 4{ϵ}^{-3}$ and the integral in ${\delta }_d$ is ${ϵ}^5/40+O({ϵ}^7)$. Consequently the two density modes of a collapsing pressureless sphere haveEquivalently, with $\tau =t_c-t$, the local powers are ${\tau }^{-1}$ and ${\tau }^{2/3}$. There is one independent growing branch: every solution is $A{\delta }_g+B{\delta }_d$, and only the branch with $A=0$ decays at collapse. The uniqueness is up to normalization and addition of the decaying solution; it does not mean that only one literal function can grow. A fixed nonzero initial perturbation will eventually violate $|\delta |\ll 1$, so the divergent linear result is not a nonlinear solution through collapse.

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.