English

Differentiating the absolutely continuous invariant measure of an interval map f with respect to f

Dynamical Systems 2009-11-10 v1

Abstract

Let the map f:[1,1][1,1]f:[-1,1]\to[-1,1] have a.c.i.m. ρ\rho (absolutely continuous ff-invariant measure with respect to Lebesgue). Let δρ\delta\rho be the change of ρ\rho corresponding to a perturbation X=δff1X=\delta f\circ f^{-1} of ff. Formally we have, for differentiable AA, δρ(A)=n=0ρ(dx)X(x)ddxA(fnx) \delta\rho(A)=\sum_{n=0}^\infty\int\rho(dx) X(x){d\over dx}A(f^nx) but this expression does not converge in general. For ff real-analytic and Markovian in the sense of covering (1,1)(-1,1) mm times, and assuming an {\it analytic expanding} condition, we show that λΨ(λ)=n=0λnρ(dx)X(x)ddxA(fnx)\lambda\mapsto\Psi(\lambda)=\sum_{n=0}^\infty\lambda^n \int\rho(dx) X(x){d\over dx}A(f^nx) is meromorphic in C{\bf C}, and has no pole at λ=1\lambda=1. We can thus formally write δρ(A)=Ψ(1)\delta\rho(A)=\Psi(1).

Keywords

Cite

@article{arxiv.math/0408096,
  title  = {Differentiating the absolutely continuous invariant measure of an interval map f with respect to f},
  author = {David Ruelle},
  journal= {arXiv preprint arXiv:math/0408096},
  year   = {2009}
}

Comments

10 pages, plain TeX