Skip to topic | Skip to bottom
Home
BwataBaire
BwataBaire.MauvaiseVitesseDeConvergenceDansLeTheoremeErgodiqueDeBirkhoffr1.1 - 08 Apr 2007 - 23:23 - ThierryMonteiltopic end

Start of topic | Skip to actions

Mauvaise vitesse de convergence dans le theoreme ergodique de Birkhoff

Le cadre

Soit $(X,\mathcal{A},\mu)$ un espace de proba tel que $\mu$ soit sans atome. On dit qu'une application mesurable $T$ de X dans X preserve la mesure $\mu$ si pour toute partie mesurable $A\in\mathcal{A}$ on a $\mu(T^{-1}(A))=\mu(A)$. Une telle application $T$ est dite ergodique si toute partie $A\in\mathcal{A}$ telle que $T(A)=A$ est de mesure 0 ou 1.

Le theoreme ergodique de Birkhoff affirme que dans ces conditions, pour toute fonction $f\in L^1(X,\mathbb{R})$, pour $\mu$-presque tout $x$ de $X$, $\frac{1}{n}\sum_{k=0}^{n-1}f(T^k(x)) \xrightarrow[n \rightarrow \infty]{} \int_X f d\mu$.

\[ \forall f\in L^1(X,\mathbb{R}) \ \ \ \frac{1}{n} \sum_{k=0}^{n-1} f \circ T^k \xrightarrow[n \rightarrow \infty]{\mu - p.p.} \int_{X} f d\mu \]

En particulier ,

\[ \forall f\in L^1(X,\mathbb{R}) \ \ \ \forall \delta > 0 \ \ \ \lim_{n\rightarrow\infty} \mu( \{ x\in X \ ; \ |\frac{1}{n}\sum_{k=0}^{n-1}f\circ T^k(x) - \int_X f d\mu| > \delta \} ) = 0 \]

Le resultat suivant nous dit qu'on peut toujours trouver des fonctions $f$ telles que la vitesse de convergence dans le theoreme de Birkhoff est arbitrairement lente.

Ennonce

Soit $(b_n)$ une suite de reels positifs qui tend vers $+\infty$. Alors il existe une fonction $f\in L^1(X,\mathcal{R})$ bornee par 1 telle que
\[ \limsup_{n\rightarrow\infty} b_n \mu( \{ x\in X \ ; \ |\frac{1}{n}\sum_{k=0}^{n-1}f\circ T^k(x) - \int_X f d\mu| > 1/2 \} ) = +\infty \]

Preuve

Voir le cours de Thierry de la Rue pages 9-10
to top

You are here: BwataBaire > MauvaiseVitesseDeConvergenceDansLeTheoremeErgodiqueDeBirkhoff

to top

Copyleft 2005-2008. Tout est libre ici! Everything is free here!
This project is not supported by any grant, organisation,...
Ideas, requests, problems regarding TWiki? Send feedback.