[論文レビュー] Nonreflexive Banach SSD spaces

Stephen Simons|ArXiv.org|Oct 25, 2008

Advanced Banach Space Theory参考文献 14被引用数 4

ひとこと要約

本稿では、バナッハ SSD 空間と VZ 関数を導入することで、SSD 空間、強く表現可能な多価関数、最大単調作用素の理論を統一する。バナッハ SSD 空間上の下半連続な VZ 関数は、最大 q-正の集合を生じさせ、それらの内在的共役はこの構造を保ち、強く表現可能な単調作用素の型 (NI) による特徴付けをもたらす。

ABSTRACT

In this paper, we unify the theory of SSD spaces, part of the theory of strongly representable multifunctions, and the theory of the equivalence of various classes of maximally monotone multifunctions.

研究の動機と目的

• 3 つの異なる分野を統一すること：SSD 空間、強く表現可能な多価関数、最大単調作用素。
• 適合ノルムと VZ 関数を備えたバナッハ SSD 空間を導入し、それらを分析すること。
• 最大 q-正の集合を通じて、VZ 関数とその内在的共役の間の双対性を確立すること。
• 負の整合性と双対性を用いて、強く表現可能な単調多価関数を型 (NI) であるものとして特徴付けること。

提案手法

• 対称的自己双対な双線形形式と適合ノルム構造を備えたバナッハ SSD 空間の概念を導入する。
• ノルムと下半連続性を用いてバナッハ SSD 空間上の VZ 関数を定義し、写像 $\mathcal{P}(f)$ を通じて q-正の集合と関連付ける。
• SSD 空間上の適切な凸関数の内在的共役 $f^{\,@}$ を導入し、それが VZ 性質を保つことを証明する。
• Rockafellar の和の共役の公式を用いて、$\widetilde{p}$-稠密性条件の下で MAS 関数と VZ 関数の同値性を証明する。
• $E \times E^*$ 上での負の整合性解析を適用し、[4]、[15]、[5] の結果を一般化する。
• 付録で非ハウスドルフ的 Fenchel-Moreau 定理を用いて、局所コン pact でない状況における双対性結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 バナッハ SSD 空間上の VZ 関数は、$\mathcal{P}(f)$ の構成を通じて最大 q-正の集合とどのように関係するか？
• RQ2 バナッハ SSD 双対空間において、MAS 関数と VZ 関数が一致する条件は何か？
• RQ3 内在的共役と双対性を用いて、強く表現可能かつ型 (NI) の単調多価関数の同値性を確立できるか？
• RQ4 $E \times E^*$ 構造とさまざまなノルムは、バナッハ SSD 空間の標準的モデルとしてどのように機能するか？
• RQ5 非ハウスドルフ的 Fenchel-Moreau 定理は、局所コン pact でない空間への双対性の拡張において、どのような役割を果たすか？

主な発見

• バナッハ SSD 空間上の下半連続な VZ 関数は、$\mathcal{P}(f)$ を通じて最大 q-正の集合を生じさせ、それらの内在的共役 $f^{\,@}$ も VZ 関数であり、$\mathcal{P}(f^{\,@}) = \mathcal{P}(f)$ が成り立つ。
• $\widetilde{p}$-稠密性条件の下で、バナッハ SSD 双対空間上では MAS 関数と VZ 関数が一致する。
• VZ 関数のクラスは内在的共役に関して不変であり、単調作用素の双対性フレームワークを確立する。
• $E \times E^*$ の設定では、[4]、[15]、[5] の既存の同値性を一般化・強化し、特に強いつよさ表現可能性と NI 性質の関連を明確にする。
• 本稿では、最大単調多価関数が強く表現可能であることと、型 (NI) であることの必要十分条件を負の整合性と双対性を用いて証明する。