翁生权,文相容,梁柳
(宜宾学院 理学部,四川宜宾 644000)
最优化问题是指在某些约束条件下,决定某些可选择的变量应该取何值,使所选定的目标函数达到最优的问题,这是定性的说法;其定量描述则为:最优化问题是指在空间X中找到一个点x∈X使得满足等式f(x)= minu∈X f(u),其中f表示目标函数.1970 年Mantinet[1]为进一步研究最优化问题而提出了邻近点算法(Poximal point algorithm),即xn∈X,Txn=xn的解是
一个度量空间(X,d) 若满足是测地连接的,且在X上每一个测地三角形都和它在二维欧氏平面R2上的比较三角形具有相同的厚度,则称其为CAT(0)空间.一个度量空间(X,d)如果是测地相连的,则被称作是一个测地空间.连接点x与y的一条测地轨道是一个映射g,g:[ 0,l]⊆R→X使得对s,t∈[ 0,l],有g( 0 )=x、g(l)=y、d(g(s),g(t) )=|s-t|.特别地,连接点x与y的测地轨道是一个等距的关系,即d(x,y)=l.连接点x与y的一条测地轨道的图像被称为是连接点x与y的一条测地线段,唯一地表示为[x,y].用(1 -k)x⊕ky表示唯一点z∈[x,y],使得d(x,z)=kd(x,y),d(y,z)=(1 -k)d(x,y),其中0 ≤k≤1.如果每一个X的测地三角形,至少和它在二维欧几里得空间R2中的比较三角形一样“瘦”或者“薄”,则称一个测地空间为CAT(0)空间.值得注意的是,这里定义的CAT(0)是在测地空间的基础上进行的.在一个测地空间X中,一个测地三角形Δ(x1,x2,x3)包含了X中的三个点(Δ的顶点),以及每一对点之间的测地线段(Δ的边).
在CAT(0)空间中,三角形Δ()x1,x2,x3的比较三角形是在二维平面R2中的三角形且使得对一切i,j∈{1,2,3} ,满足
设Δ 是X中的测地三角形,且是它在R2中的比较三角形,如果对一切x,y∈Δ 以及比较点,不等式成立,那么称三角形Δ满足CAT(0)不等式.
2013 年Bačák[2]将邻近点算法引入到CAT(0)空间X中.具体描述如下:对初值点∀x1∈X,有xn+1=(D ⊆X, ∀n ≥1, λn >0).事实上,如果函数f有极小元,且那么序列{xn}Δ 收敛于它的极小元[3].对任意λ>0,在CAT(0)空间X中函数f的Moreau-Yosida预解式[4]是:
其中f是一个真凸下半连续函数.简化Bačák 的邻近点算法可得xn+1=Jλnxn.
基于Bačák 所引入的算法,许多研究者结合已有的Halpern 型迭代算法[5]、Mann 型迭代算法[6]、Ishikawa 型迭代算法[7]、Noor 型迭代算法[8]、SP 型迭代算法[9]等算法,以及结合利普希茨伪压缩映射(Lipschitz Pseudo-contractive Maps)、严格伪压缩映射(Strictly Pseudo-contractive Maps)、边界算子(Bounded Operators)等算子,得到了许多研究成果[10],使得非线性分析的理论得到了进一步的发展和完善.
2021 年Weng 等[11]在CAT(0)空间中提出了一种邻近点算法,其形式表达如下:
其中T表示一个单值非扩张映射,而S表示一个集值非扩张映射,f表示一个真凸下半连续函数;函数f预解式Jλ的不动点集F(Jλ) 与函数f的极小元集arg miny∈X f(y)等价[3];对任意λ>0,函数f的预解式Jλ是非扩张的[12].
基于上述研究,本文提出一种改进的邻近点算法,引入两个单值非扩张映射和一个集值非扩张映射,然后探究其算法的收敛性问题,并得到了肯定性的结论.
如果对任意x,y∈D,有[x,y]⊆D,其中[x,y]: ={λx⊕(1 -λ)y:0 ≤λ≤1} 是连接点x与y的唯一测地线,称CAT(0)空间X的子集D是凸的.设T:D→D是一个映射,用F(T)来表示映射T的不动点集,即F(T)={z∈D:Tz=z}.如果p,q,w是CAT(0)空间中的三个点,并且是测地线段[p,q]的中点,那么CAT(0)不等式蕴含了
当且仅当对一切p,q,w∈X,不等式
成立,那么一个测地空间(X,d)是一个CAT(0)空间.特别地,如果p,q是CAT(0)空间(X,d)中的两点,t∈[ 0,1 ],那么存在唯一点tp⊕(1 -t)q∈[p,q],使得
定义1设f:X→(-∞,∞]是一个函数,则称D(f): ={x∈X:f(x)<+∞}为函数f的有效定义域.如果D(f)≠∅,则称函数f是真的.
定义2[13]设f:X→(-∞,∞]是一个函数,则称函数f在x0∈X为下半连续(l.s.c)的,如果{xn}⊆X使得xn→x0,f(xn)→y,y∈(-∞,∞],则f(x0)≤y.
定义3设f:X→(-∞,∞]是一个真泛函,如果满足不等式
其中D⊆X是一个非空凸子集,则称函数f是凸的.
定义4[13]设{xn}是CAT(0)空间X中的一个有界序列,对任意x∈X,定义映射r(.,{xn}):X→[ 0,∞)且r(x,{xn})=supd(x,xn),则有
(i) {xn}的渐进半径定义为r( {xn})=inf{r(x,{xn}):x∈X};
(ii) {xn}的渐进中心定义为集合A( {xn})={x∈X:r(x,{xn})=r( {xn})}.
那么完备CAT(0)空间中的渐进中心A( {xn})恰好包含一个点[14].
定义5[13]在CAT(0)空间X中,如果x是序列{xn}的每一个子序列的唯一渐进中心,称序列{xn}Δ-收敛于x∈X,记为Δ -xn=x,并称x为序列{xn}的Δ -极限.此外,在X中取定序列{xn},使得{xn}Δ - 收敛于x∈X,且y∈X,x≠y,infd(xn,x)<infd(xn,y).因此,巴拿赫空间中的Opial 性质在每一个CAT(0)空间X也是成立的.
引理1[15]CAT(0)空间中的每一个有界序列有一个Δ收敛的子列.
引理2[16]设D是CAT(0)空间X中的非空闭凸子集,如果序列{xn}是D中的有界序列,那么序列{xn}的渐进中心在D中.
引理3[17]设序列{xn}是完备CAT(0)空间中的有界序列,且A( {xn})={x},如果{un}是{xn}的子序列,且A( {un})={u},序列{d(xn,u)}收敛,那么x=u.
引理4[12]设(X,d)是一个完备的CAT(0)空间,且f:X→(]-∞,∞是一个真凸下半连续函数,那么
成立,式中Jλ是f的Moreau-Yosida预解式.
引理5[18]设(X,d)是一个完备CAT(0)空间,且f:X→(-∞,∞]是一个真凸下半连续函数,那么对一切x,y∈X,λ>0,不等式
成立,式中Jλ是f的Moreau-Yosida预解式.
引理5中所述成立的不等式是次微分不等式.
定义6[19]设(X,d)是一个完备的CAT(0)空间,映射T:X→X,如果d(xn,Txn)= 0,称序列{xn}⊆X为T的渐进不动点序列.
设D是测地空间(X,d)的非空子集,CB(D)、CC(D)以及KC(D)分别表示D上的非空有界闭子集族、闭凸子集族、非空紧凸子集族;在CB(D)的Pompeiu-Hausdorff 距 离[20]定 义 为H(A,B)=max{supx∈Adist(x,B),supy∈Bdist(y,A)},对于A,B∈CB(D),dist(x,D)= inf{d(x,y):y∈D}表示点x到子集D的距离;设S:D→CB(D)是一个集值映射,如果x∈D,x∈Sx, 则称x是S的不动点.用F(S)表示集值映射S的所有的不动点的集合,即F(S)={x∈D:x∈Sx}.
定义7[21]如果对于一切x,y∈D满足d(Tx,Ty)≤d(x,y),称一个单值映射T:D→D是非扩张的.
定义8[21]如果对于一切x,y∈D,满足H(Sx,Sy)≤d(x,y),称一个集值映射S:D→CB(D)是非扩张的.
引理6[18]设D是完备CAT(0)空间(X,d)的非空闭凸子集,T:D→X是一个非扩张映射,{xn}是D中的有界序列,使得(xn,Txn)= 0,Δ -=x,x∈D,那么x=Tx.
引理7[21]设X是一个CAT(0)空间,D是X的一个非空闭凸子集;设是D的一个任意有限子集,αi∈( 0,1 ),i= 1,2,...,n使得αi= 1,则对∀z∈D,不等式成立.
引理8假设下述条件是满足的:
(1) (X,d)是一个完备的CAT(0)空间,D是X的一个非空闭凸子集;
(2)f:D→(-∞,∞]是一个真凸下半连续函数;
(3)Ti:D→D,i= 1,2是两个单值非扩张映射;
(4)S:D→CB(D)是集值非扩张映射;