Мартингалы, супермартингалы, субмартингалы
3.1. Пусть (, , , Р) – стохастический базис, последовательность { - согласована с потоком , и принимает значения в .
Определение. Последовательность (, ) t > 1 называется мартингалом, если: 1) , 2)
Если выполнено 1) и Р -п. н., то последовательность (, ) t >0 называется супермартингалом.
Если выполнено 1) и Р - п. н., то последовательность (, ) t >0 называется субмартингалом.
Пример. Пусть , где независимые в совокупности случайные величины. Пусть , . Ясно, что
=
= + + + .
Отсюда следует, что:
а) (, ) t > 1- мартингал, если для любого t;
б) (, ) t > 1- супермартингал, если для любого t;
в) (, ) t > 1- субмартингал, если для любого t;
Утверждение 5. Если (, ) t >0 – марковская случайная последовательность с переходной вероятностью P (s, ,t,B), то P (s, t,B) – мартингал для , относительно потока алгебр и меры Р.
Доказательство. Из соотношения Чепмена – Колмогорова имеем Р -п. н. при :
M (P (u, , t,B)| )= M (P (u, , t,B)| ) = .
3.2. Теорема 6 (Дуба). Пусть (, ) t >0 – неотрицательный супермартингал, тогда с вероятностью 1 существует .
Замечания. 1) Покажем, что предложения о неотрицательности супермартингала (, ) t >0 можно отказаться. Очевидно, что М М , т.е. в среднем последовательность - убывает. Пусть Образуем новую последовательность . Понятно, что .Тогда , значит любой супермартингал представим в виде разности двух неотрицательных супермартингалов.
2) Если - супермартингал, то - субмартингал. Поэтому утверждение теоремы 6 верно и для субмартингалов.
3.2.1 Доказательство теоремы Дуба опирается на две вспомогательные леммы.
Пусть числовая последовательность, a<b, [ a,b ] – отрезок. Обозначим - число пересечений отрезка [ a,b ] последовательностью снизу вверх.
Лемма 7 (О числе пересечений отрезка [ a,b ] снизу вверх).
Справедливо неравенство:
,
где
Доказательство. Обозначим
, ,
, ,
,
Очевидно, что
Отсюда следует, что
(b-a) = .
Докзательство закончено.
Лемма 8. (О среднем числе пересечений). Пусть (, ) t >0 – неотрицательный супермартингал, тогда М .
Доказательство. В силу леммы 7 имеем неравенство:
.
Так как (, ) t >0 - супермартингал, то М () ≤ 0. Отсюда следует неравенство
. Доказательство закончено.
3.2.2. Доказательство теоремы 6. Предположим, что у последовательности не существует конечного предела. Через В обозначим множество не имеет конечного предела}. Наше предположение выполнено, если:
1) Р - п. н.,
2) Р - п. н.
Обозначим: А }, C = }. Очевидно, что , поэтому . Значит для доказательства теоремы достаточно доказать, что Р (А) =0 и Р (С)=0.
Покажем, что Р (А)=0. В силу неравенства Чебышева и леммы Фату имеем Р ( . Устремляя теперь , получаем Р (А)=0.
Теперь докажем, что Р (С)=0. Заметим, что
, где и - рациональные числа}= = .
Рассмотрим вероятность Р ( N) в силу неравенства Чебышева и леммы 8 мы имеем:
Р ( N) .
Устремляя теперь , получаем неравенство Р ( N) . Отсюда следует, что Р (, т.е. Р (С)=0. Доказательство закончено.
3.3. Определение. Мартингал называется равномерно интегрируемым, если .
Теорема 9. Пусть равномерно интегрируемый мартингал, тогда Р -п.н. существует случайная величина такая, что:
а) = Р - п. н.,
б) М | - Р - п. н.
Доказательство этой теоремы следует из теоремы 6.
Дата добавления: 2015-01-18 | Просмотры: 874 | Нарушение авторских прав
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
|