Abstract:In this paper we examine an orbit of simply connected wandering domains for the function ${f(z) = z\cos z+2\pi}$. They are noteworthy in that they are non-congruent but arise from a simple closed form function. Moreover, the shape of the wandering domains, suitably scaled, converges in the Hausdorff metric to the filled-in parabolic basin of the quadratic ${z^2+c}$ with $c=\tfrac{1}{4}$, commonly named the ``cauliflower''. We complete our analysis by classifying the wandering domains within the ninefold framework in \cite{benini+2021}, finding they are contracting and the diameters of the wandering domains tend to zero. To conclude we propose an expansion of the analysis to a wider family of functions and discuss some potential results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the properties of simply - connected wandering domains of a specific entire transcendental function \(f(z) = z\cos z+ 2\pi\). Specifically, the author examines the orbits of these wandering domains and proves that these domains are non - congruent but are derived from a simple closed - form function. Moreover, after appropriate scaling, the shapes of these wandering domains converge to a filled - in parabolic basin called "cauliflower" in the Hausdorff metric.
### Main problems and objectives of the paper:
1. **Research background**:
- The dynamic behavior of the iterative analytic function \(f:\mathbb{C}\to\mathbb{C}\) has been a hot topic in mathematical research for more than a century.
- In a dynamic system, the plane is divided into two completely invariant sets: the Fatou set \(F(f)\) and the Julia set \(J(f)\).
- Wandering domains are a special part of the Fatou set, and their iterations do not return periodically to the same region.
2. **Main contributions**:
- The author discovers an entire transcendental function \(f(z) = z\cos z + 2\pi\) with a simple closed - form, which has a series of non - congruent simply - connected wandering domains.
- Through a series of technical means, the author proves several important properties of these wandering domains, including their symmetry, the tendency of their diameters to zero, and their convergence in the Hausdorff metric.
3. **Specific problems**:
- **Non - congruence**: Prove that these wandering domains are non - congruent.
- **Convergence**: Prove that after appropriate scaling and translation, the shapes of these wandering domains converge to "cauliflower" in the Hausdorff metric.
- **Diameter tending to zero**: Prove that the diameters of these wandering domains tend to zero as the number of iterations increases.
- **Classification**: According to the nine - fold classification framework, prove that these wandering domains are contracting and the iteration results converge to the boundary.
### Main conclusions:
- **Theorem A**: The function \(f(z)=z\cos z + 2\pi\) has a series of simply - connected wandering domains \(U_n\) (\(n\geq0\)), satisfying \(f(U_n)\subset U_{n + 1}\). There exists \(N_0\) such that for \(n\geq N_0\):
1. \(D_n\subset U_n\) and \(f(D_n)\subset D_{n+1}\).
2. \(\text{diam}(U_n)<\frac{2}{n\pi}\).
3. \(U_n\) is symmetric about the real axis, and \(2n\pi\in\partial U_n\).
4. \(d_H(V_n, W_0)\to0\) as \(n\to\infty\), where \(W_0\) is "cauliflower", and \(V_n\) is the result of translating \(U_n\) by \(2n\pi\) towards the origin and scaling by a factor of \(n\).
5. According to the nine - fold classification framework, the wandering domain \(U_n\) is contracting and the iteration results converge to the boundary.
Through these studies, the author not only reveals the dynamic behavior of this function but also provides a theoretical basis for further research on a broader class of entire transcendental functions.