第四章 二阶条件[精选].ppt

第三章 二阶条件 第一节 二阶条件 二阶充分条件： 一阶导数 等于零，得到极值线的必要条件的欧拉方程以及横截条件。 对于极大值 对于极小值 二阶必要条件： 对于极大值 对于极小值 根据（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点） ： 上页证明得到： 转化为固定终结点问题。 三、检验凹性/凸性 函数 是凹（凸）的，当且仅当二次型 在任何地方都是负（正）半定的；函数 是严格凹（凸）的，当（但不是仅当） 在任何地方都是负（正）定的。 任何地方是指在 的空间中的所有点和所有时刻都成立。 二次型符号的定性和半定性可以用行列式检验和特征根检验来检查。 二次型符号定性的行列式检验 二次型 的行列式: q的负定性 它的主子式： q的正定性 是严格凹的 是严格凸的 （4.7） 二次型符号半定性的行列式检验 二次型 的行列式: q的负半定性 它们的主子式： q的正半定性 是凹的 是凸的 通称为 通称为 二次型符号定性的特征根检验 二次型 的特征方程: q的负定性 q的正定性 是严格凹的 是严格凸的 由（4.7） 求解特征方程的特征根 和 。 q的负半定性 q的正半定性 是凹的 是凸的 用两种方法来检验 的凹性/凸性。 例1 如果目标泛函的被积函数是 欧拉方程对于最大化或最小化是充分的吗？ 第一种方法：符号（半）定性的行列式检验。 和 一阶导数： 二阶导数： 符号定性检验： 二次型q不是正定的。 二次型q是半正定的。 即 第三节 勒让德必要条件 最大化 对于所有 最小化 对于所有 根据 勒让德必要条