On solutions of the generalized Stein quaternion matrix equation (Q2511386)

Extending earlier work [\textit{C. Song} et al., Int. J. Comput. Math. 89, No. 7, 890--900 (2012; Zbl 1255.15004)], the authors consider the matrix equation \[ X-AXF=BY\tag{\(*\)} \] over the quaternions \(Q\), where \(A\in Q^{n\times n}\), \(F\in Q^{p\times p}\) and \(B\in Q^{n\times r}\). If \(1,i,j,k\) is the standard basis of \(Q\) over the reals \(R\), then \(Q=C+Cj\), where \(C=R[i]\). Using \(\bar{\;}\) to denote conjugation in \(C\) it is well known that the mapping \[ A\mapsto A_{\sigma}:=\begin{pmatrix} A_{1} & A_{2}\\ -\bar{A}_{2} & \bar{A}_{1} \end{pmatrix} \text{, when }A=A_{1}+A_{2}j \] defines an injective \(C\)-linear mapping from \(Q^{r\times s}\) into \(C^{2r\times2s}\) such that \((AB)_{\sigma}=A_{\sigma}B_{\sigma}\), whenever the matrix products are defined. Put \(Q_{s}:=\begin{pmatrix} 0 & I_{s}\\ I_{s} & 0 \end{pmatrix} \). A main theorem of this paper is that any solution of (\(*\)) can be obtained by first solving the equation \[ V-A_{\sigma}VF_{\sigma} =B_{\sigma}W\tag{\(**\)} \] for \(V\) and \(W\) over \(C\) and then defining \[ X:=\frac{1}{4} \begin{pmatrix} I_{n} & -jI_{n} \end{pmatrix} ( V+Q_{n}\bar{V}Q_{p}^{-1}) \begin{pmatrix} I_{p}\\ jI_{p} \end{pmatrix} \] \[ Y:=\frac{1}{4} \begin{pmatrix} I_{r} & -jI_{r} \end{pmatrix} ( W+Q_{r}\bar{W}Q_{p}^{-1}) \begin{pmatrix} I_{p}\\ jI_{p} \end{pmatrix} . \] This is used to provide a parametric set of solutions to (\(*\)). In the same way solutions are provided for the analogous equation in which \(AXF\) is replaced by \(A\tilde{X}F\), where \(\tilde{X}\) is the \(j\)-conjugate of \(X\).