Generalization of Roth's solvability criteria to systems of matrix equations

Abstract

W.E. Roth (1952) proved that the matrix equation $AX-XB=C$ has a solution if and only if the matrices $\left[\begin{array}{cc}A& C\\ 0& B\end{array}\right]$ and $\left[\begin{array}{cc}A& 0\\ 0& B\end{array}\right]$ are similar. A. Dmytryshyn and B. Kågström (2015) extended Roth's criterion to systems of matrix equations $A_i{X}_{i^{\prime }}{M}_i-N_i{X}_{i^{\prime \prime }}^{{\sigma }_i}{B}_i=C_i$ $(i=1,\dots ,s)$ with unknown matrices $X_1,\dots ,X_t$, in which every $X^{\sigma }$ is $X$, $X^T$, or $X^{\ast }$. We extend their criterion to systems of complex matrix equations that include the complex conjugation of unknown matrices. We also prove an analogous criterion for systems of quaternion matrix equations.

11 pages

References in corpus (1)

• Roth's solvability criteria for the matrix equations $AX-\hat{X}B=C$ and $X-A\hat{X}B=C$ over the skew field of quaternions with an involutive automorphism $q\mapsto \hat{q}$