- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
浅谈凸函以及一类内积表达函数的凸性毕业论文
浅谈凸函数以及一类内积表达函数的凸性
摘要 凸函数是一类重要的函数, 它在纯粹数学和应用数学的众多领域中具有广泛的应用,现已成为数学规划、对策论、数理经济学、变分学和最优控制等学科的理论基础和有力工具. 本文首先给出了凸函数的定义及其性质,研究了凸函数的等价定义及常用的一些判别方法,探讨了凸函数在证明不等式当中的应用. 另外,本文还重点研究了用内积表达的一类函数, 并分析了它们的凸性.
关键词 凸函数 不等式 内积 凸性
1 引言
凸函数是一类非常重要的函数,广泛应用于数学规划,控制论等领域,函数凸性是数学分析中的一个重要概念,它在判定函数的极值、研究函数的图像以及证明不等式诸方面都有广泛的应用. 凸分析作为数学的一个比较年轻的分支,是在50年代以后随着数学规划,最优控制理论、数理经济学等应用数学学科的兴起而发展起来的.
本世纪初建立了凸函数理论以来,凸函数这一重要概念已在许多数学分支中得到了广泛应用. 现行高等数学教材中,也都对函数的凸性作了介绍,由于各版本根据自己的需要,对凸函数这一概念作了不同形式的定义,本文就以凸函数几种定义的等价性给以证明,并给出简单的应用,应用凸函数的概念与性质来证明几个重要且常用的不等式和凸函数在证明一般不等式中的应用;另外,本文还研究用内积表达的某些函数,分析它们的凸性.
2 凸函数的概念及其等价性定义初探
2.1 基本概念
大家都熟悉函数的图像,它的特点是:曲线上任意两点间的弧总在这两点连线的下方.我们可以下这样一个定义:设在上有定义,若曲线上任意两点间的弧总位于连接该两点的直线之下,则称函数是凸函数.
上面的定义只是几何描述性的,为了便于凸函数的应用,用严格的式子分析定义凸函数是十分必要的.
在不等式的证明中经常会应用到凸函数的两个等价定义:
设为实数轴上的开区间,函数
定义1 ,都有不等式
(1)成立,则称为 内的凸函数.
定义2[1] ,,都有不等式
(2)成立,则称为内的凸函数.
2.2 主要结论
不同定义下的凸函数是互不相同的2个概念,但它们之间有着内在的联系.这2个定义都是通过解析性给凸函数下定义,定义1是由詹森1905年给出的,它的几何意义是函数曲线上任意2点间弦的中点始终位于2点间弧的中点之上.定义2的几何意义是函数曲线上任意2点间的弦始终位于2点间弧的上方.定义1只要求在内有意义,它未必是连续函数,甚至是不可测函数;定义2蕴含在内连续 .换言之,若函数是定义1下的凸函数则它必定是定义2下的凸函数,但反之却不成立.由此可见定义1要与定义2等价必须有一些条件限制.
结论1[3] 当在内连续时,定义1与定义2等价.
证明 定义2定义1,显然,令即可.
定义1定义2:
及有理数用二进制表示为:
=或
于是 其中: .
从而 (3)
重复使用(1)式得:
利用(3)式得:
为有理数的情况获证.若为无理数,则存在有理数使得由于在内连续,
(4)
对于有理数,前面已经证明:
对上式两边同时令取极限后代入(4)式得:
即(1)式对任意无理数也成立.
这就证明了对任意,由定义1可以推出定义2.
故当在内连续时,定义1与定义2等价.
事实上,定义1与定义2等价的条件还可以进一步降低:
结论2 设在区间 的任一闭子区间上有界,则定义1与定义2等价.
证明 定义1定义2:
假若(2)式不成立,则及 使
即
不妨设因为若,则成立;若,令代入上式仍可保证,
作辅助函数:
显然与在有界,且
又有:
由此可知还满足式,于是可得:
令,显然,则 (5)这是若则可重复上述步骤得:
其中, (6)
若,则令代入式,由于仍可重复上述步骤
得到式.因此存在使得:
由于可以无限增大,这就与有界矛盾,
故式成立.
定义2定义1:令即可.事实上,由于在定义2下的函数在区间内是连续的,因此在闭子区间也是连续的,因而是有界的.
3 凸函数的性质及其判定定理
定理1[5] 设在区间上有定义,则以下条件等价(其中各不等式要求对任意, 保持成立):
()在上为凸函数
文档评论(0)