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

Study on fast and effective numerical verification algorithms in eigenvalue problems

Research Project

Project/Area Number 23560066
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Engineering fundamentals
Research InstitutionGifu University

Principal Investigator

Miyajima Shinya  岐阜大学, 工学部, 准教授 (20367072)

Project Period (FY) 2011-04-28 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywords精度保証付き数値計算 / 代数リカッチ方程式 / 固有値問題 / 最小二乗問題 / 劣決定問題 / シルベスター方程式
Outline of Final Research Achievements

In science and engineering, mathematical models are developed for understanding phenomena. By solving these models, forecasting unknown phenomena and designing new industrial goods are possible. These models are frequently solved by numerical computations, since solving them analytically is difficult.
In general, results of numerical computations do not coincide with exact solutions, since some kinds of errors are included. In order to obtain exact conclusions from the numerical results, we need to estimate the errors and compute sets enclosing the exact solutions. The numerical verification algorithms have been developed for this purpose. In this study, we established fast and effective numerical verification algorithms in matrix eigenvalue problems and related topics.

Report

(6 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (40 results)

All 2016 2015 2014 2013 2012 2011 Other

All Journal Article (14 results) (of which Peer Reviewed: 14 results,  Acknowledgement Compliant: 7 results) Presentation (26 results) (of which Int'l Joint Research: 2 results,  Invited: 3 results)

  • [Journal Article] Fast verified computation for solutions of continuous-time algebraic Riccati equations2015

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 32 Issue: 2 Pages: 529-544

    • DOI

      10.1007/s13160-015-0178-4

    • NAID

      210000161307

    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A sharp error bound of the approximate solutions for saddle point linear systems2015

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 277 Pages: 36-46

    • DOI

      10.1016/j.cam.2014.09.003

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Fast enclosure for solutions of generalized least squares problems2015

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Reliable Computing

      Volume: 20 Pages: 89-112

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Fast enclosure for a matrix inverse square root2015

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Linear Algebra and its Applications

      Volume: 467 Pages: 116-135

    • DOI

      10.1016/j.laa.2014.11.007

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C2015

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Numerical Linear Algebra with Applications

      Volume: 22 Issue: 3 Pages: 548-563

    • DOI

      10.1002/nla.1971

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Verified bounds for all the singular values of matrix2014

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 31 Issue: 3 Pages: 513-539

    • DOI

      10.1007/s13160-014-0145-5

    • NAID

      210000169840

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems2014

    • Author(s)
      Shinya Miyajima
    • Journal Title

      SIAM Journal on Matrix Analysis and Applications

      Volume: 35 Issue: 3 Pages: 1205-1225

    • DOI

      10.1137/140953150

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Fast enclosure for solutions of generalized Sylvester equations2014

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: in press Issue: 2 Pages: 293-304

    • DOI

      10.1007/s13160-014-0139-3

    • NAID

      210000173509

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Componentwise enclosure for solutions of least squares problems and underdetermined systems2014

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Linear Algebra and its Applications

      Volume: 444 Pages: 28-41

    • DOI

      10.1016/j.laa.2013.11.044

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] Fast enclosure of matrix polynomials2013

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Reliable Computing

      Volume: 18 Pages: 9-14

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Fast enclosure for solutions of Sylvester equations2013

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Linear Algebra and its Applications

      Volume: in press Issue: 4 Pages: 856-878

    • DOI

      10.1016/j.laa.2012.07.001

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] The relation between two types of error bounds for computed matrix eigenvalues2012

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Reliable Computing

      Volume: 16 Pages: 107-113

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Componentwise error estimates for solutions obtained by stationary iterative methods2012

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Reliable Computing

      Volume: 16 Pages: 102-106

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Numerical enclosure for each EV in generalized EVP2012

    • Author(s)
      Shinya Miyajima
    • Journal Title

      Journal of Computational and Applied Mathematics

      Volume: 236 Issue: 9 Pages: 2545-2552

    • DOI

      10.1016/j.cam.2011.12.013

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Presentation] Fast verified computation for solutions of nonsymmetric algebraic Riccati equations arising in transport theory2016

    • Author(s)
      宮島信也
    • Organizer
      日本応用数理学会平成28年研究部会連合発表会
    • Place of Presentation
      神戸学院大学
    • Year and Date
      2016-03-04
    • Related Report
      2015 Annual Research Report
  • [Presentation] Verified numerical computation for solutions of delay eigenvalue problems with multiple eigenvalues2015

    • Author(s)
      Shinya Miyajima
    • Organizer
      The 2nd International Joint Meeting of Global Environment & Energy Course
    • Place of Presentation
      Gifu University
    • Year and Date
      2015-11-04
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Verified solutions of delay eigenvalue problems with multiple eigenvalues2015

    • Author(s)
      Shinya Miyajima
    • Organizer
      SIAM Conference on Applied Linear Algebra
    • Place of Presentation
      Hyatt Regency Atlanta
    • Year and Date
      2015-10-26
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Validated solutions of delay eigenvalue problems with multiple eigenvalues2015

    • Author(s)
      宮島信也
    • Organizer
      日本応用数理学会2015年度年会
    • Place of Presentation
      金沢大学
    • Year and Date
      2015-09-09
    • Related Report
      2015 Annual Research Report
  • [Presentation] Validated solutions of delay eigenvalue problems2015

    • Author(s)
      宮島信也
    • Organizer
      第44回数値解析シンポジウム
    • Place of Presentation
      ぶどうの丘(山梨県甲州市)
    • Year and Date
      2015-06-08
    • Related Report
      2015 Annual Research Report
  • [Presentation] 行列のすべての固有値と不変部分空間に対する数値的検証法2015

    • Author(s)
      宮島信也
    • Organizer
      日本応用数理学会平成27年研究部会連合発表会
    • Place of Presentation
      明治大学
    • Year and Date
      2015-03-06 – 2015-03-07
    • Related Report
      2014 Research-status Report
  • [Presentation] Enclosing solutions of the delay eigenvalue problem2015

    • Author(s)
      Shinya Miyajima
    • Organizer
      2015 Australia and New Zealand Industrial and Applied Mathematics Conference
    • Place of Presentation
      The Outrigger Surfers Paradise
    • Year and Date
      2015-02-01 – 2015-02-05
    • Related Report
      2014 Research-status Report
  • [Presentation] Fast inclusion for the matrix inverse square root2014

    • Author(s)
      Shinya Miyajima
    • Organizer
      GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • Place of Presentation
      University of Wurzburg
    • Year and Date
      2014-09-21 – 2014-09-26
    • Related Report
      2014 Research-status Report
  • [Presentation] Verified solutions of saddle point linear systems2014

    • Author(s)
      Shinya Miyajima
    • Organizer
      GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • Place of Presentation
      University of Wurzburg
    • Year and Date
      2014-09-21 – 2014-09-26
    • Related Report
      2014 Research-status Report
  • [Presentation] Fast verified computation for solutions of generalized least squares problems2013

    • Author(s)
      Shinya Miyajima
    • Organizer
      2013 The European Numerical Mathematics and Advanced Applications Conference
    • Place of Presentation
      Ecole Polytechnique Federale de Lausanne, Switzerland
    • Related Report
      2013 Research-status Report
  • [Presentation] Fast enclosure for solutions of continuous-time algebraic Riccati equations2013

    • Author(s)
      Shinya Miyajima
    • Organizer
      The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
    • Place of Presentation
      The Newton Hotel, Indonesia
    • Related Report
      2013 Research-status Report
  • [Presentation] Fast inclusion for the minimum norm least squares solutions of the matrix equations AXB = C2013

    • Author(s)
      Shinya Miyajima
    • Organizer
      The 9th East Asia SIAM Conference - The 2nd Conference on Industrial and Applied Mathematics
    • Place of Presentation
      The Newton Hotel, Indonesia
    • Related Report
      2013 Research-status Report
  • [Presentation] 連続時間代数リカッチ方程式の解に対する簡便かつ高速な数値的検証法2013

    • Author(s)
      宮島信也
    • Organizer
      日本応用数理学会2013年度年会
    • Place of Presentation
      アクロス福岡
    • Related Report
      2013 Research-status Report
  • [Presentation] Fast inclusion for solutions of generalized least squares problems2013

    • Author(s)
      宮島信也
    • Organizer
      第42回数値解析シンポジウム
    • Place of Presentation
      四国道後舘
    • Related Report
      2013 Research-status Report
  • [Presentation] シルベスター方程式の解に対する高速な精度保証付き数値計算法2012

    • Author(s)
      宮島信也
    • Organizer
      新潟大学数理情報セミナー(招待講演)
    • Place of Presentation
      新潟大学
    • Related Report
      2011 Research-status Report
  • [Presentation] Enclosing solutions in Sylvester equations2011

    • Author(s)
      Shinya Miyajima
    • Organizer
      The 17th ILAS Conference
    • Place of Presentation
      TU Braunschweig
    • Related Report
      2011 Research-status Report
  • [Presentation] Error estimation for solutions obtained by SIMs2011

    • Author(s)
      Shinya Miyajima
    • Organizer
      ICIAM 2011
    • Place of Presentation
      Vancouver Convention Centre
    • Related Report
      2011 Research-status Report
  • [Presentation] The relation between 2 ALGs for enclosing MTX EVs2011

    • Author(s)
      Shinya Miyajima
    • Organizer
      24th Biennial Conference on Numerical Analysis
    • Place of Presentation
      the University of Strathclyde
    • Related Report
      2011 Research-status Report
  • [Presentation] シルベスター方程式の数値解に対する高速精度保証2011

    • Author(s)
      宮島信也
    • Organizer
      線形計算研究会(招待講演)
    • Place of Presentation
      東京大学
    • Related Report
      2011 Research-status Report
  • [Presentation] シルベスター方程式の解に対する高速な数値的検証法2011

    • Author(s)
      宮島信也
    • Organizer
      日本応用数理学会2011年度年会
    • Place of Presentation
      同志社大学
    • Related Report
      2011 Research-status Report
  • [Presentation] Error bounds for solutions obtained by SIMs2011

    • Author(s)
      宮島信也
    • Organizer
      第40回数値解析シンポジウム
    • Place of Presentation
      鳥羽シーサイドホテル
    • Related Report
      2011 Research-status Report
  • [Presentation] Componentwise inclusion for solutions in least squares problems and underdetermined systems

    • Author(s)
      Shinya Miyajima
    • Organizer
      15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • Place of Presentation
      The Siberian Department of the Russian Academy of Sciences
    • Related Report
      2012 Research-status Report
  • [Presentation] Verified computations for all generalized singular values

    • Author(s)
      Shinya Miyajima
    • Organizer
      15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
    • Place of Presentation
      The Siberian Department of the Russian Academy of Sciences
    • Related Report
      2012 Research-status Report
  • [Presentation] Fast inclusion for solutions of continuous-time algebraic Riccati equations

    • Author(s)
      宮島信也
    • Organizer
      数理科学セミナー
    • Place of Presentation
      一橋大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Componentwise verified numerical computation for solutions of least squares problems

    • Author(s)
      宮島信也
    • Organizer
      語ろう数理解析セミナー拡大版
    • Place of Presentation
      新潟大学
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] 行列の特異値の厳密な存在範囲の数値計算法

    • Author(s)
      宮島信也
    • Organizer
      第1回岐阜数理科学研究会
    • Place of Presentation
      岐阜大学
    • Related Report
      2012 Research-status Report
    • Invited

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi