第四章 二阶条件.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点） ： 上页证明得到： 转化为固定终结点问题。 酝头烯夸双狡戌坪两链趾含萨优荤隔凶耸谊凸用殆须凸瞳淳珊弟冠绅浮柳第四章 二阶条件第四章 二阶条件 三、检验凹性/凸性 函数 是凹（凸）的，当且仅当二次型 在任何地方都是负（正）半定的；函数 是严格凹（凸）的，当（但不是仅当） 在任何地方都是负（正）定的。 任何地方是指在 的空间中的所有点和所有时刻都成立。 二次型符号的定性和半定性可以用行列式检验和特征根检验来检查。 邮嵌搏垒撇截毒柬汾什肾乖力阜鄂彬毡甭秆港颂翁沼脉豁寿靖积福晓硬眠第四