SINGULARITIES OF THE SUSCEPTIBILITY OF AN SRB MEASURE IN THE PRESENCE OF STABLE-UNSTABLE TANGENCIES

D. Ruelle

Abstract:Let ρ be an SRB (or “physical”), measure for the discrete time evolution given by a map f , and let ρ(A) denote the expectation value of a smooth function A. If f depends on a parameter, the derivative δρ(A) of ρ(A) with respect to the parameter is formally given by the value of the so-called susceptibility function Ψ(z) at z = 1. When f is a uniformly hyperbolic diffeomorphism, it has been proved that the power series Ψ(z) has a radius of convergence r(Ψ) > 1, and that δρ(A) = Ψ(1), but it is known that r(Ψ) < 1 in some other cases. One reason why f may fail to be uniformly hyperbolic is if there are tangencies between the stable and unstable manifolds for (f, ρ). The present paper gives a crude, nonrigorous, analysis of this situation in terms of the Hausdorff dimension d of ρ in the stable direction. We find that the tangencies produce singularities of Ψ(z) for |z| < 1 if d < 1/2, but only for |z| > 1 if d > 1/2. In particular, if d > 1/2 we may hope that Ψ(1) makes sense, and the derivative δρ(A) = Ψ(1) has thus a chance to be defined. * An early version of this work was presented at the France-Brazil mathematical conference at IMPA in Sep. 2009, at the LAWNP conference in Buzios in Oct. 2009, and at the meeting Progress in Dynamics at the IHP in Nov. 2009. † Math. Dept., Rutgers University, and IHES, 91440 Bures sur Yvette, France. email: ruelle@ihes.fr 1 0. Introduction. Let f be a diffeomorphism of the compact manifold M , and ρ an SRB measure for f . The derivative δXρ(A) of the map f 7→ ρ in the direction of the smooth vector field X, evaluated at the smooth real function A, can be formally computed to be the value at z = 1 of Ψ(z) = ∞