- •Ответы к экзамену по курсу «Теория случайных процессов»
- •6. Задание вероятностной меры на (rт,b(rт)). Теорема Колмогорова (теорема 8 – без доказательства)
- •7. Определение случайной величины. Примеры. Разбиение. Дискретная(простая) случайная величина. Распределение вероятностей случайной величины.
- •2) Если случайная величина , то найдется последовательность простых случайных величин таких, что для всех .
- •10. Интеграл Лебега. Свойства математического ожидания.
- •12. Лемма Фату(теорема 16), теорема Лебега о мажорируемой сходимости (теорема 17). Равномерно интегрируемое семейство случайных величин. Критерий равномерной интегрируемости(теорема 19).
- •14. Сходимость в пространстве Lp, p принадлежит [1, ∞]. Критерий Коши(теорема 24).
- •16. Относительная слабая компактность семейства вероятностных мер. Теорема Прохорова (теорема 29)
- •26. Полумартингал (определения). Примеры
- •30. Мартингальные преобразования. Теорема Дуба-Мейера (теорема 50).
- •31. Последовательность имеющая ограниченную вариацию. Семимартингалы. Критерий того, что последовательность является семимартингалом (теорема 55).
- •32. Формула Ито для согласования случайных последовательностей (теорема 58). Формула Ито для произведения двух семимартингалов. Квадратическая и взаимная вариация (определения).
- •35. Разложение Куниты-Ватанабе (теорема 64).
- •36. Локальная плотность. Докажите, что локальная плотность является неотрицательным мартингалом (теорема 65).
- •37. Теорема (67) Гирсанова.
- •38. Однородная Марковская цепь. Классификация состояний однородной марковской цепи (теоремы 69-72)
- •2) Если - счетно, то классов не более, чем счетно.
- •40. Определение случайного процесса. Прогрессивно измеримый процесс. Достаточные условия существования прогрессивно измеримого процесса (теорема 76)
- •42. Пуассоновский случайный процесс (определение) и его свойства.
- •43. Полумартингалы (определения, случай непрерывного времени) Предопределенный процесс. Теорема (78) Дуба-Мейера. Пример.
- •44. Регулярные мартингалы. Критерий существования непрерывной справа модификации у равномерно интегрируемого супермартингала (теорема 79).
- •На лекциях была без доказательства!
- •48. Остановленный случайный процесс, локализующая последовательность, локальный полумартингал (непрерывное время).
- •49. Классификация марковских моментов опциональные, предсказуемые.
- •51. Процессы ограниченной вариации и их свойства (теоремы 94, 95).
- •52. Точечный случайный процесс (определение). Считающий процесс и его свойства. Компенсатор. Пример точечного процесса.
- •53. Интеграл Римана-Стильтеса (определение) и его свойства (теорема 96).
- •56. Интегрирование случайных процессов по мартингалами имеющим ограниченную вариацию (теорема 100).
- •57. Теорема Кэмбелла (следствие 101). Найдите характеристическую функцию Пуассоновского случайного процесса.
30. Мартингальные преобразования. Теорема Дуба-Мейера (теорема 50).
Определение. Последовательность называется предсказуемой, если -измеримо при каждом t.
Соглашение: .(F-1=F0)
Пусть - мартингал относительно меры Р. Обозначим . (пропущено =)
Определение. Последовательность (пропущено =), где -предсказуемая последовательность, а - мартингал. Такое преобразование называется мартингальным.
Теорема 50. Пусть ограниченная предсказуемая последовательность, а , где – мартингал относительно меры P, тогда - мартингал (относительно меры Р).
Доказательство. Действительно, очевидна оценка: ,так как по условию Р - п.н. для ). Отсюда следует, что . (Здесь мы воспользовались тем, что .)
Осталось показать Р - п. н. . Для этого достаточно доказать, что Действительно, для Р - п.н. имеем
. Доказательство закончено.
Определение. Последовательность называется возрастающей, если Р - п. н. для всех .
Теорема 51 (Дуба - Мейера)?. Пусть - субмартингал, относительно меры Р. Тогда существуют возрастающая предсказуемая последовательность и мартингал такие, что Р - п.н. для любого
, (8)
при этом представление (8) Р-п.н. единственно.
Доказательство. Без ограничения общности, можно считать, что и . Образуем две последовательности:
, (9)
. (10)
Складывая (9), (10) получим: . Нам надо убедиться в том, что - предсказуемый возрастающий процесс, а - мартингал (тем самым мы докажем теорему).
Рассмотрим последовательность . По условию - субмартингал, следовательно Р - п. н. , значит - неубывающая последовательность. Докажем, что -измеримо (т. е. предсказуема). Ясно, что -измеримо, поэтому в силу (10) -измеримо. Заметим, что - мартингал тогда и только тогда, когда
. Из определения следует, что Поэтому
P - п. н..
Предположим, что (8) не единственно, т.е. пусть Р - п. н.
. Поэтому Р - п. н. . Отсюда следует Р - п. н.
, (11)
. (12)
Вычтем из (11), (12) имеем Р - п. н.
. (13)
Возьмем относительно левой и правой частой (13), имеем Р - п.н.
Так как -измеримо, а - мартингалы, тогда из последнего равенства следует, что
Р - п.н. для любого t . По построению , поэтому - Р - п. н. для любого t. Следовательно, разложение - единственно. Доказательство закончено.
31. Последовательность имеющая ограниченную вариацию. Семимартингалы. Критерий того, что последовательность является семимартингалом (теорема 55).
Определение. Будем говорить, что последовательность имеет ограниченную вариацию, если Р - п. н. .
Определение. Последовательность с ограниченной вариацией назовем случайной последовательностью с интегрируемой вариацией, если .
Из определения следует утверждение.
Теорема 54. Пусть - последовательность с ограниченной вариацией. Тогда существуют две возрастающие последовательности , такие, что Р - п. н. для любого .
Определение. Последовательность называется семимартингалом относительно меры Р, если она Р - п. н. для любого допускает представление
,
где - локальный мартингал относительно меры Р, - процесс ограниченной вариации.
Множество семимартингалов относительно фильтрации и меры Р обозначим через .
Теорема 55. Последовательность является относительно меры Р семимартингалом тогда и только тогда, когда она согласована с потоком .
Доказательство. Необходимость очевидна.
Достаточность. Поскольку процесс согласован с потоком , то он имеет ограниченную вариацию. Очевидно, что: i) , где , ii) Так как для любого , то существует Стало быть
, (14)
где такое, что - предсказуемо, а относительно меры Р и потока локальный мартингал. Отсюда следует утверждение теоремы так как имеет ограниченную вариацию. Доказательство закончено.