§ 3. ОДНОМЕРНЫЕ ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
351 |
|
§ 3. Некоторые результаты относительно одномерных диффузионных процессов*)
Пусть / = (/, г) — открытый промежуток в R1(—°° < I < г < °°). Пусть а(х) и Ъ(х) — достаточно гладкие, вещественнозначные функ ции**) на I такие, что о2(л:)>0 для всех х^1 . Для х ^ 1 стохасти ческое дифференциальное уравнение
dX (t) = о (X (t)) dB (t) + b (X (t)) dt, |
|
|
|
|||
X ( 0 ) ~ * |
|
|
|
|
|
<з л > |
имеет единственное решепие |
Xх(t) до |
момента взрыва |
е = |
Птт,|, |
||
где т„ = inf {t : X *(f)e [я„, Ь„]) |
(я„ и Ъп |
(п = |
1, 2, ...) |
|
|
П Too |
выбраны таким |
||||||
образом, что К а п< Ь „ < г и я„1/ и 6„tr). |
Аналогично |
тому, |
как и |
|||
в доказательстве леммы IV—2.1, можно |
показать, |
что |
Jim Xх (t) |
|||
|
|
|
|
|
|
tie |
|
существует н равняется I или г н. и. па множестве {е < °°). Опреде |
|||||||
лим Х*(<) равным этому |
пределу для t > e |
на множестве |
(е < °°}. |
||||
Пусть |
Wj — множество всех |
непрерывных |
траекторий w : [0, «>)-»- |
||||
-*]/, |
г] таких, что и ?(0 )е / и w(t)— w(e(w)) для всех t > e ( w ) ^ |
||||||
S3 inf \t: w(t) — l или |
w(t) = r). e(w) называется моментом взрыва |
||||||
траектории w. Тогда |
Xх — {Xх(t) } определяет W j-значный |
случай |
|||||
ный элемент с е[Хх] = е. |
Пусть Рх— вероятностный |
закон |
на Wj |
||||
случайного элемента |
Xх. |
Как |
мы видели |
в гл. IV, |
Рх определяет |
||
диффузионный процесс на W,, называемый минимальной L-диффу зией, где дифференциальный оператор L определяется равенством
|
|
|
' — |
т ' Ч * » ; ? - 1- *<*>■£■ |
|
|
<3-2> |
||
Пусть с I |
фиксировано и |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
(3.3) |
Функция s(x) |
является строго возрастающей гладкой функцией на |
||||||||
/, удовлетворяющей равенству |
|
|
|
|
|
||||
|
|
|
|
Ls(;r)s=0 |
на |
I. |
|
|
(3.4) |
Т е о р е м а |
3.1. |
(1) Если s (!+ ) = —оо и s(r—) — °°, |
то |
|
|
||||
|
Рх (е = |
оо) = |
Рх |
X (t) = |
rj = |
Рх jKm X (t) = lj = |
1 |
(3.5) |
|
*) |
См. [77] для более полной информации. |
что |
о и |
b при |
|||||
**) |
В дальнейшем рассмотрении достаточно предполагать, |
||||||||
надлежат классу С1.
§ 3. ОДНОМЕРНЫЕ ДИФФУЗИОННЫЕ ПРОЦЕССЫ |
353 |
Д о казател ьство |
у тв е р ж д е н и я |
( 3 ) |
ан ал о ги ч н о |
|
и |
по это м у о п у - |
||||||||||||
в кается . |
|
|
г — ф иксировано. П о л о ж и м |
|
|
|
|
|
|
|
||||||||
П у с т ь К |
с < |
|
|
|
|
|
|
(3.10) |
||||||||||
*(z)=2jelp[^— |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Л е м м а |
3 .1 . |
Пусть |
и (ж ) — единственное |
решение |
уравнения |
|||||||||||||
|
|
|
Е й (ж ) = |
и (ж ), |
и (с ) = |
1, |
н '( с ) = |
0 . |
|
|
|
(З.И); |
||||||
Тогда |
|
1 |
+ |
к (ж) |
и (ж) |
е х р {к (ж )}, |
ж |
е |
/ . |
|
|
|
(3.12) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Доказательство. |
Фупкция |
и(ж) |
есть решение |
уравнения |
|
|
|
|
|||||||||
(3.11) |
тогдаитолько |
тогда, |
когда |
|
|
и (ж)= |
1+ |
|
X |
|
|
у |
|
|||||
|
|
|
{ ds(y) j u(z)dm(z), |
|||||||||||||||
где |
ds (у) = exp |
—f |
|
|
dy п dm(z) =2 exp |
С |
|
|
С |
|
||||||||
|
dz |
f |
|
(»]) |
dr\ |
- ± — dz. |
||||||||||||
|
|
|
L |
|
{ |
a |
(z) J |
|
|
|
|
|
L% ° |
J o' 00 |
||||
Следовательно |
|
|
|
00 |
и&(ж) с и0(ж )^1 |
и |
и„(ж) = |
% |
|
Ц |
|
|||||||
и(ж)= 2 |
|ds (у) 1M„_ J(Z)X |
|||||||||||||||||
|
|
|
|
|
|
л=о |
|
|
|
|
|
|
|
i |
|
cJ |
|
|
xdm(z). |
Очевидно |
un(x)> 0 |
и |
и,(ж )=Е(ж). |
|
Поэтому |
п(ж )> |
|||||||||||
^1 + Ui{x) — 1 + к(х). С другой стороны, если предположить, что (z)</c(z)7/i!, то
х |
у |
|
|
|
х |
|
у |
|
ип и (ж) = j ds (у) j |
ип (z) dm (z) < |
^ j- J ds (y) j к (z)n dm (z),К |
|
|||||
|
|
|
|
|
|
|
c |
|
|
- г j |
* (у)* (s/)n J |
|
( z) = 7 Г J ft№)n d iftШ = |
|
|||
Следовательно, и (ж) = 2 |
“ n И |
< |
2 |
* "f~ |
= 0XP {& (я)}. |
|
||
З а м е ч а н и е |
«=0 |
|
«=0 |
|
|
|
||
3.1. Очевидно, что |
|
|
|
|||||
(1) |
|
|
k(r—) < |
o° =*- s ( r — ) < 00 |
|
|||
( I I ) |
|
|
f t ( Z + ) < |
o o = ► s ( H |
- ) > — o o . |
|
||
Т е о р е м а |
3.2. |
(1) .Если k(r~) = k( l+)= °°, ro |
|
|||||
|
|
P*(c = |
o°) = 1 |
для всех |
ж е / . |
(3.13) |
||
(2) Если k(r—) < °° или k(l+)< |
TO |
|
|
|||||
|
|
Px(e<°°)> 0 |
для |
всех |
ж е / . |
(3.14) |
||
23 с. Ватанабэ, Н. Нкэда |
|
|
|
|
|
|
||
354 |
ГЛ. VI. ТЕОРЕМЫ СРАВНЕНИЯ И АППРОКСИМАЦИИ |
(3)Равенство
Рх(1< °°) = 1 для всех х<=1
имеет место тогда и только тогда, когда имеет место один из сле дующих случаев:
(I) k(r—)< °° и к(1+)<°°.
(II)k(r—) < ° ° u s ( l + ) = —°°.
(III)к(1+)<°о и s(r—) — °°.
До к а з а т е л ь с т в о . Пусть и(х) определяетсяравепством (3.11).
Пусть К |
а < х <Ъ < г и т = |
inf { t : X(t) Ф (а, b) }. Согласно формуле |
||||||||
Ито, |
|
|
|
|
|
|
|
|
|
|
de-tu(X(l)) = e-lu'(X(t))e(X(t))dB(t) + e-*(-u(X(t)) + |
|
|
|
|||||||
|
|
+ (Lu) (X(t) ))dt = е~*и' (X(t))o (X(t)) dB(t) |
||||||||
и поэтому |
e~li\xu {X {t/\т )— мартингал. |
Устремляя |
all |
и |
btг, |
не- |
||||
медлеппо |
убеждаемся, что |
ехр(— tf\e)u(X(tДе)) |
— неотрицатель |
|||||||
ный супермартингал. Если |
к (г—) = к (1+) = °°, то |
по |
лемме |
3.1 |
||||||
lim и (я) = |
Нш и (х) = |
оо. Следовательно, |
неравенство Рх(е < °°) > О |
|||||||
Х \ 1 |
5С|Г |
как |
неотрицательный |
супермартипгал |
t |
|||||
невозможно, так |
||||||||||
exp (— (t /\е))и(Х (t/\e)) |
— ограничен |
п. н. |
Тем |
самым |
(1) |
до |
||||
казало.
Далее, предположим, что к(г—) < °°. Без потери общности можно
считать, |
что |
с < х . |
Пусть х =inf{t: X(f) = c). Согласно |
лемме |
3.1, |
|||||
и(г—) < |
оо и> |
следовательно, |
|
|
|
|
|
|
||
ехр(— t/\x')u(X(t Д т'))— ограниченный Р^-мартингал (3.15) |
||||||||||
Поэтому |
и(х)= Ех [ехр{— t/\x')u{X(t/\х'))]. |
|
(3.16) |
|||||||
|
|
|
|
|||||||
Устремляя ttoo в (3.16), получаем, что |
|
|
|
|
||||||
и(х) = |
2?хГехр (— е) и (г —); lim |
X(f) «=r] + |
|
|
|
|||||
|
|
L |
|
(ТеДт' |
|
J |
|
|
|
|
|
|
|
|
|
+ /?жГехр(— т')н(с); |
lim |
X(t) = |
c]. |
||
|
|
|
|
|
|
L |
|
tteAX' |
|
J |
Если |
£,хГехр(—e): |
lim X(i) = |
rl = |
0, TO |
|
|
|
|||
|
|
L |
|
ПеДт' |
J |
lim |
X (t) = с] ^ |
и (c). |
|
|
|
|
u(x) — u(c) Ex\exp (— x’y, |
|
|
||||||
|
|
|
|
L |
ПеДт' |
J |
|
|
|
|
Это, очевидно, является противоречием. Следовательно, £\с£ехр(— е);
lim X (t) = |
г] >■ 0, откуда следует, что Рх(е < °°)> 0. |
|
|
||||||
(ТеДт' |
|
J |
(3). Если |
к(г—)< ° ° |
и |
не выполняется нп |
|||
Докажем, |
наконец, |
||||||||
одно из |
условий (I), |
(II) |
и (III), то должны |
иметь, |
что « (/+ )> |
||||
> —оо |
и |
к(1+)= о°. |
Тогда |
Рх ^HmX (t) = |
Zj > 0. |
Так |
как |
||
exp (— t /\е) и (X (t /\е)) — неотрицательный |
супермартингал |
и |
|||||||