Remark on functions having the same Julia set
Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable (30D05) Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10) Small divisors, rotation domains and linearization in holomorphic dynamics (37F50)
This paper under review is concerned with rational functions with the same Julia set. Throughout the paper \(f\), \(g\) denote nontrivial rational functions in the extended complex plane \(\overline{\mathbb{C}}\). Functions \(f\), \(g\) are called permutable if \(f\circ g=g\circ f\). G. Julia showed in 1923 that for permutable \(f\), \(g\) one has the same Julia set \(J(f)= J(g)\). NEWLINENEWLINENEWLINEOne may ask if a converse of Julia's result holds. For the polynomial case, this problem is settled: if \(f\), \(g\) are polynomials such that \(J(f)= J(g)= J\), then either \(J\) has a rotational symmetry or \(f\), \(g\) are permutable. For the rational case, the converse need not hold. NEWLINENEWLINENEWLINEIn the cases when the Julia set is neither \(\overline{\mathbb{C}}\) nor a part of a circle or of straight line, the class of rational functions \(f\), \(g\) with \(J(f)= J(g)\) should be restricted even that \(f\), \(g\) are permutable. I. Baker and A. Eremenko showed in 1987 that if the Julia set \(J(f)\) has infinitely many cusps then the set of all rational \(g\) is such that \(J(f)= J(g)\) is countably infinite. NEWLINENEWLINENEWLINEThe main result of this paper is as follows: NEWLINENEWLINENEWLINETheorem 1. Let \(f\), \(g\) be nontrivial rational functions having the same Julia set \(J(f)= J(g)\). If \(f\) has a rational indifferent periodic point and that the critical set of \(f\) is disjoint of \(J(f)\). Then either \(J(f)\) has to be equal to a circle, an arc of a circle for some coordinate, or \(f\), \(g\) have to verify an equation of the type associated with \(m_1,\dots, m_k\in \mathbb{N}\) and \(m\in \mathbb{N}^+\): \(f^{m_1}\circ g\circ f^{m_2}\circ g\circ\cdots\circ f^{m_k}\circ g= f^m\).
- A problem of Julia sets
- Dynamics of composite mappings
- scientific article; zbMATH DE number 51680 (Why is no real title available?)
- scientific article; zbMATH DE number 4194366 (Why is no real title available?)
- Invariant sets under iteration of rational functions
- Iteration of meromorphic functions
- Lyapunov exponent and the distribution of the periodic points of an endomorphism of \(\mathbb {CP}^k\)
- Rational iteration: complex analytic dynamical systems
- The Polynomials Associated with a Julia Set
- When do two rational functions have the same Julia set?
This page was built for publication: Remark on functions having the same Julia set
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930230)
