第7章函数的凸性·曲线的曲率内容摘要①凸函数函数的“凸性”概念最初来自曲线的弯曲方向
例如,曲线3xy(图1)在Oy轴左边是向下弯曲的(称为上凸),而在Oy轴右边是向上弯曲的(称为下凸)
虽然说“弯曲方向”或“凸性”这些名称是几何上的术语,但经过抽象后的凸函数理论在其它数学分支中也是很有用的
从图2中看出,向上弯曲(下凸)的曲线上任何两点的连线(弦)AB的中点C在弧AB的上方;而从图3中看出,向下弯曲(上凸)的曲线上任何两点的连线(弦)AB的中点C在弧AB的下方
根据上面几何上的启示,我们引入下面的定义:称连续函数)(xf在区间),(ba内为下凸(上凸)函数,假若对于),(ba内任意两点1x和2x,都有121212()()()()22xxfxfxfxx(※)【注1】在国内早期的一些教科书(包括翻译前苏联的一些教科书)中,都把下凸函数称为“凹函数”,而把上凸函数称为“凸函数”
这里的称呼与新近一些教科书或论文中的称呼是一致的
请读者注意到这些区别
【注2】还请读者注意,通常说“函数()fx在区间(,)ab内是下(上)凸函数”,若对于(,)ab内任意两点1x和2x12()xx与任意(0,1)t,都满足琴生(Jesen)不等式图2ABCDxyOx1(x1+x2)/2x2yABCD图3Ox1(x1+x2)/2x2x图13xyxyO1212()(1)()(1)()ftxtxtfxtfx它等价于不等式11221122()()()ftxtxtfxtfx(其中1t和2t为正数且121tt)显然,不等式(※)是琴生不等式的特殊情形
不过,对于连续函数来说,不等式(※)与琴生不等式是等价的
因此,我们就用简单的不等式(※)定义函数的凸性
关于连续函数情形下两者等价性的证明,有兴趣的读者可去看本网站上的专题选讲
【注3】若函数)(