Ruelle-Perron-Frobenius Theorem

Theorem
Let $\struct {X_\mathbf A ^+, \sigma}$ be a one-sided shift of finite type.

Let $F_\theta ^+$ be the space of Lipschitz functions on $X_\mathbf A ^+$.

Let $f \in F_\theta ^+$ be a real-valued function.

Let $\LL_f$ be the transfer operator.

Let $\map \sigma {\LL_f}$ be the spectrum of $\LL_f : F_\theta ^+ \to F_\theta ^+$.

Suppose $\mathbf A$ is irreducible.

Then:
 * $(1)$ There is a simple eigenvalue $\beta \in \R_{>0}$ of $\LL_f : \map C {X_\mathbf A ^+, \C} \to \map C {X_\mathbf A ^+, \C}$ with a strictly positive eigenfunction $h \in F_\theta ^+$.

Furthermore, if $\mathbf A$ is aperiodic, then:
 * $(2)$ There is an $r \in \openint 0 \beta$ such that:
 * $\map \sigma {\LL_f} \setminus \set \beta \subseteq \map B {0, r}$
 * where $\map B {0, r}$ denotes the closed disk.


 * $(3)$ There is a probability measure $\mu$ such that:
 * $\ds \forall v \in \map C {X_\mathbf A ^+, \C} : \int \LL_f v \rd \mu = \beta \int v \rd \mu$


 * $(4) \ds \forall v \in \map C {X_\mathbf A ^+, \C} : \lim _{n \to \infty} \norm {\beta^{-n} \LL_f ^n v - h \int v \rd \mu} = 0$


 * $(5) \ds \int h \rd \mu = 1$.