Abstract:In this paper, we study orbit counting problems for inner functions using geodesic and horocyclic flows on Riemann surface laminations. For a one component inner function of finite Lyapunov exponent with $F(0) = 0$, other than $z \to z^d$, we show that the number of pre-images of a point $z \in \mathbb{D} \setminus \{ 0\}$ that lie in a ball of hyperbolic radius $R$ centered at the origin satisfies $$ \mathcal{N}(z, R) \, \sim \, \frac{1}{2} \log \frac{1}{|z|} \cdot \frac{1}{\int_{\partial \mathbb{D}} \log |F'| dm}, \quad \text{as }R \to \infty. $$ For a general inner function of finite Lyapunov exponent, we show that the above formula holds up to a Cesàro average. Our main insight is that iteration along almost every inverse orbit is asymptotically linear. We also prove analogues of these results for parabolic inner functions of infinite height.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the orbit - counting problem of inner functions under specific conditions. Specifically, the author has studied how to use the geodesic flow and horocyclic flow on the laminar structure of Riemann surfaces to solve the orbit - counting problem of inner functions. For one - dimensional inner functions with finite Lyapunov exponents, the paper gives the following main results:
1. **Theorem 1.1**: Let \(F\) be an inner function with a finite Lyapunov exponent, and \(F(0) = 0\), not a rotation. If \(z\in D\setminus\{0\}\) does not belong to a Lebesgue - null set, then
\[
\lim_{R\rightarrow+\infty}\frac{1}{R}\int_{0}^{R}\frac{N(z, S)}{e^{S}}dS=\frac{1}{2}\log\frac{1}{|z|}\cdot\frac{1}{\int_{\partial D}\log|F'(re^{i\theta})|dm}.
\]
2. **Theorem 1.2**: Let \(F\) be a one - dimensional inner function with a finite Lyapunov exponent, and \(F(0) = 0\), not a function of the form \(z\rightarrow z^{d}\). If \(z\in D\setminus\{0\}\) does not belong to a countable set, then
\[
N(z, R)\sim\frac{1}{2}\log\frac{1}{|z|}\cdot\frac{1}{\int_{\partial D}\log|F'|dm}\cdot e^{R},
\]
when \(R\rightarrow\infty\).
In addition, the paper also explores the case of parabolic inner functions with infinite height and gives similar results. These results are proved by studying the ergodicity and mixing of the geodesic flow and horocyclic flow on the laminar structure of Riemann surfaces.
### Main contributions
- **Orbit - counting formulas**: The paper provides specific orbit - counting formulas, which describe the distribution of pre - image points of inner functions in the unit disk.
- **Ergodicity and mixing**: By studying the ergodicity and mixing of the geodesic flow and horocyclic flow, the paper proves the above orbit - counting formulas.
- **Geometric and analytical background**: The paper details the background knowledge of the laminar structure of Riemann surfaces, including concepts such as geodesic flow, horocyclic flow, and natural measure.
### Method overview
- **Geodesic flow and horocyclic flow**: The paper uses the geodesic flow and horocyclic flow on the laminar structure of Riemann surfaces to study the orbit - counting problem of inner functions.
- **Ergodicity and mixing**: By proving the ergodicity and mixing of the geodesic flow and horocyclic flow, the paper obtains the main results of orbit - counting.
- **Almost invariant functions**: The paper also discusses the properties of almost invariant functions and uses these properties to derive the results of orbit - counting.
In conclusion, through in - depth study of the properties of dynamical systems on the laminar structure of Riemann surfaces, this paper solves the orbit - counting problem of inner functions and provides a series of important mathematical tools and methods.