凸函数的性质的讨论开题报告.docVIP

开题报告 凸函数的性质的讨论 一、选题的背景、意义（所选课题的历史背景、国内外研究现状和发展趋势） 凸函数是凸分析的重要研究对象，包括凸函数的基本性质、运算、连续性等。凸函数的研究结果已在许多领域得到了广泛应用，例如在不等式、泛函分析、最优理论、运筹学、控制论及数理经济等中。可以说，凸函数是一类非常重要的函数，在不等式中的研究尤为重要，而不等式最终归结为研究函数的特性，所以研究凸函数的性质就显得十分必要了。 凸性是一种几何性质，也是一种代数性质，函数的凸性是函数在区间上变化的整体性态，把握区间上的整体性态，不仅可以更加科学、准确的描绘函数的图像，而且有助于对函数的定性分析。常用的凸函数有两种，一种叫上凸函数，即曲线位于每一点切线的下方或曲线上任意两点间的弧度总在这两点连线上方的函数；另一种叫下凸函数，即曲线位于每一点切线的上方或曲线上任意两点间的弧度总在这两点连线下方的函数。 二、研究的基本内容与拟解决的主要问题 下面我们先给出凸函数的一些定义： 定义1 设为定义在区间上的函数，若对上任意两点和实数，总有 （1） 则称为上的凸函数。反之，则称为凹函数。 如上式中不等式改为严格不等式，则相应的函数称为严格凸函数或严格凹函数。 注1：容易证明，若为区间上的凸函数，则为区间上的凹函数，故只须讨论凸函数的性质即可。 下面给出凸函数的两个等价定义。 定义2 设在区间上有定义，，且，有 成立，则称为凸函数。 定义3 设在区间上有定义，，且，有 成立，则为上的凸函数。 为了从较高的起点来给出凸函数的定义，清晰地看出凸函数与凸性的联系，先给出凸集的两个定义。 定义4 某集合称为凸集，是指连接该集合中的任何两点的连接直线段上的点都在该集合中。 定义5 设是一个线性空间，为任意两点，称 为连接的闭线段。 定义6 设是一个线性空间，子集称为凸集，是指对及有 或 定义7 设为定义在中的开区间上的实值函数，这里满足。则下列集合 称为函数的上图。 定义8 如果函数的上图是凸集，则称为上的凸函数。 有了凸函数的定义，下面我们再给出它的一些性质： 性质1 若为凹函数且，，则为凸函数；反之不成立，即若为凸函数，不一定为凹函数。 证 根据假设，要证明为凸函数，只要证明，，有 （2） 事实上，因为凹函数，故有 （3） 所以 从而，要证明（2）只要证明 （4） 即可，注意到，可得（4）式显然成立，从而（2）式成立。这说明为凸函数。 另一方面，当为凸函数时，不一定为凹函数，例如，为凸函数，但仍为凸函数。 性质2 设为上的凸函数，则亦为凸函数。 证 若，或，则显然为凸函数。下面用凸函数的定义证明本定理。 只要证明：，，有 （5） 分三种情况讨论： （i）当时，因为凸函数，故 此时，因，则，故（5）式成立。 （ii）当时，若，则（5）式显然成立。若，则有 ， 从而（5）式成立。 （iii）当时，令，从而有。由凸函数的性质5、性质6及介值定理得，存在使 ，； （6） 而 ， （7） 当时，（5）式显然成立，当时， 所以 此时（5）式显然成立，这样无论哪种情况（5）式都成立，从而为凸函数。 性质3 若在区间 ，对，则： ①时，在区间上为凸函数； ②时，在区间上为凹函数。 性质4 若在区间上为凸函数，对,则： ① 时，为上的凸函数； ② 时，为上的凹函数。 注2：性质4中有一个不为零时，即为性质3。 性质5 设为上的凸函数，则也是凸函数。 证 利用凸函数的定义，设，，则，有 从而 即是凸函数。 性质6 设与都是上的非负单调递增的凸函数，则也是上的凸函数。 证 对且，因与在上单调递增。故 即 （8） 又因与为上的凸函数，故 ， 而, ,将上面两个不等式相乘,可得 再由（8）知 由凸函数的定义知，是上的凸函数。 注3：（1）非负不能少。例如，，，均为凸函数，但，显然不是凸函数，原因是为负。 （2）单调递增不能少。例如，，在上是非负凸函数，但，不是上的凸函数，原因是是单调递减的。 性质7 设是单调递增的凸函数，是凸函数，则复合函数也是凸函数。 证 因是单调递增的凸函数和是凸函数，得，，，故，所以是凸函数。 三、研究的方法与技术路线、研究难点，预期达到的目标 研究的方法