Completing a \(2 \times 2\) block matrix of real quaternions with a partial specified inverse (Q2375463)

Summary: This paper considers a completion problem of a nonsingular \(2 \times 2\) block matrix over the real quaternion algebra \(\mathbb H\): Let \(m_1\), \(m_2\), \(n_1\), \(n_2\) be nonnegative integers, \(m_1 + m_2 = n_1 + n_2 = n > 0\), and \(A_{12} \in \mathbb H^{m_1 \times n_2}\), \(A_{21} \in \mathbb H^{m_2 \times n_1}\), \(A_{22} \in \mathbb H^{m_2 \times n_2}\), \(B_{11} \in \mathbb H^{n_1 \times m_1}\) be given. We determine necessary and sufficient conditions so that there exists a variant block entry matrix \(A_{11} \in \mathbb H^{m_1 \times n_1}\) such that \(A = \begin{pmatrix} A_{11} & A_{12}\\ A_{21} & A_{22} \end{pmatrix} \in \mathbb H^{n \times n}\) is nonsingular, and \(B_{11}\) is the upper left block of a partitioning of \(A^{-1}\). A general expression for \(A_{11}\) is also obtained. Finally, a numerical example is presented to verify the theoretical findings.