A Ruelle operator for a real Julia set (Q1182052)

Suppose \(R\) is an expanding rational function with a real bounded Julia set, and let \((Lg)(x)=\sum_{Ry=x}(g(y)/[R'(y)'{}^ 2)\) be a Ruelle operator acting in a space of functions analytic in a neighborhood of the Julia set. The authors obtain explicit expressions for the resolvent function \[ E(x,z;\lambda)=(I-\lambda L)^{-1}(1/(z-x)) \] and, specifically, for the Fredholm determinant \(D(\lambda)=\text{det} (I-\lambda L)\). Furthermore the article provides a relation of the results obtained with the orthogonal polynomials with respect to the balanced measure of \(R\). In the last three sections the authors give two interesting examples: \(R(z)=z^ 2-p\), \(p>2\), and \(R(z)=\sigma z-{1\over z}\), \(\sigma > 1\). In the first example the general formula has the form \[ D(\lambda)=1+\sum^ \infty_{n=1}((\lambda/2)^ n/R(0)\cdots R_ n(0)). \] The entire function \(D(\lambda)\) decreases for \(\lambda>0\), and the series converges very rapidly. The Taylor-series expansion of the function \(1/D(\lambda)\) is also found. As the authors remark their approach for the calculation of the Fredholm determinant is applied also to the essential more general situations, namely, when the weight \(\phi\) is a holomorphic function in some neighborhood of bounded Julia set of an expanding rational function.