[论文解读] For maximally monotone linear relations, dense type, negative-infimum type, and Fitzpatrick-Phelps type all coincide with monotonicity of the adjoint

Heinz H. Bauschke, Jonathan M. Borwein+2 more|arXiv (Cornell University)|Mar 31, 2011

Optimization and Variational Analysis参考文献 43被引用 7

一句话总结

该论文证明，在巴拿哈空间上的极大单调线性关系中，稠密型（D）、负下确界型（NI）和Fitzpatrick-Phelps型（FP）三者等价，且均等价于其共轭算子的单调性。证明通过凸分析与巴拿哈空间对偶理论中的高级工具，解决了单调算子理论中两个长期悬而未决的问题：即共轭算子的单调性蕴含全部三种类型，反之亦然。

ABSTRACT

It is shown that, for maximally monotone linear relations defined on a general Banach space, the monotonicities of dense type, of negative-infimum type, and of Fitzpatrick-Phelps type are the same and equivalent to monotonicity of the adjoint. This result also provides affirmative answers to two problems: one posed by Phelps and Simons, and the other by Simons.

研究动机与目标

• 解决Phelps与Simons提出的问题：共轭算子的单调性是否蕴含线性极大单调算子为类型（D）？
• 回答Simons关于类型（FP）是否蕴含类型（NI）的问题。
• 将极大单调算子的三种不同类型——（D）、（NI）与（FP）——统一为由共轭单调性刻画的单一特征。
• 将已知结果从连续线性算子推广至巴拿哈空间中的一般线性关系。
• 利用Fenchel共轭与对偶性，对线性关系背景下的单调性类型提供全面刻画。

提出的方法

• 利用Fenchel共轭与对偶理论分析算子图像及其共轭的结构。
• 应用双对偶空间中网的弱*×强收敛概念，刻画类型（D）算子。
• 采用指示函数与epigraphical技术处理算子图像的凸性与闭包性质。
• 运用Fenchel-Moreau定理与次微分演算，推导单调性类型的必要与充分条件。
• 通过函数 $ F(x,x^*) = \langle x,x^*\rangle + \iota_{\operatorname{gra}A}(x,x^*) $ 的Fenchel共轭，将算子的性质与其共轭关联。
• 基于下确界卷积与指示函数连续性，采用反证法推导关键不等式。

实验结果

研究问题

• RQ1 共轭算子的单调性是否蕴含极大单调线性关系为类型（D）？
• RQ2 若极大单调线性关系为类型（FP），是否必为类型（NI）？
• RQ3 在一般巴拿哈空间中，极大单调线性关系的三种类型——（D）、（NI）与（FP）——是否等价？
• RQ4 该等价性是否可在不假设算子连续性的前提下建立？
• RQ5 共轭算子的单调性与三种极大单调算子类型之间的确切关系为何？

主要发现

• 在巴拿哈空间上的极大单调线性关系中，三种类型——（D）、（NI）与（FP）——彼此等价。
• 共轭算子的单调性等价于所有三种极大单调算子类型。
• 本文对Phelps与Simons提出的问题给出了肯定回答，即解决了已知蕴含关系的逆命题问题。
• 本文通过证明线性极大单调算子中类型（FP）蕴含类型（NI），解决了Simons的问题47.6。
• 该等价性即使在不假设算子连续性的条件下依然成立，从而将先前结果推广至一般线性关系情形。
• 文中提供了一个显式例子：$ A $ 在 $ L^1[0,1] $ 上为类型（D）、（NI）与（FP），且 $ A^* $ 单调，从而验证了理论结果。