For a perfect fluid in general relativity with nonnegative energy density and pressure, the dominant energy condition is . Pressure decreases outward, so it is enough to test the central pressure. Put ; the regular Interior Schwarzschild metric requires . The central pressure of a constant-density relativistic star gives
Therefore the dominant-energy compactness bound for an incompressible star is
Equality has and a finite central pressure; it is allowed by the non-strict dominant energy condition. This is stronger than the regular-star Buchdahl's theorem limit .
For the constant-density model, . This is the incompressible Interior Schwarzschild metric, replacing the earlier finite-slope barotropic stellar equation of state. The Tolman–Oppenheimer–Volkoff equation separates as
On the left, partial fractions give
On the right the antiderivative is . Applying the surface condition , and writing , , gives
Solving for the pressure recovers the Interior Schwarzschild solution:
In particular the central pressure of a constant-density relativistic star is
The denominator must be positive for a regular positive-pressure centre, requiring . As that limiting compactness is approached, the central pressure diverges, in agreement with Buchdahl's theorem.
For the constant density ,
The definition of then gives
Substitution in the Tolman–Oppenheimer–Volkoff equation yields
The 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.
Set
Separating variables gives
Since
integration and the surface condition give
Writing
one obtains the pressure of the Interior Schwarzschild metric:
In particular, the central pressure of a constant-density relativistic star is
It diverges when
or equivalently
This is the limiting equality case of Buchdahl's theorem.