第四章 最优化问题的其他主题.pptVIP

所以 表示为： 库恩-塔克充分性定理的证明（续） 因为 根据库恩-塔克条件，得： 又因为 所以得到 ，即点 是极大值。 二、阿罗-恩索文充分性定理：拟凹规划 (b)在非负正交规划体中每个约束函数 可微且为拟凸函数； (c)点 满足库恩-塔克极大化条件。 那么， 为 的整体极大值点。 (d)满足下列诸条件中任意一个： 给定非线性规划： (a)在非负正交规划体中 可微且为拟凹函数； (d-i)至少对某个变量 有 。 (d-ii)对某个可取正值而不违背约束的变量 有 。 (d-iii)n个导数 不全为零，函数 在 的邻域内二阶可微。 (d-iv)函数 为凹函数。 二、阿罗-恩索文充分性定理：拟凹规划 (b)在非负正交规划体中每个约束函数 可微且为拟凹函数； (c)点 满足库恩-塔克极小化条件。 那么， 为 的整体极小值点。 (d)满足下列诸条件中任意一个： 给定非线性规划： (a)在非负正交规划体中 可微且为拟凸函数； (d-i)至少对某个变量 有 。 (d-ii)对某个可取正值而不违背约束的变量 有 。 (d-iii)n个导数 不全为零，函数 在 的邻域内二阶可微。 (d-iv)函数 为凸函数。 我们可以得到结论： 如果给定条件(a)、(b)和(d) ，那么库恩-塔克条件就是极大值（极小值）的充分条件。 当满足约束规范时，库恩-塔克条件就是极大值（极小值）的必要条件。 如果满足约束规范，且实现条件(a)、(b)和(d) ，那么库恩-塔克条件就是极大值（极小值）的充分必要条件。 本章小结 一、库恩-塔克条件（n个变量m个约束） 拉格朗日函数以下列更为一般的形式出现： 库恩-塔克条件的极大化形式： 库恩-塔克条件的极小化形式： (a)目标函数 在非负正交分划体中可微，且为凹函数； (b)每个约束函数 在非负正交分划体中可微，且为凸函数； (c)点 满足库恩-塔克极大化条件。 那么， 为 的整体极大值点。 给定非线性规划： 二、库恩-塔克充分性定理：凹规划（极大值） (a)目标函数 在非负正交分划体中可微，且为凸函数； (b)每个约束函数 在非负正交分划体中可微，且为凹函数； (c)点 满足库恩-塔克极小化条件。 那么， 为 的整体极小值点。 给定非线性规划： 二、库恩-塔克充分性定理：凹规划（极小值） 如果给定条件(a)和(b)，那么库恩-塔克条件就是极大值（极小值）的充分条件。 当满足约束规范时，库恩-塔克条件就是极大值（极小值）的必要条件。 如果满足约束规范，且实现条件(a)和(b)，那么库恩-塔克条件就是极大值（极小值）的充分必要条件。 (a) 在非负正交分划体中目标函数 可微且为拟凹函数； (b)在非负正交分划体中每个约束函数 可微且为拟凸函数； (c)点 满足库恩-塔克极大值条件。 给定非线性规划： 三、阿罗-恩索文充分性定理：拟凹规划（极大值） (d) 满足下列诸条件中任意一个： (d-i)至少对某个变量 有 。 那么， 为 的整体极大值点。 (d-ii)对某个可取正值而不违背约束的变量 有 。 (d-iii) 个导数 不全为零，函数 在 的邻域内二阶可微。 (d-iv) 函数 为凹函数。 (a) 在非负正交分划体中目标函数 可微且为拟凸函数； (b)在非负正交分划体中每个约束函数 可微且为拟凹函数； (c)点 满足库恩-塔克极小值条件。 给定非线性规划： 三、阿罗-恩索文充分性定理：拟凹规划（极小值） (d) 满足下列诸条件中任意一个： (d-i)至少对某个变量 有 。 那么， 为