全国第七届初等数学研究学术交流会大会报告论文-国内学者对凸函数理论-.docVIP

全国第七届初等数学研究学术交流会大会报告论文 国内学者对凸函数理论的若干研究成果介绍 张小明1 石焕南2 1.浙江广播电视大学海宁学院 浙江海宁 314400 2．北京联合大学师范学院电气信息系, 北京, 100011 一、国内学者对凸函数的一些研究 一百多年来，凸函数及其推广是分析不等式研究中的一个热点，参考文献也难于统计.近十年来，国内对实的凸函数的研究也是很多的（不过其中的一部分是重复研究），主要学者有胡克、石焕南、王挽澜、祁锋、文家金、张小明、杨镇杭、王良成、吴善和、刘证、于永新、李世杰和于小平等.本文把其中的一部分列为参考文献，读者可从其中了解我国学者在此方面一些研究.下面我们仅介绍让初学者容易理解的一些结果. 1、凸函数和S-凸函数的定义及微分判别定理 我国现行分析教材中，凸（凹）函数的定义是比较混乱.但国际通用的为如下定义1. 定义1 设是上的凸集，，若任取，，有成立，则称为上的凸函数.当为凸函数时，称为凹函数. 定义2 设是上的凸集，，若任取，有成立，则称为上的中点凸函数.当为中点凸函数，称为中点凹函数. 从定义中可以看出，凸函数一定是中点凸函数，反之则不然，其实开区间内的可测的或有界的中点凸函数为凸函数.其实Jensen在1905年也是把定义2作为凸函数的定义. 定义3([4][5]) 设满足 (ⅰ) , (ⅱ) 则称被所控制, 记作. 其中是的分量的递减重排. 例1 设，，则的重排分别为和，且有 成立，所以. 定义 4([4][5]) 设 . 若在上, 则称为上的Schur凸函数，简称S-凸函数; 若是Ω上Schur凸函数, 则称为上Schur凹函数，简称S-凹函数. 定理A 设函数在开区间上一次可微，则在上为凸函数当且仅当在区间为单调增加． 定理B 设函数在开区间上二次可微，则在上为凸函数当且仅当对恒成立． 定理C 设为开凸集，在上二次可微，则在上为凸函数当且仅当在上半正定． 定理D 设集合是有内点的对称凸集，连续，且在中的内点都可微，则为S-凸函数的充分必要条件是在上对称且对的任意内点，都有 ． 2、关于凸函数的一些研究结果 定理1（[6]） 设为凸函数，数列，又为任一非负数列，定义.则为单调增加数列. 定理1推广了凸函数的Jensen不等式：.关于此类不等式的推广的研究在国外研究也很多，比如对于非凸函数但可微的函数，如何用或来表示的上下界；如何继续加细等等.这些研究较多地集中澳大利亚不等式研究小组的网站.au/RGMIA/issues.asp上. 定理2（[32]） 设是定义在上的一次齐次函数且两阶可微,则是严格凸的充要条件是:. 定理3（[32]） 设,是定义在上的正 次齐次函数且两阶可微,则严格凸的充要条件是. 定理4（[32]） 设,是上的0 次齐次函数且二阶可微,则为严格凸的充要条件是. 凸函数的Hadamard不等式（又称Hermite-Hadamard不等式）指的是 , 其中为区间，为凸函数，.若对于，.记 . 1990年,杨镇杭把凸函数的Hadamard不等式推广到幂平均的情形. 定理5（[26]） 设是上正的连续函数, 且在内二次可微, 若, , 则对任意的, 有 . 若对于，有, 则以上不等式反向. 这一结果后被孙明保推广到双参数情形. 定理6([25])　设是上正的连续函数,, 且在内导数 连续递增 , 则对任意有 , （2） 仅当为正的线性函数时等号成立.若在 内导数连续递减, 则(2)的不等号反向. 2003年, 杨镇杭进一步将凸函数的幂平均不等式和双参数平均不等式推广到非对称拟算术平均不等式, 得到了下列结果 定理7([24]) 设 （1）在上严格单调； （2）在上严格凸，且有一阶导数，； （3）在上恒正并可积． 则有 ， （3） 当时，不等式（3）右边被定义为 . 作为其特例, 还得到了对数凸函数（即为凸函数）的Hadamard不等式. 推论1([24]) 设为上的对数性凸函数，，有 ． 3、关于S-凸函数的一些研究结果 文[7]考虑了函数平均关于积分上下限的Schur凹凸性（定义见文献[4][5]），借助于Hadamard不等式，建立了如下重要的结果. 定理E（[7]）设为一区间，是上的连续函数, ， 则是上的Schur凸(凹)函数当且仅当是上的凸(凹)函数. 我们在[3][8]中把此结果加强为 定理8 设为一区间，是上的连续函数, ， 则是上的凸(凹)函数当且仅当是上的凸(凹)函数. 显然关于是连续的,文[10]证明了关于为单调增加的,[11]解决了对于关于的S-凸性问题.[12]试图研究对于确定的关于的S-凸性问题,得到一个结果.[13]指出定理B错