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

Abstract: Let the map

f : [- 1, 1] o [- 1, 1]

have a.c.i.m.

h o

(absolutely continuous

f

-invariant measure with respect to Lebesgue). Let

d e l t a h o

be the change of

h o

corresponding to a perturbation

X = d e l t a f c i r c f^{- 1}

of

f

. Formally we have, for differentiable

A

,

delta ho(A)=sum_{n=0}^inftyint ho(dx) X(x){dover dx}A(f^nx)

but this expression does not converge in general. For

f

real-analytic and Markovian in the sense of covering

(- 1, 1)

m

times, and assuming an {it analytic expanding} condition, we show that

lambdamapstoPsi(lambda)=sum_{n=0}^inftylambda^n int ho(dx) X(x){dover dx}A(f^nx)

is meromorphic in

, and has no pole at

l a m b d a = 1

. We can thus formally write

d e l t a h o (A) = P s i (1)

.

Recommendations

Cites work

Cited in

(22)

This page was built for publication: Differentiating the absolutely continuous invariant measure of an interval map \(f\) with respect to \(f\)