Abstract. The aim of this paper is to give a new proof of the complete characterization of measures for which there exist a solution of the Dirichlet problem for the complex Monge-Ampère operator in the set of plurisubharmonic functions with finite pluricomplex energy. The proof uses variational methods.
IntroductionThroughout this note let Ω ⊆ C n , n ≥ 1, be a bounded, connected, open, and hyperconvex set. By E 0 we denote the family of all bounded plurisubharmonic functions ϕ defined on Ω such that lim z→ξ ϕ(z) = 0 for every ξ ∈ ∂Ω , andwhere (dd c · ) n is the complex Monge-Ampère operator. Next let E p , p > 0, denote the family of plurisubharmonic functions u defined on Ω such that there exists a decreasing sequence {u j }, u j ∈ E 0 , that converges pointwise to u on Ω, as j tends to +∞, and 10,14]). It should be noted that it follows from [10] that the complex Monge-Ampère operator is well-defined on E p . It is not only within pluripotential theory these cones have been proven useful, but also as a tool in dynamical systems and algebraic geometry (see e.g. [2,17]). For further information on pluripotential theory we refer to [16,19,20]. The purpose of this paper is to give a new proof of Theorem B below and use Theorem B to prove (2) implies (1) the following theorem:Theorem A (Dirichlet's problem). Let µ be a non-negative Radon measure, then the following conditions are equivalent:(1) there exists a function u ∈ E 1 such that (dd c u) n = µ, (2) there exists a constant B > 0, such that Ω (−ϕ) dµ ≤ B e 1 (ϕ) 1 n+1 for all ϕ ∈ E 1 , (1.1) (3) the class E 1 is contained in L 1 (µ),2000 Mathematics Subject Classification. Primary 35J20; Secondary 32W20.