Semigroups of holomorphic functions; rectifiability and Lipschitz properties of the orbits

Dimitrios Betsakos,Konstantinos Zarvalis
2025-01-04
Abstract:Let $(\phi_t)$ be a semigroup of holomorphic functions in the unit disk. We prove that all its orbits are rectifiable and that its forward orbits are Lipschitz curves. Moreover, we find a necessary and sufficient condition in terms of hyperbolic geometry so that a backward orbit is a Lipschitz curve. We further explore the Lipschitz condition for forward orbits lying on the unit circle and then for semigroups of holomorphic functions in general simply connected domains.
Complex Variables
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are the rectifiability and Lipschitz properties of the orbits (both forward and backward orbits) of semigroups. Specifically, the author studied the orbits of holomorphic function semigroups in the unit disk and proved the following points: 1. **Rectifiability of all orbits**: The paper first proved that all orbits (both forward and backward orbits) of semigroups in the unit disk are rectifiable. 2. **Lipschitz property of forward orbits**: Next, the paper proved that all forward orbits are Lipschitz curves. 3. **Lipschitz condition of backward orbits**: For backward orbits, the paper gave a necessary and sufficient condition for a backward orbit to be a Lipschitz curve. This condition is based on hyperbolic geometry, and the specific expressions are as follows: - For non - elliptic semigroups, the backward orbit \(\tilde{\gamma}_z\) is Lipschitz if and only if the following limit supremum is finite: \[ \limsup_{t \to T_z} \frac{\lambda_\Omega(h(z)-t)}{e^{2k_\Omega(h(z), h(z)-t)}}<+\infty \] - For elliptic semigroups, the backward orbit \(\tilde{\gamma}_z\) is Lipschitz if and only if the following limit supremum is finite: \[ \limsup_{t \to T_z} \frac{e^{\mathrm{Re}(\mu t)}\lambda_\Omega(e^{\mu t}h(z))}{e^{2k_\Omega(h(z), e^{\mu t}h(z))}}<+\infty \] 4. **Orbits on the unit circle**: In addition, the paper also explored the Lipschitz properties of orbits located on the unit circle and divided them into three categories (exceptional orbits, isolated orbits, and third - type boundary orbits), and discussed their Lipschitz properties respectively. 5. **Generalization in general simply - connected domains**: Finally, the paper attempted to generalize the above results to any simply - connected domain \(D\subsetneq\mathbb{C}\), not just the unit disk. Through these studies, the paper provides an important theoretical basis for understanding the orbital behavior of holomorphic function semigroups and reveals the profound connection between the geometric properties of orbits and their dynamical behaviors.