Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

技術的サマリー：ギャップの解消：Maz'ya-Shaposhnikova と分数次周長の漸近挙動

問題提起
Gagliardo 半ノルムの漸近挙動の研究は、非局所解析の中心に位置し、パラメータ $s$ が 0 または 1 に近づくにつれて、分数次ソボレフ空間 $W^{s,p}$ と古典的空間との間のギャップを埋める役割を果たす。古典的な Maz'ya-Shaposhnikova（MS）公式 [36] は、$u \in L^p(\mathbb{R}^d)$ に対する $s \to 0^+$ の極限を記述するものであり、$s [u]_{W^{s,p}}^p$ が $L^p$ ノルムの定数倍に収束することを示している。しかし、この公式は $u$ が無限遠で消滅する（すなわち $u \in L^p(\mathbb{R}^d)$）という構造的仮定に依存している。この制限は、関数の「テール挙動」を人為的に抑制しており、まさに $s \to 0^+$ において分数次核の非局所的性質が最も顕著に現れる領域を無視している。

対照的に、集合 $E$ の特性関数に対する分数次周長の漸近挙動に関する最近の研究 [20] は、無限遠で消滅しない質量を持つ集合の場合、極限には「非局所テール」を表す項 $\alpha_1(E)$ が含まれることを明らかにした。これは、$L^p(\mathbb{R}^d)$ に属さない一般的な関数に対しては、極限が局所的な $L^p$ ノルムの単純な定数倍ではなく、有界領域 $\Omega$ 内の関数の値と「無限遠における」振る舞いの間の相互作用エネルギーとなるべきであることを示唆している。

手法
著者は $p=2$ のヒルベルト空間の場合に焦点を当て、有界リプシッツ領域 $\Omega$ 上の局所化された Gagliardo 半ノルムを導入する：
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
ここで $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$ である。この汎関数は、少なくとも一方の点が $\Omega$ 内にある相互作用を考慮し、内部 - 内部、内部 - 外部、および外部 - 内部の相互作用からのエネルギーを抽出しつつ、外部 - 外部の寄与は無視する。

手法上の核心的な革新は、可測関数 $u$ に対する無限遠での $p$-質量の定義にある：
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
著者は、この量が並進不変であり、大域的に可積分でない関数に対しても定義可能であることを確立する。彼らは局所化された半ノルムを 4 つの項に分解する：

1. 内部 - 内部: $s \to 0^+$ において消滅することが示される（補題 2.5）。
2. 内部 - 外部（2 乗）: 定数関数 1 の質量と $\Omega$ 上の $u^2$ の積分を含む項に収束する。
3. 交差項: $u(x)u(y)$ の積を含み、$u$ の正部と負部（$u_+, u_-$）を用いて展開され、無限遠での質量を通じて解析される。
4. 外部 - 内部（2 乗）: $u^2$ の質量と $\Omega$ の体積を含む項に収束する。

証明は、直接評価、分数次ハーディ不等式、および関数値自体で重み付けされた測度を扱うように適応化された計量測度空間における MS 公式の一般化版（[28] の命題 2.3）の組み合わせに依存している。

主要な貢献と結果

1. 一般化された Maz'ya-Shaposhnikova 公式（定理 1.3）:
   本論文は、無限遠で有限の質量を持つ $u \in L^2_{\text{loc}}(\mathbb{R}^d)$（具体的には $\alpha(u_+), \alpha(u_-), \alpha(u^2)$ が存在する）に対して、局所化された半ノルムの極限が以下であることを証明する：
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   この公式は、古典的 MS 公式（$u \in L^2(\mathbb{R}^d)$ の場合、すなわち $k \ge 1$ で $\alpha(u^k)=0$ となる場合に回復される）と分数次周長の漸近挙動を統合する。

2. 幾何学的解釈（定理 2.11）:
   $|x| \to \infty$ において放射状極限 $u_\infty(\theta)$ を持つ関数 $u$ に対して、極限汎関数は、$\Omega$ 内の $u$ の値と無限遠での極限との間の相互作用エネルギーとして明示的に特徴づけられる：
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   これは、極限がノルムではなく、無限遠での振る舞いからの関数の偏差を測定するエネルギーであることを明確にする。

3. ガンマ収束（定理 3.4）:
   著者は、汎関数の列 $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ が、弱-$L^2(\Omega)$ 位相に関して定理 1.3 で特定された汎関数へガンマ収束することを確立する。この結果は、極限汎関数が漸近的分数次周長を記述する集合汎関数（式 1.6）の下半連続包絡線であることを意味する。

4. 計量測度空間への拡張（定理 4.5）:
   結果は、畳み込み核 $\rho_n$ に関する特定の仮定と無限遠での質量の存在の下で、一般的な計量測度空間 $(M, d, m)$ に拡張される。これにはカルノット群への応用が含まれる。

5. ガウス周長との区別（注記 4.9）:
   本論文は、導出された漸近挙動がガウス分数次周長には適用されないことを指摘している。ガウス設定では測度が有限であり、核が無限遠で質量を同様に集中させないため、極限は局所的な境界相互作用ではなく、集合の全測度に依存する。

意義と主張
本論文は、無限遠で消滅しない質量を持つ関数を受け入れる統合された枠組みを提供することにより、古典的 Maz'ya-Shaposhnikova 公式と非局所周長の漸近挙動の間の「ギャップを解消」すると主張している。

• 統合: 特定された極限汎関数は、大域的に可積分な関数に対して古典的 $L^2$ ノルムに還元され、集合の特性関数に対する $s$-分数次周長の点ごとの極限を回復する。
• 構造的洞察: 「無限遠での質量」という概念を導入することで、著者は $s \to 0^+$ においてエネルギーを支配する長距離相互作用を厳密に特徴づける。彼らは、極限が局所ノルムではなく、領域の内部と「地平線（無限遠）」との間の相互作用エネルギーであることを実証する。
• 頑健性: 結果はガンマ収束の文脈で成り立つことが示されており、弱収束に対する安定性を保証し、カルノット群などの空間を網羅する計量測度設定へ一般化されている。

著者は明示的に、一般的な $p \neq 2$ の場合は異なるアプローチを必要とし、それが共著論文 [13] の主題であると述べており、$p$ が奇数の場合、ここで用いられた二項展開に類似した閉じた公式が得られない可能性があると指摘している。