Kantorovich不等式的推广

2012-11-08 04:45:16燕子宗长江大学信息与数学学院湖北荆州434023
长江大学学报(自科版) 2012年1期

燕子宗,代 标 (长江大学信息与数学学院,湖北 荆州 434023)

Kantorovich不等式的推广

燕子宗,代 标 (长江大学信息与数学学院,湖北 荆州 434023)

Kantorovich不等式在许多学科中都有着重要的作用,关于Kantorovich不等式的证明方法和结论也有很多。从均值不等式、Rennie不等式和Schweitzer积分不等式导出了Kantorovich不等式,列举了在没有凸性假定下关于Kantorovich不等式的几个结论,最后得到了关于矩阵代数均值与调和均值的1个有趣结论。

Kantorovich不等式;均值不等式;Rennie不等式;Schweitzer积分不等式;矩阵

Kantorovich不等式在矩阵计算、数理统计和最优化理论与算法等学科中有重要的应用。Kantorovich不等式不仅能从均值不等式和Rennie不等式可以导出,还能够从Schweitzer积分不等式导出,经过一些变换,都可以化成:

(1)

1 Kantorovich不等式的证明

引理1[1](Rennie不等式) 假定m≤γi≤M,i=1,2,…,n,对任意的实数序列{Ui},有:

(2)

引理2[2]若mgt;0,假定m≤γi≤M,i=1,2,…,n,由均值不等式和Rennie不等式可以得到Kantorovich不等式:

(3)

(4)

其中,0lt;m1≤an≤…≤a1≤M1,0lt;m2≤bn≤…≤b1≤M2。

引理3(Schweitzer积分不等式) 假设φ(t)在区间[a,b]上可积,0lt;m≤φ(t)≤M,则:

(5)

2 没有凸性假定条件Kantorovich不等式的几个结论

(6)

证明由假设知如下不等式成立:

(f(λ1)-f(ti))(f(ti)-f(λn))≥0i=1,2,…,n

将其乘以αi后展开, 对i求和后即可得到不等式(6)。

对式(6)进行简单变形后不难得到如下结果:

定理2在定理1的假定下,若f(λn)gt;0,则:

(7)

(8)

(9)

定理3在X∈Cm×p满足X*X=Ip,Ai∈m×m是Hermitian矩阵且λnI≤Ai≤λ1I,i=1,2,…,k。在定理1的假定下,有:

(10)

定理4在定理3的假定下,若f(λn)gt;0,则:

(11)

(12)

(13)

证明这里仅证明不等式(13)。令:

不等式(11)可以改写为A+f(λ1)f(λn)H≤f(λ1)+f(λn))Ip。另一方面,由于:

3 一个矩阵代数均值与调和均值的结论

(14)

证明由于矩阵:

半正定,因此矩阵:

半正定。对上述矩阵应用Schur互补引理[6]得到左边不等式,右边不等式由式(11)类似可以得出。

[1]Diaz J B, Metcalf F T.Stronger forms of a class of inequalities of G and Kantorovich[J].Bull Amer Math Soc, 1963, 69:415-418.

[2]匡继昌.常用不等式[M].济南……

登录APP查看全文