Solutions for Strongly Monotone Operator Equations in Riesz Spaces

技術要約：リエッツ空間における強単調作用素方程式の解法

問題設定
本論文は、作用素 $T: X \to X^*$ が強単調であり、$f: X \to X^*$ が非線形作用素であるような、 $T(u) = f(u)$ という形式の作用素方程式の解の存在および多重性について扱う。設定として、実反射的バナッハ空間 $X$ を、バナッハ束 $E$ に連続的に埋め込まれたものとする。主な目的は、正の解、負の解、および符号変化（ノダル）解という3つの異なるタイプの解の存在を確立することである。

この領域における重要な技術的課題は、下降流不変集合法（descending flow invariant set method）の適用にある。標準的なソボレフ空間では、順序区間が空の内部を持つことが一般的であり、これがパーレ・ス الميل（Palais–Smale）コンパクトネス条件の充足と、非空の内部を持つ閉凸不変集合の要件の両立を妨げている。従来のアプローチは、多くの場合「2つの空間」の枠組み（$W^{1,p}_0(\Omega)$ と $C^1_0(\Omega)$ の両方で作業する）に依存するか、あるいは錐（cone）をオープン近傍で置き換える手法に頼っていた。本論文は、バナッハ束の格子順序構造を、基礎となるバナッハ空間上で直接、下降流の議論へと完全に統合することで、これらの困難を解決しようとするものである。

手法
著者らは、強単調作用操作の理論と下降流不変集合のテクニックを組み合わせた変分アプローチを採用している。核心となる手法は以下のステップを含む：

1. 関数設定： 問題は、バナッハ束 $E$ に埋め込まれた反射的バナッハ空間 $X$ 内で定式化される。汎関数 $J: X \to \mathbb{R}$ は、その臨界点が作用素方程式の解に対応するように定義される。その微分は $\langle J'(u), v \rangle = \langle T(u), v \rangle - (f(u), v)$ で与えられる。
2. 仮定： 著者らは以下の特定の構造条件を課している：
   • (H1) $T$ は連続かつ強単調な作用素であり、強制条件 $\langle T(u) - T(v), u - v \rangle \geq c_1 \|u - v\|^p$ を満たす。
   • (H2) 非線形項 $f$ は直交加算的であり、正の錐を双対正の錐へと写す。また、$f$ はゼロおよび無限遠近での特定の成長条件を満たす。
   • (H3) 汎関数 $J$ は無限遠において超線形成長を示し、$t \to +\infty$ のとき $J(tu) \to -\infty$ となることを保証する。
   • (H4) 標準的なパーレ–ス الميل条件に代わるコンパクトネス条件が導入されている。これは、有界列 $\{u_n\}$ が $\|u_n - A(u_n)\| \to 0$ （ここで $A$ は $T^{-1}f$ から導かれる写像）を満たすとき、有界であり、かつ臨界点に収束することを要求する。
3. 不変集合の構成：
   • 著者らは、正の錐 $P$ および負の錐 $-P$ のオープン近域 $D^\pm(\mu)$ を定義する。
   • 強単調作用素の性質と $f$ の直交加算的性質を用いて、これらの近域が局所リプシッツ連続なベクトル場 $B(u) = A(u) - u$ によって生成される下降流の下で不変であることを証明する。
   • 具体的には、補題 2.2 により、十分小さな $\mu$ に対して写像 $A$ が $D^\pm(\mu)$ を $D^\pm(\frac{1}{2}\mu)$ に写すことが示され、これによりフローがこれらの近域内に留まることが保証される。
4. 臨界点の抽出：
   • これらの不変集合の共通境界における連結成分 $\Gamma$ を構成することにより、著者らは、フローの下で不変であるが純粋な正および負の錐とは離れている領域を孤立させるために、位相的な議論（特に連結成分における半直線に関する補題 2.6）を利用する。
   • 臨界点の存在は、コンパクトネス条件 (H4) を活用して、これらの不変集合とその境界上で汎関数 $J$ を最小化することによって確立される。

主要な結果
本論文は、以下の抽象的な存在定理を確立している：

• 定理 2.1： 仮定 (H1)–(H4) の下で、作用素方程式 $T(u) = f(u)$ は、少なくとも1つの正の解、1つの負の解、および1つの符号変化解を持つ。
• 系 2.1： 本論文はさらに、これらの解の臨界値を比較し、符号変化解 $x_3$ が $J(x_3) \geq \max\{J(x_1), J(x_2)\}$ を満たすこと（ここで $x_1$ と $x_2$ はそれぞれ正および負の解である）を示す。

応用
これらの抽象的な結果は、$(p, 2)$-ラプラシアン作用素を含む特定の境界値問題に適用される：
$$\begin{cases} -\Delta_{p}^{a_1} u - \Delta_{2}^{a_2} u = g(x, u) & \text{in } \Omega, \\ u|_{\partial \Omega} = 0, \end{cases}$$
ここで $\Omega \subset \mathbb{R}^N$ は有界領域である。著者らは、この特定の微分作用素および非線形性 $g(x, u)$ に対して、標準的な成長および強制条件 (A1–A4) の下で仮定 (H1)–(H4) が保持されることを検証している。したがって、定理 3.1 は、この境界値問題が少なくとも1つの正の解、1つの負の解、および1つの符号変化解を持つと結論付けている。

意義と主張
本論文は、以下の点で、順序ベクトル束上の臨界点理論を進展させたと主張している：

1. 直接的な統合： バナッハ束の格子順序構造を、特定の文脈において「2つの空間」の枠組みを必要とすることなく、基礎となるバナッハ空間上で直接、下降流不変集合法へと成功的に組み込んだ。
2. 符号変化解の取り扱い： $p$-ラプラシアンや $(p, q)$-ラプラシアン問題を含むクラスを包含する強単調作用素によって駆動される方程式に対して、符号変化解の存在を保証する厳密なメカニズムを提供した。
3. 洗練された成長仮定： 正および負の錐の適切な近域の不変性を、下降流の下で保証する、非線形項に対する洗練された成長仮定を確立した。

著者らは、 $p$-ラプラシアン方程式の符号変化解は以前にも研究されている（例：[15, 16, 17]）が、本論文で用いられている手法は、格子構造と強単調作用素論を利用してこれらの多重性結果を導出するという点で異なると述べている。本研究は、リエッツ空間の枠組みにおける、より広範なクラスの作用素方程式への下降流不変集合テクニックの適用可能性を拡張するものである。