- Research
- Open Access

# Adaptive trains for attracting sequences of holomorphic automorphisms

- Han Peters
^{1}Email author and - Iris Marjan Smit
^{1}Email author

**1**:3

https://doi.org/10.1186/2197-120X-1-3

© Peters and Smit; licensee Springer. 2015

**Received: **21 August 2014

**Accepted: **7 December 2014

**Published: **12 August 2015

## Abstract

Consider a holomorphic automorphism acting hyperbolically on an invariant compact set. It has been conjectured that the arising stable manifolds are all biholomorphic to Euclidean space. Such a stable manifold is always equivalent to the basin of a uniformly attracting sequence of maps. The equivalence of such a basin to Euclidean space has been shown under various additional assumptions. Recently, Majer and Abbondandolo achieved new results by non-autonomously conjugating to normal forms on larger and larger time intervals. We show here that their results can be improved by adapting these time intervals to the sequence of maps. Under the additional assumption that all maps have linear diagonal part, the adaptation is quite natural and quickly leads to significant improvements. We show how this construction can be emulated in the non-diagonal setting.

## Keywords

- Linear Part
- Complex Manifold
- Hausdorff Dimension
- Stable Manifold
- Unitary Matrice

## 1 Introduction

Let *X* be a complex manifold equipped with a Riemannian metric, and let *f*:*X*→*X* be an automorphism that acts hyperbolically on some invariant compact subset *K*⊂*X*. Let *p*∈*K* and write
for the stable manifold of *f* through *p*.
is a complex manifold, say of complex dimension *m*. In the special case where *p* is a fixed point, it is known that
is biholomorphically equivalent to
. It was conjectured by Bedford [5] that this equivalence holds for any *p*∈*K*.

###
**Conjecture** **1** (Bedford)

The stable manifold is always equivalent to .

*f*

_{0},

*f*

_{1},… be a sequence of automorphisms of satisfying

*z*lying in the unit ball , where the constants 1>

*D*>

*C*>0 are independent of

*n*. We will call a sequence (

*f*

_{ n }) satisfying condition (1)

*uniformly attracting*. We define the basin of attraction of the sequence (

*f*

_{ n }) as

It was shown by Fornæss and Stensønes that a positive answer to the following conjecture implies a positive answer to Conjecture 1.

###
**Conjecture** **2**.

The basin *Ω* is always biholomorphic to
.

Here we present the following new results, both giving positive answers to Conjecture 2 under additional hypotheses.

###
**Theorem** **3**.

###
**Theorem** **4**.

Then, the basin of attraction is biholomorphic to .

In the next section, we will place these two results in a historical perspective. While Theorems 3 and 4 are significant improvements over previously known results, our main contribution lies in a new way of thinking about *trains*, as introduced by Abbondandolo and Majer in [2].

The authors would like to thank Alberto Abbondandolo, Leandro Arosio, John Erik Fornæss, Jasmin Raissy, Pietro Majer, and Liz Vivas for many stimulating discussions. The first author was supported by a SP3-People Marie Curie Actions grant in the project Complex Dynamics (FP7-PEOPLE-2009-RG, 248443).

## 2 A short history

*f*be an automorphism of a complex manifold

*X*of dimension

*m*, and let

*p*∈

*X*be an attracting fixed point. Define the basin of attraction by

The following result was proved independently by Sternberg [16] and Rosay-Rudin [13].

###
**Theorem** **5** (Sternberg, Rosay-Rudin).

The basin *Ω* is biholomorphic to
.

If *p* is not attracting but hyperbolic, one considers the restriction of *f* to the stable manifold. This restriction is an automorphism of
with an attracting fixed point at *p*. Moreover, its basin of attraction is equal to the entire stable manifold, which is therefore equivalent to
. This naturally raised Conjecture 1. Equivalence to
of *generic* stable manifolds was proved by Jonsson and Varolin in [10].

###
**Theorem** **6** (Jonsson-Varolin).

Let *X*, *f*, and *K* be as in Conjecture 1. For a generic point *p*∈*K*, the stable manifold through *p* is equivalent to
.

Here, generic refers to a subset of *K* which has full measure with respect to any invariant probability measure on *K*. In fact, Jonsson and Varolin showed that Conjecture 1 holds for the so-called Oseledec points. The results of Jonsson and Varolin were extended by Berteloot et al. in [7]. More recently, the following was shown in [1]:

###
**Theorem** **7** (Abate-Abbondandolo-Majer).

The existence of Lyapunov exponents is enough to guarantee .

*f*

_{ n })

_{ n≥0}given by

where |*a*
_{0}|<1 and |*a*
_{
n+1}|≤|*a*
_{
n
}|^{2}.

###
**Theorem** **8** (Fornæss).

The basin is not biholomorphic to . Indeed, there exists a bounded plurisubharmonic function on which is not constant.

*f*

_{ n }) violates the condition

on any uniform neighborhood of the origin. In Theorem 8, the rate of contraction is not uniformly bounded from below.

If the bounds *C* and *D* satisfy *D*
^{2}<*C*, then it was shown by Wold in [17] that the basin of attraction is biholomorphic to
. This result was generalized by Sabiini [14] to the following statement.

###
**Theorem** **9**.

Let (*f*
_{
n
}) be a sequence of automorphisms which satisfies the conditions in Conjecture 2, and suppose that *D*
^{
k
}<*C* for some
. Suppose further that the maps *f*
_{
n
} all have order of contact *k*. Then, the basin of attraction
is biholomorphic to
.

Here, a map *f* has order of contact *k* if *f*(*z*)=*l*(*z*)+*O*(∥*z*∥^{
k
}), where *l*(*z*) is linear.

The following was recently shown in [2]:

###
**Theorem** **10** (Abbondandolo-Majer).

*ε*=

*ε*(

*m*)>0 such that the following holds: For any sequence (

*f*

_{ n }) which satisfies the conditions in Conjecture 2 with

the basin is biholomorphic to .

It was noted in [2] that for maps with order of contact *k*, one should be able to obtain the same result if *D*
^{
k+ε
}<*C*, where *ε*=*ε*(*m*,*k*).

While this result only seems marginally stronger (indeed, *ε*-stronger), it is in fact a much deeper result. If *D*
^{
k
}<*C* one can ignore all but the linear terms, see Lemma 16 in the next section. But if *D*
^{
k
}≥*C*, one has to deal with the terms of order *k*, which is a major difficulty. In fact, looking at more classical results in local complex dynamics, the major difficulty in describing the behavior near a fixed point usually lies in controlling the lowest order terms which are not trivial. Theorems 10 and 3 may therefore be important steps towards a complete understanding of Conjecture 2.

Now that techniques have been found to deal with these terms of degree *k*, it is natural to ask whether the condition *D*
^{
k+ε
}<*C* can be pushed to the condition *D*
^{
k+1}<*C*, since as long as *D*
^{
k+1}<*C* is satisfied one can ignore terms of degree strictly greater than *k*. In Theorem 3, we show that we can indeed weaken the requirement to *D*
^{
k+1}<*C*, at least in two complex dimensions and under the additional assumption that the linear parts of all the maps *f*
_{
n
} are diagonal.

Whether diagonality is a serious extra assumption or merely simplifies the computations remains to be seen, but we will see that some of the techniques we introduce to prove Theorem 3 can be applied without the diagonality assumption as well, leading to Theorem 4.

Since the computations in the general case are much more intensive than in the diagonal case, we have chosen not to prove Theorem 4 for maps with higher order of contact. We expect that the interested reader will be able to generalize Theorem 4 to maps with higher order of contact.

We conclude our historical overview with the following two results. The first was proved in [12].

###
**Theorem** **11** (Peters-Wold).

Let (*f*
_{
j
}) be a sequence of automorphism of
, each with an attracting fixed point at the origin. Then there exists a sequence of integers (*n*
_{
j
}) such that the attracting basin of the sequence
is equivalent to
.

The next result, from [11], will be important to us not so much for the statement itself but for the ideas used in the proof. See also the more technical Lemma 17, which will be discussed in the next section.

###
**Theorem** **12** (Peters).

Let *F* be an automorphism of
. Then there exists an *ε*>0 such that for any sequence (*f*
_{
n
}) of automorphisms of
which all fix the origin and satisfy
for all *n*, one has that
.

The combination of Theorems 11 and 12 provides a good idea for the techniques used to prove Theorems 3 and 4: If, after applying suitable changes of coordinates, we can find sufficiently long stretches in the sequence (*f*
_{
n
}) that behave similarly, then we can show that the basin will be biholomorphic to
. What is meant by *behave similarly* will be made more precise in later sections.

### 2.1 Applications

The theorems described above have been used to prove a number of results which are at first sight unrelated. The first example of such an application is of course the classical result of Fatou and Bieberbach which states that there exists a proper subdomain of
which is biholomorphic to
. Indeed, it is not hard to find an automorphism of
with an attracting fixed point but whose basin of attraction is not equal to the entire
. Proper subdomains of
that are equivalent to
are now called *Fatou-Bieberbach* domains.

It should be no surprise that for the construction of Fatou-Bieberbach domains with specific properties, it is useful to work with non-autonomous basins. Working with sequences of maps gives much more freedom than working with a single automorphism. Using Theorem 9, it is fairly easy to construct a sequence of automorphisms satisfying various global properties, while making sure that the attracting basin is equivalent to . We give two examples of results that have been obtained in this way.

####
**Theorem** **13** (Wold).

There exist countably many disjoint Fatou-Bieberbach domains in whose union is dense.

The question of whether such Fatou-Bieberbach domains exist was raised by Rosay and Rudin in [13].

####
**Theorem** **14** (Peters-Wold).

There exists a Fatou-Bieberbach domain *Ω* in
whose boundary has Hausdorff dimension 4 and positive Lebesgue measure.

Here, we note that Fatou-Bieberbach domains with Hausdorff dimension equal to any *h*∈(3,4) were constructed by Wolf [19] using autonomous attracting basins. Hausdorff dimension 3 (and in fact *C*
^{
∞
} boundary) was obtained earlier by Stensønes in [15], who also used an iterative procedure involving a sequence of automorphisms of
. See [18] for another application of non-autonomous basins to the theory of Fatou Bieberbach domains.

The last application we would like to mention is the Loewner partial differential equation. The link with non-autonomous attracting basins was made in [3], where Arosio used a construction due to Fornæss and Stensønes (see Theorem 20 below) to prove the existence of solutions to the Loewner PDE. See also [4] for the relationship between the Loewner PDE and non-autonomous attracting basins.

## 3 Techniques

### 3.1 The autonomous case

Essentially, the only available method for proving that a domain *Ω* is equivalent to
is by explicitly constructing a biholomorphic map from *Ω* to
. Let us first review how this is done for autonomous basins, before we look at how this proof can be adapted to the non-autonomous setting. We follow the proof in the appendix of [13], but see also the survey [6] written by Berteloot.

*F*of with an attracting fixed point at the origin, one can find a

*lower triangular polynomial map*

*G*, and for any , a polynomial map

*X*

_{ k }of the form

*X*

_{ k }=Id+

*h*.

*o*.

*t*., biholomorphic in a neighborhood of the origin, such that

Important here is that the lower triangular polynomial maps behave very similarly to linear maps. For example, it follows immediately by induction on *m* that the degrees of the iterates *G*
^{
n
} are uniformly bounded. One can also easily see that the basin of attraction of a lower triangular map with an attracting fixed point at the origin is always equal to the whole set
.

####
**Lemma** **15**.

Now let *D*>0 be such that ∥*F*(*z*)∥<*D*∥*z*∥ for
. Then there exists a
such that *D*
^{
k+1}·*β*<1. It follows from Equation 3 that, with this choice of *k*, the maps *Φ*
_{
n
} converge, uniformly on compact subsets of *Ω*
_{
F
}, to a biholomorphic map from *Ω*
_{
F
} to
.

*X*

_{ k }for arbitrarily high

*k*. However, it turns out that with a little more care it is sufficient to work with a much lower

*k*that really only depends on the eigenvalues of

*D*

*F*(0). Let 0<

*C*<

*D*<1 be such that

*k*be such that

*D*

^{ k+1}<

*C*. It turns out that it is sufficient to work with the maps

*X*

_{ k }. To see this, let

*C*

^{′}<

*C*be such that

*D*

^{ k+1}<

*C*

^{′}. Then there exist an

*r*>0 sufficiently small such that for one has

*K*be a relatively compact subset of the attracting basin. Then there exists an

*N*such that . If

*r*is chosen sufficiently small, then we easily see that for any

*m*≥

*N*and

*j*≤

*m*-

*N*, we have that

which is summable over *n*. Hence, the sequence (*Φ*
_{
n
}) forms a Cauchy sequence and converges to a limit map *Φ*. Since *D* *Φ*
_{
n
}(0)=Id for all *n*, it follows that *Φ* is biholomorphic onto its image. To prove the surjectivity of *Φ*, one shows that for each
there exists a compact *K*⊂*Ω*
_{
F
} such that
for all
. The fact that
follows since we are dealing with open maps.

### 3.2 Non-autonomous conjugation

In the non-autonomous setting, it is very rare that a single change of coordinates simplifies the sequence of maps. Instead, we use a sequence of coordinate changes.

####
**Lemma** **16**.

*f*

_{ n }) be a sequence of automorphisms that satisfies the hypotheses of Conjecture 2 (

*D*

^{ k }<

*C*), and suppose that there exist uniformly bounded sequences (

*g*

_{ n }) and (

*h*

_{ n }), with

*h*

_{ n }=Id+

*h*.

*o*.

*t*., such that the diagram

commutes as germs of order *k*. Then,
.

If the maps (*g*
_{
n
}) are all lower triangular polynomials then one still has that the basin of the sequence (*g*
_{
n
}) is equal to
. This simple fact was used in [11] to prove the following lemma, which for simplicity we state in the case *m*=2.

####
**Lemma** **17**.

*f*

_{ n }) be a sequence of automorphisms satisfying the conditions in Conjecture 2, and suppose that the linear part of each map

*f*

_{ n }is of the form

with |*b*
_{
n
}|^{2}<*ξ*|*a*
_{
n
}| for some uniform constant *ξ*<1. Then, we can find bounded sequences (*g*
_{
n
}) and (*h*
_{
n
})as in Lemma 16. Moreover, the maps *g*
_{
n
} can be chosen to be lower triangular polynomials, and hence
.

*f*

_{ n }all become lower triangular. Let us explain the technique in the two-dimensional setting, where a matrix is lower diagonal if and only if [0,1] is an eigenvector. Using

*QR*factorization, we can find, for any vector

*v*

_{0}, a sequence of unitary matrices (

*U*

_{ n }) such that

*U*

_{0}

*v*

_{0}=[0,1] and

with
. Then by defining
, we obtain a new sequence (*g*
_{
n
}) whose basin is equivalent (by the biholomorphic map *U*
_{0}) to the basin of the sequence (*f*
_{
n
}). Notice that the linear parts of all the maps (*g*
_{
n
}) are lower triangular. In this construction, we are free to choose the initial tangent vector *v*
_{0}.

*b*

_{ n }|

^{2}<

*ξ*|

*a*

_{ n }| for all in Lemma 17 is a strong assumption. In particular, there is no reason to think that one can change coordinates to obtain a sequence of lower triangular polynomial maps. Instead, we could aim for obtaining lower triangular polynomials on sufficiently large time intervals. Let us be more precise. Suppose that one can find an increasing sequence of integers

*p*

_{1},

*p*

_{2},… and change coordinates as in Lemma 16 to obtain that is equivalent to the basin of a sequence

where the *U*
_{
j
} are unitary matrices and the maps *g*
_{
n
} are all lower triangular. In the spirit of Theorem 11, one would expect that the basin of this new sequence is equal to
as long as the sequence (*p*
_{
j
}) is sparse enough. Indeed this is the case, as follows from the following lemma, proved by Abbondandolo and Majer in [2].

####
**Lemma** **18**.

*g*

_{ n }in the sequence given in Equation 5 are uniformly bounded lower triangular polynomials of degree

*k*, and that

Then, the basin of the sequence in Equation (5) is equal to

The proof of Theorem 10 from [2] can now be sketched as follows. Define *p*
_{
j+1}=*k*
^{
j
}+*p*
_{
j
}, and on each interval find a tangent vector *v*
_{
j
} which is contracted most rapidly by the maps
. Next, find the non-autonomous change of coordinates by unitary matrices such that the maps *g*
_{
n
} as defined above all have lower triangular linear part. Then on each interval *I*
_{
j
}=[*p*
_{
j
},*p*
_{
j+1}], the maps *g*
_{
n
} satisfy the conditions of Lemma 17 'on average.’ This is enough to find another non-autonomous change of coordinates after which the maps *g*
_{
n
} are lower triangular polynomial maps on each interval *I*
_{
j
}. Then it follows from Lemma 18 that the basin of the sequence (*f*
_{
n
}) is equivalent to
.

Now, we arrive at one of the main points presented in this article. In the argument of Abbondandolo and Majer, the intervals [*p*
_{
j
},*p*
_{
j+1}] are chosen without taking the maps (*f*
_{
n
}) into consideration; it is sufficient to make a simple choice such that Eq. 6 is satisfied. In the last section of this article, we will show that we can obtain stronger results if we instead let the intervals [*p*
_{
j
},*p*
_{
j+1}] depend on the maps (*f*
_{
n
}) or, to be more precise, on the linear parts of the maps (*f*
_{
n
}).

### 3.3 Abstract basins

*f*

_{ n }) now be a sequence of biholomorphic maps from the unit ball into , satisfying

*D*>

*C*>0 as usual. We define the

*abstract basin of attraction*of the sequence (

*f*

_{ n }) as follows. Consider all sequences of the form

*j*≥ max(

*k*,

*l*) such that

*x*

_{ j }=

*y*

_{ j }. This gives an equivalence relation ∼, and we define

We refer to
as the *abstract basin of attraction*, sometimes also called the *tail space*. We have now used the notation
for both abstract and non-autonomous basins, but thanks to the following lemma this will not cause any problems.

####
**Lemma** **19**.

Let (*f*
_{
n
}) be a sequence of automorphisms of
which satisfy the conditions in Conjecture 2. Then, the basin of attraction of the sequence (*f*
_{
n
}) is equivalent to the abstract basin of the sequence
.

Hence from now on, we allow ourselves to be careless and write for both kinds of attracting basins. Abstract basins were used by Fornæss and Stensønes to prove the following.

####
**Theorem** **20** (Fornæss-Stensønes).

Let *f* and *p* be as in Conjecture 1. Then,
is equivalent to a domain in
.

####
**Remark** **21**.

Working with abstract basins can be very convenient. For example, Lemma 16 also holds for abstract basins which, in conjunction with Lemma 19, implies that in Diagram 4 we do not need to worry about whether the maps *h*
_{
n
} and *g*
_{
n
} are globally defined automorphisms. From the fact that the sequences (*g*
_{
n
}) and (*h*
_{
n
}) are uniformly bounded, it follows that their restrictions to some uniform neighborhood of the origin are biholomorphisms, which is all that is needed.

## 4 Definition of the trains

Let us go back to the proof of 10 by Abbondandolo and Majer. Instead of conjugating to lower triangular maps on the entire sequence (*f*
_{
n
}), they introduced a partition of
into intervals of rapidly increasing size and on each interval changed coordinates to either lower or upper triangular maps. These intervals were referred to as *trains*, and we will build on this terminology.

*f*

_{ n }), or rather, by the linear parts of the maps. We will describe an algorithm to construct the partition

Each train [*p*
_{
j
},*p*
_{
j+1}) will be headed by an interval [*p*
_{
j
},*q*
_{
j
}) which we will call the *engine*. On the engine, we will have very good estimates of the linear maps. Our estimates are not nearly as strong on the interval [*q*
_{
j
},*p*
_{
j+1}), but the good estimates on the engine will be used as a buffer to deal with estimates on the rest of the train. In fact, as soon as the buffer from the engine fails to be sufficient, we start a new train.

We proceed to define the trains explicitly, both in the diagonal and the general case.

### 4.1 The diagonal case

*p*

_{0},

*q*

_{0},

*p*

_{1},… as follows. We set

*p*

_{0}=0 and

*q*

_{0}=2. We define the rest of the sequence recursively. Suppose that we have already defined

*p*

_{ j }and

*q*

_{ j }. We consider all pairs

*p*

_{ j+1},

*q*

_{ j+1}satisfying

*q*

_{ j }≤

*p*

_{ j+1}≤

*q*

_{ j+1}and

is maximal. We will write *I*
_{
j
}=[*p*
_{
j
},*p*
_{
j+1}) and refer to this interval as the *j* th train. The interval [*p*
_{
j
},*q*
_{
j
}) we will call the *engine* of the train *I*
_{
j
}.

*I*

_{ j }. First of all, from Equation 8, it is clear that

which will later allow us to apply Lemma 18.

####
**Proposition** **22**.

All three properties follow immediately from the definitions.

### 4.2 The general case

*f*

_{ n }are diagonal. In the diagonal case, we eventually will obtain a sequence (

*g*

_{ n }) where each map

*g*

_{ n }is either lower triangular or upper triangular, depending on whether

*n*lies in an odd or even train. In the general case, this will be generalized as follows: for each train [

*p*

_{ j },

*p*

_{ j+1}), there will be a unit vector

*v*

_{ j }with respect to which the maps

*g*

_{ n }will be lower triangular. Let us be more precise. Suppose that the linear part of a map

*g*has an eigenvector

*v*. Let

*U*be a 2×2 unitary matrix such that

We say that *g* is lower triangular *with respect to v* if *U* *g* *U*
^{-1} is a lower triangular polynomial. Note that this definition is independent of the choice of *U*.

Looking back, we see that in the diagonal case, our maps *g*
_{
n
} are all lower triangular with respect to either [0,1] or [1,0]. In the general case, we allow the vector *v* to be any unit vector in
, but *v* must remain constant on each train. This motivates the following definition.

####
**Definition** **23**.

For *k*>*x*>1, recursively define an increasing sequence of integers *p*
_{1},*q*
_{1},*p*
_{2},*q*
_{2},… and a sequence of unit-vectors *v*
_{1},*v*
_{2},… as follows:

Set *p*
_{0}=0,
and *v*
_{0}=(1,0). Define the rest of the sequences by induction:

*p*

_{ j },

*q*

_{ j }, and

*v*

_{ j }, consider all possible pairs of integers

*p*

_{ j+1}and

*q*

_{ j+1}such that

*q*

_{ j+1}>

*p*

_{ j+1}≥

*q*

_{ j }and for which

*p*

_{ j+1}and

*q*

_{ j+1}, we choose

*q*

_{ j+1}minimal, and then

*p*

_{ j+1}such that

is minimal.

*U*

_{ j+1}, we may assume that is an eigenvector of . Let

*v*

_{ j+1}be the other unit-length eigenvector of (unique up to multiplication by a unit-length scalar). This vector must exist, since the eigenvector has eigenvalue and we have

since . This implies that has two distinct eigenvalues and hence two distinct eigenvectors.

Our strategy to prove inequalities like those in Proposition 22 on an engine [*p*
_{
j
},*q*
_{
j
}) is the following. We will work not only with the diagonal entries *a*
_{
n
} and *b*
_{
n
} in the current coordinates but first with the entries *α*
_{
n
} and *β*
_{
n
}, which are the diagonal entries in the coordinates that were used for the previous train. By the recursive definition of the train, we first obtain estimates for *α*
_{
n
} and *β*
_{
n
}, and then translate these to estimates on *a*
_{
n
} and *b*
_{
n
} in the new coordinates. In the translation from old to new coordinates, the off-diagonal entries, denoted by *c*
_{
n
} and *γ*
_{
n
}, will play an important role.

*p*

_{ j }), (

*q*

_{ j }), and (

*v*

_{ j }) as defined above, we now apply a non-autonomous conjugation such that within each train [

*p*

_{ j },

*p*

_{ j+1}) all linear parts have [0,1] as an eigenvector. We know that

*v*

_{ j }is an eigenvector of . Pick a unitary matrix

*V*

_{ j }that transfers

*v*

_{ j }into [0,1]. Then, [0,1] will be eigenvector of . Next, for

*i*=

*p*

_{ j }+1,…

*p*

_{ j+1}, pick a unitary matrix

*W*

_{ i }such that [0,1] is an eigenvector of . We can pick . Define

We know that [0,1] is an eigenvector of each
for *p*
_{
j
}≤*m*≤*n*≤*p*
_{
j+1}. So these linear maps are lower triangular: write
.

*a*

_{ n }=

*a*

_{ n+1,n },

*b*

_{ n }=

*b*

_{ n+1,n }and

*c*

_{ n }=

*c*

_{ n+1,n }. Note that and as in the diagonal case, and

Since all *V*
_{
j
} and *W*
_{
i
} are unitary matrices, we still have that
for
, and hence we know that *C*≤*a*
_{
i
}≤*D*, *C*≤*b*
_{
i
}≤*D* and *c*
_{
i
}≤*D* for all *i*.

####
**Lemma** **24**.

####
*Proof*.

*U*

_{ j }is unitary, we have

which completes (i).

by minimality of *q*
_{
j+1}. The second half of statement (ii) follows from our choice of *p*
_{
j+1}.

which implies that
. The case *j*=0 holds by definition.

Since
is another eigenvector of
, we now introduce notation that emphasizes the role of this vector. Pick a unitary matrix *S*
_{
j
} which maps
to [0,1]. Then, pick unitary matrices *T*
_{
i
} for *i*=*p*
_{
j
}+1,…*q*
_{
j
} such that [0,1] is an eigenvector of
. Note that we can take
.

We know that [0,1] is an eigenvector of each
for *p*
_{
j
}≤*m*≤*n*≤*q*
_{
j
}. Therefore, we can write
.

*α*

_{ n }=

*α*

_{ n+1,n },

*β*

_{ n }=

*β*

_{ n+1,n }and

*γ*

_{ n }=

*γ*

_{ n+1,n }as before, we again have

for all *i*.

Note that |*a*
_{
n
}·*b*
_{
n
}|=| det*D* *f*
_{
n
}|=|*α*
_{
n
}·*β*
_{
n
}| for all *n*. Since
and
are the eigenvalues of
for two distinct eigenvectors, we must have
, which implies that
and
.

This new notation allows us to derive additional inequalities for the engines of the trains:

####
**Lemma** **25**.

####
*Proof*.

since *m*<*q*
_{
j
}, which proves the right-hand side of inequality (iii).

which implies the left-hand side of inequality (iii).

We can now give an upper estimate for |*γ*
_{
n,m
}| on the engine as well:

####
**Lemma** **26**.

####
*Proof*.

where we used that |*γ*
_{
i
}|<*D* and |*β*
_{
i
}|>*C*.

Using Lemmas 25 and 26, we can now find estimates for
for *p*
_{
j
}≤*n*≤*q*
_{
j
}, which we can use to translate our information on *α* and *β* to information on *a* and *b*.

####
**Lemma** **27**.

####
*Proof*.

We can now translate Lemma 25 to the following generalization of Proposition 22.

####
**Theorem** **28**.

####
*Proof*.

####
**Remark** **29**.

When we continue the proof of the general case, we will work with the sequence the sequence
instead of (*f*
_{
n
}). The basins of these two sequences must be equivalent since at any time the composed functions differ only by multiplication with one last unitary matrix.

Hence, we will write *f*
_{
n
} rather than
and
. We will study the basin of the sequence
where
and all *M*
_{
j
} are unitary.

## 5 Completion of the proof in the diagonal case

Let us recall the statement of Theorem 3

###
**Theorem** **3**.

Let (*f*
_{
n
}) be a sequence of automorphisms of
which satisfies the conditions in Conjecture 2, and suppose that the maps *f*
_{
n
} all have order of contact *k*. Assume further that the linear part of each map *f*
_{
n
} is diagonal. Then if *D*
^{
k+1}<*C*, the basin of attraction
is biholomorphic to
.

The proof will be completed in two steps. In the first step, we will find a non-autonomous conjugation on each train by linear maps such that in each train the new maps all contract the same coordinate most rapidly. This means that we can apply Lemma 30 below on each train separately. In the second step, we worry about what happens at times *p*
_{
j
} where we switch from one train to the other. After these two steps, we construct the maps (*g*
_{
n
}) and (*h*
_{
n
}) on each of the trains using the following lemma, a special case of Lemma 17.

###
**Lemma** **30**.

Suppose that each map of the sequence (*f*
_{
n
}) has linear part of the form (*z*,*w*)↦(*a*
_{
n
}
*z*,*b*
_{
n
}
*w*), with |*b*
_{
n
}|≤|*a*
_{
n
}|. Then for any *k*≥2, we can find bounded sequences (*g*
_{
n
}) and (*h*
_{
n
}), with the maps *g*
_{
n
} lower triangular, such that diagram (4) commutes up to jets of order *k*.

**Step 1:** Directing the trains.

*f*

_{0},

*f*

_{1},… satisfy the conditions of Theorem 3, and that we have constructed the increasing sequence

*p*

_{0},

*q*

_{0},

*p*

_{1},… such that Proposition 22 holds. We will change coordinates with a sequence of linear maps

*l*

_{ n }of the form

*l*

_{ n }) in such a way that on each interval

*I*

_{ j }=[

*p*

_{ j },

*p*

_{ j+1}) the maps satisfy the property (if

*j*is odd), and (if

*j*is even). In order for the higher order terms of the maps not to blow up, we also require that

*j*be odd; the results are analogous for

*j*even. We assume that

*n*=

*p*. Then for

*n*+1∈

*I*

_{ j }, we recursively define

###
**Lemma** **31**.

###
*Proof*.

Follows easily by induction on *n*.

Note that it follows immediately from the recursive definition of *τ*
_{
n+1} and the fact that *θ*
_{
n
} can never decrease, that
for all *n*∈[*p*,*r*].

###
**Lemma** **32**.

###
*Proof*.

for all *q*≤*m*≤*n* for which *σ*
_{
n,m
}≤0. The statement in the lemma now follows from (11).

Finally, we need to check that *θ*
_{
r
} and *τ*
_{
r
} are large enough to satisfy the starting hypothesis for the next interval *I*
_{
j+1}.

###
**Lemma** **33**.

###
*Proof*.

*θ*

_{ r }is immediate since

*θ*

_{ n }does not decrease with

*n*. The estimate on

*τ*

_{ p }follows from

Our conclusion is the following:

###
**Theorem** **34**.

for all *n*∈*I*
_{
j
}.

###
*Proof*.

The condition on the coefficients of the linear parts of the maps follows from the discussion earlier in this section. The fact that the sequence is bounded follows from the facts that the linear parts stay bounded, and that the higher order terms grow by at most a uniform constant.

To see that the two basins of attraction are biholomorphically equivalent (with biholomorphism *l*
_{0}), note that
. Since the entries of the diagonal linear maps *l*
_{
n+1} are always strictly greater than 1, it follows that the basin of the sequence
is contained in the *l*
_{0} image of the basin of the sequence (*f*
_{
n
}). The other direction follows from the fact that the coefficients of the maps *l*
_{
n
} grow at a strictly lower rate than the rate at which orbits are contracted to the origin by the sequence (*f*
_{
n
}).

**Step 2:** Connecting the trains.

The following is a direct consequence of Lemma 17:

###
**Theorem** **35**.

Let (*f*
_{
n
}) be a bounded sequence of automorphisms of
whose linear parts are of the form (*z*,*w*)↦(*a*
_{
n
}
*z*,*b*
_{
n
}
*w*) and whose order of contact is *k*. Suppose that |*a*
_{
n
}|≥|*b*
_{
n
}| for all *n*=0,1,…. Then there exists bounded sequences (*h*
_{
n
}) and (*g*
_{
n
}) such that *g*
_{
n
}∘*h*
_{
n
}=*h*
_{
n+1}∘*f*
_{
n
}+*O*(*k*+1) for all *n*. Here, the maps *g*
_{
n
} can be chosen to be lower triangular maps, and the maps *h*
_{
n
} can be chosen to be of the form (*z*,*w*)↦Id+*h*.*o*.*t*..

*a*

_{ n }|≥|

*b*

_{ n }|, we can always change coordinates such that the maps

*f*

_{ n }become of the form

*g*

_{ n }) and (

*h*

_{ n }) such that the following diagram commutes up to degree

*k*.

*h*

_{ n+1}we can always choose

*g*

_{ n }such that

*h*

_{ n }is of the form (29), and that this map

*g*

_{ n }is unique. Hence, we can view

*α*

_{ n }as a function of

*α*

_{ n+1}. In fact, this function is affine and given by

Note that both coefficients of these affine maps are uniformly bounded from above in norm, and that
. It follows that there exist a unique bounded orbit for this sequence of affine maps. In other words, we can choose a sequence (*h*
_{
n
}) whose *k*-th degree terms are uniformly bounded. It follows directly that the maps *g*
_{
n
} are also uniformly bounded, which completes the proof.

Moreover, we note that we have much more flexibility if we have a sequence of intervals (*I*
_{
j
}) (with *j* odd) and we want to find sequences (*h*
_{
n
}) and (*g*
_{
n
}) on each *I*
_{
j
} that are uniformly bounded over all *j*. In fact for each interval *I*
_{
j
}, we can start with any value for
and inductively define the maps *h*
_{
n
} backwards. We merely need to choose uniformly bounded starting values
.

*I*

_{ j }with

*j*even. In this case, we have that |

*a*

_{ n }|≤|

*b*

_{ n }|, so we work with maps

*h*

_{ n }and

*g*

_{ n }of the form

*j*is odd and

*j*+1 even; the other is similar. Imagine that we have constructed the maps

*h*

_{ n }and

*g*

_{ n }on the interval

*I*

_{ j+1}. Then, is of the form

We note that while the map
does depend on the coefficient
, the coefficient
(and equivalently also the map
) only depends on the coefficients of
and not on those of
. Hence we can find uniformly bounded maps *h*
_{
n
} on each of the intervals, and therefore also uniformly bounded maps *g*
_{
n
}, which are lower triangular for *n* in each interval [*p*
_{
j
},*r*
_{
j
}) with *j* odd, and upper triangular when *j* is even. This completes the proof of Theorem 3.

## 6 Proof in the general case

In what follows, we drop our assumption of diagonality of the linear parts of the maps *f*
_{
n
}. Our approach will be different this time. We will not able to use linear maps *l*
_{
n
} as we did in the diagonal setting. The problem is that trying to keep bounded off-diagonal terms in the linear parts of the maps
places strong restrictions on the maps *l*
_{
n
}, even if we use lower-triangular matrices instead of diagonal matrices.

*g*

_{ n }immediately, but this comes at severe cost. The coefficients of the maps

*g*

_{ n }and

*h*

_{ n }will grow exponentially with

*n*. What saves the day is that we can find sequences (

*g*

_{ n }) and (

*h*

_{ n }) for which the coefficients are bounded

*at the start and end of each train*. This gives us estimates on the coefficients of all (

*g*

_{ n }) and (

*h*

_{ n }), which turn out to be sufficient under the additional assumption that

Our plan for proving Theorem 4 is the following: We use the trains defined in Definition 23, where we pick *k* such that
and *D*
^{
k
}<*C*, and set
. Then, we will analyze the conditions on the coefficients of the maps (*g*
_{
n
}) and (*h*
_{
n
}) that arise from the commutative diagram. We prove that it is possible to chose a specific sequence of maps for which the coefficients remain bounded at the start and end of each train. In the rest of the paper, we assume that we have made such a choice of maps.

In the second step, we find an estimate for the growth of the coefficients of (*g*
_{
n
}) and (*h*
_{
n
}) in the middle of trains and show that the basin of the sequence (*g*
_{
n
}) is equal to
. In the third step, we use the usual construction of the maps *Φ*
_{
n
}. Most work goes into proving that these maps converge on compact subsets to a holomorphic map *Φ* from the basin of the sequence (*f*
_{
n
}) to the basin of the sequence
. We end by showing that *Φ* is the required biholomorphism.

The choice of *x* we made seems rather random, but it turns out that the exact value of *x* does not influence our result. The bottleneck of our estimates on the quadratic coefficients of (*g*
_{
n
}) and (*h*
_{
n
}) depends on estimates on the wagons and the length of the trains. When *x* increases, the estimates on the wagons (Lemma 24) get weaker while the trains get longer. These effects cancel out.

**Step 1:** Exploring new coordinates

*l*

_{ n }) as we did in the diagonal case, we will immediately conjugate (on each train

*j*) with maps (for

*n*∈[

*p*

_{ j },

*p*

_{ j+1}]) of the form

Fix *j* for now and drop the indices *j* in
.

*h*

_{ n }and

*h*

_{ n+1}:

Here the *r*
_{
n
}’s and *s*
_{
n
}’s are linear functions with coefficients bounded by
, and the constants *x*
_{
n
} and *y*
_{
n
} have the same bound. We will usually drop the variables in the functions *r*
_{
n
} and *s*
_{
n
}.

for *p*
_{
j
}≤*n*<*p*
_{
j+1}. Then,
will be zero for these values of *n*.

The values of
up to
can be studied using the relations above. We know that |*a*
_{
n
}| and |*b*
_{
n
}| are at most *D*<1. The value of
is small on average, by the choice of our trains. Therefore, when we start with
and work backwards, the quadratic constants
up to
should not get too big. This is made more precise in the lemma below.

For that lemma, pick
, which is possible since we assumed that *k*<11/5.

###
**Lemma** **36**.

*δ*>0, there exists a constant

*X*=

*X*(

*C*,

*D*,

*ε*,

*δ*)independent of

*j*, such that if are all bounded by

*X*, then for all

*n*∈[

*p*

_{ j },

*p*

_{ j+1}], we have:

where *Y*=*Y*(*C*,*D*,*ε*)is a constant independent of both *j* and *δ*.

###
*Proof*.

where we use the constants , and .

*n*=

*p*

_{ j+1}is stated in the assumptions, so we can start our backward induction. Suppose that the first inequality holds for

*n*+1. Then, we find that

*X*as stated above. The other two cases are proved similarly and are left for the reader. For the upper bound on , , , and , we note that

We obtain the following similar estimate on the coefficients of *g*.

###
**Corollary** **37**.

###
*Proof*.

*d*

_{ n }in (39). For the second statement, we have

which plays an important role in the above estimates. This allows us to estimate the quadratic terms at the beginning of train *j*.

###
**Lemma** **38**.

where *K*
_{3}=*K*
_{3}(*C*,*D*,*k*,*x*) is a constant independent of *j*.

###
*Proof*.

Suppose that *p*
_{
j
}≤*s*≤*t*≤*p*
_{
j+1} and look at
. We consider the cases *t*≥*q*
_{
j
} and *t*≤*q*
_{
j
} separately.

**Case I**: *t*≥*q*
_{
j
}.

*t*-

*i*increases, the first estimate will increase while the second estimate will decrease. The estimates are equal when , which is when . Using estimate (41) for and the estimate (42) when , we get:

*p*

_{ j }≤

*i*≤

*q*

_{ j }. And by Lemma 24, we know that . Combining these facts gives

**Case II**: *t*≤*q*
_{
j
}.

where we used that *k*<*x*
^{2} and
. Setting
now gives us the desired result.

Suppose we are now given
and set
. Recall that the *M*
_{
j
} are unitary matrices arising from the definition of the trains. A consequence of the fact that each map has at most six quadratic terms is the following.

###
**Lemma** **39**.

If the coefficients of
are bounded by *R*>0, then the coefficients of
are bounded by 24*R*.

###
*Proof*.

The lemma follows.

The following is now an immediate consequence of Lemmas 36, 38, and 39.

###
**Corollary** **40**.

If *δ*>0 is chosen sufficiently small and *j*
_{0} is sufficiently large, then for all *j*≥*j*
_{0}, we have that if the coefficients of
are bounded by *X*, then the coefficients of
are bounded by *X*.

*h*

_{ n }). Let be the compact set of all second-degree polynomials of the form

*h*=

*I*

*d*+

*O*(2) with second-degree coefficients bounded by

*X*. By Lemmas 36 and 39 and Corollary 40, a choice of uniquely determines a map . For every

*i*, we define

*V*

_{ i }is a decreasing intersection of non-empty compact sets and hence non-empty and compact. By continuity of each

*ψ*

_{ i }, it follows that

Therefore, there exist an inverse orbit of the sequence *ψ*
_{0},*ψ*
_{1},…. That is, a sequence *h*
_{0},*h*
_{1},… in *S* with *ψ*
_{
i
}(*h*
_{
i+1})=*h*
_{
i
}. Thus, we have proved the following.

###
**Theorem** **41**.

We can find sequences (*h*
_{
n
}) and (*g*
_{
n
}) whose coefficients are bounded by *X* at the start and end of every train *j*, where *j*≥*j*
_{0}.

**Step 2:** Properties of these new coordinates.

What remains to show is that with the construction from the previous step gives a basin
which is on the one hand equal to all of
and on the other hand equivalent to the basin
. In order to draw these conclusions, we will need finer estimates on the size of the coefficients of the maps *h*
_{
n
} and *g*
_{
n
}.

###
**Lemma** **42**.

where *K*
_{3}=*K*
_{3}(*C*,*D*,*k*,*x*) as in Lemma 38.

###
*Proof*.

*p*

_{ j }≤

*n*≤

*s*≤

*t*≤

*p*

_{ j+1}. As in the proof of Lemma 38, we can distinguish several cases:

- (I)
*q*_{ j }≤*s*≤*t*≤*p*_{ j+1} - (II)
*p*_{ j }≤*s*≤*q*_{ j }≤*t*≤*p*_{ j+1} - (III)
*p*_{ j }≤*s*≤*t*≤*q*_{ j }

*t*-

*s*increases, estimate (47) will decrease while estimate (48) will increase. When , we can therefore use estimate (48) to get

Lemmas 42 and 36 and Corollary 37 now give us an easy estimate on the coefficients of our maps
and *g*
_{
n
}.

###
**Corollary** **43**.

*n*∈[

*p*

_{ j },

*p*

_{ j+1}] and

*j*≥

*j*

_{0}, all quadratic coefficients of the maps

*g*

_{ n }and are bounded by

###
**Lemma** **44**.

###
*Proof*.

*G*

_{ j,i }=

*G*

_{ j-1}∘…∘

*G*

_{ i }as usual. For

*n*∈[

*p*

_{ j },

*p*

_{ j+1}), we have , where

*L*

_{ n }is the linear part of

*f*. Hence, we have

*R*

_{ j }=∥

*G*

_{ j,0}(

*z*)∥. Since

*M*

_{ j }is unitary, we obtain

Hence if
for some *j*≥*j*
_{1}, then the same holds for all larger *j*.

This contradicts the assumption that
for each *j*≥*j*
_{1}. Hence, there exists *j*
_{
z
}≥*j*
_{1} such that
for all *j*≥*j*
_{
z
}.

Since
, we see that ∥*g*
_{
n,1}(*z*)∥→0 as *n*→*∞*, which completes the proof.

**Step 3:** The biholomorphism.

*M*

_{ j }with neighboring functions. Define:

Our goal is to show that the sequence (*Φ*
_{
n
}) converges, uniformly on compact subsets of the basin
, to an isomorphism from
to
. In order to accomplish this, we need a number of estimates.

###
**Lemma** **45**.

###
*Proof*.

Since the matrices *M*
_{
j
} are unitary, we immediate obtain the same estimates for the maps
.

###
**Lemma** **46**.

The proof follows immediately from our estimates on the coefficients of the maps *h*
_{
n
}.

###
**Lemma** **47**.

###
*Proof*.

Recall that the linear and quadratic parts of the map
are exactly equal to
. Therefore, we need to find estimates on the higher order terms of
. Since the matrices *M*
_{
j
} are unitary, we can work with the *f*’s, *g*’s, and *h*’s instead.

Since the maps *f*
_{
n
} are uniformly attracting, it follows from the Cauchy estimates that the degree *m* terms of *f*
_{
n
} are bounded by
.

Plugging in our bound on ∥*z*∥, we obtain the required estimate.

*φ*

_{ n,m }is close to on some neighborhood of the origin. To achieve this, we need to make sure that we can apply our estimates every step of the way. Therefore, we define a new constant

to give ourselves some wiggle room.

Since
and
, we have
. Therefore
increases exponentially and *D* *s*
_{
n
}<*s*
_{
n+1}. So if
, then
. This is the point where we’ve really used that
.

###
**Lemma** **48**.

###
*Proof*.

We prove both statements simultaneously by induction on *n*. For *n*=0 the first statement is trivial, and the second statement follows immediately from Lemma 46.

Now assume that is such that both statements hold for all and . We fix and .

###
**Theorem** **49**.

The sequence (*Φ*
_{
n
}) converges uniformly on each *V*
_{
u
}.

###
*Proof*.

For *m*,*n*≥*N* and *z*∈*V*
_{
u
}, we therefore have ∥*Φ*
_{
n
}(*z*)-*Φ*
_{
m
}(*z*)∥<*η*, which proves the uniform convergence on *V*
_{
u
}.

Since
, Theorem 49 shows that the maps *Φ*
_{
n
} converge uniformly on compact subsets to a map
. We will now prove that this limit *Φ* maps
biholomorphically onto
. The maps *Φ*
_{
n
} are compositions of a number of global biholomorphisms, plus a holomorphic map
which is injective on a small ball whose radius decreases with *n*. We first estimate the size of these radii

###
**Lemma** **50**.

###
*Proof*.

###
**Corollary** **51**.

The map *Φ* is a biholomorphism.

###
*Proof*.

Let
and *n*≥*v*(*u*). Then for *z*∈*V*
_{
u
}, we have
. By Lemma 50(ii) and the fact that all
and
are biholomorphisms, the map *Φ*
_{
n
} must be injective on *V*
_{
u
}. Therefore,
is a uniform limit of biholomorphisms, and we know that *D* *Φ*
_{
n
}(0)=*I* for all *n*. By Hurwitz’ theorem, we can conclude that
is also a biholomorphism. The statement follows since
is the increasing union of the sets *V*
_{
u
}.

The final ingredient in the proof of Theorem 4 is to show that is surjective.

###
**Lemma** **52**.

###
*Proof*.

By Lemma 50(i), and the fact that all
and
are biholomorphisms, the map *φ*
_{
m+n,m
} has a nonzero Jacobian on
and therefore is an open mapping. As *φ*
_{
m+n,m
}(0)=0, the lemma follows.

###
**Lemma** **53**.

###
*Proof*.

Let
. We will show that *w* lies in the image of *Φ*.

*Φ*

_{ n }) on compact sets, we have that

With this lemma, we have proved Theorem 4.

## Authors’ Affiliations

## References

- Abate M, Abbondandolo A, Majer P:
**Stable manifolds for holomorphic automorphisms.***J. Reine Angew. Math.*2014,**690:**217-247.MathSciNetMATHGoogle Scholar - Abbondandolo A, Majer P:
**Global stable manifolds in holomorphic dynamics under bunching conditions.***Int. Math. Res. Not.*2014,**14:**4001-4048.Google Scholar - Arosio L:
**Basins of attraction in Loewner equations.***Ann. Acad. Sci. Fenn. Math*2012,**37**(2):563-570.MathSciNetView ArticleMATHGoogle Scholar - Arosio L, Bracci F, Wold EF:
**Solving the Loewner PDE in complete hyperbolic starlike domains of**.*Adv. Math*2013,**242:**209-216.MathSciNetView ArticleMATHGoogle Scholar - Bedford E:
*Open problem session of the Biholomorphic Mappings Meeting at the American Institute of Mathematics*. Palo Alto, CA; July, 2000.Google Scholar - Berteloot F:
**Méthodes de changement d’échelles en analyse complexe.***Ann. Fac. Sci. Toulouse Math*2006,**15**(3):427-483. 10.5802/afst.1127MathSciNetView ArticleMATHGoogle Scholar - Berteloot F, Dupont C, Molino L:
**Normalization of random families of holomorphic contractions and applications to dynamics.***Ann. Inst. Fourier (Grenoble)*2008,**58**(6):2137-2168. 10.5802/aif.2409MathSciNetView ArticleMATHGoogle Scholar - Fornæss JE:
**Short**.*Adv. Stud. Pure Math.*2003,**42:**95-108.Google Scholar - Fornæss JE, Stensønes B:
**Stable manifolds of holomorphic hyperbolic maps.***Internat. J. Math*2004,**15**(8):749-758. 10.1142/S0129167X04002557MathSciNetView ArticleMATHGoogle Scholar - Jonsson M, Varolin D:
**Stable manifolds of holomorphic diffeomorphisms.***Invent. Math*2002,**149:**409-430. 10.1007/s002220200220MathSciNetView ArticleMATHGoogle Scholar - Peters H:
**Perturbed basins.***Math. Ann*2007,**337**(1):1-13.MathSciNetView ArticleMATHGoogle Scholar - Peters H, Wold EF:
**Non-autonomous basins of attraction and their boundaries.***J. Geom. Anal*2005,**15**(1):123-136. 10.1007/BF02921861MathSciNetView ArticleMATHGoogle Scholar - Rosay JP, Rudin W:
**Holomorphic maps from**to .*Trans. Amer. Math. Soc*1988,**310**(1):47-86.MathSciNetMATHGoogle Scholar - Sabiini G:
*Les suites de contractions holomorphes et domaines de Fatou-Bieberbach. PhD Thesis*. Université Toulouse III - Paul Sabatier; 2010. Available online at http://thesesups.ups-tlse.fr/804/1/Sabiini_Guitta.pdf Available online atGoogle Scholar - Stensønes B:
**Fatou-Bieberbach domains with**C^{ ∞ }**-smooth boundary.***Ann. of Math*1997,**145:**365-377. 10.2307/2951817MathSciNetView ArticleGoogle Scholar - Sternberg S:
**Local contractions and a theorem of Poincaré.***Am. J. Math*1957,**79:**809-824. 10.2307/2372437MathSciNetView ArticleMATHGoogle Scholar - Wold EF:
**Fatou-Bieberbach domains.***Internat. J. Math*2005,**16**(10):1119-1130. 10.1142/S0129167X05003235MathSciNetView ArticleMATHGoogle Scholar - Wold EF:
**A Fatou-Bieberbach domain in****which is not Runge.***Math. Ann*2008,**340**(4):775-780. 10.1007/s00208-007-0168-1MathSciNetView ArticleMATHGoogle Scholar - Wolf C:
**Dimension of Julia sets of polynomial automorphisms of**.*Mich. Math. J*2000,**47:**585-600. 10.1307/mmj/1030132596View ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.