A multiplicity theorem for a class of nonlocal elliptic equations involving even nonlinearities

技術要約：偶関数である非局所的楕円方程式に関する多重性定理

問題設定
本論文は、有界な滑らかな領域 $\Omega \subset \mathbb{R}^n$ 上の、ある種の非局所的楕円方程式のディリクレ境界値問題を研究している。問題 $(P)$ は次のように定式化される：
$$\begin{cases} -\Delta u = Q\left(\int_{\Omega} F(x, u(x))dx\right) f(x, u) + g(x, u) & \text{in } \Omega \\ u = 0 & \text{on } \partial\Omega \end{cases}$$
ここで、$F(x, t) = \int_0^t f(x, s)ds$ であり、非局所項は、関数 $Q$ が領域上の $F$ の積分に依存することによって生じる。研究の焦点は、ソボレフ空間 $H^1_0(\Omega)$ における弱解の存在性に置かれている。主な目的は、パラメータ $\lambda$ が適切な開区間内を動くとき、問題が少なくとも3つの異なる弱解を持つための条件を確立することである。

手法および関数フレームワーク
著者は変分法、具体的には臨界点理論を利用している。問題 $(P)$ の弱解は、エネルギー汎関数 $\Phi: H^1_0(\Omega) \to \mathbb{R}$ の臨界点として特定される。ここで、$\Phi$ は次のように定義される：
$$\Phi(u) = \frac{1}{2}\|u\|^2 - J(u)$$
ただし、$\|u\|$ は $H^1_0(\Omega)$ における標準的なノルムであり、$J(u)$ は非局所項と摂動 $g$ を組み込んだものである。

証明の核心は、**厳密なミニマックス不等式（strict minimax inequality）**と、3つの臨界点定理（[2]におけるTheorem 3として参照）に基づいている。手法は以下のステップで進行する：

1. 補助汎関数の構成: 著者は、厳密に凸な関数 $\alpha$、連続な奇関数 $\gamma$、および非局所的な積分項を含む汎関数 $P(u, \lambda)$ を導入する。
2. ミニマックス不等式の検証: 中心的な技術的課題は、次の厳密な不等式を証明することである：
   $$\sup_{\lambda \in \mathbb{R}} \inf_{u \in H^1_0(\Omega)} P(u, \lambda) < \inf_{u \in H^1_0(\Omega)} \sup_{\lambda \in \mathbb{R}} P(u, \lambda)$$
   これは背理法によって達成される。著者は等号を仮定し、その結果生じるサドルポイント $(u^*, \lambda^*)$ が論理的不整合を導くことを示す。具体的には、証明において、関数の対称性（$f$ の偶関数性、$\gamma$ の奇関数性）と $\alpha$ の厳密な凸性を利用し、もし等号の仮定の下で解が存在するならば、それは自明な解 ($u^*=0$) でなければならないことを示し、これが大きなパラメータの下での汎関数の構成と矛盾することを導く。
3. 強凸性と連続性: 証明は、写像 $u \mapsto \sup_{\lambda} P(u, \lambda)$ が逐次弱下半連続かつ強凸であることを確立する。これにより、最小化子の存在が保証され、抽象的な臨界点定理の適用が可能となる。
4. $g$ による摂動: 最終ステップでは、摂動項 $g \in \mathcal{A}$（特定の成長条件を持つカラテオドリ関数類）を加える。著者は、$g$ の原始関数の振動が十分に小さい（定数 $\epsilon^*_\mu$ によって抑えられている）場合、厳密なミニマックス不等式が保持され、解の多重性が保証されることを示す。

主要な仮定
主結果（Theorem 1）は、以下の条件を要求する：

• 非線形項 $f$: $f(x, \cdot)$ はほとんど全ての $x$ に対して偶関数であり、$f$ が非ゼロとなる集合は正の測量を持つ必要がある。さらに、$F(x, t)$ は無限遠において劣二次成長条件（$\lim_{|t|\to\infty} \sup |F(x,t)|/t^2 = 0$）を満たさなければならない。
• 非線形項 $\gamma$: $\gamma$ は連続な奇関数であり、0でのみ消滅し、その原始関数は線形成長界を満たす。
• 凸関数 $\alpha$: $\alpha$ は厳密に凸で、微分可能であり、$\alpha(0)>0, \alpha'(0)=0, \alpha'(R)=R$ を満たす。
• パラメータ $\mu$: パラメータ $\mu$ は十分に大きくなくてはならない。
• 摂動 $g$: $g$ の原始関数の上限の積分と下限の積分の差が、特定の閾値 $\epsilon^*_\mu$ 未満であること。

主結果
本論文は、上述の仮定の下で、Theorem 1 を証明している。これは、上記の仮定の下で、摂動 $g$ が小ささの条件を満たす任意のとき、開区間 $A \subseteq \mathbb{R}$ と半径 $\rho > 0$ が存在することを述べている。すべての $\lambda \in A$ に対して、問題 $(P)$ は $H^1_0(\Omega)$ 内に少なくとも3つの弱解を持ち、それらのノルムは $\rho$ よりも厳密に小さい。

意義および主張
本論文は、偶関数的な非線形性を伴う非局所的問題に関する特定の多重性結果を証明することを目的とした「非常に短いノート（very short note）」と位置づけられている。

• 新規性: 著者は注釈1において、「Theorem 1 に近い既知の結果を知らず、適切な比較を行うことができない」と明言している。これは、非局所項、偶関数的な非線形性、および厳密なミニマックス不等式を介した3解の多重性という特定の組み合わせに関する文献の空白を埋めるものであることを示唆している。
• 範囲: 本研究は純粋に理論的なものであり、変分フレームワーク内での解の存在に焦点を当てている。数値的手法、特定の物理的応用、または将来の実験的な方向性を提案するものではない。その意義は、非線形性が偶対称性を示す特定のクラスの非局所的楕円方程式への、臨界点理論の拡張にある。