Dynamics of transcendental H\'enon maps-II

TL;DR

This paper explores the dynamics of transcendental Hénon maps, showing they always exhibit complex behavior with non-empty Julia sets, including periodic and escaping orbits, extending the understanding of polynomial Hénon maps to a broader class.

Contribution

It proves that transcendental Hénon maps always have non-trivial dynamics, including the existence of periodic and escaping orbits, and non-empty Julia sets.

Findings

Existence of both periodic and escaping orbits

Julia sets are non-empty and perfect

Transcendental Hénon maps exhibit complex dynamical behavior

Abstract

Transcendental H\'enon maps are the natural extensions of the well investigated complex polynomial H\'enon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental H\'enon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect.

Equations

$$F(z,w)=(f(z)-\delta w,z),$$

$$M(r):=\underset{|z|=r}{\max }|f(z)|.$$

$$\underset{r\to \infty }{\lim }\frac{\log M(r)}{\log r}=\infty ,$$

$$N(r)\le (\log M(r){)}^{1+\epsilon }$$

$$|z-{\zeta }_r|<\frac{r}{(N(r){)}^{\alpha }}$$

$$f(z)$$

$$f^{(j)}(z)$$

$$\log f(z)-\log f({\zeta }_r)=N(r)\left(\log z-\log {\zeta }_r\right)+\log (1+{\epsilon }_0).$$

$$(\log f{)}^{\prime }(z)=\frac{N(r)}{{\zeta }_r}(1+{\epsilon }_1).$$

$$F:(z,w)\mapsto (e^{g(z)}+w,z),$$

$$F(z,w)=(f(z)-\delta w,z)$$

$$F^{-1}(z,w)=(w,\frac{f(w)-z}{\delta }).$$

$$\{\begin{array}{l}{e}^{g(w+e^{g(z)})}=-e^{g(w)}\\ e^{g(-e^{g(w)}+z)}=-e^{g(z)}.\end{array}$$

$$\{\begin{array}{l}g(w+e^{g(z)})-g(w)=\pi i\\ g(z-e^{g(w)})-g(z)=-\pi i.\end{array}$$

$$g^{\prime }(z)e^{g(z)}=\pi i.$$

$$N\le (\log M{)}^2.$$

$$|\log (1+{\epsilon }_0)|<1,|{\epsilon }_1|<1.$$

$$D:=\{z:r{e}^{-\frac{2}{N}}<|z|<r{e}^{\frac{2}{N}},|\mathrm{Arg}(z)-\mathrm{Arg}({\zeta }_r)|<4\pi /N\}.$$

$$h(z):=N(\log z-\log {\zeta }_r)+\log g({\zeta }_r)$$

$$\log g=h+\log (1+{\epsilon }_0).$$

$$A_r=\{M/e<|z|<Me\}.$$

$$\frac{\log \frac{r}{NM}}{M}\to 0,$$

$$u_0=\log \frac{\pi r}{NM},$$

$$\log g^{\prime }(z)+g(z)=\log (\pi i)+2k\pi i=\log \pi +i\frac{\pi }{2}+2k\pi i$$

$$|g^{\prime }(z)|={\left|\frac{z}{{\zeta }_r}\right|}^N\frac{NM}{r}|(1+{\epsilon }_0)(1+{\epsilon }_1)|.$$

$$\mathrm{Re}[g(z)+\log g^{\prime }(z)]=\log \frac{\pi r}{NM}-3+\log |g^{\prime }(z)|\le \log \pi -1+\log |(1+{\epsilon }_0)(1+{\epsilon }_1)|\le \log \pi -\frac{1}{2},$$

$$\mathrm{Re}[g(z)+\log g^{\prime }(z)]\ge \log \pi +\frac{1}{2}.$$

$$|e^{g(z)}|\simeq \frac{r}{NM}.$$

$$G(z,w):=(g(w+e^{g(z)})-g(w),g(z-e^{g(w)})-g(z))$$

$$|G_1(z_0,z_0)-\pi i|\le \frac{\sqrt{2}}{2}\underset{t\in [0,1]}{\max }|g^{\prime \prime }(z_0+t{e}^{g(z_0)})||e^{2g(z_0)}|,$$

$$|g^{\prime \prime }(z)|=\frac{N^2}{r^2}{\left(\frac{|z|}{r}\right)}^{N}M|(1+{\epsilon }_0)(1+{\epsilon }_2)|\simeq \frac{N^{2}M}{r^2}.$$

Full text

† Supported by the SIR grant “NEWHOLITE - New methods in holomorphic iteration” no. RBSI14CFME. Partially supported by the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006.

‡ This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 703269 COTRADY

Part of this work was done during the international research program ”Several Complex Variables and Complex Dynamics” at the Center for Advanced Study at the Academy of Science and Letters in Oslo during the academic year 2016/2017.

1. 1 Introduction
2. 2 The Julia set is not empty
3. 3 Curves of escaping points
4. 4 Dense Stable Manifold
5. 5 Pseudoconvexity of the Fatou set

1. Introduction

We investigate the dynamics of transcendental Hénon maps $F\colon\mathbb{C}^{2}\rightarrow\mathbb{C}^{2}$ defined as

[TABLE]

where $f\colon\mathbb{C}\rightarrow\mathbb{C}$ is entire transcendental. The current paper continues the study started in [ABFP19], where the Julia set and Fatou set were introduced and various possible of Fatou components were constructed. Recall from [FM89] that (compositions of) polynomial Hénon maps are the polynomial automorphisms with non-trivial dynamical behavior. The goal of this paper is to show that transcendental Hénon maps, a subclass of the holomorphic automorphisms, all have non-trivial behavior as well. We prove the following:

Theorem 1.1**.**

The Julia set $J_{F}$ is non-empty and has no isolated points.

As a consequence the Julia set is uncountable. The result is a direct consequence of the following three propositions:

Proposition 1.2**.**

There exist periodic orbits.

Proposition 1.3**.**

There exist escaping orbits.

Proposition 1.4**.**

Every Fatou component is pseudoconvex.

Note that the orbits inside a Fatou component containing a periodic orbit must all be bounded, hence Propositions 1.2 and 1.3 together imply that the Julia set is non-empty. The fact that the Julia set is perfect follows from Proposition 1.4, since a punctured ball is not pseudoconvex.

We note that Propositions 1.2, 1.3, and 1.4 all hold for polynomial Hénon maps, 1.3 following directly from the existence of the filtration [HOV94]. In the polynomial setting pseudoconvexity of bounded Fatou components is again immediate, for unbounded components it follows from pluriharmonicity of the pluricomplex Green function $G^{+}$. Alternatively pseudoconvexity follows from the fact that the Julia set $J^{+}$ equals the support of a positive closed $(1,1)$-current. Observe that none of the proofs from the polynomial setting hold for transcendental maps, and indeed, the proofs given here are quite different.

Propositions 1.2 and 1.3 will be proved in section 2, relying heavily on Wiman-Valiron Theory for transcendental maps in one variable. We prove in fact that there must always be periodic points of order $1$, $2$ or $4$. The existence of escaping orbits closely follows ideas of [Ere89]. In section 3 we prove that through every of the escaping points we construct, which we will refer to as Eremenko escaping points, there exists a complex curve of escaping points obtained as a strong stable manifold. We note that it remains open whether all points in the escaping set are connected to infinity. The same question is open for transcendental maps in one complex variable, where this is known as Eremenko’s Conjecture.

In section 4 we prove that the Julia set can be equal to all of $\mathbb{C}^{2}$, by constructing a saddle fixed point with a dense stable manifold. Recall that the Julia set of an entire function in one complex variable is either the whole complex plane or has no interior; a fact that holds trivially for polynomials and for polynomial Hénon maps similarly. Whether the same dichotomy holds for transcendental Hénon maps remains to be decided.

In section 5 we prove Proposition 1.4, which implies in particular that there are no isolated points in the Julia set. A main ingredient on the proof is the existence of an escaping orbit for the inverse of $F$, which is guaranteed by Proposition 1.3. We emphasize that the Fatou components in Proposition 1.4 refer to the $\mathbb{P}^{2}$-Fatou set. We will discuss the distinction between the different definitions of the Fatou set in section 5. We note that the other statements in this paper hold regardless of which compactification of $\mathbb{C}^{2}$ is considered for normality, and hence we will not specify it.

2. The Julia set is not empty

The proofs of Propositions 1.2 and 1.3 rely on main results in Wiman-Valiron Theory in one complex variable, according to which entire transcendental functions behave almost like polynomials of very high degree near points whose image has large modulus. We will start with a brief recollection of results in Wiman-Valiron Theory, followed by the proofs of Propositions 1.2 and 1.3.

2.1. Basics of Wiman-Valiron Theory

For the contents of this Section we refer to [Ere89], [Lan07].

Let $f(z)=\sum_{0}^{\infty}a_{n}z^{n}$ be an entire transcendental function. For any $r>0$, the terms $|a_{n}|r^{n}\rightarrow 0$ as $n\rightarrow\infty$, hence for any $r$ there is a maximal term. Let $N(r)$ be the index of the maximal term. When such a maximal term is not unique, choose the largest index. The function $N(r)$ is called the central index of $f.$ It is an increasing function and $N(r)\rightarrow\infty$ for $r\rightarrow\infty$.

Let $M(r)$ denote the maximum modulus of $f$; that is,

[TABLE]

Since $f$ is a transcendental entire function, we have

[TABLE]

in particular for every $k>0$, $M(r)>r^{k}$ for large $r$.

Recall that a set $E\subset\mathbb{R}$ has finite logarithmic measure if $\int_{[1,\infty]\cap E}\frac{dt}{t}<\infty$.

By [Lan07, Lemma 2.2.8] we have the following upper bound: for any $\varepsilon$,

[TABLE]

outside a set $E_{\varepsilon}$ of finite logarithmic measure (which tends to infinity as $\varepsilon\rightarrow 0$).

The main result in Wiman-Valiron Theory is the following ([Ere89], [Lan07, Theorem 2.2.20]).

Theorem 2.1** (Wiman-Valiron Estimates).**

Let $f$ be entire transcendental, $\frac{1}{2}<\alpha<1$, and let $q$ be a positive integer. For $r>0$ let $\zeta_{r}$ be a point of maximum modulus for $r$, that is, such that $|\zeta_{r}|=r$ and $|f(\zeta_{r})|=M(r)$. If $z$ satisfies

[TABLE]

then

[TABLE]

for all $1\leq j\leq q$, where $\varepsilon_{i}$ are functions converging uniformly to [math] in $z$ as $r\rightarrow\infty$, for $r$ outside an exceptional set $E$ of finite logarithmic measure.

The disk $\left\{|z-\zeta_{r}|<\frac{r}{(N(r))^{\alpha}}\right\}$ is called a Wiman-Valiron disk. Equation (2.4) can be rewritten as

[TABLE]

Remark 2.2**.**

It follows by (2.5) for $j=1$ that

[TABLE]

If $r$ is large enough so that $|\varepsilon_{1}|<1$, this implies that $\log f$ is univalent on the Wiman-Valiron disk.

2.2. Existence of periodic orbits

In this subsection we prove Proposition 1.2, stating that every transcendental Hénon map admits a periodic orbit.

By [ABFP19, Proposition 3.3], a transcendental Hénon map $F$ admits periodic points of order $1$ or $2$ unless it is of the form

[TABLE]

where $g\colon\mathbb{C}\to\mathbb{C}$ is an entire holomorphic function. Hence in order to prove Proposition 1.2 it is enough to prove the following proposition.

Proposition 2.3**.**

Let $F(z,w)=(e^{g(z)}+w,z)$. Then $F$ has infinitely many periodic points of order $4$.

Recall that the inverse of a Transcendental Hénon map

[TABLE]

is given by

[TABLE]

Proof.

We consider the case in which $g$ is transcendental. If $g$ is polynomial, the proof is similar but simpler.

Since $F$ is a homeomorphism, a periodic point $(z,w)$ of order $4$ has to satisfy the equation $F^{2}(z,w)=F^{-2}(z,w)$, which by the special form of the Hénon map reduces to the system

[TABLE]

In particular any solution to the system

[TABLE]

gives a periodic point of order $4$.

We first look at a first order approximation of these two equations in the term $e^{g(z)}$, and look for a solution on the diagonal $\{z=w\}$. With these simplifications both of the equations above reduce to the equation

[TABLE]

We now look for a solution of (2.8). Let $\alpha=2/3$, $q=2$. Let $\varepsilon_{j}$ and $E$ be given by Theorem 2.1 for the function $g$. By (2.2) there is a set $E^{\prime}$ of finite logarithmic measure such that for all $r\not\in E^{\prime}$

[TABLE]

Let $r>0$ be such that $r\notin E\cup E^{\prime}$ and such that

[TABLE]

Let $\zeta_{r}$ be a point of maximum modulus for $r$, let $N=N(r)$ and consider a domain $D$ of the form

[TABLE]

Observe that $D$ is contained in the Wiman-Valiron disk given by (2.3). The function

[TABLE]

maps $D$ univalently onto a rectangle centered at $\log g(\zeta_{r})$ of width 4 and height $4\pi$. By Remark 2.2 the map $\log g$ is univalent on $D$ since $|\varepsilon_{1}|<1$. Note that (2.6) gives

[TABLE]

Since $|\log(1+\varepsilon_{0})|<1$, the image $\log g(D)$ contains a rectangle centered at $\log g(\zeta_{r})$ of width $2$ and height $3\pi$. It follows that $g(D)$ contains the annulus

[TABLE]

By (2.9)

[TABLE]

as $r\to\infty$. Hence in the image $g(D)$ we can find a closed rectangle $R$ of width $6$ and height $4\pi$ centered at a point $u_{0}+iv_{0}$ with

[TABLE]

with an inverse branch $g^{-1}\colon R\to g^{-1}(R)$ defined in a neighborhood of $R$. We can also assume that a neighborhood of $R$ or radius $\pi/4$ is still contained in $g(D)$.

Let $\gamma\colon\mathbb{S}^{1}\to\mathbb{C}$ be a positively oriented parametrization of $\partial g^{-1}(R)$. Let $\gamma_{\rm left},\gamma_{\rm right}$ be the portions of $\gamma$ which are mapped by $g$ to the left and to the right vertical sides of $\partial R$ respectively. Notice that $z$ solves the equation $g^{\prime}(z)e^{g(z)}=\pi i$ if it solves the equation

[TABLE]

for some $k\in\mathbb{Z}$. So now we will estimate the function $\log g^{\prime}(z)+g(z)$ on $g^{-1}(R)$.

By Theorem 2.1,

[TABLE]

Then for every $z\in\gamma_{\rm left}$ we have that

[TABLE]

where we used that $|z|<re^{\frac{2}{N}}$ and assumed $r$ big enough. Similarly, for every $z\in\gamma_{\rm right}$ we get that

[TABLE]

We now estimate $\operatorname{Im}\,[g(z)+\log g^{\prime}(z)]$ on $g^{-1}(R)$. By (2.5) we have that ${\rm Arg}\,g^{\prime}$ is close to a constant on $g^{-1}(R)$, and thus that ${\rm Im}\log g^{\prime}$ is close to constant, say $c$. Hence, since $\operatorname{Im}\,g(z)$ ranges between $v_{0}-2\pi$ and $v_{0}+2\pi,$ the image of $g^{-1}(R)$ via the map $g(z)+\log g^{\prime}(z)$ contains a rectangle of width 1 and height $3\pi$ centered at the point $\log\pi+i(v_{0}+c)$. It follows that there exists $z_{0}\in g^{-1}(R)$ satisfying (2.10) for some $k\in\mathbb{Z}$ and hence satisfying (2.8).

Let $h_{1},h_{2}$ be two real functions. We say that $h_{1}\simeq h_{2}$ as $x\to x_{0}$ if $h_{1}=O(h_{2})$ and $h_{2}=O(h_{1})$. By our choice of the rectangle $R$ the disc $\mathbb{D}(g(z_{0}),\pi/4)$ of radius $\pi/4$ centered in $g(z_{0})$ is also contained in $g(D)$ and admits an inverse branch of $g$. If $z\in g^{-1}(\mathbb{D}(g(z_{0}),\pi/4))$ we have that

[TABLE]

Since $(g^{-1})^{\prime}(g(z_{0}))\simeq\frac{r}{NM}$, by the Koebe $\frac{1}{4}$-theorem $g^{-1}(\mathbb{D}(g(z_{0}),\pi/4))$ contains a disk $B$ centered at $z_{0}$ of radius $\simeq\frac{r}{NM}$.

Our goal is now to find a solution to the original system (2.7) close to the point $(z_{0},z_{0})$. Consider the map

[TABLE]

and let us show that there exists $(z,w)$ such that $G(z,w)=(\pi i,-\pi i)$. Let $G_{1}$ and $G_{2}$ denote the components of $G$.

Using Taylor expansion with Lagrange remainder for $g$ near $z_{0}$ and the fact that $z_{0}$ satisfies (2.8) gives

[TABLE]

and a similar estimate holds for $G_{2}$. By Theorem 2.1 on $D$ we have

[TABLE]

By (2.11) it follows that

[TABLE]

The differential $DG(z,w)$ equals

[TABLE]

We claim that for $r$ large enough the map $G$ is univalent on the polydisk $B\times B$. Since for $z\in B$ the point $g(z)$ varies in a ball of radius $\pi/4$, it follows that $e^{g(z)}$ varies in a sector of angle $\frac{\pi}{2}$ of the complex plane. Hence for a large enough $r$, the diagonal entries of the differential $DG(z_{1},z_{2})$ are contained in two sectors of angle $\frac{2\pi}{3}$ of the complex plane for all $z=(z_{1},z_{2})\in B\times B$. Let $z\neq w$ be distinct points in $B\times B$, and assume first that $w_{1}-z_{1}\neq 0$. If $\gamma(t)=z+t(w-z)$ is the segment joining $z$ and $w$, then since the diagonal entries of $DG$ go to infinity faster than the off-diagonal entries we have that for all $t\in[0,1]$, the first component of $DG(\gamma(t))(w-z)$ is contained in an open sector of angle strictly less than $\pi$, which implies that $G(z)\neq G(w)$. We argue similarly if $z_{1}=w_{1}$ but $z_{2}\neq w_{2}$.

Since for all $v\in\mathbb{C}^{2}$ there exists $C(r)\simeq\frac{NM}{r}$ such that

[TABLE]

it immediately follows that $G(B\times B)$ contains a ball of radius $\simeq 1$ centered at $G(z_{0},z_{0})$. It follows from (2.13) that $(\pi i,-\pi i)$ is in the image of $B\times B$ when $r$ is big enough, which completes the proof.

∎

Notice that the freedom in the choice of $r_{n}$ and $D_{0}$ allows the construction of infinitely many periodic orbits.

2.3. Existence of escaping points

{comment}

The proof of the following result, implying Proposition 1.3, is inspired by Eremenko’s proof [Ere89] of the fact that a transcendental function $f\colon\mathbb{C}\to\mathbb{C}$ admits an escaping point.

Theorem 2.4**.**

Any transcendental Hénon map admits infinitely many escaping orbits, converging to the point $[1:0:0]\in\ell^{\infty}$.

Proof.

Let $F(z,w)=(f(z)-\delta w,z)$. Let $\alpha=2/3$ and $q=1$. Let $\varepsilon_{0},\varepsilon_{1}$ and $E$ be as in Theorem 2.1 for the function $f$. Finally, let $R>0$ be sufficiently large such that the following six properties are satisfied:

• (i)

$|\log(1+\varepsilon_{0})|<\frac{1}{2}$ and $|\varepsilon_{0}|\leq\frac{1}{2}$ for all $r\geq R$,

• (ii)

$|\varepsilon_{1}|<\frac{1}{2}$ for all $r\geq R$,

• (iii)

for all $r\geq R$ we have that $\frac{M(r)}{r}$ is larger than an arbitrarily large constant, to be determined later in the proof,

• (iv)

the logarithmic measure of $E\cap[R,\infty)$ is $\leq 1$,

• (v)

$N(R)>8$ (recall that $N(r)$ is increasing),

• (vi)

for all $r\geq R$ and for every point $\zeta_{r}$ with $|\zeta_{r}|=r$ the domain

[TABLE]

is contained in the disk $\{|z-\zeta_{r}|<\frac{r}{N(r)^{2/3}}\}$.

We construct inductively an increasing sequence of radii $r_{n}\geq R$, $r_{n}\not\in E$, $r_{n}\to\infty$, (denote $M_{n}$ and $N_{n}$ the maximum modulus and central index of $r_{n}$) with points of maximum modulus $\zeta_{n}$, a sequence of domains $(D_{n})_{n\geq 0}$ defined as

[TABLE]

such that

[TABLE]

and a sequence of univalent maps $(\varphi_{n}\colon D_{n}\to D_{n-1})_{n\geq 1}$ satisfying

• (a)

$f(D_{0})\supset A_{1}$ and $(f-\delta\varphi_{n})(D_{n})\supset A_{n+1}$ for all $n\geq 1$,

• (b)

$\varphi_{1}\colon D_{1}\to D_{0}$ is an inverse branch of $f$ and $\varphi_{n}$ is an inverse branch of $f-\delta\varphi_{n-1}$ for all $n>1$,

• (c)

$|\varphi_{n}^{\prime}(w)|\leq 1$ for all $w\in D_{n}$.

Assuming that this is done, let us first show how these constructions imply the existence of an escaping point for $F$. Consider for $n\geq 0$ the embedded complex submanifold defined as the graph

[TABLE]

so that for all $n\geq 1$ we have $F^{-1}(\Gamma_{n})\subset\subset\Gamma_{n-1}$. Indeed,

[TABLE]

If for all $n>1$ we define the set

[TABLE]

then $K_{n}\subset\subset K_{n+1}$ for all $n$, and moreover the intersection $\bigcap_{n\in\mathbb{N}}K_{n}$ is nonempty and consists of escaping points.

We now construct the radii $r_{n}$, the points $\zeta_{n}$, domains $D_{n}$ and the maps $\varphi_{n}$ recursively, starting with $r_{0}\geq R$ outside of the exceptional set $E$. Let $\zeta_{0}$ be a point of maximum modulus for $r_{0}$ and consider the domain

[TABLE]

By (vi) $D_{0}$ is contained in the Wiman-Valiron disk centered in $\zeta_{0}$. As in the proof of Proposition 1.2 we obtain, using (i) and (ii) that $\log f$ is univalent on $D_{0}$ and that the image $\log f(D_{0})$ contains a rectangle $Q$ centered at $\log f(\zeta_{0})$ of width $2$ and height $3\pi$, and thus that $f(D_{0})$ contains the annulus

[TABLE]

The set $\{M_{0}/e<r<M_{0}e\}$ has logarithmic measure 2 and by (iii) it is contained in $[R,\infty)$. By (iv) $E\cap[R,\infty)$ does not contain any interval of logarithmic measure 1. By (v) there exists $r_{1}\notin E$ such that

[TABLE]

is compactly contained in the annulus $A_{1}$, where $\zeta_{1}$ is a point of maximum modulus for $r_{1}$. Notice that the image $f(D_{0})$ winds around $A_{1}$ at least 1.5 times. Since $4\pi/N_{1}<\pi/2$ by (v), it follows that there exists an inverse branch $\varphi_{1}\colon D_{1}\to D_{0}$ of $f$. Notice that $|\varphi_{1}^{\prime}|\leq 1$. Indeed if $z\in D_{0}$, then by (i) and (ii) $|f^{\prime}(z)|\geq\frac{e^{-2}N_{0}M_{0}}{4r_{0}}$, hence by (iii) $|f^{\prime}(z)|$ can be assumed to be larger than $1$.

Suppose now that we have carried on the construction up to $n\geq 0$. Observe that

[TABLE]

Since by (2.4) we have $\left|\frac{\delta\varphi^{\prime}_{n}}{f}\right|\leq\frac{|\delta|}{2^{-1}e^{-2}M_{n}}$ and therefore

[TABLE]

Combining this equation with (ii) and (iii) plus the observation $\left|\frac{\varphi_{n}}{f}\right|\leq\frac{r_{n}}{eM_{n}}$ gives that $(\log(f-\delta\varphi_{n}))^{\prime}$ takes values in a sector of angle strictly less than $\pi$, and thus that $\log(f-\delta\varphi_{n})$ is univalent on $D_{n}$.

We now show that the image $\log(f-\delta\varphi_{n})(D_{n})$ contains a rectangle $Q$ centered at $\log f(\zeta_{n})$ of width $2$ and height $3\pi$, and thus that the image $(f-\delta\varphi_{n})(D_{n})$ contains the annulus

[TABLE]

The function

[TABLE]

maps $D_{n}$ univalently onto a rectangle centered at $\log f(\zeta_{n})$ of width 4 and height $4\pi$. Since by (2.6) we have that $\log f=h+\log(1+\varepsilon_{0})$ it follows that

[TABLE]

and by (i) and (iii) we have that $|\log(1+\varepsilon_{0})+\log(1-\frac{\delta\varphi_{n}}{f})|<1$.

The set $\{M_{1}/e<r<M_{1}e\}$ has logarithmic measure 2 and by (iii) it is contained in $[R,\infty)$. By (iv) the set $E\cap[R,\infty)$ does not contain any interval of logarithmic measure 1. By (v) there exists $r_{n+1}\notin E$ such that the domain

[TABLE]

is compactly contained in the annulus $A_{n+1}$, where $\zeta_{n+1}$ is a point of maximum modulus for $r_{n+1}$. Let $\varphi_{n+1}\colon D_{n+1}\to D_{n}$ be an inverse branch of $f-\delta\varphi_{n}$. We only need to show that $|\varphi_{n+1}^{\prime}|\leq 1$. Indeed, if $z\in D_{n+1}$ and $w:=\varphi_{n+1}(z)$,

[TABLE]

and the claim follows since by (i), (ii) and (iii), $|f^{\prime}(w)|\geq\frac{e^{-2}N_{n}M_{n}}{4r_{n}}\geq 1.$

Notice finally that each of the infinitely many choices of the $D_{n}$ gives different orbits of escaping points. ∎

For every subset $X\subset\mathbb{C}$, we denote by $\mathcal{N}_{\delta}(X)$ its $\delta$-neighborhood. In the next section we will need better estimates of the previous construction. It is easy to see that we can arrange the construction in such a way that $\mathcal{N}_{\delta}(D_{n+1})\subset A_{n+1}$, and thus the inverse branch $\varphi_{n+1}$ of $f-\delta\varphi_{n}$ is defined on the neighborhood $\mathcal{N}_{\delta}(D_{n+1})$. Moreover, up to taking $n$ large enough, there exists a constant $C>1$, independent of $n$, such that

[TABLE]

and thus

[TABLE]

Definition 2.5**.**

We refer to any escaping point constructed in this way as an Eremenko escaping point.

3. Curves of escaping points

For complex (polynomial) Hénon maps, the escaping set $U^{+}$ is foliated by embedded complex lines, a result of Hubbard and Oberste-Vorth [HOV94]. One usually constructs these complex lines by considering the unique complex tangent directions of level curves $\{G^{+}=c\}$, where $G^{+}$ is the forward Green’s function defined by

[TABLE]

The fact that $G^{+}:U^{+}\rightarrow\mathbb{R}$ is a pluriharmonic submersion implies the existence of the leaves of the foliation.

A different point of view, with more potential for generalization to the transcendental setting, is to consider the leaves of the foliation as strong stable manifolds. Let $(P_{n})$ be a forward orbit contained in $U^{+}$. Up to renumbering the sequence $(P_{j})$ we may assume that $|z_{0}|$ is large, and that $|z_{0}|>>|w_{0}|$. It follows that the polynomial $f(z)$ is strongly expanding near each $z_{j}$, and we may assume that image under $f$ of the disk $D(z_{j},1)$ covers $D(z_{j+1},1)$ univalently for each $j\geq 0$.

For the two-dimensional map $F(z,w)=(f(z)-\delta w,z)$ it follows that images $F(\Delta^{2}(P_{j},1))$ intersect the next bidisk $\Delta^{2}(P_{j+1},1)$, with underflow in the vertical direction and overflow in the horizontal, both with uniform estimates. Thus, by taking the inverse images of the straight vertical disks $\{(z_{n},w_{n}+t)\mid|t|<1\}$ and intersecting with the bidisks $\Delta^{2}(P_{j},1)$, we obtain a family of properly embedded vertical graphs. For fixed $j$ these graphs form a Cauchy sequence, and the limits give the local strong stable manifolds through the points $P_{j}$.

We will try to mimic this construction for transcendental Hénon maps, as long as we have an escaping orbit $(P_{j})$ with strong horizontal expansion. Notice that it is not sufficient to control only the derivatives at the point $P_{j}$. We will need neighborhoods similar to the bidisks $\Delta^{2}(P_{j},1)$ as above, with overflow in the horizontal and underflow in the vertical direction. It turns out that for the escaping points constructed in Theorem 2.4 we have exactly the right information needed to prove the existence of the stable manifolds. Our proof, as the proof sketched above, closely follows the graph transform method. Most references in the literature deal with the setting where the orbit $P_{j}$ is either periodic or remains in a compact subset. For the reader’s convenience we give a detailed proof that does not rely on any sources, without claiming that the methods presented here are new. The contents of this section rely on the construction in the proof of Theorem 2.4.

Theorem 3.1**.**

Let $F(z,w)=(f(z)-\delta w,z)$ be a transcendental Hénon map. Let $P_{0}$ be an Eremenko escaping point. Then there exists an injective holomorphic immersion $\gamma\colon\mathbb{C}\to\mathbb{C}^{2}$ whose image $\Sigma^{s}(P_{0})$ contains $P_{0}$ and is contained in the escaping set $I(F)$. For every $Q\in\Sigma^{s}(P_{0})$, $\|F^{n}(Q)-F^{n}(P_{0})\|$ converges to zero at least exponentially fast as $n\rightarrow\infty$.

Proof of Theorem 3.1.

Let $P_{0}$ be an Eremenko escaping point and for all $n\geq 0$ let $\Gamma_{n},D_{n},\varphi_{n}$ be defined as in the proof of Theorem 2.4. In particular, $P_{0}=\bigcap_{n\geq 0}F^{-n}(\Gamma_{n})\subset\Gamma_{0}$.

Since $F$ is an automorphism it is sufficient to prove the claim up to replacing $P_{0}$ with a point $P_{n}:=F^{n}(P_{0})$ for some $n$ large enough.

We define the domains

[TABLE]

Notice that the shear $\Phi_{n}(z,t):=(z,t+\varphi_{n}(z))$ is a biholomorphism from $\mathbb{U}_{n}:=D_{n}\times\mathbb{D}$ to $U_{n}$ and let us define

[TABLE]

Suppose that the point $(z,t+\varphi_{n}(z))$ belongs to $U_{n}\cap F^{-1}(U_{n+1})$. Then clearly $F\circ\Phi_{n}(z,t)\in U_{n+1}$, hence $\tilde{z}:=f(z)-\delta\varphi_{n}(z)-\delta t\in D_{n+1}$. Since $\varphi_{n+1}$ is defined in a $\delta$-neighborhood of $D_{n+1}$ we have that $\varphi_{n+1}(\tilde{z}+\delta t)$ is well defined for $|t|<1$, and hence we can write

[TABLE]

where $\tilde{t}:=z-\varphi_{n+1}(\tilde{z}).$ This induces a map $\tilde{F}:\Phi_{n}^{-1}(U_{n}\cap F^{-1}(U_{n+1}))\rightarrow\mathbb{U}_{n+1}$ defined as

[TABLE]

Lemma 3.2**.**

Let $(z,t+\varphi_{n}(z))$ be a point in the connected component containing $P_{n}$ of $U_{n}\cap F^{-1}(U_{n+1})$. Then

[TABLE]

Proof.

Let $\gamma\colon[0,1]\to U_{n}$ be a continuous curve joining the points $P_{n}$ and $(z,t+\varphi_{n}(z))$, all contained inside the connected component. Denote

[TABLE]

For all $s\in[0,1]$, the point $f(z(s))-\delta\varphi_{n}(z(s))$ is contained in $\mathcal{N}_{\delta}(D_{n+1})$. Consider the equation

[TABLE]

This holds for $s=0$ since $z(0)=P_{n}$ and by continuity it holds for $s=1$. ∎

Lemma 3.3**.**

Let $(z_{1},t+\varphi_{n}(z_{1}))$ and $(z_{2},t+\varphi_{n}(z_{2}))$ both belong to the connected component containing $P_{n}$ of $U_{n}\cap F^{-1}(U_{n+1})$. There exist a constant $\Theta=\Theta(n)\stackrel{{\scriptstyle n\to\infty}}{{\longrightarrow}}+\infty$ and a constant $\Theta^{\prime}>0$ independent of $n$, such that the following estimates hold:

[TABLE]

Proof.

By definition of $\tilde{z}_{1},\tilde{z_{2}}$ we have

[TABLE]

Since $(z_{1},t+\varphi_{n}(z_{1}))$ and $(z_{2},t+\varphi_{n}(z_{2}))$ belong to the connected component containing $P_{n}$ of $U_{n}\cap F^{-1}(U_{n+1})$, by Lemma 3.2 we have that $z_{1}=\varphi_{n+1}(\tilde{z}_{1}+\delta t)$ and that $z_{2}=\varphi_{n+1}(\tilde{z}_{1}+\delta t)$. Let $\gamma\colon[0,1]\to\mathbb{C}$ be the segment joining the points $\tilde{z}_{1}+\delta t$ and $\tilde{z}_{2}+\delta t$. Then

[TABLE]

Thanks to (2.16), setting $\Theta:=\frac{C^{-1}M_{n}N_{n}}{r_{n}}$ we obtain (3.1). We now prove (3.2). We have

[TABLE]

Hence we are reduced to estimate $|\varphi_{n+1}(\tilde{z}_{2})-\varphi_{n+1}(\tilde{z}_{1})|$. Arguing as above we obtain

[TABLE]

From (3.3) it follows that

[TABLE]

The result therefore follows from (2.15) and (2.16) setting $\Theta^{\prime}:=C^{2}+1$. ∎

Lemma 3.4**.**

Let $Q:=(z,t+\varphi_{n}(z))$ belong to the connected component containing $P_{n}$ of $U_{n}\cap F^{-1}(U_{n+1})$. Then there is a contact $\alpha=\alpha(n)\stackrel{{\scriptstyle n\to\infty}}{{\longrightarrow}}0$ such that

[TABLE]

Proof.

Consider the point $F(Q)=(\tilde{z},z)\in U_{n+1}$. Since $Q$ belongs to the connected component containing $P_{n}$ of $U_{n}\cap F^{-1}(U_{n+1})$, by Lemma 3.2 we have that $z=\varphi_{n+1}(\tilde{z}+\delta).$ Hence

[TABLE]

∎

Let $L_{n}=L_{n,n}$ be the intersection with $\mathbb{U}_{n}$ of the straight vertical line through $\tilde{P}_{n}$, and recursively define $L_{n,j}$ for all $n\geq j\geq 0$ as the connected component of $\tilde{F}^{-1}(L_{n,{j+1}})\cap\mathbb{U}_{j}$ that contains the point $\tilde{P}_{j}$. We will show that for $j_{0}$ sufficiently large the pullbacks $L_{n,j_{0}}$ converge to a proper holomorphic disk in $\mathbb{U}_{j_{0}}$, corresponding to the local stable manifold through $P_{j_{0}}$.

We claim that for each $n,j$ the curve $L_{n,j}$ is vertical, that is, its tangent space is contained in the vertical cone field

[TABLE]

and that $L_{n,j}$ it is a graph of the $t$-direction. Since each $L_{n,j}$ is a pullback of the vertical curve $L_{n,n}$, it is enough to show that the vertical cone field is backward invariant.

Observe that

[TABLE]

By equations (2.15) and (2.16) it follows that $\frac{a_{i}}{A}\rightarrow 0$ as $n\rightarrow\infty$.

Denote by $\pi_{2}(z,w):=w$ the projection on the second variable. The fact that the $\delta$-neighborhood $\mathcal{N}_{\delta}(D_{n+1})$ satisfies $\varphi_{n+1}(\mathcal{N}_{\delta}(D_{n+1}))\subset D_{n}$ and $(\varphi_{n+1}(\partial\mathcal{N}_{\delta}(D_{n+1}))\times\mathbb{D})\cap U_{n+1}=\emptyset$ implies overflow in the horizontal direction. Combined with the underflow in the vertical direction given by Lemma 3.4, this implies that the restriction $\pi_{2}\colon L_{n,j}\to\mathbb{D}$ is a proper holomorphic map, and thus a branched covering. Since the curve $L_{n,j}$ is almost vertical, the covering cannot have branch points. Hence $\pi_{2}\colon L_{n,j}\to\mathbb{D}$ is a biholomorphism, and thus $L_{n,j}$ is a graph over $\mathbb{D}$.

We introduce the graph distance

[TABLE]

As the tangent spaces to each of the graphs $L_{n,j}$ are vertical and they all pass through the point $P_{j}$, it follows that $\mathrm{dist}(L_{n,j},L_{m,j})$ is bounded from above by the constant $1$, independently of $n,m,j$.

Lemma 3.5**.**

We have that

[TABLE]

Proof.

Let $(z_{1},t)$ be the coordinates of a point $Q_{1}\in L_{n,j}$ and $(z_{2},t)$ be the coordinates of a point $Q_{2}\in L_{m,j}$. Denote their images under $\tilde{F}$ by $(\tilde{z}_{1},\tilde{t}_{1})\in L_{n,j+1}$ and $(\tilde{z}_{2},\tilde{t}_{2})\in L_{m,j+1}$, and let $\tilde{z}_{3}$ be the unique value for which $(\tilde{z}_{3},\tilde{t}_{1})\in L_{m,j+1}$. The claim follows if we can show that $|\tilde{z}_{1}-\tilde{z}_{3}|\geq 2|{z}_{1}-{z}_{3}|$.

By (3.1) it follows that

[TABLE]

while by (3.2) it follows that

[TABLE]

Since the tangent space to $L_{m,j+1}$ is contained in the vertical cone field and the two points $(\tilde{z}_{2},\tilde{t}_{2})$ and $(\tilde{z}_{3},\tilde{t}_{1})$ belong to $L_{m,j+1}$, it follows that

[TABLE]

It follows that

[TABLE]

Since $\Theta\rightarrow\infty$ as $n\rightarrow\infty$ while $\Theta^{\prime}$ is constant, we may assume that $\Theta\geq 2+\Theta^{\prime}$, proving (3.4). ∎

As a consequence for fixed $j$ the graphs $L_{n,j}$ form a Cauchy sequence, and converge to a limit graph $\Sigma_{j}$. We denote by $\Sigma_{loc}^{s}(P_{j})$ the graph $\Phi_{j}(\Sigma_{j})$.

We now conclude the proof by showing that $\Sigma_{loc}^{s}(P_{j})$ can be extended to a full complex curve $\Sigma^{s}(P_{j})$ of escaping points, and that for any $Q\in\Sigma^{s}(P_{j})$ we have that $\|F^{n}(P)-F^{n}(Q)\|\rightarrow 0$ at least exponentially fast as $n\rightarrow\infty$.

By construction we have that $\tilde{F}(\Sigma_{j})\subset\Sigma_{j+1}$, and by (3.4) we obtain

[TABLE]

which by definition of $\tilde{F}$ implies that

[TABLE]

It follows that the global stable manifold through $P_{j}$ defined as

[TABLE]

is an increasing union of disks, and equation 3.5 implies that the Kobayashi metric vanishes identically. Thus $\Sigma^{s}(P_{j})$ is biholomorphic to $\mathbb{C}$. In particular the set $\Sigma^{s}(P_{j})$ is unbounded and consists of escaping points.

Finally, we need to show the existence of $C>0,\lambda<1$ such that for $Q\in\Sigma^{s}(P_{j})$ we have

[TABLE]

By the definition of the shear $\tilde{F}$ it is enough to check that for $Q\in\Sigma_{j}$ we have

[TABLE]

To prove the latter let $\tilde{F}^{n}(Q)=(z^{\prime}_{n},t^{\prime}_{n})$ and $\tilde{F}^{n}(\tilde{P}_{j})=(z_{n},0)$. By (3.5) we have $|t_{n}^{\prime}|\leq\frac{1}{2^{n}}t_{0}^{\prime}$, and the fact that the $\Sigma_{j}$ are vertical graphs passing through $\tilde{P}_{j}$ implies $|z_{n}^{\prime}-z_{n}|\leq|t_{n}^{\prime}|$. This concludes the proof.

∎

4. Dense Stable Manifold

We denote by $\mathcal{H}(\mathbb{C}^{2})$ the space of all entire Hénon maps equipped with the compact open topology. The subspace consisting of those Hénon maps with Jacobian determinant $\delta$ will be denoted by $\mathcal{H}_{\delta}(\mathbb{C}^{2})$. Throughout this section we will consider a fixed $\delta$ with $|\delta|>1$.

Theorem 4.1**.**

There exists a dense $G_{\delta}$-subset $\mathcal{U}$ of $\mathcal{H}_{\delta}(\mathbb{C}^{2})$ such that every map $F\in\mathcal{U}$ has a fixed saddle point whose stable manifold is dense in $\mathbb{C}^{2}$.

In particular the Julia set any map $F\in\mathcal{U}$ is equal to $\mathbb{C}^{2}$.

The analogous statement was proved for volume preserving holomorphic automorphisms of $\mathbb{C}^{n}$ in [PVW08], and generalized to Stein manifolds with the volume density property in [AL19]. Our proof closely follows that in [AL19], with only mild variations due to the fact that the maps under consideration are of a more restrictive form. In these steps the fact that our maps are volume expanding simplifies the proof considerably. We will give the proof, emphasizing the differences with the proof in [AL19].

Step 1. We note that $\mathcal{H}_{\delta}(\mathbb{C}^{2})$ is homeomorphic to the Fréchet space of entire functions on $\mathbb{C}$. As such it a Baire space, it is separable, and its topology is induced by a complete distance $d$. Let $\{\varphi_{j}\}_{j\in\mathbb{N}}$ be a dense countable subset.

Step 2. Using Runge approximation we can perturb each $\varphi_{j}$ to obtain an entire Hénon map $\psi_{j}$ with $d(\psi_{j},\varphi_{j})<\frac{1}{j}$, such that each $\psi_{j}$ has a saddle fixed point. Note that the saddle fixed point may be constructed arbitrarily close to infinity. The collection $\{\psi_{j}\}_{j\in\mathbb{N}}$ is still dense in $\mathcal{H}_{\delta}(\mathbb{C}^{2})$.

Step 3. For each $\psi_{j}$ we can find an arbitrarily small ball $B_{j}\subset\mathcal{H}_{\delta}(\mathbb{C}^{2})$ in which the chosen saddle point $\psi_{j}$ can be followed continuously, and the corresponding local stable manifold is a graph over a fixed direction in a linearly embedded polydisk $\Delta^{2}_{j}$ which does not depend on the map $F\in B_{j}$. For $F\in B_{j}$ we denote the marked saddle fixed point by $\eta(F)$ and its stable manifold by $\Sigma^{s}_{F}(\eta(F))$.

Step 4. By recursively decreasing the radius of $B_{j}$ if $\psi_{j}$ is not contained in the closure of an earlier defined ball, or dropping $\psi_{j}$ if it is, we obtain a countable collection of pairwise disjoint balls $B_{j}$, whose union $A=\bigcup B_{j}$ is dense in $\mathcal{H}_{\delta}(\mathbb{C}^{2})$. Note that since the balls $B_{j}$ are pairwise disjoint, the notation introduced in the previous step is now justified.

Since $\mathcal{H}_{\delta}(\mathbb{C}^{2})$ is a Baire space, Theorem 4.1 is now is a direct consequence of the following lemma.

Lemma 4.2**.**

Let $q\in\mathbb{C}^{2}$ and $\varepsilon>0$. The subset $U(q,\varepsilon)\subset\mathcal{H}_{\delta}(\mathbb{C}^{2})$ given by

[TABLE]

is open and dense.

Proof.

The fact that $U(q,\varepsilon)$ is open follows from the fact that stable manifolds vary continuously under perturbations of the map. To prove density, consider any $F\in B_{j}$, fix a compact subset $K\subset\mathbb{C}^{2}$ and a $\delta>0$. We will prove that there exists $\tilde{F}\in B_{j}$ with $\|\tilde{F}-F\|_{K}<\delta$ for which there exists $\tilde{q}\in\Sigma_{\tilde{F}}(\eta(\tilde{F}))$ such that $\|\tilde{q}-q\|<\varepsilon$.

Let $R>0$ be such that $K$ and the polydisk containing the local stable manifold of $\eta(F)$ are both contained in the cylinder $C_{R}:=\{|z|<R\}$. Since $|\delta|>1$ there is a point $\tilde{q}$ arbitrarily close to $q$ whose forward orbit leaves the polydisk $\{|z|<R,|w|<R\}$. Since $F$ is a Hénon map, it follows that the forward orbit of $q$ also leaves the cylinder $C_{R}$, say $F^{N}(\tilde{q})=(z_{0},w_{0})$, with $|z_{0}|>R$.

We remark that this step in the proof is much simpler in our setting than it is for volume preserving automorphisms, where ideas from [FS97] were used to prove that for an arbitrary small perturbation of $F$ the orbit of $q$ leaves an arbitrarily large ball. We also note that the stable manifold $\Sigma_{F}(\eta(F))$ must contain a point $(z_{1},w_{1})$ with $|w_{1}|>R$. If this was not the case, the stable manifold would have to be a straight horizontal line, which is impossible since it is invariant under an entire Hénon map.

Let $N>0$ be such that the point $(z_{N},w_{N}):=F^{N-1}(z_{1},w_{1})$ lies in the local stable manifold. By wiggling the point $(z_{1},w_{1})$ on $\Sigma_{F}(\eta(F))$ we may assume that for all points in the forward orbit

[TABLE]

their $z$-coordinates are pairwise disjoint and disjoint from the $z$-coordinates of the points in the finite orbit from $\tilde{q}$ to $(z_{0},w_{0})$.

By Runge Approximation we can therefore find an entire function $\tilde{f}$ satisfying the following properties:

1. (i)

$\tilde{f}$ is arbitrarily close to $f$ on the disk $\{|z|<R\}$. 2. (ii)

$\tilde{f}(z_{0})=w_{1}+\delta w_{0}$ and $\tilde{f}(w_{1})=z_{1}+\delta z_{0}$. 3. (iii)

$\tilde{f}$ is arbitrarily close to a constant on small discs centered at $z_{0}$ and $w_{1}$. 4. (iv)

$\tilde{f}$ is equal to $f$ on the finite orbit from $(z_{1},w_{1})$ to $(z_{N},w_{N})$ and the finite orbit from $\tilde{q}$ to $(z_{0},w_{0})$, and is arbitrarily close to $f$ on given neighborhoods of these points.

Condition (i) implies that $\tilde{F}$ can be chosen in $B_{j}$.

Consider $\mathcal{N}(\tilde{q})$ a small neighborhood of the point $\tilde{q}$. It follows from the above that a suitable iterate of $\tilde{F}:(z,w)\mapsto(\tilde{f}-\delta w,z)$ maps $\mathcal{N}(\tilde{q})$ to a neighborhood of $(z_{0},w_{0})$. Notice that $\tilde{F}^{2}(z_{0},w_{0})=(z_{1},w_{1})$, hence a further suitable iterate of $\tilde{F}$ maps $\mathcal{N}(\tilde{q})$ to a neighborhood $\mathcal{N}(z_{N},w_{N})$.

It is clear from (ii) - (iv) that the size of $\mathcal{N}(z_{N},w_{N})$ can be chosen uniformly, i.e. the radius of the inner ball centered at $(z_{N},w_{N})$ does not shrink to zero as $\tilde{F}$ approximates $F$ better and better on the cylinder. Hence condition (i) implies that the local stable manifold of $\Sigma_{\tilde{F}}(\eta(\tilde{F})$ can be made to intersect $\mathcal{N}(z_{N},w_{N})$. It follows that the global stable manifold of $\tilde{F}$ passes through $\mathcal{N}(\tilde{q})$, which completes the proof. ∎

5. Pseudoconvexity of the Fatou set

The goal of this section is to prove pseudoconvexity for all Fatou components of transcendental Hénon maps, from which it follows that the Julia set is perfect. We recall that there are several non-equivalent definitions of the Fatou set, depending on the used compactification of $\mathbb{C}^{2}$. We will prove pseudoconvexity of components using the $\mathbb{P}^{2}$-Fatou set, the preferred definition from [ABFP19].

We recall that the Julia set being perfect for the $\widehat{\mathbb{C}^{2}}$-Fatou set was already proved in [FS98]. We do not know whether components of the $\widehat{\mathbb{C}^{2}}$-Fatou set are necessarily pseudoconvex. The result from [FS98] in fact holds for all holomorphic automorphisms not conjugate to an upper triangular map with a repelling fixed point. Note that for the inverse of such a triangular map all orbits converge to this fixed point.

From now on we only refer to the $\mathbb{P}^{2}$-Fatou set, and we will show that Fatou components are pseudoconvex for all holomorphic automorphisms whose inverse admits an escaping point. Note that by Proposition 1.3 this includes all transcendental Hénon maps. We recall that pseudoconvexity of recurrent Fatou components of holomorphic automorphisms was already proved in [FS98]. Not surprisingly, most of our efforts will go into dealing with unbounded orbits.

Recall the following theorem by Levi [Lev10], see also [Iva04].

Theorem 5.1** (Levi).**

Let $H\subset\mathbb{C}^{2}$ be the standard Hartogs figure, and let $f$ be a meromorphic function on $H$. Then there exists a meromorphic function $F$ on $\hat{H}$ which extends $f$.

Let us recall the following observation (Lemma 4.3) from [ABFP19].

Lemma 5.2**.**

Let $\Omega$ be a Fatou component. Then for any limit function $h$ on $\Omega$ either $h(\Omega)\subset\ell_{\infty}$ or $h(\Omega)\subset\mathbb{C}^{2}$.

Theorem 5.3**.**

Let $F$ be an automorphisms for which $F^{-1}$ has an escaping point. Then every Fatou component $\Omega$ of $F$ is pseudoconvex.

Proof.

Let $H$ be a Hartogs figure relatively compact in $\Omega$. We will show that the family $(F^{n})$ is normal on the hull $\hat{H}$, and thus $\hat{H}\subset\Omega$. If $(F^{n_{k}})$ is any subsequence of iterates, we will show that we can always extract a subsequence converging uniformly on compact sets to a holomorphic map $\psi\colon\hat{H}\to\mathbb{P}^{2}(\mathbb{C})$.

If there exists $R>0$ so that $F^{n_{k}}(H)\subset B(0,R)$ for all $k$, then by the maximum principle $F^{n_{k}}(\hat{H})\subset B(0,R)$ for all $k$ and thus $(F^{n_{k}})$ admits a convergent subsequence. On the other hand, if such $R$ does not exist, then there exists a sequence $(x_{k})$ in $H$ and a subsequence $(n_{k})$ such that $\|F^{n_{k}}(x_{k})\|\to+\infty$. Since $H$ is relatively compact in the Fatou set, up to extracting another subsequence we can assume that $F^{n_{k}}|_{H}$ converges uniformly to a holomorphic map $\varphi\colon H\to\mathbb{P}^{2}(\mathbb{C})$. Clearly $\varphi(H)$ cannot be contained in $\mathbb{C}^{2}$, and thus by Lemma 5.2 it is contained in the line at infinity $\ell_{\infty}$.

We identify the line at infinity $\ell_{\infty}$ with the Riemann sphere $\hat{\mathbb{C}}$ via the map $[x:y:0]\mapsto y/x$. With this identification we can see $\varphi$ as a meromorphic function on $H$ without indeterminacy points. By Hartogs extension theorem for meromorphic functions (see Theorem 5.1), there exists a meromorphic function $\psi:\hat{H}\rightarrow\hat{\mathbb{C}}$ which extends $\varphi$. We claim that

• (A)

$\psi$ has no points of indeterminacy (and thus is a holomorphic map $\psi\colon\hat{H}\to\ell_{\infty}$) and the sequence $\varphi_{k}$ converges to $\psi$ uniformly on compact subsets of $\hat{H}$,

• (B)

the sequence $(F^{n_{k}})$ converges uniformly on compact subsets of $\hat{H}$ to $\psi$.

Let us first show that there exists an $R>0$ so that for all large enough $k$ there exists a point $p_{k}\in B(0,R)$ so that $p_{k}\not\in F^{n_{k}}(\hat{H})$. Indeed, otherwise for any given $R$ there exists arbitrarily large $k(R)$ so that $B(0,R)$ is contained in $F^{n_{k(R)}}(\hat{H}).$ By assumption there exists an escaping point $q$ for $F^{-1}.$ Choose $R>\|q\|$ so large that $\hat{H}\subset\subset B(0,R).$ Then $F^{-n_{k(R)}}$ maps $B(0,R)$ into the subset $\hat{H}.$ This implies that $F^{-n_{k(R)}}$ has an attracting fixed point in $\hat{H}.$ Moreover the basin of attraction contains $B(0,R)$. This contradicts the fact that $q$ is an escaping point for $F^{-1}$ and hence for $F^{-n_{k(R)}}$ and gives the existence of the desired $p_{k}$.

Let $\pi_{k}$ denote the radial projection from $\mathbb{C}^{2}\setminus p_{k}$ to $\ell_{\infty}.$ Then the functions

[TABLE]

are holomorphic on $\hat{H}$, and the sequence $(\varphi_{k})$ converges to $\varphi$ uniformly on $H.$

Proof of Claim (A). Up to changing holomorphic coordinates we can assume that $\hat{H}$ is the unit polydisk and that $H$ is the Euclidean Hartogs figure. The function $\psi$ has a zero set $Z$ and a pole set $P$ in $\hat{H}.$ Likewise the functions $\varphi_{k}$ have zero sets $Z_{k}$ and pole sets $P_{k}$ in $\hat{H}$. Since $\varphi_{k}$ is holomorphic on $\hat{H}$, the sets $Z_{k}$ and $P_{k}$ do not intersect for any $k.$

Lemma 5.4**.**

Let $X$ be an analytic complex curve in $\hat{H}$. For every compact set $K\subset\hat{H}\setminus(X\cup\{w=0\})$ there exists a neighborhood $U$ of $X$ such that for all $y\in K$ there exists a complex analytic curve $S_{y}\subset\hat{H}$ containing $y$ which intersects $U$ only inside $H$ and whose boundary $\partial S_{y}$ is contained in $\{|z|=1\}\subset\partial H$.

Proof of Lemma 5.4.

Let $f\colon\hat{H}\to\mathbb{C}$ be a holomorphic function such that $X=\{f=0\}$. Up to considering a smaller Hartogs figure we can assume that $f$ is bounded and, up to multiplication by a non-zero constant, that $|f|<1$ on $\hat{H}.$ Let us define the family of functions $f_{C,n}:\hat{H}\rightarrow\mathbb{C}$ by

[TABLE]

Let $y=(z_{0},w_{0})$ be a point in $K$. For every $n$ the point $y$ is in the zero locus of the function $f_{C,n}$ for the constant $C_{n,y}=\frac{-f(z_{0},w_{0})}{w_{0}^{n}}\rightarrow\infty$. If $n$ is large enough, then $|f(z,w)+C_{n,y}w^{n}|>1$ for $|w|=1$, $y\in K$. This implies that for all $y\in K$ the curve

[TABLE]

does not intersect the part of the boundary of $\hat{H}$ at which $|w|=1$. Therefore we have that $\partial S_{y}$ is contained in $\{|z|=1\}\subset\partial H$. Notice that any curve $S_{y}$ intersects $X$ only in $\{w=0\}$. Hence there exists a neighborhood $U$ of $X$ such that $S_{y}\cap U\subset H$. By compactness of $K$ and the continuity of the family of curves $S_{y}$ we obtain the result. ∎

Let $K\subset\hat{H}\setminus(P\cup\{w=0\})$ be a compact subset. Let $U$ be the neighborhood given by Lemma 5.4 with $X=P$. There exists a constant $C>0$ such that $\{|\psi|>C\}$ is contained in $U$. By the maximum principle applied to the sets $S_{y}\setminus U$, the sequence $\varphi_{k}\colon\hat{H}\to\hat{\mathbb{C}}$ is uniformly bounded on $K$ by Lemma 5.4. Hence by Vitali’s Theorem the sequence $(\varphi_{k})$ converges to $\psi$ uniformly on compact subsets of $\hat{H}\setminus P$. Arguing similarly we obtain convergence on compact subsets of $\hat{H}\setminus Z$, and thus on the complement of indeterminacy points of $\psi$.

To finish the proof of Claim (A), we need to prove that there are no indeterminacy points.

Suppose that there is at least one indeterminacy point. By a linear change of coordinates we can assume that the indeterminacy point is at the origin, and that there exists a small $\delta_{2}>0$ such that $Z$ and $P$ intersect the vertical disc $\{0\}\times\mathbb{D}(0,\delta_{2})$ only at the origin. Moreover, there exists a small $\delta_{1}>0$ such that the intersections of $Z$ and $P$ with the bidisk $\Delta:=\Delta(0,(\delta_{1},\delta_{2}))$ project as a proper map to $\mathbb{D}(0,\delta_{1})$. Up to further decreasing $\delta_{1}$ and $\delta_{2}$ if necessary, we can assume that the origin is the only indeterminacy point of $\psi$. Since $\varphi_{k}$ converges to $\psi$ uniformly on $\Delta\setminus\{0\}$ the analytic sets $Z_{k}$ and $P_{k}$ cannot intersect the set $|w|=\delta_{2}$, and thus they also project as a proper map to $\mathbb{D}(0,\delta_{1})$. It follows that $Z,P,Z_{k},P_{k}$ can be considered as branched coverings over the $z$-variable with finitely many branch points in $D(0,\delta_{1})$.

The intersections of $Z$ and $P$ with the bidisk $\Delta$ can be written, counting multiplicities, as

[TABLE]

[TABLE]

where $\alpha_{m}$ and $\beta_{n}$ are multifunctions from $\mathbb{D}(0,\delta_{1})$ to $\mathbb{D}(0,\delta_{2})$.

We claim that for large enough $k$ the intersections of $Z_{k}$ and $P_{k}$ with the bidisk $\Delta$ can be written similarly, using functions $\alpha_{m}^{k},\beta_{n}^{k}\colon\mathbb{D}(0,\delta_{1})\to\mathbb{D}(0,\delta_{2})$, with the same index sets:

[TABLE]

[TABLE]

Indeed, let $z_{0}$ be a point in the punctured disc $\mathbb{D}(0,\delta_{1})\setminus\{0\}$. Then $w\mapsto\varphi_{k}(z_{0},w)$ converges uniformly to $w\mapsto\psi(z_{0},w)$ on $\overline{\mathbb{D}}(0,\delta_{2})$, and thus for large $k$ they have the same number of zeros and poles in the disc $\mathbb{D}(0,\delta_{2})$. By continuity, the number of zeros and poles in the disc $\mathbb{D}(0,\delta_{2})$ of the map $w\mapsto\varphi_{k}(z,w)$ does not depend on $z$, which proves the claim.

Consider the functions

[TABLE]

which are holomorphic functions defined on $\mathbb{D}(0,\delta_{1})$ in the complement of the branch points. They extend holomorphically across the branch points. Notice that $h$ has a zero only at the origin, while every $h_{k}$ is zero-free. Since $g_{k}\to g$ uniformly on compact subsets of $\mathbb{B}(0,\varepsilon)\setminus\{0\}$, it follows that $h_{k}\to h$ uniformly on compact subsets of $\mathbb{D}(0,\delta_{1})\setminus\{0\}$. But since $h$ is defined and holomorphic at the origin, it follows that $h_{k}\to h$ uniformly on $\mathbb{D}(0,\delta_{1})$. But this contradicts Hurwitz’s theorem.

Proof of Claim (B). Since the sequence $\varphi_{k}=\pi_{k}\circ F^{n_{k}}$ converges to $\psi$ uniformly on compact subsets of $\hat{H}$, Claim (B) immediately follows once we prove that $F^{n_{k}}\rightarrow\ell_{\infty}$ as $k\rightarrow\infty$ uniformly on compact subsets of $\hat{H}$. Let us define $G_{k}:=F^{n_{k}}-p_{k}=(A_{k},B_{k})$ for some holomorphic functions $A_{k},B_{k}:\mathbb{C}^{2}\rightarrow\mathbb{C}$. Notice that $\psi=\lim_{k\rightarrow\infty}\pi_{0}\circ G_{k}$, and that $F^{n_{k}}\rightarrow\ell_{\infty}$ if and only if $G_{k}\rightarrow\ell_{\infty}$, since all $p_{k}$ are contained in a bounded set. Our choice of identification $\ell_{\infty}\simeq\hat{\mathbb{C}}$ gives $\psi=\lim_{k\rightarrow\infty}\frac{B_{k}}{A_{k}}$. Let $Z$ and $P$ denote the zeros and the poles of $\psi$ respectively. Since $\psi$ has no indeterminacy points, $Z$ and $P$ are disjoint.

Let $K\subset\hat{H}\setminus(Z\cup\{w=0\})$ be a compact subset. Let $U$ be the neighborhood given by Lemma 5.4 with $X=Z$. There exists a constant $C>0$ such that $\{|\psi|<C\}$ is contained in $U$. Let $y\in K$ and let $S_{y}$ be the complex analytic curve given by Lemma 5.4. Recall that on $\bar{H}$ we have that $\|G_{k}\|\to\infty$, and notice that on $\bar{H}\setminus U$ we have $\frac{B_{k}}{A_{k}}\leq\frac{C}{2}$ for big enough $k$. Hence $B_{k}\to\infty$ uniformly on $\bar{H}\setminus U$. By the maximum principle applied to $\frac{1}{B_{k}}$ on the set $S_{y}\setminus U$ we obtain that $B_{k}\to\infty$ on $y$, uniformly over all $y\in K$. One can argue similarly for a compact set $K\subset\hat{H}\setminus(P\cup\{w=0\})$.

∎

Since the inverse of transcendental Henon maps are also transcendental Henon maps and have an escaping point by Theorem 2.4, we have the following corollary.

Corollary 5.5**.**

Let $F$ be a transcendental Henon map. Then every Fatou component $U$ is pseudoconvex, and thus the Julia set of $F$ has no isolated points.