[论文解读] On Gossez type (D) maximal monotone operators

B. F. Svaiter, M. Marques Alves|arXiv (Cornell University)|Mar 30, 2009

Optimization and Variational Analysis参考文献 17被引用 33

一句话总结

本文在非自反巴拿赫空间中建立了戈泽类型 (D) 与类型 (NI) 最大单调算子之间的等价性，证明了这两类算子完全相同。通过弗茨帕特里克函数理论及网的性质，作者证明了类型 (NI) 蕴含类型 (D)，反之亦然，从而统一了此前两个独立的算子类，并将已知性质（如双对偶扩张的唯一性及扰动的满射性）推广至戈泽类型 (D) 算子的全类。

ABSTRACT

Gossez type (D) operators are defined in non-reflexive Banach spaces and share with the subdifferential a topological related property, characterized by bounded nets. In this work we present new properties and characterizations of these operators. The class (NI) was defined after Gossez defined the class (D) and seemed to generalize the class (D). One of our main results is the proof that these classes, type (D) and (NI), are identical.

研究动机与目标

• 解决戈泽类型 (D) 与类型 (NI) 最大单调算子在非自反巴拿赫空间中是否等价的开放问题。
• 将此前仅归因于类型 (NI) 算子的性质统一至戈泽类型 (D) 算子类。
• 建立非线性最大单调算子在双对偶空间中最大单调扩张的唯一性与戈泽类型 (D) 算子之间的等价关系。
• 将近期关于弗茨帕特里克函数与凸表示的结果推广至更广泛的戈泽类型 (D) 算子类。

提出的方法

• 利用弗茨帕特里克函数族刻画最大单调算子，并分析其在非自反空间中的性质。
• 应用严格布龙斯特德-罗卡拉罗尔性质，通过网分析算子定义域与值域中点的逼近。
• 运用芬彻尔-勒让德共轭与芬彻尔-罗卡拉罗尔对偶性，推导出限制在闭球上的函数的共轭恒等式。
• 利用 X 到其双对偶 X** 的典范嵌入，分析算子的扩张及其最大性。
• 借助 (D) 与 (NI) 的等价性，将 (NI) 理论中的已知结果（如满射性与值域凸性）转移至 (D) 算子。
• 应用 ε-次微分与度量正则性理论，研究算子在扰动下的行为。

实验结果

研究问题

• RQ1 戈泽类型 (D) 最大单调算子是否与非自反巴拿赫空间中的类型 (NI) 最大单调算子等价？
• RQ2 在双对偶空间中最大单调扩张的唯一性是否刻画了戈泽类型 (D) 算子？
• RQ3 类型 (NI) 算子的性质（如扰动的满射性与值域凸性）能否推广至戈泽类型 (D) 算子？
• RQ4 弗茨帕特里克函数在刻画 (D) 与 (NI) 类算子中起什么作用？
• RQ5 是否存在反例表明 (D) 与 (NI) 是不同的？抑或它们始终完全相同？

主要发现

• 在非自反巴拿赫空间中，戈泽类型 (D) 与类型 (NI) 最大单调算子的类完全相同。
• 对于非线性最大单调算子，其在双对偶空间中最大单调扩张的唯一性等价于其为戈泽类型 (D) 算子。
• 此前仅在类型 (NI) 算子上建立的所有性质（如通过对偶映射扰动的满射性与值域凸性）现在对戈泽类型 (D) 算子也成立。
• 戈泽类型 (D) 算子满足严格布龙斯特德-罗卡拉罗尔性质，确保定义域与值域中点可被算子图像中的序列在稠密意义下逼近。
• 弗茨帕特里克函数族对戈泽类型 (D) 算子提供了完整的刻画，其最小函数在算子定义域上与对偶积完全一致。
• 存在一个反例表明，线性最大单调算子可以是非 (D) 的，但仍具有唯一的双对偶扩张，这表明该等价性结果无法进一步推广至所有线性算子。