On the existence of Kobayashi and Bergman metrics for Model domains

TL;DR

This paper establishes the equivalence of several complex geometric properties, including hyperbolicity and the existence of Bergman metrics, for a class of pseudoconvex model domains in complex two-space.

Contribution

It proves that for certain pseudoconvex domains, hyperbolicity, Bergman metric existence, and plurisubharmonic functions are equivalent, characterizing their complex geometry.

Findings

Kobayashi hyperbolicity implies Bergman metric existence.

Absence of special holomorphic foliation characterizes hyperbolicity.

Equivalence of hyperbolicity, Bergman metric, and plurisubharmonic core.

Abstract

We prove that for a pseudoconvex domain of the form $\mathfrak{A} = \{(z, w) \in \mathbb C^2 : v > F(z, u)\}$, where $w = u + iv$ and F is a continuous function on ${\mathbb C}_z \times {\mathbb R}_u$, the following conditions are equivalent: (1) The domain $\mathfrak{A}$ is Kobayashi hyperbolic. (2) The domain $\mathfrak{A}$ is Brody hyperbolic. (3) The domain $\mathfrak{A}$ possesses a Bergman metric. (4) The domain $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function, i.e. the core $\mathfrak{c}(\mathfrak{A})$ of $\mathfrak{A}$ is empty. (5) The graph $\Gamma(F)$ of $F$ can not be represented as a foliation by holomorphic curves of a very special form, namely, as a foliation by translations of the graph $\Gamma({\mathcal H})$ of just one entire function ${\mathcal H} : {\mathbb C}_z \to {\mathbb C}_w$.

Equations

$$\mathfrak{A}=\{(z,w)\in {\mathbb{C}}^2:v>F(z,u)\},$$

$$\partial \mathfrak{A}=\bigcup _{t\in \mathbb{R}}\Gamma (\mathcal{H}+(t+i\Theta (t))),$$

$$\begin{split}\mathfrak{c}(\mathcal{M})\mathrel{\mathop{:}}=\big{\{}&p\in\mathcal{M}:\text{every smooth plurisubharmonic function on $\mathcal{M}$ that is}\\ &\text{bounded from above fails to be strictly plurisubharmonic in }p\big{\}}\end{split}$$

$$\hat{K}=\{p\in {\mathbb{C}}^n:|\mathcal{P}(p)|\le \underset{q\in K}{\sup }|\mathcal{P}(q)|\mathrm{for}\mathrm{all}\mathrm{holomorphic}\mathrm{polynomials}\mathcal{P}\mathrm{in}{\mathbb{C}}^n\}.$$

$$\underset{q\in K}{\sup }\varphi (q)<\varphi (p).$$

$$t^{\ast }:=\inf \{t\in (0,\infty ):F(z,u)\le {\Phi }_R(z,u)+t\mathrm{for}\mathrm{all}(z,u)\in B_R(0)\}>0,$$

$$F_{R}(z,u)\mathrel{\mathop{:}}=\left\{\begin{array}[]{c@{\,,\quad}l}F(z,u)&{\rm{for}}\,\,(z,u)\in({\mathbb{C}}_{z}\times{\mathbb{R}_{u}})\setminus\overline{B_{R}(0)},\\ \Phi_{R}(z,u)&{\rm{for}}\,\,(z,u)\in B_{R}(0).\end{array}\right.$$

$${\mathfrak{A}}_R:=\{(z,w)\in {\mathbb{C}}^2:v>F_R(z,u)\}$$

$${\tilde{\mathfrak{A}}}_R:=\{(z,w)\in B_R(0)\times {\mathbb{R}}_v:F(z,u)<v<{\Phi }_R(z,u)\}.$$

$$\tilde{\mathfrak{A}}:=\bigcup _{n\in \mathbb{N}}{\tilde{\mathfrak{A}}}_n.$$

$$C_n=\max \{F_n(z,u),(z,u)\in \overline{B_{n+1}(0)}\},$$

$$K_n=\{(z,w)\in \overline{B_{n+1}(0)}\times {\mathbb{R}}_v:F_n(z,u)\le v\le C_n+1\}.$$

$$A_1=\{(z,w)\in {\mathbb{C}}^2:|z{|}^2+|u{|}^2>(n+1{)}^2\mathrm{or}v>C_n+1\}$$

$$A_2=\{(z,w)\in \overline{B_{n+1}(0)}\times {\mathbb{R}}_v:v<F_n(z,u)\}.$$

$$\varphi (z,w)=\max \{|z{|}^2+|u{|}^2-(n+1{)}^2,v-(C_n+1)\}.$$

$${\mathfrak{A}}_n^t:=\{(z,w)\in {\mathbb{C}}^2:v>F_n(z,u)-t\},$$

$$t^{\ast }:=\inf \{t\in [0,\infty ):{\hat{K}}_n\subset \overline{{\mathfrak{A}}_n^t}\}>0.$$

$$\underset{p\in {\hat{K}}_n}{\sup }{\tau }^{t^{\ast }+\epsilon }(p)\to +\infty$$

$$\underset{p\in K_n}{\sup }{\tau }^{t^{\ast }+\epsilon }(p)$$

$$C^{\ast }:=\underset{p\in {\hat{K}}_n}{\sup }{\tau }^{t^{\ast }+{\epsilon }^{\ast }}(p)$$

$${\mathfrak{M}}^{\ast }:=\{p\in {\mathfrak{A}}_n^{t^{\ast }+{\epsilon }^{\ast }}:{\tau }^{t^{\ast }+{\epsilon }^{\ast }}(p)=C^{\ast }\}$$

$$\underset{p\in K_n}{\sup }{\tau }^{t^{\ast }+{\epsilon }^{\ast }}(p)<{\tau }^{t^{\ast }+{\epsilon }^{\ast }}(p^{\ast }).$$

$$p^{\ast }\in {\hat{K}}_n\setminus K_n.$$

$${\mathfrak{A}}_n^{\ast }:=\{p\in {\mathfrak{A}}_n^{t^{\ast }+{\epsilon }^{\ast }}:{\tau }^{t^{\ast }+{\epsilon }^{\ast }}(p)<C^{\ast }\}$$

$$\widetilde{\phi}_{n}(p)\mathrel{\mathop{:}}=\left\{\begin{array}[]{c@{\,,\quad}l}\phi_{n}(p)&{\rm{for}}\,\,p\in{\widetilde{\mathfrak{A}}}_{n},\\ 0&{\rm{for}}\,\,p\in\mathfrak{A}\setminus{\widetilde{\mathfrak{A}}}_{n},\end{array}\right.$$

$$\mathcal{E}:=\mathfrak{A}\setminus \tilde{\mathfrak{A}}\ne \varnothing$$

$${\mathcal{E}}^{\ast }:=p(\mathcal{E}),$$

$$Foreverypoint(z,w)\in \mathcal{E}andeveryt>0theinclusion(z,w+it)\in \mathcal{E}holds.$$

$${\mathcal{E}}_0:=\{(z,w)\in {\mathbb{C}}^2:foreveryt>0onehas(z,w+it)\in \mathcal{E},but(z,w-it)\notin \mathcal{E}\}$$

$$\mathcal{F}:=\{p\in {\mathbb{C}}^2:p=\underset{n\to \infty }{\lim }{q}_{n}forsomesequenceofpoints{q}_n\in \Gamma (F_n)\},$$

Full text

1. 1 Introduction
2. 2 Preliminaries
3. 3 Construction of the domain $\widetilde{\mathfrak{A}}$
4. 4 The case when $\widetilde{\mathfrak{A}}=\mathfrak{A}$
5. 5 The case when $\widetilde{\mathfrak{A}}\neq\mathfrak{A}$
6. 6 Proof of the Main Theorem

1 Introduction

The purpose of this paper is to study the Kobayashi and Bergman metrics for pseudoconvex domains of the form $\mathfrak{A}=\{(z,w)\in{\mathbb{C}^{n}_{z}\times{\mathbb{C}}_{w}}:v>F(z,u)\}$, where $w=u+iv$ and F is a continuous function on $\mathbb{C}^{n}_{z}\times{\mathbb{R}}_{u}$. This type of domains we call in what follows for Model domains. They appear naturally (usually with much more special choice of the function F) as the limit domains in the scaling method (see, for example, [Pi]), in the representations of domains of finite type, in the biholomorphic classification problem etc. Note that in the last problem the existence of Kobayashi metric on $\mathfrak{A}$ is of special interest, since in the case of its existence the group ${\text{Aut}}(\mathfrak{A})$ of holomorphic automorphisms of $\mathfrak{A}$ is in fact a finite-dimensional real Lie group (see, for example, [Ka, Folgerung 2.6, p. 55] or [Ko1, Theorem 2.1, p. 68]).

Despite the fact that many properties for special classes of such domains were intensively studied (see, just to cite a few, [KN], [F], [BF], [BP], [CP], [CKO], [AGK]), to the best of our knowledge no results were known in the general case. Surprisingly, in the case of complex dimension two there is a complete characterization of Model domains possessing Kobayasi and Bergman metrics in the general setting.

The main result of this paper asserts that for a Model domain $\mathfrak{A}$ in $\mathbb{C}^{2}$ the property of being Kobayashi hyperbolic and the property to possess a Bergman metric occur simultaneously. Moreover, these two properties hold true for all such domains, except for the very specal case when the boundary $\partial{\mathfrak{A}}$ of $\mathfrak{A}$ is foliated by translations of just one entire function $w={\mathcal{H}}(z)$. More precisely, the following statement holds true.

Main Theorem. Let $\mathfrak{A}$ be a pseudoconvex domain of the form

[TABLE]

where $w=u+iv$ and F is a continuous function on ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$. Then the following conditions are equivalent:

1. (1)

The domain $\mathfrak{A}$ is Kobayashi hyperbolic. 2. (2)

The domain $\mathfrak{A}$ is Brody hyperbolic. 3. (3)

The domain $\mathfrak{A}$ possesses a Bergman metric. 4. (4)

The domain $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function, i.e. the core $\mathfrak{c}(\mathfrak{A})$ of $\mathfrak{A}$ is empty. 5. (5)

The boundary $\partial{\mathfrak{A}}$ of $\mathfrak{A}$ can not be represented as follows:

[TABLE]

where ${\mathcal{H}}:{\mathbb{C}}_{z}\to{\mathbb{C}}_{w}$ is an entire function, $\Theta:{\mathbb{R}}\to{\mathbb{R}}$ is a continuous function and $\Gamma({\mathcal{H}}+(t+i\Theta(t)))$ denote the graph of the function $w={\mathcal{H}}(z)+(t+i\Theta(t))$.

Condition (4) of the theorem above plays a crucial role in its proof and can also be expressed in terms of the core $\mathfrak{c}(\mathfrak{A})$ of $\mathfrak{A}$ (for the definition of the core see the next section of this paper). The notion of the core of a domain (or, more generally, the core of a manifold) was introduced and systematically studied few years ago by Harz-Shcherbina-Tomassini in [HST1-3]. Some results of [HST2] on the structure of the core were then generalised to the case of higher dimensions by Poletsky-Shcherbina in [PS] and Slodkowski in [Sl]. Recently Poletsky in [Po] used manifolds with empty core to develop further the theory of pluricomplex Green functions. A notion similar to the notion of a manifold with empty core, but with no regularity assumptions on plurisubharmonic functions in question, was considered by Boucksom-Diverio in [BD] in connection to Lang’s conjecture. They call such manifolds for manifolds of bounded type. We do not know if for domains in $\mathbb{C}^{n}$ with not ”too irregular” boundary the properties of having an empty core and being of bounded type coincide or not.

Note also that even though the notion of the core of a domain depends on the smoothness of the considered class of plurisubharmonic functions, the classical Richberg’s theorem (see, for example, Theorem I.5.21 in [D] or [Ri]) implies that the condition of having an empty core does not depend on the smoothness class as soon as the functions are at least continuous.

The proof of our theorem is essentially based on the results and technique developed in [Sh]. For the convenience of the reader we will remind in the next section the main result and the necessary preparatory statements of that paper.

As a final comment, we want to point out that the results of our Main Theorem are not true in general for Model domains in $\mathbb{C}^{n}$ with $n\geq 3$ as it is shown in the forthcoming paper [GS].

2 Preliminaries

In this section we collect some definitions and results which will be used in the proof of the Main Theorem.

We start with the definition of the core of a manifold.

Definition 1. Let $\mathcal{M}$ be a complex manifold. Then the set

[TABLE]

is called the core of $\mathcal{M}$.

The next statement, which follows easily from the definition of the core, shows that two properties mentioned in the Condition (4) of the Main Theorem are equivalent.

Lemma 1. For a complex manifold $M$ the property that the core $\mathfrak{c}(M)$ of $M$ is empty holds true if and only if there is a bounded smooth strictly plurisubharmonic function on $M$.

Proof**.**

Assume that the core $\mathfrak{c}(M)$ of $M$ is empty. Then for every $p\in M$, there exists a smooth bounded above plurisubharmonic function $\psi_{p}$ on $M$ that is strictly plurisubharmonic on an open neighbourhood $V_{p}\subset M$ of $p$. Let $\{p_{j}\}_{j=1}^{\infty}$ be a sequence of points $p_{j}\in M$ such that $\bigcup_{j=1}^{\infty}V_{p_{j}}=M$. Then, for suitably chosen sequence of positive numbers $\{\varepsilon_{j}\}_{j=1}^{\infty}$ the function $\tilde{\psi}=\sum_{j=1}^{\infty}\varepsilon_{j}\psi_{p_{j}}$ is a smooth bounded above function which is strictly plurisubharmonic on the whole of $M$. Hence $e^{\tilde{\psi}}$ will be a function as desired. The opposite implication is obvious. $\Box$

Now we formulate a shortened version of the Main Theorem in [Sh] which is enough for our purposes here.

Theorem 1. Let $G$ be a bounded strictly convex domain in ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ and $\varphi:\partial{G}\to{\mathbb{R}}_{v}$ be a continuous function. Then the following properties hold:

1. (1)

There is a continuous function $\Phi:\bar{G}\rightarrow{\mathbb{R}}_{v}$ such that $\Phi|_{\partial{G}}=\varphi$ and $\widehat{\Gamma}(\varphi)={\Gamma}(\Phi)$. 2. (2)

The set ${\Gamma}(\Phi)\setminus\Gamma(\varphi)$ is the union of a disjoint family of complex disks $\{D_{\alpha}\}$. 3. (3)

For each $\alpha$, there is a simply-connected domain $\Omega_{\alpha}\subset\mathbb{C}_{z}$ and a holomorphic function $w={f_{\alpha}}(z)$, defined on the domain $\Omega_{\alpha}$, such that the disk $D_{\alpha}$ is the graph of the function $f_{\alpha}$.

Here $\Gamma(\varphi)$ means the graph of the function $\varphi$ and $\widehat{\Gamma}(\varphi)$ the polynomial hull of this graph.

We also state below Lemma 3.2, Lemma 3.3 and slightly strengthened version of Lemma 3.5 from the paper [Sh] enumerating them as Lemma 2, Lemma 3 and Lemma 4, respectively.

Lemma 2. Let $\mathcal{U}$ be a smooth connected surface which is properly embedded into some convex domain $G\subset{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$. Suppose that near each point of this surface it can be defined locally by the equation $u=u(z)$. Then the surface $\mathcal{U}$ can be represented globally as a graph of some function $u=U(z)$, defined on some domain $\Omega\subset{\mathbb{C}}_{z}$.

Lemma 3. Let $\Omega$ be a domain in ${\mathbb{C}}_{z}$, and $U$ be a harmonic function on this domain. Suppose that the graph of the function $U$ is properly embedded into some convex domain $G\subset{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$. If $U$ has a single-valued harmonic conjugate function $V$, then $\Omega$ is simply-connected.

Lemma 4. Let $\Omega\subset\Delta_{R}(0)=\{z:|z|<R\}$ be a simply-connected domain which contains the origin. Let $U$ be a harmonic function on $\Omega$ such that its graph is properly embedded into the cylinder $\Delta_{R}(0)\times(-R,R)\subset{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ and $U(0)=0$. Suppose that $U$ has a harmonic conjugate function $V$ such that $\inf_{z\in\Omega}V(z)\geq M$ and $V(0)\leq L$. Then there exists $R^{\ast}>0$, which depends only on $R$, $M$ and $L$, such that the disk $\Delta_{R^{\ast}}(0)$ is contained in $\Omega$.

The proof of Lemma 4 here goes exactly the same way as the proof of Lemma 3.5 in [Sh]. We only need to replace there the rectangle $\Pi_{R,M}=\{w\in{\mathbb{C}}_{w}:-R<u<R,-M<v<M\}$ with the half-strip $\widetilde{\Pi}_{R,M}=\{w\in{\mathbb{C}}_{w}:-R<u<R,-M<v\}$, the set $E=\bar{\Pi}_{R,M}\cap\{v=\pm M\}$ with the set $\widetilde{E}=\bar{\Pi}_{R,M}\cap\{v=-M\}$, and the harmonic measure $\omega(0,E,\Pi_{R,M})$ with the harmonic measure $\omega(iL,\widetilde{E},\widetilde{\Pi}_{R,M})$.

Now we recall some results on Kobayashi and Bergman metrics which will be used in the proof of the Main Theorem. For background on these metrics we refer to [Ko1], [Ko2] and [GKK].

The next statement gives a link between Kobayashi hyperbolicity and the existence of bounded strictly plurisubharmonic functions. It is just a slight reformulation of Theorem 3 on p. 362 in [Si].

Theorem 2. Let $M$ be a complex manifold which has a bounded continuous strictly plurisubharmonic function. Then $M$ is Kobayashi hyperbolic.

A similar criterion holds true for the existence of Bergman metric. It is a consequence of Theorem 1, p. 2998, and Observation 2, p. 3002, in [CZ].

Theorem 3. Let $M$ be a Stein manifold which has a bounded continuous strictly plurisubharmonic function. Then $M$ possesses a Bergman metric.

We also remind here the definition of Brody hyperbolicity.

Definition 2. A complex manifold is said to be Brody hyperbolic if it admits no nonconstant holomorphic maps from $\mathbb{C}$.

The last preparatory statements which are needed for our proof provide a link between polynomial convexity and globally defined plurisubharmonic functions.

Recall first the definition of polynomial convexity.

Definition 3. For a compact set $K$ in ${\mathbb{C}}^{n}$, the polynomial hull $\widehat{K}$ of $K$ is defined as

[TABLE]

The set $K$ is called polynomially convex if $\widehat{K}=K$.

The following simple lemma is classical and follows, for example, from Theorem 4.3.4 in [H].

Lemma 5. Let $K$ be a compact set in ${\mathbb{C}}^{n}$. Then $p\in{\mathbb{C}}^{n}\setminus\widehat{K}$ if and only if there is a function $\phi$, plurisubharmonic in ${\mathbb{C}}^{n}$, such that

[TABLE]

The next statement is more involved. It is a slightly shortened version of Theorem 1.3.8 on p. 24 in [St].

Theorem 4. A compact set $K\subset{\mathbb{C}}^{n}$ is polynomially convex if and only if there is a non-negative smooth plurisubharmonic function $\phi$ defined on the whole of ${\mathbb{C}}^{n}$ such that $K=\{p\in{\mathbb{C}}^{n}:\phi(p)=0\}$ and $\phi$ is strictly plurisubharmonic on ${\mathbb{C}}^{n}\setminus K$.

3 Construction of the domain $\widetilde{\mathfrak{A}}$

For an arbitrary $R>0$ we consider the ball $B_{R}(0)=\{(z,u)\in{\mathbb{C}}_{z}\times{\mathbb{R}_{u}}:|z|^{2}+u^{2}<R^{2}\}$ of radius $R$ centered at the origin and then denote by $\varphi_{R}$ the restriction $F|_{\partial{B_{R}(0)}}$ of the function $F$ to the boundary ${\partial{B_{R}(0)}}$ of this ball. If we apply now Part (1) of the Theorem 1 above to the ball $B_{R}(0)$ on the place of $G$ and the function $\varphi_{R}$ on the place of $\varphi$, we will get a continuous extension $\Phi_{R}$ of the function $\varphi_{R}$ to $\overline{{B}_{R}(0)}$ whose graph is Levi flat over $B_{R}(0)$.

The following properties of the function $\Phi_{R}$ are easy to prove.

Lemma 6. For every $R>0$ and each $(z,u)\in B_{R}(0)$ one has $F(z,u)\leq\Phi_{R}(z,u)$.

Proof**.**

We argue by contradiction and suppose that $F(z_{0},u_{0})>\Phi_{R}(z_{0},u_{0})$ for some $(z_{0},u_{0})\in B_{R}(0)$. Then

[TABLE]

and hence, by continuity of the functions $F$ and $\Phi_{R}$, there is a point $(z^{\ast},u^{\ast})\in B_{R}(0)$ such that $F(z^{\ast},u^{\ast})=\Phi_{R}(z^{\ast},u^{\ast})+t^{\ast}=\mathrel{\mathop{:}}v^{\ast}$. Since, by Part (2) of Theorem 1, the graph of the function $\Phi_{R}$ is foliated by holomorphic disks $\{D_{\alpha}\}$, there is a disk $D_{\alpha^{\ast}}$ such that $p^{\ast}\mathrel{\mathop{:}}=(z^{\ast},u^{\ast}+iv^{\ast})\in D_{\alpha^{\ast}}$. For each $t\in[0,1]$ we denote by $D^{t}_{\alpha^{\ast}}$ a translation of the disk $D_{\alpha^{\ast}}$ on $t$ in the v-direction. Then, by construction, the family $\{D^{t}_{\alpha^{\ast}}\}_{t\in[0,1]}$ has the properties that $D^{t}_{\alpha^{\ast}}\subset\mathfrak{A}=\{(z,w)\in\mathbb{C}^{2}:v>F(z,u)\}$ for all $t>0$ and that $p^{\ast}\in D^{0}_{\alpha^{\ast}}\cap\partial{\mathfrak{A}}$. Thus, by Kontinuitätssatz, the domain $\mathfrak{A}$ is not pseudoconvex, which contadicts to our assumptions on $\mathfrak{A}$. $\Box$

Lemma 7. For all   $0<R_{1}<R_{2}$ and each $(z,u)\in B_{R_{1}}(0)$ one has   $\Phi_{R_{1}}(z,u)\leq\Phi_{R_{2}}(z,u)$.

Proof**.**

First, we define for each $R>0$ a function $F_{R}:{\mathbb{C}}_{z}\times{\mathbb{R}_{u}}\to\mathbb{R}_{v}$ as

[TABLE]

It follows from continuity of the functions $F$ and $\Phi_{R}$ that the function $F_{R}$ is continuous. Moreover, from pseudoconvexity of the domain $\mathfrak{A}=\{(z,w):v>F(z,u)\}$ and Levi flatness of the graph $\Gamma(\Phi_{R})=\{(z,w)\in B_{R}(0)\times{\mathbb{R}_{v}}:v=\Phi_{R}(z,u)\}$ of $\Phi_{R}$ we conclude that the domain

[TABLE]

is also pseudoconvex. The statement of the lemma is now a direct consequence of Lemma 6, if we replace there the function $F$ which defines $\mathfrak{A}$ with the new function $F_{R_{1}}$, the domain $\mathfrak{A}$ with the domain $\mathfrak{A}_{R_{1}}$ and the radius $R$ with $R_{2}$. $\Box$

Next, for each $R>0$ we define the domain ${\widetilde{\mathfrak{A}}}_{R}$ as

[TABLE]

Observe that one of the direct consequences of Lemma 6 and Lemma 7 is the following property of the domains ${\widetilde{\mathfrak{A}}}_{R}$.

Lemma 8. For all   $0<R_{1}<R_{2}$ one has ${\widetilde{\mathfrak{A}}}_{R_{1}}\subset\,{\widetilde{\mathfrak{A}}}_{R_{2}}\subset\,\mathfrak{A}$.

Now we can finally define the domain $\widetilde{\mathfrak{A}}$ as

[TABLE]

$\widetilde{\mathfrak{A}}$ is obviously a subdomain (which can also be empty) of ${\mathfrak{A}}$. In the next two sections we consider two possible cases for $\widetilde{\mathfrak{A}}$.

4 The case when $\widetilde{\mathfrak{A}}=\mathfrak{A}$

Let us consider an arbitrary number $n\in\mathbb{N}$ which we fix till the end of the proof of Lemma 9. Let

[TABLE]

where $F_{n}$ is the function $F_{R}$ defined by formula (2) above with $R=n$. Consider the set

[TABLE]

Lemma 9. The set $K_{n}$ is polynomially convex.

Proof**.**

We consider two sets

[TABLE]

and

[TABLE]

Since $A_{1}\cup A_{2}=\mathbb{C}^{2}\setminus K_{n}$, we conclude that for proving the polynomial convexity of $K_{n}$ it is enough to show that $A_{1}\cap{\widehat{K}}_{n}=\emptyset$ and $A_{2}\cap{\widehat{K}}_{n}=\emptyset$.

Let $(z_{0},w_{0})$ be a point of the set $A_{1}$. Then the inequality (1) will be satisfied for the point $p=(z_{0},w_{0})$, the set $K_{n}$ and the function

[TABLE]

Hence, by Lemma 5, $(z_{0},w_{0})$ can not be a point of the set ${\widehat{K}}_{n}$, i.e. $A_{1}\cap{\widehat{K}}_{n}=\emptyset$.

Let now $(z_{0},w_{0})$ be a point of the set $A_{2}$ and assume, to get a contradiction, that $(z_{0},w_{0})\in\widehat{K}_{n}$. Then we consider a 1-parameter family of domains $\{\mathfrak{A}^{t}_{n}\}_{t\in[0,\infty)}$ defined as

[TABLE]

and notice that the domain $\mathfrak{A}^{0}_{n}$ of this family coincides with the defined by (3) domain $\mathfrak{A}_{R}$ for $R=n$. Then, since $(z_{0},w_{0})\in A_{2}\cap\widehat{K}_{n}$, we conclude that

[TABLE]

Observe now that, in view of pseudoconvexity of the domain $\mathfrak{A}^{0}_{n}$, there is a smooth strictly plurisubharmonic function $\tau$ defined on $\mathfrak{A}^{0}_{n}$ such that $\tau(z,w)\to+\infty$ as $(z,w)\to\partial{\mathfrak{A}^{0}_{n}}$. Then for each $t\in[0,+\infty)$ the function $\tau^{t}(z,w)\mathrel{\mathop{:}}=\tau(z,w+it)$ is defined on the domain $\mathfrak{A}^{t}_{n}$ and has there the same properties as the function $\tau$ on $\mathfrak{A}^{0}_{n}$. It follows from the definition of $t^{\ast}$ and the properties of the function $\tau$ that

[TABLE]

when $\varepsilon\searrow 0$. Since $t^{\ast}>0$, and since $K_{n}\subset\overline{\mathfrak{A}^{0}_{n}}$, it also follows from the definition of the domain $\mathfrak{A}^{t}_{n}$ and the function $\tau^{t}$ that

[TABLE]

stays uniformly bounded as $\varepsilon\searrow 0$. Then, in view of Sard’s theorem, we can choose $\varepsilon^{\ast}>0$ generic so that for the value

[TABLE]

the level set

[TABLE]

of the function $\tau^{t^{\ast}+\varepsilon^{\ast}}$ will be smooth and, moreover, if we choose $\varepsilon^{\ast}$ small enough, then for every point $p^{\ast}\in\mathfrak{M}^{\ast}\cap{\widehat{K}}_{n}$ we will also have that

[TABLE]

Observe that the last inequality implies that

[TABLE]

On the other hand, since the domain

[TABLE]

is strictly pseudoconvex and has a smooth boundary, and since ${\widehat{K}}_{n}\subset\overline{\mathfrak{A}^{\ast}_{n}}$ and $p^{\ast}\in\partial{\mathfrak{A}^{\ast}_{n}}\cap{\widehat{K}}_{n}$, we conclude that $p^{\ast}$ is the local peak point for the algebra $\mathfrak{P}$ of uniform limits on ${\widehat{K}}_{n}$ of holomorphic polynomials. Then, by Rossi’s ”local maximum modulus principle” (see, for example, [G, Theorem 8.2, p. 92] or [Ro]), we conclude that $p^{\ast}$ is a global peak point for the algebra $\mathfrak{P}$. This contradicts (4), and proves Lemma 9. $\Box$

Now we are in a position to prove the main result of this section.

Proposition 1. If $\widetilde{\mathfrak{A}}=\mathfrak{A}$, then $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function.

Proof**.**

It follows from Lemma 9 that for each $n\in\mathbb{N}$ we can apply Theorem 4 to the set $K_{n}$. This way we will get a non-negative smooth plurisubharmonic function $\phi_{n}$ defined on the whole of ${\mathbb{C}}^{2}$ such that $K_{n}=\{p\in{\mathbb{C}}^{2}:\phi_{n}(p)=0\}$ and $\phi_{n}$ is strictly plurisubharmonic on ${\mathbb{C}}^{2}\setminus K_{n}$. Now if we define on the domain $\mathfrak{A}$ a new function

[TABLE]

then, by construction of the set $K_{n}$, this function will still be a smooth bounded plurisubharmonic function on $\mathfrak{A}$ which is strictly plurisubharmonic exactly on the domain ${\widetilde{\mathfrak{A}}}_{n}$. Hence, for a decreasing sequence of positive numbers $\{\varepsilon_{n}\}$ converging to zero fast enough, the function $\widetilde{\phi}\mathrel{\mathop{:}}=\sum_{n=1}^{\infty}\varepsilon_{n}\widetilde{\phi}_{n}$ will be bounded smooth and plurisubharmonic on $\mathfrak{A}$ and, moreover, it will be strictly plurisubharmonic on the domain $\widetilde{\mathfrak{A}}=\bigcup_{n\in\mathbb{N}}{\widetilde{\mathfrak{A}}}_{n}$. Since, by our assumptions, $\widetilde{\mathfrak{A}}=\mathfrak{A}$, this completes the proof of Proposition 1. $\Box$

5 The case when $\widetilde{\mathfrak{A}}\neq\mathfrak{A}$

We first consider the following two sets

[TABLE]

and

[TABLE]

where $p:{\mathbb{C}}_{z,w}^{2}\to{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ is the canonical projection.

Then the special form of the domain $\mathfrak{A}$ and the construction of the domain $\widetilde{\mathfrak{A}}$ imply that:

[TABLE]

Hence, we can define the set

[TABLE]

and then for each $(z,u)\in{\mathcal{E}}^{\ast}$ we denote by $v^{\ast}(z,u)$ the real number such that $(z,u+iv^{\ast}(z,u))\in{\mathcal{E}}_{0}$.

Let us also consider the set

[TABLE]

where $\Gamma(F_{n})$ is the graph of the function $F_{n}$ defined by (2) with $R=n$.

It follows directly from the definitions of these sets that the set $\mathcal{E}\cup{\mathcal{E}}_{0}$ is closed and then from monotonicity of the domains $\{\widetilde{\mathfrak{A}}_{n}\}_{n\in\mathbb{N}}$ (see Lemma 8) that $\mathcal{F}\subset\mathcal{E}\cup{\mathcal{E}}_{0}$.

Now we describe how to pass to the limit for holomorphic leaves of the Levi foliations of $\Gamma(\Phi_{n})$ in order to get holomorphic disks in the limit set ${\mathcal{F}}$.

Construction of the limit disk passing through the given point of $\mathcal{F}$.

Let $(z_{0},w_{0})$ be an arbitrary point of the set ${\mathcal{F}}$ and $(z_{n},w_{n})\in\Gamma(F_{n})$ be a sequence of points converging to $(z_{0},w_{0})$. For each $n=0,1,2,...$ we consider the cylinder

[TABLE]

where $w_{n}=u_{n}+iv_{n}$. Then, for $n$ sufficiently large (so large that ${\mathcal{C}}_{n}\subset B_{n}(0)$ and, hence, the function $\Phi_{n}$ is defined on ${\mathcal{C}}_{n}$), we denote by ${\mathcal{L}}^{\alpha}_{n}$ the leaves of the Levi foliation of the set $\Gamma(\Phi_{n})\cap({\mathcal{C}}_{n}\times{\mathbb{R}}_{v})$. If for each leaf ${\mathcal{L}}^{\alpha}_{n}$ of this foliation we consider its projection $p({\mathcal{L}}^{\alpha}_{n})$ to the cylinder ${\mathcal{C}}_{n}$ (here $p$ is the canonical projection $p:{\mathbb{C}}^{2}_{z,w}\to{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$) and apply to this surface Lemma 2, we will obtain a domain ${\Omega}^{\alpha}_{n}\subset{\mathbb{C}}_{z}$ and a holomorphic function $h^{\alpha}_{n}:{\Omega}^{\alpha}_{n}\to{\mathbb{C}}_{w}$ such that its graph $\Gamma(h^{\alpha}_{n})$ coincides with the leaf ${\mathcal{L}}^{\alpha}_{n}$. Consider now for each $n$ the special leaf ${\mathcal{L}}^{\alpha_{0}}_{n}$ which has the property $p({\mathcal{L}}^{\alpha_{0}}_{n})\ni(z_{n},u_{n})$ and observe that, by Lemma 3 (applied to ${\Omega}^{\alpha_{0}}_{n}$ on the place of $\Omega$, $U^{\alpha_{0}}_{n}\mathrel{\mathop{:}}=\text{Re}\,h^{\alpha_{0}}_{n}$ on the place of $U$, $V^{\alpha_{0}}_{n}\mathrel{\mathop{:}}=\text{Im}\,h^{\alpha_{0}}_{n}$ on the place of $V$ and ${\mathcal{C}}_{n}$ on the place of $G$), we have that the domain ${\Omega}^{\alpha_{0}}_{n}\ni z_{n}$ is simply-connected. It follows now from Lemma 4 (applied to ${\Omega}^{\alpha_{0}}_{n}$ on the place of $\Omega$, $U^{\alpha_{0}}_{n}$ on the place of $U$, $V^{\alpha_{0}}_{n}$ on the place of $V$ and with $M_{n}\mathrel{\mathop{:}}=\inf_{(z,u)\in{\mathcal{C}}_{n}}F(z,u)$ and $L_{n}\mathrel{\mathop{:}}=v_{n}$), that there exists $R^{\ast}_{n}>0$ which only depends on $M_{n}$ and $L_{n}$ and such that the disk $\Delta_{R^{\ast}_{n}}(z_{n})\mathrel{\mathop{:}}=\{z\in{\mathbb{C}}:|z-z_{n}|<{R^{\ast}_{n}}\}$ is contained in ${\Omega}^{\alpha_{0}}_{n}$. Moreover, the arguments used in the proof of Lemma 4 (see for details the proof of Lemma 3.5 in [Sh]) show that $R^{\ast}$ there depends on $M$ and $L$ in a continuous way. Then, since by our assumptions $\lim_{n\to\infty}v_{n}=v_{0}$, and since by continuity of $F$ one also has that $\lim_{n\to\infty}M_{n}=M_{0}$, we conclude that for each $R<R^{\ast}_{0}=\mathrel{\mathop{:}}\lim_{n\to\infty}R^{\ast}_{n}$ the sequence of holomorphic functions $h^{\alpha_{0}}_{n}$ is defined on the disk $\Delta_{R}(z_{0})$ for all $n$ large enough. Moreover, since for each $n$ we have that $|U^{\alpha_{0}}_{n}(z)-u_{n}|<1$ for $z\in\Delta_{R^{\ast}_{n}}(z_{0})$, and since $M_{0}\leftarrow M_{n}<V^{\alpha_{0}}_{n}$ on $\Delta_{R^{\ast}_{n}}(z_{0})$, and $V^{\alpha_{0}}_{n}(z_{n})\to v_{0}$ as $n\to\infty$, we can apply Montel theorem and choose a subsequence $h^{\alpha_{0}}_{n_{k}}$ which converges to a holomorphic function $h_{0}$ uniformly on compact subsets of $\Delta_{R^{\ast}_{0}}(z_{0})$. Finally, we observe that by construction one has that $\text{Im}\,h_{0}(z_{0})=v_{0}$. Then the graph $\Gamma(h_{0})$ of the function $h_{0}$ is the desired holomorphic disk which will be denoted in what follows by $D_{0}$.

In the next statement we collect the properties of the described above limit disk which we will need later on.

Lemma 10. For each point $(z_{0},w_{0})\in{\mathcal{F}}$ there is a holomorphic disk $D_{0}$ of the form

[TABLE]

obtained by the described above limit procedure and such that $(z_{0},w_{0})\in D_{0}\subset{\mathcal{F}}$ with $R^{\ast}_{0}$ which depends only on the estimate from above on $v_{0}$ and on the estimate from below on $\inf_{(z,u)\in{\mathcal{C}}_{0}}F(z,u)$.

Moreover, the following properties of the constructed limit disk hold:

1. (A)

The disk $D_{0}$ is uniquely determined (even locally). 2. (B)

If $(z_{0},w_{0})\in{\mathcal{E}}_{0}$, then $D_{0}\subset{\mathcal{E}}_{0}$.

The property (A) means, more precisely, that: For each $r\leq R^{\ast}_{0}$ and each holomorphic disk ${\widetilde{D}}_{0}\ni(z_{0},w_{0})$ of the form

[TABLE]

which is also obtained by the limit procedure above only applied to another subsequence $h^{\alpha_{0}}_{n_{m}}$ of the sequence $h^{\alpha_{0}}_{n}$, which converges to a holomorphic function ${\widetilde{h}}_{0}$ uniformly on compact subsets of $\Delta_{r}(z_{0})$, we have ${\widetilde{D}}_{0}\subset D_{0}$.

Proof**.**

To prove Claim (A) we argue by contradiction and assume that there is a holomorphic disk ${\widetilde{D}}_{0}$ of the form described in Lemma 10 such that ${\widetilde{D}}_{0}\not\subset D_{0}$. Then, since $D_{0}\cap{\widetilde{D}}_{0}\ni(z_{0},w_{0})$, we conclide from Rouche’s theorem, that for $k$ and $m$ large enough and $t>0$ small enough the disks

[TABLE]

and

[TABLE]

which approximate the part of the disks $D_{0}$ over $\Delta_{r}(z_{0})$ and the disk ${\widetilde{D}}_{0}$, respectively, will also have a non-empty intersection:

[TABLE]

On the other hand, if $n_{m}>n_{k}$, then it follow from Lemma 7 that for $t>0$ one has that $\Phi_{n_{k}}<\Phi_{n_{m}}+t$ on $B_{n_{k}}(0)$, and hence also that $\Gamma(\Phi_{n_{k}})\cap\Gamma(\Phi_{n_{m}}+t)=\emptyset$. We conclude now that

[TABLE]

which gives us a desired contradiction.

To prove Claim (B) we first observe that, in view of the definitions of $D_{0}$ and $\mathcal{F}$, we obviously have the inclusion $D_{0}\subset\mathcal{F}$. Then, since we also have the inclusion $\mathcal{F}\subset\mathcal{E}\cup{\mathcal{E}}_{0}$, we conclude that for each $z\in\Delta_{R^{\ast}_{0}}(z_{0})$ one has that $(z,\text{Re}\,h_{0}(z))\in{\mathcal{E}}^{\ast}$ and $v^{\ast}(z,\text{Re}\,h_{0}(z))\leq\text{Im}\,h_{0}(z)$. Hence, for proving that $v^{\ast}(z,\text{Re}\,h_{0}(z))=\text{Im}\,h_{0}(z)$ (which gives us the desired statement that $D_{0}\subset{\mathcal{E}}_{0}$), it is enough to show that for each $z\in\Delta_{R^{\ast}_{0}}(z_{0})$ one has that $v^{\ast}(z,\text{Re}\,h_{0}(z))\geq\text{Im}\,h_{0}(z)$. We argue by contradiction and assume that for some $z\in\Delta_{R^{\ast}_{0}}(z_{0})$ we have that $v^{\ast}(z,\text{Re}\,h_{0}(z))<\text{Im}\,h_{0}(z)$. Then, if we define

[TABLE]

we see that $r^{\ast}<R^{\ast}_{0}$ and that we can find two arbitrary close to each other points $z^{\prime}\in\overline{\Delta}_{r^{\ast}}(z_{0})$ and $z^{\prime\prime}\notin\overline{\Delta}_{r^{\ast}}(z_{0})$ such that one has $v^{\ast}(z^{\prime},u^{\prime})=\text{Im}\,h_{0}(z^{\prime})=\mathrel{\mathop{:}}v^{\prime}$ and $v^{\ast}(z^{\prime\prime},u^{\prime\prime})<\text{Im}\,h_{0}(z^{\prime\prime})=\mathrel{\mathop{:}}v^{\prime\prime}$, where $u^{\prime}\mathrel{\mathop{:}}=\text{Re}\,h_{0}(z^{\prime})$ and $u^{\prime\prime}\mathrel{\mathop{:}}=\text{Re}\,h_{0}(z^{\prime\prime})$, respectively.

Let us now take some number $\tilde{r}\in(r^{\ast},R^{\ast}_{0})$ which we will keep fixed till the end of the proof of Lemma 10. Since $D_{0}\subset\mathcal{F}$, we have the following inclusion

[TABLE]

Then we define

[TABLE]

and

[TABLE]

where

[TABLE]

and observe that, by continuity of $h_{0}$ and $F$, one has $-\infty<M_{\tilde{r}}\leq L_{\tilde{r}}<+\infty$.

It follows then from our construction above of the limit disk passing through the given point of $\mathcal{F}$, and in view of the uniform estimates on $v_{0}$ from above by $L_{\tilde{r}}$ and on $\inf_{(z,w)\in{\mathcal{C}}_{0}}F(z,w)$ from below by $M_{\tilde{r}}$ for points

[TABLE]

that we also have the inequality

[TABLE]

where $R^{\ast}_{0}(z_{0},w_{0})$ denote the radius $R^{\ast}_{0}$ of our construction above corresponding to the point $(z_{0},w_{0})$.

Now we can finally specify our choice of the described above points $z^{\prime}\in\overline{\Delta}_{r^{\ast}}(z_{0})$ and $z^{\prime\prime}\notin\overline{\Delta}_{r^{\ast}}(z_{0})$. Namely, we first define

[TABLE]

and then choose $z^{\prime}$ and $z^{\prime\prime}$ so close to each other that $|z^{\prime}-z^{\prime\prime}|<\tilde{r}^{\ast}$.

Consider now the limit disks $D^{\prime}$ and $D^{\prime\prime}$ that correspond by our construction above to the points $(z^{\prime},\text{Re}\,h_{0}(z^{\prime})+iv^{\ast}(z^{\prime},\text{Re}\,h_{0}(z^{\prime}))$ and $(z^{\prime\prime},\text{Re}\,h_{0}(z^{\prime\prime})+iv^{\ast}(z^{\prime\prime},\text{Re}\,h_{0}(z^{\prime\prime}))$, respectively. By our choice of $\tilde{r}^{\ast}$, after maybe shrinking the disks $D^{\prime}$ and $D^{\prime\prime}$ if necessary, we can assome that the disk $D^{\prime}$ is the graph of a holomorphic function $w=h^{\prime}(z)$ defined on the disk $\Delta_{2\tilde{r}^{\ast}}(z^{\prime})$ and the disk $D^{\prime\prime}$ is the graph of a holomorphic function $w=h^{\prime\prime}(z)$ defined on the disk $\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$. Observe that, by our choice of the point $z^{\prime}$, and in view of the unicity property of the limit disks established in Part (A) of this lemma, we have that $h^{\prime}(z)=h_{0}(z)$ for all $z\in\Delta_{2\tilde{r}^{\ast}}(z^{\prime})$. We consider now the following two cases:

1. (i)

$\text{Re}\,h_{0}(z)=\text{Re}\,h^{\prime\prime}(z){\rm\,\,for\,\,all\,\,}z\in\Delta_{2\tilde{r}^{\ast}}(z^{\prime})\cap\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime}),$ 2. (ii)

$\text{Re}\,h_{0}(z^{\ast})\neq\text{Re}\,h^{\prime\prime}(z^{\ast}){\rm\,\,for\,\,some\,\,}z^{\ast}\in\Delta_{2\tilde{r}^{\ast}}(z^{\prime})\cap\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime}).$

In the Case (i) we have that $\text{Im}\,h^{\prime\prime}(z)=\text{Im}\,h_{0}(z)+C$ for some constant $C$ and all $z\in\Delta_{2\tilde{r}^{\ast}}(z^{\prime})\cap\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$. Since, by our choice of the point $z^{\prime\prime}$, we have that $v^{\ast}(z^{\prime\prime},u^{\prime\prime})<\text{Im}\,h_{0}(z^{\prime\prime})$, it follows that $C<0$. But then, by the choice of the point $z^{\prime}$,

[TABLE]

On the other hand, since $D^{\prime\prime}\subset\mathcal{F}$, we conclude from the definition of the function $v^{\ast}(z,u)$ that

[TABLE]

The last two inequalities contradict each other. This gives us a desired contradiction in the Case (i).

In the Case (ii) we use an argument similar to the one we used in the proof of Part (A) of this lemma. Namely, by our construction above of the limit disks passing through the given point of $\mathcal{F}$, and in view of the unicity of the limit disks, we can consider two sequences of holomorphic disks $D_{0,n}$ and $D^{\prime}_{m}$ of the form,

[TABLE]

and

[TABLE]

which approximate the part of the disks $D_{0}$ over $\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ and the disk $D^{\prime\prime}$, respectively. The functions $h_{0,n}$ and $h^{\prime\prime}_{m}$ here are defined and holomorphic on the disk $\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ and have the property that $\lim_{n\to\infty}h_{0,n}(z^{\prime\prime})=h_{0}(z^{\prime\prime})$ and $\lim_{m\to\infty}h^{\prime\prime}_{m}(z^{\prime\prime})=h^{\prime\prime}(z^{\prime\prime})$.

Observe now that by our choice of the point $z^{\prime\prime}$ and the disk $D^{\prime\prime}$ one has that

[TABLE]

and then, in view of the uniform convergence on the disk $\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ of the sequences $h_{0,n}(z)$ and $h^{\prime\prime}_{m}(z)$ to $h_{0}(z)$ and $h^{\prime\prime}(z)$, respectively, we conclude that

[TABLE]

for every sequence $\{z_{l}\}_{n=1}^{\infty}$ of points in $\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ converging to $z^{\prime\prime}$ and all $m$, $n$ and $l$ large enough.

On the other hand, since, by the choice of the disk $D^{\prime\prime}$, we have $\text{Re}\,h^{\prime\prime}(z^{\prime\prime})=\text{Re}\,h_{0}(z^{\prime\prime})$ and since, by the conditions in the Case (ii), we have $\text{Re}\,h^{\prime\prime}\neq\text{Re}\,h_{0}$ in $\Delta_{2\tilde{r}^{\ast}}(z^{\prime})\cap\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ we conclude that for the functions $\text{Re}\,h^{\prime\prime}_{m}$ and $\text{Re}\,h_{0,n}$ approximating the functions $\text{Re}\,h^{\prime\prime}$ and $\text{Re}\,h_{0}$, respectively, we have in the case when $n$ and $m$ are large enough that there exists a point $z_{n,m}\in\Delta_{2\tilde{r}^{\ast}}(z^{\prime})\cap\Delta_{2\tilde{r}^{\ast}}(z^{\prime\prime})$ as close to $z^{\prime\prime}$ as we wish and such that $\text{Re}\,h^{\prime\prime}_{m}(z_{n,m})=\text{Re}\,h_{0,n}(z_{n,m})$. Hence, if in the last statement for each $n$ we in addition choose the value of $m$ in such a way that $m>n$, then, by Lemma 7, and, in the view of inclusions (5) and (6), we will have that

[TABLE]

The last inequality contradicts the inequality (7). This completes the proof of Lemma 10. $\Box$

Now let us recall some definitions.

Let $\Sigma$ be a domain over $\mathbb{C}$ with projection $\pi:\Sigma\to\mathbb{C}$, and let $f=U+iV$ be a smooth function in $\Sigma$.

Definition 4. Let $d$ be the pull-back on $\Sigma$ of the standard metric on $\mathbb{C}$. Define the distance $\rho(\xi_{1},\xi_{2})$ between two arbitrary points $\xi_{1}$ and $\xi_{2}$ in $\Sigma$ as $\rho(\xi_{1},\xi_{2})\mathrel{\mathop{:}}=\inf_{\gamma}{l(\gamma)}$, where $l(\gamma)$ is the length of the curve $\gamma$ with respect to the metric $d$, and the infimum is taken over all smooth curves in $\Sigma$ connecting the points $\xi_{1}$ and $\xi_{2}$.

Definition 5. Let $G$ be a domain of $\mathbb{C}\times\mathbb{R}$. The graph $\Gamma(U)=\{(\pi(\xi),U(\xi))\in\mathbb{C}\times\mathbb{R}:\xi\in\Sigma\}$ is said to be locally embedded in $G$ if $\Gamma(U)\subset G$, and for each $\xi_{1},\xi_{2}\in\Sigma$, such that $\xi_{1}\neq\xi_{2}$, one has $(\pi(\xi_{1}),U(\xi_{1}))\neq(\pi(\xi_{2}),U(\xi_{2}))$.

Remark 1. The property of $\Gamma(U)$ to be locally embedded in $G$ differs from the usual embedding property. For example, a surface $\Gamma(U)$, locally embedded according to our definition, might be an everywhere dense subset of $G$ and this, obviously, cannot happen for embedded surfaces.

For each point $\xi\in\Sigma$, denote by $\rho(\xi,\partial{\Sigma})$ the maximum of all real numbers $\rho$ for which there exists a continuous map $U^{\prime}$ from the disc $\Delta_{\rho}(\pi(\xi))=\{z\in\mathbb{C}:|z-\pi(\xi)|<\rho\}$ to $\Sigma$ with the following properties: $\pi\circ U^{\prime}$ is the identity map on $\Delta_{\rho}(\pi(\xi))$ and $U^{\prime}(\pi(\xi))=\xi$.

Definition 6. We say that the sequence $\{\xi_{n}\}$ of points of $\Sigma$ converges to the boundary $\partial{\Sigma}$ as $n\to+\infty$ (and then we write $\xi_{n}\to\partial{\Sigma}$) if $\rho(\xi,\partial{\Sigma})\to 0$ → 0 as $n\to+\infty$.

Definition 7. We define the boundary $\partial{\Gamma}(U)$ of the surface ${\Gamma}(U)$ as the cluster set of all sequences $\{(\pi(\xi_{n}),U(\xi_{n}))\}$ such that $\xi_{n}\to\partial{\Sigma}$ as $n\to+\infty$.

Definition 8. Let $G$ be a domain of $\mathbb{C}\times\mathbb{R}$. We say that the surface ${\Gamma}(U)$ is properly embedded into the domain $G$ if $\partial{\Gamma}(U)\cap G=\emptyset$.

Similarly, we define the boundary $\partial{\Gamma}(f)$ of the surface ${\Gamma}(f)\mathrel{\mathop{:}}=\{(\pi(\xi),f(\xi))\in{\mathbb{C}}^{2}:\xi\in\Sigma\}$ and the property of $\Gamma(f)$ to be properly embedded into a domain $\mathcal{G}\subset{\mathbb{C}}^{2}$.

Now we describe how to extend the limit disk $D_{0}$ from the Part (B) of Lemma 10 to the maximal limit leaf which is contained in the set ${\mathcal{E}}_{0}$.

Construction of the maximal limit leaf ${\mathcal{L}}_{0}$ contained in ${\mathcal{E}}_{0}$.

Let $(z_{0},w_{0})$ be an arbitrary point of the set ${\mathcal{E}}_{0}$. We define ${\mathcal{L}}_{0}$ as the set of all points $(z^{\prime},w^{\prime})\in{\mathcal{E}}_{0}$ such that there are finitely many points $(z_{1},w_{1}),(z_{2},w_{2}),...,(z_{m},w_{m})\in{\mathcal{E}}_{0}$, with $(z_{m},w_{m})=(z^{\prime},w^{\prime})$, satisfying the following property:

For each $i=0,1,2,...,m-1$, one has that $(z_{i+1},w_{i+1})\in D_{i}$, where $D_{i}$ is the disk which corresponds to the disk $D_{0}$ of Lemma 10, when we take the point $(z_{i},w_{i})$ on the place of $(z_{0},w_{0})$.

Observe first that, since, by definition of ${\mathcal{L}}_{0}$, each point $(z^{\prime},w^{\prime})\in{\mathcal{L}}_{0}$ is contained in the corresponding disk $D_{m-1}\subset{\mathcal{E}}_{0}$, it follows that ${\mathcal{L}}_{0}$ with the projection to ${\mathbb{C}}_{z}$, defined as the restriction to ${\mathcal{L}}_{0}$ of the canonical projection $p_{w}:{\mathbb{C}}_{z,w}^{2}\to{\mathbb{C}}_{z}$, is a domain over ${\mathbb{C}}_{z}$. Then, from the unicity of the limit disks (see Part (A) of Lemma 10) we conclude that ${\mathcal{L}}_{0}$ is locally embedded into ${\mathbb{C}}_{z,w}^{2}$. Moreover, since, in view of the definitions of ${\mathcal{E}}_{0}$ and ${\mathcal{E}}^{\ast}$, the map $p:{\mathcal{E}}_{0}\to{\mathcal{E}}^{\ast}$ is bijective, one has that the projection ${\mathcal{M}}_{0}\mathrel{\mathop{:}}=p({\mathcal{L}}_{0})$ of ${\mathcal{L}}_{0}$ to ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ is locally embedded into ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$.

Observe further that ${\mathcal{L}}_{0}$ is properly embedded into ${\mathbb{C}}_{z,w}^{2}$. Indeed, if not, then there is a cluster point $(z^{\ast},w^{\ast})$ for the set ${\mathcal{L}}_{0}$, i.e. there exists a sequence of points $(z_{n},w_{n})$ of ${\mathcal{L}}_{0}$ (as a domain over ${\mathbb{C}}_{z}$) such that $(z_{n},w_{n})\to(z^{\ast},w^{\ast})$ as $n\to\infty$ and

[TABLE]

On the other hand, since $v^{\ast}\mathrel{\mathop{:}}=\text{Im}\,w^{\ast}<+\infty$, and since $v_{n}\mathrel{\mathop{:}}=\text{Im}\,w_{n}\to\text{Im}\,w^{\ast}$ as $n\to+\infty$, we conclude from Lemma 10 that

[TABLE]

where $R_{n}^{\ast}$ and $R^{\ast}$ represent the radius $R_{0}^{\ast}$ of Lemma 10 computed at the points $(z_{n},w_{n})$ and $(z^{\ast},w^{\ast})$, respectively. Since for each $n\in\mathbb{N}$ we obviously have that

[TABLE]

it follows from (9) that

[TABLE]

The last inequality contadicts to (8). This proves that ${\mathcal{L}}_{0}$ is properly embedded into ${\mathbb{C}}_{z,w}^{2}$.

In the next lemma we prove that the embedding of ${\mathcal{L}}_{0}$ in ${\mathbb{C}}_{z,w}^{2}$ is actually much more special.

Lemma 11. The surface ${\mathcal{L}}_{0}$ is properly embedded into ${\mathbb{C}}^{2}$ and projects one-to-one on its image in ${\mathbb{C}}_{z}$. More precisely, there is a domain $\mathfrak{D}\subset{\mathbb{C}}_{z}$ and a holomorphic function ${\mathcal{H}}:\mathfrak{D}\to{\mathbb{C}}_{w}$ such that the graph $\Gamma({\mathcal{H}})$ of ${\mathcal{H}}$ coincides with ${\mathcal{L}}_{0}$ and, moreover, $|{\mathcal{H}}(z)|\to+\infty$ as $z\to\partial{\mathfrak{D}}$.

Proof**.**

First, we prove that the surface ${\mathcal{L}}_{0}$ projects one-to-one on its image in ${\mathbb{C}}_{z}$. For doing this we argue by contradiction and assume that this property does not hold. Since ${\mathcal{L}}_{0}$ projects one-to-one to ${\mathcal{M}}_{0}=p({\mathcal{L}}_{0})\subset{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$, our assumption implies that there are two points $q^{\prime}=(\tilde{z},\tilde{u}^{\prime}),q^{\prime\prime}=(\tilde{z},\tilde{u}^{\prime\prime})\in{\mathcal{M}}_{0}$ with $\tilde{u}^{\prime}\neq\tilde{u}^{\prime\prime}$. Since, by construction, the surface ${\mathcal{L}}_{0}$ is connected, we conclude that ${\mathcal{M}}_{0}$ is also connected, and hence there is a smooth curve $\gamma\subset{\mathcal{M}}_{0}$ connecting points $q^{\prime}$ and $q^{\prime\prime}$. Moreover, since $p^{-1}(\gamma)\subset{\mathcal{L}}_{0}$ is compact, for points $(z^{\ast},w^{\ast})\in p^{-1}(\gamma)$, $\,w^{\ast}=u^{\ast}+iv^{\ast},$ taken on the place of $(z_{0},w_{0})$ in Lemma 10 one has uniform bounds from above on $v^{\ast}$ and from below on $\inf_{(z,w)\in{\mathcal{C}}^{\ast}}F(z,w)$, where

[TABLE]

It follows then from Lemma 10 that there is a number $R(\gamma)>0$ such that at each point $(z^{\ast},w^{\ast})\in p^{-1}(\gamma)$ for the radius $R^{\ast}_{0}(z^{\ast},w^{\ast})$, which is the radius $R^{\ast}_{0}$ of Lemma 10, but computed at the point $(z^{\ast},w^{\ast})$ on the place of the point $(z_{0},w_{0})$, we have the inequality $R^{\ast}_{0}(z^{\ast},w^{\ast})\geq R(\gamma)$.

Let us now take a finite set of points $Q_{0},Q_{1},Q_{2},...,Q_{m}\in p^{-1}(\gamma)$ such that:

1. (1)

$p(Q_{0})=q^{\prime}$ and $p(Q_{m})=q^{\prime\prime}$. 2. (2)

For each $i=0,1,2,...,m-1$ the inclusion $p_{u}(\gamma_{i})\subset\Delta_{R(\gamma)}(z_{i})\cap\Delta_{R(\gamma)}(z_{i+1})$ holds.

Here, for each $i=0,1,...,m$, $Q_{i}=\mathrel{\mathop{:}}(z_{i},w_{i})$, for each $i=0,1,...,m-1$, $\gamma_{i}$ is the part of $\gamma$ between $p(Q_{i})$ and $p(Q_{i+1})$, and $p_{u}:{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}\to{\mathbb{C}}_{z}$ is the canonical projection.

It follows then from our choice of $R(\gamma)$ that for each $n$ sufficiently large there exists a holomorphic function $h^{0}_{n}:\Delta_{R(\gamma)}(z_{0})\to{\mathbb{C}}_{w}$ such that $\text{Re}\,h^{0}_{n}(z_{0})=\text{Re}\,w_{0}$ and the graph $\Gamma(h^{0}_{n})$ of the function $h^{0}_{n}$ is contained in a holomorphic leaf of the Levi foliation on $\Gamma(\Phi_{n})$. Moreover, in view of Lemma 10, the functions $h^{0}_{n}$ converge as $n\to\infty$ uniformly on compact subsets of $\Delta_{R(\gamma)}(z_{0})$ to a holomorphic function $h^{0}_{0}:\Delta_{R(\gamma)}(z_{0})\to{\mathbb{C}}_{w}$ such that $h^{0}_{0}(z_{0})=w_{0}$ and $\Gamma(h^{0}_{0})\subset{\mathcal{L}}_{0}$. Then, by the Condition (2) above, and by the choice of the point $Q_{1}$, we also see that $h^{0}_{0}(z_{1})=w_{1}$.

Since $Q_{1}=(z_{1},w_{1})\in p^{-1}(\gamma)$, and since $h^{0}_{n}(z_{1})\to w_{1}$ as $n\to\infty$, it follows once again from our choice of $R(\gamma)$ that for each $n$ sufficiently large there exists a holomorphic function $h^{1}_{n}:\Delta_{R(\gamma)}(z_{1})\to{\mathbb{C}}_{w}$ such that $\text{Re}\,h^{1}_{n}(z_{1})=\text{Re}\,h^{0}_{n}(z_{1})$ and the graph $\Gamma(h^{1}_{n})$ of the function $h^{1}_{n}$ is contained in a holomorphic leaf of the Levi foliation on $\Gamma(\Phi_{n})$. Observe, that the last conditions imply that $h^{1}_{n}=h^{0}_{n}$ on the intersection $\Delta_{R(\gamma)}(z_{0})\cap\Delta_{R(\gamma)}(z_{1})$ of the disks $\Delta_{R(\gamma)}(z_{0})$ and $\Delta_{R(\gamma)}(z_{1})$. Then, as before, in view of Lemma 10 again, the functions $h^{1}_{n}$ converge as $n\to\infty$ uniformly on compact subsets of $\Delta_{R(\gamma)}(z_{1})$ to a holomorphic function $h^{1}_{0}:\Delta_{R(\gamma)}(z_{1})\to{\mathbb{C}}_{w}$ such that $h^{1}_{0}(z_{1})=w_{1}$ and $\Gamma(h^{1}_{0})\subset{\mathcal{L}}_{0}$. Hence, by the unicity property (A) of Lemma 10, we see that $h^{1}_{0}=h^{0}_{0}$ on the set $\Delta_{R(\gamma)}(z_{0})\cap\Delta_{R(\gamma)}(z_{1})$ and, by the Condition (2) above, and by the choice of the point $Q_{2}$, we also see that $h^{1}_{0}(z_{2})=w_{2}$.

If we repeat inductively this argument for each $i=2,3,...,m-1$, we will get for all $n$ large enough holomorphic functions $h^{i}_{n}:\Delta_{R(\gamma)}(z_{i})\to{\mathbb{C}}_{w}$ such that $\text{Re}\,h^{i}_{n}(z_{i})=\text{Re}\,h^{i-1}_{n}(z_{i})$ and the graph $\Gamma(h^{i}_{n})$ of each function $h^{i}_{n}$ is contained in a holomorphic leaf of the Levi foliation on $\Gamma(\Phi_{n})$. The last conditions actually imply that $h^{i}_{n}=h^{i-1}_{n}$ on the intersection $\Delta_{R(\gamma)}(z_{i-1})\cap\Delta_{R(\gamma)}(z_{i})$ of the disks $\Delta_{R(\gamma)}(z_{i-1})$ and $\Delta_{R(\gamma)}(z_{i})$. Then, in view of Lemma 10 again, each sequence of functions $h^{i}_{n}$ will converge as $n\to\infty$ uniformly on compact subsets of $\Delta_{R(\gamma)}(z_{i})$ to a holomorphic function $h^{i}_{0}:\Delta_{R(\gamma)}(z_{i})\to{\mathbb{C}}_{w}$ such that $h^{i}_{0}(z_{i})=w_{i}$ and $\Gamma(h^{i}_{0})\subset{\mathcal{L}}_{0}$. Hence, by the unicity property (A) of Lemma 10, we see that $h^{i}_{0}=h^{i-1}_{0}$ on the set $\Delta_{R(\gamma)}(z_{i})\cap\Delta_{R(\gamma)}(z_{i-1})$ and, by the Condition (2) above, and by the choice of the point $Q_{i+1}$, we see that $h^{i}_{0}(z_{i+1})=w_{i+1}$.

Let us now denote

[TABLE]

Then, by uniform convergence of the functions $h^{m-1}_{n}$ to $h^{m-1}_{0}$ on compact subsets of $\Delta_{R(\gamma)}(z_{m-1})$ as $n\to\infty$, and in view of the inclusion $z_{m}\in\Delta_{R(\gamma)}(z_{m-1})$ (see Condition (2) above with $i=m-1$), we can take $n$ so large that

[TABLE]

Observe, that from our construction above one has

[TABLE]

and hence, from the choice of the points $Q_{0}$, $Q_{m}$ and points $z_{0}$, $z_{m}$, we can conclude that $Q_{0}=(z_{0},h^{0}_{0}(z_{0}))$ and $Q_{m}=(z_{m},h^{m-1}_{0}(z_{m}))$. It follows then from the choice of the points $q^{\prime}$, $q^{\prime\prime}$ and the Condition (1) above that $\text{Re}\,h^{m-1}_{0}(z_{m})-\text{Re}\,h^{0}_{0}(z_{0})=\tilde{u}^{\prime\prime}-\tilde{u}^{\prime}$ and, therefore, by (10),

[TABLE]

By the choice of the points $Q_{0}$, $Q_{m}$ and points $z_{0}$, $z_{m}$, and in view of the Condition (1), we can also see that $z_{0}=\tilde{z}=z_{m}$. Then, we can finally obtain from (11) and (12) that

[TABLE]

Denote now by ${\mathcal{L}}_{n}$ the holomorphic leaf of the Levi foliation on $\Gamma(\Phi_{n})$ such that $p({\mathcal{L}}_{n})\ni q^{\prime}$. Then observe that the points ${\tilde{q}}^{\prime}\mathrel{\mathop{:}}=q^{\prime}=(z_{0},\text{Re}\,h^{0}_{n}(z_{0}))$ and ${\tilde{q}}^{\prime\prime}\mathrel{\mathop{:}}=(z_{m},\text{Re}\,h^{m-1}_{n}(z_{m}))$ belong to the surface ${\mathcal{M}}_{n}\mathrel{\mathop{:}}=p({\mathcal{L}}_{n})$ and that $z_{0}=z_{m}$, but according to (13) we have $\text{Re}\,h^{0}_{n}(z_{0}))\neq\text{Re}\,h^{m-1}_{n}(z_{m}))$. This means that on the surface ${\mathcal{M}}_{n}$, which is smooth, properly embedded into the ball $B_{n}(0)$ and locally has one-to-one projection on its image in ${\mathbb{C}}_{z}$, we have two different points that project to the same point of ${\mathbb{C}}_{z}$. According to Lemma 2 above this is not possible. Hence, we arrived to a contradiction which proves our claim that the surface ${\mathcal{L}}_{0}$ projects one-to-one on its image in ${\mathbb{C}}_{z}$.

Let us now denote by $\mathfrak{D}$ the projection of ${\mathcal{L}}_{0}$ to ${\mathbb{C}}_{z}$ and then by ${\mathcal{H}}:\mathfrak{D}\to{\mathbb{C}}_{w}$ a holomorphic function whose graph $\Gamma({\mathcal{H}})$ coincides with the surface ${\mathcal{L}}_{0}$. Then the last statement of Lemma 11 claiming that $|{\mathcal{H}}(z)|\to+\infty$ as $z\to\partial{\mathfrak{D}}$ is just a reformulation of the properness of the embedding of ${\mathcal{L}}_{0}$ into ${\mathbb{C}}_{z,w}^{2}$ proved after the construction of the maximal leaf ${\mathcal{L}}_{0}$ just before the statement of Lemma 11. The proof of Lemma 11 is now completed. $\Box$

The next statement shows that the shape of the surface ${\mathcal{L}}_{0}$ is even more special than it is claimed in the last lemma.

Lemma 12. The domain $\mathfrak{D}$ coincides with the whole of ${\mathbb{C}}_{z}$ and, therefore, ${\mathcal{H}}:{\mathbb{C}}_{z}\to{\mathbb{C}}_{w}$ is an entire function such that $\Gamma({\mathcal{H}})={\mathcal{L}}_{0}$. The last equality implies, in particular, that the inclusion $\Gamma({\mathcal{H}})\subset\overline{\mathfrak{A}}$ holds.

Proof**.**

We first prove that the domain $\mathfrak{D}$ is simply-connected. Consider, as above, the surface ${\mathcal{M}}_{0}=p({\mathcal{L}}_{0})\subset{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ and for each sufficiently large $n\in\mathbb{N}$ let ${\mathcal{M}}_{0}^{n}$ be a connected component of the surface ${\mathcal{M}}_{0}\cap B_{n}(0)$ containing a fixed point, say the point $p((z_{0},w_{0}))$. Then ${\mathcal{M}}_{0}=\bigcup_{n}{\mathcal{M}}_{0}^{n}$ and, hence, also $\mathfrak{D}=\bigcup_{n}\mathfrak{D}_{n}$, where $\mathfrak{D}_{n}\mathrel{\mathop{:}}=p_{u}({\mathcal{M}}_{0}^{n})$ and $p_{u}:{\mathbb{C}}_{z}\times{\mathbb{R}}_{u}\to{\mathbb{C}}_{z}$ is the canonical projection. Since the projection of ${\mathcal{L}}_{0}$ onto ${\mathcal{M}}_{0}$ is one-to-one, we see that the function $U_{n}:\mathfrak{D}_{n}\to{\mathbb{R}}_{u}$ such that its graph $\Gamma(U_{n})$ coincides with ${\mathcal{M}}_{0}^{n}$ has a single-valued conjugate function. Then, by Lemma 3, we know that the domain $\mathfrak{D}_{n}$ has to be simply-connected. It follows now that the domain $\mathfrak{D}$, as the union of an increasing sequence of simply-connected domains, is also simply-connected.

For proving that $\mathfrak{D}={\mathbb{C}}_{z}$ we need to show that $\partial\mathfrak{D}=\emptyset$. Assume to the contrary that $\partial\mathfrak{D}\neq\emptyset$. In this case we conclude from simply-connectedness of the domain $\mathfrak{D}$ that $\partial\mathfrak{D}$ has the full harmonic measure relatively $\mathfrak{D}$. Then, since the function $\log|{\mathcal{H}}(z)|$ is harmonic near $\partial\mathfrak{D}$, it follows from the established in Lemma 11 property $\log|{\mathcal{H}}(z)|\to+\infty$ as $z\to\partial{\mathfrak{D}}$ that this function has to be identically equal to $+\infty$. This gives the desired contradiction and completes the proof of Lemma 12. $\Box$

The last lemma of this section gives us the required foliation structure of the boundary $\partial{\mathfrak{A}}$ of $\mathfrak{A}$.

Lemma 13. Let $\mathfrak{A}$ be a pseudoconvex domain of the form

[TABLE]

where $w=u+iv$ and F is a continuous function on ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$. Assume that there exists an entire function ${\mathcal{H}}:{\mathbb{C}}_{z}\to{\mathbb{C}}_{w}$ such that for its graph $\Gamma({\mathcal{H}})$ the inclusion $\Gamma({\mathcal{H}})\subset\overline{\mathfrak{A}}$ holds. Then the boundary $\partial{\mathfrak{A}}$ of $\mathfrak{A}$ can be represented as

[TABLE]

where ${\mathcal{H}}:{\mathbb{C}}_{z}\to{\mathbb{C}}_{w}$ is an entire function, $\Theta:{\mathbb{R}}\to{\mathbb{R}}$ is a continuous function and $\Gamma({\mathcal{H}}+(t+i\Theta(t)))$ denote the graph of the function $w={\mathcal{H}}(z)+(t+i\Theta(t))$.

In particular, every continuous Levi flat graph over ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ is foliated by translations in the $w$-direction of the graph of just one entire function.

Proof**.**

Observe first that the inequality defining the Model domain $\mathfrak{A}$ implies that for the function $w={\mathcal{H}}(z)+i$ we have the inclusion $\Gamma({\mathcal{H}}+i)\subset\mathfrak{A}$. Consider a biholomorphic change of coordinates ${\mathfrak{F}}_{1}$ in $\mathbb{C}_{z,w}^{2}$:

[TABLE]

Note that ${\mathfrak{A}}_{1}\mathrel{\mathop{:}}={\mathfrak{F}}_{1}(\mathfrak{A})$ is also a Model domain and, hence, the inclusion

[TABLE]

holds. Now we perform one more biholomorphic transformation

[TABLE]

namely,

[TABLE]

where in the square root we choose the branch that maps the set $\mathbb{C}\setminus\{it,t\in[0,+\infty)\}$ to the upper half-plane. Observe that the set ${\mathfrak{F}}_{2}({\mathfrak{F}}_{1}(\mathbb{C}_{z,w}^{2}\setminus\mathfrak{A}))\cup({\mathbb{C}_{z}}\times\{1\})$ will be closed and pseudoconcave. Moreover, it is contained in ${\mathbb{C}_{z}}\times\overline{\Delta}_{1}(0)$, i.e. this set is an analytic multifunction which is also bounded. Then Liouville’s theorem for analytic multifunctions (see, for example, Theorem 1.11 in [A]) tells us that this set has the form ${\mathbb{C}_{z}}\times E$ for some compact set $E\subset\overline{\Delta}_{1}(0)$. Therefore, since the boundary of the set ${\mathfrak{F}}_{2}({\mathfrak{F}}_{1}(\mathbb{C}_{z,w}^{2}\setminus\mathfrak{A}))\cup({\mathbb{C}_{z}}\times\{1\})={\mathbb{C}_{z}}\times E$ is the disjoint union of lines parallel to the z-axis, we conclude, in view of the form of the maps ${\mathfrak{F}}_{1}$ and ${\mathfrak{F}}_{2}$, that the boundary of the set $\mathbb{C}_{z,w}^{2}\setminus\mathfrak{A}={\mathfrak{F}}_{1}^{-1}(({\mathfrak{F}}_{2}^{-1}({\mathbb{C}_{z}}\times E))$ is constituted by the translations in the w-direction of the graph $\Gamma({\mathcal{H}})$ of the function ${\mathcal{H}}$. This completes the proof of Lemma 13. $\Box$

Now we can finally conclude from the construction of the limit leaf ${\mathcal{L}}_{0}$ and the properties established in Lemmas 11 - 13 that the following main statement of this section holds true.

Proposition 2. If $\,\widetilde{\mathfrak{A}}\neq\mathfrak{A}$, then there is an entire function ${\mathcal{H}}:{\mathbb{C}}_{z}\to{\mathbb{C}}_{w}$ and a continuous function $\Theta:{\mathbb{R}}\to{\mathbb{R}}$ such that the boundary $\partial{\mathfrak{A}}$ of $\mathfrak{A}$ can be represented as

[TABLE]

where $\Gamma({\mathcal{H}}+(t+i\Theta(t)))$ denote the graph of the function $w={\mathcal{H}}(z)+(t+i\Theta(t))$.

6 Proof of the Main Theorem

Now we can finally complete the proof of the Main Theorem.

Proof**.**

Observe first that, since, in the case when $\widetilde{\mathfrak{A}}=\mathfrak{A}$, we know by Proposition 1 that $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function, it follows from the definition of the core that $\mathfrak{c}(\mathfrak{A})=\emptyset$. It also follows from Sibony’s Theorem 2 above that in this case the domain $\mathfrak{A}$ is Kobayashi hyperbolic, and from Chen-Zhang’s Theorem 3 above that $\mathfrak{A}$ possesses a Bergman metric.

Since, in the second case when $\widetilde{\mathfrak{A}}\neq\mathfrak{A}$, we have by Proposition 2 the required foliation of the boundary $\partial{\mathfrak{A}}$ of the domain $\mathfrak{A}$ by translations of the graph of an entire function, we conclude that to finish the proof of the theorem we only need to show that in this case:

1. (i)

$\mathfrak{c}(\mathfrak{A})\neq\emptyset$. 2. (ii)

The domain $\mathfrak{A}$ is not Brody hyperbolic. 3. (iii)

The domain $\mathfrak{A}$ is not Kobayashi hyperbolic. 4. (iv)

The domain $\mathfrak{A}$ does not possess a Bergman metric.

For showing (i), (ii) and (iii) it is enough to observe that the graph of the entire function $w={\mathcal{H}}(z)+i$ is contained in $\mathfrak{A}$. Then, using Liouville’s theorem on this curve, we see that $\Gamma({\mathcal{H}}+i)\subset\mathfrak{c}(\mathfrak{A})$ and hence $\mathfrak{c}(\mathfrak{A})\neq\emptyset$. We also see that the domain $\mathfrak{A}$, by the definition, is not Brody hyperbolic, and that the Kobayashi distance along the curve $\Gamma({\mathcal{H}}+i)$ degenerates and, hence, in this case the domain $\mathfrak{A}$ can not be Kobayashi hyperbolic.

For proving (iv) we can proceed the same way as in the proof of Proposition 2. Namely, we first perform a biholomorphic change of coordinates ${\mathfrak{F}}_{1}$ in $\mathbb{C}_{z,w}^{2}$:

[TABLE]

Then the domain $\mathfrak{F}_{1}(\mathfrak{A})$ will have the form ${\mathfrak{F}}_{1}(\mathfrak{A})=\{(z^{\prime},w^{\prime})\in\mathbb{C}^{2}:v^{\prime}>\Theta(u^{\prime})\}$. Since the domain $\Sigma\mathrel{\mathop{:}}=\{w^{\prime}\in\mathbb{C}:v^{\prime}>\Theta(u^{\prime})\}$, where $w^{\prime}=u^{\prime}+iv^{\prime}$, is simply-connected, there exists a conformal map ${\mathfrak{f}}:\Sigma\to\Delta_{1}(0)$ to the unit disk $\Delta_{1}(0)$ in $\mathbb{C}_{w^{\prime}}$. Hence, if we consider the map $\mathfrak{F}_{2}:{\mathbb{C}}_{z}\times\Sigma\to{\mathbb{C}}_{z}\times\Delta_{1}(0)$ defined as:

[TABLE]

then $\mathfrak{F}_{2}\circ\mathfrak{F}_{1}$ will be a biholomorphic map of the domain $\mathfrak{A}$ onto the unbounded cylinder $\mathbb{C}_{z}\times\Delta_{1}(0)$. But the space of holomorphic $L^{2}$-functions on this cylinder consists of just one function which is identically equal to zero. Therefore the space of holomorphic $L^{2}$-functions on $\mathfrak{A}$ also consists of just one function which is equal to zero. It follows then that the domain $\mathfrak{A}$ can not have a Bergman metric. The proof of the Main Theorem is now completed. $\Box$

Remark 2. In the case when the boundary $\partial{\mathfrak{A}}$ of the domain $\mathfrak{A}$ is not foliated by translations of the graph of an entire function, we know from our Main Theorem that its core ${\mathfrak{c}}(\mathfrak{A})$ is empty. It follows then from Theorem 1 in [GHH] that in this case $\dim{A^{2}(\mathfrak{A})}=\infty$, where $A^{2}(\mathfrak{A})$ is the Bergman space, i.e. the space of holomorphic functions on $\mathfrak{A}$ which belong to $L^{2}(\mathfrak{A})$.

Remark 3. Since, by Lemma 13, every continuous Levi flat graph over ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$ is foliated by translations of the graph of just one entire function, and since, by Theorem 1 above, the Dirichlet problem for Levi flat graphs over bounded convex domains is solvable for any continuous boundary function, we conclude that not all Levi flat graphs over bounded convex domains can be uniformly approximated by the globally defined (i.e. defined over the whole of ${\mathbb{C}}_{z}\times{\mathbb{R}}_{u}$) Levi flat graphs.

Remark 4. We do not know if all the Model domains $\mathfrak{A}\subset{\mathbb{C}}^{2}$, whose boundary $\partial{\mathfrak{A}}$ is not foliated by translations of the graph of an entire function, possess a Carath$\acute{e}$odory metric.

Acknowledgements. Part of this work was done while the author was a visitor at the Capital Normal University (Beijing). It is his pleasure to thank this institution for its hospitality and good working conditions. The author also would like to thank B.-Y. Chen, K.-T. Kim and W. Zwonek for useful information related to Remark 2, K.-T. Kim for references on some papers where Model domains were previously studied and A. Isaev for references related to the Lie group structure on ${\text{Aut}}(\mathfrak{A})$ for Kobayashi hyperbolic domains $\mathfrak{A}$.