The average R(t) of a smooth function with respect to the SRB measure of a
smooth one-parameter family f_t of piecewise expanding interval maps is not
always Lipschitz. We prove that if f_t is tangent to the topological class of
f_0, then R(t) is differentiable at zero, and the derivative coincides with the
resummation previously proposed by the first named author of the (a priori
divergent) series given by Ruelle's conjecture.Comment: We added Theorem 7.1 which shows that the horizontality condition is
necessary. The paper "Smooth deformations..." containing Thm 2.8 is now
available on the arxiv; see also Corrigendum arXiv:1205.5468 (to appear
Nonlinearity 2012