Óëüÿíîâñêèé ãîñóäàðñòâåííûé óíèâåðñèòåò Ìåõàíèêî-ìàòåìàòè÷åñêèé ôàêóëüòåò Êàôåäðà Ïðèêëàäíîé ìàòåìàòèêè Ýëåìåíòû òåîðèè ñëó÷àéíûõ ïðîöåññîâ: ÏÐÎÖÅÑÑÛ ÈÒÎ ìåòîäè÷åñêîå ïîñîáèå Áóòîâ À.À. Óëüÿíîâñê, 1996 ÓÄÊ 519.2 À.À.Áóòîâ. Ýëåìåíòû òåîðèè ñëó÷àéíûõ ïðîöåññîâ: ïðîöåññû Èòî.- Ìåòîäè÷åñêîå ïîñîáèå. - Óëüÿíîâñê: ÓëÃÓ, 1996. - 16 ñ.  îñíîâó íàñòîÿùåãî ïîñîáèÿ ïîëîæåíû íåêîòîðûå ðàçäåëû ñïåöêóðñà, ÷èòàåìîãî àâòîðîì â òå÷åíèå ðÿäà ëåò â 6-ì ñåìåñòðå íà ìåõàíèêî-ìàòåìàòè÷åñêîì ôàêóëüòåòå óëüÿíîâñêîãî ôèëèàëà ÌÃÓ, íûíå - ÓëÃÓ. Èçëàãàþòñÿ â ñåìèìàðòèíãàëüíûõ òåðìèíàõ îñíîâíûå ïîíÿòèÿ, êîíñòðóêöèè è ðåçóëüòàòû, ñâÿçàííûå ñ ïîíÿòèåì ôîðìóëû Èòî, ïðîöåññîâ Èòî, ïðîöåññîâ äèôôóçèîííîãî òèïà, äèôôóçèîííûõ ïðîöåññîâ. Ðåöåíçåíò - êàíäèäàò ôèçèêî-ìàòåìàòè÷åñêèõ íàóê Êîâàëåâ Å.À. Îäîáðåíî ðåøåíèåì êàôåäðû ïðèêëàäíîé ìàòåìàòèêè ÓëÃÓ c Óëüÿíîâñêèé ãîñóíèâåðñèòåò, 1996 ° 3 Ñîäåðæàíèå 1 Ôîðìóëà Èòî 5 2 Ïðîöåññû Èòî, ïðîöåññû äèôôóçèîííîãî òèïà, äèôôóçèîííûå ïðîöåññû 8 3 Ëèòåðàòóðà 17 4 1 Ôîðìóëà Èòî  îñíîâå ñòîõàñòè÷åñêîãî èñ÷èñëåíèÿ ëåæèò ôîðìóëà çàìåíû ïåðåìåííûõ, èçâåñòíàÿ êàê ôîðìóëà Èòî. Ïóñòü f (x) - äâàæäû íåïðåðûâíî äèôôåðåíöèðóåìàÿ ôóíêöèÿ, ïðîöåññ X = (Xt )t≥0 - íåïðåðûâíûé ñåìèìàðòèíãàë ñ (ñì. ôîðìóëó (2.1.) â [4]) Xt = X0 + Vt + Mt Îáîçíà÷èì f 0 (x) è f 00 (x) - ïåðâóþ è âòîðóþ ïðîèçâîäíûå f (x). Ôîðìóëà Èòî. Ïðîöåññ f (X) = (f (Xt ))t≥0 ìàðòèíãàëîì ñ Zt f (Xt ) = f (X0 ) + 0 ÿâëÿåòñÿ ñåìè- 1 Zt 00 f (Xs )dhM is f (Xs )dXs + 20 0 (1.1)  ìíîãîìåðíîì ñëó÷àå f (x) = f (x1 , · · · , xd ), è ïðè íåïðåðûâíûõ ïðîèçâîäíûõ ∂ 2 f (x) Dij f (x) = ∂xi ∂xj ∂f (x) , Di f (x) = ∂xi äëÿ d-ìåðíîãî íåïðåðûâíîãî ñåìèìàðòèíãàëà (X , · · · , X d ) ñ X i = X0i + V i + M i . X = 1 d Zt X d X d 1X Dij f (Xs )dhM i , M j is 2 i=1 j=1 i=1 0 (1.2) Ñëåäñòâèåì ôîðìóëû (1.2) ÿâëÿåòñÿ ôîðìóëà èíòåãðèðîâàíèÿ ïî ÷àñòÿì äëÿ íåïðåðûâíûõ ñåìèìàðòèíãàëîâ X è Y f (Xt ) = f (X0 )+ Di f (Xs )dXsi + X = X0 + V + M Y = Y0 + U + N, 5 ãäå V, U ∈ Vloc , è M, N ∈ Mloc : Zt Xt · Yt = X0 · Y0 + Zt Xs dYs + 0 Ys dXs + hM, N it (1.3) 0  ÷àñòíîñòè, Xt2 = X02 Zt +2 Xs dXs + hM it (1.4) 0 Îáîáùåíèåì ôîðìóëû (1.2) íà ñëó÷àé ñåìèìàðòèíãàëîâ, äîïóñêàþùèõ ñêà÷êè ÿâëÿåòñÿ f (Xt ) = f (X0 )+ d Zt X i=1 0 Di f (Xs− )dXsi + + X 0<s≤t f (X s) − f (Xs− ) − d X i=1 d X d 1X Dij f (Xs− )dhM ic , M jc is + 2 i=1 j=1 Di f (Xs− )4 Xsi , (1.5) ãäå M ic (M jc ) - íåïðåðûâíûå ÷àñòè êîìïîíåíò â ñåìèìàðòèíãàëüíîì ðàçëîæåíèè X.  ñëó÷àå çàâèñèìîñòè ôóíêöèè f îò t ê âûðàæåíèÿì â ïðàâûõ ÷àñòÿõ ôîðìóë (1.1), (1.2) èëè (1.5) äîáàâëÿåòñÿ ñîîòâåòñòâóþùèé äèôôåðåíöèàë ïî t, íàïðèìåð, äëÿ (1.1): ïóñòü ôóíêöèÿ f(t,x) íåïðåðûâíà è èìååò íåïðåðûâíûå ïðîèçâîäíûå 00 fs0 (s, x), fx0 (s, x) è fxx (s, x). Òîãäà äëÿ íåïðåðûâíîãî ñåìèìàðòèíãàëà X = X0 + V + M ñïðàâåäëèâà ôîðìóëà Zt f (t1 Xt ) = f (0, X0 ) + fs0 (s, Xs )ds 0 Zt + fx0 (s, Xs )dXs + 0 1 Zt 00 + f (s, Xs )dhM is 2 0 xx (1.6) Àíàëîãè÷íûå îáîáùåíèÿ èìåþò ìåñòî äëÿ ñëó÷àåâ (1.2) è (1.5). Äåòàëüíîå äîêàçàòåëüñòâî ôîðìóë Èòî ñì., íàïðèìåð, â [3, ãë.4 § 3]. Çäåñü æå óêàæåì ëèøü ïóòü òàêîãî äîêàçàòåëüñòâà äëÿ ñëó÷àÿ (1.1). 6 Çàïèøåì òîæäåñòâî äëÿ ïðîèçâîëüíîãî ðàçáèåíèÿ îòðåçêà [0,t] òî÷êàìè t0 , t1 , · · · , tn ñ 0 = t0 < t1 < · · · < tn = t f (Xt ) = f (X0 ) + n−1 X h i=0 = f (X0 ) + n−1 X i=0 i f (Xti+1 ) − f (Xti ) = [f (Xti + 4Xti ) − f (Xti )] , (1.7) ãäå 4Xti = Xti+1 − Xti . Äàëåå, â ñèëó íåïðåðûâíîñòè âòîðîé ïðîèçâîäíîé f, ïðè ðàçëîæåíèè â ðÿä Òýéëîðà èìååì h i 1 f (Xti +4Xti ) = f (Xti )+f 0 (Xti )4Xi + f 00 (Xti ) (4Xti )2 + o((4Xti )2 2 è, ñëåäîâàòåëüíî, n−1 X X 00 1 n−1 f (Xt ) = f (X0 ) + f (Xti ) 4 Xti + f (Xti )· 2 i=0 i=0 0 h · (4Xti )2 + o((4Xti )2 i (1.8) Ïåðâîå ñëàãàåìîå çäåñü f (X0 ) ïðèñóòñòâóåò è â ôîðìóëå (1.1). Ïðè ñòðåìëåíèè ìåëêîñòè ðàçáèåíèÿ ê íóëþ max (ti+1 − ti ) → 0≤i<n 0, âòîðîå ñëàãàåìîå â (1.8) ñõîäèòñÿ êî âòîðîìó ñëàãàåìîìó â ïðàâîé ÷àñòè (1.1), à òðåòüå - ê òðåòüåìó â ñèëó òîãî, ÷òî êâàäðàòè÷íàÿ âàðèàöèÿ [X, X]t ñîâïàäàåò ñ [M, M ]t = hM it , t ≥ 0. 7 2 Ïðîöåññû Èòî, ïðîöåññû äèôôóçèîííîãî òèïà, äèôôóçèîííûå ïðîöåññû Îïðåäåëåíèå 1. Íåïðåðûâíûé ñëó÷àéíûé ïðîöåññ X = (Xt )t≥0 íà ñòîõàñòè÷åñêîì áàçèñå B = (Ω, F, F = (Ft )t≥0 , P ) íàçûâàåòñÿ ïðîöåññîì Èòî ïî îòíîøåíèþ ê âèíåðîâñêîìó íà ñòîõàñòè÷åñêîì áàçèñå B ïðîöåññó W = (Wt )t≥0 , åñëè ñóùåñòâóþò äâà Fñîãëàñîâàííûõ ïðîöåññà a = (at (ω))t≥0 è b = (bt (ω))t≥0 òàêèå, ÷òî ïðè ëþáîì êîíå÷íîì t ≥ 0 P Zt P |as (ω)|ds < ∞ = 1 0 Zt 0 b2s (ω)ds < ∞ = 1 (2.1) (2.2) è ñ âåðîÿòíîñòüþ 1 äëÿ âñåõ t ≥ 0 Zt Xt = X0 + Zt as (ω)ds + 0 bs (ω)dWs (2.3) 0 Ãîâîðÿò òàêæå, ÷òî ïðîöåññ X èìååò ñòîõàñòè÷åñêèé äèôôåðåíöèàë dXt = at (ω)dt + bt (ω)dWt (2.4) ñ íà÷àëüíûì óñëîâèåì X0 , ïîíèìàÿ ïðè ýòîì (2.4) êàê ñîêðàùåííóþ çàïèñü (2.3).  ñîîòâåòñòâèè ñ êîíñòðóêöèåé ñòîõàñòè÷åñêîãî èíòåãðàëà, ïðèâåäåííîé âî âòîðîì ïóíêòå, óñëîâèÿ (2.1) è (2.2) îáåñïå÷èâàþò ñóùåñòâîâàíèå âûðàæåíèé â (2.3). Òàêæå äëÿ ëþáîãî Fñîãëàñîâàííîãî ïðîöåññà f = (ft (ω))t≥0 ñ Zt P { |fs (ω)as (ω)|ds < ∞} = 1 0 8 Zt P { fs2 (ω)b2s (ω)ds < ∞} = 1 0 îïðåäåëåí ñòîõàñòè÷åñêèé èíòåãðàë Zt Zt fs (ω)dxs = 0 Zt fs (ω)as (ω)ds + 0 fs (ω)bs (ω)dWs (2.5) 0 Îïðåäåëåíèå 2. Ïðîöåññ Èòî X íàçûâàåòñÿ ïðîöåññîì äèôôóçèîííîãî òèïà (ïî îòíîøåíèþ ê âèíåðîâñêîìó ïðîöåññó W), åñëè ïðîöåññû à è b, âõîäÿùèå â âûðàæåíèå (2.3), ÿâëÿþòñÿ FX - ñîãëàñîâàííûìè (ò.å. ∀ t ≥ 0 at (ω) è bt (ω) FX t - èçìåðèìû).  ýòîì ñëó÷àå íàéäóòñÿ èçìåðèìûå ïî ïàðå ïåðåìåííûõ (t,x), íåóïðåæäàþùèå ôóíêöèîíàëû A(t,x) è B(t,x) äëÿ t ∈ R+ , x ∈ C , òàêèå, ÷òî P-ï.í. äëÿ ïî÷òè âñåõ t (ïî ìåðå Ëåáåãà) at (ω) = A(t, X(ω)), bt (ω) = B(t, X(ω)), ãäå X(ω) - òðàåêòîðèÿ ïðîöåññà (Xt (ω))t≥0 . Ñëåäîâàòåëüíî, äëÿ ïðîöåññà äèôôóçèîííîãî òèïà íàðÿäó ñ ïðåäñòàâëåíèåì (2.3) èìååò ìåñòî Zt Xt = X0 + Zt A(s, X)ds + 0 B(s, X)dWs (2.6) 0 Çàìåòèì, ÷òî âûðàæåíèå (2.6) èìååò âèä óðàâíåíèÿ îòíîñèòåëüíî X. È õîòÿ ôóíêöèîíàëû A(s,x) è B(s,x) íå ÿâëÿþòñÿ ñëó÷àéíûìè (ïðè ôèêñèðîâàííîé òðàåêòîðèè x ∈ C íå çàâèñÿò îò ω ∈ Ω), óðàâíåíèå (2.6) íåëüçÿ ðàññìàòðèâàòü â êà÷åñòâå ïîòðàåêòîðíîãî. Ýòî âûçâàíî òåì, ÷òî ñòîõàñòè÷åñêèé èíòåãðàë ïî âèíåðîâñêîìó ïðîöåññó íå ÿâëÿåòñÿ ïîòðàåêòîðíûì îòîáðàæåíèåì.  ñâÿçè ñ ýòèì äàæå ïîíÿòèå åäèíñòâåííîñòè ðåøåíèÿ ñòîõàñòè÷åñêîãî èíòåãðàëüíîãî óðàâíåíèÿ (2.6), èëè ñîîòâåòñòâóþùåãî ñòîõàñòè÷åñêîãî äèôôåðåíöèàëüíîãî óðàâíåíèÿ dXt = A(t, X)dt + B(t, X)dWt , 9 X0 = X0 (w) (2.7) íåñîïîñòàâèìî ñëîæíåå, ÷åì â äåòåðìèíèñòñêîì ñëó÷àå. Îïðåäåëåíèå 3. Ðåøåíèå ñòîõàñòè÷åñêîãî äèôôåðåíöèàëüíîãî óðàâíåíèÿ (2.7) íàçûâàåòñÿ ñèëüíî åäèíñòâåííûì (èëè åäèíñòâåííûì ïî òðàåêòîðèÿì), åñëè ëþáûå äâà ðåøåíèÿ íà ëþáîì (îäíîì è òîì æå) áàçèñå B è ñ ëþáûì (îäíèì è òåì æå) âèíåðîâñêèì ïðîöåññîì W ñîâïàäàþò. Ðåøåíèå íàçûâàåòñÿ ñëàáî åäèíñòâåííûì (èëè åäèíñòâåííûì ïî ðàñïðåäåëåíèþ), åñëè çàêîí ðàñïðåäåëåíèÿ îäèí è òîò æå äëÿ âñåõ ðåøåíèé ( â òîì ÷èñëå è íà ðàçíûõ áàçèñàõ), (ñì. ïîäðîáíåå [2, ãë.2 §1, 2]). Çàìåòèì, ÷òî åñëè óðàâíåíèå èìååò ñèëüíî åäèíñòâåííîå ðåøåíèå, òî îíî è ñëàáî åäèíñòâåííî, íî îáðàòíîå íåâåðíî, ò.å. ëåãêî ìîæåò áûòü ïîñòðîåí ïðèìåð óðàâíåíèÿ ñî ñëàáî åäèíñòâåííûì ðåøåíèåì, íå ÿâëÿþùèìñÿ ñèëüíî åäèíñòâåííûì. Ïðèâåäåì äîñòàòî÷íîå óñëîâèå ñèëüíîé åäèíñòâåííîñòè è ñóùåñòâîâàíèå ðåøåíèÿ ñòîõàñòè÷åñêîãî äèôôåðåíöèàëüíîãî óðàâíåíèÿ (2.7), [3, ãë. 4 §4 ]: Ïóñòü íåóïðåæäàþùèå ôóíêöèîíàëû A(t, x), B(t, x) óäîâëåòâîðÿþò óñëîâèþ Ëèïøèöà 2 2 Zt |A(t, x)−A(t, y)| +|B(t, x)−B(t, y)| ≤ L1 |xs −ys |2 dk(s)+L2 |xt −yt |2 0 (2.8) è óñëîâèþ ëèíåéíîãî ðîñòà Zt A (t, x) + B (t, x) ≤ L1 (1 + x2s )dk(s) + L2 (1 + x2t ) 2 2 (2.9) 0 ãäå L1 , L2 - êîíñòàíòû, t ∈ R+ , k(s) - íåóáûâàþùàÿ íåïðåðûâíàÿ ñïðàâà ôóíêöèÿ, x, y ∈ C ; Ïóñòü η = η(ω) − F0 - èçìåðèìàÿ ñëó÷àéíàÿ âåëè÷èíà, P {|η(ω)| < ∞} = 1. Òîãäà óðàâíåíèå (2.7) ñ X0 = η èìååò, è ïðèòîì ñèëüíî åäèíñòâåííîå, ðåøåíèå X = (Xt )t≥0 . 10 Ïðèâåäåííûå óñëîâèÿ ìîãóò áûòü ñóùåñòâåííî îñëàáëåíû (ñì. [2, ãë.2]). Ïðîöåññû äèôôóçèîííîãî òèïà - ÷àñòíûé ñëó÷àé ïðîöåññîâ Èòî. ×àñòíûì ñëó÷àåì ïðîöåññîâ äèôôóçèîííîãî òèïà ÿâëÿþòñÿ äèôôóçèîííûå ïðîöåññû. Îïðåäåëåíèå 4. Ïðîöåññ äèôôóçèîííîãî òèïà (2.7) íàçûâàåòñÿ äèôôóçèîííûì ïðîöåññîì â òîì ñëó÷àå, êîãäà ôóíêöèîíàëû A(t, x), B(t, x) ÿâëÿþòñÿ ôóíêöèÿìè xt , ò.å. ñóùåñòâóþò ôóíêöèè At (z), Bt (z), z ∈ R, t ∈ R+ òàêèå, ÷òî A(t, x) = At (xt ), B(t, x) = Bt (xt ), t ≥ 0 äëÿ ëþáûõ íåïðåðûâíûõ ôóíêöèé x ∈ C . È, ñëåäîâàòåëüíî, ïðîöåññ X èìååò ñòîõàñòè÷åñêèé äèôôåðåíöèàë âèäà dXt = At (Xt )dt + Bt (Xt )dWt , X0 = X0 (ω) (2.10) Ïðè ýòîì äîñòàòî÷íûìè óñëîâèÿìè ñóùåñòâîâàíèÿ ñèëüíî åäèíñòâåííîãî ðåøåíèÿ óðàâíåíèÿ (2.10) â ñîîòâåòñòâèè ñ (2.8) è (2.9) ÿâëÿþòñÿ ïðåäïîëîæåíèÿ [At (z) − At (z̃)]2 + [Bt (z) − Bt (z̃)] ≤ L[z − z̃]2 è A2t (z) + Bt2 (z) ≤ L(1 + z 2 ), (2.11) (2.12) ãäå z, z̃ ∈ R, t ∈ R+ , L - êîíñòàíòà, è P {|X0 (ω)| < ∞} = 1. Èññëåäóåì âàæíûå ÷àñòíûå ñëó÷àè äèôôóçèîííûõ ïðîöåññîâ - ñëó÷àè, ïðè êîòîðûõ ôóíêöèè At (z) è Bt (z) ëèíåéíû (ïî z ). Ðàññìîòðèì òàê íàçûâàåìîå óðàâíåíèå Ëàíæåâåíà (ïðè λ > 0): √ dXt = −λXt dt + 2λdWt , X0 = X0 (ω) (2.13) Ðåøåíèåì ýòîãî óðàâíåíèÿ (ïðè X0 − F0 - èçìåðèìîé ãàóññîâñêîé ñëó÷àéíîé âåëè÷èíå ñ ðàñïðåäåëåíèåì N(0, 1)) ÿâëÿåòñÿ ïðîöåññ Îðíøòåéíà-Óëåíáåêà Xt = e −λt Zt (X0 + 0 11 √ eλs 2λdWs ) (2.14) Óáåäèòüñÿ â ýòîì ëåãêî ìîæíî ïî ôîðìóëå Èòî, à ñèëüíàÿ åäèíñòâåííîñòü ñëåäóåò èç (2.11) è (2.12) c L = λ2 + 2λ. Çàìåòèì, ÷òî (òàêæå ïî ôîðìóëå Èòî) EXt Xs = e−λ|t−s| è EXt = 0, ò.å. ïðè t ≥ 0 ïðîöåññ ÿâëÿåòñÿ ñòàöèîíàðíûì (â ñèëó ãàóññîâîñòè, êàê â øèðîêîì, òàê è â óçêîì ñìûñëå). Îáîáùåíèåì óðàâíåíèÿ (2.13) ìîæåò ñëóæèòü ïðîöåññ Èòî ñ äèôôåðåíöèàëîì dXt = at (ω)Xt dt + dMt , X0 = X0 (ω) (2.15) ãäå X0 − F0 - èçìåðèìà, M = (Mt )t≥0 ∈ Mcloc , è äëÿ ïðîöåñRt ñà a = (at (ω))t≥0 íà áàçèñå B, è P { |as (ω)|ds < ∞} = 1 è P Rs Rt −2 as (ω)du 0 e 0 0 dhM is < ∞ = 1 äëÿ ëþáûõ t ≥ 0. Òîãäà ïî ôîðìóëå Èòî Rt Xt = e 0 as (ω)ds X0 + s 0 dMs R Zt − as (ω)du e (2.16) 0 Äðóãèì âàæíûì ÷àñòíûì ñëó÷àåì ëèíåéíûõ ñòîõàñòè÷åñêèõ äèôôåðåíöèàëüíûõ óðàâíåíèé ÿâëÿåòñÿ óðàâíåíèå Äîëåàí-Äýä: dXt = Xt σt dWt c X0 = 1 (2.17) èëè â èíòåãðàëüíîì âèäå Zt Xt = 1 + Xs σs dWs , (2.18) 0 ãäå σs - äåòåðìèíèðîâàííàÿ ôóíêöèÿ ñ Zt σs2 ds < ∞ (2.19) 0 Ðåøåíèåì óðàâíåíèÿ (2.17) ÿâëÿåòñÿ, êàê âèäíî èç (2.18), íåïðåðûâíûé ëîêàëüíî êâàäðàòè÷íî èíòåãðèðóåìûé ìàðòèíãàë. Ïî ôîðìóëå Èòî ëåãêî óáåäèòüñÿ, ÷òî ðåøåíèåì (2.17) 12 ñëóæèò ïðîöåññ Zt Xt = exp 0 1 Zt 2 σs dWs − σs ds , 20 (2.20) íàçûâàåìûé ìàðòèíãàëüíûé ýêñïîíåíòîé èëè ñòîõàñòè÷åñêîé ýêñïîíåíòîé. Îáîáùåíèåì ýòîãî ïðîöåññà ïðåæäå âñåãî îêàçûâàåòñÿ ïðîöåññ ñ äîïóùåíèåì î σt = σt (ω) êàê î ñëó÷àéíîì ïðîöåññå íà B 1 Zt 2 E exp{ σ (ω)ds} < ∞ 20 s (2.21) âìåñòî ïðåäïîëîæåíèÿ (2.19). Ïðîöåññ Èòî X = (Xt )t≥0 ïðè îãðàíè÷åíèÿõ (2.21) òàêæå ÿâëÿåòñÿ ýëåìåíòîì M2loc è îïðåäåëÿåòñÿ ôîðìóëîé (2.20). Ñëåäóþùèé øàã â îáîáùåíèè - ïðîöåññ X c dXt = Xt dYt , èëè X0 = 1 Zt Xt = 1 + Xs dYS , 0 ãäå Y = (Yt )t≤0 - íåïðåðûâíûé ñåìèìàðòèíãàë íà B ñ Yt = Y0 + Bt + Mt . Ðåøåíèå ýòîãî óðàâíåíèÿ (ïî ôîðìóëå Èòî) 1 Xt = exp{Yt − Y0 − hM it } (2.22) 2  ñëó÷àå, åñëè Y - ñåìèìàðòèíãàë îáùåãî âèäà (áûòü ìîæåò ñî ñêà÷êàìè), óðàâíåíèå Zt Xt = 1 + Xs− dYs (2.23) 0 èìååò åäèíñòâåííîå ðåøåíèå, îáîçíà÷àåìîå E(Y ) = (Et (Y ))t≥0 è íàçûâàåìîå ñòîõàñòè÷åñêîé ýêñïîíåíòîé èëè ýêñïîíåíòîé Äîëåàí, ( ) Y 1 Et (Y ) = exp Yt − Y0 − hM c it · (1 + 4Ys ) e−4Ys , (2.24) 2 s≤t 13 ãäå M c - íåïðåðûâíàÿ ìàðòèíãàëüíàÿ ÷àñòü Y. Çàïèøåì ëèíåéíîå äèôôåðåíöèàëüíîå óðàâíåíèå ñåìèìàðòèíãàëüíîãî îáîáùåíèÿ äëÿ ëèíåéíîãî ïðîöåññà Èòî: dXt = Xt dYt + dZt , ãäå Y = (Yt )t≥0 , ñ X0 = X0 (ω), (2.25) Z = (Zt )t≥0 - íåïðåðûâíûå ñåìèìàðòèíãàëû Yt = Y0 + Bt + Mt Zt + Z0 + At + Nt , ãäå B, A ∈ Vloc , è M, N ∈ Mcloc ñ êâàäðàòè÷íûìè õàðàêòåðèñòèêàìè hM it , hN it , hM, N it , t ≥ 0, è X0 , Y0 , Z0 − F0 - èçìåðèìûå ñëó÷àéíûå âåëè÷èíû. Ðåøåíèåì óðàâíåíèÿ (2.25) ÿâëÿåòñÿ ïðîöåññ Xt = e {Yt −Y0 − 21 hM it } X0 Zt + −e {Ys −Y0 − 21 hM is } (dZs − dhM, N is ) 0 1 2 hM it } Äîêàæåì ýòî. Îáîçíà÷èì rt = exp{Yt − Y0 − âûðàæåíèå â êâàäðàòíûõ ñêîáêàõ â (2.26). Òîãäà (2.26) è ut - Xt = rt · ut è ïî ôîðìóëå Èòî dXt = ut drt + rt dut + d[r, u]t . (2.27) Ïðè ýòîì, î÷åâèäíî, ut drt = Xt dYt , rt dut = dZt − dhM, N it , d[r, u]t = d[M, N ]t = dhM, N it , ÷òî è äîêàçûâàåò (ïðè ïîäñòàíîâêå â (2.27)) ôîðìóëó (2.26), ïîñêîëüêó îïðåäåëÿåò (2.25). 14 Çàìåòèì, ÷òî è äèôôóçèîííûé ïðîöåññ ÎðíøòåéíàÓëåíáåêà è äèôôóçèîííûé (íåïðåðûâíûé) ïðîöåññ ÄîëåàíÄýä ÿâëÿþòñÿ ÷àñòíûìè ñëó÷àÿìè ïðîöåññîâ (2.25). ×èòàòåëü ëåãêî îáîáùèò ñàìîñòîÿòåëüíî ôîðìóëó (2.26) äëÿ (2.25) â ñëó÷àå ñåìèìàðòèíãàëîâ ñî ñêà÷êàìè ïî àíàëîãèè ñ (2.24).  çàêëþ÷åíèå ðàññìîòðèì âàæíûé ìàðòèíãàëüíûé ìåòîä èññëåäîâàíèÿ äèôôóçèîííûõ ïðîöåññîâ íà îñíîâå ôîðìóëû Èòî. Ïóñòü a(x), σ(x) - îãðàíè÷åííûå èçìåðèìûå ôóíêöèè è |σ(x)| ≥ δ > 0 ∀ x ∈ R. Ïóñòü äèôôóçèîííûé ïðîöåññ ÿâëÿåòñÿ ñèëüíî åäèíñòâåííûì ðåøåíèåì óðàâíåíèÿ dXt = a(Xt )dt + σ(Xt )dWt ñ X0 = X0 (ω)− F0 - èçìåðèìîé ñëó÷àéíîé âåëè÷èíîé. Ðàññìîòðèì äâàæäû íåïðåðûâíî äèôôåðåíöèðóåìóþ ôóíêöèþ f(x), è ïî ôîðìóëå Èòî " # 1 df (Xt ) = f (Xt )a(Xt ) + f 00 (Xt )σ 2 (Xt ) dt + f 0 (Xt )σ(Xt )dWt 2 0 ïîäáåðåì åå òàêîé, ÷òîáû âûðàæåíèå â êâàäðàòíûõ ñêîáêàõ òîæäåñòâåííî ðàâíÿëîñü íóëþ. Ïðè ýòîì f (Xt ) îêàçûâàåòñÿ ëîêàëüíûì ìàðòèíãàëîì. Òàêîé âûáîð îñóùåñòâëÿåòñÿ èç óðàâíåíèÿ, x ∈ R, 1 f 0 (x)a(x) + f 00 (x)σ 2 (x) = 0 2  êà÷åñòâå ðåøåíèÿ ìîæåò áûòü âûáðàíà ìîíîòîííàÿ ôóíêöèÿ Zx f (x) = 0 exp − Zv 0 a(s) ds dv, σ 2 (s) x∈R  ñèëó ìîíîòîííîñòè f(x) äëÿ ëþáûõ ìíîæåñòâ A ⊆ R {ω : Xt (ω) ∈ A} = {ω : f (Xt (ω)) ∈ f (A)}, 15 ãäå f (A) - ìíîæåñòâî òî÷åê f(x) ïðè x ∈ A. Îöåíêè âåðîÿòíîñòåé äëÿ f (Xt ) ïðè ýòîì çà÷àñòóþ ëåãêî îñóùåñòâèìû â ñèëó ìàðòèíãàëüíîñòè (f (Xt ))t≥0 - ñì., íàïðèìåð, íåðàâåíñòâà Äýâèñà è Äóáà â [4]. 16 3 Ëèòåðàòóðà 1. Ëèïöåð Ð.Ø., Øèðÿåâ À.Í. Òåîðèÿ ìàðòèíãàëîâ. - Ì.: Íàóêà, 1986, - 512 ñ. 2. Àíóëîâà Ñ.Â., Âåðåòåííèêîâ À.Þ., Êðûëîâ Í.Â., Ëèïöåð Ð.Ø., Øèðÿåâ À.Í. Ñòîõàñòè÷åñêîå èñ÷èñëåíèå. // Èòîãè íàóêè è òåõíèêè. Ñîâðåì. ïðîáë. ìàòåì. Ôóíäàìåíò. íàïðàâëåíèÿ. - ÂÈÍÈÒÈ, 1989. - ò.45. - 260 ñ. 3. Ëèïöåð Ð.Ø., Øèðÿåâ À.Í. Ñòàòèñòèêà ñëó÷àéíûõ ïðîöåññîâ (íåëèíåéíàÿ ôèëüòðàöèÿ è ñìåæíûå âîïðîñû).- Ì.: Íàóêà, 1974.- 696 ñ. 4. Áóòîâ À.À. Ýëåìåíòû ñòîõàñòè÷åñêîãî èñ÷èñëåíèÿ. // Ìåòîäè÷åñêîå ïîñîáèå. - Óëüÿíîâñê, ÓëÃÓ, 1996. - 18 ñ. 17