柯尔莫哥洛夫方程与生成元

无穷小生成元编码了连续时间马尔可夫链的瞬时转移速率，而柯尔莫哥洛夫前向和后向方程描述了其转移概率如何随时间演变。

Definition

连续时间马尔可夫链的无穷小生成元是转移速率矩阵，它给出了转移概率的瞬时变化率，而柯尔莫哥洛夫前向和后向方程是转移概率矩阵作为时间函数所满足的微分方程。

Scope

本主题涵盖了将生成元定义为零点处转移半群的时间导数、前向（Fokker-Planck型）和后向柯尔莫哥洛夫方程、作为生成元矩阵指数的转移矩阵、半群性质以及唯一性、保守性和无“爆炸”条件的讨论。

Core questions

• 生成元是如何作为转移半群的导数获得的？
• 柯尔莫哥洛夫前向方程和后向方程有什么区别？
• 转移矩阵何时是生成元的矩阵指数？
• 什么条件能保证唯一、无“爆炸”的解？

Key theories

柯尔莫哥洛夫后向和前向方程

转移概率矩阵满足由生成元驱动的两个耦合线性微分方程组，后向方程对初始状态求导，前向方程对最终状态求导，对于有限状态空间，两者都以矩阵指数作为其共同解。

生成元与半群的对应关系

转移算子族形成一个强连续半群，其无穷小生成元决定了过程；这种对应关系将马尔可夫链与算子半群的分析理论联系起来，并构成了收敛性和逼近结果的基础。

Clinical relevance

前向方程是化学动力学和统计物理学的主方程，控制着分子数量随时间的概率分布，而生成元形式主义为可靠性、排队和流行病模型的瞬态分析提供了计算基础。

History

柯尔莫哥洛夫1931年的论文引入了转移概率的微分方程，费勒在20世纪30年代和40年代解决了存在性、唯一性和“爆炸”问题，而半群和生成元的观点通过希勒、吉田和丁金后来关于马尔可夫过程的工作得到了系统化。

Key figures

• Andrey Kolmogorov
• William Feller
• Thomas Kurtz

Seminal works

• norris1997

Frequently asked questions

生成元能告诉你关于马尔可夫链的什么信息？

它给出了状态之间瞬时转移的速率；从它出发，可以推导出转移概率的整个时间演化，在有限状态空间上表现为生成元的矩阵指数。

前向方程和后向方程有何不同？

后向方程是相对于起始状态求导的，对击中问题和期望问题很有用，而前向方程是相对于当前状态求导的，描述了演化的概率分布。