On the low-degree solution of the Sylvester matrix polynomial equation (Q2666137)

Summary: We study the low-degree solution of the Sylvester matrix equation \((A_1\lambda + A_0)X(\lambda) + Y(\lambda)(B_1\lambda + B_0)= C_0\), where \(A_1\lambda + A_0\) and \(B_1\lambda + B_0\) are regular. Using the substitution of parameter variables \(\lambda \), we assume that the matrices \(A_0\) and \(B_0\) are invertible. Thus, we prove that if the equation is solvable, then it has a low-degree solution \((L(\lambda), M(\lambda))\), satisfying the degree conditions \(\delta L(\lambda)<\mathrm{Ind}(A_0^{-1} A_1)\) and \(\delta M(\lambda)<\mathrm{Ind}(B_1 B_0^{-1})\).