Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

技術要約：リージョナル分数型 $p$-ラプラシアンにおけるディリクレ問題の最適安定性

問題設定
本論文は、リージョナル分数型 $p$-ラプラシアン（$(-\Delta)^s_{p,\Omega}$ と表記）に関連するディリクレ境界値問題の、分数パラメータ $s$ が $1$未満から$1$へ近づく場合（$s \to 1^-$）の漸近挙動を調査するものである。この問題は、有界リプシッツ領域$\Omega \subset \mathbb{R}^d$上で定義され、$1 < p < \infty$かつ$sp > 1$ である。方程式は次のように与えられる：
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{in } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{on } \partial\Omega, \end{cases}$$
ここで、$\gamma^s_0$ は $W^{s,p}(\Omega)$ から分数トレース空間 $W^{s-1/p,p}(\partial\Omega)$ へのトレース作用素である。演算子は、$s \to 1^-$ における一貫した漸近挙動（古典的な $p$-ラプラシアン $-\Delta_p$ の回復）および $s \to 0^+$ における挙動を保証するために、定数 $C_{d,p,s}$ によって正規化されている。

主な目的は、極限解 $u_1$ に対する弱解 $u_s$ の最適安定性（自然なエネルギー空間における強収束）を確立することである。副次的な目的は、関連するディリクレ固有値対 $(\lambda_s, \phi_s)$ の漸近安定性を分析することである。

手法および枠組み
解析は、以下の主要な技術的要素に基づいている：

1. 漸近収束の定義： 基底となる空間 $W^{s,p}_0(\Omega)$ およびトレース空間が $s$ に依存して変化するため、標準的な弱収束では不十分である。著者は以下を導入している：

   • 漸近弱収束： 関数列 $(f_s)$ が $f_1$ に漸近弱収束するとは、それが有界であり、かつ $L^p$ において強収束する列に対して弱強収束特性を満たすことを指す。
   • 漸近強収束： 境界データ $(g_s)$ が適切なトレースノルムにおいて $g_1$ に強収束すること。

2. ロバストな補間とコンパクト性： 証明には、$(u_s)$ の $W^{\eta,p}(\Omega)$（ただし $1/p < \eta < 1$）におけるコンパクト性を確立するために、ロバストな補間不等式（Foghem [19] より借用）が用いられている。このコンパクト性は、境界挙動を扱う上で極めて重要であり、これは大きな困難として指摘されている。

3. トレース空間の漸近性： 解析の大部分は、トレース空間 $W^{s-1/p,p}(\partial\Omega)$ の漸近的性質に割かれている。著者は、これらの空間が $s \to 1^-$ において古典的なトレース空間 $W^{1-1/p,p}(\partial\Omega)$ に収束することを証明している。これには、これらのトレース空間における有界な族の漸近的コンパクト性の確立、およびノルムの $\liminf$ を通じた $W^{1-1/p,p}(\partial\Omega)$ の特徴付けが含まれる。

4. ロバストなポアンカレ・フリードリヒス不等式： $s$ が 1 に近い場合に一様に成立する、いくつかの変種ポアンカレ型不等式を確立している。これらの不等式は、エネルギー汎関数の強凸性（coercivity）と問題のウェルポーズドネス（well-posedness）を証明するために不可欠である。

5. $\Gamma$-収束： ディリクレ問題に関連するエネルギー汎関数が、$W^{\eta,p}(\Omega)$ の強位相において $\Gamma$-収束することが示されている。これにより、最小化子の収束に関する変分的な枠組みが提供される。

主要な貢献および結果

• 定理 1.1 (解の最適安定性)： ソース項 $f_s$ の漸近弱収束および境界データ $g_s$ の漸近強収束という仮定の下で、弱解の列 $u_s$ は、極限問題の唯一の弱解 $u_1$ に対して、最適な意味で強収束する：
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  この結果は、$\eta < 1$ における $W^{\eta,p}(\Omega)$ での収束のみを確立していた先行研究（例：Foghem [19]）を改善するものである。

• 定理 1.2 (固有値対の安定性)： リージョナル分数型 $p$-ラプラシアンの正規化されたディリクレ固有値対 $(\lambda_s, \phi_s)$ について、$\lambda_{s_n} \to \lambda_1$ となる部分列 $s_n \to 1^-$ が存在し、固有値は収束し（$\lambda_{s_n} \to \lambda_1$）、固有関数はエネルギーノルムにおいて強収束する：
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• トレース空間の特徴付け (定理 3.3 & 3.4)： 本論文は、トレース空間 $W^{s-1/p,p}(\partial\Omega)$ の漸近的コンパクト性を確立し、分数ノルムの $\liminf$ の有界性を通じて極限空間 $W^{1-1/p,p}(\partial\Omega)$ を特徴付けている。

• ロバストな不等式 (セクション 4)： 著者らは、$s \in (s_0, 1)$ において一様に成立する、ロバストなポアンカレおよびフリードリヒス不等式を導出している。これには、正のハウスドルフ測量を持つ部分集合 $\Gamma_0 \subset \partial\Omega$ 上での部分境界条件の場合も含まれる。

意義および主張

本論文は、リージョナル 分数型 $p$-ラプラシアンに関連するディリクレ問題の弱解の収束は新しい結果であると主張している。その意義は、先行文献で確立されていた $\eta < 1$ における $W^{\eta,p}$ でのより弱い収束ではなく、最適収束（$W^{s,p}$ ノルムにおける強収束）を達成した点にある。

著者は、この解析における主な困難は、境界 $\partial\Omega$ 付近における弱解の挙動から生じると強調している。トレース作用素のロバスト性とトレース空間の漸近的性質を確立することにより、この障害を克服している。これらの結果は、非局所的変分問題と古典的な局所問題の間の架け橋となり、不均質な境界条件を持つリージョナル演算子の文脈における $s \to 1^-$ の極限に対する厳密な基礎を提供する。本研究は、全分数型 $p$-ラプラシアン（$\mathbb{R}^d$ 上で定義される）からリージョナル演算ス（有界領域上で定義される）への結果の拡張を通じて、非局所的から局所的への漸近的な議論に寄与するものである。