Calcul stochastique sur des variétés

Le calcul stochastique sur les variétés (également appelée géométrie différentielle stochastique) décrit une branche de la stochastique dans laquelle le calcul stochastique est appliquée à des variétés différentiables. Il s'agit donc de la synthèse du calcul stochastique avec la géométrie différentielle.

Un point qui crée un pont naturel entre l'analyse et la probabilité est le fait que le générateur infinitésimal d'un processus de Markov fort et continu est un opérateur elliptique du second ordre. Le générateur infinitésimal du mouvement brownien est l'opérateur de Laplace et la densité de probabilité de transition $p(t,x,y)$ du mouvement brownien est juste le noyau de la chaleur minimum de l'équation de la chaleur. Si les chemins browniens sont interprétés comme des courbes caractéristiques de l'opérateur, la solution d'un problème avec cet opérateur peut être représentée comme un mouvement brownien.

Les objets d'investigation dans le calcul stochastique sur les variétés sont les processus stochastiques sur des espaces d'états non linéaires ou variétés. La théorie classique est reformulée dans une représentation sans coordonnées, une difficulté est qu'il n'est généralement pas possible de formuler le tout sur ${ℝ}^d$ avec des coordonnées. Une conséquence de ceci est que pour la définition de la martingale et du mouvement brownien sur une variété, des structures géométriques supplémentaires telles que connexions linéaires et métrique riemannienne sont obligatoires.

Le mouvement brownien est défini comme le processus de diffusion d'une variété relative $M$ générée par la moitié de l'opérateur de Laplace-Beltrami $\frac{1}{2}{\mathrm{\Delta }}_M$ et peut être construit comme solution d'une équation différentielle stochastique (EDS) non canonique sur une variété riemannienne. Parce que l'opérateur ${\mathrm{\Delta }}_M$ sur une variété non parallélisable n'a pas de représentation naturelle sous forme de Hörmander, il n'y a pas non plus de procédure canonique pour construire le mouvement brownien. Cependant ce problème peut être résolu pour les variétés avec une connexion en introduisant le relèvement horizontal stochastique d'une semi-martingale et le développement stochastique avec la construction d'Eells-Elworthy-MalliavinModèle:,.

Le premier est une généralisation du relèvement horizontal des courbes différentiables aux courbes horizontales dans le fibré des repères, de sorte que l'anti-développement et le relèvement horizontal sont liés par une équation différentielle stochastique. Cela permet à son tour de considérer une EDS sur le fibré des repères orthonormaux d'une variété riemannienne, dont la solution est le mouvement brownien, et celle-ci est projetée sur la variété via un développement stochastique. En tant qu'interprétation picturale, cela équivaut à construire un mouvement brownien sphérique en "roulant sans glisser" (Modèle:En anglais) la variété le long des trajectoires du mouvement brownien dans l'espace euclidien.

Avant-propos

Par souci de clarté, on suppose pour tous les termes (s'ils ne sont pas explicitement formulés) qu'un espace de probabilité filtré $(\mathrm{\Omega },𝒜,({ℱ}_t{)}_{t\ge 0},P)$ et une variété différentiable $M$ existent. La filtration $𝔽=({ℱ}_t{)}_{t\ge 0}$ satisfait aux conditions habituelles. On utilise l'intégrale de Stratonovich, qui a l'avantage sur l'intégrale d'Itō que les équations différentielles stochastiques sous difféomorphismes $f:M\to N$ entre variétés restent cohérent, c'est-à-dire que si $X$ est une solution, alors $f(X)$ est aussi une solution de l'équation différentielle stochastique transformée.

Notation:

• $TM$ est le fibré tangent de $M$.
• $T^{*}M$ est le fibré cotangent de $M$.
• $\mathrm{\Gamma }(TM)$ est le $C^{\mathrm{\infty }}(M)$-module des champs vectoriels sur $M$.
• $X\circ dZ$ est l'intégrale de Stratonovich.
• $C_c^{\mathrm{\infty }}(M)$ est l'espace de fonctions de test sur $M$, c'est-à-dire $f\in C_c^{\mathrm{\infty }}(M)$ est infiniment dérivable et a un support compact.
• $\hat{M}:=M\cup \{\mathrm{\infty }\}$ le compactifié d'Alexandrov.

Équations différentielles stochastiques sur une variété

Processus de flux

Les processus de flux (également appelés $L$-diffusions) sont la contrepartie stochastique des courbes intégrales (lignes de flux) d'un champ vectoriel. Contrairement à la variante déterministe, le flot est défini par rapport à un opérateur différentiel du second ordre.

Opérateur différentiel partiel sous forme de Hörmander

Soit $A\in \mathrm{\Gamma }(TM)$ un champ vectoriel dérivé de le $C^{\mathrm{\infty }}(M)$-isomorphisme

$\mathrm{\Gamma }(TM)\to {\mathrm{Der}}_{ℝ}{C}^{\mathrm{\infty }}(M),A\mapsto (f\mapsto Af)$

pour $f\in C^{\mathrm{\infty }}(M)$. La fonction $Af:M\to ℝ$ est défini par $Af(x):=A_x(f)$. On définit maintenant la composition $A^2:=A(A(f))$ pour $f\in C^{\mathrm{\infty }}(M)$.

Un opérateur différentiel partiel (ODP) $L:C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$ est alors en forme de Hörmander si les champs vectoriels $A_0,A_1,\dots ,A_r\in \mathrm{\Gamma }(TM)$ existent et $L$ est de la forme

$L=A_0+\sum _{i=1}^r{A}_i^2.$

Processus de flux

Soit $L$ un opérateur différentiel partiel sous forme de Hörmander sur $M$ et $x\in M$ un point de départ. Un processus $X$ adapté et continu sur $M$ avec $X_0=x$ est appelé processus de flux de $L$ avec départ point $x$ si pour chaque fonction de test $f\in C_c^{\mathrm{\infty }}(M)$ et $t\in {ℝ}_{+}$ le processus

$N(f{)}_t:=f(X_t)-f(X_0)-\underset{0}{\overset{t}{\int }}(Lf)(X_r)\mathrm{d}r$

est une martingale, c'est-à-dire

$𝔼[N(f{)}_t\mid {ℱ}_s]=N(f{)}_s,\mathrm{\forall }s\le t$.

Remarque

Pour une fonction de test $f\in C_c^{\mathrm{\infty }}(M)$, un opérateur différentiel partiel $L$ sous forme de Hörmander et un processus de flux $X_t^x$ (avec valeur initiale $x$) les équations de flux ne s'appliquent qu'en moyenne

$\frac{\mathrm{d}}{\mathrm{d}t}𝔼[f(X_t^x)]=𝔼[(Lf)(X_t^x)]$

contrairement au cas déterministe, et le ODP est obtenu à nouveau par $\frac{\mathrm{d}}{\mathrm{d}t}{|}_{t=0}𝔼[f(X_t^x)]=(Lf)(x)$.

Durée de vie et temps d'explosion

Soit $U\subset {ℝ}^n$ un ensemble ouvert et non vide et $\xi >0$ un temps d'arrêt prévisible. On appelle $\xi$ la durée de vie d'une semi-martingale continue $X=(X_t{)}_{0\le t<\xi }$ sur $U$ si

• il existe une suite de temps d'arrêt $({\xi }_n)$ avec ${\xi }_n\nearrow \xi$, pour lequel ${\xi }_n<\xi$ tient $P$-presque sûrement sur l'ensemble $\{0<\xi <\mathrm{\infty }\}$.
• le processus arrêté $(X_{t\wedge {\xi }_n})$ est une semimartingale.

Si $X_{{\xi }_n(\omega )}\to \partial U$ vaut aussi pour presque tous $\omega \in \{\xi <\mathrm{\infty }\}$ , on appelle $\xi$ temps d'explosion.

Un processus de flux $X$ peut avoir une durée de vie finie $\xi$. Cela signifie que $X=(X{)}_{t<\xi }$ est défini de telle sorte que si $t\to \xi$ alors $P$-presque sûrement sur $\{\xi <\mathrm{\infty }\}$ que $X_t\to \mathrm{\infty }$ dans la compactifié d'Alexandrov $\hat{M}:=M\cup \{\mathrm{\infty }\}$. Dans ce cas, on continue le processus chemin par chemin via $X_t:=\mathrm{\infty }$ pour $t\ge \xi$.

Semimartingale sur une variété

Un processus $X$ est une semimartingale sur $M$ si et seulement si pour tout $f\in C^2(M)$ la variable $f(X)$ est une semimartingale $ℝ$. On peut montrer que chaque semimartingale $M$ est la solution d'une équation différentielle stochastique sur $M$. Si la semi-martingale n'est définie que jusqu'à une durée de vie finie $\xi$, on peut toujours construire une semi-martingale à durée de vie infinie par transformation temporelle. Une semi-martingale a une variation quadratique par rapport à une coupure dans le faisceau de formes bilinéaires sur $TM$.

Avec l'introduction du concept d'intégrale de Stratonowitsch d'une forme différentielle $\alpha$ le long d'une semi-martingale $X$, la soi-disant comportement d'enroulement de $X$, une généralisation des indices.

EDS sur une variété

Une équation différentielle stochastique sur une variété $M$, notée EDS sur $M$, peut être définie soit comme un couple $(A,Z)$ par un homomorphisme de fibré (un homomorphisme de fibrés vectoriels), soit comme $r+1$-uplet $(A_1,\dots ,A_r,Z)$ pour des champs vectoriels donnés. À l'aide du théorème de plongement de Whitney, on peut montrer que pour chaque EDS sur $M$ avec la condition initiale $X_0=x$ il y a exactement une solution maximale existe. Si on a une solution maximale, on obtient un processus de flux $X^x$ pour l'opérateur $L$.

Définition d'une équation différentielle stochastique sur une variété

Une EDS sur $M$ est un couple $(A,Z)$, où

• $Z=(Z_t{)}_{t\in {ℝ}_{+}}$ est une semi-martingale continue sur un $ℝ$-espace vectoriel $E$ de dimension finie.
• $A:M\times E\to TM$ est un homomorphisme de fibré vectoriels sur $M$

$A:(x,e)\mapsto A(x)e$

où $A(x):E\to TM$ est une application linéaire.

On écrit l'équation différentielle stochastique $(A,Z)$ comme

$dX=A(X)\circ dZ$

ou

$dX=\sum _{i=1}^r{A}_i(X)\circ d{Z}^i.$

Ce dernier est expliqué par $A_i:=A(\cdot )e_i$ par rapport à une base $(e_i{)}_{i=1,\dots ,r}$ et $ℝ$-semimartingales $(Z^i{)}_{i=1,\dots ,r}$ avec $Z=\sum _{i=1}^r{Z}^i{e}_i$.

Puisque pour des champs de vecteurs donnés $A_1,\dots ,A_r\in \mathrm{\Gamma }(TM)$ il existe exactement un homomorphisme de fibrés vectoriels $A$ avec la propriété $A_i:=A(\cdot )e_i$, la validité de la définition d'un EDS sur $M$ comme $(A_1,\dots ,A_r,Z)$ en découle.

Si $Z$ n'a qu'une durée de vie finie, alors on peut transformer le temps dans le cas infini.

Solution d'une équation différentielle stochastique sur une variété

Soit $(A,Z)$ une EDS sur $M$ et $x_0:\mathrm{\Omega }\to M$ un variable aléatoire ${ℱ}_0$-mesurable. Soit $(X_t{)}_{t<\zeta }$ un $M$-processus continu et adapté avec une durée de vie $\zeta$ sur le même espace de probabilité que $Z$. Alors $(X_t{)}_{t<\zeta }$ est une solution d'une EDS

$dX=A(X)\circ dZ$

à la condition initiale $X_0=x_0$ jusqu'à la durée de vie $\zeta$, si pour chaque fonction de test $f\in C_c^{\mathrm{\infty }}(M)$ le processus $f(X)$ est une semi-martingale à valeurs dans $ℝ$ et pour chaque temps d'arrêt $\tau$ avec $0\le \tau <\zeta$ l'équation

$f(X_{\tau })=f(x_0)+\underset{0}{\overset{\tau }{\int }}(df{)}_{X_s}A(X_s)\circ \mathrm{d}{Z}_s$

est remplie $P$-presque sûrement, où $(df{)}_X:T_{x}M\to T_{f(x)}M$ est la différentielle à $X$. Il découle du fait que $f(X)$ est une semi-martingale pour toute fonction de test $f\in C_c^{\mathrm{\infty }}(M)$ que $X$ est une semimartingale sur $M$.

Si la durée de vie est maximale, c'est-à-dire

$\{\zeta <\mathrm{\infty }\}\subset \{\lim {\mathrm{\backslash limits}}_{t\nearrow \zeta }{X}_t=\mathrm{\infty }\text{ in }\hat{M}\}$

$P$-presque sûrement, on appelle la solution une solution maximale. Le temps d'une solution maximale $X$ peut être étendu à ${ℝ}_{+}$ et après la continuation de $f$ à $\hat{M}$ ce qui suit est vrai

$f(X_t)=f(X_0)+\underset{0}{\overset{t}{\int }}(df{)}_{X}A(X)\circ dZ,t\ge 0$

jusqu'à des processus indistinguables.

Remarque

Soit $Z=(t,B)$ avec un mouvement brownien $d$-dimensionnel $B=(B_1,\dots ,B_d)$, alors on peut montrer que chaque solution maximale avec la valeur de départ $x_0$ est un processus de flux vers l'opérateur

$L=A_0+\frac{1}{2}\sum _{i=1}^d{A}_i^2$

est.

Martingale et le mouvement brownien

Les mouvements browniens sont des flux stochastiques des opérateurs de Laplace-Beltrami. Il est possible de les construire sur des variétés riemanniennes $(M,g)$, cependant, comme mentionné dans l'introduction, une procédure canonique nécessite une approche différente. Soit $𝒪(d)$ le groupe orthogonal, puis on considère une EDS canonique sur le fibré des repères orthonormaux $O(M)$ sur $M$ dont la solution est le mouvement brownien. Le fibré de base orthonormé est la totalité de tous les ensembles $O_x(M)$ du repère orthonormé de l'espace tangent $T_{x}M$

$O(M):=\bigcup _{x\in M}{O}_x(M)$

ou en d'autres termes, le $𝒪(d)$-fibré principal associé à $TM$.

La construction d'Eells-Elworthy-Malliavin du mouvement brownien sur une variété $M$

Soit $W$ une semi-martingale à valeur dans ${ℝ}^d$. La solution $U$ de EDS

$d{U}_t=\sum _{i=1}^d{A}_i(U_t)\circ d{W}_t^i,U_0=u_0,$

définit par la projection $\pi :O(M)\to M$ un mouvement brownien $X$ sur la variété riemannienne, un développement stochastique de $W$ à $M$. Inversement, $W$ est appelé anti-développement de $U$ ou $\pi (U)=X$. En bref, on a la relation suivante $W\leftrightarrow U\leftrightarrow X$ où

• $U$ est une semi-martingale à valeurs dans $O(M)$.
• $X$ est une semi-martingale à valeurs dans $M$.

Pour la variété riemannienne, on utilise toujours la connexion de Levi-Civita et on prend ${\mathrm{\Delta }}_M$ l'opérateur de Laplace-Beltrami correspondant. Au cœur de la construction se trouve la relation

${\mathrm{\Delta }}_{M}f(x)={\mathrm{\Delta }}_{O(M)}(f\circ \pi )(u)$

définie pour $f\in C^{\mathrm{\infty }}(M)$ et pour tout $u\in O(M)$ avec $\pi u=x$ et l'opérateur ${\mathrm{\Delta }}_{O(M)}$ sur $O(M)$ bien défini pour les champs de vecteurs horizontaux, ${\mathrm{\Delta }}_{O(M)}$ est aussi appelé opérateur de Laplace horizontal de Bochner.

Martingales avec une connexion linéaire

Pour définir des martingales, il faut une relation linéaire $\mathrm{\nabla }$. Maintenant la $\mathrm{\nabla }$-martingale peut être caractérisée si son anti-développement est une martingale locale. Cependant, il est également possible de formuler le tout sans l'anti-développement.

Par $\stackrel{m}{=}$ on note modulo par rapport aux différentielles de martingales locales.

Soit $X$ une semimartingale $M$. Alors $X$ est une martingale ou $\mathrm{\nabla }$-martingale si pour chaque $f\in C^{\mathrm{\infty }}(M)$ détient

$d(f\circ X)\stackrel{m}{=}\frac{1}{2}(\mathrm{\nabla }df)(dX,dX).$

Mouvement brownien sur une variété riemannienne

Soit $(M,g)$ une variété riemannienne avec un opérateur de Laplace-Beltrami ${\mathrm{\Delta }}_M$. Un processus adapté $M$-valué $X$ avec une durée de vie maximale $\xi$ est appelé mouvement brownien sur $(M,g)$ si pour chaque $f\in C^{\mathrm{\infty }}(M)$ le processus

$f(X)-\frac{1}{2}\int {\mathrm{\Delta }}_{M}f(X)\mathrm{d}t$

est une martingale $ℝ$ locale de durée de vie $\xi$. Le mouvement brownien est donc le processus de $\frac{1}{2}{\mathrm{\Delta }}_M$-diffusion. Cependant, cette caractérisation ne fournit pas de procédure canonique pour le mouvement brownien.

Bibliographie

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