1. 引言
我考虑如下非线性方程组:
,
.
其中g是
到
上的可微映射且g的雅可比阵
是对称的。在这种情况下我把g看作某个函数f从
到R的梯度映射,从而
,
,
就是无约束优化问题:
.
的一阶必要条件。
DONGHUI LI and MASAO FUKUSHIMA在 [1] 中提出了处理此类问题的Gauss-Newton BFGS方法,其迭代格式为:
,
.
其中
是搜索方向,步长
且使得序列
在总体上具有近似范数下降性。矩阵
由BFGS公式进行更新来确保它的正定性从而
就是映射g在迭代点
处的下降方向,因此
满足割线方程:
,
其中
,
,
.
和常用的BFGS公式不同的是我经常用
来表示梯度差而这里用
表示,在这种情况下我有以下近似关系:
.
又因为
满足割线方程且雅可比阵
是对称的,我又有以下近似关系:
.
这就意味着
沿
方向近似于
,又因为
,
所以我得到
.
因此我把
看作Gauss-Newton的近似方向,把这种方法称为Gauss-Newton-based BFGS方法。该方法的优点在于不需要计算雅可比阵并且在合适的条件下具有全局收敛性和超线性收敛性。
我让函数f满足以下假设:
1) 函数f在
上二阶连续可微。
2)
,对
,
。
3)
在
上一致非奇异。
其中
的定义见 [1] 中假设A。
在以上假设条件下,由 [1] 我可以得到以下结论:
4)
使得
。
5)
,
。
6) 当
时,
总是由BFGS公式更新。
我进一步假设:
7)
是正定的且
在
处Lipschitz连续,即
,其中x属于
的一个邻域。
同样我从 [1] 中得到以下结论:
8)
,
。
9) 当
时,
恒等于1。
类似于常用的BFGS方法,超线性收敛性在某种程度上等价于Dennis-Moré条件 [2],但由于
的取不同,条件的表现形式也有所改变,具体如下:
.
但这并不意味着
就一定最终等于
(由 [2] 中的反例我可以得到这个结论)。最早证明相关结论的是Ge Ren-Pu and Powell [3] 中证明了DFP方法和BFGS方法取恒定步长为一所产生的迭代矩阵序列的收敛性,该证明不要求
最终等于
,之后Stoer [4] 把该结论推广到Broyden族方法上且步长最终收敛到1即可。由于1)到9)的结论满足 [4] 的假设B,所以本文的证明参照 [4] 进行了一点点的改动,以下我统称为假设最后我给出Gauss-Newton-based BFGS算法的框架。
Gauss-Newton-based BFGS算法
Step 0. Choose an initial point
, an initial symmetric positive definite matrix
, a positive
sequence
satisfying
, and constants
,
. Let
.
Step 1. Stop if
. Otherwise, solve the following linear equation to get
:
.
Step 2. If
,
then take
and go to Step 4. Otherwise go to Step 3.
Step 3. Let
be the smallest nonnegative integer i such that:
holds for
.
Let
.
Step 4. Let the next iterate be
.
Step 5. Put
,
, and
. If
, then
and go to Step 6. Otherwise, update
by the BFGS formula:
.
Step 6. Let
. Go to Step 1.
2. 收敛性的证明
由BFGS方法的不变性,我假设
。如果函数
是二次函数,那么
就是线性的,那么此时
,
,
我直接由 [3] 得到结论,对于一般情况我有
其中
,
。
有假设得知当k充分大时,
是正定矩阵且
,
同理当k充分大时
,
.
因此由BFGS公式我有
(1)
我定义
,
是它的特征值且
,
是特征值对应的正交特征向量,
。由 [5] 中的结论我得到对于
的特征值
按照同样的方式排列
,它满足
,
,
.
由(1)以及
收敛,根据文献 [3] 中引理4可知对每个
,极限
存在。我假设极限趋于0的特征值个数为m,其余的都大于
,即
,
,
.
又因为
而
,所以
。
由 [3] 我对
进行如下分解
其中
,
,
.
那么
。
由以上定义我有
,
,
,根据m的定义有
。
通过以上讨论,我将通过证明
来证明序列
的收敛性。我将证明
(2)
对充分大的k都成立。这里
取自
的正交分解
.
(2)式的证明就是 [3] 中对DFP方法的证明,这里不再赘述。
因为
,由(2)我只需证明
。首先证明一个重要不等式
(3)
由文献 [6] 的定理2我有
,
不等式两边对k进行累加,又因为
和
都是正定有界的,(3)式得证。从文献 [4] 我立马又得到
,证明没有任何改变。
接下来我证明
,由
时
得,存在常数
,当
时,
。下面我证明几个不等式,其中
。
a)
,
b)
,
c)
,
d)
.
证明和 [4] 中类似但是有两个小变化。一个是当
时步长
,这时
另一个是
当k充分大时,由于函数f二阶可微可得
,所以上式最后一个等式的第一部分趋于0,由假设2),3)以及
的有界性得证。
现在我的结论显而易见,由
,
以及
我有
所以
,得证。
3. 数值实验
在这部分我通过画图来观察
的收敛性,我在三个不同的方面进行比较:初始点、维度、和精度。我把
记作j,这里所取的问题就是 [1] 中的原问题,是为了验证自己的编程是否正确。
问题1
,
其中
,
,
.
以下是不同初始点(见表1)的影响(见图1),维度n = 19。
![](Images/Table_Tmp.jpg)
Table 1. Different initial points and their manifestations
表1. 不同初始点及其表现形式
![](//html.hanspub.org/file/50-2622642x191_hanspub.png?20220815092611345)
Figure 1. Performance of different starting points
图1. 不同初始点的表现
以下是不同维度(见表2)的影响(见图2),初始点为全1向量。
![](Images/Table_Tmp.jpg)
Table 2. Different dimensions and their manifestations
表2. 不同维度及其表现形式
![](//html.hanspub.org/file/50-2622642x192_hanspub.png?20220815092611345)
Figure 2. Performance of different dimensions
图2. 不同维度的表现
以下是不同精度(见表3)的影响(见图3),维度n = 19,初始点设置为全1向量。
![](//html.hanspub.org/file/50-2622642x193_hanspub.png?20220815092611345)
Figure 3. Performance of different precision
图3. 不同精度的表现
在实验中对应的参数为
,
,
,
, and
,初始矩阵
为单位阵。在前两个实验中精度固定为10−5,第二个实验我选取全1向量的原因是因为问题是对称问题,在这种情况下初始点的运动轨迹是一样的。而在最后一个实验中由于精度的提高我们将MATLAB程序显示的有效数字调整为15位来得到更好的准确性。从这三张图我们可以清晰的看出当迭代点趋近最小点时函数图像基本保持水平,所以结论是有效的。
4. 总结
本文证明了处理特殊问题的Gauss-Newton-based BFGS方法所产生的迭代矩阵序列的收敛性,由此可以猜测这种收敛性是公式本身的性质,这也启发我如果在应用相应公式做算法时,如果算法不具有超线性收敛性,是否可以通过修正
使他倾向于Hessian阵从而具有超线性收敛性。