Vynerio procesas

Vynerio (Wiener) procesas (VP) – nepertraukiamas stochastinis procesas (stocastic process) pavadintas Norberto Vynerio (Norbert Wiener) garbei. VP dažnai dar vadinamas Brauno judėjimu. Tai vienas iš geriausiai žinomų Levy procesų (cadlag stochastiniai procesai su stacionariais nepriklausomais augimais), pasitaikančių teorinėje ir taikomojoje matematikoje, ekonomikoje, fizikoje bei kituose socialiniuose ir gamtos moksluose.

VP atlieka svarbų vaidmenį tiek teorinėje, tiek taikomojoje matematikoje. Teorinėje matematikoje šis procesas paskatino studijas apie kontinuumo laiko martingalus (martingales). Tai yra pagrindinis procesas, pagal kurį galima aprašyti sudėtingus stochastinius procesus. Teorinė matematika vaidina svarbų vaidmenį stochastiniuose skaičiavimuose, sklaidos procesuose ir net potencialų teorijoje. Taikomojoje matematikoje VP naudojamas Gauso baltajam triukšmui aprašyti. Triukšmo modelis turi daugybę taikymų, pvz., yra naudingas neardomų elektronikos prietaisų gedimų aptikimui.

VP taikomas visame matematikos moksle. Fizikoje naudojamas Brauno judėjimui tirti, kai maža medžiagos dalelė juda patalpinta skystyje, arba Fokerio–Planko (Fokker-Planck) ir Lanževeno (Langevin) difuzijos lygtims spręsti. Šis procesas taip pat laikomas kvantinės mechanikos formulavimo pagrindu (Vynerio procesas gali būti apibūdinamas pagal Feinmano–Kaco (Feynman-Kac) formulę arba Šriodingerio (Schrodinger equation) lygties sprendimą). VP taip pat naudingas finansų matematikoje: Bleko–Shoulo (Black-Scholes) opcionų įkainojimo modelis.

Vynerio proceso apibūdinimas 
VP apibrėžiamas trimis sąlygomis:
W0 = 0
Wt beveik visur tolydus
Wt nepriklausomai auga su pasiskirstymu  (for 0 ≤ s < t).

N(μ, σ2)  - žymimas normalusis pasiskirstymas su numatoma verte μ ir dispersija σ. Jei 0 ≤ s1 ≤ t1 ≤ s 2 ≤ t2 tai Wt1</sub></sub> − Ws1</sub></sub> ir Wt2</sub></sub> − Ws2</sub></sub> yra nepriklausomos atsitiktinės reikšmės. Kadangi tai yra nepriklausomas pokytis, todėl ši sąlyga galioja ir n pokyčių turintiems uždaviniams.

Alternatyva Vynerio proceso apibūdinimui yra Levy apibūdinimas, kuris sako: VP yra beveik visur tolydus martingalas, kai W0 = 0 ir kvadratinis pokytis  [Wt, Wt] = t ((kuris reiškia, kad Wt2-t visada martingalas).  

Trečiu atveju VP turi spektrinį sinusinės  eilutės pavidalą, kurios koeficientai yra nepriklausomai pasiskirstę pagal N(0,1)  skirstinį. Ši išraiška gauta naudojant Karhunen-Loeve teoremą.

VP gali būti sukonstruotas kaip atsitiktinio dreifo didėjimo riba, arba kaip diskretaus laiko stochastinis procesas pastoviu nepriklausomu augimu. Tai žinoma kaip Donsker teorema. Kaip ir atsitiktinis dreifas, VP pasikartoja vienmatėje arba dvimatėje erdvėje (tai reiškia, kad beveik visada grįžta į prieš tai buvusią padėtį), tačiau trimatėje ir aukštesnių dimensijų erdvėse tai negalioja. Skirtingai nei dreifo atveju šis invariantas išreikštas 
 
yra Vynerio procesas, kur konstanta α nelygi 0. Vynerio matas yra tikimybių dėsnis tolydžių funkcijų erdvėje g(x), g(0) = 0, kuris išplaukė iš Vynerio proceso. Integralas, remiantis Vynerio matu, gali būti vadinamas Vynerio integralu.

Vienmačio Vynerio proceso savybės

Pagrindinės savybės 

Besąlyginė tikimybės tankio funkcija fiksuotu laiko momentu t:

Atsitiktinio dydžio vidurkis arba matematinė viltis yra 0:

Dispersija yra t:

Kovariacija ir koreliacija:

Matematinės vilties ir dispersijos reikšmės seka iš pokyčio, kuris pasiskirstęs pagal nulinį normalųjį skirstinį. Taigi

 
Kovariacijos ir koreliacijos reikšmės gaunamos iš apibrėžimo, kad nesutampantys pokyčiai yra nepriklausomi, todėl ir nekoreliuoti. Tarkime, kad t1 < t2.

 
 
Keičiame kintamąjį:

Jei W(t1) = W(t1) − W(t0) ir W(t2) − W(t1) yra nepriklausomi tai 

 
Taigi

Automodeliškumas

Brauno mastelis
Kiekvienam c>0 procesas  yra kita Vynerio proceso išraiška.

Laiko apgręžimas
Procesas  kai 0 ≤ t ≤ 1 yra pasiskirstęs kaip  kai 0 ≤ t ≤ 1.

Laiko inversija
Procesas  yra kita Vynerio proceso išraiška.

Klasikinis Brauno martingalas 
Stochastinis procesas 

  yra martingalas,

jei polinomas p(x, t) atitinka diferencialinę lygtį dalinėmis išvestinėmis

 

Pvz.:  yra martingalas, kad proceso W kvadratinė variacija intervale [0,t] yra lygi t. Iš to gaunama, kad proceso W intervale [-c, c] kvadratinė variacija lygi c2.

Bendruoju atveju, kiekvieno polinomo p(x, t) stochastinis procesas yra martingalas:

 
 
Kur a yra polinomas
 
 

Pvz.:  ; procesas  yra martingalas, kuris parodo, kad kvadratinė variacija martingalo  intervale [0,t] yra lygi 

Daugiau apie funkcijos p(x,t) pagrindinius polinomus žiūrėkite [Local martingales]

Funkcijos Trajektorijų Savybės 
Visos funkcijos w su šiomis savybėmis visiškai atitinka VP. Tai savybės, kurias VP turi beveik visur.

Kokybinės savybės
 Kiekvienas ε>0, funkcija w įgyja abi (griežtai) teigiamą ir (griežtai) neigiamą reikšmes intervale (0,ε).
 Funkcija w yra tolydi visoje aibėje, bet niekur nediferencijuojama (kaip Vejerštraso funkcija).
 Taškai lokalaus maksimumo funkcijos w yra tiršta aibė: 
 maksimalios reikšmės poromis skirtingos;  
 kiekvienas lokalus maksimumas atitinka savybę: jei w turi lokalų maksimumą taške t, tai  kai ;  
 tas pats galioja ir minimumams.
 Funkcija w neturi įtakos taško didėjimui t>0 aplinkoje, kaip tikslumas ε intervale (0,t): 
 jei w(s) ≤ w(t) kiekvienam s intervale (t-ε,t); 
 jei w(s) ≥ w(t) kiekvienam s intervale (t,t+ε);  
 lokalus didėjimas yra mažesnis už funkcijos w didėjimą intervale (t-ε,t+ε). 
 tas pats galioja ir funkcijos mažėjimui.
 Funkcija w gali įgyti neribotą skaičių reikšmių kiekviename intervale.
 Nulinė funkcijos w reikšmė nėra tanki ([nowhere dense]), puikiai visa tai apibūdina rinkinys: Lebego erdvėje 0 ir Hausdorff dimensija 1/2.

Kiekybinės savybės
Kartotinio logaritmo dėsnis
 

Tolydumo modulis
Lokalus modulio tęstinumas:
 

Globalus modulio tęstinumas (Levy):
 

Lokalus laikas
Lebego prasme intervale [0, t] funkcija w virsta Lt(*), čia Lt(·) yra skaičius. Taigi,

 
 
Funkcija f(x) atitinka plačią funkcijų klasę (tolydžios funkcijos; integruojamos lokalioje erdvėje funkcijos; išmatuojamos, neneigiamą reikšmę turinčios funkcijos). Skaičius Lt (gali ir bus naudojamas) yra tolydus. Išraiška Lt(x) yra vadinama lokalaus laiko x išraiška, kur x yra funkcijos w reikšmė intervale [0, t]. Tai teigiama reikšmė nuo kiekvieno x iš intervalo (a, b), kur a ir b atitinkamai yra didžiausia ir mažiausia reikšmės, funkcijos w intervale [0, t]. Kai x yra už šio intervalo ribų, funkcija nyksta. Apdoroti dviejų kintamųjų x ir t funkciją yra pakankamai sudėtinga. Sprendžiama funkcija nuo t (kai x yra fiksuotas) yra vieno kintamojo funkcijos w aibė, kur w turi nulinę reikšmę.
Šios tolydumą apibūdinančios savybės yra pakankamai (nevisiškai) netrivialios. Vienu atveju  funkcija lokaliu laiku visada gali būti apibrėžta glodžia funkcija, kitu atveju tai skaiti funkcija, kuri yra trūki, kol funkcija netampa monotonine. Kitaip sakant, yra konfliktas tarp gero elgesio funkcijų ir gero elgesio funkcijų lokaliuoju laiku. Tai reiškia, kad Vynerio proceso tolydumas lokaliuoju laiku, yra kitas netolydžios funkcijos pavyzdys.

Panašūs procesai

Stochastinis procesas apibrėžtas

vadinamas Vynerio procesu su dreifu μ ir labai maža dispersija σ2. Šiuos procesus naudoja tolydūs Levy procesai.

Du atsitiktiniai procesai figūruoja laiko intervale [0, 1], kitaip sakant, kai Vynerio proceso įtaka nyksta abiejuose intervalo [0, 1] galuose. Funkcija įgyja teigiamas ir neigiamas reikšmes intervale [0, 1] ir vadinama Brauno tiltu (Brownian bridge). Funkcija įgijusi tik teigiamas reikšmes intervale [0, 1] vadinama Brauno nuokrypiu (Brownian excursion). Abiem atvejais griežtas funkcijos elgesys apima ribinę procedūrą, kuri išreiškiama formule 
tai negalioja kai .

Geometrinis Brauno judėjimas gali būti aprašytas

 
Tai stochastinis procesas, kuris naudojamas modeliuoti procesams, kurie niekada neįgyja neigiamų reikšmių.

Stochastinis procesas

pasiskirstęs pagal Ornstein–Uhlenbeck procesą.

Vienos reikšmės radimas kai x>0 pagal Vynerio procesą, yra atsitiktinis skaičius, kuris yra pasiskirstęs pagal Levy pasiskirstymą. Atsitiktinių skaičių šeima (kai numeruojami visi teigiami x) yra tolydi iš kairės pagal modifikuotą Levy funkciją. Tolydumas iš dešinės, pagal šį modifikuotą procesą, įgyja pirmą reikšmę iš uždaro intervalo [0, x]. 

Funkcija Lt(0) lokaliuoju laiku elgiasi kaip atsitiktinė funkcija nuo t, o tai yra atsitiktinė funkcija kuri parašoma taip:

Funkcija Lt(x) lokaliuoju laiku elgdamasi kaip atsitiktinė funkcija nuo x (kai t yra konstanta) yra atsitiktinė funkcija, aprašyta Ray-Knight teoremomis su Bassel sąlygomis (Bessel process).

Brauno martingalas
Tarkime, kad įvykis A yra Vynerio proceso įvykis (tiksliau: galima nustatyti įvykio vertę naudojantis Vynerio procesu visų funkcijų erdvėje), ir Xt yra sąlyginė tikimybė įvykio A, kuri duoda Vynerio proceso išraišką intervale [0, t] (tiksliau: Vynerio funkcijos trajektorijų sistemoje dalis trajektorijų intervale [0, t] priklauso nuo A). Tada funkcija Xt yra tolydus martingalas. Ši martingalo savybė gaunama tiesiogiai iš apibrėžimo, bet šis tolydumo faktas yra specifinis, nes tai yra pagrindinė teorema, nusakanti, kad visi Brauno martingalai yra tolydūs. Pagal apibrėžimą Brauno martingalas gaunamas iš Brauno filtracijos; Brauno filtracija pagal apibrėžimą gaunama iš Vynerio proceso.

Laiko kitimas 
Kiekvienas tolydus martingalas (priklausomai nuo kilmės) yra laiko pakaitalas Vynerio procese.

Pvz.: 2Wt = V(4t) kur V yra kita Vynerio funkcija (kitokia nei W, bet pasiskirsčiusi kaip W).

Pvz.:  kur  and  ir V yra kita Vynerio funkcija.

Apskritai, jei M yra tolydus martingalas, tai  , kur  yra kvadratinė variacija M intervale [0,t], ir  yra Vynerio procesas.

Išvada: (Žiūrėti Doob's martingale convergence theorems) Tegul  yra tolydus martingalas, ir 

 

Tada vienas iš dviejų atvejų yra įmanomas:

 

kitų atvejų (tokių kaip    ) tikimybė lygi 0.

Ypač, neneigiamas tolydus martingalas turi baigtinę ribą (kai )) beveik visur.
Visi formulavimai (šiame poskyryje) martingalų tinka tik lokaliems martingalams (local martingale).

Mato keitimas
Plati klasė tolydžių pusmartingalų (ypač difuzijos procesų) yra susijusios su Vynerio procesu per laiko ir mato keitimo kombinaciją.

Todėl aukščiau išdėstytos kokybinės Vynerio proceso savybės apibendrina plačią klasę tolydžių pusmartingalų. 

Vynerio proceso kompleksinė išraiška
Kompleksinė Vynerio proceso išraiška gali būti apibrėžta kaip kompleksiniai atsitiktinės funkcijos  skaičiai, kur  yra nepriklausomos Vynerio funkcijos (realūs skaičiai).

Automodeliškumas
Brauno mastelis, laiko apgręžimas ir laiko inversija: viskas taip pat, kaip ir su realiaisiais skaičiais.

Sukimosi invariantiškumas:  kiekvienam kompleksiniam skaičiui c tokiam kad |c|=1 funkcija  yra kita kompleksinė Vynerio funkcija.

Laiko pakeitimas
Jei f(x) yra tolydi funkcija, tai  yra kompleksinė Vynerio funkcija su pakeistu laiku.

Pvz.: , kur  ir  yra kita kompleksinė Vynerio funkcija.

Priešingai nei realiuoju atveju, kompleksinis martingalas dažniausiai neturi Vynerio funkcijos su pakeistu laiku. Pvz., Funkcija  nėra martingalas. 

 Literatūra 
 Kleinert, Hagen, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, 4th edition, World Scientific (Singapore, 2004); Paperback ISBN 981-238-107-4   (also available online: PDF-files) Henry Stark, John W. Woods, Probability and Random Processes with Applications to Signal Processing, 3rd edition, Prentice Hall (New Jersey, 2002); Textbook ISBN 0-13-020071-9
 Richard Durrett, Probability: theory and examples,second edition, 1996.
 Daniel Revuz and Marc Yor, Continuous martingales and Brownian motion'', second edition, Springer-Verlag 1994.

Matematika