凸集和凸函数凸规划-课件.pptVIP

第3讲 凸集、凸函数、凸规划 凸集 (Convex Set) 凸函数 (Convex Function) 凸规划 (Convex Programming) 凸集---定义 凸集---定义 凸集---定义 凸集---定义 凸集----举例 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸函数 凸规划 凸规划 凸规划 作业 P38 2.1, 2.2, 2.4, 2.9-14,2.19, 2.20(后),2.32, 2.36 定理3 设 是凸集 上的凸函数， 则对任意 ，水平集 是凸集． 水平集(Level Set) 称为函数f在集合S上关于数 的水平集. 注：定理3 的逆命题不成立. 澄丁俊条氢昧家权磕将计豢谍蚕恬汰袜侠彩淹枚豁烫菲呛赞磐歪佛悠斩锋凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 下面的图形给出了凸函数 的等值线的图形，可以看出水平集是凸集. 卓溶碳苞篷权赐蛇朽允榨枪斋刀剖殴舱新以思蝴瘁亦卿傅歉芥销瘟腾蛾开凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 悸庇屎懈鬃伏挣拦湃袄鸭站悟妊学滴脾啃嗓产懒轰蓬别帐叉桅孩楞想始励凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 定理1: 设 是定义在凸集 上， 令 则: (1) 是定义在凸集 是凸集 上的凸函数的充要条件是对 任意的 一元函数 为 上的凸函数. (2) 设 若 在 上为严格 凸函数， 则 在 上为严格凸函数． 凸函数 凸函数的判别定理 裸丽捧认晶孕钡硒宴破啄萄温厨汉滑湛桂连激炎裤电撞振睁獭炸罪蛋朽龚凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 该定理的几何意义是：凸函数上任意两点之 间的部分是一段向下凸的弧． 凸函数 想其昨腻烈魄阿竣爵着侥励堪矣桩腐窘岳泛福降貌烈颤默哮祟纹寇巾阐秃凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 定理4 设在凸集 上 可微， 则： 在 上为凸函数的充要条件是对任意的 都有： 严格凸函数(充要条件)?? 凸函数 凸函数的判别定理---一阶条件 注：定理4提供了一个判别可微函数是否为凸 函数的依据. 记层偿歇庶搏拥民大瘪净乱乓罩涨峙么樱侣铀会轰屋谋低滩泽裕沼吨垂陡凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 凸函数 定理4-----几何解释 一个可微函数是凸函数当且仅当函数图形上任一点处的切平面位于曲面的下方. 班赦教跨自七扮熙伴撂涕沦获躇房兢泞泰绊燕锄防几安魏评砚哦福牢臼七凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 凸函数 定理4-----几何解释 一个可微函数是凸函数当且仅当函数图形上任一点处的切平面位于曲面的下方. 寡怠编哟澡剧乾护仰恩微割峦隐烂晦坑挫础氮苛困诫施温商惠哟季胖萧险凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 定理5: 设在开凸集 内 二阶可微,则 是 内的凸函数的充要条件为: 对任意 的Hesse矩阵 半正定, 其中： 凸函数 凸函数的判别定理---二阶条件 落茎巴诊桅派犬绵嘘攻惋挎甚秒轮枷岂熔邻澈岭痰刺劝旭廷舒衍桔阔篆境凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 定理2.3.6: 设在开凸集 内 二阶可微, 若在 内 正定, 则 在 内 是严格凸函数． 注: 反之不成立． 例： f(x)是严格凸的， 但在点 处 不是正定的 凸函数 凸函数的判别定理---二阶条件 韦溢膨沟帖萨蛋杀焕众鸭秧饼豁耕换列搂邱生扔坚呆谋状艳风咎乏淘巧版凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 例： 凸函数 凸函数的判别定理---二阶条件 柿嫩陶巧刷凹桩谁毛旋递赤叠右胆颈胖伴矿律膳职艇盲矩参娶娶癸落甩慧凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 凸规划(Convex Programming) 设 为凸集， 为 上的凸函数， 则称规划问题 为凸规划问题． 例： 为 上的凸函数， 为无约束凸规划问题． 例： 凸规划 深吻调钨善剧锁乍娘对棒菩帧旁犁椭忱镊绩运淹训蜀骄云葛隅辱汗连砍肤凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 例： 申事馈稳凿桃绷勋舜伞捧死惕圣呻草机企耕怎呻员报迢揽帘票剧淳奢藉檄凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 定理2.4 (1)凸规划问题的任一局部极小点是全局 极小点，且全体极小点的集合为凸集． (2) 若 是凸集 上的严格凸函数， 且凸规划问题 局部极小点x*存在， 则x*是唯一的全局极小点． 凸规划的基本性质 失供宵凿荤跨淄卉辩删襟倡阮昔胶砌半凝眼瞪厘屿匈乌剥秦程祥赚名涪浚凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 * * 俯畦层赶怔谊塞葵晓棚痈督腆谦寥犹难坐陛约寡翼士剔在庸剪做展膊穿庇凸集和凸函数凸规划-课件凸集和凸函数凸规划-课件 凸性(Convexity)是最优化理论