On the comparison principle for a nonlocal infinity Laplacian

技術要約：非局所的無限ラプラシアンに関する比較原理について

問題設定
本研究は、以下の非局所的無限ラプラシアン演算子を含む非局所的ポアソン方程式における、粘性解の一意性に対処するものである：
$$L_\infty u = f \quad \text{in } \Omega,$$
ここで、$\Omega \subset \mathbb{R}^n$ は有界領域であり、$f \in C(\Omega)$ は $f \leq 0$ を満たす有界関数である。演算子 $L_\infty$ は $\alpha \in (0, 1]$ に対して次のように定義される：
$$L_\infty u(x) := \sup_{y \in \mathbb{R}^n} \frac{u(y) - u(x)}{|x - y|^\alpha} + \inf_{y \in \mathbb{R}^n} \frac{u(y) - u(x)}{|x - y|^\alpha}.$$
本研究は、右辺が符号を変えない（具体的には $f \leq 0$ である）ケースに焦点を当てている。局所的な設定において、同次の場合（$f=0$）および厳密に正または負の $f$ を持つ非同次の場合については、先行文献で存在性と一意性が確立されているが、符号保存的な $f$ を持つ非局所的なケースは、比較原理に関して特有の課題を提示している。演算子が非発散形式であるため、自然な弱形式の定式化が不可能であり、問題は粘性意味での解として提示されている。

手法
主要な手法は、粘性超解（supersolution）と粘性劣解（subsolution）の間の比較原理を確立することに基づいている。証明の戦略には、以下のいくつかの技術的要素が含まれる：

1. 粘性解の枠組み： 本論文では、解の上側から接するテスト関数を用いる、非局所演算子に適応させた標準的な粘性解の定義を利用する。解は $\mathbb{R}^n \setminus \Omega$ 上で有界であり、無限遠での極限を持つものとする。
2. 強最大原理の変種： 重要な予備的結果（補題 2.1）は、もし粘性超解 $u$ が（特定の境界条件の下で）領域 $\Omega$ 内で最小値をとるならば、その関数は定数であることを確立している。これは、非局所的な強最大原理のアナログとして機能する。
3. 下限の局在化： 決定的な技術的貢献は、補題 2.2 である。これは、$L_\infty u = f$ （ただし $f \leq 0$）に対する有界な粘性超解 $u$ について、演算子の下限成分 $L^-_\infty u(x)$ が領域 $\Omega$ の外部（すなわち $\mathbb{R}^n \setminus \Omega$ 内）で厳密に達成されることを示している。この性質は、Lindgren および Lindqvist [20] における補題 26 と同様のバリア関数を用いた議論から導かれる。
4. 下結合同積（Infimal Convolution）： 粘性解の滑らかさの欠如に対処するため、本論文では下結合同積のテクニック（定義 2.2）を採用している。$u$ の下結合同積 $u_\epsilon$ が、わずかに小さい部分領域 $\Omega_\epsilon$ 内において古典的な意味での超解であることを示す（補題 2.3）。この正則化により、古典的な微積分学の議論の適用が可能となる。
5. 厳密超解の構成： 比較原理（定理 3.1）の証明は、背理法によって進められる。劣解 $v$ と超解 $u$ が存在し、$v > u$ となる箇所がある仮定の下で、著者らは $u$ の下結合同積を修正することにより、厳密超解 $\tilde{\phi}_\epsilon$ を構成する。この修正は、カットオフ関数を利用し、演算数の下限が $\Omega$ の外側で達成されるという事実に依拠している。この構成により、差の最大点において $L_\infty \tilde{\phi}_\epsilon < f$ となることが保証され、$v$ が劣解であるという定義との矛盾が導かれる。

主要な貢献と結果

• 比較原理（定理 3.1）： 主要な結果は、$u$ が $L_\infty u = f$ （ただし $f \leq 0$）の粘性超解であり、$v$ が粘性劣解であり、かつ $\mathbb{R}^n \setminus \Omega$ 上で $u \geq v$ である（適切な無限遠での挙動を伴う）ならば、$u \geq v$ が $\Omega$ 全域で成立することを証明している。
• 一意性（系 3.2）： 比較原理の直接的な帰結として、本論文は、右辺が非正かつ有界である場合の非局所的無限ラプラシアン方程式の粘性解の一意性を確立している。
• 技術的な区別： 本論文は、明示的な境界データを持つ有界領域ではなく、全空間 $\mathbb{R}^n$ を扱う点、およびモルフォロジー（平滑化）ではなく下結合同積を利用する点において、先行研究（Chamboule et al. [8] など）と区別される。さらに、$f$ が恒等的にゼロではないケースを扱っており、これは、上限成分が必ずしも $\Omega$ の外側で達成されるとは限らないため、下限成分に関するより微細な分析が必要であることを意味している。

意義と範囲
本論文は、符号保存的なソース項を持つ非局所的無限ラプラシアンに関する一意性の問題を解決したと主張している。これは、局所的な非同次無限ラプラシアンにおいて $f \geq 0$ の場合に未解決のまま残っているケースである。結果は、厳密に粘性解の枠組み内で導出されており、解の存在については扱っていない。著者は、$f \leq 0$ のために用いられた手法は $f \geq 0$ の場合にも適応可能であると述べている。本研究は、非局所的演算子の特定の構造と、粘性超解の特性、特に領域境界に対する下限項の挙動に依拠している。本研究は VR Grant 2016-03639 の支援を受けており、問題の定式化および潜在的な一般化に関する Erik Lindgren および Mikko Parviainen からの貢献に謝意を表している。