Equações e Geradores de Kolmogorov

O gerador infinitesimal codifica as taxas de transição instantâneas de uma cadeia de Markov de tempo contínuo, e as equações de Kolmogorov para a frente (forward) e para trás (backward) descrevem como suas probabilidades de transição evoluem no tempo.

Definition

O gerador infinitesimal de uma cadeia de Markov de tempo contínuo é a matriz das taxas de transição que fornece a taxa instantânea de mudança das probabilidades de transição, e as equações de Kolmogorov para a frente e para trás são as equações diferenciais que a matriz de probabilidade de transição satisfaz como uma função do tempo.

Scope

Este tópico abrange a definição do gerador como a derivada temporal do semigrupo de transição em zero, as equações de Kolmogorov para a frente (tipo Fokker-Planck) e para trás, a matriz de transição como a exponencial matricial do gerador, propriedades de semigrupo e condições para unicidade, conservatividade e ausência de explosão.

Core questions

• Como o gerador é obtido como a derivada do semigrupo de transição?
• Qual é a diferença entre as equações de Kolmogorov para a frente e para trás?
• Quando a matriz de transição é a exponencial matricial do gerador?
• Que condições garantem uma solução única e não explosiva?

Key theories

Equações de Kolmogorov para trás e para a frente

A matriz de probabilidade de transição satisfaz dois sistemas acoplados de equações diferenciais lineares impulsionadas pelo gerador, a equação para trás diferenciando no estado inicial e a equação para a frente no estado final, e para espaços de estados finitos ambas têm a exponencial matricial como sua solução comum.

Correspondência entre gerador e semigrupo

A família de operadores de transição forma um semigrupo fortemente contínuo cujo gerador infinitesimal determina o processo; esta correspondência conecta as cadeias de Markov à teoria analítica dos semigrupos de operadores e fundamenta os resultados de convergência e aproximação.

Clinical relevance

A equação para a frente é a equação mestra da cinética química e da física estatística, governando a distribuição de probabilidade das contagens moleculares ao longo do tempo, enquanto o formalismo do gerador fornece a base computacional para a análise transiente de modelos de confiabilidade, filas e epidemias.

History

O artigo de Kolmogorov de 1931 introduziu as equações diferenciais para as probabilidades de transição, Feller resolveu questões de existência, unicidade e explosão nas décadas de 1930 e 1940, e o ponto de vista do semigrupo e do gerador foi sistematizado através do trabalho posterior de Hille, Yosida e Dynkin sobre processos de Markov.

Key figures

• Andrey Kolmogorov
• William Feller
• Thomas Kurtz

Seminal works

• norris1997

Frequently asked questions

O que o gerador informa sobre uma cadeia de Markov?

Ele fornece as taxas instantâneas de transição entre estados; a partir dele, toda a evolução temporal das probabilidades de transição se segue, em espaços de estados finitos como a exponencial matricial do gerador.

Como as equações para a frente e para trás diferem?

A equação para trás diferencia em relação ao estado inicial e é útil para problemas de acerto e expectativa, enquanto a equação para a frente diferencia em relação ao estado atual e descreve a distribuição de probabilidade em evolução.