Skip to main content
  • Research Article
  • Open access
  • Published:

On Some Matrix Trace Inequalities

Abstract

We first present an inequality for the Frobenius norm of the Hadamard product of two any square matrices and positive semidefinite matrices. Then, we obtain a trace inequality for products of two positive semidefinite block matrices by using block matrices.

1. Introduction and Preliminaries

Let denote the space of complex matrices and write . The identity matrix in is denoted . As usual, denotes the conjugate transpose of matrix . A matrix is Hermitian if . A Hermitian matrix is said to be positive semidefinite or nonnegative definite, written as , if

(1.1)

is further called positive definite, symbolized , if the strict inequality in (1.1) holds for all nonzero . An equivalent condition for to be positive definite is that is Hermitian and all eigenvalues of are positive real numbers. Given a positive semidefinite matrix and , denotes the unique positive semidefinite power of .

Let and be two Hermitian matrices of the same size. If is positive semidefinite, we write

(1.2)

Denote and eigenvalues and singular values of matrix , respectively. Since is Hermitian matrix, its eigenvalues are arranged in decreasing order, that is, and if is any matrix, its singular values are arranged in decreasing order, that is, The trace of a square matrix (the sum of its main diagonal entries, or, equivalently, the sum of its eigenvalues) is denoted by .

Let be any matrix. The Frobenius (Euclidean) norm of matrix is

(1.3)

It is also equal to the square root of the matrix trace of that is,

(1.4)

A norm on is called unitarily invariant for all and all unitary .

Given two real vectors and in decreasing order, we say that is weakly log majorized by , denoted , if , and we say that is weakly majorized by , denoted , if . We say is majorized by denoted by , if

(1.5)

As is well known, yields (see, e.g., [1, pages 17–19]).

Let be a square complex matrix partitioned as

(1.6)

where is a square submatrix of . If is nonsingular, we call

(1.7)

the Schur complement of in (see, e.g., [2, page 175]). If is a positive definite matrix, then is nonsingular and

(1.8)

Recently, Yang [3] proved two matrix trace inequalities for positive semidefinite matrices and ,

(1.9)

for

Also, authors in [4] proved the matrix trace inequality for positive semidefinite matrices and ,

(1.10)

where is a positive integer.

Furthermore, one of the results given in [5] is

(1.11)

for and positive definite matrices, where is any positive integer.

2. Lemmas

Lemma 2.1 (see, e.g., [6]).

For any and .

Lemma 2.2 (see, e.g., [7]).

Let then

(2.1)

Lemma 2.3 (Cauchy-Schwarz inequality).

Let and be real numbers. Then,

(2.2)

Lemma 2.4 (see, e.g., [8, page 269]).

If and are poitive semidefinite matrices, then,

(2.3)

Lemma 2.5 (see, e.g., [9, page 177]).

Let and are matrices. Then,

(2.4)

Lemma 2.6 (see, e.g., [10]).

Let and are positive semidefinite matrices. Then,

(2.5)

where is a positive integer.

3. Main Results

Horn and Mathias [11] show that for any unitarily invariant norm on

(3.1)

Also, the authors in [12] show that for positive semidefinite matrix , where

(3.2)

for all and all unitarily invariant norms .

By the following theorem, we present an inequality for Frobenius norm of the power of Hadamard product of two matrices.

Theorem 3.1.

Let and be -square complex matrices. Then

(3.3)

where is a positive integer. In particular, if and are positive semidefinite matrices, then

(3.4)

Proof.

From definition of Frobenius norm, we write

(3.5)

Also, for any and , it follows that (see, e.g., [13])

(3.6)
(3.7)

Since for and from inequality (3.7), we write

(3.8)

From Lemma 2.1 and Cauchy-Schwarz inequality, we write

(3.9)

By combining inequalities (3.7), (3.8), and (3.9), we arrive at

(3.10)

Thus, the proof is completed. Let and be positive semidefinite matrices. Then

(3.11)

where .

Theorem 3.2.

Let be positive semidefinite matrices. For positive real numbers

(3.12)

Proof.

Let

(3.13)

We know that , then by using the definition of Frobenius norm, we write

(3.14)

Thus, by using Theorem 3.1, the desired is obtained.

Now, we give a trace inequality for positive semidefinite block matrices.

Theorem 3.3.

Let

(3.15)

then,

(3.16)

where is an integer.

Proof.

Let

(3.17)

with . Then (see, e.g., [14]). Let

(3.18)

with , , . Then (see, e.g., [14]). We know that

(3.)

By using Lemma 2.2, it follows that

(3.20)

Therefore, we get

(3.21)

As result, we write

(3.22)

Example 3.4.

Let

(3.23)

Then From inequality (1.11), for we get

(3.24)

Also, for , since and , we get

(3.25)

Thus, according to this example from (3.24) and (3.25), we get

(3.26)

References

  1. Zhan X: Matrix Inequalities, Lecture Notes in Mathematics. Volume 1790. Springer, Berlin, Germany; 2002:viii+116.

    Google Scholar 

  2. Zhang F: Matrix Theory: Basic Results and Techniques, Universitext. Springer, New York, NY, USA; 1999:xiv+277.

    Book  Google Scholar 

  3. Yang X: A matrix trace inequality. Journal of Mathematical Analysis and Applications 2000, 250(1):372–374. 10.1006/jmaa.2000.7068

    Article  MATH  MathSciNet  Google Scholar 

  4. Yang XM, Yang XQ, Teo KL: A matrix trace inequality. Journal of Mathematical Analysis and Applications 2001, 263(1):327–331. 10.1006/jmaa.2001.7613

    Article  MATH  MathSciNet  Google Scholar 

  5. F. M. Dannan, Matrix and operator inequalities., Journal of Inequalities in Pure and AppliedMathematics, vol. 2, no. 3, article 34, 7 pages, 2001.

    Google Scholar 

  6. Zhang FZ: Another proof of a singular value inequality concerning Hadamard products of matrices. Linear and Multilinear Algebra 1988, 22(4):307–311. 10.1080/03081088808817843

    Article  MATH  MathSciNet  Google Scholar 

  7. Z. P. Yang and X. X. Feng, A note on the trace inequality for products of Hermitian matrix power, Journal of Inequalities in Pure and Applied Mathematics, vol. 3, no. 5, article 78, 12 pages, 2002.

    Google Scholar 

  8. Lieb EH, Thirring W: Studies in Mathematical Physics, Essays in Honor of Valentine Bartmann. Princeton University Press, Princeton, NJ, USA; 1976.

    Google Scholar 

  9. Horn RA, Johnson CR: Topics in Matrix Analysis. Cambridge University Press, Cambridge, UK; 1991:viii+607.

    Book  MATH  Google Scholar 

  10. Wang BY, Gong MP: Some eigenvalue inequalities for positive semidefinite matrix power products. Linear Algebra and Its Applications 1993, 184: 249–260.

    Article  MATH  MathSciNet  Google Scholar 

  11. Horn RA, Mathias R: An analog of the Cauchy-Schwarz inequality for Hadamard products and unitarily invariant norms. SIAM Journal on Matrix Analysis and Applications 1990, 11(4):481–498. 10.1137/0611034

    Article  MATH  MathSciNet  Google Scholar 

  12. Horn RA, Mathias R: Cauchy-Schwarz inequalities associated with positive semidefinite matrices. Linear Algebra and Its Applications 1990, 142: 63–82. 10.1016/0024-3795(90)90256-C

    Article  MATH  MathSciNet  Google Scholar 

  13. Zhang F: Schur complements and matrix inequalities in the Löwner ordering. Linear Algebra and Its Applications 2000, 321(1–3):399–410.

    Article  MATH  MathSciNet  Google Scholar 

  14. Li C-K, Mathias R: Inequalities on singular values of block triangular matrices. SIAM Journal on Matrix Analysis and Applications 2002, 24(1):126–131. 10.1137/S0895479801398517

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgment

This study was supported by the Coordinatorship of Selçuk University's Scientific Research Projects (BAP).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zübeyde Ulukök.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Ulukök, Z., Türkmen, R. On Some Matrix Trace Inequalities. J Inequal Appl 2010, 201486 (2010). https://doi.org/10.1155/2010/201486

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2010/201486

Keywords