Abstract
This paper is concerned with the generalized Sylvester equation \(AXB+CXD=E\), where A, B, C, D, E are infinite size matrices with a quasi Toeplitz structure, that is, a semi-infinite Toeplitz matrix plus an infinite size compact correction matrix. Under certain conditions, an equation of this type has a unique solution possessing the same structure as the coefficient matrix does. By separating the analysis on the Toeplitz part with that on the correction part, we provide perturbation results that cater to the particular structure in the coefficient matrices. We show that the Toeplitz part is well-conditioned if the whole problem, without considering the structure, is well-conditioned. Perturbation results that are illustrated through numerical examples are applied to equations arising in the analysis of a Markov process and the 2D Poisson problem.
Similar content being viewed by others
References
Bartels, R.H., Stewart, G.W.: Solution of the matrix equation AX + XB = C. Commun. ACM 15, 820–826 (1972)
Bini, D.A., Massei, S., Meini, B.: Semi-infinite quasi-Toeplitz matrices with applications to QBD stochastic processes. Math. Comput. 87, 2811–2830 (2018)
Bini, D.A., Massei, S., Meini, B.: On functions of quasi Toeplitz matrices. Sb. Math. 208, 56–74 (2017)
Bini, D.A., Massei, S., Meini, B., Robol, L.: On quadratic matrix equations with infinite size coefficients encountered in QBD stochastic processes. Numer. Linear Algebra Appl. 25e, 2128 (2018)
Bini, D.A., Massei, S., Meini, B., Robol, L.: A computational framework for two-dimensional random walks with restarts. SIAM J. Sci. Comput. 42(4), A2108–A2133 (2020)
Bini, D.A., Massei, S., Robol, L.: Quasi-Toeplitz matrix arithmetic: a MATLAB toolbox. Numer. Algorithms 81, 741–769 (2019)
Bini, D.A., Meini, B., Meng, J.: Solving quadratic matrix equations arising in random walks in the quarter plane. SIAM J. Matrix Anal. Appl. 41, 691–714 (2020)
B\(\ddot{\rm {o}}\)ttcher, A., Grudsky, S. M, : Spectral Properties of Banded Toeplitz Matrices. SIAM, Philadelphia (2005)
Epton, M.A.: Methods for the solution of AXD – BXC = E and its application in the numerical solution of implicit ordinary differential equations. BIT 20, 341–345 (1980)
Gardiner, J.D., Laub, A.J., Amato, J.J., Moler, C.B.: Solution of the Sylvester matrix equation \(AXB^T+CXD^T=E\). ACM Trans. Math. Softw.. 18, 223–231 (1992)
Gahinet, P., Laub, A., Kenney, Ch., Hewer, G.: Sensitivity of the stable discrete-time Lyapunov equation. IEEE Trans. Automat. Control 35, 1209–1217 (1990)
Higham, N.J.: Perturbation theory and backward error for \(AX-XB=C\). BIT 33, 124–136 (1993)
Hu, Q., Cheng, D.: The polynomial solution to the Sylvester matrix equation. Appl. Math. Lett. 19, 859–864 (2006)
Lumer, G., Rosenblum, M.: Linear operator equations. Proc. Amer. Math. Soc. 10, 32–41 (1959)
Mortad, M.H.: An Operator Theory Problem Book. World Scientific Publishing, Singapore (2018)
Motyer, A.J., Taylor, P.G.: Decay rates for quasi-birth-and-death processes with countably many phases and tridiagonal block generators. Adv. Appl. Prob. 38, 522–544 (2006)
Robol, L.: Rational Krylov and ADI iteration for infinite size quasi-Toeplitz matrix equations. Linear Algebra Appl. 604, 210–235 (2020)
Simoncini, V.: Computational Methods for Linear Matrix Equations. SIAM Rev. 58, 377–441 (2016)
Stykel, T.: Numerical solution and perturbation theory for generalized Lyapunov equations. Linear Algebra Appl. 349, 155–18 (2002)
Ter\({\acute{\rm {a}}}\)n, F. De., Bruno, B., Poloni, F., Robol, L, : Nonsingular systems of generalized Sylvester equations: an algorithmic approach. Numer. Linear Algebra Appl. 26, e2261 (2019)
Wimmer, H., Ziebur, A.D.: Solving the matrix equaiton \(\sum _{p=1}^rf_p(A)Xg_p(B)=C\). SIAM Rev. 14, 318–323 (1979)
Acknowledgements
This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2019R1I1A1A01062548) and the National Research Foundation of Korea (NRF) Grant funded by the Korean Government (MSIP) (NRF-2017R1A5A1015722). The authors thank the anonymous referees for providing very useful suggestions for improving this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The authors declare no potential conflict of interests.
Additional information
Communicated by Lothar Reichel.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kim, HM., Meng, J. Structured perturbation analysis for an infinite size quasi-Toeplitz matrix equation with applications. Bit Numer Math 61, 859–879 (2021). https://doi.org/10.1007/s10543-021-00847-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10543-021-00847-2