Proof. [03A9]
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.
It was shown in [BFJ15, §8.1] that uniqueness follows from a result of Yuan and Zhang in [YZ17]. To prove existence of a -psh solution , we use the variational method of Boucksom, Favre, and Jonsson. The basic tools needed here are upper semicontinuity of the energy [BFJ15, Prop. 6.2], the compactness theorem [BFJ16a, Thm. 7.10], and the differentiability of . As explained above, all these results are available in our setting. It remains to see that is continuous and this is done by estimates in the spirit of Kolodziej as in [BFJ15, §8.3]. ∎