Stokastinen differentiaaliyhtälö

Stokastinen differentiaaliyhtälö (SDE) on differentiaaliyhtälö , jossa yksi tai useampi termi on luonteeltaan stokastinen, eli ne ovat stokastinen (satunnainen) prosessi . Siten yhtälön ratkaisut osoittautuvat myös stokastisiksi prosesseiksi. Tunnetuin ja yleisimmin käytetty esimerkki SDE:stä on yhtälö, jossa on valkoinen kohinatermi (jota voidaan pitää esimerkkinä Wiener-prosessin johdannaisesta ). On kuitenkin myös muita satunnaisia ​​vaihtelutyyppejä, kuten hyppyprosessi .

Historia

Kirjallisuudessa SDE:n ensimmäinen käyttö liittyy perinteisesti työhön Brownin liikkeen kuvauksesta , jonka ovat tehneet Marian Smoluchowski ( 1904  ) ja Albert Einstein ( 1905  ). Kuitenkin SDE:itä käytti hieman aikaisemmin ( 1900  ) ranskalainen matemaatikko Louis Bouchelier väitöskirjassaan "Oletusteoria". Tämän työn ideoiden perusteella ranskalainen fyysikko Paul Langevin alkoi soveltaa SDE:tä fysiikan työssään. Myöhemmin hän ja venäläinen fyysikko Ruslan Stratonovich kehittivät SDE:lle tiukemman matemaattisen perustelun.

Terminologia

Fysiikassa SDE:t kirjoitetaan perinteisesti Langevinin yhtälön muodossa. Ja usein, mutta ei täysin tarkasti, kutsutaan itse Langevin-yhtälöksi , vaikka SDE voidaan kirjoittaa monilla muilla tavoilla. Langevin-yhtälön muodossa oleva SDE koostuu tavallisesta ei-stokastisesta differentiaaliyhtälöstä ja lisäosasta, joka kuvaa valkoista kohinaa . Toinen yleinen muoto on Fokker-Planck-yhtälö , joka on osittainen differentiaaliyhtälö, joka kuvaa todennäköisyystiheyden kehitystä ajan kuluessa. SDE:n kolmatta muotoa käytetään yleisemmin matematiikassa ja talousmatematiikassa, se muistuttaa Langevinin yhtälöitä, mutta on kirjoitettu käyttämällä stokastisia differentiaaleja (katso yksityiskohdat alla).

Stokastinen laskenta

Brownin liike (matematiikan kielellä Wiener-prosessi) osoittautui erittäin monimutkaiseksi matemaattiseksi objektiksi. Erityisesti Wiener-prosessi on ei-differentioituva, joten tämän tyyppisten prosessien manipulointi vaati oman laskelman luomista ( stokastisten integraalien teoria ). Stokastisesta laskusta on tällä hetkellä käytössä kaksi versiota , Itôn stokastinen ja Stratonovichin stokastinen laskenta . Yleensä Ito-muodossa oleva SDE voidaan helposti kirjoittaa uudelleen SDE:hen Stratonovich-muodossa ja päinvastoin, mutta aina on tarpeen määrittää selkeästi muoto, jossa SDE kirjoitetaan.

Ratkaisun olemassaolo ja ainutlaatuisuus

Aivan kuten tavallisten differentiaaliyhtälöiden kohdalla, on tärkeää tietää, onko SDE:llä ratkaisu ja jos on, onko tämä ratkaisu ainutlaatuinen. Esitämme Itôn yhtälön olemassaolon ja ainutlaatuisuuslauseen muotoilun . Todiste löytyy Øksendalista (2003, § 5.2).

Olkoon ratkaisun arvot -ulotteisessa euklidisessa avaruudessa , jossa määritellään -ulotteinen satunnaisprosessi, joka kuvaa Brownin liikettä ;

Anna ja anna

ovat mitattavissa olevia funktioita , joille on vakioita ja sellaisia

kaikille ja kaikille ja missä

Olkoon  satunnaismuuttuja, joka on riippumaton prosessin , generoimasta -algebrasta ja jolla on äärellinen toinen hetki :

Sitten stokastinen differentiaaliyhtälö annetuille alkuolosuhteille

varten

sillä on ainutlaatuinen ("melkein todennäköisesti") ja -jatkuva ratkaisu , joka  on mukautettu prosessi suodatukseen , jonka muodostavat ja , , ja

Stokastisten yhtälöiden soveltaminen

Fysiikka

Fysiikassa SDE:t kirjoitetaan usein Langevinin yhtälön muodossa. Esimerkiksi ensimmäisen asteen SDE-järjestelmä voidaan kirjoittaa seuraavasti:

jossa  on joukko tuntemattomia, ja  ne ovat mielivaltaisia ​​​​funktioita ja  ovat ajan satunnaisia ​​​​funktioita, joita kutsutaan usein kohinatermeiksi. Tätä merkintää käytetään, koska on olemassa standarditekniikka, jolla yhtälö, jolla on korkeammat derivaatat, muunnetaan ensimmäisen asteen yhtälöjärjestelmäksi ottamalla käyttöön uusia tuntemattomia. Jos  ovat vakioita, järjestelmän sanotaan olevan alttiina lisäkohinalle. Otamme huomioon myös järjestelmät, joissa on multiplikatiivista kohinaa, kun . Kahdesta tarkastelusta tapauksesta additiivinen melu on yksinkertaisempi. Ratkaisu additiivinen kohinajärjestelmään voidaan usein löytää vain standardilaskennan menetelmillä . Erityisesti voidaan käyttää tavallista menetelmää tuntemattomien funktioiden muodostamiseksi. Multiplikatiivisen kohinan tapauksessa Langevinin yhtälö on kuitenkin huonosti määritelty tavallisen matemaattisen analyysin kannalta ja se on tulkittava Itô- tai Stratonovich-laskennan avulla.

Fysiikassa pääasiallinen menetelmä SDE:iden ratkaisemiseksi on löytää ratkaisu todennäköisyystiheyden muodossa ja muuntaa alkuperäinen yhtälö Fokker-Planck-yhtälöksi. Fokker-Planck-yhtälö on osittainen differentiaaliyhtälö ilman stokastisia termejä. Se määrittää todennäköisyystiheyden aikakehityksen, aivan kuten Schrödingerin yhtälö määrittää järjestelmän aaltofunktion aikariippuvuuden kvanttimekaniikassa, tai diffuusioyhtälö määrittää kemiallisen pitoisuuden aikakehityksen. Ratkaisuja voidaan etsiä myös numeerisesti, esimerkiksi Monte Carlo -menetelmällä . Muut ratkaisujen löytämistekniikat käyttävät polkuintegraalia , tämä tekniikka perustuu tilastollisen fysiikan ja kvanttimekaniikan analogiaan (esim. Fokker-Planck-yhtälö voidaan muuntaa Schrödingerin yhtälöksi käyttämällä jotakin muuttujien muunnosta) tai tavalliset differentiaaliyhtälöt todennäköisyystiheysmomenteille .

Linkit

Kirjallisuus