Perturbation Analysis of the Nonlinear Matrix Equation
Abstract
Consider the nonlinear matrix equation with 0 < pi < 1. Two perturbation bounds and the backward error of an approximate solution to the equation are derived. Explicit expressions of the condition number for the equation are obtained. The theoretical results are illustrated by numerical examples.
1. Introduction
For the similar equations X ± A*X−pA = Q, Xs ± A*X−tA = Q, , and X = Q − A*X−1A + B*X−1B, there were many contributions in the literature to the theory, numerical solutions, and perturbation analysis [8–32]. Jia and Gao [33] derived two perturbation estimates for the solution of the equation X − A*XqA = Q with 0 < q < 1. In addition, Duan et al. [34] proved that the equation has a unique positive definite solution. They also proposed an iterative method for obtaining the unique positive definite solution. However, to our best knowledge, there has been no perturbation analysis for (1) with m > 1 in the known literature.
As a continuation of the previous results, the rest of the paper is organized as follows. In Section 2, some preliminary lemmas are given. In Section 3, two perturbation bounds for the unique solution to (1) are derived. Furthermore, in Section 4, we obtain the backward error of an approximate solution to (1). In Section 5, we also discuss the condition number of the unique solution to (1). Finally, several numerical examples are presented in Section 6.
We denote by 𝒞n×n the set of n × n complex matrices, by ℋn×n the set of n × n Hermitian matrices, by I the identity matrix, by i the imaginary unit, by ∥·∥ the spectral norm, by ∥·∥F the Frobenius norm, and by λmax (M) and λmin (M) the maximal and minimal eigenvalues of M, respectively. For A = (a1, …, an) = (aij) ∈ 𝒞n×n and a matrix B, A ⊗ B = (aijB) is a Kronecker product, and vec A is a vector defined by . For X, Y ∈ ℋn×n, we write X ≥ Y (X > Y, resp.) if X − Y is Hermitian positive semidefinite (definite, resp.).
2. Preliminaries
Lemma 1 (see [35].)If A ≥ B > 0 and 0 ≤ γ ≤ 1, then Aγ ≥ Bγ.
Lemma 2 (see [33].)For any Hermitian positive definite matrix X and Hermitian matrix ΔX, one has
- (i)
, 0 < q < 1;
- (ii)
.
- (iii)
.
Lemma 3 (see [34].)The matrix equation always has a unique positive definite solution X. The matrix sequence Xk:
3. Perturbation Bounds
By Lemma 3, we know that (1) always has a unique positive definite solution X; then in this section two perturbation bounds for the unique positive definite solution of (1) are developed. The relative perturbation bound in Theorem 5 does not depend on any knowledge of the actual solution X of (1). Furthermore, a sharper perturbation bound in Theorem 8 is derived.
To prove the next theorem, we first verify the following lemma.
Lemma 4. If X is a solution of (1), then
Proof. By Lemma 3, (1) with 0 < pi < 1 always has a unique positive definite solution X. Then X > 0, and it follows that . Therefore X ≥ Q. By Lemma 1 and (1), we have .
The next theorem generalizes [33, Theorem 4] with m = 1, ∥ΔQ∥ = 0 to arbitrary integer m ≥ 1, ∥ΔQ∥ > 0.
Theorem 5. Let . If
Proof. Let
For every ΔX ∈ Ω, it follows that Thus
Remark 6. According to
Next, a sharper perturbation estimate is derived.
Lemma 7. If , then the linear operator L : ℋn×n → ℋn×n defined by
Proof. It suffices to show that the following equation:
Proof. Let
4. Backward Error
In this section, a backward error of an approximate solution for the unique solution to (1) is obtained.
Theorem 10. Let be an approximation to the solution X of (1). If and the residual satisfies
Proof. Let
According to (17), we obtain
5. Condition Number
In this section, we apply the theory of condition number developed by Rice [36] to study condition numbers of the unique solution to (1).
5.1. The Complex Case
Then we have the following theorem.
Theorem 11. If , then the condition number c(X) defined by (54) has the explicit expression
Remark 12. From (60) we have the relative condition number
5.2. The Real Case
In this subsection we consider the real case. That is, all the coefficient matrices Ai, Q of (1) are real. In such a case the corresponding solution X is also real. Completely similar arguments as Theorem 11 give the following theorem.
Theorem 13. Let Ai, Q be real and let c(X) be the condition number defined by (54). If , then c(X) has the explicit expression
Remark 14. In the real case the relative condition number is given by
6. Numerical Examples
To illustrate the results of the previous sections, in this section three simple examples are given, which were carried out using MATLAB 7.1. For the stopping criterion we take .
Example 15. We consider the matrix equation
We now consider the corresponding perturbation bounds for the solution X in Theorems 5 and 8.
j | 4 | 5 | 6 | 7 |
---|---|---|---|---|
ass1 | 1.0749 | 1.0753 | 1.0753 | 1.0753 |
ass2 | 0.9248 | 0.9247 | 0.9247 | 0.9247 |
ass3 | 0.8543 | 0.8550 | 0.8550 | 0.8550 |
ass4 | 0.9999 | 1.0000 | 1.0000 | 1.0000 |
ass5 | 0.7645 | 0.7648 | 0.7648 | 0.7648 |
The results listed in Table 1 show that the assumptions of Theorems 5 and 8 are satisfied.
By Theorems 5 and 8, we can compute the relative perturbation bounds ξ1 and ξ2 = ν/∥X∥, respectively. These results averaged as the geometric mean of 10 randomly perturbed runs. Some results are listed in Table 2.
j | 4 | 5 | 6 | 7 |
---|---|---|---|---|
2.5627 × 10−5 | 3.8447 × 10−6 | 5.1681 × 10−7 | 2.1776 × 10−8 | |
ξ1 | 2.1885 × 10−4 | 1.9891 × 10−5 | 2.4026 × 10−6 | 1.8251 × 10−7 |
ξ2 | 8.0828 × 10−5 | 7.4741 × 10−6 | 8.8011 × 10−7 | 6.9496 × 10−8 |
The results listed in Table 2 show that the perturbation bound ξ2 given by Theorem 8 is fairly sharp, while the bound ξ1 given by Theorem 5 which does not depend on the exact solution is conservative.
Example 16. We consider the matrix equation
The residual satisfies the conditions in Theorem 10.
k | 8 | 10 | 12 | 14 |
---|---|---|---|---|
6.1091 × 10−4 | 4.0865 × 10−5 | 2.6837 × 10−6 | 1.7372 × 10−7 | |
7.1435 × 10−4 | 4.7784 × 10−5 | 3.1381 × 10−6 | 2.0318 × 10−7 |
The results listed in Table 3 show that the error bound given by Theorem 10 is fairly sharp.
Example 17. We study the matrix equation
Table 4 shows that the unique positive definite solution X is well conditioned.
k | 1 | 3 | 5 | 7 | 9 |
---|---|---|---|---|---|
crel(X) | 1.0717 | 1.0228 | 1.0225 | 1.0225 | 1.0225 |
Acknowledgments
The author wishes to express her gratitude to the referees for their fruitful comments. The work was supported in part by National Nature Science Foundation of China (11201263), Natural Science Foundation of Shandong Province (ZR2012AQ004), and Independent Innovation Foundation of Shandong University (IIFSDU), China.