• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

パラメータを含む非線形微分方程式の解の数値的検証

研究課題

研究課題/領域番号 05740134
研究種目

奨励研究(A)

配分区分補助金
研究分野 数学一般(含確率論・統計数学)
研究機関愛媛大学

研究代表者

土屋 卓也  愛媛大学, 理学部, 助教授 (00163832)

研究期間 (年度) 1993
研究課題ステータス 完了 (1993年度)
配分額 *注記
1,000千円 (直接経費: 1,000千円)
1993年度: 1,000千円 (直接経費: 1,000千円)
キーワード解の数値的検証 / 非線形微分方程式 / 返り点 / 分岐点
研究概要

この研究では、1次元の有界区間上で定義されたパラメータを含む非線形微分方程式の解の検証を試みた。
まず、解曲線が返り点(turnign point)を含む場合を扱った。この場合、もとの方程式は、返り点において不安定なっているので(Frechet部分が可逆でない)、もとの方程式に1次元の別の方程式を付け加え、拡大された方程式が安定になるようにすることを考えた。その拡大された方程式に対し、従来の解の検証を適応することにより、返り点の周辺での解の検証、および返り点そのものの検証をすることができるようになった。
次に、分岐点(bifurcation point)の数値的検証についても、同様な手法の適応を試みた。定式化、数値計算ともうまくいったが、証明を検討している段階で、新たな問題点も見つかった。それは、分岐点の数値的検証においては、返り点の検証の際よりもう一つ余分にパラメータを導入する必要があり、そのパラメータが分岐点(の候補者)において、本当に0になっているかどうかを検証しなければならないということである。
いろいろ考察した結果、この問題は、次の問題に帰着されるらしいことがわかった:代数方程式の重根の存在を"数値的に"(浮動小数点演算だけを使って)検証できるか?(そのようなアルゴリズムが存在するか?)
直感的には、この問題は否定的に解決されることが予想される。しかし、厳密な証明には新たに理論を作る必要があり、今後の問題である。

報告書

(1件)
  • 1993 実績報告書
  • 研究成果

    (1件)

すべて その他

すべて 文献書誌 (1件)

  • [文献書誌] 土屋卓也: "Numerical Verification of Simple Bifurcation Points" 数理解析研究所講究録. 831. 129-140 (1993)

    • 関連する報告書
      1993 実績報告書

URL: 

公開日: 1993-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi