For the spherical Abel deprojection, put and . Then and . Consequently the integral appearing in the reconstruction of is
Differentiate before substituting the numerical value of :
For the projected second stellar velocity moment, . The identical substitution in isotropic stellar pressure deprojection gives
For completeness, setting yields , where is the Euler beta function. The Gamma function recurrence gives and . This also checks the normalization of the power-law spherical projection kernel.
The radial Jeans equation is . Since , division by the tracer number density gives
Writing , the total gravitational acceleration is therefore
To find all gravitating mass density, apply the Poisson equation for Newtonian gravity, with the same sign convention:
Equivalently, the enclosed mass is , and . The inferred total mass is and its relative potential is , a Plummer model. The tracer number density has a different radial exponent from this total mass density. One must not multiply by an arbitrary stellar mass and identify it with all matter: the inferred field can include unobserved stars, gas, and dark matter.
The pressure tensor has Cartesian components . With zero mean velocity and an isotropic galactic distribution function, off-diagonal components vanish by reflection symmetry and diagonal components are equal by rotational symmetry. Therefore
Here is a tracer number-weighted random-motion stress, rather than thermodynamic pressure per volume. Its tensor divergence is . The time-independent, nonstreaming Jeans equation consequently reduces to
The gravitational acceleration convention is : this differs by a sign from the usual Newtonian gravitational potential .
Let measure distance along the line of sight. Spherical density projection gives
Because isotropy makes the local second stellar velocity moment along every line of sight equal to , and because there is no streaming motion, the projected moment is
This is the forward relation for isotropic stellar pressure deprojection.
Both inversions follow from one Abel transform calculation. Write and , so . Compose the transforms, using Tonelli's theorem for nonnegative densities, or absolute convergence for signed profiles:
Assume sufficient decay to make these integrals finite and sufficient regularity for the last derivative. Then . Setting gives the spherical Abel deprojection
Replacing by and by proves
These are the requested expressions, with . The composed-transform argument avoids an invalid separate differentiation of a divergent lower-end kernel.