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

涉及参数的非线性微分方程解的数值验证

• 批准号: 05740134
• 负责人: 土屋 卓也
• 金额: $ 0.64万
• 依托单位: Ehime University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05740134/
• 关键词: 解の数値的検証; 非線形微分方程式; 返り点; 分岐点

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

This paper studies the definition and solution of nonlinear differential equations on bounded intervals of one dimension. The curve is curved and the turn point is contained. In this case, the equation is not stable at the point of return (Frechet part is reversible), the equation is stable at the point of return (Frechet part is reversible), and the equation is stable at the point of return (Frechet part is reversible). The equation of the equation Second, the bifurcation point (bifurcation point) of the numerical value of the test, the same method of the appropriate test. Fixed formula, numerical value calculation, proof, discussion, stage, new problem, point, etc. For example, if the number of points is different, the number of points is different. If the number of points is different, the number of points is different. If the number of points is different, the number of points is different. The result of investigation, the problem, the problem () The problem of direct feeling is solved by negative thinking. To prove the necessity of new theory, to solve the problem in the future

项目成果

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

Takuy​​a Tsuchiya：“简单分岔点的数值验证”数学分析研究所的 Kokyuroku 831. 129-140 (1993)。