NSM-025

Kolmogorov 方程式の導出と可換性
— 半群性 → Kolmogorov → exp(Qt) の論理連鎖

作成: 2026-05-26 | 分類: 数学者向け・スライド修正例
要約: メインプレゼン Slide 21 で省略されがちな「半群性 → Kolmogorov 方程式 → exp(Qt)」の中間ステップを完全に展開する。特に「$s$ で微分して $s \to 0$」という操作と、前進・後退方程式が同一の解 $P(t) = e^{Qt}$ を持つ根拠である可換性 $Q e^{Qt} = e^{Qt} Q$ を明示する。

【本ノートでの用語規約】

半群性（semigroup property）: $P(t+s) = P(t)\,P(s)$, $P(0)=I$ — Chapman-Kolmogorov 関係式のこと
Kolmogorov 前進方程式: $\dfrac{d}{dt}P(t) = P(t)\,Q$ — 右辺に $Q$ が右から掛かる形
Kolmogorov 後退方程式: $\dfrac{d}{dt}P(t) = Q\,P(t)$ — 右辺に $Q$ が左から掛かる形
可換性: $Q\,e^{Qt} = e^{Qt}\,Q$ — 同一行列から作られた行列指数との交換関係
関連ノート: NSM-008（6 ステップ）、 NSM-021（前進方程式）、 NSM-022（項別微分）、 NSM-023（後退方程式）

§1 なぜこのノートが必要か（動機）

確認済みメインプレゼン Slide 21 は「Kolmogorov 方程式を解く → $P(t) = e^{Qt}$」という結論を提示するが、以下の 2 点が明示されないまま進むことが多い。

中間ステップ: 半群性 $P(t+s) = P(t)\,P(s)$ から Kolmogorov 方程式 $P'(t) = P(t)\,Q$ を導く手順 — 「$s$ で微分して $s \to 0$」という操作が省略されがち
可換性の根拠: 前進方程式と後退方程式がなぜ同じ解 $e^{Qt}$ を持つのか — $Q\,e^{Qt} = e^{Qt}\,Q$ が成り立つことの証明が欠落しがち

本ノートはこの 2 点を中心に展開し、スライドへのコピーペースト用修正テンプレートも提供する。

図 1. 半群性 → Kolmogorov 方程式 → exp(Qt) の論理連鎖。各矢印の操作が本ノートの核心。

§2 半群性 → Kolmogorov 方程式

2-1. 出発点: 半群性

確認済み連続時間マルコフ連鎖（CTMC）の基本仮定（マルコフ性・時間斉次性・標準性）から Chapman-Kolmogorov 関係式が成り立つ（詳細は NSM-014）。

$$P(t+s) = P(t)\,P(s), \quad P(0) = I \tag{1}$$

2-2. 中間ステップ: $s$ で微分して $s \to 0$

確認済み式 (1) の両辺を $s$ について微分する（$t$ は固定パラメータとして扱う）。

辺	微分の結果	備考
左辺	$\dfrac{\partial}{\partial s} P(t+s) = P'(t+s)$	連鎖律。$t$ を固定して $s$ で微分。
右辺	$\dfrac{\partial}{\partial s}\bigl[P(t)\,P(s)\bigr] = P(t)\,P'(s)$	$P(t)$ は $s$ に依存しない定数行列。

よって

$$P'(t+s) = P(t)\,P'(s) \tag{2}$$

ここで $s = 0$ と置く。$P'(0) = Q$（Q 行列の定義; NSM-020 参照）を用いると:

$$\boxed{P'(t) = P(t)\,Q} \quad \text{（Kolmogorov 前進方程式）} \tag{3}$$

後退方程式の導出: 別のアプローチとして、式 (1) を $t$ で微分する（$s$ を固定）:

辺	微分の結果
左辺	$P'(t+s)$
右辺	$P'(t)\,P(s)$

$t = 0$ と置いて $P'(0) = Q$ を用いると:

$$\boxed{P'(s) = Q\,P(s)} \quad \text{（Kolmogorov 後退方程式）} \tag{4}$$

図 2. $P(t+s)$ を $s$ の関数と見たときのグラフ。$t$ を固定して $s=0$ での傾きを評価すると前進方程式が得られる。

2-3. 結論

確認済み上記の操作から 2 つの Kolmogorov 方程式が導かれる。どちらも初期条件 $P(0)=I$ 付きの線形 ODE である。

名称	方程式	導出の操作
前進方程式	$P'(t) = P(t)\,Q$	$s$ で微分 → $s=0$
後退方程式	$P'(t) = Q\,P(t)$	$t$ で微分 → $t=0$

§3 線形 ODE の一意解 = exp(Qt)

確認済み前進方程式 $P'(t) = P(t)\,Q$, $P(0) = I$ はベクトル値の線形 ODE である。スカラー版アナロジーを出発点とする。

スカラー版	行列版（CTMC）
$\dfrac{dx}{dt} = a\,x$, $x(0) = 1$	$P'(t) = P(t)\,Q$, $P(0) = I$
解: $x(t) = e^{at}$	解: $P(t) = e^{Qt}$
$e^{at} = \sum_{k=0}^{\infty} \dfrac{(at)^k}{k!}$	$e^{Qt} = \sum_{k=0}^{\infty} \dfrac{(Qt)^k}{k!}$

一意性の根拠: 確認済み有限次元の線形 ODE に対しては Picard-Lindelöf 定理（Lipschitz 条件が成立）により解の一意性が保証される。有限状態空間の CTMC では $Q \in \mathbb{R}^{n \times n}$ は有界線形作用素であり、条件は常に成立する。

項別微分の正当性: $\dfrac{d}{dt}e^{Qt} = Q\,e^{Qt}$ が成り立つことの厳密な証明（Weierstrass M-test・バナッハ代数での一様絶対収束）は NSM-022 を参照。

§4 可換性 $Q\,e^{Qt} = e^{Qt}\,Q$

4-1. べき級数からの直接導出

確認済み行列指数のべき級数展開を用いて可換性を示す。

$$e^{Qt} = \sum_{k=0}^{\infty} \frac{(Qt)^k}{k!} \tag{5}$$

まず補題を確認する:

補題: $Q$ と $(Qt)^k$ の交換
$(Qt)^k = Q^k t^k$ であるから、 $$Q \cdot (Qt)^k = Q \cdot Q^k t^k = Q^{k+1} t^k = Q^k t^k \cdot Q = (Qt)^k \cdot Q$$ これは $Q$ と $Q$ の積が結合的であることから自明に成立する（$Q$ は自分自身と可換）。

この補題を用いて:

$$Q \cdot e^{Qt} = Q \cdot \sum_{k=0}^{\infty} \frac{(Qt)^k}{k!} = \sum_{k=0}^{\infty} \frac{Q \cdot (Qt)^k}{k!} = \sum_{k=0}^{\infty} \frac{(Qt)^k \cdot Q}{k!} = \left(\sum_{k=0}^{\infty} \frac{(Qt)^k}{k!}\right) Q = e^{Qt} \cdot Q$$

よって:

$$\boxed{Q\,e^{Qt} = e^{Qt}\,Q} \tag{6}$$

図 3. べき級数の各項で $Q$ と $(Qt)^k$ の交換が成立する。総和（= $e^{Qt}$）でも可換性が保たれる。

4-2. 帰結: 前進・後退方程式の解が同一である理由

確認済み可換性 $Q\,e^{Qt} = e^{Qt}\,Q$ を用いると、前進・後退の両方程式の右辺が一致する。

方程式	$P(t) = e^{Qt}$ を代入	確認
前進: $P'(t) = P(t)\,Q$	左辺 $= Q\,e^{Qt}$（項別微分）右辺 $= e^{Qt}\,Q$（代入）	$Q\,e^{Qt} = e^{Qt}\,Q$ により成立
後退: $P'(t) = Q\,P(t)$	左辺 $= Q\,e^{Qt}$（項別微分）右辺 $= Q\,e^{Qt}$（代入）	直接成立

図 4. 前進・後退 2 つの ODE が可換性を介して同一の解 $P(t) = e^{Qt}$ に帰着する模式図。

§5 スライド修正例（実用テンプレート）

メインプレゼン p.21 にコピーペーストできる形で、論理連鎖の中間ステップを明示したテキスト案を示す。

半群性 → Kolmogorov → exp(Qt) の連鎖

  P(t+s) = P(t) P(s)              [半群性 / Chapman-Kolmogorov]
    |
    | (両辺を s で微分し s → 0 と置く)
    v
  dP/dt = P(t) Q                  [Kolmogorov 前進方程式]
  dP/dt = Q P(t)                  [Kolmogorov 後退方程式]
    |
    | (線形 ODE の一意解: Picard-Lindelöf)
    v
  P(t) = exp(Qt) = Sum_{k=0}^inf (Qt)^k / k!

可換性 (前進・後退が同じ解を持つ根拠):
  Q · exp(Qt) = exp(Qt) · Q
  (べき級数の各項で Q と (Qt)^k が可換 → 総和でも成立)

使用上のメモ: 上記のブロックをスライドの「補足」フレームや口頭説明のカンペとして利用できる。「なぜ前進・後退は同じ解を持つか?」という質問への即答としても機能する。

§6 注意事項

6-1. 可換性は同一行列から作られた指数に限る

確認済み $Q\,e^{Qt} = e^{Qt}\,Q$ が成立するのは、$e^{Qt}$ が $Q$ 自身のべき級数として定義されているからである。本質は「$Q$ は自分自身と可換」という自明な事実に尽きる。

一般の行列 A, B では交換則は成立しない:
$e^{A+B} = e^A e^B$ は一般に成り立たない（Baker-Campbell-Hausdorff 公式参照）。
成立する特殊ケース: $[A, B] = AB - BA = 0$（$A$ と $B$ が可換）のとき。
CTMC では $A = B = Q$ なので自明に可換。 (NSM-022 でも言及。)

6-2. $Q$ の性質の役割

標準的・要確認 $Q$ が Q 行列の制約（対角成分 $\le 0$、非対角成分 $\ge 0$、行和 $= 0$）を持つことは、 $e^{Qt}$ が確率行列（非負成分・行和 1）になるための条件であり、可換性の証明自体には不要である。

6-3. 有限次元 vs 無限次元

標準的・要確認有限状態空間（$Q \in \mathbb{R}^{n \times n}$）では生成子は有界なため、半群論の精密な議論（$C_0$-半群・ Hille-Yosida 定理）を用いなくても議論が完結する。無限状態空間に拡張する場合は有界性が崩れ、より精密な議論が必要になる（詳細は NSM-016）。

参考文献

確認済み Norris, J. R. (1997). Markov Chains. Cambridge University Press. Ch. 2. — 半群性から生成子 Q を定義し Kolmogorov 方程式を導く標準的な教科書。
確認済み Colquhoun, D., & Hawkes, A. G. (1977). Relaxation and fluctuations of membrane currents that flow through drug-operated channels. Proc. R. Soc. London B, 199, 231–262. — CTMC を ion channel 解析に応用した古典論文。$e^{Qt}$ の導出が含まれる。
要確認 Ethier, S. N., & Kurtz, T. G. (1986). Markov Processes: Characterization and Convergence. Wiley. — 生成子の一般論・Picard-Lindelöf の行列版。

Kolmogorov 方程式の導出と可換性— 半群性 → Kolmogorov → exp(Qt) の論理連鎖

§1 なぜこのノートが必要か（動機）

§2 半群性 → Kolmogorov 方程式

2-1. 出発点: 半群性

2-2. 中間ステップ: $s$ で微分して $s \to 0$

2-3. 結論

§3 線形 ODE の一意解 = exp(Qt)

§4 可換性 $Q\,e^{Qt} = e^{Qt}\,Q$

4-1. べき級数からの直接導出

4-2. 帰結: 前進・後退方程式の解が同一である理由

§5 スライド修正例（実用テンプレート）

§6 注意事項

6-1. 可換性は同一行列から作られた指数に限る

6-2. $Q$ の性質の役割

6-3. 有限次元 vs 無限次元

参考文献

関連項目

Kolmogorov 方程式の導出と可換性
— 半群性 → Kolmogorov → exp(Qt) の論理連鎖