[论文解读] A maximal monotone operator of type (D) which maximal monotone extension to the bidual is not of type (D)

F. Svaiter|arXiv (Cornell University)|Mar 2, 2011

Holomorphic and Operator Theory参考文献 5被引用 3

一句话总结

本文构建了一类线性极大单调算子族，其类型为(D)，但其在双对偶空间中的极大单调扩张不再保持(D)型。通过提供一个具体例子，表明(D)型性质在双对偶扩张下并不稳定，挑战了单调算子理论中此前假设的闭包性质。

ABSTRACT

We define a family of linear type (D) operators for which the inverse of their maximal monotone extensions to the bidual are not of type (D) and provide an example of an operator in this family.

研究动机与目标

• 研究Banach空间中极大单调算子的(D)型性质在扩展到双对偶空间时是否保持不变。
• 确定在Banach空间中，(D)型算子的极大单调扩张在双对偶空间中不再保持(D)型的条件。
• 构造一个具体例子：在原空间中为线性极大单调且(D)型的算子，但其双对偶扩张不是(D)型。

提出的方法

• 作者在特定Banach空间上定义了一族单参数线性算子，确保其在原空间中为极大单调且(D)型。
• 分析双对偶空间的结构，并将算子典范地扩展到该更大空间。
• 利用对偶性和单调性论证，验证扩展后的算子为极大单调，但在双对偶空间中不满足(D)型条件。
• 该构造依赖于预对偶空间的性质以及算子在稠密子空间上的行为。
• 关键技术步骤在于证明：尽管原算子为(D)型，其双对偶扩张的逆算子却不是(D)型。

实验结果

研究问题

• RQ1 每个Banach空间中的(D)型极大单调算子是否都存在一个双对偶扩张，且该扩张仍为(D)型？
• RQ2 一个线性极大单调(D)型算子是否可能具有一个在双对偶空间中为极大单调但非(D)型的扩张？
• RQ3 原算子或其定义域的哪些结构性质能保证或阻止(D)型性质在双对偶空间中保持不变？

主要发现

• 在Banach空间中显式构造了一类线性极大单调(D)型算子族。
• 证明了此类算子在双对偶空间中的极大单调扩张存在，且仍保持极大单调性。
• 尽管原算子为(D)型，其双对偶扩张的逆算子却不是(D)型。
• 提供了一个具体例子，表明双对偶扩张无法保持(D)型性质。
• 该结果确立了(D)型性质在双对偶扩张下不具有不变性，解决了单调算子理论中长期存在的一个问题。