Brownse beweging (wiskunde)
Uit Wikipedia, de vrije encyclopedie
In de kansrekening wordt de term Brownse beweging gehanteerd voor een welbepaald stochastisch proces dat de statistische eigenschappen van het gelijknamige natuurkundige verschijnsel idealiseert (zie Brownse beweging). Een synoniem is Wienerproces, genoemd naar Norbert Wiener.
Inhoud |
[bewerk] Definitie
De Brownse beweging is een stochastisch proces
met de volgende eigenschappen:
- Het universum Ω bestaat uit de continue afbeeldingen van naar ;
- De paden van het proces zijn continu:
- De eindigdimensionale verdelingen zijn Gaussisch:
-
- waar we veronderstellen dat x0 = 0.
De derde voorwaarde betekent dat voor elke eindige verzameling tijdstippen, de bijhorende stochastische variabelen een multivariate normale verdeling hebben. Om precies te zijn: als , dan is de stochastische vector normaal verdeeld met gemiddelden 0 en een diagonale covariantiematrix Σ met diagonaalelementen .
[bewerk] Existentie
Het feit dat een dergelijk proces bestaat, ligt niet voor de hand. De twee belangrijkste resultaten die hiertoe aanleiding geven, worden meestal respectievelijk de stelling van Kolmogorov en de stelling van Kolmogorov-Prochorov genoemd. De eerste construeert een proces op de verzameling (niet noodzakelijk continue) afbeeldingen van naar , de tweede toont aan dat de discontinue paden van dit proces bevat liggen in een nulverzameling.
[bewerk] Verband met stochastische wandeling
De Brownse beweging is het analogon, voor een continue tijdsparameter, van wat de stochastische wandeling betekent voor een discrete tijdsparameter.
[bewerk] Eigenschappen
De Brownse beweging is een Markovproces.
De Brownse beweging is een martingaal. Ook het proces is een martingaal.
De Brownse beweging heeft onafhankelijke toenamen, dit wil zeggen dat voor willekeurige tijdstippen t1 < t2 < t3 < t4 de stochastische variabelen en onderling onafhankelijk zijn.
De paden ω van de Brownse beweging zijn bijna zeker nergens differentieerbaar. Ze vertonen dus een extreem grillig karakter.
[bewerk] Wienerintegraal en Brownse brug
De integraal van stochastische variabelen ("functionalen") ten opzichte van de kansmaat P staat bekend als de Wienerintegraal.
De Brownse brug voor gegeven en is een stochastisch proces dat op dezelfde universumverzameling Ω gedefinieerd wordt, maar waarvan de hoger beschreven eindigdimensionale verdelingen verschillen in de zin dat de integraal over de veranderlijke xn wegvalt, en dat , x0 = x, xn = y en tn = t. Intuïtief komt de Brownse brug overeen met een Brownse beweging, conditioneel op de aankomst in een gegeven punt y op het tijdstip t.
[bewerk] Hogere dimensies
De n-dimensionale Brownse beweging is gewoon het cartesisch product van n onafhankelijke kopieën van de gewone (eendimensionale) Brownse beweging.
[bewerk] Verband met partiële differentiaalvergelijkingen
Vele resultaten uit de theorie der lineaire partiële differentiaalvergelijkingen kunnen elegant en relatief eenvoudig worden geformuleerd in termen van de Brownse beweging. Het bekendste raakpunt tussen beide theorieën is het Feynman-Kac-formalisme. Daarin wordt de oplossing van de Schrödingervergelijking voor zuiver imaginaire tijdstippen gegeven in termen van de Wienerintegraal.
Daarnaast heeft Edward Nelson de Schrödingervergelijking zelf herschreven in termen van een stochastisch proces dat nauw verwant is met de Brownse beweging.
Tenslotte worden harmonische functies gekenmerkt door het feit dat ze de dichtheidsstroom van de Brownse beweging invariant laten. De algemene oplossing van het Dirichlet-randwaardeprobleem voor de Laplace-vergelijking wordt gegeven door een verwachtingswaarde in termen van de (meestal meerdimensionale) Brownse beweging, verschoven over een vector x, op het toevallige tijdstip T (inkomtijd) waarop de Brownse beweging de rand het eerst ontmoet