Accueil🇫🇷Chercher

Espace de 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.

Norbert Wiener

Définition

Soient E ⊆ Rn et un espace métrique (M, d). L'espace de Wiener C(E; M) est l'espace des fonctions continues f : E → M, c'est-à-dire que pour tout t de E, quand

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

Propriétés

Topologie de la convergence uniforme

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

,

qui en fait un espace vectoriel normé, et même un espace de Banach. Elle induit une métrique sur C : ; 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 Rn 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 :

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] → Rn est défini par

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 quand δ → 0.

En appliquant le théorème d'Ascoli, on peut montrer qu'une suite de mesures de probabilité sur C est tendue si et seulement si les deux conditions suivantes sont remplies :

et
pour tout ε > 0.

Mesure de Wiener

Il y a une mesure "standard" sur C0, 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] × Ω → Rn, démarrant à l'origine, avec des chemins presque sûrement continus et des incréments indépendants (en) la mesure de Wiener γ est alors la loi (en) du processus B.

Cette mesure est une mesure gaussienne ; en particulier, c'est une mesure de probabilité strictement positive (en).

Partant de la mesure γ sur C0, la mesure produit γn × γ, où γn note la mesure de Gauss sur Rn , 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 est la plus petite tribu telle que les applications de coordonnées soient mesurables[1].

Bibliographie

  • Nadine Guillotin-Plantard, Introduction au calcul stochastique, Université de Lyon, (lire en ligne)
  • Hagen Kleinert, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, Singapour, World Scientific, , 4th éd., 1468 p. (ISBN 981-238-107-4, lire en ligne)
  • Henry Stark et John Woods, Probability and Random Processes with Applications to Signal Processing, New Jersey, Prentice Hall, , 3rd éd. (ISBN 0-13-020071-9)
  • Rick Durrett, Probability : theory and examples, Cambridge University Press, , 4th éd., 440 p. (ISBN 0-521-76539-0)
  • Daniel Revuz et Marc Yor, Continuous martingales and Brownian motion, Springer-Verlag, , Second éd.

Voir aussi

Notes et références

  1. (en) René L. Schilling et Lothar Partzsch, Brownian Motion: An Introduction to Stochastic Processes, De Gruyter,
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.