Maz'ya-type bounds for sharp constants in fractional Poincaré-Sobolev inequalities

この論文「MAZ'YA-TYPE BOUNDS FOR SHARP CONSTANTS IN FRACTIONAL POINCAR´E-SOBOLEV INEQUALITIES（分数次ポアンカレ・ソボレフ不等式の sharp 定数に対するマズヤ型評価）」は、開集合 $\Omega \subset \mathbb{R}^N$ に関連する分数次ポアンカレ・ソボレフ不等式の sharp 定数（最適定数）を、その集合の「内径（inradius）」の非局所的な拡張である「容量的内径（capacitary inradius）」を用いて評価する新しい結果を提供しています。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて記述します。

1. 問題設定と背景

• 対象とする不等式:
  開集合 $\Omega$ 上の分数次ポアンカレ・ソボレフ不等式
  $$c_\Omega \int_\Omega |u|^q dx \leq \iint_{\mathbb{R}^N \times \mathbb{R}^N} \frac{|u(x) - u(y)|^p}{|x - y|^{N+sp}} dx dy$$
  における sharp 定数 $\lambda^s_{p,q}(\Omega)$ の研究です。ここで、$s \in (0,1)$ は微分次数、$1 \leq p < \infty$、$q$ は臨界指数以下の条件を満たします。
• 従来の知見と課題:
  • 局所ケース（$s=1$）では、Maz'ya と Shubin によって、$\lambda_p(\Omega)$ の正値性が「容量的内径（interior capacitary radius）」の有界性と同値であることが示されています。これは、通常の幾何学的な内径 $r_\Omega$ だけでは不十分であり、集合の「穴」や境界の細部が容量的に無視できるかどうかを考慮する必要があることを意味します。
  • 分数次ケース（$s \in (0,1)$）では、$\lambda^s_{p,q}(\Omega)$ が正であるための必要十分条件を、集合の幾何学的な大きさだけでなく、非局所的な容量（fractional capacity）を用いて記述する試みが求められていました。
  • 既存の非局所版のポアンカレ不等式は、微分次数 $s$ が $0$や$1$ に近づく際の極限挙動（asymptotic behaviour）において、定数の依存性が最適でない、あるいは鋭い評価が得られていないという課題がありました。

2. 手法と戦略

著者らは、局所ケースでの Maz'ya-Shubin の証明戦略を非局所フレームワークに転写・適応させつつ、以下の技術的革新を行いました。

• 分数次容量的内径の導入:
  定義 1.2 に従い、$(s, p, \gamma)$-negligible な集合を用いた「分数次容量的内径」$R^s_{p,\gamma}(\Omega)$ を定義しました。これは、ある半径 $r$ の球が $\Omega$ の外側に出る部分が、その球の分数次容量に対して $\gamma$ 倍以下であれば「許容される」とみなす概念です。
• 非対称な半ノルム（Asymmetric Seminorm）の導入:
  従来の分数次 Gagliardo-Slobodeckii ノルムをそのまま用いると、$s \to 0$ または $s \to 1$ の極限で定数の発散や劣化が生じる問題がありました。これを解決するため、著者らは「ストリップ（strip）」上での非対称な半ノルム
  $$\left( \iint_{B_r(x_0) \times \mathbb{R}^N} \frac{|u(x) - u(y)|^p}{|x - y|^{N+sp}} dx dy \right)^{1/p}$$
  を導入しました。この半ノルムは、$s \to 0$ で $L^p$ ノルムに、$s \to 1$ で $W^{1,p}$ ノルム（勾配の $L^p$ ノルム）に収束する性質を持ち、極限挙動を制御する鍵となります。
• 新しい不等式の導出:
  • 分数次 Maz'ya-Poincaré 不等式: 上記の非対称半ノルムを用いた新しい不等式（Lemma 4.11）を証明しました。これは、局所ケースの Maz'ya-Poincaré 不等式の非局所版ですが、定数の $s$ 依存性が最適に制御されています。
  • 分数次ポアンカレ・ウィルティング型不等式: 球上の平均値からの偏差に関する新しい評価（Lemma 4.2, 4.9）も確立しました。
• タイル分割（Tiling）と被覆:
  空間を等距離の中心を持つ球でタイル分割し、各球上で新しい Maz'ya-Poincaré 不等式を適用して和を取ることで、大域的な評価を導出しました。

3. 主要な結果（Main Theorems）

定理 1.4（下限評価）:
任意の開集合 $\Omega$ に対して、ある定数 $\sigma > 0$ が存在し、
$$\gamma \sigma \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}} \leq \lambda^s_{p,q}(\Omega)$$
が成り立ちます。ここで、定数 $\sigma$ は $s \to 0$ で $1/s$ に、$s \to 1$ で $1/(1-s)$ に比例する漸近挙動を示します。

定理 1.5（上限評価）:
ある閾値 $\gamma_0 \in (0, 1]$ が存在し、$0 < \gamma < \gamma_0$ に対して、
$$\lambda^s_{p,q}(\Omega) \leq C \left( \frac{1}{R^s_{p,\gamma}(\Omega)} \right)^{sp - N + \frac{Np}{q}}$$
が成り立ちます。特に、$R^s_{p,\gamma}(\Omega) = +\infty$ ならば $\lambda^s_{p,q}(\Omega) = 0$ となります。

• $p=1$ の場合、$\gamma_0 = 1$ と取れます（任意の $\gamma$ で成立）。
• $p > 1$ の場合、$\gamma_0$ は $s$ に依存しますが、$s \to 0, 1$ で $1$ に近づきます。

コローラリ 1.7（埋め込みの同値性）:
分数次ソボレフ空間 $D^{s,p}_0(\Omega)$ が $L^q(\Omega)$ に連続的に埋め込まれるための必要十分条件は、ある $0 < \gamma < \gamma_0$ に対して $R^s_{p,\gamma}(\Omega) < \infty$ であることです。これは、局所ケースでの Maz'ya-Shubin の結果の非局所版です。

コローラリ 1.8（分数次 Cheeger 定数）:
$p=q=1$ の場合、分数次 Cheeger 定数 $h_s(\Omega)$ についても同様の両側評価が得られ、その正値性が $R^s_{1,\gamma}(\Omega)$ の有界性と同値であることが示されました。

4. 意義と新規性

1. 非局所版 Maz'ya-Shubin 定理の確立:
   局所ケース（$s=1$）で知られていた「容量的内径によるポアンカレ定数の評価」を、分数次ケース（$s \in (0,1)$）に初めて一般化しました。これにより、非局所演算子（分数次ラプラシアンなど）のスペクトル理論において、幾何学的な形状だけでなく、容量的な「穴」が固有値に与える影響を定量的に評価できるようになりました。
2. 極限挙動の最適性:
   既存の非局所不等式では見落とされがちだった、$s \to 0$（$L^1$ 的な挙動）および $s \to 1$（局所微分への収束）における定数の漸近挙動を、定数に依存しない形で最適に制御しました。これは、分数次モデルが局所モデルや離散モデルへどのように遷移するかを理解する上で重要です。
3. 分数次 Cheeger 定数の完全な特徴付け:
   $p=1$ の場合、閾値 $\gamma$ の全範囲（$0 < \gamma < 1$）で正値性が特徴付けられることを示しました。これは、分数次 Cheeger 定数の幾何学的意味を深める結果です。
4. 新しい不等式の確立:
   証明の過程で導かれた、非対称半ノルムを用いた分数次 Maz'ya-Poincaré 不等式や、ポアンカレ・ウィルティング型不等式は、独立した興味深い結果であり、今後の非局所解析におけるツールとして利用可能です。

結論

この論文は、分数次ポアンカレ・ソボレフ不等式の sharp 定数に対する、幾何学的な内径ではなく「容量的内径」に基づく精密な両側評価（Maz'ya 型評価）を提供しました。特に、微分次数 $s$ の極限における定数の挙動を厳密に制御した点が画期的であり、非局所問題のスペクトル幾何学や正則性理論における基礎的な進展をもたらしています。