本周源文件是 Lee 的手写作业,包含第 1、2、3、10、12、14 题。下面根据扫描中的题面和数值过程还原,并用参考解复算每个方向与步长。
第 1 题:Rosenbrock 函数的最速方向
f(x)=100(x2−x12)2+(1−x1)2.
梯度为
∇f(x)=[−400x1(x2−x12)−2(1−x1)200(x2−x12)].
题目给出的三个点分别为:
-
在 (0,0)T,
∇f=(−2,0)T,dS=−∇f=(2,0)T.
-
在 (1,1)T,
∇f=0,
所以它是驻点;又因 f≥0 且 f(1,1)=0,它是全局最优点。
-
在 (3/2,1)T,
∇f=(751,−250)T,dS=(−751,250)T.
最速下降方向就是负梯度,不需要先求驻点;但若梯度已经为零,就没有非零最速方向。
第 2 题:同一点的最速方向与 Newton 方向
根据作答过程还原目标函数:
f(x)=(6+x1+x2)2+(2−3x1−3x2−x1x2)2.
在 x^=(−4,6)T,直接求导得到
∇f(x^)=(−344,56)T,
所以
dS=(344,−56)T.
Hessian 为
∇2f(x^)=[164−56−564].
Newton 方程
∇2f(x^)dN=−∇f(x^)
给出
dN=(3122,−31126)T.
此处 Hessian 并非正定,不能只凭“它是 Newton 方向”就断言下降;直接核对
∇f(x^)TdN=−3114624<0,
才确认本题的 dN 确实是下降方向。
第 3 题:最速下降的两次精确搜索
f(x)=x12−2x1x2+4x22+x1−3x2,x(1)=(1,1)T.
Hessian
Q=[2−2−28]≻0.
第一次梯度和方向为
g1=(1,3)T,d1=(−1,−3)T.
对二次函数作精确一维搜索,
α1=g1TQg1g1Tg1=315,
于是
x(2)=x(1)+α1d1=(3126,3116)T.
第二次
g2=(3151,−3117)T,d2=−g2=(−3151,3117)T,
并得到
α2=195,x(3)=(589239,589389)T.
精确搜索后相邻梯度正交:
g1Tg2=0.
这是二次函数最速下降法的典型性质,但不代表两步就到最优点。
第 10 题:验证 Q-共轭
Q=[2335],d1=(1,0)T,d2=(3,−2)T.
先算
Qd2=[0−1],
再算
d1TQd2=0.
因此
d1,d2 关于 Q 共轭.
共轭不是普通正交;中间必须有矩阵 Q。
第 12 题:对称矩阵不同特征值的特征向量
设对称矩阵 A 的两个特征向量满足
Ax1=λ1x1,Ax2=λ2x2,λ1=λ2.
由 A=AT,
λ1x1Tx2=(Ax1)Tx2=x1TAx2=λ2x1Tx2.
所以
(λ1−λ2)x1Tx2=0⟹x1Tx2=0.
进一步,
x1TAx2=λ2x1Tx2=0,
故不同特征值的特征向量既普通正交,也关于 A 共轭。
第 14 题:三组共轭梯度计算
对正定二次函数,采用
d1=−g1,αk=−dkTQdkgkTdk,
βk=gkTgkgk+1Tgk+1,dk+1=−gk+1+βkdk.
二维正定二次函数在精确计算下至多两步到达最优点。
(1)f=21x12+x22,x(1)=(4,4)T
第一步:
g1=(4,8)T,d1=(−4,−8)T,α1=95,
x(2)=(916,−94)T,g2=(916,−98)T.
共轭系数
β1=814.
由公式得到的 d2 与 (−4,1)T 同向。方向可任意乘非零常数,因此把它缩放为
d2=(−4,1)T,α2=94.
于是
x(3)=(0,0)T.
(3)f=(x1−2)2+2(x2−1)2,x(1)=(1,3)T
第一步:
g1=(−2,8)T,d1=(2,−8)T,α1=6617,
x(2)=(3350,3331)T,g2=(−3332,−338)T.
此时
β1=33216,
而公式方向与 (8,1)T 同向。缩放后取
d2=(8,1)T,α2=332,
得到
x(3)=(2,1)T.
(5)f=2x12+2x1x2+5x22,x(1)=(2,−2)T
第一步:
g1=(4,−16)T,d1=(−4,16)T,α1=14817,
x(2)=(3757,−376)T,g2=(37216,3754)T.
共轭系数为
β1=(7427)2.
公式方向与 (−19,2)T 同向,缩放后取
d2=(−19,2)T,α2=373,
因此
x(3)=(0,0)T.
作业自检
- 最速下降方向的符号是 −∇f,第 2 题尤其容易把第二分量抄反。
- Newton 方向只有在 Hessian 正定时自动下降;否则要算 ∇fTdN。
- 共轭梯度方向允许缩放,但步长必须随缩放同步改变。
- 验证共轭要算 diTQdj,不是只算 diTdj。