Multiple positive solutions to a perturbed Gelfand problem involving mixed local-nonlocal operators and singular nonlinearity

技術要約：混合局所・非局所演算子と特異非線形性を伴う摂動付きゲラント問題における複数の正の解

問題設定
本論文は、特異な非線形性を伴う混合局所・非局所 $p$-ラプラシアン演算子によって駆動される、摂動付きゲランド型の境界値問題における正の解の存在と多重性を調査するものである。問題は以下のように定式化される：
$$\begin{cases} -\Delta_p u + (-\Delta_p)_s u = \lambda \frac{f(u)}{u^\beta} & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases} \quad (P_\lambda)$$
ここで、$\Omega \subset \mathbb{R}^N$ は滑らかな有界領域、$1 < p < \infty$、$s \in (0, 1)$、$\lambda > 0$ はパラメータ、$0 \le \beta < 1$ である。非線形関数 $f: [0, \infty) \to (0, \infty)$ は、$f(0) > 0$ を満たす $C^1$ 級の非減少関数である。この演算子は、局所的な $p$-ラプラシアン $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ と、主値積分を介して定義される非局所的な分数 $p$-ラプラシアンを組み合わせたものである。

本研究は、化学反応速度論における燃焼モデル、具体的には、反応速度がアレニウス則に従う微小燃料損失定常状態モデルに端を発している。特異項 $u^{-\beta}$ の導入と混合演算子の構造は、解の正則性および比較原理の適用に関して、重大な解析的課題をもたらす。

手法
採用されている主要な解析手法は、特異な非線形性と混合演算子の構造を扱うために適応させた、劣解および優解（sub- and supersolutions）の手法である。

1. 関数フレームワーク: 著者らは、$W^{1,p}$ ノルムとガリャモ・セミノルムを組み合わせたノルムの下で $C_c^\infty(\Omega)$ の完備化として定義される空間 $X_0^{1,p}(\Omega)$ 内で作業を行う。この空間は、ディリクレ境界条件 $u=0$ in $\mathbb{R}^N \setminus \Omega$ を自然に組み込んでいる。
2. 劣解および優解の構成:
   • 第一の厳密な劣解と優解のペア $(\phi_1, \psi_1)$ は、線形問題の解の小さな倍数を用いて、任意の $\lambda > 0$ に対して構成される。また、特定の特異解 $\psi_0$ の大きな倍数を用いて構成される。
   • 第二のペア $(\phi_2, \psi_2)$ は、$f$ に関する特定の構造条件（(f1)–(f5)と表記）の下で構成される。この構成は、純粋な局所的または純粋な非局所的な文脈で一般的な、ODE（常微分方程式）の手法やグリーン関数の推定に依存せず、混合設定に合わせて調整された補助関数とカットオフ技術に基づいている。
3. 不動点定理:
   • 2つの解の存在については、劣解と優解によって定義される順序集合の区間内での単調反復法を利用する。
   • 第3の解の存在については、アマン（Amann）の不動点定理を用いる。これには、解写像が完全連続であり、かつ劣解と優解のペアが特定の順序関係および非交差性を満たすことを確立する必要がある。
4. 強比較原理: 手法の極めて重要な構成要素は、特異非線形性を伴う線形混合演算子に対する、ホップ型（Hopf-type）強比較原理（SCP）の導出である。これには、解の間の厳密な不等式と、境界におけるそれらの法線方向の微分を証明することが含まれる。

主要な貢献と結果

• 2つの解の存在 (Theorem 1.1): 仮定 (f1)–(f3) の下で、本問題はすべての $\lambda > 0$ に対して少なくとも1つの正の解を持つ。さらに $f$ が条件 (f4) および (f5) を満たす場合、少なくとも2つの異なる正の解が存在するパラメータの区間 $(\lambda_*, \lambda^*)$ が存在する。
• 3つの解の存在 (Theorem 1.2 & 1.4): 本論文は、以下の2つの特定の領域において「3解定理」を確立している：
  1. 非特異ケース ($\beta = 0, p > 1$): $\lambda \in (\lambda_*, \lambda^*)$ のとき、3つの異なる正の解が存在する。
  2. 線形特異ケース ($p = 2, 0 < \beta < 1$): $\lambda \in (\lambda_*, \lambda^*)$ のとき、3つの異なる正の解が存在する。
     これらのケースにおける分岐図は、着火限界と消火限界に対応する2つの転換点を持ち、S字型の構造を持つことが示されている。
• ホップ型強比較原理 (Theorem 1.3): 著者らは、特異非線形性を伴う線形混合演算子に関する新しい強比較原理を証明した。具体的には、$f_1 \le f_2$（かつ $f_1 \not\equiv f_2$）を満たすとき、$u_1 < u_2$ in $\Omega$ かつ $\frac{\partial u_2}{\ \partial \nu} < \frac{\partial u_1}{\partial \nu} < 0$ on $\partial \Omega$ が成立する。この結果は全範囲の $s \in (0, 1)$ に対して成立し、$s < 1/2$ に限定されていた従来の結果を改善している。
• 新規の構成手法: 劣解および優解の構成は、従来のODE手法やグリーン関数の推定を回避しており、より非線形かつ非局所的な演算子に適応可能な枠組みを提供している。

意義と限界
本論文は、特異な非線形性を伴う混合局所・非局所問題における、初の多重性と3解の結果を提供していると主張している。顕著な貢献は、線形混合設定における特異問題に対するホップ型SCPの開発であり、これは第3の解を導出するための極めて重要なツールとして記述されており、より広い数学的意義を持つ。

著者らは、以下の制限事項を明記している：一般の非線形特異ケース（$p \neq 2$ かつ $0 < \beta < 1$）における第3の解の存在は、依然として未解決の問題である。主な障害は、非線形混合演算子に対するホップ型強比較原理を証明することの困難さにある。論文は、今後の研究において、一般の場合への3解定理の拡張を可能にする、非線形および非同次混合演算子のためのホップ型SCPの開発に取り組むと述べて締めくくられている。

結果は、非線形楕円型偏微分方程式の枠組みの中で、局所拡散、非局所的相互作用、および特異な反応項の相互作用に細心の注意を払いつつ、厳密な数学的証明として提示されている。