Then given matrices A, B, and C, the problem is to find the possible matrices X that obey this equation. All matrices are assumed to have coefficients in the complex numbers. For the equation to make sense, the matrices must have appropriate sizes, for example they could all be square matrices of the same size. But more generally, A and B must be square matrices of sizes n and m respectively, and then X and C both have n rows and m columns.
A Sylvester equation has a unique solution for X exactly when there are no common eigenvalues of A and −B. More generally, the equation AX + XB = C has been considered as an equation of bounded operators on a (possibly infinite-dimensional) Banach space. In this case, the condition for the uniqueness of a solution X is almost the same: There exists a unique solution X exactly when the spectra of A and −B are disjoint.
Existence and uniqueness of the solutions
Theorem. Given matrices and , the Sylvester equation has a unique solution for any if and only if and do not share any eigenvalue.
Proof. The equation is a linear system with unknowns and the same amount of equations. Hence it is uniquely solvable for any given if and only if the homogeneous equation admits only the trivial solution .
(i) Assume that and do not share any eigenvalue. Let be a solution to the abovementioned homogeneous equation. Then , which can be lifted to for each by mathematical induction. Consequently, for any polynomial . In particular, let be the characteristic polynomial of . Then due to the Cayley-Hamilton theorem; meanwhile, the spectral mapping theorem tells us where denotes the spectrum of a matrix. Since and do not share any eigenvalue, does not contain zero, and hence is nonsingular. Thus as desired. This proves the "if" part of the theorem.
(ii) Now assume that and share an eigenvalue . Let be a corresponding right eigenvector for , be a corresponding left eigenvector for , and . Then , and Hence is a nontrivial solution to the aforesaid homogeneous equation, justifying the "only if" part of the theorem. Q.E.D.
As an alternative to the spectral mapping theorem, the nonsigularity of in part (i) of the proof can also be demonstrated by the Bézout's identity for coprime polynomials. Let be the characteristic polynomial of . Since and do not share any eigenvalue, and are coprime. Hence there exist polynomials and such that . By the Cayley–Hamilton theorem, . Thus , implying that is nonsigular.
The theorem remains true for real matrices with the caveat that one considers their complex eigenvalues. The proof for the "if" part is still applicable; for the "only if" part, note that both and satisfy the homogenous equation , and they cannot be zero simultaneously.
Roth's removal rule
Given two square complex matrices A and B, of size n and m, and a matrix C of size n by m, then one can ask when the following two square matrices of size n + m are similar to each other: and . The answer is that these two matrices are similar exactly when there exists a matrix X such that AX − XB = C. In other words, X is a solution to a Sylvester equation. This is known as Roth's removal rule.
One easily checks one direction: If AX − XB = C then
Roth's removal rule does not generalize to infinite-dimensional bounded operators on a Banach space.
A classical algorithm for the numerical solution of the Sylvester equation is the Bartels–Stewart algorithm, which consists of transforming and into Schur form by a QR algorithm, and then solving the resulting triangular system via back-substitution. This algorithm, whose computational cost is arithmetical operations, is used, among others, by LAPACK and the
lyap function in GNU Octave. See also the
sylvester function in that language. In some specific image processing application, the derived Sylvester equation has a closed form solution.
- This equation is also commonly written in the equivalent form of AX − XB = C.
- Bhatia and Rosenthal, 1997
- However, rewriting the equation in this form is not advised for the numerical solution since this version is costly to solve and can be ill-conditioned.
- Gerrish, F; Ward, A.G.B (Nov 1998). "Sylvester's matrix equation and Roth's removal rule". The Mathematical Gazette. 82 (495): 423–430. doi:10.2307/3619888. JSTOR 3619888.
- Bhatia and Rosenthal, p.3
- "Function Reference: Lyap".
- "Functions of a Matrix (GNU Octave (version 4.4.1))".
sylcommand is deprecated since GNU Octave Version 4.0
- Wei, Q.; Dobigeon, N.; Tourneret, J.-Y. (2015). "Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation". IEEE. 24 (11): 4109–4121. arXiv:1502.03121. Bibcode:2015ITIP...24.4109W. doi:10.1109/TIP.2015.2458572. PMID 26208345.
- Sylvester, J. (1884). "Sur l'equations en matrices ". C. R. Acad. Sci. Paris. 99 (2): 67–71, 115–116.
- Bartels, R. H.; Stewart, G. W. (1972). "Solution of the matrix equation ". Comm. ACM. 15 (9): 820–826. doi:10.1145/361573.361582.
- Bhatia, R.; Rosenthal, P. (1997). "How and why to solve the operator equation ?". Bull. London Math. Soc. 29 (1): 1–21. doi:10.1112/S0024609396001828.
- Lee, S.-G.; Vu, Q.-P. (2011). "Simultaneous solutions of Sylvester equations and idempotent matrices separating the joint spectrum". Linear Algebra Appl. 435 (9): 2097–2109. doi:10.1016/j.laa.2010.09.034.
- Wei, Q.; Dobigeon, N.; Tourneret, J.-Y. (2015). "Fast Fusion of Multi-Band Images Based on Solving a Sylvester Equation". IEEE Transactions on Image Processing. 24 (11): 4109–4121. arXiv:1502.03121. Bibcode:2015ITIP...24.4109W. doi:10.1109/TIP.2015.2458572. PMID 26208345.
- Birkhoff and MacLane. A survey of Modern Algebra. Macmillan. pp. 213, 299.