[論文レビュー] Coderivative characterizations of maximal monotonicity for set-valued mappings

Nguyễn Huy Chiêu, G. M. Lee+2 more|arXiv (Cornell University)|Jan 1, 2015

Optimization and Variational Analysis参考文献 37被引用数 8

ひとこと要約

本稿は、ヒルバート空間における多価写像の最大単調性について、最初の無限小的・双微分に基づく特徴付けを確立する。これは、局所的正定値性を有する極限双微分と、グローバルまたは半局所的弱単調性を組み合わせることで達成される。主な貢献は、単値の場合に限られていた古典的単調性特徴付けを拡張し、下位-$\mathcal{C}^2$関数の凸性および強凸性に関する2次部分微分条件を導く完全な双微分基準を提供することにある。

ABSTRACT

This paper concerns generalized differential characterizations of maximal monotone set-valued mappings. Using advanced tools of variational analysis, we establish coderivative criteria for maximal monotonicity of set-valued mappings, which seem to be the first infinitesimal characterizations of maximal monotonicity outside the single-valued case. We also present second-order necessary and sufficient conditions for lower-${\mathcal C}^2$ functions to be convex and strongly convex. Examples are provided to illustrate the obtained results and the imposed assumptions.

研究の動機と目的

• 多価写像の最大単調性の検証可能で無限小的な特徴付けを、単値の場合を超えて開発すること。
• 滑らかさや単値性に限られていた古典的単調性基準を、多価作用素の一般化された微分の分野へ拡張すること。
• 2次部分微分を用いて、下位-$\mathcal{C}^2$関数の凸性および強凸性に関する必要十分条件を導出すること。
• 弱単調性を主要な構造的仮定として導入することで、変分解析における既存の結果を統一的かつ一般化すること。
• 和や合成作用素の操作における最大単調性の保存に関する今後の解析の基盤を築くこと。

提案手法

• 変分解析の高度な道具、特にモルドゥホビッチが提唱した極限双微分構成を用いて、多価写像の最大単調性を分析する。
• ヒルバート空間における最大単調性の中心的基準として、双微分の局所的正定値性を適用する。
• 双微分特徴付けの有効性を保証するための構造的仮定として、グローバルおよび半局所的弱単調性条件を導入する。
• 2次部分微分（一般化されたヘッシアン）を用いて、$\mathcal{C}^2$-類の関数の凸性および強凸性に関する必要十分条件を導出する。
• 特にパrametric変分系の文脈で、[25]の一般化されたヘッシアンの計算則および双微分則に依拠して主要な結果を導出する。
• 理論を一般化された方程式およびスイーピング過程に適用し、抽象的な単調性と最適化および微分包含の具体的応用を結びつける。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート空間における多価写像の最大単調性は、無限小的・双微分に基づく条件で特徴付け可能か？
• RQ2 凸性の定義域を超える構造的仮定として、このような双微分特徴付けが成立するために必要な条件は何か？
• RQ3 2次部分微分は、下位-$\mathcal{C}^2$関数の凸性および強凸性に関する必要十分条件を導出するためにどのように利用可能か？
• RQ4 弱単調性は、単値の場合の連続性を一般化する統一的条件としてどの程度見なせるか？
• RQ5 双微分フレームワークは、最大単調作用素の和や合成に関する最大単調性の検証に利用可能か？

主な発見

• 本稿は、グローバルまたは半局所的弱単調性の下で、ヒルバート空間における多価写像の最大単調性について、最初の完全な双微分的特徴付けを確立する。
• 特徴付けは、極限双微分の局所的正定値性に依拠しており、滑らかで単値な設定における古典的結果を拡張する。
• 下位-$\mathcal{C}^2$関数に対して、2次部分微分条件を導出する：すべての$z \in \partial^2 f(u,v)(w)$に対して$\langle z,w\rangle \geq \kappa\|w\|^2$が成り立つことは、強凸性モジュラス$\kappa$を特徴付ける。
• 同じ枠組みにより、一般化ヘッシアンを用いて、下位-$\mathcal{C}^2$関数の凸性に関する2次必要十分条件が得られる。
• 弱単調性を欠如させると双微分特徴付けが成立しなくなる例を提示することで、この仮定の必要性が強調される。
• このアプローチにより、双微分計算則における資格条件の検証によって、作用素の合成における最大単調性の検証への道筋が提供される。