To solve matrix equation \(\sum A^iXB_i=C\) by the Smith normal form
type: Item
instance of: scholarly article
title: To solve matrix equation \(\sum A^iXB_i=C\) by the Smith normal form
zbMATH Open document ID: 1004.15016
published in: Applied Mathematics. Series B (English Edition)
publication date: 2002-09-04T00:00:00Z
review text: Let \(F\) be a field. The paper studies the matrix equation (*) \(\sum _{i=0}^kA^iXB_i=C\) with given matrices \(A\in F^{m\times m}\), \(B_i\in F^{n\times q}\), \(C\in F^{m\times q}\) and unknown matrix \(X\in F^{m\times n}\). The universal solvability of \((*)\) is discussed (i.e. solvability for any \(C\)) and explicit formulas for the general or for the unique solution are given. The proofs use the Smith normal form of a rectangular matrix \(B(\lambda)\in F^{n\times q}[\lambda ]\): there exist unimodular matrices \(P(\lambda)\in F^{n\times n}[\lambda ]\) and \(Q(\lambda)\in F^{q\times q}[\lambda ]\) such that \(P(\lambda)B(\lambda)Q(\lambda)= \left( \begin{smallmatrix} D&0\cr 0&0 \end{smallmatrix}\right) \) where \(D=\) diag\((d_1(\lambda),\ldots ,d_r(\lambda))\), \(d_i\) are scalar monic polynomials (the invariant polynomials of \(B(\lambda)\)) and \(d_i\) is divisible by \(d_{i-1}\). The formulas presenting the solution use the g-inverse of a matrix \(M\in F^{m\times n}\), i.e. a matrix \(M^-\) such that \(MM^-M=M\).
Mathematics Subject Classification ID: 15A24
Mathematics Subject Classification ID: 15A09
Mathematics Subject Classification ID: 15A21
zbMATH DE Number: 1775105
zbMATH Keywords: matrix equation
zbMATH Keywords: Smith normal form
zbMATH Keywords: universal solvability
zbMATH Keywords: \(g\)-inverse
author: Liping Huang
reviewed by: Vladimir P. Kostov
MaRDI profile type: Publication
full work available at URL: s11766-002-0034-6
OpenAlex ID: W2087921638
cites work: The explicit solutions and solvability of linear matrix equations
cites work: Algebraic method for the study of some linear matrix equations
cites work: Linear matrix equations: The module theoretic approach
cites work: Explicit Solutions of the Matrix Equation $\sum {A^i XD_i } = C$
cites work: The extension of Roth's theorem for matrix equations over a ring
cites work: Linear associative algebras with finitely many idempotents
cites work: Substitution of matrices over rings
cites work: The matrix equationAXB+CYD=Eover a simple artinian ring
cites work: Q3939931
cites work: Q4029570
Wikidata QID: Q126211051
DOI: 10.1007/S11766-002-0034-6
description: scientific article; zbMATH DE number 1775105