凸函数的性质及其应用论文..doc

  1. 1、本文档共12页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
凸函数的性质及其应用论文.

凸函数性质及其应用 摘 要 本文首先给出了凸函数的几种定义,然后给出了凸函数的几种重要性质,最后举例说明了凸函数在微分学、积分学、及在证明不等式中的应用. 关键词 凸函数的积分性质;凸函数的不等式 Abstract In this article,first we list several kind of definitions for convex functions,then we give several important properties of convex functions ; finally we discuss the application of convex functions in differential calculus , integral calculus, and the proof of inequality. Keywords integral properties of convex functions ; inequality of convex functions 凸函数是一类非常重要的函数,广泛应用于数学规划、控制论、黎曼几何、复分析等领域.本文先给出凸函数的几种等价定义,然后列出重要的相关性质,最后给出在微分学、积分学、以及在证明不等式中应用. 1 凸函数的定义及其相互关系 定义1 设在区间I上有定义,在区间I称为是凸函数当且仅当:,有上式中“”改成“”则是严格凸函数的定义. 定义2 设在区间I上有定义, 在区间I称为是凸函数当且仅当:有 定义3 设在区间I上有定义, 在区间I称为是凸函数当且仅当:,有 定义4 在区间I上有定义,当且仅当曲线的切线恒保持在曲线以下,则成为凸函数.若除切点之外,切线严格保持在曲线下方,则称曲线为严格凸的. 引理1 定义2与定义3等价. 引理2 若连续,则定义1,2,3等价. 2 凸函数的性质 定理1 设在区间I上有定义,则以下条件等价(其中各不等式要求对任意, 保持成立): (i)在I上为凸函数 (1) (ii) (2) (iii) (3) (iv) (4) 推论1若在区间I上为凸函数,则I上任意三点,有. 推论2 若在区间I上的凸函数,则过的弦的斜率 是x的增函数(若为严格凸的,则严格增)是区间I上的凸函数,则I上任意四点stuv有. 推论4 若是区间I上的凸函数,则对I上的任一内点x,单侧导数皆存在,皆为增函数,且 这里表示的全体内点组成之集合.(若为严格凸的,则与为严格递增的). 证明 因为内点,故使得,从而(利用推论2),.再由推论2所述,当递增时,也递增.故由单调有界原理知,如下极限存在且(x)= .同理,在此式中,令时,可知存在,且.最后由推论3中的不等式重新取相应的极限,可知与皆为增函数. 推论5 若在区间I上为凸的,则在任一内点上连续. 事实上由推论4知与存在,所以在处左右都连续. 定理2 设函数在区间上有定义,则为凸函数的充要条件是:,使得,有 . 证明(必要性)因为凸函数,由上面的推论4知, 存在且. 由此任取一则时有.因,所以对任一:恒有. (充分性)设是区间I上的任意三点,由已知条件,由此令和,可以得到,由定理1可知为凸的. 定理3 设在区间I上有导数,则在I上为凸函数的充要条件是递增. 证明 (充分性),不妨设及记,则,或 (1) 由于 (1)式等价于 (2) 应用定理,使得 , 但, . 故(2)式左端= 按已知条件递增,得知,从而上式0,(2)式获证. (必要性)由定理1的推论4,在内为递增的,因存在,故亦在内为递增的,若I有右端点b,按照已知条件f在b点有左导数,易知: 同理,若I有左端点a,则即在I上为递增的. 推论 若在区间I上有二阶导数,则在I上为凸函数的充要条件是: 定理4 (不等式)若为上的凸函数,则 , ,有. 证明 应用数学归纳法.当时,由定义1命题显然成立.设时命题成立,即对任何 与都有 现设及(i=1,2,…k+1),. 令i=1,2,…,k,则.由数学归纳法假设可推得 = = 即对任

您可能关注的文档

文档评论(0)

wuyuetian + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档