Manuscript X-A@1 · X-A.tex · section · dc7f5c0a
The varied action (Route II)
The varied action (Route II) · lines 1685–1706
X-A@1#eq:deltaS
Route II computes the variation of the frozen switched action independently of the coordinate problem, exposes every switch term, and records the classical Noether identity a later construction must respect. The gauge parameter is allowed to be an arbitrary compactly supported vector field in , so that the switch terms are visible before the plateau condition is imposed.
For a compactly supported , let be the genuine time-one flow of and define the finite variation
The integrand is supported in the compact set where , so the integral is finite even though itself need not be.
Displayed formulas in this passage
X-A@1#eq:deltaS · line 1698
Nearby in this section
- lemma: Lemma: Divergence form of density pullback
- proposition: Proposition: Exact varied-action identity with all switch terms
- section: The varied action (Route II)
- proposition: Proposition: First-order display for a general compact gauge parameter
- corollary: Corollary: Vanishing on the frozen group; the Noether identity
- section: The varied action (Route II)