Abstract: Let F be an automorphism of C^k which has a fixed point. It is well known that the basin of attraction is biholomorphically equivalent to C^k. We will show that the basin of attraction of a sequence of automorphisms is also biholomorphic to C^k if all the automorphisms are small perturbations of the original map F.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the biholomorphic equivalence problem of the basin of attraction in complex dynamical systems. Specifically:
1. **Biholomorphic equivalence of the basin of attraction**:
- For a complex manifold automorphism \( F \) with an attracting fixed point, whether its basin of attraction is biholomorphically equivalent to the complex Euclidean space \( \mathbb{C}^k \).
- The author focuses on a conjecture (Conjecture 1) proposed by Eric Bedford, that is, for a holomorphic automorphism \( F \) which is hyperbolic on an invariant compact set \( K \), whether the stable manifold of any point \( p \) in \( K \) is biholomorphically equivalent to the complex Euclidean space.
2. **The basin of attraction in non - autonomous dynamical systems**:
- The paper further explores the problem of the basin of attraction in non - autonomous dynamical systems. Specifically, given a sequence of automorphisms \( f_1, f_2,\ldots \), whether these automorphisms make the basin of attraction still biholomorphically equivalent to \( \mathbb{C}^k \).
3. **Main theorems**:
- The main result of the paper is to prove a generalized version of the known theorem: if the original automorphism \( F \) has an attracting fixed point at the origin, and there exists a sequence of small perturbations \( f_1, f_2,\ldots \) such that each \( f_n \) is a small perturbation of \( F \), then the basins of attraction of these sequences of automorphisms are still biholomorphically equivalent to \( \mathbb{C}^k \).
### Formula summary
- **Attracting fixed - point condition**:
\[
a \|z\| \leq \|f_n(z)\| \leq b \|z\|,\quad 0 < a < b < 1
\]
Here \( a \) and \( b \) are constants, ensuring that the automorphism contracts within the unit ball.
- **Main theorem condition**:
\[
\|F(z)-f_n(z)\| < \epsilon,\quad \forall n\in\mathbb{N},\forall z\in B
\]
where \( \epsilon > 0 \) is a sufficiently small constant, ensuring that the perturbed sequence of automorphisms still retains the attracting property.
Through these studies, the paper aims to provide a deeper understanding of the structure of the basin of attraction in complex dynamical systems and provide theoretical support for related conjectures.