Voir la source de Équation différentielle stochastique

{{Voir homonymes|EDS}}

Une '''équation différentielle stochastique''' (EDS) est une généralisation de la notion d'équation différentielle prenant en compte un terme de [[bruit blanc]]. Les EDS permettent de modéliser des trajectoires aléatoires, tels des cours de bourse ou les mouvements de particules soumises à des phénomènes de diffusion. Elles permettent aussi de traiter théoriquement ou numériquement des problèmes issus de la théorie des [[équations aux dérivées partielles]].

Les domaines d'application des EDS sont vastes : [[physique]], [[biologie]], [[dynamique des populations]], [[écologie]], [[mathématiques financières]], [[traitement du signal]], [[théorie du contrôle]]…

== Quelques approches et définitions informelles ==

=== Les EDS comme trajectoires de particules ===

Le [[mouvement brownien]], nommé ainsi en hommage au botaniste [[Robert Brown (botaniste)|Robert Brown]], décrit le mouvement d'une particule soumise à une infinité de chocs en des temps très courts, et ses trajectoires sont erratiques. Elles ont les propriétés suivantes :
* si l'on connaît la position de la particule à un instant <math>t</math>, alors la loi de sa position spatiale à un instant ultérieur <math>t+s</math> ne dépend que de sa position à cet instant <math>t</math>. Autrement dit, le passé, c'est-à-dire la trajectoire de la particule à des instants antérieurs à <math>t</math>, n'a aucune influence sur ses déplacements futurs. Cette propriété s'appelle la [[propriété markovienne|propriété de Markov]] ;
* les particules bougent continûment dans l'espace ;
* la loi de la position de la particule entre deux instants <math>t</math> et <math>t+s</math> ne dépend que de <math>s</math>. Les accroissements sont alors [[stationnaire]]s ;
* en fait, si <math>B(t)</math> désigne la position de la particule à un instant <math>t</math>, alors la loi de <math>B(t)-B(r)</math> et de <math>B(r)-B(s)</math> avec <math>s<r<t</math> sont [[Indépendance (probabilités)|indépendants]] l'un de l'autre. Nous dirons alors que les accroissements sont [[Accroissement indépendant|indépendants]]. En fait, cette propriété implique la propriété de Markov ;
* de ces deux derniers faits, et dans l'esprit du [[théorème central limite]], il est alors possible de montrer que <math>B(t)</math> suit une loi normale de moyenne <math>0</math> et de variance <math>t</math>.

En d'autres termes, la dynamique de la particule est la même quelle que soit sa position dans l'espace, et si l'on tourne les coordonnées de l'espace à l'aide d'une rotation, un mouvement brownien reste un mouvement brownien : la particule évolue dans un environnement homogène et [[isotrope]].

La notion d'EDS permet de décrire le mouvement d'une particule dans un milieu dont les propriétés
physiques peuvent varier, en créant deux effets :
* si nous connaissons la position <math>X(t)</math> d'une particule, la loi du processus à un instant <math>t+\delta t</math> est une gaussienne dont la [[covariance]] n'est pas nécessairement l'identité, et qui peut dépendre de la position <math>X(t)</math>. La covariance doit être de l'ordre de <math>\delta t</math> ;
* en temps très petit, les particules sont poussées dans une direction donnée. Nous parlerons alors de ''dérive''. Cela implique en fait que la position moyenne de la particule à l'instant <math>t+\delta t</math> sachant la position <math>X(t)</math> est donnée par <math>\mathbb{E}[X(t+\delta t)|X(t)]=\mu \delta t</math> pour un vecteur <math>\mu</math>, qui peut aussi dépendre de <math>X(t)</math>.

En combinant ces deux effets, nous pouvons écrire

<math>X(t+\delta t)\approx \sigma(X(t))\xi
+\mu(X(t)) \delta t</math>,

où <math>\xi</math> est une gaussienne normale centrée de covariance l'identité. L'on vérifie facilement que

<math>\mathbb{E}[X(t+\delta t)|X(t)]=\mu \delta t</math>

et

<math>\mathbb{E}[(X(t+\delta t)-\mathbb{E}[X(t+\delta t)|X(t)])^2]
=\sigma(X(t))\sigma(X(t))^{\mathrm{T}}\delta t</math>.

En partant de <math>0</math>, et si l'on somme les accroissements entre <math>k \delta t</math> et <math> (k+1)\delta t</math>, alors nous obtenons

<math>X(t)\approx \sum_{k=0}^{\lfloor T/\delta t\rfloor}
\sigma(X(t))\xi_k +\mu(X(t)) \delta t</math>,

où ne faisons l'hypothèse que les [[loi normale|variables gaussiennes]] <math>\xi_k</math> sont indépendantes, ce qui est assez raisonnable si nous souhaitons garder la propriété de Markov, c'est-à-dire l'indépendance de la loi des positions futures de la particule après <math>t</math> par rapport aux instant antérieurs à <math>t</math>. Nous pouvons prendre pour <math>\xi_k</math> les accroissements successifs d'un mouvement brownien.

À l'aide de la théorie des [[intégrales stochastiques]], nous pouvons faire tendre <math>\delta t</math> vers <math>0</math> (attention, il s'agit ici d'une [[convergence en probabilité]] !), et considérer l'équation suivante

<math>X(t)=X(0)+\int_0^t \sigma(X(s))\, dB(s)
+\int_0^t \mu(X(s))\, ds</math>,

où <math>B</math> est un mouvement brownien, <math>\sigma</math> est une fonction à valeur matricielle (qui n'est pas forcément une [[matrice carrée]]), et <math>\mu</math> une fonction à valeur vectorielle.
Une telle équation, qui implique donc une intégrale stochastique, est appelée ''équation différentielle stochastique'' (EDS).

La théorie des EDS consiste donc à étudier les propriétés de cet objets, et les conditions sur les coefficients qui permettent d'assurer l'existence de tels objets.

Contrairement au mouvement brownien, les solutions d'EDS, sauf dans le cas simple où <math>\sigma</math> et <math>\mu</math> sont constants, ne sont pas à accroissement indépendants et stationnaires. Par contre, elles possèdent bien la propriété de Markov.

=== Équations différentielles bruitées ===

Considérons une [[équation différentielle]] ordinaire <math>\frac{dX(t)}{dt}=\mu(X(t))</math> à laquelle nous aimerions rajouter du bruit. Un [[bruit blanc]] <math>\xi(t)</math> sera utilisé comme modèle de [[bruit]], dont l'intensité va varier en fonction de la position de l'espace, et notre équation devient alors

<math>
\frac{dX(t)}{dt}=\mu(X(t))+\sigma(X(t))\xi(t)
</math>

pour une fonction <math>\sigma</math>. En soi, un bruit blanc est un objet mal défini (cela correspond à un bruit aléatoire où toutes les fréquences sont présentes avec une égale probabilité), et une telle équation n'a pas de sens. Par contre, le bruit blanc étant défini formellement comme la dérivée du mouvement brownien <math>B(t)</math> nous transformons notre équation en

<math>
dX(t)=\mu(X(t))\,dt+\sigma(X(t))\,dB(t),
</math>

dont nous pouvons prouver qu'elle a bien un sens, à l'aide du [[calcul stochastique]], lorsqu'elle est écrite sous forme intégrale :

<math>
X(t)=X(0)+\int_0^t \mu(X(s))\,ds+\int_0^t \sigma(X(s))\,dB(s).
</math>

=== Les EDS comme limites d'équations différentielles ordinaires ===

Une autre façon naturelle pour considérer les EDS est d'utiliser des [[interpolation (mathématiques)|interpolations linéaires par morceaux]] des trajectoires d'un mouvement brownien. Soit <math>B(t,\omega)</math> une telle trajectoire, et considérons entre l'instant <math>0</math> et l'instant <math>T</math>,

<math>B^n(t,\omega)=\frac{t-Tk/n}{(Tk+1)/n-Tk/n}
(B(T(k+1)/n,t)-B(Tk/n))</math> si <math>t\in[Tk/n,T(k+1)/n]</math>

ainsi que les équations différentielles ordinaires (sous de bonnes conditions de régularité sur <math>\sigma</math> et <math>\mu</math>)

<math>X^n(t,\omega)=X(0)+\int_0^t \sigma(X^n(s,\omega))\,dB^n(s,\omega)
+\int_0^t \mu(X^n(s,\omega))\,ds.
</math>

Pouvons-nous montrer que <math>X^n(t,\omega)</math> converge vers quelque chose quand <math>n</math> tend vers l'infini ?
En fait, cette approche fonctionne, mais la démonstration n'est pas évidente et comporte des chausses-trappes. En fait, <math>X^n(t,\omega)</math> converge vers la solution d'une EDS au sens de [[Stratonovich]]

<math>
X(t)=X(0)+\int_0^t \mu(X(s))\,ds+\int_0^t \sigma(X(s))\circ\,dB(s).
</math>

qui implique donc une autre notion d'intégrale stochastique, ici dénotée avec un <math>\circ</math>, celle de [[Stratonovich]]. Ce résultat est dû à [[Eugene Wong]] et [[Moshe Zakai]]. Si l'on souhaite utiliser une [[intégrale d'Itô]], alors

<math>
X(t)=X(0)+\int_0^t \mu(X(s))\,ds+\int_0^t \sigma(X(s))\,dB(s)
+\frac{1}{2}\int_0^t \sigma(X(s))\nabla \sigma(X(s))ds.
</math>

Parmi les difficultés, il convient de noter qu'il est nécessaire, sauf en dimension un, d'utiliser une famille de partition déterministe si l'on souhaite utiliser autre chose qu'une partition régulière, ainsi qu'une interpolation linéaire par morceaux, afin que la convergence vers l'EDS attendue ait bien lieu.

== Quelques EDS remarquables ==

Comme pour les équations différentielles ordinaires,
nous ne savons pas résoudre une EDS dans le cas général.

=== Mouvement brownien géométrique ===

Le [[mouvement brownien géometrique]] est un processus de la forme

<math>X(t)=X(0)\exp(\sigma B(t)+(\mu -\frac{\sigma^2}{2}) t)</math>

Sa particularité est d'être un [[processus stochastique]] à valeurs positives.
De ce fait il est utilisé en [[mathématiques financières]]
pour modéliser l'évolution de cours de bourse, de taux d'intérêt, de produit financier. La dynamique de ce processus est la base même du [[Modèle Black-Scholes|modèle de Black-Scholes]].
Grâce à la [[formule d'Itô]], le mouvement brownien géométrique est solution de

<math>X(t)=X(0)+\int_0^t \sigma X(s) \, dB(s)
+\int_0^t \mu X(s)\, ds</math>.

Ce mouvement brownien géométrique peut également être approximé par différentes méthodes numériques ou analytiques telle que la [[méthode des différences finies]] ou l'approche binomiale.

=== L'équation de Langevin et le processus d'Ornstein-Uhlenbeck ===

L'[[équation de Langevin]] donne le mouvement d'une particule dans un milieu avec friction, et soumise à une force <math>\xi(t)</math> fluctuante (« [[bain thermique]] »), que nous prendrons comme un bruit blanc.
D'après le [[Lois du mouvement de Newton#Deuxième loi de Newton ou principe fondamental de la dynamique|principe fondamental de la dynamique]], la vitesse de la particule est solution de :

<math>\frac{d V(t)}{d t}=-\lambda V(t)+\xi(t)</math>.

Comme précédemment, cette équation n'a pas vraiment de sens, à moins de la poser sous la forme :

<math>V(t)=V(0)+B(t)-\int_0^t \lambda V(s)\, ds</math>,

où <math>B(t)</math> est un mouvement brownien.
Le paramètre <math>\lambda</math> spécifie l'intensité de la friction. Cette équation peut être résolue directement :

<math>V(t)=\exp(-\lambda t)V(0)+\int_0^t \exp(-\lambda(t-s))\, dB(s)</math>.

C'est un [[processus d'Ornstein-Uhlenbeck]], et sa particularité est d'être un [[processus gaussien]].
Sa moyenne et sa variance sont :

<math>
\mathbb{E}[V(t)]=\exp(-\lambda t)V(0)</math>  et  <math>
\mathbb{E}[(V(t)-V(0))^2]=\frac{1-\exp(-2\lambda t)}{2\lambda}
</math>.

Notons qu'ici, nous avons considéré la vitesse de la particule. Sa position est donnée par <math>X(t)=X(0)+\int_0^t V(s)\, ds</math>, et est en soi une trajectoire régulière, mais qui reste un [[processus gaussien]].

En faisant tendre certains paramètres vers l'infini, alors nous pouvons approcher <math>X(t)</math> par une EDS.

=== Particule aléatoire dans un champ de force ===

Nous pouvons raffiner l'[[équation de Langevin]] en ajoutant un champ de force qui dépend de la position. Alors la position et la vitesse de la particule sont solutions d'une équation que nous écrirons sous la forme

<math>\begin{matrix}
dX(t)=V(t)\,dt\\
dV(t)=\lambda K(t,X(t))\,dt-\lambda V(t)\,dt+\lambda \sqrt{D}dB(t)
\end{matrix}</math>
où <math>\lambda K</math> est le champ de force considéré,
et <math>\lambda,D>0</math>.
Il est alors possible de montrer que la position <math>X(t)</math>, lorsque <math>\lambda</math> tend vers l'infini, se comporte elle-même comme la solution de l'EDS

<math>
dX(t)=K(t,X(t))dt+\sqrt{D}dB(t).
</math>

En application, si <math>U</math> est un potentiel, c'est-à-dire que son [[gradient]] est une force, alors

<math>X(t)=X(0)+\sqrt{D}B(t)+\int_0^t U(X(s))\,d s</math>

est une EDS couramment utilisée en physique. Sans la présence du mouvement brownien dans le modèle précédent, la particule sera immobilisée au fond des puits de <math>U</math>, c'est-à-dire là où le gradient <math>\nabla U</math> est nul. En présence d'un bruit, même petit, elle a alors la possibilité de s'échapper et de passer d'un puits à l'autre, et de telles dynamiques sont souvent étudiées (on a parfois des phénomènes de [[résonance stochastique]]).

=== Pont brownien ===

La probabilité qu'un mouvement brownien atteigne un point donné à un temps fixé <math>T</math> est nulle. Cependant, on a parfois besoin de considérer la trajectoire d'un mouvement brownien (ici en une dimension) conditionnée par un tel événement. On peut construire un tel objet <math>X(t)</math> comme la solution de

<math>
X(t)=a+B(t)+\int_0^t \frac{b-X(s)}{T-s}\, ds,\ t\in[0,T].
</math>

Les trajectoires de <math>X(t)</math> partiront de <math>a</math> et atteindront le point <math>b</math> au temps <math>T</math>. Le processus <math>X</math> est un processus gaussien.

== Méthode de résolution numérique ==
Les équations différentielles stochastiques peuvent être résolues numériquement et notamment par une [[Méthodes de Runge-Kutta|méthode particulière de Runge-Kutta]].

== Lien avec les équations aux dérivées partielles ==

=== Équation de Fokker-Planck ===
{{Article détaillé|Équation de Fokker-Planck}}

== Généralisations ==

Il existe de multiples généralisations de la notion des EDS
que nous venons de présenter :
* EDS avec des sauts ;
* EDS dirigées par d'autres types de processus, comme des [[mouvements browniens fractionnaires]] par exemple ;
* EDS en dimension infinie (à rapprocher des [[équations aux dérivées partielles stochastiques]])
* …

== Domaines d'applications ==
* [[Modèle mathématique|modélisation]] de [[phénomènes de diffusion]] en [[physique]] ([[mécanique des fluides]], [[géophysique]], ...) : c'est à l'origine de la motivation de l'étude du mouvement brownien ;
* [[dynamique des populations]], [[écologie]], ... : modélisation de la localisation de la population d'une espèce donnée, ou encore de sa taille...
* [[méthode de Monte-Carlo|méthodes de Monte-Carlo]] : résolution de certaines [[équations aux dérivées partielles]] par des méthodes aléatoires ;
* [[mathématiques financières]] : modélisation des cours de bourse ;
* [[théorie du contrôle stochastique]] : il s'agit de trouver des stratégies permettant de minimiser ou maximiser certaines quantités soumises à des fluctuations aléatoires mais spécifiées par des paramètres que l'on peut faire varier (valeur d'un portefeuille d'actions, régulation du débit d'un barrage, ...) ;
* [[système dynamique|systèmes dynamiques aléatoires]] ;
* [[résonance stochastique]], modélisation en [[neuroscience]], [[climatologie]] (des modèles de climat sur de très longues périodes utilisent des EDS).
* modèles d'écoulements de [[polymères]] multi-échelles

== Notes et références ==
{{Références}}

== Voir aussi ==
=== Bibliographie ===
* C. G. Gardiner, ''Handbook of Stochastic Methods'' ({{3e}} d.), Springer, 2004. {{ISBN|3-540-20882-8}}
* I. Karatzas et S. Shreve, ''Brownian Motion and Stochastic Calculus'', [[Graduate Texts in Mathematics]] ({{2e}} d.), Springer, 2004. {{ISBN|0-387-97655-8}}.
* E. Nelson, ''Dynamical Theories of Brownian Motion''. [[Princeton University Press]], 1967. [http://www.math.princeton.edu/~nelson/books.html Version PDF] sur la page de l'auteur.
* B. Øksendal, ''Stochastic Differential Equations: An Introduction With Applications'' ({{6e}} d.), Springer, 2005. {{ISBN|3-540-04758-1}}
* [[Daniel Revuz|D. Revuz]] et [[Marc Yor|M. Yor]], ''Continuous Martingales and Brownian Motion'', ({{3e}} d.), Springer, 2004.{{ISBN|3-540-64325-7}}
* L.C.G. Rogers et D. Williams, ''Diffusions, Markov processes and martingales'' ({{2e}} d.), Cambridge Mathematical Library, [[Cambridge University Press]], 2000. {{ISBN|0-521-77593-0}}

'''Simulation'''
* P. Kloeden et E. Platen, ''Numerical Solution of Stochastic Differential Equations'', Springer, 2000. {{ISBN|3-540-54062-8}}
* P. Kloeden, E. Platen et H. Schurz, ''Numerical Solution of SDE Through Computer Experiments'', Universitext, Springer, 2003. {{ISBN|3-540-57074-8}}
* B. Lapeyre, E. Pardoux et R. Sentis, ''Méthodes de Monte-Carlo pour les équations de transport et de diffusion'', Springer, 1998. {{ISBN|3-540-63393-6}}

=== Articles connexes ===
* [[Calcul stochastique]]
* [[Théorie supersymétrique de la dynamique stochastique]]

=== Liens externes ===
* {{lien brisé|url=http://www.sitmo.com/eqcat/1|titre=Liste d'EDS usuelles}}

{{Palette|Probabilités et statistiques}}
{{Palette|Équations différentielles}}

{{Portail|Probabilités et statistiques}}

[[Catégorie:Physique statistique]]
[[Catégorie:Calcul stochastique]]
[[Catégorie:Méthode mathématique de la physique]]
[[Catégorie:Équation différentielle|Stochastique]]