ScalingStacks

Proof. [01AM]

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.

After regularizing we may assume that all functions involved are model functions. Write, symbolically, T=(ω+d​dc​φ2)∧⋯∧(ω+d​dc​φn)T=(\omega+dd^{c}\varphi_{2})\wedge\dots\wedge(\omega+dd^{c}\varphi_{n}). Then

∫(ψ−φ)​MA⁡(φ1,…,φn)=∫(ψ−φ)​ω∧T+∫(ψ−φ)​d​dc​φ1∧T.\int(\psi-\varphi)\MA(\varphi_{1},\dots,\varphi_{n})=\int(\psi-\varphi)\omega\wedge T+\int(\psi-\varphi)\,dd^{c}\varphi_{1}\wedge T.

Since 0≤∫(ψ−φ)​ω∧T≤M0\leq\int(\psi-\varphi)\omega\wedge T\leq M, the first term in the right-hand side satisfies

∫(ψ−φ)​ω∧T≤M12​(∫(ψ−φ)​ω∧T)12.\int(\psi-\varphi)\omega\wedge T\leq M^{\frac{1}{2}}\left(\int(\psi-\varphi)\omega\wedge T\right)^{\frac{1}{2}}.

By the Cauchy-Schwarz inequality (Corollary 3.3), the second term is bounded by

(∫(ψ−φ)​d​dc​(φ−ψ)∧T)12​(∫(−φ1)​d​dc​φ1∧T)12\left(\int(\psi-\varphi)\,dd^{c}(\varphi-\psi)\wedge T\right)^{\frac{1}{2}}\left(\int(-\varphi_{1})\,dd^{c}\varphi_{1}\wedge T\right)^{\frac{1}{2}}

By the assumption that −M≤u1≤0-M\leq u_{1}\leq 0 and ∫ωn=1\int\omega^{n}=1 we have

0≤∫(−φ1)​d​dc​φ1∧T=∫φ1​ω∧T−∫φ1​(ω+d​dc​φ1)∧T≤M.0\leq\int(-\varphi_{1})\,dd^{c}\varphi_{1}\wedge T=\int\varphi_{1}\omega\wedge T-\int\varphi_{1}(\omega+dd^{c}\varphi_{1})\wedge T\leq M.

Similarly,

0≤∫(ψ−φ)​d​dc​(φ−ψ)∧T\displaystyle 0\leq\int(\psi-\varphi)\,dd^{c}(\varphi-\psi)\wedge T =∫(ψ−φ)​(ω+d​dc​φ)∧T−∫(ψ−φ)​(ω+d​dc​ψ)∧T\displaystyle=\int(\psi-\varphi)(\omega+dd^{c}\varphi)\wedge T-\int(\psi-\varphi)(\omega+dd^{c}\psi)\wedge T
≤∫(ψ−φ)​(ω+d​dc​φ)∧T.\displaystyle\leq\int(\psi-\varphi)(\omega+dd^{c}\varphi)\wedge T.

Putting this together, and using the concavity of the square root, we get

∫(ψ−φ)​MA⁡(φ1,…,φn)≤M12​((∫(ψ−φ)​ω∧T)12+(∫(ψ−φ)​(ω+d​dc​φ)∧T)12)≤2​M12​(∫(ψ−φ)​(ω+d​dc​φ2)∧T)12.\int(\psi-\varphi)\MA(\varphi_{1},\dots,\varphi_{n})\leq\\ M^{\frac{1}{2}}\left(\left(\int(\psi-\varphi)\omega\wedge T\right)^{\frac{1}{2}}+\left(\int(\psi-\varphi)(\omega+dd^{c}\varphi)\wedge T\right)^{\frac{1}{2}}\right)\\ \leq 2M^{\frac{1}{2}}\left(\int(\psi-\varphi)(\omega+dd^{c}\frac{\varphi}{2})\wedge T\right)^{\frac{1}{2}}.

The lemma follows (with the constant 4​M/(2​M)12n<4​M4M/(2M)^{\frac{1}{2^{n}}}<4M) by repeating this argument n−1n-1 times, successively replacing φ2,…,φn\varphi_{2},\dots,\varphi_{n} by φ/2\varphi/2. ∎

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