  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\"older 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.
