連続力学系のコネクティングオービットの精度保証付き数値解法
スポンサーリンク
概要
- 論文の詳細を見る
常微分方程式のコネクティングオービット(ホモクリニック軌道、ヘテロクリニック軌道の総称)の存在証明はカオス理論の最も基本的な問題の一つであるが、極めて困難な問題で現実的な系において数学的に厳密に実行された例は極めて少ないと思われる。本稿では一般にパラメータを含む非線形常微分方程式系のコネクティングオービットの精度保証付き数値計算に基ずく計算機援用証明法を与える。この方法は、原理的には、広い範囲の連続力学系に対し適用可能である。例として2階の非線形常微分方程式のホモクリニック分岐点の存在の計算機援用証明例を示す。
- 1995-10-19
論文 | ランダム
- 32 シスプラチン内腸骨動脈注入における血清中および組織内プラチナ濃度に関する基礎的検討
- 航空宇宙技術研究所 高速ネットワーク環境整備概要
- 業務オンライン化に向けた業務分析報告 -情報技術の適用可能性について
- ネットワーク利用の手引き
- Cracking Analyzer の設計コンセプト