
- •Ответы к экзамену по курсу «Теория случайных процессов»
- •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)
где
такое, что
-
предсказуемо, а
относительно меры Р и потока
локальный мартингал. Отсюда следует
утверждение теоремы так как
имеет ограниченную вариацию. Доказательство
закончено.