Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Определения [ править ]

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

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

  • || Т т ф  || ≤ || f  || для всех t  ≥ 0 и f в C 0 ( X ), т. е. это сжатие (в слабом смысле);
  • полугруппа свойство: Т т  +  с  =  Т т  о т ы для всех х , т ≥ 0;
  • lim t  → 0 || Т т ф  -  ф  || = 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 находится в области определения генератора, если равномерный предел

существует. Оператор является генератором Т т , а пространство функций , на котором он определен записывается как D A .

Характеристика операторов, которые могут выступать в качестве бесконечно малых генераторов процессов Феллера, дается теоремой Хилле-Йосиды . При этом используется резольвента полугруппы Феллера, определенная ниже.

Resolvent [ править ]

Резольвентное процесса феллеровского (или полугруппа) представляет собой набор отображений ( R λ ) λ  > 0 из С 0 ( X ) к себе определяется

Можно показать, что он удовлетворяет тождеству

Кроме того, при любом фиксированном λ  > 0 образ R λ равен области D A генератора A , и

Примеры [ править ]

См. Также [ править ]

  • Марковский процесс
  • Цепь Маркова
  • Процесс охоты
  • Генератор бесконечно малых (случайные процессы)

Ссылки [ править ]

  1. Rogers, LCG and Williams, David Diffusions, Markov Processes and Martingales, volume One: Foundations, второе издание, John Wiley and Sons Ltd, 1979. (стр. 247, теорема 8.3)