A criterion for separating a real factor from a matrix polynomial

From MaRDI portal





The following theorem is proved: The \(n\times n\)-matrix equation \(X^ mA_ 0+X^{m-1}A_ 1+...+A_ m=0\) has a real matrix solution X iff there exists a decomposition \(A(x)=(Ex-B)D(x),\) where B is a complex matrix such that the Smith matrix of Ex-B is real.











This page was built for publication: A criterion for separating a real factor from a matrix polynomial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1097933)