ScalingStacks

Proof. [0331]

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.

Fix φ∈P​S​H​(X,ω)\varphi\in PSH(X,\omega) such that 0≤φ≤10\leq\varphi\leq 1. Fix t>0t>0 and set Kt={x∈X/ψ(x)<−t}K_{t}=\{x\in X\,/\,\psi(x)<-t\}. By Chebyshev’s inequality,

∫Ktωφn≤∫X(−ψ/t)ωφn≤1t[∫X(−ψ)ωn+nVolω(X)],\int_{K_{t}}\omega_{\varphi}^{n}\leq\int_{X}(-\psi/t)\omega_{\varphi}^{n}\leq\frac{1}{t}\left[\int_{X}(-\psi)\omega^{n}+nVol_{\omega}(X)\right],

where the last inequality follows from corollary 2.3. Taking supremum over all φ′\varphi^{\prime}s yields the claim. ∎

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