En stokastisk differentialligning (SDE) er en differentialligning , hvor et eller flere led er af stokastisk karakter, det vil sige, at de er en stokastisk (tilfældig) proces . Ligningens løsninger viser sig således også at være stokastiske processer. Det mest kendte og mest brugte eksempel på en SDE er en ligning med et udtryk for hvid støj (som kan opfattes som et eksempel på en afledt af en Wiener-proces ). Der er dog andre typer af tilfældige udsving, såsom en springproces .
I litteraturen er den første brug af SDE traditionelt forbundet med arbejdet med beskrivelsen af Brownsk bevægelse , udført uafhængigt af Marian Smoluchowski ( 1904 ) og Albert Einstein ( 1905 ). SDE'er blev dog brugt lidt tidligere ( 1900 ) af den franske matematiker Louis Bouchelier i hans doktorafhandling "Theory of Assumptions". Baseret på ideerne i dette arbejde begyndte den franske fysiker Paul Langevin at anvende SDE i sit arbejde med fysik. Senere udviklede han og den russiske fysiker Ruslan Stratonovich en mere stringent matematisk begrundelse for SDE.
I fysik er SDE'er traditionelt skrevet i form af Langevin-ligningen. Og ofte, men ikke helt præcist, omtalt som selve Langevin-ligningen , selvom SDE kan skrives på mange andre måder. SDE i form af Langevin-ligningen består af en almindelig ikke-stokastisk differentialligning og en ekstra del, der beskriver hvid støj . Den anden almindelige form er Fokker-Planck-ligningen , som er en partiel differentialligning, der beskriver udviklingen af en sandsynlighedstæthed over tid. Den tredje form af SDE er mere almindeligt brugt i matematik og finansiel matematik, den ligner Langevin-ligningerne, men er skrevet ved hjælp af stokastiske differentialer (se detaljer nedenfor).
Brownsk bevægelse (på matematiksproget, Wiener-processen) viste sig at være et meget komplekst matematisk objekt. Især en Wiener-proces er ikke-differentierbar, så at manipulere processer af denne type krævede oprettelsen af en egen kalkulus (teorien om stokastiske integraler ). To versioner af den stokastiske calculus er i øjeblikket i brug , Itô stokastiske calculus og Stratonovich stokastiske calculus . Normalt kan SDE'en i Ito-formen nemt omskrives til SDE'en i Stratonovich-formen og omvendt, men det er altid nødvendigt eksplicit at angive den form, som SDE'en er skrevet i.
Ligesom for almindelige differentialligninger er det vigtigt at vide, om SDE'en har en løsning, og i givet fald om denne løsning er unik. Vi præsenterer formuleringen af eksistens- og unikhedssætningen for Itô- ligningen . Et bevis findes i Øksendal (2003, § 5.2).
Lad løsningen tage værdier i det dimensionelle euklidiske rum , hvor der defineres en dimensionel tilfældig proces , der beskriver Brownsk bevægelse ;
Lad , og lad
er målbare funktioner, for hvilke der er konstanter og sådan
for alle og enhver og hvor
Lade være en tilfældig variabel uafhængig af -algebra genereret af processen , , og har et endeligt andet moment :
Derefter den stokastiske differentialligning for givne begyndelsesbetingelser
tilhar en unik (i betydningen "næsten sandsynligvis") og -kontinuerlig løsning , sådan som er en tilpasset proces til filtrering genereret af og , , og
I fysik er SDE'er ofte skrevet i form af Langevin-ligningen. For eksempel kan et første-ordens SDE-system skrives som:
hvor er et sæt af ukendte, og er vilkårlige funktioner, og er tilfældige funktioner af tid, som ofte kaldes støjudtryk. Denne notation bruges, fordi der er en standardteknik til at konvertere en ligning med højere afledte til et system af førsteordens ligninger ved at introducere nye ukendte. Hvis der er konstanter, siges systemet at være udsat for additiv støj. Vi overvejer også systemer med multiplikativ støj, når . Af de to behandlede tilfælde er additiv støj den enkleste. Løsningen på et system med additiv støj kan ofte findes ved kun at bruge metoderne fra standardregning . Især kan den sædvanlige metode til at komponere ukendte funktioner anvendes. Men i tilfælde af multiplikativ støj er Langevin-ligningen dårligt defineret i betydningen almindelig matematisk analyse og skal fortolkes i forhold til Itô-regningen eller Stratonovich-regningen.
I fysik er hovedmetoden til at løse SDE'er at finde en løsning i form af en sandsynlighedstæthed og transformere den oprindelige ligning til Fokker-Planck-ligningen. Fokker-Planck-ligningen er en partiel differentialligning uden stokastiske udtryk. Det bestemmer tidsudviklingen af sandsynlighedstætheden, ligesom Schrödinger-ligningen bestemmer tidsafhængigheden af et systems bølgefunktion i kvantemekanik, eller diffusionsligningen bestemmer tidsudviklingen af kemisk koncentration. Løsninger kan også søges numerisk, for eksempel ved hjælp af Monte Carlo-metoden . Andre teknikker til at finde løsninger bruger sti-integralet , denne teknik er baseret på analogien mellem statistisk fysik og kvantemekanik (for eksempel kan Fokker-Planck-ligningen transformeres til Schrödinger-ligningen ved hjælp af en transformation af variabler), eller løsningen af almindelige differentialligninger for sandsynlighedstæthedsmomenter .
Ordbøger og encyklopædier | ||||
---|---|---|---|---|
|
Matematisk fysik | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Typer af ligninger | |||||||||||
Typer af ligninger | |||||||||||
Grænsebetingelser | |||||||||||
Matematisk fysiks ligninger |
| ||||||||||
Løsningsmetoder |
| ||||||||||
Studie af ligninger | |||||||||||
relaterede emner |