著者
中尾 充宏 栄 伸一郎 田端 正久 長藤 かおり 村重 淳 山本 野人 渡部 善隆 大石 進一
出版者
佐世保工業高等専門学校
雑誌
基盤研究(S)
巻号頁・発行日
2008

非線形偏微分方程式に対する解の数値的検証法の開発とその適用を中心として研究を進め、特に、これまでほとんど研究例を見ない非線形発展方程式に対し、十分有効な数値的検証原理を見出すことに成功した。また、従来から蓄積してきた楕円型方程式の解に対する解の検証方式に新たな知見を加え、その拡張・改良を行うとともに、流体方程式をはじめ理論解析が困難な実際問題に適用して数値的証明を行い、その有効性を実証した。
著者
山本 野人 松田 望
出版者
一般社団法人 日本応用数理学会
雑誌
日本応用数理学会論文誌 (ISSN:24240982)
巻号頁・発行日
vol.15, no.3, pp.347-359, 2005-09-25 (Released:2017-04-08)

Both multiple-precision arithmetic and validated computation have close relationship with the quality of computation. They improve and insure the quality, respectively. We propose a method to compute Bessel functions with guaranteed accuracy, which works on MATLAB. Using multiple-precision arithmetic, the method gives as precise results as one wants together with information of how precise the results are. When it is sufficient to get the results in double-precision, one can use a fast version.
著者
山本 野人 中村 健一
出版者
電気通信大学
雑誌
基盤研究(C)
巻号頁・発行日
2005

本研究では、力学系の研究のための精度保証ツールを開発するため、☆既存の精度保証の技法を再点検してさまざまなテクニックを取り込むこと☆手法の統合や計算効率向上のための新しい理論・技術をつくり出すことを目指し、以下のような研究開発を行った。常微分方程式初期値問題の精度保証法としては、Taylor展開とその打ち切り誤差の評価に基づく方法(Lohner法・TM法など)が主流となっている。これらは時間分割点の上での関数値の包み込みに主眼をおき、時間ステップの進行に伴う特殊な累積誤差(Wrapping Effect)の軽減のために様々な技法が展開されている。これに対し、偏微分方程式の精度保証法である中尾理論を用いても常微分方程式の精度保証を行うことができる。そこで、1)初期値問題に対しstepwiseに中尾理論を適用した場合のWrapping Effectの軽減法2)初期値問題に対し考えている時間範囲の全体に中尾理論を適用した場合に現れる大きなシステムの取扱い3)初期値問題の解の最終時刻における値を包み込むため、境界値問題に対する中尾理論を利用した方法について研究を行い、これらについて3つの海外での国際研究集会をはじめとする複数の国際学会、およびいくつかの国内の研究集会で発表した。研究業績リストには主なもののみを記す。
著者
大石 進一 渡部 善隆 西田 孝明 柴田 良弘 山本 野人 中尾 充宏 中尾 充宏 西田 孝明 柴田 良弘 山本 野人 渡部 善隆
出版者
早稲田大学
雑誌
特別推進研究
巻号頁・発行日
2005

偏微分方程式や線型方程式等において,計算機を用いて数値的に得られた近似解に対し,その誤差限界も定量的に計算機で与える精度保証付き数値計算の研究を推進した.ベクトルの総和や内積を計算する問題は科学技術計算の基本であるが,この問題に対して精度が数学的厳密に保証された結果を返す世界最高速のアルゴリズムを開発した.このアルゴリズムは,応用として,スパース行列に関する計算や計算幾何学にも波及した.また,偏微分方程式の解の存在証明,一意性の証明及び近似解の精度保証を行う多くの有用な方式を開発することに成功した.