[論文レビュー] Singular points of non-monotone potential operators

Biagio Ricceri|arXiv (Cornell University)|Jun 4, 2014

Optimization and Variational Analysis参考文献 7被引用数 4

ひとこと要約

本稿は、非単調性、汎関数の逐次弱下半連続性、摂動の強制性といった特定の条件下で、無限次元の反射的バナッハ空間上の非単調なポテンシャル作用素の特異点の集合がσ-コンパクトでないことを確立する。主な貢献は、最近のミニマックス定理を用いることで、従来の手法に見られる制限を克服したことにある。

ABSTRACT

In this paper, we establish some results about the singular points of certain non-monotone potential operators. Here is a sample: If $X$ is an infinite-dimensional reflexive real Banach space and if $T:X o X^*$ is a non-monotone, closed, continuous potential operator such that the functional $x o \int_0^1T(sx)(x)ds$ is sequentially weakly lower semicontinuous and $\lim_{\|x\| o +\infty}(\int_0^1T(sx)(x)ds+φ(x))=+\infty$ for all $φ\in X^*$, then the set of all singular points of $T$ is not $σ$-compact.

研究の動機と目的

• 無限次元の反射的バナッハ空間上における非単調なポテンシャル作用素の特異点の位相的構造を調査すること。
• 従来のミニマックス定理が1つの変数が実数区間を動くことを要請していた制限を除去することで、特異点に関する先行結果を拡張すること。
• 特異点の集合および作用素による像がσ-コンパクトでないような条件を確立すること。
• ヒルバート空間設定におけるスペクトル的性質、フレドホルム指数、非単調性の関係を分析すること。
• 従来の研究の範囲外にある重み付き固有値問題へも適用可能な枠組みを提供すること。

提案手法

• 閉作用素の特異集合がσ-コンパクトであるという定理Aと、指数が0のフレドホルム作用素で特異集合が離散的であるという定理Bを基礎的道具として用いる。
• 変数の区間制限を要しない最近のミニマックス定理（[4]の定理C、定理3.2）を適用し、より広範な適用可能性を実現する。
• 関数 $ J_T(x) = \int_0^1 T(sx)(x)\,ds $ を用い、これは $ C^1 $ で、Gateaux微分が $ T $ に等しいことから、ポテンシャル作用素を定義する。
• 関数的仮定として、$ J_T $ の逐次弱下半連続性と、すべての $ \varphi \in X^* $ に対して $ J_T + \varphi $ の強制性を用いる。
• 局所的に逆関数定理を適用し、$ T'(x) $ が可逆でない点が特異点であることを示し、そのような点の集合を $ \tilde{S}_{T|_{X\setminus B}} $ と定義する。
• 非単調性、スペクトルにおける負の固有値の存在、方程式 $ T'(x)(y) = \mu y $ の解集合における集積点の存在の間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 非単調なポテンシャル作用素の特異点集合がσ-コンパクトでないための条件は何か？
• RQ2 $ J_T + \varphi $ がすべての $ \varphi \in X^* $ に対して強制的であるという性質が、$ T $ の非単調性と特異点の構造にどのように作用するか？
• RQ3 $ T $ が閉集合 $ B $ の外で $ C^1 $ であるとき、$ \tilde{S}_{T|_{X\setminus B}} $ の非σ-コンパクト性はどのように確立できるか？
• RQ4 次元が3以上のヒルバート空間上でのコンパクトな $ C^1 $ ポテンシャル作用素について、非単調性を特徴付けるスペクトル的条件は何か？
• RQ5 [4]の新しいミニマックス定理が、従来の定理AおよびBに依存する古いミニマックス手法に比べて、なぜより強い結論を導けるのか？

主な発見

• もし $ X $ が無限次元であり、$ T $ が閉作用素で非単調、$ J_T $ が逐次弱下半連続、かつすべての $ \varphi \in X^* $ に対して $ J_T + \varphi $ が強制的であれば、$ S_T $ はσ-コンパクトでない。
• 同じ仮定のもとで、$ T(S_T) $ に対しても同様にσ-コンパクトでない。
• $ T $ が閉集合 $ B $ の外で $ C^1 $ であるならば、$ \tilde{S}_{T|_{X\setminus B}} $ はσ-コンパクトでない。
• 次元 $ \geq 3 $ のヒルバート空間上でのコンパクトな $ C^1 $ ポテンシャル作用素について、非単調性は、$ \mu < 0 $ に対して $ A_\mu \neq \emptyset $ となることと同値であり、各 $ \mu \in ]\tilde{\mu}, 0[ $ に対して $ A\_\mu $ は集積点を含む。
• $ \Gamma = \{(x,y) : \langle T'(x)(y), y \rangle < 0 \} $ が空でないことは、$ T $ が非単調であることと同値である。
• 証明は、従来の結果が区間制限を課えていた点を回避する新しいミニマックス定理に依拠しており、非単調な設定においてより強い結論を得ることを可能にする。