Manuscript XI-B@1 · XI-B.tex · theorem · 063b989e

Theorem: Trivial plateau residual algebra

Residual gauge and the switched-source diagnostic › The residual plateau algebra is trivial · lines 968–983 · proof included or linked

XI-B@1#thm:residual, XI-B@1#eq:residual

Back to manuscript

g_{U} \cap {ξ : □ ξ = 0} = {0} .

Proof. A vector field in $g_{U}$ vanishes on a neighbourhood of $Σ_{0}$ . Every component has zero initial Cauchy data. If it also solves the homogeneous wave equation, Cauchy uniqueness forces it to vanish everywhere on the slab.

Displayed formulas in this passage

XI-B@1#eq:residual · line 970
$g_{U} \cap {ξ : □ ξ = 0} = {0} .$

Nearby in this section

section: The residual plateau algebra is trivial
section: The residual plateau algebra is trivial