Linearization problem on structurally finite entire functions (Q2574399)

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\).