Manuscript III@2 · III.tex · lemma · 82dad3e5

Lemma: Support-dependent uniqueness

The coupled first-order jet and retarded harmonic section › Past-trivial gauges · lines 1170–1184 · proof included or linked

III@2#lem:gauge-intersection

A homogeneous vector wave in $G_{R}$ is zero. Thus

G_{R} \cap {ξ : □_{η} ξ = 0, ξ has compact Cauchy data} = {0} .

Proof. A field in $G_{R}$ has zero data on a sufficiently early slice. Homogeneous wave uniqueness makes it zero.

Displayed formulas in this passage

unlabeled · line 1174
$G_{R} \cap {ξ : □_{η} ξ = 0, ξ has compact Cauchy data} = {0} .$