λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XX-B@1 · XX-B.tex · proposition · 56d708a5

Proposition: Residual transformations in the frozen group

Gauge fixing and the normally hyperbolic realization › Residual gauges and boundary discipline · lines 866–881 · proof included or linked

XX-B@1#prop:residual

Back to manuscript

Within XX-A's compactly supported spacetime gauge group, the linear residual gauge condition is

and its only solution is .

Proof. A compact spacetime support lies strictly to the future of some Cauchy surface in the slab. Both Cauchy data of vanish there. Uniqueness for the normally hyperbolic operator gives zero.

Displayed formulas in this passage

  • unlabeled · line 870

Nearby in this section