Abstract:We develop a general technique for realising full closed subsets of the complex plane as wandering sets of entire functions. Using this construction, we solve a number of open problems.
(1) We construct a counterexample to Eremenko's conjecture, a central problem in transcendental dynamics that asks whether every connected component of the set of escaping points of a transcendental entire function is unbounded.
(2) We prove that there is a transcendental entire function for which infinitely many Fatou components share the same boundary. This resolves the long-standing problem whether "Lakes of Wada continua" can arise in complex dynamics, and answers the analogue of a question of Fatou from 1920 concerning Fatou components of rational functions.
(3) We answer a question of Rippon concerning the existence of non-escaping points on the boundary of a bounded escaping wandering domain, that is, a wandering Fatou component contained in the escaping set. In fact we show that the set of such points can have positive Lebesgue measure.
(4) We give the first example of an entire function having a simply connected Fatou component whose closure has a disconnected complement, answering a question of Boc Thaler.
In view of (3), we introduce the concept of "maverick points": points on the boundary of a wandering domain whose accumulation behaviour differs from that of internal points. We prove that the set of such points has harmonic measure zero, but that it can nonetheless be rather large. For example, it may have positive planar Lebesgue measure.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on several long - standing unsolved problems in complex dynamical systems, as follows:
1. **Eremenko's Conjecture**: A central problem proposed by Eremenko in 1989, that is, for every transcendental entire function \(f\), whether every connected component of its escaping set \(I(f)\) is unbounded. Eremenko's Conjecture has long been one of the core problems in the study of transcendental dynamics.
2. **Wada Lake Problem**: Whether there exists a transcendental entire function such that infinitely many Fatou components share the same boundary? This problem is related to Fatou's problem about Fatou components of rational functions in 1920, and it explores whether the Wada lake continuum can appear in complex dynamical systems.
3. **Non - escaping Point Problem**: A problem proposed by Rippon, that is, whether there exist non - escaping points on the boundary of a bounded escaping wandering domain, that is, these points are not included in the escaping set. Further, whether the set of these points can have a positive Lebesgue measure.
4. **Simply - connected Fatou Component Problem**: A problem proposed by Boc Thaler, that is, whether there exists a transcendental entire function such that the closure of one of its simply - connected Fatou components has a disconnected complement.
### Main Contributions of the Paper
1. **Counterexample to Eremenko's Conjecture**:
- Constructed a transcendental entire function \(f\) such that there exists a bounded connected component in its escaping set \(I(f)\), thus disproving Eremenko's Conjecture.
2. **Existence of Wada Lake Continuum**:
- Proved that there exists a transcendental entire function \(f\) such that infinitely many Fatou components share the same boundary, and this boundary is a Wada lake continuum.
3. **Existence of Non - escaping Points**:
- Proved that there exists a transcendental entire function \(f\) such that there exist non - escaping points on the boundary of its bounded escaping wandering domain, and the set of these points can have a positive Lebesgue measure.
4. **Complement of Simply - connected Fatou Component**:
- Gave the first example to show that there exists a transcendental entire function such that the closure of one of its simply - connected Fatou components has a disconnected complement.
### Specific Results
- **Theorem 1.2**: Constructed a class of transcendental entire functions \(f\) such that any given non - empty, full and connected compact set \(X\subseteq\mathbb{C}\) becomes a connected component of its escaping set \(I(f)\).
- **Theorem 1.4**: Proved that there exists a transcendental entire function \(f\) such that infinitely many Fatou components share the same boundary, and this boundary is a Wada lake continuum.
- **Theorem 1.6**: Proved that there exists a transcendental entire function \(f\) such that there exist non - escaping points on the boundary of its bounded escaping wandering domain, and the set of these points can have a positive Lebesgue measure.
- **Theorem 1.7**: Provided a more general result, that is, for any given full compact set \(K\subseteq\mathbb{C}\), a transcendental entire function \(f\) can be constructed such that the interior connected components of \(K\) become the wandering domains of \(f\), and the behavior of these wandering domains can be controlled.
### Conclusion
This paper solves several long - standing important problems in complex dynamical systems by constructing a series of new transcendental entire functions. In particular, the disproving of Eremenko's Conjecture and the proof of the existence of Wada lake continuum provide important progress for the research in this field.