Марковские свойства
[9/0%]Пусть — локально компактное сепарабельное метрическое пространство, а — множество непрерывных функций на , обращающихся в нуль на бесконечности. Сказать, что непрерывная функция обращается в нуль на бесконечности, означает, что для любого существует компактное множество , такое что , если . Покажите, что если предположение 20.1 заменить предположениями о том, что всякий раз, когда , и равномерно при всякий раз, когда , то заключение теоремы 20.9 по-прежнему верно.
Пусть — марковский процесс относительно фильтрации . Предположим, что для каждого и что является -измеримым для каждого . Покажите, что — марковский процесс относительно фильтрации .
Приведите пример марковского процесса, не являющегося строго марковским процессом.
Подсказка: Пусть пространство состояний — , и, начиная из , пусть движется детерминированно с постоянной скоростью вправо. Начиная из 0, пусть ждёт экспоненциально распределённое время, а затем начинает двигаться с постоянной скоростью вправо.
Пусть — броуновское движение, и пусть — минимальная пополненная фильтрация. Предположим, что и при некотором имеет вид . Покажите, что если является -нулевым множеством для некоторого , то оно является -нулевым множеством для каждого .
Пусть — переходные вероятности пуассоновского процесса с параметром . Они определены в упражнении 19.3. Покажите, что предположение 20.1 выполняется.
Пусть — марковский процесс с переходными вероятностями , — ограниченная борелевски измеримая функция, , и определим при . Покажите, что — -мартингал для каждого .
Используя закон 0--1 Блюменталя, покажите, что если — одномерное броуновское движение и — первый момент, когда броуновское движение попадает в , то .
Пусть — борелевское подмножество метрического пространства . Пусть , где — строго марковский процесс. Покажите, что равна либо 0, либо 1 для каждого .
Пусть — строго марковский процесс, и пусть — борелевское подмножество . Определим , полагая , где — момент первого попадания в . Таким образом, — множество точек, регулярных относительно . Докажите, что для каждого