The Stress-Energy Tensor
In Newtonian gravity the source of the field is a single scalar, the mass density ρ. Special relativity dismantles that simplicity: mass and energy are equivalent, energy density is frame-dependent, and under a boost it mixes with momentum density, energy flux, and the mechanical stresses — pressure, tension, shear. No scalar, and no four-vector, can hold all of these at once. The object that can is a symmetric rank-two tensor, the stress-energy tensor (also called the energy-momentum tensor), and this article is the synthesis that makes it the seat of gravity. Three threads run through everything below. The first is operational: is the flux of the μ-component of four-momentum across a surface of constant , so a single definition delivers energy density (), energy flux and momentum density (), and stress () all at once. The second is dynamical: in the Einstein field equations the geometric tensor is set proportional to , so the full distribution of energy, momentum, pressure, and stress — not merely rest mass — curves spacetime, and pressure gravitates. The third is conservation: because the Einstein tensor obeys the contracted Bianchi identity identically, the field equations force , making local energy-momentum conservation a consequence of geometry rather than a separate postulate. Alongside these sits the deep fact that can be derived, not just tabulated: varying the matter action with respect to the metric produces exactly the symmetric, conserved object the field equations require.
- The stress-energy tensor is a symmetric rank-two tensor whose components are the densities and fluxes of energy and momentum: energy density, momentum density and energy flux, stress.
- Its one operational definition — the flux of across a surface of constant — reproduces every component and every matter model, from dust to the perfect fluid to the Maxwell field.
- It is the source of gravity: replaces the Newtonian mass density ρ, and in the weak-field limit the active gravitating density is , so pressure gravitates.
- Local conservation is forced by the contracted Bianchi identity — it is a consistency requirement of the theory, not an extra axiom.
- The Hilbert (metric) definition makes symmetry and on-shell conservation automatic, because is symmetric.
- Key idea: is the flux of four-momentum component through a constant- surface; it packages energy density, momentum density/energy flux, and stress into one symmetric tensor, sources curvature via , and is conserved by .
Where this lives today
The stress-energy tensor is the working interface between matter and geometry across modern gravitational physics. In cosmology it is the entire right-hand side of the Friedmann equations, and pinning down the dark-energy equation of state — is exactly , or does it drift? — is the headline goal of surveys such as DESI, Euclid, and the Vera Rubin Observatory, whose 2024 results are consistent with a cosmological constant to a few percent. In compact-object astrophysics the perfect-fluid tensor feeds the Tolman-Oppenheimer-Volkoff equation, where pressure both supports a neutron star and, through , deepens the well it must climb out of; the neutron-star equation of state is now being read off jointly from NICER's X-ray timing and the tidal signature in the LIGO-Virgo event GW170817. Gravitational waves themselves carry stress-energy — the Isaacson effective tensor of the ripples — which is how a merging binary loses energy and inspirals. And at the foundational frontier, inequalities on (the weak, null, strong, and dominant energy conditions) gate the Penrose-Hawking singularity theorems and the (im)possibility of wormholes and warp drives; the measured Casimir effect and the accelerating expansion are the two clean demonstrations that the simplest of these conditions can be violated, which is exactly why quantum energy inequalities are an active research topic.
The physical picture
Take a small cell of matter and watch its bookkeeping of four-momentum. Energy can sit inside the cell — that is , energy density — and energy can stream through its faces — that is , energy flux. Momentum can likewise sit inside (, momentum density) and stream through the faces (, momentum flux, i.e. stress). Relativity fuses two of these into one statement: energy flux is momentum density, because energy carries inertia , so a flow of energy is a density of momentum. That is why and, together with the absence of net internal torques (), why the whole array is symmetric. The first figure makes the sixteen components and their symmetry a single picture.
Why does pressure gravitate? In every component of curves spacetime, not just the rest energy, and working out the Newtonian limit shows the effective gravitating density is rather than ρ. The clearest place this bites is cosmology: model the universe as a perfect fluid , and covariant conservation collapses to the continuity law , whose solution (with equation of state ) fixes how each constituent thins as the universe expands. The second figure is the punchline that number gives: three different slopes for three kinds of matter, and hence three eras of cosmic history.
The core equations
The operational definition is uniform across every kind of matter and is the seed from which the components sprout. It says the tensor measures the flux of four-momentum; reading off which component and across which surface recovers energy density, energy flux, momentum density, and stress in turn.
where: — four-momentum, ; — spacetime coordinate, with labelling constant-time surfaces; — energy density (flux of energy through a constant- surface); — flux of energy in the direction, equal to the density of -momentum; — flux of -momentum in the direction, i.e. stress. The diagonal is pressure; the off-diagonal is shear. Two independent facts force the tensor to be symmetric, and relativity unifies them. Vanishing internal torque on a shrinking cell requires the spatial block to be symmetric, while the equivalence of energy flux and momentum density fixes the mixed components.
where: — the stress-energy tensor. The spatial statement is local angular-momentum conservation; the mixed statement is energy-flux = momentum-density; the Hilbert definition below makes both automatic. In flat space the ordinary divergence of vanishes; in curved space it is replaced by the covariant divergence, and its vanishing is the local conservation of energy and momentum. As Derivation B and the discussion below show, this is not an added postulate but a corollary of the field equations.
where: — the metric-compatible (Levi-Civita) covariant derivative. Contracting with the field equations and using the contracted Bianchi identity makes equation (3) an identity of the theory. The dynamical face of the tensor is its definition as the response of the matter action to a change in the metric. This is the object that actually appears on the right of Einstein's equations, and it is symmetric and conserved on shell by construction.
where: — the matter action; — the matter Lagrangian density (a scalar); — the determinant of ; — the functional (variational) derivative. Symmetry is inherited from the symmetry of . The workhorse matter model of astrophysics and cosmology is the perfect fluid — isotropic in its rest frame, with no shear or heat flow. Its stress-energy is built from just the energy density, the pressure, and the four-velocity.
where: ρ — rest-frame energy density; — isotropic pressure; — fluid four-velocity, ; — inverse metric (signature ). In the rest frame this is ; setting gives dust . Finally, the weak-field limit of the field equations shows which combination of the components actually gravitates. Pressure is not a bystander: it adds three times over to the Newtonian source.
where: — the effective gravitating density in the Newtonian-limit Poisson equation ; — isotropic pressure. Radiation () gravitates as ; a cosmological constant () gravitates as and pushes outward.
The goal is to build from the ground up for the simplest source — one particle on a worldline — check that its is the relativistic energy density, then coarse-grain over many particles to recover the dust tensor that seeds every cosmological model. This shows the abstract flux definition and the concrete fluid form are one object at two resolutions, and that conservation of the tensor is nothing more exotic than free-particle motion.
Step 1. A particle of rest mass tracing the worldline carries four-momentum , and its stress-energy is a delta-function distribution smeared only along that worldline: . Why: the tensor must be concentrated where the particle is, and be built from the only vector available on the worldline, the four-velocity — the product is the unique symmetric rank-two combination.
Step 2. Check the energy density by setting and doing the τ-integral against , which contributes a Jacobian . One factor of survives, leaving in flat space. Why: is exactly the relativistic energy of the particle, so the component the flux definition calls "energy density" really is the energy per unit volume — the construction passes its first physical test.
Step 3. Coarse-grain over a swarm of identical particles sharing a common four-velocity with rest-frame number density . The delta functions add up to a smooth density, and writing for the rest energy density gives . Why: this is the pressureless dust tensor — cold, non-interacting matter such as galaxies or dark matter on large scales — and it emerges without any new assumption beyond averaging.
Step 4. Impose conservation. In flat space for the single particle is equivalent to , and in curved space becomes the geodesic equation . Why: divergence-freedom of the stress-energy tensor is not an abstract accounting rule but the statement that free matter falls along geodesics — conservation and equation of motion are one fact. *Verified: reduces to the Newtonian mass density ρ as ; the dust form matches MTW Ch. 5 and Schutz Ch. 4.*
Go deeper · Derivation B · 1 minLocal conservation gives the relativistic Euler equation
The goal is to show that the single covariant law , applied to a perfect fluid, contains all of relativistic hydrodynamics: projecting it along and orthogonal to the four-velocity splits it into a continuity (energy) equation and a force (Euler) equation, and the algebra exposes why the inertia of a relativistic fluid is , not ρ. This is what turns "the tensor is conserved" into equations one can integrate for a star or a cosmology.
Step 1. Take the divergence of . Metric compatibility lets the pressure term pass through the derivative, giving . Why: separating the pressure gradient from the flow term is the first move that will let the parallel and perpendicular pieces be read off independently.
Step 2. Contract with and use together with . The result is the relativistic continuity equation . Why: the component of conservation along the flow tracks how energy density changes as the fluid expands or compresses — in cosmology, with , this is precisely .
Step 3. Project orthogonal to the flow with , which annihilates anything parallel to and isolates the spatial dynamics. Carrying out the projection yields the boxed relativistic Euler equation . Why: the operator is the projector onto the space orthogonal to , so only the part of the pressure gradient that can actually push the fluid sideways drives the acceleration.
Step 4. Read the physics. The coefficient of the acceleration is , the inertial (enthalpy) density — pressure adds to inertia because moving a pressurised element does work against its own internal stresses. In the limit with slow flow, the equation reduces to the ordinary Euler equation . Why: recovering Newtonian hydrodynamics in the correct limit is the check that the relativistic generalisation has been assembled correctly. *Verified: reproduces the Newtonian Euler and continuity equations in the slow-motion, low-pressure limit; matches Carroll §1.9 and Wald §4.3.*
Go deeper · Derivation C · 1 minThe Hilbert stress-energy of a scalar field by metric variation
The goal is to run the metric-variation definition (4) on a concrete matter action — a single scalar field — and watch a symmetric, conserved stress-energy tensor drop out automatically, with no need to guess the fluxes by hand. This is the template for how every field's stress-energy tensor is obtained, and it shows why the Hilbert prescription, not the older canonical one, is the version that couples to gravity.
Step 1. Start from and vary with respect to the inverse metric, using the determinant identity . Why: the determinant identity is the one piece of machinery every such variation needs — it is where the term in the final tensor comes from.
Step 2. The kinetic term contributes from varying , and combining it with the determinant piece and the prefactor gives . Why: the first term is manifestly symmetric and the second is proportional to the symmetric metric, so the whole tensor is symmetric with no improvement terms needed — exactly the advantage of the Hilbert route over the canonical Noether tensor.
Step 3. Check the trace in four dimensions: . Why: the trace encodes the equation of state — it does not vanish in general, and for a slowly rolling field ( dominant) it approaches , the same signature as a cosmological constant, which is why scalar fields power inflation and quintessence.
Step 4. Take the covariant divergence: , which vanishes precisely when the Klein-Gordon equation holds. Why: conservation is automatic on shell — it follows from the field's own equation of motion, which is itself a consequence of translation invariance, closing the loop between symmetry, dynamics, and conservation. *Verified: symmetric and conserved on shell; the trace and the massless case match Carroll §4.2 and Wald App. E.*
Limiting cases
The one definition specialises to every standard matter model by choosing the Lagrangian or the symmetry of the source. The table collects the forms that recur throughout general relativity.
| Case | Result | Meaning |
|---|---|---|
| Pressureless dust | Cold, non-interacting matter (galaxies, dark matter); only in the rest frame. Equation of state , so . | |
| Perfect fluid | Isotropic pressure ; rest frame . The basis of stellar structure and cosmology. | |
| Electromagnetic field | Traceless in 4D (), reflecting conformal invariance; ; equation of state . | |
| Vacuum energy / Λ | Lorentz-invariant, so it looks the same to every observer; , drives accelerated expansion (dark energy). | |
| Scalar field | The canonical example of the Hilbert definition; potential-dominated it mimics Λ, powering inflation and quintessence. |
Worked examples
1 · Radiation pressure and the traceless tensor (fully worked)
A gas of photons — for concreteness, the cosmic microwave background at — has energy density . Find its pressure, its equation-of-state parameter , the trace of its stress-energy tensor, and its active gravitating density, then put in a number for ρ.
Step 1. For an isotropic radiation gas the stress-energy tensor is that of a perfect fluid with the extra property that it is traceless (the Maxwell tensor has in four dimensions). Setting the perfect-fluid trace to zero, , gives immediately and hence the equation of state .
Step 2. The trace is , consistent with the conformal (scale) invariance of free electromagnetism — a photon gas has no rest-mass scale to break it.
Step 3. The active gravitating density from equation (6) is . Radiation gravitates twice as strongly as its energy density alone would suggest — pressure doubles its pull. This is one reason the early, radiation-dominated universe decelerated so hard.
Step 4. Put in a number. The CMB energy density is with the radiation constant , giving . The pressure is , and the active density is . Result: , , , ; for the CMB, .
2 · When did radiation stop running the universe?
Today the density parameters are roughly (matter, ) and (radiation, ). Using the dilution law from the second figure, find the scale factor and redshift at which the two densities were equal.
Step 1. Solve conservation for each component. With , the continuity equation integrates to , so matter dilutes as and radiation as — radiation thins one power of faster because expansion also redshifts each photon.
Step 2. Write the ratio at scale factor (today ): . Equality means this ratio equals 1, so .
Step 3. Insert numbers: , hence . Before this redshift the universe was radiation-dominated (and decelerating hard, per Example 1); after it, matter took over, and structure could begin to grow. Result: , — the single equation of state carried by dates the handover between cosmic eras.
Physics of the portrait
The stress-energy tensor is where nineteenth-century field theory, special relativity, and geometry converge: a bookkeeping device for momentum flux that turned out to be the very thing that curves spacetime.
Origins · 1 minstress-energy tensor and how this was discovered
The stress-energy tensor grew out of the Maxwell stress tensor of classical electromagnetism — James Clerk Maxwell's 1873 accounting of the momentum flux carried by electric and magnetic fields, the object that lets a field push on a charge. Hermann Minkowski's 1908 four-dimensional reformulation of electrodynamics lifted that three-by-three stress tensor into a four-by-four spacetime tensor, uniting energy density, momentum density, energy flux, and stress as components of one geometric object. Max von Laue took the decisive conceptual step in 1911, arguing that any closed physical system — not just the electromagnetic field — must be described by such a symmetric "world tensor," and that only its full set of components, pressures included, transforms correctly under Lorentz boosts. When Albert Einstein and David Hilbert arrived at the field equations in November 1915, this was the natural source: Einstein set proportional to , and Hilbert, working from a variational principle, produced by differentiating the matter action with respect to the metric — the definition that guarantees symmetry and conservation. Emmy Noether's 1918 theorems then explained the canonical tensor as the conserved current of spacetime-translation symmetry, and by 1940 Frederik Belinfante and Léon Rosenfeld had shown how to symmetrise that canonical tensor into precisely Hilbert's form. What began as a way to tally the push of light became, in three decades, the seat of gravity itself.
Going further
References. Misner, Thorne & Wheeler, Gravitation (1973), Ch. 5 · Wald, General Relativity (1984), §4.3, §E.1 · Carroll, Spacetime and Geometry (2004), §1.9, §4.2 · Schutz, A First Course in General Relativity (2009), Ch. 4 · Hartle, Gravity (2003), Ch. 22 · Landau & Lifshitz, The Classical Theory of Fields (1975), §32–33, §94.
Provenance. Symbol conventions and signature follow Misner-Thorne-Wheeler and Carroll. A verifier should: (i) confirm the perfect-fluid trace and electromagnetic tracelessness from the tensors given; (ii) reproduce the point-particle and the dust form ; (iii) re-derive the relativistic Euler equation by projecting (Carroll §1.9, Wald §4.3); (iv) re-derive the scalar-field by metric variation using (Carroll §4.2); (v) verify follows from the contracted Bianchi identity (MTW Ch. 5, 13). Worked numbers: radiation , , CMB at ; radiation-matter equality , , from standard density parameters. The active mass is the Tolman-Whittaker result; equation-of-state values () are standard.
Prerequisites. Tensors on a manifold · The Einstein Tensor · Covariant derivative and the Bianchi identity. Leads to. The Einstein Field Equations · Perfect Fluid Stress-Energy · Local Conservation of Energy-Momentum · Variational Definition of Stress-Energy · The Energy Conditions · The Cosmological Constant.
Ask the tutor: Ask me to walk through the metric variation that turns any matter Lagrangian into its stress-energy tensor, or to show how becomes the Friedmann continuity equation.
What is the difference between the canonical and the Hilbert stress-energy tensors?
Both come from symmetry, but by different routes. The canonical (Noether) tensor is the conserved current associated with invariance under spacetime translations; it is what a first course in field theory derives, but it is in general neither symmetric nor gauge-invariant — for electromagnetism it is not even the Maxwell tensor you want. The Hilbert (metric) tensor is defined by , the response of the matter action to a change in the metric; it is automatically symmetric and gauge-invariant, and it is the object that actually couples to gravity. The two differ by an identically conserved total-derivative term (the Belinfante-Rosenfeld improvement), so they carry the same total four-momentum but distribute it differently.
Is there any conserved total energy in general relativity, then?
Not in general. Because carries connection terms that cannot be turned into an ordinary divergence, there is no coordinate-independent "energy of the matter" that integrates to a constant in an arbitrary spacetime. A conserved quantity does exist whenever the spacetime has a symmetry: a Killing vector builds the current with , which does integrate to a conserved charge (energy for a timelike Killing vector, momentum or angular momentum for others). Asymptotically flat spacetimes also admit well-defined total energies — the ADM and Bondi masses — measured at infinity. But a generic dynamical, expanding, or radiating spacetime simply has no global energy conservation law for matter alone.
Why must the stress-energy tensor be symmetric?
Two reasons that relativity fuses into one. First, the spatial block: an antisymmetric part of would exert a net torque on a fluid element whose magnitude, relative to its moment of inertia, would diverge as the element shrank — so finite, well-defined internal angular momentum demands . Second, the mixed components: is energy flux and is momentum density, and these are equal because energy carries inertia (), so any flow of energy is automatically a density of momentum. The Hilbert definition wraps both facts up trivially: since it differentiates with respect to the symmetric metric , the resulting tensor is symmetric for any matter Lagrangian whatsoever.
Does the gravitational field carry its own stress-energy?
Locally, no — and that is a feature, not a bug. By the equivalence principle you can always transform to a freely falling frame where the gravitational field (the first derivatives of the metric) vanishes at a point, so any purely local "gravitational energy density" would be coordinate-dependent and could be set to zero. That is why contains only matter and non-gravitational fields, and why attempts to add a gravitational piece produce pseudotensors rather than true tensors. Nonlocally, gravitational energy is real and measurable: gravitational waves carry it (captured by the Isaacson effective stress-energy tensor, averaged over several wavelengths), and asymptotically flat systems have a well-defined total mass at infinity. The energy is there — it just cannot be localised to a point.
Why is the inertial density ρ + p but the gravitating density ρ + 3p?
They answer different questions and appear in different equations. The combination is the inertia of a fluid element — the enthalpy density — and it shows up as the coefficient of the acceleration in the relativistic Euler equation, because accelerating a pressurised element requires doing work against its internal pressure as well as moving its energy. The combination is the active gravitational density and appears in the weak-field Poisson equation, where all three spatial pressures add to the source alongside the energy density. One p enters inertia (from the flow term of ); three enter gravity (one per spatial diagonal component). Keeping the two roles distinct is essential in stellar-structure calculations, where pressure simultaneously supports the star and strengthens the gravity trying to crush it.
What are the energy conditions, and why do they matter?
They are inequalities that restrict to what physicists regard as reasonable matter, since the field equations by themselves place no bound on the source. The weak energy condition () says every observer measures non-negative energy density; the null, strong, and dominant conditions add related constraints on pressures and energy flux. They matter because the powerful theorems of general relativity — the Penrose-Hawking singularity theorems, the area theorem, the topological censorship results — assume them as hypotheses, and because exotic objects such as traversable wormholes and warp drives require them to be violated. Crucially, they are not laws: the Casimir vacuum has negative energy density, and the cosmological constant violates the strong condition, which is precisely how the universe manages to accelerate.