Spectral structure of transfer operators for expanding circle maps (Q501535)

The Ruelle's transfer operator \(\mathcal{L}\) is an important tool in the study of statistical properties of dynamical systems. The spectrum \(\sigma(\mathcal{L}; H)\) depends on choices of spaces \(H\) and is usually difficult to compute. The authors consider the transfer operators of analytic expanding circle maps. They are able to determine explicitly the spectrum \(\sigma(\mathcal{L}; H^2(A))\) of analytic expanding circle maps arising from finite Blaschke products, where \(H^2(A)\) is the Hardy-Hilbert space of holomorphic functions with \(L^2\)-boundary data. More precisely, let \[ \displaystyle B(z)=C\cdot\prod_{i=1}^n \frac{z-a_i}{1-\bar a_i z} \] be a finite Blaschke product, where \(|C|=1\) and \(|a_i|<1\), \(1\leq i\leq n\). Then it is easy to see that \(B\) preserves the unit circle \(S^1=\{z\in\mathbb{C}: |z|=1\}\). Let \(\tau\) be the restriction of \(B\) on \(S^1\). Assume that \(\tau\) is expanding: \(|\tau'(z)|>1\) for all \(z\in S^1\). In this case, it is proved in [\textit{E. R. Pujals} et al., Ergodic Theory Dyn. Syst. 26, No. 6, 1931--1937 (2006; Zbl 1216.37013)] that \(B\) has exactly one fixed point \(z_0\) inside the open unit disk and one fixed point \(\hat z_0\) outside the closed unit disk. Let \(\lambda\) and \(\mu\) be the multipliers of \(B\) at \(z_0\) and \(\hat z_0\), respectively. Note that \(|\lambda|<1\) and \(|\mu|<1\). Then the main result (Theorem 5.4) of this paper states that the spectrum of \(\mathcal{L}\) on the Hardy-Hilbert space \(H^2(A)\) is given by \[ \sigma(\mathcal{L}; H^2(A)) = \{1\}\cup \{\lambda^n: n\geq 1\}\cup \{\mu^n: n\geq 1\}\cup\{0\}. \]