对函数几何凸性若干问题的理论研究.docVIP

对函数几何凸性若干问题的理论研究 李世杰 （衢州市教育局教研室，浙江 324002） 摘 要：介绍了函数几何凸性的几种判别方法，得到了几何凹函数之和的一个 “凸”性，证明了几何凸性函数的几个生成定理，并给出了一元高次多项式函数几何凸性的几个结论，最后给出几何凸函数定义的推广或类似，供进一步研究之用. 关 键 词：凸(凹)函数；函数几何凸性；一元高次多项式函数；判别；生成定理；推广 中图分类号：0178.1 文献标识码：A 文章编号：1671－2250（2005） 收 稿 日 期：2004－11－22 作 者 简 介：李世杰，浙江省衢州市教育局教研室高级教师. 从2003年开始，几何凸函数逐渐成为国内不等式研究的热点之一，国内外数学工作者在这方面已取得了不少原创性的研究成果，为不等式的理论发展提供了一个新的研究平台. 为论述方便，先引入几何凸函数的定义： 定义：设是定义在D上的正值函数，且对xi∈D（i=1，2），都有 ()≤ （1） 则称是D上的几何凸函数；如果（1）中不等号反向，则称是D上的几何凹函数. D 为几何凸集是指：D，且对xi∈D（i=1，2），都有∈D. 显然几何凸(凹)函数必须定义在几何凸集上，原因是定义中“对xi∈D（i=1，2），式(1)都有意义”隐含着∈D. 1 关于函数几何凸性的几个问题 1．1 函数几何凸性的判别问题 在文献[1]中，已归纳出判断一个函数几何凸性的一般步骤： (1)由先求出x的有可能成为几何凸(凹)函数的定义区间D； (2) 判别函数在定义区间D内的几何凸性：直接用几何凸函数定义，或文献[2]中证明的如下的微分判别法 设为二阶可导，函数几何凸性的微分判别式为 T= 则由T≥0（或≤0），可确定所给函数为几何凸(或凹)函数. 为后面应用方便，下面举几个几何凸(凹)函数的例子. 例1 设函数定义在上，a为正常数，则当时，函数为几何凸函数；当时，函数为几何凹函数. 证 当时，任取有 所以为几何凸函数；当时，同理可证函数为几何凹函数. 例2 设则函数在上是几何凹函数. 证 对，()≥ ，结论显然成立. 类似地可证： 函数，是几何凸函数，函数，是几何凹函数. 例3 设，则是上的几何凹函数. 证 由于时，，函数几何凸性的微分判别式为 T= 设，则 所以，T≤0，故是上的几何凹函数. 类似可证，当时，是几何凸函数. 1．2 几何凸(凹)函数之“和积商”的几何凸性 性质1 都是D上的几何凸函数，则是D上的几何凸函数. 证 对， 有()≤ ， ，利用Cauchy不等式，得，故是D上的几何凸函数. 两个几何凹函数之和的情况要复杂的多，其结果可能是几何凹函数，也可能是几何凸函数，也可能不再具有几何凸性: 由例2结论，在上都是几何凹的，在 上还是几何凹的； 2）用微分判别法容易证明：在上是几何凹的（微分判别式T=），但在上却是几何凸的. 性质2 是D上的几何凸（或凹）函数，则是D上的几何凸（或凹）函数，是D上的几何凹（或凸）函数. 用定义容易证明（略）. 例4 判断函数的几何凸性. 解 易证当时，与分别为几何凸函数和几何凹函数，根据性质2，知所给函数为几何凸函数. 几何凸(凹)函数的差、复合函数和反函数的几何凸性，文献[3]中已报道，这里不再讨论. 1．3 既是几何凸的又是几何凹的连续函数的解析式是唯一的 必形如：，这由微分判别法中T=0可证(略)，但其个数有无数多个（由的不同取法决定）. 1．4 几何凹函数之和的奇妙“凸”性 无穷多个几何凹函数之和可为几何凸函数，一个经典的例子为 当时 　　　　　　　　　　　　　　　　　（２） 由于，由例1结论，（２）式左边均为几何凹函数，而由例3结论，也是几何凹函数，因此，（２）式右边是几何凸函数. 于是，（２）式左边为无穷多个几何凹函数之和，等于（右边的）几何凸函数，令人感到不可思议！ 这里将换成，由于，结论不变. 二、几何凸性函数的生成定理 2.1 由凸函数生成几何凸函数 定理1 设是D上的凸(或凹)函数(即对任意的都有)，则是实数集上的几何凸(或凹)函数. 证 只给出是D上的凸函数时候的证明.由得，故对任意的 ) 所以是D上的几何凸函数，等价于是实数集上的几何凸函数. 由定理1中结论，似乎几何凸函数的所有性质均可由凸函数的性质导出.其实不然，它与凸函数不同的地方，从定义看，凸函数是以 “和”的形式定义的，而几何凸函数是以“积”的形式定义的，尽管定义等价，但结论并不完全相对应. (1)加权系数中含有变量的凸函数中不等式，是不能平推为几何凸函数的不等式的.如凸函数的下列不等式: