基于一类非线性Lagrange函数的对偶问题.pdf

第48卷第4期 大连理工大学学报 VoI．48，No．4 2O08年7月 ofDalian of J山y2 0 O 8 Joumal UniversityTechnology 基于一类非线性Lagrange函数的对偶问题 任咏红1’2， 肖现涛1， 金 丽3， 张立卫“ (1．大连理工大学应用数学系。辽宁大连116024； 2．辽宁师范大学教学学院．辽宁大连 116029； 3．浙江海洋学院数理与信息学院，浙江舟山 316004) 摘要：基于一类非线性Lagrarlge函数提出不等式约束优化问题的一类对偶问题。证明了在 Jacobian惟一条件下．对偶问题的最优解处二阶充分性条件是成立的，因此对偶解处满足二 阶增长条件．非线性Lagrange函数的鞍点存在是原始问题与对偶问题无对偶问隙的充分条 件，给出了鞍点条件的等价条件，并且给出了用扰动函数来刻画的鞍点存在的一个充分条 件． 关键词：Lagrange对偶；非线性Lagrange函数；鞍点；最优性条件；扰动函数 中图分类号：0221．2文献标志码：A O 引 言 亦即可的上图epi=((y，鬈)It，(．)，)≤z，】，∈R…) 在点(y，z)=(0，口(0))处的支撑超平面为z一 凸规划的对偶理论与鞍点理论是算法设计的 (O)+五Tj，．换言之，若原问题有最优解，则对偶 基础，可以基于共轭函数的理论通过定义原问题 间隙为。等价于口的上图在点(O，u(O))的支撑超 的Lagrange对偶或共轭对偶而得到‘1’引．对非凸 平面存在．然而，对于非凸规划，用经典的 约束规划，可以通过经典的增广Lagrange函数建 Lagrange’对偶模式，对偶间隙通常是非。的．于 立对偶理论‘引．更一般地，通过对偶参数化 是，自然会想到能否用某个非线性函数代替仿射 (dualizingparameterization)函数，Rockafellar 函数来支撑u的上图epi以达到消除对偶间隙 等‘43给出了一般增广Lag豫nge函数理论以及对 的目的．如经典的增广Lagrange函数的构造就是 偶间隙消除的条件． 基于这一思想嘲．本文所讨论的基于一类非线性 本文考虑如下的不等式约束的非线性规划问 Lagrange函数的对偶问题也源于这一思想． 题： 引入下列符号： 砒，o‘刖 (★LP； ，(x)=(，l(z)…／．珥(工))T， s．t． 厂f(x)≥0，f=1，…，m … ，(，)(x)=(厂l(z)f(J))T， 其中^：彤一R，^：彤一R，i一1，…，仇，是连续 … V，(x)=(V，1(x)V厶(工))， 可微函数．令鸵=(zf五(工)≥O，i—l，…，m)．