[论文解读] The Sum Theorem for Linear Maximal Monotone Operators

M. D. Voisei|ArXiv.org|Sep 3, 2006

Differential Equations and Boundary Problems被引用 20

一句话总结

本文在差集 D(A)−D(B) 闭的条件下，证明了巴拿赫空间中线性极大单调算子的 Rockafellar 和猜想。利用凸分析与对偶理论，作者证明了 A+B 是极大单调的，为在非自反空间中以更弱于先前结果的约束条件解决一般猜想提供了重要进展。

ABSTRACT

The goal of this article is to give a positive answer to Rockafellar's maximality of the sum conjecture in the linear multi-valued operator case.

研究动机与目标

• 解决 Rockafellar 关于巴拿赫空间中两个极大单调算子之和的极大性猜想在线性多值情形下的问题。
• 通过引入 D(A) − D(B) 闭的条件，弱化标准约束 int(D(A) ∩ D(B)) ≠ ∅。
• 在这一新的、更一般的资格条件下，建立线性极大单调算子之和 A + B 的极大性。
• 在直线算子背景下，提出一种基于凸对偶与下确界连续性的新证明技术。

提出的方法

• 在 X × X* 上定义凸函数 α 和 β，分别表示算子 A 和 B 的单调性条件，取扩展实数值。
• 构造一个凸函数 Φ: X × X* × X* × X → ℝ ∪ {∞}，将 α、β 和一个常数项结合，以编码和算子 A + B。
• 应用凸分析中的基本对偶公式（Zălinescu, [6, 定理 2.7.1(vii)]），将 Φ 的下确界与其中 Fenchel 变换的共轭联系起来。
• 利用 D(A) − D(B) 的闭性，确保 Φ 的定义域的投影的内在核心包含 0，从而保证对偶公式的成立。
• 从对偶公式推导出一个关键不等式 (4)，随后将其用 A 和 B 上的下确界重新表达，以分析和的单调性。
• 证明 A 和 B 上的下确界均趋于零，从而推出 (x₀, x₀*) ∈ A + B，最终证明 A + B 的极大性。

实验结果

研究问题

• RQ1 在何种条件下，巴拿赫空间中两个线性极大单调算子之和 A + B 是极大单调的？
• RQ2 在直线情形下，能否用更弱的条件替代标准约束 int(D(A) ∩ D(B)) ≠ ∅？
• RQ3 当 D(A) − D(B) 闭时，即使定义域的交集内部为空，A + B 的极大性是否仍能保证？
• RQ4 凸分析中的对偶理论能否有效用于证明线性单调算子之和的极大性？
• RQ5 D(A) − D(B) 的闭性是否足以确保对任意与 A + B 相关的单调对 (x₀, x₀*)，都有 (x₀, x₀*) ∈ A + B？

主要发现

• 若 D(A) − D(B) 闭，则两个线性极大单调算子之和 A + B 是极大单调的。
• D(A) − D(B) 闭的条件在某种意义上既是充分也是必要的，因为若放松该条件则会出现反例。
• 证明依赖于对一个精心构造的凸函数 Φ 应用凸分析中的基本对偶公式。
• 关键步骤是证明某些内积在 A 和 B 上的下确界趋于零，这蕴含 (x₀, x₀*) ∈ A + B。
• 该结果推广了 Phelps & Simons 以及 Voisei 的先前结果，将其扩展到更广泛的线性算子类。
• D(A) − D(B) 的闭性是线性算子和定理成立的最小且自然的条件。