Manuscript En01-C@1 · En01-C.tex · lemma · 00a2161c
Lemma: Exact second-moment action
Model boundary and common physical controls › The declared gravitational contribution · lines 755–773 · proof included or linked
En01-C@1#lem:momentsG
The full regularized generator and its quadratic comparison have the same action on :
Proof. Conjugation of by a position kick shifts it by , up to a sign convention irrelevant after integration. Evenness of cancels the linear term. The quadratic term integrates to . The position is unchanged. The same commutator calculation proves the quadratic-model identities.
Displayed formulas in this passage
unlabeled · line 759