版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、柯西施瓦茨不等式的应用及推广作者:查敏 指导老师:蔡改香摘要 本文探讨的是柯西施瓦茨不等式在不同数学领域的各种形式和内容及其多种证明方法和应用,并对其进行了一定程度上的推广.通过一系列的例题,反映了柯西施瓦茨不等式在证明相关的数学命题时可以使得解题方法得以简捷明快,甚至可以得到一步到位的效果,特别是在概率统计中的广泛应用.关键词 Cauchy-Schwarz不等式 Minkowski不等式 Holder不等式 Hermite阵1引言柯西施瓦茨不等式在数学中的应用比较广泛,是异于均值不等式的另一个重要不等式,灵活巧妙的运用它,可以使一些较困难的实际问题得到比较简捷地解决,这个不等式结构和谐,无论
2、代数、几何,都可以应用.本文正是从实数域、微积分.内积空间、概率空间以及矩阵分析这五个方面的内容进行证明并举例说明其应用,对实数域和微积分中的形式进行了一定程度的推广.2 在实数域中的Cauchy不等式命题1 设,则 (1) 其中当且仅当(为常数)等号成立.证明 由则由于,因此上述不等式的判别式大于零,即:易得(1)式成立.例1 设求证证明 由不等式左边的形式,很容易想到柯西不等式解之柯西施瓦茨不等式在实数域中的应用十分广泛,而且许多著名的不等式就是用柯西施瓦茨不等式直接导出.下面介绍两个著名的不等式.由上面的柯西施瓦茨不等式可以得到Minkowski不等式 定理1 任意的个实数,有 (2)事
3、实上,由(1)得 这就证明了(2).将柯西施瓦茨不等式中的幂指数扩充,则有赫尔德不等式.定理2 对任意的非负数有其中,满足且.证明 由杨格不等式,其中且得赫尔德不等式中,当时为柯西施瓦茨不等式,若将则可导出相应的无穷不等式.由定理2可将定理1的幂指数进行扩充定理3 若对任意的非负实数,且,则证明 由杨格不等式 化简即得所要证得的不等式.还可将上述赫尔德不等式推广到无限和不等式:推论1 若对任意非负实数,有,则下面将上命题1进行推广:引理1 (算术-几何平均值不等式)设为个正数,则 ,等号成立的充要条件为.引理2 设,作定义:则在中定义了的加法、数乘、内积作成上的线性空间一定构成欧几里得空间,简
4、称欧氏空间 (在介绍柯西施瓦茨不等式在内积空间中的应用时会用到此定义).推论2 设是组实数,则有 (2) 等号成立的充要条件为 . 证明 为方便起见,不妨设从而由引理1有对上式进行的累次求和,可得即 (4)由于同理,这样(4)式为再两边同时次幂,得故证得(3)式成立.注1 在命题1中,除,其余均为1,且,则不等式(3)就是不等式(1)的推广.推论3 (将命题1推广为无限和不等式)设且,则(证明过程可仿推论2的证法并结合引理2).3 微积分中的Cauchy-Schwarz不等式命题2 设在可积,则 (5)证明 类似命题1可以利用判别式证明之.下面给出另一种证法:因为在上可积,则由定积分的性质均在
5、上上可积,对区间进行n等分,分点为.由定积分的定义,有由(1)式知再由极限的保号性易知(5)式成立.注2 若对,或成正比,则(5)式等号成立,但其逆不真.例如,除有限点外,有,但并不成比例.例2 利用柯西施瓦茨不等式求极限:设在上连续,有正下界,记,求证:.证明 为了分析的变化趋势,研究邻项之间的关系. 因为,平方得,即.因为在连续,所以存在,使得,故因为单调有上界,所以有极限.即在微积分中的柯西施瓦茨不等式也可以得到一些比较著名的不等式,如下面介绍的Minkowski不等式:定理4 设在可积,则Minkowski不等式证明 由(5)式因为两边都大于等于零,且右边大括号也大于等于零,所以有将柯
6、西施瓦茨不等式的幂指数进行扩充,有Holder不等式定理5 ,且,则证明 得证.利用定理5,将定理4的幂指数进行扩充,有证明可参考定理3 的证明,且p=2即为定理4中的不等式.同样将上命题2进行推广.推论4 设是闭区间上为正的个可积函数,则 (6)证明 不妨设则由引理1可得这样就证得不等式(6)成立.注3 在推论4中,取,则得到柯西施瓦茨不等式,即不等式(5).注4 不等式(5)可写成受此启发,易于得到柯西施瓦茨不等式更为一般的推广形式:设是闭区间上的可积函数,则有即为并且等号成立的充要条件为:存在不全为零的常数使得.推论5 (将命题2再推广)设则 (7) (可仿推论4并结合反常积分理论即证)
7、.4 维欧氏空间中Cauchy-Schwarz不等式在维欧氏空间中,对任意的向量定义内积定义的长度或范数为.命题3 对任意的向量有 (8)当且仅当线性相关时等号才成立.证明 若,则,(8)式显然成立.若,则令,则,且当线性相关时等号显然成立.反之,如果等号成立,由以上证明过程可以看出,或或,即也就是说线性相关.根据上述在维欧氏空间中的柯西施瓦茨不等式,我们有三角不等式 (9)因为所以(9)式成立.用柯西施瓦茨不等式不等式有时可很巧妙地解决相关数学命题,如下例3 求证.证明 这里可取由柯西施瓦茨不等式整理即得5 概率空间中的Cauchy-Schwarz不等式命题4 设为任意随机变量,若存在,则也
8、存在,且 (10)式中等号成立当且仅当存在常数,使得 (11)证明 定义实变量的二次函数为因为对一切,必然有,从而有,于是方程要么无实根,要么就有一个实根,亦即重根,即判别式非正,从而即 当等号成立时,方程有一个重根,使从而 即 且 于是 即 反之,若存在常数,使得(11)式成立,即从而 ,于是 ,即 ,且故 即在(10)式中等号成立.例4 设随机变量与的相关系数存在,则且的充要条件为与以概率1线性相关.即存在常数,使,其中当时,;当时.证明 对随机变量与应用柯西施瓦茨不等式,有即,所以,此时等式成立当且仅当存在,使得其中是方程当时的解.显然,当时,即当时,即该定理表明:当时,与之间存在线性关
9、系,从而相关系数作为“标准尺度下的协方差”是随机变量与之间的线性强弱程度的度量,更确切地说应该是线性相关系数.在统计教学中,求直线趋势方程的两个待定系数时,用到最小二乘法.柯西施瓦茨不等式在求方程系数和判断极值中起到了补充说明的作用,增强了预测模型的准确性、科学性、严密性.例5 (求方程系数中的应用)当函数,是由实验或观察得到的,建立直线趋势方程的模型时,要求实际观察值与趋势值离差的平方和必须为最小.解 设,这里令整理得到:消去,.由柯西施瓦茨不等式知,当且仅当时取等号.由于是时间变量,故,所以所以.在直线回归方程中,均为回归系数.在求回归系数时,同样用Cauchy不等式证明得到.事实上,如果
10、,由柯西施瓦茨不等式我们得到这时,总体回归直线就是一条平行于轴的直线了,这时与之间没有线性关系,从统计学的角度讲总体中没有变异,就没有必要进行统计了.例 6 (在判断极值存在中的应用)证明存在极小值.证明 因为求二阶偏导得 因为由柯西施瓦茨不等式我们得到所以又因为,所以存在极小值,可以证明也就是最小值.由以上几个例子可以发现,柯西施瓦茨不等式不等式在概率论与数理统计中有着广泛的实际应用.6 矩阵分析中的Cauchy-Schwarz不等式定义1 设为n阶方阵,记,即同时取共轭又转置.若,则称是一个Hermite阵.当为实矩阵时,Hermite阵就是实对称阵.命题5 设,则(a) 等号成立当且仅当
11、与线性相关.证明 当与至少一个为零向量时,结论显然不成立.不妨设,定义,则.于是此即等号成立与成比例.(b)设A为Hermite阵且,则等号成立当且仅当与线性相关.证明 因为,则由Hermite阵的性质,存在矩阵B,使得.命,对和应用(a),便得到(b).(c)设A为的Hermite阵且,则 ,等号成立当且仅当与线性相关.证明 因为,所以存在,对和应用(a),即得欲证的(c).由上可知为任意的一对列向量,我们要讨论的是当它们为正交向量时柯西施瓦茨不等式,是柯西施瓦茨不等式的另一种形式的推广.推论6 表示复数域,表示的共轭转置向量, 阶正定矩阵的全体记为.设,A的特征值为,且都大于零,那么对于任
12、意一对正交向量,有证明 不失一般性,令,显然只需要证明当正交向量对时,推论6成立.令那么,B是一个Hermite阵,令其特征值为,由Poincare定理,有所以.同时所以 又因为是单调递减的函数,所以这样定理得证.例7 设,A的特征值为,且都大于零,那么对于任意非零向量,有证明 令,这样同时 (12) 由(12)式,我们可以得到,将(11)式带入推论6,有因为,所以将上式用于,我们得到即这样定理得证.注5 由柯西施瓦茨不等式的形式(b),我们可得到由推论6 (13)因此(13)式的结论较柯西施瓦茨不等式精确,所得结果更强.结束语本文从五个方面分别介绍了柯西施瓦茨不等式的五个等价形式,并进行了简
13、洁的证明.并分别介绍了柯西施瓦茨不等式的简单应用,特别是在概率统计中的实际应用,而且在实数域和微积分中进行了一定的推广.由于知识所限,在对其他方面的柯西施瓦茨不等式没有进入深入的分析,也没有进行推广.参考文献1 北京大学数学系几何与代数教研室前代数小组.高等代数M.北京:高等教育出版社, 2003.2吴传生.数学分析(上册)习题精解M.合肥:中国科技大学出版社,2004.3邓天炎,叶留青.概率统计M.北京:中国矿业大学出版社,2004.4 王松佳,吴密霞,贾忠贞M.北京:科学出版社,2005.5 黄廷祝,杨传胜.特殊矩阵分析及应用M.北京: 科学出版社, 2007.6K.G.宾莫尔.数学分析基
14、础浅导M.北京:北京大学出版社,2006.7孙永生,王昆扬.泛函分析讲义M.北京:北京师范大学数学科学学院,2007.8 罗俊丽,朱白. Cauchy-Schwarz不等式的几中推广形式J.商洛学院学报,23:4(2009),28-29.9常广平,李林衫,刘大莲.利用Cauchy-Schwarz不等式估计回归系数J.北京联合大学学报,22:4(2008),77-78.Application and promotion of the Cauchy-Schwartz inequalityAuthor:Zha Min Superviser: Cai GaixiangAbstract This paper explores all kinds of forms and content and a variety of ways of proof and applications of the Cauchy inequality in diffirent fields of mathematics,and makes some degrees of promotion of it. Through a series of examples,we can see that the Cauchy inequality makes th
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 广东省汕尾市(2024年-2025年小学五年级语文)人教版综合练习((上下)学期)试卷及答案
- 2023年大容量注射剂资金申请报告
- 2023年高纯氧化铌、氧化钽资金筹措计划书
- 五年级数学(小数除法)计算题专项练习及答案
- 高二上册政治总复习教案
- 猪场分娩舍培训总结
- 《电气控制系统设计与装调》教案 任务一:M7140型磨床控制线路基本构造及工作原理
- 山东省济宁市金乡县多校2024-2025学年二年级上学期期中语文试卷
- 陕西省神木市2024~2025学年七年级上学期期中质量检测调生物学试题(含答案)
- 湖南省邵阳市邵东市创新高级中学有限公司2024-2025学年高一上学期期中考试地理试题(含答案)
- 大型展会对城市会展业发展影响文献综述会展专业
- 乡镇结核病防治工作职责
- 机组启动试运行工作报告
- 礼仪队工作计划三篇
- 互补输出级介绍
- 中波广播发送系统概述
- (完整版)管道代号对照
- 县疾控中心中层干部竞聘上岗实施方案
- 急性心肌梗死精美PPt完整版
- 市森林消防(防汛)专业队管理制度森林防火扑火队管理制度.doc
- 物业日常巡查记录表.doc
评论
0/150
提交评论