Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Стохастические дифференциальные уравнения и диффузионные процессы

..pdf
Скачиваний:
7
Добавлен:
12.11.2023
Размер:
21.35 Mб
Скачать

 

§ 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/

JV 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))) определяются обычным образом.