Universit´e Paris 6– M2 Th´eorie ergodique– Examen du 12 juin
2012 - Dur´ee 3h
Exercice 1 Soit T: [0,1] →[0,1] d´efinie par T(x) = x/2 si 0 < x ≤1 et
T(0) = 1. D´emontrer que Tn’admet pas de mesure bor´elienne invariante.
Exercice 1 Soit T: [0,1] →[0,1] d´efinie par T x = 2xsi 0 ≤x≤1/2 et
T x = 2 −2xsi 1/2≤x≤1 (application “tente”).
1) D´emontrer que Leb, la mesure de Lebesgue, est invariante par T.
2) Notons ξ={[0,1/2[,[1/2,1]}. D´ecrire la partition Wn−1
k=0 T−kξ.
3) En utilisant un argument de point de densit´e, d´emontrer que Test ergo-
dique pour la mesure de Lebesgue. [Indication : On remarquera que si Iet
Jsont deux intervalles et f:I→June application affine bijective de Isur
J, alors pour tout ensemble mesurable A⊂Ion a Leb(f(A))/Leb(f(I)) =
Leb(A)/Leb(I).]
4) Calculer l’entropie hLeb(T).
5) On note S: [0,1] →[0,1] l’application Sx = 4x(1 −x). D´emontrer
que Tet Ssont topologiquement conjugu´ees (il existe un hom´eomorphisme
g: [0,1] →[0,1] tel que T◦g=g◦S).
Exercice 2 On consid`ere un syst`eme dynamique ergodique (X, T, BX, µ).
1) On suppose (X, T, BX, µ) faiblement m´elangeant.
1.a) Rappeler pourquoi pour tout syst`eme dynamique ergodique (Z, R, BZ, λ)
le syst`eme dynamique (X×Z, T ×R, BX⊗ BZ, µ ⊗λ) est ergodique.
1.b) D´emontrer que pour tout θ∈Rirrationnel et toute fonction f∈
L1(X, µ), il existe un ensemble Af,θ ∈ BXtel que µ(Af,θ) = 1 et tel que
pour tout x∈Af,θ
1
N
N
X
n=1
f(Tnx)e2πinθ
converge vers 0 quand N→ ∞.
1.c) D´emontrer que si θest rationnel la moyenne pr´ec´edente converge pour
tout x∈Af,θ o`u Af,θ ∈ BXest tel que µ(Af,θ) = 1.
2) D´emontrer que si l’on suppose seulement (X, T, BX, µ) ergodique alors
pour tout θ∈Ron peut associer `a toute fonction f∈L2(BX, µ) un ensemble
Af,θ ∈ BXde µ-mesure 1 pour lequel, pour tout x∈Af,θ ,
1
N
N
X
n=1
f(Tnx)e2πinθ
4