优化设计第02章-2数学基础
02-优化的设计数学基础
22
2.7 最优解与最优解条件
1.无约束优化设计问题的最优解条件
无约束优化问题的最优解的实质是求目 标函数的最 min f (X ) f (X *) X En
小值:
对一维问题
数x*等为于极零值的点ff ''的'((xx**)必)00要极条大件点 f’(x)=0。一阶导
点为驻点,极f '值'(x*点) 是0 极驻小点点 ,但驻点不一定
1
2
x1
x1(k ) ,
x2
x2(k ) ,,
xn
x(k) n
2 f (X (k x12
2 f (X (k x2x1
) )
) )
, ,
2 f (X (k x1x2 2 f (X (k
x22
) )
) )
,, ,,
2 f (X (k x1xn 2 f (X (k x2xn
) )
) )
x1 x2
x(k) 1
x(k) 2
.
2 f (X (k))
xnx1
,
2 f (X (k)) xnx2
,,
2
f (X xn2
(
k
)
)
xn
xn(k )
f ( X (k) ) f ( X (k) )T ( X X (k) ) 1 ( X X (k) )T 2 f ( X (k) )(X X (k) ) 2
2 f (X (k x2x1
)
)
,
2
f (X x22
(k
)
)
,,
2 f (X (k x2xn
)
)
,,
2 f (X (k)
-第二章优化设计的数学基础newPPT课件
15
机械优化设计 上式写成矩阵形式:
f (x)
f
( x0
)
f x1
1 2
x1
2 f
x2
x12 2 f
x1x2
f x2
x0
x1 x2
2 f
x1x2
2 f
x1 x2
机械优化设计
第二章 优化设计的数学基础
一、多元函数的方向导数和梯度
二、多元函数的泰勒展开
三、无约束优化问题的极值条件
四、凸集、凸函数与凸规划 五、等式约束优化问题的极值条件
六、不等式约束优化问题的极值条件
2020/2/20
1
机械优化设计
一、多元函数的方向导数和梯度
1、方向导数
二元函数 f (x1, x2 )在 x0 x10, x20 点处的偏导数的定义是:
23
机械优化设计 定理:若二次函数 f (X ) 1 X TQX bX c 中Q正定,
2 则它的等值面是同心椭球面族,且中心为 X Q1b
证明:作变换 X Y Q1b ,代入二次函数式中:
(Y ) f (Y Q1b)
1 (Y Q1b)Q(Y Q1b) bT (Y Q1b) c 2
f x1
xn
cosn
n i 1
f xi
x0
cosi
2020/2/20
4
机械优化设计
2、二元函数的梯度
f d
x0
f x1
cos 1 +
x0
f x2
第2章 优化设计的数学基础
ρ
=
∂F ( x 0 ) ∂x1 =
∆x1 cos θ1 +
∂F ( x 0 ) ∂x2
ρ
+ lim
ρ →0
0 0 F ( x10 + ∆x1 , x2 + ∆x2 ) − F ( x10 + ∆x1 , x2 ) ∆x2
∆x2
ρ
cos θ 2 cos θ 2 + ∂F ( x 0 ) ∂x3 cos θ3
α x + (1 − α ) x ⊂ D
1 2
二、凸函数
定义在凸集D上的函数 ,如满足以下条件, 定义在凸集 上的函数F,如满足以下条件, 上的函数
F αx1 + (1 − α )x 2 ≤ αF x1 + (1 − α )F x 2
则,F为D上的凸函数,如不等式反向,则为 上的凸函数, 为 上的凸函数 如不等式反向, 凹函数 凸函数的性质: 凸函数的性质: F (x1 ) + F (x 2 ) 在D上也是凸函数; λ 1、 F (x ) 、 上也是凸函数; 、 上也是凸函数 2、F为凸函数的充分必要条件是: 为凸函数的充分必要条件是: 、 为凸函数的充分必要条件是 (x 2 ) ≥ F (x1 ) + [∇F (x1 )]T (x 2 − x1 ) F 。 函数切线永远在曲线以下。 即函数切线永远在曲线以下。
T
d = [ cos θ1
cos θ 2 ]
T
设: 则有
cos θ1 S≡ 为单位向量。 为单位向量 cos θ 2 ∂f = ∇f ( x0 )T S = ∇f ( x0 ) cos(∇f , S ) x0 ∂S
梯度方向是函数值增加最快的方向,而梯度 梯度方向是函数值增加最快的方向, 的模就是函数变化率的最大值。
最优化_第2章 优化设计的数学基础
(0) (0) f ( x1(0) , x2 x2 ) f ( x1(0) , x2 ) f ( x) lim x2 X ( 0) x2 0 x2
分别表示沿坐标轴x1和x2方向在X (0)处的f(X)变化率。
§2.1
多元函数的导数与梯度
(0) (0) f x1(0) x1 , x2 x2 f x1(0) , x2 f lim d X ( 0 ) d 0 d (0) (0) (0) f x1 x1 , x2 f x1(0) , x2 x1 lim d 0 x1 d
n元函数极值充分条件:海塞矩阵为正定。
2 f 2 x 1 2 f x2 x1 (0) G( X ) 2 f xn x1
2 f xn x2
§2.4
凸集、凸函数与凸规划
f X f X*
函数f(X)在X*附近的一切X均满足不等式
2.二阶导数( Hessian矩阵)判断
Hessian矩阵G(X)在R上处处半正定。
(0) 1 (0) 2
X (0)
x2
§2.2
多元函数的泰勒展开
二元函数泰勒展开矩阵形式:
f x1 , x2 f X
(0)
f ( X
(0) T
1 ) X X TG ( X (0) )X 2
2 f x 2 1 其中: G ( X (0) ) 2 f x2 x1
2 2
2 5 5 5 1 5 1 5 5
f
X
(1)
26 3x 4 x1 x2 x |X ( 0 ) 5 2 5
2 1
优化设计基础PPT讲稿
其中,x1 x1 x10,x2 x2 x20
二元函数泰勒展开式的矩阵形式:
f
x
f
x0
f x1
f x2
x0
x1
x2
1 2
x1
2 f
x2
x12 2 f
x2x1
f
x0
f
T
1T
x0 x x G
x0
x …
2
2 f
x1x2 2 f x22
x0
例:设目标函数f (x)
f (x1, x2 ) 4
x12 x2 , 求点x0
[1
1]T 处沿
d1和d2两个方向的方向导数。
向量d1的方向为:1
2
,
4
向量d2的方向为:1
3
,2
6
第二章 优化设计的数学基础
第一节 多元函数的方向导数和梯度
f
梯度:二元函数f
(x1, x2 )在点x0处的梯度是f
优化设计基础课件
第二章 优化设计的数学基础
第一节 多元函数的方向导数和梯度
一个多元函数可用偏导数的概念来研究函数沿各坐标方向 的变化率。
二元函数的偏导数:
一个二元函数f (x1, x2 )在点x0 (x10 , x20 )处的偏导数是
f lim f x10 x1, x20 f x10 , x20
(x0 )
x1
f
x2
x0
f
x1
T
f
,
x2
x0
方向导数与梯度的关系: f f (x0 )T d f (x0 ) cos(f , d) d x0
二元函数f
(
x1,
x2
优化设计的数学基础
第二章 优化设计的数学基础优化设计中绝大多数是多变量有约束的非线性规划问题,即是求解多变量非线性函数的极值问题。
由此可见,优化设计是建立在多元函数的极值理论基础上的,对于无约束优化问题为数学上的无条件极值问题,而对于约束优化问题则为数学上的条件极值问题。
本章主要叙述与此相关的数学基础知识。
第一节 函数的方向导数与梯度一、函数的方向导数一个二元函数()21,x x F 在点()02010,x x X 处的偏导数,即函数沿坐标轴方向的变化率定义为:而沿空间任一方向S 的变化率即方向导数为:方向导数与偏导数之间的数量关系为依此类推可知n 维函数()n x x x F ,,,21 在空间一点()002010,,,n x x x X 沿S 方向的方向导数为二、函数的梯度 函数()X F 在某点X 的方向导数表明函数沿某一方向S 的变化率。
—般函数在某一确定点沿不同方向的变化率是不同的。
为求得函数在某点X 的方向导数为最大的方向,引入梯度的概念。
仍以二元函数()21,x x F 为例进行讨论,将函数沿方向S 的方向导数写成如下形式令:图2-1 二维空间中的方向图2-2 三维空间中的方向称为()21,x x F 在点X 处的梯度()X F grad ,而同时设S 为单位向量于是方向导数可写为:此式表明,函数()X F 沿S 方向的方向导数等于向量()X F ∇在S 方向上的投影。
且当()()1,cos =∇S X F ,即向量()X F ∇与S 的方向相向时,向量()X F ∇在S 方向上的投影最大,其值为()X F ∇。
这表明梯度()X F ∇是函数()X F 在点X 处方向导数最大的方向,也就是导数变化率最大的方向。
上述梯度的定义和运算可以推广到n 维函数中去,即对于n 元函数()n x x x F ,,,21 ,其梯度定义为由此可见,梯度是一个向量,梯度方向是函数具有最大变化率的方向。
即梯度()X F ∇方向是函数()X F 的最速上升方向,而负梯度()X F ∇-方向则为函数()X F 的最速下降方向。
第2章 优化设计的理论与数学基础
F(X)
K
S
o
x2
' FS =?
x1
3
2.5 关于优化方法中搜寻方向的理论基础
2.5.1 函数的最速下降方向
一、方向导数
F ( X (k) ) F = F (X ) = x1
' x1 ' x1 (k)
F F cos 1 F cos 2
' S ' x1 ' x2
' F Fxi cos i ' S i 1
8
二次函数的矩阵表示方法(补充)
例题:将F(X)=x12-2x1x2+x22-8x1+9x2+10写成矩阵表示式,并求其梯度。 解:
2 2 A 2 2
F(X )
8 B 9
C 10
1 T X AX B T X C 2
1 x1 2 x1 2 2 x1 x2 8 9 10 2 2 x2 x2
机械优化设计
第二章 优化设计的理论与数学基础
2.1 目标函数的泰勒(Taylor)展开式 2.2 目标函数的等值线(面) 2.3 无约束优化最优解的条件 2.4 凸集与凸函数 2.5 关于优化方法中搜寻方向的理论基础
1
2.2 目标函数的等值线(面)
F(x) x2
45 30 20 10 5
-100 -50 -20 0
o x2
x1 o x1
x2
x2
x1 o o
x1
2
2.5 关于优化方法中搜寻方向的理论基础
2.5.1 函数的最速下降方向
一、方向导数
2第二章优化设计的数学基础new
x1
f x1
x0
1
2
1
2
0
10
20
f d
x0
f x10 x1 , x20 x2 f x10 , x20 f f x10 x1lim , x20 x2 f x10 , x20 lim d d 0 d d 0 x0 d
2.4.1凸集与非凸集
2.5 等式约束优化问题的极值条件
对于等式约束优化问题: minf(x) s.t. hk(x) = 0 (k = 1,2,m) 需要导出极值存在的条件。 数学上有两种处理方法: 消元法(降维法) 拉格朗日乘子法(升维法)
一、消元法 1)二元函数只有一个等式约束 minf(x1,x2) s.t. h (x1,x2) = 0 处理方法:将x1表示为x1 = (x2), 并代入目标函数中消去x1,变成一元函数F(x2), 则等式约束优化问题变为无约束优化问题。目标函数二维变一维,故称降维法。 2)n维情况 minf(x1,x2,,xn) s.t. hk (x1,x2 ,,xn) = 0 (k = 1,2,l) 由l个约束方程将n个变量中的前l个变量用其余n-l个变量表示, 有 x1 = (xl+1,xl+2,,xn) x2 = (xl+1,xl+2,,xn) xn = (xl+1,xl+2,,xn) 将这些函数关系代入到目标函数中, 得到只含有xl+1,xl+2,,xn共n-l个变量的函 数F(xl+1,xl+2,,xn), 从而利用无约束优化问题的极值条件求解。(因为将l个 约束方程联立往往求不出解来,实际上难于求解)
xi k
可得l+n个方程。由这些方程组求得函数f(x)的极值点x*=[x1* x2* xl*]T.
第二章优化设计的数学基础
第二章优化设计的数学基础优化设计是指通过调整设计要素,使得设计达到最佳状态的过程。
在实际应用中,优化设计可以应用于各个领域,包括工程设计、经济决策、生产流程以及物流等等。
在进行优化设计时,我们需要依赖数学的基础知识和方法。
本文将介绍一些常用的数学基础,帮助我们更好地理解和应用优化设计。
首先,优化设计离不开数学模型的建立。
数学模型是对实际问题进行抽象和描述的工具。
它可以将实际问题转化为数学问题,从而进行具体的计算和推理。
常见的数学模型包括线性规划模型、非线性规划模型、整数规划模型等等。
通过建立数学模型,我们可以对设计进行量化和形式化的描述,为后续的优化设计提供依据。
其次,数学中的最优化理论也是优化设计的重要基础。
最优化理论主要研究如何在给定的约束条件下,找到使目标函数达到最优值的决策变量取值。
最优化问题可以分为无约束优化和约束优化两种情况。
无约束优化即在没有约束条件下寻求最优解,而约束优化则在给定一定约束条件下寻找最优解。
在实际的优化设计中,往往需要处理复杂的问题,例如多目标优化、多变量优化等等,并应用最优化理论来解决这些问题。
另外,数值方法是优化设计中不可或缺的工具。
数值方法通过使用数值计算的方法,对优化问题进行求解。
常见的数值方法有穷差法、梯度法、遗传算法等等。
这些方法通过迭代计算的方式,逐步接近最优解。
在实际中,由于优化问题的复杂性,往往难以找到解析解,因此数值方法的应用变得尤为重要。
最后,敏感性分析也是优化设计中的重要工具。
敏感性分析主要研究问题中各个因素对最优解的影响程度。
通过敏感性分析,我们可以了解到设计要素的重要性,从而进行针对性的调整和优化。
敏感性分析方法包括参数敏感性分析、目标函数敏感性分析等等。
通过敏感性分析,我们可以进一步了解设计问题,为优化设计提供实际的参考意见。
综上所述,数学是优化设计的基础。
通过数学模型的建立、最优化理论的应用、数值方法的求解以及敏感性分析的研究,我们能够更好地理解和应用优化设计。
最新2优化设计的数学基础汇总
2优化设计的数学基础第二章优化设计的数学基础优化设计中绝大多数是多变量有约束的非线性规划问题,即是求解多变量非线性函数的极值问题。
由此可见,优化设计是建立在多元函数的极值理论基础上的,对于无约束优化问题为数学上的无条件极值问题,而对于约束优化问题则为数学上的条件极值问题。
本章主要叙述与此相关的数学基础知识。
第一节函数的方向导数与梯度一、函数的方向导数一个二元函数«Skip Record If...»在点«Skip Record If...»处的偏导数,即函数沿坐标轴方向的变化率定义为:而沿空间任一方向S的变化率即方向导数为:方向导数与偏导数之间的数量关系为依此类推可知n维函数«Skip Record If...»在空间一点«Skip Record If...»沿S方向的方向导数为二、函数的梯度函数«Skip Record If...»在某点X的方向导数表明函数沿某一方向S的变化率。
—般函数在某一确定点沿不同方向的变化率是不同的。
为求得函数在某点X的方向导数为最大的方向,引入梯度的概念。
仍以二元函数«Skip Record If...»为例进行讨论,将函数沿方向S 的方向导数写成如下形式令:图2-1 二维空间中的方向图2-2 三维空间中的方向称为«Skip Record If...»在点X处的梯度«Skip Record If...»,而同时设S为单位向量于是方向导数可写为:此式表明,函数«Skip Record If...»沿S方向的方向导数等于向量«Skip Record If...»在S方向上的投影。
且当«Skip Record If...»,即向量«Skip Record If...»与S的方向相向时,向量«Skip Record If...»在S 方向上的投影最大,其值为«Skip Record If...»。
《机械优化设计》第2章优化设计的数学基础
数在点x0处沿s方向的方向导数
f d
x0
f x1
x0
cos1
f x2
x0
c os 2
.......
f xn
x0
c os n
n
i 1
f xi
x0
c os i
6
2020年9月16日3时36分
2、二元函数的梯度
f d
x0
f x1
cos 1 +
x0
f x2
cos2
x0
f f
x1
,
x2
x0
cos1
5
5
5
新点 x1
该点函数值
2
x1
x0
e
0 1
51
5 5
1
2
5 1
5 5
5 5
f
( x1 )
3x12
4x1x2
x22
x1
26 5
2
5
13
2020年9月16日3时36分
常用梯度公式:
注意:梯度为向量
(1) f (X ) C(常数) f (X ) 0
(2) f (X ) bT X
cபைடு நூலகம்s
2
f
令
f
(x0 )
x1
f
x2
x0
f
x1
, f x2
T
x0
d
cos1
c
os
2
为函数F(x1,x2)
在x0点处的梯度
f d
x0
f (x0 )T d
f (x0 )
cos(f , d)
7
2020年9月16日3时36分
结构优化设计 2.优化设计的数学基础.ppt
?2f L 抖x1 xn
?2f L 抖x2 xn MM
正定
?2f
L
¶ x22 x0
即其各阶主子式均大于零
2. 等式约束优化问题的极值条件
(1) 求解等式约束优化问题
min f (x1, x2,L , xn ) hk (x) = 0 (k = 1, 2,L ,l )
(2) 思路:将其转化为无约束优化问题,有两 种常用的方法:
= f (x 0 ) + 袲f (x 0 )T
x
+
1 2
D
x
TG
(x 0
)D
x
+
L
多元函数f (x1, x2,L , xn )在x = x0处的泰勒展开矩阵形式为
f (x ) = f (x 0 ) + 袲f (x 0 )T
x
+
1 2
D
x
TG
(x 0
)D
x
+
L
多元函的梯度 ? f (x 0 ) 轾 犏 犏 臌抖抖xf1
+
?2f
x
2 2
D
x
2 2
>
0
令
A=
抖2 f
抖x
2 1
,
2f
B
=
抖x1
, x2
?2f
C=
x
2 2
AD x12 +
2B D x1D x2
+
C
D
x
2 2
>
0
1 A
(A
譊A
x12 + 2A 譊B
x1D
x2
+
B 2D
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
二、库恩-塔克条件(K-T条件)
对于多元函数不等式约束优化问题 min f(x) s.t. gj(x) ≤0 (j=1,2,…,m)
同样可应用拉格朗日乘子法推导出相应的极值条件,引入 m个松弛变量y=[y1,y2,…,ym],使不等式约束变成等式约束 gj(x)+yj2=0 (j=1,2, … ,m) 从而组成相应的拉格朗日函数:
把F(x,)作为一个新的无约束条件的目标函数来求解它的极 值点,所得结果就是在满足约束条件hk(x)=0的原目标函数f(x)的 极值点。
F(x,)具有极值的必要条件:
由此可得n+l个方程,从而解得x=[x1 x2…xn]T和k(k=1,2,…, l) 共n+l个未知变量的值。 由上述方程组求得的x*=[x1* x2*…xn*]T是函数f(x)极值点的坐 标值。
1 1 0 可得: 2 1 0
1 x2 0
0 g 2 ( x ) 1
ห้องสมุดไป่ตู้
(4)求拉格朗日乘子
f ( x ) 1g1 ( x ) 2g2 ( x )
即:
2 2 0 1 + 2 0 1 1
T 0 * X 0, 0 f x , x x x . 处梯度为 f 0, 0 例: 1 2 1 2 在 0 * 但 X 只是双曲抛物面的鞍点,而不是极小点。
为了判断从上述必要条件求得的x*是否是极值点,需建立极 值的充分条件。 根据函数在x*点处的泰勒展开式,考虑上述极值必要条件, 可得相应的充分条件。
2 例:优化问题: f ( x) ( x1 2)2 x2 min
2 g ( x ) x x2 1 0 s.t 1 1 g2 ( x) x2 0
g3 ( x) x1 0
判断[1 0]T是否为约束最优点。
f ( x) ( x1 2) x min
即极值点为 x1*=1.071,x2*=1.286
第六节 不等式约束优化问题的极值条件
在工程上大多数优化问题都可表示为具有不等式约束条件的 优化问题,故研究不等式约束极值条件是很有意义的。 不等式约束的多元函数极值的必要条件是库恩-塔克条件,它 是非线性优化问题的重要理论。 不等式约束优化模型为:
三、极值的充分条件
2F x 2 1 2F 2 F ( x * ) x2 x1 2 F xn x1 2F x1x2 2F x22 2F xn x2 2F x1xn 2 F x2xn 正定或负定 2F xn2 x*
一、消元法
即通过减少变量将等式约束优化问题变成无约束优化问题。 对于n维情况: min s.t. f (x) hk(x1,x2, … ,xn)=0 (k=1,2,…,l)
由l个等式约束方程可以得 到表达式 → 即将n个变量中的前l个变 量用其余n-l个变量表示。 若将这些关系式代入到目标函数中,从而得到只含xl+1, xl+2,…,xn共n-l个变量的函数,这样就可以利用无约束优化问题 的极值求解。
2 2 2
g1 ( x ) x12 x2 1 0 g 2 ( x ) x2 0 g3 ( x ) x1 0
(1) T 是当前点,为可行点,因满足约束条件 x [1 0] 解:(1)
g1 ( x (1) ) 0 g 2 ( x (1) ) 0 g3 ( x (1) ) 1 0
F ( x , y , u) f ( x ) u j ( g j ( x ) y 2 j)
j 1
m
仿照对一元函数在给定区间上极值条件的推导过程,同 样可得具有不等式约束多元函数极值条件: 库恩-塔 * f ( x * ) m g j ( x ) 克条件 uj 0 ( i 1,2, , n)
则:
K-T条件
g j ( x* ) F ( x* ) m j 0 (i 1, 2,, n) xi j 1 xi * g ( x ( j 1, 2,, m) j j )0 0 ( j 1, 2,, m) j
库恩—塔克条件表明: 如点x*是函数 F(x)的极值点,要么▽F(x*)=0 (此时 μj=0),
min F ( x) s.t. g j ( x) 0
( j 1,2,, m)
为了便于理解,先分析一元函数在给定区间上的极值条件。
一、一元函数在给定区间上的极值条件
对于一元函数f(x)在给定区间[a,b]上的极值问题,首先引入松弛 变量变量a1和b1将不等式约束变成等式约束,即: h1(x,a1)=g1(x)+a12= a-x+a12 = 0 h2(x,b1)=g2(x)+b12=x-b+b12=0
第四节 无约束优化问题的极值条件
一、 一元函数极值的必要条件
f ( x ) 在x =x0处取得极值的必要条件为x0点必须为驻点,即 f ( x0 ) 0
在x=x0处取得极值充分条件... 二、 多元函数极值的必要条件 1. F(x)在x*处取得极值,其必要条件是: F F F T F ( x ) [ ] x 0 x1 x2 xn 即在极值点处函数的梯度为n维零向量。
x i j 1 * u g ( x )0 j j u 0 j x i ( j 1,2, , m ) ( j 1,2, , m )
K-T条件
若引入起作用约束的下标集合:
J ( x * ) j g j ( x * ) 0, j 1,2,, m
利用拉格朗日乘子法可得到上述优化问题的拉格朗日函数:
F(x,a1,b1,u1,u2)=f(x)+u1h1(x,a1)+u2h2(x,b1) =f(x)+u1(a-x+a12)+u2(x-b+b12)
其中u1和u2是对应于不等式约束条件的拉格朗日乘子,应满足非 负的要求, 即: u1>=0 u2>=0
( 2) x
(1)
[1 0]T 处起作用约束为g1和g2 , 因 g3 ( x (1) ) 0
2( x 2) 2 1 f ( x ) 1 0 2 x2 x1 x2 0
(3)各函数的梯度:
2 x 2 g1i ( x ) 1 1 1 x1
要么目标函数的负梯度等于起作用约束梯度的非负线性组合 (此时μj>0)。
K-T条件的梯度形式
将K-T条件偏微分形式表示为梯度形式,得:
F ( x * ) u j g j ( x * ) 0
jJ
或
F ( x * ) u j g j ( x * )
jJ
库恩—塔克条件的几何意义是: 在约束极小值点x*处,函数F(x) 的负梯度一定能表示成所有 起使用约束在该点梯度(法向量)的非负线性组合。
df dg1 dg2 df u1 u2 u1 u2 0 dx dx dx dx
分析极值点x*在区间[a,b]中所处的位置,有三种可能的情况:
f(x) f(x) f(x) x* =a b x
0 a x*
b x
0
0
a
x* =b
x
1) 当a< x*<b时,u1=u2=0,极值条件为 2) 当x*=a时,u1>=0,u2=0,极值条件为 3) 当x*=b时,u1=0,u2 > =0,极值条件为
对应于不起作用约束的拉格朗日乘子取零值,引入起 作用约束的下标集合:
J ( x * ) j g j ( x ) 0, j 1,2
dg j df uj 0 dx jJ dx 一元函数极值条件式可写成: g j ( x ) 0( j J ) u 0( j J ) j
K-T条件是多元函数取得约束极值的必要条件,以用 来作为约束极值的判断条件,又可以来直接求解较简 单的约束优化问题。
对于目标函数和约束函数都是凸函数的情况, 符 合K-T条件的点一定是全局最优点。这种情况K-T条件
即为多元函数取得约束极值的充分必要条件。
三、K-T条件应用举例
K-T条件是多元函数取得约束极值的必要条件,既可用来作 为约束极值的判断条件,又可以用来直接求解较简单的约束优 化问题。
df ( x * ) 0 dx
df ( x * ) u1 0 dx
df ( x * ) u2 0 dx
df ( x * ) 0 dx df ( x * ) 0 dx
df dg dg df u1 1 u2 2 u1 u2 0 dx dx dx dx
u1 g1 ( x ) 0 u2 g2 ( x ) 0
二、拉格朗日乘子法
通过增加变量将等式约束优化问题变成无约束优化问题。
对于具有l个等式约束的N维优化问题:
min f(x) s.t. hk(x)=0 (k=1, 2, … , l)
为了求出f(x)的可能极值点x*=[x1* x2*… xn*]T,引入拉格朗日 乘子k (k=1, 2, … , l) ,并构成一个新的目标函数:
拉格朗日乘子法解等式约束 例题
用拉格朗日乘子法计算在约束条件下h(x1,x2)=2x1+3x2-6=0的 情况下,目标函数f(x1,x2)=4x12+5x22的极值点坐标。 解:拉格朗日乘子函数为 F(x,λ)=4x12+5x22+λ(2x1+3x2-6),
则
连立求解得到:x1=1.071,x2=1.286,λ=-30/7
H ( x ) 正定,即各阶主 海赛(Hessian)矩阵