NSM-022

行列指数関数 $e^{At}$ の項別微分の正当性

作成日: 2026-05-26 / バナッハ代数・一様絶対収束・項別微分定理 / Mathematics in Neuroscience プレゼン準備

このページの読み方

このページは 二部構成 になっています。

前半（Part A）: 数学が苦手な方向けのやさしい入門です。数式を最小限に抑え、直感と言葉で説明します。
後半（Part B）: 数学者向けの厳密な定式化と証明です。バナッハ代数・一様絶対収束・項別微分定理を厳密に展開します。

前半だけ読んでもこの問題の「意味」が分かります。後半は前半の直感を数学の言葉で正確に言い換えたものです。

Part A — 素人向け入門

数学が苦手な人向けのやさしい解説

A1. なぜこの話が必要か（動機）

前進方程式 $\frac{dP}{dt} = P(t)Q$ の解として $P(t) = e^{Qt}$ と書きます。

でも $e^{Qt}$ は 無限の足し算（無限級数） で定義されています。

「無限の足し算」を 微分する とき、それが本当に許されるのか？これは数学者が必ず確認する問題です。

問い: 無限の足し算を「1 個ずつ微分してから足す」操作は、常に正しいか？
答え: 正しくない場合がある。ただし特定の条件を満たせば正しい。

A2. 「無限の足し算」とは何か

$e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \cdots$ は学校で習う式です。項が無限に続くのに、特定の $x$ の値（例: $e^1 = 2.71828...$）に 近づいていく（収束する） のです。

図 1. $e^x$ の部分和（N=1, 2, 3）が真の値に収束していく様子。N が大きくなるほど青い真の値に近づく。

A3. 微分との関係（直感）

微分 = 「変化の速さ」を測る操作です。例: $\frac{d}{dx} x^k = k x^{k-1}$。

無限級数を微分するとき、「1 個ずつ微分してから足す」ことができるか？感覚的には「足し算なら 1 個ずつ微分すれば良い」と思えます。でも数学的には 保証が必要 です。

なぜ保証が必要か: 無限個の操作を「まとめて行う」ときは、順番を変えたり操作を交換したりすることの正当性を証明しなければならない。「有限の場合に成り立つ性質が無限でも成り立つ」とは限らない。

A4. 病的な反例（「なぜ危険か」の直感）

無限和には「順序を変えると値が変わる」という驚くべき性質があります（条件収束の場合）。

図 2. 条件収束の無限級数（$\ln 2$ が有名な例）は、項の順序を変えると好きな値に収束させられる（リーマン再配列定理）。微分との交換も同様に「無条件では危険」。

A5. 解決の鍵 4 つ（素人向けまとめ）

$e^{At}$ の場合は以下の 4 つの条件が揃うため、項別微分が安全に行えます。

条件	意味（やさしく）	専門用語
1. 行列の大きさを測れる	「どれくらい大きい行列か」を数値で表せる	行列ノルム
2. 行列の世界は閉じている	足しても掛けても「外に出ない」、「大きさ」の不等式が保たれる	バナッハ代数
3. 各項が急速に小さくなる	後の項は急速に 0 に近づくため、全体が安定して収束する	一様絶対収束・Weierstrass M-test
4. 1 個ずつ微分が許される	条件 1〜3 が揃えば、各項を微分してから足してよい	項別微分定理

図 3. 項別微分の正当化に必要な 4 つの要素の流れ。

A6. 結論（素人向け）

$\frac{d}{dt} e^{At} = A e^{At}$ という計算は、行列ノルム・バナッハ代数・一様絶対収束・項別微分定理という 4 つの数学的道具によって 正当化されます。

これにより、前進方程式 $\frac{dP}{dt} = P(t)Q$ の解として $P(t) = e^{Qt}$ と書くことが許されます。「$e^{Qt}$ を微分すると $Q e^{Qt}$ になる」という計算が、無限の足し算に対しても保証されるのです。

Part B — 数学者向け厳密な定式化

バナッハ代数・一様絶対収束・項別微分定理の完全な証明

B1. 形式的設定とバナッハ代数

教科書確認済み (Rudin 1973, Ch.10; Lax 2002, Ch.15)

設定: $M_n(\mathbb{C})$ を $n \times n$ 複素行列全体とする。

行列ノルム（演算子ノルム）:

$$\|A\| := \sup_{\|x\|_2 = 1} \|Ax\|_2$$

（Frobenius ノルム $\|A\|_F = \sqrt{\sum_{i,j} |a_{ij}|^2}$ を用いてもよい。有限次元では全てのノルムは同値。）

命題: $M_n(\mathbb{C})$ はバナッハ代数

$(M_n(\mathbb{C}), \|\cdot\|)$ は以下を全て満たす:

バナッハ空間: $\mathbb{C}^{n^2}$ と同型な有限次元ノルム空間として完備
環: 行列の加法と乗法（積）について閉じている
劣乗法性 (submultiplicativity): $\|AB\| \le \|A\|\|B\|$

1〜3 を満たす構造を バナッハ代数 (Banach algebra) と呼ぶ。

図 4. $M_n(\mathbb{C})$ がバナッハ代数として「閉じた世界」を形成する構造。劣乗法性から $\|A^k\| \le \|A\|^k$ が従い、これが収束の鍵になる。

B2. 行列指数関数の定義と収束証明

教科書確認済み (Rudin 1973, Theorem 10.31)

定義:

$$e^A := \sum_{k=0}^{\infty} \frac{A^k}{k!}, \quad A \in M_n(\mathbb{C})$$

定理 1: 任意の $A \in M_n(\mathbb{C})$ に対して上の級数は収束する

証明: 部分和 $S_N := \sum_{k=0}^{N} \frac{A^k}{k!}$ がコーシー列であることを示す。$M > N$ に対し:

$$\|S_M - S_N\| = \left\|\sum_{k=N+1}^{M} \frac{A^k}{k!}\right\| \le \sum_{k=N+1}^{M} \frac{\|A^k\|}{k!} \le \sum_{k=N+1}^{M} \frac{\|A\|^k}{k!}$$

右辺は実数の指数関数 $e^{\|A\|}$ の部分和の尾部であるから $M, N \to \infty$ で $0$ に収束する。バナッハ空間の完備性から $\{S_N\}$ は収束する。$\square$

B3. コンパクト集合上の一様絶対収束

教科書確認済み (Rudin 1976, Theorem 7.10; Lax 2002 Ch.15)

$t \in [0, T]$（$T > 0$ は固定、コンパクト集合）において $f_k(t) := \frac{(At)^k}{k!}$ とおく。

定理 2: $\sum_{k=0}^{\infty} f_k(t)$ は $[0, T]$ 上で一様絶対収束する

証明: 各 $t \in [0, T]$ および各 $k$ に対し:

$$\|f_k(t)\| = \left\|\frac{A^k t^k}{k!}\right\| \le \frac{\|A\|^k |t|^k}{k!} \le \frac{\|A\|^k T^k}{k!} =: M_k$$

$\sum_{k=0}^{\infty} M_k = \sum_{k=0}^{\infty} \frac{(\|A\|T)^k}{k!} = e^{\|A\|T} < \infty$

Weierstrass M-test より $\sum f_k(t)$ は $[0, T]$ 上で一様絶対収束する。$\square$

図 5. 一様収束と各点収束の違い。$e^{At}$ の場合はコンパクト集合 $[0,T]$ 上で Weierstrass M-test により一様絶対収束が保証されるため、微分との交換が許される。

B4. 項別微分定理とその適用

教科書確認済み (Rudin 1976, Theorem 7.17)

定理 3: 項別微分定理（Differentiation of Series Term by Term）

開区間 $I$ で以下が成立するとき:

各 $f_k: I \to M_n(\mathbb{C})$ が $C^1$（微分可能かつ微分が連続）
$\sum_{k=0}^{\infty} f_k(t)$ が $I$ のある点で収束
$\sum_{k=0}^{\infty} f_k'(t)$ が $I$ の任意のコンパクト部分集合上で一様収束

ならば $f(t) := \sum_{k=0}^{\infty} f_k(t)$ は $I$ 全体で $C^1$ であり、$f'(t) = \sum_{k=0}^{\infty} f_k'(t)$。

定理 4: $\frac{d}{dt} e^{At} = A e^{At}$（主定理）

証明:

$f_k(t) := \frac{A^k t^k}{k!}$ とおく。各 $k$ に対し:

$$f_k'(t) = \frac{A^k \cdot k t^{k-1}}{k!} = \frac{A^k t^{k-1}}{(k-1)!} \quad (k \ge 1), \quad f_0'(t) = 0$$

導関数の級数を評価する。任意の $T > 0$、$t \in [0, T]$ に対し:

$$\left\|f_k'(t)\right\| \le \frac{\|A\|^k T^{k-1}}{(k-1)!} =: M_k'$$ $$\sum_{k=1}^{\infty} M_k' = \frac{1}{1}\sum_{k=1}^{\infty} \frac{\|A\|^k T^{k-1}}{(k-1)!} = \|A\| \sum_{j=0}^{\infty} \frac{(\|A\|T)^j}{j!} = \|A\| e^{\|A\|T} < \infty$$

Weierstrass M-test より $\sum_{k=1}^{\infty} f_k'(t)$ は $[0, T]$ 上で一様絶対収束。定理 3 の条件が満たされるので:

$$\frac{d}{dt} e^{At} = \sum_{k=1}^{\infty} \frac{A^k t^{k-1}}{(k-1)!} = A \sum_{j=0}^{\infty} \frac{A^j t^j}{j!} = A \cdot e^{At}$$

同様に、$A$ と $e^{At}$ の各項 $A^k t^k / k!$ は可換（$A \cdot A^k = A^k \cdot A$）なので $A e^{At} = e^{At} A$ も成立。$\square$

B5. 可換性と前進/後進方程式の接続

教科書確認済み

可換性 $A e^{At} = e^{At} A$: 級数の各項で $A \cdot \frac{A^k t^k}{k!} = \frac{A^{k+1} t^k}{k!} = \frac{A^k t^k}{k!} \cdot A$ が成立し、一様収束により級数全体でも可換性が保たれる。

前進方程式と後進方程式の解が一致する理由:
前進方程式 $P'(t) = P(t)Q$ と後進方程式 $P'(t) = Q P(t)$ は一見別の方程式だが、$QP = PQ$（$P = e^{Qt}$ と $Q$ の可換性）により 同じ解 $P(t) = e^{Qt}$ を持つ。これが Kolmogorov 前進方程式と後進方程式の解が一致する数学的根拠（NSM-021）。

B6. 行列指数関数のさらなる性質

教科書確認済み (Hall 2015, Ch.2)

$A \mapsto e^A$ は $M_n(\mathbb{C})$ 全体で収束する entire function（任意の $A$ で収束）
$t \mapsto e^{At}$ は $t$ について 解析関数 (analytic)、すなわち $C^\infty$（任意回数微分可能）
Jacobi の公式: $\det(e^A) = e^{\mathrm{tr}(A)}$
要注意: $e^{A+B} = e^A e^B$ は $AB = BA$（可換）のときに限り成立。一般の行列では Baker-Campbell-Hausdorff 公式が必要
スペクトル写像定理: $A$ の固有値が $\lambda_1, \ldots, \lambda_n$ なら $e^A$ の固有値は $e^{\lambda_1}, \ldots, e^{\lambda_n}$

B7. 半群理論との接続

教科書確認済み (Engel & Nagel 2000)

$T(t) := e^{At}$ は 連続 1-パラメータ半群 を形成する（NSM-016）:

$T(0) = I$（単位元）
$T(t+s) = T(t) T(s)$（半群律、Chapman-Kolmogorov）
$t \mapsto T(t)$ は連続

有限次元バナッハ代数上では $T(t) = e^{At}$ の形の半群は 一様連続半群 であり、生成子 $A$ は有界作用素。無限次元に拡張すると Hille-Yosida 定理が必要になる。

本ノートでの用語規約

「絶対収束」: $\sum \|f_k\| < \infty$ が成立すること。項の並べ替えに対して安定。
「一様収束」: 有界域上で収束速度が $t$ によらず均一であること（$\sup_t \|f_k(t)\| \le M_k$）。
「一様絶対収束」: 上の両方が成立すること。Weierstrass M-test が使える。
「項別微分」: $\frac{d}{dt}\sum f_k = \sum \frac{d}{dt} f_k$（$\sum$ と $\frac{d}{dt}$ を交換する操作）。一様収束で正当化される。

確信度まとめ

教科書確認済みバナッハ代数の定義・行列指数の収束: Rudin (1973) Ch.10; Lax (2002) Ch.15
教科書確認済み Weierstrass M-test: Rudin (1976) Theorem 7.10
教科書確認済み項別微分定理: Rudin (1976) Theorem 7.17
教科書確認済み $\frac{d}{dt}e^{At} = Ae^{At}$: Rudin (1973) Theorem 10.31（バナッハ代数の文脈）
教科書確認済み半群との接続: Engel & Nagel (2000) Ch.1
教科書確認済みスペクトル写像定理・Jacobi 公式: Hall (2015) Ch.2

参考文献

Rudin, W. (1973). Functional Analysis. McGraw-Hill. Chapter 10 (Banach algebras). — バナッハ代数・行列指数関数の収束・$e^{At}$ の微分の標準的展開。
Rudin, W. (1976). Principles of Mathematical Analysis, 3rd ed. McGraw-Hill. Chapter 7 (Sequences and Series of Functions). — Weierstrass M-test (Theorem 7.10) ・項別微分定理 (Theorem 7.17) の原典。
Lax, P. D. (2002). Functional Analysis. Wiley. Chapter 15. — 有限次元バナッハ代数上の行列指数関数と半群の接続。
Hall, B. C. (2015). Lie Groups, Lie Algebras, and Representations, 2nd ed. Springer. Chapter 2. — 行列指数関数の解析性・スペクトル写像定理・Baker-Campbell-Hausdorff 公式。
Engel, K.-J. & Nagel, R. (2000). One-Parameter Semigroups for Linear Evolution Equations. Springer. Chapter 1. — 1-パラメータ半群・一様連続半群・Hille-Yosida 定理（無限次元への拡張）。
Norris, J. R. (1997). Markov Chains. Cambridge University Press. Chapter 2. — CTMC の文脈での $e^{Qt}$ の使用・前進方程式。