[论文解读] Generalized Projection Operators in Banach Spaces: Properties and Applications

Ya. I. Alber|ArXiv.org|Nov 25, 1993

Optimization and Variational Analysis被引用 74

一句话总结

本文在巴拿赫空间中引入了广义投影算子，其继承了希尔伯特空间中度量投影的优良性质，如非扩张性和强单调性，而这些性质在一般巴拿赫空间中通常会丢失。文章建立了使用这些算子的迭代方法的收敛性定理，通过等价定理和类李雅普诺夫不等式，证明了变分不等式与维纳-霍普夫方程的强收敛性，从而在非希尔伯特空间设置下实现了稳定的数值求解方法。

ABSTRACT

This paper is an account (without proofs) of the results of our work "Metric and Generalized Projection Operators in Banach Spaces: Properties and Applications", funct-an/9311001. The Section 9 establishing a connection between variational inequalities and Wienner-Hopf equations in Banach spaces by means of metric and generalized projection operators, is added.

研究动机与目标

• 为解决巴拿赫空间中度量投影缺乏非扩张性和强单调性的问题，该问题阻碍了迭代方法的收敛性。
• 在巴拿赫空间中定义广义投影算子 Π_Ω，使其保持希尔伯特空间投影的关键性质。
• 建立变分不等式与涉及广义投影的算子方程之间的等价关系，从而实现稳定的迭代求解方法。
• 证明基于广义投影的迭代过程在巴拿赫空间中求解变分不等式与算子方程时的强收敛性。

提出的方法

• 通过使用李雅普诺夫泛函 ϕ(t) 定义广义投影算子 Π_Ω: B → Ω ⊂ B，以确保绝对最优逼近等性质。
• 通过关系式 Π_Ω = π_ΩJ 定义 Π_Ω，其中 π_Ω 是对偶空间中的投影，J 是归一化对偶映射。
• 建立涉及 Π_Ω 的变分不等式与维纳-霍普夫方程之间的等价关系，取代原本不收敛的基于度量投影的迭代。
• 证明如 x_{n+1} = Π_ΩJ*(Jx_n - α_n(Ax_n - f)) 这类迭代方案在求解变分不等式时的强收敛性。
• 利用形如 ϕ(||P_Ωx - ξ||) ≤ ϕ(||x - ξ||) - ϕ(||P_Ωx - x||) 的类李雅普诺夫不等式来确保收敛性。
• 使用凸性模与光滑性模，对巴拿赫空间中度量投影的一致连续性提供定量估计。

实验结果

研究问题

• RQ1 能否在巴拿赫空间中构造广义投影算子，以重现希尔伯特空间中度量投影的收敛性与稳定性特性？
• RQ2 在巴拿赫空间中，基于广义投影的变分不等式迭代方法的强收敛性需要满足什么条件？
• RQ3 如何将巴拿赫空间中的变分不等式等价地重述为涉及广义投影的算子方程？
• RQ4 在一致凸且一致光滑的巴拿赫空间中，度量投影的一致连续性行为如何？
• RQ5 能否通过新的算子框架克服巴拿赫空间中度量投影非扩张性失效的问题？

主要发现

• 广义投影算子 Π_Ω 确保了在巴拿赫空间中求解变分不等式时迭代过程的强收敛性，即使在度量投影失效的情况下亦成立。
• 算子 Π_Ω 满足对所有 ξ ∈ Ω 成立的不等式 ϕ(||Π_Ωx - ξ||) ≤ ϕ(||x - ξ||) - ϕ(||Π_Ωx - x||)，其中 ϕ(t) = t^2，使其成为绝对最优逼近。
• 提出一个新的等价定理，将变分不等式与涉及 Π_Ω 的维纳-霍普夫方程联系起来，从而支持收敛的迭代方案。
• 迭代过程 x_{n+1} = Π_ΩJ*(Jx_n - α_n(Ax_n - f)) 强收敛于变分不等式的解。
• 通过凸性模与光滑性模，推导出度量投影一致连续性的定量估计，其界涉及 g_B^{-1} 与 δ_B^{-1}。
• 证明广义投影算子 Π_Ω 是希尔伯特空间度量投影的自然推广，且计算复杂度相当。