-There is no boundary condition in the compact setting. Integration by parts are much simpler, as well as compactness arguments. In particular Monge-Ampère masses are uniformly controlled by $Vo{l}_{\omega }\left(X\right)=1$  .

-The counterpart is that one looses the homogeneity of the Monge-Ampère operator ${\omega }_{\phi }^2$  . If $\phi \in PSH(X,\omega )$  then $\lambda \phi \in PSH(X,\omega )$  for $0\le \lambda \le 1$  but not for $\lambda >1$  , and one has to get control on mixed terms ${\omega }^2,\omega \wedge {\omega }_{\phi },{\omega }_{\phi }^2$  , due to the affine part of ${\omega }_{\phi }=\omega +d{d}^c\phi$  . This is an important source of difficulty.

Most of our results hold on any $n$  -dimensional compact Kähler manifold.

We have restricted ourselves to the case of complex surfaces ( $n=2$  ) because it greatly simplifies both the definition of the Monge-Ampère operator and the computations. We also assume throughout the article that $\omega$  is a Hodge form, i.e. a Kähler form with integer cohomology class. In this case one can easily regularize $\omega$  -psh functions with no loss of positivity (see Appendix in [15] and [16]). All our results are true when $\omega$  is merely a Kähler form, but our estimates then have to be modified by a uniform constant.

We now describe the contents of the article more precisely. In section 1 we define and study the class $\mathcal{ℰ}(X,\omega )$  of $\omega$  -psh functions whose gradient is in $L^2\left(X\right)$  . We then define the Monge-Ampère operator ${\omega }_{\phi }^2$  in section 2 and prove basic continuity results. The class ${\mathcal{ℰ}}^1(X,\omega )$  is introduced in section 3. It is a starshaped convex set, stable under taking maximum (proposition 3.2). These properties are established through integration by parts which are justified thanks to an important continuity result (Theorem 3.1). We also prove (Theorem 3.4) that solutions to the Monge-Ampère equation $(MA{)}_{\mu }$  are unique -up to an additive constantin the class ${\mathcal{ℰ}}^1(X,\omega )$  .

In section 4 we define and study several intermediate classes ${\mathcal{ℰ}}^p(X,\omega )$  , $p\ge 1$  . Not only are they interesting in themselves, but we need to solve first $(MA{)}_{\mu }$  with solutions in ${\mathcal{ℰ}}^p(X,\omega )$  , $p>1$  , before producing solutions in ${\mathcal{ℰ}}^1(X,\omega )$  . We prove our main result (Theorem 5.1) in section 5 where we give a complete characterization of the range of the Monge-Ampère operator ${\omega }_{\phi }^2$  on each class ${\mathcal{ℰ}}^p(X,\omega )$  , $p\ge 1$  . Finally in section 6 we give several examples of functions in ${\mathcal{ℰ}}^p(X,\omega )$  and measures of Monge-Ampère type by linking these integrability properties to the size of the sublevel sets $(\phi <-t)$  , estimated in terms of the Monge-Ampère capacity $Ca{p}_{\omega }$  .

1 The gradient of qpsh functions

¿From now on we assume $X$  is a compact complex projective surface (i.e.

of complex dimension 2) and $\omega$  is a Hodge form on $X$  normalized so that ${\text{Vol}}_{\omega }\left(X\right):={\int }_X{\omega }^2=1$  . Recall that $$PSH(X,\omega ):=\left\{\phi \in L^1\left(X\right)/d{d}^c\phi \ge -\omega \text{and}\phi \text{is u.s.c.}\right\}$$  is the set of $\omega$  -psh functions (see [15]). We set $$\mathcal{ℰ}(X,\omega ):=\left\{\phi \in PSH(X,\omega )/\phi \in L^1(\omega \wedge {\omega }_{\phi })\right\}$$  and $$W^{1,2}\left(X\right):=\left\{\phi \in L^2\left(X\right)/\nabla \phi \in L^2\left(X\right)\right\},$$  endowed with the Sobolev norm $\left|\right|\phi |{|}_{W^{1,2}}=|\left|\phi \right|{|}_{L^2}+\left|\right|\nabla \phi |{|}_{L^2}$  . To simplify notations all $L^p$  -norms are computed with respect to the volume form ${\omega }^2$  unless otherwise specified. Here the $L^2$  -norm of the gradient simply means $$\left|\right|\nabla \phi |{|}_{L^2}:={\left({\int }_{X}d\phi \wedge d^c\phi \wedge \omega \right)}^{1/2}.$$  We shall denote $\mathcal{ℰ}(X,\omega )$  by $\mathcal{ℰ}$  when no confusion can arise. Recall that every $\omega$  -psh function can be approximated by a decreasing sequence of smooth $\omega$  -psh functions (see Appendix in [15]). This motivates the following

Lemma 1.1. Let ${\phi }_j,\phi \in \mathcal{ℰ}(X,\omega )$  .

1) If ${\phi }_j$  decreases towards $\phi$  , then ${\phi }_j\to \phi$  in the Sobolev $W^{1,2}$  -norm.

2) If ${\phi }_j\to \phi$  in the Sobolev $W^{1,2}$  -norm, then ${\phi }_j{\omega }_{{\phi }_j}\to \phi {\omega }_{\phi }$  and $d{\phi }_j\wedge d^c{\phi }_j\to d\phi \wedge d^c\phi$  in the sense of currents.

• Proof. Assume first that ${\phi }_j\to \phi$  in the Sobolev norm. Then $d{\phi }_j\wedge d^c{\phi }_j\to d\phi \wedge d^c\phi$  and ${\phi }_j{d}^c{\phi }_j\to \phi d^c\phi$  in $L^1$  hence in the sense of currents. Let $\theta$  be a smooth test form. We get $$<{\phi }_{j}d{d}^c{\phi }_j,\theta >=<d{\phi }_j\wedge d^c{\phi }_j,\theta >-<{\phi }_j{d}^c{\phi }_j,d\theta >\to <\phi d{d}^c\phi ,\theta >,$$  thus ${\phi }_j{\omega }_{{\phi }_j}\to \phi {\omega }_{\phi }$  in the sense of currents.
  Assume now ${\phi }_j$  decreases towards $\phi$  . By the monotone convergence theorem, ${\phi }_j\to \phi$  in $L^2$  , so the question is whether $\nabla ({\phi }_j-\phi )\to 0$  in $L^2$  . We have $$0\le {\int }_{X}d({\phi }_j-\phi )\wedge d^c({\phi }_j-\phi )\wedge \omega ={\int }_X-({\phi }_j-\phi )({\omega }_{{\phi }_j}-{\omega }_{\phi })\wedge \omega \le {\int }_X({\phi }_j-\phi ){\omega }_{\phi }\wedge \omega .$$  Now ${\phi }_j-\phi \in L^1({\omega }_{\phi }\wedge \omega )$  , so it follows from the monotone convergence theorem again that ${\int }_X({\phi }_j-\phi ){\omega }_{\phi }\wedge \omega \to 0$  . □

In the sequel we shall implicitly make computations on smooth approximants and then pass to the limit by using lemma 1.1.

Proposition 1.2. One has $$\mathcal{ℰ}(X,\omega )=PSH(X,\omega )\cap W^{1,2}\left(X\right).$$  Moreover $\mathcal{ℰ}(X,\omega )$  is a closed subspace of $W^{1,2}\left(X\right)$  .

• Proof. Let $\phi \in PSH(X,\omega )$  . We can assume w.l.o.g. $\phi \le 0$  . Let us recall that a $\omega$  -psh function is $L^p$  -integrable for all $p\ge 1$  and has gradient in $L^p$  for all $p<2$  (see [18] and inequality (2) below). It follows therefore from Hölder inequality that $\phi d^c\phi$  is a well defined current of degree 1 with $L^1$  coefficients. Observe that $$d\left(\phi d^c\phi \right)+\phi \omega =d\phi \wedge d^c\phi +\phi {\omega }_{\phi },$$  where one of the currents on the right hand-side is well defined as soon as the other is. It follows therefore from Stokes theorem that $$0\le {\int }_X(-\phi ){\omega }_{\phi }\wedge \omega =\left|\right|\phi |{|}_{L^1}+{\int }_{X}d\phi \wedge d^c\phi \wedge \omega .$$  Thus $\phi \in \mathcal{ℰ}(X,\omega )$  iff $\nabla \phi \in L^2\left(X\right)$  .
  Clearly if ${\phi }_j\in \mathcal{ℰ}(X,\omega )$  converges in the Sobolev $W^{1,2}$  -norm towards $\phi$  then ${\phi }_j\to \phi$  in $L^2$  so that $\phi \in PSH(X,\omega )$  and $\nabla \phi \in L^2\left(X\right)$  so that $\phi \in \mathcal{ℰ}(X,\omega )$  , i.e. $\mathcal{ℰ}(X,\omega )$  is closed in $W^{1,2}\left(X\right)$  . □

Proposition 1.3. 1) If $\phi ,\psi \in \mathcal{ℰ}(X,\omega )$  then $\psi \in L^1({\omega }_{\phi }\wedge \omega )$  . Therefore ${\omega }_{\phi }\wedge {\omega }_{\psi }$  is a well defined probability measure.

2) The set $\mathcal{ℰ}(X,\omega )$  is star-shaped and convex.

3) Assume $\phi ,\psi \in PSH(X,\omega )$  with $\phi \le \psi$  . If $\phi \in \mathcal{ℰ}(X,\omega )$  then $\psi \in \mathcal{ℰ}(X,\omega )$  . In particular $\mathcal{ℰ}(X,\omega )$  is stable under taking maximum.

• Proof. Fix $\phi ,\psi \in \mathcal{ℰ}$  . We can assume $\psi \le 0$  . By Stokes theorem and Cauchy-Schwarz inequality, we get

  $$\begin{array}{ccc}0\le \int (-\psi ){\omega }_{\phi }\wedge \omega =\int (-\psi ){\omega }^2+\int (-\psi )d{d}^c\phi \wedge \omega & & \end{array}$$

  $$\begin{array}{ccc}& & =\int (-\psi ){\omega }^2+\int d\psi \wedge d^c\phi \wedge \omega \end{array}$$

  $$\begin{array}{ccc}& & \le \int (-\psi ){\omega }^2+{\left(\int d\psi \wedge d^c\psi \wedge \omega \right)}^{1/2}\cdot {\left(\int d\phi \wedge d^c\phi \wedge \omega \right)}^{1/2}<+\infty .\end{array}$$

  The current $\psi {\omega }_{\phi }$  is therefore well defined, hence so is $${\omega }_{\phi }\wedge {\omega }_{\psi }:=\omega \wedge {\omega }_{\phi }+d{d}^c\left(\psi {\omega }_{\phi }\right).$$  This yields a probability measure, as can be seen by approximating $\phi$  and $\psi$  by smooth approximants and by using lemma 1.1.
  We now show that $\mathcal{ℰ}$  is convex. Given $\phi ,\psi \in \mathcal{ℰ}$  , it suffices to check that $u=(\phi +\psi )/2$  also belongs to $\mathcal{ℰ}$  . By symmetry we only need to show that $\phi \in L^1({\omega }_u\wedge \omega )$  . Since ${\omega }_u=({\omega }_{\phi }+{\omega }_{\psi })/2$  and $\phi \in L^1({\omega }_{\phi }\wedge \omega )$  , this boils down to check that $\phi \in L^1({\omega }_{\psi }\wedge \omega )$  , which is nothing but 1.3.1.

  Assume $\phi \in \mathcal{ℰ}$  and $\lambda \in [0,1]$  . Then $\lambda \phi \in PSH(X,\omega )$  since ${\omega }_{\lambda \phi }=\lambda {\omega }_{\phi }+(1-\lambda )\omega \ge 0$  . Also $\nabla \left(\lambda \phi \right)=\lambda \nabla \phi \in L^2\left(X\right)$  , hence $\lambda \phi \in \mathcal{ℰ}$  , i.e. $\mathcal{ℰ}$  is star-shaped.

  It remains to prove 3). Let $\phi ,\psi \in PSH(X,\omega )$  with $\phi \le \psi$  . We assume again $\psi \le 0$  . It follows then from Stokes theorem that

  $$\begin{array}{ccc}0\le {\int }_X(-\psi ){\omega }_{\psi }\wedge \omega & \le & {\int }_X(-\phi ){\omega }_{\psi }\wedge \omega ={\int }_X(-\phi ){\omega }^2+{\int }_X(-\phi )d{d}^c\psi \wedge \omega \end{array}$$

  $$\begin{array}{ccc}& =& {\int }_X(\psi -\phi ){\omega }^2+{\int }_X(-\psi ){\omega }_{\phi }\wedge \omega \end{array}$$

  $$\begin{array}{ccc}& \le & \left|\right|\psi -\phi |{|}_{L^1}+{\int }_X(-\phi ){\omega }_{\phi }\wedge \omega .\end{array}$$

  Therefore $\phi \in \mathcal{ℰ}\Rightarrow \psi \in \mathcal{ℰ}$  . □

Examples 1.4. 1) $L^{\infty }\left(X\right)\cap PSH(X,\omega )\subset \mathcal{ℰ}(X,\omega )$  .

Indeed $\mathcal{ℰ}$  obviously contains constant functions and if $\phi \in PSH(X,\omega )$  is bounded from below by some constant $C$  then $\phi \in \mathcal{ℰ}$  by the previous proposition. Alternatively it may be useful to note the following inequality: if $0\le \phi \le 1/2$  , $\phi \in PSH(X,\omega )$  , then $$d{d}^c\left({\phi }^2\right)=2d\phi \wedge d^c\phi +2\phi d{d}^c\phi \ge -\omega$$  hence ${\phi }^2\in PSH(X,\omega )$  with $$\left|\right|\nabla \phi |{|}_{L^2}^2={\int }_{X}d\phi \wedge d^c\phi \wedge \omega \le \frac{1}{2}{\int }_X{\omega }_{{\phi }^2}\wedge \omega =\frac{1}{2}$$  More generally if $\chi :\mathbb{R}\to \mathbb{R}$  satisfies ${\chi }^{\prime \prime }>0$  and $0\le {\chi }^{\prime }\le A$  on $\phi \left(X\right)$  , then $\chi \circ \phi \in \mathcal{ℰ}(X,A\omega )$  since

$$\begin{array}{c}d{d}^c(\chi \circ \phi )={\chi }^{\prime \prime }\circ \phi d\phi \wedge d^c\phi +{\chi }^{\prime }\circ \phi d{d}^c\phi .\end{array}$$

(1)

2) If $\phi \in PSH(X,\omega )$  is bounded near some ample divisor $D$  , then $\phi \in \mathcal{ℰ}$  .

Indeed let ${\omega }_D$  be a Kähler form cohomologous to $\left[D\right]$  , the current of integration along $D$  . Integrability against $\omega$  is equivalent to integrability against ${\omega }_D$  ; for simplicity we assume ${\omega }_D=\omega$  . We can find ${\omega }^{\prime }$  a smooth positive closed $(1,1)$  form cohomologous to $\omega$  such that ${\omega }^{\prime }\equiv 0$  outside some small neighborhood $V$  of $D$  where $\phi$  is bounded. Fix $\chi \ge 0$  smooth such that $\omega ={\omega }^{\prime }+d{d}^c\chi$  and assume w.l.o.g. $\phi \le 0$  . Then

$$\begin{array}{ccc}0\le {\int }_X(-\phi ){\omega }_{\phi }\wedge \omega & =& {\int }_X(-\phi ){\omega }_{\phi }\wedge {\omega }^{\prime }+{\int }_X(-\phi ){\omega }_{\phi }\wedge d{d}^c\chi \end{array}$$

$$\begin{array}{ccc}& \le & \left|\right|\phi |{|}_{L^{\infty }\left(V\right)}{\int }_X{\omega }_{\phi }\wedge {\omega }^{\prime }+{\int }_X\chi {\omega }_{\phi }\wedge (-d{d}^c\phi )\end{array}$$

$$\begin{array}{ccc}& \le & \left|\right|\phi |{|}_{L^{\infty }\left(V\right)}+|\left|\chi \right|{|}_{L^{\infty }\left(X\right)}<+\infty ,\end{array}$$

since $-d{d}^c\phi \le \omega$  , $\chi {\omega }_{\phi }\ge 0$  and ${\int }_X{\omega }_{\phi }\wedge {\omega }^{\prime }={\int }_X{\omega }_{\phi }\wedge \omega ={\int }_X{\omega }^2=1$  .

These examples are analogous to the psh functions with compact singularities introduced and studied by N.Sibony [22] in the local theory (see the survey article [11] and references therein).

3) If ${\omega }_{\phi }$  is the current of integration along some complex hypersurface $H$  of $X$  then $\phi \equiv -\infty$  on $H$  hence $\phi /\in \mathcal{ℰ}$  . One can also produce examples of functions $\phi \in PSH(X,\omega )\backslash \mathcal{ℰ}$  which have zero Lelong number at all points: let $\phi [z_0:z_1:z_2]=log\left|z_0\right|-log\left|\right|(z_0,z_1,z_2)\left|\right|-1\le -1$  . Then $\phi \in PSH({\mathbb{P}}^2,\omega )$  , where $\omega$  denotes the Fubini-Study Kähler form on $X={\mathbb{P}}^2$  . If $0\le \alpha \le 1$  then $-(-\phi {)}^{\alpha }\in PSH({\mathbb{P}}^2,\omega )$  and a straightforward computation shows that $-(-\phi {)}^{\alpha }\in \mathcal{ℰ}({\mathbb{P}}^2)$  iff $0\le \alpha <1/2$  .

One can generalize example 1.4.3 as the following proposition shows:

Proposition 1.5. Assume $\phi \in PSH(X,\omega )$  , $\phi \le -1$  and fix $0\le \alpha <1/2$  .

Then $-(-\phi {)}^{\alpha }\in \mathcal{ℰ}(X,\omega )$  . In particular every locally pluripolar set is included in the $-\infty$  locus of a function in $\mathcal{ℰ}(X,\omega )$  .

• Proof. Set ${\phi }_{\alpha }:=-(-\phi {)}^{\alpha }=\chi \circ \phi$  , where $\chi \left(t\right)=-(-t{)}^{\alpha }$  . We assume first $0\le \alpha <1$  . Observe that $0\le {\chi }^{\prime }\circ \phi \le \alpha \le 1$  and $\chi ”\circ \phi =\alpha (1-\alpha )(-\phi {)}^{\alpha -2}\ge 0$  so that by (1), ${\phi }_{\alpha }\in PSH(X,\omega )$  with

  $$\begin{array}{c}0\le {\int }_X\frac{1}{(-\phi {)}^{2-\alpha }}d\phi \wedge d^c\phi \wedge \omega \le \frac{1}{1-\alpha }<+\infty .\end{array}$$

  (2)

  It is well-known that the gradient $\nabla \phi$  of a $\omega$  -psh function $\phi$  is in $L^p$  for all $p<2$  (but does not belong to $L^2$  in general, see example 1.4.3). Inequality (2) shows, more precisely, that $\nabla \phi$  belongs to a weighted version of $L^2$  .
  Observe now that $d{\phi }_{\beta }\wedge d^c{\phi }_{\beta }={\beta }^2(-\phi {)}^{2-2\beta }d\phi \wedge d^c\phi$  . If we set $\beta =\alpha /2<1/2$  , it therefore follows from (2) that $${\int }_{X}d{\phi }_{\beta }\wedge d^c{\phi }_{\beta }\wedge \omega \le \frac{{\beta }^2}{1-2\beta }<+\infty ,$$  so that ${\phi }_{\beta }\in \mathcal{ℰ}(X,\omega )$  . □

This proposition implies, together with proposition 1.3, the following:

Corollary 1.6. Let $\phi \in \mathcal{ℰ}(X,\omega )$  . Then the measure ${\omega }_{\phi }\wedge \omega$  does not charge pluripolar sets.

2 The complex Monge-Ampere operator

The complex Monge-Ampère operator ${\omega }_{\phi }^2$  can be easily defined for functions $\phi \in \mathcal{ℰ}(X,\omega )$  . This was already observed by Bedford and Taylor in the local context (see [4], [5]). Indeed if $\phi \in \mathcal{ℰ}(X,\omega )$  then we set $${\omega }_{\phi }^2:=\omega \wedge {\omega }_{\phi }+d{d}^c\left(\phi {\omega }_{\phi }\right).$$  This is a well defined current of maximal bidegree $(2,2)$  which happens to be a probability measure (proposition 1.3.1). This operator is continuous on decreasing sequences, as follows from lemma 1.1.

In the context of quasiplurisubharmonic functions, convergence in the Sobolev norm and weak convergence are almost the same as the following result shows.

Theorem 2.1. Let ${\phi }_j,\phi \in \mathcal{ℰ}(X,\omega )$  . Assume there exists $\psi \in \mathcal{ℰ}(X,\omega )$  such that ${\phi }_j\ge \psi$  for all $j\in \mathbb{N}$  . Then the following are equivalent:

1) ${\phi }_j\to \phi$  in $W^{1,2}\left(X\right)$  .

2) ${\phi }_j\to \phi$  and ${\phi }_j{\omega }_{{\phi }_j}\to \phi {\omega }_{\phi }$  in the sense of distributions.

3) ${\phi }_j\to \phi$  in the sense of distributions and $\int {\phi }_j{\omega }_{{\phi }_j}\wedge \omega \to \int \phi {\omega }_{\phi }\wedge \omega$  .

• Proof. Observe that $1)\Rightarrow 2)$  follows from lemma 1.1 and $2)\Rightarrow 3)$  is obvious.
  So it remains to prove $3)\Rightarrow 1)$  . It is a standard consequence of quasi-plurisubharmonicity that ${\phi }_j\to \phi$  weakly iff ${\phi }_j\to \phi$  in $L^2$  ; moreover for all $x\in X$  , $limsup{\phi }_j\left(x\right)\le \phi \left(x\right)$  with equality off a pluripolar set (see [18]). Assume this is the case.

  It follows that $\left({\phi }_j\right)$  is uniformly bounded from above. We can assume ${\phi }_j,\phi \le 0$  , hence our assumption yields a uniform bound

  $$\begin{array}{c}\psi \le {\phi }_j\le {\phi }_j-\phi \le -\phi .\end{array}$$

  (3)

  A repeated application of Stokes theorem yields

  $$\begin{array}{ccc}0\le {\int }_{X}d(\phi -{\phi }_j)\wedge d^c(\phi -{\phi }_j)\wedge \omega ={\int }_X-(\phi -{\phi }_j)({\omega }_{\phi }-{\omega }_{{\phi }_j})\wedge \omega & & \end{array}$$

  $$\begin{array}{ccc}& & ={\int }_X(\phi -{\phi }_j){\omega }^2+2{\int }_X({\phi }_j-\phi ){\omega }_{\phi }\wedge \omega +{\int }_X(\phi {\omega }_{\phi }-{\phi }_j{\omega }_{{\phi }_j})\wedge \omega .\end{array}$$

  The first integral converges to $0$  since ${\phi }_j\to \phi$  in $L^2$  . The last one also by assumption 3). Thanks to $\left(3\right)$  we can apply Fatou's lemma and get $$limsup{\int }_X({\phi }_j-\phi ){\omega }_{\phi }\wedge \omega \le 0,$$  hence actually ${\int }_X({\phi }_j-\phi ){\omega }_{\phi }\wedge \omega \to 0$  and ${\phi }_j\to \phi$  in $W^{1,2}\left(X\right)$  . □

Corollary 2.2. If ${\phi }_j\in \mathcal{ℰ}(X,\omega )$  increases towards $\phi \in \mathcal{ℰ}(X,\omega )$  , then ${\phi }_j\to \phi$  in the Sobolev $W^{1,2}$  -norm, hence ${\omega }_{{\phi }_j}^2\to {\omega }_{\phi }^2$  .

• Proof. Assume $\left({\phi }_j\right)\in \mathcal{ℰ}$  is an increasing sequence which converges in $L^2$  towards $\phi$  . Then ${\phi }_j\left(x\right)\to \phi \left(x\right)$  at every point of $X\backslash P$  , where $P$  is a pluripolar set (see [5]). We can assume w.l.o.g ${\phi }_j\le \phi \le 0$  .
  Fix $p\in \mathbb{N}$  and consider indices $j\ge p$  . Then $${\int }_X(-{\phi }_j){\omega }_{{\phi }_j}\wedge \omega \le {\int }_X(-{\phi }_p){\omega }_{{\phi }_j}\wedge \omega ={\int }_X(-{\phi }_j){\omega }_{{\phi }_p}\wedge \omega +{\int }_X({\phi }_j-{\phi }_p){\omega }^2.$$  Since ${\phi }_j\left(x\right)\nearrow \phi \left(x\right)$  at ${\omega }_{{\phi }_p}\wedge \omega$  (and ${\omega }^2$  ) almost every point $x$  , we infer $$limsup{\int }_X(-{\phi }_j){\omega }_{{\phi }_j}\wedge \omega \le {\int }_X(-\phi ){\omega }_{{\phi }_p}\wedge \omega +{\int }_X(\phi -{\phi }_p){\omega }^2={\int }_X(-{\phi }_p){\omega }_{\phi }\wedge \omega .$$  Now ${\phi }_p\nearrow \phi$  as $p\to +\infty$  with pointwise convergence ${\omega }_{\phi }\wedge \omega$  -almost everywhere. This shows $${limsup}_{j\to +\infty }{\int }_X(-{\phi }_j){\omega }_{{\phi }_j}\wedge \omega \le {\int }_X(-\phi ){\omega }_{\phi }\wedge \omega .$$  It follows that the sequence of positive currents $(-{\phi }_j){\omega }_{{\phi }_j}$  has uniformly bounded mass. Let $S$  be a cluster point of this sequence. We have just shown $\left|\right|S\left|\right|\le \left|\right|(-\phi ){\omega }_{\phi }\left|\right|$  . We claim $S\ge (-\phi ){\omega }_{\phi }$  . Indeed if $\theta \ge 0$  is a positive test form, then $$<{\phi }_j{\omega }_{{\phi }_j},\theta >\le <\phi {\omega }_{{\phi }_j},\theta >\le <{\phi }^{\varepsilon }{\omega }_{{\phi }_j},\theta >,$$  where ${\phi }^{\varepsilon }$  denotes smooth $\omega$  -psh functions that decrease towards $\phi$  . Since ${\omega }_{{\phi }_j}$  weakly converges towards ${\omega }_{\phi }$  , we infer, $$<S,\theta >\ge <(-{\phi }^{\varepsilon }){\omega }_{\phi },\theta >\stackrel{\varepsilon \to 0}{⟶}<(-\phi ){\omega }_{\phi },\theta >,$$  therefore $S=\phi {\omega }_{\phi }$  , i.e. ${\phi }_j{\omega }_{{\phi }_j}\to \phi {\omega }_{\phi }$  . By theorem 2.1 this shows ${\phi }_j\to \phi$  in the Sobolev $W^{1,2}$  -norm. □

In [15] we have started to study the Monge-Ampère capacity associated to $\omega$  which is defined as follows:

$$Ca{p}_{\omega }\left(K\right):=sup\left\{{\int }_K{\omega }_u^2/u\in PSH(X,\omega ),0\le u\le 1\right\},$$  where $K$  is any Borel subset of $X$  . This capacity vanishes on pluripolar sets, more precisely $Ca{p}_{\omega }(\phi <-t)\le C_{\phi }/t$  for every fixed $\omega$  -psh function $\phi$  .

This estimate is sharp in the sense that $Ca{p}_{\omega }(\phi <-t)\ge C_{\phi }^{\prime }/t$  when ${\omega }_{\phi }$  is the current of integration along an hypersurface. However when $\phi$  belongs to $\mathcal{ℰ}(X,\omega )$  , one can establish finer estimates as the following proposition shows.

Proposition 2.3. Assume $\phi \in \mathcal{ℰ}(X,\omega )$  . Then there exists $C_{\phi }>0$  such that for all $t>0$  , $$Ca{p}_{\omega }(\phi <-t)\le \frac{C_{\phi }}{t^2}.$$ 

• Proof. We can assume w.l.o.g. $\phi \le 0$  . Fix $u\in PSH(X,\omega )$  with $-1\le u\le 0$  .
  By Chebyshev inequality, $${\int }_{(\phi <-t)}{\omega }_u^2\le \frac{1}{t^2}{\int }_X{\phi }^2{\omega }_u^2=\frac{1}{t^2}\left[{\int }_X{\phi }^2{\omega }^2+{\int }_X{\phi }^2\omega \wedge d{d}^{c}u+{\int }_X{\phi }^{2}d{d}^{c}u\wedge {\omega }_u\right].$$  So we need to get an upper bound on the last two integrals that is uniform in $u$  . We first get a bound on $I_u={\int }_X{\phi }^2\omega \wedge d{d}^{c}u$  . Observe that $$-d{d}^c\left({\phi }^2\right)=-2d\phi \wedge d^c\phi +2(-\phi )d{d}^c\phi \le 2(-\phi ){\omega }_{\phi }.$$  It follows therefore from Stokes theorem that $$I_u:={\int }_{X}ud{d}^c{\phi }^2\wedge \omega \le 2{\int }_X(-u)(-\phi ){\omega }_{\phi }\wedge \omega \le 2{\int }_X(-\phi ){\omega }_{\phi }\wedge \omega .$$  Similarly one gets

  $$\begin{array}{ccc}I{I}_u:={\int }_X{\phi }^{2}d{d}^{c}u\wedge {\omega }_u\le 2{\int }_X(-\phi ){\omega }_{\phi }\wedge {\omega }_u& & \end{array}$$

  $$\begin{array}{ccc}& & \le 2{\int }_X(-\phi ){\omega }_{\phi }\wedge \omega +2{\int }_X(-u){\omega }_{\phi }^2\le 2{\int }_X(-\phi ){\omega }_{\phi }\wedge \omega +2.\end{array}$$

  We infer $$Ca{p}_{\omega }(\phi <-t)\le \frac{1}{t^2}\left[{\int }_X{\phi }^2{\omega }^2+4{\int }_X(-\phi ){\omega }_{\phi }\wedge \omega +2\right].$$  □

Our aim in this paper is to describe the range of the Monge-Ampère operator on various subclasses of $\mathcal{ℰ}(X,\omega )$  . It is an interesting open question to obtain a description of the set of probability measures $$\mathcal{ℳ}(X,\omega ):=\left\{{\omega }_{\phi }^2/\phi \in \mathcal{ℰ}(X,\omega )\right\}.$$  One can ask for instance if every probability measure on $X$  belongs to $\mathcal{ℳ}(X,\omega )$  ? One of the difficulties lies in the lack of uniqueness of solutions $\phi \in \mathcal{ℰ}(X,\omega )$  to the equation ${\omega }_{\phi }^2=\mu$  , as the following example shows.

Example 2.4. Let $\omega ={\omega }_{FS}$  be the Fubini-Study Kähler form on $X={\mathbb{P}}^2$  . Let $0$  be the origin in some affine chart $0\in {\mathbb{C}}^2\subset {\mathbb{P}}^2$  . We use $(z_1,z_2)$  as affine coordinates in ${\mathbb{C}}^2$  and let $[z_0:z_1:z_2]$  denote the homogeneous cooordinates on ${\mathbb{P}}^2$  . Consider $$\phi [z_0:z_1:z_2]:={\int }_{\alpha \in {\mathbb{P}}^1}log|{\alpha }_1{z}_1+{\alpha }_2{z}_2|d\nu \left(\alpha \right)-log\left|\right|(z_0,z_1,z_2)\left|\right|,$$  where $\nu$  denotes a probability measure on the Riemann sphere ${\mathbb{P}}^1=\{\alpha =[{\alpha }_1:{\alpha }_2\left]\right\}$  . Then $\phi \in PSH({\mathbb{P}}^2,\omega )$  and $\phi \in \mathcal{ℰ}({\mathbb{P}}^2,\omega )$  iff $\nu$  has finite self-energy (i.e. if its potentials have gradient in $L^2$  ).

Assume this is the case. Observe that $log|{\alpha }_1{z}_1+{\alpha }_2{z}_2|$  is harmonic on each radial line through the origin, except at the origin, to conclude that $${\omega }_{\phi }^2={\delta }_0:=\text{Dirac mass at point}0\in {\mathbb{C}}^2\subset {\mathbb{P}}^2.$$  Thus the set of solutions $\{\phi \in \mathcal{ℰ}({\mathbb{P}}^2,\omega )/{\omega }_{\phi }^2={\delta }_0\}$  has infinite dimension and contains a subset isomorphic to $PSH({\mathbb{P}}^1,{\omega }_{{\mathbb{P}}^1})\cap W^{1,2}\left({\mathbb{P}}^1\right)$  , where ${\omega }_{{\mathbb{P}}^1}$  denotes here the Fubini-Study Kähler form on the Riemann sphere ${\mathbb{P}}^1$  .

In the remaining part of this article, we are going to define and study several subclasses of $\mathcal{ℰ}(X,\omega )$  on which solutions of Monge-Ampère equations are essentially unique. This is the key to the description of the range of ${\omega }_{\phi }^2$  on these classes.

3 The class ${\mathcal{ℰ}}^1(X,\omega )$ 

Our main subject of interest in the sequel is the following class of qpsh functions, $${\mathcal{ℰ}}^1(X,\omega ):=\left\{\phi \in \mathcal{ℰ}(X,\omega )/\phi \in L^1\left({\omega }_{\phi }^2\right)\right\}.$$  When no confusion can arise, we shall simply denote ${\mathcal{ℰ}}^1(X,\omega )$  by ${\mathcal{ℰ}}^1$  .

Of course bounded $\omega$  -psh functions belong to ${\mathcal{ℰ}}^1$  . We will exhibit in examples 6.3 below unbounded functions that belong to ${\mathcal{ℰ}}^1$  . These however have mild singularities: it follows from a result of J.-P.Demailly [11] that if $\phi \in \mathcal{ℰ}$  has positive Lelong number at some point $a\in X$  , then ${\omega }_{\phi }^2$  has some positive Dirac mass at point $a$  , so that $\phi$  cannot be integrable with respect to ${\omega }_{\phi }^2$  .

Before establishing basic properties of the class ${\mathcal{ℰ}}^1$  , we start by proving a useful continuity result.

Theorem 3.1 (Continuity). Let ${\phi }_j\in {\mathcal{ℰ}}^1(X,\omega )$  be a decreasing sequence. Then the sequence $\left({\int }_X\right(-{\phi }_j){\omega }_{{\phi }_j}^2{)}_j$  is bounded if and only if $\phi :=lim\searrow {\phi }_j\in {\mathcal{ℰ}}^1(X,\omega )$  , and in this case $$(-{\phi }_j){\omega }_{{\phi }_j}^2⟶(-\phi ){\omega }_{\phi }^2\text{in the weak sense of currents}.$$ 

• Proof. We can assume w.l.o.g. that ${\phi }_j\le 0$  . Observe that $$0\le {\int }_X(-{\phi }_j){\omega }_{{\phi }_j}^2={\int }_X(-{\phi }_j){\omega }^2+{\int }_{X}d{\phi }_j\wedge d^c{\phi }_j\wedge \omega +{\int }_{X}d{\phi }_j\wedge d^c{\phi }_j\wedge {\omega }_{{\phi }_j}.$$  Since $d{\phi }_j\wedge d^c{\phi }_j\wedge {\omega }_{{\phi }_j}\ge 0$  , it follows that $\left({\phi }_j\right)$  has bounded Sobolev norm, hence ${\phi }_j\to \phi$  in the Sobolev $W^{1,2}$  -norm (so $\phi \in {\mathcal{ℰ}}^0(X,\omega ))$  and ${\omega }_{{\phi }_j}^2\to {\omega }_{\phi }^2$  by Theorem 2.1.
  Assume first that the sequence $\left({\int }_X\right(-{\phi }_j\left){\omega }_{{\phi }_j}^2\right)$  is bounded. Let $\nu$  be a cluster point of the sequence of positive measures $(-{\phi }_j){\omega }_{{\phi }_j}^2$  . It follows from standard arguments that $(-\phi ){\omega }_{\phi }^2\le \nu$  , hence, in particular, $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  .

  Indeed we can find smooth $\omega$  -psh functions $({\phi }_j^{\varepsilon }{)}_{\varepsilon >0}$  that decrease towards ${\phi }_j$  as $\varepsilon \searrow 0$  . Let $\chi \ge 0$  be a test function, then for $j\ge p$  , we obtain $$<(-{\phi }_j){\omega }_{{\phi }_j}^2,\chi >\ge <(-{\phi }_p){\omega }_{{\phi }_j}^2,\chi >\ge <(-{\phi }_p^{\varepsilon }){\omega }_{{\phi }_j}^2,\chi >,$$  thus $$<\nu ,\chi >\ge <(-{\phi }_p^{\varepsilon }){\omega }_{\phi }^2,\chi >\stackrel{\varepsilon \to 0}{⟶}<-{\phi }_p{\omega }_{\phi }^2,\chi >\stackrel{p\to +\infty }{⟶}<-\phi {\omega }_{\phi }^2,\chi >,$$  by the monotone convergence theorem. We now show that $\nu$  and $(-\phi ){\omega }_{\phi }^2$  have the same mass. This will prove that $\nu =(-\phi ){\omega }_{\phi }^2$  is the unique cluster point, hence ${\phi }_j{\omega }_{{\phi }_j}^2\to \phi {\omega }_{\phi }^2$  . Since $-{\phi }_j\le -\phi$  , it follows from Stokes theorem that $${\int }_X(-{\phi }_j){\omega }_{{\phi }_j}^2\le {\int }_X(-\phi ){\omega }_{{\phi }_j}^2={\int }_X({\phi }_j-\phi )\omega \wedge {\omega }_{{\phi }_j}+{\int }_X(-{\phi }_j){\omega }_{\phi }\wedge {\omega }_{{\phi }_j}.$$  The first integral converges to $0$  since $\left|\right|{\phi }_j-\phi |{|}_{W^{1,2}}\to 0$  . We estimate the last one by using Stokes theorem again, $${\int }_X(-{\phi }_j){\omega }_{\phi }\wedge {\omega }_{{\phi }_j}\le {\int }_X(-\phi ){\omega }_{\phi }\wedge {\omega }_{{\phi }_j}\le {\int }_X({\phi }_j-\phi )\omega \wedge {\omega }_{\phi }+{\int }_X(-\phi ){\omega }_{\phi }^2.$$  Since ${\int }_X({\phi }_j-\phi )\omega \wedge {\omega }_{\phi }\to 0$  , we infer $$\nu \left(X\right)\le limsup{\int }_X(-{\phi }_j){\omega }_{{\phi }_j}^2\le {\int }_X(-\phi ){\omega }_{\phi }^2.$$  Conversely if $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  , the proof above shows that $${limsup}_{j\to +\infty }{\int }_X(-{\phi }_j){\omega }_{{\phi }_j}^2\le {\int }_X(-\phi ){\omega }_{\phi }^2<+\infty ,$$  hence the sequence $\left({\int }_X\right(-{\phi }_j\left){\omega }_{{\phi }_j}^2\right)$  is bounded and ${\phi }_j{\omega }_{{\phi }_j}^2\to \phi {\omega }_{\phi }^2$  . □

We shall make constant use of theorem 3.1 in what follows. Indeed every function $\phi \in {\mathcal{ℰ}}^1$  is the decreasing limit of a sequence of smooth functions ${\phi }_j\in {\mathcal{ℰ}}^1$  such that $\int (-{\phi }_j){\omega }_{{\phi }_j}^2$  is bounded. We can thus perform integration by parts in the class ${\mathcal{ℰ}}^1$  by working first with smooth approximants. This will be implicit in our forthcoming computations.

Proposition 3.2. 1) Let $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  , $\phi \le 0$  , then $${\int }_X(-\phi ){\omega }^2\le {\int }_X(-\phi )\omega \wedge {\omega }_{\phi }\le {\int }_X(-\phi ){\omega }_{\phi }^2.$$  2) If $\phi ,\psi \in {\mathcal{ℰ}}^1(X,\omega )$  then ${\mathcal{ℰ}}^1(X,\omega )\subset L^1({\omega }_{\phi }\wedge {\omega }_{\psi })$  .

3) The set ${\mathcal{ℰ}}^1(X,\omega )$  is a star-shaped convex.

4) Assume $\phi ,\psi \in PSH(X,\omega )$  with $\phi \le \psi$  . If $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  then $\psi \in {\mathcal{ℰ}}^1(X,\omega )$  . In particular ${\mathcal{ℰ}}^1(X,\omega )$  is stable under taking maximum.

5) Let $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  , $\phi \le 0$  . If $\phi \in L^2({\omega }_{\phi }\wedge \omega )$  , then $d\phi \wedge d^c\phi \wedge {\omega }_{\phi }$  is a well defined positive measure whose total mass is bounded by $${\int }_{X}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }\le {\int }_X(-\phi ){\omega }_{\phi }^2.$$ 

• Proof. Let $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  with $\phi \le 0$  . Assume first that $\phi$  is smoooth.
  Observing that $d\phi \wedge d^c\phi \wedge {\omega }_{\phi }$  is a positive measure, we infer from Stokes theorem that $${\int }_X(-\phi )\omega \wedge {\omega }_{\phi }\le {\int }_X(-\phi )\omega \wedge {\omega }_{\phi }+{\int }_{X}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }={\int }_X(-\phi ){\omega }_{\phi }^2.$$  A similar use of Stokes theorem yields the second inequality. The general case now follows by regularizing $\phi$  and by using theorems 2.1 and 3.1. This proves 1).

  Let $\phi ,\psi ,u\in {\mathcal{ℰ}}^1(X,\omega )$  . That ${\omega }_{\phi }\wedge {\omega }_{\psi }$  is a well defined probability measure follows from proposition 1.3. We can assume, w.l.o.g. that $\phi ,\psi ,u\le 0$  . We are going to show that $u\in L^1({\omega }_{\phi }\wedge {\omega }_{\psi })$  by proving $${\int }_X(-u){\omega }_{\phi }\wedge {\omega }_{\psi }\le 6M,M:=max\left({\int }_X(-\phi ){\omega }_{\phi }^2{\int }_X(-\psi ){\omega }_{\psi }^2;{\int }_X(-u){\omega }_u^2\right).$$  By theorem 3.1 we can assume $\phi ,\psi ,u$  are smooth. Observe first that by Stokes theorem,

  $$\begin{array}{ccc}& & \int (-u){\omega }_{\phi }\wedge {\omega }_{\psi }=\int (-u)\omega \wedge {\omega }_{\psi }+\int du\wedge d^c\phi \wedge {\omega }_{\psi }\end{array}$$

  $$\begin{array}{ccc}& \le & \int (-u)\omega \wedge {\omega }_{\psi }+{\left(\int du\wedge d^{c}u\wedge {\omega }_{\psi }\right)}^{1/2}\cdot {\left(\int d\phi \wedge d^c\phi \wedge {\omega }_{\psi }\right)}^{1/2},\end{array}$$

  where the last inequality follows from Cauchy-Schwarz inequality. Now $$\int du\wedge d^{c}u\wedge {\omega }_{\psi }=\int (-u)d{d}^{c}u\wedge {\omega }_{\psi }\le \int (-u){\omega }_u\wedge {\omega }_{\psi }.$$  On the other hand it follows from Cauchy-Schwarz inequality again together with 3.2.1 that $$\int (-u)\omega \wedge {\omega }_{\psi }=\int (-u){\omega }^2+\int du\wedge d^c\psi \wedge \omega \le 2M.$$  It suffices therefore to prove ${\int }_X(-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\le 4M$  .

  We decompose again ${\omega }_{\psi }=\omega +d{d}^c\psi$  and integrate by parts to obtain $$\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\le M+M^{1/2}{\left(\int (-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\right)}^{1/2}.$$  If $\int (-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\le M$  we are done, otherwise this yields

  $$\begin{array}{ccc}\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\le 2M^{1/2}{\left(\int (-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\right)}^{1/2}.& & \end{array}$$

  (4)

  Similarly we obtain $$\int (-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\le M+M^{1/2}{\left(\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\right)}^{1/2}.$$  Either $\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\le M$  and we are done, or this yields

  $$\begin{array}{ccc}\int (-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\le 2M^{1/2}{\left(\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\right)}^{1/2}.& & \end{array}$$

  (5)

  Finally (4) and (5) yield the upper-bound $\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }\le 4M$  . This ends the proof of 2).

  Now 3) follows straightforwardly from 2), as in the proof of proposition 1.2.2. We turn to 4). Assume $\phi \le \psi \le 0$  with $\phi \in {\mathcal{ℰ}}^1$  . Then

  $$\begin{array}{ccc}0\le \int (-\psi ){\omega }_{\psi }^2& \le & \int (-\phi ){\omega }_{\psi }^2=\int (-\phi )\omega \wedge {\omega }_{\psi }+\int (-\psi )d{d}^c\phi \wedge {\omega }_{\psi }\end{array}$$

  $$\begin{array}{ccc}& \le & \int (-\phi )\omega \wedge {\omega }_{\psi }+\int (-\phi ){\omega }_{\phi }\wedge {\omega }_{\psi }.\end{array}$$

  Going on integrating by parts, using $d{d}^c\phi \le {\omega }_{\phi }$  , $-\psi \le -\phi$  and 4.2.1, we end up with $$0\le {\int }_X(-\psi ){\omega }_{\psi }^2\le 4{\int }_X(-\phi ){\omega }_{\phi }^2,$$  which proves 4).

  It remains to prove 5). Let ${\phi }_j$  be smooth approximants of $\phi$  and compute $$d{\phi }_j\wedge d^c{\phi }_j\wedge {\omega }_{{\phi }_j}=(-{\phi }_j){\omega }_{{\phi }_j}^2-(-{\phi }_j)\omega \wedge {\omega }_{{\phi }_j}-d{d}^c\left(\frac{1}{2}{\phi }_j^2{\omega }_{{\phi }_j}\right)$$  Thanks to theorem 3.1, all the terms on the right hand side converge if $\phi \in {\mathcal{ℰ}}^1$  and $\phi \in L^2(\omega \wedge {\omega }_{\phi })$  . This shows that the measure $d\phi \wedge d^c\phi \wedge {\omega }_{\phi }$  is well defined in this case. Note that it is positive as a limit of positive measures. Moreover if $\phi \le 0$  , then $(-\phi )\omega \wedge {\omega }_{\phi }\ge 0$  , hence $${\int }_{X}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }\le {\int }_X(-\phi ){\omega }_{\phi }^2.$$  □

Similar arguments as above now yield the following continuity result, whose proof is left to the reader.

Theorem 3.3. The operator $$(\phi ,\psi ,u)\mapsto u{\omega }_{\phi }\wedge {\omega }_{\psi }$$  is continuous under decreasing sequences in ${\mathcal{ℰ}}^1(X,\omega )$  .

There is uniqueness of solutions to the Monge-Ampère equation in the class ${\mathcal{ℰ}}^1$  as the following result shows.

Theorem 3.4 (Uniqueness). Let $\phi ,\psi \in \mathcal{ℰ}(X,\omega )$  be such that ${\omega }_{\phi }^2\equiv {\omega }_{\psi }^2$  .

If $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  , then $\phi -\psi$  is constant.

• Proof. We first assume that $\psi$  belongs to ${\mathcal{ℰ}}^1(X,\omega )$  as well. Set $f=\phi -\psi$  and $h=(\phi +\psi )/2\in {\mathcal{ℰ}}^1(X,\omega )$  (proposition 3.2). We assume w.l.o.g. $\phi ,\psi \le 0$  .
  We are going to prove that $\nabla f=0$  by establishing the following inequality

  $$\begin{array}{ccc}(†){\int }_{X}df\wedge d^{c}f\wedge \omega \le {\int }_{X}df\wedge d^{c}f\wedge {\omega }_h& & \end{array}$$

  $$\begin{array}{ccc}& & +4{\left({\int }_{X}df\wedge d^{c}f\wedge {\omega }_h\right)}^{1/2}\cdot {\left({\int }_{X}dh\wedge d^{c}h\wedge {\omega }_h\right)}^{1/2}.\end{array}$$

  Observe that each integral on the right hand side is finite thanks to proposition 3.2 if $\phi \in L^2({\omega }_{\phi }\wedge \omega )$  and $\psi \in L^2({\omega }_{\psi }\wedge \omega )$  . Observe also that this yields the desired result in this case since $${\int }_{X}df\wedge d^{c}f\wedge {\omega }_h={\int }_X(-f)d{d}^{c}f\wedge {\omega }_h=\frac{1}{2}{\int }_X(-f)({\omega }_{\phi }^2-{\omega }_{\psi }^2)=0,$$  if ${\omega }_{\phi }^2\equiv {\omega }_{\psi }^2$  .When $\phi /\in L^2({\omega }_{\phi }\wedge \omega )$  or $\psi /\in L^2({\omega }_{\psi }\wedge \omega )$  ,we use smooth approximants ${\phi }_j,{\psi }_j$  and observe that $${\int }_{X}d{h}_j\wedge d^c{h}_j\wedge {\omega }_{h_j}\le {\int }_X(-h_j){\omega }_{h_j}^2\le 4{\int }_X(-h){\omega }_h^2$$  and $${\int }_{X}d{f}_j\wedge d^c{f}_j\wedge {\omega }_{h_j}=\frac{1}{2}{\int }_X({\psi }_j-{\phi }_j)\left({\omega }_{{\phi }_j}^2-{\omega }_{{\psi }_j}^2\right)⟶0$$  as follows from theorem 3.3.

  We now establish $(†)$  . Note that $df\wedge d^{c}f\wedge \omega =df\wedge d^{c}f\wedge {\omega }_h-df\wedge d^{c}f\wedge d{d}^{c}h$  , hence integrating by parts in the last term yields $${\int }_{X}df\wedge d^{c}f\wedge \omega ={\int }_{X}df\wedge d^{c}f\wedge {\omega }_h+{\int }_{X}df\wedge d^{c}h\wedge ({\omega }_{\phi }-{\omega }_{\psi }).$$  Now it follows from Cauchy-Schwarz inequality that $$\left|{\int }_{X}df\wedge d^{c}h\wedge {\omega }_{\phi }\right|\le 2{\left({\int }_{X}df\wedge d^{c}f\wedge {\omega }_h\right)}^{1/2}\cdot {\left({\int }_{X}dh\wedge d^{c}h\wedge {\omega }_h\right)}^{1/2}.$$  A similar control on ${\int }_{X}df\wedge d^{c}f\wedge {\omega }_{\psi }$  yields $(†)$  .

  It remains to prove that $\psi$  indeed belongs to ${\mathcal{ℰ}}^1(X,\omega )$  . We can assume $\psi ,\phi \le 0$  . Observe first that $\psi \in L^1({\omega }_{\psi }\wedge {\omega }_{\phi })$  :

  $$0\le {\int }_X(-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }={\int }_X(\phi -\psi ){\omega }_{\psi }\wedge \omega +{\int }_X(-\phi ){\omega }_{\psi }^2<+\infty$$  since ${\omega }_{\psi }^2\equiv {\omega }_{\phi }^2$  and $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  . We infer

  $$\begin{array}{ccc}{\int }_X(-\psi ){\omega }_{\psi }^2={\int }_X(-\psi ){\omega }_{\phi }^2={\int }_X(-\psi )\omega \wedge {\omega }_{\phi }+{\int }_X(-\psi )d{d}^c\phi \wedge {\omega }_{\phi }& & \end{array}$$

  $$\begin{array}{ccc}& \le & {\int }_X(-\psi )\omega \wedge {\omega }_{\phi }+{\left({\int }_{X}d\psi \wedge d^c\psi \wedge {\omega }_{\phi }\right)}^{1/2}\cdot {\left({\int }_{X}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }\right)}^{1/2}\end{array}$$

  $$\begin{array}{ccc}& \le & {\int }_X(-\psi )\omega \wedge {\omega }_{\phi }+{\left({\int }_X(-\psi ){\omega }_{\psi }\wedge {\omega }_{\phi }\right)}^{1/2}\cdot {\left({\int }_X(-\phi ){\omega }_{\phi }^2\right)}^{1/2}<+\infty .\end{array}$$

  □

Remark 3.5. The idea of the proof of this uniqueness result goes back to E.Calabi [8] who used the positivity of $df\wedge d^{c}f\wedge ({\omega }_{\phi }+{\omega }_{\psi })$  when ${\omega }_{\phi },{\omega }_{\psi }$  are Kähler forms. The proof given above is a variation on an argument of Z.Blocki [6] who proved the uniqueness in case $\phi ,\psi$  are bounded.

The next lemma will be quite useful in section 6. It gives a necessary condition for a probability measure to be the Monge-Ampère of a function that belongs to the class ${\mathcal{ℰ}}^1$  .

Lemma 3.6. Let $\mu$  be a probability measure on $X$  . Then ${\mathcal{ℰ}}^1(X,\omega )\subset L^1\left(\mu \right)$  if and only if there exists $C_{\mu }>0$  such that for all functions $\phi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  normalized by ${sup}_X\phi =-1$  , one has $$0\le {\int }_X(-\phi )d\mu \le C_{\mu }{\left({\int }_X(-\phi ){\omega }_{\phi }^2\right)}^{1/2}.$$ 

• Proof. One direction is obvious. If there is such an inequality for all bounded $\omega$  -psh functions, then the inclusion ${\mathcal{ℰ}}^1\subset L^1\left(\mu \right)$  follows from theorem 3.1.
  Conversely assume the inequality is not satisfied, i.e. for all $j\in \mathbb{N}$  , one can find a bounded $\omega$  -psh function ${\phi }_j$  such that ${sup}_X{\phi }_j=-1$  and $$\int (-{\phi }_j)d\mu >2^j{\left(\int (-{\phi }_j){\omega }_{{\phi }_j}^2\right)}^{1/2}.$$  Assume first that the sequence $\int (-{\phi }_j){\omega }_{{\phi }_j}^2\le M$  is uniformly bounded from above. We set then $\psi :={\sum }_{j\ge 1}{2}^{-j}{\phi }_j$  . This is a well defined $\omega$  -psh function (as a decreasing sequence of $\omega$  -psh functions which does not converge uniformly towards $-\infty$  thanks to the normalisation ${sup}_X{\phi }_j=-1$  ). Now it follows from the estimate in the proof of proposition 3.2.1 that $${\int }_X(-\psi ){\omega }_{\psi }^2\le 6{sup}_{j\ge 1}{\int }_X(-{\phi }_j){\omega }_{{\phi }_j}^2<+\infty$$  hence $\psi \in {\mathcal{ℰ}}^1$  , while $\int (-\psi )d\mu =+\infty$  by the monotone convergence theorem.

  Assume now $M_j:=\int (-{\phi }_j){\omega }_{{\phi }_j}^2\to +\infty$  . We set ${\psi }_j:={\varepsilon }_j{\phi }_j$  , where ${\varepsilon }_j=M_j^{-1/2}$  is chosen so that $\int (-{\psi }_j){\omega }_{{\psi }_j}^2\le M$  is uniformly bounded. Indeed a straightforward computation yields

  $$\begin{array}{ccc}\int (-{\psi }_j){\omega }_{{\psi }_j}^2& \le & {\varepsilon }_j\int (-{\phi }_j){\omega }^2+2{\varepsilon }_j^2\int (-{\phi }_j)\omega \wedge {\omega }_{{\phi }_j}+{\varepsilon }_j^3\int (-{\phi }_j){\omega }_{{\phi }_j}^2\end{array}$$

  $$\begin{array}{ccc}& \preccurlyeq & {\varepsilon }_j^2\int (-{\phi }_j){\omega }_{{\phi }_j}^2\le M,\end{array}$$

  because $\int (-{\phi }_j){\omega }^2$  is uniformly bounded since ${sup}_X{\phi }_j=-1$  and $\int (-{\phi }_j)\omega \wedge {\omega }_{{\phi }_j}\le \int (-{\phi }_j){\omega }_{{\phi }_j}^2$  . We set now $\psi :=\sum 2^{-j}{\psi }_j$  . This is a well defined function in ${\mathcal{ℰ}}^1$  such that $$\int (-{\psi }_j)d\mu ={\varepsilon }_j\int (-{\phi }_j)d\mu >2^j{\varepsilon }_j{\left(\int (-{\phi }_j){\omega }_{{\phi }_j}^2\right)}^{1/2}=2^j.$$  Thus $\int (-\psi )d\mu =+\infty$  , so that ${\mathcal{ℰ}}^1$  is not included in $L^1\left(\mu \right)$  . □

When $\mu ={\omega }_{\psi }^2$  is the Monge-Ampère of a function $\psi \in {\mathcal{ℰ}}^1(X,\omega )$  , it follows from proposition 3.2 that ${\mathcal{ℰ}}^1(X,\omega )\subset L^1\left(\mu \right)$  , hence there exists $C_{\psi }>0$  such that for all functions $\phi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  normalized by ${sup}_X\phi =-1$  , one has $$0\le {\int }_X(-\phi ){\omega }_{\psi }^2\le C_{\psi }{\left[{\int }_X(-\phi ){\omega }_{\phi }^2\right]}^{1/2}.$$ 

4 The classes ${\mathcal{ℰ}}^p(X,\omega )$ 

In this section we fix a real number $p\ge 1$  .

Definition 4.1. We let ${\mathcal{ℰ}}^p(X,\omega )$  denote the set of functions $\phi \in \mathcal{ℰ}(X,\omega )$  such that there exists a sequence ${\phi }_j\in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  with $${\phi }_j\searrow \phi \text{and}{sup}_{j\in \mathbb{N}}\left({\int }_X|{\phi }_j{|}^p{\omega }_{{\phi }_j}^2\right)<+\infty .$$ 

When no confusion can arise, we shall simply denote ${\mathcal{ℰ}}^p(X,\omega )$  by ${\mathcal{ℰ}}^p$  .

Similar classes were introduced by U.Cegrell in the local context [9] as generalizations of the classical notion of subharmonic functions of finite energy. Observe that $\mathcal{ℰ}(X,\omega )={\mathcal{ℰ}}^0(X,\omega )\supset {\mathcal{ℰ}}^p(X,\omega )\supset {\mathcal{ℰ}}^q(X,\omega )$  whenever $p\le q$  . When $p=1$  this definition is equivalent to the one we gave in section 3, thanks to theorem 3.1. When $p>1$  we of course get the inclusion $${\mathcal{ℰ}}^p(X,\omega )\subset \left\{\phi \in \mathcal{ℰ}(X,\omega )/\phi \in L^p\left({\omega }_{\phi }^2\right)\right\},$$  however the reverse inclusion is not clear: we don't know how to produce a decreasing sequence with uniformly bounded energies. Indeed a delicate point in the analysis of the classes ${\mathcal{ℰ}}^p$  is that we don't know if a continuity result similar to theorem 3.1 still holds. We shall prove a weaker property in theorem 4.4 below, but we need first to establish some useful inequalities.

Lemma 4.2. Let $\phi ,\psi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  with $\phi \le \psi \le 0$  . Then 1) $0\le {\int }_X(-\phi {)}^p{\omega }^2\le {\int }_X(-\phi {)}^p\omega \wedge {\omega }_{\phi }\le {\int }_X(-\phi {)}^p{\omega }_{\phi }^2$  .

2) $0\le {\int }_X(-\psi {)}^p\omega \wedge {\omega }_{\psi }\le (p+1\left){\int }_X\right(-\phi {)}^p\omega \wedge {\omega }_{\phi }$  .

3) $0\le {\int }_X(-\psi {)}^p{\omega }_{\psi }^2\le (p+1{)}^2{\int }_X(-\phi {)}^p{\omega }_{\phi }^2.$ 

• Proof. It suffices to establish these inequalities when $\phi ,\psi$  are smooth. Indeed one can approximate $\phi$  , $\psi$  by decreasing sequences of smooth $\omega$  -psh functions and then use classical continuity results of E.Bedford and A.Taylor [5].
  In the sequel we thus assume $\phi ,\psi$  are smooth. Observe that $d\phi \wedge d^c\phi \wedge T$  is a positive measure whenever $T$  is a smooth $(1,1)$  -form. It follows therefore from Stokes theorem that $${\int }_X(-\phi {)}^p{\omega }_{\phi }^2={\int }_X(-\phi {)}^p\omega \wedge {\omega }_{\phi }+p{\int }_X(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }\ge {\int }_X(-\phi {)}^p\omega \wedge {\omega }_{\phi }$$  and, similarly, $${\int }_X(-\phi {)}^p\omega \wedge {\omega }_{\phi }={\int }_X(-\phi {)}^p{\omega }^2+p{\int }_X(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge \omega \ge {\int }_X(-\phi {)}^p{\omega }^2.$$  This proves 1). Now observe that $$-d{d}^c(-\phi {)}^p=p(-\phi {)}^{p-1}d{d}^c\phi -p(p-1)(-\phi {)}^{p-2}d\phi \wedge d^c\phi \le p(-\phi {)}^{p-1}{\omega }_{\phi }.$$  It follows therefore from Stokes theorem that

  $$\begin{array}{ccc}\int (-\psi {)}^p\omega \wedge {\omega }_{\psi }& \le & \int (-\phi {)}^p\omega \wedge {\omega }_{\psi }=\int (-\phi {)}^p{\omega }^2+\int (-\psi )[-d{d}^c(-\phi {)}^p]\wedge \omega \end{array}$$

  $$\begin{array}{ccc}& \le & \int (-\phi {)}^p{\omega }^2+p\int (-\phi {)}^p\omega \wedge {\omega }_{\phi }\le (p+1)\int (-\phi {)}^p\omega \wedge {\omega }_{\phi },\end{array}$$

  which proves 2). The proof of the third inequality is similar and is left to the reader. □

Corollary 4.3. Let $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  . Let ${\psi }_j\in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  be any sequence decreasing towards $\phi$  . Then $${sup}_{j\in \mathbb{N}}\left({\int }_X|{\psi }_j{|}^p{\omega }_{{\psi }_j}^2\right)<+\infty .$$ 

• Proof. Let ${\phi }_j$  be a sequence of bounded $\omega$  -psh functions which decreases towards $\phi$  and with bounded energies. We can assume w.l.o.g. that ${\phi }_j,{\psi }_k\le 0$  for all $j,k$  . We fix $k$  and consider the sequence ${\Phi }_j:=max({\phi }_j,{\psi }_k)\in PSH(X,\omega )\cap L^{\infty }$  . This is a sequence of uniformly bounded $\omega$  -psh functions such that ${\Phi }_j\downarrow {\psi }_k$  as $j\to +\infty$  . It follows therefore from classical continuity results of Bedford and Taylor that $(-{\Phi }_j{)}^p{\omega }_{{\Phi }_j}^2\to (-{\psi }_k{)}^p{\omega }_{{\psi }_k}^2$  . Now ${\Phi }_j\ge {\phi }_j$  , so it follows from lemma 4.2 that $${\int }_X(-{\psi }_k){\omega }_{{\psi }_k}^2={lim}_{j\to +\infty }{\int }_X(-{\Phi }_j{)}^p{\omega }_{{\phi }_j}^2\le (p+1{)}^2{sup}_{j\ge 1}{\int }_X(-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2.$$  □

Recall that a sequence of $\omega$  -psh functions $\left({\phi }_j\right)$  converges in capacity towards $\phi \in PSH(X,\omega )$  if for all $\varepsilon >0$  , $$Ca{p}_{\omega }\left(|{\phi }_j-\phi |>\varepsilon \right)⟶0.$$  Following [25] we now show that convergence in capacity implies convergence of Monge-Ampère operators.

Theorem 4.4. Let $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  and let $\left({\phi }_j\right)$  be a sequence of $\omega$  -psh functions that converges in capacity towards $\phi$  . If $sup(\int |{\phi }_j{|}^p{\omega }_{{\phi }_j}^2)<+\infty$  , then for all $q<p$  , ${\phi }_j\in {\mathcal{ℰ}}^q(X,\omega )$  and $$(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2⟶(-\phi {)}^q{\omega }_{\phi }^2.$$ 

• Proof. The result is true, even with $q=p$  , when the functions ${\phi }_j$  are uniformly bounded (see [25]). We are going to reduce to that case by considering $${\phi }^{\left(k\right)}:=max(\phi ,-k)\text{and}{\phi }_j^{\left(k\right)}:=max({\phi }_j,-k).$$  Let $\chi$  be a test function. We want to show that $<(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2,\chi >\to <(-\phi {)}^q{\omega }_{\phi }^2,\chi >$  . Decomposing in the obvious way, this boils down to establish good upper bounds on $${\int }_{({\phi }_j\le -k)}(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2,{\int }_{({\phi }_j\le -k)}(-{\phi }_j^{\left(k\right)}{)}^q{\omega }_{{\phi }_j^{\left(k\right)}}^2,{\int }_{(\phi \le -k)}(-{\phi }^{\left(k\right)}{)}^q{\omega }_{{\phi }^{\left(k\right)}}^2$$  that are uniform in $j$  . By Chebyshev inequality we get $${\int }_{({\phi }_j\le -k)}(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2\le \frac{1}{k^{p-q}}{\int }_X(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2\le \frac{C}{k^{p-q}}.$$  We make a similar use of Chebyshev inequality on the two other integrals.
  Now it follows from lemma 4.2 and corollary 4.3 that $${\int }_X{\left(-{\phi }_j^{\left(k\right)}\right)}^q{\omega }_{{\phi }_j^{\left(k\right)}}^2,{\int }_X{\left(-{\phi }^{\left(k\right)}\right)}^q{\omega }_{{\phi }^{\left(k\right)}}^2\le (p+1{)}^2{\int }_X(-{\phi }_j{)}^q{\omega }_{{\phi }_j}^2.$$  □

Note that if ${\phi }_j\in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  decreases towards $\phi$  , then ${\phi }_j$  converges towards $\phi$  in capacity with $sup\int |{\phi }_j{|}^p{\omega }_{{\phi }_j}^2<+\infty$  (by corollary 4.3). It follows therefore from theorem 4.4 that lemma 4.2 holds whenever $\phi ,\psi$  are in ${\mathcal{ℰ}}^p(X,\omega )$  .

Corollary 4.5. Lemma 4.2 holds with $\phi ,\psi \in {\mathcal{ℰ}}^p(X,\omega )$  . In particular ${\mathcal{ℰ}}^p(X,\omega )$  is stable under taking maximum.

• Proof. Theorem 4.4 and lemma 4.2 show that lemma 4.2 holds for any exponent $q<p$  and for any fixed function $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  . Now letting $q$  increase towards $p$  yields the conclusion thanks to the monotone convergence theorem. This shows in particular that if $\phi \in {\mathcal{ℰ}}^p(X,\omega ))$  and $\phi \le \psi$  , $\psi \in PSH(X,\omega )$  , then $\psi \in {\mathcal{ℰ}}^p(X,\omega ))$  . Thus ${\mathcal{ℰ}}^p(X,\omega ))$  is stable under taking maximum. □

Proposition 4.6. 1) If $\phi ,\psi \in {\mathcal{ℰ}}^p(X,\omega )$  , then the probability measure ${\omega }_{\phi }\wedge {\omega }_{\psi }$  satisfies $${\mathcal{ℰ}}^p(X,\omega )\subset L^p({\omega }_{\phi }\wedge {\omega }_{\psi }).$$  2) The set ${\mathcal{ℰ}}^p(X,\omega )$  is a star-shaped convex.

3) If $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  is such that $\phi \in L^{p+1}(\omega \wedge {\omega }_{\phi })$  , then the positive measure $(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }$  is well defined and has total mass $${\int }_X(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }\le \frac{1}{p}{\int }_X(-\phi {)}^p{\omega }_{\phi }^2.$$ 

• Proof. Assume $\phi ,\psi \in {\mathcal{ℰ}}^p$  . In particular $\phi ,\psi \in \mathcal{ℰ}$  so ${\omega }_{\phi }\wedge {\omega }_{\psi }$  is a well defined probability measure. Let $u\in {\mathcal{ℰ}}^p$  ; we assume w.l.o.g. $u,\phi ,\psi \le 0$  . We are going to give an upper bound on $\int (-u{)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }$  which only depends on $\int (-u{)}^p{\omega }_u^2$  , $\int (-\phi {)}^p{\omega }_{\phi }^2$  , $\int (-\psi {)}^p{\omega }_{\psi }^2$  . Using theorem 4.4 it suffices to establish this bound when $u,\phi ,\psi$  are smooth. Recall that $-d{d}^c(-u{)}^p\le p(-u{)}^{p-1}{\omega }_u$  and $\int (-u{)}^p\omega \wedge {\omega }_{\psi }\le \int (-u{)}^p{\omega }_u\wedge {\omega }_{\psi }$  , so it follows from Stokes theorem and Hölder inequality that

  $$\begin{array}{ccc}\int & & (-u{)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }=\int (-u{)}^p\omega \wedge {\omega }_{\psi }+\int (-\phi )[-d{d}^c(-u{)}^p]\wedge {\omega }_{\psi }\end{array}$$

  $$\begin{array}{ccc}& \le & (p+1){\left[\int (-u{)}^p{\omega }_u\wedge {\omega }_{\psi }\right]}^{1-1/p}{\left[max\left\{\int (-u{)}^p{\omega }_u\wedge {\omega }_{\psi };\int (-\phi {)}^p{\omega }_u\wedge {\omega }_{\psi }\right\}\right]}^{1/p}.\end{array}$$

  Reversing the roles of $u,\phi$  we infer $$\int (-u{)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }\le (p+1{)}^{\frac{p}{p-1}}max\left[\int (-u{)}^p{\omega }_u\wedge {\omega }_{\psi };\int (-\phi {)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }\right].$$  Thus it suffices to get an upper bound when $u=\phi$  . We set $$M:=max\left[\int (-\phi {)}^p{\omega }_{\phi }^2;\int (-\psi {)}^p{\omega }_{\psi }^2\right].$$  We use our last inequality with $u=\psi$  to obtain $$\int (-\psi {)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }\le (p+1)M^{1-1/p}{\left[max\left\{M;\int (-\phi {)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }\right\}\right]}^{1/p}.$$  Reversing the roles of $\phi$  and $\psi$  , this yields $$\int (-\phi {)}^p{\omega }_{\phi }\wedge {\omega }_{\psi }\le (p+1{)}^{\frac{p}{p-1}}M,$$  which proves 1).
  As in the proof of proposition 1.3.2,we infer straightforwardly from 1) that ${\mathcal{ℰ}}^p$  is a star-shaped convex. When $\phi \in L^{p+1}(\omega \wedge {\omega }_{\phi })$  , the positive current $(-\phi {)}^{p+1}{\omega }_{\phi }$  is well defined and we compute $$\frac{1}{(p+1)}d{d}^c\left[\right(-\phi {)}^{p+1}{\omega }_{\phi }]=p(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }-(-\phi {)}^p{\omega }_{\phi }^2+(-\phi {)}^p{\omega }_{\phi }\wedge \omega .$$  This allows us to define $(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }$  as soon as $p>0$  . It then follows from Stokes theorem that $${\int }_X(-\phi {)}^p{\omega }_{\phi }^2=p{\int }_X(-\phi {)}^{p-1}d\phi \wedge d^c\phi \wedge {\omega }_{\phi }+{\int }_X(-\phi {)}^p{\omega }_{\phi }\wedge \omega ,$$  which yields the desired upper bound 3). □

The next lemma is analogous to lemma 3.6; it will be quite useful in section 5 as it gives a necessary condition for a probability measure to be the Monge-Ampère of a function that belongs to ${\mathcal{ℰ}}^p$  .

Lemma 4.7. Let $\mu$  be a probability measure on $X$  . Then ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  if and only if there exists $C>0$  such that for all functions $\phi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  normalized by ${sup}_X\phi =-1$  , one has $$0\le {\int }_X(-\phi {)}^{p}d\mu \le C{\left({\int }_X(-\phi {)}^p{\omega }_{\phi }^2\right)}^{\frac{p}{p+1}}.$$ 

The proof is very similar to that of lemmas 3.6. We leave it to the reader.

We end this section with a result that will be crucial when solving Monge-Ampère equations in the next section.

Theorem 4.8. Let ${\phi }_j\le 0$  be a sequence of functions in ${\mathcal{ℰ}}^p(X,\omega )$  such that $${sup}_{j\in \mathbb{N}}{\int }_X(-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2<+\infty .$$  Assume ${\phi }_j\to \phi$  in $L^1\left(X\right)$  . Then $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  .

If moreover ${\int }_X|{\phi }_j-\phi |{\omega }_{{\phi }_j}^2\to 0$  , then ${\omega }_{{\phi }_j}^2\to {\omega }_{\phi }^2$  .

• Proof. The bounded $\omega$  -psh functions $${\psi }_j:={\left({sup}_{k\ge j}max[{\phi }_k,-k]\right)}^{*}$$  decrease towards $\phi$  . Since ${\psi }_j\ge {\phi }_j$  , it follows from corollary 4.5 that ${sup}_j\int (-{\psi }_j{)}^p{\omega }_{{\psi }_j}^2<+\infty$  , therefore $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  .
  We assume now that $\int |{\phi }_j-\phi |{\omega }_{{\phi }_j}^2\to 0$  . Passing to a subsequence if necessary, we can assume $\int |{\phi }_j-\phi |{\omega }_{{\phi }_j}^2\le 1/j^2$  . Consider $${\Phi }_j:=max({\phi }_j,\phi -1/j)\in {\mathcal{ℰ}}^p(X,\omega ).$$  It follows from Hartogs' lemma that ${\Phi }_j\to \phi$  in capacity, hence ${\omega }_{{\Phi }_j}^2\to {\omega }_{\phi }^2$  by theorem 4.4. Thus we need to compare ${\omega }_{{\Phi }_j}^2$  and ${\omega }_{{\phi }_j}^2$  . It follows from a classical inequality of J.-P. Demailly [11] that $${\omega }_{{\Phi }_j}^2\ge 1_{\{{\phi }_j\ge \phi -1/j\}}\cdot {\omega }_{{\phi }_j}^2.$$  Let $E_j$  denote the set $X\backslash \{{\phi }_j\ge \phi -1/j\}$  , i.e. $E_j=\{\phi -{\phi }_j>1/j\}$  . Our assumption implies that $1_{E_j}{\omega }_{{\phi }_j}^2\to 0$  , indeed $$0\le {\int }_{E_j}{\omega }_{{\phi }_j}^2\le j{\int }_X|\phi -{\phi }_j|{\omega }_{{\phi }_j}^2\le \frac{1}{j}.$$  Therefore $0\le {\omega }_{{\phi }_j}^2\le {\omega }_{{\Phi }_j}^2+o\left(1\right)$  , hence ${\omega }_{\phi }^2=lim{\omega }_{{\phi }_j}^2$  . □

5 Range of the complex Monge-Ampere operator

In this section we prove our main result. This is the following

Theorem 5.1. Let $\mu$  be a probability measure on $X$  and $p\ge 1$  .

Then there exists a unique function $\psi \in {\mathcal{ℰ}}^p(X,\omega )$  such that $$\mu ={\omega }_{\psi }^2\text{and}{sup}_X\psi =-1$$  if and only if ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  .

This result follows straightforwardly from lemmas 3.6, 4.7 together with the following theorem (applied with $\alpha =p/(p+1)$  ).

Theorem 5.2. Fix $p\ge 1$  , $0<\alpha <1$  and $C>0$  . Let $\mu$  be a probability measure such that for all functions $\phi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  with ${sup}_X\phi =-1$  , one has $$0\le {\int }_X(-\phi {)}^{p}d\mu \le C{\left({\int }_X(-\phi {)}^p{\omega }_{\phi }^2\right)}^{\alpha }.$$  Then there exists a unique function $\psi \in {\mathcal{ℰ}}^p(X,\omega )$  s.t. $\mu ={\omega }_{\psi }^2$  , ${sup}_X\psi =-1$  .

The uniqueness of the solution $\psi$  , once normalized by ${sup}_X\psi =-1$  , follows from theorem 3.4. The proof of the existence will occupy the rest of this section. The strategy of the proof is as follows:

• $\bullet$  We approximate $\mu$  by smooth probability volume forms ${\mu }_j$  using local convolutions and a partition of unity.
• $\bullet$  We invoke Aubin-Yau's solution of the Calabi conjecture to find uniquely determined $\omega$  -psh functions ${\phi }_j$  such that ${\mu }_j={\omega }_{{\phi }_j}^2$  and ${sup}_X{\phi }_j=-1$  .
• $\bullet$  Since $\omega$  -psh functions $\phi$  normalized by ${sup}_X\phi =-1$  form a compact subset of $L^1\left(X\right)$  , we can assume that ${\phi }_j\to \phi$  in $L^1\left(X\right)$  .
• $\bullet$  The integrability condition on $\mu$  guarantees ${sup}_j\int (-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2<+\infty$  , hence yields $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  .
• $\bullet$  The delicate point is then to show that ${\omega }_{{\phi }_j}^2\to {\omega }_{\phi }^2$  . This is done by showing that $\int |{\phi }_j-\phi |d{\mu }_j\to 0$  and invoking theorem 4.8. here we use the integrability assumption again with $p>1$  in order to show first that $\int {\phi }_{j}d\mu \to \int \phi d\mu$  .
• $\bullet$  The case $p=1$  deserves special treatment.

Here follow the technical details. Let $\left\{U_i\right\}$  be a finite covering of $X$  by open sets $U_i$  which are biholomorphic to the unit ball of ${\mathbb{C}}^2$  . In each $U_i$  we let ${\mu }_{\varepsilon }^{U_i}:={\mu }_{|U_i}*{\chi }_{\varepsilon }$  denote local regularization of ${\mu }_{|U_i}$  by means of convolution with radial nonnegative smooth approximations ${\chi }_{\varepsilon }$  of the Dirac mass. Let $\left\{{\theta }_i\right\}$  be a partition of unity subordinate to $\left\{U_i\right\}$  and set $${\mu }_j:=c_j\left[{\sum }_i{\theta }_i{\mu }_{{\varepsilon }_j}^{U_i}+{\varepsilon }_j{\omega }^n\right],$$  where ${\varepsilon }_j\searrow 0$  and $c_j\nearrow 1$  is chosen so that ${\mu }_j\left(X\right)=1$  . Thus the ${\mu }_j$  's are smooth probability volume forms which converge weakly towards $\mu$  . It follows from the solution of the Calabi conjecture [1], [26], that there exists a unique function ${\phi }_j\in PSH(X,\omega )\cap {\mathcal{C}}^{\infty }\left(X\right)$  such that $${\mu }_j={\omega }_{{\phi }_j}^2\text{and}{sup}_X{\phi }_j=-1.$$  Recall from proposition 1.7 in [15] that $\mathcal{ℱ}:=\{\phi \in PSH(X,\omega )/{sup}_X\phi =-1\}$  is a compact subset of $L^1\left(X\right)$  . Passing to a subsequence if necessary, we can therefore assume ${\phi }_j\to \phi$  in $L^1\left(X\right)$  , where $\phi \in PSH(X,\omega )$  with ${sup}_X\phi =-1$  .

Lemma 5.3. There exists $C>1$  such that for all $j\in \mathbb{N}$  , $${\int }_X(-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2\le C{\int }_X(-{\phi }_j{)}^{p}d\mu \le C^2.$$  In particular $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  .

• Proof. Since $c_j\to 1$  and ${\varepsilon }_j\to 0$  , we can write $${\int }_X(-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2={\sum }_i{\int }_X{\theta }_i(-{\phi }_j{)}^{p}d{\mu }_{{\varepsilon }_j}^{U_i}+o\left(1\right),$$  where $${\int }_X{\theta }_i(-{\phi }_j{)}^{p}d{\mu }_{{\varepsilon }_j}^{U_i}={\int }_{U_i}{\theta }_i*{\chi }_{{\varepsilon }_j}(-{\phi }_j*{\chi }_{{\varepsilon }_j}{)}^{p}d\mu +o\left(1\right).$$  Now ${\phi }_j=u_j^i-{\gamma }_i$  in $U_i$  , where ${\gamma }_i$  is a smooth local potential of $\omega$  in $U_i$  and $u_j^i$  is psh in $U_i$  . Therefore $-u_i^i*{\chi }_{{\varepsilon }_j}\le -u_j^i$  , while ${\gamma }_i*{\chi }_{{\varepsilon }_j}$  and ${\theta }_i*{\chi }_{{\varepsilon }_j}$  both converge uniformly towards ${\gamma }_i$  and ${\theta }_i$  . We infer $${\int }_{U_i}{\theta }_i*{\chi }_{{\varepsilon }_j}(-{\phi }_j*{\chi }_{{\varepsilon }_j}{)}^{p}d\mu \le {\int }_{U_i}{\theta }_i(-{\phi }_j{)}^{p}d\mu +o\left(1\right)$$  hence $$\int (-{\phi }_j{)}^{p}d{\mu }_j=\int (-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2\le \int (-{\phi }_j{)}^{p}d\mu +o(1).$$  It follows now from the integrability assumption we made on $\mu$  that $${sup}_{j\in \mathbb{N}}{\left({\int }_X(-{\phi }_j{)}^p{\omega }_{{\phi }_j}^2\right)}^{1-\alpha }<+\infty ,$$  which yields the lemma. □

We now would like to apply theorem 4.8 to insure that $\mu ={\omega }_{\phi }^2$  . For this we need to assume $p>1$  in order to use the following:

Lemma 5.4. Assume $p>1$  . Then $${\int }_X{\phi }_{j}d\mu \to {\int }_X\phi d\mu \text{and}{\int }_X|{\phi }_j-\phi |d{\mu }_j\to 0.$$ 

• Proof. When the ${\phi }_j$  's are uniformly bounded, the first convergence follows from standard arguments (see [9]). Set $${\phi }_j^{\left(k\right)}:=max({\phi }_j,-k)\text{and}{\phi }^{\left(k\right)}:=max(\phi ,-k).$$  We will be done with the first convergence if we can show that $\int |{\phi }_j^{\left(k\right)}-{\phi }_j|d\mu \to 0$  uniformly in $j$  as $k\to +\infty$  . This is where we use the assumption $p>1$  . Namely $$0\le {\int }_X|{\phi }_j^{\left(k\right)}-{\phi }_j|d\mu \le 2{\int }_{({\phi }_j<-k)}(-{\phi }_j)d\mu \le \frac{2}{k^{p-1}}{\int }_X(-{\phi }_j{)}^{p}d\mu \le \frac{C}{k^{p-1}}.$$  It remains to prove a similar convergence when $\mu$  is replaced by ${\mu }_j$  . It actually suffices to consider the case of measures ${\mu }_j^U:={\mu }_{|U}*{\chi }_{{\varepsilon }_j}$  . Now $${\int }_U|{\phi }_j-\phi |d{\mu }_j^U={\int }_U\left({\int }_U\left|u_j\right(\zeta )-u(\zeta \left)\right|{\chi }_{{\varepsilon }_j}(z-\zeta )d\lambda \left(\zeta \right)\right)d\mu \left(z\right),$$  where as above, $u_j$  , $u$  are psh functions in $U$  such that ${\phi }_j=u_j-\gamma$  and $\phi =u-\gamma$  in $U$  , $\gamma$  is a local potential of $\omega$  in $U$  and $d\lambda$  denotes the Lebesgue measure in $U$  . The lemma will be proved if we can show that $\int w_{j}d\mu \to 0$  , where $$w_j\left(z\right):={\int }_U\left|u_j\right(\zeta )-u(\zeta \left)\right|{\chi }_{{\varepsilon }_j}(z-\zeta )d\lambda \left(\zeta \right).$$  Define ${\tilde{u}}_j:=({sup}_{k\ge j}{u}_k{)}^{*}$  . This is a sequence of psh functions in $U$  which decrease towards $u$  . Observe that ${\tilde{u}}_j\ge max(u,u_j)$  so that $$w_j\le 2{\tilde{u}}_j*{\chi }_{{\varepsilon }_j}-u*{\chi }_{{\varepsilon }_j}-u_j*{\chi }_{{\varepsilon }_j}\le 2({\tilde{u}}_j*{\chi }_{{\varepsilon }_j}-u)+(\phi -{\phi }_j).$$  It follows from the monotone convergence theorem that $\int ({\tilde{u}}_j*{\chi }_{{\varepsilon }_j}-u)d\mu \to 0$  , while $\int ({\phi }_j-\phi )d\mu \to 0$  by the first part of lemma. Therefore $\int w_{j}d\mu \to 0$  and we are done. □

It follows from previous lemma and theorem 4.6 that $\mu ={\omega }_{\phi }^2$  . This proves theorem 5.2 when $p>1$  . Assume now $p=1$  . Following an idea of U.Cegrell [9] we consider the set $\mathcal{C}$  of probability measures $\nu$  such that for all $\phi \in PSH(X,\omega )\cap L^{\infty }(X,\omega )$  , ${sup}_X\phi =-1$  , one has $$0\le {\int }_X(-\phi {)}^{2}d\nu \le C_0{\left({\int }_X(-\phi {)}^2{\omega }_{\phi }^2\right)}^{1/2},$$  where $C_0=C_0(X,\omega )$  is the constant given by lemma 5.5 below. The set $\mathcal{C}$  is a convex compact set of probability measures which contains all measures ${\omega }_u^2$  , where $u\in PSH(X,\omega )$  is such that $-1\le u\le 0$  : this is the contents of lemma 5.5 below. It follows from a generalization of Radon-Nikodym theorem [21] that one can decompose $$\mu =f\nu +\sigma ,\text{where}\nu \in \mathcal{C},f\in L^1\left(\nu \right)\text{and}\sigma \in {\mathcal{C}}^{\perp }.$$  Now $\sigma$  is carried by a pluripolar set because $\mathcal{C}$  contains all the measures ${\omega }_u^2$  , $-1\le u\le 0$  , and $\mu$  does not charge pluripolar sets because ${\mathcal{ℰ}}^1(X,\omega )\subset L^1\left(\mu \right)$  , thus $\sigma =0$  . Consider $${\mu }_j:={\delta }_{j}min(f,j)\nu ,$$  where ${\delta }_j\searrow 1$  so that ${\mu }_j\left(X\right)=1$  . It follows from theorem 5.2 (case $p=2$  ) that there exists a unique ${\phi }_j\in {\mathcal{ℰ}}^2(X,\omega )$  with ${sup}_X{\phi }_j=-1$  and ${\mu }_j={\omega }_{{\phi }_j}^2$  .

We can assume ${\phi }_j\to \phi$  in $L^1\left(X\right)$  . Now $$\int (-{\phi }_j){\omega }_{{\phi }_j}^2\le {\delta }_j\int (-{\phi }_j)d\mu \le C{\delta }_j{\left[(-{\phi }_j){\omega }_{{\phi }_j}^2\right]}^{\alpha },$$  so that ${sup}_j\int (-{\phi }_j){\omega }_{{\phi }_j}^2<+\infty$  hence $\phi \in {\mathcal{ℰ}}^1(X,\omega )$  (see theorem 4.8). We set $${\Phi }_j:=({sup}_{k\ge j}{\phi }_k{)}^{*}\text{and}{F}_j:={inf}_{k\ge j}{\delta }_{k}min(f,k).$$  Clearly ${\Phi }_j\in {\mathcal{ℰ}}^1(X,\omega )$  with ${\Phi }_j\searrow \phi$  and $F_j\nearrow f$  . It follows from a classical inequality of J.-P.Demailly [11] that $${\omega }_{{\Phi }_j}^2\ge F_j\nu .$$  We infer ${\omega }_{\phi }^2\ge \mu$  , whence equality since these are both probability measures.

This finishes the proof of theorem 5.2.

Lemma 5.5. There exists $C_0=C_0(X,\omega )>1$  such that for all $\phi \in PSH(X,\omega )$  , ${sup}_X\phi =-1$  , and for all $u\in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  , $-1\le u\le 0$  , one has $$0\le {\int }_X(-\phi {)}^2{\omega }_u^2\le C_0{\left({\int }_X(-\phi {)}^2{\omega }_{\phi }^2\right)}^{1/2}.$$ 

• Proof. It follows from Stokes theorem and Cauchy-Schwarz inequality that

  $$\begin{array}{ccc}\int (-\phi {)}^2{\omega }_u^2-\int (-\phi {)}^2{\omega }^2& \le & 2\int (-\phi )(-u){\omega }_{\phi }\wedge [\omega +{\omega }_u]\end{array}$$

  $$\begin{array}{ccc}& \le & 2\sqrt{2}{\left(\int (-\phi {)}^2{\omega }_{\phi }\wedge [\omega +{\omega }_u]\right)}^{1/2}\end{array}$$

  $$\begin{array}{ccc}& \le & 2\sqrt{2}{\left(2\int (-\phi {)}^2{\omega }_{\phi }^2+\int (-\phi {)}^2{\omega }_{\phi }\wedge d{d}^{c}u\right)}^{1/2}.\end{array}$$

  Now $\int (-\phi {)}^2{\omega }_{\phi }\wedge d{d}^{c}u\le 2\int (-u\left)\right(-\phi ){\omega }_{\phi }^2\le 2\int (-\phi {)}^2{\omega }_{\phi }^2$  and $\int (-\phi {)}^2{\omega }^2$  is bounded from above by a uniform constant that only depends on $X,\omega$  , since we have normalized $\phi$  by ${sup}_X\phi =-1$  . The lemma follows. □

6 Capacity of sublevel sets

In this section we want to connect the condition $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  to the size of the sublevel sets $(\phi <-t)$  measured by the complex Monge-Ampère capacity $Ca{p}_{\omega }$  : the smaller $(\phi <-t)$  , the better the exponent $p$  for which $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  . This will allow us to give several examples of unbounded functions $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  , as well as examples of probability measures $\mu$  such that ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  . The basic tool to establish this connection is the comparison principle which we now recall (see [20] for a proof ).

Proposition 6.1. Let $\phi ,\psi \in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  . Then $${\int }_{(\phi <\psi )}{\omega }_{\psi }^2\le {\int }_{(\phi <\psi )}{\omega }_{\phi }^2.$$ 

As earlier $p$  denotes a real number $\ge 1$  and $\omega$  -psh functions $\phi$  are normalized so that ${sup}_X\phi =-1$  (unless otherwise specified). We set $$e_p\left(\phi \right):={\int }_X(-\phi {)}^p{\omega }_{\phi }^2+2{\int }_X(-\phi {)}^{p+1}\omega \wedge {\omega }_{\phi }+{\int }_X(-\phi {)}^{p+2}{\omega }^2.$$  This is a well defined quantity as soon as $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  and $\phi \in L^{p+1}(\omega \wedge {\omega }_{\phi })$  , for instance when $\phi \in {\mathcal{ℰ}}^{p+1}(X,\omega )$  . In the sequel we shall say that a function $h\ge 1$  belongs to $L^q\left(Ca{p}_{\omega }\right)$  if the following integral converges $$0\le {\int }_X{h}^{q}dCa{p}_{\omega }:=q{\int }_1^{+\infty }{t}^{q-1}Ca{p}_{\omega }(h>t)dt<+\infty .$$  The following lemma establishes the basic connection between capacity of sublevel sets and the energy $e_p\left(\phi \right)$  .

Lemma 6.2. Assume $\phi \in {\mathcal{ℰ}}^p(X,\omega )\cap L^{p+1}(\omega \wedge {\omega }_{\phi })$  is normalized so that ${sup}_X\phi =-1$  . Then $$\frac{p+2}{p}{\int }_X(-\phi {)}^p{\omega }_{\phi }^2\le {\int }_X(-\phi {)}^{p+2}dCa{p}_{\omega }\le 2^{p+2}{e}_p\left(\phi \right).$$  In particular if $\psi \in {\mathcal{ℰ}}^p(X,\omega )$  , then there exists $C_{\psi }>0$  s.t. for all $t\ge 1$  , $Ca{p}_{\omega }(\psi <-t)\le C_{\psi }/t^{p+1}.$  Conversely if there exists $C_{\psi }>0$  such that $Ca{p}_{\omega }(\psi <-t)\le C_{\psi }/t^{p+2}$  for all $t\ge 1$  , then $\phi \in {\mathcal{ℰ}}^q(X,\omega )$  for all $q<p$  .

• Proof. It follows from the comparison principle that for all $t\ge 1$  ,

  $$\begin{array}{c}{\int }_{(\phi <-t)}{\omega }_{\phi }^2\le t^{2}Ca{p}_{\omega }(\phi <-t).\end{array}$$

  (6)

  Indeed set ${\phi }_s:=max(\phi ,-s)$  , where $s>t$  . Then ${\phi }_s\in PSH(X,\omega )\cap L^{\infty }\left(X\right)$  and ${\phi }_s=\phi$  near the boundary of $(\phi <-t)$  , hence $${\int }_{(\phi <-t)}{\omega }_{\phi }^2={\int }_{(\phi <-t)}{\omega }_{{\phi }_s}^2.$$  Consider $u={\phi }_s/s\in PSH(X,\omega )$  . Then $-1\le u\le 0$  and $s^{-2}{\omega }_{{\phi }_s}^2\le {\omega }_u^2$  , hence $$\frac{1}{s^2}{\int }_{(\phi <-t)}{\omega }_{{\phi }_s}^2\le {\int }_{(\phi <-t)}{\omega }_u^2\le Ca{p}_{\omega }(\phi <-t),$$  which yields (6) by letting $s\searrow t$  . We infer

  $$\begin{array}{ccc}0& \le & {\int }_X(-\phi {)}^p{\omega }_{\phi }^2=p{\int }_1^{+\infty }{t}^{p-1}{\omega }_{\phi }^2(\phi <-t)dt\end{array}$$

  $$\begin{array}{ccc}& \le & p{\int }_1^{+\infty }{t}^{p+1}Ca{p}_{\omega }(\phi <-t)dt=\frac{p}{p+2}{\int }_X(-\phi {)}^{p+2}dCa{p}_{\omega }\end{array}$$

  The second inequality also follows from the comparison principle. We need to estimate $Ca{p}_{\omega }(\phi <-t)$  from above, for $t\ge 1$  . Fix $u\in PSH(X,\omega )$  with $-1\le u\le 0$  and observe that $\phi /t\in PSH(X,\omega )$  with $$\left(\phi <-2t\right)\subset \left(\phi /t<u-1\right)\subset \left(\phi <-t\right).$$  Therefore ${\int }_{(\phi <-2t)}{\omega }_u^2\le {\int }_{(\phi <-t)}{\omega }_{\phi /t}^2$  . Now ${\omega }_{\phi /t}\le \omega +t^{-1}{\omega }_{\phi }$  , thus

  $$\begin{array}{c}Ca{p}_{\omega }(\phi <-2t)\le \left[{\omega }^2+\frac{2}{t}\omega \wedge {\omega }_{\phi }+\frac{1}{t^2}{\omega }_{\phi }^2\right](\phi <-t).\end{array}$$

  (7)

  This yields the second inequality. The remaining assertions are straightforward consequences of (6), (7) and Chebyshev inequality. □

These estimates allow us to give now several examples of functions which belong to the classes ${\mathcal{ℰ}}^p(X,\omega )$  .

Example 6.3. 1) Assume $X={\mathbb{P}}^2$  is the complex projective space and $\omega ={\omega }_{FS}$  is the Fubini-Study Kähler form. We let $[z_0:z_1:z_2]$  denote the homogeneous coordinaets on ${\mathbb{P}}^2$  . Consider $\phi [z_0:z_1:z_2]=log\left|\right|(z_1,z_2)\left|\right|-log\left|\right|(z_0,z_1,z_2)\left|\right|\in \mathcal{ℰ}(X,\omega )$  . This is a ${\mathcal{C}}^{\infty }$  -smooth function in ${\mathbb{P}}^2\backslash \left\{a\right\}$  , where $a=[1:0:0]$  , which has Lelong number $1$  at point $a$  , hence $\phi /\in {\mathcal{ℰ}}^1(X,\omega )$  . One can compute explicitly $$Ca{p}_{\omega }(\phi <-t)\simeq \frac{C}{t^2}$$  by comparing the capacity $Ca{p}_{\omega }$  with the local Monge-Ampère capacity of Bedford and Taylor near point $a$  (see [15]).

Consider now ${\phi }_{\alpha }:=-(-\phi {)}^{\alpha }$  for $0<\alpha <1$  . Then ${\phi }_{\alpha }\in {\mathcal{ℰ}}^p(X,\omega )$  for $\alpha <2/(p+2)$  , as follows from lemma 6.2.

2) This first example can be slightly generalized as follows. Let $\phi$  be any $\omega$  -psh function such that $\phi \le -1$  . Then ${\phi }_{\alpha }:=-(-\phi {)}^{\alpha }\in PSH(X,\omega )$  whenever $0\le \alpha \le 1$  . It follows moreover from lemma 5.2 that ${\phi }_{\alpha }\in {\mathcal{ℰ}}^p(X,\omega )$  as soon as $\alpha <1/(p+2)$  .

In the same vein observe that $\Phi :=-log(-\phi )\in PSH(X,\omega )$  if $\phi \le -2$  . Moreover $\Phi \in {\mathcal{ℰ}}^p(X,\omega )$  for all $p\ge 1$  , although $\Phi$  is not necessarily bounded.

3) Assume $X={\mathbb{P}}_x^1\times {\mathbb{P}}_y^1$  and $\omega (x,y)=\alpha \left(x\right)+\alpha \left(y\right)$  , where $\alpha$  denotes the Fubini-Study Kähler form on ${\mathbb{P}}^1$  . Assume $\phi (x,y)=u\left(x\right)+v\left(y\right)$  where $u,v$  come both from $\alpha$  -psh functions on ${\mathbb{P}}^1$  , with $u$  smooth while $v$  is singular. Then ${\omega }_{\phi }={\alpha }_u\left(x\right)+{\alpha }_v\left(y\right)$  and ${\omega }_{\phi }^2=2{\alpha }_u\left(x\right)\wedge {\alpha }_v\left(y\right)$  so that $$\phi \in L^p\left({\omega }_{\phi }^2\right)\iff v\in L^p\left({\alpha }_v\right)\iff \phi \in L^p(\omega \wedge {\omega }_{\phi }).$$  In particular one can get $\phi \in L^p\left({\omega }_{\phi }^2\right)$  for some $p\ge 1$  but $\phi /\in L^{p+\varepsilon }(\omega \wedge {\omega }_{\phi })$  whenever $\varepsilon >0$  .

Observe that there are functions in examples 1 and 3 above that belong to ${\mathcal{ℰ}}^p(X,\omega )$  for some $p\ge 1$  , but not to ${\mathcal{ℰ}}^{p+1}(X,\omega )$  . The last example explains partially why there is a gap in the estimates given by lemma 5.2: we have the right exponent when $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  also satisfies $\phi \in L^{p+1}(\omega \wedge {\omega }_{\phi })$  , but this integrability condition is not necessarily satisfied unless $\phi \in {\mathcal{ℰ}}^{p+1}(X,\omega )$  .

It is satisfied however, when the function $\phi$  has singularities in a “small compact” (see example 1.4.2). More precisely we have the following:

Proposition 6.4. Assume $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  is bounded near some ample divisor. Then $\phi \in L^{p+1}(\omega \wedge {\omega }_{\phi })$  .

• Proof. Let $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  , $\phi \le 0$  , be bounded in a neighborhood $V$  of some ample divisor $D$  . We assume for simplicity that the current $\left[D\right]$  of integration along $D$  is cohomologous to $\omega$  . Let ${\omega }^{\prime }\ge 0$  be a smooth closed $(1,1)$  -form cohomologous to $\omega$  such that ${\omega }^{\prime }\equiv 0$  in $X\backslash V$  . Fix $\chi \le 0$  such that $\omega ={\omega }^{\prime }+d{d}^c\chi$  . Assume first $\phi$  is smooth. It follows from Stokes theorem that

  $$\begin{array}{ccc}0\le {\int }_X(-\phi {)}^{p+1}\omega \wedge {\omega }_{\phi }& =& {\int }_X(-\phi {)}^{p+1}{\omega }^{\prime }\wedge {\omega }_{\phi }+{\int }_X(-\phi {)}^{p+1}{\omega }_{\phi }\wedge d{d}^c\chi \end{array}$$

  $$\begin{array}{ccc}& \le & \left|\right|\phi |{|}_{L^{\infty }\left(V\right)}^{p+1}+(p+1\left)\right|\left|\chi \right|{|}_{L^{\infty }\left(X\right)}{\int }_X(-\phi {)}^p{\omega }_{\phi }^2<+\infty .\end{array}$$

  Now we can get a similar control on $\left|\right|\phi |{|}_{L^{p+1}(\omega \wedge {\omega }_{\phi })}$  by approximating $\phi$  by a decreasing sequence of smooth $\omega$  -psh functions and by using theorem 4.4. □

We now want to give some examples of probability measures which can be expressed as ${\omega }_{\psi }^2$  , $\psi \in {\mathcal{ℰ}}^p(X,\omega )$  . Observe first that if $PSH(X,\omega )\subset L^1\left(\mu \right)$  , then in particular ${\mathcal{ℰ}}^1(X,\omega )\subset L^1\left(\mu \right)$  , hence $\mu ={\omega }_{\psi }^2$  for some function $\psi \in {\mathcal{ℰ}}^1(X,\omega )$  . Every measure which decomposes as $$\mu =\Theta +d{d}^c\left(R\right),$$  where $\Theta$  is a smooth form and $R$  is a positive current of bidimension $(1,1)$  , satisfies $PSH(X,\omega )\subset L^1\left(\mu \right)$  . There are several examples of such measures arising in complex dynamics [14]. We don't know if $\psi$  is necessarily bounded in this case (this is trivially true in dimension $1$  ).

When $\mu =f{\omega }^2$  has density $f\in L^r\left(X\right)$  , $r>1$  , S.Kolodziej has proved [19] that $\mu ={\omega }_{\psi }^2$  for some bounded $\omega$  -psh function $\psi$  . This is because $\mu$  is strongly dominated by $Ca{p}_{\omega }$  in this case (see proposition 6.5 below). When the density is only in $L^1$  , this does not work. Consider for instance $\mu =f{\omega }^2$  , where $f\in {\mathcal{C}}^{\infty }(X\backslash \{a\left\}\right)$  is such that $$f\left(z\right)\simeq \frac{1}{\left|\right|z\left|{|}^4\right(-log\left|\right|z\left|\right|{)}^2}-1$$  near the point $a$  ( $=0$  in a local chart). Observe that $$\phi \left(z\right):=\varepsilon \chi \left(z\right)log\left|\right|z\left|\right|\in PSH(X,\omega )$$  if $\chi$  is a cut-of function such that $\chi \equiv 1$  near $a=0$  , and $\varepsilon >0$  is small enough. Now $\phi /\in L^1\left(\mu \right)$  but still ${\mathcal{ℰ}}^1(X,\omega )\subset L^1\left(\mu \right)$  . Therefore there exists $\psi \in {\mathcal{ℰ}}^1(X,\omega )$  such that $\mu ={\omega }_{\psi }^2$  , as follows from theorem 5.1. Note however that $\psi /\in {\mathcal{ℰ}}^p(X,\omega )$  for $p>2$  . Indeed ${\phi }_{\alpha }:=-(-\phi {)}^{\alpha }\in {\mathcal{ℰ}}^p(X,\omega )$  if $\alpha <2/(p+2)$  (see example 6.3.1) and ${\phi }_{\alpha }\in L^p\left(\mu \right)$  implies $\alpha p<1$  , hence $p\le 2$  .

Observe also that there are measures $\mu =f{\omega }^2$  with $L^1$  -density such that ${\mathcal{ℰ}}^1(X,\omega )\not\subset L^1\left(\mu \right)$  : one can consider for instance $f_{\varepsilon }$  that looks locally near $a=0$  like $\left[\right|\left|z\right|{|}^4(-log|\left|z\right||{)}^{1+\varepsilon }{]}^{-1}$  , for $\varepsilon >0$  small enough. In order to give further examples, we need to relate integrability properties of $\mu$  to the way it is dominated by $Ca{p}_{\omega }$  . This is the contents of the following:

Proposition 6.5. Let $\mu$  be a probability measure on $X$  .

Assume there exists $\alpha >p/(p+1)$  and $A>0$  such that

$$\begin{array}{c}\mu \left(E\right)\le ACa{p}_{\omega }(E{)}^{\alpha },\end{array}$$

(8)

for all Borel set $E\subset X$  . Then ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  .

Conversely assume ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  . Then there exists $0<\alpha <1$  and $A>0$  such that $\left(8\right)$  is satisfied.

• Proof. We can assume w.l.o.g. that $\alpha \le 1$  . Let $\phi \in {\mathcal{ℰ}}^p(X,\omega )$  with ${sup}_X\phi =-1$  . It follows from Hölder inequality that

  $$\begin{array}{ccc}0\le {\int }_X(-\phi {)}^{p}d\mu =p{\int }_1^{+\infty }{t}^{p-1}\mu (\phi <-t)dt& & \end{array}$$

  $$\begin{array}{ccc}& \le & pA{\int }_1^{+\infty }{t}^{p-1}{\left[Ca{p}_{\omega }(\phi <-t)\right]}^{\alpha }dt\end{array}$$

  $$\begin{array}{ccc}& \le & pA{\left[{\int }_1^{+\infty }{t}^{\frac{p-\alpha (p+1)}{1-\alpha }-1}dt\right]}^{1-\alpha }\cdot {\left[{\int }_1^{+\infty }{t}^{p}Ca{p}_{\omega }(\phi <-t)dt\right]}^{\alpha }.\end{array}$$

  The first integral in the last line converges since $p-\alpha (p+1)<0$  and the last is dominated by $C_{p,\alpha }{\left(\int (-\phi {)}^p{\omega }_{\phi }^2\right)}^{\alpha }$  by lemma 6.2. Therefore ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  .
  Assume conversely that ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  . It follows from Theorem 5.1 that $\mu ={\omega }_{\psi }^2$  for a unique function $\psi \in {\mathcal{ℰ}}^p(X,\omega )$  such that ${sup}_X\psi =-1$  . We claim then that there exists ${\gamma }_p\in ]0,1[$  and $A>0$  such that for all functions $\phi \in PSH(X,\omega )$  with $-1\le \phi \le 0$  , one has

  $$\begin{array}{c}0\le {\int }_X(-\phi {)}^p{\omega }_{\psi }^2\le A{\left[{\int }_X(-\phi {)}^p{\omega }_{\phi }^2\right]}^{{\gamma }_p}.\end{array}$$

  (9)

  We leave the proof of this claim to the reader: an application of Hölder's inequality in the style of section 4 yields ${\gamma }_p=(1-1/p{)}^2$  if $p>1$  , while Cauchy-Schwarz inequality (in the style of lemma 3.6) yields ${\gamma }_1=1/4$  . We apply now (9) to the extremal function $\phi =h_{E,\omega }^{*}$  introduced in [15]. It follows from theorem 3.2 in [15] that $$0\le \mu \left(E\right)\le {\int }_X(-h_{E,\omega }^{*}{)}^{p}d\mu \le ACa{p}_{\omega }(E{)}^{{\gamma }_p}.$$  □

This proposition allows to produce several examples of measures satisfying ${\mathcal{ℰ}}^p(X,\omega )\subset L^p\left(\mu \right)$  as in the local theory (see [19], [27]). It can also be used, together with theorem 5.1, to prove that functions from the local classes of Cegrell ${\mathcal{ℰ}}^r(\Omega )$  , $\Omega$  a bounded hyperconvex domain of ${\mathbb{C}}^2$  , can be sub-extended as global functions $\phi \in {\mathcal{ℰ}}^{p_r}({\mathbb{P}}^2,{\omega }_{FS})$  (see [10] for similar results).

References

1. T.AUBIN: Équations du type Monge-Ampère sur les variétés kählériennes compactes. Bull. Sci. Math. (2) 102 (1978), no. 1, 63–95.
2. E.BEDFORD & J.DILLER: Energy and Invariant Measures for Birational Surface Maps. Preprint (2004), to appear in Duke Math. Journal.
3. E.BEDFORD & B.A.TAYLOR: The Dirichlet problem for a complex Monge-Ampère equation. Invent. Math. 37 (1976), no. 1, 1–44.
4. E.BEDFORD & B.A.TAYLOR: Variational properties of the complex Monge-Ampère equation. I. Dirichlet principle. Duke Math. J. 45 (1978), no. 2, 375–403.
5. E.BEDFORD & B.A.TAYLOR: A new capacity for plurisubharmonic functions. Acta Math. 149 (1982), no. 1-2, 1–40.
6. Z.BLOCKI: Uniqueness and stability for the Monge-Ampère equation on compact Kaehler manifolds. Indiana Univ. Math. J. 52 (2003), no. 6, 1697–1701.
7. Z.BLOCKI: On the definition of the Monge-Ampère operator in ${\mathbb{C}}^2$  . Math. Ann. 328 (2004), no 3, 415-423.
8. E.CALABI: On Kähler manifolds with vanishing canonical class. Algebraic geometry and topology. A symposium in honor of S. Lefschetz, pp. 78–89. Princeton Univ. Press, Princeton, N. J. (1957).
9. U.CEGRELL: Pluricomplex energy. Acta Math. 180 (1998), no. 2, 187–217.
10. U.CEGRELL & S.KOLODZIEJ & A.ZERIAHI: Subextension of plurisubharmonic functions with weak singularities. Preprint (2004). To appear in Math.Zeitschrift.
11. J.-P.DEMAILLY: Monge-Ampère operators, Lelong numbers and intersection theory. Complex analysis and geometry, 115–193, Univ. Ser. Math., Plenum, New York (1993).
12. J.-P.DEMAILLY: A numerical criterion for very ample line bundles. J. Differential Geom. 37 (1993), no. 2, 323–374
13. J.-P.DEMAILLY & M.PAUN: Numerical characterization of the Kähler cone of a compact Kähler manifold. Ann. of Math. (2) 159 (2004), no. 3, 1247–1274.
14. V.GUEDJ: Ergodic properties of rational mappings with large topological degree. To appear in Annals of Math.
15. V.GUEDJ & A.ZERIAHI: Intrinsic capacities on compact Kähler manifolds. Preprint arXiv/math.CV/0401302.
16. V.GUEDJ & A.ZERIAHI: Extension of quasiplurisubharmonic functions. Preprint (2005).
17. R.HARVEY & B.LAWSON: Projective hulls and the projective Gelfand transform. Preprint (2004).
18. L.HÖRMANDER: Notions of convexity, Birkhäuser (1994).
19. S.KOLODZIEJ: The complex Monge-Ampère equation. Acta Math. 180 (1998), no. 1, 69–117.
20. S.KOLODZIEJ: The Monge-Ampère equation on compact Kähler manifolds. Indiana Univ. Math. J. 52 (2003), no. 3, 667–686
21. J.RAINWATER: A note on the preceding paper. Duke Math. J. 36 (1969) 799–800.
22. N.SIBONY: Quelques problèmes de prolongement de courants en analyse complexe. Duke Math. J. 52 (1985), no. 1, 157–197
23. G.TIAN: Canonical metrics in Kähler geometry. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel (2000).
24. G.TIAN & X.ZHU: Uniqueness of Kähler-Ricci solitons. Acta Math. 184 (2000), no. 2, 271–305.
25. Y.XING: Continuity of the complex Monge-Ampère operator. Proc. Amer. Math. Soc. 124 (1996), no. 2, 457–467.
26. S.T.YAU: On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I. Comm. Pure Appl. Math. 31 (1978), no. 3, 339–411.
27. A.ZERIAHI: The size of plurisubharmonic lemniscates in terms of Hausdorff-Riesz measures and capacities. Proc. London Math. Soc. (3) 89 (2004), no. 1, 104–122.

Vincent Guedj & Ahmed Zeriahi Laboratoire Emile Picard UMR 5580, Université Paul Sabatier 118 route de Narbonne 31062 TOULOUSE Cedex 04 (FRANCE) guedj@picard.ups-tlse.fr zeriahi@picard.ups-tlse.fr