www.wikidata.de-de.nina.az
Die Theorie der stochastischen Integration befasst sich mit Integralen und Differentialgleichungen in der Stochastik Sie verallgemeinert die Integralbegriffe von Henri Leon Lebesgue und Thomas Jean Stieltjes auf eine breitere Menge von Integratoren Es sind stochastische Prozesse mit unendlicher Variation insbesondere der Wiener Prozess als Integratoren zugelassen Die Theorie der stochastischen Integration stellt dabei die Grundlage der stochastischen Analysis dar deren Anwendungen sich zumeist mit der Untersuchung stochastischer Differentialgleichungen beschaftigen Inhaltsverzeichnis 1 Geschichte 2 Stochastische Integration 2 1 Integralbegriff nach Wiener 2 2 Integralbegriffe nach Itō und Stratonowitsch 2 2 1 Itō Integral 2 2 2 Stratonowitsch Integral 2 2 3 Vergleich der Integrale 2 3 Verallgemeinerungen 2 3 1 Integralbegriff nach Ogawa 2 3 2 Integralbegriff nach Marcus 2 3 3 Integralbegriff nach Hitsuda Skorochod 2 3 4 Integralbegriff nach Walsh 3 Beispiele 4 Martingaleigenschaft 5 Anwendung Itō Prozess 6 Siehe auch 7 Literatur 8 EinzelnachweiseGeschichte BearbeitenSchon Norbert Wiener untersuchte Integrale von deterministischen Integranden f t displaystyle f t nbsp bezuglich der brownschen Bewegung der Form 1 f t d t X t w displaystyle int f t mathrm d t X t omega nbsp und mehrdimensionale stochastische Integrale dieser Form Itō Kiyoshi verallgemeinerte diese Resultate und die moderne Theorie der stochastischen Integration baut im Wesentlichen auf seiner Arbeit auf 2000 wurde ein versiegelter Umschlag von Wolfgang Doblin aus dem Jahre 1940 geoffnet Darin befanden sich Resultate uber die stochastische Integration die er Itō Kiyoshi vorwegnahm Doblin verstarb allerdings im selben Jahr weshalb die Arbeit unentdeckt blieb Stochastische Integration BearbeitenEs existieren verschiedene stochastische Integralbegriffe Generell um klassische stochastisches Integral zu konstruieren Wiener Itō Stratonowitsch muss der Integrand X displaystyle X nbsp gewisse Kriterien der Messbarkeit und Integrierbarkeit erfullen Sei hier M 0 loc c displaystyle mathcal M 0 operatorname loc c nbsp der Raum der F t displaystyle mathcal F t nbsp adaptierten stetigen lokalen Martingale M M t t 0 displaystyle M M t t geq 0 nbsp mit M 0 0 displaystyle M 0 0 nbsp Fur M M 0 loc c displaystyle M in mathcal M 0 operatorname loc c nbsp mit E M lt displaystyle mathbb E langle M rangle infty lt infty nbsp definiert man den L2 Hilbert Raum der Aquivalenzklassen von L 0 W B 0 F m M displaystyle mathcal L 0 infty times Omega mathcal B 0 infty otimes mathcal F infty mu M nbsp wobei m M displaystyle mu M nbsp fur 3 B 0 F displaystyle Xi in mathcal B 0 infty otimes mathcal F infty nbsp durch m M 3 E 0 1 3 s w d M s w displaystyle mu M Xi mathbb E left int 0 infty 1 Xi s omega mathrm d langle M rangle s omega right nbsp definiert ist die Norm wird durch m M displaystyle mu M nbsp induziert Die richtige Wahl der Integranden sind die L 2 m M displaystyle L 2 mu M nbsp integrierbaren progressiv messbaren X displaystyle X nbsp Mochte man allgemeiner gegen nicht stetige Semimartingale integrieren dann muss man die Klasse der Integranden auf vorhersagbare Prozesse beschranken 2 Integralbegriff nach Wiener Bearbeiten Sei C displaystyle C nbsp der klassische Wiener Raum ausgestattet mit dem Wiener Mass m W displaystyle mu W nbsp Sei F displaystyle F nbsp ein Funktional auf C displaystyle C nbsp dann nennt man C F x d m W displaystyle int C F x mathrm d mu W nbsp Wiener Integral 3 4 Allgemein werden Integrale einer deterministischen Funktion bezuglich eines Wiener Prozesses so bezeichnet Integralbegriffe nach Itō und Stratonowitsch Bearbeiten Itō Integral BearbeitenDas Itō Integral ist zunachst fur Semimartingale Y displaystyle Y nbsp und fur elementare vorhersagbare Prozesse definiert d h fur an eine Filtration F t t displaystyle mathcal F t t nbsp adaptierte stochastische Prozesse H displaystyle H nbsp der FormH t h 0 1 0 t i 0 n 1 h i 1 t i t i 1 t 0 t 0 lt lt t n n N h i F t i messbar displaystyle H t h 0 1 0 t sum limits i 0 n 1 h i 1 t i t i 1 t quad 0 t 0 lt lt t n quad n in mathbb N quad h i text mathcal F t i text messbar nbsp durchI Y H i 0 n 1 h i Y t i Y t i 1 displaystyle I Y H sum limits i 0 n 1 h i left Y t i Y t i 1 right nbsp Die elementaren Prozesse konnen alternativ auch allgemeiner mit Stoppzeiten anstelle von deterministischen Zeitpunkten t i displaystyle t i nbsp definiert werden Sei L displaystyle mathbf L nbsp der Raum der adaptierten Caglad Prozesse und S displaystyle mathbf S nbsp der Raum der elementaren vorhersagbaren Prozesse Wir nennen die Topologie welche durch die gleichmassige Konvergenz auf kompakten Mengen in Wahrscheinlichkeit erzeugt wird die UCP Topologie UCP fur englisch uniformly on compact in probability Man kann nun zeigen dass S displaystyle mathbf S nbsp in der UCP Topologie dicht in L displaystyle mathbf L nbsp liegt Damit lasst sich das stochastische Integral als lineare Abbildung H I Y H displaystyle H longmapsto I Y H nbsp auf L displaystyle mathbf L nbsp fortsetzen Konkret Das Ito Integral eines Prozesses X L displaystyle X in mathbf L nbsp ist also definiert als der Grenzwert 0 t X s d Y s 0 t X s n d Y s in UCP displaystyle int 0 t X s mathrm d Y s int 0 t X s n mathrm d Y s quad text in UCP nbsp fur jede Folge von Prozessen X n n S displaystyle X n n subseteq mathbf S nbsp die gegen X displaystyle X nbsp konvergieren bzgl der UCP Topologie Die Definition ist in der Tat unabhangig von der gewahlten Folge In der allgemeinsten Formulierung werden als Integratoren Semimartingale Y displaystyle Y nbsp und als Integranden vorhersagbare Prozesse X displaystyle X nbsp zugelassen die zusatzlich gewisse Integrierbarkeitsbedingungen erfullen Sind die Integratoren Y displaystyle Y nbsp zusatzlich stetig genugt es fur die Integranden X displaystyle X nbsp progressiv messbar und in L Y displaystyle L Y nbsp zu sein Als Folge der abstrakten Konstruktion des Integrals erhalt man folgenden anschaulicheren Zusammenhang Seien Y displaystyle Y nbsp ein Semimartingal und X displaystyle X nbsp ein adaptierter Cadlag oder Caglad Prozess Dann gilt fur jede Folge reeller Zahlen T n n displaystyle left T n right n nbsp mit lim n T n displaystyle lim n to infty T n infty nbsp und fur jede Folge p n n displaystyle left pi n right n nbsp von Partitionen des Intervalls 0 T n displaystyle 0 T n nbsp mit lim n sup k t k 1 n t k n 0 displaystyle lim n to infty sup k t k 1 n t k n 0 nbsp die Konvergenzsup t 0 T 0 t X s d Y s i X t i n Y t i 1 n t Y t i n t n 0 displaystyle sup t in 0 T Big int 0 t X s mathrm d Y s sum i X t i n Y t i 1 n land t Y t i n land t Big xrightarrow n to infty 0 nbsp in Wahrscheinlichkeit T gt 0 displaystyle forall T gt 0 nbsp wobei X s lim u s u lt s X u displaystyle X s lim u to s u lt s X u nbsp die linkstetige Version von X displaystyle X nbsp und t s min t s displaystyle t land s min t s nbsp Dies lasst sich auch kompakter schreiben alslim n i X t i n Y t i 1 n t Y t i n t 0 t X s d Y s in UCP displaystyle lim n to infty sum i X t i n Y t i 1 n land t Y t i n land t int 0 t X s mathrm d Y s quad text in UCP nbsp Die Aussage gilt sogar allgemeiner fur Folgen von random partitions tending to the identity was aber mehr Notation fur die Definition des Begriffs erfordert 5 Stratonowitsch Integral Bearbeiten Hauptartikel Stratonowitsch IntegralFur ein Semimartingal Y displaystyle Y nbsp und ein adaptierter Cadlag Prozess X displaystyle X nbsp sodass die quadratische Kovariation X Y displaystyle left X Y right nbsp existiert kann man das Stratonowitsch Integral oder Fisk Stratonowitsch Integral nach Ruslan Leontjewitsch Stratonowitsch und Donald Fisk definiert durch 0 t X s d Y s 0 t X s d Y s 1 2 X Y t 1 2 0 s t D Y s D X s 0 t X s d Y s 1 2 X Y t c displaystyle begin aligned int 0 t X s circ mathrm d Y s amp int 0 t X s mathrm d Y s frac 1 2 left X Y right t frac 1 2 sum limits 0 leq s leq t Delta Y s Delta X s amp int 0 t X s mathrm d Y s frac 1 2 left X Y right t c end aligned nbsp wobei 0 t X s d Y s displaystyle int 0 t X s mathrm d Y s nbsp das Itō Integral und D Y s Y s Y s displaystyle Delta Y s Y s Y s nbsp die Sprungstelle von Y displaystyle Y nbsp an der Stelle s displaystyle s nbsp sind Daraus folgt ahnlich wie beim Ito Integral eine anschaulichere Darstellung des Integrals Seien Y displaystyle Y nbsp und X displaystyle X nbsp wie in der obigen Definition und gelte zusatzlich dass Y displaystyle Y nbsp und X displaystyle X nbsp keine Sprunge zum gleichen Zeitpunkt haben d h 0 t D Y t D X t 0 displaystyle sum limits 0 leq t Delta Y t Delta X t 0 nbsp Dann gilt fur jede Folge reeller Zahlen T n n displaystyle left T n right n nbsp mit lim n T n displaystyle lim n to infty T n infty nbsp und fur jede Folge p n n displaystyle left pi n right n nbsp von Partitionen des Intervalls 0 T n displaystyle 0 T n nbsp mit lim n sup k t k 1 n t k n 0 displaystyle lim n to infty sup k t k 1 n t k n 0 nbsp die Konvergenzlim n i 1 2 X t i n X t i 1 n Y t i 1 n t Y t i n t 0 t X s d Y s in UCP displaystyle lim n to infty sum i frac 1 2 X t i n X t i 1 n Y t i 1 n land t Y t i n land t int 0 t X s mathrm d Y s quad text in UCP nbsp Auch hier gilt die Aussage noch allgemeiner fur sequences of random partitions tending to the identity Vergleich der Integrale Bearbeiten Beim Itō Integral wird der Integrand X displaystyle X nbsp also stets am Anfang des h displaystyle h nbsp Intervalls ausgewertet bei Stratonowitsch werden der Anfangs und Endwert gemittelt Bei gewohnlichen Riemann oder Lebesgue Integralen von deterministischen nicht zufalligen und hinreichend glatten beispielsweise stetigen Funktionen hat dies keinen Einfluss auf das Ergebnis doch im stochastischen Fall gilt Sind X displaystyle X nbsp und Y displaystyle Y nbsp nicht unabhangig so kann das tatsachlich zu verschiedenen Werten fuhren siehe Beispiel unten nbsp Eine Brownsche Bewegung B s displaystyle B s nbsp und das Integral von B s d B s displaystyle B s mathrm d B s nbsp Verallgemeinerungen Bearbeiten Integralbegriff nach Ogawa Bearbeiten Hauptartikel Ogawa Integral Der Integralbegriff ist fur nicht adaptierte Integranden Man bildet eine Zufallsreihe mit Hilfe eines orthonormalen Systems im L 2 displaystyle L 2 nbsp Hilbertraum und lasst diese dann gegen das Ogawa Integral konvergieren Der entsprechende Kalkul wird nicht kausales Kalkul genannt 6 Integralbegriff nach Marcus Bearbeiten Eine Verallgemeinerung des Fisk Stratonowitsch Integrals auf allgemeine Semimartingale mit Jumps ist das Marcus Integral Stochastische Differentialgleichungen mit diesem Integralbegriff nennt man vom Marcus Typ Marcus entwickelte ein Kalkul welches auf dem Kalkul von McShane basiert 7 Integralbegriff nach Hitsuda Skorochod Bearbeiten Hauptartikel Skorochod Integral Eine Erweiterung des Itō Integrals auf nicht adaptierte Prozesse ist das Hitsuda Skorochod Integral 8 Das Integral ist ein Spezialfall des adjungierten Operators des Ableitungsoperator der Malliavin Ableitung Im Falle der Integrierbarkeit bezuglich der brownschen Bewegung und der Adaptierbarkeit des Integranden erhalt man gerade das Itō Integral Alternativ lasst sich das Integral auch uber die Wiener Chaos Zerlegung definieren Integralbegriff nach Walsh Bearbeiten Das Walsh Integral ist ein Integral bezuglich eines Martingal Masses um stochastische partielle Differentialgleichungen zu studieren Das Integral wurde von John B Walsh eingefuhrt Von Robert C Dalang existiert eine Erweiterung fur distributionelle Integranden Beispiele BearbeitenSei W t t gt 0 displaystyle W t t gt 0 nbsp ein Standard Wiener Prozess Trivialerweise a b d W t W b W a displaystyle int a b mathrm d W t W b W a nbsp fur a b 0 displaystyle a b geq 0 nbsp Sei W t t gt 0 displaystyle W t t gt 0 nbsp ein Standard Wiener Prozess Zu berechnen ist das Itō Integral 0 T W t d W t displaystyle int 0 T W t mathrm d W t nbsp Schreibt man der Kurze halber B i W i T n D B i B i 1 B i displaystyle B i W iT n Delta B i B i 1 B i nbsp und benutzt man die IdentitatB i 1 2 B i 2 B i 1 B i 2 2 B i B i 1 B i displaystyle B i 1 2 B i 2 B i 1 B i 2 2B i B i 1 B i nbsp dd so erhalt man aus obiger IntegrationsvorschriftI lim n i 0 n 1 B i B i 1 B i lim n 1 2 i 0 n 1 B i 1 2 B i 2 1 2 i 0 n 1 B i 1 B i 2 1 2 lim n i 0 n 1 B i 1 2 B i 2 1 2 lim n i 0 n 1 D B i 2 1 2 lim n B n 2 B 0 2 T 2 lim n 1 n i 0 n 1 n T D B i 2 displaystyle begin aligned I amp lim n to infty sum i 0 n 1 B i B i 1 B i amp lim n to infty left frac 1 2 sum i 0 n 1 B i 1 2 B i 2 frac 1 2 sum i 0 n 1 B i 1 B i 2 right amp frac 1 2 lim n to infty sum i 0 n 1 B i 1 2 B i 2 frac 1 2 lim n to infty sum i 0 n 1 Delta B i 2 amp frac 1 2 lim n to infty left B n 2 B 0 2 right frac T 2 lim n to infty frac 1 n sum i 0 n 1 left sqrt frac n T Delta B i right 2 end aligned nbsp dd Benutzt man nun einerseits dass B 0 W 0 0 B n W T displaystyle B 0 W 0 0 B n W T nbsp gilt sowie andererseits die Eigenschaft dass n T D B i 2 displaystyle left sqrt frac n T Delta B i right 2 nbsp i i d x 2 displaystyle chi 2 nbsp verteilt ist wegen der unabhangigen normalverteilten Zuwachse der Brownschen Bewegung so folgt mit dem Gesetz der grossen Zahlen fur den hinteren GrenzwertI 1 2 W T 2 T 2 displaystyle I frac 1 2 W T 2 frac T 2 nbsp dd Um das entsprechende Stratonowitsch Integral zu berechnen nutzt man die Stetigkeit der Brownschen Bewegung aus S lim n i 0 n 1 1 2 B i 1 B i B i 1 B i lim n i 0 n 1 1 2 B i 1 2 B i 2 lim n 1 2 B n 2 B 0 2 1 2 W T 2 displaystyle begin aligned S amp lim n to infty sum i 0 n 1 frac 1 2 B i 1 B i B i 1 B i amp lim n to infty sum i 0 n 1 frac 1 2 B i 1 2 B i 2 amp lim n to infty frac 1 2 B n 2 B 0 2 amp frac 1 2 W T 2 end aligned nbsp dd Itō und Stratonowitsch Integral uber demselben Prozess fuhren also zu verschiedenen Ergebnissen wobei das Stratonowitsch Integral eher der intuitiven Ahnung aus der gewohnlichen deterministischen Integralrechnung entspricht Martingaleigenschaft BearbeitenDer bei weitem am haufigsten verwendete Integrator Y displaystyle Y nbsp ist eine Brownsche Bewegung Der entscheidende Vorteil den das Stratonowitsch Integral nicht hat und der letztendlich dazu fuhrte dass sich das Itō Integral weitgehend als Standard durchgesetzt hat ist die folgende Eigenschaft Sei Y displaystyle Y nbsp ein Levy Prozess mit konstantem Erwartungswert X displaystyle X nbsp eine nicht vorgreifende beschrankte Funktion von Y displaystyle Y nbsp und t displaystyle t nbsp d h fur jedes t gt 0 displaystyle t gt 0 nbsp ist X t displaystyle X t nbsp messbar bezuglich der s Algebra s Y s s lt t displaystyle sigma Y s s lt t nbsp die von den Zufallsvariablen Y s s lt t displaystyle Y s s lt t nbsp erzeugt wird so ist der Prozesst 0 t X s d Y s displaystyle t mapsto int 0 t X s mathrm d Y s nbsp dd ein lokales Martingal bezuglich der naturlichen Filtrierung von Y displaystyle Y nbsp Unter zusatzlichen Beschranktheitsbedingungen ist der Integralprozess sogar ein Martingal Anwendung Itō Prozess BearbeitenAusgehend vom Itōschen Integralbegriff ist es nun moglich eine breite Klasse von stochastischen Prozessen zu definieren Demnach wird ein stochastischer Prozess X t displaystyle X t nbsp mit t 0 displaystyle t geq 0 nbsp Itō Prozess genannt wenn es eine Brownsche Bewegung W t displaystyle W t nbsp mit t 0 displaystyle t geq 0 nbsp und stochastische Prozesse a t X t t displaystyle a t X t t nbsp b t X t t displaystyle b t X t t nbsp gibt mit X t X 0 0 t a s X s s d s 0 t b s X s s d W s displaystyle X t X 0 int 0 t a s X s s mathrm d s int 0 t b s X s s mathrm d W s nbsp wobei angenommen wird dass die beiden Integrale existieren 9 In Differentialschreibweise wird diese Gleichung als d X t a t X t t d t b t X t t d W t displaystyle mathrm d X t a t X t t mathrm d t b t X t t mathrm d W t nbsp notiert Ein Itō Prozess kann also als verallgemeinerter Wiener Prozess mit zufalligem Drift und Volatilitat angesehen werden Das Pradikat X displaystyle X nbsp ist ein Itō Prozess wird somit zu einem stochastischen Pendant zum Begriff der Differenzierbarkeit Ausgehend hiervon wurden dann von Itō selbst die ersten stochastischen Differentialgleichungen definiert Hangen der Driftkoeffizient a t displaystyle a t nbsp und der Diffusionskoeffizient b t displaystyle b t nbsp nicht von der Zeit ab so spricht man von Itō Diffusion hangen sie zusatzlich von der Zeit ab so liegt dagegen ein allgemeinerer Itō Prozess vor Durch zahlreiche Anwendungen in der mathematischen Modellierung insbesondere in der statistischen Physik und der Finanzmathematik hat sich der Itō Kalkul inzwischen zu einem unverzichtbaren mathematischen Werkzeug entwickelt Siehe auch BearbeitenDiskretes stochastisches Integral Euler Maruyama VerfahrenLiteratur BearbeitenJ Jacod A Shiryaev Limit theorems for stochastic processes Springer Berlin P Protter Stochastic integrals and differential equations Springer Berlin Einzelnachweise Bearbeiten J L Doob Wiener s work in probability theory In American Mathematical Society Hrsg Bulletin of the American Mathematical Society Band 72 1966 S 69 72 projecteuclid org Daniel Revuz und Marc Yor Continuous Martingales and Brownian Motion In Springer Hrsg Grundlehren der mathematischen Wissenschaften Band 293 1999 englisch Alexandre Joel Chorin Accurate Evaluation of Wiener Integrals In American Mathematical Society Hrsg Mathematics of Computation Band 27 Nr 121 1973 S 1 15 Norbert Wiener Generalized harmonic analysis In Acta Math Band 55 1930 S 117 258 Philip Protter Stochastic Integration and Differential Equations A New Approach 2 korrigierte Auflage Springer Verlag Berlin Heidelberg 1990 ISBN 978 3 662 02619 9 S 49 51 57 216 228 302 S S Ogawa Sur le produit direct du bruit blanc par lui meme In C R Acad Sci Serie A Paris t Band 288 1979 S 359 362 Steven Marcus Modeling and approximation of stochastic differential equation driven by semimartigales In Stochastics Band 4 1981 S 223 245 A V Skorokhod On a Generalization of a Stochastic Integral In Theory of Probability amp Its Applications Band 20 Nr 2 1976 S 219 233 doi 10 1137 1120030 Hui Hsiung Kuo Introduction to Stochastic Integration Springer 2006 ISBN 978 0 387 28720 1 S 102 eingeschrankte Vorschau in der Google Buchsuche Abgerufen von https de wikipedia org w index php title Stochastische Integration amp oldid 238146192