The Optimization on Ranks and Inertias of a Quadratic Hermitian Matrix Function and Its Applications
Abstract
We solve optimization problems on the ranks and inertias of the quadratic Hermitian matrix function Q − XPX* subject to a consistent system of matrix equations AX = C and XB = D. As applications, we derive necessary and sufficient conditions for the solvability to the systems of matrix equations and matrix inequalities AX = C, XB = D, and XPX* = (>, <, ≥, ≤)Q in the Löwner partial ordering to be feasible, respectively. The findings of this paper widely extend the known results in the literature.
1. Introduction
2. The Optimization on Ranks and Inertias of (4) Subject to (5)
In this section, we consider the maximal and minimal ranks and inertias of the quadratic Hermitian matrix function (4) subject to (5). We begin with the following lemmas.
Lemma 2 (see [4].)Let A ∈ ℂm×n, B ∈ ℂm×k, C ∈ ℂl×n, D ∈ ℂm×p, E ∈ ℂq×n, , and be given. Then
Lemma 3 (see [23].)Let , B ∈ ℂm×n, , Q ∈ ℂm×n, and P ∈ ℂp×n be given, and, T ∈ ℂm×m be nonsingular. Then
Lemma 4. Let A, C, B, and D be given. Then the following statements are equivalent.
- (1)
System (5) is consistent.
- (2)
Let
()
Now we give the fundamental theorem of this paper.
Theorem 5. Let f(X) be as given in (4) and assume that AX = C and XB = D in (5) is consistent. Then
Proof. It follows from Lemma 4 that the general solution of (4) can be expressed as
Using immediately Theorem 5, we can easily get the following.
Theorem 6. Let f(X) be as given in (4), s± and let t± be as given in Theorem 5 and assume that AX = C and XB = D in (5) are consistent. Then we have the following.
- (a)
AX = C and XB = D have a common solution such that Q − XPX* ≥ 0 if and only if
() - (b)
AX = C and XB = D have a common solution such that Q − XPX* ≤ 0 if and only if
() - (c)
AX = C and XB = D have a common solution such that Q − XPX* > 0 if and only if
() - (d)
AX = C and XB = D have a common solution such that Q − XPX* < 0 if and only if
() - (e)
All common solutions of AX = C and XB = D satisfy Q − XPX* ≥ 0 if and only if
() - (f)
All common solutions of AX = C and XB = D satisfy Q − XPX* ≤ 0 if and only if
() - (g)
All common solutions of AX = C and XB = D satisfy Q − XPX* > 0 if and only if
()or() - (h)
All common solutions of AX = C and XB = D satisfy Q − XPX* < 0 if and only if
()or() - (i)
AX = C, XB = D, and Q = XPX* have a common solution if and only if
()
Let P = I in Theorem 5, we get the following corollary.
Corollary 7. Let Q ∈ ℂn×n, A, B, C, and D be given. Assume that (5) is consistent. Denote
Let B and D vanish in Theorem 5, then we can obtain the maximal and minimal ranks and inertias of (4) subject to AX = C.