ScalingStacks

Proof. [0333]

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.

We can assume w.l.o.g. that V​o​lω​(X)=1Vol_{\omega}(X)=1 and 0≤ψj−ψ≤10\leq\psi_{j}-\psi\leq 1. Fix δ>0\delta>0 and φ∈P​S​H​(X,ω)\varphi\in PSH(X,\omega), 0≤φ≤10\leq\varphi\leq 1. By Chebyshev inequality, it suffices to control ∫X(ψj−ψ)​ωφn\int_{X}(\psi_{j}-\psi)\omega_{\varphi}^{n} uniformly in φ\varphi. It follows from Stokes theorem that

∫X(ψj−ψ)​ωφn=∫X(ψj−ψ)​ω∧ωφn−1−∫Xd⁡(ψj−ψ)∧dc​φ∧ωφn−1.\int_{X}(\psi_{j}-\psi)\omega_{\varphi}^{n}=\int_{X}(\psi_{j}-\psi)\omega\wedge\omega_{\varphi}^{n-1}-\int_{X}d(\psi_{j}-\psi)\wedge d^{c}\varphi\wedge\omega_{\varphi}^{n-1}.

Now by Cauchy-Schwartz inequality,

|∫Xd​fj∧dc​φ∧ωφn−1|≤(∫Xd​fj∧dc​fj∧ωφn−1)1/2⋅(∫X𝑑φ∧dc​φ∧ωφn−1)1/2,\left|\int_{X}df_{j}\wedge d^{c}\varphi\wedge\omega_{\varphi}^{n-1}\right|\leq\left(\int_{X}df_{j}\wedge d^{c}f_{j}\wedge\omega_{\varphi}^{n-1}\right)^{1/2}\cdot\left(\int_{X}d\varphi\wedge d^{c}\varphi\wedge\omega_{\varphi}^{n-1}\right)^{1/2},

where we set fj:=ψj−ψ≥0f_{j}:=\psi_{j}-\psi\geq 0. Moreover

∫X𝑑φ∧dc​φ∧ωφn−1=∫Xφ⁡(−d​dc​φ)∧ωφn−1≤∫Xφ​ω∧ωφn−1≤1,\int_{X}d\varphi\wedge d^{c}\varphi\wedge\omega_{\varphi}^{n-1}=\int_{X}\varphi(-dd^{c}\varphi)\wedge\omega_{\varphi}^{n-1}\leq\int_{X}\varphi\omega\wedge\omega_{\varphi}^{n-1}\leq 1,

since φ​ωφn−1≥0\varphi\omega_{\varphi}^{n-1}\geq 0, −d​dc​φ≤ω-dd^{c}\varphi\leq\omega and φ≤1\varphi\leq 1. Similarly

∫Xdfj∧dcfj∧ωφn−1=∫X−fjddcfj∧ωφn−1≤∫Xfjωψ∧ωφn−1.\int_{X}df_{j}\wedge d^{c}f_{j}\wedge\omega_{\varphi}^{n-1}=\int_{X}-f_{j}dd^{c}f_{j}\wedge\omega_{\varphi}^{n-1}\leq\int_{X}f_{j}\omega_{\psi}\wedge\omega_{\varphi}^{n-1}.

Altogether this yields

∫X(ψj−ψ)​ωφn\displaystyle\int_{X}(\psi_{j}-\psi)\omega_{\varphi}^{n} ≤\displaystyle\leq ∫X(ψj−ψ)​ω∧ωφn−1+(∫X(ψj−ψ)​ωψ∧ωφn−1)1/2\displaystyle\int_{X}(\psi_{j}-\psi)\omega\wedge\omega_{\varphi}^{n-1}+\left(\int_{X}(\psi_{j}-\psi)\omega_{\psi}\wedge\omega_{\varphi}^{n-1}\right)^{1/2}
≤\displaystyle\leq 2​(∫X(ψj−ψ)​(ω+ωψ)∧ωφn−1)1/2,\displaystyle\sqrt{2}\left(\int_{X}(\psi_{j}-\psi)(\omega+\omega_{\psi})\wedge\omega_{\varphi}^{n-1}\right)^{1/2},

where the last inequality follows from the elementary inequalities 0≤a≤a≤10\leq a\leq\sqrt{a}\leq 1 and a+b≤2​a+b\sqrt{a}+\sqrt{b}\leq\sqrt{2}\sqrt{a+b}.

Going on replacing at each step a term ωφ\omega_{\varphi} by ω+ωψ\omega+\omega_{\psi}, we end up with

∫X(ψj−ψ)​ωφn≤2​(∫X(ψj−ψ)​(ω+ωψ)n)1/2n.\int_{X}(\psi_{j}-\psi)\omega_{\varphi}^{n}\leq 2\left(\int_{X}(\psi_{j}-\psi)(\omega+\omega_{\psi})^{n}\right)^{1/2^{n}}.

The majorant being independent of φ\varphi and converging to 00 as j→+∞j\rightarrow+\infty (by dominated convergence theorem), this completes the proof. ∎

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