[論文レビュー] A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems

Julien Bect|arXiv (Cornell University)|Jan 24, 2008

Advanced Thermodynamics and Statistical Mechanics参考文献 11被引用数 6

ひとこと要約

本稿では、一般の確率的ハイブリッドシステムを対象とする一般化された確率的ハイブリッドシステム（GSHS）フレームワーク内において、フォッカー・プランク・コルモゴロフ（FPK）方程式の統一的定式化を提示する。自発的遷移と強制的遷移を統合する「平均遷移強度」という概念を導入することで、ハイブリッド状態の確率法則の単一かつ一貫性のある時間発展方程式が導出され、従来のすべてのFPK定式化を包含し、任意のシステムに対して体系的な導出を可能にする。

ABSTRACT

A general formulation of the Fokker-Planck-Kolmogorov (FPK) equation for stochastic hybrid systems is presented, within the framework of Generalized Stochastic Hybrid Systems (GSHS). The FPK equation describes the time evolution of the probability law of the hybrid state. Our derivation is based on the concept of mean jump intensity, which is related to both the usual stochastic intensity (in the case of spontaneous jumps) and the notion of probability current (in the case of forced jumps). This work unifies all previously known instances of the FPK equation for stochastic hybrid systems, and provides GSHS practitioners with a tool to derive the correct evolution equation for the probability law of the state in any given example.

研究の動機と目的

• 確率的ハイブリッドシステムのためのフォッカー・プランク・コルモゴロフ（FPK）方程式の既存の定式化を、単一で整合性のある枠組みに統一すること。
• 自発的遷移と強制的遷移を併存させるハイブリッドシステムにおいて、確率密度時間発展方程式を導出する一般手法の欠如に応えること。
• GSHSの実務家が、任意の特定の確率的ハイブリッドシステムに対して、体系的かつ原理的かつ正しいFPK方程式を導出できるツールを提供すること。
• 自発的遷移のための確率的強度と強制的遷移のための確率流束の概念を、統一的な平均遷移強度形式によって統合すること。

提案手法

• 連続的ダイナミクスと離散的イベントを両方取り扱える一般化された確率的ハイブリッドシステム（GSHS）フレームワーク内でFPK方程式を定式化すること。
• 自発的遷移率と強制的遷移に起因する確率フラックスを両方とも統合的に記述する「平均遷移強度」という統合的量の導入。
• 平均遷移強度を用いて確率測度の時間発展を分析することでFPK方程式を導出し、ハイブリッド状態遷移にわたる一貫性を保証すること。
• マルコフ連鎖遷移過程と決定的流れを併せ持つハイブリッドシステムにフォッカー・プランク・コルモゴロフ形式を適用すること。
• 確率的微積分と測度論的確率論の概念に根ざして、数学的厳密性を確保すること。
• 導出された方程式が特殊ケースにおいて既存の知られたFPK形態に還元されることを示し、一般性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 自発的遷移と強制的遷移を併存させる一般の確率的ハイブリッドシステムに対して、フォッカー・プランク・コルモゴロフ方程式を一貫して定式化する方法は何か？
• RQ2 ハイブリッドシステムにおいて、確率的強度と確率流束を統合するための統一的数学的概念は何か？
• RQ3 すべての既存の定式化を包含する、単一のFPK方程式を導出可能か？
• RQ4 平均遷移強度は、ハイブリッドシステムにおける確率法則の時間発展を支配する役割を果たすか？
• RQ5 GSHSの文脈において、本提案の定式化は既存のFPK方程式をどのように一般化するか？

主な発見

• 提案された定式化により、確率的ハイブリッドシステムのすべての既存事例を一般化する単一で一貫性のあるFPK方程式が得られる。
• 平均遷移強度の導入により、自発的遷移（確率的強度による記述）と強制的遷移（確率流束による記述）の両方の取り扱いが、うまく統合された。
• 導出されたFPK方程式は、任意のGSHS構成におけるハイブリッド状態の確率法則の時間発展を正しく記述する。
• 任意の特定の確率的ハイブリッドシステムに対して、恣意的な仮定を用いずに、体系的な確率密度時間発展方程式の導出が可能である。
• 数学的に厳密であり、特殊ケースでは既存の確立されたFPK方程式に還元されることから、一貫性と正しさが裏付けられる。
• 本アプローチは、GSHSの実務家が、原理的かつ再利用可能な方法で、システム固有のFPK方程式を導出するための実用的で有用なツールを提供する。