連続力学系のコネクティングオービットの精度保証付き数値解法
スポンサーリンク
概要
- 論文の詳細を見る
常微分方程式のコネクティングオービット(ホモクリニック軌道、ヘテロクリニック軌道の総称)の存在証明はカオス理論の最も基本的な問題の一つであるが、極めて困難な問題で現実的な系において数学的に厳密に実行された例は極めて少ないと思われる。本稿では一般にパラメータを含む非線形常微分方程式系のコネクティングオービットの精度保証付き数値計算に基ずく計算機援用証明法を与える。この方法は、原理的には、広い範囲の連続力学系に対し適用可能である。例として2階の非線形常微分方程式のホモクリニック分岐点の存在の計算機援用証明例を示す。
- 1995-10-19
論文 | ランダム
- 微小重力状態を利用した半導体融液の熱伝導率測定 (素材開発と熱物性) -- (高温融体)
- 戦慄のスパイ網「KGB」「GRU」 (これがソ連の正体--パワ-の世界戦略を徹底解剖)
- 67.自作打抜き装置による4MV X線の線量分布(第2報)(第37回総会 会員研究発表)(治療-5 測定技術)
- 47.自作打抜き装置による4MVX線の線量分布 第1報(第36回総会会員研究表)(治療2)
- 147.変形照射野治療に於ける4MVX線のElongation Factor及び線量分布について 第IV報(第35回総会会員研究発表)(治療2線量測定)