Abstract:We prove that a long iteration of rational maps is expanding near boundaries of bounded type Siegel disks. This leads us to extend Petersen's local connectivity result on the Julia sets of quadratic Siegel polynomials to a general case. A new key feature in the proof is that the puzzles are not used.
What problem does this paper attempt to address?
This paper aims to solve the problem of local connectivity of Julia sets in complex dynamical systems, especially for the Julia sets of rational maps with Siegel disks. Specifically, the goal of the paper is to generalize Petersen's result on the local connectivity of the Julia sets of quadratic polynomials in the case of fixed bounded - type Siegel disks to more general cases. The following are the main contributions of the paper and the problems solved:
### Problems mainly solved in the paper
1. **Generalize Petersen's result**:
- **Background**: Petersen proved that the Julia set of a quadratic polynomial with a fixed bounded - type Siegel disk is locally connected. This result depends on the so - called Petersen puzzle structure.
- **Problem**: For general rational maps, especially those without an expanding metric, how to prove the local connectivity of their Julia sets?
- **Solution**: In this paper, by constructing quasi - Blaschke models and using the properties of these models, it is proved that the Julia sets of a class of rational maps with bounded - type Siegel disks are locally connected. This method does not depend on the puzzle structure and thus is applicable to a wider range of cases.
2. **Deal with rational maps with Siegel disks**:
- **Background**: When a rational map has a Siegel disk, the topological structure of its Julia set can be very complex, especially the behavior near the boundary.
- **Problem**: How to prove the local connectivity of the Julia sets of such maps without the puzzle structure?
- **Solution**: In this paper, by introducing the concepts of quasi - Blaschke models and semi - hyperbolic neighborhoods, it is proved that under certain conditions, the Julia set of a rational map is locally connected near the boundary of a bounded - type Siegel disk.
### Main results
- **Main theorem**: Suppose \( f \) is a rational map, its Julia set \( J(f) \) is connected, and the forward orbit of each critical point satisfies one of the following conditions:
- (a) It is finite;
- (b) It lies in an attracting basin;
- (c) It intersects the closure of some bounded - type Siegel disk.
Then \( J(f) \) is locally connected.
- **Applications**:
- **Cubic Siegel polynomials**: The Julia sets of all cubic Siegel polynomials in the Zakeri curve and the capture domain are locally connected.
- **Newton maps and McMullen maps**: If a cubic Newton map or a McMullen map of the form \( z\mapsto z^n+\lambda / z^n \) (where \( n\geq3 \)) has a bounded - type Siegel disk, then its Julia set is also locally connected.
### Proof ideas
- **Main lemma**: By constructing a quasi - Blaschke model \( G \), it is proved that near the boundary of a bounded - type Siegel disk, long - time iteration of \( G \) is expansive.
- **Contraction property**: Using the concept of semi - hyperbolic neighborhoods, it is proved that near the boundary of a bounded - type Siegel disk, the composition of inverse branches has a uniform contraction property.
- **Whyburn criterion**: Combining the main lemma and the Whyburn criterion, the local connectivity of the Julia set is proved.
Through these methods, the paper successfully generalizes Petersen's result to a wider class of rational maps and solves an important theoretical problem in complex dynamical systems.