解の形と増大度
の任意の解の各成分は、 の固有値 と Jordan 細胞の最大サイズ に対する ( は次数 の多項式)の和である。 とすると、任意の に対し が存在して ()が成り立つ。とくに なら ()である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 3 件
- Floquet 乗数と安定性✓系 5.4・線形微分方程式系
- Laplace 変換法(線形常微分方程式系)✓定理 7.3・線形微分方程式系
- Lyapunov 方程式✓補題 4.1・安定性・力学系・特性曲線法