Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 10.04.2024

Просмотров: 300

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Г ЛА В А 7

АБСОЛЮТНАЯ НЕПРЕРЫВНОСТЬ МЕР, СООТВЕТСТВУЮЩИХ ПРОЦЕССАМ ИТО

ИПРОЦЕССАМ ДИФФУЗИОННОГО ТИПА

§1. Процессы Ито. Абсолютная непрерывность их мер

относительно винеровской

1. Пусть

(Q, 9~, Р) — полное

вероятностное

пространство,

F = (£Tt),

0, — неубывающее

семейство

сг-подалгебр 3~ и

W = (Wt, 9~t),

t ^ O , — винеровский процесс.

(£„ &~t), O ^ t ^ T ,

Рассмотрим случайный процесс Ито*)

£ =

с дифференциалом**)

 

 

 

 

 

dlt = h(<i>)dt + dW(,

= 0,

(7.1)

где процесс ß = (ß/ (со), SFt), 0 ^ t <1 Т, таков, что

Р j j I ß/(®) I dt < ooj == 1.

Обозначим (Cj-, $ T) измеримое

пространство непрерывных

функций х — {х^, s ^ . T , с

х0 =

0,

и пусть fx^,

n w— меры

в (Су, $ т), отвечающие процессам

£ =

(£s)> s ^ T ,

я W =

(Ws),

s < T :

pw (В) = Р {со: № е= В].

(7.2)

ц, (В) = Р {со: і е= В),

В настоящем параграфе будут изучаться вопросы абсолют­ ной непрерывности и эквивалентности мер ң и pw для случая,

когда I есть процесс Ито.

Условимся о некоторых используемых далее обозначениях.

Пусть

и

ц, w — сужения

мер

ц.

и

pw на $ t =

= о{х:

xs,

s ^ t } .

Через dH

х)

d\i

 

х)

будут обозна­

и

 

 

 

 

чь

 

dH

 

 

 

*)

В случае Т = оо предполагается,

что 0 ^

t <

op,

 

**)

См. определение 6 в § 2 гл. 4,

 

 

 

 

 


272

АБСОЛЮТНАЯ НЕПРЕРЫВНОСТЬ МЕР

[ГЛ. 7

чаться измеримые по паре переменных плотности (производные Радона — Никодима) мер по \it w и w по цгд. В случае

t — T индекс Т будет опускаться:*"

rf?V (х)

d№w

х),

dH (X)

dH (T, X).

(т,

dH

 

 

d^w

d^w

djig

dpg

 

 

 

Через dp. -(g),

dH,, (t, I) обозначаются

соответственно d?~\-

и ^-измеримые случайные величины, получаемые при подста-

dpE

djXt

 

 

 

новке в -т-Мх),

-y-^-{t,x) вместо х функции g = (gs (со», s < 7 \

Ujiyr

“Иде-

 

 

 

Аналогичным образом определяются

,

(t, W),

~(Ц7), ..

2. Т е о р е м а

7.1. Пусть £ = (|„

t),

/ < 7 \

процесс Ито

с дифференциалом (7.1). Если

 

 

 

 

 

 

 

 

 

 

Р

 

Ц $ d t

<

o

o j =

1,

 

(7.3)

 

Р| ~

 

 

,

7

 

 

 

т

 

 

 

 

 

 

 

п Р-п. н.—J

ß , d W t

—уJ

ß frf *

=

1 ,

 

 

 

 

 

М exp j

U

U

 

(7.4)

 

 

 

 

^

 

 

 

 

J

 

 

 

 

Г О

 

 

 

 

*)

-I М^+ ДJ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d№w (g)=M

exp

 

 

 

 

(7.5)

 

 

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

Обозначим

 

 

 

 

 

 

 

 

 

 

i/=expf-J ßs^ s-y / ßjdsj.

 

 

 

Поскольку

по

предположению

 

(7.4)

Mgr =

l, то

(лемма

6.4)

b = (it’

 

 

является

мартингалом. Пусть

Р — мера на

(Q, И~)

с < і Р =

іт( © ) ^ Р .

По

теореме

6.3

процесс

l =

(h,

&~t),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

ßs d%s

 

*) По

поводу определения

 

стохастического

интеграла

J

см. гл- 4,

§ 2.

 

 

 

 

 

 

 

 

 

 

 

0

 


§ 1] ПРОЦЕССЫ ИТО 273

t ^ . T ,

является

винеровским

(по

мере

Р),

а следовательно,

для

 

 

 

 

 

 

 

 

 

 

 

^ ( Л ) =

Р ( £ е Л ) =

J

s » d P =

 

J

M(ar (® )i^6)dP. (7.6)

 

 

 

{и: І^ Л }

 

{и: 5<=Л}

 

 

Случайная величина

М (Зг (со) | ^~|.)

является £Г|.-измеримой,

и, следовательно *),

найдется

такая

^-измеримая

неотрица­

тельная

функция Ф(х), что Р-п. н.

 

 

 

 

 

 

 

 

М М ® ) І П ) =

Ф(£(®))-

 

(7-7)

(Для наглядности

эту функцию Ф(л:)

будем

обозначать также

М (Зг (®) I

 

Аналогичные

обозначения

используются и

в других

случаях.)

 

можно переписать в следующем виде:

Тогда

формулу (7.6)

 

|і^ ( Л )=

f

 

Ф (I И ) dP (о) =

f Ф (х) d\i%(х).

 

 

{со: і«=Л}

 

 

 

Л

 

 

 

Отсюда получаем

|і г

<

^ и

 

 

 

 

 

 

 

 

 

^Ж.(х) = Ф(х)

(іуп.н.).

 

 

Поэтому в силу (7.7)

 

 

 

 

 

 

 

 

 

 

 

(І) = м(аг (со)Щ ).

 

(Р-п. Н.),

 

что вместе с (7.1) доказывает представление (7.5).

 

Осталось теперь показать, что

 

-С nw. Для доказатель­

ства заметим, что

 

 

 

 

 

 

 

 

 

 

 

 

 

-дрг (®) = к

(®).

 

 

 

причем

Р (5г (®) — 0) =

0,

поскольку

в силу условия

(7.3)

 

 

 

 

 

fodWt

<

°о) =

1.

 

 

Поэтому по лемме 6.8 Р < Р и

dP

(ы)

\г](“ )•

dP

 

 

) См. гл. 1, § 2-


274

АБСОЛЮТНАЯ НЕПРЕРЫВНОСТЬ МЕР

[ГЛ. 7

 

Далее,

 

 

 

(А) = Р {со: I е А) =

[ 1(соjjr) (со) =

 

{со: | е Л )

=

J

 

м [äf1(со) IЩ

 

dp (со) = J М[5F1(со) I g-\]l=x dnw (х),

{со: \ s

А)

 

 

 

 

 

А

 

 

 

поскольку

Р {со: |

е

А] — pw (А). Следовательно, щ <С

и

Р-п. н.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

( І )

=

М [^'(со )Щ ]-

 

(7.8)

 

 

 

 

ajxw

 

 

 

 

 

 

З а м е ч а н и е .

Теорема

7.1 сохраняет

свою силу,

если вме­

сто момента

времени

Т

рассматривать

марковский

момент а

(относительно

системы

J

 

0). Тогда, если

 

 

 

 

 

 

 

Р

 

dt < оо

 

 

 

 

 

 

 

 

 

■о

 

 

 

 

 

 

 

М ехр

 

 

 

 

= 1,

 

 

то меры

 

и pw,

 

рассматриваемые на сг-алгебре

эквива­

лентны.

 

 

 

Пусть

при каждом t,

0 ^ . t ^ . T ,

случайные -

С л е д с т в и е .

величины ßÉ= ß((co) являются &~\-измеримыми. Не вводя новых

обозначений, будем сразу предполагать,

что ßi =

ß*(|(co)). Пусть

также выполнены условия (7.3), (7.4).

 

 

 

Тогда Р-п. н.

т

т

х

 

/

 

Ш = е х р ( - J ß ((g)d£( + y

j ß?(g)df).

(7.9)

'

U

ü

/

 

Поскольку Pj

10

dH dßw (X)

Из (7.9) и леммы 4.10 нетрудно вывести, что производная

Ф е

может быть представлена в следующем виде:

^ r W = exp^J ßt (W)dWt - ± j ß?(lF)d/) (Р-п. н.). (7.10)


 

 

 

 

 

ПРОЦЕССЫ

ИТО

 

 

 

 

275

П р и м е р

1.

Пусть l t = %■t + Wt, / < 1 , где Ѳ= Ѳ(со) — Со­

измеримая нормально

распределенная

случайная

величина,

N(0, 1), не зависящая от винеровского

процесса

W.

Согласно

примеру 4 § 2 гл. 6

 

М exp

ѲИД —

=

1, и по теореме 7.1

 

dnw . .

. .

Г

/

 

 

Ѳ2

 

 

 

 

dii. •(і) = м

ехр

 

Ѳ|, +

 

 

 

 

 

Условное

распределение

Р(Ѳ <|г/|5Г|)

является

нормаль­

ным,

у ) .

Поэтому

 

 

 

 

 

 

 

 

М

ехр ( - Ѳ£, +

 

I Н

 

= Ѵ2 ехр ( -

Щ .

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

dv-w / ч

і / іт

[

 

хі

 

 

dji!

 

1

 

X

(7.11)

—— (х) =

V 2 ехр

 

— —

 

 

(х)

 

-T=exD

d\i t

 

 

\

 

4

 

 

diiw

 

V T

'

V 4

 

Забегая вперед, отметим, что для этих производных можно

дать иные выражения

(§ 4).

Так,

согласно теореме 7.13 Р-п. н.

dfi

 

 

 

 

 

1

 

 

 

1

 

 

 

(I) =

ехр

 

 

 

 

 

dis +

 

 

 

ds

(7.12)

w-

 

 

 

 

+ s

 

■+S

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Т е о р е м а

7.2.

 

Пусть £ =

(£*, STt), t < 7 , — процесс Ито

с дифференциалом (7.1). Если P

^ J $ d t <

ooj =

l, то р.. <С р г .

Д о к а з а т е л ь с т в о .

Положим для

« = 1 , 2, ...

 

 

 

 

 

 

i n f L ^ T : J ß - d s ^ r a j ,

 

 

 

 

т„ =

 

 

 

(

 

о

 

 

'

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

Т,

если

J

ßj; ds <

п,

 

 

 

и х[п) = %, t

ds

. P(fn) =

x?%.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

If) =

 

ß'») ds + Wt,

 

 

 

 

 

 

 

J

0