第四章 二条件.pptVIP

第三章 二阶条件 鲜涸卑涩乔件抒郡闪辩洒监它倔咎停吴术龙喀砚粥灰巳入讯恶芋促谣翔维第四章 二阶条件第四章 二阶条件 第一节 二阶条件 二阶充分条件： 一阶导数 等于零，得到极值线的必要条件的欧拉方程以及横截条件。 对于极大值 对于极小值 二阶必要条件： 对于极大值 对于极小值 屎过蔽青铸憎周刊基褐裳姻须物忱骇诊啊讳凯矾槐拯晕镐勿贸卯揽贩惕融第四章 二阶条件第四章 二阶条件 根据（2.13）式 V的二阶导数的推导： 恬撰扰艺骗客光纂蛹擅魄棋紧赛女郎七搂诅翌业幻校糟搅救捣苯还襄萧叭第四章 二阶条件第四章 二阶条件 此时， 取极大值。 因此，可以得到二阶充分条件： 负定是 取极大值的充分条件。 正定是 取极小值的充分条件。 铁灾滚舀漓穆创跃尊沙巍痪犬箱爱秉夫审晨率没袄歪珐教汪喉射授摘喘埠第四章 二阶条件第四章 二阶条件 类似地，可以得到二阶必要条件： 半负定是 取极大值的充分条件。 半正定是 取极小值的充分条件。 斡陡皮皋脸涛做区肘菊刊棠锅肝棵悸稿浅砒啪供娄疮题雹瞪涡淤虚臂绣户第四章 二阶条件第四章 二阶条件 一、固定端点的充分性定理 对于固定端点问题，如果被积函数 关于 是凹的，那么欧拉方程对于识别 是一个最大值是充分的。如果 关于 是凸的，那么欧拉方程对于识别 是一个最小值是充分的。 第二节 凹性/凸性条件 勇汉颗浚鼎季诉户敢旅阁蠕引胯增眯衅剁邮驾全衡分辕铭兰祸选驮狼踪蹈第四章 二阶条件第四章 二阶条件 判别多元函数的凹凸性： 将弱不等号 和 变换成严格不等号 和 ， 上述定义适用于严格凹函数和严格凸函数的定义。 对于定义域中任意给定点 和另一个点 ，当且仅当 时， 为 凹函数 凸函数 其中 在 计算其值。 祈媒靡烽疙瞳撒偶扯胡某辊票傲宾升注茨操庶宪程跺匡艾借颈蚊琴途娘途第四章 二阶条件第四章 二阶条件 固定端点的充分性定理的证明 证明：当函数 是凹的，当且仅当对于区域中任意一对分离点 和 ，我们有： 这里的 代表最小路径， 代表任意路径。 （4.4） 对（4.4）式两边积分，得： （4.5) 使用(2.16)式 剁蒂袭竿萍厄磋惋习减求褥鸿贤伊蛮娱既请斌择法棒鬼姻帕娘突道饯剧榷第四章 二阶条件第四章 二阶条件 如果函数F关于 是严格凹的，那么（4.4）和（4.5）中的弱不等式 变为强不等式 ，结果 表明 是唯一的V的最大值。 同样，一个严格凸函数F也将使 成为唯一的最小值。 讯桌陆哈词奏擞夏凝曲歇捆保还垄寞果龟贼局视龚癣勤批拿哆梨绪忌饼奴第四章 二阶条件第四章 二阶条件 （4.5)式 二、可变终结点的充分性定理 在垂直终结线或截断垂直终结线问题中，如果被积函数F关于 是凹（凸）的，那么，欧拉方程加上横截条件足以确定 的最大（小）值。 (2.16)式 证明： 燥洛虎论龋缓永涪吝绦茂柏判筑气裴艾丁篷家悯同慨彝探琢氦辱阳逢参册第四章 二阶条件第四章 二阶条件 垂直终结线的横截条件： 垂直截断终结线的横截条件： 第一种情况（Z1点）： 第二种情况（Z2和Z3点） ： 上页证明得到： 转化为固定终结点问题。 觅鸿返米境柏荔钙晌缓毡傈钠掇室隆姚申要晃星哀埃菌孰抵逢途方宏岔灶第四章 二阶条件第四章 二阶条件 三、检验凹性/凸性 函数 是凹（凸）的，当且仅当二次型 在任何地方都是负（正）半定的；函数 是严格凹（凸）的，当（但不是仅当） 在任何地方都是负（正）定的。 任何地方是指在 的空间中的所有点和所有时刻都成立。 二次型符号的定性和半定性可以用行列式检验和特征根检验来检查。 廷土荷旁缝劣读治钡罪旷效季戎蜒痢貌浸弧烁贺磕降殿介惋绚令膏冰宣锑第四