Уравнения Колмогорова и генераторы

Инфинитезимальный генератор кодирует мгновенные скорости перехода непрерывной марковской цепи, а прямые и обратные уравнения Колмогорова описывают, как ее вероятности перехода развиваются во времени.

Definition

Инфинитезимальный генератор непрерывной марковской цепи — это матрица скоростей перехода, дающая мгновенную скорость изменения вероятностей перехода, а прямые и обратные уравнения Колмогорова — это дифференциальные уравнения, которым удовлетворяет матрица вероятностей перехода как функция времени.

Scope

Эта тема охватывает определение генератора как производной по времени от переходного полугруппы в нуле, прямые (типа Фоккера-Планка) и обратные уравнения Колмогорова, переходную матрицу как матричную экспоненту генератора, свойства полугруппы и условия для единственности, консервативности и отсутствия взрыва.

Core questions

• Как генератор получается как производная от переходной полугруппы?
• В чем разница между прямыми и обратными уравнениями Колмогорова?
• Когда переходная матрица является матричной экспонентой генератора?
• Какие условия гарантируют уникальное, не взрывающееся решение?

Key theories

Обратные и прямые уравнения Колмогорова

Матрица вероятностей перехода удовлетворяет двум связанным системам линейных дифференциальных уравнений, управляемых генератором: обратное уравнение дифференцирует по начальному состоянию, а прямое уравнение — по конечному состоянию, и для конечных пространств состояний оба имеют матричную экспоненту в качестве общего решения.

Соответствие генератора и полугруппы

Семейство операторов перехода образует сильно непрерывную полугруппу, инфинитезимальный генератор которой определяет процесс; это соответствие связывает марковские цепи с аналитической теорией операторных полугрупп и лежит в основе результатов сходимости и аппроксимации.

Clinical relevance

Прямое уравнение является основным уравнением химической кинетики и статистической физики, управляющим распределением вероятностей молекулярных чисел во времени, в то время как формализм генератора обеспечивает вычислительную основу для переходного анализа надежности, очередей и эпидемиологических моделей.

History

В статье Колмогорова 1931 года были введены дифференциальные уравнения для вероятностей перехода, Феллер разрешил вопросы существования, единственности и взрыва в 1930-х и 1940-х годах, а точка зрения полугруппы и генератора была систематизирована в более поздних работах Хилле, Йосиды и Дынкина по марковским процессам.

Key figures

• Andrey Kolmogorov
• William Feller
• Thomas Kurtz

Seminal works

• norris1997

Frequently asked questions

Что генератор говорит о марковской цепи?

Он дает мгновенные скорости перехода между состояниями; из него следует вся временная эволюция вероятностей перехода, в конечных пространствах состояний как матричная экспонента генератора.

Чем отличаются прямые и обратные уравнения?

Обратное уравнение дифференцирует по начальному состоянию и полезно для задач достижения и ожидания, в то время как прямое уравнение дифференцирует по текущему состоянию и описывает развивающееся распределение вероятностей.