非線形偏微分方程式の解の精度保証付き数値計算法に関する研究

非线性偏微分方程解精度保证的数值计算方法研究

• 批准号: 06740167
• 负责人: 渡部 善隆
• 金额: $ 0.58万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06740167/
• 关键词: 非線形楕円型方程式; 精度保証付き数値計算; 有限要素法

本年度の研究により,過去得られた楕円型方程式に関する結果を,より実用度の高いものに改良・拡張した.具体的には以下の項目の研究を行った.1.与えられた非線形偏微分方程式を,超関数理論に基づく弱形式に変形する.更にNewton-Likeな手法を用い,適当なHilbert空間上の不動点問題に同値変形を行う.この際,より効率よい定式化を提案した.2.検証結果の反復の過程で不動点定理の条件が満たされ,解の存在が計算機内で保証されるアルゴリズムを導く.計算機内では,有限要素法をもとに区間演算の性質に留意しながら近似解の決定,検証を行う反復解の計算,および射影によって生じる誤差評価を行った.3.また,検証プログラムの高速化と効率化の検討,およびその実用性の評価を行なった.具体的には,設備備品として購入したパーソナルコンピュータを用い,内積およびノルムの評価を数式処理システムで行い,結果を汎用性のある組み込み関数として作成した.4.丸め誤差を考慮した数値計算への適用として,精度保証付きライブラリによる解の精度保証を微分不能項を含む非線形MHD方程式に適用し,解の存在検証に成功した.今後の研究としては,これまでに得られた非線形楕円型方程式の解の精度保証計算を,Navier-Stokes方程式の定常解の精度保証に適用することを行う予定であり,既に線形化版であるStokes方程式の有限要素解に対するa priori/aposterioriな誤差評価の定式化に関する考察に着手している.

This year's research, the past has been related to the results of the model equation, the implementation of high efficiency and improvement. 1. Non-linear partial differential equations, ultra-correlation theory, weak form. In addition, Newton-Like method is used to solve fixed point problems in Hilbert space. 2. The condition of the fixed point theorem in the iterative process of verifying the result is established, and the existence of the solution is guaranteed in the computer. In the computer, the finite element method is used to determine the approximate solution, to verify the iterative solution calculation, to generate the error evaluation, and to verify the speed-up of the algorithm. For the specific purpose, equipment spare parts are purchased, and the inner product is used for the evaluation of the numerical formula. The result is universal. The calculation of the numerical value is applicable. The accuracy of the solution is guaranteed. The differential term is not applicable to the nonlinear MHD equation. The existence of the solution was verified successfully. In the future, we will study the accuracy assurance calculation of the solution of nonlinear equations, the accuracy assurance application of the steady solution of Navier-Stokes equations, and the investigation of the linear version of Stokes equations with finite element solutions to a priori/aposteriori error evaluation.

项目成果

Mitsuhiro T.Nakao: "On computational proofs of the existence of solutions to nonlinear parabolic problems" Journal of Computational and Applied Mathematics. 50. 401-410 (1994)

Mitsuhiro T.Nakao：“关于非线性抛物线问题解存在性的计算证明”计算与应用数学杂志。