Linear and fractional response for the SRB measure of smooth hyperbolic attractors and discontinuous observables

DOI10.1088/1361-6544/AA5B13zbMATH Open1384.37029arXiv1603.09690OpenAlexW2327447718MaRDI QIDQ5346743FDOQ5346743

Authors: Viviane Baladi, Tobias Kuna, Valerio Lucarini

Publication date: 29 May 2017

Published in: Nonlinearity (Search for Journal in Brave)

Abstract: We consider a smooth one-parameter family

t o f_{t}

of diffeomorphisms with compact transitive Axiom A attractors. Our first result (corrected) is that for any function

G

in the Sobolev space

H_{p}^{r}

, with

p > 1

and

0 < r < 1 / p

, the map

R (t)

sending

t

to the average of

G

with respect to the SRB measure of

f_{t}

is

a l p h a

-H"older continuous for all

a l p h a < r - | l o g m a t h c a l J | / (p | l o g u_{s} |

) where

m a t h c a l J l e 1

is the strongest volume contraction and

u_{s} < 1

is the weakest contraction. This applies to

h e t a (x) = h (x) T h e t a (g (x) - a)

(for all

a l p h a < 1 - | l o g m a t h c a l J | / | l o g u_{s} |

) for

h

and

g

smooth and

T h e t a

the Heaviside function, if

a

is not a critical value of

g

. Our second result says that for any such function so that, in addition, the intersection of the set of points

x

so that

g (x) = a

with the support of

h

is foliated by "admissible stable leaves" of

f_{t}

, the map

R (t)

is differentiable. (We provide distributional linear response and fluctuation-dissipation formulas for the derivative.) Obtaining linear response or fractional response for such observables is motivated by extreme-value theory. --- Second version, following the referee's comments: We explain better the cone choices around (2.4). Appendix A contains information on the Banach spaces. We added the paragraph containing (2.6) in the proof of Theorem 2.1. In the proof of Theorem 3.3, we do not need to introduce mollifiers. However, the new argument around (2.6) is not available here, so we must replace the pair