Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 17 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Lemma 5.1
Let X X , ω ϵ \omega_{\epsilon} be as in Theorem 4.5.
Assume V o l ( X ) = 1 Vol(X)=1 . Then there exists a function
I ( ϵ ) I(\epsilon) depending only on ϵ \epsilon and J J with I ( ϵ ) ≥ C ϵ 5 I(\epsilon)\geq C\epsilon^{5} , C C depending only on J J , such that
(1) For any function f f on X X such that
∫ X f ω ϵ 2 = 0 \int_{X}f\omega_{\epsilon}^{2}=0 ,
‖ d f ‖ 2 2 ≥ I ( ϵ ) ‖ f ‖ 4 2 . \|df\|^{2}_{2}\geq I(\epsilon)\|f\|^{2}_{4}.
(2) For any function f f on X X ,
‖ d f ‖ 2 2 ≥ I ( ϵ ) ( ‖ f ‖ 4 2 − ‖ f ‖ 2 2 ) . \|df\|^{2}_{2}\geq I(\epsilon)(\|f\|^{2}_{4}-\|f\|^{2}_{2}).