Fredholm determinant for piecewise monotonic transformations (Q1802985)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fredholm determinant for piecewise monotonic transformations
scientific article

    Statements

    Fredholm determinant for piecewise monotonic transformations (English)
    0 references
    0 references
    29 June 1993
    0 references
    Let \(I\) be a finite union of bounded intervals. For a piecewise monotone and piecewise \(C^ 2\) map \(F: I\to I\) let \[ \xi = \liminf_{n\to \infty} \text{ ess }\inf_{x\in I}\textstyle{1\over n} \log| (F^ n)'(x)| \] and \[ \zeta(x) = \text{exp}\left[\sum^ \infty_{n=1} \textstyle{1\over n}\sum_{x = F^ n x}1/|(F^ n)'(x)|\right]. \] The main result of the paper is: The reciprocal \(1/\zeta(z)\) of the Ruelle-Artin-Mazur zeta function has an analytic extension to the complex domain \(\{z: | z| < e^ \xi\}\), and the zeros of \(1/\zeta\) are the reciprocals of the isolated eigenvalues of the Perron-Frobenius operator of \(F\) acting on the space of functions of bounded variation. The main tools for the proof are signed symbolic dynamics, a renewal equation and the approximation of general \(F\) by ``formal piecewise linear'' ones. [For related results see \textit{V. Baladi} and \textit{G. Keller}, Commun. Math. Phys. 127, No. 3, 459-477 (1990; Zbl 0703.58048) and \textit{G. Keller} and \textit{T. Nowicki}, Commun. Math. Phys. 149, No. 1, 31-69 (1992; Zbl 0763.58024)].
    0 references
    piecewise expanding transformation
    0 references
    Fredholm determinant
    0 references
    Ruelle-Artin- Mazur zeta function
    0 references
    Perron-Frobenius operator
    0 references

    Identifiers