凸函数凸规划.pptVIP

凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸规划 凸规划 凸规划 * * 凸函数(Convex Function) ----定义2.3.1 设 是非空凸集， 若对任意的 及任意的 都有： 则称函数 为 上的凸函数． 定义 严格凸函数 注： 将上述定义中的不等式反向，可以得到 凹函数的定义． 对一元函数 在几何上 表示连接 的线段． 所以一元凸函数表示连接函数图形上任意两点 的线段总是位于曲线弧的上方． 几何性质 表示在点 处的 函数值． f 例： 设 试证明 在 上是严格凸函数． 证明: 设 且 都有： 因此, 在 上是严格凸函数． 例： 试证线性函数是 上的凸函数． 证明: 设 则 故, 是凸函数． 类似可以证明 是凹函数． 定理2.3.1 设 是凸集 上的凸函数， 性质 定理2.3.2 性质 定理2.3.3 设 是凸集 上的凸函数， 则对任意 ，水平集 是凸集． 水平集(Level Set) 称为函数f在集合S上关于数 的水平集. 注：定理2.3.3 的逆命题不成立. 下面的图形给出了凸函数 的等值线的图形，可以看出水平集是凸集. 定理1: 设 是定义在凸集 上， 令 则: (1) 是定义在凸集 是凸集 上的凸函数的充要条件是对 任意的 一元函数 为 上的凸函数. (2) 设 若 在 上为严格 凸函数， 则 在 上为严格凸函数． 凸函数 凸函数的判别定理 该定理的几何意义是：凸函数上任意两点之 间的部分是一段向下凸的弧． 凸函数 定理2.3.4 设在凸集 上 可微， 则： 在 上为凸函数的充要条件是对任意的 都有： 严格凸函数(充要条件)?? 凸函数 凸函数的判别定理---一阶条件 注：定理2.3.4提供了一个判别可微函数是否为凸 函数的依据. 凸函数 定理2.3.4-----几何解释 一个可微函数是凸函数当且仅当函数图形上任一点处的切平面位于曲面的下方. 凸函数 定理2.3.4-----几何解释 一个可微函数是凸函数当且仅当函数图形上任一点处的切平面位于曲面的下方. 定理2.3.5: 设在开凸集 内 二阶可微,则 是 内的凸函数的充要条件为: 对任意 的Hesse矩阵 半正定, 其中： 凸函数 凸函数的判别定理---二阶条件 定理2.3.6: 设在开凸集 内 二阶可微, 若在 内 正定, 则 在 内 是严格凸函数． 注: 反之不成立． 例： f(x)是严格凸的， 但在点 处 不是正定的 凸函数 凸函数的判别定理---二阶条件 例： 凸函数 凸函数的判别定理---二阶条件 凸规划(Convex Programming) 设 为凸集， 为 上的凸函数， 则称规划问题 为凸规划问题． 例： 为 上的凸函数， 为无约束凸规划问题． 例： 凸规划 例：