Ergodic Transport Theory and Piecewise Analytic Subactions for Analytic Dynamics
We consider a piecewise analytic real expanding map f:[0,1]→[0,1] of degree d which preserves orientation, and a real analytic positive potential g:[0,1]→R. We assume the map and the potential have a complex analytic extension to a neighborhood of the interval in the complex plane. We also assume logg is well defined for this extension. It is known in Complex Dynamics that under the above hypothesis, for the given potential βlogg, where β is a real constant, there exists a real analytic eigenfunction ϕβ defined on [0,1] (with a complex analytic extension) for the Ruelle operator of βlogg. Under some assumptions we show that β1logϕβ converges and is a piecewise analytic calibrated subaction. Our theory can be applied when logg(x)=−logf′(x). In that case we relate the involution kernel to the so called scaling function.