Случайный процесс
В теории вероятностей, касающейся случайных процессов , процесс Феллера является частным случаем марковского процесса .
Определения
Пусть X — локально компактное хаусдорфово пространство со счетной базой . Пусть C 0 ( X ) обозначает пространство всех действительнозначных непрерывных функций на X , которые исчезают на бесконечности , снабженное sup-нормой || f ||. Из анализа мы знаем, что C 0 ( X ) с sup-нормой является банаховым пространством .
Полугруппа Феллера на C 0 ( X ) — это набор { T t } t ≥ 0 положительных линейных отображений из C 0 ( X ) в себя таких, что
- || T t f || ≤ || f || для всех t ≥ 0 и f из C 0 ( X ), т. е. это сокращение (в слабом смысле);
- полугрупповое свойство: T t + s = T t ∘ T s для всех s , t ≥ 0 ;
- lim t → 0 || T t f − f || = 0 для любого f из C 0 ( X ). Используя свойство полугруппы, это эквивалентно тому, что отображение T t f из t в [0,∞) в C 0 ( X ) является непрерывным справа для любого f .
Предупреждение : эта терминология не является единообразной в литературе. В частности, предположение, что T t отображает C 0 ( X ) в себя, заменяется некоторыми авторами на условие, что оно отображает C b ( X ), пространство ограниченных непрерывных функций, в себя. Причина этого двоякая: во-первых, это позволяет включать процессы, которые входят «из бесконечности» за конечное время. Во-вторых, это больше подходит для обработки пространств, которые не являются локально компактными и для которых понятие «исчезания на бесконечности» не имеет смысла.
Функция перехода Феллера — это функция перехода вероятности, связанная с полугруппой Феллера.
Процесс Феллера — это марковский процесс с переходной функцией Феллера.
Генератор
Процессы Феллера (или полугруппы перехода) можно описать их бесконечно малым генератором . Говорят, что функция f в C 0 находится в области определения генератора, если равномерный предел
существует. Оператор A является генератором T t , а пространство функций, на котором он определен, записывается как D A .
Характеристика операторов, которые могут выступать в качестве бесконечно малого генератора процессов Феллера, дается теоремой Хилле–Иосиды . Она использует резольвенту полугруппы Феллера, определенную ниже.
Резольвентный
Резольвента процесса Феллера (или полугруппы) — это набор отображений ( R λ ) λ > 0 из C 0 ( X ) в себя, определяемый соотношением
Можно показать, что оно удовлетворяет тождеству
Более того, для любого фиксированного λ > 0 изображение R λ равно области D A генератора A , и
Примеры
- Броуновское движение и процесс Пуассона являются примерами процессов Феллера. В более общем смысле, каждый процесс Леви является процессом Феллера.
- Процессы Бесселя — это процессы Феллера.
- Решения стохастических дифференциальных уравнений с непрерывными по Липшицу коэффициентами являются процессами Феллера. [ необходима ссылка ]
- Каждый адаптированный непрерывный справа процесс Феллера на отфильтрованном вероятностном пространстве удовлетворяет сильному свойству Маркова относительно фильтрации , т.е. для каждого - времени остановки , обусловленного событием , мы имеем, что для каждого , не зависит от заданного . [1]
Смотрите также
Ссылки
- ^ Роджерс, LCG и Уильямс, Дэвид Диффузии, Марковские процессы и мартингалы, том первый: Основы, второе издание, John Wiley and Sons Ltd, 1979. (стр. 247, Теорема 8.3)