Abstract:In this paper, we use thermodynamic formalism to study the dynamics of inner functions $F$ acting on the unit disk. If the Denjoy-Wolff point of $F$ is in the open unit disk, then without loss of generality, we can assume that $F(0) = 0$ so that 0 is an attracting fixed point of $F$ and the Lebesgue measure on the unit circle is invariant under $F$. Utilizing the connection between composition operators, Aleksandrov-Clark measures and Perron-Frobenius operators, we develop a rudimentary thermodynamic formalism which allows us to prove the Central Limit Theorem and the Law of Iterated Logarithm for Sobolev multipliers and Hölder continuous observables. Under the more restrictive, but natural hypothesis that $F$ is a one component inner function, we develop a more complete thermodynamic formalism which is sufficient for orbit counting, assuming only the $(1+\varepsilon)$ integrability of $\log|F'|$. As one component inner functions admit countable Markov partitions of the unit circle, we may work in the abstract symbolic setting of countable alphabet subshifts of finite type. Due to the very weak hypotheses on the potential, we need to pay close attention to the regularity of the complex Perron-Frobenius operators $\mathcal L_s$ with $\text{Re }s > 1$ near the boundary. Finally, we discuss inner functions with a Denjoy-Wolff point on the unit circle. We assume a parabolic type behavior of $F$ around this point and we introduce the class of parabolic one component inner functions. By making use of the first return map, we deduce various stochastic laws and orbit counting results from the aforementioned abstract symbolic results.

On possible limit functions on a Fatou component in non-autonomous iteration

The boundary of bounded polynomial Fatou components

Bounded Critical Fatou Components Are Jordan Domains for Polynomials

Boundedness Of Components Of Fatou Sets Of Entire And Meromorphic Functions

Escaping Fatou components with disjoint hyperbolic limit sets

Singularities and limit functions in iteration of meromorphic functions

Iterates of Meromorphic Functions on Escaping Fatou Components

Iteration of Functions Which Are Meromorphic Outside A Small Set

On multiply-connected Fatou components in iteration of meromorphic functions

Adiabatic Limits and Foliations

Inner Functions, Composition Operators, Symbolic Dynamics and Thermodynamic Formalism

Boundedness of Fatou components of the family f(z)=λsin(z)+a

A polynomial automorphism with a wandering Fatou component

F-signature functions of diagonal hypersurfaces

An approach to determining the existence of a limit distribution of additive arithmetic functions

Non-existence of unbounded Fatou components of a meromorphic function

On iterates of rational functions with maximal number of critical values

A polynomial skew-product with a wandering Fatou-disk

Non-tangential Limits and Bounded Point Derivations on

Limit linear series: combinatorial theory