книги / Стохастические дифференциальные уравнения и диффузионные процессы
..pdf
|
§ 5. СТОХАСТИЧЕСКИЙ ПАРАЛЛЕЛЬНЫЙ ПЕРЕПОС |
281 |
|
Пусть |
Т (х) — (T’jj}*.. Jq (г)) является (р, |
q) -тензорным |
полем, |
•ft FT(r) = |
(г)) — его скаляризацня. |
Это система |
гладких |
-функций на О(М). Пусть А — оператор Лапласа — Бельтрами, дей ствующий на тензорных нолях, определяемый равенством
(л г)‘х с ; ; = е » (v |
|
|
g ^ : : . ^ |
, |
(5.9) |
||
где VT — ковариантная производная |
тензорного |
поля |
Т относитель |
||||
но рвмановой связности. Согласно предложению 4.1 имеем |
|
||||||
т)'Х- 'Х ) (г) = |
F bT iX 'X (г) |
дл я в ся к и х |
|
|
|
||
|
|
|
*2» |
' * Ч |
/l» 7*21 |
* •М7<J' |
(j»lO) |
Действителыго |
|
|
|
|
|
|
|
А 0(М) { F - X X X ) = 2 |
(F ^ ; ; ; > |
) |
= 2 |
T|T2...Tp |
|
|
|
/■ v vTiJ?2...i<?aa ~ |
|
= | |
ei&ejft- ■.e}y\\fk\. ■-f^T )X X 'X = |
|
|||||||||
|
|
= i[eji... e)yl\A .. .faATife*? = |
|
||||||||
так как ^ ielae,a = |
gii. |
|
|
|
|
|
|
|
|
||
a |
|
|
|
Qf)-тензорного |
поля / = (/(т )) |
определим си |
|||||
Для заданного (p, |
|||||||||||
стему функций |
|
U |
|
г) |
|
на |
[0, |
°о)ХО(М) |
равенством |
||
uifcXit, о - 4(^)Й::йис г , «;»] |
(5.и) |
||||||||||
для всяких ii, 12, |
..., |
iP, ]\, / а, |
..., |
/, = |
1, 2, ..., d |
Согласно |
теоре- |
||||
мо 3.1 |
|
— единственное |
решение уравнения теплопровод- |
||||||||
ности |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
W |
|
1 |
|
А |
Л7 |
|
|
|
|
|
|
щ ~ Т Л0(М)У, |
|
(5.12) |
|||||
|
|
|
|
VI , . . = |
|
|
|
|
|
||
|
|
|
|
\ |
))j j ?2 * • ■•? q |
|
|
||||
|
|
|
|
U—0 |
|
|
|
||||
Так как F/ = {(F/)}’}*" |
|
является 0(й)-зквивариантпым, то с |
|||||||||
использованием |
|
(5.7) |
и (5.8) |
легко можно доказать, что |
U(t) = |
||||||
— \Puil- -jq (*• |
•)} |
О(й)-эквивариантно для всякого <S* 0. Следова |
|||||||||
тельно, существует |
единственное |
(р, |
д)-тензорное |
ноле u( t , - ) ~ |
|||||||
- {“ Й -'-’Й (*» •)} |
такое>чт° |
|
|
|
|
|
|
|
282 |
|
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МПОГООНРАЗИЯХ |
|
|
||||||||||||||
Согласно |
(5.10) |
ясно, |
что |
u(t, |
•) — единствеишое решение |
уравне |
||||||||||||
ния (5.1). Таким образом, |
уравнение |
теплопроводности |
(5.1) для |
|||||||||||||||
т ензорных полей решается единственным образом. |
|
|
||||||||||||||||
Далее рассмотрим уравнение |
(5.4) |
для дифференциальных форм. |
||||||||||||||||
Пусть |
а |
(х) = |
|
|
i |
х )(dx1•Д d x Д••• |
Д d xl‘' |
является р-формой. |
||||||||||
Так как |
риманова |
связность есть |
связность без кручения, |
то имеем |
||||||||||||||
|
|
|
( ^ |
Л ..Лр_г = |
J W |
|
l)v—1Vi ot. |
- |
i-l |
|
(5.13) |
|||||||
|
|
|
|
' . |
tv 4--.iv |
|
|
|||||||||||
где знак |
~ |
обозначает |
пропуск. Комбинируя |
это |
соотношение с |
|||||||||||||
(4.53), |
легко |
видеть, |
что |
|
|
|
|
|
|
|
|
|
|
|
||||
|
(И г^-.Л р-! = |
- |
jrif,V/£0Ciii...ip_ i: = |
- |
|
|
. |
(5.14) |
||||||||||
В силу |
(5.13) |
и (5.14) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ЯГ |
|
< *«)., V |
, |
- |
2 |
( - |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
( |
|
S |
|
d |
|
a |
|
|
) |
|
V |
V iva i i r |
..?v ...ip* |
|
|||
Далее, ясно, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
(U a)i1i2...ip = |
У У{агрг .Лр — ^2 (— 1) |
(У |
|
У Угу) ан,..Ду.-Л |
||||||||||||||
Отметим тождество Риччи |
|
|
|
|
|
|
|
|
|
|
(5.15) |
|||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
(v,vh- |
y ky l)oLilit...i{l = |
Д |
^ |
|
: ;осч...ч,_1Лч.+1...{р |
|
|
||||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B)hl |
= —%f/’j l ----—, (ft*;} |
+ |
(Ь |
|
it U’a) |
(A jl |
li’al) |
|
|
|||||||
|
|
|
|
|
d x |
|
|
O x 1 |
|
|
|
|
|
|
|
|
|
|
является компонентой тензора кривизны и B\j-i = ghaR)ai [30] Применив это тождество к (5.15), находим, что (5.15) можно пере писать в виде
(— a)i1i.r ..ip — |
^2 ( |
1) R-h-ivahi1...?v...i |
|
|
- 2 |
|X<VS |
( - i r v< 4 * , M 1r . . V . Vу |
Vv |
(5Л6) |
Соотношение (5.16) называется формулой Вейтзенбока |
[132], |
[39]. |
||
Для 1-формы а = аi(x)dxi |
|
|
|
|
C .ja)i = (Аос)» + В\а:, |
(5.17) |
|
$ 5. СТОХАСТИЧЕСКИЙ ПАРАЛЛЕЛЬНЫЙ ПЕРЕНОС |
|
283 |
|||
1'Др |
/ / { = R 3.'h.\- В точности |
таким же образом, |
как и |
выше, |
па- |
|
КОДИ'М, что уравнение |
(5.4) |
эквивалентно следующему |
уравнению |
|||
ДЛн |
альтернирующих |
и 0(й)-эквивариантных |
систем |
V(t, |
• — |
|
*- |
г)\ функций на О(М): |
|
|
|
тг) ~
- |
4 - Ь |
к |
ы |
У |
, Г) - |
4 |
2 |
( - |
l)V f,(r) К |
я |
|
, (I. г) - |
|||||||
|
|
|
|
|
|
|
|
|
V—1 |
|
|
|
|
|
|
у |
|
|
|
- 2 |
< - |
|
|
|
|
|
|
|
|
|
о : |
- - ! - n |
o i » |
V |
) 1 A ...l,<«, г), |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.18) |
|
|
|
|
|
|
|
|
( 0 , f ) = |
( ^ / ) i 1i 2. . . i p (О » |
|
|
|
|
|
|
||||
где |
{/^(г)) — скаляризация тензора Риччи |
R\~R\‘^.'b |
а |
(/];'(г)} — |
|||||||||||||||
скаляризация тензора кривизны |/?!)?/}. Заметим, что в силу |
(5.16) |
||||||||||||||||||
^0(ЛГ)^а ™ |
а |
ДЛЯ |
ОС ^ |
А р ( Л / ) , |
|
уравнения |
(5.18) |
модификацией |
|||||||||||
Мы хотим |
построить |
решение |
|||||||||||||||||
математического |
ожидания |
в |
(5.11) |
весом |
типа |
Фейнмана — Каца. |
|||||||||||||
Д ля |
этого |
удобнее выразить горизонтальное броуновское движение |
|||||||||||||||||
r(t) |
па О(М) |
в |
каноническом |
виде. Пусть W (0 (M )) = C([O, |
<»)-*• |
||||||||||||||
'-О(М) — множество |
всех |
непрерывных |
функций |
|
w: |
[0, |
«>)-*■ |
||||||||||||
-*0(М ), & (W (0 (M ))) — о-поле |
на W (О(М)), |
порожденное |
боре- |
||||||||||||||||
лсвскими |
цилиндрическими |
множествами, |
a |
&t(W (0(M ))) — |
|||||||||||||||
о-ноле ца W (О(М)), |
порожденное борелевскими цилиндрическими |
||||||||||||||||||
множествами до момента времени £. Пусть Рг, г^О (М ), |
есть |
веро |
|||||||||||||||||
ятностный закон на W (О(М)) |
случайного процесса |
|
t —- г (£, г, w). |
||||||||||||||||
Пусть для каждого w е \\(0(М)) |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
M {t, w) = |
{M \ £ ;X (t, и-)} |
|
|
|
|
|
|
|||||||
является |
решением |
следующей |
системы |
уравнении: |
|
|
|
||||||||||||
|
ЧУ-'р |
(t) |
|
|
|
р |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
( - |
1)vM !S :::^ jv ,i" ip( o / i i (^(0) |
|
|
|
||||||||||
|
dt |
|
|
Y |
|
|
|
||||||||||||
|
|
|
|
|
|
V = |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1,2....... V |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
- |
is |
( - |
l)11+vAf |
|
**+2''‘iv'iv+1'■ |
(t) A i' (W(*)), |
|
(5.19) |
||||||||||
|
|
H<v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м й :::2 (0 ) = б | ;^ ...б ^ . |
|
|
|
|
|
|
|||||||
Ясно, что |
система |
уравнений |
(5.19) |
имеет |
единственное |
решение. |
|||||||||||||
Я силу единственности |
решения |
можем легко |
заключить, |
что для |
284 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
|
|
||||
|
|
|
|
|
|
|
|
|
всякой перестановки а |
|
|
|
|
|
|||
|
|
M°(h)°(i2) - °(ip)' ’ U7/ |
J” V 2 -,PV ’ h |
|
(5.20) |
|||
|
|
|
|
|
||||
более того, решение системы |
|
|
|
|
|
|||
dyV 2"j/> |
|
|
|
|
|
|
|
|
di |
|
|
|
|
|
|
|
|
- |
l’ S ” ( - |
|
|
( t) j f t (W(0), |
|
(5.21) |
||
|
| X < V |
|
|
|
|
|
|
|
|
|
|
дгО^-^/о\ = а}1}*-{р |
|
|
|
|
|
|
|
|
■‘vi1V " lplUl |
‘lV -’P |
|
|
|
|
задается равенством |
|
|
|
|
|
|
||
|
|
|
■й,для всяких ?i« **« •••’ **« h |
J |
v - ’U- |
|||
|
|
|
|
|
|
|
(5.22) |
|
Отсюда можем заключить, что*) |
|
|
|
|
|
|||
|
|
+ |
* , « * ) - л й Х Х к , w })M ktfe::%(s, «о, |
(5.гз> |
||||
где |
<= W (0(A /)) |
определяется равенством |
(н;^) (<) = |
«;(£ + |
s). |
|||
Действительно, |
{л/ j ^ ” "^ (f + s, H7)J является |
решением (5.21), |
где |
|||||
w(t) |
заменено |
через wt (0 = w(t + s) и |
|
|
|
|
^ й :::^ (о ) = л /^ :;:^ (,).
Аналогично можем заключить, что |
|
|
|||
М \% Х(1, Taii') = |
Mh%\Xp(t, w b\\b\\- --biySal;. ••«,£ |
(5.24) |
|||
для а = (aj) е |
О (d)\ |
(bj) — обратная к |
(а)) матрица. |
Пусть |
|
(^/)i i i (/*)}— |
скаляризация |
заданной |
р-формы |
f(x) = |
=Д £&с*а Л •••Л dx'P.yi определим систему функций.
Uilir ..iv {t,r) на [0, ос)ХО(М ) равенством
|
|
(*’ г) = |
И |
Й - 4 (*. “О |
J* (w(0)(• |
(5-25) |
||
Из |
(5.20) |
очевидно, |
что |
(£/{да..д (£, 0 } — альтернирующая |
по |
|||
(i,, |
г2, ..., iP |
система, |
а |
из |
(5.24) следует, что она 0(й)-эквива- |
|||
M(t, |
*) .¥(<, w) |
является |
также |
,#<(\У(6>(ЛГ)))-измеримьш. Таким образом, |
||||
(т)-частный случай мультипликативного операторного функционала |
|
[142]. |
§ 6. СЛУЧАЙ С ГРАНИЧНЫМИ УСЛОВИЯМИ |
285 |
риантна. Следовательно, единственным образом определяется семей ство р-форм а, (ж) - Д dxl* Д •••Дс£г,/>) такое, что Vixir ..ip{t, г) = ( ^ ) i lj2...i;)(0- Если !FiiV ..i?)(C г)} — система глад ких функций, определенных на [О, °°]Х О (М ), то по формуле Ито
гГ"Ч> |
|
н;) v i |
ц;( 0 ) - |
EilV ..ip(0, г) = мартингал + |
||
t |
|
|
|
|
|
|
+ |
|
|
|
|
+ |
T Ao<M)E;lj2...;p)(s, w(s)) ds - |
О |
|
|
|
|
|
|
/, |
f |
г> |
. . |
|
|
|
{ |
E |
( |
- |
|
к о ^ > ( * ) ) ^ , и *» + |
|
0 |
'v”=> |
|
|
|
|
|
+ h '2% |
V ( - i r |
+^ / f e : : j |
! I',j*‘+s- iv'Jv и - ^ (a, W) J H 1 (W is)) X |
|||
j i < |
v |
|
|
|
|
|
|
|
x |
V}i}r..}ll(s, |
H7(s))Jda = мартингал + |
||
|
|
t |
|
|
|
|
+ |
|
|
M i |
v + |
i |
^ « 4 л . л , < * ” W>*' (5'20) |
Воспользовавшись этой формулой, можем так же, как и в § 3, за ключить, что и (t, г) = |^г,г2...г„(С г)\ — единственное гладкое решение уравнения (5.18) и, следовательно, at(x) — единственное решение уравнения (5.4).
Малливэн [111] воспользовался вышеприведенным рассуждением и получил интересное обобщение теоремы Бохнера об обращении в нуль [188] для гармонических 1-форм.
§ 6. Случай с граничными условиями
Мы теперь обсудим аналогичное .вероятностное построение ре шения уравнения теплопроводности (5.4) для дифференциальных форм в случае многообразия с краем*).
Пусть М — римапово многообразие размерности d с гладкой гра ницей. Внутренность и граница многообразия М обозначаются че
рез М и дМ соответственно. Вблизи границы мы можем выбрать
координатную |
окрестность |
U и |
|
систему локальных координат |
ж = (ж\ ж2, ..., жД в U так, что xd^ |
0 для всех x^U, а ж е ( / П дМ |
|||
тогда и только |
тогда, когда |
xd= |
0. .Касательный в точке ж дМ |
) Материал этого параграфа заимствован из [58] и [16].
280 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
|
|
|
|
|
вектор п ( х ) = n i (x ) ^ i i задаваемый равенством; |
|
|
|
|
n,(x) = gti{x)/1gti(x), i = 1, 2, |
d, |
(6.1) |
называется внутренне направленным единичным нормальным век тором в точке х. Для определенной в U гладкой функции /
IL{x)==ni{z)lL(x), |
|
X <==дМ, |
(6.2) |
|||
называется нормальной производной |
функции |
/ в |
точке х. Пусть |
|||
„ijij.-.ip |
__ |
fij'S.-' . |
4 |
|
|
|
|
|
|
|
|||
°h>2~’p — |
|
|
|
|
|
|
a ei1»2...id— кососимметрическое |
(0, d) -тензорное |
поле, определен |
||||
ное равенством |
|
|
|
|
|
|
гНЧ- Ч(J ) = |
V |
det (*tf(*)) $ Х |
Л-Ч‘ |
(6.3) |
||
|
Для р-формы а присоединенная к ней * а форма есть (d — p) -фор ма, определенная следующим образом. Если а выражается в виде
а(х) — |
2 |
a*l i i‘o'••i p ( * ) |
||
ТО |
|
•■<ip |
|
|
|
* |
|
||
*а (х) = |
2 |
( x ) |
||
а h i у -id |
||||
|
|
|
p
dx' i Д |
dx'2 Д . . . |
Д ^ х Ч |
(6.4) |
dx 'i Д |
dx'2Д . . . |
Д r/.ri<(-p |
(6.5) |
где
* |
|
2 |
|
,(*) |
l!2 -iP(x) |
(6.6) |
“ jpj.-.jrf--P(*) = |
P |
|||||
и |
|
|
|
|
|
|
|
; |
lh (r)•• . g'pip |
|
|
|
|
абч- |
'P (x) = |
(OCj : |
}p(x). |
|
||
|
|
|
•'l'2 |
|
Пусть 6 есть р-форма. Через 0ian обозначим сужение 0 на дМ и назовем его касательной компонентой формы 0. Нормальную ком поненту формы 0 определяем равенством
|
0ПГГП |
0 * 0tan> |
|
|
|
Пусть Т1(ж)— дифференциальная 1-форма такая, что |
|
|
|||
|
т|Ьм(ж)= r\i{x)dx\ xezdM, |
|
(6.7) |
||
где тр(а:)= gu{x)ns(x), а п’ (ж) |
определен |
равенством |
(6.1). Тогда |
||
легко видеть, |
что сужение |
(— l),'w“ ,,,‘H' 1 [* (*0 |
Д П] А П Iэм |
||
/ьформы ( — |
[* (*0 < т])] Д ц |
единственным |
'образом |
||
определяется по 0 и совпадает с 0nOrm. |
|
|
|
|
|
§ 6. СЛУЧАЙ С ГРАНИЧНЫМИ УСЛОВИЯМИ |
287 |
|||||
О п р е д е л е н и е 6.1. Будем |
говорить, |
что дифференциальная |
||||||
форма |
0 |
удовлетворяет |
абсолютным граничным |
условиям, |
если |
|||
0„„гга = |
0 |
И (<20)norm = |
0 ([148]). |
|
|
(5.4) с абсолют |
||
Мы хотим решить уравнение теплопроводности |
||||||||
ными граничными условиями, а именно решить задачу |
|
|||||||
|
|
|
д а |
|
|
|
|
|
|
|
|
dt = |
Т |
|
|
|
(6. 8) |
|
|
Я [/—0 = |
/> |
|
|
|
||
|
|
|
|
|
|
|||
|
|
Я цоггп = |
0 , |
(<2а)погт = |
О, |
|
|
|
где |
|
является |
заданпой р-формой. |
Чтобы |
избежать |
неже |
лательные осложнения мы ограничимся случаем |
1-форм. |
Вблизи |
границы мы можем выбрать координатную окрестность U и систе |
||
му локальных координат х = (х\ х2, ..., xd в U |
так, что |
выпол |
няются следующие условия: *) |
|
|
(I)х'1> 0 для всех x^U\
(II)i e f /П дМ тогда и только тогда, когда х' = 0;
(III) |
тензор |
|
метрики |
g{x) = ( g a ( x ) ) |
удовлетворяет |
равен |
|||||||||
ствам gi<i(x)= 0 для г = 1, 2, |
..., <2— 1. |
Легко видеть, что в этой |
|||||||||||||
системе локальных координат |
0 e A t(A/) |
удовлетворяет |
абсолютным |
||||||||||||
граничным условиям тогда и только тогда, когда |
|
|
|
|
|||||||||||
Qd(x) = |
0 н г^ОН*) = |
0, |
i = |
1, 2, |
. . . , d — 1, х €= U П дМ. |
(6.9) |
|||||||||
|
Лт" |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Действительно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 П О Г И 1 === |
( * ^ ) ^ |
® ( d 0 ) n o r m |
|
|
|
|
|
|
|
|
|||||
откуда и следует |
|
(6.9). |
|
|
ортонормированных |
реперов |
над |
М. |
|||||||
Пусть О(М) — расслоение |
|||||||||||||||
Если F»(r)= ([Ее];(г)) |
является скаляризациен |
1-формы |
0, |
т. |
е. |
||||||||||
|
|
|
[^eli (г) = |
0j (■*)е\, |
г = |
(z\ |
е]), |
|
|
|
|
|
|||
то (6.9) |
выполняется в том и только том случае, если |
|
|
|
|
||||||||||
fa l^elj (г) = |
0 и |
1\^ |
f/'’оЬ (') = |
0, |
г = |
1, 2, |
. . . , |
d — 1, |
(6.10) |
||||||
где (/]) |
является |
обратной |
|
к |
(ej) |
матрицей. Таким |
образом, за |
||||||||
дача Коши (6.8) |
|
для дифференциальных 1-форм эквивалентна сле |
|||||||||||||
дующей |
задаче |
Коши |
для |
|
R '-зиачпых |
эквивариантных |
функций |
*) См. [92], [148].
288 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|||||
|
г)) на О(М): |
|
|
|
|
|
|
|
г) = ^ { A 0(M)Ui(t, г) + |
J\(r)Uj(t, г)}, |
|||
|
и г(0, г) = (Ff)i (г), |
|
|
( 6 И . |
||
|
ох |
г)\тМ) = 0, |
г = |
1, 2, . |
d — 1, |
|
|
|
|
|
|
|
|
|
fWj (t, г) |йО(д/> = |
0, |
|
|
|
|
где |
[j{ (г)) — скаляризация |
тензора |
Риччи |
|В\(а-)] и дО(М) = |
= {г = (х, е )^ 0 (М )‘, х ^ дМ). Мы теперь решим эту задачу Коши с
использованием горизонтального броуновского движения r(t)) |
па |
|||||||||||||
О(М). (r(t)) |
можно |
получить посредством решения стохастических |
||||||||||||
дифференциальных |
уравнений |
с |
граничными |
условиями |
(§ 7 |
|||||||||
гл. IV). Так как конструкция решений может быть локализована, |
||||||||||||||
то мы без колебания принимаем следующие предположения: |
|
про |
||||||||||||
П р е д п о л о ж е н и е |
(А). |
М — верхнее |
полупространство |
|
||||||||||
странства R'': |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
М = {х; х |
— (х1, х2, |
. . . , xrf) е Rd, хй^ 0} |
|
|
||||||||
и |
|
|
|
|
дМ = |
{х е= М; xd —0). |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||||
П р е д п о л о ж е н и е |
(В). Тензор римановой метрики (gu(x)) |
|||||||||||||
при системе координат х = |
(х1, |
х2, |
.. ., хЛ состоит из С^-функций, |
|||||||||||
ограниченных |
вместе |
со всеми своими частными производными. |
||||||||||||
Кроме того, (gu(x)) равномерно положительно |
определена и удов |
|||||||||||||
летворяет условию gu,{x) = 0 для i = 1, 2, . . |
d —1. |
|
|
|||||||||||
Мы рассматриваем следующее стохастическое дифференциальное |
||||||||||||||
уравнение |
для процесса |
(X(t), |
e(t)) |
па |
R + X R<( ’• |
|
|
|||||||
dX\ = |
e)t{t)odBh{t) + |
blcld^{t), |
|
|
|
|
|
|
|
|||||
del{t) = |
- \ i h\{^{t))eho:(t)^X l (0 = |
|
|
|
|
|
||||||||
|
= |
- |
[lih {X {t))^ {t)e}m{t)odBm{ t ) - |
{dM(X(t))ei(0d«P(0. |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i, a = l , 2, . .. , |
d. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( 6. 12) |
|
Здесь |
(п<Кх) — символы |
Кристофеля, |
a B (t ) - (B '( t ) ) — d-мерное |
|||||||||||
броуновское движение; |
|
|
— непрерывный |
неубывающий процесс, |
||||||||||
который |
возрастает |
только |
тогда, |
когда |
X(t)^dM. Система |
(6.12) |
является частным случаем систем стохастических дифференциаль ных уравнений, рассмотренных в гл. IV, § 7, и поэтому, согласно теореме 1V-7.2, мы знаем, что для любой борслсвской вероятност
ной меры р на R+ X Rd", существует единственное решение (X(t), e(t)) уравнения (6.12) с начальным распределением р. Таким же
|
§ 6. СЛУЧАЯ С ГРАНИЧНЫМИ УСЛОВИЯМИ |
289 |
|||
|
|
|
|
|
|
образом, как и в § 4, мы паходим, что если |
|
|
|||
то для всех |
15= О |
gki (Х(0))е-(0)е'(0) = |
6и, |
|
|
gk,(X{t))eUt)e](t) = |
8„ |
|
|||
|
|
|
|||
выполняется |
почти |
наверное, |
т. е. если |
(-Х'(О), е(0) ) е О(М), то |
|
(X(t), e(f) ) е О(М) |
для всех |
t > 0 п. н. Таким образом, мы имеем |
|||
диффузионный процесс r(t) = (X(t), е (t)) |
на О(М). Этот процесс |
называется горизонтальным броуновским движением на расслоении
ортонормалъных реперов О(М) с отражающей границей. |
Пусть |
|
Еи Ег, ..., |
Ed— канопические горизонтальные векторные поля: |
|
(LmF) (г) = |
егт^г (г) — \ki}(x)eme'j'^(r), (г = (х, е = (е}))), |
(6.13) |
|
и i |
|
т= 1, 2, . . d,
иопределим горизонтальный лапласиан Бохнера равенством
|
|
d |
^ |
|
|
&0(М |
= |
Em(Lm'). |
(6.14) |
Положим |
|
m=i |
|
|
|
|
|
|
|
add (г) = |
gdd (х), |
(г) - |
- ekm(A l (*) gM(*). |
(6.15) |
Т е о р е м а 6.1. |
Пусть |
r (t) = |
( X (t), e{t) = (em(t))) — горизон |
тальное броуновское движение с отражающей границей, по строенное выше по решению уравнения (6.12).
(I) |
Для любой гладкой функции F(t, г) |
на [О, |
°°)ХО(М) |
|||||
dF (t, г (0) = (LmF) (t, г (()) dBm(0 + |
|
|
|
|
||||
|
+ (Y (Ао(М)Р) (t, г (t)) + j f ( t , r |
(i))| dt + (l |
dF ) (t , r (f)) dip(t)f |
|||||
где Xd —- горизонтальный лифт векторного поля Xd— |
задаваемый |
|||||||
в явном виде равенством |
|
|
|
|
|
|||
|
{X dF)(t,r) = |
d^-d(t, r) + |
« т*(г) |
d F |
|
(6.16) |
||
|
|
|
дха ' |
a dd (г) |
dem |
|
|
|
(И ) |
dXd (t)-dXd(t) = |
udd(r(t))dt |
|
|
|
(6.17) |
||
[dXd (t)-dem(t) = |
ofi? (r(t))dt, |
m, i = 1 , 2 , . . . , |
||||||
|
d. |
|||||||
Доказательство |
(I)’ получается непосредственно из формулы |
|||||||
Ито. |
(II) легко |
доказывается, если |
только заметить, |
что |
2 < 4 ( 0 < 4 ( * ) = / Ч Х (*)>•
19 С. Ватанабэ, Н. Икэда
290 |
ГЛ. V. ДИФФУЗИОННЫЕ ПРОЦЕССЫ НА МНОГООБРАЗИЯХ |
|
||||
Из |
теоремы 6.1 следует, |
что процесс |
(r(f)) |
па |
О(М) |
опреде |
ляется |
дифференциальным |
оператором |
4“^о(л/) |
с граничным |
||
условием XdF = {) на дО(М). |
Из (6.17) следует, |
что |
процесс |
(г(£))' |
является нормально отраженным диффузионным процессом в смыс ле пшкеследующего определения 6.2.
Чтобы получить решение уравнения (6.11) нам пужно построить мультипликативный операторный функционал (МОФ) так же. как и в предыдущем параграфе. Пусть {r(f, w), w е W (0(M ) )Pr) — капоническая реализация горизонтального броуновского движения
на О(М) с отражающей |
грапицсй |
W (0(M ) ) = С([0, |
<*>)-»• О(М)), |
Рг — вероятностный закон |
па W ( 0 ( M ) ) решения r(t) уравнения |
||
(6.12) с г(0) = г, и r(£, w)— w(t) |
для ш е \ У (0 (1 )). |
Для борелев- |
ской вероятностной меры р па О(М), Р„ определяется равенством*)
РДР) = |
P r (P)p(dr), |
Ве=$(\\(0(М ))). |
Пусть ST= |
||
|
ООП_______ |
|
|
|
|
|
р |
для |
любой |
вероятности |
р |
— Л $ (W (О(Л/))) м п SFt = |
|||||
существует В» такое, что В„ е J?( (W(0(J7))) |
и Р„(Л А /?,,) = 0). |
Мы |
теперь фиксируем р и проводим последующие рассуждения па ве
роятностном пространстве |
(W (О(М)), ST, Рм). Записывая r(f, |
w )= . |
|||||||||||||||||
— (X(t) = X(t, |
w), |
e(t) = |
e(t, w)), |
мы |
|
положим |
|
|
|
||||||||||
|
|
|
_ |
cp(t) = |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
lim 1 f/ [0,е) (X d (s)) g lhi (X (s))ds |
|
|
|
|||||||||||||
0 |
|
|
|
|
|
|
el0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bi (t) = |
С[e («Г 1]! • [dXH(s) - |
fi3dq> (*)1. |
|
|
|
||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
Тогда |
{B‘(t)} — d-мерное |
t)-броуповское |
движение |
и |
{r(t) = |
||||||||||||||
— r(t, |
w), ф(£)} удовлетворяет уравнению (6.12). |
относительно |
дей |
||||||||||||||||
|
Л е м м а 6.1. |
{Pr) |
является |
инвариантным |
|||||||||||||||
ствия |
Та, |
а е |
0(d), |
т. |
е. |
если |
Taw ^ W (0 (M )) |
определяется |
для |
||||||||||
w ^ W (0 (M )) |
равенством |
(Taw) (t) = Ta(w(t)) |
и |
если |
Та(Рг) — |
||||||||||||||
мера-образ |
меры |
|
Рт при |
отображении |
w |
Taw, mo |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
T*(Pr) = PTaT. |
|
|
|
|
|
|
(6.18) |
|||
с |
Д о к а з а т е л ь с т в о . |
Пусть |
r(t) — решение |
уравнения |
(6.12) |
||||||||||||||
В (t) |
и |
ф(£) |
такое, |
что г(0) — г. |
Тогда |
для |
а е 0(d), |
r(t) = |
|||||||||||
= |
Та(г( 0 ) — решение |
уравнения |
(6.12) |
с |
B(t) = a~!B(t) |
н |
<p(i) = |
||||||||||||
= ф(£) |
такое, |
что |
r(0) = Tar. B (t)~ другое |
d-мерное броуновское |
|||||||||||||||
движение и, следовательно, (6.12) выполняется |
в |
силу |
единствен |
||||||||||||||||
ности |
решения. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
*) Л(\У(0(Д/))) и 3S,(W(0(M))) определяются обычным образом.