Proposition 4.4 . [02EG] 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 1 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
Proposition 4.4 .
Let μ \mu be a probability measure and t > 0 t>0 . Let φ , ψ ∈ P S H ( X , ω ) \varphi,\psi\in PSH(X,\omega) be such that
∫ X e t φ 𝑑 μ = ∫ X e t ψ 𝑑 μ = 1 \int_{X}e^{t\varphi}d\mu=\int_{X}e^{t\psi}d\mu=1 .
Assume φ ∈ ℰ 1 ( X , ω ) \varphi\in{\mathcal{E}}^{1}(X,\omega) is a global solution
to the complex Monge-Ampère equation ( ω + d d c φ ) n = e t φ μ (\omega+dd^{c}\varphi)^{n}=e^{t\varphi}\mu ,
while ψ ∈ 𝒞 0 ( X ∖ E ) \psi\in{\mathcal{C}}^{0}(X\setminus E)
satisfies ( ω + d d c ψ ) n = e t ψ μ (\omega+dd^{c}\psi)^{n}=e^{t\psi}\mu only in X ∖ E X\setminus E .
Then ψ ∈ ℰ 1 ( X , ω ) \psi\in{\mathcal{E}}^{1}(X,\omega) and ψ ≡ φ \psi\equiv\varphi .