Research Article | Open Access

Wenling Zhao, Hongkui Li, Xueting Liu, Fuyi Xu, "Necessary and Sufficient Conditions for the Existence of a Hermitian Positive Definite Solution of a Type of Nonlinear Matrix Equations", *Mathematical Problems in Engineering*, vol. 2009, Article ID 672695, 13 pages, 2009. https://doi.org/10.1155/2009/672695

# Necessary and Sufficient Conditions for the Existence of a Hermitian Positive Definite Solution of a Type of Nonlinear Matrix Equations

**Academic Editor:**Victoria Vampa

#### Abstract

We study the Hermitian positive definite solutions of the nonlinear matrix equation , where is an nonsingular matrix. Some necessary and sufficient conditions for the existence of a Hermitian positive definite solution of this equation are given. However, based on the necessary and sufficient conditions, some properties and the equivalent equations of are presented while the matrix equation has a Hermitian positive definite solution.

#### 1. Introduction

In this paper, we conside the Hermitian positive definite solutions of the matrix equation: where is an nonsingular matrix, denotes the identity matrix, and the conjugate transpose of .

In many physical applications [1] (such as super-resolution image restoration, a new image processing branch, which restores one better image of higher resolution from a degraded image sequence of lower resolution, algorithms of super-resolution image restoration can be used wherever image resolution is not contented, and image sequence can be obtained), we must solve a system of linear equations [2]: where the positive definite matrix arises from a finite different approximation to an elliptic partial differential equation. The solving of the System can be transformed to the solving of the equations , and the nonlinear matrix equation (1.1), appears in such many applications including control theory, ladder networks, dynamic programming, stochastic filtering, statistic, and super-resolution image restoration. For such decomposition to exist the matrix must be a positive definite solution to the matrix equations .

We know that the study of the Hermitian positive definite solutions of the matrix equation has three basic problems, the theoretic issue on solvability; the numerical solution; the analysis of the perturbation.

Because of the wide mathematical and physical background, in recent years, the existence of Hermitian positive solutions for nonlinear matrix equation received wide attention (1.1) [3], for various values of . In [3], Ivanov et al. construct iterative methods for obtaining positive definite solutions of the matrix equation (1.1) and give some sufficient conditions for the existence of a positive definite solution. Moreover, Ferrante and Levy [4] studied the equation , and presented an algorithm which converges to the positive definite solution for a wide range of conditions. Cheng [5] presented some sufficient conditions and new necessary conditions for the existence of Hermitian positive definite solutions. In [6], Ivanov discussed sufficient conditions for existence the minimal and special positive definite solutions are derived and iterative procedures for computing these solutions. The problem in the Hermitian positive definite solutions of the matrix equation has been extensively researched in [7–12].

Throughout this paper, let denote the spectral norm for square matrices unless otherwise noted, that is, , where the are the eigenvalues of , the identity matrix, and the conjugate transpose of . The notation means that is a positive definite Hermitian matrix, is used to indicate that , that is, be Hermitian positive definite.

In this paper, motivated by the results mentioned earlier, we give some necessary and sufficient conditions for the existence of a Hermitian positive definite solution of (1.1), and these necessary and sufficient conditions are different to [3, 5]. Based on them, we also present some properties of the coefficient matrix are presented and two equivalent equations of (1.1) when the matrix equation has a Hermitian positive definite solution.

#### 2. Preliminaries and Lemmas

The following are several basic properties and are useful in this paper.

Lemma 2.1. *The spectral norm is monotonic norm, that is, if , then .*

Lemma 2.2. *If is positive definite Hermitian matrix, then there is a unique positive definite Hermitian matrix such that .*

Lemma 2.3 (see [3, Corollary 2.1]). *If is a positive definite solution of (1.1), then
*

Lemma 2.4 (see [13, Theorem 4]). *If (1.1) has a solution, then
**
Moreover, if has order , then can take any value in the interval for (1.1) to have a solution.*

#### 3. The Main Results

In this section, we present our main results.

Theorem 3.1. *The matrix equation (1.1) has a Hermitian positive definite solution if and only if unitary equivalent to , that is, can be factorized as
**
where , are the eigenvalues of , , and the columns of
**
are orthonormal. In this case is a Hermitian positive definite solution of (1.1) and all Hermitian positive definite solutions of (1.1) can be formed in this way. By the result mentioned earlier, the solving of (1.1) can be transformed to the solving of the equation
**
where is a nonsingular Hermitian matrix, , are the eigenvalues of , .*

*Proof. *If the matrix equation (1.1) has a Hermitian positive definite solution , then there exists a unitary matrix satisfied where are the eigenvalues of . Let , then , we rewrite the matrix equation (1.1) as
so
Because is a unitary matrix, hence
Thus
Let , then and by (3.3), it is easy to see that the columns of
are orthonormal.

Conversely, suppose that has the decomposition (3.1) and , where is a unitary matrix. Since the columns of
are orthonormal, so
that is,

Then, we have

Hence is a Hermitian positive definite solution of (1.1).

The proof of Theorem 3.1 is complete.

Theorem 3.2. *If the matrix equation (1.1) has a Hermitian positive definite solution , then
**
where are the eigenvalues of .*

*Proof. *By Theorem 3.1, if is a Hermitian positive definite solution of (3.3), then we have
thus
hence , that is,
where .

Without loss of generality, suppose , then . By the proof of Theorem 3.1, we have
Let such that , where . Since , then , and , that is,

Now let
where is -column vector, then , so is column orthogonal and . Let , and with CS factorization theorem, extend them to form an orthogonal basis of . Thus is a unitary matrix such that , and hence
So
thus we have
that is,
that is,
The proof of Theorem 3.2 is complete.

Theorem 3.3. *If the matrix equation (1.1) has a Hermitian positive definite solution , let , where are the eigenvalues of , then*(1)*;*(2)*.*

*Proof. *By Theorem 3.1, , where is a unitary matrix, hence .

Let , where be the eigenvalues of .

(1) By Theorem 3.1, is a Hermitian positive definite solution of (3.3), thus
hence

So

Since is a Hermitian positive definite solution of (3.3), is a nonsingular matrix, that is, , by (1) , then
so
thus we have

The proof of Theorem 3.3 is complete.

Theorem 3.4. *Suppose and are two positive definite Hermitian matrices, and then there exist a nonsingular matrices which satisfied*(1)*
where , are the eigenvalues of ;*(2)*, and the columns of
are orthonormal, .*

*Proof. *(1) Since the matrix is positive definite Hermitian, then there exists a unique positive definite Hermitian matrix such that . We note
It is to prove that is Hermitian matrix also, so there exists a unitary matrix such that , where , are the eigenvalues of . Hence we have the following equation
Let , then is nonsingular. Since
so the eigenvalue of is equal to the eigenvalue of .

(2) If (3.31) is hold, then we have
Since , is nonsingular, so is positive definite Hermitian.

Thus , that is, . It is easy to see that the columns of
are orthonormal.

The proof of Theorem 3.4 is complete.

Theorem 3.5. *The matrix equation (1.1) has a Hermitian positive definite solution if and only if has the following factorization:
**
where are the eigenvalues of and the columns of
**
are orthonormal. In this case is a Hermitian positive definite solution and all Hermitian positive definite solutions can be formed in this way.*

*Proof. *If the matrix equation (1.1) has a Hermitian positive definite solution , then by Theorem 3.3, there exists a nonsingular matrix which satisfied
hence

So (1.1) is equivalent to
or equivalently
Let , then and (3.43) means that the columns of
are orthonormal.

Conversely, suppose that has the decomposition and , where is a unitary matrix. Since the columns of
are orthonormal, so
Hence
Then we have
The proof of Theorem 3.5 is complete.

Theorem 3.6. *The matrix equation (1.1) has a Hermitian positive definite solution if and only if has the following factorization:
**
where are the eigenvalues of and the columns of
**
are orthonormal. In this case is a Hermitian positive definite solution and all Hermitian positive definite solutions can be formed in this way.*

*Proof. *If the matrix equation (1.1) has a Hermitian positive definite solution , then by Theorem 3.3, there exists a nonsingular matrix which satisfied
hence

So (1.1) is equivalent to
or equivalently
Let , then and (3.54) means that the columns of
are orthonormal.

Conversely, suppose that has the decomposition and , where is a unitary matrix. Since the columns of
are orthonormal, then
Thus
Then we have
The proof of Theorem 3.6 is complete.

Theorem 3.7. *The matrix equation (1.1) has a Hermitian positive definite solution if and only if is unitary, where are the eigenvalues of .*

*Proof. *If the matrix equation (1.1) has a Hermitian positive definite solution , then by Theorem 3.3, there exists a nonsingular matrix which satisfied
hence

So (1.1) is equivalent to
that is,
Let , then (3.63) is equivalent to
So
Thus is unitary.

The proof of Theorem 3.7 is complete.

Similarly, we have the following theorem.

Theorem 3.8. *The matrix equation (1.1) has a Hermitian positive definite solution if and only if is unitary, where are the eigenvalues of .*

*Remark 3.9. *By Theorems 3.7 and 3.8, the solving of (1.1) is transformed to the solving of
where are the eigenvalues of or is a nonsingular Hermitian matrix.

It is easy to see that every eigenvalue of or satisfied

#### Acknowledgment

This research was supported by KJM of Shandong University of Technology Grant (2005KJM30).

#### References

- S. Huanfeng, L. Pingxiang, and Z. Liangpei, “A regularized super-resolution image reconstruction method,”
*Journal of Image and Graphics*, vol. 10, pp. 436–440, 2005. View at: Google Scholar - B. L. Buzbee, G. H. Golub, and C. W. Nielson, “On direct methods for solving Poisson's equations,”
*SIAM Journal on Numerical Analysis*, vol. 7, pp. 627–656, 1970. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - I. G. Ivanov, V. I. Hasanov, and B. V. Minchev, “On matrix equations $X\pm {A}^{\ast}{X}^{-2}A=I$,”
*Linear Algebra and Its Applications*, vol. 326, no. 1–3, pp. 27–44, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Ferrante and B. C. Levy, “Hermitian solutions of the equation $X=Q+N{X}^{-1}{N}^{\ast}$,”
*Linear Algebra and Its Applications*, vol. 247, pp. 359–373, 1996. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Cheng, “Necessary and sufficient conditions for the existence of a positive definite solution of the matrix equation $X+{A}^{\ast}{X}^{-2}A=I$,”
*Acta Scientiarum Naturalium Universitatis Pekinensis*, vol. 41, no. 1, pp. 55–61, 2005. View at: Google Scholar | Zentralblatt MATH | MathSciNet - I. G. Ivanov, “On positive definite solutions of the family of matrix equations $X+{A}^{\ast}{X}^{-n}A=Q$,”
*Journal of Computational and Applied Mathematics*, vol. 193, no. 1, pp. 277–301, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. A. Horn and C. R. Johnson,
*Topics in Matrix Analysis*, Cambridge University Press, Cambridge, UK, 1991. View at: MathSciNet - S. Fital and C.-H. Guo, “A note on the fixed-point iteration for the matrix equations $X{A}^{\ast}{X}^{-1}A=I$,”
*Linear Algebra and Its Applications*, vol. 429, no. 8-9, pp. 2098–2112, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. M. El-Sayed and A. M. Al-Dbiban, “A new inversion free iteration for solving the equation $X{A}^{\ast}{X}^{-1}A=Q$,”
*Journal of Computational and Applied Mathematics*, vol. 181, no. 1, pp. 148–156, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. M. El-Sayed and M. El-Alem, “Some properties for the existence of a positive definite solution of matrix equation $X+A{X}^{-{2}^{m}}A=I$,”
*Applied Mathematics and Computation*, vol. 128, no. 1, pp. 99–108, 2002. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - X. Zhan, “Computing the extremal positive definite solutions of a matrix equation,”
*SIAM Journal on Scientific Computing*, vol. 17, no. 5, pp. 1167–1174, 1996. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. M. El-Sayed and A. C. M. Ran, “On an iteration method for solving a class of nonlinear matrix equations,”
*SIAM Journal on Matrix Analysis and Applications*, vol. 23, no. 3, pp. 632–645, 2001. View at: Google Scholar | MathSciNet - I. G. Ivanov and S. M. El-Sayed, “Properties of positive definite solutions of the equation $X+{A}^{\ast}{X}^{-2}A=I$,”
*Linear Algebra and Its Applications*, vol. 279, no. 1–3, pp. 303–316, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet

#### Copyright

Copyright © 2009 Wenling Zhao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.