stringtranslate.com

Процесс валки леса

В теории вероятностей, касающейся случайных процессов , процесс Феллера является частным случаем марковского процесса .

Определения

Пусть Xлокально компактное хаусдорфово пространство со счетной базой . Пусть C 0 ( X ) обозначает пространство всех действительнозначных непрерывных функций на X , которые исчезают на бесконечности , снабженное sup-нормой || f  ||. Из анализа мы знаем, что C 0 ( X ) с sup-нормой является банаховым пространством .

Полугруппа Феллера на C 0 ( X ) — это набор { T t } t  ≥ 0 положительных линейных отображений из C 0 ( X ) в себя таких, что

Предупреждение : эта терминология не является единообразной в литературе. В частности, предположение, что 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)