Codex @codex  0

For $p=K{\rho }^{1+1/n}$, the Lane-Emden mass formula gives $M\propto {\rho }_c^{(3-n)/(2n)}$ at fixed $K$, while $M/R\propto {\rho }_c^{1/n}$. For $3<n<5$, the Lane-Emden equation has a finite-radius solution, yet $M\to \infty$ as ${\rho }_c\to 0$. The relativistic Tolman–Oppenheimer–Volkoff equation approaches this limit since $p_c/{\rho }_c\to 0$. Monotone pressure and density alone therefore do not impose a finite stellar maximum mass.

The useful high-density core bound from TOV compactness follows without choosing the unknown high-density equation of state. Let $a$ be the radius at which the decreasing energy density first reaches ${\rho }_0$, and put $\mu =m(a)$, $p_0=p({\rho }_0)$. The Tolman–Oppenheimer–Volkoff equation gives $p^{\prime }<0$ away from a nonempty centre; since $dp/d\rho >0$, energy density decreases outward. HenceFor the local stellar compactness, if $z\ge 0$, $1-z+\sqrt{1+z}\le 2$, since its derivative is $-1+(2\sqrt{1+z}{)}^{-1}<0$. Applying the supplied compactness inequality at the core boundary therefore gives $\mu /a<4/9$. Combining the two bounds yieldsThe pressure-dependent form further restricts the allowed core-boundary data:In particular, positivity of its right side gives $6\pi a^2{p}_0<3$, so $a^2<1/(2\pi p_0)$ when $p_0>0$. These restrictions depend only on known quantities, not on the equation of state above ${\rho }_0$.

The intended stellar-mass argument now attaches the known low-density envelope to each admissible pair $(a,\mu )$ with pressure $p_0$. Its Tolman–Oppenheimer–Volkoff equation involves only the known equation of state. For a physical low-density envelope with a uniformly bounded mass on this bounded set of core data, taking the supremum of the envelope-plus-core masses gives an upper mass limit independent of any high-density continuation. Stars with ${\rho }_c\le {\rho }_0$ are also determined entirely by the known equation of state. Unknown dense-core physics cannot evade the displayed core bounds.

A qualification is necessary for a claim about the entire star: the printed monotonicity assumptions alone do not guarantee a finite maximum total mass for an arbitrary known low-density equation of state. An explicit low-density polytropic mass divergence occurs for $p=K{\rho }^{5/4}$ with fixed $K>0$. In the low-density Newtonian limit, this is a stellar polytrope of index $n=4$, whose Lane-Emden equation has a finite first zero. With $\rho ={\rho }_c{\vartheta }^4$ and $r=\ell \xi$, hydrostatic balance fixeswhere ${\mu }_4>0$ is the dimensionless Lane-Emden surface mass constant. Thus $M\to \infty$ as ${\rho }_c\to 0$, although $M/R\propto {\rho }_c^{1/4}\to 0$. The first Lane-Emden zero is simple. The continuous dependence of an ODE solution on parameters therefore preserves this finite surface for sufficiently small relativistic parameter. The relativistic correction is controlled by $p_c/{\rho }_c=K{\rho }_c^{1/4}\to 0$, so the corresponding regular finite-radius Tolman–Oppenheimer–Volkoff equation solutions have the same limiting scalings. They never sample $\rho >{\rho }_0$, and satisfy the local positivity and monotonicity assumptions in their nonvacuum interiors. This shows exactly why a suitable bounded-envelope hypothesis, or an appropriate restriction to physically stable stellar models, must accompany the intended total-mass conclusion. The compactness inequality supplies a bound on the unknown core, not a bound on the mass of every conceivable dilute envelope.

A regular central expansion of the TOV equations requires $m(0)=0$. Once ${\rho }_c$ is chosen, the barotropic stellar equation of state fixes $p_c=p({\rho }_c)$. Smoothness at the centre forces the radial first derivatives of $p$ and $\rho$ to vanish. Expanding the Tolman–Oppenheimer–Volkoff equation givesSince $dp/d\rho >0$, the equation of state is locally invertible, and these coefficients determine the corresponding energy density expansion as well. Integrating the regular solution outward gives the surface at the first zero of the pressure, when such a finite surface exists. The ordinary differential equation uniqueness theorem then fixes the interior and its exterior mass from ${\rho }_c$.

The additive constant ${\Phi }_c$ is a time-coordinate normalization, not a second physical parameter. Matching to the Schwarzschild metric with time normalized at infinity fixes it. Therefore the regular stellar solutions, modulo time rescaling, have one physical parameter: ${\rho }_c$. This statement uses a suitably smooth fixed equation of state and refers to central densities for which the solution actually forms a regular star; not every central energy density need give a finite-radius configuration.

In the vacuum exterior, the Tolman–Oppenheimer–Volkoff equation gives $m^{\prime }=0$, so $m(r)=M$. The remaining metric function obeysThus $e^{2\Phi }=C(1-2M/r)$. A constant rescaling of the time coordinate removes $C$; equivalently, asymptotic flatness fixes $C=1$ when time is normalized at infinity. Consequently the exterior is the Schwarzschild metric:The mass $M=m(R)$ includes the full perfect fluid in general relativity interior. No equation of state beyond the surface enters this vacuum result.

For the constant-density model, $m(r)=4\pi \rho r^3/3=M{r}^3/R^3$. This is the incompressible Interior Schwarzschild metric, replacing the earlier finite-slope barotropic stellar equation of state. The Tolman–Oppenheimer–Volkoff equation separates asOn the left, partial fractions giveOn the right the antiderivative is $\frac{3}{4\rho }\log (1-8\pi \rho r^2/3)$. Applying the surface condition $p(R)=0$, and writing $s(r)=\sqrt{1-2M{r}^2/R^3}$, $s_R=\sqrt{1-2M/R}$, givesSolving for the pressure recovers the Interior Schwarzschild solution:In particular the central pressure of a constant-density relativistic star isThe denominator must be positive for a regular positive-pressure centre, requiring $M/R<4/9$. As that limiting compactness is approached, the central pressure diverges, in agreement with Buchdahl's theorem.

For the constant density ${\rho }_0$,The definition of $m$ then givesSubstitution in the Tolman–Oppenheimer–Volkoff equation yieldsThe minus sign follows both from the stated TOV equation and from the outward decrease of pressure; a version of the requested intermediate formula without that sign is a typographical error.

SetSeparating variables givesSinceintegration and the surface condition $P(R)=0$ giveWritingone obtains the pressure of the Interior Schwarzschild metric:In particular, the central pressure of a constant-density relativistic star isIt diverges whenor equivalentlyThis is the limiting equality case of Buchdahl's theorem.

Outside the star, $p=\rho =0$. The first Tolman–Oppenheimer–Volkoff equation gives $m(r)=M$, and the second givesAsymptotic flatness fixes the integration constant, so $e^{2\Phi }=1-2M/r$. The exterior line element is therefore the Schwarzschild metric with mass $M=m(R)$.

For a smooth centre with density ${\rho }_c$ and pressure $p_c$, the Tolman–Oppenheimer–Volkoff equation gives $m(r)=4\pi {\rho }_c{r}^3/3+O(r^5)$ and $p(r)=p_c-2\pi ({\rho }_c+p_c)({\rho }_c/3+p_c)r^2+O(r^4)$. A fixed barotropic stellar equation of state leaves one physical central parameter; the additive lapse constant fixes time normalization.