Calcul d\'Itō

Le calcul d'Itō de , baptisé du nom de Kiyoshi Itō , les opérations mathématiques de festins sur le stochastique son concept plus important des procédés est l'intégrale stochastique d'Itō.

Définition

L'intégrale d'Itō peut être en quelque sorte semblable défini au Riemann-Stieltjes intégral, celui est car une limite dans la probabilité des sommes de Riemann de une telle limite n'existe pas nécessairement pathwise. Supposer ce W : × de '' T '' ; Le R de → de Ω est un processus de saucisse de et ce X : × de '' T '' ; Le R de → de Ω est un procédé stochastique adapté par de à la filtration normale du processus de saucisse. Alors l'intégrale d'Itō de du du X de en ce qui concerne le W de est une variable aléatoire

\ int_ {a} ^ {b} X_ {} de t \, \ mathrm {d} W_ {t} : \ Omega \ \ mathbb {R},

défini pour être le '' L '' limite de 2 de

\ sum_ {I = 0} ^ {k - 1} X_ {} de t_ {I} \ laissé (W_ {t_ {i+1}} - W_ {t_ {I}} \) droit

comme maille de la cloison 0 = < du t 0 ; < du t 1 ; … < ; le k de du t = T de '' T '' tend à 0 (dans le modèle d'une intégrale de Riemann-Stieltjes).

Techniquement parlant, la construction est d'abord effectuée sur une classe de " ; processes" élémentaire ; et alors prolongé à la fermeture de cette classe dans le L norme de 2. La collection de tous les processus intégrables d'Itō est parfois le dénoté L 2 ( W ).

Un fait crucial sur cette intégrale est le lemme d'Itō de , qui permet à on de comparer des intégrales classiques et stochastiques et de calculer le désaccord d'une intégrale d'Itō.

Généralisation : intégration en ce qui concerne une martingale

Le procédé employé pour définir l'intégrale d'Itō fonctionne pour des procédés stochastiques plus généraux que le W de processus de saucisse, et peut être employé pour définir l'intégrale stochastique de n'importe quel processus adapté en ce qui concerne n'importe quelle martingale .

Laisser le M : × de '' T '' ; Le R de → de Ω soit une martingale à valeurs réelles en ce qui concerne sa filtration normale de

\ ^ mathcal du _ {F} {t} {M} : = \ sigma \ est parti \ {le ^ de M_ {s} {- 1} (a) \ est parti| A \ dans \ mathrm {Borel} (\ mathbb {R}), 0 \ leq s \ leq t \ droit. \ droit \},

c. de

\ mathbb {E} (M_ {t} | \ ^ mathcal du _ {F} {s} {M}) = M_ {s}.

Laisser maintenant le X : × de '' T '' ; Le R de → de Ω soit un procédé stochastique adapté au de filtration \ au ^ mathcal du _ {F} {t} {M} . Puis l'intégrale d'Itō de du du X de en ce qui concerne le M de , dénotée

\ int_ {a} ^ {b} X_ {} de t \, \ mathrm {d} M_ {t},

est défini pour être le '' L '' la limite de 2 de

\ sum_ {I = 0} ^ {k - 1} X_ {} de t_ {I} \ laissé (M_ {t_ {i+1}} - M_ {t_ {I}} \) droit

comme maille de la cloison 0 = < du t 0 ; < du t 1 ; … < ; le k de du t = T de '' T '' tend à 0. La collection de tout le X de processus pour laquelle l'intégrale d'Itō en ce qui concerne le M est définie est parfois le dénoté L 2 ( M ).

La définition peut être encore prolongée à tous les processus tels que de \ mathbb {P} \ (\ int_0^ \ X_t^2 infty \, \ mathrm {d} t < \ infty \ droit) =1. laissé par un argument de localisation.

Autre s'approche

Le Stratonovich intégral est une autre manière de définir des intégrales stochastiques. Sa règle de dérivation est plus simple que le lemme d'Ito de .

Dans la définition de l'intégrale de Stratonovich, le même procédé limiteur est employé excepté choisir la valeur du de processus X au point médian de chaque sous-intervalle au lieu du point final à gauche : c.

X_ {(t_ {i+1} +) de t_ {I}/2} au lieu de X_ {t_ {I}}.

La conversion entre les intégrales d'Itō et de Stratonovich peut être exécutée using la formule

\ int_ {0} ^ {T} \ sigma (t, X_ {t}) \ circ \ mathrm {d} W_ {t} = \ frac {1} {2} \ int_ {0} ^ {T} \ sigma (t, X_ {t}) \ sigma (t, X_ {t}) \, \ mathrm {d} t + \ int_ {0} ^ {T} \ sigma (t,) de X_ {t} \, \ mathrm {d} W_ {t},

là où X est un certain processus, \ sigma (t, x) : = \ frac {\ partiel \ sigma} {\ x partiel} (t, x), et \ int_ {0} ^ {} de T \ sigma (t,) de X_ {t} \ circ \ mathrm {d} W_ {t} dénote l'intégrale de Stratonovich.

D'autres prolongements de calcul d'Itō : dérivé stochastique

Le calcul d'Itō, aussi d'inauguration et remarquable qu'il est, parce que plus de 60 ans a seulement été un calcul intégral : il n'y avait aucune théorie explicite de différentiation de pathwise derrière elle. Cependant, en 2004 (édité en 2006) Hassan Allouba a défini le dérivé d'un donné S de semimartingale en ce qui concerne le mouvement brownien using la covariation : pour S_ de

{t} = S_ {0} + V_ {t} + M_ {t},

là où le V est un processus de la variation liée et le M est une martingale locale, le dérivé du S en ce qui concerne le B est défini pour être = de S_ de _ de \ mathbb de

{D} {B_ {t}} {t} \ frac {\ mathrm {d} \ langle S, B \ rangle_ {t}} {\ mathrm {} de d \ langle B, B \ rangle_ {t}} = \ frac {\ mathrm {} de d \ langle S, B \ rangle_ {t}} {\ mathrm {d} t},

là où la covariation du mouvement brownien est juste la variation quadratique .

Ce dérivé stochastique s'avère avoir plusieurs des propriétés du dérivé habituel du calcul élémentaire. La différence principale est que là où une intégrale indéfinie (anti-dérivé) de dans le sens habituel est déterminée seulement jusqu'à une constante de l'intégration additive, une intégrale indéfinie dans ce calcul stochastique est déterminée seulement jusqu'à une variation liée de processus (qui pourrait être une fonction des variables déterministes). Ces processus sont le " ; constants" ; dans le calcul et la différentiation stochastiques. Pour voir pourquoi c'est le cas, observer que quand nous prenons la covariation de quelque chose déterministe et de quelque chose qui sont aléatoires, la covariation disparaît : c., pour tout de fonction continue et déterministe f avec des dérivés du n , de

\ _ du mathbb {D} {B_ {t}} f (t) = \ frac {\ mathrm {} de d \ langle f, B \ rangle_ {t}} {\ mathrm {d} t} = 0.

Il y a une version de le théorème fondamental du calcul pour cette paire dérivée/intégrale :

\ mathbb {D} _ {B_ {t}} \ int_ {0} ^ {t} X_ {} de s \ mathrm {d} B_ {s} = X_ {t}

et

\ int_ {0} ^ {t} \ mathbb {D} _ {B_ {s}} S_ {} de s \ mathrm {d} B_ {s} = S_ {t} - S_ {0} - V_ {t}.

En outre, ce calcul stochastique a des versions stochastiques de beaucoup d'autres théorèmes de calcul élémentaire.

la règle à chaînes de : de
de \ _ du mathbb {D} {B_ {t}} f (S_ {t}) = f (S_ {t}) \ _ du mathbb {D} {B_ {t}} S_ {t}.

  • la règle d'addition de : de
\ mathbb {D} _ {B_ {t}} \ parti (S_ {t} ^ {(1) ^} \ P. b S_ {t} {(2)} \ droit) = a \ mathbb {D} _ {B_ {t}} S_ {t} ^ {(1)} \ P. b \ ^ de S_ _ du mathbb {D} {B_ {t}} {t} {(2)}. \ mathbb {D} _ {} de B_ {t} \ laissé (^ de S_ de ^ de S_ {t} {(1)} {t} {(2)} \ droit) = ^ de S_ {t} {(2)} \ ^ de S_ _ du mathbb {D} {B_ {t}} {t} {(1)} + ^ de S_ {t} {(1)} \ ^ de S_ _ du mathbb {D} {B_ {t}} {t} {(2)}. \ mathbb {D} _ {} de B_ {t} \ laissé (\ frac {^ de S_ {t} {(1)}} {^ de S_ {t} {(2)}} \ droit) = \ ^ de S_ de ^ S_ de frac {^ de S_ {t} {(2)} \ _ de mathbb {D} {B_ {t}} {t} {(1)} - {t} {(1)} \ ^ de S_ _ du mathbb {D} {B_ {t}} {t} {(2)}} {^ {2}}.

Il y a des versions stochastiques également correspondantes du théorème de Rolle de et du théorème de valeur moyenne .

Voir également


processus de saucisse
Le lemme d'Itō de

.

Random links:L'université du Christ, Cambridge | Menthe de Dahlonega | Tarif de 1833 | Crossley | Gymnema sylvestre | Cálculo_de_Itō