APP下载

关于Hermitian矩阵序关系的一些注记

2021-12-25翟成波金志香

关键词:特征值结论定理

翟成波,金志香

(山西大学 数学科学学院,山西 太原 030006)

0 引言

众所周知,非线性矩阵方程在动态规划、阶梯网络、控制理论、随机滤波、统计学、工程等领域有着重要的应用,而非线性矩阵方程的正定解起着决定性的作用,引起了许多学者的研究兴趣。关于正定解的讨论,我们主要围绕正定解的存在性和唯一性的充分和必要条件、求解正定解的迭代算法、正定解的扰动分析三个方面展开。在前两个方面中,我们发现在一些文献中关于半序Banach空间Hermitian矩阵序关系的某些不等式是错误的。因此,在这些文献中,也得不到相应的结论。

本文主要研究在一些文献中关于半序Banach空间Hermitian矩阵序关系的不等式。第1节给出准备工作和主要结论;第2节给出主要结论的证明;第3节给出数值例子来说明我们的结论;第4节给出本文的结论。

1 准备工作

回忆锥的基本知识[1]。设 (E,||·||)是一个实Banach空间,通过E上的一个锥P定义半序关系。也就是说,对x,y∈E,我们有x≤y当且仅当yx∈P。我们记x≪y如果y-x∈,这里表P的内点集。如果非空,我们称P是体锥。

记Mn为n×n复矩阵构成的集合,Hn为n×nHermitian矩阵构成的集合,Kn为n×nHermitian半正定矩阵构成的集合,Pn为n×nHermitian正定矩阵构成的集合。在文献[2]中,Hn中定义谱范数 ||·||,则Hn是实 Banach 空间,以及Hn通过锥Kn定义半序关系并且Pn=n。A≥0(A>0)说明A∈Kn(A∈Pn)。A≥B(A>B) 说 明 对A,B∈Hn,有A-B∈Kn(A-B∈Pn)。在文献[3-8],也可以得到上述表示。在文献[9]中,作者给出以下结论。

引理1正定矩阵A∈Mn与Hermitian矩阵B∈Mn的乘积是可对角化矩阵,它的所有特征值都是实数。矩阵AB和B有相同数目的正,负特征值和零特征值。

本文研究半序Banach空间中Hermitian矩阵序关系的一些不等式,得到以下定理。

定理若A,C∈Hn,B∈Pn,A≥C,很难得到BA≥BC,除非B与A-C可交换。

2 主要结论

在这一节中,给出在一些文章中关于半序Banach空间Hermitian矩阵序关系的不等式,指出问题所在并进行分析。下文公式中*表示转秩运算。

在文献[3]中,Erfanifar等人提出一个新的免逆不动点迭代策略去获得非线性矩阵方程

的最大正定解。即

得到了方程(1)可解性的充分必要条件,见以下引理。

引理2若Xs和Ys是由算法(2)产生的,则

其中Ds和Es是半正定矩阵,并且有Es≥(I+Ds)-1Ds。

用归纳法证明上述引理的过程中,假设(3)对s=k成立,即Dk和Ek是半正定矩阵,并且有Ek≥(I+Dk)-1Dk,需要证明s=k+1成立。在Erfanifar等人证明过程中,对于一些句子的表述中,有一些不妥之处。第一句是“Using to theEk≥(I+Dk)-1Dk,(I+Dk)Ek-Dkis a semipositive definite matrix”,第二句是“we haveDk≤Dk+1andEk≤Ek+1… and thenDk+1Ek≤Dk+1Ek+1。”

注1在第一句中,从Ek≥(I+Dk)-1Dk得Ek-(I+Dk)-1Dk是半正定矩阵。即要证明

且(I+Dk)Ek-Dk有非负特征值。通过计算得

若Dk和Ek可交换,则有

但是Dk和Ek可交换性不明确,所以很难得到(4)式。即(I+Dk)Ek-Dk不是Hermitian矩阵,更不是Hermitian正定矩阵。

从以上的讨论中,得到了定理,现给出证明。

定理的证明从上述分析中,得知定理的条件满足时得不到BA≥BC。若B与A-C可交换时,(BA-BC)*=(BA)*-(BC)*=A*B*-C*B*=(A-C)B=B(A-C)=BA-BC。

通过引理1及A≥C得BA-BC与A-C有相同数目的非负特征值。即BA≥BC。定理得证。

注 2第二句考虑“we haveDk≤Dk+1andEk≤Ek+1…and thenDk+1Ek≤Dk+1Ek+1”这个结论不是很容易得到。根据引理 2 中的Dk≤Dk+1,Ek≤Ek+1,Dk,Ek,Dk+1,Ek+1是半正定矩阵得Dk+1Ek+1-Dk+1Ek是半正定矩阵。首先,

除非Ek+1-Ek与Dk+1可交换,则Dk+1Ek+1-Dk+1Ek不是Hermitian矩阵,更不是Hermitian正定矩阵。

在一些文献中也出现类似于定理结论,见文献[10-11]。接下来给出详细的解释说明这些结论的不正确性。

是Hermitian半正定矩阵。由于Xk与Yk是否可交换不明确,从而(I-Xk)Yk-(I-Xk-1)Yk-1不一定是Hermitian矩阵。从而很难得到Yk+1=(I-Xk)Yk+I≥(IXk-1)Yk-1+I。

注 4在文献[11]的定理2中,Ali等人通过Q1,Q2≥I得到Q1≤Q1Q2。这里需要说明Q1Q2-Q1是Hermitian矩阵。现在

只有当Q1和Q2可交换时,才有(Q1Q2-Q1)*=Q1Q2-Q1。然而Ali等人没有假设这一条件,故得到Q1≤Q1Q2是不合理的。

注5在文献([12])的引理2中,张等人得到有关定理结论,见下述引理。

引理3对于对称半正定矩阵A和D,对称矩阵B和C,若满足AC=CA,BD=DB,AD=DA,A≥B,C≥D,则有AC≥BD。

从上述引理中,可以说明在一些文献中半序Banach空间关于Hermitian矩阵序关系的不等式不是很简单就得到的。此外,文献中的B≥A说明B-A是Hermitian矩阵且B-A的特征值是非负的。然而在一些文献中,并没有这样考虑。例如文献([3]),见下述引理。

引理 4若Xs和Ys是由算法(2)产生的,则YsXs≤I,s=0,1,…,和Ys≤X-1s。

在引理4的证明过程中,必须说明I-YsXs是Hermitian矩阵且I-YsXs的特征值是非负的。然而,不能保证I-YsXs是Hermitian矩阵因为Xs与Ys是否具有交换性不明确。

3 数值例子

这一节将给出一个例子说明定理的结论。

4 结论

本文主要针对半序Banach空间中关于Hermitian矩阵序关系的一些不等式的错误,给出了注记。为了说明半序Banach空间中关于Hermitian矩阵序关系的一些不等式,矩阵的交换性是必须要考虑的条件。

猜你喜欢

特征值结论定理
由一个简单结论联想到的数论题
J. Liouville定理
利用LMedS算法与特征值法的点云平面拟合方法
聚焦二项式定理创新题
单圈图关联矩阵的特征值
立体几何中的一个有用结论
凯莱图的单特征值
A Study on English listening status of students in vocational school
求矩阵特征值的一个简单方法
结论