Skip to main content
Erschienen in: Calcolo 1/2022

01.03.2022

Efficient and accurate computation for the \(\varphi\)-functions arising from exponential integrators

verfasst von: Dongping Li, Siyu Yang, Jiamei Lan

Erschienen in: Calcolo | Ausgabe 1/2022

Einloggen, um Zugang zu erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper, we develop efficient and accurate algorithms for evaluating both \(\varphi _l(A)\) and \(\varphi _l(A)b,\) where \(\varphi _l(\cdot )\) is the function related to the exponential defined by \(\varphi _l(z)\equiv \sum \nolimits ^{\infty }_{k=0}\frac{z^k}{(l+k)!}\), A is an \(N\times N\) matrix and b is an N dimensional vector. Such matrix functions play a key role in a class of numerical methods well-known as exponential integrators. The algorithms use the modified scaling and squaring procedure combined with truncated Taylor series. A quasi-backward error analysis is presented to find the optimal value of the scaling and the degree of the Taylor approximation. Some useful techniques are employed for reducing the computational cost. Numerical comparisons with state-of-the-art algorithms show that the algorithms perform well in both accuracy and efficiency.
Literatur
1.
Zurück zum Zitat Al-Mohy, A.H., Higham, N.J.: A new scaling and squaring algorithm for the matrix exponential. SIAM J. Matrix Anal. Appl. 31(3), 970–989 (2009)MathSciNetCrossRef Al-Mohy, A.H., Higham, N.J.: A new scaling and squaring algorithm for the matrix exponential. SIAM J. Matrix Anal. Appl. 31(3), 970–989 (2009)MathSciNetCrossRef
2.
Zurück zum Zitat Al-Mohy, A.H., Higham, N.J.: Computing the action of the matrix exponential, with an application to exponential integrators. SIAM J. Sci. Comput. 33, 488–511 (2011)MathSciNetCrossRef Al-Mohy, A.H., Higham, N.J.: Computing the action of the matrix exponential, with an application to exponential integrators. SIAM J. Sci. Comput. 33, 488–511 (2011)MathSciNetCrossRef
3.
Zurück zum Zitat Berland, H., Skaflestad, B., Wright, W.M.: EXPINT—a MATLAB Package for Exponential Integrators. ACM Trans. Math. Software, 33(1), Article 4, (2007) Berland, H., Skaflestad, B., Wright, W.M.: EXPINT—a MATLAB Package for Exponential Integrators. ACM Trans. Math. Software, 33(1), Article 4, (2007)
4.
Zurück zum Zitat Cong, Y.H., Li, D.P.: Block Krylov subspace methods for approximating the linear combination of phi-functions. Comput. Math. Appli. 72, 846–855 (2016)CrossRef Cong, Y.H., Li, D.P.: Block Krylov subspace methods for approximating the linear combination of phi-functions. Comput. Math. Appli. 72, 846–855 (2016)CrossRef
5.
Zurück zum Zitat Caliari, M., Vianello, M., Bergamaschi, L.: Interpolating discrete advection-diffusion propagators at Leja sequences. J. Comput. Appl. Math. 172(1), 79–99 (2004)MathSciNetCrossRef Caliari, M., Vianello, M., Bergamaschi, L.: Interpolating discrete advection-diffusion propagators at Leja sequences. J. Comput. Appl. Math. 172(1), 79–99 (2004)MathSciNetCrossRef
6.
Zurück zum Zitat Caliari, M., Zivcovich, F.: On-the-fly backward error estimate for matrix exponential approximation by Taylor algorithm. J. Comput. Appl. Math. 346, 532–548 (2019)MathSciNetCrossRef Caliari, M., Zivcovich, F.: On-the-fly backward error estimate for matrix exponential approximation by Taylor algorithm. J. Comput. Appl. Math. 346, 532–548 (2019)MathSciNetCrossRef
7.
Zurück zum Zitat Davies, I., Higham, N.J.: A Schur–Parlett algorithm for computing matrix functions. SIAM J. Matrix Anal. Appl. 25, 464–485 (2003)MathSciNetCrossRef Davies, I., Higham, N.J.: A Schur–Parlett algorithm for computing matrix functions. SIAM J. Matrix Anal. Appl. 25, 464–485 (2003)MathSciNetCrossRef
8.
Zurück zum Zitat Defez, E., Ibáñez, J., Sastre, J., Peinado, J., Alonso, P.: A new efficient and accurate spline algorithm for the matrix exponential computation. J. Comput. Appl. Math. 337, 354–365 (2018)MathSciNetCrossRef Defez, E., Ibáñez, J., Sastre, J., Peinado, J., Alonso, P.: A new efficient and accurate spline algorithm for the matrix exponential computation. J. Comput. Appl. Math. 337, 354–365 (2018)MathSciNetCrossRef
9.
Zurück zum Zitat Dieci, L., Papini, A.: Padé approximation for the exponential of a block triangular matrix. Linear Algebra Appl. 308, 183–202 (2000)MathSciNetCrossRef Dieci, L., Papini, A.: Padé approximation for the exponential of a block triangular matrix. Linear Algebra Appl. 308, 183–202 (2000)MathSciNetCrossRef
10.
Zurück zum Zitat Dolan, E.D., Moré, J.J.: Benchmarking optimization software with performance profiles. Math. Program 91, 201–213 (2002)MathSciNetCrossRef Dolan, E.D., Moré, J.J.: Benchmarking optimization software with performance profiles. Math. Program 91, 201–213 (2002)MathSciNetCrossRef
11.
Zurück zum Zitat Gaudrealt, S., Rainwater, G., Tokman, M.: KIOPS: a fast adaptive Krylov subspace solver for exponential integrators. J. Comput. Phys. 372(1), 236–255 (2018)MathSciNetCrossRef Gaudrealt, S., Rainwater, G., Tokman, M.: KIOPS: a fast adaptive Krylov subspace solver for exponential integrators. J. Comput. Phys. 372(1), 236–255 (2018)MathSciNetCrossRef
12.
Zurück zum Zitat Higham, N.J.: The scaling and squaring method for the matrix exponential revisited. SIAM J. Matrix Anal. Appl. 26, 1179–1193 (2005)MathSciNetCrossRef Higham, N.J.: The scaling and squaring method for the matrix exponential revisited. SIAM J. Matrix Anal. Appl. 26, 1179–1193 (2005)MathSciNetCrossRef
13.
Zurück zum Zitat Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM, Philadelphia (2008)CrossRef Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM, Philadelphia (2008)CrossRef
15.
Zurück zum Zitat Higham, N.J., Tisseur, F.: A block algorithm for matrix 1-norm estimation, with an application to 1-norm pseudospectra. SIAM J. Matrix Anal. Appl. 21, 1185–1201 (2000)MathSciNetCrossRef Higham, N.J., Tisseur, F.: A block algorithm for matrix 1-norm estimation, with an application to 1-norm pseudospectra. SIAM J. Matrix Anal. Appl. 21, 1185–1201 (2000)MathSciNetCrossRef
16.
Zurück zum Zitat Hochbruck, M., Lubich, C., Selhofer, H.: Exponential integrators for large systems of differential equations. SIAM J. Sci. Comput. 19, 1552–1574 (1998)MathSciNetCrossRef Hochbruck, M., Lubich, C., Selhofer, H.: Exponential integrators for large systems of differential equations. SIAM J. Sci. Comput. 19, 1552–1574 (1998)MathSciNetCrossRef
17.
Zurück zum Zitat Hochbruck, M., Ostermann, A., Schweitzer, J.: Exponential Rosenbrock-type methods. SIAM J. Numer. Anal. 47, 786–803 (2009)MathSciNetCrossRef Hochbruck, M., Ostermann, A., Schweitzer, J.: Exponential Rosenbrock-type methods. SIAM J. Numer. Anal. 47, 786–803 (2009)MathSciNetCrossRef
19.
Zurück zum Zitat Kenney, C.S., Laub, A.J.: A Schur-Fréchet algorithm for computing the logarithm and exponential of a matrix. SIAM J. Matrix Anal. Appl. 19, 640–663 (1998)MathSciNetCrossRef Kenney, C.S., Laub, A.J.: A Schur-Fréchet algorithm for computing the logarithm and exponential of a matrix. SIAM J. Matrix Anal. Appl. 19, 640–663 (1998)MathSciNetCrossRef
20.
Zurück zum Zitat Li, D.P., Cong, Y.H.: Approximation of the linear combination of \(\varphi\)-functions using the block shift-and-invert Krylov subspace method. J. Appli. Anal. Comput. 4, 1402–1416 (2017)MathSciNetMATH Li, D.P., Cong, Y.H.: Approximation of the linear combination of \(\varphi\)-functions using the block shift-and-invert Krylov subspace method. J. Appli. Anal. Comput. 4, 1402–1416 (2017)MathSciNetMATH
21.
Zurück zum Zitat Lu, Y.Y.: Computing a matrix function for exponential integrators. J. Comput. Appl. Math. 161(1), 203–216 (2003)MathSciNetCrossRef Lu, Y.Y.: Computing a matrix function for exponential integrators. J. Comput. Appl. Math. 161(1), 203–216 (2003)MathSciNetCrossRef
22.
Zurück zum Zitat Minchev, B.V., Wright, W.M.: A review of exponential integrators for first order semi-linear problems. Tech. report 2/05, Department of Mathematics, NTNU, (2005) Minchev, B.V., Wright, W.M.: A review of exponential integrators for first order semi-linear problems. Tech. report 2/05, Department of Mathematics, NTNU, (2005)
23.
Zurück zum Zitat Moler, C., Loan, C.V.: Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Review 45, 3–49 (2003)MathSciNetCrossRef Moler, C., Loan, C.V.: Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later. SIAM Review 45, 3–49 (2003)MathSciNetCrossRef
24.
Zurück zum Zitat Najfeld, I., Havel, T.F.: Derivatives of the matrix exponential and their computation. Adv. Appl. Math. 16, 321–375 (1995)MathSciNetCrossRef Najfeld, I., Havel, T.F.: Derivatives of the matrix exponential and their computation. Adv. Appl. Math. 16, 321–375 (1995)MathSciNetCrossRef
25.
Zurück zum Zitat Niesen, J., Wright, W.: Algorithm 919: a Krylov subspace algorithm for evaluating the phi- functions appearing in exponential integrators. ACM Trans. Math. Softw. 38(3), Article 22, (2012) Niesen, J., Wright, W.: Algorithm 919: a Krylov subspace algorithm for evaluating the phi- functions appearing in exponential integrators. ACM Trans. Math. Softw. 38(3), Article 22, (2012)
26.
Zurück zum Zitat Paterson, M.S., Stockmeyer, L.J.: On the number of nonscalar multiplications necessary to evaluate polynomials. SIAM J. Comput. 2(1), 60–66 (1973)MathSciNetCrossRef Paterson, M.S., Stockmeyer, L.J.: On the number of nonscalar multiplications necessary to evaluate polynomials. SIAM J. Comput. 2(1), 60–66 (1973)MathSciNetCrossRef
27.
Zurück zum Zitat Saad, Y.: Analysis of some Krylov subspace approximations to the matrix exponential operator. SIAM J. Numer. Anal. 29, 209–228 (1992)MathSciNetCrossRef Saad, Y.: Analysis of some Krylov subspace approximations to the matrix exponential operator. SIAM J. Numer. Anal. 29, 209–228 (1992)MathSciNetCrossRef
28.
Zurück zum Zitat Sastre, J., Ibáñez, J., Defez, E.: Boosting the computation of the matrix exponential. Appl. Math. Comput. 340, 206–220 (2019)MathSciNetMATH Sastre, J., Ibáñez, J., Defez, E.: Boosting the computation of the matrix exponential. Appl. Math. Comput. 340, 206–220 (2019)MathSciNetMATH
29.
Zurück zum Zitat Sastre, J., Ibáñez, J., Defez, E., Ruiz, P.: Efficient orthogonal matrix polynomial based method for computing matrix exponential. Appl. Math. Comput. 217(14), 6451–6463 (2011)MathSciNetMATH Sastre, J., Ibáñez, J., Defez, E., Ruiz, P.: Efficient orthogonal matrix polynomial based method for computing matrix exponential. Appl. Math. Comput. 217(14), 6451–6463 (2011)MathSciNetMATH
30.
Zurück zum Zitat Sastre, J., Ibáñez, J., Defez, E., Ruiz, P.: New scaling-squaring Taylor algorithms for computing the matrix exponential. SIAM J. Sci. Comput. 37(1), 439–455 (2015)MathSciNetCrossRef Sastre, J., Ibáñez, J., Defez, E., Ruiz, P.: New scaling-squaring Taylor algorithms for computing the matrix exponential. SIAM J. Sci. Comput. 37(1), 439–455 (2015)MathSciNetCrossRef
31.
Zurück zum Zitat Sidje, R.B.: Expokit: a software package for computing matrix exponentials. ACM Trans. Math. Softw. 24, 130–156 (1998)CrossRef Sidje, R.B.: Expokit: a software package for computing matrix exponentials. ACM Trans. Math. Softw. 24, 130–156 (1998)CrossRef
32.
Zurück zum Zitat Skaflestad, B., Wright, W.M.: The scaling and modified squaring method for matrix functions related to the exponential. Appl. Numer. Math. 59, 783–799 (2009)MathSciNetCrossRef Skaflestad, B., Wright, W.M.: The scaling and modified squaring method for matrix functions related to the exponential. Appl. Numer. Math. 59, 783–799 (2009)MathSciNetCrossRef
33.
Zurück zum Zitat Ward, R.C.: Numerical computation of the matrix exponential with accuracy estimate. SIAM J. Numer. Anal. 14, 600–610 (1977)MathSciNetCrossRef Ward, R.C.: Numerical computation of the matrix exponential with accuracy estimate. SIAM J. Numer. Anal. 14, 600–610 (1977)MathSciNetCrossRef
Metadaten
Titel
Efficient and accurate computation for the -functions arising from exponential integrators
verfasst von
Dongping Li
Siyu Yang
Jiamei Lan
Publikationsdatum
01.03.2022
Verlag
Springer International Publishing
Erschienen in
Calcolo / Ausgabe 1/2022
Print ISSN: 0008-0624
Elektronische ISSN: 1126-5434
DOI
https://doi.org/10.1007/s10092-021-00453-2

Weitere Artikel der Ausgabe 1/2022

Calcolo 1/2022 Zur Ausgabe