Buchdahl–Andréasson Bound in Relativistic Stars

• The Buchdahl–Andréasson bound is a generalized compactness limit for static, spherically symmetric stars that includes anisotropic pressure and electric charge.
• It recovers the classical Buchdahl limit in uncharged, isotropic cases while allowing higher compactness for charged configurations under realistic energy conditions.
• The framework underpins models that match interior star solutions to the Reissner–Nordström metric, providing insights into quasi-black hole configurations and ultra-compact states.

The Buchdahl–Andréasson bound generalizes Buchdahl’s original compactness limit for static, spherically symmetric stars in general relativity by including the effects of anisotropic pressure and electric charge. This bound places a fundamental restriction on the mass-to-radius (or compactness) ratio of relativistic stellar objects under mild physical assumptions, subsuming both the classical isotropic perfect-fluid bound and its charged, anisotropic relatives.

1. Classical Buchdahl Limit and Its Generalization

Buchdahl’s theorem establishes that for any static, isotropic perfect fluid sphere with non-increasing energy density, the compactness $u \equiv M/R$ (total mass to radius) is sharply bounded: $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$ This compactness is precisely saturated by the (uncharged) interior Schwarzschild solution as the central pressure diverges. General relativity admits no more compact non-singular isotropic stars with the given assumptions (Sharma et al., 2020, Lemos et al., 2015).

The need to account for electromagnetic fields and possible anisotropies in relativistic stars led to Andréasson’s insight: by relaxing the isotropy assumption and imposing instead the anisotropic condition $p + 2p_T \leq \rho$, where $p$ is radial pressure, $p_T$ is tangential pressure, and $\rho$ is energy density, one obtains a broader family of bounds that encompass both isotropic and anisotropic, charged and uncharged configurations (Lemos et al., 2015).

2. The Buchdahl–Andréasson Bound with Charge

For electrically charged, static, spherically symmetric configurations, Andréasson’s bound reads: $$\frac{r_0}{m} \geq \frac{9}{\left(1 + \sqrt{1 + 3q^2 / r_0^2}\right)^2}$$ where $r_0$ is the star’s radius, $m$ its total mass, and $q$ its total electric charge. This result requires:

• Non-negative matter density ($$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$0), radial pressure ($$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$1), and tangential pressure ($$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$2).
• The condition $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$3 everywhere inside the star.
• Matching to an exterior Reissner–Nordström solution at $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$4 defined by $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$5.

In the limit $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$6, the inequality recovers the original Buchdahl result, $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$7, affirming consistency (Lemos et al., 2015, Sharma et al., 2020).

3. Saturating Configurations and Cooperstock–de la Cruz–Florides–Guilfoyle Models

Although shells of matter (with $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$8, $$\frac{2M}{R} \leq \frac{8}{9},\quad \text{or equivalently} \quad \frac{R}{M} \geq \frac{9}{4}$$9) saturate the bound in Andréasson’s construction, there exist genuine “interior-type” solutions, paralleling the classic Schwarzschild constant-density star, that achieve equality in the charged case. These configurations are realized by enforcing the Cooperstock–de la Cruz–Florides ansatz: $p + 2p_T \leq \rho$0 where $p + 2p_T \leq \rho$1 is the total enclosed charge. Guilfoyle’s stars, a class of exact solutions generated using this relation and a Weyl-type constraint on the metric potentials, reach the bound precisely in the limit of infinite central pressure (Lemos et al., 2015). For finite central pressure, the inequality is strictly satisfied, with regular asymptotically flat configurations. The extremal case $p + 2p_T \leq \rho$2 yields a quasi-black hole limit $p + 2p_T \leq \rho$3.

4. Relation to Models with Anisotropic Pressure

The Buchdahl–Andréasson framework generalizes to objects with principal stress anisotropy. In such cases, bounds on compactness depend on the precise anisotropy profile, but the charged bound $p + 2p_T \leq \rho$4 remains sharp for the constraint $p + 2p_T \leq \rho$5 (Lake, 2016). Notably, with stronger tangential stresses ($p + 2p_T \leq \rho$6 but obeying the sum constraint), one can construct explicit families of regular solutions that breach the original Buchdahl bound but still satisfy the more general Andréasson bound (Lake, 2016). This demonstrates that significant anisotropy, particularly in the tangential pressure, enables ultra-compact equilibrium stars excluded by the isotropic constraint.

5. Charged Star Constructions and Matching Conditions

A charged, static, spherically symmetric star is modeled by an interior solution matched to the Reissner–Nordström metric at $p + 2p_T \leq \rho$7. The main field equations comprise:

• The Einstein–Maxwell equations for mass function $p + 2p_T \leq \rho$8 and charge profile $p + 2p_T \leq \rho$9: \begin{align*} \frac{dm}{dr} &= 4\pi r^2 \rho_{\rm m}(r) + \frac{Q(r)Q'(r)}{r} \ \frac{dp}{dr} &= -(\rho_{\rm m} + p)\Phi'(r) + \frac{Q(r)Q'(r)}{4\pi r^4} + \frac{2(p_T - p)}{r} \end{align*} with appropriate regularity and boundary conditions (Sharma et al., 2020, Lemos et al., 2015).

The physical variable of interest is the compactness $p$0 (or equivalently $p$1), bounded above as described.

6. Physical Implications, Limits, and Open Problems

Key implications include:

• For $p$2, the classical Buchdahl limit is recovered.
• The upper bound on compactness increases monotonically with $p$3; large charge allows objects closer to the black hole threshold without forming an event horizon.
• For extreme charge $p$4, the limit approaches $p$5, producing quasi-black hole, horizonless objects.
• Guilfoyle’s stars provide the unique, fully regular interior analogues saturating the charged bound in the infinite central pressure limit.

Open questions include the construction of a fully Buchdahl-style proof (i.e., by direct integral inequalities rather than Andréasson’s method) that uses Guilfoyle’s interiors as the saturating sequence, and the potential relaxation or modification of the bound by considering more general equations of state, rotation, or additional forms of energy-momentum (Lemos et al., 2015).

7. Summary Table: Key Buchdahl-Type Bounds

Assumptions	Bound	Saturating Configuration
Isotropic, uncharged	$p$6	Interior Schwarzschild (infinite $p$7)
Anisotropic, uncharged	$p$8, $p$9	Shell ($p_T$0, $p_T$1)
Anisotropic, charged	$p_T$2	Shell or Guilfoyle (infinite $p_T$3)

The Buchdahl–Andréasson bound thus represents a cornerstone constraint on relativistic star models with minimal physical inputs, delineating the region of parameter space accessible to compact objects and highlighting the distinct roles of isotropy, anisotropy, and electric charge in establishing astrophysical compactness limits (Lemos et al., 2015, Sharma et al., 2020, Lake, 2016).