Consistency and General Solutions to Some Sylvester-like Quaternion Matrix Equations

Abstract

This article makes use of simultaneous decomposition of four quaternion matrixes to investigate some Sylvester-like quaternion matrix equation systems. We present some useful necessary and sufficient conditions for the consistency of the system of quaternion matrix equations in terms of the equivalence form and block matrixes. We also derive the general solution to the system according to the partition of the coefficient matrixes. As an application of the system, we present some practical necessary and sufficient conditions for the consistency of a $\varphi$-Hermitian solution to the system of quaternion matrix equations in terms of the equivalence form and block matrixes. We also provide the general $\varphi$-Hermitian solution to the system when the equation system is consistent. Moreover, we present some numerical examples to illustrate the availability of the results of this paper.

1. Introduction

It is well known that quaternion and quaternion matrixes have a great range of applications in color image processing ([1,2]), quantum physics ([3,4]) and signal processing ([5]), etc. Quaternion matrix equations play an important role in mathematics and other domains, such as theoretical mechanics, optics, digital image processing, aerospace technology, etc. There are a great deal of papers from different aspects investigating quaternion matrix equation, such as solvability conditions, general solutions, extreme rank of solutions, minimum norm least squares solutions and their applications (e.g., [1,2,4,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31]).

Kyrchei investigated two-sided generalized Sylvester matrix equation $A_1{X}_1{B}_1+A_2{X}_2{B}_2=C$ over quaternion refer to Cramer’s Rules and Moore–Penrose inverse [13]. Liu et al. [17] considered the existence and uniqueness of solutions of some quaternion matrix equations with three new defined real representions. Kyrchei deduced the minimum norm least squares solutions of some quaternion matrix equations [11]. Futorny et al. [32] utilized Roth’s solvability criteria derived some solvability conditions for a few quaternion equations in terms of the equivalence of quaternion matrix. Xu et al. [28] provided some useful necessary and sufficient consitions and general solution to a constrained system of Sylvester-like matrix equations over the quaternion in terms of ranks and Moore–Penrose inverse of the coefficient matrixes. Mehany et al. [18] showed some solvaility conditions and general solution for three symmetrical coupled Sylvester-type matrix equations systems over quaternion from the aspects of ranks and generalized inverse. Liu et al. [15] gave solvability conditions and general solution to a Sylvester-like quaternion matrix equation $A_{1}X+Y{B}_1+A_2{Z}_1{B}_2+A_3{Z}_2{B}_3+A_4{Z}_3{B}_4=C$ with five unknown matrixes. Wang et al. [27] formed some practical solvability conditions for a Sylvester-like matrix equation system and gave an application involving an $\eta$-Hermitian solution. Dmytryshyn et al. [33] showed some solvability conditions for a class of quaternion matrix equations. He [10] gave some useful necessary and sufficient conditions for the existence of

$$\begin{array}{c}{A}_i{X}_i+Y_i{B}_i+C_i{Z}_i{D}_i+F_{i}W{G}_i=E_i,i=1,2,\end{array}$$

in terms of ranks and Moore–Penrose inverses. Wang et al. [25] considered a system of constrained two-sided coupled Sylvester-type quaternion matrix equations

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{A}_{1}X=C_1, A_{2}Y=C_2, A_{3}Z=C_3,\\ X{B}_1=D_1, Y{B}_2=D_2, Z{B}_3=D_3,\\ A_{4}X{B}_4+C_{4}Y{D}_4=P, A_{5}Z{B}_5+C_{5}Y{D}_5=Q,\end{array}\right.\end{array}$$

and gave some solvability conditions and general solution to the system. As far as we know, there has been little information on the solvabiliy conditions to the system

$$\begin{array}{c}\hfill \left\{\begin{array}{c} AXE+CYF+DZ+WG=\Omega ,\\ BXH=\Phi ,\end{array}\right.\end{array}$$

(1)

in terms of quaternion matrix decomposition. One goal of this paper is to give some practical equivalent conditions for the consistency of the system (1) in terms of block matrixes and ranks.

$\varphi$-Hermitian quaternion matrix was put forward by Rodman in [34] at first, and some properties about it were given. In addition to general solutions, $\varphi$-Hermitian solutions of quaternion matrix equations play an important role in signal processing, engineering, systems and cybernetics, etc. With the need of practical application, the $\varphi$-Hermitian solutions of quaternion matrix equations have been paid more and more attention. He et al. [8] derived some practical necessary and sufficient conditions for the existence of the $\varphi$-Hermitian solution to the system of quaternion matrix equations

$$\begin{array}{c}\hfill \left\{\begin{array}{c} AX{A}_{\varphi }+CY{C}_{\varphi }+DZ{D}_{\varphi }=\Omega ,\\ BX{B}_{\varphi }=\Theta ,\end{array}\right.\end{array}$$

where $A, B, C, D, \Omega$, and $\Theta$ are given quaternion matrixes. He et al. [7] considered the following systems of quaternion matrix equations involving $\varphi$-Hermicity

$$\begin{array}{c}\hfill \left\{\begin{array}{c} A_{1}X-Y{B}_1=C_1,\\ A_{2}Z-Y{B}_2=C_2,\end{array}\right.\hspace{1em}Z=Z_{\varphi },\end{array}$$

and

$$\begin{array}{c}\hfill \left\{\begin{array}{c} A_{1}X-Y{B}_1=C_1,\\ A_{2}Y-Z{B}_2=C_2,\end{array}\right.\hspace{1em}Z=Z_{\varphi }.\end{array}$$

He [6] derived necessary and sufficient conditions for the existence of the solution to quaternion matrix equations

$$\begin{array}{c}\hfill BX{B}_{\varphi }+CY{C}_{\varphi }+DZ{D}_{\varphi }=A, X=X_{\varphi }, Y=Y_{\varphi }, Z=Z_{\varphi }\end{array}$$

and

$$\begin{array}{c}\hfill BXC+{\left(BXC\right)}_{\varphi }+DY{D}_{\varphi }=A, Y=Y_{\varphi }\end{array}$$

involving $\varphi$-herminity in terms ranks of the given quaternion matrixes. To the best of our knowledge, there is little information on the general $\varphi$-Hermitian solution to the system of quaternion matrix equations

$$\begin{array}{c}\hfill \left\{\begin{array}{c} AX{A}_{\varphi }+CY{C}_{\varphi }+DZ+{\left(DZ\right)}_{\varphi }=\Omega ,\\ BX{B}_{\varphi }=\Phi .\end{array}\right.\end{array}$$

(2)

Another goal of this article is to give some solvability conditions and the expressions of the general $\varphi$-Hermitian solution to the system (2) via using the similar method with the system (1).

Let $\mathbb{R}$ stand for the real number field and $\mathbb{H}$ represent the real quaternion number field which is a four-dimensional linear space over $\mathbb{R}$ with a pattern that

$$\begin{array}{c}\hfill {\mathbf{i}}^2={\mathbf{j}}^2={\mathbf{k}}^2=\mathbf{i}\mathbf{j}\mathbf{k}=-1.\end{array}$$

Let ${\mathbb{H}}^{m\times n}$ stand for all $m\times n$ matrixes over the real quaternion algebra, and if $A\in {\mathbb{H}}^{m\times n}$, then sign $A^T$ the transpose matrix of A. $A=A_{\varphi }$ is $\varphi$-Hermitian, if $A_{\varphi }$ is a $n\times m$ quaternion matrix obtained through applyling a nonstandard involution transform $\varphi$ with transformation matrix $\left(\begin{array}{cc}1& 0\\ 0& Q\end{array}\right)$ based on basis $\{1, \mathbf{i}, \mathbf{j}, \mathbf{k}\}$ on $A^T$, where Q is a $3\times 3$ real orthogonal symmetric matrix with eigenvalues $1, 1, -1$ [34]. The rank of a quaternion matrix A is defined to be the right linear independent columns maximum number of A and is represented by symbol $r\left(A\right)$. Note that A and $PAQ$ have the same rank for any invertible matrixes P and Q with appropriate sizes. The identity matrix and zero matrix with appropriate size are labeled by I and 0, respectively.

2. Solvability Conditions to the System (1)

In this section, we deduce the consistency conditions of the system of quaternion matrix Equation (1),

$$\begin{array}{c}\hfill \left\{\begin{array}{c} AXE+CYF+DZ+WG=\Omega ,\\ BXH=\Phi ,\end{array}\right.\end{array}$$

where $A, B, C, D, E, F, G, H, \Omega$ and $\Phi$ are given quaternion matrixes, through utilizing the equivalence canonical form of four matrixes.

According to the matrix product order principle, we can observe that coefficient matrixes A, B have the same number of columns, A, C, D have the same number of rows, E, F, G have the same number of columns, and E, H have the same number of rows, so they can be formed in the following two quaternion matrix arrays

$$\begin{array}{cc} & \begin{array}{ccc}p & q& s\end{array}\\ \begin{array}{c}m\\ t\end{array}& \left(\begin{array}{ccc}A& C& D\\ B& & \end{array}\right)\end{array},\hspace{1em}\begin{array}{cc} & \begin{array}{cc}{m}_1 & t_1\end{array}\\ \begin{array}{c}{p}_1\\ q_1\\ s_1\end{array}& \left(\begin{array}{cc}E& H\\ F& \\ G& \end{array}\right)\end{array},$$

(3)

where $A\in {\mathbb{H}}^{m\times p}, B\in {\mathbb{H}}^{t\times p}, C\in {\mathbb{H}}^{m\times q}$, $D\in {\mathbb{H}}^{m\times s}$, $E\in {\mathbb{H}}^{p_1\times m_1}, H\in {\mathbb{H}}^{p_1\times t_1}, F\in {\mathbb{H}}^{q_1\times m_1}$ and $G\in {\mathbb{H}}^{s_1\times m_1}$.

To solve the equation system, we first give the simultaneous decomposition and equivalence canonical form of four quaternion matrixes in the following lemma.

Lemma 1.

([9,26]) Given $A\in {\mathbb{H}}^{m\times p}, B\in {\mathbb{H}}^{t\times p}, C\in {\mathbb{H}}^{m\times q}$, and $D\in {\mathbb{H}}^{m\times s}$. Then, there exist nonsingular matrixes $M, P, T, Q$, and S such that

$$\begin{array}{c}\hfill MAP=S_a,\hspace{1em}MCQ=S_c,\hspace{1em}MDS=S_d,\hspace{1em}TBP=S_b,\end{array}$$

where

$$\begin{array}{cc} & \begin{array}{ccc}p & q& s\end{array}\\ \begin{array}{c}m\\ t\end{array}& \left(\begin{array}{ccc}{S}_a& S_c& S_d\\ S_b& & \end{array}\right)\end{array}=\left(\begin{array}{cccccccccccccccccccccccccccccccccccc}0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& \hspace{1em}& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& I& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& \hspace{1em}& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& I& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& I& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& I& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& I& 0& 0& 0& 0& 0& 0& 0\\ 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& I& 0& 0& 0& 0& 0& 0\\ 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& I& 0& 0\\ 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& I& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& I& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& I& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& I& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& I& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0\\ I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& & & & & & & & & & & & & & & & & & & & & & \end{array}\right).$$

(4)

The order of identity matrixes in (4) are shown in [9] directly.

We utilize Lemma 1 to transform the matrix arrays (3) into two simple forms such as (4) and

$$\begin{array}{cc} & \begin{array}{cc} m_1 & t_1 \end{array}\\ \begin{array}{c}{p}_1\\ q_1\\ s_1\end{array}& \left(\begin{array}{cc}{S}_e& S_h\\ S_f& \\ S_g& \end{array}\right)\end{array}=\left(\begin{array}{ccccccccccccccccccccccccccc}0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& I& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& I& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& I& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& I& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& I& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& I& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& I& 0\\ I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& 0& 0& 0& 0& 0& 0& 0& 0\\ I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& I& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& I& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& I& 0& \hspace{1em}& & & & & & & & \\ 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& 0& \hspace{1em}& & & & & & & & \end{array}\right),$$

(5)

where $S_a$, $S_b$, $S_c$, $S_d$, $S_e$, $S_f$, $S_g$, $S_h$ satisfy

$$\begin{array}{c}\hfill MAP=S_a,\hspace{1em}MCQ=S_c,\hspace{1em}MDS=S_d,\hspace{1em}TBP=S_b,\end{array}$$

(6)

and

$$\begin{array}{c}\hfill P_{1}E{M}_1=S_e,\hspace{1em}{P}_{1}H{T}_1=S_h,\hspace{1em}{Q}_{1}F{M}_1=S_f,\hspace{1em}{S}_{1}G{M}_1=S_g,\end{array}$$

(7)

and $M$, $P$, $T$, $Q$, $S$, $M_1$, $P_1$, $T_1$, $Q_1$, $S_1$ are nonsingular.

Hence, the system (1) is equivalent to

$$\begin{array}{c}\hfill \left\{\begin{array}{c} S_a\left(P^{-1}X{P}_1^{-1}\right)S_e+S_c\left(Q^{-1}Y{Q}_1^{-1}\right)S_f+S_d\left(S^{-1}Z{M}_1\right)+\left(MW{S}_1^{-1}\right)S_g=M\Omega M_1,\\ S_b\left(P^{-1}X{P}_1^{-1}\right)S_h=T\Phi T_1.\end{array}\right.\end{array}$$

(8)

Set

$$\begin{array}{c}\hfill \widehat{X}=P^{-1}X{P}_1^{-1}={\left(X_{ij}\right)}_{14\times 14},\hspace{1em}\widehat{Y}=Q^{-1}Y{Q}_1^{-1}={\left(Y_{ij}\right)}_{10\times 10},\end{array}$$

(9)

$$\begin{array}{c}\hfill \widehat{Z}=S^{-1}Z{M}_1={\left(Z_{ij}\right)}_{10\times 18},\hspace{1em}\widehat{W}=MW{S}_1^{-1}={\left(W_{ij}\right)}_{18\times 10},\end{array}$$

(10)

$$\begin{array}{c}\hfill M\Omega M_1={\left({\Omega }_{ij}\right)}_{18\times 18},\hspace{1em}T\Phi T_1={\left({\Phi }_{ij}\right)}_{8\times 8},\end{array}$$

(11)

where ${\left({\Omega }_{ij}\right)}_{18\times 18}$ and ${\left({\Phi }_{ij}\right)}_{8\times 8}$ have the same block rows as $S_a$ and $S_b$, the same block columns as $S_e$ and $S_h$, respectively. Then, substituting (9)–(11) into the system (8) becomes

$$\begin{array}{c}\hfill \left\{\begin{array}{c} S_a\widehat{X}{S}_e+S_c\widehat{Y}{S}_f+S_d\widehat{Z}+\widehat{W}{S}_g={\left({\Omega }_{ij}\right)}_{18\times 18},\\ S_b\widehat{X}{S}_h={\left({\Phi }_{ij}\right)}_{8\times 8}.\end{array}\right.\end{array}$$

(12)

A result can be conclude that the system (1) is equivalent with the system (12).

Substituting (9)–(11) into the system (12) yields

$$\begin{array}{c}\hfill S_a\widehat{X}{S}_e+S_c\widehat{Y}{S}_f+S_d\widehat{Z}+\widehat{W}{S}_g={\left({\Omega }_{ij}\right)}_{18\times 18},\end{array}$$

(13)

and

$$\begin{array}{c}\hfill S_b\widehat{X}{S}_h={\left({\Phi }_{ij}\right)}_{8\times 8},\end{array}$$

(14)

where

$$\begin{array}{cc}\hfill \hspace{1em}& {\left({\Omega }_{ij}\right)}_{18\times 18}=\hfill \\ \hfill \hspace{1em}& \left(\begin{array}{cccccc}{X}_{88}+Y_{11}+Z_{11}+W_{11}& X_{89}+Y_{12}+Z_{12}& X_{8,10}+Z_{13}+W_{12}& X_{8,11}+Z_{14}+W_{13}& X_{8,12}+Z_{15}+W_{16}& X_{8,13}+Z_{16}\\ X_{98}+Y_{21}+W_{21}& X_{99}+Y_{22}& X_{9,10}+W_{22}& X_{9,11}+W_{23}& X_{9,12}+W_{26}& X_{9,13}\\ X_{10,8}+Z_{21}+W_{31}& X_{10,9}+Z_{22}& X_{10,10}+Z_{23}+W_{32}& X_{10,11}+Z_{24}+W_{33}& X_{10,12}+Z_{25}+W_{36}& X_{10,13}+Z_{26}\\ X_{11,8}+Z_{31}+W_{41}& X_{11,9}+Z_{32}& X_{11,10}+Z_{33}+W_{42}& X_{11,11}+Z_{34}+W_{43}& X_{11,12}+Z_{35}+W_{46}& X_{11,13}+Z_{36}\\ X_{12,8}+Z_{61}+W_{51}& X_{12,9}+Z_{62}& X_{12,10}+Z_{63}+W_{52}& X_{12,11}+Z_{64}+W_{53}& X_{12,12}+Z_{65}+W_{56}& X_{12,13}+Z_{66}\\ X_{13,8}+W_{61}& X_{13,9}& X_{13,10}+W_{62}& X_{13,11}+W_{63}& X_{13,12}+W_{66}& X_{13,13}\\ X_{18}+Y_{31}+Z_{31}+W_{71}& X_{19}+Y_{32}+Z_{32}& X_{1,10}+Z_{33}+W_{72}& X_{1,11}+Z_{34}+W_{73}& X_{1,12}+Z_{35}+W_{76}& X_{1,13}+Z_{36}\\ X_{28}+Y_{41}+Z_{41}+W_{81}& X_{29}+Y_{42}+Z_{42}& X_{2,10}+Z_{43}+W_{82}& X_{2,11}+Z_{44}+W_{83}& X_{2,12}+Z_{45}+W_{86}& X_{2,13}+Z_{46}\\ X_{38}+Y_{51}+W_{91}& X_{39}+Y_{52}& X_{3,10}+W_{92}& X_{3,11}+W_{93}& X_{3,12}+W_{96}& X_{3,13}\\ X_{48}+Z_{81}+W_{10,1}& X_{49}+Z_{82}& X_{4,10}+Z_{83}+W_{10,2}& X_{4,11}+Z_{84}+W_{10,3}& X_{4,12}+Z_{85}+W_{10,6}& X_{4,13}+Z_{86}\\ X_{58}+Z_{51}+W_{11,1}& X_{59}+Z_{52}& X_{5,10}+Z_{53}+W_{11,2}& X_{5,11}+Z_{54}+W_{11,3}& X_{5,12}+Z_{55}+W_{11,6}& X_{5,13}+Z_{56}\\ X_{68}+W_{12,1}& X_{69}& X_{6,10}+W_{12,2}& X_{6,11}+W_{12,3}& X_{6,12}+W_{12,6}& X_{6,13}\\ Y_{61}+Z_{51}+W_{13,1}& Y_{62}+Z_{52}& Z_{53}+W_{13,2}& Z_{54}+W_{13,3}& Z_{55}+W_{13,6}& Z_{56}\\ Y_{71}+Z_{61}+W_{14,1}& Y_{72}+Z_{62}& Z_{63}+W_{14,2}& Z_{64}+W_{14,3}& Z_{65}+W_{14,6}& Z_{66}\\ Y_{81}+Z_{71}+W_{15,1}& Y_{82}+Z_{72}& Z_{73}+W_{15,2}& Z_{74}+W_{15,3}& Z_{75}+W_{15,6}& Z_{76}\\ Y_{91}+W_{16,1}& Y_{92}& W_{16,2}& W_{16,3}& W_{16,6}& 0\\ Z_{91}+W_{17,1}& Z_{92}& Z_{93}+W_{17,2}& Z_{94}+W_{17,3}& Z_{95}+W_{17,6}& Z_{96}\\ W_{18,1}& 0& W_{18,2}& W_{18,3}& W_{18,6}& 0\end{array}\right.\hfill \\ \hfill \hspace{1em}& \hspace{1em}& \hspace{1em}& \hspace{1em}& \hspace{1em}& \hspace{1em}& \hspace{1em}\hfill \\ \hfill \hspace{1em}& \begin{array}{cccccc}{X}_{81}+Y_{13}+Z_{17}+W_{13}& X_{82}+Y_{14}+Z_{18}+W_{14}& X_{83}+Y_{15}+Z_{19}& X_{84}+Z_{1,10}+W_{18}& X_{85}+Z_{1,11}+W_{15}& X_{86}+Z_{1,12}\\ X_{91}+Y_{23}+W_{23}& X_{92}+Y_{24}+W_{24}& X_{93}+Y_{25}& X_{94}+W_{28}& X_{95}+W_{25}& X_{96}\\ X_{10,1}+Z_{27}+W_{33}& X_{10,2}+Z_{28}+W_{34}& X_{10,3}+Z_{29}& X_{10,4}+Z_{2,10}+W_{38}& X_{10,5}+Z_{2,11}+W_{35}& X_{10,6}+Z_{2,12}& \\ X_{11,1}+Z_{37}+W_{43}& X_{11,2}+Z_{38}+W_{44}& X_{11,3}+Z_{39}& X_{11,4}+Z_{3,10}+W_{48}& X_{11,5}+Z_{3,11}+W_{45}& X_{11,6}+Z_{3,12}\\ X_{12,1}+Z_{67}+W_{53}& X_{12,2}+Z_{68}+W_{54}& X_{12,3}+Z_{69}& X_{12,4}+Z_{6,10}+W_{58}& X_{12,5}+Z_{6,11}+W_{55}& X_{12,6}+Z_{6,12}\\ X_{13,1}+W_{63}& X_{13,2}+W_{64}& X_{13,3}& X_{13,4}+W_{68}& X_{13,5}+W_{65}& X_{13,6}\\ X_{11}+Y_{33}+Z_{37}+W_{73}& X_{12}+Y_{34}+Z_{38}+W_{74}& X_{13}+Y_{35}+Z_{39}& X_{14}+Z_{3,10}+W_{78}& X_{15}+Z_{3,11}+W_{75}& X_{16}+Z_{3,12}\\ X_{21}+Y_{43}+Z_{47}+W_{83}& X_{22}+Y_{44}+Z_{48}+W_{84}& X_{23}+Y_{45}+Z_{49}& X_{24}+Z_{4,10}+W_{88}& X_{25}+Z_{4,11}+W_{85}& X_{26}+Z_{4,12}\\ X_{31}+Y_{53}+W_{93}& X_{32}+Y_{54}+W_{94}& X_{33}+Y_{55}& X_{34}+W_{98}& X_{35}+W_{95}& X_{36}\\ X_{41}+Z_{87}+W_{10,3}& X_{42}+Z_{88}+W_{10,4}& X_{43}+Z_{89}& X_{44}+Z_{8,10}+W_{10,8}& X_{45}+Z_{8,11}+W_{10,5}& X_{46}+Z_{8,12}\\ X_{51}+Z_{57}+W_{11,3}& X_{52}+Z_{58}+W_{11,4}& X_{53}+Z_{59}& X_{54}+Z_{5,10}+W_{11,8}& X_{55}+Z_{5,11}+W_{11,5}& X_{56}+Z_{5,12}\\ X_{61}+W_{12,3}& X_{62}+W_{12,4}& X_{63}& X_{64}+W_{12,,8}& X_{65}+W_{12,5}& X_{66}\\ Y_{63}+Z_{57}+W_{13,3}& Y_{64}+Z_{58}+W_{13,4}& Y_{65}+Z_{59}& Z_{5,10}+W_{13,8}& Z_{5,11}+W_{13,5}& Z_{5,12}\\ Y_{73}+Z_{67}+W_{14,3}& Y_{74}+Z_{68}+W_{14,4}& Y_{75}+Z_{69}& Z_{6,10}+W_{14,8}& Z_{6,11}+W_{14,5}& Z_{6,12}\\ Y_{83}+Z_{77}+W_{15,3}& Y_{84}+Z_{78}+W_{15,4}& Y_{85}+Z_{79}& Z_{7,10}+W_{15,8}& Z_{7,11}+W_{15,5}& Z_{7,12}\\ Y_{93}+W_{16,3}& Y_{94}+W_{16,4}& Y_{95}& W_{16,8}& W_{16,5}& 0\\ Z_{97}+W_{17,3}& Z_{98}+W_{17,4}& Z_{9,9}& Z_{9,10}+W_{17,8}& Z_{9,11}+W_{17,5}& Z_{9,12}\\ W_{18,3}& W_{18,4}& 0& W_{18,8}& W_{18,5}& 0\end{array}\hfill \\ \hfill \hspace{1em}& \left.\begin{array}{cccccc}{Y}_{16}+Z_{1,13}+W_{15}& Y_{17}+Z_{1,14}+W_{16}& Y_{18}+Z_{1,15}+W_{17}& Y_{19}+Z_{1,16}& Z_{1,17}+W_{19}& Z_{1,18}\\ Y_{26}+W_{25}& Y_{27}+W_{26}& Y_{28}+W_{27}& Y_{29}& W_{29}& 0\\ Z_{2,13}+W_{35}& Z_{2,14}+W_{36}& Z_{2,15}+W_{37}& Z_{2,16}& Z_{2,17}+W_{39}& Z_{2,18}\\ Z_{3,13}+W_{45}& Z_{3,14}+W_{46}& Z_{3,15}+W_{47}& Z_{3,16}& Z_{3,17}+W_{49}& Z_{3,18}\\ Z_{6,13}+W_{55}& Z_{6,14}+W_{56}& Z_{6,15}+W_{57}& Z_{6,16}& Z_{6,17}+W_{59}& Z_{6,18}\\ W_{65}& W_{66}& W_{67}& 0& W_{69}& 0\\ Y_{36}+Z_{3,13}+W_{75}& Y_{37}+Z_{3,14}+W_{76}& Y_{38}+Z_{3,15}+W_{77}& Y_{39}+Z_{3,16}& Z_{3,17}+W_{79}& Z_{3,18}\\ Y_{46}+Z_{4,13}+W_{85}& Y_{47}+Z_{4,14}+W_{86}& Y_{48}+Z_{4,15}+W_{87}& Y_{49}+Z_{4,16}& Z_{4,17}+W_{89}& Z_{4,18}\\ Y_{56}+W_{95}& Y_{57}+W_{96}& Y_{58}+W_{97}& Y_{59}& W_{99}& 0\\ Z_{8,13}+W_{10,5}& Z_{8,14}+W_{10,6}& Z_{8,15}+W_{10,7}& Z_{8,16}& Z_{8,17}+W_{10,9}& Z_{8,18}\\ Z_{5,13}+W_{11,5}& Z_{5,14}+W_{11,6}& Z_{5,15}+W_{11,7}& Z_{5,16}& Z_{5,17}+W_{11,9}& Z_{5,18}\\ W_{12,5}& W_{12,6}& W_{12,7}& 0& W_{12,9}& 0\\ Y_{66}+Z_{5,13}+W_{13,5}& Y_{67}+Z_{5,14}+W_{13,6}& Y_{68}+Z_{5,15}+W_{13,7}& Y_{69}+Z_{5,16}& Z_{5,17}+W_{13,9}& Z_{5,18}\\ Y_{76}+Z_{6,13}+W_{14,5}& Y_{77}+Z_{6,14}+W_{14,6}& Y_{78}+Z_{6,15}+W_{14,7}& Y_{79}+Z_{6,16}& Z_{6,17}+W_{14,9}& Z_{6,18}\\ Y_{86}+Z_{7,13}+W_{15,5}& Y_{87}+Z_{7,14}+W_{15,6}& Y_{88}+Z_{7,15}+W_{15,7}& Y_{89}+Z_{7,16}& Z_{7,17}+W_{15,9}& Z_{7,18}\\ Y_{96}+W_{16,5}& Y_{97}+W_{16,6}& Y_{98}+W_{16,7}& Y_{99}& W_{16,9}& 0\\ Z_{9,13}+W_{17,5}& Z_{9,14}+W_{17,6}& Z_{9,15}+W_{17,7}& Z_{9,16}& Z_{9,17}+W_{17,9}& Z_{9,18}\\ W_{18,5}& W_{18,6}& W_{18,7}& 0& W_{18,9}& 0\end{array}\right)\hfill \end{array}$$

and

$$\begin{array}{c}\hfill {\left({\Phi }_{ij}\right)}_{8\times 8}=\left(\begin{array}{c}\begin{array}{cccccccc}{X}_{11}& X_{12}& X_{13}& X_{14}& X_{15}& X_{16}& X_{17}& 0\\ X_{21}& X_{22}& X_{23}& X_{24}& X_{25}& X_{26}& X_{27}& 0\\ X_{31}& X_{32}& X_{33}& X_{34}& X_{35}& X_{36}& X_{37}& 0\\ X_{41}& X_{42}& X_{43}& X_{44}& X_{45}& X_{46}& X_{47}& 0\\ X_{51}& X_{52}& X_{53}& X_{54}& X_{55}& X_{56}& X_{57}& 0\\ X_{61}& X_{62}& X_{63}& X_{64}& X_{65}& X_{66}& X_{67}& 0\\ X_{71}& X_{72}& X_{73}& X_{74}& X_{75}& X_{76}& X_{77}& 0\\ 0& 0& 0& 0& 0& 0& 0& 0\end{array}\end{array}\right).\end{array}$$

The following theorem takes into account the solvability conditions to the system (1) from the level of the partion of the coefficient matrixes of equivalent matrix equation system (12) and deduces solvability condition in terms of ranks which is equivalent to block matrixes condition.

Theorem 1.

Consider the system of quaternion matrix Equation (1). Then the following statements are equivalent:

(1) The system (1) is consistent.

(2) [10] The ranks satisfy:

$$\begin{array}{c}\hfill r\left(\begin{array}{c}B\hspace{1em}\Phi \end{array}\right)=r\left(B\right), r\left(\begin{array}{c}\Phi \\ H\end{array}\right)=r\left(H\right),\end{array}$$

(15)

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}\Omega & A& C& D\\ G& 0& 0& 0\end{array}\right)=r\left(\begin{array}{c}A\hspace{1em}C\hspace{1em}D\end{array}\right)+r\left(G\right),\end{array}$$

(16)

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}\Omega & D\\ E& 0\\ F& 0\\ G& 0\end{array}\right)=r\left(\begin{array}{c}E\\ F\\ G\end{array}\right)+r\left(D\right),\end{array}$$

(17)

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & A& D\\ F& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{c}A\hspace{1em}D\end{array}\right)+r\left(\begin{array}{c}F\\ G\end{array}\right),\end{array}$$

(18)

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & C& D\\ E& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{c}C\hspace{1em}D\end{array}\right)+r\left(\begin{array}{c}E\\ G\end{array}\right),\end{array}$$

(19)

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Phi \\ 0& 0& E& H\\ 0& 0& F& 0\\ 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ F& 0\\ G& 0\end{array}\right),\end{array}$$

(20)

$$\begin{array}{c}\hfill r\left(\begin{array}{ccccc}A& C& D& \Omega & 0\\ B& 0& 0& 0& -\Phi \\ 0& 0& 0& E& H\\ 0& 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ G& 0\end{array}\right).\end{array}$$

(21)

(3) The block matrixes satisfy:

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\Phi }_{81}\hspace{1em}{\Phi }_{82}\hspace{1em}\dots \hspace{1em}{\Phi }_{88}\end{array}\right)=0,\end{array}$$

(22)

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\Phi }_{18}\\ {\Phi }_{28}\\ ⋮\\ {\Phi }_{78}\end{array}\right)=0,\end{array}$$

(23)

$$\begin{array}{c}\hfill \left\{\begin{array}{c} {\Omega }_{18,4}={\Omega }_{18,7}, {\Omega }_{18,11}={\Omega }_{18,13}, {\Omega }_{18,5}={\Omega }_{18,14}, {\Omega }_{18,18}=0,\\ {\Omega }_{18,2}=0, {\Omega }_{18,6}=0, {\Omega }_{18,9}=0,{\Omega }_{18,12}=0, {\Omega }_{18,16}=0,\end{array}\right.\end{array}$$

(24)

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\Omega }_{4,18}={\Omega }_{7,18}, {\Omega }_{5,18}={\Omega }_{14,18}, {\Omega }_{11,18}={\Omega }_{13,18},\\ {\Omega }_{2,18}=0, {\Omega }_{6,18}=0, {\Omega }_{9,18}=0, {\Omega }_{12,18}=0, {\Omega }_{16,18}=0,\end{array}\right.\end{array}$$

(25)

$$\begin{array}{c}\hfill {\Omega }_{16,6}=0, {\Omega }_{16,12}=0,\end{array}$$

(26)

$$\begin{array}{c}\hfill {\Omega }_{6,16}=0, {\Omega }_{12,16}=0,\end{array}$$

(27)

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\Omega }_{9,12}={\Phi }_{36},\\ {\Omega }_{12,12}={\Phi }_{66},\\ {\Phi }_{56}={\Omega }_{11,12}-{\Omega }_{13,12},\end{array}\right.\end{array}$$

(28)

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\Omega }_{12,9}={\Phi }_{63},\\ {\Omega }_{12,12}={\Phi }_{66},\\ {\Phi }_{65}={\Omega }_{12,11}-{\Omega }_{12,13}.\end{array}\right.\end{array}$$

(29)

In this case, the general solution to the system (1) can be written as

$$\begin{array}{c}\hfill X=P\widehat{X}{P}_1,\hspace{1em}Y=Q\widehat{Y}{Q}_1,\hspace{1em}Z=S\widehat{Z}{M}_1^{-1},\hspace{1em}W=M^{-1}\widehat{W}{S}_1,\end{array}$$

(30)

where

$$\begin{array}{c}\hfill \widehat{X}=\left(\begin{array}{ccccccc}{\Phi }_{11}& {\Phi }_{12}& {\Phi }_{13}& {\Phi }_{14}& {\Phi }_{15}& {\Phi }_{16}& {\Phi }_{17}\\ {\Phi }_{21}& {\Phi }_{22}& {\Phi }_{23}& {\Phi }_{24}& {\Phi }_{25}& {\Phi }_{26}& {\Phi }_{27}\\ {\Phi }_{31}& {\Phi }_{32}& {\Phi }_{33}& {\Phi }_{34}& {\Phi }_{35}& {\Phi }_{36}& {\Phi }_{37}\\ {\Phi }_{41}& {\Phi }_{42}& {\Phi }_{43}& {\Phi }_{44}& {\Phi }_{45}& {\Phi }_{46}& {\Phi }_{47}\\ {\Phi }_{51}& {\Phi }_{52}& {\Phi }_{53}& {\Phi }_{54}& {\Phi }_{55}& {\Phi }_{56}& {\Phi }_{57}\\ {\Phi }_{61}& {\Phi }_{62}& {\Phi }_{63}& {\Phi }_{64}& {\Phi }_{65}& {\Phi }_{66}& {\Phi }_{67}\\ {\Phi }_{71}& {\Phi }_{72}& {\Phi }_{73}& {\Phi }_{74}& {\Phi }_{75}& {\Phi }_{76}& {\Phi }_{77}\\ {\Omega }_{17}-Y_{13}-Z_{17}-W_{13}& {\Omega }_{18}-Y_{14}-Z_{18}-W_{14}& {\Omega }_{19}-Y_{15}-Z_{19}& {\Omega }_{1,10}-Z_{1,10}-W_{18}& {\Omega }_{1,11}-Z_{1,11}-W_{15}& {\Omega }_{1,12}-Z_{12}& X_{87}\\ {\Omega }_{27}-Y_{23}-W_{23}& {\Omega }_{28}-Y_{24}-W_{24}& {\Omega }_{29}-Y_{25}& {\Omega }_{2,10}-W_{28}& {\Omega }_{2,11}-W_{25}& {\Omega }_{2,12}& X_{97}\\ {\Omega }_{37}-Z_{27}-W_{33}& {\Omega }_{38}-Z_{28}-W_{34}& {\Omega }_{39}-Z_{29}& {\Omega }_{3,10}-Z_{2,10}-W_{38}& {\Omega }_{3,11}-Z_{2,11}-W_{35}& {\Omega }_{3,12}-Z_{2,12}& X_{10,7}\\ {\Omega }_{47}-Z_{37}-W_{43}& {\Omega }_{48}-Z_{38}-W_{44}& {\Omega }_{49}-Z_{39}& {\Omega }_{4,10}-Z_{3,10}-W_{48}& {\Omega }_{4,11}-Z_{3,11}-W_{45}& {\Omega }_{4,12}-Z_{3,12}& X_{11,7}\\ {\Omega }_{57}-Z_{67}-W_{53}& {\Omega }_{58}-Z_{68}-W_{54}& {\Omega }_{59}-Z_{69}& {\Omega }_{5,10}-Z_{6,10}-W_{58}& {\Omega }_{5,11}-Z_{6,11}-W_{55}& {\Omega }_{5,12}-Z_{6,12}& X_{12,7}\\ {\Omega }_{67}-W_{63}& {\Omega }_{68}-W_{64}& {\Omega }_{69}& {\Omega }_{6,10}-W_{68}& {\Omega }_{6,11}-W_{65}& {\Omega }_{6,12}& X_{13,7}\\ X_{14,1}& X_{14,2}& X_{14,3}& X_{14,4}& X_{14,5}& X_{14,6}& X_{14,7}\end{array}\right.\\ \hfill \left.\begin{array}{ccccccc}{\Omega }_{71}-Y_{31}-Z_{31}-W_{71}& {\Omega }_{72}-Y_{32}-Z_{32}& {\Omega }_{73}-Z_{33}-W_{72}& {\Omega }_{74}-Z_{34}-W_{73}& {\Omega }_{75}-Z_{35}-W_{76}& {\Omega }_{76}-Z_{36}& X_{1,14}\\ {\Omega }_{81}-Y_{41}-Z_{41}-W_{81}& {\Omega }_{82}-Y_{42}-Z_{42}& {\Omega }_{83}-Z_{43}-W_{82}& {\Omega }_{84}-Z_{44}-W_{83}& {\Omega }_{85}-Z_{45}-W_{86}& {\Omega }_{86}-Z_{46}& X_{2,14}\\ {\Omega }_{91}-Y_{51}-W_{91}& {\Omega }_{92}-Y_{52}& {\Omega }_{93}-W_{92}& {\Omega }_{94}-W_{93}& {\Omega }_{95}-W_{96}& {\Omega }_{96}& X_{3,14}\\ {\Omega }_{10,1}-Z_{81}-W_{10,1}& {\Omega }_{10,2}-Z_{82}& {\Omega }_{10,3}-Z_{83}-W_{10,2}& {\Omega }_{10,4}-Z_{84}-W_{10,3}& {\Omega }_{10,5}-Z_{85}-W_{10,6}& {\Omega }_{10,6}-Z_{86}& X_{4,14}\\ {\Omega }_{11,1}-Z_{51}-W_{11,1}& {\Omega }_{11,2}-Z_{52}& {\Omega }_{11,3}-Z_{53}-W_{11,2}& {\Omega }_{11,4}-Z_{54}-W_{11,3}& {\Omega }_{11,5}-Z_{55}-W_{11,6}& {\Omega }_{11,6}-Z_{56}& X_{5,14}\\ {\Omega }_{12,1}-W_{12,1}& {\Omega }_{12,2}& {\Omega }_{12,3}-W_{12,2}& {\Omega }_{12,4}-W_{12,3}& {\Omega }_{12,5}-W_{12,6}& {\Omega }_{12,6}& X_{6,14}\\ X_{78}& X_{79}& X_{7,10}& X_{7,11}& X_{7,12}& X_{7,13}& X_{7,14}\\ {\Omega }_{11}-Y_{11}-Z_{11}-W_{11}& {\Omega }_{12}-Y_{12}-Z_{12}& {\Omega }_{13}-Z_{13}-W_{12}& {\Omega }_{14}-Z_{14}-W_{13}& {\Omega }_{15}-Z_{15}-W_{16}& {\Omega }_{16}-Z_{16}& X_{8,14}\\ {\Omega }_{21}-Y_{21}-W_{21}& {\Omega }_{22}-Y_{22}& {\Omega }_{23}-W_{22}& {\Omega }_{24}-W_{23}& {\Omega }_{25}-W_{26}& {\Omega }_{26}& X_{9,14}\\ {\Omega }_{31}-Z_{21}-W_{31}& {\Omega }_{32}-Z_{22}& {\Omega }_{33}-Z_{23}-W_{32}& {\Omega }_{34}-Z_{24}-W_{33}& {\Omega }_{35}-Z_{25}-W_{36}& {\Omega }_{36}-Z_{26}& X_{10,14}\\ {\Omega }_{41}-Z_{31}-W_{41}& {\Omega }_{42}-Z_{32}& {\Omega }_{43}-Z_{33}-W_{42}& {\Omega }_{44}-Z_{34}-W_{43}& {\Omega }_{45}-Z_{35}-W_{46}& {\Omega }_{46}-Z_{36}& X_{11,14}\\ {\Omega }_{51}-Z_{61}-W_{51}& {\Omega }_{52}-Z_{62}& {\Omega }_{53}-Z_{63}-W_{52}& {\Omega }_{54}-Z_{64}-W_{53}& {\Omega }_{55}-Z_{65}-W_{56}& {\Omega }_{56}-Z_{66}& X_{12,14}\\ {\Omega }_{61}-W_{61}& {\Omega }_{62}& {\Omega }_{63}-W_{62}& {\Omega }_{64}-W_{63}& {\Omega }_{65}-W_{66}& {\Omega }_{66}& X_{13,14}\\ X_{14,8}& X_{14,9}& X_{14,10}& X_{14,11}& X_{14,12}& X_{14,13}& X_{14,14}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \widehat{Y}=\left(\begin{array}{ccccc}{Y}_{11}& Y_{12}& Y_{13}& Y_{14}& Y_{15}\\ Y_{21}& Y_{22}& Y_{23}& Y_{24}& Y_{25}\\ Y_{31}& Y_{32}& {\Omega }_{77}-{\Phi }_{11}-Z_{37}-W_{73}& {\Omega }_{78}-{\Phi }_{12}-Z_{38}-W_{74}& {\Omega }_{79}-{\Phi }_{13}-Z_{39}\\ Y_{41}& Y_{42}& {\Omega }_{87}-{\Phi }_{21}-Z_{47}-W_{83}& {\Omega }_{88}-{\Phi }_{22}-Z_{48}-W_{84}& {\Omega }_{89}-{\Phi }_{23}-Z_{49}\\ Y_{51}& Y_{52}& {\Omega }_{97}-{\Phi }_{31}-W_{93}& {\Omega }_{98}-{\Phi }_{32}-W_{94}& {\Omega }_{99}-{\Phi }_{33}\\ {\Omega }_{13,1}-Z_{51}-W_{13,1}& {\Omega }_{13,2}-Z_{52}& {\Omega }_{13,7}-Z_{57}-W_{13,3}& {\Omega }_{13,8}-Z_{58}-W_{13,4}& {\Omega }_{13,9}-Z_{59}\\ {\Omega }_{14,1}-Z_{61}-W_{14,1}& {\Omega }_{14,2}-Z_{62}& {\Omega }_{14,7}-Z_{67}-W_{14,3}& {\Omega }_{14,8}-Z_{68}-W_{14,4}& {\Omega }_{14,9}-Z_{69}\\ {\Omega }_{15,1}-Z_{71}-W_{15,1}& {\Omega }_{15,2}-Z_{72}& {\Omega }_{15,7}-Z_{77}-W_{15,3}& {\Omega }_{15,8}-Z_{78}-W_{15,4}& {\Omega }_{15,9}-Z_{79}\\ {\Omega }_{16,1}-W_{16,1}& {\Omega }_{16,2}& {\Omega }_{16,7}-W_{16,3}& {\Omega }_{16,8}-W_{16,4}& {\Omega }_{16,9}\\ Y_{10,1}& Y_{10,2}& Y_{10,3}& Y_{10,4}& Y_{10,5}\end{array}\right.\\ \hfill \left.\begin{array}{ccccc}{\Omega }_{1,13}-Z_{1,13}-W_{15}& {\Omega }_{1,14}-Z_{1,14}-W_{16}& {\Omega }_{1,15}-Z_{1,15}-W_{17}& {\Omega }_{1,16}-Z_{1,16}& Y_{1,10}\\ {\Omega }_{2,13}-W_{25}& {\Omega }_{2,14}-W_{26}& {\Omega }_{2,15}-W_{27}& {\Omega }_{2,16}& Y_{2,10}\\ {\Omega }_{7,13}-Z_{3,13}-W_{75}& {\Omega }_{7,14}-Z_{3,14}-W_{76}& {\Omega }_{7,15}-Z_{3,15}-W_{77}& {\Omega }_{7,16}-Z_{3,16}& Y_{3,10}\\ {\Omega }_{8,13}-Z_{4,13}-W_{85}& {\Omega }_{8,14}-Z_{4,14}-W_{86}& {\Omega }_{8,15}-Z_{4,15}-W_{87}& {\Omega }_{8,16}-Z_{4,16}& Y_{4,10}\\ {\Omega }_{9,13}-W_{95}& {\Omega }_{9,14}-W_{96}& {\Omega }_{9,15}-W_{97}& {\Omega }_{9,16}& Y_{5,10}\\ {\Omega }_{13,13}-Z_{5,13}-W_{13,5}& {\Omega }_{13,14}-Z_{5,14}-W_{13,6}& {\Omega }_{13,15}-Z_{5,15}-W_{13,7}& {\Omega }_{13,16}-Z_{5,16}& Y_{6,10}\\ {\Omega }_{14,13}-Z_{6,13}-W_{14,5}& {\Omega }_{14,14}-Z_{6,14}-W_{14,6}& {\Omega }_{14,15}-Z_{6,15}-W_{14,7}& {\Omega }_{14,16}-Z_{6,16}& Y_{7,10}\\ {\Omega }_{15,13}-Z_{7,13}-W_{15,5}& {\Omega }_{15,14}-Z_{7,14}-W_{15,6}& {\Omega }_{15,15}-Z_{7,15}-W_{15,7}& {\Omega }_{15,16}-Z_{7,16}& Y_{8,10}\\ {\Omega }_{16,13}-W_{16,5}& {\Omega }_{16,14}-W_{16,6}& {\Omega }_{16,15}-W_{16,7}& {\Omega }_{16,16}& Y_{9,10}\\ Y_{10,6}& Y_{10,7}& Y_{10,8}& Y_{10,9}& Y_{10,10}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \widehat{Z}=\left(\begin{array}{ccccccc}{Z}_{11}& Z_{12}& Z_{13}& Z_{14}& Z_{15}& Z_{16}& Z_{17}\\ Z_{21}& Z_{22}& Z_{23}& Z_{24}& Z_{25}& Z_{26}& Z_{27}\\ Z_{31}& Z_{32}& Z_{33}& Z_{34}& Z_{35}& Z_{36}& Z_{37}\\ Z_{41}& Z_{42}& Z_{43}& Z_{44}& Z_{45}& Z_{46}& Z_{47}\\ Z_{51}& Z_{52}& {\Omega }_{13,3}-W_{13,2}& {\Omega }_{13,4}-W_{13,3}& {\Omega }_{13,5}-W_{13,6}& {\Omega }_{13,6}& {\Omega }_{11,7}-{\Phi }_{51}-W_{11,3}\\ Z_{61}& Z_{62}& {\Omega }_{14,3}-W_{14,2}& {\Omega }_{14,4}-W_{14,3}& {\Omega }_{14,5}-W_{14,6}& {\Omega }_{14,6}& Z_{67}\\ Z_{71}& Z_{72}& {\Omega }_{15,3}-W_{15,2}& {\Omega }_{15,4}-W_{15,3}& {\Omega }_{15,5}-W_{15,6}& {\Omega }_{15,6}& Z_{77}\\ Z_{81}& Z_{82}& Z_{83}& Z_{84}& Z_{85}& Z_{86}& {\Omega }_{10,7}-{\Phi }_{41}-W_{10,3}\\ {\Omega }_{17,1}-W_{17,1}& {\Omega }_{17,2}& {\Omega }_{17,3}-W_{17,2}& {\Omega }_{17,4}-W_{17,3}& {\Omega }_{17,5}-W_{17,6}& {\Omega }_{17,6}& {\Omega }_{17,7}-W_{17,3}\\ Z_{10,1}& Z_{10,2}& Z_{10,3}& Z_{10,4}& Z_{10,5}& Z_{10,6}& Z_{10,7}\end{array}\right.\\ \hfill \begin{array}{ccccc}{Z}_{18}& Z_{19}& Z_{1,10}& Z_{1,11}& Z_{1,12}\\ Z_{28}& Z_{29}& Z_{2,10}& Z_{2,11}& Z_{2,12}\\ Z_{38}& Z_{39}& {\Omega }_{7,10}-{\Phi }_{14}-W_{78}& {\Omega }_{7,11}-{\Phi }_{15}-W_{75}& {\Omega }_{7,12}-{\Phi }_{16}\\ Z_{48}& Z_{49}& {\Omega }_{8,10}-{\Phi }_{24}-W_{88}& {\Omega }_{8,11}-{\Phi }_{25}-W_{85}& {\Omega }_{8,12}-{\Phi }_{26}\\ {\Omega }_{11,8}-{\Phi }_{52}-W_{11,4}& {\Omega }_{11,9}-{\Phi }_{53}& {\Omega }_{13,10}-W_{13,8}& {\Omega }_{13,11}-W_{13,5}& {\Omega }_{13,12}\\ Z_{68}& Z_{69}& {\Omega }_{14,10}-W_{14,8}& {\Omega }_{14,11}-W_{14,5}& {\Omega }_{14,12}\\ Z_{78}& Z_{79}& {\Omega }_{15,10}-W_{15,8}& {\Omega }_{15,11}-W_{15,5}& {\Omega }_{15,12}\\ {\Omega }_{10,8}-{\Phi }_{42}-W_{10,4}& {\Omega }_{10,9}-{\Phi }_{43}& {\Omega }_{10,10}-{\Phi }_{44}-W_{10,8}& {\Omega }_{10,11}-{\Phi }_{45}-W_{10,5}& {\Omega }_{10,12}-{\Phi }_{46}\\ {\Omega }_{17,8}-W_{17,4}& {\Omega }_{17,9}& {\Omega }_{17,10}-W_{17,8}& {\Omega }_{17,11}-W_{17,5}& {\Omega }_{17,12}\\ Z_{10,8}& Z_{10,9}& Z_{10,10}& Z_{10,11}& Z_{10,12}\end{array}\end{array}$$

$$\begin{array}{c}\hfill \left.\begin{array}{cccccc}{Z}_{1,13}& Z_{1,14}& Z_{1,15}& Z_{1,16}& {\Omega }_{1,17}-W_{19}& {\Omega }_{1,18}\\ {\Omega }_{3,13}-W_{35}& {\Omega }_{3,14}-W_{36}& {\Omega }_{3,15}-W_{37}& {\Omega }_{3,16}& {\Omega }_{3,17}-W_{39}& {\Omega }_{3,18}\\ {\Omega }_{4,13}-W_{45}& {\Omega }_{4,14}-W_{46}& {\Omega }_{4,15}-W_{47}& {\Omega }_{4,16}& {\Omega }_{4,17}-W_{49}& {\Omega }_{4,18}\\ Z_{4,13}& Z_{4,14}& Z_{4,15}& Z_{4,16}& {\Omega }_{8,17}-W_{89}& {\Omega }_{8,18}\\ {\Omega }_{11,13}-W_{11,5}& {\Omega }_{11,14}-W_{11,6}& {\Omega }_{11,15}-W_{11,7}& {\Omega }_{11,16}& {\Omega }_{11,17}-W_{11,9}& {\Omega }_{11,18}\\ {\Omega }_{5,13}-W_{55}& {\Omega }_{5,14}-W_{56}& {\Omega }_{5,15}-W_{57}& {\Omega }_{5,16}& {\Omega }_{5,17}-W_{59}& {\Omega }_{5,18}\\ Z_{7,13}& Z_{7,14}& Z_{7,15}& Z_{7,16}& {\Omega }_{15,17}-W_{15,9}& {\Omega }_{15,18}\\ {\Omega }_{10,13}-W_{10,5}& {\Omega }_{10,14}-W_{10,6}& {\Omega }_{10,15}-W_{10,7}& {\Omega }_{10,16}& {\Omega }_{10,17}-W_{10,9}& {\Omega }_{10,18}\\ {\Omega }_{17,13}-W_{17,5}& {\Omega }_{17,14}-W_{17,6}& {\Omega }_{17,15}-W_{17,7}& {\Omega }_{17,16}& {\Omega }_{17,17}-W_{17,9}& {\Omega }_{17,18}\\ Z_{10,13}& Z_{10,14}& Z_{10,15}& Z_{10,16}& Z_{10,17}& Z_{10,18}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \widehat{W}=\left(\begin{array}{c}\begin{array}{cccccccccc}{W}_{11}& W_{12}& W_{13}& W_{14}& W_{15}& W_{16}& W_{17}& W_{18}& W_{19}& W_{1,10}\\ W_{21}& W_{22}& W_{23}& W_{24}& W_{25}& W_{26}& W_{27}& W_{28}& {\Omega }_{2,17}& W_{2,10}\\ W_{31}& W_{32}& W_{33}& W_{34}& W_{35}& W_{36}& W_{37}& W_{38}& W_{39}& W_{3,10}\\ W_{41}& W_{42}& W_{43}& W_{44}& W_{45}& W_{46}& W_{47}& W_{48}& W_{49}& W_{4,10}\\ W_{51}& W_{52}& W_{53}& W_{54}& W_{55}& W_{56}& W_{57}& W_{58}& W_{59}& W_{5,10}\\ W_{61}& W_{62}& W_{63}& W_{64}& {\Omega }_{6,13}& {\Omega }_{6,14}& {\Omega }_{6,15}& W_{68}& {\Omega }_{6,17}& W_{6,10}\\ W_{71}& W_{72}& W_{73}& W_{74}& W_{75}& W_{76}& W_{77}& W_{78}& W_{79}& W_{7,10}\\ W_{81}& W_{82}& W_{83}& W_{84}& W_{85}& W_{86}& W_{87}& W_{88}& W_{89}& W_{8,10}\\ W_{91}& W_{92}& W_{93}& W_{94}& {\Omega }_{9,11}-{\Phi }_{35}& W_{96}& W_{97}& {\Omega }_{9,10}-{\Phi }_{34}& {\Omega }_{9,17}& W_{9,10}\\ W_{10,1}& W_{10,2}& W_{10,3}& W_{10,4}& W_{10,5}& W_{10,6}& W_{10,7}& W_{10,8}& W_{10,9}& W_{10,10}\\ W_{11,1}& W_{11,2}& W_{11,3}& W_{11,4}& W_{11,5}& W_{11,6}& W_{11,7}& W_{11,8}& W_{11,9}& W_{11,10}\\ W_{12,1}& W_{12,2}& {\Omega }_{12,7}-{\Phi }_{61}& {\Omega }_{12,8}-{\Phi }_{62}& {\Omega }_{12,13}& {\Omega }_{12,14}& {\Omega }_{12,15}& {\Omega }_{12,10}-{\Phi }_{64}& {\Omega }_{12,17}& W_{12,10}\\ W_{13,1}& W_{13,2}& W_{13,3}& W_{13,4}& W_{13,5}& W_{13,6}& W_{13,7}& W_{13,8}& W_{13,9}& W_{13,10}\\ W_{14,1}& W_{14,2}& W_{14,3}& W_{14,4}& W_{14,5}& W_{14,6}& W_{14,7}& W_{14,8}& W_{14,9}& W_{14,10}\\ W_{15,1}& W_{15,2}& W_{15,3}& W_{15,4}& W_{15,5}& W_{15,6}& W_{15,7}& W_{15,8}& W_{15,9}& W_{15,10}\\ W_{16,1}& {\Omega }_{16,3}& {\Omega }_{16,4}& W_{16,4}& {\Omega }_{16,11}& {\Omega }_{16,5}& W_{16,7}& {\Omega }_{16,10}& {\Omega }_{16,17}& W_{16,10}\\ W_{17,1}& W_{17,2}& W_{17,3}& W_{17,4}& W_{17,5}& W_{17,6}& W_{17,7}& W_{17,8}& W_{17,9}& W_{17,10}\\ {\Omega }_{18,1}& {\Omega }_{18,3}& {\Omega }_{18,4}& {\Omega }_{18,8}& {\Omega }_{18,11}& {\Omega }_{18,5}& {\Omega }_{18,15}& {\Omega }_{18,10}& {\Omega }_{18,17}& W_{18,10}\end{array}\end{array}\right),\end{array}$$

$P , Q, S, M, P_1, Q_1, S_1, M_1$are defined in (6) and (7),${\Omega }_{ij}, {\Phi }_{ij}$are defined in (13) , (14) , respectively,$X_{ij}, Y_{ij}, Z_{ij}$and$W_{ij}$are arbitrary matrixes over$\mathbb{H}$with appropriate sizes.

Proof. 

(1) ⇒ (2): Suppose $(X_0,Y_0,Z_0,W_0)$ is a solution to the system (1), that is

$$\begin{array}{c}\hfill \left\{\begin{array}{c} A{X}_{0}E+C{Y}_{0}F+D{Z}_0+W_{0}G=\Omega ,\\ B{X}_{0}H=\Phi ,\end{array}\right.\end{array}$$

(31)

we can employ elementary matrix operations to show that the rank equalities (15)–(21) hold.

(2) ⇔ (3): From $S_a$, $S_b$, $S_c$, $S_d$, $S_e$, $S_f$, $S_g$, $S_h$ in (4) and (5), we can infer that

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}B& \Phi \end{array}\right)=r\left(B\right)\iff r\left(\begin{array}{cc}{S}_b& {\left({\Phi }_{ij}\right)}_{8\times 8}\end{array}\right)=r\left(S_b\right)\iff \left(\begin{array}{cccc}{\Phi }_{81}& {\Phi }_{82}& \dots & {\Phi }_{88}\end{array}\right)=0,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{c}\Phi \\ H\end{array}\right)=r\left(H\right)\iff r\left(\begin{array}{c}{\left({\Phi }_{ij}\right)}_{8\times 8}\\ S_h\end{array}\right)=r\left(S_h\right)\iff \left(\begin{array}{c}{\Phi }_{18}\\ {\Phi }_{28}\\ ⋮\\ {\Phi }_{78}\\ {\Phi }_{88}\end{array}\right)=0.\end{array}$$

Similarly, we have

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{cccc}\Omega & A& C& D\\ G& 0& 0& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\end{array}\right)+r\left(G\right)\hfill \\ \iff \left\{\begin{array}{c}{\Omega }_{18,4}={\Omega }_{18,7},{\Omega }_{18,11}={\Omega }_{18,13},{\Omega }_{18,5}={\Omega }_{18,14},{\Omega }_{18,18}=0,\\ {\Omega }_{18,2}=0,{\Omega }_{18,6}=0,{\Omega }_{18,9}=0,{\Omega }_{18,12}=0,{\Omega }_{18,16}=0,\end{array}\right.\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{cc}\Omega & D\\ E& 0\\ F& 0\\ G& 0\end{array}\right)=r\left(\begin{array}{c}E\\ F\\ G\end{array}\right)+r\left(D\right)\hfill \\ \iff \left\{\begin{array}{c}{\Omega }_{4,18}={\Omega }_{7,18},{\Omega }_{5,18}={\Omega }_{14,18},{\Omega }_{11,18}={\Omega }_{13,18},{\Omega }_{18,18}=0,\\ {\Omega }_{2,18}=0,{\Omega }_{6,18}=0,{\Omega }_{9,18}=0,{\Omega }_{12,18}=0,{\Omega }_{16,18}=0,\end{array}\right.\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{ccc}\Omega & A& D\\ F& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\end{array}\right)+r\left(\begin{array}{c}F\\ G\end{array}\right)\hfill \\ \iff {\Omega }_{16,6}=0,{\Omega }_{16,12}=0,{\Omega }_{16,18}=0,{\Omega }_{18,6}=0,{\Omega }_{18,12}=0,{\Omega }_{18,18}=0,\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{ccc}\Omega & C& D\\ E& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{c}E\\ G\end{array}\right)+r\left(\begin{array}{cc}C& D\end{array}\right)\hfill \\ \iff {\Omega }_{6,16}=0,{\Omega }_{12,16}=0,{\Omega }_{18,16}=0,{\Omega }_{6,18}=0,{\Omega }_{12,18}=0,{\Omega }_{18,18}=0,\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Phi \\ 0& 0& E& H\\ 0& 0& F& 0\\ 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ F& 0\\ G& 0\end{array}\right)\hfill \\ \iff \left\{\begin{array}{c}{\Omega }_{9,12}={\Phi }_{36},{\Omega }_{18,12}=0,{\Omega }_{18,18}=0,{\Omega }_{16,12}=0,\\ {\Omega }_{12,12}={\Phi }_{66},{\Omega }_{16,18}=0,{\Omega }_{12,18}=0,\\ {\Phi }_{56}={\Omega }_{11,12}-{\Omega }_{13,12},{\Omega }_{11,18}={\Omega }_{13,18},\end{array}\right.\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}\hspace{1em}r\left(\begin{array}{ccccc}A& C& D& \Omega & 0\\ B& 0& 0& 0& -\Phi \\ 0& 0& 0& E& H\\ 0& 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ G& 0\end{array}\right)\hfill \\ \iff \left\{\begin{array}{c}{\Omega }_{12,9}={\Phi }_{63},{\Omega }_{18,9}=0,{\Omega }_{18,12}=0,{\Omega }_{18,16}=0,\\ {\Omega }_{12,12}={\Phi }_{66},{\Omega }_{18,18}=0,{\Omega }_{12,16}=0,{\Omega }_{12,18}=0,\\ {\Phi }_{65}={\Omega }_{12,11}-{\Omega }_{12,13},{\Omega }_{18,11}={\Omega }_{18,13}=0.\end{array}\right.\hfill \end{array}$$

(3) ⇒ (1): If (22)–(29) are established, then (30) is the general solution of the system (1). □

Remark 1.

We use a new method which differs from the one presented in [10] to obtain our result.

3. A Numerical Example of the System (1)

In this section, we give an numerical example to demonstrate the availability of Theorem 1.

Example 1.

Let

$$\begin{array}{c}\hfill A=\left(\begin{array}{ccc}\mathbf{j}& \mathbf{k}& \mathbf{i}\\ 0& 1& \mathbf{k}\\ 1& 0& \mathbf{j}\end{array}\right), B=\left(\begin{array}{ccc}\mathbf{j}& \mathbf{k}& \mathbf{i}\\ 3\mathbf{j}& 3\mathbf{k}& 3\mathbf{i}\\ -2\mathbf{j}& -2\mathbf{k}& -2\mathbf{i}\end{array}\right), C=\left(\begin{array}{ccc}\mathbf{j}-\mathbf{k}& 2\mathbf{i}+\mathbf{k}& 0\\ 1& 0& \mathbf{i}\\ 1+\mathbf{j}-\mathbf{k}& 2\mathbf{i}+\mathbf{k}& \mathbf{i}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill D=\left(\begin{array}{ccc}\mathbf{i}& \mathbf{j}& \mathbf{k}\\ \mathbf{i}+\mathbf{j}+\mathbf{k}& 0& 1\\ \mathbf{j}+\mathbf{k}& -\mathbf{j}& 1-\mathbf{k}\end{array}\right), E=\left(\begin{array}{ccc}\mathbf{j}+\mathbf{k}& \mathbf{j}-\mathbf{k}& \mathbf{i}\\ 1+\mathbf{j}& \mathbf{k}& -\mathbf{i}\\ 1+\mathbf{j}+\mathbf{k}& \mathbf{j}& 0\end{array}\right), F=\left(\begin{array}{ccc}\mathbf{k}& \mathbf{j}& 0\\ 1& \mathbf{i}& \mathbf{k}\\ 1+\mathbf{k}& \mathbf{i}+\mathbf{j}& \mathbf{k}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill G=\left(\begin{array}{ccc}0& 1& \mathbf{j}\\ \mathbf{i}& 0& \mathbf{k}\\ \mathbf{i}& 1& \mathbf{j}+\mathbf{k}\end{array}\right), H=\left(\begin{array}{ccc}-3& -\mathbf{k}& -\mathbf{i}\\ -3\mathbf{j}& -3\mathbf{i}& \mathbf{k}\\ -3-3\mathbf{j}& -\mathbf{k}-\mathbf{i}& \mathbf{k}-\mathbf{i}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \Omega =\left(\begin{array}{ccc}-29-13\mathbf{i}+2\mathbf{j}+14\mathbf{k}& 12-21\mathbf{i}+14\mathbf{j}-8\mathbf{k}& -18+6\mathbf{i}+15\mathbf{j}-4\mathbf{k}\\ -5+4\mathbf{i}+10\mathbf{j}+6\mathbf{k}& -8+3\mathbf{i}+6\mathbf{j}-5\mathbf{k}& -6+5\mathbf{i}-2\mathbf{j}+6\mathbf{k}\\ -19-\mathbf{i}+13\mathbf{j}+16\mathbf{j}& 5-14\mathbf{i}+18\mathbf{j}-10\mathbf{k}& -20+3\mathbf{i}+5\mathbf{j}+6\mathbf{k}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \Phi =\left(\begin{array}{ccc}9-6\mathbf{i}+3\mathbf{j}-3\mathbf{k}& 1+\mathbf{i}+2\mathbf{j}+3\mathbf{k}& 2+3\mathbf{i}-\mathbf{j}-\mathbf{k}\\ 27-18\mathbf{i}+9\mathbf{j}-9\mathbf{k}& 3+3\mathbf{i}+6\mathbf{j}+9\mathbf{k}& 6+9\mathbf{i}-3\mathbf{j}-3\mathbf{k}\\ -18+12\mathbf{i}-6\mathbf{j}+6\mathbf{k}& -2-2\mathbf{i}-4\mathbf{j}-6\mathbf{k}& -4-6\mathbf{i}+2\mathbf{j}+2\mathbf{k}\end{array}\right).\end{array}$$

Consider the system (1). By a straightforward calculation, we have

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}B& \Phi \end{array}\right)=r\left(B\right)=1, r\left(\begin{array}{c}\Phi \\ H\end{array}\right)=r\left(H\right)=1, \end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}\Omega & A& C& D\\ G& 0& 0& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\end{array}\right)+r\left(G\right)=3+2=5,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}\Omega & D\\ E& 0\\ F& 0\\ G& 0\end{array}\right)=r\left(\begin{array}{c}E\\ F\\ G\end{array}\right)+r\left(D\right)=3+2=5,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & A& D\\ F& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\end{array}\right)+r\left(\begin{array}{c}F\\ G\end{array}\right)=3+3=6,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & C& D\\ E& 0& 0\\ G& 0& 0\end{array}\right)=r\left(\begin{array}{cc}C& D\end{array}\right)+r\left(\begin{array}{c}E\\ G\end{array}\right)=3+3=6,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Phi \\ 0& 0& E& H\\ 0& 0& F& 0\\ 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ F& 0\\ G& 0\end{array}\right)=4+4=8,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{ccccc}A& C& D& \Omega & 0\\ B& 0& 0& 0& -\Phi \\ 0& 0& 0& E& H\\ 0& 0& 0& G& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right)+r\left(\begin{array}{cc}E& H\\ G& 0\end{array}\right)=4+4=8.\end{array}$$

The system (1) is consistent since all the rank equalities in (15)–(21) hold. Moreover, it is easy to show that

$$\begin{array}{c}\hfill X=\left(\begin{array}{ccc}1& \mathbf{j}& \mathbf{i}+2\mathbf{k}\\ 2& \mathbf{i}+3\mathbf{j}& \mathbf{k}\\ \mathbf{i}-\mathbf{k}& \mathbf{i}& \mathbf{j}\end{array}\right), Y=\left(\begin{array}{ccc}\mathbf{k}& 3+2\mathbf{j}& \mathbf{i}+\mathbf{j}\\ 0& -1+2\mathbf{j}& 8\mathbf{j}\\ \mathbf{j}& 2+3\mathbf{j}& \mathbf{i}+\mathbf{k}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill Z=\left(\begin{array}{ccc}\mathbf{i}+\mathbf{k}& 2\mathbf{k}& 2+\mathbf{j}\\ 2\mathbf{j}& -1+\mathbf{k}& 2\\ 2+\mathbf{j}& 2\mathbf{j}& -1-\mathbf{k}\end{array}\right)\end{array}$$

and

$$\begin{array}{c}\hfill W=\left(\begin{array}{ccc}\mathbf{i}+\mathbf{j}& -3+\mathbf{k}& 2-\mathbf{k}\\ -2+2\mathbf{j}& -\mathbf{j}& -\mathbf{i}\\ 0& 3+\mathbf{k}& \mathbf{i}-\mathbf{j}\end{array}\right)\end{array}$$

is a solution that satisfies the system (1).

4. Solvability Conditions to the System (2) Involving $\mathbf{\varphi }$-Hermicity

In this section, we provide some consistency conditions to the system of quaternion matrix Equation (2),

$$\begin{array}{c}\hfill \left\{\begin{array}{c} AX{A}_{\varphi }+CY{C}_{\varphi }+DZ+{\left(DZ\right)}_{\varphi }=\Omega ,\\ BX{B}_{\varphi }=\Theta ,\end{array}\right.\end{array}$$

to obtain a $\varphi$-Hermitian solution as an application of the system (1), where $A, B, C, D, \Omega ={\Omega }_{\varphi }$ and $\Theta ={\Theta }_{\varphi }$ are given quaternion matrixes, X and Y are $\varphi$-Hermitian unknowns.

According to system (8), system (2) is equivalent to the following system

$$\begin{array}{c}\hfill \left\{\begin{array}{c} S_a(P^{-1}X{(P_{\varphi })}^{-1}){(S_a)}_{\varphi }+S_c(Q^{-1}Y{(Q_{\varphi })}^{-1}){(S_c)}_{\varphi }+S_d(S^{-1}Z{M}_{\varphi })+{(S_d(S^{-1}Z{M}_{\varphi }))}_{\varphi }=M\Omega M_{\varphi },\\ S_b(P^{-1}X{(P_{\varphi })}^{-1}){(S_b)}_{\varphi }=T\Theta T_{\varphi },\end{array}\right.\end{array}$$

(32)

where $S_a, S_b, S_c$ and $S_d$ are given in (4), $M, P, Q, S$ and T are defined in (6) are nonsingular.

Put

$$\begin{array}{c}\hfill \widehat{X}=P^{-1}X{\left(P_{\varphi }\right)}^{-1}={\left(X_{ij}\right)}_{14\times 14}, \widehat{Y}=Q^{-1}Y{\left(Q_{\varphi }\right)}^{-1}={\left(Y_{ij}\right)}_{10\times 10}, \widehat{Z}=S^{-1}Z\left(M_{\varphi }\right)={\left(Z_{ij}\right)}_{10\times 18},\end{array}$$

(33)

$$\begin{array}{c}\hfill M\Omega M_{\varphi }={\left({\Omega }_{ij}\right)}_{18\times 18}, T\Theta T_{\varphi }={\left({\Theta }_{ij}\right)}_{8\times 8},\end{array}$$

(34)

where ${\left({\Omega }_{ij}\right)}_{18\times 18}$ and ${\left({\Theta }_{ij}\right)}_{8\times 8}$ have the same block rows as $S_a$ and $S_b$ and the same block columns as ${\left(S_a\right)}_{\varphi }$ and ${\left(S_b\right)}_{\varphi }$, respectively. Then, substituting (33) and (34) into the system (32) becomes

$$\begin{array}{c}\hfill \left\{\begin{array}{c} S_a\widehat{X}{(S_a)}_{\varphi }+S_c\widehat{Y}{(S_c)}_{\varphi }+S_d\widehat{Z}+{(S_d\widehat{Z})}_{\varphi }={({\Omega }_{ij})}_{18\times 18},\\ S_b\widehat{X}{(S_b)}_{\varphi }={({\Theta }_{ij})}_{8\times 8}.\end{array}\right.\end{array}$$

(35)

Hence, the system (2) is equivalent to the system (35). Substituting (33) and (34) into the system (35) yields

$$\begin{array}{c}\hfill S_a\widehat{X}{(S_a)}_{\varphi }+S_c\widehat{Y}{(S_c)}_{\varphi }+S_d\widehat{Z}+{(S_d\widehat{Z})}_{\varphi }={({\Omega }_{ij})}_{18\times 18},\end{array}$$

(36)

and

$$\begin{array}{c}\hfill S_b\widehat{X}{\left(S_b\right)}_{\varphi }={\left({\Theta }_{ij}\right)}_{8\times 8},\end{array}$$

(37)

where

$$\begin{array}{cc}\hfill \hspace{1em}& {\left({\Omega }_{ij}\right)}_{18\times 18}=\hfill \\ \hfill \hspace{1em}& \left(\begin{array}{cccccc}{X}_{88}+Y_{11}+Z_{11}+{\left(Z_{11}\right)}_{\varphi }& X_{89}+Y_{12}+Z_{12}& X_{8,10}+Z_{13}+{\left(Z_{21}\right)}_{\varphi }& X_{8,11}+Z_{14}+{\left(Z_{31}\right)}_{\varphi }& X_{8,12}+Z_{15}+{\left(Z_{61}\right)}_{\varphi }& X_{8,13}+Z_{16}\\ {(X_{89}+Y_{12}+Z_{12})}_{\varphi }& X_{99}+Y_{22}& X_{9,10}+{\left(Z_{22}\right)}_{\varphi }& X_{9,11}+{\left(Z_{32}\right)}_{\varphi }& X_{9,12}+{\left(Z_{62}\right)}_{\varphi }& X_{9,13}\\ {\left(X_{8,10}\right)}_{\varphi }+Z_{21}+{\left(Z_{13}\right)}_{\varphi }& {\left(X_{9,10}\right)}_{\varphi }+Z_{22}& X_{10,10}+Z_{23}+{\left(Z_{23}\right)}_{\varphi }& X_{10,11}+Z_{24}+{\left(Z_{33}\right)}_{\varphi }& X_{10,12}+Z_{25}+{\left(Z_{63}\right)}_{\varphi }& X_{10,13}+Z_{26}\\ {\left(X_{8,11}\right)}_{\varphi }+Z_{31}+{\left(Z_{14}\right)}_{\varphi }& {\left(X_{9,11}\right)}_{\varphi }+Z_{32}& {\left(X_{10,11}\right)}_{\varphi }+Z_{33}+{\left(Z_{24}\right)}_{\varphi }& X_{11,11}+Z_{34}+{\left(Z_{34}\right)}_{\varphi }& X_{11,12}+Z_{35}+{\left(Z_{64}\right)}_{\varphi }& X_{11,13}+Z_{36}\\ {\left(X_{8,12}\right)}_{\varphi }+Z_{61}+{\left(Z_{15}\right)}_{\varphi }& {\left(X_{9,12}\right)}_{\varphi }+Z_{62}& {\left(X_{10,12}\right)}_{\varphi }+Z_{63}+{\left(Z_{25}\right)}_{\varphi }& {\left(X_{11,12}\right)}_{\varphi }+Z_{64}+{\left(Z_{35}\right)}_{\varphi }& X_{12,12}+Z_{65}+{\left(Z_{65}\right)}_{\varphi }& X_{12,13}+Z_{66}\\ {(X_{8,13}+Z_{16})}_{\varphi }& {\left(X_{9,13}\right)}_{\varphi }& {\left(X_{10,13}\right)}_{\varphi }+{\left(Z_{26}\right)}_{\varphi }& {\left(X_{11,13}\right)}_{\varphi }+{\left(Z_{36}\right)}_{\varphi }& {\left(X_{12,13}\right)}_{\varphi }+{\left(Z_{66}\right)}_{\varphi }& X_{13,13}\\ X_{18}+{\left(Y_{13}\right)}_{\varphi }+Z_{31}+{\left(Z_{17}\right)}_{\varphi }& X_{19}+{\left(Y_{23}\right)}_{\varphi }+Z_{32}& X_{1,10}+Z_{33}+{\left(Z_{27}\right)}_{\varphi }& X_{1,11}+Z_{34}+{\left(Z_{37}\right)}_{\varphi }& X_{1,12}+Z_{35}+{\left(Z_{67}\right)}_{\varphi }& X_{1,13}+Z_{36}\\ X_{28}+{\left(Y_{14}\right)}_{\varphi }+Z_{41}+{\left(Z_{18}\right)}_{\varphi }& X_{29}+{\left(Y_{24}\right)}_{\varphi }+Z_{42}& X_{2,10}+Z_{43}+{\left(Z_{28}\right)}_{\varphi }& X_{2,11}+Z_{44}+{\left(Z_{38}\right)}_{\varphi }& X_{2,12}+Z_{45}+{\left(Z_{68}\right)}_{\varphi }& X_{2,13}+Z_{46}\\ X_{38}+{\left(Y_{15}\right)}_{\varphi }+{\left(Z_{19}\right)}_{\varphi }& X_{39}+{\left(Y_{25}\right)}_{\varphi }& X_{3,10}+{\left(Z_{29}\right)}_{\varphi }& X_{3,11}+{\left(Z_{39}\right)}_{\varphi }& X_{3,12}+{\left(Z_{69}\right)}_{\varphi }& X_{3,13}\\ X_{48}+Z_{81}+{\left(Z_{1,10}\right)}_{\varphi }& X_{49}+Z_{82}& X_{4,10}+Z_{83}+{\left(Z_{2,10}\right)}_{\varphi }& X_{4,11}+Z_{84}+{\left(Z_{3,10}\right)}_{\varphi }& X_{4,12}+Z_{85}+{\left(Z_{6,10}\right)}_{\varphi }& X_{4,13}+Z_{86}\\ X_{58}+Z_{51}+{\left(Z_{1,11}\right)}_{\varphi }& X_{59}+Z_{52}& X_{5,10}+Z_{53}+{\left(Z_{2,11}\right)}_{\varphi }& X_{5,11}+Z_{54}+{\left(Z_{3,11}\right)}_{\varphi }& X_{5,12}+Z_{55}+{\left(Z_{6,11}\right)}_{\varphi }& X_{5,13}+Z_{56}\\ X_{68}+{\left(Z_{1,12}\right)}_{\varphi }& X_{69}& X_{6,10}+{\left(Z_{2,12}\right)}_{\varphi }& X_{6,11}+{\left(Z_{3,12}\right)}_{\varphi }& X_{6,12}+{\left(Z_{6,12}\right)}_{\varphi }& X_{6,13}\\ {\left(Y_{16}\right)}_{\varphi }+Z_{51}+{\left(Z_{1,13}\right)}_{\varphi }& {\left(Y_{26}\right)}_{\varphi }+Z_{52}& Z_{53}+{\left(Z_{2,13}\right)}_{\varphi }& Z_{54}+{\left(Z_{3,13}\right)}_{\varphi }& Z_{55}+{\left(Z_{6,13}\right)}_{\varphi }& Z_{56}\\ {\left(Y_{17}\right)}_{\varphi }+Z_{61}+{\left(Z_{1,14}\right)}_{\varphi }& {\left(Y_{27}\right)}_{\varphi }+Z_{62}& Z_{63}+{\left(Z_{2,14}\right)}_{\varphi }& Z_{64}+{\left(Z_{3,14}\right)}_{\varphi }& Z_{65}+{\left(Z_{6,14}\right)}_{\varphi }& Z_{66}\\ {\left(Y_{18}\right)}_{\varphi }+Z_{71}+{\left(Z_{1,15}\right)}_{\varphi }& {\left(Y_{28}\right)}_{\varphi }+Z_{72}& Z_{73}+{\left(Z_{2,15}\right)}_{\varphi }& Z_{74}+{\left(Z_{3,15}\right)}_{\varphi }& Z_{75}+{\left(Z_{6,15}\right)}_{\varphi }& Z_{76}\\ {(Y_{19}+Z_{1,16})}_{\varphi }& {\left(Y_{29}\right)}_{\varphi }& {\left(Z_{2,16}\right)}_{\varphi }& {\left(Z_{3,16}\right)}_{\varphi }& {\left(Z_{6,16}\right)}_{\varphi }& 0\\ Z_{91}+{\left(Z_{1,17}\right)}_{\varphi }& Z_{92}& Z_{93}+{\left(Z_{2,17}\right)}_{\varphi }& Z_{94}+{\left(Z_{3,17}\right)}_{\varphi }& Z_{95}+{\left(Z_{6,17}\right)}_{\varphi }& Z_{96}\\ {\left(Z_{1,18}\right)}_{\varphi }& 0& {\left(Z_{2,18}\right)}_{\varphi }& {\left(Z_{3,18}\right)}_{\varphi }& {\left(Z_{6,18}\right)}_{\varphi }& 0\end{array}\right.\hfill \\ \hfill \hspace{1em}& \begin{array}{ccccc}{\left(X_{18}\right)}_{\varphi }+Y_{13}+Z_{17}+{\left(Z_{31}\right)}_{\varphi }& {\left(X_{28}\right)}_{\varphi }+Y_{14}+Z_{18}+{\left(Z_{41}\right)}_{\varphi }& {\left(X_{38}\right)}_{\varphi }+Y_{15}+Z_{19}& {\left(X_{48}\right)}_{\varphi }+Z_{1,10}+{\left(Z_{81}\right)}_{\varphi }& {\left(X_{58}\right)}_{\varphi }+Z_{1,11}+{\left(Z_{51}\right)}_{\varphi }\\ {\left(X_{19}\right)}_{\varphi }+Y_{23}+{\left(Z_{32}\right)}_{\varphi }& {\left(X_{29}\right)}_{\varphi }+Y_{24}+{\left(Z_{42}\right)}_{\varphi }& {\left(X_{39}\right)}_{\varphi }+Y_{25}& {(X_{49}+Z_{82})}_{\varphi }& {(X_{59}+Z_{52})}_{\varphi }\\ {\left(X_{1,10}\right)}_{\varphi }+Z_{27}+{\left(Z_{33}\right)}_{\varphi }& {\left(X_{2,10}\right)}_{\varphi }+Z_{28}+{\left(Z_{43}\right)}_{\varphi }& {\left(X_{3,10}\right)}_{\varphi }+Z_{29}& {\left(X_{4,10}\right)}_{\varphi }+Z_{2,10}+{\left(Z_{83}\right)}_{\varphi }& {\left(X_{5,10}\right)}_{\varphi }+Z_{2,11}+{\left(Z_{53}\right)}_{\varphi }\\ {\left(X_{1,11}\right)}_{\varphi }+Z_{37}+{\left(Z_{34}\right)}_{\varphi }& {\left(X_{2,11}\right)}_{\varphi }+Z_{38}+{\left(Z_{44}\right)}_{\varphi }& {\left(X_{3,11}\right)}_{\varphi }+Z_{39}& {\left(X_{4,11}\right)}_{\varphi }+Z_{3,10}+{\left(Z_{84}\right)}_{\varphi }& {\left(X_{5,11}\right)}_{\varphi }+Z_{3,11}+{\left(Z_{54}\right)}_{\varphi }\\ {\left(X_{1,12}\right)}_{\varphi }+Z_{67}+{\left(Z_{35}\right)}_{\varphi }& {\left(X_{2,12}\right)}_{\varphi }+Z_{68}+{\left(Z_{45}\right)}_{\varphi }& {\left(X_{3,12}\right)}_{\varphi }+Z_{69}& {\left(X_{4,12}\right)}_{\varphi }+Z_{6,10}+{\left(Z_{85}\right)}_{\varphi }& {\left(X_{5,12}\right)}_{\varphi }+Z_{6,11}+{\left(Z_{55}\right)}_{\varphi }\\ (X_{1,13}+{Z_{36})}_{\varphi }& {(X_{2,13}+Z_{46})}_{\varphi }& {\left(X_{3,13}\right)}_{\varphi }& {\left(X_{4,13}\right)}_{\varphi }+{\left(Z_{86}\right)}_{\varphi }& {(X_{5,13}+Z_{56})}_{\varphi }\\ X_{11}+Y_{33}+Z_{37}+{\left(Z_{37}\right)}_{\varphi }& X_{12}+Y_{34}+Z_{38}+{\left(Z_{47}\right)}_{\varphi }& X_{13}+Y_{35}+Z_{39}& X_{14}+Z_{3,10}+{\left(Z_{87}\right)}_{\varphi }& X_{15}+Z_{3,11}+{\left(Z_{57}\right)}_{\varphi }\\ {(X_{12}+Y_{34})}_{\varphi }+Z_{47}+{\left(Z_{38}\right)}_{\varphi }& X_{22}+Y_{44}+Z_{48}+{\left(Z_{48}\right)}_{\varphi }& X_{23}+Y_{45}+Z_{49}& X_{24}+Z_{4,10}+{\left(Z_{88}\right)}_{\varphi }& X_{25}+Z_{4,11}+{\left(Z_{58}\right)}_{\varphi }\\ {(X_{13}+Y_{35}+Z_{39})}_{\varphi }& {(X_{23}+Y_{45}+Z_{49})}_{\varphi }& X_{33}+Y_{55}& X_{34}+{\left(Z_{89}\right)}_{\varphi }& X_{35}+{\left(Z_{59}\right)}_{\varphi }\\ {\left(X_{14}\right)}_{\varphi }+Z_{87}+{\left(Z_{3,10}\right)}_{\varphi }& {\left(X_{24}\right)}_{\varphi }+Z_{88}+{\left(Z_{4,10}\right)}_{\varphi }& {\left(X_{34}\right)}_{\varphi }+Z_{89}& X_{44}+Z_{8,10}+{\left(Z_{8,10}\right)}_{\varphi }& X_{45}+Z_{8,11}+{\left(Z_{5,10}\right)}_{\varphi }\\ {\left(X_{15}\right)}_{\varphi }+Z_{57}+{\left(Z_{3,11}\right)}_{\varphi }& {\left(X_{25}\right)}_{\varphi }+Z_{58}+{\left(Z_{4,11}\right)}_{\varphi }& {\left(X_{35}\right)}_{\varphi }+Z_{59}& {\left(X_{45}\right)}_{\varphi }+Z_{5,10}+{\left(Z_{8,11}\right)}_{\varphi }& X_{55}+Z_{5,11}+{\left(Z_{5,11}\right)}_{\varphi }\\ {(X_{16}+Z_{3,12})}_{\varphi }& {(X_{26}+Z_{4,12})}_{\varphi }& {\left(X_{36}\right)}_{\varphi }& {\left(X_{46}\right)}_{\varphi }+{\left(Z_{8,12}\right)}_{\varphi }& {(X_{56}+Z_{5,12})}_{\varphi }\\ {\left(Y_{36}\right)}_{\varphi }+Z_{57}+{\left(Z_{3,13}\right)}_{\varphi }& {\left(Y_{46}\right)}_{\varphi }+Z_{58}+{\left(Z_{4,13}\right)}_{\varphi }& {\left(Y_{56}\right)}_{\varphi }+Z_{59}& Z_{5,10}+{\left(Z_{8,13}\right)}_{\varphi }& Z_{5,11}+{\left(Z_{5,13}\right)}_{\varphi }\\ {\left(Y_{37}\right)}_{\varphi }+Z_{67}+{\left(Z_{3,14}\right)}_{\varphi }& {\left(Y_{47}\right)}_{\varphi }+Z_{68}+{\left(Z_{4,14}\right)}_{\varphi }& {\left(Y_{57}\right)}_{\varphi }+Z_{69}& Z_{6,10}+{\left(Z_{8,14}\right)}_{\varphi }& Z_{6,11}+{\left(Z_{5,14}\right)}_{\varphi }\\ {\left(Y_{38}\right)}_{\varphi }+Z_{77}+{\left(Z_{3,15}\right)}_{\varphi }& {\left(Y_{48}\right)}_{\varphi }+Z_{78}+{\left(Z_{4,15}\right)}_{\varphi }& {\left(Y_{58}\right)}_{\varphi }+Z_{79}& Z_{7,10}+{\left(Z_{8,15}\right)}_{\varphi }& Z_{7,11}+{\left(Z_{5,15}\right)}_{\varphi }\\ {(Y_{39}+Z_{3,16})}_{\varphi }& {(Y_{49}+Z_{4,16})}_{\varphi }& {\left(Y_{59}\right)}_{\varphi }& {\left(Z_{8,16}\right)}_{\varphi }& {\left(Z_{5,16}\right)}_{\varphi }\\ Z_{97}+{\left(Z_{3,17}\right)}_{\varphi }& Z_{98}+{\left(Z_{4,17}\right)}_{\varphi }& Z_{99}& Z_{9,10}+{\left(Z_{8,17}\right)}_{\varphi }& Z_{9,11}+{\left(Z_{5,17}\right)}_{\varphi }\\ {\left(Z_{3,18}\right)}_{\varphi }& {\left(Z_{4,18}\right)}_{\varphi }& 0& {\left(Z_{8,18}\right)}_{\varphi }& {\left(Z_{5,18}\right)}_{\varphi }\end{array}\hfill \\ \hfill \hspace{1em}& \left.\begin{array}{ccccccc}{\left(X_{68}\right)}_{\varphi }+Z_{1,12}& Y_{16}+Z_{1,13}+{\left(Z_{51}\right)}_{\varphi }& Y_{17}+Z_{1,14}+{\left(Z_{61}\right)}_{\varphi }& Y_{18}+Z_{1,15}+{\left(Z_{71}\right)}_{\varphi }& Y_{19}+Z_{1,16}& Z_{1,17}+{\left(Z_{91}\right)}_{\varphi }& Z_{1,18}\\ {\left(X_{69}\right)}_{\varphi }& Y_{26}+{\left(Z_{52}\right)}_{\varphi }& Y_{27}+{\left(Z_{62}\right)}_{\varphi }& Y_{28}+{\left(Z_{72}\right)}_{\varphi }& Y_{29}& {\left(Z_{92}\right)}_{\varphi }& 0\\ {\left(X_{6,10}\right)}_{\varphi }+Z_{2,12}& Z_{2,13}+{\left(Z_{53}\right)}_{\varphi }& Z_{2,14}+{\left(Z_{63}\right)}_{\varphi }& Z_{2,15}+{\left(Z_{73}\right)}_{\varphi }& Z_{2,16}& Z_{2,17}+{\left(Z_{93}\right)}_{\varphi }& Z_{2,18}\\ {\left(X_{6,11}\right)}_{\varphi }+Z_{3,12}& Z_{3,13}+{\left(Z_{54}\right)}_{\varphi }& Z_{3,14}+{\left(Z_{64}\right)}_{\varphi }& Z_{3,15}+{\left(Z_{74}\right)}_{\varphi }& Z_{3,16}& Z_{3,17}+{\left(Z_{94}\right)}_{\varphi }& Z_{3,18}\\ {\left(X_{6,12}\right)}_{\varphi }+Z_{6,12}& Z_{6,13}+{\left(Z_{55}\right)}_{\varphi }& Z_{6,14}+{\left(Z_{65}\right)}_{\varphi }& Z_{6,15}+{\left(Z_{75}\right)}_{\varphi }& Z_{6,16}& Z_{6,17}+{\left(Z_{95}\right)}_{\varphi }& Z_{6,18}\\ {\left(X_{6,13}\right)}_{\varphi }& {\left(Z_{56}\right)}_{\varphi }& {\left(Z_{66}\right)}_{\varphi }& {\left(Z_{76}\right)}_{\varphi }& 0& {\left(Z_{96}\right)}_{\varphi }& 0\\ X_{16}+Z_{3,12}& Y_{36}+Z_{3,13}+{\left(Z_{57}\right)}_{\varphi }& Y_{37}+Z_{3,14}+{\left(Z_{67}\right)}_{\varphi }& Y_{38}+Z_{3,15}+{\left(Z_{77}\right)}_{\varphi }& Y_{39}+Z_{3,16}& Z_{3,17}+{\left(Z_{97}\right)}_{\varphi }& Z_{3,18}\\ X_{26}+Z_{4,12}& Y_{46}+Z_{4,13}+{\left(Z_{58}\right)}_{\varphi }& Y_{47}+Z_{4,14}+{\left(Z_{68}\right)}_{\varphi }& Y_{48}+Z_{4,15}+{\left(Z_{78}\right)}_{\varphi }& Y_{49}+Z_{4,16}& Z_{4,17}+{\left(Z_{98}\right)}_{\varphi }& Z_{4,18}\\ X_{36}& Y_{56}+{\left(Z_{59}\right)}_{\varphi }& Y_{57}+{\left(Z_{69}\right)}_{\varphi }& Y_{58}+{\left(Z_{79}\right)}_{\varphi }& Y_{59}& {\left(Z_{99}\right)}_{\varphi }& 0\\ X_{46}+Z_{8,12}& Z_{8,13}+{\left(Z_{5,10}\right)}_{\varphi }& Z_{8,14}+{\left(Z_{6,10}\right)}_{\varphi }& Z_{8,15}+{\left(Z_{7,10}\right)}_{\varphi }& Z_{8,16}& Z_{8,17}+{\left(Z_{9,10}\right)}_{\varphi }& Z_{8,18}\\ X_{56}+Z_{5,12}& Z_{5,13}+{\left(Z_{5,11}\right)}_{\varphi }& Z_{5,14}+{\left(Z_{6,11}\right)}_{\varphi }& Z_{5,15}+{\left(Z_{7,11}\right)}_{\varphi }& Z_{5,16}& Z_{5,17}+{\left(Z_{9,11}\right)}_{\varphi }& Z_{5,18}\\ X_{66}& {\left(Z_{5,12}\right)}_{\varphi }& {\left(Z_{6,12}\right)}_{\varphi }& {\left(Z_{7,12}\right)}_{\varphi }& 0& {\left(Z_{9,12}\right)}_{\varphi }& 0\\ Z_{5,12}& Y_{66}+Z_{5,13}+{\left(Z_{5,13}\right)}_{\varphi }& Y_{67}+Z_{5,14}+{\left(Z_{6,13}\right)}_{\varphi }& Y_{68}+Z_{5,15}+{\left(Z_{7,13}\right)}_{\varphi }& Y_{69}+Z_{5,16}& Z_{5,17}+{\left(Z_{9,13}\right)}_{\varphi }& Z_{5,18}\\ Z_{6,12}& {\left(Y_{67}\right)}_{\varphi }+Z_{6,13}+{\left(Z_{5,14}\right)}_{\varphi }& Y_{77}+Z_{6,14}+{\left(Z_{6,14}\right)}_{\varphi }& Y_{78}+Z_{6,15}+{\left(Z_{7,14}\right)}_{\varphi }& Y_{79}+Z_{6,16}& Z_{6,17}+{\left(Z_{9,14}\right)}_{\varphi }& Z_{6,18}\\ Z_{7,12}& {\left(Y_{68}\right)}_{\varphi }+Z_{7,13}+{\left(Z_{5,15}\right)}_{\varphi }& {\left(Y_{78}\right)}_{\varphi }+Z_{7,14}+{\left(Z_{6,15}\right)}_{\varphi }& Y_{88}+Z_{7,15}+{\left(Z_{7,15}\right)}_{\varphi }& Y_{89}+Z_{7,16}& Z_{7,17}+{\left(Z_{9,15}\right)}_{\varphi }& Z_{7,18}\\ 0& {\left(Y_{69}\right)}_{\varphi }+{\left(Z_{5,16}\right)}_{\varphi }& {\left(Y_{79}\right)}_{\varphi }+{\left(Z_{6,16}\right)}_{\varphi }& {(Y_{89}+Z_{7,16})}_{\varphi }& Y_{99}& {\left(Z_{9,16}\right)}_{\varphi }& 0\\ Z_{9,12}& Z_{9,13}+{\left(Z_{5,17}\right)}_{\varphi }& Z_{9,14}+{\left(Z_{6,17}\right)}_{\varphi }& Z_{9,15}+{\left(Z_{7,17}\right)}_{\varphi }& Z_{9,16}& Z_{9,17}+{\left(Z_{9,17}\right)}_{\varphi }& Z_{9,18}\\ 0& {\left(Z_{5,18}\right)}_{\varphi }& {\left(Z_{6,18}\right)}_{\varphi }& {\left(Z_{7,18}\right)}_{\varphi }& 0& {\left(Z_{9,18}\right)}_{\varphi }& 0\end{array}\right),\hfill \end{array}$$

and

$$\begin{array}{c}\hfill {\left({\Theta }_{ij}\right)}_{8\times 8}=\left(\begin{array}{c}\begin{array}{cccccccc}{X}_{11}& X_{12}& X_{13}& X_{14}& X_{15}& X_{16}& X_{17}& 0\\ {\left(X_{12}\right)}_{\varphi }& X_{22}& X_{23}& X_{24}& X_{25}& X_{26}& X_{27}& 0\\ {\left(X_{13}\right)}_{\varphi }& {\left(X_{23}\right)}_{\varphi }& X_{33}& X_{34}& X_{35}& X_{36}& X_{37}& 0\\ {\left(X_{14}\right)}_{\varphi }& {\left(X_{24}\right)}_{\varphi }& {\left(X_{34}\right)}_{\varphi }& X_{44}& X_{45}& X_{46}& X_{47}& 0\\ {\left(X_{15}\right)}_{\varphi }& {\left(X_{25}\right)}_{\varphi }& {\left(X_{35}\right)}_{\varphi }& {\left(X_{45}\right)}_{\varphi }& X_{55}& X_{56}& X_{57}& 0\\ {\left(X_{16}\right)}_{\varphi }& {\left(X_{26}\right)}_{\varphi }& {\left(X_{36}\right)}_{\varphi }& {\left(X_{46}\right)}_{\varphi }& {\left(X_{56}\right)}_{\varphi }& X_{66}& X_{67}& 0\\ {\left(X_{17}\right)}_{\varphi }& {\left(X_{27}\right)}_{\varphi }& {\left(X_{37}\right)}_{\varphi }& {\left(X_{47}\right)}_{\varphi }& {\left(X_{57}\right)}_{\varphi }& {\left(X_{67}\right)}_{\varphi }& X_{77}& 0\\ 0& 0& 0& 0& 0& 0& 0& 0\end{array}\end{array}\right).\end{array}$$

The following theorem takes into consideration the solvability conditions to the system (2) from the aspect of the partion of the coefficient matrixes of equivalent matrix equation system (35) and derives the solvability condition in terms of ranks which have an equivalence to the block matrixes condition.

Theorem 2.

Consider the system of quaternion matrix Equation (2). Then the following statements are equivalent:

(1) The system (2) is consistent.

(2) [10] The ranks satisfy:

$$\begin{array}{c}\hfill r\left(\begin{array}{c}\Theta \\ B_{\varphi }\end{array}\right)=r\left(B\right),\end{array}$$

(38)

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}\Omega & D\\ A_{\varphi }& 0\\ C_{\varphi }& 0\\ D_{\varphi }& 0\end{array}\right)=r\left(\begin{array}{c}A\hspace{1em}C\hspace{1em}D\end{array}\right)+r\left(D\right),\end{array}$$

(39)

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & C& D\\ A_{\varphi }& 0& 0\\ D_{\varphi }& 0& 0\end{array}\right)=r\left(\begin{array}{c}C\hspace{1em}D\end{array}\right)+r\left(\begin{array}{cc}A& D\end{array}\right),\end{array}$$

(40)

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Theta \\ 0& 0& A_{\varphi }& B_{\varphi }\\ 0& 0& C_{\varphi }& 0\\ 0& 0& D_{\varphi }& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right).\end{array}$$

(41)

(3) The block matrixes satisfy:

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\Theta }_{18}\\ {\Theta }_{28}\\ ⋮\\ {\Theta }_{88}\end{array}\right)=0,\end{array}$$

(42)

$$\begin{array}{c}\hfill \left\{\begin{array}{c} {\Omega }_{2,18}=0,{\Omega }_{6,18}=0,{\Omega }_{9,18}=0,{\Omega }_{12,18}=0,{\Omega }_{16,18}=0,{\Omega }_{18,18}=0,\\ {\Omega }_{4,18}={\Omega }_{7,18},{\Omega }_{5,18}={\Omega }_{14,18},{\Omega }_{11,18}={\Omega }_{13,18},\end{array}\right.\end{array}$$

(43)

$$\begin{array}{c}\hfill {\Omega }_{6,16}=0,{\Omega }_{12,16}=0,\end{array}$$

(44)

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\Omega }_{12,12}={\Theta }_{66},\\ {\Omega }_{11,12}-{\left({\Omega }_{12,13}\right)}_{\varphi }={\Theta }_{56},\\ {\Omega }_{9,12}={\Theta }_{36}.\end{array}\right.\end{array}$$

(45)

In this case, the general solution to the system (2) can be written as

$$\begin{array}{c}\hfill X=P\widehat{X}{P}_{\varphi },\hspace{1em}Y=Q\widehat{Y}{Q}_{\varphi },\hspace{1em}Z=S\widehat{Z}{M}_{\varphi }^{-1},\end{array}$$

(46)

where

$$\begin{array}{c}\hfill \widehat{X}=\left(\begin{array}{cccc}{\Theta }_{11}& {\Theta }_{12}& {\Theta }_{13}& {\Theta }_{14}\\ {\left({\Theta }_{12}\right)}_{\varphi }& {\Theta }_{22}& {\Theta }_{23}& {\Theta }_{24}\\ {\left({\Theta }_{13}\right)}_{\varphi }& {\left({\Theta }_{23}\right)}_{\varphi }& {\Theta }_{33}& {\Theta }_{34}\\ {\left({\Theta }_{14}\right)}_{\varphi }& {\left({\Theta }_{24}\right)}_{\varphi }& {\left({\Theta }_{34}\right)}_{\varphi }& {\Theta }_{44}\\ {\left({\Theta }_{15}\right)}_{\varphi }& {\left({\Theta }_{25}\right)}_{\varphi }& {\left({\Theta }_{35}\right)}_{\varphi }& {\left({\Theta }_{45}\right)}_{\varphi }\\ {\left({\Theta }_{16}\right)}_{\varphi }& {\left({\Theta }_{26}\right)}_{\varphi }& {\left({\Theta }_{36}\right)}_{\varphi }& {\left({\Theta }_{46}\right)}_{\varphi }\\ {\left({\Theta }_{17}\right)}_{\varphi }& {\left({\Theta }_{27}\right)}_{\varphi }& {\left({\Theta }_{37}\right)}_{\varphi }& {\left({\Theta }_{47}\right)}_{\varphi }\\ {\Omega }_{17}-Y_{13}-{\left(Z_{31}\right)}_{\varphi }-Z_{17}& {\Omega }_{18}-Y_{14}-{\left(Z_{41}\right)}_{\varphi }-Z_{18}& {\Omega }_{19}-Y_{15}-Z_{19}& {\Omega }_{1,10}-{\left(Z_{81}\right)}_{\varphi }-Z_{1,10}\\ {\Omega }_{27}-{\left(Z_{32}\right)}_{\varphi }-Y_{23}& {\Omega }_{28}-{\left(Z_{42}\right)}_{\varphi }-Y_{24}& {\Omega }_{29}-Y_{25}& {\Omega }_{2,10}-{\left(Z_{82}\right)}_{\varphi }\\ {\Omega }_{37}-{\left(Z_{33}\right)}_{\varphi }-Z_{27}& {\Omega }_{38}-{\left(Z_{43}\right)}_{\varphi }-Z_{28}& {\Omega }_{39}-Z_{29}& {\Omega }_{3,10}-{\left(Z_{83}\right)}_{\varphi }-Z_{2,10}\\ {\Omega }_{47}-{\left(Z_{34}\right)}_{\varphi }-Z_{37}& {\Omega }_{48}-{\left(Z_{44}\right)}_{\varphi }-Z_{38}& {\Omega }_{49}-Z_{39}& {\Omega }_{4,10}-{\left(Z_{84}\right)}_{\varphi }-Z_{3,10}\\ {\Omega }_{57}-{\left(Z_{35}\right)}_{\varphi }-Z_{67}& {\Omega }_{58}-{\left(Z_{45}\right)}_{\varphi }-Z_{68}& {\Omega }_{59}-Z_{69}& {\Omega }_{5,10}-{\left(Z_{85}\right)}_{\varphi }-Z_{6,10}\\ {\Omega }_{67}-{\left(Z_{36}\right)}_{\varphi }& {\Omega }_{68}-{\left(Z_{46}\right)}_{\varphi }& {\Omega }_{69}& {\Omega }_{6,10}-{\left(Z_{86}\right)}_{\varphi }\\ {\left(X_{1,14}\right)}_{\varphi }& {\left(X_{2,14}\right)}_{\varphi }& {\left(X_{3,14}\right)}_{\varphi }& {\left(X_{4,14}\right)}_{\varphi }\end{array}\right.\\ \hfill \begin{array}{ccccc}{\Theta }_{15}& {\Theta }_{16}& {\Theta }_{17}& {\left({\Omega }_{17}\right)}_{\varphi }-{\left(Y_{13}\right)}_{\varphi }-Z_{31}-{\left(Z_{17}\right)}_{\varphi }& {\left({\Omega }_{27}\right)}_{\varphi }-Z_{32}-{\left(Y_{23}\right)}_{\varphi }\\ {\Theta }_{25}& {\Theta }_{26}& {\Theta }_{27}& {\left({\Omega }_{18}\right)}_{\varphi }-{\left(Y_{14}\right)}_{\varphi }-Z_{41}-{\left(Z_{18}\right)}_{\varphi }& {\left({\Omega }_{28}\right)}_{\varphi }-Z_{42}-{\left(Y_{24}\right)}_{\varphi }\\ {\Theta }_{35}& {\Theta }_{36}& {\Theta }_{37}& {\left({\Omega }_{19}\right)}_{\varphi }-{\left(Y_{15}\right)}_{\varphi }-{\left(Z_{19}\right)}_{\varphi }& {\left({\Omega }_{29}\right)}_{\varphi }-{\left(Y_{25}\right)}_{\varphi }\\ {\Theta }_{45}& {\Theta }_{46}& {\Theta }_{47}& {\left({\Omega }_{1,10}\right)}_{\varphi }-Z_{81}-{\left(Z_{1,10}\right)}_{\varphi }& {\left({\Omega }_{2,10}\right)}_{\varphi }-Z_{82}\\ {\Theta }_{55}& {\Theta }_{56}& {\Theta }_{57}& {\left({\Omega }_{1,11}\right)}_{\varphi }-Z_{51}-{\left(Z_{1,11}\right)}_{\varphi }& {\left({\Omega }_{2,11}\right)}_{\varphi }-Z_{52}\\ {\left({\Theta }_{56}\right)}_{\varphi }& {\Theta }_{66}& {\Theta }_{67}& {\left({\Omega }_{1,12}\right)}_{\varphi }-{\left(Z_{1,12}\right)}_{\varphi }& {\left({\Omega }_{2,12}\right)}_{\varphi }\\ {\left({\Theta }_{57}\right)}_{\varphi }& {\left({\Theta }_{67}\right)}_{\varphi }& {\Theta }_{77}& X_{78}& X_{79}\\ {\Omega }_{1,11}-{\left(Z_{51}\right)}_{\varphi }-Z_{1,11}& {\Omega }_{1,12}-Z_{12}& {\left(X_{78}\right)}_{\varphi }& {\Omega }_{11}-Y_{11}-Z_{11}-{\left(Z_{11}\right)}_{\varphi }& {\Omega }_{12}-Y_{12}-Z_{12}\\ {\Omega }_{2,11}-{\left(Z_{52}\right)}_{\varphi }& {\Omega }_{2,12}& {\left(X_{79}\right)}_{\varphi }& {({\Omega }_{12}-Y_{12}-Z_{12})}_{\varphi }& {\Omega }_{22}-Y_{22}\\ {\Omega }_{3,11}-{\left(Z_{53}\right)}_{\varphi }-Z_{2,11}& {\Omega }_{3,12}-Z_{2,12}& {\left(X_{7,10}\right)}_{\varphi }& {({\Omega }_{13}-Z_{13})}_{\varphi }-Z_{21}& {\left({\Omega }_{23}\right)}_{\varphi }-Z_{22}\\ {\Omega }_{4,11}-{\left(Z_{54}\right)}_{\varphi }-Z_{3,11}& {\Omega }_{4,12}-Z_{3,12}& {\left(X_{7,11}\right)}_{\varphi }& {({\Omega }_{14}-Z_{14})}_{\varphi }-Z_{31}& {\left({\Omega }_{24}\right)}_{\varphi }-Z_{32}\\ {\Omega }_{5,11}-{\left(Z_{55}\right)}_{\varphi }-Z_{6,11}& {\Omega }_{5,12}-Z_{6,12}& {\left(X_{7,12}\right)}_{\varphi }& {({\Omega }_{15}-Z_{15})}_{\varphi }-Z_{61}& {\left({\Omega }_{25}\right)}_{\varphi })-Z_{62}\\ {\Omega }_{6,11}-{\left(Z_{56}\right)}_{\varphi }& {\Omega }_{6,12}& {\left(X_{7,13}\right)}_{\varphi }& {({\Omega }_{16}-Z_{16})}_{\varphi }& {\left({\Omega }_{26}\right)}_{\varphi }\\ {\left(X_{5,14}\right)}_{\varphi }& {\left(X_{6,14}\right)}_{\varphi }& {\left(X_{7,14}\right)}_{\varphi }& {\left(X_{8,14}\right)}_{\varphi }& {\left(X_{9,14}\right)}_{\varphi }\end{array}\\ \hfill \left.\begin{array}{ccccc}{({\Omega }_{37}-Z_{27})}_{\varphi }-Z_{33}& {\left({\Omega }_{47}\right)}_{\varphi }-Z_{34}-{\left(Z_{37}\right)}_{\varphi }& {\left({\Omega }_{57}\right)}_{\varphi }-Z_{35}-{\left(Z_{67}\right)}_{\varphi }& {\left({\Omega }_{67}\right)}_{\varphi }-Z_{36}& X_{1,14}\\ {({\Omega }_{38}-Z_{28})}_{\varphi }-Z_{43}& {\left({\Omega }_{48}\right)}_{\varphi }-Z_{44}-{\left(Z_{38}\right)}_{\varphi }& {\left({\Omega }_{58}\right)}_{\varphi }-Z_{45}-{\left(Z_{68}\right)}_{\varphi }& {\left({\Omega }_{68}\right)}_{\varphi }-Z_{46}& X_{2,14}\\ {({\Omega }_{39}-Z_{29})}_{\varphi }& {\left({\Omega }_{49}\right)}_{\varphi }-{\left(Z_{39}\right)}_{\varphi }& {\left({\Omega }_{59}\right)}_{\varphi }-{\left(Z_{69}\right)}_{\varphi }& {\left({\Omega }_{69}\right)}_{\varphi }& X_{3,14}\\ {({\Omega }_{3,10}-Z_{2,10})}_{\varphi }-Z_{83}& {\left({\Omega }_{4,10}\right)}_{\varphi }-Z_{84}-{\left(Z_{3,10}\right)}_{\varphi }& {\left({\Omega }_{5,10}\right)}_{\varphi }-Z_{85}-{\left(Z_{6,10}\right)}_{\varphi }& {\left({\Omega }_{6,10}\right)}_{\varphi }-Z_{86}& X_{4,14}\\ {({\Omega }_{3,11}-Z_{2,11})}_{\varphi }-Z_{53}& {\left({\Omega }_{4,11}\right)}_{\varphi }-Z_{54}-{\left(Z_{3,11}\right)}_{\varphi }& {\left({\Omega }_{5,11}\right)}_{\varphi }-Z_{55}-{\left(Z_{6,11}\right)}_{\varphi }& {\left({\Omega }_{6,11}\right)}_{\varphi }-Z_{56}& X_{5,14}\\ {({\Omega }_{3,12}-Z_{2,12})}_{\varphi }& {\left({\Omega }_{4,12}\right)}_{\varphi }-{\left(Z_{3,12}\right)}_{\varphi }& {\left({\Omega }_{5,12}\right)}_{\varphi }-{\left(Z_{6,12}\right)}_{\varphi }& {\left({\Omega }_{6,12}\right)}_{\varphi }& X_{6,14}\\ X_{7,10}& X_{7,11}& X_{7,12}& X_{7,13}& X_{7,14}\\ {\Omega }_{13}-Z_{13}-{\left(Z_{21}\right)}_{\varphi }& {\Omega }_{14}-Z_{14}-{\left(Z_{31}\right)}_{\varphi }& {\Omega }_{15}-Z_{15}-{\left(Z_{61}\right)}_{\varphi }& {\Omega }_{16}-Z_{16}& X_{8,14}\\ {\Omega }_{23}-{\left(Z_{22}\right)}_{\varphi }& {\Omega }_{24}-{\left(Z_{32}\right)}_{\varphi }& {\Omega }_{25}-{\left(Z_{62}\right)}_{\varphi }& {\Omega }_{26}& X_{9,14}\\ {\Omega }_{33}-Z_{23}-{\left(Z_{23}\right)}_{\varphi }& {\Omega }_{34}-Z_{24}-{\left(Z_{33}\right)}_{\varphi }& {\Omega }_{35}-Z_{25}-{\left(Z_{63}\right)}_{\varphi }& {\Omega }_{36}-Z_{26}& X_{10,14}\\ {\left({\Omega }_{34}\right)}_{\varphi }-{\left(Z_{24}\right)}_{\varphi }-Z_{33}& {\Omega }_{44}-Z_{34}-{\left(Z_{34}\right)}_{\varphi }& {\Omega }_{45}-Z_{35}-{\left(Z_{67}\right)}_{\varphi }& {\Omega }_{46}-Z_{36}& X_{11,14}\\ {\left({\Omega }_{35}\right)}_{\Phi }-{\left(Z_{25}\right)}_{\varphi }-Z_{63}& {\left({\Omega }_{45}\right)}_{\varphi }-{\left(Z_{35}\right)}_{\varphi }-Z_{67}& {\Omega }_{55}-Z_{65}-{\left(Z_{65}\right)}_{\varphi }& {\Omega }_{56}-Z_{66}& X_{12,14}\\ {({\Omega }_{36}-Z_{26})}_{\varphi }& {({\Omega }_{46}-Z_{36})}_{\varphi }& {({\Omega }_{56}-Z_{66})}_{\varphi }& {\Omega }_{66}& X_{13,14}\\ {\left(X_{10,14}\right)}_{\varphi }& {\left(X_{11,14}\right)}_{\varphi }& {\left(X_{12,14}\right)}_{\varphi }& {\left(X_{13,14}\right)}_{\varphi }& X_{14,14}\end{array}\right),\end{array}$$

$$\begin{array}{cc}\hfill \hspace{1em}& \widehat{Y}=\left(\begin{array}{ccccc}{Y}_{11}& Y_{12}& Y_{13}& Y_{14}& Y_{15}\\ {\left(Y_{12}\right)}_{\varphi }& Y_{22}& Y_{23}& Y_{24}& Y_{25}\\ {\left(Y_{13}\right)}_{\varphi }& {\left(Y_{23}\right)}_{\varphi }& {\Omega }_{77}-{\Theta }_{11}-Z_{37}-{\left(Z_{37}\right)}_{\varphi }& {\Omega }_{78}-{\Theta }_{12}-Z_{38}-{\left(Z_{47}\right)}_{\varphi }& {\Omega }_{79}-{\Theta }_{13}-Z_{39}\\ {\left(Y_{14}\right)}_{\varphi }& {\left(Y_{24}\right)}_{\varphi }& {({\Omega }_{78}-{\Theta }_{12}-Z_{38}-{\left(Z_{47}\right)}_{\varphi })}_{\varphi }& {\Omega }_{88}-{\Theta }_{22}-Z_{48}-{\left(Z_{48}\right)}_{\varphi }& {\Omega }_{89}-{\Theta }_{23}-Z_{49}\\ {\left(Y_{15}\right)}_{\varphi }& {\left(Y_{25}\right)}_{\varphi }& {({\Omega }_{79}-{\Theta }_{13}-Z_{39})}_{\varphi }& {({\Omega }_{89}-{\Theta }_{23}-Z_{49})}_{\varphi }& {\Omega }_{99}-{\Theta }_{33}\\ {({\Omega }_{1,13}-Z_{1,13})}_{\varphi }-Z_{51}& {\left({\Omega }_{2,13}\right)}_{\varphi }-Z_{52}& {({\Omega }_{7,13}-Z_{3,13})}_{\varphi }-Z_{57}& {({\Omega }_{8,13}-Z_{4,13})}_{\varphi }-Z_{58}& {\left({\Omega }_{9,13}\right)}_{\varphi }-Z_{59}\\ {({\Omega }_{1,14}-Z_{1,14})}_{\varphi }-Z_{61}& {\left({\Omega }_{2,14}\right)}_{\varphi }-Z_{62}& {({\Omega }_{7,14}-Z_{3,14})}_{\varphi }-Z_{67}& {({\Omega }_{8,14}-Z_{4,14})}_{\varphi }-Z_{68}& {\left({\Omega }_{9,14}\right)}_{\varphi }-Z_{69}\\ {({\Omega }_{1,15}-Z_{1,15})}_{\varphi }-Z_{71}& {\left({\Omega }_{2,15}\right)}_{\varphi }-Z_{72}& {({\Omega }_{7,15}-Z_{3,15})}_{\varphi }-Z_{77}& {({\Omega }_{8,15}-Z_{4,15})}_{\varphi }-Z_{78}& {\left({\Omega }_{9,15}\right)}_{\varphi }-Z_{79}\\ {({\Omega }_{1,16}-Z_{1,16})}_{\varphi }& {\left({\Omega }_{2,16}\right)}_{\varphi }& {({\Omega }_{7,16}-Z_{3,16})}_{\varphi }& {({\Omega }_{8,16}-Z_{4,16})}_{\varphi }& {\left({\Omega }_{9,16}\right)}_{\varphi }\\ {\left(Y_{1,10}\right)}_{\varphi }& {\left(Y_{2,10}\right)}_{\varphi }& {\left(Y_{3,10}\right)}_{\varphi }& {\left(Y_{4,10}\right)}_{\varphi }& {\left(Y_{5,10}\right)}_{\varphi }\end{array}\right.\hfill \end{array}$$

$$\begin{array}{c}\hfill \left.\begin{array}{ccccc}{\Omega }_{1,13}-Z_{1,13}-{\left(Z_{51}\right)}_{\varphi }& {\Omega }_{1,14}-Z_{1,14}-{\left(Z_{61}\right)}_{\varphi }& {\Omega }_{1,15}-Z_{1,15}-{\left(Z_{71}\right)}_{\varphi }& {\Omega }_{1,16}-Z_{1,16}& Y_{1,10}\\ {\Omega }_{2,13}-{\left(Z_{52}\right)}_{\varphi }& {\Omega }_{2,14}-{\left(Z_{62}\right)}_{\varphi }& {\Omega }_{2,15}-{\left(Z_{72}\right)}_{\varphi }& {\Omega }_{2,16}& Y_{2,10}\\ {\Omega }_{7,13}-Z_{3,13}-{\left(Z_{57}\right)}_{\varphi }& {\Omega }_{7,14}-Z_{3,14}-{\left(Z_{67}\right)}_{\varphi }& {\Omega }_{7,15}-Z_{3,15}-{\left(Z_{77}\right)}_{\varphi }& {\Omega }_{7,16}-Z_{3,16}& Y_{3,10}\\ {\Omega }_{8,13}-Z_{4,13}-{\left(Z_{58}\right)}_{\varphi }& {\Omega }_{8,14}-Z_{4,14}-{\left(Z_{68}\right)}_{\varphi }& {\Omega }_{8,15}-Z_{4,15}-{\left(Z_{78}\right)}_{\varphi }& {\Omega }_{8,16}-Z_{4,16}& Y_{4,10}\\ {\Omega }_{9,13}-{\left(Z_{59}\right)}_{\varphi }& {\Omega }_{9,14}-{\left(Z_{69}\right)}_{\varphi }& {\Omega }_{9,15}-{\left(Z_{79}\right)}_{\varphi }& {\Omega }_{9,16}& Y_{5,10}\\ {\Omega }_{13,13}-Z_{5,13}-{\left(Z_{5,13}\right)}_{\varphi }& {\Omega }_{13,14}-Z_{5,14}-{\left(Z_{6,13}\right)}_{\varphi }& {\Omega }_{13,15}-Z_{5,15}-{\left(Z_{7,13}\right)}_{\varphi }& {\Omega }_{13,16}-Z_{5,16}& Y_{6,10}\\ {({\Omega }_{13,14}-Z_{5,14})}_{\varphi }-Z_{6,13}& {\Omega }_{14,14}-Z_{6,14}-{\left(Z_{6,14}\right)}_{\varphi }& {\Omega }_{14,15}-Z_{6,15}-{\left(Z_{7,14}\right)}_{\varphi }& {\Omega }_{14,16}-Z_{6,16}& Y_{7,10}\\ {({\Omega }_{13,15}-Z_{5,15})}_{\varphi }-Z_{7,13}& {({\Omega }_{14,15}-Z_{6,15})}_{\varphi }-Z_{7,14}& {\Omega }_{15,15}-Z_{7,15}-{\left(Z_{7,15}\right)}_{\varphi }& {\Omega }_{15,16}-Z_{7,16}& Y_{8,10}\\ {({\Omega }_{13,16}-Z_{5,16})}_{\varphi }& {({\Omega }_{14,16}-Z_{6,16})}_{\varphi }& {({\Omega }_{15,16}-Z_{7,16})}_{\varphi }& {\Omega }_{16,16}& Y_{9,10}\\ {\left(Y_{6,10}\right)}_{\varphi }& {\left(Y_{7,10}\right)}_{\varphi }& {\left(Y_{8,10}\right)}_{\varphi }& {\left(Y_{9,10}\right)}_{\varphi }& Y_{10,10}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \widehat{Z}=\left(\begin{array}{ccccccc}{Z}_{11}& Z_{12}& Z_{13}& Z_{14}& Z_{15}& Z_{16}& \\ Z_{21}& Z_{22}& Z_{23}& Z_{24}& Z_{25}& Z_{26}& \\ Z_{31}& Z_{32}& Z_{33}& Z_{34}& Z_{35}& Z_{36}& \\ Z_{41}& Z_{42}& Z_{43}& Z_{44}& Z_{45}& Z_{46}& \\ Z_{51}& Z_{52}& {({\Omega }_{3,13}-Z_{2,13})}_{\varphi }& {({\Omega }_{4,13}-Z_{3,13})}_{\varphi }& {({\Omega }_{5,13}-Z_{6,13})}_{\varphi }& {\left({\Omega }_{6,13}\right)}_{\varphi }& \\ Z_{61}& Z_{62}& {({\Omega }_{3,14}-Z_{2,14})}_{\varphi }& {({\Omega }_{4,14}-Z_{3,14})}_{\varphi }& {({\Omega }_{5,14}-Z_{6,14})}_{\varphi }& {\left({\Omega }_{6,14}\right)}_{\varphi }& \\ Z_{71}& Z_{72}& {({\Omega }_{3,15}-Z_{2,15})}_{\varphi }& {({\Omega }_{4,15}-Z_{3,15})}_{\varphi }& {({\Omega }_{5,15}-Z_{6,15})}_{\varphi }& {\left({\Omega }_{6,15}\right)}_{\varphi }& \\ Z_{81}& Z_{82}& Z_{83}& Z_{84}& Z_{85}& Z_{86}& \\ {({\Omega }_{1,17}-Z_{1,17})}_{\varphi }& {\left({\Omega }_{2,17}\right)}_{\varphi }& {({\Omega }_{3,17}-Z_{2,17})}_{\varphi }& {({\Omega }_{4,17}-Z_{3,17})}_{\varphi }& {({\Omega }_{5,17}-Z_{6,17})}_{\varphi }& {\left({\Omega }_{6,17}\right)}_{\varphi }& \\ Z_{10,1}& Z_{10,2}& Z_{10,3}& Z_{10,4}& Z_{10,5}& Z_{10,6}\end{array}\right.\\ \hfill \begin{array}{ccccc}{Z}_{17}& Z_{18}& Z_{19}& Z_{1,10}& Z_{1,11}\\ Z_{27}& Z_{28}& Z_{29}& Z_{2,10}& Z_{2,11}\\ Z_{37}& Z_{38}& Z_{39}& {\Omega }_{7,10}-{\Theta }_{14}-{\left(Z_{87}\right)}_{\varphi }& {\Omega }_{7,11}-{\Theta }_{15}-{\left(Z_{57}\right)}_{\varphi }\\ Z_{47}& Z_{48}& Z_{49}& {\Omega }_{8,10}-{\Theta }_{24}-{\left(Z_{88}\right)}_{\varphi }& {\Omega }_{8,11}-{\Theta }_{25}-{\left(Z_{58}\right)}_{\varphi }\\ {({\Omega }_{7,11}-{\Theta }_{15}-Z_{3,11})}_{\varphi }& {({\Omega }_{8,11}-{\Theta }_{25}-Z_{4,11})}_{\varphi }& {({\Omega }_{9,11}-{\Theta }_{35})}_{\varphi }& {({\Omega }_{10,13}-Z_{8,13})}_{\varphi }& {({\Omega }_{11,13}-Z_{5,13})}_{\varphi }\\ Z_{67}& Z_{68}& Z_{69}& {({\Omega }_{10,14}-Z_{8,14})}_{\varphi }& {({\Omega }_{11,14}-Z_{5,14})}_{\varphi }\\ Z_{77}& Z_{78}& Z_{79}& {({\Omega }_{10,15}-Z_{8,15})}_{\varphi }& {({\Omega }_{11,15}-Z_{5,15})}_{\varphi }\\ {({\Omega }_{7,10}-{\Theta }_{14}-Z_{3,10})}_{\varphi }& {({\Omega }_{8,10}-{\Theta }_{24}-Z_{4,10})}_{\varphi }& {({\Omega }_{9,10}-{\Theta }_{34})}_{\varphi }& {\Omega }_{10,10}-{\Theta }_{44}-{\left(Z_{8,10}\right)}_{\varphi }& {\Omega }_{10,11}-{\Theta }_{45}-{\left(Z_{5,10}\right)}_{\varphi }\\ {({\Omega }_{7,17}-Z_{3,17})}_{\varphi }& {({\Omega }_{8,17}-Z_{4,17})}_{\varphi }& {\left({\Omega }_{9,17}\right)}_{\varphi }& {({\Omega }_{10,17}-Z_{8,17})}_{\varphi }& {({\Omega }_{11,17}-Z_{5,17})}_{\varphi }\\ Z_{10,7}& Z_{10,8}& Z_{10,9}& Z_{10,10}& Z_{10,11}\end{array}\\ \hfill \left.\begin{array}{ccccccc}{Z}_{1,12}& Z_{1,13}& Z_{1,14}& Z_{1,15}& Z_{1,16}& {\Omega }_{1,17}-{\left(Z_{91}\right)}_{\varphi }& {\Omega }_{1,18}\\ Z_{2,12}& {\Omega }_{3,13}-{\left(Z_{53}\right)}_{\varphi }& {\Omega }_{3,14}-{\left(Z_{63}\right)}_{\varphi }& {\Omega }_{3,15}-{\left(Z_{73}\right)}_{\varphi }& {\Omega }_{3,16}& {\Omega }_{3,17}-{\left(Z_{93}\right)}_{\varphi }& {\Omega }_{3,18}\\ {\Omega }_{7,12}-{\Theta }_{16}& {\Omega }_{4,13}-{\left(Z_{54}\right)}_{\varphi }& {\Omega }_{4,14}-{\left(Z_{64}\right)}_{\varphi }& {\Omega }_{4,15}-{\left(Z_{74}\right)}_{\varphi }& {\Omega }_{4,16}& {\Omega }_{4,17}-{\left(Z_{94}\right)}_{\varphi }& {\Omega }_{4,18}\\ {\Omega }_{8,12}-{\Theta }_{26}& Z_{4,13}& Z_{4,14}& Z_{4,15}& Z_{4,16}& {\Omega }_{8,17}-{\left(Z_{98}\right)}_{\varphi }& {\Omega }_{8,18}\\ {\left({\Omega }_{12,13}\right)}_{\varphi }& {\Omega }_{11,13}-{\left(Z_{5,11}\right)}_{\varphi }& {\Omega }_{11,14}-{\left(Z_{6,11}\right)}_{\varphi }& {\Omega }_{11,15}-{\left(Z_{7,11}\right)}_{\varphi }& {\Omega }_{11,16}& {\Omega }_{11,17}-{\left(Z_{9,11}\right)}_{\varphi }& {\Omega }_{11,18}\\ {\left({\Omega }_{12,14}\right)}_{\varphi }& {\Omega }_{5,13}-{\left(Z_{55}\right)}_{\varphi }& {\Omega }_{5,14}-{\left(Z_{65}\right)}_{\varphi }& {\Omega }_{5,15}-{\left(Z_{75}\right)}_{\varphi }& {\Omega }_{5,16}& {\Omega }_{5,17}-{\left(Z_{95}\right)}_{\varphi }& {\Omega }_{5,18}\\ {\left({\Omega }_{12,15}\right)}_{\varphi }& Z_{7,13}& Z_{7,14}& Z_{7,15}& Z_{7,16}& {\Omega }_{15,17}-{\left(Z_{9,15}\right)}_{\varphi }& {\Omega }_{15,18}\\ {\Omega }_{10,12}-{\Theta }_{46}& {\Omega }_{10,13}-{\left(Z_{5,10}\right)}_{\varphi }& {\Omega }_{10,14}-{\left(Z_{6,10}\right)}_{\varphi }& {\Omega }_{10,15}-{\left(Z_{7,10}\right)}_{\varphi }& {\Omega }_{10,16}& {\Omega }_{10,17}-{\left(Z_{9,10}\right)}_{\varphi }& {\Omega }_{10,18}\\ {\left({\Omega }_{12,17}\right)}_{\varphi }& {({\Omega }_{13,16}-Z_{5,17})}_{\varphi }& {({\Omega }_{14,17}-Z_{6,17})}_{\varphi }& {({\Omega }_{15,17}-Z_{9,15})}_{\varphi }& {\left({\Omega }_{16,17}\right)}_{\varphi }& {\Omega }_{17,17}-{\left(Z_{9,17}\right)}_{\varphi }& {\Omega }_{17,18}\\ Z_{10,12}& Z_{10,13}& Z_{10,14}& Z_{10,15}& Z_{10,16}& Z_{10,17}& Z_{10,18}\end{array}\right),\end{array}$$

P, Q, S, T and M are defined in (6), Ω_ij and Θ_ij are defined in (34), X_ij, Y_ij, and Z_ij are arbitrary matrixes over $\mathbb{H}$ with appropriate sizes.

Proof. 

We utilize the method similar with solving the system (1) to solve the system (2).

(1) ⇒ (2): Suppose $(X_0,Y_0,Z_0)$ is a solution to the systmen (2), that is

$$\begin{array}{c}\hfill \left\{\begin{array}{c} A{X}_0{A}_{\varphi }+C{Y}_0{C}_{\varphi }+D{Z}_0+{\left(D{Z}_0\right)}_{\varphi }=\Omega ,\\ B{X}_0{B}_{\varphi }=\Theta .\end{array}\right.\end{array}$$

(47)

We can make advantage of elementary matrix operations to show that the rank equalities (38)–(41) hold.

(2) ⇔ (3): From $S_a$, $S_b$, $S_c$, $S_d$ in (4), we can have that

$$\begin{array}{c}\hspace{1em} r\left(\begin{array}{c}\Theta \\ B_{\varphi }\end{array}\right)=r(B)=r(S_b)=r({(S_b)}_{\varphi })=r(B_{\varphi })\hfill \\ \iff r\left(\begin{array}{c}\Theta \\ B_{\varphi }\end{array}\right)=r(B_{\varphi })\iff r\left(\begin{array}{c}{\Theta }_{ij}\\ {(S_b)}_{\varphi })\end{array}\right)=r({(S_b)}_{\varphi })\hfill \\ \iff \left(\begin{array}{c}{\Theta }_{18}\\ {\Theta }_{28}\\ ⋮\\ {\Theta }_{88}\end{array}\right)=0.\hfill \end{array}$$

Other equivalent relation between block matrixes and ranks can be obtain through similar method as shown in above, and then we only give out the results for the remaining three correspondences:

$$\begin{array}{c}\hspace{1em}r\left(\begin{array}{cc}\Omega & D\\ A_{\varphi }& 0\\ C_{\varphi }& 0\\ D_{\varphi }& 0\end{array}\right)=r(A, C, D)+r\left(D\right)\hfill \\ \iff \left\{\begin{array}{c} {\Omega }_{2,18}=0,{\Omega }_{6,18}=0,{\Omega }_{9,18}=0,{\Omega }_{12,18}=0,{\Omega }_{16,18}=0,{\Omega }_{18,18}=0,\\ {\Omega }_{4,18}={\Omega }_{7,18},{\Omega }_{5,18}={\Omega }_{14,18},{\Omega }_{11,18}={\Omega }_{13,18},\end{array}\right.\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}r\left(\begin{array}{ccc}\Omega & C& D\\ A_{\varphi }& 0& 0\\ D_{\varphi }& 0& 0\end{array}\right)=r(C, D)+r(A, D)\hfill \\ \iff {\Omega }_{6,16}=0,{\Omega }_{6,18}=0,{\Omega }_{12,16}=0,{\Omega }_{12,18}=0,{\Omega }_{18,16}=0,{\Omega }_{18,18}=0,\hfill \end{array}$$

$$\begin{array}{c}\hspace{1em}r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Theta \\ 0& 0& A_{\varphi }& B_{\varphi }\\ 0& 0& C_{\varphi }& 0\\ 0& 0& D_{\varphi }& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right)\hfill \\ \iff \left\{\begin{array}{c}{\Omega }_{9,12}={\Theta }_{36},{\Omega }_{18,18}=0,{\left({\Omega }_{12,16}\right)}_{\varphi }=0,\\ {\Omega }_{12,12}={\Theta }_{66},{\Omega }_{16,18}=0,{\Omega }_{12,18}=0,\\ {\Theta }_{56}={\Omega }_{11,12}-{\left({\Omega }_{13,12}\right)}_{\varphi },{\Omega }_{11,18}={\Omega }_{13,18}.\end{array}\right.\hfill \end{array}$$

(3) ⇒ (1): If (42)–(45) have been set up, then (46) is the general solution of the system (2). □

Remark 2.

We utilize a new method which differs from the one in [10] to obtain our result.

5. A Numerical Example to System (2)

The goal of this section is to present a numerical example to the system (2) to illustrate the availability of the Theorem 2.

Example 2.

Let

$$\begin{array}{c}\hfill A=\left(\begin{array}{ccc}\mathbf{i}& 1& -1\\ \mathbf{j}& \mathbf{j}& \mathbf{i}\\ -\mathbf{i}& \mathbf{k}& \mathbf{k}\end{array}\right), B=\left(\begin{array}{ccc}\mathbf{i}-\mathbf{k}& 2& 0\\ \mathbf{j}& \mathbf{i}& \mathbf{k}\\ 0& \mathbf{j}& 1\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill C=\left(\begin{array}{ccc}\mathbf{k}& 3& \mathbf{j}\\ 0& \mathbf{i}& 0\\ \mathbf{i}-\mathbf{k}& 2& 1+\mathbf{k}\end{array}\right), D=\left(\begin{array}{ccc}\mathbf{k}& 1& 2\mathbf{i}\\ \mathbf{i}& \mathbf{j}& -\mathbf{j}\\ -\mathbf{k}& 3\mathbf{k}& \mathbf{i}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \Omega ={\Omega }_{\varphi }=\left(\begin{array}{ccc}5+6\mathbf{i}+20\mathbf{j}& -2+4\mathbf{i}-\mathbf{j}+2\mathbf{k}& 4-2\mathbf{i}+4\mathbf{j}-4\mathbf{k}\\ -2+4\mathbf{i}-\mathbf{j}-2\mathbf{k}& -2+3\mathbf{i}+3\mathbf{j}& -1+2\mathbf{j}-8\mathbf{k}\\ 4-2\mathbf{i}+4\mathbf{j}+4\mathbf{k}& -1+2\mathbf{j}+8\mathbf{k}& 5+3\mathbf{i}+3\mathbf{j}\end{array}\right),\end{array}$$

$$\begin{array}{c}\hfill \Theta ={\Theta }_{\varphi }=\left(\begin{array}{ccc}-8-2\mathbf{i}+4\mathbf{j}& 2-2\mathbf{i}-2\mathbf{k}& \mathbf{i}-4\mathbf{j}+\mathbf{k}\\ 2-2\mathbf{i}+2\mathbf{k}& 1-\mathbf{i}+\mathbf{j}& -1\\ \mathbf{i}-4\mathbf{j}-\mathbf{k}& -1& 3+\mathbf{j}\end{array}\right),\end{array}$$

where $\varphi \left(a\right)=a^{\mathbf{k}\ast }=-\mathbf{k}{a}^{\ast }\mathbf{k}$ for $a\in \mathbb{H}$. We consider the ϕ-Hermitian solution to the system (2). Check that

$$\begin{array}{c}\hfill r\left(\begin{array}{c}\Theta \\ B_{\varphi }\end{array}\right)=r\left(B\right)=3,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{cc}\Omega & D\\ A_{\varphi }& 0\\ C_{\varphi }& 0\\ D_{\varphi }& 0\end{array}\right)=r\left(\begin{array}{ccc}A& C& D\end{array}\right)+r\left(D\right)=3+3=6,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{ccc}\Omega & C& D\\ A_{\varphi }& 0& 0\\ D_{\varphi }& 0& 0\end{array}\right)=r\left(\begin{array}{cc}C& D\end{array}\right)+r\left(\begin{array}{cc}A& D\end{array}\right)=3+3=6,\end{array}$$

$$\begin{array}{c}\hfill r\left(\begin{array}{cccc}A& D& \Omega & 0\\ B& 0& 0& -\Theta \\ 0& 0& A_{\varphi }& B_{\varphi }\\ 0& 0& C_{\varphi }& 0\\ 0& 0& D_{\varphi }& 0\end{array}\right)=r\left(\begin{array}{cc}A& D\\ B& 0\end{array}\right)+r\left(\begin{array}{ccc}A& C& D\\ B& 0& 0\end{array}\right)=6+6=12.\end{array}$$

The system (2) has a ϕ-Hermitian solution since all the rank equalities in (38)–(41) hold. Note that

$$\begin{array}{c}\hfill X=X_{\varphi }=\left(\begin{array}{ccc}\mathbf{i}& \mathbf{i}-\mathbf{k}& \mathbf{j}\\ \mathbf{i}+\mathbf{k}& \mathbf{j}& 1-\mathbf{j}\\ \mathbf{j}& 1-\mathbf{j}& 1\end{array}\right), Y=Y_{\varphi }=\left(\begin{array}{ccc}\mathbf{j}& \mathbf{i}& \mathbf{k}\\ \mathbf{i}& 1& 1-\mathbf{k}\\ -\mathbf{k}& 1+\mathbf{k}& 1+\mathbf{i}\end{array}\right),\end{array}$$

and

$$\begin{array}{c}\hfill Z=\left(\begin{array}{ccc}1& \mathbf{i}& \mathbf{k}\\ \mathbf{j}& 2& \mathbf{i}\\ -\mathbf{k}& \mathbf{j}& 0\end{array}\right)\end{array}$$

is a solution that satisfies the system (2).

6. Conclusions

We have investigated a Sylvester-like quaternion matrix equation system (1) making use of simultaneous decomposition of four quaternion matrixes to deduce some useful equivalent conditions of equation system consistency in terms of the partion of the coefficient matrixes of equivalent matrix equation system, also derived ranks condition according to the partion condition. Therefore, we have provided the general solution to the system (1). Based on the result of the system (1), we have infered the consistency conditions and general $\varphi$-Hermitian solution to the system (2). We also give several numerical examples to illustrate the main outcome.