Espace de Wiener

Norbert Wiener

En mathématiques, et plus précisément en analyse fonctionnelle, un espace de Wiener (introduit par le mathématicien Norbert Wiener) est un ensemble formé de toutes les fonctions continues sur un domaine donné (le plus souvent un intervalle de R) et à valeurs dans un espace métrique (en général l'espace euclidien à n dimensions). Les espaces de Wiener interviennent dans l'étude des processus stochastiques.

Définition

Soient E ⊆ Rⁿ et un espace métrique (M, d). LModèle:'espace de Wiener C(E; M) est l'espace des fonctions continues f : E → M, c'est-à-dire que pour tout t de E, $d(f(s),f(t))\to 0$ quand $|s-t|\to 0.$

Pour presque toutes les applications pratiques, on prend E = [0, T] ou [0, +∞) et M = Rⁿ pour un n entier fixé. On notera dans la suite C pour C([0, T]; Rⁿ) ; c'est un espace vectoriel. On note C₀ le sous-espace vectoriel de C formé des fonctions qui s'annulent en 0 ; C₀ est souvent appelé lModèle:'espace de Wiener classique.

Propriétés

Topologie de la convergence uniforme

L'espace vectoriel C peut être muni de la norme uniforme

$\Vert f\Vert :=\underset{t\in [0,T]}{\sup }|f(t)|$,

qui en fait un espace vectoriel normé, et même un espace de Banach. Elle induit une métrique sur C : $d(f,g):=\Vert f-g\Vert$ ; la topologie correspondante est la topologie de la convergence uniforme sur [0, T].

Interprétant le domaine [0, T] comme représentant le temps et Rⁿ comme l'espace, deux fonctions  f et g seront « proches » pour cette topologie si on peut déformer un peu l'espace pour faire coïncider les graphes de f et g en laissant le temps invariant ; ceci contraste avec la topologie de Skorokhod, autorisant à déformer également le temps.

Séparabilité et complétude

Pour la topologie uniforme, C est séparable et complet :

• la séparabilité est une conséquence du théorème de Stone-Weierstrass ;
• la complétude vient de ce que la limite uniforme d'une suite de fonctions continues est elle-même continue.

En conséquence (comme tout espace de Banach séparable), C est un espace polonais.

Tension des mesures

Le module de continuité pour une fonction f : [0, T] → Rⁿ est défini par

${\omega }_f(\delta ):=\sup \{|f(s)-f(t)||s,t\in [0,T],|s-t|\le \delta \}.$

Cette définition a un sens même si f n'est pas continue, et on montre que f est continue si et seulement si son module de continuité tend vers 0 quand δ → 0, autrement dit $f\in C⟺{\omega }_f(\delta )\to 0$ quand δ → 0.

En appliquant le théorème d'Ascoli, on peut montrer qu'une suite de mesures de probabilité $({\mu }_n{)}_{n=1}^{\mathrm{\infty }}$ sur C est tendue si et seulement si les deux conditions suivantes sont remplies :

$\underset{a\to \mathrm{\infty }}{\lim }\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}{\mu }_n\{f\in C||f(0)|\ge a\}=0,$ et

$\underset{\delta \to 0}{\lim }\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}{\mu }_n\{f\in C|{\omega }_f(\delta )\ge \epsilon \}=0$ pour tout ε > 0.

Mesure de Wiener

Il y a une mesure "standard" sur C₀, la mesure de Wiener (parfois dite "mesure de Wiener classique"). On peut la définir à partir du mouvement brownien, considéré comme un processus de Markov B : [0, T] × Ω → Rⁿ, démarrant à l'origine, avec des chemins presque sûrement continus et des incréments indépendants $B_t-B_s\sim \mathrm{N}\mathrm{o}\mathrm{r}\mathrm{m}\mathrm{a}\mathrm{l}(0,|t-s|);$ la mesure de Wiener γ est alors la Modèle:Lien du processus B.

Cette mesure est une mesure gaussienne ; en particulier, c'est une mesure de probabilité Modèle:Lien.

Partant de la mesure γ sur C₀, la mesure produit γⁿ × γ, où γⁿ note la mesure de Gauss sur Rⁿ , est une mesure de probabilité sur C.

La tribu de l'espace de Wiener classique

La tribu où la mesure de Wiener est définie $ℬ(C_0)=C_0\cap {ℬ}^{[0,T)}({ℝ}^n)=\sigma (Y_t:t\in [0,T])$ est la plus petite tribu telle que les applications de coordonnées $Y_t:C_0\to {ℝ}^n,y_t\mapsto \omega (t)$ soient mesurables.

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Voir aussi

• Espace de Skorokhod, une généralisation de l'espace de Wiener à des fonctions discontinues
• Processus de Wiener