浅谈函数的凹凸性与泛函分析中重要不等式的证明.docVIP

学 年 论 文 题目：浅谈函数的凹凸性与泛函分析中重要不等式的证明 姓 名 所在学院 专业班级 学 号 指导教师 日 期  浅谈函数的凹凸性与泛函分析中重要不等式的证明 摘要：本文从函数的凹凸性质出发，推证了几个在泛函分析中应用特别广泛的不等式. 关键词：凹凸性 泛函分析 不等式 证明 函数在数学的学习中占有重要的地位，其精髓在于利用函数的性质讨论和解决实际问题，函数的凹凸性就是函数的一种特殊性质，利用此性质我们可以证明一些较为复杂的不等式，同时可以降低证明的难度。在学习泛函分析过程中，我们遇到了几个特别复杂的不等式，而且应用特别广泛，本文试用凸函数方法推证之。 凹凸函数的定义与性质 定义 设是在区间上有定义的连续的函数，如果对中的任意两点与和非负实数与，且 ，成立不等式 . （1） 则称函数区间上的凸函数；反之若有 . （2） 则称函数区间上的凹函数。 注：若将（1）式中的“”改为“”,则称函数区间上的严格凸函数； 若将（2）式中的“”改为“”,则称函数区间上的严格凹函数. 显然，若是凸（凹）的，则是凹（凸）的，这一说明可使我们在许多情下只讨论凸函数就够了. 1.2 几何图像上的直观反映 （图1.2a） （图1.2b） 图1.2a就是凸函数的几何形状；图1.2b是凹函数的几何形状. 性质 性质1 ：若为凸函数，则有： . （3） 若为凹函数，则有： . （4） 很显然，我们分别在（1），（2）式中令，就可得到上述性质。 性质2：若为凸函数，则如下不等式成立 （5） 此不等式被称为詹森不等式。 依照凸函数定义[参看（1）式]，显然（5）式是（1）的更一般情形，我们用数学归纳法即可证明，由于现行的数学分析教材中都有其（5）式的证明，在此省略证明。 凹凸函数的判定定理 引理：为区间上的凸函数的充要条件是：对于，若，总有 . （6） 此引理在书目[1]中有详细的证明，在此不予重复。 定理1：设是区间上的可导函数，为凸函数的充要条件是：对于 ，若，有 . 证明：必要性 假定是凸的，对于，设，由（6）式得： . （7） 令趋向于或并且求极限，我们将分别得到 和 . 由此得 . 充分性 假定后面的条件被满足即是常增的，为了证明（7）式成立，我们对它两边应用有限增量公式，即 ， . 其中，由于依照假定，则（7）式成立，有引理得是凸的. 定理2：设为区间上的二阶可导函数，则为凸（凹）函数的充要条件是 （），. 证明略。 特别指出：如果指的是狭义（严格）的凹凸性，那么把等号出去即可。 利用函数凹凸性质证明泛函分析中的重要不等式 例1 ：证明不等式： 证明：令由于，则在区间上为凹函数，直线的方程为 . 取 则 如取 由（4）式得 . 即 又因为在定义域上为严格增函数，所以有 . 特别的，此不等式在泛函分析一些证明中经常用到，有时也会用它的积分形式： . 例2： 不等式 设 ，若 则 证明：设由于，故在区间上是凸的； 令 . 由性质2得，詹森不等式成立： . （8） 对于，令. 代入（8）式得 . （9） 把（9）式代入中可得 . 即： . 将换成，换成 可得 . 令 得 . （10） 证毕. 注意：在（10）式中，令 得 . 这就是我们在数学分析中学的柯西不等式。 其实（10）式是不等式的离散形式，运用很广，好多复杂不等式就是通过它得到的；在泛函分析中我们通常用到它的积分（范数）形式来讨论和研究问题。不等式的积分形式为： 设，，，则有： . 设，证明下列不等式： （1）当