Calcul stochastique

{{#invoke:Bandeau|ébauche}} Modèle:À sourcer

Le calcul Modèle:Page h' est l’étude des phénomènes aléatoires dépendant du temps. À ce titre, c'est une extension de la théorie des probabilités. Ne pas confondre avec la technique des calculateurs stochastiques.

Applications

Le domaine d’application du calcul stochastique comprend la mécanique quantique, le traitement du signal, la chimie, les mathématiques financières, la météorologie et même la musique.

Processus aléatoires

Un processus aléatoire <math>X</math> est une famille de variables aléatoires indexée par un sous-ensemble de <math>\R</math> ou <math>\N</math>, souvent assimilé au temps (voir aussi Processus stochastique). C'est une fonction de deux variables : le temps et l'état de l'univers <math>\omega</math>. L'ensemble des états de l'univers est traditionnellement noté <math>\Omega</math>. L'application qui à un <math>\omega</math> fixé associe <math>X(\omega,t)</math>, <math>t</math> variable, est appelée trajectoire du processus ; c'est une simple fonction du temps (sans caractère aléatoire) qui représente la réalisation particulière du processus sous l'occurrence <math>\omega </math>.

Pour un <math>t</math> donné, <math>X(\omega,t)</math> est une simple variable aléatoire dont la valeur exacte n'est connue qu'en t. Le mouvement brownien est un exemple particulièrement simple de processus aléatoire indexé par <math>\R</math>. Il peut être défini comme l'unique processus <math>W_t</math> à accroissement gaussien tel que la covariance entre <math>W_t</math> et <math>W_s</math> soit <math>\min(t,s)</math>. On peut également le voir comme la limite d'une marche aléatoire lorsque le pas de temps tend vers 0.

Filtrations

Une filtration <math>F_t</math>, <math>t\in \mathbb{N}</math> est une famille de sous-tribus emboîtées de <math>\Omega</math>, qui peut s’interpréter comme l’information disponible qui évolue au cours du temps. Ainsi, une filtration est une famille de sigma-algèbres, indexée par le temps <math>t \ge 0</math> telle que <math>F_s \subset F_t</math> si <math>s \le t</math>, ce qui reflète l'augmentation de l'information disponible.

Espérance conditionnelle selon une filtration

Modèle:…

Processus d'Itō

Modèle:Article détaillé Le processus d'Itō, d'après le nom de son inventeur Kiyoshi Itō, traite des opérations mathématiques dans un processus stochastique. Le plus important est l'intégrale stochastique d'Itō.

Intégrale d'Itô

Modèle:Article détaillé Avant le calcul, indiquons que :

les majuscules telles que <math>X</math> notent les variables aléatoires ;
les majuscules avec en indice un <math>t</math> (par exemple <math>B_t</math>) notent un processus stochastique qui est une famille de variables aléatoires indexée par <math>t</math> ;
un petit <math>\mathrm d</math> à gauche d'un processus (par exemple <math>\mathrm dB_t</math>) signifie un changement infinitésimal dans le processus aléatoire qui est une variable aléatoire.

L'intégrale stochastique d'un processus <math>X_t</math> par rapport à un processus <math>B_t</math> est décrite par l'intégrale :

<math>\int_{a}^{b} X_t\, \mathrm dB_t</math>

et est définie comme la limite en moyenne quadratique des sommes correspondantes de la forme :

Un point essentiel lié à cette intégrale est le lemme d'Itô.

La somme comme le produit de variables aléatoires est définie dans la théorie des probabilités. La somme implique une convolution de la fonction de densité des probabilités, et la multiplication est une addition répétée.

Définition d'un processus d'Itô

Une fois précisée la définition choisie pour une intégrale stochastique, on définit alors un processus d'Itô comme étant un processus stochastique <math>X_t</math> de la forme :

<math>X_t(\omega) = X_0(\omega) +\int_0^t u_s(\omega){\rm d}s +\int_0^t (v_s {\rm d}B_s)(\omega)</math>

avec <math>u</math> et <math>v</math> deux fonctions aléatoires satisfaisant quelques hypothèses techniques d'adaptation au processus <math>B_t</math> et <math>\omega</math> est une réalisation dans l'espace de probabilité sous-jacent.

Dans le formalisme du calcul différentiel avec la prescription d'Itô on note de façon équivalente la relation précédente comme : Modèle:Bloc emphase

Prescription de Stratonovich

Modèle:Article détaillé Une autre prescription notable pour définir une intégrale stochastique est la prescription de Stratonovich. L'intégrale de Stratonovich est définie comme la limite des sommes discrètes :

La différence notable avec la prescription d'Itô est que la quantité <math>X_{(t_i+t_{i+1})/2}</math> n'est pas indépendante au sens des probabilités de la variable <math>B_{t_{i+1}} - B_{t_i}</math>. Ainsi, contrairement à la prescription d'Itô, dans la prescription de Stratonovich on a :

<math>E\left[\int_{a}^{b} X_t\, \mathrm dB_t\right]\neq 0</math>

ce qui complique, de ce point de vue, certains calculs. Cependant l'utilisation de la prescription de Stratonovich ne choisit pas une direction du temps privilégiée contrairement à celle d'Itô ce qui implique que les processus stochastiques définis par l'intégrale de Stratonovich satisfont des équations différentielles stochastiques bidimensionnelles invariantes par renversement du temps. Pour cette raison, cette prescription est souvent utilisée en physique statistique.

Il faut noter cependant qu'il est possible de passer de l'une à l'autre des prescriptions en effectuant des changements de variables simples ce qui les rend équivalentes. Le choix de prescription est donc une question de convenance.

Processus usuels

Modèle:…

Martingales exponentielles

Modèle:Voir aussi Modèle:…

Intégrale de Wiener et intégrale stochastique

Intégrale de Wiener

Notons le mouvement brownien (MB) par <math>\{B_t\}_{t\in T}</math> et l'intégrale de Wiener par <math>\int_a^b(.)\mathrm dB</math>.

On dit qu'une fonction <math>h : [a,b]\to\R</math> est une fonction en escalier (donc dense dans <math>L^2([a,b])</math>) s'il existe <math>\sigma</math> une subdivision de <math>[a,b]</math> et s'il existe <math>\alpha_0,...,\alpha_{N_{\sigma}-1}\in\R</math> tels que :

<math>h=\sum_{k=0}^{N_{\sigma}-1}\alpha_k 1_{[t_k^{\sigma},t_{k+1}^{\sigma}[}</math>

Alors, on pose :

<math>\int_a^b h(s)\mathrm dB(s)=\sum_{k=0}^{N_{\sigma}-1}\alpha_k \{B(t_{k+1}^{\sigma})-B(t_k^{\sigma})\}</math>

Il est clair que <math>\int_a^b h(s)\mathrm dB(s)</math> est une variable aléatoire gaussienne centrée de variance <math>\int_a^b |h(s)|^2 \mathrm ds </math>.

De plus, soit <math>g\in L^2([a,b])</math> et <math>H_n</math> une suite de fonctions en escalier de <math>g\in L^2([a,b])</math>. Alors, la suite <math>\left(\int_a^b H_n(s)\mathrm dB(s) \right)_{n \in \mathbb{N}}</math> converge vers une limite dans <math>L^2(\Omega)</math>. De plus, cette limite ne dépend pas de la suite <math>(H_n)_{n\in\mathbb{N}}</math> et est notée par <math>\int_a^b g(s)\mathrm dB(s)</math>.

Intégrale stochastique

Soit <math>Z</math> le mouvement brownien standard défini sur l’espace probabilisé <math>(\Omega, A, F, P)</math> et <math>\sigma</math> un processus adapté à <math>F</math>. On suppose par ailleurs que <math>\sigma</math> vérifie :

<math>E\left(\int_0^T \sigma_s^2 \mathrm ds\right) < + \infty</math>.

Alors, l’intégrale stochastique de <math>\sigma</math> par rapport à <math>Z</math> est la variable aléatoire :

<math>\left(\int_0^T \sigma_s \mathrm dZ_s \right) = \lim_{N\to +\infty} \sum_{n=1}^N \sigma_{t_{n-1}} \left(Z_{t_n} - Z_{t_{n-1}}\right)</math>.

Lemme d’Itô

Modèle:Article détaillé Soit <math>x</math> un processus stochastique tel qu'on ait <math>\mathrm dx = a\mathrm dt + b \mathrm dz</math> où <math>z</math> est un processus de Wiener standard.

Alors d'après le lemme d'Itô, on a pour une fonction <math>G = G(x,t)</math>

<math>\mathrm dG = \frac{\mathrm\partial{G}}{\mathrm\partial{t}} \mathrm dt + \frac{\mathrm\partial{G}}{\mathrm\partial{x}} \mathrm dx + \frac{1}{2} b^2 \frac{ \mathrm\partial^2{G}}{\mathrm\partial{x^2}} \mathrm dt</math>

Équations différentielles stochastiques

Modèle:Article détaillé Une équation différentielle stochastique (EDS) est la donnée d’une équation du type <math>\mathrm dX = \mu(X,t) \mathrm dt + \sigma(X,t) \mathrm dW_t</math>, où <math>X</math> est un processus aléatoire inconnu, que l’on appelle communément équation de diffusion. Intégrer l’EDS, c’est trouver l’ensemble des processus vérifiant la diffusion entière.

Processus d’Ornstein-Uhlenbeck

Modèle:Article détaillé Le processus d'Ornstein-Uhlenbeck est un processus stochastique décrivant (entre autres) la vitesse d'une particule dans un fluide, en dimension 1.

On le définit comme étant la solution <math>X_t</math> de l'équation différentielle stochastique suivante :

<math>\mathrm dX_t=\sqrt2\mathrm dB_t-X_t\mathrm dt</math>,

où <math>B_t</math> est un mouvement brownien standard, et avec <math>X_0</math> une variable aléatoire donnée.

Le terme <math>\mathrm dB_t</math> traduit les nombreux chocs aléatoires subis par la particule, alors que le terme <math>-X_t\mathrm dt</math> représente la force de frottement subie par la particule.

La formule d'Itô appliquée au processus <math>{e^t}X_t</math> nous donne :

<math>\mathrm d({e^t}X_t)={e^t}{X_t}\mathrm dt+{e^t}(\sqrt{2}{\mathrm dB_t}-{X_t}\mathrm dt)={e^t}\sqrt{2}{\mathrm dB_t}</math>,

soit, sous forme intégrale :

<math>X_t={X_0}e^{-t}+\sqrt{2}e^{-t}\int_0^t{e^s}\mathrm dB_s</math>

Par exemple, si <math>X_0</math> vaut presque sûrement <math>x</math>, la loi de <math>X_t</math> est une loi gaussienne de moyenne <math>xe^{-t}</math> et de variance <math>1-e^{-2t}</math>, ce qui converge en loi quand <math>t</math> tend vers l'infini vers la loi gaussienne centrée réduite.

Problèmes de contrôle optimal

Modèle:...

Méthodes de simulation

Méthode de Monte-Carlo

Les méthodes de Monte-Carlo reposent sur la Loi des grands nombres. En répétant un grand nombre de fois une expérience, de façon (théoriquement) indépendante, on obtient une approximation de plus en plus fiable de la vraie valeur de l'espérance du phénomène observé.

De telles méthodes sont notamment utilisées en finance pour la valorisation d’options pour lesquelles il n’existe pas de formule fermée, mais uniquement des approximations numériques.

Simulation par arbres recombinants

Modèle:...