Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 10.04.2024
Просмотров: 333
Скачиваний: 0
§ 5] |
|
|
|
|
УРАВНЕНИЯ |
ЭКСТРАПОЛЯЦИИ |
|
359 |
|||
где |
Ds = |
d |
|
11 |
X = (xs,&~s)> s ^ . t ,— квадратично инте |
||||||
грируемый |
мартингал |
с xs — M(ht \&~s). |
|
|
|||||||
Д о к а з а т е л ь с т в о . |
Пусть |
t фиксировано и s ^ t . Поло |
|||||||||
жим |
ys = |
М (ht I $~1). |
Процесс |
Y = (ys, 5^1), |
s < t, |
является |
|||||
квадратично |
интегрируемым |
мартингалом, и |
по теореме 5.18 |
||||||||
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
0я = М(А( |<Г§) + |
j g Utt(l)dWu |
(8.72) |
|||||
С |
|
|
|
|
|
|
|
|
О |
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
М I |
|
t (I) du < оо. |
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
Как |
и |
|
при |
доказательстве |
предшествующей |
теоремы, |
|||||
положим |
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
zs = \ K ( l ) d W u, |
|
|
|||
где I Хи (І) К |
|
|
|
о |
|
|
|
|
|||
С < |
оо. |
Тогда |
|
|
|
|
|||||
|
|
|
|
|
Мyszs = |
М J5 |
Хи(I) ga, t (I) du. |
|
(8.73) |
||
|
|
|
|
|
|
|
о |
|
|
|
|
Вычисим теперь Mz/S2 s иным способом. Ясно, что |
|||||||||||
|
Мy z s = |
ММ (ht I $~l) zs = |
Мhtzs = М (ht \ & |
s) zs = |
m szs. |
||||||
Процесс X = (xs, £%), 0 |
|
является квадратично инте |
|||||||||
грируемым |
мартингалом, |
и по теореме 5.3 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
(Je, |
W)s = |
j' Dudu, |
|
|
|
|
t |
|
|
|
|
|
|
О |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
M [ Dt du < |
оо. |
|
|
|
|
|
|
|||
|
о |
|
Z = (zs,SFs), s^Lt, — квадратично |
интегрируемый |
|||||||
Пусть |
|
S
мартингал с zs = J Ku(l)dWu. Тогда, поскольку
о
W , = W , + j Л‘ - ? & du.
О
то
(8.74)
г , = 2 а + \ок ® - Лчв ^ т — аи-
§ 5] УРАВНЕНИЯ ЭКСТРАПОЛЯЦИИ 361
Не ограничивая общности, можно считать, что функция gu(|)
определяется равенством (8.80) для |
всех u ^ . s . |
Вместе с (8.72) |
||||||||
это доказывает требуемое представление (8.71). |
вытекает, что |
|||||||||
З а м е ч а н и е . |
Из |
доказательства |
теоремы |
|||||||
М I |
{*„ ,0 , + |
М |М |> І|І,Г - |
» ^ |
- - |
М )> | Г І 1 |
2 du < |
оо. |
|||
2. |
Рассмотрим |
представление |
(8.71) |
в случае |
диффузион |
|||||
ного процесса (Ѳ, £), рассмотренного в § 3. |
|
|
|
|||||||
Пусть |
t фиксировано |
и для s ^ /f |
|
|
|
|
|
|||
|
8 (s, Ѳ, х) = |
М {h (t, |
Ѳ(, У | Ѳя = Ѳ, |
| я = |
*}. |
|
||||
Предположим, что эта функция удовлетворяет условию (8.50) и) |
||||||||||
|
|
|
Sg(s, Ѳ, х) = 0, |
|
|
|
(8.81) |
|||
где оператор 8 определен в (8.53). |
|
|
|
|
|
|||||
Предположим также, |
что |
|
|
|
|
|
|
|||
M j !(й (* Л . |
і=І |
|
у |
+ |
|
|
|
|
|
|
о 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
(§'Л*. |
0s, i s))2 ß 2 (S, y } d S <oo. |
(8.82) |
По формуле Ито для
S
g(s, Ѳ8, У = g (О, Ѳ0, Ы + I 8 g (и, Ѳ„, U du -f
О
2s
+Ц I g'f>(u,Qu, Q b l (u,eu, l a)dWt(u) +
і—1 О
|
|
s |
|
|
|
+ J |
Q d W M - |
|
|
о |
|
Отсюда видно, что в силу предположения |
(8.81) процесс Y = |
||
= {ys, 3TS), |
с ys = |
g(s, 0S, ls) является квадратично инте |
|
грируемым мартингалом |
и |
£ц)^(ы> |
|
$ |
|
|
|
( ^г)5“ J* [£ѳ(м>®u»£и)Л(и> |
|||
У> |
|
|
|
о |
|
|
|
Поэтому в силу (8.71) и того, что |
|
||
М (h (t, Ѳ/; у |
|^%) = |
М (/г (Л О,, 1,) |0S, У = g(s, Ѳя, | s), |