非单调ARMIJO型线搜索下的新谱共轭梯度法

2015-05-30 18:48张颖
数学学习与研究 2015年7期

张颖

共轭梯度方法是解决大规模无约束优化问题的重要方法,从不同角度来研究共轭梯度法有着重要意义.本文在非单调线搜索技术[1]基础之上,提出的一种新的非单调谱共轭梯度方法,并证明该方法具有充分下降性和全局收敛性.

【关键词】Armijo线搜索;无约束最优化;谱共轭梯度法;全局收敛性

【中图分类号】O241.5 【文献标识码】A

引 言

在1998年Barzilai与Borwein[2]提出谱梯度法.在2001年Birgin与Martinez[3]把谱梯度法与共轭梯度法结合提出一类新的谱共轭梯度法.谱共轭梯度法数值试验结果与收敛情况表明,与相应的共轭梯度法相比,谱共轭梯度法更有效[4].

对于无约束优化问题

minx∈Rnf(x)

其中f:Rn→R是连续可微的.

本文构造了一种新的谱共轭梯度法:

xk+1=xk+αkdk,(1)

dk=-gk,k=1;-1δkgk+βkdk-1,k≥2.(2)

βk=δk-1uk(‖gk-gk-1‖2)δk(‖gk‖·‖dk-1‖+dTk-1gk-1),0其中

δk=sTk-1yk-1‖sk-1‖2,(sk=xk+1-xk,yk=gk+1-gk)(4)

在线搜索条件的选择上,在本文中将选择由Grippo等人提出的一种Armijo型的非单调线搜索技术[1]:令β>0,γ∈(0,1),取一正的整数M,并且取步长为αk=βγmk,我们要求mk是满足下面不等式的最小的非整数

f(xk+βλmkdk)≤max0≤j≤m(k){fk-1}+σβγmkgkTdk,(5)

其中要求0<σ<1,并且

m(0)=0,0≤m(k)≤min{m(k-1)+1,M}.

利用Armijo型的非单调线搜索技术构造的谱共轭梯度法的优点在于,数值试验表明该算法具有良好计算效能,也能用于维数较高的无约束优化问题[5-6].本文证明了新算法不仅具有充分下降性,并在Armijo线搜索下具有全局收敛性.

1.充分下降性及新的谱共轭梯度算法

为了证明充分下降性,我们首先假设:

(a)目标函数f(x)在如下水平集中有界,

L={x∈Rn|f(x)≤f(x0)}.

其中x0为初始点.

(b)f在水平集L的开凸集U连续可微,并且它的梯度向量g满足Lipschitz条件,即存在一个常数τ,使得:

‖g(x)-g(y)‖≤τ‖x-y‖,x,y∈U

根据假设(a)和(b),我们容易知道存在一个常数ν,满足:

‖g(x)‖≤ν,x∈L..

定理1.1 考虑迭代方法(1)-(4),步长因子ak满足了非单调步长规则(5),

βk=δk-1uk(‖gk-gk-1‖)δk(‖gk‖·‖dk‖+dTk-1gk-1),0

‖dk‖≤H‖gk‖.

证明 (ⅰ)当k=l时,由于d1=-g1,所以我们有‖d1‖=‖g1‖,结论显然成立,

(ⅱ)当k≥2时,由βk的定义和(7)我们有

‖dk‖≤1δk‖gk‖+βk‖dk-1‖

=1δk‖gk‖+dk-1‖gk-gk-1‖2dk(‖gk‖·‖dk-1‖+|dTk-1gk-1|)‖dk-1‖

≤1ρmin‖gk‖+ρmax(1+m)2‖gk‖2ρmin(‖gk‖·‖dk-1‖)‖dk-1‖

≤1+ρmax(1+m)2ρmin‖gk‖.

设H=1+ρmax(1+m)2ρmin,则结论成立.

引理3.2 [7]假设(a)和(b)成立,考虑迭代(1)-(4),为本文算法产生的序列,则有,

limk→∞αk‖dk‖=0

定理3.3 假设(a)和(b)成立,考虑方法(1)-(2),由式(3)与(4)定义,由单调线搜索条件(5)决定,则有

limk→∞inf‖gk‖=0

证明 假设结论不成立,那么存在着一个常数c>0,使得

‖gk‖2≥c,k=1,2,……

如若limk→∞infαk>0,由引理3.2证明的最后,我们知道limk→∞αkgTkdk=0,并且由定理1.1可知limk→∞‖gk‖=0,产生矛盾,

如若limk→∞infαk=0,那么一定存在着无穷子列I满足条件:

limk→∞,k∈Iαk=0. (8)

由αk的定义以及γ∈(0,1),我们有αkγ不满足非单调线搜索(5),也就是:

fxk+akγdk≥max0≤j≤m(k){fk-j}+σakγgTkdk≥f(xk)+σakγgTkdk.(9)

由微分中值定理,Lipchitz条件以及引理3.1可知,存在一个常数θ,满足

f(xk+αkγdk)-f(xk)=αkγgxk+θαkγdkTdk

=αkγgTkdk+αkγgxk+θαkγdkTdk-αkγgTkdk

=αkγgTkdk+αkγgxk+θαkγdk-gkTdk

≤αkγgTkdk+Lθα2kγ2‖dk‖2

≤αkγgTkdk+Lθα2kγ2H2‖gk‖2 (10)

由式(9)、(10),我們知道可以得到对任意的k∈I有

akγgTkdk+Lθa2kγ2H2‖gk‖2≥σakγgTkdk(11)

又由假设(a)与(b),我们容易知道存在一个常数ν,满足:

‖g(x)‖≤ν,x∈L

整理式(11)我们有

(1-σ)akγgTkdk≥-Lθα2kγ2H2‖gk‖2

≥-Lθα2kγ2H2ν2(12)

由定理1.1,我们知道gTkdk<-N‖gk‖2,由上式我们有

‖gk‖2≤LθH2ν2Hγ(1-σ)αk(13)

由引理3.2与(13),我们可以得到 limk→∞inf‖gk‖=0.与假设产生矛盾.

综上,结论成立.

4.结 论

本文结合Grippo等人提出的非单调线搜索技术,给出了一种新的非单调谱共轭梯度法,证明了这种方法在不依赖于线搜索条件的情况下,具有着充分的下降性,并且证明新算法具有全局收敛性.

【参考文献】

[1]孙中波,段复建.一类无约束优化的非单调共轭梯度法[J].河北师范大学学报,38(1):12–15,2010.

[2]莫利柳,洪玲,韦增欣.一类无约束优化问题的非单调谱共轭梯度方法[J].广西科学.