Linearization problem on structurally finite entire functions (Q2574399): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 07:24, 3 February 2024

scientific article
Language Label Description Also known as
English
Linearization problem on structurally finite entire functions
scientific article

    Statements

    Linearization problem on structurally finite entire functions (English)
    0 references
    0 references
    21 November 2005
    0 references
    Let \(z_0 \in \mathbb{C}\), and let \(f\) be a holomorphic function in a neighbourhood \(U\) of \(z_0\) such that \(z_0\) is an irrationally indifferent fixed-point of \(f\), i.e., \(f(z_0)=z_0\) and \(\lambda = f'(z_0) = e^{2\pi i\alpha}\) with \(\alpha\) irrational. We say that \(f\) is linearizable at \(z_0\), if there exists a conformal map \(h\) of a neighourhood \(V \subset U\) of \(z_0\) onto the unit disk \(\mathbb{D}\) such \(h(z_0)=0\) and \((h \circ f \circ h^{-1})(w) = \lambda w\) for all \(w \in \mathbb{D}\). It is known that a rational or entire function \(f\) with an irrationally indifferent fixed-point \(z_0\) is linearizable at \(z_0\) if and only if \(z_0\) is the center of a Siegel disk. An irrational number \(\alpha\) is called a Bryuno number, if \[ \sum_{n=0}^\infty \frac{\log{q_{n+1}}}{q_n} < \infty\,, \] where \((p_n/q_n)\) is the sequence of rational numbers approximating \(\alpha\) defined by its continued fraction expansion. \textit{A.~D.~Bryuno} [Trans. Mosc. Math. Soc. 25 (1971), 131--288 (1973; Zbl 0272.34018)] showed that if \(\alpha\) is a Bryuno number, then \(f\) as above is linearizable at \(z_0\). Conversely, \textit{J.-C.~Yoccoz} [Astérisque. 231. Paris: Socièté Math. de France (1995; Zbl 0836.30001)] proved that if the quadratic polynomial \(P(z) = \lambda z+z^2\) is linearizable at \(0\), then \(\alpha\) is a Bryuno number. Furthermore, \textit{L.~Geyer} [Trans. Am. Math. Soc. 353, 3661--3683 (2001; Zbl 0980.30017)] showed that the same is true for the entire function \(f(z) = \lambda \int_0^z (1+t)e^t\,dt\). In the paper under review, the author extends both the Yoccoz and Geyer result to a certain subclass of entire functions. An entire function \(f\) is called structurally finite of type \((p,q)\), if \(f\) has exactly \(p\) critical points and \(q\) transcendental singularities of \(f^{-1}\). Furthermore, such a function \(f\) is called \(1\)-hyperbolic, if the following two conditions hold. (i) There exists exactly one value \(c\) which is either a recurrent critical point of \(f\) or a transcendental singularity of \(f^{-1}\) that corresponds to some irrationally indifferent cycle of \(f\). (ii) No orbits of singular values in the Fatou set of \(f\) accumulate to the Julia set of \(f\). With these notations, the two main results of the author read as follows. Theorem 1. If a \(1\)-hyperbolic structurally finite entire function \(f\) of type \((p,q)\) with \(p \geq 1\) is linearizable at an irrationally indifferent fixed-point with multiplier \(\lambda = e^{2\pi i\alpha}\), then \(\alpha\) is a Bryuno number. Theorem 2. If a \(1\)-hyperbolic structurally finite entire function \(f\) of type \((0,q)\) with \(q \geq 1\) is linearizable at an irrationally indifferent fixed-point with multiplier \(\lambda = e^{2\pi i\alpha}\), then \(E(z) = \lambda \int_0^z e^t\,dt\) is linearizable at \(0\).
    0 references
    structurally finite entire function
    0 references
    linearization
    0 references
    Bryuno number
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references