Existence and non-existence results for a fractional Lane-Emden equation with nonlocal Neumann conditions

技術要約：非局所的なノイマン条件を伴う分数型Lane-Emden方程式における存在および非存在の結果

問題設定
本論文は、半空間 $\mathbb{R}^n_+ = \{x \in \mathbb{R}^n : x_n > 0\}$ における非局所的なノイマン境界条件の下での分数型Lane-Emden方程式を調査している。問題は以下のように定式化される：
$$\begin{cases} (-\Delta)^s u = u^p & \text{in } \mathbb{R}^n_+, \\ u \geq 0 & \text{in } \mathbb{R}^n_+, \\ N_s u = 0 & \text{in } \mathbb{R}^n_-, \end{cases}$$
ここで、$s \in (0, 1)$ であり、$(-\Delta)^s$ は分数型ラプラシアン、$N_s$ は補集合 $\mathbb{R}^n_-$ 上で定義された非局所的な法線微分を表す。指数 $p$ は、劣臨界から臨界の値、具体的には $1 < p \leq \frac{n+2s}{n-2s}$ の範囲をとる。著者らは、臨界の場合における非自明な解の存在を確立し、次元 $n=1$ の劣臨界の場合における非存在（リウヴィル型の結果）を証明することを目的としている。

手法
著者らは、存在性のための変分法と非存在性のための積分恒等式を組み合わせた、二元的なアプローチを採用している。

1. 変分アプローチ（存在性）：
   問題は自然なエネルギー空間 $H^s_{\mathbb{R}^n_+}$ 内で解析される。臨界の場合（$p = \frac{n+2s}{n-2s}$）における非自明な解の存在は、全空間のソボレフ定数 $S(\mathbb{R}^n)$ とノイマン・ソボレフ定数 $S_N(\mathbb{R}^n_+)$ の間の厳密な不等式に依存している。著者らは、分数型タレンティ関数（半空間内にシフトされたもの）に基づいた適切な競合関数を構成することにより、すべての $s \in (0, 1)$ および $n > 2s$ に対して $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ であることを示し、これが $S_N(\mathbb{R}^n_+)$ を定義する下限が達成されることを保証する。これにより、方程式を解く最小値を与える最小値が存在することが保証される。

2. 減衰推定と近似（非存在性）：
   次元 $n=1$ かつ劣臨界なべき乗における非存在の結果については、まず解とその勾配に関する点的な減衰推定を確立する。著者らは「二重化補題（Doubling Lemma）」の議論（Poláčik, Quittner, and Souplet）を用いて、境界までの距離 $x_n$ に依存する $u(x)$ および $|\nabla u(x)|$ の境界を導出する。これらの推定値は、標準的な反射の議論（局所的な問題で用いられるもの）を妨げる非局所的なノイマン条件の性質を扱う上で極めて重要である。

3. ポホザエフ型の恒等式：
   非存在証明の核となるのは、$n=1$ に特化して導出された新しいポホザエフ型の恒等式である。古典的な導出とは異なり、$x \cdot \nabla u$ を方程式に乗じる手法を用いる際、弱解は必ずしも境界まで微分可能ではないため、著者らは正則性の問題に直面する。これを克服するために、カットオフ関数を用いた近似議論を利用している。これにより、恒等式を導出するために必要な部分積分を厳密に正当化することが可能となる：
   $$(1-2s)\frac{c_s}{2} \iint_{T(\mathbb{R}_+)} \frac{(u(x)-u(y))^2}{|x-y|^{1+2s}} dx dy = -2 \int_0^{+\infty} (-\Delta)^s u(x) x \dot{u}(x) dx.$$

主要な貢献と結果

• 定理 1.2（臨界の場合の存在性）： 任意の $s \in (0, 1)$ および $n > 2s$ に対して、臨界の場合 $p = \frac{n+2s}{n-2s}$ において、少なくとも一つの非定数な弱解が存在する。
• 定理 1.3（厳密なソボレフ不等式）： 著者らは、すべての許容される $s$ および $n$ に対して $S_N(\mathbb{R}^n_+) < S(\mathbb{R}^n)$ であることを証明した。これは、以前は $s$ が 1 に近い場合（$n \geq 2$）または $1/2$ に近い場合（$n=1$）にのみ知られていた条件を解決し、全パラメータ範囲における存在結果を確立するものである。
• 定理 1.4（リウヴィル型の結果）： 次元 $n=1$ において、劣臨界なべき乗 $1 < p < \frac{1+2s}{1-2s}$ のとき、有界な非負の弱解は自明な解 $u \equiv 0$ のみである。
• 定理 1.5（ポホザエフ恒等式）： 本論文は、特定の減衰条件を満たす解に対して有効な、分数型ノイマン問題のための新しいポホザエフ恒等式を確立している。

意義と主張
本論文は、非局所的なノイマン条件を伴う分数型Lane-Emden方程式に関する文献における空白を埋めるものである。半空間におけるディリクレ条件に関するリウヴィル型の結果は（移動平面法などにより）よく確立されているが、非局所的なノイマン条件は、解を全空間へ反射させる標準的な手法を妨げるため、移動平面法は適さない。

著者らは、非存在の結果の証明が、対称性の議論ではなく、注意深い減衰推定と近似を通じて導出された新しいポホザエフ恒等式に基づいている点が重要であると主張している。このアプローチは、局所的なノイマン問題と同様に解を全空間へ拡張することを許さない、「デリケートな」非局所的ノイマン条件の性質ゆえに必要とされるものである。さらに、存在性の結果は、非自明な解が存在する既知のパラメータ範囲を拡張し、厳密なソボレフ定数の不等式が分数型ノイマン問題において普遍的に成り立つことを確認している。