HAL Id: tel-00362479
https://tel.archives-ouvertes.fr/tel-00362479
Submitted on 18 Feb 2009
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Propriétés stochastiques de systèmes dynamiques et théorèmes limites : deux exemples.
Mikaël Roger
To cite this version:
Mikaël Roger. Propriétés stochastiques de systèmes dynamiques et théorèmes limites : deux exemples..
Mathématiques [math]. Université Rennes 1, 2008. Français. �tel-00362479�
N ◦ d'Ordre : 3799
T H È S E
Présentée
DEVANT L'UNIVERSITÉ DE R ENNES I
pour obtenir
le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES I
Mention Mathématiques et Applications par
Mikaël R OGER
Institut de Recherche Mathématique de Rennes École Doctorale MATISSE
U.F.R. de Mathématiques
TITRE DE LA THÈSE :
Propriétés stochastiques de systèmes dynamiques et théorèmes limites : deux exemples
Soutenue le 18 décembre 2008 devant la Commission d'Examen
COMPOSITION DU JURY :
M. G. COHEN Rapporteur
M. J.-P. CONZE Directeur
M. L. HERVÉ Examinateur
M. S. LE BORGNE Directeur
M. B. PETIT Examinateur
M. B. SCHMITT Rapporteur
2
3
Remerciements
En premier lieu, c’est naturellement à mes directeurs Jean-Pierre Conze et Stéphane Le Borgne que je souhaite exprimer ma sincère gratitude, pour leur patience, leur disponibilité. J’ai particulièrement apprécié de toujours quitter leurs bureaux fort de nombreuses suggestions, critiques ou interrogations.
Merci à eux pour leur encouragement et les discussions toujours très ouvertes au cours de ces trois années.
Je remercie mes rapporteurs Guy Cohen et Bernard Schmitt pour leur patient travail de relecture de ce manuscrit et la justesse de leurs commentaires. Merci également à Loïc Hervé et à Bernard Petit d’avoir accepté de faire partie du jury de cette thèse, qui s’inspire de quelques uns de leurs travaux.
A mes parents et grands-parents, sans lesquels rien de tout ceci n’aurait pu voir le jour. A mon explosif petit chimiste amusant, et Isis, si sage dans la méditation et vive à la souris.
Au cercle vertueux de mes amis rennais, pour lesquels quelques lignes de remerciements confinent également à l’ingratitude. Qui ne regrette les bons mots ment. Aux vaillants chevaliers teutoniques de la belote eponyme : Vicky, qui nous a tout appris ; JR, protagoniste de toute bonne controverse ; Yann , jovial en toutes circonstances ; Mathilde, toujours rieuse, et Clement, edile calembourgeois. A Olivier, dont la dimension ne se réduit pas à être un camarade de la première heure. A Flavie, Thomas & Au- drey, Nicolas & Céline, Sébastien, Aurélien, Mylène, Nolwenn et Nathalie. A Jérôme à l’humour et aux idées plus affutés que le sabre. A Corentin et plusieurs discussions (tranquilles) au coin du feu.
A l’équipe de foot du vendredi, notamment les organisateurs Gweltaz, Delphine, Richard et Lionel.
Aux doctorants de l’IRMAR que j’ai eu plaisir à côtoyer, avec une mention spéciale à mes collègues de bureau.
A l’équipe de théorie ergodique, pour l’accueil bienveillant qu’elle réserve à ses doctorants.
Aux personnels d’entretien, secrétaires dévouées et attentionnées, et bibliothécaires aussi aimables qu’efficaces.
Aux acteurs du magistère MMMI pour l’excellence de la formation offerte. Un grand merci à Michel Pierre, Arnaud Debussche, Grégory Vial, Gabriel Caloz, et à l’ENS Cachan Bretagne en général.
A l’ensemble des personnes qui ont su éveiller ma curiosité intellectuelle depuis mes premiers pas.
Longue vie à la communauté du logiciel libre qui diffuse des logiciels aussi performants que L
ATEX, Scilab, Open Office, ou Geogebra.
Enfin, contre toute attente, je tiens à remercier Jacques Chirac -président de la République Française-
d’avoir mis fin à la conscription.
4
Table des matières
I TLL pour des matrices de Pisot 9
1 Introduction . . . . 12
2 TLL pour les sous-shifts de type ni bilatères . . . . 15
2.1 Opérateur de transfert . . . . 16
2.2 Opérateurs perturbés et propriétés spectrales . . . . 17
2.3 Apériodicité et variance . . . . 19
2.4 Théorème limite local pour le sous-shift de type ni unilatère . 21 2.5 Théorème limite local pour les sous-shifts de type ni bilatères 25 3 Codage des automorphismes hyperboliques du tore . . . . 30
3.1 Notations, matrices de Pisot . . . . 30
3.2 Codage markovien des automorphismes . . . . 31
3.3 Mesure d'entropie maximale . . . . 31
3.4 Codage soque . . . . 32
3.5 Relèvement au sous-shift . . . . 34
3.6 Autosimilarité et mesure de Lebesgue . . . . 35
4 TLL pour les matrices de Pisot et sous-variétés instables . . . . 40
4.1 Apériodicité . . . . 40
4.2 Théorème limite local et sous-variété instable . . . . 46
4.3 Théorème limite local pour les sommes de Riesz-Raïkov asso- ciées à une matrice de Pisot . . . . 48
4.4 Comparaison des sommes ergodiques pour des v égaux modulo Z 48 4.5 Théorème limite local sur le tore . . . . 49
II TLC pour des composées d'automorphismes du tore 53 1 Introduction et notations . . . . 55
2 Décorrélation et variance . . . . 57
2.1 Décorrélation . . . . 57
2.2 Variance . . . . 59
3 Théorème limite central . . . . 60
3.1 Condition de séparation des fréquences . . . . 60
3.2 Application d'un critère de Komlòs . . . . 63
3.3 Majoration de | E [e
ixkSnkSn2] − e
−12x2| . . . . 67
5
6 TABLE DES MATIÈRES
3.4 Approximation par une loi normale . . . . 68
4 Le cas stationnaire . . . . 70
4.1 Ergodicité, décorrélation globale . . . . 70
4.2 Non nullité de la variance . . . . 74
5 Exemples I . . . . 75
5.1 Cas de SL(2, Z
+) . . . . 75
5.2 Une méthode de cônes . . . . 78
5.3 Cas de faibles perturbations . . . . 78
5.4 Kicked systems . . . . 86
6 Exemples II (Suites aléatoires indépendantes) . . . . 87
7 Preuve du lemme . . . . 101
8 Figures . . . . 104
Introduction
Théorèmes limites sur un exemple
Dans cette courte introduction, on se propose de présenter sur un exemple les dif- férents théorèmes limites qui motivent ce travail sur un système dynamique simple.
Les preuves sont classiques et ne seront pas détaillées.
Un automorphisme hyperbolique du tore
On se place sur le tore T
2= R
2/ Z
2. On considère la matrice M =
µ 2 1 1 1
¶
appartenant à SL(2, Z). On lui associe une transformation du tore
τ : T
2→ T
2; x 7→ M x mod Z
2.
La matrice M possède deux valeurs propres réelles : κ = 3 + √ 5
2 et κ
−1= 3 − √ 5 2 , avec κ > 1 > κ
−1. On note v
u= 1
√ 5 µ 2
1
¶
(resp. v
s= 1
√ 5 µ − 1
2
¶
) un vecteur propre instable (resp. stable ) associé à la valeur propre κ (resp. κ
−1).
Cette matrice M est dite hyperbolique, et le réel κ est appelé nombre de Pisot, il est l'unique racine de module strictement plus grand que 1 d'un polynôme à coecients entiers. La transformation τ est un automorphisme du tore. Notons que la mesure de Lebesgue λ est invariante par τ : pour tout ensemble mesurable A ⊂ T
2, on a :
λ(τ
−1(A)) = λ(A).
Etant donnée une position initiale x, on souhaite décrire le comportement asymp- totique la suite des positions futures (τ
jx)
j≥0.
7
8 Introduction
Théorèmes limites
Etant donnée une fonction f : T
2→ R , et x ∈ T
2, on dénit la suite (S
Nf )
N≥1des sommes ergodiques par : S
Nf(x) =
N−1
X
j=0
f (τ
jx), ∀ N ≥ 1. (1)
Loi des grands nombres (LGN)
Pour une fonction f ∈ L
1( T
2, R ), on montre que 1
N S
Nf(x) −−−−→
L1N→+∞
Z
T2
f (u)dλ(u), (2)
pour λ-presque-tout x ∈ [0, 1[.
En d'autres termes, la moyenne le long d'une orbite s'approche la moyenne spa- tiale, pour la mesure λ. Ce résultat est ici une conséquence du théorème ergodique de Birkho, le système dynamique (T
2, τ, λ) étant ergodique.
Théorème de la limite centrale (TLC)
Pour une fonction f : T
2→ R susamment régulière (par exemple, | f(n) ˆ | ≤ C | n |
−α, pour C > 0 et α > 1/2), on montre que, pour un paramètre de variance asymptotique σ
2, on a
√ N
¯ ¯
¯ ¯ 1
N S
Nf ( · ) − Z
T2
f(u)dλ(u)
¯ ¯
¯ ¯ −−−−→
LN→+∞
N (0, σ
2). (3) Pour montrer ce résultat, on peut par exemple utiliser les fonctions caractéristiques pour montrer que pour tout t ∈ R , on a E [e
i√tNSNf(·)] −−−−→
N→+∞
e
−t2 2σ2
Théorème limite local (TLL)
On peut préciser le comportement local, avec f comme dans le théorème précé- dent, en montrant que pour tous réels a < b , on a
σ √
2πN λ µ½
x ∈ T
2; S
Nf (x) − N Z
T2
f (u)dλ(u) ∈ [a, b]
¾¶
−−−−→
N→+∞
b − a. (4)
Objectifs
Dans cette thèse on va établir des théorèmes limites locaux pour des sommes
ergodiques associées à des matrices plus générales (chapitre I) et des théorèmes
limites centraux pour des produits d'automorphismes du tore (chapitre II).
Chapitre I
Théorème limite local pour les
sommes de Riesz-Raïkov associées à des matrices de Pisot
9
10 CHAPITRE I. TLL POUR DES MATRICES DE PISOT
Sommaire
1 Introduction . . . . 12
2 TLL pour les sous-shifts de type ni bilatères . . . . 15
2.1 Opérateur de transfert . . . . 16
2.2 Opérateurs perturbés et propriétés spectrales . . . . 17
2.3 Apériodicité et variance . . . . 19
2.4 Théorème limite local pour le sous-shift de type ni unilatère 21 2.5 Théorème limite local pour les sous-shifts de type ni bi- latères . . . . 25
3 Codage des automorphismes hyperboliques du tore . . . 30
3.1 Notations, matrices de Pisot . . . . 30
3.2 Codage markovien des automorphismes . . . . 31
3.3 Mesure d'entropie maximale . . . . 31
3.4 Codage soque . . . . 32
3.5 Relèvement au sous-shift . . . . 34
3.6 Autosimilarité et mesure de Lebesgue . . . . 35
4 TLL pour les matrices de Pisot et sous-variétés in- stables . . . . 40
4.1 Apériodicité . . . . 40
4.2 Théorème limite local et sous-variété instable . . . . 46
4.3 Théorème limite local pour les sommes de Riesz-Raïkov associées à une matrice de Pisot . . . . 48
4.4 Comparaison des sommes ergodiques pour des v égaux modulo Z . . . . 48
4.5 Théorème limite local sur le tore . . . . 49
11
Etant donnés un nombre de Pisot θ et une fonction höldérienne f, on démontre
un résultat analogue au théorème limite local obtenu par Bernard Petit [Pet96] sur
les sommes de Riesz-Raïkov. Son travail utilise une condition d'apériodicité portant
sur un relèvement F de f dans un certain sous-shift de type ni, qui peut être dicile
à vérier sur les exemples. Quand θ est unitaire, on montre le résultat à la seule
condition que f ne soit pas constante. La construction présentée permet également
d'obtenir un théorème limite local pour les matrices de Pisot .
12 CHAPITRE I. TLL POUR DES MATRICES DE PISOT
1 Introduction
Etant donné un nombre réel θ > 1 , les sommes de Riesz-Raïkov associées à θ et à une fonction f dénie sur R et 1 -périodique sont les sommes dénies par
S
nf(x) :=
n−1
X
i=0
f (θ
ix). (I.1)
L'étude des propriétés stochastiques de ces sommes a été introduite par D. Raïkov ([Raï36]), qui a montré la loi des grands nombres (LGN) dans le cas θ = 2 , pour f intégrable :
1
N S
Nf (x) −→
N→+∞
Z
1 0f(u) du, pour Lebesgue-presque tout x ∈ [0, 1]. (I.2) F. Riesz ([Rie45]) a remarqué qu'il s'agissait d'un exemple d'application du théorème ergodique de Birkho. Depuis, de nombreux auteurs se sont intéressés au comporte- ment asymptotique de ces sommes, pour diérentes valeurs de θ , d'autres choix de régularité de la fonction f et en considérant d'autres théorèmes limites que la loi des grands nombres.
Un premier ranement consiste à établir pour certaines classes de fonctions le théorème de la limite centrale (TLC) :
S
Nf − N R
1 0f du
√ N
−−−−→
LN→+∞
N (0, σ
2), (I.3) où la variance asymptotique σ
2est dénie par σ
2= lim
N→+∞
1
N k S
Nf k
22,
Quand il a lieu, un tel résultat fournit la vitesse dans la loi des grands nombres.
Une autre question qui peut être examinée est la validité du théorème limite local (TLL) (en notant λ la mesure de Lebesgue sur R
d) :
σ √
2πN λ µ½
x ∈ [0, 1], S
Nf (x) − N Z
10
f (u) du ∈ [a, b]
¾¶
−−−−→
N→+∞
b − a, (I.4) ainsi que celle de la loi du logarithme itéré (LLI) :
lim sup
N→+∞
√ N σ p
2 ln(ln N )
¯ ¯
¯ ¯ 1
N S
Nf(x) − Z
10
f(u) du
¯ ¯
¯ ¯ ≤ 1, pour Lebesgue-p. t. x ∈ [0, 1], (I.5) Mentionnons enn les versions multidimensionnelles des propriétés précédentes.
En ce qui concerne la LGN, elle a été montrée par F.Riesz et D.Raïkov pour tout
entier θ > 1. Plus récemment, E. Rio ([Rio00]) l'a établie pour presque tout réel
θ > 1. L'équidistribution de la suite (θ
nx)
n≥0pour presque tout x a été montrée,
1. INTRODUCTION 13 pour Lebesgue presque tout θ > 1 par J. F. Koksma. Elle a été étendue au cas multidimensionnel par E. Lesigne ([Les98]).
Pour le TLC, sous des hypothèses de régularité de f , une première version a été établie par par R.Fortet ([For40]) pour tout entier θ > 1 . Puis S. Takahashi (1962) et R. Kaufman (1980) on montré le TLC pour certains θ > 1 entiers algébriques.
Etant donné une fonction f développable en série de Fourier, on note ( ˆ f(n)) la suite de ses coecients de Fourier. Pour les fonctions f vériant | f(n) ˆ | ≤ K | n |
−α, pour K > 0 et α >
12, B. Petit ([Pet92]) a établi le TCL pour tout θ > 1, en ex- plicitant la condition de non-dégénerescence de la variance. Soit ∀ m ∈ N , θ
m∈ / Q et alors σ
2=
Z
1 0f (u)
2du . Soit il existe un couple (a, b) d'entiers premiers entre eux, tel que a
b = θ
inf{m,θm∈Q}, auquel cas σ
2= Z
10
f(u)
2du + 2 X
n≥1
Z
1 0f(a
nu)f (b
nu) du , avec σ
2= 0 si et seulement s'il existe une fonction g ∈ L
2telle que f( · ) = g(a · ) − g(b · ). En fait, l'hypothèse de régularité moins contraignante X
ℓ≥0
X
2ℓ≤n<2ℓ+1
| f ˆ (n) |
2
1 2
< + ∞ sut et sous cette hypothèse, vériée en particulier par les fonctions höldériennes, K. Fukuyama a donné une version multidimensionnelle du TCL ([Fuk94]).
La LIL a été prouvée pour θ > 1 entier, par G. Maruyama et I. Ibragimov.
En ce qui concerne le TLL, le cas θ entier a été traité par Moskvin et Postnikov [MP78]. P. Calderoni M. Campanino, et D. Capocaccia ([CCC85]) l'ont montré pour θ nombre de Pisot de degré 2 et pour certaines fonctions f indicatrices d'intervalles.
Leur méthode, bien qu'utilisant également la notion de partition de Markov, est diérente de celle proposée ici.
B. Petit [Pet96] traite le cas où θ est un nombre de Pisot et f est höldérienne.
La preuve de ce résultat utilise un codage symbolique ϕ : X → T construit à partir des θ -développements de réels. Les théorèmes limites sont prouvés sur le décalage symbolique (X, σ), puis leurs analogues pour les sommes de Riesz-Raïkov en sont déduites à l'aide d'un résultat d'approximation. La condition de non-dégénerescence de la variance, portant sur le relèvement dans le décalage de l'observable f , est la suivante :
(AP) f ◦ ϕ n'est pas de la forme u ◦ s − u + α + kβ , pour u ∈ L
∞, α ∈ R, β > 0 et k : X → Z . Elle est toutefois dicile à vérier.
Sommes de Riesz-Raïkov étendues
Dans ce travail, inspiré du précédent, on traite un cas de TLL, pour des sommes de Riesz-Raïkov étendues, i.e. pour des sommes S
Nf(x) =
N
X
−1 i=0f (A
ix) , pour f :
R
r−→ R höldérienne, avec M ∈ SL(d, Z ) matrice hyperbolique, de sous-espace
14 CHAPITRE I. TLL POUR DES MATRICES DE PISOT vectoriel dilatant F
ude dimension r < d, π la projection de F
usur R
r, et A = π
−1M π.
Notre condition (APF) de non-dégénerescence de la variance a l'avantage d'être explicite, en terme du développement en série de Fourier de f :
(APF) pour toute fréquence k ∈ Z
dtelle que Card( { (M
⊤)
sk, s ∈ Z } ∩ (Z
r× { 0 }
d−r)) ≥ 2, f ∈ { e
(M⊤)sk, s ∈ Z }
⊥.
Le cas particulier des nombres de Pisot unitaires est obtenu en prenant pour matrice M la matrice compagnon de θ. Dans ce cas, l'hypothèse (APF) est automa- tiquement vériée par les fonctions f non nulles presque partout et on retrouve alors le résultat de B. Petit, mais avec une condition plus simple à vérier que la condition (AP) dans le cas unitaire.
Notations 1.1. Etant donnée M une matrice hyperbolique de SL(d, Z ), on note F
ule sous-espace vectoriel M -invariant associé aux valeurs propres de module supérieur à 1 et r sa dimension.
Soit (e
1, . . . , e
d) la base canonique de R
d.
Dénition 1.2. Une matrice M du type précédent satisfait la condition ( Π ), s'il ex- iste des vecteurs (e
i1, . . . , e
ir) dans cette base tels que, en notant V = Vect(e
i1, . . . , e
ir) , l'application π : F
u→ V , restriction à F
ude la projection sur V parallèlement au sous-espace Vect < (e
j)
j /∈{i1,...,ir}>, soit une bijection.
Cette condition est en particulier réalisée lorsque le polynôme caractéristique de M est irréductible sur Q , on peut choisir V = Vect < e
1> .
Cette condition est également réalisée dans le cas d'une matrice M diagonale par blocs, et dont les polynômes caractéristiques des restrictions aux blocs sont irréductibles, il sut de choisir, exactement un des vecteurs (e
i1, . . . , e
ir) dans chaque bloc.
Par exemple, pour M =
2 1 0 0 1 1 0 0 0 0 3 2 0 0 1 1
, on peut prendre V = Vect <
1 0 0 0
,
0 0 1 0
>
.
Dans toute la suite, on suppose cette condition ( Π ) vériée. Quitte à permuter les vecteurs (e
1, . . . , e
n), on considérera dans la suite que V =< e
1, . . . , e
r>, an de simplier les notations.
Notations 1.3. Notons A l'application linéaire dilatante sur V dénie par A :=
πM π
−1.
L'action de A sur V donne lieu à une généralisation des sommes de Riesz-Raïkov (I.1) : si f est une fonction 1-périodique dénie sur V , on considère les sommes
S
nf (t) =
n−1
X
i=0
f (A
it). (I.6)
2. TLL POUR LES SOUS-SHIFTS DE TYPE FINI BILATÈRES 15 Les sommes du type (I.1) correspondant à un nombre de Pisot θ s'obtiennent en prenant pour M la matrice compagne du polynôme minimal de θ.
Le résultat principal de ce travail est le théorème limite local suivant pour les sommes (I.6) qui étend le résultat de B. Petit cité plus haut (tout au moins dans la cas unitaire). Ce théorème est valide sous une condition (APF) d'apériodicité (condition 4.1 précisée plus loin) qui présente l'avantage d'être vériable sur des exemples par un calcul de coecients de Fourier. Notons λ (resp. λ
r) la mesure de Lebesgue sur R (resp. T
r).
Théorème 4.7 Soit M ∈ SL(n, Z ) une matrice hyperbolique vériant les con- ditions (Π)(c.f. 1.2) et (DE)(c.f. 4.6). Soient r la dimension de son sous-espace propre associé à ses valeurs propres de module supérieur à un, π la bijection as- sociée (c.f. dénition 1.2) et A = πM π
−1. Soit f une fonction α-höldérienne sur R
r, 1-périodique, non constante, telle que Z
f dλ
r= 0 et vériant (APF)(c.f. 4.1) . Alors σ
f2= lim
k→+∞
1 k
Z
(S
kf )
2dλ
rest strictement positif et pour tout intervalle I ⊂ R , on a :
σ
f√ 2πnλ
rÃ(
v ∈ [0, 1]
r,
n−1
X
i=0
f(A
iv ) ∈ I )!
−−−−→
n→+∞
λ(I).
Les étapes de la démonstration sont les suivantes. On utilise tout d'abord un codage symbolique, lié à la notion de partition de Markov. On prouve ensuite une version un peu plus générale du théorème limite local pour un sous-shift de type ni et une fonction höldérienne. On peut alors traduire ce résultat sur le tore à l'aide de l'application de codage, et un résultat d'approximation permet de préciser le comportement des sommes de type "Riesz-Raïkov" sur la variété instable. On en déduit nalement un théorème limite local sur le tore, grâce à la souplesse introduite dans les résultats précédents, en remarquant que les mesures introduites sur les sous- variétés instables s'approchent de la mesure de Lebesgue sur V .
2 Théorème limite local pour les sous-shifts de type nis bilatères
Dans cette partie, on se place dans le cadre général d'un sous-shift de type
ni bilatère (X, σ) , associé à une matrice de transition B irréductible, muni de
l'unique mesure d'entropie maximale σ-invariante notée µ. (X
+, σ) désigne le sous-
shift unilatère et µ
+(ou simplement µ) la mesure d'entropie maximale sur ce facteur.
16 2.1. Opérateur de transfert Nous rappelons la méthode permettant d'obtenir un théorème limite local pour les fonctions régulières dans ce cadre. En même temps nous obtenons une extension de ce résultat classique qui est adaptée à l'application aux sommes de Riesz-Raïkov présentée dans les sections suivantes.
2.1 Opérateur de transfert
La matrice B est irréductible et apériodique.
Notations 2.1. Notons β l'unique valeur propre de module maximal de la matrice de transition B, L un vecteur propre de Perron à gauche de B et R le vecteur propre de Perron à droite de B, vériant les relations :
L
⊤B = βL
⊤, BR = βR, X
ni=1
L
iR
i= 1.
On peut alors dénir une matrice stochastique Q en posant :
∀ i, j ∈ I, Q
i,j= B
i,jR
iβR
j. Soit q le vecteur déni par q
i= L
iR
i, pour tout i ∈ I.
Le vecteur q est un vecteur de probabilité stationnaire pour Q. En eet, pour tout i ∈ I , on a :
X
m j=1Q
i,jq
j= X
mj=1
B
i,jL
jR
iβ = q
i.
Notation 2.2. On note µ
+l'unique mesure sur le sous-shift unilatère X
+muni de sa tribu borélienne B qui est invariante par le décalage σ et d'entropie maximale.
On appelle cylindre les ensemble [i
0, . . . , i
k] = { x ∈ X, x
0= i
0, . . . x
k= i
k}, pour k entier, et i
0. . . i
kun mot admissible. La mesure µ
+est dénie sur les cylindres par :
µ
+([i
0, . . . , i
k]) = L
i0R
ikβ
−k.
Elle se prolonge en mesure invariante sur le sous-shift bilatère X notée µ.
Enn, on dénie la distance d sur X
+par d(x, y) = 2
−min{i, xi6=yi}.
L'entropie de (X, σ, µ) est égale à ln β. Pour plus de détails, on peut se reporter à [Kit98] p.155, ou encore à [Buz07].
Notations 2.3. Dans la suite, λ désigne la mesure de Lebesgue sur R , α un réel
∈ ]0, 1] et H
αl'espace de Banach des fonctions α-höldériennes de X
+dans R muni de la norme de Hölder k k
αdénie, pour f ∈ H
α, par :
k f k
α= k f k
∞+ [f ]
α, (I.7)
2.2. Opérateurs perturbés et propriétés spectrales 17 où
[f]
α= sup
x6=y,x0=y0
| f (x) − f(y) | d(x, y)
α.
L'opérateur de Perron-Frobenius-Ruelle relativisé markovien P opérant sur l'es- pace des fonctions höldériennes f sur X
+est déni par :
P f (x) = X
i:B(i,x0)=1
Q
i,x0f (ix), x ∈ X.
Cet opérateur vérie la relation de dualité suivante :
Proposition 2.4. Pour toutes fonctions f et g appartenant à H
α, on a : Z
X
P f (x)g(x)dµ(x) = Z
X
f(x)g ◦ σ(x)dµ(x).
2.2 Opérateurs perturbés et propriétés spectrales
Rappelons quelques propriétés spectrales des opérateurs perturbés (c.f.[HH01]).
Etant donnée une fonction F , on dénit la famille d'opérateurs perturbés (P
t)
t∈R, pour tout réel t par :
P
tf = P (e
itFf). (I.8)
On montre par récurrence la relation de dualité suivante :
Proposition 2.5. Pour toutes fonctions f et g appartenant à H
α, on a, pour tout
n ≥ 1 : Z
X
P
tnf (x)g (x)dµ(x) = Z
X
f(x)e
itSnF(x)g ◦ σ
n(x)dµ(x), où S
nF (x) =
n−1
X
k=0
F ◦ σ
k(x).
L'action de l'opérateur P régularise les fonctions. Considérons deux suites x et y ayant la même coordonnée d'indice nul : x
0= y
0.
| P f (x) − P f (y) | ≤ | X
i:B(i,x0)=1
q
i,x0f (ix) − X
i:B(i,y0)=1
q
i,y0f(iy) |
≤ | X
i:B(i,x0)=1
Q
i,x0f (ix) − X
i:B(i,x0)=1
Q
i,x0f(iy) |
≤ X
i:B(i,x0)=1
Q
i,x02
−α[f]
α≤ 2
−α[f]
α18 2.2. Opérateurs perturbés et propriétés spectrales Pour tout n ≥ 1, on a donc
[P
nf]
α≤ 2
−nα[f ]
α. On établit les inégalités suivantes :
k P f k
∞≤ k f k
∞, k P
tf k
∞≤ k f k
∞, k P f k
1,µ≤ k f k
1,µk P f k
α≤ k f k
∞+ 2
−α[f ]
α,
k P
nf k
α≤ C
′k f k
∞+ 2
−nα[f ]
α, ∀ n > 0 k P
tf k
α≤ [e
itF]
αk f k
∞+ 2
−α[f]
α,
k P
tnf k
α≤ C
′[e
itF]
αk f k
∞+ 2
−nα[f ]
α, ∀ n > 0.
L'étude des propriétés spectrales de P montre que le spectre de P est constitué de la valeur propre simple 1 et d'un ensemble contenu dans le disque de centre 0 et de rayon < 1.
Rapelons le lemme suivant, d'après le lemme 3.9 de [HH01].
Lemme 2.6. Soit ( B , k k ) un espace de Banach. Soit V
0opérateur linéaire borné sur ( B de rayon spectral r(V
0). Pour tout r > r(V
0), il existe η et C tels que k V − V
0k <
η ⇒ k V
nk ≤ Cr
n.
On vérie que, pour une constante C
′, k P
t− P
sk ≤ C
′| t − s |. En eet k (P
t− P
s)f k
α≤ C[e
itF− e
isF]
αk f k
∞+ 2
−αk e
itF− e
isFk
∞k f k
α≤ C(t − s) k F k
αk f k
∞+ 2
−α| t − s |k F k
∞k f k
α.
Pour | t | susamment petit, si r
test tel que r(P
t) < r
t< 1 , alors il existe ε
t> 0 tel que
| t − s | < ε
t⇒ k P
snk ≤ Cr
tn, ∀ n ≥ 0.
Par une méthode de perturbation, on montre qu'il existe un voisinage [ − δ, δ] de 0 tel que (c.f. [HH01], partie III-2) le spectre de P
test constitué d'une valeur propre simple dominante γ
t=
t→0
1 − σ
F2t22+ o(t
2) (associée à un vecteur propre noté v
t, avec v
0= 1 ) et d'un sous-ensemble contenu dans un disque de rayon γ
t< 1 . Le réel σ
Fcoïncide avec la variance asymptotique de F qui sera dénie plus bas.
Lemme 2.7. Sous l'hypothèse d'apériodicité, pour tout compact K de R de diamètre susamment petit et ne contenant pas 0, il existe des constantes ρ
K< 1 et C
K> 0 telles que pour t ∈ K,
k P
tnk
α≤ C
Kρ
nK.
2.3. Apériodicité et variance 19 Pour t susamment petit, nous avons la décomposition suivante pour P
t:
P
th = γ
tµ(Π
1th)v
t+ Π
0th,
où Π
1test le projecteur sur le sous-espace propre dominant et Π
0tle projecteur sur un supplémentaire.
Dans la suite, nous noterons δ > 0 et ρ ∈ ]0, 1[ des réels tels que, pour une constante C > 0 et toute fonction α-höldérienne, on ait :
k (Π
0t)
nf k
α≤ Cρ
n, ∀ n ≥ 1, ∀ t, | t | ≤ δ. (I.9) En particulier, l'opérateur P s'écrit f → P (f) = µ(f) + Q(f ), où Q est un opérateur vériant :
k Q
nf k
α≤ Cρ
n, ∀ n ≥ 1. (I.10)
2.3 Apériodicité et variance
Dénition 2.8. (Apériodicité) On dit qu'une fonction mesurable F : X → R est apériodique s'il n'existe pas de fonction mesurable h et de réels γ, β tels que :
exp(2iπγ(F − β)) = h ◦ σ h .
Soit G une fonction α-höldérienne sur X
+, apériodique, telle que µ(G) = 0. On a alors σ
G2= µ(G
2) + 2 X
k≥1
µ(G G ◦ σ
k) > 0
La fonction G étant d'intégrale nulle, nous avons : Z
G G ◦ σ
kdµ = Z
G Q
kG dµ.
On en déduit qu'il existe deux constantes positives C et ρ < 1 pour lesquelles :
| Z
G G ◦ σ
kdµ | ≤ k G k
∞k Q
kG k
1≤ k G k
∞k Q
kG k ≤ Cρ
k. En développant, on obtient :
Z
(S
nG)
2dµ = n Z
G
2dµ + 2
n−1
X
k=1
(n − k) Z
G G ◦ σ
kdµ.
Ceci permet de dénir la variance asymptotique σ
G: σ
G2= lim
n→+∞
1 n
Z
(S
nG)
2dµ = Z
G
2dµ + 2
+∞
X
k=1
Z
G G ◦ σ
kdµ.
20 2.3. Apériodicité et variance Notons que l'apériodicité de G entraîne σ
G> 0. En eet, supposons qu'on ait σ
G= 0.
Z
(S
nG)
2dµ = n Z
G
2dµ + 2
n−1
X
k=1
(n − k) Z
G G ◦ σ
kdµ
= n ÃZ
G
2dµ + 2
n−1
X
k=1
Z
G G ◦ σ
kdµ
!
− 2
n−1
X
k=1
k Z
G G ◦ σ
kdµ
= n ÃZ
G
2dµ + 2
+∞
X
k=1
Z
G G ◦ σ
kdµ
!
− 2n
+∞
X
k=n
Z
G G ◦ σ
kdµ
− 2
n−1
X
k=1
k Z
G G ◦ σ
kdµ = 0 + O(1).
Ainsi (S
nG)
nest une suite bornée dans L
2. Soit S une limite faible d'une sous- suite (S
nkG). En utilisant la propriété de mélange, nous obtenons :
k G − (S − S ◦ σ) k
22= lim
k
< G − (S − S ◦ σ), G − (S
nkG − S
nkG ◦ σ) >
= lim
k
< G − (S − S ◦ σ), G ◦ σ
nk) >= 0.
Ceci montre que G = S − S ◦ σ. Or, d'après la dénition (2.8), une fonction höldérienne et apériodique ne peut pas s'écrire sous cette forme, ce qui établit le résultat.
Prenons maintenant pour F une fonction d'intégrale nulle α -höldérienne sur X apériodique. Nous verrons plus loin que F est cohomologue à une fonction F
+α - höldérienne sur X
+apériodique :
F = F
+◦ π
0+ u
0◦ σ − u
0, où u
0est
α2-höldérienne sur X et π
0est l'application
π
0: X → X
+, (x
k)
k∈Z→ (x
k)
k≥0.
On peut appliquer ce qui précède en prenant pour G la fonction F
+. Cette fonction est apériodique si F est apériodique et les variances sont égales :
S
nF = S
nF
+◦ π
0+ u
0◦ σ
n− u
0. D'où : |k S
nF k
2− k S
nF
+◦ π
0k
2| ≤ 2 k u
0k
2, ce qui entraîne
σ
2F+= lim
n→+∞
1 n
Z
(S
nF
+)
2dµ = lim
n→+∞
1 n
Z
(S
nF )
2dµ = σ
F2.
En résumé nous avons la proposition suivante qui permet d'assurer, dans toute
la suite que la variance σ
Fassociée à une fonction höldérienne apériodique est non
nulle :
2.4. Théorème limite local pour le sous-shift de type ni unilatère 21 Proposition 2.9. Si F est une fonction α-höldérienne et apériodique sur X. La variance
σ
2F= µ(F
2) + 2 X
k≥1
µ(F F ◦ σ
k) (I.11)
est nie et > 0 .
On peut également se reporter à [GH88] lemme 3 p.76, ou [HH01] à ce sujet.
2.4 Théorème limite local pour le sous-shift de type ni uni- latère
On va établir un résultat général symbolique dans cette sous-partie, qui sera utilisé dans la suite via le codage des automorphismes hyperboliques du tore.
Rappelons d'abord un premier énoncé d'un théorème local, dont on trouvera une démonstration dans [Pet96] ou [HH01] (p. 95, en utilisant le théorème A
∗p. 82) : Théorème 2.10. Soit F une fonction α-höldérienne sur X
+apériodique, telle que µ(F ) = 0, de variance asymptotique σ
F. On a alors, pour tout intervalle I ⊂ R :
σ
F√ 2πnµ
+Ã(
x ∈ X
+,
n−1
X
i=0
F ◦ σ
i(x) ∈ I )!
−−−−→
n→+∞
λ(I).
On va adapter la preuve donnée dans [Pet96] pour montrer une extension du résultat précédent :
Théorème 2.11. Soit F une fonction α-höldérienne sur X
+telle que µ
+(F ) = 0, apériodique, de variance asymptotique σ
F. Soit (c
n) une famille de fonctions α- höldériennes X
+→ R telle que, pour un réel β ∈ ]0,
12[ , on ait, pour tout n :
k c
nk
∞= o(n
12−β), ln[c
n]
α= o(n
1−β). (I.12) On a alors, pour tout intervalle I ⊂ R :
σ
F√ 2πnµ
+( { x ∈ X : c
n(x) +
n−1
X
i=0
F ◦ σ
i(x) ∈ I } ) −−−−→
n→+∞
λ(I).
Preuve Considérons un nombre β ∈ ]0,
12[ et une suite c
nde fonctions telles que k c
nk
∞= o(n
12−β), ln[c
n]
α= o(n
1−β). (I.13) On note K l'ensemble des fonctions de L
1(R) dont la transformée de Fourier est à support compact. Posons :
S
nF (x) =
n−1
X
i=0
F (σ
ix).
22 2.4. Théorème limite local pour le sous-shift de type ni unilatère Rappelons que la condition d'apériodicité entraîne σ
F> 0. Par l'argument de Breiman [Bre68], il sut de montrer que, pour tout g ∈ K, on a :
n→
lim
+∞√ 2πnσ
Fµ
+(g(c
n(.) + S
nF (.))) = λ(g).
Soit g ∈ K et a > 0 tels que le support de g ˆ soit contenu dans [ − a, a] . Posons : A
n= √
2πnσ
FZ
g(c
n(x) + S
nF (x)) dµ
+(x).
Introduisons un réel positif ξ > 1 − β et coupons en deux la somme S
nF : S
nF = S [
nξ] F + (S
n−[
nξ] F ) ◦ σ [
nξ] .
En écrivant g(u) =
2π1R ˆ
g(t)e
−itudt , nous obtenons : A
n=
r n 2π σ
FZ
X
Z
R
ˆ
g(t)e
itcn(x)+itSnF(x)dt dµ
+(x)
= r n
2π σ
FZ
R
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ
+(x) dt
= r n
2π σ
FZ
R
ˆ g(t)
Z
X
e
itcn(x)+itS[
nξ]
F+itSn−[
nξ]
F◦σ[
nξ]
(x)dµ
+(x) dt
= r n
2π σ
FZ
R
ˆ g(t)
µZ
X
P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
(x) dµ
+(x)
¶ dt
= B
n1+ B
n2+ B
n3, où :
B
1n= r n
2π σ
FZ
]−nηδ ,nηδ [
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ
+(x) dt;
B
2n= r n
2π σ
FZ
δ nη≤|t|≤δ
ˆ g(t)
µZ
X
P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
(x) dµ
+(x)
¶ dt;
B
3n= r n
2π σ
FZ
δ≤|t|≤a
ˆ g(t)
µZ
X
P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
(x) dµ
+(x)
¶ dt.
η désignant un nombre dans ]0, 1[ qui sera choisi ultérieurement.
Intéressons-nous tout d'abord à la fonction P [
nξ] µ
e
it(cn+S[
nξ]
F)¶
. La variation de la fonction e
it(cn+S[
nξ]
F)vérie :
[e
it(cn+S[
nξ]
F)]
α≤ t
[c
n]
α+ [
nξ]
−1X
i=0
[F ◦ σ
i]
α
= t
[c
n]
α+ [
nξ]
−1X
i=0
2
αi[F ]
α
.
2.4. Théorème limite local pour le sous-shift de type ni unilatère 23 On en déduit
[P [
nξ] µ
e
it(cn+S[
nξ]
F)¶
]
α≤ 2
−α[
nξ] t[c
n]
α+ t[F ]
α[
nξ]
−1X
i=0
2
−α([
nξ]
−i). Comme ξ est supérieur à 1 − β, la suite des variations des fonctions P [
nξ] µ
e
it(cn+S[
nξ]
F)¶ est bornée. Majorons maintenant successivement B
n3, B
n2et B
n1.
• B
n3:
Nous avons par le lemme 2.7, pour δ ≤ | t | ≤ a , k P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
k
α≤ Cρ
nk P [
nξ] µ
e
it(cn+S[
nξ]
F)¶
k
α≤ C
′ρ
n; donc :
B
3n= r n
2π σ
FZ
δ≤|t|≤a
ˆ g(t)
µZ
X
P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
(x) dµ
+(x)
¶
dt → 0.
• B
n1L'inégalité
| e
itcn(x)+itSnF(x)− e
itSnF(x)| ≤ | t |k c
nk
∞assure qu'en remplaçant B
n1par p
n2π
σ
FR
]−nηδ ,nηδ [
ˆ g(t) R
X
e
itSnF(x)dµ
+(x) dt on fait une erreur majorée par Cδ
2n
12−2ηk c
nk
∞. Elle tend vers 0 sous la condition k c
nk
∞= o(n
2η−12) . Cette condition est remplie si
12− β < 2η −
12c'est-à-dire si η >
12−
β2.
Etudions maintenant l'expression B
n′obtenue en remplaçant e
itcnpar 1 . En faisant le changement de variable σ
F√
nt = t
′, on obtient : B
n′= 1
√ 2π Z
]−δσF
√n nη ,δσF
√n nη [
ˆ g( t
σ
F√ n )
µZ
X
P
ntσF√n
(1)(x) dµ
+(x)
¶ dt.
Nous avons : P
ntσF√
n
(1)(x) = γ
n t σF√n
µ(Π
1 t σF√n
1) v
tσF√n
+ (Π
0 t σF√n
)
n(1).
Le deuxième terme est proche de (Π
00)
n(1) et donc majoré par Cρ
n, d'après (I.9).
Pour le premier terme, nous avons les convergences : γ
n tσF√n
→ e
−12t2, µ(Π
1 tσF√n
1) → µ(Π
101) = 1, v
tσF√
n
→ v
0= 1.
On peut alors appliquer le théorème de convergence dominée et obtenir que B
n′converge vers 1
√ 2π Z
R
ˆ g(0)e
−t2
2
dt =
Z
R
g (x) dx, si l'intervalle d'intégration tend vers
l'inni, c'est-à-dire si η <
12.
24 2.4. Théorème limite local pour le sous-shift de type ni unilatère
• B
n2Soit
nδη≤ | t | ≤ δ . Comme γ
t=
t→0
1 −
12σ
2Ft
2+ o(t
2) , γ
test inférieur à 1 − σ
F24
δ
2n
2η, pour δ petit.
En appliquant le lemme 2.6, partant de la relation P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
= γ
n−[
nξ]
t
µ
+(Π
1tµ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
) v
t+(Π
0t)
n−[
nξ] µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
, on obtient la majoration :
k P
n−[
nξ]
t
µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
k
∞≤ γ
n−[
nξ]
t
k µ
+(Π
1tµ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
v
tk
∞+Cρ
n−[
nξ][ µ
P [
nξ] µ
e
it(cn+S[
nξ]
F)¶¶
]
α≤ Cδ(e
−14σ2δ2(n−[
nξ]
)n−2η+ 2ρ
n−[
nξ]).
D'où la convergence vers 0 de B
n2: B
n2≤ Cδ
2√
n(e
−14σ2δ2n1−2η−nξ−2η+ 2ρ
n−[
nξ]).
En prenant pour η un nombre vériant
12−
β2< η <
12, on établit donc la convergence de A
nvers 1
√ 2π Z
R
ˆ
g(0)e
−t22dt = Z
R
g(x) dx .
2.5. Théorème limite local pour les sous-shifts de type ni bilatères 25
2.5 Théorème limite local pour les sous-shifts de type ni bilatères
Nous allons nous ramener au cas unilatère en utilisant la méthode de réduction de Bowen ([Bow75], p.11). Nous l'appliquerons pour obtenir des fonctions dépendant uniquement des coordonnées supérieures ou égales à un entier − ℓ. Nous ferons dans la suite varier ℓ an d'approcher uniformément les fonctions régulières sur X par des fonctions "unilatères".
Soit ℓ un entier. Pour tout t dans l'alphabet, soit (a
k(t))
k∈Zun élément de X tel que a
−ℓ(t) = t. Soit r
ℓ: X → X, (x
k)
k∈Z7→ (x
ℓk)
k∈Z, où pour tout k
x
ℓk=
½ x
k, si k ≥ − ℓ, a
k(x
−ℓ), sinon.
(Le passé de r
ℓ(x) "antérieur" à − ℓ ne dépend que de x
−ℓ.)
Lemme 2.12. Soient F une fonction α-höldérienne sur X et ℓ ∈ N . Il existe C > 0, des fonctions F
ℓ,+α/2-höldérienne ne dépendant que des coordonnées supérieures à
− ℓ et u
ℓ α2
-höldérienne sur X telles que :
F = F
ℓ,++ u
ℓ◦ σ − u
ℓ,
k u
ℓk
∞≤ 2
−αℓk F k
α, k u
ℓk
α2≤ C k F k
α.
Les fonctions F
ℓ,+sont toutes cohomologues entre elles. En posant h
ℓ:=
ℓ−1
X
j=0
F σ
jr
0: F
ℓ,+◦ σ
ℓ= F
0,++ h
ℓ◦ σ − h
ℓ.
Preuve Posons :
u
ℓ=
+∞
X
j=0
F ◦ σ
j− F ◦ σ
j◦ r
ℓ.
Pour tout x ∈ X , σ
jx et σ
j◦ r
ℓx coïncident sur {− j − ℓ, . . . , + ∞}, donc :
| F ◦ σ
jx − F ◦ σ
j◦ r
ℓx | ≤ [F ]
α2
−α(l+j). Ainsi u
ℓest bien dénie et k u
ℓk
∞≤ 2
−αℓ[F ]
α.
Si x et y coïncident sur les coordonnées {− n, . . . , n }, alors r
ℓ(x) et r
ℓ(y) aussi ( r
ℓimpose le même passé à x et y si n ≥ ℓ et ne change pas les coordonnées {− n, . . . , n } sinon) et, pour tout 0 ≤ j ≤ n, on a
| F ◦ σ
jx − F ◦ σ
jy | ≤ [F ]
α2
α(−n+j);
| F ◦ σ
jr
ℓ(x) − F ◦ σ
jr
ℓ(y) | ≤ [F ]
α2
α(−n+j);
26 2.5. Théorème limite local pour les sous-shifts de type ni bilatères d'où :
| u
ℓx − u
ℓy | ≤
⌊n2⌋
X
j=0
| F ◦ σ
jx − F ◦ σ
jy | +
⌊n2⌋
X
j=0
| F ◦ σ
jr
ℓ(x) − F ◦ σ
jr
ℓ(y) | +2
+∞
X
j=⌊n2⌋+1
[F ]
α2
−j−ℓ. On obtient donc :
k u
ℓk
α/2≤ C k F k
α.
Posons F
ℓ+(x) = F (x) + u
ℓ(σx) − u
ℓ(x). Cette quantité ne dépend que des coordon- nées { x
−ℓ, x
−ℓ+1, . . . }. En eet :
F
ℓ+(x) = F (x) +
+∞
X
j=0
¡ F ◦ σ
j+1x − F ◦ σ
jr
ℓσx ¢
−
+∞
X
j=0
¡ F ◦ σ
jx − F ◦ σ
jr
ℓx ¢
= F (r
ℓx) +
+∞
X
j=0
¡ F ◦ σ
j+1r
ℓx − F ◦ σ
jr
ℓσx ¢ . La fonction
F
ℓ,+(σ
ℓx) = F (r
ℓσ
ℓx) +
+∞
X
j=0
[F (σ
j+1r
ℓσ
ℓx) − F (σ
jr
ℓσ
ℓ+1x)]
ne dépend, elle, que des coordonnées positives.
Comme
σ
ℓ+jr
0(x) = σ
ℓ+j(....a
−1(x
0)x
0...)
= σ
j(....a
−1(x
0)....x
ℓ...) = σ
jr
ℓσ
ℓ(x) on a F (σ
ℓ+jr
0x) = F (σ
jr
ℓσ
ℓx) , et
u
ℓ◦ σ
ℓ=
+∞
X
j=0
[F ◦ σ
ℓ+j− F ◦ σ
jr
ℓσ
ℓ]
=
+∞
X
j=0
[F ◦ σ
ℓ+j− F ◦ σ
ℓ+jr
0]
=
+∞
X
j=ℓ
[F ◦ σ
j− F ◦ σ
jr
0] = u
0−
ℓ−1
X
j=0
[F σ
j− F σ
jr
0].
Cela permet d'exprimer F
ℓ,+◦ σ
ℓ− F
0,+et d'obtenir :
F
ℓ,+◦ σ
ℓ− F
0,+= F σ
ℓ− F + u
ℓσ
ℓ,+− u
ℓσ
ℓ+ u
0− u
0σ
= F σ
ℓ− F +
ℓ−1
X
j=0
[F σ
j− F σ
jr
0] −
ℓ−1
X
j=0
[F σ
j+1− F σ
jr
0σ]
=
ℓ−1
X
j=0
[F σ
jr
0σ − F σ
jr
0].
2.5. Théorème limite local pour les sous-shifts de type ni bilatères 27
En posant h
ℓ:=
ℓ−1
X
j=0
F σ
jr
0, nous avons donc :
F
ℓ,+◦ σ
ℓ= F
0,++ h
ℓ◦ σ − h
ℓ¤
Théorème 2.13. Soit F : X → R une fonction α-höldérienne, apériodique, et vériant µ(F ) = 0 . Soit β ∈ ]0,
12[ et soit (c
n) une famille de fonctions α -höldériennes X → R telle que pour tout n , on ait :
k c
nk
∞≤ n
12−βln[c
n]
α≤ n
1−β. Alors, pour tout intervalle I ⊂ R , on a :
σ
F√ 2πnµ Ã(
x ∈ X, c
n(x) +
n−1
X
i=0
F ◦ σ
i(x) ∈ I )!
−−−−→
n→+∞
λ(I).
Preuve Considérons un nombre β ∈ ]0,
12[ et une suite c
nde fonctions telles que k c
nk
∞= o(n
12−β), ln[c
n]
α= o(n
1−β). (I.14) Posons :
A
n= √ 2πnσ
FZ
g(c
n(x) + S
nF (x)) dµ(x).
On a :
A
n= r n
2π σ
FZ
X
Z
R
ˆ
g(t)e
itcn(x)+itSnF(x)dt dµ(x)
= r n
2π σ
FZ
R
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ(x) dt
= C
n1+ C
n2+ C
n3, où
C
n1= r n
2π σ
FZ
]−nηδ ,nηδ [
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ(x) dt;
C
n2= r n
2π σ
FZ
δ nη≤|t|≤δ
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ(x) dt.
C
n3= r n
2π σ
FZ
δ≤|t|≤a
ˆ g(t)
Z
X
e
itcn(x)+itSnF(x)dµ(x) dt.
Comme dans le cas unilatère, si
12−
β2< η <
12, le premier terme, C
n1, se comporte comme p
n2π
σ
FR
]−nηδ ,nηδ [
g(t) ˆ R
X
e
itSnF(x)dµ(x) dt lorsque n tend vers l'inni, c'est- à-dire tend vers R
R