萎缩的投影算法与错误Costerro有界的线性映射

文摘

本文的目的是介绍和分析投影收缩算法与错误的有限集costerro有界的线性映射的设置一致凸的光滑的巴拿赫空间。这里,在有限维或紧性限制或误差项为零,序列的强极限点在这些映射的迭代计划一致凸的光滑的巴拿赫空间进行了研究。本文扩展了Ezearn和Prempeh扩张映射的结果真正的希尔伯特空间。

1。介绍

定点理论是一个吸引人的话题,有很多数学和工程学的应用在各个领域。在许多情况下,你可能需要找到一个映射的公共不动点的一个家庭。在实践中,可能需要修改,将问题转化为一个定点的问题(见,例如,皮卡德(1]和Lindelof [2])。定点问题的更多信息和它的应用程序特定类型的线性和非线性问题,有兴趣的读者应该是指唐代和张3(平衡问题),Solodov和Svaiter4(近点算法),高桥(5,6(凸优化和最小化问题),布卢姆和Oettli7)(变分不等式)。

在实践中,找到一个确切的封闭形式的解决方案一个定点的问题几乎是一个艰巨的任务。出于这个原因,这是特别重要的发展的可行的近似不动点的迭代计划或方法特定的地图,最值得注意的是,扩张映射类型的映射。例如,Halpern [8,曼9],石川[10)研究和开发了一个近似迭代计划扩张映射的不动点希尔伯特空间在一定条件下。在他们的方案中,强收敛总是保证所有闭凸子集的希尔伯特空间。Haugazeau [11)最初提出的投影法后由Solodov Svaiter [4]。一种投影法的相关性和本文称为核心缩小投影方法和错误,这是由高桥et al。12和Yasunori所使用的13]。强收敛结果总是保证所有闭凸子集的希尔伯特空间在一定条件下。

在[14],Ezearn和Prempeh改善Yasunori的有界性要求的结果13]关于缩小投影算法共同扩张映射的不动点真正的希尔伯特空间。在他们的研究结果,他们表明,有界性要求Yasunori的结果可能会被删除。也就是说,迭代序列的收敛Yasunori的论文中给出的方案,即误差项是独立的有界闭凸子集的一个真正的希尔伯特空间。删除的有界性,Ezearn Prempeh进一步提供了一个更好的估计算法的迭代序列的收敛结果特别是在有限维闭凸集时,进一步表明,紧凑,他们估计不涉及子集的直径。

本文结果表明,迭代序列的强极限点提出了在迭代计划1总是存在于一个有限维空间。时,它还表明,空间不是有限维,强大的极限点保证当闭凸子集紧凑。最后,强大的极限点也存在当误差项( )是零不管闭凸子集的紧性和空间的维数。

定义1。(正常对偶映射,看到lun (15])。让巴拿赫空间与规范,让的对偶空间 。表示二元性的产品。正常化对偶映射从来被定义为 对所有 。哈恩巴拿赫定理保证对于每一个 。对于本文的目的,兴趣主要位于时的情况所有单值吗 ,相当于声明呢是一个光滑的巴拿赫空间。
在这篇文章中,表示一个复数的实部是用来表示一组映射的不动点吗(即,= )。
研究本文中定义的映射。

定义2。(costerro有界的线性映射)。让是一个严格凸反射性的空间和光滑一个封闭的凸子集 。一个映射据说如果costerro有界的线性映射 这样,当 ,然后 立即的例子,这种映射的缩放因子 的比例因子位于封闭的单位圆盘。
为了国家的迭代计划,下面的函数定义。

定义3。(广义投影功能,看到阿尔伯16])。让是一个光滑的巴拿赫空间,让的对偶空间 。广义投影功能被定义为 对所有 ,在哪里正常化对偶映射来自哪里来 。很明显从广义投影功能的定义满足如下不等式: 对所有 。
注意,普遍投影功能是连续的。
下一个函数是在建立了迭代计划通过以下定理。

定理1。(广义投影,见李(17])。让是一个均匀凸光滑的巴拿赫空间,让是一个封闭的凸子集 。然后,对于每一个 ,存在一个唯一这样 独特的观点满足方程(7)是普遍的投影在 。也就是说,投影算符通过设置定义 在哪里是唯一的吗满足方程(7)。

备注1。在定理1请注意,如果是一个希尔伯特空间呢 。因此,(普遍)投影定义在方程(8)伴随着度量投影希尔伯特空间的设置。反过来不一定是真正的一般巴拿赫空间。
迭代计划说明如下。
迭代计划1所示。让是一个均匀凸光滑的巴拿赫空间,让(不一定是有界)是一个封闭的凸子集 。让是有限集costerro从有界的线性映射来与 。让和是真正非负序列满足下列条件:(我) (2) (3) (iv) 对所有和 。
然后,对于任意的与假设和 ,序列迭代定义由以下方案: 对所有 。

2。预赛

的不平等 在定义2可以写同样的规范。这是实现通过基本引理的Ezearn [18]。这里给出的证据是为了完整性。

定理2。(见,例如,Ezearn [18])。让是一个光滑的巴拿赫空间,让和任何 。然后, 对所有 。

引理1。(见Ezearn [18])。让是一个光滑的巴拿赫空间在哪里 。然后, 对所有 ( )当且仅当

证明。如果 ,引理的证明,因此,假定(不失一般性,它也同样认为 )。现在,如果 ,然后 相反,如果 对于每一个 ( ),然后 以限制为 ,然后通过定理2方程(14)成为 自 ,然后 因此证明。

推论1。的不平等 相当于 对所有 。

证明。通过考虑引理1时的情况 ,的不平等 相当于下列条件: 现在,取代与 , 与 ,和与 ,推论的证明。
下面,costerro有界的线性映射的一个重要的例子是鉴于称为Ezearn扩张映射的映射。Ezearn在他的论文(18),已定义的某些密切相关的映射(命名类型III变分扩张映射)。

推论2。(Ezearn扩张映射)。让是一个严格凸闭凸子集的光滑的反射性的空间 。然后,下面是一个非平凡costerro有界的线性映射的例子: 对所有和所有 。

证明。为 ,方程(19)减少如下: 满足的第一部分定义呢2。显示的第二部分定义2,如果 ,在哪里指的是固定的点集 ,然后方程(19)降低了以下评估: 的必然结果1相当于 。因此证明。

引理2。(见,例如,Ezearn [18])。让是一个非空的闭凸子集序列一致凸的光滑的巴拿赫空间这样 。进一步假设非空的。然后,广义预测的序列强烈收敛对于任何 。

命题1。(seeAlber [19),阿尔伯和帝国20.],Kamimura和高桥21])。让是一个真正的一致凸的巴拿赫空间和光滑是一个封闭的凸子集 。然后,下面的不平等是适用的: 对所有和 。

命题2。在二元性配对(连续性)。让巴拿赫空间,让的对偶空间 。表示二元性的产品。现在,对于和 ,假设的下列条件:(我) 和(2) 和然后, 。

引理3。(弱star-continuity在光滑的空间)。让是一个真正的光滑的巴拿赫空间。然后,norm-to-weak明星是连续的,在哪里是规范化对偶映射。

引理4。(见Kamimura和高桥21])。让一致凸和光滑的巴拿赫空间,让和两个序列在这样,要么或是有界的。如果 ,然后 。

3所示。主要结果

本文的主要结果的证明在这一节中,给出完成的定理3。以下推论和前题要援助到达结论的主要结果。

推论3。如果序列有很强的极限点,说什么 ,然后 。

证明。不失一般性,它假定序列子序列收敛于吗 。现在,对于 ,自组形成一个递减序列集, ,然后从迭代方案1, ,在哪里 。因此,可以看出 因此,在极限上面的不平等,得到如下: 由命题2和引理3, 结果,得到如下: 由于普遍的功能是负的,下确界的极限是所有非零 ,下面是获得: 对所有 。
通过引理4, 对所有 证明这一推论,由于规范功能的连续性和映射 。

引理5。对所有 ,的集和在迭代计划1闭凸集。

证明。因为是一个封闭的凸集的假设,这足以证明吗是一个封闭的凸集的 。引理的证明关闭方面,如果收敛于 ,然后通过全面功能的连续性 ,下面是获得: 结果, 。
最后,证明了凸性,让和 。首先,请注意,每当 ,然后获得不平等: 这可以扩展和观察到相当于吗 所以通过替换和乘并将它添加到乘以 ,下面是获得: 得出 因此,是凸的。
现在,定义

引理6。一组是一个封闭的凸集包含吗 。因此,序列强烈的普遍预测是收敛的对于任意的在均匀凸光滑的巴拿赫空间 。

证明。通过感应,可以看出集都是闭凸子集引理的帮助5和的定义在迭代方案1。此外,通过包容,这些集形成一个集序列的减少。也就是说,对所有 。所以,是否为空或非空的。由感应声称。
通过迭代方案1中的假设,它是观察到和是给定的。现在,假设对所有和选择任意 。然后,获得以下评估: 事实上,映射在哪里costerro在第三步是使用有界的线性映射。因此,它是显示 。从引理2,得出结论强烈收敛 。

引理7。序列满足不等式

证明。自 ,然后对每一个 , 发现这样 这意味着 然而,命题1意味着 所以除了方程(37),获得下列不等式: 这就完成了证明。

本文的主要结果是由下面的定理。

定理3。(主要结果)。让是一个均匀凸光滑的巴拿赫空间和假设有下列情形之一的:(我)的空间有限维。(2)凸集紧凑。(3) 。然后,和 ,在哪里表示(强)限制的迭代序列 。

证明。第一次观察到是一个有界序列。事实上,由引理7, 它简化了 因此, 。通过引理6和迭代方案1中的条件,它是一个有界序列。
考虑下面的情况下在定理3。(我):考虑到是有界的,是有限维的,那么由Bolzano-Weierstrass定理,有一个极限值,说什么 ,和推论3,因此,子序列强烈收敛 。例(2):考虑到紧凑,因为在度量空间,密实度意味着顺序密实度,呢作为一个有界序列有一个极限值,说 ,和推论3,因此,子序列强烈收敛 。例(3):考虑到 ,然后通过引理7, 标准函数的连续性和引理6,获得和结果因为它是唯一的序列的极限点 。

备注2。我们还要注意,无限维度,我们也可以认为序列以来疲软的极限点一致凸的光滑的巴拿赫是一个反射性的空间。

数据可用性

没有数据被用作研究而言。

的利益冲突

作者宣称没有利益冲突。

确认

作者感谢同事校对。