Volume 2013, Issue 1 961568
Research Article
Open Access

The Optimization on Ranks and Inertias of a Quadratic Hermitian Matrix Function and Its Applications

Yirong Yao

Corresponding Author

Yirong Yao

Department of Mathematics, Shanghai University, Shanghai 200444, China shu.edu.cn

Search for more papers by this author
First published: 04 February 2013
Academic Editor: Yang Zhang

Abstract

We solve optimization problems on the ranks and inertias of the quadratic Hermitian matrix function QXPX* 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

Throughout this paper, we denote the complex number field by . The notations m×n and stand for the sets of all m × n complex matrices and all m × m complex Hermitian matrices, respectively. The identity matrix with an appropriate size is denoted by I. For a complex matrix A, the symbols A* and r(A) stand for the conjugate transpose and the rank of A, respectively. The Moore-Penrose inverse of Am×n, denoted by A, is defined to be the unique solution X to the following four matrix equations
()
Furthermore, LA and RA stand for the two projectors LA = IAA and RA = IAA induced by A, respectively. It is known that and . For , its inertia
()
is the triple consisting of the numbers of the positive, negative, and zero eigenvalues of A, counted with multiplicities, respectively. It is easy to see that i+(A) + i(A) = r(A). For two Hermitian matrices A and B of the same sizes, we say A > B  (AB) in the Löwner partial ordering if AB is positive (nonnegative) definite.
The investigation on maximal and minimal ranks and inertias of linear and quadratic matrix function is active in recent years (see, e.g., [124]). Tian [21] considered the maximal and minimal ranks and inertias of the Hermitian quadratic matrix function
()
where B and D are Hermitian matrices. Moreover, Tian [22] investigated the maximal and minimal ranks and inertias of the quadratic Hermitian matrix function
()
such that AX = C.
The goal of this paper is to give the maximal and minimal ranks and inertias of the matrix function (4) subject to the consistent system of matrix equations
()
where ,   are given complex matrices. As applications, we consider the necessary and sufficient conditions for the solvability to the systems of matrix equations and inequality
()
in the Löwner partial ordering to be feasible, respectively.

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 1 (see [3].)Let ,  Bm×p, and Cq×m be given and denote

()
Then
()
where
()

Lemma 2 (see [4].)Let Am×n,  Bm×k,  Cl×n,  Dm×p,  Eq×n,  , and be given. Then

()

Lemma 3 (see [23].)Let ,  Bm×n,  ,  Qm×n, and Pp×n be given, and, Tm×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

    ()

In this case, the general solution can be written as
()
where V is an arbitrary matrix over with appropriate size.

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

()
()
where
()

Proof. It follows from Lemma 4 that the general solution of (4) can be expressed as

()
where V is an arbitrary matrix over and X0 is a special solution of (5). Then
()
Note that
()
()
Let
()
Applying Lemma 1 to (19) and (20) yields
()
where
()
Applying Lemmas 2 and 3, elementary matrix operations and congruence matrix operations, we obtain
()
Substituting (24) into (22), we obtain the results.

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 QXPX* ≥ 0 if and only if

    ()

  • (b)

    AX = C and  XB = D have a common solution such that QXPX* ≤ 0 if and only if

    ()

  • (c)

    AX = C and  XB = D have a common solution such that QXPX* > 0 if and only if

    ()

  • (d)

    AX = C and  XB = D have a common solution such that QXPX* < 0 if and only if

    ()

  • (e)

    All common solutions of AX = C and  XB = D satisfy QXPX* ≥ 0 if and only if

    ()

  • (f)

    All common solutions of AX = C and  XB = D satisfy QXPX* ≤ 0 if and only if

    ()

  • (g)

    All common solutions of AX = C and  XB = D satisfy QXPX* > 0 if and only if

    ()
    or
    ()

  • (h)

    All common solutions of AX = C and  XB = D satisfy QXPX* < 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 Qn×n,  A,  B,  C, and D be given. Assume that (5) is consistent. Denote

()
Then,
()

Remark 8. Corollary 7 is one of the results in [24].

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.

Corollary 9. Let f(X) be as given in (4) and assume that AX = C is consistent. Then

()
where
()

Remark 10. Corollary 9 is one of the results in [22].

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.