Ranks of a Constrained Hermitian Matrix Expression with Applications
Abstract
We establish the formulas of the maximal and minimal ranks of the quaternion Hermitian matrix expression where X is a Hermitian solution to quaternion matrix equations A1X = C1, XB1 = C2, and . As applications, we give a new necessary and sufficient condition for the existence of Hermitian solution to the system of matrix equations A1X = C1, XB1 = C2, , and , which was investigated by Wang and Wu, 2010, by rank equalities. In addition, extremal ranks of the generalized Hermitian Schur complement with respect to a Hermitian g-inverse of A3, which is a common solution to quaternion matrix equations A1X = C1 and XB1 = C2, are also considered.
1. Introduction
It is well known that Schur complement is one of the most important matrix expressions in matrix theory; there have been many results in the literature on Schur complements and their applications [39–41]. Tian [36, 42] has investigated the maximal and minimal ranks of Schur complements with applications.
Motivated by the work mentioned above, we in this paper investigate the extremal ranks of the quaternion Hermitian matrix expression (9) subject to the consistent system of quaternion matrix equations (10) and its applications. In Section 2, we derive the formulas of extremal ranks of (9) with respect to Hermitian solution of (10). As applications, in Section 3, we give a new, necessary, and sufficient condition for the existence of Hermitian solution to system (5) by rank equalities. In Section 4, we derive extremal ranks of generalized Hermitian Schur complement subject to (2). We also consider the rank invariance problem in Section 5.
2. Extremal Ranks of (9) Subject to System (10)
Corollary 8 in [10] over Hilbert C*-modules can be changed into the following lemma over ℍ.
Lemma 1. Let A1, C1 ∈ ℍm×n, B1, C2 ∈ ℍn×s, A3 ∈ ℍr×n, C3 ∈ ℍr×r be given, and ; then the following statements are equivalent:
- (1)
the system (10) have a Hermitian solution,
- (2)
,
(11)(12) - (3)
; the equalities in (11) hold and
(13)
In that case, the general Hermitian solution of (10) can be expressed as
Lemma 2 (see Lemma 2.4 in [24].)Let A ∈ ℍm×n, B ∈ ℍm×k, C ∈ ℍl×n, D ∈ ℍj×k, and E ∈ ℍl×i. Then the following rank equalities hold:
- (a)
,
- (b)
,
- (c)
,
- (d)
.
Lemma 2 plays an important role in simplifying ranks of various block matrices.
Liu and Tian [38] has given the following lemma over a field. The result can be generalized to ℍ.
Lemma 3. Let A = ±A* ∈ ℍm×m, B ∈ ℍm×n, and C ∈ ℍp×m be given; then
If ℛ(B)⊆ℛ(C*),
Now we consider the extremal ranks of the matrix expression (9) subject to the consistent system (10).
Theorem 4. Let A1, C1, B1, C2, A3, and C3 be defined as Lemma 1, C4 ∈ ℍt×t, and A4 ∈ ℍt×n. Then the extremal ranks of the quaternion matrix expression f(X) defined as (9) subject to system (10) are the following:
Proof. By Lemma 1, the general Hermitian solution of the system (10) can be expressed as
Note that A = A* and ℛ(N)⊆ℛ(P*). Thus, applying (17) to (24), we get the following:
Now we simplify the ranks of block matrices in (25).
In view of Lemma 2, block Gaussian elimination, (11), (12), and (23), we have the following:
In Theorem 4, letting C4 vanish and A4 be I with appropriate size, respectively, we have the following.
Corollary 5. Assume that A1, C1 ∈ ℍm×n, B1, C2 ∈ ℍn×s, A3 ∈ ℍr×n, and C3 ∈ ℍr×r are given; then the maximal and minimal ranks of the Hermitian solution X to the system (10) can be expressed as
In Theorem 4, assuming that A1, B1, C1, and C2 vanish, we have the following.
Corollary 6. Suppose that the matrix equation is consistent; then the extremal ranks of the quaternion matrix expression f(X) defined as (9) subject to are the following:
3. A Practical Solvability Condition for Hermitian Solution to System (5)
In this section, we use Theorem 4 to give a necessary and sufficient condition for the existence of Hermitian solution to system (5) by rank equalities.
Theorem 7. Let A1, C1 ∈ ℍm×n, B1, C2 ∈ ℍn×s, A3 ∈ ℍr×n, C3 ∈ ℍr×r, A4 ∈ ℍt×n, and C4 ∈ ℍt×tbe given; then the system (5) have Hermitian solution if and only if, (11), (13) hold, and the following equalities are all satisfied:
Proof. It is obvious that the system (5) have Hermitian solution if and only if the system (10) have Hermitian solution and
Conversely, assume that , (11), (13) hold; then by Lemma 1, system (10) have Hermitian solution. By (20), (31)-(32), and
Hence (33) holds, implying that the system (5) have Hermitian solution.
By Theorem 7, we can also get the following.
Corollary 8. Suppose that A3, C3, A4, and C4 are those in Theorem 7; then the quaternion matrix equations and have common Hermitian solution if and only if (30) hold and the following equalities are satisfied:
4. Extremal Ranks of Schur Complement Subject to (2)
Now we use Theorem 4 to establish the extremal ranks of SA given by (42) with respect to A~ which is a solution to system (2).
Theorem 10. Suppose A1, C1 ∈ ℍm×n, B1, C2 ∈ ℍn×s, D ∈ ℍt×t, B ∈ ℍn×t, and A ∈ ℍn×n are given and system (2) is consistent; then the extreme ranks of SA given by (42) with respect to A~ which is a solution of (2) are the following:
Proof. It is obvious that
Thus in Theorem 4 and its proof, letting , A4 = B*, and C4 = D, we can easily get the proof.
In Theorem 10, let A1, C1, B1, and C2 vanish. Then we can easily get the following.
Corollary 11. The extreme ranks of SA given by (42) with respect to A~ are the following:
5. The Rank Invariance of (9)
As another application of Theorem 4, we in this section consider the rank invariance of the matrix expression (9) with respect to the Hermitian solution of system (10).
Theorem 12. Suppose that (10) have Hermitian solution; then the rank of f(X) defined by (9) with respect to the Hermitian solution of (10) is invariant if and only if
Proof. It is obvious that the rank of f(X) with respect to Hermitian solution of system (10) is invariant if and only if
By (49), Theorem 4, and simplifications, we can get (47) and (48).
Acknowledgments
This research was supported by the National Natural Science Foundation of China, Tian Yuan Foundation (11226067), the Fundamental Research Funds for the Central Universities (WM1214063), and China Postdoctoral Science Foundation (2012M511014).