权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

偏微分方程式の解に対する精度保証付き数値計算法の発展

开发保证偏微分方程解精度的数值计算方法

基本信息

批准号：
11J07191
负责人：
高安亮紀
金额：
$ 0.83万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2011
资助国家：
日本
起止时间：
2011 至 2012
项目状态：
已结题

项目摘要

線形化微分作用素に対する逆作用素のノルム評価法:線形化微分作用素の可逆性の証明は偏微分方程式の精度保証付き数値計算において重要な役割を占めている.本研究では自己共役な線形化作用素に対して,楕円型作用素の実固有値を用いて可逆性が検証できる事を示した.そしてLaplacianに対する精度保証付き固有値評価をもとにした固有値評価を導出し,計算された固有値を利用するノルム評価方法を確立した.提案手法は先行研究に比べ検証が成功しやすく,よりタイトな評価を可能にする事が特徴である.さらに,これまでの任意多角形領域上における計算機援用証明法の技巧を用いることで,任意多角形領域に対応することができ,より実用的な逆作用素のノルム評価方法を提案することができた.提案手法の反応拡散系数理モデルへの適応:任意多角形領域上における計算機援用証明方法の応用例として,2つの未知関数(u,v)に関する反応拡散系の非線形連立偏微分方程式を考える.反応拡散方程式は主に化学,生物学,物理学などに表れる現象を記述した方程式である.本研究ではFitzHugh-Nagumo方程式と呼ばれる神経繊維上の電位の伝播モデルを考え,反応拡散方程式の定常解を任意多角形領域上で計算機援用解析できるようにした.これは昨年度提案したHyper-circle equationとNewton-Kantorovichの定理を基礎とする精度保証付き数値計算手法の自然な拡張である.適応にあたり,先行研究では成されていなかった作用素項が含まれる固有値問題に対する精度保証付き評価を提案するなど,既存の理論の応用だけではない新たな手法の発展が適用を可能にした.

Linear differential action element for inverse action element of linear differential action element of In this study, we demonstrated the inherent value of the linear interaction element and its reversibility. Laplacian accuracy is guaranteed by the inherent evaluation method. Propose a method to compare and verify the success of the project. In this case, the computer application method is used in the arbitrary polygonal domain, and the reverse action element is used in the evaluation method. A method for solving nonlinear continuous partial differential equations of anti-dispersion systems in arbitrary polygonal domains is proposed. The inverse diffusion equation is an equation that describes phenomena in chemistry, biology, and physics. In this paper, we investigate the potential propagation of FitzHugh-Nagumo equation in the brain dimension, and compute the steady solution of inverse dispersion equation in arbitrary polygonal domain. The Hyper-circle equation and Newton-Kantorovich theorem are the basis of the accuracy guarantee and the natural expansion of the calculation method of the numerical value. For the purpose of this paper, the author proposes a new method for the development of existing theories.