凸函数在不等式证明中的应用-毕业设计.doc

凸函数在不等式证明中的应用摘要： 凸函数是一种性质特殊的函数.它在证明比较复杂的不等式方面有着重大作用. 本文首先给出了凸函数的三个典型定义，分析了它们之间的关系，并证明了三种定义之间的等价性接着给出了凸函数的一个判定定理以及Jesen不等式然后讨论了凸函数的几条常用性质，通过例题展示了凸函数在不等式证明中的应用凸函数具有重要的理论研究价值和实际广泛应用，利用凸函数的性质证明不等式；很容易证明不等式的正确性因此，正确理解凸函数的定义、性质及应用，更对有关学术问题进行推广研究起着举足轻重的作用在不等式证明中的应用并举例说明解题思路与证明方法，最后证明了几个常见的重要不等式并得到了几种常用凸函数的形式关键词凸函数，不等式，凸性不等式1引言在数学思想方法中，函数思想是很重要的一种思想方法，其精髓在于利用函数的相关性质对讨论的问题进行推理和论证，进而寻求解决问题的途径。凸函数是一类常见的重要函数，上世纪初建立了凸函数理论以来，凸函数这一重要概念已在许多数学分支得到广泛应用例如在数学分析、函数论、泛函分析、最优化理论等当中常用的凸函数有两种，一种叫上凸函数，即曲线位于每一点切线下方或曲线上任意两点间的弧段总在这两点连线上方的函数；另一种叫下凸函数，即曲线位于每一点切线的上方或曲线上任意两点间的弧段总在这两点连线下方的函数现行高等数学教材中也都对函数的凸性作了介绍，由于各版本根据自己的需要，对凸函数这一概念作了不同形式的定义，本文介绍了凸函数的三种典型定义，讨论了它们的等价性，并给出了利用凸函数的定义证明凸函数的简单应用凸函数在不等式的研究中尤为重要，而不等式证明最终归结为研究函数的特性，所以研究凸函数的性质就显得十分重要凸函数的性质相当多，已有很多文献专门就函数凸性作了研究本文就以凸函数几种定义的等价性给以证明,并给出简单的应用，应用凸函数的概念与性质来证明几个重要且常用的不等式和凸函数在证明一般不等式中的应用，针对它在证明比较复杂的不等式方面有着重要作用，本文对凸函数的性质在比较经典的不等式证明中的简单应用进行初步讨论.2 凸函数的等价定义定义11若函数对于区间内的任意以及，恒有，则称为区间上的凸函数其几何意义为：凸函数曲线上任意两点间的割线总在曲线之上定义2若函数在区间内连续，对于区间内的任意，恒有，则称为区间上的凸函数其几何意义为：凸函数曲线上任意两点间割线的中点总在曲线上相应点(具有相同横坐标)之上定义3若函数在区间内可微，且对于区间内的任意及，恒有，则称为区间上的凸函数其几何意义为：凸函数曲线上任一点处的切线，总在曲线之下以上三种定义中，定义3要求在内是可导的，定义2要求在上是连续的而定义1对函数则没有明显地要求实际上可以证明在定义1中，函数在上是连续的而定义1和定义2两个定义是否要求函数是可导的，则没有提出如果加上可导的条件，则可证明三种定义是等价的2.1凸函数三种定义的等价性的讨论2.1.1定义1定义2证明 定义1定义3，取， 由定义1推得定义2定义2定义1首先，论证对于任意的及有理数，不等式，成立事实上，对于此有理数总可以表示为有穷二进位小数，即，其中或1，由于也是有理数所以也可以表示为有穷二进位小数，即，由于，有或1，于是所以 下面再论证对为无理数时定义1也成立事实上，对任意无理数，存在有理数列，所以，由于在内连续，所以综上即知，定义1与定义2等价2.1.2定义1定义3证明 定义1 定义3：对内任意的及，若，则取，使于是，可以得到，上式中令，由于可微，所以有，即若，则取，使，同理可证定义3定义1：对于区间内的任意（不妨设）以及，令，则有，由泰勒公式，得及，其中，于是再进一步由，所以即，最后，由等价的传递性即知定义2与定义3也是等价的2.2判定定理与Jesen不等式判定定理2设为区间上的二阶可导函数，则在上为凸函数的充要条件是，用定义直接来判断一个函数是不是凸函数，往往是很困难的但用该判定定理来判断一个光滑函数是否凸，则是相当简便的在实际应用中常常先用导数来肯定函数的凸性，再反过来引出它必定满足凸性不等式在许多证明题中，我们常常遇到一些不等式的证明，其中有一类不等式利用凸函数的性质定理来证明可以非常简洁、巧妙证明不等式就是凸函数的一个应用领域，但关键是构造能够解决问题的凸函数定理 (Jensen不等式)3设函数在上处处二次可微，且 (对任意，则为上的凸函数，即对任意，及成立如下不等式， （1）该不等式称为Jensen不等式，该性质是凸函数的一个重要性质，也是定义的一般情况可以说，凸函数在不等式证明中的应用很大程度上是由Jensen不等式来体现的，因为每个凸函数都有一个Jensen不等式，因而它在一些不等式证明中有着广泛的应用利用它可以推出常用的一些重要公式，为证明不等式开辟了一条新路注：由定理，经简单计算知下列函数在其定义域上都是凸函数，从而都满足不等式（1）（a），（b），（c）凸函数及其性质在解题中有着十分广泛的应用，下面试举数例述之3性质利用函数的凸性来证明不等式，是一种重要的方法，通常需要构造适当的凸函数，再运用函数的凸性的定义及几个等价论断，可将一些初等不等式，积分不等式转化为研究函数的性态，从而使不等式简化进而得到证明函数的凸性是函数在区间上变化的整体性态，把握区间上整体性态，不仅可以更加科学、准确的描绘函数的图象，而且有助于对函数的定性分析凸函数是一类重要的函数凸函数在不等式的研究中尤为重要，而不等式最终归结为研究函数的特性，所以研究凸函数的性质就显得十分必要了性质14 设函数在区间为凸函数，则在区间也为凸函数证明：因函数在区间为凸函数，从而，且于是有因此在区间为凸函数性质2设函数在区间为凸函数，则在区间为凸函数证明 ，因函数在区间为凸函数从而有，且令，则因此，在区间为凸函数性质3 5设函数在区间为递增的非负凸函数，则在区间为凸函数证明 ，设，因为非负凸函数，由定理3知，在点连续，且，因此在区间连续，因递增，从而且由定义知在区间为凸函数当然凸函数的性质还远不止施工述几条，这里就不一一列举4凸函数在不等式证明中的应用41利用凸函数定义证明不等式例1 求证：对任意实数，有证明 设，则，故为上的凸函数从而对，由定义有，即例2 设，则有证明 设 ，那么，于是时，由严格凸函数的定义，其中得，即例36 若为内的凸函数，求证 证明 对，不等式是显然的，设对不等式成立，则因为，这里，由定义有，例4若，则证明 令 ，由于则为上的严格凸函数，所以由例3的不等式有，即，由得，上式等号仅在成立4.2 利用凸函数性质证明不等式例5 证明不等式： ，其中 证明 考虑对数函数，因为故函数是上凸函数，由上凸函数的性质，即得，由对数性质，即证明了 （2）又考虑函数，所以故也是上凸函数，由上凸函数的性质，得，即 ，因此， （3）综合（2），（3）整个命题证明结束例6 设均为正数，且求证：证明考虑函数因为，所以是下凸函数，令，由下凸函数的性质，则有 （4），由柯西不等式：得，于是有，并代入（4）式即得，证毕例77 在中，求证证明 考虑函数，因为，所以在内是上凸函数，由上凸函数的性质有，由于故例88 设，则证明 记则，取，易知，有判定定理知为凸函数，取，由于故由性质得例9 设，有，其中，证明 令，因为，由判定定理知，在上是严格凸函数，由Jensen不等式得到，今设为非负实数且，在上述表达式中以代替，得到由题设知令，不妨设，代入上式便得不等式特别地，取时得就到柯西不等式4.3 凸函数在经典不等式证明中的应用在初等数学中，调和平均值不大于几何平均值，几何平均值不大于算术平均值，算术平均值不大于平方平均值，而证明用数学归纳法. 其实，这些不等式可在凸函数框架下统一证明.例17 设，证明： . 证明：设，有，从而，函数在是严格凸函数，取,，有 即即 .取,，同样方法，有 于是，有 .例27 证明,有 . 上式称为算术平均不大于次平均，特别地，当时，得到算术平均值不大于平方平均值.证明：考察函数，由于有，所以为凸函数，从而 ， 有 在上式中，令 即得 .例37 若，且，求证：Young不等式 . 证明：从所求证的不等式的形式来看，不容易直接找到合适的凸函数，因此，可对它进行一定的变形. 不妨在不等式两边同取自然对数，则有由此很容易找到合适的凸函数. 考察函数，因为，由定理4知，在时为凸函数，又有，所以于是 即 . 特别地，当,时，此不等式就是前面例1的结果，即平均值不等式. 例48 证明Cauchy-Hölder不等式. 设；为两组非负实数，则 . 证明：考察函数，由可知为凸函数，从而 ， 有 在上式中，令， .而，可得 .在上式中特别取，得到著名的Cauchy-Schwartz不等式 .结束语通过研究凸函数的几种定义，分析它们之间的关系，证明了给出三种典型定义之间的等价性给出了凸函数的一个判定定理以及Jesen不等式然后讨论了凸函数的几条常用性质，接着通过例题展示了凸函数在不等式证明中的应用凸函数的应用领域非常广泛，主要是在不等式的证明中，运用它解题显得巧妙，简练，通过对上述问题的证明，我们认识到利用凸函数的定义、等价定义、性质及判定定理证明不等式，关键是寻找合适的函数，若不能直接找出，则可以对不等式进行适当的变形，从而达到证明不等式的目的至于凸函数在其他领域的应用则未涉及参考文献1 杜厚雄凸函数的性质及其应用J现代企业教育2007:173-1742 白景华凸函数的性质、等价定义及应用J开封大学学报2003，17(2):59-643 曹良干凸函数的定义及应用J阜阳师范学院学报1994(2) 4 燕建梁，张喜善凸函数的性质及其在不等式证明中的应用J太原教育学院学报 2002，20(4)：63-655 李荣春利用凸函数证明不等式J宁德师专学报1998，10(1) 6 林银河.凸函数的等价描述与Jensen不等式N.丽水师范专科学校学报, 2001-04(23).7 周雪艳，张喜善.凸函数的性质及其在不等式证明中的应用N.山西财经大学学报，2000-06(22).1. 基于C8051F单片机直流电动机反馈控制系统的设计与研究2. 基于单片机的嵌入式Web服务器的研究 3. MOTOROLA单片机MC68HC（8）05PV8/A内嵌EEPROM的工艺和制程方法及对良率的影响研究 4. 基于模糊控制的电阻钎焊单片机温度控制系统的研制 5. 基于MCS-51系列单片机的通用控制模块的研究 6. 基于单片机实现的供暖系统最佳启停自校正（STR）调节器7. 单片机控制的二级倒立摆系统的研究8. 基于增强型51系列单片机的TCP/IP协议栈的实现 9. 基于单片机的蓄电池自动监测系统 10. 基于32位嵌入式单片机系统的图像采集与处理技术的研究11. 基于单片机的作物营养诊断专家系统的研究 12. 基于单片机的交流伺服电机运动控制系统研究与开发 13. 基于单片机的泵管内壁硬度测试仪的研制 14. 基于单片机的自动找平控制系统研究 15. 基于C8051F040单片机的嵌入式系统开发 16. 基于单片机的液压动力系统状态监测仪开发 17. 模糊Smith智能控制方法的研究及其单片机实现 18. 一种基于单片机的轴快流CO,2激光器的手持控制面板的研制 19. 基于双单片机冲床数控系统的研究 20. 基于CYGNAL单片机的在线间歇式浊度仪的研制 21. 基于单片机的喷油泵试验台控制器的研制 22. 基于单片机的软起动器的研究和设计 23. 基于单片机控制的高速快走丝电火花线切割机床短循环走丝方式研究 24. 基于单片机的机电产品控制系统开发 25. 基于PIC单片机的智能手机充电器 26. 基于单片机的实时内核设计及其应用研究 27. 基于单片机的远程抄表系统的设计与研究 28. 基于单片机的烟气二氧化硫浓度检测仪的研制 29. 基于微型光谱仪的单片机系统 30. 单片机系统软件构件开发的技术研究 31. 基于单片机的液体点滴速度自动检测仪的研制32. 基于单片机系统的多功能温度测量仪的研制 33. 基于PIC单片机的电能采集终端的设计和应用 34. 基于单片机的光纤光栅解调仪的研制 35. 气压式线性摩擦焊机单片机控制系统的研制 36. 基于单片机的数字磁通门传感器 37. 基于单片机的旋转变压器-数字转换器的研究 38. 基于单片机的光纤Bragg光栅解调系统的研究 39. 单片机控制的便携式多功能乳腺治疗仪的研制 40. 基于C8051F020单片机的多生理信号检测仪 41. 基于单片机的电机运动控制系统设计 42. Pico专用单片机核的可测性设计研究 43. 基于MCS-51单片机的热量计 44. 基于双单片机的智能遥测微型气象站 45. MCS-51单片机构建机器人的实践研究 46. 基于单片机的轮轨力检测 47. 基于单片机的GPS定位仪的研究与实现 48. 基于单片机的电液伺服控制系统 49. 用于单片机系统的MMC卡文件系统研制 50. 基于单片机的时控和计数系统性能优化的研究 51. 基于单片机和CPLD的粗光栅位移测量系统研究 52. 单片机控制的后备式方波UPS 53. 提升高职学生单片机应用能力的探究 54. 基于单片机控制的自动低频减载装置研究 55. 基于单片机控制的水下焊接电源的研究 56. 基于单片机的多通道数据采集系统 57. 基于uPSD3234单片机的氚表面污染测量仪的研制 58. 基于单片机的红外测油仪的研究 59. 96系列单片机仿真器研究与设计 60. 基于单片机的单晶金刚石刀具刃磨设备的数控改造 61. 基于单片机的温度智能控制系统的设计与实现 62. 基于MSP430单片机的电梯门机控制器的研制 63. 基于单片机的气体测漏仪的研究 64. 基于三菱M16C/6N系列单片机的CAN/USB协议转换器 65. 基于单片机和DSP的变压器油色谱在线监测技术研究 66. 基于单片机的膛壁温度报警系统设计 67. 基于AVR单片机的低压无功补偿控制器的设计 68. 基于单片机船舶电力推进电机监测系统 69. 基于单片机网络的振动信号的采集系统 70. 基于单片机的大容量数据存储技术的应用研究 71. 基于单片机的叠图机研究与教学方法实践 72. 基于单片机嵌入式Web服务器技术的研究及实现 73. 基于AT89S52单片机的通用数据采集系统 74. 基于单片机的多道脉冲幅度分析仪研究 75. 机器人旋转电弧传感角焊缝跟踪单片机控制系统 76. 基于单片机的控制系统在PLC虚拟教学实验中的应用研究77. 基于单片机系统的网络通信研究与应用 78. 基于PIC16F877单片机的莫尔斯码自动译码系统设计与研究79. 基于单片机的模糊控制器在工业电阻炉上的应用研究 80. 基于双单片机冲床数控系统的研究与开发 81. 基于Cygnal单片机的C/OS-的研究82. 基于单片机的一体化智能差示扫描量热仪系统研究 83. 基于TCP/IP协议的单片机与Internet互联的研究与实现 84. 变频调速液压电梯单片机控制器的研究 85. 基于单片机-免疫计数器自动换样功能的研究与实现 86. 基于单片机的倒立摆控制系统设计与实现 87. 单片机嵌入式以太网防盗报警系统 88. 基于51单片机的嵌入式Internet系统的设计与实现 89. 单片机监测系统在挤压机上的应用 90. MSP430单片机在智能水表系统上的研究与应用 91. 基于单片机的嵌入式系统中TCP/IP协议栈的实现与应用92. 单片机在高楼恒压供水系统中的应用 93. 基于ATmega16单片机的流量控制器的开发 94. 基于MSP430单片机的远程抄表系统及智能网络水表的设计95. 基于MSP430单片机具有数据存储与回放功能的嵌入式电子血压计的设计 96. 基于单片机的氨分解率检测系统的研究与开发 97. 锅炉的单片机控制系统 98. 基于单片机控制的电磁振动式播种控制系统的设计 99. 基于单片机技术的WDR-01型聚氨酯导热系数测试仪的研制 100. 一种RISC结构8位单片机的设计与实现 101. 基于单片机的公寓用电智能管理系统设计 102. 基于单片机的温度测控系统在温室大棚中的设计与实现103. 基于MSP430单片机的数字化超声电源的研制 104. 基于ADC841单片机的防爆软起动综合控制器的研究105. 基于单片机控制的井下低爆综合保护系统的设计 106. 基于单片机的空调器故障诊断系统的设计研究 107. 单片机实现的寻呼机编码器 108. 单片机实现的鲁棒MRACS及其在液压系统中的应用研究 109. 自适应控制的单片机实现方法及基上隅角瓦斯积聚处理中的应用研究110. 基于单片机的锅炉智能控制器的设计与研究 111. 超精密机床床身隔振的单片机主动控制 112. PIC单片机在空调中的应用 113. 单片机控制力矩加载控制系统的研究 项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！单片机论文，毕业设计，毕业论文，单片机设计，硕士论文，研究生论文，单片机研究论文，单片机设计论文，优秀毕业论文，毕业论文设计，毕业过关论文，毕业设计，毕业设计说明，毕业论文，单片机论文，基于单片机论文，毕业论文终稿，毕业论文初稿，本文档支持完整下载，支持任意编辑！本文档全网独一无二，放心使用，下载这篇文档，定会成功！15