On Ruelle's Lemma and Ruelle Zeta Functions
In this article we prove an important inequality regarding the Ruelle operator in hyperbolic flows. This was already proven briefly by Mark Pollicott and Richard Sharp in a low dimensional case, but we present a clearer proof of the inequality, filling in gaps and explaining the ideas in more detail, and extend the inequality to higher dimensional flows. This inequality is necessary to prove a proposition about the analyticity of Ruelle zeta functions.