On the solution of the matrix equation \(AX+XB=C\) (Q563167)

Gegeben sind die Matrizen: \[ \begin{aligned}A &\text{ quadratisch von der Ordnung }n, \cr B &\text{ quadratisch von der Ordnung } m, \cr C &\text{ mit }n \text{ Zeilen und }m\text{ Kolonnen.}\end{aligned} \] Gesucht wird die Matrix \(X\) vom Typus \((n, m)\) welche der Gleichung \(AX + XB = C\) genügt. Die Ergebnisse lassen sich am bequemsten für Matrizen in der Normalform angeben. Es sei \[ A = \begin{pmatrix} A_1 & & & \\ &A_2 &&\\ && \ddots & \\ &&&A_p \end{pmatrix},\quad B = \begin{pmatrix} B_1 & & & \\ &B_2 &&\\ && \ddots & \\ &&&B_q \end{pmatrix}, \] und es seien \[ A_i = \begin{pmatrix} \lambda _i&1 & & & \\ &\lambda _i&1&&\\ && \ddots &\ddots & \\ &&&\ddots &1\\ &&&&\lambda _i \end{pmatrix},\quad B_j = \begin{pmatrix} \mu _j&1 & & & \\ &\mu _j&1&&\\ && \ddots &\ddots & \\ &&&\ddots &1\\ &&&&\mu _j \end{pmatrix}, \] von der Ordnung \(s_i\) bzw. \(t_j\). Zerlegt man \(C\) und \(X\) entsprechend in \[ X=\begin{pmatrix} X_{11}&\cdots &X_{1q} \\ \cdots &\cdots &\cdots \\ X_{p1}&\cdots &X_{pq}\end{pmatrix} \quad \text{und}\quad C=\begin{pmatrix} C_{11}&\cdots &C_{1q} \\ \cdots &\cdots &\cdots \\ C_{p1}&\cdots &C_{pq}\end{pmatrix}, \] (\(X_{ij}\) und \(C_{ij}\) vom Typus \((s_i,t_j)\)), so wird hierdurch die Matrizengleichung \[ AX+XB = C \leqno (1) \] auf die \(pq\) einfacheren Gleichungen \[ A_iX_{ij}+X_{ij}B_j = C_{ij} \leqno (2) \] zurückgeführt. Es sei nun \[ X_{ij}=\begin{pmatrix} x_{11}&\cdots &x_{1s_i} \\ \cdots &\cdots &\cdots \\ x_{t_j1}&\cdots &x_{t_js_i}\end{pmatrix},\quad C_{ij}=\begin{pmatrix} c_{11}&\cdots &c_{1s_i} \\ \cdots &\cdots &\cdots \\ c_{t_j1}&\cdots &c_{t_js_i}\end{pmatrix} . \] Die der Gleichung (2) entsprechenden Gleichungen für die \(x_{\tau \sigma }\) sind eindeutig lösbar, wenn \(\lambda _i + \mu _j\neq 0\). Wenn \(\lambda _i + \mu _j = 0\) ist, so ist dann und nur dann eine Lösung vorhanden, wenn gewisse Relationen zwischen den \(c_{\tau \sigma }\) bestehen. Diese hängt von \(\text{Min }(s, t)\) Parametern ab. - Die Lösung wird explizit angegeben, auf nicht in der Normalform befindliche Matrizen übertragen und auf den Fall \(AX + XB = 0\) angewendet.