ScalingStacks

6.1. Energy of model functions [01B0]

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

6.1. Energy of model functions

For any model function φ\varphi we set

(6.1) Eω​(φ)=1n+1​∑j=0n∫φ​(ω+d​dc​φ)j∧ωn−jE_{\omega}(\varphi)=\frac{1}{n+1}\sum_{j=0}^{n}\int\varphi(\omega+dd^{c}\varphi)^{j}\wedge\omega^{n-j}

and call Eω​(φ)E_{\omega}(\varphi) the energy of φ\varphi. It follows formally from an integration by parts argument, see Proposition 2.20 and [Tia00, Lemma 6.2] that if φ,ψ\varphi,\psi are any two model functions, then

(6.2) Eω​(ψ)−Eω​(φ)=1n+1​∑j=0n∫(ψ−φ)​(ω+d​dc​φ)j∧(ω+d​dc​ψ)n−j.E_{\omega}(\psi)-E_{\omega}(\varphi)=\frac{1}{n+1}\sum_{j=0}^{n}\int(\psi-\varphi)(\omega+dd^{c}\varphi)^{j}\wedge(\omega+dd^{c}\psi)^{n-j}.

Writing φt=(1−t)​φ+t​ψ\varphi_{t}=(1-t)\varphi+t\psi, and expanding Eω​(φt)−Eω​(φ)E_{\omega}(\varphi_{t})-E_{\omega}(\varphi) in tt leads to the following formulas for first and second derivatives of EωE_{\omega}:

(6.3) Eω′​(φ)⋅(ψ−φ)\displaystyle E^{\prime}_{\omega}(\varphi)\cdot(\psi-\varphi) =dd​t|t=0+​Eω​(φt)=∫(ψ−φ)​MA⁡(φ);\displaystyle=\frac{d}{dt}\bigg|_{t=0+}E_{\omega}(\varphi_{t})=\int(\psi-\varphi)\MA(\varphi);
(6.4) Eω′′​(φ)⋅(ψ−φ)\displaystyle E^{\prime\prime}_{\omega}(\varphi)\cdot(\psi-\varphi) =d2d​t2|t=0+​Eω​(φt)=n​∫(ψ−φ)​d​dc​(ψ−φ)​MA⁡(φ).\displaystyle=\frac{d^{2}}{dt^{2}}\bigg|_{t=0+}E_{\omega}(\varphi_{t})=n\,\int(\psi-\varphi)dd^{c}(\psi-\varphi)\MA(\varphi).
Proposition 6.1.

The restriction of EωE_{\omega} to the convex set PSH⁡(X,ω)∩𝒟⁡(X)\PSH(X,\omega)\cap\mathcal{D}(X) is concave, nondecreasing, and satisfies Eω​(φ+c)=Eω​(φ)+cE_{\omega}(\varphi+c)=E_{\omega}(\varphi)+c for any constant c∈𝐑c\in\mathbf{R}.

Proof.

Concavity follows from (6.4) and Proposition 2.21. Monotonicity is a consequence of (6.3), and the last equation follows from (6.2) since (ω+d​dc​φ)j∧ωn−j(\omega+dd^{c}\varphi)^{j}\wedge\omega^{n-j} is a probability measure for each jj thanks to Proposition 2.19 and the normalization {ω}n=1\{\omega\}^{n}=1. ∎

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