在本节中,我们给出了主要结果。在续集中,我们假设满足以下条件。
条件3.1 小时是一个真正的希尔伯特空间。是下半连续凸函数,并且是满足条件(H1)-(H5)的双函数。
条件3.2 F类是一个具有系数的强正有界线性算子,是一个τ-收缩满足,其中是一个常数,并且是一个极大单调映射。
条件3.3 是一个α-逆强单调算子与aβ-逆强单调算子。
条件3.4 λ和μ是两个常数,因此和.
条件3.5 非空。
现在,我们首先考虑以下方案。
算法3.1对于任何,定义网络如下:
(3.1)
备注3.2网络由(3.1)定义的定义是明确的。事实上,从引理2.1和2.3,我们知道映射和和是非扩展性的。对于任何,我们定义一个映射。我们注意到是积极的,并且。因此,我们有
这表明W公司是一种收缩。因此,W公司具有唯一的不动点,其表示为.
定理3.3 网络 由定义(3.1)强收敛于唯一解 关于下列变分不等式:
(3.2)
备注3.4首先,我们可以很容易地检查系数是强单调的现在,我们证明了变分不等式(3.2)解的唯一性。假设和两者都是(3.2)的解决方案。那么我们有
将最后两个不等式相加得出
的强单调性意味着证明了其唯一性。
接下来,我们给出了定理3.3的详细证明。
证明拿起很明显.设置和为所有人从引理2.3可以得出
和
(3.3)
因此,我们有
从(3.1)中,我们得到
所以,
因此是有界的,所以,,和都是有界的。从(3.3)和引理2.3可以得出
(3.4)
通过(3.1),我们得到
(3.5)
哪里一些持续的满足
根据(3.4)和(3.5),我们已经
所以,
这意味着
自是绝对不可扩展的
所以,
(3.6)
自是1-逆强单调的,我们有
这意味着
(3.7)
因此,通过(3.6)和(3.7),我们得到
(3.8)
将(3.5)替换为(3.8),我们得到
因此,我们得出
所以,
通过(3.1),我们得到
由此可见
(3.9)
接下来,我们展示网络相对正常紧凑事实上,假设是这样的作为.放置,和从(3.9)中,我们有
(3.10)
自是有界的,在不损失一般性的情况下,我们可以假设弱收敛到一点.
接下来,我们证明。我们首先展示.签署人,我们知道
由(H2)可知
所以,
(3.11)
对于任何和,让根据(3.11)
自,我们有此外,通过B类,我们有因此,从(H4)和φ,和弱,这就说明了
(3.12)
根据条件(H1)、(H4)和(3.12),我们还得出
因此
出租,我们有
这意味着.
接下来,我们展示一下事实上,因为A类是α-逆强单调,A类是Lipschitz连续单调映射。从引理2.2可以得出是最大单调的。让,即,又一次,因为,我们有,即,.由于R(右),我们有
所以,
它源自,和弱到
它遵循的是那个,即,.因此因此,如果我们可以替换对于在(3.10)中,我们得到
(3.13)
因此到实际上意味着强烈。这显示了网络的相对规范兼容性作为.
现在,我们回到(3.10)。如果我们将限制视为在(3.10)中,我们得到
特别地,求解下列变分不等式
(3.14)
我们知道变分不等式(3.14)等价于它的对偶变分不等式
因此,通过变分不等式的唯一性,我们推断出整个网络范数收敛于作为。这就完成了证明。□
接下来,我们引入了一个显式格式并证明了它对变分不等式(3.2)的唯一解的强收敛性。
算法3.5对于任何,定义顺序由迭代生成
(3.15)
哪里是中的实数序列.
定理3.6 假设还满足以下条件:
(C1) 和 ;
(C2).
然后是序列 由生成(3.15)强收敛于唯一解 关于变分不等式(3.2).
证明我们写作和为所有人然后根据引理2.3,对于任何,
和
(3.16)
因此我们有
通过归纳,从(3.15)可以得出
因此,是有界的,所以,,,和都是有界的。由(3.15)可知
(3.17)
请注意
(3.18)
将(3.18)替换为(3.17),我们得到
请注意这与最后一个不等式和引理2.4一起意味着
再次使用引理2.3和(3.16),我们得到
(3.19)
通过(3.15),我们得到
(3.20)
哪里是一种持续的满足
从(3.19)和(3.20),我们有
所以,
这意味着
自是绝对不可扩展的
因此
(3.21)
自是1-逆强单调的,我们有
这意味着
(3.22)
因此,通过(3.21)和(3.22),我们得到
(3.23)
将(3.20)替换为(3.23),我们得到
因此,我们得出
所以,
接下来,我们证明
(3.24)
哪里是变分不等式(3.2)的唯一解。为了看到这一点,我们可以取一个子序列属于令人满意的
(3.25)
和弱收敛到一点作为.通过与定理3.3类似的论点,我们可以推断.自求解变分不等式(3.2),通过组合(3.24)和(3.25),我们得到
最后,我们证明作为由(3.15)可知
也就是说,
哪里和很容易看出和因此,通过引理2.4,我们得出如下结论:强烈收敛到该点。这就完成了证明。□