ScalingStacks

Proof. [04F7]

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.

Given any P,P′P,P^{\prime} on LL, we write the potential as a line integral of the Liouville 1-form

fL​(P)−fL​(P′)=∫P′Pλ≤‖λ‖C0​𝑑i​s​t​(P,P′).f_{L}(P)-f_{L}(P^{\prime})=\int_{P^{\prime}}^{P}\lambda\leq\left\lVert\lambda\right\rVert_{C^{0}}dist(P,P^{\prime}).

Thus the intrinsic ball volume lower bound implies that if aa lies in the range of fLf_{L}, then

Vol({|fL−a|<12})≥C−1.\text{Vol}(\{|f_{L}-a|<\frac{1}{2}\})\geq C^{-1}.

The range of fLf_{L} is by assumption a closed interval. If the interval has length ≥N\geq N, then we can find NN distinct values of aa with disjoint {|fL−a|<12}\{|f_{L}-a|<\frac{1}{2}\}, so

C−1​N≤Vol​(L)≤1sin⁡ϵ​∫LRe​(Ω)≤C,C^{-1}N\leq\text{Vol}(L)\leq\frac{1}{\sin\epsilon}\int_{L}\text{Re}(\Omega)\leq C,

This provides an a priori bound on NN, hence on the potential oscillation. ∎

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