Файл: Балакришнан, А. Введение в теорию оптимизации в гильбертовом пространстве.pdf

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

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

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

Добавлен: 24.10.2024

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

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

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

Вероятностные меры на гильбертовом пространстве

243

Процесс, удовлетворяющий условиям (і) и (іі), назы­ вают винеровским процессом в гильбертовом про­ странстве.

П р и м е р 5.3. Сохранив обозначения и основные определения предыдущего примера, обозначим через {g^}

ортонормальный базис

в L2(H, [0, 7]). Тогда легко

видеть, что функция

оо

 

А ( ю) =

2I[ < в , <Pfe]gfe,

будучи ограниченным линейным преобразованием, опре­ деленным на Q, задает элементарную случайную вели­ чину в Ь2(Н, [О, 7]) с характеристической функцией

Е (е1№<»>.*1) = е х р ( - ^ ) .

Стохастические интегралы

Пусть f { - ) ^ L 2(H, [0, 7]) и W(t, со) — винеровский процесс, обладающий свойствами (і) и (іі), сформули­ рованными выше. Тогда интеграл

т

J U(t), dW(t, со)]

о

можно определить так. Для любой ступенчатой функции, т. е. функции вида f(t) = ch < £г+І (г = 0, 1, ..., N), tQ= 0, tN+i — 7, 0 <Нг 7, этот интеграл определяется естественным об-разом:

Т

N

/(f,

dW(t, ю)] = £[£?*,

о

о

Заметим, что

в этом случае I (t, со) можно рассматри­

вать как некоторое линейное преобразование, отобра­ жающее линейное пространство ступенчатых функций из L2(H, [0, 7]) в пространство элементарных случайных величин; для каждой ступенчатой функции f( - ) инте­ грал I (іf, со) определяет на Н некоторый линейный

244

Глава 5

функционал. Более того, из условия (і) следует, что

Е(| /(/, со) р) = Иf |р,

а из условия (іі) — что для каждого со

|/(Д СО) I<110 Hilf II.

Возьмем теперь последовательность Коши {f„} сту­ пенчатых функций. При каждом п интеграл I(fn, и) определяет ограниченный линейный функционал от со и

І № , • ) - /( /,„ . ^ l K W h - L W -

Это показывает, что линейные функционалы I (fn, •) сходятся к некоторому линейному функционалу на Я, а значит, и к некоторой элементарной случайной вели­ чине. Обозначим этот предел через I (f, со), где f — пре­ дел рассматриваемой последовательности Коши. Но так как ступенчатыми функциями можно приблизить любую функцию /е Я , то / (f, со) можно определить как lim {fn, со).

Заметим еще, что

т

Е (/(/, со) I (g , со) *)= J U(s), g (s)] ds.

о

С помощью стохастических интегралов можно по­ казать, что винеровский процесс можно представить в виде

ооt

W (t, со) = ^

[со, срй] J

gk (s) ds,

I

о

 

где {Фб} — ортонормальный базис в Я, а {gk( ■^ -о р т о - нормальный базис в Ь2{Н, [О, Г]). Для этого заметим,

что интеграл

г

J [gkV), dW (t, о)]

о

определяет на Я непрерывный линейный функционал, скажем [фй, со]. Легко видеть, что последовательность {ф*}


Вероятностные меры на гильбертовом пространстве

245

ортонормальна.

Далее,

для

любого у <= Я

 

 

 

 

 

 

t

 

 

 

[У,

w (t,

со)] =

J [у, dW (s, ш)]

 

 

 

 

 

 

О

 

 

 

и, если положить,

как и раньше,

 

 

 

h (s) =

У,

t < s <

Т,

 

 

О,

 

 

 

 

 

 

то получим представление

 

 

 

 

 

 

 

 

со

 

 

 

 

Но тогда

 

А =

21 [А , g k \ g k -

 

 

 

оо

 

 

т

 

 

 

 

 

 

 

 

 

 

[у, W(t, со)] =

2

[А, £*] | [ Ы а

dW(t, со)] =

 

 

 

I

 

 

о

 

 

 

 

 

 

 

<

 

 

 

 

=

[g>, %] J

[А,

gk (s)] ds,

 

откуда

 

 

 

О

 

 

 

 

 

 

 

со

 

t

 

 

W{t, со) =

 

[со,

 

 

 

2

-фд]gk(s)ds,J

 

что и требовалось доказать.

Обозначим теперь через JC гильбертово простран­

ство операторов

Гильберта — Шмидта на Я. (Заметим,

что пространство Jf

сепарабельно.) Пусть К{ •) — любой

элемент из L2{Jf, [О, Г]). Тогда

 

т

т

II к ( • ) II2 =

J II

К ( 0 IIh s d t = \ t r(К (t) к ' ( 0 )dt.

 

о

о

Покажем, как определить интеграл

Jг К (t) dW (t, ш).

о

Как и раньше, мы хотим, чтобы это было ограничен­ ное линейное преобразование на Ь2{/С, [О, Г]), сохра­


246 Глава 5

няющее скалярное произведение. Итак, пусть сначала К (t) — ступенчатая функция

К(І) = Кі, ti< :t< ti+1,

для конечного разбиения отрезка [О, Т]. Тогда можно считать, что

Iт К (0dW (t, cö)= 2 ^ ( r ^+i' «О- I F ft. со)),

о

Очевидно, что это элементарная случайная величина, поскольку это непрерывное линейное преобразование, определенное на Н. Она имеет конечный второй мо­ мент. Действительно,

т

2

Е J K(t)dW(t, со) = t r 2

W / + 1 - f /) =

О

 

Более того, определенный таким образом на множестве ступенчатых функций интеграл линеен, а поскольку множество ступенчатых функций плотно в L2{jf, [О, Г]) и получившееся линейное преобразование изометрично, то можно, как и раньше, определить стохастический интеграл как предел некоторой последовательности Коши. Заметим, что если функции К( - ) и L( - ) принадлежат

L2(jT, [О, Т]), то

Е ^ { K{s)dW{s, со) L (s) dW (s, (ö)

Наконец, отбросим предположение о том, что К( - ) — оператор Гильберта — Шмидта. Пусть К {t) при каждом t есть просто некоторый ограниченный линейный опера­

тор,

и пусть

функция

К (t) сильно непрерывна

по t

в интервале

0 < t <Т .

Будем считать, что К. (()

при

каждом t принимает

значения в некотором гильберто­

вом

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

не обязательно совпадающем

с Н.

В этом случае нам придется подойти к определению

стохастического интеграла Ито несколько по-другому.


Вероятностные меры на гильбертовом пространстве

247

Прежде всего положим

Заметим, что для каждого п это элементарная случай­ ная величина. Пусть теперь у — произвольный элемент

из Я.

Тогда

П

 

 

 

 

 

 

[Ln {К,

со), */] =

]£] [со,

ф*]

К (0 ёк (0 dt, у

 

 

I

 

 

 

 

П

 

 

 

=

2

[ и .

J lC{t)y]dt

 

 

1

о

 

и, как легко видеть, последовательность {[Ln{K, со), г/]} сходится при всех у. Это значит, что существует эле­

мент L (К, со) е Я, для которого

m[Ln{K, со), y] = [L(K, со), у].

Далее, при любом х е Я

sup IIК XII < оо

и, следовательно, в силу принципа равномерной огра­ ниченности

 

 

supIIК \\< К < оо.

 

Но тогда

 

t

 

 

 

 

 

 

I

[Ln (К, со), У]\2<

[ \ II К’ УII2

dt'j II a IP K2T II

у Ip II со Ip

и,

значит,

 

 

_

 

 

 

IIL {К, и) II < / С/ ГИ и И.

 

 

Таким

образом, L {К, со) — непрерывная

линейная

функция

независимой переменной со и потому

элемен­

тарная случайная

величина. Покажем, что она не за­

висит от

выбора

конкретного

представления

W (t, со).

Обозначим через

{фй} любую

другую ортонормальную


248 Глава 5

систему в Н, а через

(Лй(-)} другую ортонормальную

систему в Ь2{Н, [О, Г]) и предположим, что

 

 

СО

 

t

 

 

 

0 0

t

 

 

 

 

 

У) [«>, qPfc] J

gk (s) ds =

У] [и, %] J

hk (s) ds,

0 <

t <

T,

1

0

 

 

 

 

1

0

 

 

 

 

 

для

всех со.

Возьмем со =

ф/. Тогда

 

 

 

 

 

t

 

 

 

 

 

t

оо

 

 

 

 

 

J gj (s) ds =

У] [ф/, фй] J hk (s) ds,

0 < t <

T,

 

 

О

 

 

1

 

о

 

 

 

 

 

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

любого у ^ Н

и 0 ^

 

 

 

 

Ь

 

 

 

оо

 

b

 

 

 

 

 

J

[ g

/ ( s )>

1

=

2

У[*]Рäs , Ф“ *] /

[ M

 

а

 

 

 

 

а

 

 

 

 

 

откуда

для

любых

ступенчатых

функций

/ ( ■ ) е

е 1

2(Я,

[О, П )

 

00

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

gi — 1i [ф/, Ф*]а*. / = 0

 

 

 

и, значит,

 

 

1

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

gi =

2

[ф/. ф*]М

 

 

 

 

Но это в конце концов означает,

что

[ф ,-,

фА] =

[g/t hk]

при любых / и k.

Теперь легко показать, что

 

 

 

 

 

00

 

 

Т

 

 

 

 

 

 

 

 

 

5 ]

 

[®>

Ф[ *g ]k J( 0 .

у

] d t ( 0

 

 

совпадает с

1

 

 

о

 

 

 

 

 

 

со

 

 

г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

К

Фаі { [hk (0. ’ (О Л dt.

 

(5.3)

 

 

 

1

 

 

о

 

 

 

 

 

 

Действительно,

пусть

ш = ф/.

Тогда (5.2) сводится

к интегралу

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J [ g i ( 0 ,

K ' { t ) y ] d t ,

 

 

 

 

о