1. 引言
自1960年起,Browder和Lions等人提出并创立了变分不等式后,变分不等式理论就开始不断发展并逐渐壮大了起来,后期也成了数学的一个独立分支。1966年,Hartman和Stampacchia等人首次提出了著名的Hartman-Stampacchia变分不等式,即:
设K是
中的有界闭凸集,
是一连续映像,
求
使得
近年来,随着变分不等式理论的发展,变分不等式问题已经广泛应用于微分方程、最优化理论、运筹学与控制论等诸多学科中 [1] [2] 。上述Hartman-Stampacchia变分不等式可以转化为如下相应的变分包含问题:
求
使得
其中
是在
处的法锥。
变分包含问题作为变分不等式问题最为重要的一个推广,自提出后就受到广大学者的高度关注。同时,国内外大量数学研究人员针对变分包含问题给出了不同的研究方法与技巧,这不仅极大发展了对变分包含问题的研究,也使得变分包含问题的其它相关内容变得更加丰富。其中涉及寻找两个集值算子和的零点的变分包含问题在变分分析和优化的各个领域中发挥着重要的作用。例如,在某些约束条件下,经典的最小化两个凸函数的和的优化问题可以转化为寻找这些函数的次微分算子和的零的问题。一种比较流行且非常有效的求解变分包含问题的算法是Douglas-Rachford分裂算法(简称DR算法)。
DR算法最初是由Douglas和Rachford [3] 在1956年提出的,用于数值求解热传导中产生的线性方程组。Lions和Mercier [4] 在1979年做出了开创性工作,证明了DR序列对不动点的弱收敛性,具体来说,就是将DR算法推广到了求两个极大单调算子和的零点的问题。
在最近的几年里,DR算法得到了迅速的发展。2016年,Bauschke等人在文献 [5] 中得到,如果一个集合是仿射子空间,则整个阴影序列是弱收敛的。并将Spingarn的一个结果从半空间推广到允许最小二乘解的一般闭凸集。2017年,在 [6] 中提供了在凸可行性的设定中完全弱收敛的完整证明,并给出了一个一般情况下弱收敛的更一般的充分条件。2018年,Dao和Phan在 [7] 中提出了一种自适应的DR算法,在适当的条件下该算法全局收敛到不动点。其它关于DR算法更详细的介绍见 [8] [9] [10] 。
本文主要研究如下变分包含问题:
求
使得
其中
都是集值算子,H是实Hilbert空间。Hilbert空间可以理解为欧氏空间的无限维推广,其不局限于有限维的情况。实Hilbert空间,即实数域上的Hilbert空间。
我们基于DR算子定义了一个新算子,并通过建立该算子的不动点与原包含问题解的关系,给出了求该变分包含问题解的方法以及解存在且唯一的充要条件。最后我们结合了序列的Fejér单调性及其相关性质,给出了我们的收敛性结果。
2. 预备知识
在本篇文章中,设H是一个带有内积
和范数
的实Hilbert空间。
表示非负整数集,
表示实数集,
表示非负实数集,
表示正实数集。用符号
表示A是H中的集值算子,
表示A是H中的单值算子。
设A是H中的一个算子,用
表示A的有效域,
表示A的图,
表示A的不动点集。用
表示A的逆,且它的图为
。A的零点集为
。
定义2.1称算子
i) 是Lipschitz连续的,如果存在常数
使得
ii) 是非扩张的,如果它是Lipschitz连续的且常数为1,即满足
iii) 是拟非扩张的,如果满足
定义2.2 算子
的预解式定义如下:
其中I是恒等算子。我们定义
的松弛修正预解式为:
引理2.3 [10] 设
,
,则
且等价于
定义2.4 设C是H中的非空子集,
是H中的序列。则
关于C是Fejér单调的,如果满足
引理2.5 [10] 设C是H中的非空子集,
是H中的序列。假设
关于C是Fejér单调的,则
是有界的。
引理2.6 [10] 设C是H中的非空子集,
是H中的序列。假设
关于C是Fejér单调的,
的每一个序列弱聚点都属于C。则
弱收敛到C中的一个点。
引理2.7 [10] 设D是H中的非空闭凸子集,
是非扩张的。设
是D中的序列,
。假设
,则
。
引理2.8 [10] 设
是H中的序列,则
弱收敛当且仅当它是有界的且最多有一个序列弱聚点。
3. 主要结果
在本节中,设
都是集值算子,且B是正齐次算子。
,且
。定义
并考虑修正的自适应DR算子
给定初始点
,通过该修正的自适应DR算法
生成的序列
我们也称为DR序列。为了得到我们的结果,首先给出以下关键性假设:
关键性假设 假设下列条件成立:
(1)
为了得到原变分包含问题的解,我们结合关键性假设以及新算子的定义,给出了下面的一个引理。
引理3.1 下列结论成立:
i)
。
ii) 假设
,则对
,
因此,如果
是单值的,那么
。
iii) 假设(1)成立,则
当且仅当
。此外,如果
是单值的,那么
证明:i) 由算子T的定义可知
ii) 由于
,故
。任取
,则
因此,
所以,如果
是单值的,那么有
。
iii) 由结论ii)和关键性假设(1)成立,我们有
因此,
当且仅当
。并且,如果
是单值的,那么有
证毕。
该引理给出了原包含问题的解存在的充要条件,并给出了求原问题解的方法,即,通过利用新算子的不动点,我们就可以找到原问题的解。因此,我们的分析将主要围绕着在关键性假设条件下收敛到不动点的问题展开。
由于Fejér单调性的概念是研究各种迭代方法的中心,特别是在非扩张算子的不动点的构造方面。下面我们给出一个例子简要说明Fejér单调性与不动点之间的联系。同时该例子也与我们主要结果的证明紧密相连。
设C是H中的非空子集,
是拟非扩张映射使得
。给点初始点
,设
则
关于
是Fejér单调的。
最后给出我们的主要结果。
定理3.2 设
使得
和
之一成立。假设
,
和
都是单值的,
且对
,
(2)
设
是由T生成的DR序列,则
弱收敛到点
。
此外,下列结论成立:
i) 如果
,则序列
和
强收敛到
,且
ii) 如果T是非扩张的,则T的渐进正则率为
,即
iii) 如果对
,
(3)
那么
,(2)成立,且T是非扩张的。
证明:令
且
则我们可以得到
且
(4)
由引理2.3和引理3.1 ii),对
,
(5)
此时,对
,
因此,
,
由(4)可得
于是有
故
关于
是Fejér单调的,且根据引理2.5因此是有界的。
因此,对
,
(6)
所以
令
是
的一个弱聚点,则存在
的一个子列
使得
由引理2.7得
。再根据引理2.6可得
弱收敛到点
。
i) 如果
,则
,并且由(6)可得,对
,
(7)
由于
,则对
,
(8)
通过结合(7)和(8),我们有
于是
这也意味着
ii) 由于T是非扩张的,因此对
,
于是我们有
其中
是不超过
的最大整数。因此
iii) 假设
,(3)成立,则显然有对
,(2)成立。事实上,(2)是(1)中
时的情况。
根据(3)和(5),我们可以得到,对
,
因此T是非扩张的。
证毕。