• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

偏微分方程式の精度保証付き計算のための総合的手法の開発

Research Project

Project/Area Number 07740161
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKyushu University

Principal Investigator

山本 野人  九州大学, 大学院・数理学研究科, 講師 (30210545)

Project Period (FY) 1995
Project Status Completed (Fiscal Year 1995)
Budget Amount *help
¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 1995: ¥800,000 (Direct Cost: ¥800,000)
Keywords数値的検証法 / 精度保証 / 偏微分方程式 / 誤差
Research Abstract

今年度における精度保証付き計算法の研究の中で得られた、次のような新しい成果を報告する。
1.丸め誤差を処理するための演算手法の開発
既存の有理数演算用のパッケージをもとにして、区間演算を利用して丸め誤差を処理するプログラムを開発した。すなわち、
(1)区間型の変数および演算を導入した。
(2)加減算の度に連分数展開を用いて、有理数を与えられた桁数に丸め、その誤差を含むように区間幅を広げるルーチンを作成した。このプログラムによって、丸め誤差の影響までも考慮した厳密な計算が可能となった。
2.残差反復を用いた誤差の改善
残差反復法と誤差の事後評価の方法を開発し、これを高次の有限要素空間を用いた楕円型方程式の解の数値的検証法に応用したところ、収束と誤差評価とに劇的な改善が見られた。
3.MHD方程式の解析
自由境界を持つMHD方程式の解の数値的検証を行なった。これは微分不可能な項を持つため、Newton型反復を適用するにあたって特別の工夫を要した。
今後の研究計画としては、まず、これまでの結果をさらに発展させて、有理数演算及び区間演算、あるいは区間演算を応用した完全精度計算を用いた精度保証計算用の演算パッケージを開発することが挙げられる。次に、問題によって必要となる区間係数の扱いや誤差評価の方法などについての複雑な手順を上述の演算パッケージで計算可能になるように工夫する。これは同じ計算量で最大の精度が得られるような理論と演算双方での工夫を意味するだけでなく、応用の簡便さという視点から、できるだけ明解で適用範囲の広い手法の開発をも意味している。

Report

(1 results)
  • 1995 Annual Research Report
  • Research Products

    (2 results)

All Other

All Publications (2 results)

  • [Publications] Nobito Yamamoto,Mitsuhiro T.Nakao: "Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element" Jounal of Computational and Applied Mathematics. 60. 271-279 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Y.Watanabe,N.Yamamoto,M.T.Nakao: "Verified Computations of Solutions for Nondifferentiable Elliptic Equations Related to MHD equilibria" Nonlinear Analysis,Methods & Applications. (to appear).

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi