Holomorphic endomorphisms of the unit disk with invariant diameter and bounded distortion (Q905078)

Let \(\mathfrak{P}\) be the set of all functions \(f\) holomorphic in the unit disc \(\mathbb{D} = \{ z\in\mathbb{C}:\, |z|<1\}\) and taking values in \(\mathbb{D}\), that is, \(f(\mathbb{D})\subset\mathbb{D}\). Note that \(\mathfrak{P}\) can be regarded as a topological semigroup with respect to the operation of taking the composite and the topology of locally uniform convergence. Regarding \(\mathbb{R}^+ = \{ t\in\mathbb{R}:\, t\geq 0\}\) as an additive semigroup with the ordinary topology of the real numbers, a one-parameter semigroup in \(\mathfrak{P}\) is defined to be a continuous homomorphism \(t\mapsto f^t\) acting from \(\mathbb{R}^+\) to \(\mathfrak{P}\). The problem of fractional iterates for a function \(f\) in \(\mathfrak{P}\) consists in the possibility of embedding it into a one-parameter semigroup in \(\mathfrak{P}\). The problem has been solved in terms of the Koenigs function, which is a solution of the Schröder functional equation if \(f\) has a fixed point in \(\mathbb{D}\) and of the Abel functional equation if not (see, for example, [\textit{V. V. Goryainov}, Russ. Math. Surv. 67, No. 6, 975--1021 (2012); translation from Usp. Mat. Nauk 67, No. 6, 5--52 (2012; Zbl 1269.30002)]). In the paper under review the problem of fractional iterates is studied in the semigroup \(\mathfrak{D}\) of functions \(f\) in \(\mathfrak{P}\) satisfying the conditions: (i) \(\mathrm{Im}f(x) = 0\) for \(x\in (-1,1)\), \(f(x)\to\pm 1\) as \(x\to\pm 1\); (ii) \(f^{\prime}(x) > 0\) for \(x\in (-1,1)\) and \(\sup\limits_{x\in(-1,1)}f^{\prime}(x)< \infty\). More precisely, a description of the class of Koenigs functions that correspond to one-parameter semigroups in \(\mathfrak{D}\) is obtained.