Файл: Балакришнан, А. Введение в теорию оптимизации в гильбертовом пространстве.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 (К, со) е Я, для которого
1і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 , |
|
|
|
|
о