Research Article On the Positive Definite Solutions of a Nonlinear Matrix Equation

advertisement
Hindawi Publishing Corporation
Journal of Applied Mathematics
Volume 2013, Article ID 676978, 6 pages
http://dx.doi.org/10.1155/2013/676978
Research Article
On the Positive Definite Solutions of a Nonlinear
Matrix Equation
Panpan Liu,1 Shugong Zhang,1 and Qingchun Li2
1
School of Mathematics, Key Laboratory of Symbolic Computation and Knowledge Engineering (Ministry of Education),
Jilin University, Changchun 130012, China
2
Department of Mathematics, Beihua University, Jilin 132013, China
Correspondence should be addressed to Shugong Zhang; sgzh@mail.jlu.edu.cn
Received 28 November 2012; Revised 19 April 2013; Accepted 21 April 2013
Academic Editor: J. Biazar
Copyright © 2013 Panpan Liu 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.
The positive definite solutions of the nonlinear matrix equation 𝑋𝑠 + 𝐴∗ 𝑓(𝑋)𝐴 = 𝑄 are discussed. A necessary and sufficient
condition for the existence of positive definite solutions for this equation is derived. Then, the uniqueness of the Hermitian positive
definite solution is studied based on an iterative method proposed in this paper. Lastly the perturbation analysis for this equation
is discussed.
1. Introduction
Denote the set of all 𝑛 × π‘› positive definite matrices by 𝑃(𝑛).
In this paper, we consider the matrix equation
𝑋𝑠 + 𝐴∗ 𝑓 (𝑋) 𝐴 = 𝑄,
(1)
where 𝐴 is nonsingular, 𝑄 is a Hermitian positive definite
matrix, 𝑠 is a positive real number, 𝑓 is a continuous map
from 𝑃(𝑛) into 𝑃(𝑛), and 𝑓 is either monotone (meaning that
0 ≤ 𝑋 ≤ π‘Œ implies that 𝑓(𝑋) ≤ 𝑓(π‘Œ)) or antimonotone
(meaning that 0 ≤ 𝑋 ≤ π‘Œ implies that 𝑓(𝑋) ≥ 𝑓(π‘Œ)).
Nonlinear matrix equation of the form (1) often arises in
dynamic programming, control theory, stochastic filtering,
statistics, and so on. In recent years, many authors have been
much interested in studying this class of matrix equations [1–
10].
Equation (1) has been investigated in some special cases.
For the case 𝑠 = 1, Ran and Reurings [1] derived some
sufficient conditions for the existence and uniqueness of
a positive definite solution of (1). In addition, an iterative
method for obtaining Hermitian positive definite solutions of
(1) with 𝑓(𝑋) = 𝑋−𝑑 is proposed by Yueting [10]. Liu and Gao
[9] proved the existence of the symmetric positive definite
solutions of (1) with 𝑓(𝑋) = ±π‘‹−𝑑 and 𝑄 = 𝐼. Many other
authors investigated (1) for particular choices of the map 𝑓
[2–4, 6–8].
In Section 2, we will derive a necessary and sufficient
condition for the existence of positive definite solutions of
(1). In Section 3, we will propose an iterative method and
investigate the uniqueness of the Hermitian positive definite
solution. Finally, in Section 4, we will discuss the perturbation
analysis of (1).
The following notations are used throughout this paper.
For a positive definite matrix 𝐴, πœ† max (𝐴) and πœ† min (𝐴) stand
for the maximal and minimal eigenvalues of matrix 𝐴,
respectively. 𝐴∗ is the conjugate transpose of the matrix 𝐴,
and 𝐴−∗ is the inversion of 𝐴∗ . ‖𝐴‖ denotes the spectral
norm of 𝐴. 𝐴 > 0 (𝐴 ≥ 0) denotes that 𝐴 is a positive
definite (semidefinite) matrix, and 𝐴 > 𝐡 (𝐴 ≥ 𝐡) means
that 𝐴 − 𝐡 > 0 (𝐴 − 𝐡 ≥ 0). The notation 𝐿 𝐴,𝐡 denotes the
line segment joining 𝐴 and 𝐡; that is,
𝐿 𝐴,𝐡 = {𝑑𝐴 + (1 − 𝑑) 𝐡 | 𝑑 ∈ [0, 1]} .
(2)
2. On the Positive Definite Solutions of (1)
In this section, we will derive a necessary and sufficient
condition for the existence of positive definite solutions of (1).
Lemma 1 (see [8]). Assume that 𝐴 ≥ 𝐡 ≥ 0 (𝐴 > 𝐡 ≥ 0); if
π‘Ÿ ∈ (0, 1], then π΄π‘Ÿ ≥ π΅π‘Ÿ (π΄π‘Ÿ > π΅π‘Ÿ ), and if π‘Ÿ ∈ [−1, 0), then
π΄π‘Ÿ ≤ π΅π‘Ÿ (π΄π‘Ÿ < π΅π‘Ÿ ).
2
Journal of Applied Mathematics
If there is unique Hermitian positive definite matrix 𝑇,
such that 𝑓(𝑋) = 𝑇2 , 𝑋 ∈ 𝑃(𝑛), then we denote that 𝑇 =
𝑓1/2 (𝑋).
Theorem 2. Assume that 𝑓 is a continuous map from 𝑃(𝑛) into
𝐻𝑃(𝑛), where 𝐻𝑃(𝑛) denotes the set of all 𝑛 × π‘› Hermitian
positive definite matrices. Then, (1) has a Hermitian positive
definite solution if and only if there is a nonsingular matrix π‘Š,
such that π‘Š∗ π‘Š = π‘Šπ‘Š∗ , and 𝐴 = (𝑓1/2 (π‘Š∗ π‘Š))−1 𝑍𝑄1/2 ,
where
−1/2 ∗
𝑠 ∗
𝑠
−1/2
) (π‘Š ) (π‘Š ) 𝑄
(𝑄
∗
+ 𝑍 𝑍 = 𝐼.
(3)
In this case, (1) has a Hermitian positive definite solution 𝑋 =
π‘Š∗ π‘Š.
Proof. If 𝑋 is a Hermitian positive definite solution of (1),
then there is unique Hermitian positive definite matrix π‘Š,
such that 𝑋 = π‘Š2 (see [11]). So, 𝑓(𝑋) = 𝑓(π‘Š∗ π‘Š) ∈ 𝐻𝑃(𝑛),
and therefore there is unique Hermitian positive definite
matrix 𝑇, such that 𝑓(π‘Š∗ π‘Š) = 𝑇2 . Substituting 𝑋 = π‘Š2 =
π‘Š∗ π‘Š into (1) gives
𝑠
(π‘Š∗ π‘Š) + 𝐴∗ 𝑓 (π‘Š∗ π‘Š) 𝐴 = 𝑄.
(4)
∗
(π‘Šπ‘  ) (π‘Šπ‘  ) + 𝐴∗ 𝑇∗ 𝑇𝐴 = 𝑄.
(5)
∗
(𝑄−1/2 ) (π‘Šπ‘  ) (π‘Šπ‘  ) 𝑄−1/2 + (𝑄−1/2 ) 𝐴∗ 𝑇∗ 𝑇𝐴𝑄−1/2 = 𝐼;
(6)
that is
∗
π‘Šπ‘  𝑄−1/2
π‘Šπ‘  𝑄−1/2
] = 𝐼.
−1/2 ] [
𝑇𝐴𝑄
𝑇𝐴𝑄−1/2
[
(7)
Let 𝑍 = 𝑇𝐴𝑄−1/2 . Then, 𝐴 = 𝑇−1 𝑍𝑄1/2 = (𝑓1/2 (π‘Š∗ π‘Š))−1
𝑍𝑄1/2 , and by (7) we know that (𝑄−1/2 )∗ (π‘Šπ‘  )∗ (π‘Šπ‘  )𝑄−1/2 +
𝑍∗ 𝑍 = 𝐼.
Conversely, if 𝐴 = (𝑓1/2 (π‘Š∗ π‘Š))−1 𝑍𝑄1/2 , let 𝑋 = π‘Š∗ π‘Š.
Then,
∗
𝑠
𝑋𝑠 + 𝐴∗ 𝑓 (𝑋) 𝐴 = (π‘Š∗ π‘Š) + (𝑄1/2 ) 𝑍∗ (𝑓1/2 (π‘Š∗ π‘Š))
−∗
∗
= (π‘Šπ‘  ) π‘Šπ‘  + (𝑄1/2 ) 𝑍∗ 𝑍𝑄1/2
= (𝑄1/2 )
(9)
In this section, we assume that 𝐴, 𝑄, 𝑓 in (1) satisfy
𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) ≤ 𝑄1/𝑠 .
Theorem 3. Suppose that 𝑓−1 exists and that 𝑓 is antimonotone. Let 𝑠 = 1. Equation (1) has a positive definite solution
in the interval (0, πœ† max (𝑄)𝐼) if and only if there is a number
πœ’ ∈ (0, πœ† max (𝑄)), such that π‘‹π‘˜ ≤ πœ’πΌ for all π‘˜. Moreover, in this
case, the iteration (9) with 𝑋0 = 0 converges to the smallest
positive definite solution of (1).
Proof. Since 𝑓−1 exists and 𝑓 is anti-monotone, then 𝑓−1 is
also anti-monotone. Assume that there is a number πœ’ as in
the theorem. Since 𝑋0 = 0, one has
(10)
Furthermore, we get
≥ 𝑓−1 (𝐴−∗ (𝑄 − 𝑋0 ) 𝐴−1 ) = 𝑋1 .
(11)
Now, if π‘‹π‘˜ ≥ π‘‹π‘˜−1 , we have
π‘‹π‘˜+1 = 𝑓−1 (𝐴−∗ (𝑄 − π‘‹π‘˜ ) 𝐴−1 )
≥ 𝑓−1 (𝐴−∗ (𝑄 − π‘‹π‘˜−1 ) 𝐴−1 ) = π‘‹π‘˜ .
(12)
Then, the sequence {π‘‹π‘˜ } is a monotonically nondecreasing
sequence and bounded above by some positive definite
matrix πœ’πΌ. Consequently, the sequence {π‘‹π‘˜ } converges to a
positive definite matrix 𝑋, which is a solution of (1); that is,
𝑋 = 𝑓−1 (𝐴−∗ (𝑄 − 𝑋) 𝐴−1 ) .
(13)
𝑋0 = 0 < 𝑋,
∗
𝑠
π‘˜ = 0, 1, 2, . . .
Conversely, let (1) have a positive definite solution 𝑋 ∈
(0, πœ† max (𝑄)𝐼), and let πœ’ ∈ (0, πœ† max (𝑄)) be the largest
eigenvalue of 𝑋. In order to prove that π‘‹π‘˜ ≤ πœ’πΌ for every
π‘‹π‘˜ generated from (9), we will prove that π‘‹π‘˜ ≤ 𝑋. Consider
−1
× π‘“ (π‘Š∗ π‘Š) (𝑓1/2 (π‘Š∗ π‘Š)) 𝑍𝑄1/2
∗
π‘‹π‘˜+1 = 𝑓−1 (𝐴−∗ (𝑄 − π‘‹π‘˜π‘  ) 𝐴−1 ) ,
𝑋2 = 𝑓−1 (𝐴−∗ (𝑄 − 𝑋1 ) 𝐴−1 )
𝑄 is Hermitian positive definite, and so
∗
In order to discuss an iterative method for solving (1), we
assume that for a given matrix 𝐡, the equation 𝑓(𝑋) = 𝐡
always has a positive definite solution and its solution is
easy to obtain. We are interested in the inverse iteration, and
consider the following iterative method:
𝑋1 = 𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) ≥ 𝑋0 = 0.
Then, we have
∗
3. Iterative Method
−1/2 ∗
× ((π‘Š 𝑄
𝑠
−1/2
) (π‘Š 𝑄
∗
1/2
) + 𝑍 𝑍) 𝑄
= 𝑄.
(8)
So, 𝑋 = π‘Š∗ π‘Š is a Hermitian positive definite solution of
(1).
If 𝑠 = 1, then the restriction π‘Š∗ π‘Š = π‘Šπ‘Š∗ in Theorem 2
can be omitted.
𝑋1 = 𝑓−1 (𝐴−∗ (𝑄 − 𝑋0 ) 𝐴−1 )
(14)
≤ 𝑓−1 (𝐴−∗ (𝑄 − 𝑋) 𝐴−1 ) = 𝑋.
Assume that π‘‹π‘˜ ≤ 𝑋, for some fixed π‘˜, and then we have
π‘‹π‘˜+1 = 𝑓−1 (𝐴−∗ (𝑄 − π‘‹π‘˜ ) 𝐴−1 )
≤ 𝑓−1 (𝐴−∗ (𝑄 − 𝑋) 𝐴−1 ) = 𝑋.
So, π‘‹π‘˜+1 ∈ (0, 𝑋). Then, the theorem is proved.
(15)
Journal of Applied Mathematics
3
Lemma 4 (see [1]). Let 𝑓 : π‘ˆ → 𝑀(𝑛)(π‘ˆ ⊂ 𝑀(𝑛) π‘œπ‘π‘’π‘›) be
differentiable at any point of π‘ˆ. Then,
From Lemma 4,
σ΅„©
σ΅„©
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑓 (𝑋) − 𝑓 (π‘Œ)σ΅„©σ΅„©σ΅„© ≤ sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© ‖𝑋 − π‘Œβ€– ,
σ΅„©σ΅„©
σ΅„©
󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩 =
σ΅„©
σ΅„©
𝑍∈𝐿 𝑋,π‘Œ
(16)
𝑠
σ΅„©
−𝑓−1 (𝐴−∗ (𝑄 − 𝑋 ) 𝐴−1 )σ΅„©σ΅„©σ΅„©σ΅„©
for all 𝑋, π‘Œ ∈ π‘ˆ.
σ΅„©σ΅„©
σ΅„©
≤ sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−∗ (𝑄 − 𝑋𝑠 ) 𝐴−1
𝑍∈𝐿
−1
Lemma 5. Suppose that 𝑓 exists and that 𝑓 is antimonotone. If (1) with 𝑠 ≥ 1 has a Hermitian positive definite
solution 𝑋, then 𝑋 ∈ [𝑓−1 (𝐴−∗ 𝑄𝐴−1 ), 𝑄1/𝑠 ].
𝑇1 ,𝑇2
𝑠
σ΅„©
−𝐴−∗ (𝑄 − 𝑋 ) 𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„©
Proof. Since 𝑓−1 exists and 𝑓 is anti-monotone, then 𝑓−1 is
also anti-monotone. Assume that (1) has a Hermitian positive
definite solution 𝑋. Since 𝑓 maps into 𝑃(𝑛), we have 𝑓(𝑋) > 0
and 𝐴∗ 𝑓(𝑋)𝐴 ≥ 0. Therefore, 𝑋𝑠 = 𝑄 − 𝐴∗ 𝑓(𝑋)𝐴 ≤ 𝑄. By
Lemma 1 we know that 𝑋 ≤ 𝑄1/𝑠 . On the other hand, we
have 𝐴∗ 𝑓(𝑋)𝐴 ≤ 𝑄, 𝑓(𝑋) ≤ 𝐴−∗ 𝑄𝐴−1 . Then, we obtain 𝑋 ≥
𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) because 𝑓−1 is anti-monotone.
Theorem 6. Suppose that 𝑓−1 exists and that 𝑓 is antimonotone, and suppose that 𝑓, 𝑓−1 are differentiable at
any point of Ω1 = [𝑓−1 (𝐴−∗ 𝑄𝐴−1 ), 𝑄1/𝑠 ] and Ω2 =
[𝑓(𝑄1/𝑠 ), 𝐴−∗ 𝑄𝐴−1 ], respectively. Let
σ΅„©
σ΅„©
𝑀2 = sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑋)σ΅„©σ΅„©σ΅„©σ΅„© ,
𝑋∈Ω
σ΅„©
σ΅„©
𝑀1 = sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© ,
𝑍∈Ω1
σ΅„©σ΅„© −1 −∗
󡄩󡄩𝑓 (𝐴 (𝑄 − 𝑋𝑠 ) 𝐴−1 )
σ΅„©
2
=
sup
𝑍∈𝐿 𝑓(𝑋),𝑓(𝑋)
𝑠
σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩𝐴−∗ (𝑋 − 𝑋𝑠 ) 𝐴−1 σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©
𝑠
σ΅„©σ΅„©
σ΅„©
σ΅„©
≤ sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−∗ (𝑋 − 𝑋𝑠 ) 𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„©
𝑍∈Ω
2
σ΅„©
σ΅„©2 σ΅„© 𝑠
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑋 − 𝑋𝑠 σ΅„©σ΅„©σ΅„©σ΅„© .
(20)
Let
σ΅„©
σ΅„©
𝑀1 = sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© .
(17)
𝑍∈Ω1
(21)
2
and π‘Ž = 𝑀1 𝑀2 ‖𝐴−1 β€– ‖𝐴‖2 .
Then,
(i) If (1) with 𝑠 > 1 has a Hermitian positive definite
solution 𝑋 and π‘Ž < 1, then 𝑋 is the unique solution
of (1).
(ii) Assume that there is a closed set Ω ⊆ Ω1 satisfying that
𝑔 : Ω → Ω and 𝑔(𝑋) = 𝑓−1 (𝐴−∗ (𝑄 − 𝑋𝑠 )𝐴−1 ); if
π‘Ž < 1, then (1) with 𝑠 > 1 has a unique solution 𝑋 in
Ω. Furthermore, one considers the iterative method (9)
with 𝑋0 ∈ Ω. The sequence {π‘‹π‘˜ } in (9) converges to the
unique solution 𝑋; moreover,
π‘Žπ‘› σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©
󡄩󡄩𝑋𝑛 − 𝑋󡄩󡄩󡄩 ≤
󡄩𝑋 − 𝑋0 σ΅„©σ΅„©σ΅„© ,
1−π‘Žσ΅„© 1
π‘Ž σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©
󡄩󡄩𝑋𝑛 − 𝑋󡄩󡄩󡄩 ≤
󡄩𝑋 − 𝑋𝑛−1 σ΅„©σ΅„©σ΅„© .
1−π‘Žσ΅„© 𝑛
(18)
σ΅„©σ΅„© 𝑠
σ΅„©
󡄩󡄩𝑋 − 𝑋𝑠 σ΅„©σ΅„©σ΅„© =
σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„©
󡄩󡄩𝑄 − 𝐴∗ 𝑓 (𝑋) 𝐴 − 𝑄 + 𝐴∗ 𝑓 (𝑋) 𝐴󡄩󡄩󡄩
σ΅„©
σ΅„©
σ΅„©
2σ΅„©
≤ ‖𝐴‖ 󡄩󡄩󡄩󡄩𝑓 (𝑋) − 𝑓 (𝑋)σ΅„©σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„©
≤ ‖𝐴‖2 sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩
𝑍∈𝐿
𝑋,𝑋
(22)
σ΅„©
σ΅„©σ΅„©
σ΅„©
≤ ‖𝐴‖2 sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩
𝑍∈Ω1
σ΅„©
σ΅„©
≤ ‖𝐴‖2 𝑀1 󡄩󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩 .
By π‘Ž < 1 we have
Proof. (i) Assume that 𝑋 and 𝑋 are two different Hermitian positive definite solutions of (1), and by Lemma 5,
𝑋, 𝑋 ∈ [𝑓−1 (𝐴−∗ 𝑄𝐴−1 ), 𝑄1/𝑠 ] = Ω1 ; then, 𝑓(𝑋), 𝑓(𝑋) ∈
[𝑓(𝑄1/𝑠 ), 𝐴−∗ 𝑄𝐴−1 ] = Ω2 . Let 𝑇1 = 𝐴−∗ (𝑄 − 𝑋𝑠 )𝐴−1 , 𝑇2 =
𝑠
𝐴−∗ (𝑄 − 𝑋 )𝐴−1 , and
σ΅„©σ΅„©
σ΅„©
σ΅„©2
σ΅„©
σ΅„©
σ΅„©
󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩 ≤ 𝑀2 󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„© ‖𝐴‖2 𝑀1 󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩
σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„© σ΅„©
σ΅„©
= π‘Ž 󡄩󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩 < 󡄩󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩 ,
σ΅„©
σ΅„©
𝑀2 = sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑋)σ΅„©σ΅„©σ΅„©σ΅„© .
𝑋∈Ω
which is a contradiction; so, 𝑋 = 𝑋. That is, 𝑋 is the unique
solution of (1).
2
(19)
(23)
4
Journal of Applied Mathematics
(ii) Let π‘Œ1 , π‘Œ2 ∈ Ω ⊆ Ω1 . Then, 𝑓(𝑔(π‘Œ1 )), 𝑓(𝑔(π‘Œ2 )) ∈ Ω2 ;
from Lemma 4,
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑔 (π‘Œ1 ) − 𝑔 (π‘Œ2 )σ΅„©σ΅„©σ΅„©
σ΅„©
= 󡄩󡄩󡄩󡄩𝑓−1 (𝐴−∗ (𝑄 − π‘Œ1𝑠 ) 𝐴−1 )
−1
−∗
−𝑓 (𝐴
≤
sup
𝑍∈𝐿 𝑓(𝑔(π‘Œ1 )),𝑓(𝑔(π‘Œ2 ))
(𝑄 −
Μƒ be the positive definite solutions of (1)
Theorem 8. Let 𝑋, 𝑋
and its perturbation equation (26), respectively. Map 𝑓−1 is
differentiable at any point of Ω4 with
Ω4 = {𝛼𝑋 + (1 − 𝛼) π‘Œ | 𝛼 ∈ [0, 1] ,
𝑋 ∈ 𝑓 ([𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) , 𝑄1/𝑠 ]) ,
σ΅„©
π‘Œ2𝑠 ) 𝐴−1 )σ΅„©σ΅„©σ΅„©σ΅„©
̃𝐴
Μƒ−1 ) , 𝑄
Μƒ−∗ 𝑄
Μƒ1/𝑠 ])} .
π‘Œ ∈ 𝑓 ([𝑓−1 (𝐴
σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩𝐴−∗ (π‘Œ2𝑠 − π‘Œ1𝑠 ) 𝐴−1 σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©
Let
σ΅„©σ΅„©
σ΅„©
σ΅„©2 σ΅„©
σ΅„©
≤ sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„©π‘Œ2𝑠 − π‘Œ1𝑠 σ΅„©σ΅„©σ΅„©
𝑍∈Ω
σ΅„©
σ΅„©
𝑀4 = sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© .
𝑍∈Ω
2
4
σ΅„©
σ΅„©2 σ΅„©
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩𝑄 − 𝐴∗ 𝑓 (π‘Œ2 ) 𝐴 − 𝑄 + 𝐴∗ 𝑓 (π‘Œ1 ) 𝐴󡄩󡄩󡄩
σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„©
󡄩󡄩𝑋 − 𝑋
σ΅„©
σ΅„©
‖𝑋‖
σ΅„©
σ΅„©2
σ΅„©σ΅„©
σ΅„©
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© ‖𝐴‖2 sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„©π‘Œ1 − π‘Œ2 σ΅„©σ΅„©σ΅„©
𝑍∈𝐿 π‘Œ1 ,π‘Œ2
≤
σ΅„©
σ΅„©2
σ΅„©σ΅„©
σ΅„©
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© ‖𝐴‖2 sup σ΅„©σ΅„©σ΅„©D𝑓 (𝑍)σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„©π‘Œ1 − π‘Œ2 σ΅„©σ΅„©σ΅„©
𝑇
πœ† min
(𝑓−1
(𝐴−∗ 𝑄𝐴−1 )) (𝑀4−1
𝑍∈Ω1
σ΅„©
σ΅„©2
σ΅„©
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© ‖𝐴‖2 𝑀1 σ΅„©σ΅„©σ΅„©π‘Œ1 − π‘Œ2 σ΅„©σ΅„©σ΅„©
(24)
The interval Ω is a complete metric space because it is a closed
subset of 𝑃(𝑛). And π‘Ž < 1; so, 𝑔 is a contraction on Ω. Then,
it follows from contractive mapping principle that the map 𝑔
has a unique fixed point 𝑋 in Ω. Furthermore, the sequence
{π‘‹π‘˜ } in (9) converges to the unique solution of (1); moreover,
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„© Μƒ 𝑠−1 ,
σ΅„©
− 󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©σ΅„© π‘ πœ† )
(30)
Μƒ 𝑠 𝐼‖‖𝐴−1 β€– + ‖𝑄
Μƒ 𝑠 𝐼‖‖𝐴
Μƒ−1 β€–(‖𝑄 − πœ†
Μƒ−πœ†
Μƒ−1 β€–) +
where 𝑇 = ‖𝐴−1 − 𝐴
−1 Μƒ−1
−1
−∗
−1
Μƒ
Μƒ
‖𝐴 ‖‖𝐴 ‖‖𝑄−𝑄‖, πœ† = min{πœ† min (𝑓 (𝐴 𝑄𝐴 )), πœ† min (𝑓−1
̃𝐴
Μƒ−1 ))}.
Μƒ−∗ 𝑄
(𝐴
Μƒ are the positive definite solutions of (1) and (26),
Proof. 𝑋, 𝑋
Μƒ−∗ (𝑄−
Μƒ 𝑋
̃𝑠 )𝐴
Μƒ−1 .
respectively. Let 𝑇1 = 𝐴−∗ (𝑄−𝑋𝑠 )𝐴−1 , 𝑇2 = 𝐴
From Lemma 4,
σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„© =
󡄩󡄩𝑋 − 𝑋
σ΅„©
σ΅„©
𝑛
π‘Ž σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„©
󡄩󡄩𝑋𝑛 − 𝑋󡄩󡄩󡄩 ≤
󡄩𝑋 − 𝑋0 σ΅„©σ΅„©σ΅„© ,
1−π‘Žσ΅„© 1
π‘Ž σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©
󡄩󡄩𝑋𝑛 − 𝑋󡄩󡄩󡄩 ≤
󡄩𝑋 − 𝑋𝑛−1 σ΅„©σ΅„©σ΅„© .
1−π‘Žσ΅„© 𝑛
(29)
Μƒ 𝑠−1 < 1, one has
Μƒ−1 β€–π‘ πœ†
If 𝑀4 ‖𝐴−1 ‖‖𝐴
σ΅„©
σ΅„©2
σ΅„©
σ΅„©
≤ 𝑀2 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© ‖𝐴‖2 󡄩󡄩󡄩𝑓 (π‘Œ1 ) − 𝑓 (π‘Œ2 )σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©
= π‘Ž σ΅„©σ΅„©σ΅„©π‘Œ1 − π‘Œ2 σ΅„©σ΅„©σ΅„© .
(28)
σ΅„©σ΅„© −1 −∗
󡄩󡄩𝑓 (𝐴 (𝑄 − 𝑋𝑠 ) 𝐴−1 )
σ΅„©
Μƒ−∗ (𝑄
Μƒ−𝑋
̃𝑠 ) 𝐴
Μƒ−1 )σ΅„©σ΅„©σ΅„©σ΅„©
−𝑓−1 (𝐴
σ΅„©
σ΅„©σ΅„©
σ΅„©
≤ sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−∗ (𝑄 − 𝑋𝑠 ) 𝐴−1
𝑍∈𝐿
(25)
𝑇1 ,𝑇2
Μƒ−∗ (𝑄
Μƒ−𝑋
̃𝑠 ) 𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© .
−𝐴
σ΅„©
(31)
By Lemma 5,
4. Perturbation Analysis
𝑋 ∈ [𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) , 𝑄1/𝑠 ] ,
Let
̃𝑠 + 𝐴
Μƒ∗ 𝑓 (𝑋)
Μƒ 𝐴
Μƒ= 𝑄
Μƒ
𝑋
Μƒ ∈ [𝑓−1 (𝐴
̃𝐴
Μƒ−1 ) , 𝑄
Μƒ−∗ 𝑄
Μƒ1/𝑠 ] .
𝑋
(32)
(26)
Let
Μƒ be nonsingular
be the perturbation equation of (1). Let 𝐴, 𝐴
Μƒ be positive definite, and 0 < 𝑠 < 1. Suppose
matrices and 𝑄, 𝑄
that 𝑓−1 : 𝑃(𝑛) → 𝑃(𝑛) exists and 𝑓 is anti-monotone.
Lemma 7 (see [12]). If 0 < π‘Ÿ < 1, the operators 𝑋, π‘Œ satisfy
𝑋 ≥ π‘ŽπΌ and π‘Œ ≥ π‘ŽπΌ for some positive number π‘Ž; then,
σ΅„©σ΅„© π‘Ÿ
π‘Ÿσ΅„©
π‘Ÿ−1
󡄩󡄩𝑋 − π‘Œ σ΅„©σ΅„©σ΅„© ≤ π‘Ÿπ‘Ž ‖𝑋 − π‘Œβ€– .
(27)
Ω4 = {𝛼𝑋 + (1 − 𝛼) π‘Œ | 𝛼 ∈ [0, 1] ,
𝑋 ∈ 𝑓 ([𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) , 𝑄1/𝑠 ]) ,
̃𝐴
Μƒ−1 ) , 𝑄
Μƒ−∗ 𝑄
Μƒ1/𝑠 ])} ,
π‘Œ ∈ 𝑓 ([𝑓−1 (𝐴
σ΅„©
σ΅„©
𝑀4 = sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© .
𝑍∈Ω
4
(33)
Journal of Applied Mathematics
Then, we have
σ΅„©
σ΅„©
sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© =
𝑍∈𝐿
𝑇1 ,𝑇2
5
sup
𝑍∈𝐿 𝑓(𝑋),𝑓(𝑋)
Μƒ
σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„©
≤ sup σ΅„©σ΅„©σ΅„©σ΅„©D𝑓−1 (𝑍)σ΅„©σ΅„©σ΅„©σ΅„© ≤ 𝑀4 .
𝑍∈Ω
(34)
4
≤
Notice that
𝑋 ≥ 𝑓−1 (𝐴−∗ 𝑄𝐴−1 ) ≥ πœ† min (𝑓−1 (𝐴−∗ 𝑄𝐴−1 )) 𝐼,
Μƒ ≥ 𝑓−1 (𝐴
̃𝐴
Μƒ−1 ) ≥ πœ† min (𝑓−1 (𝐴
̃𝐴
Μƒ−1 )) 𝐼.
Μƒ−∗ 𝑄
Μƒ−∗ 𝑄
𝑋
(35)
Μƒ = min{πœ† (𝑓−1 (𝐴−∗ 𝑄𝐴−1 )), πœ† (𝑓−1 (𝐴
̃𝐴
Μƒ−1 ))}.
Μƒ−∗ 𝑄
Let πœ†
min
min
𝑠
𝑠
𝑠
Μƒ
Μƒ
Μƒ ≥ πœ†πΌ. By Lemma 1, 𝑋 , 𝑋
Μƒ ≥ πœ† 𝐼 since 0 < 𝑠 < 1.
Then, 𝑋, 𝑋
And from Lemma 7,
󡄩󡄩󡄩𝐴−∗ (𝑄 − 𝑋𝑠 ) 𝐴−1 − 𝐴
Μƒ−∗ (𝑄
Μƒ−𝑋
̃𝑠 ) 𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„© −∗
Μƒ−1 )
= 󡄩󡄩󡄩𝐴 (𝑄 − 𝑋𝑠 ) (𝐴−1 − 𝐴
−∗
+𝐴
Μƒ+ 𝑋 )𝐴
(𝑄 − 𝑋 − 𝑄
𝑠
̃𝑠
Μƒ−1
𝑇
πœ† min
(𝑓−1
(𝐴−∗ 𝑄𝐴−1 )) (𝑀4−1
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„© Μƒ 𝑠−1 ,
σ΅„©
− 󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©σ΅„© π‘ πœ† )
(39)
where
σ΅„©
Μƒ 𝑠 𝐼󡄩󡄩󡄩󡄩 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑄
Μƒ Μƒ 𝑠 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© (󡄩󡄩󡄩󡄩𝑄 − πœ†
𝑇 = 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„© σ΅„©
σ΅„© σ΅„© − πœ† 𝐼󡄩󡄩 󡄩󡄩𝐴 σ΅„©σ΅„©)
σ΅„©σ΅„©
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„© .
σ΅„©σ΅„© 󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©
σ΅„©σ΅„©
(40)
Acknowledgments
The authors wish to thank Professor J. Biazar and the
reviewers for providing valuable comments and suggestions
which improve this paper. This work is supported by NSFC
(Grant no. 11171133).
Μƒ−∗ ) (𝑄
Μƒ−𝑋
̃𝑠 ) 𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„©
+ (𝐴−∗ − 𝐴
σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„©
≤ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩𝑄 − 𝑋𝑠 σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„©
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
𝑠󡄩
σ΅„©σ΅„©
̃𝑠
Μƒσ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑋
σ΅„©σ΅„© (󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„© σ΅„© − 𝑋 σ΅„©σ΅„©)
σ΅„© σ΅„©
References
σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑄
Μƒ ̃𝑠 σ΅„©σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
+ 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„©σ΅„©
σ΅„© σ΅„© − 𝑋 σ΅„©σ΅„©
σ΅„©
Μƒ ̃𝑠 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© (󡄩󡄩󡄩𝑄 − 𝑋𝑠 σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑄
= 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„©σ΅„©
σ΅„© σ΅„©
σ΅„© σ΅„© − 𝑋 σ΅„©σ΅„© 󡄩󡄩𝐴 σ΅„©σ΅„©)
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
𝑠󡄩
σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑋
̃𝑠
σ΅„©σ΅„© 󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„© σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„© σ΅„© − 𝑋 σ΅„©σ΅„©
σ΅„©
Μƒ 𝑠 𝐼󡄩󡄩󡄩󡄩 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑄
Μƒ Μƒ 𝑠 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© (󡄩󡄩󡄩󡄩𝑄 − πœ†
≤ 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„© σ΅„©
σ΅„© σ΅„© − πœ† 𝐼󡄩󡄩 󡄩󡄩𝐴 σ΅„©σ΅„©)
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
Μƒ 𝑠−1 󡄩󡄩󡄩󡄩𝑋
Μƒσ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© π‘ πœ†
Μƒ
σ΅„©
σ΅„©σ΅„© 󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„© σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©
σ΅„© − 𝑋󡄩󡄩 .
(36)
Therefore,
σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„© ≤ 𝑀4 (󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„©
󡄩󡄩𝑋 − 𝑋
σ΅„©
σ΅„©
σ΅„©
σ΅„©
σ΅„©σ΅„©
Μƒ 𝑠 𝐼󡄩󡄩󡄩󡄩 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑄
Μƒ Μƒ 𝑠 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„©
× (󡄩󡄩󡄩𝑄 − πœ†
σ΅„© σ΅„© − πœ† 𝐼󡄩󡄩 󡄩󡄩𝐴 σ΅„©σ΅„©)
σ΅„©σ΅„©
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„© 󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„© −1 σ΅„©σ΅„© σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„© Μƒ 𝑠−1 σ΅„©σ΅„© Μƒ
σ΅„©
+ 󡄩󡄩󡄩𝐴 σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩𝐴 σ΅„©σ΅„©σ΅„© π‘ πœ† 󡄩󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩󡄩) .
(37)
That is,
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© Μƒ 𝑠−1 σ΅„©σ΅„© Μƒ
σ΅„©
σ΅„©σ΅„© π‘ πœ† ) 󡄩󡄩𝑋 − 𝑋󡄩󡄩󡄩
(𝑀4−1 − 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©
σ΅„©
σ΅„©
σ΅„©
Μƒ 𝑠 𝐼󡄩󡄩󡄩󡄩 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© + 󡄩󡄩󡄩󡄩𝑄
Μƒ Μƒ 𝑠 σ΅„©σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© Μƒ−1 σ΅„©σ΅„©σ΅„©
Μƒ−1 σ΅„©σ΅„©σ΅„©σ΅„© (󡄩󡄩󡄩󡄩𝑄 − πœ†
≤ 󡄩󡄩󡄩󡄩𝐴−1 − 𝐴
σ΅„© σ΅„©
σ΅„© σ΅„© − πœ† 𝐼󡄩󡄩 󡄩󡄩𝐴 σ΅„©σ΅„©)
σ΅„©σ΅„©
σ΅„©
σ΅„© σ΅„© Μƒ−1 σ΅„©σ΅„© σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„© .
σ΅„©σ΅„© 󡄩󡄩𝑄 − 𝑄
+ 󡄩󡄩󡄩󡄩𝐴−1 σ΅„©σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝐴
σ΅„©
σ΅„©σ΅„©
Μƒ 𝑠−1 < 1, by 𝑋 ≥ πœ† (𝑓−1 (𝐴−∗ 𝑄𝐴−1 ))𝐼 we
Μƒ−1 β€–π‘ πœ†
If 𝑀4 ‖𝐴−1 ‖‖𝐴
min
have
σ΅„©σ΅„©
Μƒσ΅„©σ΅„©σ΅„©σ΅„©
󡄩󡄩𝑋 − 𝑋
σ΅„©
σ΅„©
‖𝑋‖
(38)
[1] A. C. M. Ran and M. C. B. Reurings, “On the nonlinear matrix
equation 𝑋 + 𝐴∗ F(𝑋)𝐴 = 𝑄: solutions and perturbation
theory,” Linear Algebra and Its Applications, vol. 346, pp. 15–26,
2002.
[2] I. G. Ivanov, “On positive definite solutions of the family of
matrix equations 𝑋 + 𝐴∗ 𝑋−𝑛 𝐴 = 𝑄,” Journal of Computational
and Applied Mathematics, vol. 193, no. 1, pp. 277–301, 2006.
[3] J. F. Wang, Y. H. Zhang, and B. R. Zhu, “The Hermitian positive
definite solutions of the matrix equation 𝑋 + 𝐴∗ 𝑋−π‘ž 𝐴 = 𝐼(π‘ž >
0),” Mathematica Numerica Sinica, vol. 26, no. 1, pp. 61–72, 2004
(Chinese).
[4] S. M. El-Sayed and A. M. Al-Dbiban, “On positive definite
solutions of the nonlinear matrix equation 𝑋 + 𝐴∗ 𝑋−𝑛 𝐴 = 𝐼,”
Applied Mathematics and Computation, vol. 151, no. 2, pp. 533–
541, 2004.
[5] 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/02.
[6] S. M. El-Sayed and M. G. Petkov, “Iterative methods for
nonlinear matrix equations 𝑋 + 𝐴∗ 𝑋−𝛼 𝐴 = 𝐼(𝛼 > 0),” Linear
Algebra and Its Applications, vol. 403, pp. 45–52, 2005.
[7] V. I. Hasanov, “Positive definite solutions of the matrix equations 𝑋 ± 𝐴∗ 𝑋−π‘ž 𝐴 = 𝑄(0 < π‘ž ≤ 1),” Linear Algebra and Its
Applications, vol. 404, pp. 166–182, 2005.
[8] X. F. Duan and A. P. Liao, “The Hermitian positive definite
solution of the matrix equation 𝑋 + 𝐴∗ 𝑋−π‘ž 𝐴 = 𝑄(π‘ž ≥ 1) and
its perturbation analysis,” Numerical Mathematics, vol. 30, no.
3, pp. 280–288, 2008 (Chinese).
[9] X.-G. Liu and H. Gao, “On the positive definite solutions of the
matrix equations 𝑋𝑠 ± 𝐴𝑇 𝑋−𝑑 𝐴 = 𝐼𝑛 ,” Linear Algebra and Its
Applications, vol. 368, pp. 83–97, 2003.
6
[10] Y. Yueting, “The iterative method for solving nonlinear matrix
equation 𝑋𝑠 + 𝐴∗ 𝑋−𝑑 𝐴 = 𝑄,” Applied Mathematics and
Computation, vol. 188, no. 1, pp. 46–53, 2007.
[11] G. W. Stewart and J. G. Sun, Matrix Perturbation Theory,
Computer Science and Scientific Computing, Academic Press,
Boston, Mass, USA, 1990.
[12] R. Bhatia, Matrix Analysis, vol. 169 of Graduate Texts in
Mathematics, Springer, New York, NY, USA, 1997.
Journal of Applied Mathematics
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download