Fractional iteration and functional equations for functions analytic in the unit disk (Q1880907)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fractional iteration and functional equations for functions analytic in the unit disk
scientific article

    Statements

    Fractional iteration and functional equations for functions analytic in the unit disk (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 September 2004
    0 references
    Let \(\mathcal{P}\) denote the set of all holomorphic functions \(f\) in the open unit disk \(\mathbb D\) with the condition \(f(\mathbb D) \subset \mathbb D\). Then \(\mathcal{P}\) is a topological semigroup with respect to the operation of composition and the topology of locally uniform convergence. Denote by \(\mathcal{I}\) the set of all invertible elements of \(\mathcal{P}\), i.e. \(\mathcal{I}\) is the set of Möbius transformations which map the unit disk \(\mathbb D\) onto itself. A function \(f \in \mathcal{P}\) is called \textit{embeddable} if there exists a family \(\{f^t\}_{t \geq 0}\) in \(\mathcal{P}\) such that \(f^0=\text{id}\), \(f^1=f\), \(f^{t+s} = f^t \circ f^s\) for \(s\), \(t \geq 0\) and \(f^t \to \text{id}\) as \(t \to 0+\) locally uniformly in \(\mathbb D\). Therefore, the map \(t \mapsto f^t\) is a continuous homomorphism of the additive semigroup \(\mathbb R^+ = \{\, t \in \mathbb R : t \geq 0 \,\}\) into \(\mathcal{P}\), and thus \(\{f^t\}_{t \geq 0}\) is a one-parameter continuous semigroup in \(\mathcal{P}\). In this paper, the authors establish criteria for functions \(f \in \mathcal{P}\) to be embeddable. Here, the Abel and Schröder functional equations play an important role. To be more precise some further notation is necessary. Regarding iterates \(f^n\), \(n \in \mathbb N\) of \(f \in \mathcal{P}\) as a dynamical system, one has to consider the nature of fixed points of \(f\). In this connection an important role is played by the classical result of Denjoy and Wolff which asserts that for every \(f \in \mathcal{P} \setminus \mathcal{I}\) there exists a unique point \(q\), \(| q| \leq 1\) such that \(f^n \to q\) as \(n\to\infty\) locally uniformly in \(\mathbb D\). If \(q \in \mathbb D\), then \(f(q)=q\). In the case \(| q| =1\), there exist the angular limits \(f(q) := \lim\limits_{z \to q}{f(z)}\) and \(f'(q) := \lim\limits_{z \to q}{f'(z)}\) with \(f(q)=q\) and \(0 < f'(q) \leq 1\). This point \(q\) is called the \textit{Denjoy-Wolff point} of \(f\). It is also the Denjoy-Wolff point of all iterates \(f^n\) of \(f\). Therefore, it is natural to consider the subsemigroups \(\mathcal{P}[q]\) of \(\mathcal{P}\) which consist of all functions \(f \in \mathcal{P}\) that have \(q\) as their Denjoy-Wolff point. If \(f \in \mathcal{P}\) and \(l \in \mathcal{I}\), then \(f\) is embeddable if and only if \(g = l \circ f \circ l^{-1}\) is embeddable. In addition, every element in \(\mathcal{I}\) is embeddable in a one-parameter group of automorphisms of \(\mathbb D\). Therefore, it is sufficient to draw attention to \(\mathcal{P}[0] \setminus \mathcal{I}\) and \(\mathcal{P}[1] \setminus \mathcal{I}\). Now, we can state two of the author's results. Theorem 1. Let \(f \in \mathcal{P}[0] \setminus \mathcal{I}\), and let \(f'(0) = \gamma \neq 0\). Then \(f\) is embeddable if and only if there exists a solution of the Schröder functional equation \[ F \circ f = \gamma F \] which is holomorphic in \(\mathbb D\) and satisfies the condition \[ \frac{zF'(z)}{F(z)} = \frac{p(0)}{p(z)}\,, \] where \(p\) is holomorphic in \(\mathbb D\), \(\text{Re}\,{p(z)}>0\) for \(z \in \mathbb D\) and \(e^{-p(0)}=\gamma\). Theorem 2. Let \(f \in \mathcal{P}[1] \setminus \mathcal{I}\). Then \(f\) is embeddable if and only if there exists a solution of the Abel functional equation \[ F \circ f = F+1 \] which is holomorphic in \(\mathbb D\) and satisfies the condition \[ \text{Re}{[(1-z^2)F'(z)]}>0 \] for \(z \in \mathbb D\).
    0 references
    embeddability
    0 references
    fractional iteration
    0 references
    functional equation
    0 references
    infinitesimal generator
    0 references
    Kœnigs function
    0 references
    semigroup of analyitc functions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references