一、函数的凹凸性
考察抛物线 的图像,如图1.1所示,它有一个明显的特征:对于图像上任意两点
,可以连成一条弦
,而
与
之间的曲线可以看成一条弧.显然,弧上所有的点都在相对应的弦的下面.严格地说,对任意
,横坐标为
的点所对应弧上点
之纵坐标小于弦上点
之纵坐标,即
但
若令
则有 且
,于是以上不等式可以写成
具有以上特征的函数,我们通常称为下凸函数。
对于一般的 来说,图像既可能上凸亦可能下凸,下面给出函数凹凸性质的严格定义
定义1(下凸函数) 若函数 是定义在
的单变量函数.称
为
上的上凸函数,当且仅当对任意的
以及
,总有
若不等号取不了等,则我们称之为严格上凸。
定义2(上凸函数) 若函数 是定义在
的单变量函数.称
为
上的上凸函数,当且仅当对任意的
以及
,总有
若不等号取不了等,则我们称之为严格下凸
定理1(函数凸性的判定)若函数 是定义在
的实函数.对任意的
,
,则
为
上的下(上)凸函数。
因为上凸和下凸证明类似,下面仅对下凸函数作出证明。
:我们将证明对任意的
以及
,总有
事实上,假设 是常数,定义
![b4186f270a43c6587e1809553490b4b3.png](https://img-blog.csdnimg.cn/img_convert/b4186f270a43c6587e1809553490b4b3.png)
对 求导,
![cfe1a61b9ca1ad0c9bc544e3715b0402.png](https://img-blog.csdnimg.cn/img_convert/cfe1a61b9ca1ad0c9bc544e3715b0402.png)
注意到 ,则
是
上的增函数,于是,当
时,
;当
时,
;总而言之,我们有
![72ece39e4dd6518c753e23574c556224.png](https://img-blog.csdnimg.cn/img_convert/72ece39e4dd6518c753e23574c556224.png)
练习题
问题1:证明:函数 在
上是上(下)凸函数的充分必要条件是:对任意的
,和任意的
有
成立
问题2:函数 在
上是上(下)凸函数,当且仅当对任意三点
有
问题3:函数 在
上是上(下)凸函数,当且仅当对任意三点
有
事实上,问题2是问题3的变形,问题2和问题3我们称之为 判定定理。
二、
不等式
定理2.1() 若函数
是
的下凸函数,则对所有
,有
若是上凸函数,则不等号反向
定理2.2(加权 ) 函数
是
的下凸函数,
则对所有
,有
![289b1e06741343f44381d4f82d0391d0.png](https://img-blog.csdnimg.cn/img_convert/289b1e06741343f44381d4f82d0391d0.png)
若 是上凸,则
![bab4796e7dfc75e7f9edd40d5d1d5308.png](https://img-blog.csdnimg.cn/img_convert/bab4796e7dfc75e7f9edd40d5d1d5308.png)
例1(IMO,2001) 设 是正实数,证明:
![f51fd998dd4d7cbd5ea27a82749e5200.png](https://img-blog.csdnimg.cn/img_convert/f51fd998dd4d7cbd5ea27a82749e5200.png)
1(使用加权
不等式):注意到不等式是齐次的,因此我们可以在不失一般性的情况下进行假设,
,定义函数
,因为
,所以有
![2eae231439019d72eb9e1a77ad13c0f5.png](https://img-blog.csdnimg.cn/img_convert/2eae231439019d72eb9e1a77ad13c0f5.png)
又由
![1727f66dcf350d4d52316a080de84604.png](https://img-blog.csdnimg.cn/img_convert/1727f66dcf350d4d52316a080de84604.png)
即原不等式成立 □
2(使用
不等式):注意到我们可以将左式改写成:
![9a0ad6e469e6aadbd2f11e7e369f7d69.png](https://img-blog.csdnimg.cn/img_convert/9a0ad6e469e6aadbd2f11e7e369f7d69.png)
定义函数 ,显然是上凸,则
![3be1d1847ddc0ef666c30aca40893c81.png](https://img-blog.csdnimg.cn/img_convert/3be1d1847ddc0ef666c30aca40893c81.png)
例2(幂平均单调不等式) 对实数 和正实数
,若
,则
不等式
可改写成
定义函数 , 应用
不等式,即
□
练习题
问题1 在任意三角形 中,证明:
问题2 设 ,证明:
![8dace7371147b13d5650b513d24f720e.png](https://img-blog.csdnimg.cn/img_convert/8dace7371147b13d5650b513d24f720e.png)
问题3
![da69c75215cbc77a1979581d7b2cb0c8.png](https://img-blog.csdnimg.cn/img_convert/da69c75215cbc77a1979581d7b2cb0c8.png)
三,
不等式
定理( )三元 若函数
是
的下凸函数,则对所有
,有
![0ff720c3ff7098b07d3d2a37ef75bb48.png](https://img-blog.csdnimg.cn/img_convert/0ff720c3ff7098b07d3d2a37ef75bb48.png)
定理( ) 一般形式 若函数
是
的下凸函数,则对所有
,有
![119e58bd768fb04dacda1672c31af348.png](https://img-blog.csdnimg.cn/img_convert/119e58bd768fb04dacda1672c31af348.png)
例1 设 是三个正实数,且满足
,试找到最大的实数
使得
设
,由
不等式,我们有
所以我们有
即
练习题
问题1(AoPS)设 ,证明
问题2
![36dc2827e2a946990639b6869d5b2777.png](https://img-blog.csdnimg.cn/img_convert/36dc2827e2a946990639b6869d5b2777.png)
四,优超(控制)与
不等式
定义(优超) 设向量 表示
中分量的递减重排,若对于
,有
则称 优超
,记为
https://mathworld.wolfram.com/Majorization.htmlmathworld.wolfram.com
定理( ) 若序列
,且
为下凸函数,则
(上凸则不等号反向)
例1(APMO,1996) 若 是三角形的三条边,求证:
![5a0a0cf3a4df70bd1ca0dc58ec6e5d14.png](https://img-blog.csdnimg.cn/img_convert/5a0a0cf3a4df70bd1ca0dc58ec6e5d14.png)
不妨假设
,定义函数
注意到
由
不等式即证。
例2 证明:
![368411d7bb4eb304ba380a065e6cae0a.png](https://img-blog.csdnimg.cn/img_convert/368411d7bb4eb304ba380a065e6cae0a.png)
原不等式等价于
![4c60e388d06c92b7af5c7247601076e2.png](https://img-blog.csdnimg.cn/img_convert/4c60e388d06c92b7af5c7247601076e2.png)
不妨假设 ,
。因为
![f495b2da3d56b5a65cf6f790baac806b.png](https://img-blog.csdnimg.cn/img_convert/f495b2da3d56b5a65cf6f790baac806b.png)
由 不等式,即证
练习题
问题1 若非负实数 满足
,求
的最小值
问题2&3 在非钝角三角形ABC中,求证
1)
2)