Файл: Липцер Р.Ш. Статистика случайных процессов. Нелинейная фильтрация и смежные вопросы.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 10.04.2024
Просмотров: 206
Скачиваний: 0
§ 2] |
ПРОЦЕСС ДИФФУЗИОННОГО ТИПА |
64? |
|
|
2. |
Предварительно установим справедливость |
следующи |
||||||
двух лемм. |
|
|
|
|
|
|
|
|
|
|
Л е мм а |
17.1. |
Пусть |
б = 6(х) |
—измеримая |
функция |
|||
с |
sup Меб4(Ю< оо для |
любых |
Ѳь |
Ѳ2 |
(— оо < Ѳ, < Ѳо < оо) |
||||
|
ѳ,<ѳ<ѳ2 |
|
|
|
|
|
1 |
1 |
> |
Если |
т |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
||
|
0,<SöU<02 / |
a* ® dt < °°’ |
— 00 < |
Ѳ, < Ѳ2 < оо, |
|
(17.30) |
|||
|
> функция |
Мѳб(|) |
дифференцируема |
по В и |
|
|
|||
|
|
|
|
|
т |
|
|
|
|
|
|
^ -М ѳ0(£) = |
М0 б(£) \ a |
t { l ) d W , |
|
(17.31) |
Lо
До к а з а т е л ь с т в о . Обозначим
о |
( |
|
т |
т |
|
) |
ф(Ѳ, ^ ) = ^ Г - ( ^ ) = |
|
ѲJ at (W) d W t - ^ |
Т |
|
||
ех р |
^ ^J |
a]{W)dt . |
||||
w |
I |
о |
X |
‘ ' |
J |
|
І |
|
б |
|
|
Функция ф(Ѳ, |
W) дифференцируема по Ѳ, и (Р-п. н.) |
|
||||||||
ду (Ѳ, W) |
|
г т |
|
|
|
|
|
|
|
|
|
at (W )d W t — B \ |
а] (W)dt |
Ф(Ѳ, |
W). |
(17.32) |
|||||
|
<ЗѲ |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
Пусть — оо < |
Ѳ, < |
Ѳ2 < |
оо. Тогда в силу (17.32) |
|
|
|||||
М ѳ 26 ( I ) — |
М ѳ , 6 ( I ) = |
M è ( W ) [ ф (Ѳ 2, Г ) - ф ( Ѳ ; , W ) ] = |
|
|
||||||
|
|
|
|
ѳ2~ г |
|
|
|
|
|
|
|
|
= |
Мб (W) J |
^ at (W) — B ^ a](W)dt |
ф(Ѳ, |
W)dB. |
||||
|
|
|
|
Ѳі |
L о |
|
о |
|
|
|
Заметим, что согласно предположениям леммы |
|
|
||||||||
ѳ2 |
т |
|
|
|
г |
|
|
|
|
|
М б(ІГ) |
at (W )dW t — d j a){W)dt |
Ф(Ѳ, W ) d B ^ |
|
|
||||||
ѳJ, |
L.оJ/ м . |
0(g) |
J at (о& d l t - B |
J a](l)dt |
dB = |
|
||||
U2 |
* |
|
|
■ |
|
|
о |
|
|
|
|
|
|
02 |
Г |
Т |
|
1/2 |
|
||
= |М Ѳö (|)J at (l) d W t |
d B ^ j |
Мѳ02(£)Ме{ а 2(|)Л |
dB < оо. |
о* L