10.01.2015 Views

Systèmes Dynamiques Notes du cours de M2

Systèmes Dynamiques Notes du cours de M2

Systèmes Dynamiques Notes du cours de M2

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.2. LES THÉORÈMES ERGODIQUES 29<br />

Il suffit pour cela <strong>de</strong> démontrer que φ − E(φ|I) est dans l’adhérence L 2 <strong>de</strong><br />

U − I. Un calcul simple montre Im(I − U) ⊥ = ker(I − U ∗ ). Or, si U ∗ φ = φ<br />

on a P φ = UU ∗ φ = Uφ. Mais, ‖Uφ‖ = ‖φ‖ i.e ‖P φ‖ = ‖φ‖. Ceci n’est<br />

possible que si φ ∈ ImP c’est-à-dire si P φ = φ d’où l’on dé<strong>du</strong>it Uφ = φ.<br />

Réciproquement, si Uφ = φ on a φ = U ∗ Uφ = U ∗ φ. On a donc prouvé<br />

On a donc,<br />

Im(U − I) ⊥ = ker(U ∗ − I) = ker(U − I) = L 2 (X, I, µ).<br />

Im(U − I) = L 2 (X, I, µ) ⊥<br />

Mais par définition pour tout φ ∈ L 2 (X, B, µ), φ − E(φ|I) ∈ L 2 (X, I, µ) ⊥<br />

Concluons la preuve <strong>du</strong> théorème :<br />

mais ‖ 1 n S nη ɛ ‖ ≤ ɛ/2 si bien que<br />

1<br />

n S nφ = 1 n (φ ◦ T n − φ) + E(φ|I) + 1 n S nη ɛ ;<br />

‖ 1 n S nφ − E(φ|I)‖ ≤ 2‖ψ ɛ‖<br />

+ ‖η ɛ ‖<br />

n<br />

≤ ɛ<br />

si n est assez grand.<br />

✷<br />

3.2.2 Convergence presque sûre<br />

Théorème 3.2.2 a) Si (X, B, µ, T ) est un système dynamique, alors pour<br />

toute fonction φ ∈ L 1 (X, B, µ) la suite<br />

converge vers E(φ|I)<br />

i) µ-presque sûrement<br />

ii) dans L 1 (X, B, µ).<br />

1<br />

n S nφ = 1 )<br />

(φ + φ ◦ T + · · · + φ ◦ T n−1<br />

n<br />

b) Si T est inversible on a la même conclusion pour n → −∞.<br />

Démonstration.—<br />

Un ingrédient crucial <strong>de</strong> la preuve <strong>de</strong> ce théorème est le lemme suivant

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!