4 EXERCICES DE TH´
EORIE ERGODIQUE
Exercice 11. Soit S: [0,1[→[0,1[ d´efinie par S(x) = 2xmod 1.
Consid´erons (X, B, µ, T )le s.d.m. d´efini dans la Section 3 du cours avec
a= 1/2.
Montrer que les s.d.m. ([0,1[,A, λ, S)et (X, B, µ, T )sont conjugu´es en me-
sure.
Exercice 12. Soient α∈[0,1[\Qet Bun Bor´elien de [0,1[. Que vaut
lim
n→+∞
1
n
n
X
k=1
1B(x+kα) ?
Exercice 13. Pensez-vous que pour presque tout x∈[0,1[ la fr´equence de
1 dans l’´ecriture de xen base 2 est 1/2?
Exercice 14. Quelle est la fr´equence du chiffre 7 dans la suite des premiers
chiffres de 2n,n≥0, en base 10 ?
Exercice 15 (Th´eor`eme de Borel pour les nombres normaux).Montrer
que presque tout nombre de [0,1] est normal en base 2: Pour presque tout
x∈[0,1] la fr´equence de 1dans l’´ecriture en base 2 de xest 1/2.
Exercice 16. Montrer que la mesure de Haar sur le tore Tnest l’unique
mesure invariante par la rotation d´efinie dans l’exercice 8 dans le cas 1. Que
se passe-t’il dans le cas g´en´eral ?
Est ce la mˆeme chose pour l’application FLsur T2de l’exercice 9 ?
Exercice 17. Soit (X, T, µ)un syst`eme dynamique transitif.
Soit U:L2(X, µ)→L2(X, µ)l’op´erateur d´efini par U(f) = f◦T. Montrer
que les fonctions propres de Uassoci´ees `a des valeurs propres distinctes sont
lin´eairement ind´ependantes.
Exercice 18. Soient (X, B, µ, T )un s.d.m. o`u Best la tribu bor´elienne
associ´ee `a l’espace m´etrique compact X.
Soit Ωun ensemble de fonctions continues dense dans C(X).
Montrer que si pour tout fdans Ωla suite (1/n)Pn−1
k=0 f(Tkx)converge
uniform`ement vers une constante, alors µest la seule mesure invariante de
(X, B, µ, T ).
Exercice 19. Soient T(z) = az une rotation du cercle unit´e X={eit;t∈
[0,1[}et λla mesure de Lebesgue sur X.
1) (X, B, λ, T )est-il (fortement, faiblement) m´elangeant ?
2) Montrer que (X, B, λ, T )est ergodique si et seulement si an’est pas une
racine de l’unit´e.
3) Lorsque an’est pas une racine de l’unit´e, montrer que Test uniquement
ergodique.
Exercice 20. Montrer que pour τ∈Ret a > 0, les applications x7→
x+τet x7→ ax d´efinissent des op´erateurs unitaires et m´elangeant sur
respectivement L2(R, dx)et L2(R∗
+,dx
x).