Verified computation for the geometric mean of two matrices

被引:4
作者
Miyajima, Shinya [1 ]
机构
[1] Iwate Univ, Fac Sci & Engn, 4-3-5 Ueda, Morioka, Iwate 0208551, Japan
关键词
matrix geometric mean; continuous-time algebraic Riccati equation; verified numerical computation; SQUARE ROOTS;
D O I
10.1007/s13160-020-00448-6
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
An algorithm for numerically computing an interval matrix containing the geometric mean of two Hermitian positive definite (HPD) matrices is proposed. We consider a special continuous-time algebraic Riccati equation (CARE) where the geometric mean is the unique HPD solution, and compute an interval matrix containing a solution to the equation. We invent a change of variables designed specifically for the special CARE. By the aid of this special change of variables, the proposed algorithm gives smaller radii, and is more successful than previous approaches. Solutions to the equation are not necessarily Hermitian. We thus establish a theory for verifying that the contained solution is Hermitian. Finally, the positive definiteness of the solution is verified. Numerical results show effectiveness, efficiency, and robustness of the algorithm.
引用
收藏
页码:211 / 232
页数:22
相关论文
共 20 条
[1]   Interval systems [x]=[a][x]+[b] and the powers of interval matrices in complex interval arithmetics [J].
Arndt, Hans-Robert .
RELIABLE COMPUTING, 2007, 13 (03) :245-259
[2]  
Bhatia R, 2007, PRINC SER APPL MATH, P1
[3]   Computing enclosures for the inverse square root and the sign function of a matrix [J].
Frommer, Andreas ;
Hashemi, Behnam ;
Sablik, Thomas .
LINEAR ALGEBRA AND ITS APPLICATIONS, 2014, 456 :199-213
[4]   VERIFIED COMPUTATION OF SQUARE ROOTS OF A MATRIX [J].
Frommer, Andreas ;
Hashemi, Behnam .
SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2009, 31 (03) :1279-1302
[5]   Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations [J].
Haqiri, Tayyebe ;
Poloni, Federico .
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2017, 313 :515-535
[6]  
Higham N. J, 2002, ACCURACY STABILITY N, V2nd, DOI DOI 10.1137/1.9780898718027
[7]  
Higham NJ, 2008, OTHER TITL APPL MATH, V104, P1
[8]   COMPUTING REAL SQUARE ROOTS OF A REAL MATRIX [J].
HIGHAM, NJ .
LINEAR ALGEBRA AND ITS APPLICATIONS, 1987, 88-9 :405-430
[9]  
Horn R.A., 2013, MATRIX ANAL