. 柯西施瓦茨不等式的应用与推广 查敏 指导教师:蔡改香摘要本文探讨的是柯西施瓦茨不等式在不同数学领域的各种形式和容与其多种证明方法和应用，并对其进展了一定程度上的推广.通过一系列的例题，反映了柯西施瓦茨不等式在证明相关的数学命题时可以使得解题方法得以简捷明快，甚至可以得到一步到位的效果，特别是在概率统计中的广泛应用.关键词Cauchy-Schwarz不等式Minkowski不等式Holder不等式 Hermite阵1引言柯西施瓦茨不等式在数学中的应用比拟广泛，是异于均值不等式的另一个重要不等式，灵活巧妙的运用它，可以使一些较困难的实际问题得到比拟简捷地解决，这个不等式结构和谐，无论代数、几何，都可以应用.本文正是从实数域、微积分.积空间、概率空间以与矩阵分析这五个方面的容进展证明并举例说明其应用，对实数域和微积分中的形式进展了一定程度的推广.2 在实数域中的Cauchy不等式命题1 设，那么 〔1〕 其中当且仅当〔为常数〕等号成立.证明 由那么由于,因此上述不等式的判别式大于零，即：易得〔1〕式成立.例1 设求证证明 由不等式左边的形式，很容易想到柯西不等式解之柯西施瓦茨不等式在实数域中的应用十分广泛，而且许多著名的不等式就是用柯西施瓦茨不等式直接导出.下面介绍两个著名的不等式.由上面的柯西施瓦茨不等式可以得到Minkowski不等式 定理1 任意的个实数，有〔2〕事实上，由〔1〕得 这就证明了〔2〕.将柯西施瓦茨不等式中的幂指数扩大，那么有赫尔德不等式.定理2 对任意的非负数有其中，满足且.证明 由格不等式，其中且得赫尔德不等式中，当时为柯西施瓦茨不等式，假设将那么可导出相应的无穷不等式.由定理2可将定理1的幂指数进展扩大定理3 假设对任意的非负实数，，且，那么证明 由格不等式化简即得所要证得的不等式.还可将上述赫尔德不等式推广到无限和不等式：推论1 假设对任意非负实数，有，那么下面将上命题1进展推广：引理1 〔算术-几何平均值不等式〕设为个正数，那么，等号成立的充要条件为.引理2 设,作定义：那么在中定义了的加法、数乘、积作成上的线性空间一定构成欧几里得空间，简称欧氏空间 (在介绍柯西施瓦茨不等式在积空间中的应用时会用到此定义).推论2 设是组实数，那么有 〔2〕 等号成立的充要条件为 . 证明 为方便起见，不妨设从而由引理1有对上式进展的累次求和，可得即〔4〕由于同理，这样〔4〕式为再两边同时次幂，得故证得〔3〕式成立.注1 在命题1中，除，其余均为1，且，那么不等式〔3〕就是不等式〔1〕的推广.推论3 〔将命题1推广为无限和不等式〕设且，，，那么〔证明过程可仿推论2的证法并结合引理2〕.3 微积分中的Cauchy-Schwarz不等式命题2 设在可积，那么 〔5〕证明 类似命题1可以利用判别式证明之.下面给出另一种证法:因为在上可积，那么由定积分的性质均在上上可积，对区间进展n等分，分点为.由定积分的定义，有由〔1〕式知再由极限的保号性易知〔5〕式成立.注2 假设对，或成正比，那么〔5〕式等号成立，但其逆不真.例如，除有限点外，，有，但并不成比例.例2 利用柯西施瓦茨不等式求极限：设在上连续，有正下界，记，求证： .证明 为了分析的变化趋势，研究邻项之间的关系.因为，平方得，即.因为在连续，所以存在，使得,故因为单调有上界，所以有极限.即在微积分中的柯西施瓦茨不等式也可以得到一些比拟著名的不等式，如下面介绍的Minkowski不等式：定理4 设在可积，那么Minkowski不等式证明 由〔5〕式因为两边都大于等于零，且右边大括号也大于等于零，所以有将柯西施瓦茨不等式的幂指数进展扩大，有Holder不等式定理5 ，，且，那么证明 得证.利用定理5，将定理4的幂指数进展扩大，有证明可参考定理3 的证明，且p=2即为定理4中的不等式.同样将上命题2进展推广.推论4设是闭区间上为正的个可积函数，那么 〔6〕证明 不妨设那么由引理1可得这样就证得不等式〔6〕成立.注3 在推论4中，取，那么得到柯西施瓦茨不等式，即不等式〔5〕.注4 不等式〔5〕可写成受此启发，易于得到柯西施瓦茨不等式更为一般的推广形式：设是闭区间上的可积函数，那么有即为并且等号成立的充要条件为：存在不全为零的常数使得.推论5〔将命题2再推广〕设那么 〔7〕〔可仿推论4并结合反常积分理论即证〕.4维欧氏空间中Cauchy-Schwarz不等式在维欧氏空间中，对任意的向量定义积定义的长度或数为.命题3 对任意的向量有 〔8〕当且仅当线性相关时等号才成立.证明 假设，那么，〔8〕式显然成立.假设，那么令，那么，且当线性相关时等号显然成立.反之，如果等号成立，由以上证明过程可以看出，或或，即也就是说线性相关.根据上述在维欧氏空间中的柯西施瓦茨不等式，我们有三角不等式 〔9〕因为所以〔9〕式成立.用柯西施瓦茨不等式不等式有时可很巧妙地解决相关数学命题，如下例3 求证.证明 这里可取由柯西施瓦茨不等式整理即得5 概率空间中的Cauchy-Schwarz不等式命题4 设为任意随机变量，假设存在，那么也存在，且 〔10〕式中等号成立当且仅当存在常数，使得〔11〕证明 定义实变量的二次函数为因为对一切，必然有,从而有，于是方程要么无实根，要么就有一个实根，亦即重根，即判别式非正，从而即 当等号成立时，方程有一个重根，使从而 即 且 于是 即 反之，假设存在常数，使得〔11〕式成立，即从而 ，于是，即 ，且故 即在〔10〕式中等号成立.例4 设随机变量与的相关系数存在，那么且的充要条件为与以概率1线性相关.即存在常数，使，其中当时，；当时.证明 对随机变量与应用柯西施瓦茨不等式，有即，所以，此时等式成立当且仅当存在，使得其中是方程当时的解.显然，当时，，即当时，，即该定理说明：当时，与之间存性关系，从而相关系数作为“标准尺度下的协方差〞是随机变量与之间的线性强弱程度的度量，更确切地说应该是线性相关系数.在统计教学中，求直线趋势方程的两个待定系数时，用到最小二乘法.柯西施瓦茨不等式在求方程系数和判断极值中起到了补充说明的作用，增强了预测模型的准确性、科学性、严密性.例5 〔求方程系数中的应用〕当函数，是由实验或观察得到的，建立直线趋势方程的模型时，要际观察值与趋势值离差的平方和必须为最小.解设，这里令整理得到：消去,.由柯西施瓦茨不等式知，当且仅当时取等号.由于是时间变量，故，所以所以.在直线回归方程中，均为回归系数.在求回归系数时，同样用Cauchy不等式证明得到.事实上，如果，，由柯西施瓦茨不等式我们得到这时，总体回归直线就是一条平行于轴的直线了，这时与之间没有线性关系，从统计学的角度讲总体中没有变异，就没有必要进展统计了.例 6 〔在判断极值存在中的应用〕证明存在极小值.证明 因为求二阶偏导得 因为由柯西施瓦茨不等式我们得到所以又因为，所以存在极小值，可以证明也就是最小值.由以上几个例子可以发现，柯西施瓦茨不等式不等式在概率论与数理统计中有着广泛的实际应用.6矩阵分析中的Cauchy-Schwarz不等式定义1 设为n阶方阵，记,即同时取共轭又转置.假设,那么称是一个Hermite阵.当为实矩阵时，Hermite阵就是实对称阵.命题5 设，那么(a) 等号成立当且仅当与线性相关.证明 当与至少一个为零向量时，结论显然不成立.不妨设，定义，那么.于是此即等号成立与成比例.〔b〕设A为Hermite阵且,那么等号成立当且仅当与线性相关.证明 因为，那么由Hermite阵的性质，存在矩阵B,使得.命，对和应用(a),便得到(b).(c)设A为的Hermite阵且,那么‘,等号成立当且仅当与线性相关.证明 因为,所以存在,对和应用(a),即得欲证的(c).由上可知为任意的一对列向量，我们要讨论的是当它们为正交向量时柯西施瓦茨不等式，是柯西施瓦茨不等式的另一种形式的推广.推论6表示复数域，表示的共轭转置向量， 阶正定矩阵的全体记为.设，A的特征值为，且都大于零，那么对于任意一对正交向量，有证明 不失一般性，令，显然只需要证明当正交向量对时，推论6成立.令那么，B是一个Hermite阵，令其特征值为，由Poincare定理，有所以.同时所以 又因为是单调递减的函数，所以这样定理得证.例7 设，A的特征值为，且都大于零，那么对于任意非零向量，有证明 令，这样同时 〔12〕 由〔12〕式，我们可以得到，将〔11〕式带入推论6，有因为，所以将上式用于，我们得到即这样定理得证.注5 由柯西施瓦茨不等式的形式〔b〕，我们可得到由推论6 〔13〕因此〔13〕式的结论较柯西施瓦茨不等式准确，所得结果更强.完毕语本文从五个方面分别介绍了柯西施瓦茨不等式的五个等价形式，并进展了简洁的证明.并分别介绍了柯西施瓦茨不等式的简单应用，特别是在概率统计中的实际应用，而且在实数域和微积分中进展了一定的推广.由于知识所限，在对其他方面的柯西施瓦茨不等式没有进入深入的分析，也没有进展推广.参考文献[1] 大学数学系几何与代数教研室前代数小组.高等代数[M].:高等教育, 2003.[2]吴传生.数学分析〔上册〕习题精解[M].:中国科技大学，2004.[3]邓天炎，叶留青.概率统计[M].:中国矿业大学，2004.[4]王松佳,吴密霞,贾忠贞[M].:科学,2005.[5] 黄廷祝,传胜.特殊矩阵分析与应用[M].: 科学, 2007.[7]永生,王昆扬.泛函分析讲义[M].：师大学数学科学学院，2007.[8] 罗俊丽,朱白. Cauchy-Schwarz不等式的几中推广形式[J].学院学报,23:4(2009)。