• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2010 年度 実績報告書

固有値問題における,解の存在証明及び数値解の高速な精度保証法に関する研究

研究課題

研究課題/領域番号 19760055
研究機関岐阜大学

研究代表者

宮島 信也  岐阜大学, 工学部, 准教授 (20367072)

キーワード固有値問題 / 解の存在証明 / 精度保証
研究概要

本研究では,一般化固有値問題Ax=λBx(A,Bは正方行列,λは固有値,xはλに対応する固有ベクトル)における,すべての固有値の存在証明,及びすべての近似固有値の精度に関する,理論的に厳密で定量的な保証を,計算機による浮動小数点演算を用いて与える方法,すなわち,すべての固有値の精度保証付き数値計算法を構築した.このような保証を得ることにより,真の固有値の厳密な存在範囲を定量的に把握することができる.さらに,得られた近似固有値の定量的な品質検証を行うことができる.これは理工学において真に重要な結果であり,この結果の与える意義は大きい.
昨年度,すべての近似固有値と近似固有ベクトルが得られたときに,すべての近似固有値に対して,1つの誤差限界を与える方法を発表した.これに対し,今年度はすべての近似固有値と近似固有ベクトルが得られたときに,各近似固有値に対して,それぞれ別の誤差限界を与える方法を構築した.今年度に構築した方法により,昨年度に発表した方法よりも一般に高品質な保証を与えることが可能となった.
さらに,この方法について国内外の学会,セミナーで発表した.発表時に聴講者からいただいた質問・コメントは前回の方法との優劣,B^-1Aの対角化可能性に関するもの等であった.特に,B^-1Aの対角化可能件に関するコメントは,この行列が対角化不可能な場合でも適用可能な精度保証付き数値計算法について考える機会を与えてくれたものであり,大変有意義であった.

  • 研究成果

    (6件)

すべて 2010

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (3件)

  • [雑誌論文] Fast enclosure for solutions in underdetermined systems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      J.Computational and Applied Mathematics

      巻: 234 ページ: 3436-3444

    • 査読あり
  • [雑誌論文] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems2010

    • 著者名/発表者名
      S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
    • 雑誌名

      Reliable Computing

      巻: 14 ページ: 24-45

    • 査読あり
  • [雑誌論文] Fast enclosure for all eigenvalues in generalized eigenvalue problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 雑誌名

      J.Computational and Applied Mathematics

      巻: 233 ページ: 2994-3004

    • 査読あり
  • [学会発表] Error bounds for computed eigenvalues in generalized eigenvalue problem2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • 発表場所
      Ecole Normale Superieurede Lyon
    • 年月日
      2010-09-28
  • [学会発表] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems2010

    • 著者名/発表者名
      Shinya Miyajima
    • 学会等名
      The 8th International Conference of Numerical Analysis and Applied Mathematics
    • 発表場所
      Rodos Palace
    • 年月日
      2010-09-20
  • [学会発表] 一般化固有値問題における各固有値に対する数値的包含2010

    • 著者名/発表者名
      宮島信也
    • 学会等名
      日本応用数理学会2010年度年会
    • 発表場所
      明治大学
    • 年月日
      2010-09-06

URL: 

公開日: 2012-07-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi