[论文解读] A Brezis-Browder theorem for SSDB spaces

Stephen Simons|arXiv (Cornell University)|Apr 24, 2010

Optimization and Variational Analysis参考文献 2被引用 6

一句话总结

本文将巴尔兹-布劳尔定理由一致巴拿赫空间中的极大单调性推广至对称自对偶巴拿赫（SSDB）空间。通过引入一个新的横截性结果，并利用SSDB空间的对偶结构，作者证明：一个范数闭的、q-正则的线性子空间是极大q-正则的，当且仅当其零化子是q-负的（或极大q-负的），从而通过一个对称双线性形式与对偶空间的等距同构，将经典结果推广至具有内在对偶性的更广泛空间类。

ABSTRACT

In this paper, we show how the Brezis-Browder theorem for maximally monotone multifunctions with a linear graph on a reflexive Banach space, and a consequence of it due to Yao, can be generalized to SSDB spaces.

研究动机与目标

• 将经典Brezis-Browder定理在一致巴拿赫空间中关于极大单调性的结论推广至更一般的对称自对偶巴拿赫（SSDB）空间框架。
• 通过子空间的零化子及其对偶性质，建立SSDB空间中极大q-正则性的表征。
• 通过对称双线性形式与等距对偶结构，将Yao在一致巴拿赫空间中关于单调线性算子的结果推广至SSDB框架。
• 提供一个统一的框架，用于描述具有内在对偶性的空间中的单调性与极大性，其灵感来源于希尔伯特空间与一致巴拿赫空间中空间与其对偶之间的对偶关系。

提出的方法

• 引入对称自对偶巴拿赫（SSDB）空间的概念，其定义包括一个对称双线性形式、一个二次泛函q、一个范数，以及与对偶空间的等距同构。
• 为SSDB空间中的子集定义q-正则性与q-负性，推广一致巴拿赫空间中单调性与极大单调性的概念。
• 建立一个横截性结果（定理3.3）作为关键技术工具，将凸函数的Fenchel共轭与对称双线性形式联系起来。
• 利用闭q-正则子空间的示性函数的Fenchel共轭，推导出涉及零化子与二次泛函的对偶条件。
• 通过空间与其对偶之间的等距同构ι，证明：一个范数闭的q-正则线性子空间A是极大q-正则的，当且仅当其零化子A⁰是q-负的。
• 通过例2.3将结果应用于标准的一致巴拿赫空间情形，其中E×E*成为SSDB空间，从而将原始的Brezis-Browder定理与Yao定理作为推论恢复。

实验结果

研究问题

• RQ1 能否将一致巴拿赫空间中关于极大单调性的Brezis-Browder定理推广至具有对称对偶性的更广泛空间类？
• RQ2 在SSDB空间中，何种条件可确保一个范数闭的、q-正则的线性子空间是极大q-正则的？
• RQ3 在SSDB框架下，q-正则子空间的零化子如何与其极大性相关？
• RQ4 SSDB空间中是否存在一种横截性原理，可推广凸分析与单调算子理论中使用的对偶条件？
• RQ5 在SSDB框架下，能否恢复经典结论：极大单调性与伴随算子单调性之间的等价性？

主要发现

• 在SSDB空间中，一个范数闭的、q-正则的线性子空间A是极大q-正则的，当且仅当其零化子A⁰是q-负的。
• 同一子空间A是极大q-正则的，当且仅当其零化子A⁰是极大q-负的，从而在极大性与零化子性质之间建立了对偶关系。
• 定理3.3中的横截性结果提供了一个关键技术工具，将子空间A的示性函数的Fenchel共轭与对称双线性形式及零化子联系起来。
• 该证明依赖于一个关键事实：闭q-正则子空间的示性函数的Fenchel共轭满足一个涉及零化子与二次泛函的对偶条件。
• 当SSDB空间取为E×E*并配备标准对偶与对称双线性形式时，经典Brezis-Browder定理与Yao定理作为推论被恢复。
• 等距同构ι: B → B* 确保SSDB空间的对偶结构保持了极大单调性所必需的关键性质，从而推广了一致巴拿赫空间的情形。