Skip to main content
SpringerLink
Log in

Verified computation of the matrix exponential

  • Published:
Advances in Computational Mathematics Aims and scope Submit manuscript

Abstract

Two numerical algorithms for computing interval matrices containing the matrix exponential are proposed. The first algorithm is based on a numerical spectral decomposition and requires only cubic complexity under some assumptions. The second algorithm is based on a numerical Jordan decomposition and applicable even for defective matrices. Numerical results show the effectiveness and robustness of the algorithms.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bochev, P., Markov, S.: A self-validating numerical method for the matrix exponential. Computing 43, 59–72 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  2. Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM Publications, Philadelphia (2008)

    Book  MATH  Google Scholar 

  3. Higham, N.J.: The scaling and squaring method for the matrix exponential revisited. SIAM Rev. 51, 747–764 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  4. Kågström, B., Ruhe, A.: An algorithm for numerical computation of the Jordan normal form of a complex matrix. ACM Trans. Math. Softw. 6, 398–419 (1980)

    Article  MATH  Google Scholar 

  5. Miyajima, S.: Verified solutions of delay eigenvalue problems. Appl. Math. Comput. 303, 211–225 (2017)

    MathSciNet  Google Scholar 

  6. Moler, C., Van Loan, C.: Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Rev. 45, 3–49 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  7. Nakamura, S., Ozawa, K., Hirota, C.: Scaling and modified squaring method for the matrix exponential. JSIAM Lett. 8, 65–68 (2016)

    Article  MathSciNet  Google Scholar 

  8. Rohn, J.: VERSOFT: Verification Software in MATLAB/INTLAB. http://uivtx.cs.cas.cz/~rohn/matlab

  9. Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T (ed.) Developments in Reliable Computing, pp 77–107. Kluwer Academic Publishers, Dordrecht (1999)

  10. Zeng, Z.: NAClab - Numerical Algebraic Computing Toolbox for Matlab. http://homepages.neiu.edu/~zzeng/naclab.html

Download references

Acknowledgements

The author acknowledges the referees for the valuable comments.

Author information

Authors and Affiliations

  1. Faculty of Science and Engineering, Iwate University, 4-3-5 Ueda, Morioka-shi, Iwate, 020-8551, Japan

    Shinya Miyajima

Authors
  1. Shinya Miyajima
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shinya Miyajima.

Additional information

Communicated by: Peter Benner

This work was partially supported by JSPS KAKENHI Grant Number JP16K05270.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Miyajima, S. Verified computation of the matrix exponential. Adv Comput Math 45, 137–152 (2019). https://doi.org/10.1007/s10444-018-9609-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10444-018-9609-5

Keywords

Mathematics Subject Classification (2010)

Search

Navigation