Matter Coupling and Continuation

Matter can be coupled to Einstein evolution when its equations form a compatible hyperbolic or transport system, its stress tensor has the metric’s available regularity, and its equations imply covariant stress-energy conservation. Scalar and Maxwell fields fit this architecture cleanly after gauge fixing. Fluids, kinetic matter, and elasticity require different state spaces and have continuation failures not captured by vacuum curvature bounds.

Required background. Analysis for Mathematical Relativity supplies product and continuation estimates, The Einstein Equation supplies stress-energy coupling, and PDEs and Green Functions for Gravitation supplies hyperbolic and transport systems.

Helpful background. Causality and Global Structure explains the common domain of dependence.

A compatible Einstein–matter system

In wave gauge, the metric has schematic equation

$$g^{\alpha\beta}\partial_\alpha\partial_\beta g_{\mu\nu} =Q_{\mu\nu}(g,\partial g) -16\pi G\left(T_{\mu\nu}-\frac12g_{\mu\nu}T\right) -2\Lambda g_{\mu\nu}.$$

A local theorem requires more than a formula for $T_{\mu\nu}$. The matter variables $U$ must satisfy an evolution system whose principal symbol is hyperbolic relative to the same time direction, and the source must be regular enough for the metric energy estimate. Matter constraints must propagate, and

$$\nabla^\mu T_{\mu\nu}=0$$

must follow from the matter equations. Otherwise the harmonic-gauge subsidiary equation is forced and the reduced metric need not satisfy Einstein’s equation.

Friedrich and Rendall compare the main reductions and their matter-dependent hypotheses in Friedrich and Rendall 2000, §§3–4. The common pattern is local; each row below has its own continuation variables.

Scalar and electromagnetic fields

For a real scalar with smooth potential $V$,

$$\Box_g\phi-V'(\phi)=0,$$ $$T_{\mu\nu} =\nabla_\mu\phi\nabla_\nu\phi -\frac12g_{\mu\nu} \left(\nabla_\alpha\phi\nabla^\alpha\phi+2V(\phi)\right).$$

The matter equation is a wave equation sharing the metric null cone. Its conservation identity is especially useful because it can be checked before invoking an existence theorem:

$$\nabla^\mu T_{\mu\nu} =(\Box_g\phi-V'(\phi))\nabla_\nu\phi.$$

To derive it, expand the divergence of $\nabla_\mu\phi\nabla_\nu\phi$; the term $\nabla^\mu\phi\,\nabla_\mu\nabla_\nu\phi$ cancels the derivative of the kinetic scalar because covariant derivatives commute on a scalar. The remaining two terms give the displayed expression. Thus conservation follows from the scalar equation for every smooth potential, without an energy-condition assumption. Energy conditions matter for other theorems, not for this algebraic compatibility.

For the classical coordinate argument one may take $\phi|_\Sigma\in H^s$ and $n\phi|_\Sigma\in H^{s-1}$ with the same $s\gt5/2$ as the metric data, on a compact slice or in compatible localized/weighted spaces. Then products of first derivatives lie in $H^{s-1}$, since $H^{s-1}$ is an algebra. Continuation requires control of both metric geometry and scalar norms; a potential with insufficient smoothness or uncontrolled growth changes the estimates.

For Maxwell theory, $dF=0$ and $\nabla^\mu F_{\mu\nu}=0$ imply conservation of the electromagnetic stress tensor. In a potential formulation, Lorenz gauge produces a wave equation for $A_\mu$, while the Gauss constraint and gauge constraint must propagate. Alternatively, electric and magnetic fields form a first-order symmetric-hyperbolic system subject to divergence constraints. Gauge fixing is therefore needed for both gravity and the potential, but electromagnetic gauge is distinct from spacetime diffeomorphism gauge.

Fluids, kinetic matter, and elasticity

For a perfect fluid,

$$T_{\mu\nu}=(\rho+p)u_\mu u_\nu+pg_{\mu\nu}, \qquad u^\mu u_\mu=-1.$$

For a barotropic fluid $p=p(\rho)$, a standard interior state range requires $\rho+p\gt0$ and $0\lt c_s^2=dp/d\rho\lt1$, with quantitative bounds away from degeneracy for a uniform theorem. The Euler equations can then be put in symmetric-hyperbolic form. The sound cone lies inside the metric light cone; it need not coincide with it. Dust ($c_s=0$), a stiff-fluid endpoint ($c_s=1$), and vacuum interfaces require their own formulations. Classical continuation can fail through shock formation even while the background curvature remains bounded. A free boundary where density reaches vacuum is a different problem because standard fluid variables may lose uniform hyperbolicity. These distinctions are developed in Friedrich and Rendall 2000, §4.2 and §5.4.

Vlasov matter is a nonnegative distribution $f$ on the future mass shell. It obeys transport along the geodesic flow, and $T_{\mu\nu}$ is a momentum integral of $f$. Local existence couples a spacetime wave system to phase-space transport. Continuation criteria typically include control of the momentum support or weighted momentum moments, not only spacetime Sobolev norms.

Relativistic elasticity evolves a configuration map or material variables. Hyperbolicity depends on constitutive assumptions such as positivity of the acoustic quadratic form and a physically admissible reference state. Material interfaces introduce boundary conditions and possible loss of regularity. Calling a stress tensor “elastic” does not establish these properties.

The comparison is therefore:

Matter model	Evolution structure	Additional constraint or obstruction
Scalar field	Wave equation	Field norm and potential regularity
Maxwell field	Gauge wave or symmetric hyperbolic	Gauss and electromagnetic gauge constraints
Perfect fluid	Symmetric hyperbolic in admissible states	Shocks, vacuum boundary, equation of state
Vlasov matter	Mass-shell transport	Momentum support or moments
Elastic matter	Constitutive hyperbolic system	Acoustic positivity and material boundary

No single “Einstein–matter continuation criterion” covers all five. A theorem must identify the matter variables, regularity, characteristic cone, constraints, constitutive domain, and failure modes. Ringström’s treatment emphasizes this dependence of the Cauchy problem on the chosen coupled system in Ringström 2009, Chs. 10–16, pp. 95–183.

Check your understanding

Why can a smooth relativistic fluid evolution fail while a vacuum-style curvature norm remains bounded?

Solution

Fluid characteristics can intersect and form a shock: derivatives of density and velocity blow up even if the metric and its curvature remain controlled. The classical coupled solution then leaves the fluid theorem’s regularity class. A continuation criterion must include the fluid state and its derivatives; vacuum curvature control alone is insufficient.

The next chapter broadens the data surfaces and adds boundaries in Characteristic, Hyperboloidal, and Boundary Problems.

References

• Friedrich, Helmut, and Alan D. Rendall. “The Cauchy Problem for the Einstein Equations.” In Einstein’s Field Equations and Their Physical Implications, Lecture Notes in Physics 540, 127–224. Springer, 2000. arXiv:gr-qc/0002074.
• Ringström, Hans. The Cauchy Problem in General Relativity. ESI Lectures in Mathematics and Physics. European Mathematical Society, 2009. Publisher record.