ScalingStacks

Lemma 3.3 . [049L]

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

Lemma 3.3.
∫01dt∫LthtIm(e−i​θ^Ω)=∫LtfLtIm(e−i​θ^Ω)|t=0t=1−∫∪tLtλ∧Im(e−i​θ^Ω).\int_{0}^{1}dt\int_{L_{t}}h_{t}\text{Im}(e^{-i\hat{\theta}}\Omega)=\int_{L_{t}}f_{L_{t}}\text{Im}(e^{-i\hat{\theta}}\Omega)|^{t=1}_{t=0}-\int_{\cup_{t}L_{t}}\lambda\wedge\text{Im}(e^{-i\hat{\theta}}\Omega). (19)

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