函数凸性定义的等价性及其判别方法研究.docVIP

函数凸性定义的等价性及其判别方法研究 吴文虎 (陕理工数学与计算科学学院数学与应用数学 092班，陕西 汉中 723000) 指导教师：雍龙泉 【摘要】凸分析是数学中相对年轻的一个分支。凸函数作为凸分析的主要研究对象，在凸分析中占有重要地位，其定义、性质经常作为解决数学规划论、对策论、数理经济学、逼近论、变分学、最优控制理论这些方面的问题的工具被加以使用。本文深入地讨论了凸函数的几种不同定义的等价性,判别方法及凸函数的应用。首先给出了凸函数的六个不同方式的定义。然后探究出定义之间的关系，得出定义的等价性，在前三个定义中下（上）凸函数的本质是连接函数图形上任意两点的线段，处处都不在函数图形的下方（或上方）。后三个定义中下（上）凸函数的本质是左差商不大于(不小于)右差商，左右差商当自变量差分减小时是不减（不增） 1、引言 凸分析，或称凸集和凸函数理论，是数学中相对年轻的一个分支，在本世纪三十年代才出现比较系统的研究凸集的著作，40至50年代，特别是在优化领域发现了凸集的许多应用以后，更进一步促进了这一理论的发展，随着数学规划论、对策论、数理经济学、逼近论、变分学、最优控制理论等学科发展的需要，凸分析日益受到大家的重视，60年代后期出现凸分析的奠基之作，即R.T.Rockafellar的“Convex Analysis”,无穷维空间中凸分析的理论在这一时期也得到了充分的发展，到现在，凸分析已经成了解决数学规划论、对策论、数理经济学、逼近论、变分学、最优控制理论这方面问题的主要手段。 凸分析包括凸集、凸函数、凸锥、赋范空间的凸性、正解理论等方面的内容，其基本研究对象是凸集和凸函数，基本工具是凸集分离定理，而这些概念和定理都可以纯代数的研究，即在一个不引入拓扑的线性空间中来研究。因此就凸分析的基本内容而言，凸分析完全可表达为“凸代数”。凸函数作为凸分析的基本研究对象，在凸分析中占有重要地位，其定义、性质经常作为解决数学规划论、对策论、数理经济学、逼近论、变分学、最优控制理论这些方面的问题的工具在凸分析的研究中具有十分重要的意义。 我们知道，凸函数分为上凸函数和下凸函数。本文侧重讨论的是下凸函数的等价定义、判定定理，然后粗略的介绍了凸函数的运算及其应用。由于上凸函数和下凸函数在定义这个最基本的内容上是平行的，那么很显然他们在定理，运算这些方面的内容也是平行的。所以本文不详细讨论其证明等方面的内容。 关于下凸函数的定义通常做如下定义:如果在区间内的函数满足，，，那么称为内的下凸函数。下凸函数的定义有很多不同的方式，而这些不同的定义是否完全等价是人们必须弄清的问题，我们发现下凸函数的六种不同定义方式是完全等价的，而且找到了三来判定函数凸性。本通过对这些定义和定理详细的讨论之后就可以很清晰的判断一个函数是否为凸函数。最后运用凸函数的相关结论在不等式的证明，验证级数收敛性这两方面举例说明其应用。 则为内的下凸函数。 定义2.5 若函数在上满足： 则为内的下凸函数。 定义 2.6 对上的函数，设 如果作为的函数在上是不减的，则为内的下凸函数。 注意： 如无特别说明，本文中的开区间其取值范围均为，而的取值范围为：。 3、凸函数六种定义之间的关系 要确定定义之间的关系，则需要证明出其是否能互相推导，即是否是等价的定义，下面我们来一次推导以上六种定义之间的关系。 定义2.1定义2.2 证明 当时，定义2.2显然成立，为验证其一般性，假设对于时成立，现证明当n=k+1时式子也成立，不妨假设任取非负数满足并取。 令 由于由归纳假设有 ： 考虑到再由定义 2.1，得： 从而当时式子成立，根据数学归纳法，定义2.2得证。 定义2.2定义2.3 证明 在定义 2.2 中， 令 立即可得 ： 所以定义 2.3 得证。 定义2.3定义2.1 分析 为能证明定义 2.1 首先要证明由定义 2.3 可以得到 （2.1） 证明 利用数学归纳法，即第一步 证明式（2.1）对于自然数的某个子序列成立（即当时成立）；第二步 证明式（2.1）当时成立，那么必然对成立。 1. 由定义2.3可知式（2.1）当时成立，现证时式（2.1）也成立。 由上可得当时式（2.1）成立，一般来说，对任一自然数重复上面方法，都可得到 以上说明式（2.1）对于一切皆成立。 2.证明式（2.1）当成立时，那么必然时也成立。 设 =， 则 = = 不等式两边同乘以，减去，最后除以得 由上得式（2.1）对成立， 即 成立。 定义2.2定义2.1 证明 设 = = 综上所述定义 2.1 得证。 下面我们只需要证明2.12.42.52.62.1，即可证明下面三种定义定价而且以上关于凸函数的六种定义是等价的。 定义2.12.4