An efficient bound for the condition number of the matrix exponential

被引:1
作者
Al-Mohy, Awad H. [1 ]
机构
[1] King Khalid Univ, Dept Math, Abha, Saudi Arabia
关键词
Condition number; Matrix exponential; Scaling and squaring method; Frechet derivative; Squaring phase; Pade approximation; Backward error analysis; MATLAB; Error estimate; ALGORITHM; SEARCH;
D O I
10.1016/j.jtusci.2015.10.006
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
A new bound for the condition number of the matrix exponential is presented. Using the bound, we propose an efficient approximation to the condition number, denoted by kappa(g) (S, X), that avoids the computation of the Frechet derivative of the matrix exponential that underlies condition number estimation in the existing algorithms. We exploit the identity e(X) = (e(X/2))(2s) for a nonnegative integer s with the properties of the Frechet derivative operator to obtain the bound. Our cost analysis reveals that considerable computational savings are possible since estimating the condition number by the existing algorithms requires several invocation of the Frechet derivative of the matrix exponential whose single invocation costs as twice as the cost of the matrix exponential itself. The bound and hence kappa(g)(s, X) only involve Frechet derivative of a monomial of degree 2(s), which can be computed exactly in 2s matrix multiplications. We propose two versions of the scaling and squaring algorithm that implement kappa(g)(s, X). Our numerical experiments show that kappa(g)(s, X) captures the behavior of the condition number and moreover outperforms the condition number in the estimation of relative forward errors for a wide range of problems. (C) 2015 The Author. Production and hosting by Elsevier B.V. on behalf of Taibah University.
引用
收藏
页码:280 / 289
页数:10
相关论文
共 15 条
[1]   The complex step approximation to the Frechet derivative of a matrix function [J].
Al-Mohy, Awad H. ;
Higham, Nicholas J. .
NUMERICAL ALGORITHMS, 2010, 53 (01) :133-148
[2]   A NEW SCALING AND SQUARING ALGORITHM FOR THE MATRIX EXPONENTIAL [J].
Al-Mohy, Awad H. ;
Higham, Nicholas J. .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2009, 31 (03) :970-989
[3]   COMPUTING THE FRECHET DERIVATIVE OF THE MATRIX EXPONENTIAL, WITH AN APPLICATION TO CONDITION NUMBER ESTIMATION [J].
Al-Mohy, Awad H. ;
Higham, Nicholas J. .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2008, 30 (04) :1639-1657
[4]  
[Anonymous], CATALOGUE SOFTWARE M
[5]  
HIGHAM N. J., The matrix computation toolbox
[6]  
Higham N.J., 2008, SOC IND APPL MATH
[7]   AN IMPROVED SCHUR-PADE ALGORITHM FOR FRACTIONAL POWERS OF A MATRIX AND THEIR FRECHET DERIVATIVES [J].
Higham, Nicholas J. ;
Lin, Lijing .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2013, 34 (03) :1341-1360
[8]   The scaling and squaring method for the matrix exponential revisited [J].
Higham, NJ .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2005, 26 (04) :1179-1193
[9]   A block algorithm for matrix 1-norm estimation, with an application to 1-norm pseudospectra [J].
Higham, NJ ;
Tisseur, F .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2000, 21 (04) :1185-1201
[10]   OPTIMIZATION BY DIRECT SEARCH IN MATRIX COMPUTATIONS [J].
HIGHAM, NJ .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 1993, 14 (02) :317-333