Manuscript VII-I@1 · VII-I.tex · proposition · 907e96ab
Proposition: Normal-data correction
One classical observable and its actual Cauchy data › Metric-dependent normal data would be different · lines 372–396 · proof included or linked
VII-I@1#prop:normal
The data in (eq:coordinates) are not equivalent to fixing on , where is the future unit normal. For the latter prescription,
Proof. For the surface ,
Expanding the fixed normal derivative, and using , gives . The inverse-metric expansion gives the displayed .
Displayed formulas in this passage
unlabeled · line 378
unlabeled · line 388