The Wiener criterion for nonlocal Dirichlet problems

技術要約：非局所ディリクレ問題におけるウィーナー・クリテリオン

問題設定
本論文は、非線形非局所楕円作用素のクラスに関連するディリクレ問題の境界正則性を扱っている。著者らは、以下の形式の作用素 $L$ を検討している：
$$Lu(x) = 2 \, \text{p.v.} \int_{\mathbb{R}^n} |u(x) - u(y)|^{p-2}(u(x) - u(y))k(x, y) \, dy$$
ここで、$s \in (0, 1)$、$p > 1$ であり、カーネル $k(x, y)$ は楕円性条件 $\Lambda^{-1}|x-y|^{-n-sp} \le k(x, y) \le \Lambda|x-y|^{-n-sp}$ を満たす。このクラスには、モデルケースとして分数型$p$-ラプラシアンが含まれる。

中心となる問いは、境界点 $x_0 \in \partial \Omega$ の正則性を特徴付けることである。ある点が「正則」であるとは、任意の連続な境界データ $g$ に対して、境界値 $g$ を持つ一意な $L$-調和解 $u$ が、$\lim_{\Omega \ni x \to x_0} u(x) = g(x_0)$ を満たすことを指す。ウィーナー・クリテリオン（Wiener criterion）は、局所的な場合（ラプラシアンおよび非線形2階準線形作用素）において、正則性のための必要十分条件を与えるが、可測係数を持つ一般的な非線形非局所作用素に対する対応物はこれまで確立されていなかった。非局所作用素に関する先行研究は、十分条件（例：外部球条件や錐体条件）や、コンパクトな支持を持つデータを用いた分数型ラプラシアンのような特定のケースに限定されていた。

手法
著者らは、非局所非線形ポテンシャル論を用いて、ウィーナー・クリテリオンを確立するために、非局所非線形ポテンシャル論を採用している。証明は、十分性と必要性の2つの主要な部分に分かれている。

1. 境界までの局所推定：
   著者らはまず、弱解に対する内部推定の境界版を確立する。彼らは、弱劣解（weak subsolutions）の局所有界性と、弱超解（weak supersolutions）の境界までの弱ハーディン不等式を証明する。非局所的な設定における大きな技術的課題は、長距離相互作用を符号化する「非局所的なテイル（nonlocal tail）」項である。著者らは、これらのテイル項を制御するために、局所化の手法（カッチョリ型の推定およびモゼールの反復法）を適応させ、テイルが中間的な推定には影響を与えるものの、ウィーナー積分の文脈においてはその影響を制御できることを示す。

2. 十分性（「もし〜ならば」の方向）：
   ウィーナー積分が発散することが正則性を意味することを証明するために、著者らは、積分が発散しているにもかかわらず境界点が非正則であると仮定する（背理法）。彼らは、境界データに関連する特定の弱超解を構成し、領域の補集合（境界点付近）の $(s, p)$-容量と解の挙動を結びつける推定値を導出する。領域を環状領域（annuli）に分解し、テイル項を反復的に解析することで、ウィーナー積分が発散すれば解が境界データに収束し、矛盾が生じることを示し、結果として正則性が導かれることを示す。

3. 必要性（「〜のときのみ」の方向）：
   逆の証明については、$L$-超調和関数および $L$-ポテンシャルを介した、作用素 $L$ と $(s, p)$-容量との関係を利用する。彼らは、非負の $L$-超調和関数について、関連する測度（$L$-分布）のウォルフ・ポテンシャルによる点別推定を確立する。

• 技術的革新： 近似解（SOLA）から得られる既存の点別推定は、$p > 2 - s/n$ という制限を必要としていた。全範囲 $p > 1$ をカバーするために、著者らは、非局所的なテイルのために適応させた、局所的な作用素と同様の反復スキームに従う、$L$-超調和関数のための新しいウォルフ・ポテンシャル推定の証明を導入している。
• $L$-分布の補集合のウォルフ・ポテンシャルをウィーナー積分に関連付けることで、もしウィーナー積分が収束する場合、解が境界値に到達しないことを示し、非正則性を導き出す。

主な貢献と結果
主要な結果は定理 1.1であり、これは境界点 $x_0 \in \partial \Omega$ が $L$ に関して正則であるための必要十分条件が、以下のウィーナー積分が発散することであると述べている：
$$\int_0 \left( \frac{\text{cap}_{s,p}(B_\rho(x_0) \setminus \Omega, B_{2\rho}(x_0))}{\rho^{n-sp}} \right)^{\frac{1}{p-1}} \frac{d\rho}{\rho} = +\infty$$
ここで、$\text{cap}_{s,p}$ は $(s, p)$-容量を表す。

この結果の重要な側面は以下の通りである：

• 汎用性： この基準は、分数型ラプラシアンだけでなく、可測係数を持つ広範な非線形非局所作用素に適用される。
• 鋭利さ： 従来の幾何学的条件（外部錐体、コルクスクリュー条件など）が十分条件であるのに対し、これは必要十分条件を提供する。
• 作用素への独立性： 直接的な系（系 1.2）として、境界点の正則性は、特定のカーネル $k$（楕円性境界を満たす限り）ではなく、次元 $n$、次数 $s$、および指数 $p$ にのみ依存する。
• $p$ の範囲： 結果はすべての $p > 1$ に対して成立し、特定の測量に対して解の存在に $p > 2 - s/n$ という制限があった従来の限界を克服している。

意義
本論文は、非局所ディリクレ問題に対する完全なウィーナー・クリテリオンを確立することにより、文献 [46] のオープン問題 7を解決したと主張している。著者らは驚くべき現象を強調している。すなわち、方程式の非局所的な性質（解が領域の外側の値にも依存する性質）にもかかわらず、境界の正則性の条件は、境界の局所的な幾何学、具体的には境界点付近の補集合の容量によって完全に決定されるということである。中間的な推定に現れる長距離相互作用（テイル項）は、ウィーナー積分の強さによって「吸収」されることが示されている。

本研究は、古典的な2階局所作用素の境界正則性理論を、ポテンシャル論の観点を通じて、非局所的な非線形設定へと拡張し、局所的および非局所的な枠組みにおける正則性の理解を統一するものである。