Abstract
A fast algorithm is proposed for numerically computing an interval matrix containing the minimal nonnegative solution to the nonsymmetric T-Riccati equation. The cost of this algorithm is cubic plus that for numerically solving the equation. The algorithm proves that the solution contained in the interval matrix is unique and equal to the minimal nonnegative solution. Numerical results show the efficiency of the algorithm.
Similar content being viewed by others
References
Benner, P., Iannazzo, B., Meini, B., Palitta D.: Palindromic linearization and numerical solution of nonsymmetric algebraic \(T\)-Riccati equations. BIT Numer. Math. (2022). https://doi.org/10.1007/s10543-022-00926-y
Benner, P., Palitta, D.: On the solution of the nonsymmetric T-Riccati equation. Electron. Trans. Numer. Anal. 54, 68–88 (2021)
Fiedler, M., Pt\(\acute{\text{a}}\)k, V.: On matrices with non-positive off-diagonal elements and positive principal minors. Czech. Math. J. 12, 382–400 (1962)
Haqiri, T., Poloni, F.: Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations. J. Comput. Appl. Math. 313, 515–535 (2017)
Hashemi, B.: Verified computation of symmetric solutions to continuous-time algebraic Riccati matrix equations. Proc. SCAN conference, Novosibirsk, pp. 54–56 (2012). http://conf.nsc.ru/files/conferences/scan2012/139586/Hashemi-scan2012.pdf
Higham, N.J.: Functions of Matrices: Theory and Computation. SIAM Publications, Philadelphia (2008)
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1994)
Luther, W., Otten, W.: Verified calculation of the solution of algebraic Riccati equation. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 105–118. Kluwer Academic Publishers, Dordrecht (1999)
Luther, W., Otten, W., Traczinski, H.: Verified calculation of the solution of continuous- and discrete time algebraic Riccati equation. Schriftenreihe des Fachbereichs Mathematik der Gerhard-Mercator-Universit\(\ddot{\text{ a }}\)t Duisburg, Duisburg, SM-DU-422 (1998)
Meijerink, J.A., van der Vorst, H.A.: An iterative solution method for linear systems of which the coefficient matrix is a symmetric \(M\)-matrix. Math. Comput. 31, 148–162 (1977)
Miyajima, S.: Fast verified computation for solutions of continuous-time algebraic Riccati equations. Jpn. J. Ind. Appl. Math. 32, 529–544 (2015)
Miyajima, S.: Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. J. Comput. Appl. Math. 319, 352–364 (2017)
Miyajima, S.: Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. Numer. Linear Algebra Appl. 24, 1–12 (2017)
Miyajima, S.: Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation. Comput. Appl. Math. 37, 4599–4610 (2018)
Miyajima, S.: Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. J. Comput. Appl. Math. 350, 80–86 (2019)
Miyajima, S.: Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations. Jpn. J. Ind. Appl. Math. 36, 763–776 (2019)
Miyajima, S.: Verified computation for the geometric mean of two matrices. Jpn. J. Ind. Appl. Math. 38, 211–232 (2021)
Oozawa, M., Sogabe, T., Miyatake, Y., Zhang, S.-L.: On a relationship between the T-congruence Sylvester equation and the Lyapunov equation. J. Comput. Appl. Math. 329, 51–56 (2018)
Rump, S.M.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–107. Kluwer Academic Publishers, Dordrecht (1999)
Rump, S.M.: Verification methods: Rigorous results using floating-point arithmetic. Acta Numer 19, 287–449 (2010)
Teran, F.D., Dopico, F.M.: Consistency and efficient solution of the Sylvester equation for \(\star\)-congruence. Electron. J. Linear Algebra 22, 849–863 (2011)
Acknowledgements
The author would like to thank the reviewers for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was supported in part by JSPS KAKENHI Grant Numbers JP16K05270, JP21K03363.
Rights and permissions
About this article
Cite this article
Miyajima, S. Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation. Calcolo 59, 31 (2022). https://doi.org/10.1007/s10092-022-00475-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10092-022-00475-4