Lower order term for the fractional Laplacian with a Hardy potential

技術要約：ハーディ・ポテンシャルを伴う分数ラプラシアンの低次項

問題設定
本論文は、分数ラプラシアン、ハーディ・ポテンシャル、および重み関数を持つ低次項を含む半線形楕円方程式の解の存在と正則性について調査している。問題は、$\Omega \subset \mathbb{R}^N$（$N > 2s$、$0 \in \Omega$、$s \in (0, 1)$）である有界領域 $\Omega$ において次のように定式化される：

$$\begin{cases} (-\Delta)^s u + g(x)|u|^{p-1}u = \lambda \frac{u}{|x|^{2s}} + f(x), & \text{in } \Omega, \\ u = 0, & \text{in } \mathbb{R}^N \setminus \Omega, \end{cases}$$

ここで、$p > 1$、$\lambda \in \mathbb{R}$、$g \in L^1_{\text{loc}}(\Omega)$ は正の関数であり、$f$ は重み付きルベーグ空間 $L^{(p+1)/p}_g(\Omega)$ に属する。本研究の目的は、低次項 $g(x)|u|^{p-1}u$ を組み込み、$g$ に対する積分性の仮定を最小限に抑えることで、分数ハーディ方程式（$g \equiv 0$ の場合）に関する先行研究を一般化することにある。

手法および関数設定
著者らは、分数ソボレフ空間の枠組みの中で変分法を用いる。この問題の自然なエネルギー空間は $E = H^s_0(\Omega) \cap L^{p+1}_g(\Omega)$ であり、ノルム $\|u\|_E = \|u\|_{H^s_0(\Omega)} + |u|_{L^{p+1}_g(\Omega)}$ を備えている。

解は、エネルギー汎関数 $\phi_\lambda: E \to \mathbb{R}$ の臨界点として特徴付けられる：
$$\phi_\lambda(u) = \frac{1}{2}\|u\|^2_{H^s_0(\Omega)} \!+\! \frac{1}{p+1}\int_\Omega |u|^{p+1}g \, dx - \frac{\lambda}{2}\int_\Omega \frac{u^2}{|x|^{2s}} \, dx - \int_\Omega f u g \, dx.$$

利用される主要な解析手法は以下の通りである：

1. ハーディ不等式： 分数ハーディ不等式は、特異ポテンシャル項 $\lambda u/|x|^{2s}$ を制御するために中心的な役割を果たす。
2. エケランドの変分原理： 下半連続性が欠如している場合でも、$\phi_\lambda$ の極小列の存在を確立するために用いられる。
3. コンパクト性と収束： 存在性の証明は、極小列が $E$ において有界であり、ヴィタリの収束定理およびルベーグの収束定理を用いて、非線形項が適切に収束することを示すことに依存している。
4. テスト関数技法： 正則性の結果については、解の可積分性に関するア・プリオリ推定を導出するために、標準的な切断演算子 $T_k$ を用いた形式の切断テスト関数 $|T_k(u)|^\rho T_k(u)$ が利用される。

主要な貢献と結果

1. すべての $\lambda \in \mathbb{R}$ に対する解の存在：
   本論文は、$g$ が特定の緩やかな積分条件を満たす場合、すべての実数 $\lambda$ に対して解 $u \in E$ が存在することを証明している：
   $$\frac{1}{|x|^{2s}} g^{\frac{2}{p+1}} \in L^{\frac{p+1}{p}}(\Omega). \quad (\text{条件 5})$$
   この結果は、$\lambda$ が正であることやハーディ定数 $\Lambda_{N,s}$ によって制限されていた従来の知見（例：$g \equiv 0$ の場合の Abdellaoui et al. [1] や $g \equiv 1$ の場合の Mi et al. [10]）を拡張し、$\lambda$ の符号に関わらず存在を保証するものである。

2. 正則性と改善された可積分性：
   $f \in L^q_g(\Omega)$ ($q \ge (p+1)/p$) かつ $g$ に関する追加条件：
   $$\int_\Omega |x|^{\frac{2spq}{1-p}} g^{\frac{1-pq}{p-1}} \, dx < +\infty, \quad (\text{条件 6})$$
   の下で、著者らは解 $u$ がより高い正則性、具体的には $u \in H^s_0(\Omega) \cap L^{pq}_g(\Omega)$ を持つことを証明している。これは、低次項が項のない場合と比較して、解の可積分性を高めることを示している。

3. 解の最小性：
   本論文は、より強い積分条件（条件 14）が満たされる場合、得られる解が単なる臨界点ではなく、汎関数 $\phi_\lambda$ の大域的最小値であることを確立している。

意義と主張
著者らは、以下の2つの主要な側面において、自らの結果が既存の文献に対して重要な改善を表していると主張している：

• $\lambda$ に対する制約の緩和： $\lambda$ の存在がしばしば $0 < \lambda \le \Lambda_{N,s}$ に制限されていた従来の研究（Mi et al. [10] など）とは異なり、本研究ではすべての $\lambda \in \mathbb{R}$ に対して存在を保証している。
• 正則性の向上： $g \equiv 1$ の場合、本論文は [10, Theorem 1.5] よりも広いパラメータ範囲（$p > 2^*_s - 1$）において、解が $H^s_0(\Omega) \cap L^{pq}(\Omega)$ に属することを確立している。著者らは、[10] では許容される $\lambda$ の区間が $p \to +\infty$ とともにゼロに収束するのに対し、彼らの結果はすべての $\lambda$ に対して成立することを指摘している。
• 汎用性： $g$ の正則性要求が低いこと（$L^1_{\text{loc}}$ および積分条件のみ）により、複数のハーディ型ポテンシャルを含むより広いクラスの問題（系 4.4 で示される通り）への拡張が可能となっている。

結論として、本論文は、導出された積分条件の下での低次項の包含が、問題の効果的な安定化をもたらし、パラメータ $\lambda$ やソース項 $f$ の可積分性に対して頑健な存在性と正則性の結果を可能にすることを結論付けている。