Distributional Curvature

Curvature contains second derivatives of the metric and quadratic products of first derivatives. For a rough metric, taking derivatives distributionally is easy; multiplying the resulting distributions is not. The Geroch–Traschen regularity class supplies a clean sufficient condition: the connection is locally square-integrable, so its quadratic term is locally integrable and the Riemann tensor is a well-defined tensor distribution.

Required background. Analysis for Mathematical Relativity supplies weak derivatives and distributions; The Einstein Equation supplies the curvature equations; PDEs and Green Functions for Gravitation supplies weak-solution language.

Helpful background. Causality and Global Structure helps keep curvature singularities distinct from causal incompleteness.

The nonlinear obstruction

In a smooth chart,

$$\Gamma^\rho{}_{\mu\nu} =\frac12g^{\rho\sigma} \left( \partial_\mu g_{\sigma\nu} +\partial_\nu g_{\sigma\mu} -\partial_\sigma g_{\mu\nu} \right),$$

and

$$R^\rho{}_{\sigma\mu\nu} =\partial_\mu\Gamma^\rho{}_{\nu\sigma} -\partial_\nu\Gamma^\rho{}_{\mu\sigma} +\Gamma^\rho{}_{\mu\lambda}\Gamma^\lambda{}_{\nu\sigma} -\Gamma^\rho{}_{\nu\lambda}\Gamma^\lambda{}_{\mu\sigma}.$$

If $g$ is merely a distribution, neither its inverse nor the product $g^{-1}\partial g$ is generally defined. Even if one somehow defines a distributional connection, the product $\Gamma\Gamma$ can contain an undefined square of a delta distribution. Thus “differentiate the formula in distributions” is not a valid general definition.

Geroch–Traschen regular metrics

A convenient local version of the sufficient hypotheses is:

• $g_{\mu\nu}$ and $g^{\mu\nu}$ are locally essentially bounded;
• $g$ has weak first derivatives in $L^2_{\mathrm{loc}}$;
• the metric is uniformly nondegenerate on compact subsets in the chosen smooth background norm.

Then

$$\Gamma\in L^2_{\mathrm{loc}}, \qquad \Gamma\Gamma\in L^1_{\mathrm{loc}},$$

while $\partial\Gamma$ is a distribution of order one. Consequently

$$Riem(g)\in H^{-1}_{\mathrm{loc}}+L^1_{\mathrm{loc}}$$

as a tensor distribution. The construction and its stability properties are proved in Geroch–Traschen 1987, §§II–V.

For example, a component of the derivative term acts on a smooth compactly supported test density $\varphi$ by

$$\langle\partial_\mu\Gamma^\rho{}_{\nu\sigma},\varphi\rangle =-\int\Gamma^\rho{}_{\nu\sigma}\,\partial_\mu\varphi\,d^4x.$$

The quadratic term acts by an ordinary $L^1$ integral. These two operations explain exactly why $L^2$ control of the connection suffices. The resulting curvature need not be a measure: derivatives of $L^2$ functions generally require a derivative of the test function. A thin-shell delta is a more regular special case.

The class is sufficient, not necessary. Special algebraic structure can give meaning to curvature outside it, and nonlinear generalized-function algebras can regularize additional metrics. Such extensions must state their embedding and association procedures; they do not make arbitrary products of Schwartz distributions canonical.

Why hypersurface jumps work

Suppose $g$ is continuous across a smooth hypersurface $\Sigma$ and is $C^2$ on each side, while its first normal derivative has a finite jump. Then $\partial g$ is piecewise bounded with a jump but no delta distribution. Hence $\Gamma$ is piecewise bounded, $\Gamma\Gamma$ is an ordinary locally integrable function, and $\partial\Gamma$ contains a delta term supported on $\Sigma$.

The singular Riemann tensor is therefore linear in the jump of the connection, equivalently in the jump of the second fundamental form. This is the analytic basis of thin shells and null shells. If the metric itself jumps, however, $\partial g$ contains a delta and the quadratic connection term threatens a delta squared. A discontinuous metric is not admitted by the standard thin-shell construction merely because its one-sided curvatures exist.

The sign of the singular Einstein tensor depends on the chosen normal and extrinsic-curvature convention. On spacelike slices this volume uses

$$K_{ij}=-h_i{}^\mu h_j{}^\nu\nabla_\mu n_\nu;$$

timelike or null junction formulas must declare their own oriented normal before translating a source.

Stability and codimension

Distributional curvature should be stable under the convergence used to approximate the metric. Geroch and Traschen require strong enough convergence of the metric, inverse, and weak first derivatives to pass both the derivative and quadratic terms to the limit. Weak $H^1$ convergence alone is insufficient because products of two weakly convergent $L^2$ sequences need not converge to the product of their limits.

Their framework supports curvature concentrated on codimension-one hypersurfaces. Under its regularity and nondegeneracy assumptions, nonzero curvature supported only on submanifolds of codimension greater than one is severely restricted; idealized cosmic strings are the standard warning. This is a limitation of that distributional metric class, not a proof that codimension-two physical objects cannot be modeled by any generalized or limiting theory. The codimension result is developed in Geroch–Traschen 1987, §VI.

Steinbauer places these facts within the broader low-regularity singularity-theorem program in Steinbauer 2022, §4.3, pp. 24–27.

Solved diagnostic: a delta without a delta squared

Compute the singular scalar curvature of the conformal metric below and identify why its connection-square term remains an ordinary locally integrable function.

Solution

In two dimensions consider the conformal Lorentzian metric

$$g=e^{2\phi(x)}(-dt^2+dx^2), \qquad \phi(x)=a\lvert x\rvert.$$

The metric is continuous and locally Lipschitz. Its first derivative contains $\operatorname{sgn}(x)$, which is bounded, so the connection is locally bounded and its square is locally integrable. The weak second derivative is

$$\phi''=2a\,\delta_0.$$

With the site’s curvature sign, the scalar curvature is

$$R=-2e^{-2\phi}\,\partial_x^2\phi =-4a\,\delta_0,$$

because $e^{-2\phi(0)}=1$. The delta is well defined and enters linearly. If $\phi$ itself had a jump, $\phi'$ would contain a delta and the connection-square term in higher-dimensional analogues would be undefined. This is exactly the regularity boundary the Geroch–Traschen hypotheses protect.

The next page compares the different ways one can turn such curvature distributions—or weaker limits—into weak Einstein equations.

References

• Geroch, Robert, and Jennie Traschen. “Strings and Other Distributional Sources in General Relativity.” Physical Review D 36 (1987): 1017–1031. DOI.
• Steinbauer, Roland. “The Singularity Theorems of General Relativity and Their Low Regularity Extensions.” arXiv:2206.05939, 2022.