On the H\"older continuous subsolution problem for the complex Monge-Amp\`ere equation

TL;DR

This paper characterizes when the complex Monge-Ampère equation with zero boundary data has Hölder continuous solutions, providing a complete criterion based on the measure and addressing a question by Zeriahi.

Contribution

It establishes a necessary and sufficient condition for measures to admit Hölder continuous solutions to the Dirichlet problem for the complex Monge-Ampère equation.

Findings

Provides a full characterization of measures for Hölder solutions

Answers Zeriahi's question affirmatively in the finite mass case

Advances understanding of regularity in complex Monge-Ampère equations

Abstract

We give a necessary and sufficient condition for positive Borel measures such that the Dirichlet problem, with zero boundary data, for the complex Monge-Amp\`ere equation admits H\"older continuous plurisubharmonic solutions. In particular, when the subsolution has finite Monge-Amp\`ere total mass, we obtain an affirmative answer to a question of Zeriahi.

Equations

$$\phi =0\text{mbox}on\partial \Omega .$$

$$\mathcal{M}(\phi ,\Omega ):=\left\{\mu \text{mbox}ispositiveBorelmeasure:\mu \le (d{d}^c\phi {)}^n\text{mbox}in\Omega \right\}.$$

$$u\in PSH(\Omega )\cap C^{0,{\alpha }^{\prime }}(\bar{\Omega })$$

$$(d{d}^{c}u{)}^n=\mu ,$$

$$u=0\text{mbox}on\partial \Omega .$$

$${\int }_{\Omega }(d{d}^c\phi {)}^n<+\infty .$$

$$d{d}^c\rho \ge \beta \text{mbox}on\bar{\Omega }.$$

$$\left\{v\in PSH\cap L^{\infty }(\Omega ):\underset{z\to \partial \Omega }{\lim }v(z)=0,\text{mbox}and{\int }_{\Omega }(d{d}^{c}v{)}^n<+\infty \right\}.$$

$${\mathcal{E}}_0^{\prime }=\left\{v\in {\mathcal{E}}_0:{\int }_{\Omega }(d{d}^{c}v{)}^n\le 1\right\}.$$

$${\int }_{\Omega }(d{d}^{c}v{)}^n\le {\int }_{\Omega }(d{d}^{c}u{)}^n.$$

$${\int }_{\Omega }d{d}^c{u}_1\wedge \cdots \wedge d{d}^c{u}_n\le {\left({\int }_{\Omega }(d{d}^c{u}_1{)}^n\right)}^{\frac{1}{n}}\cdots {\left({\int }_{\Omega }(d{d}^c{u}_n{)}^n\right)}^{\frac{1}{n}}.$$

$$\Vert \cdot {\Vert }_p:={\left({\int }_{\Omega }|\cdot {|}^{p}d{V}_{2n}\right)}^{\frac{1}{p}}\text{mbox}and\Vert \cdot {\Vert }_{\infty }:=\underset{\Omega }{\sup }|\cdot |,$$

$$\left|{\int }_{\Omega }(u-v)d\nu \right|\le C\Vert u-v{\Vert }_1^{\alpha }\forall u,v\in {\mathcal{E}}_0^{\prime }$$

$${\int }_{\Omega }|u-v|d\nu \le C\Vert u-v{\Vert }_1^{\alpha }\forall u,v\in {\mathcal{E}}_0^{\prime }.$$

$$|u-v|=(\max \{u,v\}-u)+(\max \{u,v\}-v).$$

$$\nu (w):={\int }_{\Omega }wd\nu$$

$$\left|\nu (u-v)\right|=\left|{\int }_{\Omega }(u-v)d\nu \right|\le C\Vert u-v{\Vert }_1^{\alpha }\forall u,v\in {\mathcal{E}}_0^{\prime },$$

$$G_{j+1}\subset \stackrel{o}{G_j}\text{mbox}and\bigcap _{j=1}^{\infty }{G}_j=K.$$

$$cap(G_j,\Omega )={\int }_{\Omega }(d{d}^c{h}_{G_j}^{\ast }{)}^n\text{mbox}and{h}_{G_j}^{\ast }=-1\text{mbox}on\stackrel{o}{G_j}.$$

$$\nu (K)\le {\int }_{\Omega }|h_{G_j}^{\ast }|d\nu \le C{\left[cap(G_j,\Omega )\right]}^{\frac{1-\alpha }{n}}{\left({\int }_{\Omega }|h_{G_j}^{\ast }|d{V}_{2n}\right)}^{\alpha },$$

$$(d{d}^{c}u{)}^n=\mu ,u_{{|}_{\partial \Omega }}=0.$$

$${\int }_{\Omega }(d{d}^c\phi {)}^n<+\infty .$$

$$S_k:=(d{d}^c\phi {)}^k\wedge {\beta }^{n-k}.$$

$${\int }_{\Omega }|w-v|S_n\le C\Vert w-v{\Vert }_1^{\alpha }.$$

$$S:=(d{d}^c\phi {)}^k\wedge {\beta }^{n-k-1}.$$

$${\int }_{\Omega }|w-v|S\wedge \beta \le C\Vert w-v{\Vert }_1^{{\alpha }_k}.$$

$${\int }_{\Omega }(w-v)d{d}^c\phi \wedge S\le C\Vert w-v{\Vert }_1^{{\alpha }_{k+1}}$$

$$\Vert w-v{\Vert }_1>0.$$

$${\phi }_{\delta }(z)-\phi (z)={\int }_U[\phi (z-\delta \zeta )-\phi (z)]\chi (\zeta )d{V}_{2n}(\zeta )\le C{\delta }^{\alpha },$$

$$\left|\frac{{\partial }^2{\phi }_{\delta }}{\partial z_j\partial {\bar{z}}_k}(z)\right|\le \frac{C\Vert \phi {\Vert }_{\infty }}{{\delta }^2}.$$

$${\int }_{\Omega }(w-v)d{d}^c\phi \wedge S$$

Full text

Dedicated to Professor Kang-Tae Kim on the occasion of his $60$th birthday

1. Introduction

Bedford and Taylor [3] proved the existence of plurisubharmonic solutions of the Dirichlet problem for the complex Monge-Ampère equation in a strictly pseudoconvex bounded domain $\Omega$ in $\mathbb{C}^{n}$. The solution is continuous or Hölder continuous provided that the data is continuous or Hölder continuous, respectively. In their subsequent fundamental paper [4] they developed pluripotential theory which becomes a powerful tool to study plurisubharmonic functions. Later, applying pluripotential theory methods the weak solution theory has been developed much further by Cegrell [6, 7] and Kołodziej [18, 19]. The continuous solution is obtained for more general right hand sides in [19], in particular for $L^{p}-$density measures, $p>1$, as an important class. Recently, Guedj, Zeriahi and Kołodziej [15] showed that the solution is Hölder continuous, which is the optimal regularity, for such measures, under some extra assumptions. Finally, the extra assumptions were removed in [2], [8]. However, there is still an open question to find a characterisation for the measures admitting Hölder continuous solutions to the equation. If one requires only bounded solutions, then Kołodziej’s subsolution theorem [16] gives such a criterion.

Let $\varphi\in PSH(\Omega)\cap C^{0,\alpha}(\bar{\Omega})$ with $0<\alpha\leq 1$, where $C^{0,\alpha}(\bar{\Omega})$ stands for the set of Hölder continuous functions of exponent $\alpha$ in $\bar{\Omega}$. Moreover, we assume that

[TABLE]

Given such a function $\varphi$ we consider the set of positive Borel measures on $\Omega$ which are dominated by the Monge-Ampère operator of $\varphi$, namely,

[TABLE]

For measures in this set we also say that $\varphi$ is a Hölder continuous subsolution to $\mu$. Let $\mu\in\mathcal{M}(\varphi,\Omega)$ and consider the Dirichlet problem for $0<\alpha^{\prime}\leq 1$,

[TABLE]

The following problem [11, Question 17] was raised by Zeriahi.

Problem 1.1**.**

Can we always solve the Dirhichlet problem (1.3) for some $0<\alpha^{\prime}\leq 1$?

When $\varphi$ is merely bounded subsolution, the subsolution theorem in [16] has provided a unique bounded solution. Thus, to answer Zeriahi’s question it remains to show the Hölder continuity of the bounded solution. Our main result is the following:

Theorem 1.2**.**

Let $\mu\in\mathcal{M}(\varphi,\Omega)$. Assume that the Hölder continuous subsolution $\varphi$ has finite Monge-Ampère mass on $\Omega$, i.e.,

[TABLE]

Then, the Dirichlet problem (1.3) is solvable.

We actually obtain a necessary and sufficient condition for a measure in $\mathcal{M}(\varphi,\Omega)$ with finite total mass such that the Dirichlet problem (1.3) is solvable. Using this characterisation (Theorem 2.5) we can reprove the results from [2], [8], [15] in the case of zero boundary. We also show in Corollary 2.13 that there are several class of measures which satisfy the assumptions of the theorem. Charabati [9] has studied very recently Problem 1.1 for these measures.

There is a strong connection between Problem 1.1 and the Hölder continuity of weak solutions to Monge-Ampère equations on a compact Kähler manifold $(X,\omega)$. Namely, the characterisation [10, Theorem 4.3] (see also [20]) says that a positive Borel measure on $(X,\omega)$ is the Mong-Ampère measure of a Hölder continuous $\omega-$plurisubharmonic function if and only if it is dominated locally (on local coordinate charts) by the one of Hölder continuous plurisubharmonic functions. On the other hand, Dinh-Nguyen [12] has found another global characterisation for this problem by using super-potential theory [13]. This characterisation has been used in [22] to generalise the result obtained previously by Hiep [21]. Our necessary and sufficient condition can be consider as the local analogue of [12]. It may possibly be used to give a local proof of the results in [21], [22].

Acknowledgement. I am very grateful to Sławomir Kołodziej for giving many valuable comments on the drafts of the paper which helped to improve significantly its final version. The author is supported by the NRF Grant 2011-0030044 (SRC-GAIA) of The Republic of Korea.

2. A general characterisation

Let $\Omega$ be a strictly pseudoconvex bounded domain in $\mathbb{C}^{n}$. Let $\rho\in C^{2}(\bar{\Omega})$ be a strictly plurisubhamonic defining function for $\Omega=\{\rho<0\}$. The standard Kähler form in $\mathbb{C}^{n}$ is denoted by $\beta:=dd^{c}|z|^{2}$. Without of loss generality we may assume that

[TABLE]

In this section we will prove a general characterisation of measures in $\mathcal{M}(\varphi,\Omega)$ which are Mong-Ampère measures of Hölder continuous plurisubharmonic functions. To state our result we need definitions and properties relate to the Cegrell classes. The class $\mathcal{E}_{0}:=\mathcal{E}_{0}(\Omega)$ is defined by

[TABLE]

We will also work with a subclass of $\mathcal{E}_{0}$, namely,

[TABLE]

The following basic properties of $\mathcal{E}_{0}$ and $\mathcal{E}_{0}^{\prime}$ which will be used later, and we refer the readers to [6, 7] for detailed proofs.

Proposition 2.1**.**

We have

1. (a)

The integration by parts holds true in $\mathcal{E}_{0}$; if $u,v\in\mathcal{E}_{0}$, so does $u+v$. 2. (b)

Let $u\in\mathcal{E}_{0}$. Let $v\in PSH\cap L^{\infty}(\Omega)$ be such that $\lim_{z\to\partial\Omega}v(z)=0$, and $v\geq u$. Then, $v\in\mathcal{E}_{0}$ and

[TABLE] 3. (c)

Let $u,v\in\mathcal{E}_{0}^{\prime}$. Then, $\max\{u,v\}\in\mathcal{E}_{0}^{\prime}$ and $\max\{u,-s\}\in\mathcal{E}_{0}^{\prime}$ for every $s>0$. 4. (d)

For $u_{1},...,u_{n}\in\mathcal{E}_{0}$ the Cegrell inequality reads as follows.

[TABLE]

In what follows we always denote for $p>0$

[TABLE]

where $dV_{2n}$ is the Lebesgue measure in $\mathbb{C}^{n}$. The constant $C>0$ will appear in many places below, we understand that it is a uniform constant and it may differ from place to place.

Lemma 2.2**.**

Let $\nu$ be a positive Borel measure on $\Omega$ and let $0<\alpha\leq 1$. Then,

[TABLE]

if and only if

[TABLE]

Here, the constant $C>0$ is independent of $u,v.$

Proof.

The sufficient condition is clear. To prove the necessary condition we first have that

[TABLE]

Since $u,v\in\mathcal{E}_{0}^{\prime}$, so $\max\{u,v\}\in\mathcal{E}_{0}^{\prime}$. Hence we apply (2.7) twice to get the desired inequality. ∎

For a general positive Borel measure $\nu$ it defines a natural functional

[TABLE]

for a measurable function $w$ in $\Omega$. We introduce the following notion which is probably a local counterpart of the one in Dinh-Sibony [13] and Dinh-Nguyen [12] for positive measures.

Definition 2.3**.**

The measure $\nu$ is called to be Hölder (or $\alpha-$Hölder) continuous on $\mathcal{E}_{0}^{\prime}$ if there exists $0<\alpha\leq 1$ such that

[TABLE]

where the constant $C>0$ is independent of $u,v.$

Thanks to Lemma 2.2 we can verify the Hölder continuity of a positive Borel measure $\nu$ by using either (2.7) or (2.8). The following properties are consequences of the definition.

Lemma 2.4**.**

Let $\nu$ be $\alpha-$Hölder continuous on $\mathcal{E}_{0}^{\prime}$, then we have

• (a)

$\mathcal{E}_{0}\subset L^{1}(d\nu)$;

• (b)

*if $\mu\leq\nu$, then $\mu$ is also *$\alpha-$Hölder continuous on $\mathcal{E}_{0}^{\prime}$;

• (b)

$\nu$* is a Radon measure, and $\nu$ vanishes on pluripolar sets in $\Omega$.*

Proof.

The property $(a)$ is obvious. The property $(b)$ follows from (2.8). Lastly, since $C^{\infty}_{c}(\Omega)\subset\mathcal{E}_{0}\cap C^{0}(\bar{\Omega})-\mathcal{E}_{0}\cap C^{0}(\bar{\Omega})$ (see [7, Lemma 3.1]) it follows that $\nu$ is a Radon measure. Next, let $K\subset\Omega$ be a compact pluripolar set. Let $G_{j}$ be a decreasing sequence of compact sets in $\Omega$ satisfying

[TABLE]

Let $h_{G_{j}}$ denote the relatively extremal function of $G_{j}$. By a theorem of Bedford-Taylor [4] we have

[TABLE]

Hence,

[TABLE]

where the second inequality used the fact that $\nu$ is $\alpha-$Hölder continuous on $\mathcal{E}_{0}^{\prime}.$ Since $h_{G_{j}}^{*}\nearrow h_{K}^{*}\equiv 0$ in $\Omega$, then the right hand side tends to [math] as $j\to\infty$. Thus, $\nu$ vanishes on pluripolar sets in $\Omega.$ ∎

Let us state the announced above characterisation for measures in $\mathcal{M}(\varphi,\Omega)$.

Theorem 2.5**.**

Let $\mu$ be a positive Borel measure such that $\mu\leq(dd^{c}\varphi)^{n}$ for $\varphi\in PSH(\Omega)\cap C^{0,\alpha}(\bar{\Omega})$ and $\varphi=0$ on $\partial\Omega$, where $0<\alpha\leq 1.$ Assume that $\mu$ has finite total mass. Then, $\mu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$ if and only if there exists $u\in PSH(\Omega)\cap C^{0,\alpha^{\prime}}(\bar{\Omega})$, where $0<\alpha^{\prime}\leq 1$, satisfying

[TABLE]

Remark 2.6**.**

One should remark that the Hölder exponent of $\mu$ on $\mathcal{E}_{0}^{\prime}$ is often different from the one of $\varphi$.

Let us prepare ingredients to prove the theorem. The following lemma will be its necessary condition.

Lemma 2.7**.**

Let $\varphi\in PSH(\Omega)\cap C^{0,\alpha}(\bar{\Omega})$ be such that $\varphi=0$ on $\partial\Omega$, where $0<\alpha\leq 1.$ Assume that

[TABLE]

Then, the measure $\nu:=(dd^{c}\varphi)^{n}$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$.

Remark 2.8**.**

On a comact Kähler manifold $(X,\omega)$ this is an analogue of Dinh-Nguyen [12, Proposition 4.1] for $\omega-$plurisubharmonic functions. The difference is that in the local setting one needs to deal with the boundary terms which do not appear in the compact manifold. We succeed to estimate these terms by using the Cegrell inequality (2.5).

Proof.

Denote $\beta=dd^{c}|z|^{2}$ and

[TABLE]

Our goal is to show that there exists $0<\alpha\leq 1$ such that for $w,v\in\mathcal{E}_{0}^{\prime}$

[TABLE]

We proceed by induction over $0\leq k\leq n$. For $k=0$, the statement obviously holds true with $\alpha_{0}=1$. Assume that this holds for integers up to $k<n$. For simplicity let us denote

[TABLE]

The induction hypothesis tells us that there is $0<\alpha_{k}\leq 1$ such that

[TABLE]

We need to show that there exists $0<\alpha_{k+1}\leq 1$ such that

[TABLE]

for every $u,v\in\mathcal{E}_{0}^{\prime}$ and $u\geq v$ (the general case will follow as in the proof of Lemma 2.2). Indeed, without loss of generality we may assume that

[TABLE]

Otherwise, the inequality will follow directly from the induction step (2.10). Let us still write $\varphi$ to be the Hölder continuous extension of $\varphi$ onto a neighbourhood $U$ of $\bar{\Omega}$. Consider the convolution of $\varphi$ with the standard smooth kernel $\chi$, i.e., $\chi\in C^{\infty}_{c}(\Omega)$ such that $\chi(z)\geq 0$, $\mbox{supp }\chi\subset\subset\Omega$ and $\int_{\mathbb{C}^{n}}\chi(z)dV_{2n}=1$. Then, we observe that

[TABLE]

[TABLE]

We first have

[TABLE]

It follows from (2.10) and (2.13) that

[TABLE]

The integration by parts in $\mathcal{E}_{0}$ gives:

[TABLE]

Notice that $d^{c}w\wedge S$ is a positive measure on $\partial\Omega$ with total mass is

[TABLE]

This finiteness of the integral is obtained as follow. By (2.1) it is clear that the defining function $\rho\in\mathcal{E}_{0}$ and $dd^{c}\rho\geq\beta$. Therefore

[TABLE]

The Cegrell inequality (2.5) gives us that the right hand side is less than

[TABLE]

as $w\in\mathcal{E}_{0}^{\prime}$ and $\varphi\in\mathcal{E}_{0}.$ Notice that here the constant $C$ is independent of $w$. Hence, using (2.12), we get that

[TABLE]

Similarly,

[TABLE]

[TABLE]

Finally, using (2.12), (2.16), (2.17), (2.18), (2.19) and (2.20) we are able to finish the estimate

[TABLE]

Thanks to (2.17) and (2.19) we have

[TABLE]

From this inequality we can assume that $0<\|w-v\|_{1}<1/100$. Combining (2.14), (2.15) and (2.21) we have

[TABLE]

Therefore, the proof of (2.11) is completed if we choose

[TABLE]

Thus, the lemma is proven. ∎

The measures which are Hölder continuous on $\mathcal{E}_{0}^{\prime}$ satisfy the volume-capacity inequality, which is the content of the next proposition. This inequality plays a crucial role in deriving the apriori uniform estimate and stability estimates for the solutions to the Monge-Ampère equation.

Proposition 2.9**.**

Assume that $\nu$ is $\alpha-$Hölder continuous on $\mathcal{E}_{0}^{\prime}$ with finite total mass on $\Omega$. Then, there exist uniform constants $\alpha_{1}>0$ and $C>0$ such that for every compact set $K\subset\Omega$

[TABLE]

Proof.

First, we prove that for $v\in PSH\cap L^{\infty}(\Omega)$ and $\lim_{z\to\partial\Omega}v(z)=0$ satisfying $\int_{\Omega}(dd^{c}v)^{n}\leq 1$, there exist uniform constants $\alpha_{1}>0$ (small) and $C>0$ such that

[TABLE]

Indeed, put $v_{s}:=\max\{v,-s\}$. Then

[TABLE]

Since $v_{s},v\in\mathcal{E}_{0}^{\prime}$ and $\nu$ is $\alpha-$Hölder continuous on $\mathcal{E}_{0}^{\prime}$, the right hand side is bounded by

[TABLE]

Since $0\leq v_{s}-v\leq{\bf 1}_{\{v<-s\}}|v|\leq{\bf 1}_{\{v<-s\}}e^{-\alpha_{2}v}/\alpha_{2}$ for $\alpha_{2}>0$ (to be determined later), we have

[TABLE]

The last integral is uniformly bounded for $2\alpha_{2}>0$ small enough thanks to [19, Lemma 4.1]. Combining (2.24), (2.25) and (2.26) we get that

[TABLE]

Hence, we obtained (2.23) for $\alpha_{1}=\alpha\alpha_{2}$ with $\alpha_{2}>0$ small enough.

To finish the proof of the proposition we use an argument which is inspired by the proofs in [1]. Let $K\subset\Omega$ be compact. Since $\nu$ vanishes on pluripolar sets (Lemma 2.4) we may assume that $K$ is non-pluripolar. Let $h_{K}^{*}$ be the relative extremal function of $K$ with respect to $\Omega$. Since $K\subset\Omega$ is compact, it is well-known that

[TABLE]

By [4, Proposition 5.3] we have

[TABLE]

Let $0<x<1.$ Since the function $w:=\frac{h_{K}^{*}}{\tau}$ satisfies assumptions of the inequality (2.23), we have

[TABLE]

Let $x\to 0^{+}$, we obtain

[TABLE]

Since $h_{K}=h_{K}^{*}$ outside a pluripolar set, we have

[TABLE]

We combine (2.27) and (2.28) to finish the proof. ∎

We can follow the proofs in [14], [15] and [17], to derive the stability estimate for the measures which are well dominated by capacity.

Proposition 2.10**.**

Suppose that $\mu=(dd^{c}u)^{n}$ for $u\in PSH(\Omega)\cap C^{0}(\bar{\Omega})$ and $\mu$ satisfies the inequality (2.22). Let $v\in PSH(\Omega)\cap C^{0}(\bar{\Omega})$ be such that $u=v$ on $\partial\Omega$. Then, there exist constants $C>0$ and $0<\alpha_{2}<1$ independent of $v$ such that

[TABLE]

Proof.

It readily follows from the one of [15, Theorem 1.1] with obvious adjustments. ∎

We proceed to the proof of Theorem 2.5. Let $\mu\in\mathcal{M}(\varphi,\Omega)$ with $\mu(\Omega)<+\infty.$ The theorem asserts that $\mu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$ if and only there exists $u\in PSH(\Omega)\cap C^{0,\alpha^{\prime}}(\bar{\Omega})$, $0<\alpha^{\prime}\leq 1$, solving

[TABLE]

First, we see that the sufficient condition follows from Lemma 2.7 applied for $\varphi:=u$. It remains to prove the necessary condition. By Proposition 2.9, the measure $\mu$ satisfies the volume-capacity inequality (2.22). Therefore, using Kołodziej’s result [19, Theorem 5.9] we solve $u\in PSH(\Omega)\cap C^{0}(\bar{\Omega})$,

[TABLE]

The existence of the Hölder continuous subsolution assures that the solution $u$ is Hölder continuous on the boundary. To see this, we get by the comparison principle [4] that

[TABLE]

Let us denote for $\delta>0$ small

[TABLE]

and for $z\in\Omega_{\delta}$ we define

[TABLE]

[TABLE]

where $\sigma_{2n}$ is the volume of the unit ball.

Lemma 2.11**.**

There exist constants $c_{0}=c_{0}(\varphi)>0$ and $\delta_{0}>0$ small such that for any $0<\delta<\delta_{0}$,

[TABLE]

for every $z\in\partial\Omega_{\delta}$, where $\alpha$ is the Hölder exponent of $\varphi.$

Proof.

Fix a point $z\in\partial\Omega_{\delta}$. It follows from (2.31) and (2.33) that

[TABLE]

Choose $\zeta_{0}\in\mathbb{C}^{n}$, $\|\zeta_{0}\|=\delta$, such that $z+\zeta_{0}\in\partial\Omega$. Then, $\varphi(z+\zeta_{0})=0$, and

[TABLE]

for $0<\delta<\delta_{0}$ as $\varphi\in C^{0,\alpha}(\bar{\Omega})$. ∎

The following result follows essentially from [2, Theorem 3.3, Theorem 3.4].

Lemma 2.12**.**

Fix $0<\alpha_{4}<1$. Then, we have for every $\delta>0$ small,

[TABLE]

Proof.

First, we know from the classical Jensen formula (see e.g [15, Lemma 4.3]) that

[TABLE]

Since both $\rho$ and $-dist(z,\partial\Omega)$ are defining functions of the $C^{2}$ bounded domain, we have $-\rho(z)\geq c_{1}\;dist(z,\partial\Omega)$ for some uniform constant $c_{1}>0$ depending on $\rho$ and $\Omega$. Hence,

[TABLE]

Put $2\delta_{1}=c_{1}\delta$. Then,

[TABLE]

We may also assume that $\{\rho<-\delta_{1}\}$ has the smooth boundary. Then, we have for a fixed $0<\alpha_{4}<1$,

[TABLE]

where we used the integration by parts for the third equality, and $c_{n}$ is a constant depends only on $n$.

Next, we are going to get a uniform bound for the last two integrals in (2.39). We compute

[TABLE]

It is clear that

[TABLE]

The integral on the right hand converges as $0<\alpha_{4}<1$. Similarly,

[TABLE]

Therefore, by (2.40), (2.41) and (2.42) the first integral

[TABLE]

We continue with the second one.

[TABLE]

Combining (2.38), (2.39), (2.43) (2.44), and then substituting $\delta=2\delta_{1}/c_{1}$ we conclude that

[TABLE]

Hence, using this and (2.37) we get that

[TABLE]

We thus completed the proof of the lemma. ∎

We are in the position to complete the theorem.

End of the proof of Theorem 2.5.

It follows from Lemma 2.11 and $\hat{u}_{\delta}\leq u_{\delta}$ that

[TABLE]

belongs to $PSH(\Omega)\cap C^{0}(\bar{\Omega})$. Notice that

[TABLE]

By applying Proposition 2.10 for $\tilde{u}$ and $u$, there is $0<\alpha_{2}\leq 1$ such that

[TABLE]

Since $\mu\leq(dd^{c}\varphi)^{n}$, it follows from Lemma 2.7 that $\mu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$. Moreover,

[TABLE]

where $c_{2}=[\mu(\Omega)]^{1/n}$. Therefore, there is $0<\alpha_{3}\leq 1$ such that

[TABLE]

By Lemma 2.12 and (2.45) the right hand side is controlled by

[TABLE]

for a fixed $0<\alpha_{4}<1.$ Hence, using Lemma 2.11, (2.46) and (2.47),

[TABLE]

where $\alpha_{5}=\min\{\alpha,\alpha_{2}\alpha_{3}\alpha_{4}\}$. Thanks to [15, Lemma 4.2] we infer that

[TABLE]

for $0<\delta<\delta_{0}$. Thus the proof of the Hölder continuity of $u$ in $\bar{\Omega}$ is completed. ∎

Let us now complete the proof of the main theorem.

Proof of Theorem 1.2.

Since $\mu\in\mathcal{M}(\varphi,\Omega)$ and $\int_{\Omega}(dd^{c}\varphi)^{n}<+\infty$, it follows from Lemma 2.4 and Lemma 2.7 that $\mu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$. By Theorem 2.5 there exists $u\in PSH(\Omega)\cap C^{0,\alpha^{\prime}}(\bar{\Omega})$, $0<\alpha^{\prime}\leq 1$, solving

[TABLE]

Thus, the proof is completed. ∎

Next, we give the following simple consequence of the main theorem. This result is also partially proved by another way in [9, Theorem 3.6].

Corollary 2.13**.**

Let $\mu\in\mathcal{M}(\varphi,\Omega)$. Assume that $\mu$ has compact support in $\Omega$. Then Dirichlet problem (1.3) is solvable.

Proof.

Let $\rho$ be the defining function as in (2.1). Assume that $K:=\mbox{supp }\mu\subset\subset\Omega$ and we fix a small constant $\delta>0$. There exists $A>0$ large enough such that $A\rho\leq\varphi-\delta$ in the neighbourhood $\Omega^{\prime}\subset\subset\Omega$ of $K$. Set

[TABLE]

We easily see that $\tilde{\varphi}=\varphi$ on $\Omega^{\prime}$ and $\tilde{\varphi}=A\rho$ near the boundary $\partial\Omega$, and $\tilde{\varphi}$ is Hölder continuous in $\bar{\Omega}$ with the same exponent of $\varphi$. Therefore,

[TABLE]

The finiteness of the integral is followed from the Chern-Levine-Nirenberg inequality and $C^{2}$-smoothness near the boundary of $\tilde{\varphi}$. Using Theorem 1.2 we can solve the Dirichlet problem (1.3) for $\mu$. ∎

It is obvious that the Lebesgue measure $dV_{2n}$ is $1$-Hölder continuous on $\mathcal{E}_{0}^{\prime}$. Then, we have the following general result which contains previous results in [2], [8], [15] for the zero boundary case.

Corollary 2.14**.**

Let $\nu$ be Hölder continuous on $\mathcal{E}_{0}^{\prime}$. Let $0\leq f\in L^{p}(\Omega,d\nu)$, $p>1$. Then, $fd\nu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$. In particular, the Dirichlet problem (1.3) admits a unique solution for the measure $\mu=fd\nu$.

Proof.

The case $n=1$ is classical, so we assume that $n\geq 2$. It is sufficient to show that $fd\nu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$. Assume that $u,v\in\mathcal{E}_{0}^{\prime}$ and $u\geq v$. Consider the triples

[TABLE]

and

[TABLE]

Then, the generalised Hölder inequality for

[TABLE]

gives us that

[TABLE]

Since $\nu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$, there is $0<\alpha\leq 1$ such that

[TABLE]

Therefore, to end the proof, we need to verify that the first factor of the right hand side in (2.48) is uniformly bounded. Indeed, by the Hölder inequality we have

[TABLE]

where $1/p+1/q=1$. Hence, $fd\nu$ satisfies the volume-capacity inequality (2.22). By Kołodziej’s theorem [19, Theorem 5.9] there exists $\psi\in PSH(\Omega)\cap C^{0}(\bar{\Omega})$ satisfying $(dd^{c}\psi)^{n}=fd\nu,\quad\psi_{|_{\partial\Omega}}=0$ and

[TABLE]

By an estimate of Błocki [5] we have

[TABLE]

The right hand side under controlled as $v\in\mathcal{E}_{0}^{\prime}$. It follows from (2.48),(2.49), (2.50) and (2.51) that

[TABLE]

Thus, the corollary follows. ∎

Finally, we emphasise that several interesting examples of positive Borel measures for which one can solve the Dirichlet problem (1.3) are given in Charabati [9] (see also [21], [22]). In particular, the class of Hausdorff-Riesz measures of order $2n-2+\varepsilon$ with $0<\varepsilon\leq 2$ in $\Omega$. By Theorem 2.5 such measures are Hölder continuous on $\mathcal{E}_{0}^{\prime}.$ On the other hand we can prove directly this result.

Lemma 2.15**.**

Let $\mu$ be a Hausdorff-Riesz measure of order $2n-2+\varepsilon$ with $0<\varepsilon\leq 2$ in $\Omega$, i.e., for every $B(z,\delta)\subset\Omega$

[TABLE]

where $0<\delta<\delta_{0}$ small. Assume that $\mu$ has finite total mass. Then, $\mu$ is Hölder continuous on $\mathcal{E}_{0}^{\prime}$.

Proof.

By classical potential theory we solve $\varphi\in SH(\Omega)\cap C^{0,\alpha}(\bar{\Omega})$ satisfying

[TABLE]

The Hölder continuity follows from (2.52) (see e.g. [10, Remark 4.2]). Let us still write $w$ for its Hölder continuous extension onto a neighbourhood $U$ of $\bar{\Omega}$. Let $w,v\in\mathcal{E}_{0}^{\prime}$ and $w\geq v$. We need to show that

[TABLE]

for some $0<\alpha^{\prime}\leq 1.$ We can write $\Delta\varphi=ndd^{c}\varphi\wedge\beta^{n-1}$ in the sense of measures. Define $\varphi_{\delta}$ is the convolution of $\varphi$ with the standard smooth kernel, then we have as in (2.12) and (2.13) that

[TABLE]

From this point the proof goes the same as the one in Lemma 2.7 with the closed positive current $S=\beta^{n-1}$. ∎