カオスの計算機援用証明
スポンサーリンク
概要
- 論文の詳細を見る
カオス理論は力学系理論、エルゴード理論など枠組みとして非常にきれいに整備されている。しかし、現実の系をモデル化した方程式に適用するに当たって、枠組みを適用する前提が成立するか否か厳密に証明するの極めて困難なことが多い。精度保証付き数値計算に基ずく計算機援用証明は力学系の不変集合の存在証明などに応用が試みられている。ここでは、その例として常微分方程式のコネクティングオービット(ホモクリニック軌道、ヘテロクリニック軌道の総称)の存在証明の数値的検証例を示す。コネクティングオービットの存在証明はカオス理論の最も基本的な問題の一つであるが、極めて困難な問題で現実的な系において数学的に厳密に実行された例は極めて少ないと思われる。
- 1995-10-24
論文 | ランダム
- 高分子の科学--高分子の特性,そのエッセンス
- 台車ピッチング研究用およびシーケンス制御実習用5インチゲージ電気機関車の開発 第三報 : 実用とオープンキャンパス宣伝用をかねて
- 機械は私のミラーニューロンを発火させるか?
- 大規模開発工事現場におけるCO2排出量ゼロへの取り組み--バイオディーゼル燃料(100%)の車両への適用 (特集 二酸化歳素削減と建設産業(2))
- 子ども虐待がこころにおよぼす影響 (特集 見逃さない!日常診療の中にある子ども虐待・ネグレクト) -- (虐待・ネグレクトが子どもに残す影響)