[论文解读] Lectures on maximal monotone operators

R. R. Phelps|arXiv (Cornell University)|Feb 4, 1993

Holomorphic and Operator Theory被引用 71

一句话总结

本文在实Banach空间中对极大单调算子提供了自包含的导引，聚焦于其基础性质与结构差异——特别是类型(D)的极大单调算子与局部极大单调算子之间的区别。证明了类型(D)的强制极大单调算子必为局部极大单调算子，解决了非自反空间中这些类之间层级关系的关键问题。

ABSTRACT

This is a 30 page set of lecture notes, in Plain TeX, which were prepared for and presented as a series of lectures (10 1/2 hours over two weeks) at the 2nd Summer School on Banach Spaces, Related Areas and Applications in Prague and Paseky, Czech Republic, during August, 1993. They consist of a largely self-contained exposition of both classical and recent basic facts about maximal monotone operators on Banach spaces, motivated in part by the goal of highlighting several fundamental properties of such operators which remain open questions in nonreflexive Banach spaces.

研究动机与目标

• 在任意实Banach空间中建立极大单调算子的全面、自包含的基础理论，尽量减少对自反性的依赖。
• 厘清不同类极大单调算子之间的关系，特别是类型(D)与局部极大单调算子之间的关系。
• 研究类型(D)的极大单调算子类是否严格包含局部极大单调算子类。
• 证明在较弱的值域条件下，强制的类型(D)极大单调算子必为局部极大单调算子。
• 解决关于极大单调算子和的问题，特别是当其中一个为闭凸集的指示函数次微分时。

提出的方法

• 使用基本的泛函分析工具，包括Hahn-Banach定理和Brouwer不动点定理（见引理1.7），推导核心性质。
• 通过$E \times E^*$中的图像定义单调算子与极大单调算子，强调其序理论上的极大性条件。
• 应用变分不等式刻画度量投影与对偶映射，证明其单调性。
• 利用命题4.6中的恒等式关联凸组合中的内积，这对证明局部极大性至关重要。
• 通过反证法结合分离泛函（利用引理4.7）证明某些点不可能位于单调算子的值域之外。
• 在定理4.8中应用稠密性与强制性论证，证明$R(T)$稠密且$T$强制可推出局部极大性。

实验结果

研究问题

• RQ1 类型(D)的极大单调算子类是否严格大于局部极大单调算子类？
• RQ2 在何种条件下，极大单调算子为局部极大单调算子？
• RQ3 当一个极大单调算子与一个闭凸集的指示函数的次微分的定义域在内部相交时，其和是否仍为极大单调算子？
• RQ4 若值域条件$R(T) = E^*$或$\overline{R(T)} = E^*$与强制性结合，是否能推出局部极大性？
• RQ5 能否在不依赖自反性的情况下，仅由类型(D)算子的极大性与强制性推导出局部极大性？

主要发现

• 强制的类型(D)极大单调算子为局部极大单调算子，如推论4.9所示。
• 若$R(T) = E^*$，则$T$为局部极大单调算子，如定理4.8的第一种情况所确立。
• 若$\overline{R(T)} = E^*$且$T$为强制算子，则$T$为局部极大单调算子，如定理4.8的第二种情况所示。
• 局部极大性的证明依赖于反证法：假设存在点$z^* \notin T(z)$但满足单调性不等式，将通过稠密性与强制性导致范数爆炸。
• 恒等式(4.1)在分析单调性条件中凸组合时至关重要，使分离泛函的构造成为可能。
• 第4.5节中的例子表明，局部极大单调算子类可能严格大于类型(D)的极大单调算子类，尽管该问题仍待解决。