Optimal stability of complement value problems for p-Lévy operators

技術的サマリー：p-レヴィ作用素に対する補題値問題の最適安定性

問題の定式化
本論文は、非局所的相互作用範囲が消失するにつれて、対称 p-レヴィ作用素によって支配される非局所積分微分方程式（IDE）の弱解の漸近挙動を調査する。具体的には、パラメータ $\varepsilon \to 0$ において、非局所補題値問題 $(P_{\nu_\varepsilon, \tau})$ の解が、対応する局所 p-ラプラス境界値問題 $(P_\tau)$ の解へ収束することを論じる。

非局所問題は、開集合 $\Omega \subset \mathbb{R}^d$ およびその補集合 $\Omega^c$ 上で定義され、以下の作用素によって支配される：
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
ここで、$\Omega^c$ 上で非局所ディリクレ条件（$\tau=0$）またはノイマン条件（$\tau=1$）が課される。核列 $(\nu_\varepsilon)_\varepsilon$ は、恒等写像を近似する放射状 p-レヴィ核の族であり、特定の正規化条件（例：$\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$）を満たす。目的は、単に $L^p(\Omega)$ における収束ではなく、自然な非局所エネルギー空間 $W^p_{\nu_\varepsilon}(\Omega)$ および $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$ における強収束を意味する最適収束を確立することである。

手法
解析は、変分法、非局所形式の漸近解析、および跡空間の理論の組み合わせに依存している。

1. エネルギー形式の解析：著者らは、非局所双線形形式 $E_\varepsilon(\cdot, \cdot)$（およびその変種 $E_\varepsilon^\Omega$, $E_\varepsilon^+$、境界横断形式 $E_\varepsilon^{cr}$）の、局所ディリクレ形式 $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$ への収束を解析する。重要なステップは、関数列が $\varepsilon$ に依存する場合であっても解の収束を特徴づけるこれらの形式の漸近的半収束を確立することである。
2. 一様線形化：p-レヴィ作用素の非線形性（$1 < p < \infty$）を扱うため、本論文は形式の差と関数の差のエネルギーを関連付ける一様線形化評価（定理 2.4, 2.6）を採用する。これにより、著者らは非線形項の収束を制御できる。
3. 跡空間の頑健性：研究の重要な部分は、$\varepsilon \to 0$ における非局所跡空間 $T^p_{\nu_\varepsilon}(\Omega^c)$ の頑健性の証明に充てられている。著者らは、これらの空間が局所跡空間 $W^{1-1/p, p}(\partial\Omega)$ へ強収束することを示し、リフティング作用素の収束も含める。これは、$\Omega^c$ 上でデータが指定されるディリクレ境界条件を扱うために不可欠である。
4. $\Gamma$-収束とコンパクト性：解の収束は、関連するエネルギー汎関数 $J_\varepsilon$ の局所汎関数 $J$ への $\Gamma$-収束を通じて定式化される。領域の不一致（非局所関数は $\mathbb{R}^d$ 上で定義され、局所関数は $\Omega$ 上で定義される）のため、著者らは収束部分列の存在と極限の同定を保証するために、漸近的コンパクト性の結果（定理 2.18）および一様ポアンカレ不等式を利用する。

主要な貢献と結果

• 解の最適収束：主要な結果（第 5 節）は、データ（$f_\varepsilon, g_\varepsilon$）に対する適切な漸近的弱/強収束仮定の下で、弱解の列 $(u_\varepsilon)_\varepsilon$ が、最適な非局所ノルムにおいて局所解 $u$ へ強収束することを確立する：
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  これは、境界横断エネルギー項の崩壊を意味する：$\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$。
• 非局所跡空間の頑健性：本論文は、非局所跡空間 $T^p_{\nu_\varepsilon}(\Omega^c)$ が局所跡空間 $W^{1-1/p, p}(\partial\Omega)$ へ収束することを証明する。具体的には、境界データの列が非局所跡ノルムで収束する場合、ノルムの極限は局所跡ノルムと一致する（定理 3.5）。さらに、局所リフティング作用素へ強収束する頑健な右リフティング作用素が存在する。
• 漸近的半収束：著者らは、エネルギー形式 $E_\varepsilon$ から $E_0$ への半収束の一般化された形式を確立する（定理 2.16, 2.17）。この結果は、領域に関する軽微な正則性仮定（例：$W^{1,p}$-拡張領域）の下、または関数のいずれかが境界上で消滅する場合に成り立ち、形式収束に関する先行研究を拡張する。
• 分数階 p-ラプラシアンの場合：一般理論は、$s \to 1^-$ における分数階 p-ラプラシアン $(-\Delta)^s_p$ に適用される。本論文は、分数階補題問題の解が局所 p-ラプラス解へ強収束することを示す（第 6 節）。この結果は、分数階 p-ラプラシアンに対しても新規であることが指摘されている。
• 双対空間の収束：非局所ソボレフ空間の双対空間が、その局所的対応物へ収束することが示され（定理 3.9）、変分定式化の安定性が保証される。

意義と主張
本論文は、p-レヴィ作用素の非局所から局所への極限に対する最適な収束結果を提供すると主張している。先行研究（著者の以前の研究 [24] を含む）は、緩和された仮定の下で $L^p(\Omega)$ における強収束のみを確立していた。本論文は、これらの変分問題の自然な位相であるエネルギーノルムへの結果を強化する。

著者らは、条件 (1.1) を満たす核列 $(\nu_\varepsilon)_\varepsilon$ の選択が「本質的に最適」であると強調している。なぜなら、それは非局所差分による局所勾配ノルムの特性づけに内在しており、Brezis、Bourgain、Mironescu による画期的な研究を拡張するからである（式 1.3）。

跡空間の頑健性は、局所境界条件へ収束する非局所境界条件の厳密な処理を可能にするアプローチの重要な構成要素として強調されている。本論文は、非局所解 $u_\varepsilon$ が $W^p_{\nu_\varepsilon}(\Omega)$ に属し、極限 $u$ が $W^{1,p}(\Omega)$ に属し、ノルムが異なるため、一般にはより強い収束は期待できないことを明示的に述べている。

結果は、ディリクレおよびノイマン補題問題の扱いを統一し、完全な非局所作用素および領域作用素（相互作用が $\Omega$ に制限される場合）の両方に適用される。これらの知見は、$p=2$ および分数階の場合に関する既存文献の一般化として提示され、$1 < p < \infty$ に対する包括的な枠組みを提供する。