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

非整数階微分方程式系の解に対する精度保証付き数値計算法の研究

非整数阶微分方程组解精度保证的数值计算方法研究

基本信息

批准号：
21K03363
负责人：
宮島信也
金额：
$ 2.66万
依托单位：
Iwate University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-01 至 2026-03-31
项目状态：
未结题

项目摘要

理工学においては，現象を理解するために数理モデルが作られ，これらのモデルを解くことによって，未知の現象の予測や新たな工学的製品の設計等が可能となる．これらのモデルは解析的な手法で解くことが困難であるため，計算機を用いた数値計算により解かれることが多い．計算機を用いた数値計算では，その計算は正確には行われない．四則演算の結果はその都度有限桁に近似され，極限を含む無限演算は全て有限演算に近似される．これにより, 本来の解とは異なる結果が得られることがある．時として，桁も符号も異なった解が算出されることもある．計算結果から正しい結論を得るためには，計算結果の誤差評価を行って，厳密解の存在範囲を確定する（厳密解を包含する区間を求める）必要がある．これを行う方法が精度保証付き数値計算法であり，従来の数値計算の枠組みでは近似解を求める道具であった計算機を用いて厳密解をも捉えることを可能にする．令和３年度において，線形非整数階微分方程式系の解に対する精度保証付き数値計算法を構築した．この方法は行列ミッタクレフラー関数に対する精度保証付き数値計算に基づいている．この方法を構築する中で使用した枠組みと同様の枠組みを用いて，令和４年度には，行列ガンマ関数に対する精度保証付き数値計算法を確立した．また，係数テンソルがMテンソルかつ右辺ベクトルが正ベクトルの場合の多重線形系，既約非負テンソルの固有値問題，転置で整合する代数リッカチ方程式の解に対する精度保証付き数値計算法を提案した．

Science and engineering: understanding phenomena, mathematics, solutions, prediction of unknown phenomena, design of new engineering products, etc. The computer uses a number of methods to calculate the solution. The computer uses the correct number to calculate the correct number. The results of the four algorithms are approximate to all finite equations, and the limit is approximate to all finite equations. The original solution is different from the original solution. When the time is right, the symbol is different. Calculation result is correct, conclusion is correct, error evaluation of calculation result is correct, existence range of secret solution is correct. The accuracy of the calculation method is guaranteed. The approximate solution of the calculation method is obtained by the computer. A numerical method for solving linear systems of non-integer differential equations with accuracy assurance is constructed. This method guarantees the accuracy of the calculation of the basic number of columns and columns. This method is used to establish the accuracy of the data. A method for calculating the multiple linear systems in the case of positive coefficients is proposed, which reduces the inherent value problem of non-negative coefficients and ensures the accuracy of the solution of algebraic equations.