ScalingStacks

Proof. [049M]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

Let XtX_{t} be the Hamiltonian vector field along LtL_{t} associated to hth_{t}, namely d​ht=ω⁡(Xt,⋅)dh_{t}=\omega(X_{t},\cdot). We calculate the time derivative of fLtf_{L_{t}}: along LtL_{t}

ℒX​λ=ιX​d​λ+d⁡(ιX​λ)=ιX​ω+d⁡(ιX​λ)=d⁡(ht+ιX​λ),\mathcal{L}_{X}\lambda=\iota_{X}d\lambda+d(\iota_{X}\lambda)=\iota_{X}\omega+d(\iota_{X}\lambda)=d(h_{t}+\iota_{X}\lambda),

so there is a preferred parallel transport of fLf_{L} along the path LtL_{t},

∂tfLt=ht+ιX​λ.\partial_{t}f_{L_{t}}=h_{t}+\iota_{X}\lambda.

Hence

∂t∫LtfLt​Im​(e−i​θ^​Ω)=∫Lt(ht+ιX​λ)​Im​(e−i​θ^​Ω)+∫LtfLt​ℒX​Im​(e−i​θ^​Ω).\partial_{t}\int_{L_{t}}f_{L_{t}}\text{Im}(e^{-i\hat{\theta}}\Omega)=\int_{L_{t}}(h_{t}+\iota_{X}\lambda)\text{Im}(e^{-i\hat{\theta}}\Omega)+\int_{L_{t}}f_{L_{t}}\mathcal{L}_{X}\text{Im}(e^{-i\hat{\theta}}\Omega).

Now by the Cartan formula and the closedness of Ω\Omega,

ℒX​Im​(e−i​θ^​Ω)=d​ιX​Im​(e−i​θ^​Ω),\mathcal{L}_{X}\text{Im}(e^{-i\hat{\theta}}\Omega)=d\iota_{X}\text{Im}(e^{-i\hat{\theta}}\Omega),

so after integration by part,

∫LtfLtℒXIm(e−i​θ^Ω)=−∫Ltdft∧ιXIm(e−i​θ^Ω)=−∫Ltλ∧ιXIm(e−i​θ^Ω).\int_{L_{t}}f_{L_{t}}\mathcal{L}_{X}\text{Im}(e^{-i\hat{\theta}}\Omega)=-\int_{L_{t}}df_{t}\wedge\iota_{X}\text{Im}(e^{-i\hat{\theta}}\Omega)=-\int_{L_{t}}\lambda\wedge\iota_{X}\text{Im}(e^{-i\hat{\theta}}\Omega).

Combining the above,

∂t∫LtfLt​Im​(e−i​θ^​Ω)=∫Ltht​Im​(e−i​θ^​Ω)+∫LtιX​(λ∧Im​(e−i​θ^​Ω)).\partial_{t}\int_{L_{t}}f_{L_{t}}\text{Im}(e^{-i\hat{\theta}}\Omega)=\int_{L_{t}}h_{t}\text{Im}(e^{-i\hat{\theta}}\Omega)+\int_{L_{t}}\iota_{X}(\lambda\wedge\text{Im}(e^{-i\hat{\theta}}\Omega)).

Integrating in tt gives the result. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.