Robust interpolation inequalities via Chebyshev-type integral inequalities

技術要約：チェビシェフ型積分不等式によるロバストな補間不等式

問題提起
本論文は、ガリャルト（Gagliardo）セミノルムのスケールにおける古典的な対数凸補間不等式の頑健性（ロバスト性）の欠如に対処している。標準的な補間評価、例えば $|u|_{W^{\eta,p}} \leq C |u|_{W^{\sigma,p}}^\theta |u|_{W^{s,p}}^{1-\theta}$ は、分数次次数 $\eta$ が端点 0 または 1 に近づく際に一貫性を保つことができない。具体的には、非定数関数に対して、セミノルム $|u|_{W^{\eta,p}}$ は $\eta \to 0^+$ および $\eta \to 1^-$ において特異な爆発挙動を示す。Brezis–Bourgain–Mironescu [BBM01] や Maz'ya–Shaposhnikova [MS02] による先行研究は、これらの特異性を打ち消すための $\eta(1-\eta)$ のような因子を含む漸近極限を確立したが、全範囲 $s \in [0,1]$ においてこのような異常を回避する、統一されたロバストな補間不等式は完全には確立されていなかった。

本研究の主な動機は、分数次 $p$-ラプラシアン $(-\Delta)^s_{p,\Omega}$ に関連するリージョナル・ディリクレ問題の弱解の漸近的安定性の研究である。著者らは、$s$ が 1 に近づく際の、 $s$ に関して一様な収束結果を確立することを目指している。

手法
核心となる手法は、平均化された $L^p$-連続度 $U(t)$ を通じて、ガリャルト・セミノルムを**短距離（局所的）相互作用と長距離（非局所的）**相互作用へと分解することに基づいている。

1. 分解: ガリ�ルト・セミノルムを、短距離（$0 < |x-y| \leq r$）および長距離（$|x-y| > r$）の積分に分割する。これらは、短距離相互作用 $L_p(s, u, r)$ と長距離相互作用（分数的なテイル）$T_p(s, u, r)$ に対応する。
2. チェビシェフ型不等式: 本論文の大部分（第2節）は、一般的かつ非同期（non-synchronous）および非非同期（non-asynchronous）な関数に対する新しい積分不等式の確立に充てられている。著者らは、$(b,c)$-同期性および弱単調性を伴うケースに対して古典的なチェビシェフ不等式を一般化している。これらの不等式は、分数次 $s$ に関する相互作用項の単調性を証明するために、$\int g(t) t^{z-1} dt$ の形式の特異積分に適用される。
3. 単調性解析: 著者らは、写像 $s \mapsto L_p(s, u, r)$ が増加であり、一方で $s \mapsto T_p(s, u, r)$ は本質的に減少である（具体的には、$d \geq 2$ において「2-almost decreasing」である）ことを証明する。この単調性が、ロバストな補間評価を導出するための礎石となる。
4. 再正規化: 本論文では、一貫した極限（$s \to 0$ および $s \to 1$）を保証するために、正規化定数（例：$s(1-s)$ や分数型ラプラシアンに関連する定数）を組み込んだ特定の再正規化セミノルム $[u]_{W^{s,p}}$ および $[u]^*_{W^{s,p}}$ を利用している。

主要な貢献と結果

• ロバストな補間不等式 (定理 1.1): 本論文は、再正規化されたセミノルム $[u]_{W^{\eta,p}}$ およびガリャルト・セミノルム $|u|_{W^{\eta,p}}$ に関するロバストな対数凸補間不等式を確立している。これらは $0 \leq \sigma < \eta < s \leq 1$ のすべての範囲で成立し、その定数は $\eta \to 0$ または $\eta \to 1$ となる際にも有界かつ定義可能である。

  • 再正規化されたセミノルムの場合、不等式は $[u]_{W^{\eta,p}} \leq \kappa N_p(\sigma, \eta, s) [u]_{W^{s,p}}^\theta [u]_{W^{\sigma,p}}^{1-\theta}$ の形式をとり、定数 $N_p$ は次元に依存せず有界である。
  • $p=2$ の特定の場合、著者らはフーリエ変換を用いて、再正規化されたソボレフ・セミノルムに対して定数 1 を持つより鋭い評価を導出している。

• 相互作用の単調性 (定理 1.3): 著者らは、短距離相互作用 $L_p(s, u, r)$ が $s$ に関して連続かつ増加であり、長距離相互作用 $T_p(s, u, r)$ が連続かつ本質的に減少（$d \geq 2$ では 2 倍の因子を除いて）であることを証明している。これにより、$L_p$ が局所的な正則性（$s \to 1$ として勾配ノルムに収束する）を捉え、$T_p$ が非局所的な挙動（$s \to 0$ として $L^p$ ノルムに収束する）を捉えていることが確認される。

• 漸近解析 (第4節): 本論文は、分数次セミノルムの $s \to 0^+$ および $s \to 1^-$ における漸近極限への比較的単純なアプローチを提供し、Maz'ya–Shaposhnikova および Brezis–Bourgain–Mironescu の結果を回収している。また、任意の開集合 $\Omega$ に対する Maz'ya–Shaposhnikova の公式を一般化し、「脱出セクター（escape sector）」$S_\Omega(x)$ を通じてその極限を特徴付けている。

• リージョナル・ディレクレ問題の収束 (定理 1.4): 主要な応用として、本論文はリージョナル・分数型 $p$-ラプラシアンのディレクレ問題に対する弱解 $u_s$ が、局所 $p$-ラプラシアンの弱解 $u_1$ へと強収束することを証明している。具体的には、データが適切に収束する場合、$s \to 1^-$ のとき $\|u_s - u_1\|_{W^{\eta,p}(\Omega)} \to 0$ （すべての $0 \leq \eta < 1$ に対して）となる。この結果は、ロバストな補間不等式および新しいロバストなリージョナル・ポアンカレ–フリードリヒス不等式に依拠している。

• 未解決問題の解決: ここで確立されたロバストな補間不等式は、[BSY23, Question 1.10] で提起された、一般的な設定における補間のロバスト性に関する未解決問題に対して肯定的な回答を与えるものである。

意義と主張
本論文の主な貢献は、分数次スケールの端点における特異性を回避するロバストな補間不等式を確立したことであると著者らは主張している。セミノルムを分解し、一般化されたチェビシェフ型不等式を利用することで、著者らは、分数パラメータの 0 または 1 への接近に依存しない定数を持つ評価を実現している。

本研究の意義は、非局所から局所への漸近的極限の安定性への応用にある。著者らは、これらの不等式が、 $s \to 1$ の際のセミノルムの一様な制御を必要とする、リージョナル・分数型 $p$-ラプラシアンの局所 $p$-ラプラシアンへの強収束を証明するのに十分であることを示している。また、本論文は $d=1$ における長距離相互作用の単調性に関するギャップを浮き彫りにし、この場合の定数 $C_p$ に関する予想を提示すると同時に、確立された結果が $d \geq 2$ で成立することを述べている。

本研究は、非局所的問題の漸近的挙動の研究を促進するツール（ロバストな拡張作用素、特異積分の単調性）を提供する、分数型ソボレフ空間の解析における技術的進展として提示されている。