動力学
ある時点の状態がその過去の状態で表現される系を、力学系(または動力学系)と呼びます。例えば、$x_{n}$ があるとき、これがある写像 $f$ に対して $x_{n+1} = f(x_{n})$ と表せる場合、または $x$ の状態がある関数 $g$ に対して $\dot{x} = g(x)$ と微分方程式で表せる場合を考えることができます。このとき、決定論的な値が求められるシステムを動的システムと呼び、非決定論的なシステムを確率過程と呼びます。1
力学は、このような力学系に対する数学的アプローチであり、数理的モデリングやシステムの解析などを含む数学の一分野です。国内での認知度は低いものの、物理、化学、生物、ビジネスなどで多彩に応用される大きな分野で、時空間に関する抽象的な探求はもちろん、実践的な問題解決でも活発に使用されています。
マーク | 細分類 |
---|---|
⚫ | カオス |
🟢 | バイオ |
一般力学
集合と空間
- 軌道とフェーズポートレート
- 不変集合
- アトラクター
- 🔒(24/11/22) 固定点の双曲性
- 🔒(24/11/26) リミットサイクルの双曲性
写像
- 写像で表現される力学系と固定点
- 1次元写像
- 多次元写像
微分方程式
- 微分方程式で表現される力学系と平衡点
- フローとタイム-T写像
- 軌道とリミットサイクル
- 🔒(24/11/02) ホモクリニック軌道とヘテロクリニック軌道
- リヤプノフ安定性と軌道安定性
- リヤプノフ関数
- 微分方程式で表現されるシステムでの固定点の分類 ● ◐ ○
- 微分方程式で表現されるシステムの保存量
- 微分方程式で表現されるシステムのオメガリミット集合
- 2次元システム
- 力学でのリウヴィルの定理
- ラサールの不変原理
- 🔒(24/12/24) リヤプノフスペクトルの定義
- 🔒(24/12/20) 変分方程式
- 🔒(24/12/28) 線形システムのリヤプノフスペクトル
- 🔒(25/01/03) 微分方程式で表現されるシステムのリヤプノフスペクトルとその数値的計算法
- 🔒(25/01/15) 固定点を含まない軌跡は少なくとも1つのゼロリアプノフ指数を持つ。
分岐理論
- 分岐
- 分岐図
- ピッチフォーク分岐 $\dot{x} = rx \mp x^{3}$
- 🔒(24/10/13) トランスクリティカル分岐 $\dot{x} = rx - x^{2}$
- 🔒(24/10/17) サドルノード分岐 $\dot{x} = r + x^{2}$
- 🔒(24/10/21) ヒステリシス現象
- 🔒(24/11/06) ホモクリニック分岐
- 🔒(24/11/10) ヘテロクリニック分岐
- 🔒(24/11/14) 無限周期分岐
- 🔒(24/11/18) ホップ分岐
- 🔒(24/11/30) 周期倍分岐
- 🔒(24/12/08) ファイゲンバウムの普遍性
- 🔒(24/12/04) ネイマーク・サッカー分岐
- カオスへのトランジション ⚫
数理的モデリング
- 数学における質量作用の法則
- ローレンツアトラクター ⚫
- レスラーアトラクター ⚫
- ロジスティックファミリー ⚫🟢
- ダフィング振動子
- 🔒(24/12/12) 二重振り子 ⚫
人口成長
- マルサス成長モデル:理想的な集団成長 🟢
- ロジスティック成長モデル:集団成長の限界 🟢
- ゴンペルツ成長モデル:時間による成長遅延 🟢
- バス拡散モデル:革新と模倣
- ロトカ・ヴォルテラ捕食者-被食者モデル 🟢
- ロトカ・ヴォルテラ競争モデル 🟢
- メイ・レナード競争モデル 🟢
- ランチェスターの法則
- 一斉射撃戦闘モデル
- レスリーの年齢構造モデル 🟢
- フォン・フォルスター方程式 🟢
- 人口均衡方程式 🟢
疾病拡散
- 疫学区画モデル 🟢
- 伝染病拡散モデルでの基本再生産数とは? 🟢
- SIRモデル:最も基本的な拡散モデル 🟢
- SISモデル:再感染と慢性病 🟢
- SEIRモデル:潜伏期と潜在期 🟢
- SIRVモデル:ワクチンとブレークスルー感染 🟢
- SIRDモデル:死亡と致命率 🟢
- 性感染症モデル:2つの集団間の疾病伝播 🟢
- 種間伝染モデル:3つの集団間の疾病伝播 🟢
- エイズ伝染モデル 🟢
カップリング
非スムーズシステム
- 非スムーズシステム
- DC-DC バックコンバータ ⚫
- アトピー性皮膚炎システム 🟢
- 振動衝撃モデル ⚫
- 🔒(24/12/16) メモリスターヒンドマーシュ・ローズニューロンモデル ⚫🟢
シミュレーション
セルオートマトン
エージェントベースシミュレーション
格子モデルシミュレーション
主要参考文献
- Allen. (2006). An Introduction to Mathematical Biology
- Ottar N. Bjørnstad. (2018). Epidemics Models and Data using R
- Capasso. (1993). Mathematical Structures of Epidemic Systems
- Guckenheimer. (1983). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
- Kuznetsov. (1998). Elements of Applied Bifurcation Theory(2nd Edition)
- Strogatz. (2015). Nonlinear Dynamics And Chaos: With Applications To Physics, Biology, Chemistry, And Engineering(2nd Edition)
- Yorke. (1996). CHAOS: An Introduction to Dynamical Systems
- Wiggins. (2003). Introduction to Applied Nonlinear Dynamical Systems and Chaos Second Edition(2nd Edition)
Yorke. (1996). CHAOS: An Introduction to Dynamical Systems: p2. ↩︎
全體ポスト
- 地図で表される動力学系と不動点
- ローレンツ・アトラクター
- 1次元マップのシンクとソースの同定法
- マップシステムのオービット
- 一次元マップのリアプノフ指数
- 1次元マップのカオス
- 李-楊の定理の証明
- シャルコフスキーの定理
- ロジスティックファミリー
- カオス理論における共役マップ
- シュワルツシルトの微分
- 分岐図
- ナチュラル不変測度
- カオス遷移
- 多次元線形写像
- 多次元非線形マップ
- 多次元マップのリアプノフ数とその数値計算法
- 多次元マップのカオス
- アトラクターのカオス
- 微分方程式で表される動力学系と平衡点
- 自律システムのフローとタイム-Tマップ
- 自律システムのオービットとリミットサイクル
- 非線形システムの線形化
- リャプノフ安定性と軌道安定性
- ファン・デル・ポール振動子
- 自律システムにおける固定点の分類
- リャプノフ関数
- 力学における不変集合
- 不変多様体の安定性
- ベンディクソンの判定法
- 2次元自律システムにおける周期軌道の不在
- プアンカレ-ベンディクソン定理の証明
- 自律システムの保存量
- 力学におけるリュービルの定理の証明
- ポアンカレの再帰定理の証明
- 自律システムのオメガリミットセット
- 力学系のアトラクタ
- アトラクティングセットのベイスン
- ラサール不変原理の証明
- マルサス成長モデル:理想的な集団成長
- 動的モデルシミュレーション
- エージェントベースシミュレーションの最初のステップ:散布図で表現하기
- エージェントベースモデルシミュレーションにおける繁殖
- エージェントベースモデルシミュレーションにおける死亡
- ロジスティック成長モデル:集団成長の限界
- 格子モデルシミュレーションの第一歩:ヒートマップで表現する
- 格子モデルシミュレーションにおける拡散
- 数理生物学におけるアリー効果
- ゴンペルツ成長モデル:時間に依存する成長の遅延
- バス拡散モデル:革新と模倣
- ロトカ=ヴォルテラ 捕食者-被食者モデル
- ロトカ=ボルテラ競争モデル
- メイ-レナード競争モデル
- ランチェスターの法則
- 一斉射撃戦闘モデル
- 力学区画モデル
- 伝染病の拡散モデルにおける基本再生産数とは?
- SIRモデル:最も基本的な拡散モデル
- SISモデル:再感染と慢性病
- 性病モデル:2つの集団間の病気の伝播
- 種間伝播モデル:3つの集団間の病気の伝播
- ポアンカレ写像
- エイズ伝播モデル
- 数学における質量作用の法則
- 力学系の厳密な定義
- ダイナミクスにおける軌道と位相ポートレート
- 力学系間の位相的同値性
- 結合動的システム
- レズリーの年齢構造モデル
- SEIRモデル:潜伏期と潜在期
- SIRVモデル:ワクチンと突破感染
- SIRD モデル:死亡と致死率
- メタ個体群モデル
- オイラーの運動モデル
- ラグランジュ運動モデル
- 폰 푀르스터 방정식
- 人口バランス方程式
- ロスラー・アトラクタ
- ダイナミクスにおける各セグメントのスムーズなシステム
- 微分包含の定義
- ダイナミクスにおけるノンスムースシステム
- スローファストシステム
- ダイナミックシステムとしてのDC-DCバックコンバータ
- 動力学におけるアトピー性皮膚炎システム
- ダイナミクスにおける分岐
- 動力学におけるベクトル場の法線形
- 力学系としての振動衝撃モデル
- ピッチフォーク分岐
- トランスクリティカル分岐
- サドルノード分岐
- ダイナミクスにおけるヒステリシス現象
- ダイナミクスにおけるチッピングポイント
- 解析学におけるヌルクライン
- ホモクリニック軌道とヘテロクリニック軌道