advanced30 min studyLesson 820 in Physics

Junction conditions and thin-shell spacetimes

Match induced geometry across a timelike surface and convert an oriented extrinsic-curvature jump into surface stress-energy.

Before you begin

On this page

The question for today

What you’ll understand

State the normal and jump conventions before using Israel’s equation.
Distinguish a smooth material boundary from a thin stress-energy shell.
Compare the proper mass of a static shell with its exterior gravitational mass.

Two exact metric regions do not automatically form a solution when their coordinate formulas are pasted together. Their common hypersurface must have one consistent intrinsic geometry, and any jump in how it is embedded must be supported by the appropriate surface stress-energy. We study a timelike shell with a spacelike unit normal. The thin shell is an ideal distributional limit of finite-thickness matter, not a claim that classical geometry remains a complete microscopic description at arbitrarily short distances. Null junctions require a different treatment and are excluded here.

Fix the surface geometry and a single normal orientation

Label the two regions minus and plus, choose one normal directed from the minus region toward the plus region, and take its limiting values consistently on both sides. It is not two unrelated outward normals. Use intrinsic surface coordinates to compare the induced metrics, identifying the same surface points. The first junction condition requires their equality. Different time coordinates in the surrounding regions can still induce the same shell proper time after the appropriate lapse conversion.

Define the extrinsic curvature by projecting the derivative of this chosen normal, matching the convention used in the action lesson. Its jump is the plus value minus the minus value. If the induced metric is continuous and this curvature is also continuous, the interface has no delta-function surface source in the ordinary junction formalism, although bulk stress can have finite changes. A discontinuous intrinsic metric is not an acceptable ordinary thin shell: naive distribution products can become undefined instead of producing a legitimate surface tensor.

n^\mu n_\mu=1,\qquad h_{ab}^{+}=h_{ab}^{-},\qquad K_{ab}^{\pm}=h_a{}^\mu h_b{}^\nu\nabla_\mu n_\nu\big|_\pm,\qquad [X]=X^+-X^-

The shell is timelike, its intrinsic metric has one negative direction, and the normal orientation is shared across the match. Extrinsic curvature has inverse length units in length-valued intrinsic coordinates.↔ Scroll wide equations horizontally.

A curvature jump requires a surface source

Integrating Einstein’s equation across an infinitesimal Gaussian-normal layer gives Israel’s relation. With the stated sign and jump conventions, the trace-adjusted extrinsic-curvature jump equals minus the gravitational coupling times the surface stress tensor. That tensor has energy per area units, rather than bulk energy per volume. Reversing the normal reverses both curvature values; a consistent relabeling and orientation prescription is therefore essential when comparing signs across references or software packages.

Taking the surface trace uses three intrinsic dimensions. The equation consequently determines both the curvature-trace jump and its trace-free part from the specified surface source. With zero surface source the trace first vanishes and then the full jump vanishes. Surface conservation and bulk flux relations provide additional consistency conditions, but a moving material shell generally also needs an equation of state and initial data. The jump relation alone is not a universal trajectory law for arbitrary matter, and an admissible tensor need not automatically satisfy every desired energy condition.

[K_{ab}]-h_{ab}[K]=-\kappa S_{ab},\qquad \kappa=\frac{8\pi G}{c^4},\qquad [K]=\frac\kappa2S,\quad S=h^{ab}S_{ab}

S_ab is surface stress-energy in J/m² in a local orthonormal surface frame. These signs apply to a timelike shell, K = projected ∇n, and a single normal directed from minus to plus.↔ Scroll wide equations horizontally.

A static spherical shell displays gravitational binding

As an analytic example, join a Minkowski interior to a Schwarzschild exterior across a static sphere of areal radius R greater than twice m. The normal points toward increasing radius. The angular extrinsic curvature is one over R inside and square root of f divided by R outside. Their difference produces a positive surface energy density sigma. Maintaining a static shell also requires tangential stress; this configuration must not be described as unsupported pressureless dust held permanently at rest.

The shell’s proper rest-energy integral divided by c squared generally exceeds the mass measured from the exterior asymptotic field. Their difference reflects gravitational binding in this ideal configuration, not an error in local energy accounting. At large radius the leading expansion approaches equality, recovering the weak-binding limit. Close to the horizon the required supporting stresses become important and material assumptions must be checked. The normal-direction lab only illustrates orientation reversal; it computes neither extrinsic curvature nor a distributional Einstein tensor.

\sigma=\frac{c^4}{4\pi GR}\left(1-\sqrt{1-\frac{2m}{R}}\right),\qquad M_{\mathrm{proper}}=\frac{4\pi R^2\sigma}{c^2}=\frac{c^2R}{G}\left(1-\sqrt{1-\frac{2m}{R}}\right)

sigma is energy per area, not mass per area. M_proper is the shell’s integrated local energy divided by c², while the exterior mass is M = c²m/G. The formula assumes a static Minkowski-to-Schwarzschild shell with supporting tangential stress.↔ Scroll wide equations horizontally.

Work it through

Compare proper shell mass with exterior mass

A supported static shell joins a flat interior to a Schwarzschild exterior of mass M at $R=8m/3$ , with $m=GM/c^2$ . Find its proper mass and the positive difference between its local rest energy and the exterior mass-energy.

The exterior metric factor is $f(R)=1/4$ , so its positive square root is one half. The shell lies outside the horizon and the static matching formulas apply.
Use $c^2R/G=(R/m)M=8M/3$ . Multiplying by $1-\sqrt f=1/2$ gives $M_{\mathrm{proper}}=4M/3$ .
The positive energy difference is $(M_{\mathrm{proper}}-M)c^2=Mc^2/3$ . Equivalently the gravitational binding contribution to exterior energy relative to the proper sum is negative. Supporting tangential stresses are part of this static construction.

The result

The proper shell mass is 4M/3 and the local-energy sum exceeds the exterior mass-energy by Mc²/3, under the stated supported static model.

The living notebook

Explore the model

Interactive lab

Interactive lab · vectors

Reverse a normal consistently

Reset and set angle $0^\circ$ , magnitude 1; predict x component +1 and y component zero. Repeat from Reset with both controls angle $180^\circ$ , magnitude 1; predict x component −1 and y approximately zero. This planar vector reversal illustrates the sign of a chosen normal. It is not a spacetime matching calculation and contains no induced metric, extrinsic-curvature, or shell-stress readout.

Vectorx / y projectionsTrace marker

x component: 1.393
y component: 0.975
Magnitude: 1.7

Angle35°Magnitude1.7

t = 0 s

Playback traces a fixed vector and its projections. Angle and magnitude set the geometry; the moving marker does not change them. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forA normal orientation is part of a junction convention; reversing it without adjusting the jump prescription can reverse an inferred stress sign.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

Tracing the three-dimensional equation gives [K] = 0 when S_ab = 0, and substitution then gives [K_ab] = 0. Equal induced geometry does not require identical surrounding coordinate labels.

Your turn

Try it yourself

A timelike surface has pure positive tension with $S_{ab}=-\sigma h_{ab}$ , where sigma is positive energy per area. Suppose its curvature jump has form $[K_{ab}]=A h_{ab}$ . Find A and the curvature-trace jump under the stated conventions.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The surface has three dimensions, so the trace of A times the induced metric is three A; keep the minus sign in the source relation.

Compare with the solution

The trace jump is $[K]=3A$ . The left side of Israel’s equation is then $A h_{ab}-3A h_{ab}=-2A h_{ab}$ , while the right side is $+\kappa\sigma h_{ab}$ . Therefore $A=-\kappa\sigma/2$ and $[K]=-3\kappa\sigma/2$ . Since kappa times surface energy density has inverse length units, both results have the correct curvature scale. This algebraic jump is compatible with the assumed source form but does not itself determine a global shell embedding or its dynamics.

Keep the idea

Take it with you

Matching requires one induced geometry and an explicit shared normal and jump convention.
A trace-adjusted curvature jump supplies a surface stress tensor with energy-per-area units.
Proper shell energy and exterior mass differ through binding, while static support and material equations remain necessary assumptions.

Read further

Original sources and deeper explanations to follow at your own pace.

Musgrave and Lake, Junctions and thin shells in general relativity using computer algebra I: The Darmois–Israel Formalism, §2 and spherical shell examples

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.