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

• 研究課題/領域番号: 19760055
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 工学基礎
• 研究機関: 岐阜大学
• 研究代表者: 宮島 信也 岐阜大学, 工学部, 准教授 (20367072)
• 研究期間 (年度): 2007 – 2010
• 研究課題ステータス: 完了 (2010年度)
• 配分額: 3,860千円 (直接経費: 3,200千円、間接経費: 660千円); 2010年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2009年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円); 2008年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2007年度: 1,000千円 (直接経費: 1,000千円)
• キーワード: 数理工学(数理的解析・計画・設計) / 固有値問題 / 解の存在証明 / 精度保証

研究概要

本研究では,固有値問題における,解の存在証明,及び近似解の精度に関する,理論的に厳密で定量的な保証を,計算機による浮動小数点演算を用いて与える方法,すなわち,固有値問題の解の精度保証付き数値計算法を構築した.

研究成果

• [雑誌論文] Fast enclosure for solutions in underdetermined systems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: Journal of Computational and Applied Mathematics Vol.234, Issue 12 ページ: 3436-3444
• [雑誌論文] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems (2010)
  • 著者名/発表者名: S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
  • 雑誌名: Reliable Computing Vol.14 ページ: 24-45
• [雑誌論文] Fast enclosure for all eigenvalues in generalized eigenvalue problems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: Journal of Computational and Applied Mathematics Vol.233, Issue 11 ページ: 2994-3004
• [雑誌論文] Fast enclosure for solutions in underdetermined systems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: J.Computational and Applied Mathematics 巻: 234 ページ: 3436-3444
  • 査読あり
• [雑誌論文] Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems (2010)
  • 著者名/発表者名: S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
  • 雑誌名: Reliable Computing 巻: 14 ページ: 24-45
  • 査読あり
• [雑誌論文] Fast enclosure for all eigenvalues in generalized eigenvalue problems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: J.Computational and Applied Mathematics 巻: 233 ページ: 2994-3004
  • 査読あり
• [雑誌論文] Fast Enclosure for All Eigenvalues in Generalized Eigenvalue Problems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: Journal of Computational and Applied Mathematics 233(11) ページ: 2994-3004
  • 査読あり
• [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems (2009)
  • 著者名/発表者名: Shinya Miyajima
  • 雑誌名: Reliable Computing (印刷中)
  • 査読あり
• [雑誌論文] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems (2008)
  • 著者名/発表者名: Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
  • 雑誌名: Reliable Computing
  • 査読あり
• [学会発表] Error bounds for computed eigenvalues in generalized eigenvalue problem (2010)
  • 著者名/発表者名: 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 problems (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: The 8th International Conference of Numerical Analysis and Applied Mathematics
  • 発表場所: Rodos Palace
  • 年月日: 2010-09-20
• [学会発表] 一般化固有値問題における各固有値に対する数値的包含 (2010)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 日本応用数理学会2010年度年会
  • 発表場所: 明治大学
  • 年月日: 2010-09-06
• [学会発表] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problems (2010)
  • 著者名/発表者名: 宮島信也
  • 学会等名: デジタル解析学セミナー
  • 発表場所: 早稲田大学
  • 年月日: 2010-01-27
• [学会発表] Numerical Inclusion for All Eigenvalues in Generalized Eigenvalue Problemes (2010)
  • 著者名/発表者名: 宮島信也
  • 学会等名: デジタル解析学セミナー
  • 発表場所: 早稲田大学
  • 年月日: 2010-01-27
• [学会発表] Error bounds for computed eigenvalues in generalized eigenvalue problem, Proc.14th GAMM-IMACS International Symposium on Scientific Computing (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: Computer Arithmetic and Validated Numerics
  • 発表場所: 95-96(Lyon, France)
• [学会発表] Enclosing all eigenpairs in symmetric positive definite generalized eigenvalue problems, Proc.The 8th International Conference of Numerical Analysis and Applied Mathematics (2010)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: Island of Rhodes
  • 発表場所: 945-948(Greece)
• [学会発表] 一般化固有値問題における各固有値に対する数値的包含 (2010)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 日本応用数理学会2010年度年会講演予稿集
  • 発表場所: 49-50(明治大学)
• [学会発表] 一般化固有値問題におけるすべての固有値の数値的包含 (2009)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 日本応用数理学会2009年度年会
  • 発表場所: 大阪大学
  • 年月日: 2009-09-30
• [学会発表] 一般化固有値問題におけるすべての固有値の数値的包含 (2009)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 日本応用数理学会2009年度年会講演予稿集
  • 発表場所: 305-306(大阪大学)
• [学会発表] Enclosing All Eigenvalues in Generalized Eigenvalue Problem (2008)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: 13th GAMM IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
  • 発表場所: The University of Texas at El Paso
  • 年月日: 2008-09-29
• [学会発表] Enclosing All Eigenvalues in Generalized Eigenvalue Problem (2008)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: 3th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
  • 発表場所: The University of Texas at EI Paso(米国)
  • 年月日: 2008-09-29
• [学会発表] Verifying All Eigenvalues in Generalized Eigenvalue Problem (2008)
  • 著者名/発表者名: Shinya Miyajima, Michael Plum, Takeshi Ogita, Shin'ichi Oishi
  • 学会等名: 2008 International Workshop on Numerical Verification and its Applications
  • 発表場所: Tokyo Dai-ichi Hotel
  • 年月日: 2008-03-05
• [学会発表] Enclosing all eigenvalues in generalized eigenvalue problem, Proc.13th GAMM-IMACS International Symposium on Scientific Computing (2008)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: Computer Arithmetic and Validated Numerics
  • 発表場所: 73-74(Texas, US)
• [学会発表] 実対称正定値一般化固有値問題における解の高速精度保証 (2007)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 岐阜非線形セミナー
  • 発表場所: 岐阜大学
  • 年月日: 2007-12-21
• [学会発表] 一般化固有値問題における解の高速精度保証 (2007)
  • 著者名/発表者名: 宮島信也
  • 学会等名: 第1回数理デザイン研究コロキウム
  • 発表場所: 岐阜大学
  • 年月日: 2007-10-24
• [学会発表] Verified All Eigenpairs of Generalized Eigenvalue Problem (2007)
  • 著者名/発表者名: Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
  • 学会等名: 精度保証付き数値計算とその周辺」ワークショップ
  • 発表場所: 岐阜大学
  • 年月日: 2007-10-12
• [学会発表] 一般化固有値問題におけるすべての固有対の高速精度保証 (2007)
  • 著者名/発表者名: 宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
  • 学会等名: 日本応用数理学会2007年度年会
  • 発表場所: 北海道大学
  • 年月日: 2007-09-16
• [学会発表] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem (2007)
  • 著者名/発表者名: Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi
  • 学会等名: 6th International Congress on Industrial and Applied Mathematics
  • 発表場所: ETH Zurich
  • 年月日: 2007-07-16
• [学会発表] Verifying All Eigenpairs in Real Symmetric Positive Definite Generalized Eigenvalue Problem (2007)
  • 著者名/発表者名: Shinya Miyajima
  • 学会等名: 6th International Congress on Industrial and Applied Mathematics
  • 発表場所: Universitat Zurich
  • 年月日: 2007-07-16
• [学会発表] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証 (2007)
  • 著者名/発表者名: 宮島信也, 荻田武史, Siegfried M. Rump, 大石進一
  • 学会等名: 第36回数値解析シンポジウム
  • 発表場所: ウェルシティ湯河原
  • 年月日: 2007-06-21
• [学会発表] Verified All Eigenpairs of Generalized Eigenvalue Problem (2007)
  • 著者名/発表者名: Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
  • 学会等名: International Workshop on Numerical Verification and its Applications
  • 発表場所: Waseda University
  • 年月日: 2007-03-01
• [学会発表] Verifying all eigenpairs in real symmetric positive definite generalized eigenvalue problem (2007)
  • 著者名/発表者名: S.Miyajima, T.Ogita, S.Oishi
  • 学会等名: Proc.6th International Congress on Industrial and Applied Mathematics
  • 発表場所: 2020061-2020062(Zurich, Switzerland)
• [学会発表] 一般化固有値問題におけるすべての固有対の高速精度保証 (2007)
  • 著者名/発表者名: 宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
  • 学会等名: 日本応用数理学会2007年度年会講演予稿集
  • 発表場所: 220-221(北海道大学)
• [学会発表] 実対称正定値一般化固有値問題におけるすべての固有対の精度保証 (2007)
  • 著者名/発表者名: 宮島信也, 荻田武史, Siegfried M.Rump, 大石進一
  • 学会等名: 第36回数値解析シンポジウム講演予稿集
  • 発表場所: 137-140(ウェルシティ湯河原)