A fractional Hardy-Sobolev inequality of Michael-Simon type on convex hypersurfaces

以下は、Gyula Csató と Prosenjit Roy による論文「A FRACTIONAL HARDY-SOBOLEV INEQUALITY OF MICHAEL-SIMON TYPE ON CONVEX HYPERSURFACES（凸超曲面におけるマイケル・シモン型の分数次ハーディ・ソボレフ不等式）」の技術的な詳細な要約です。

1. 研究の背景と問題設定

背景:
古典的なソボレフ不等式は、多様体上の関数の $L^p$ ノルムをその勾配のノルムで制御する不等式です。Michael-Simon 不等式（および Allard 不等式）は、このソボレフ不等式を $\mathbb{R}^{n+1}$ 内の部分多様体（特に超曲面）に拡張したものであり、その定数は多様体の幾何学に依存せず普遍的（universal）であることが特徴です。この不等式には平均曲率 $H$ の項が含まれます。
さらに、Caffarelli-Kohn-Nirenberg 型不等式は、ソボレフ不等式とハーディ不等式（重み付きの不等式）を補間するものです。

問題:
近年、分数次（非局所）ソボレフ不等式やハーディ不等式の研究が進んでいますが、これらを「凸集合の境界である超曲面」上で、普遍的な定数を持つ形で補間する不等式（分数次ハーディ・ソボレフ不等式）を確立することは未解決でした。特に、非局所平均曲率（分数次平均曲率）を右辺に含め、凸性を利用した普遍定数の存在を証明することが目標です。

2. 主要な結果（定理）

論文の核心は、凸集合 $\Omega \subset \mathbb{R}^{n+1}$ の境界 $\partial\Omega$ 上で成立する以下の不等式（定理 1.1）です。

定理 1.1 (分数次ハーディ・ソボレフ補間不等式):
パラメータ $n, a, \alpha, s, \gamma, p, q, \tau$ が特定の次元バランス条件（式 1.6）と制約条件（式 1.7）を満たすとき、任意の関数 $u \in W^{s,p}(\partial\Omega)$ に対して、以下の不等式が成り立ちます。

$$\||x|^\gamma u\|_{L^\tau(\partial\Omega)} \le C \left( \frac{1}{2} \iint_{\partial\Omega \times \partial\Omega} \frac{|u(x) - u(y)|^p}{|x - y|^{n+sp}} dx dy + \int_{\partial\Omega} H_\alpha(x) \frac{|u(x)|^p}{s^p} dx \right)^{\frac{a}{p}} \|u\|_{L^q(\partial\Omega)}^{1-a}$$

ここで、

• $C$ は多様体 $\partial\Omega$ に依存しない普遍的な定数です。
• 左辺は重み付きノルム $\||x|^\gamma u\|_{L^\tau}$ です。
• 右辺の第一項は分数次ソボレフ半ノルム $[u]_{W^{s,p}}$ の $p$ 乗です。
• 右辺の第二項には分数次平均曲率 $H_\alpha$ が現れます。
• この不等式は、$a=1, \gamma=0$ の場合に分数次マイケル・シモン・ソボレフ不等式（Cabré-Cozzi-Csató [4]）となり、$a=0$ などの極限で分数次ハーディ不等式とみなせます。

3. 手法と証明の戦略

証明は主に以下の 3 つのステップで構成されています。

A. 凸超曲面の幾何学的構造の分解（定理 1.2 の証明）

凸超曲面 $\partial\Omega$ 上の重み付き積分を評価するために、以下の重要な補題（定理 1.2）を証明します。

• 定理 1.2: $\Omega$ が凸集合であれば、任意の可測集合 $E \subset \partial\Omega$ と $\beta \in [0, n)$ に対して、
  $$\int_E |x|^{-\beta} dx \le C |E|^{\frac{n-\beta}{n}}$$
  が成り立ちます。
• 手法: 凸集合の性質を用いて、$\partial\Omega$ を高々 $2(n+1)$ 個のグラフ（Lipschitz 関数のグラフ）の和集合として表現します（Lemma 2.2）。各グラフ上の勾配は有界であるため、シュワルツ再配置（Schwarz rearrangement）を適用し、平面の場合の不等式を導出します。凸性がないと、原点の近くで曲面が無限に振動する可能性があり、この不等式は成立しません。

B. 分数次ハーディ不等式の導出と再配置

• 平面の場合（$\mathbb{R}^n$）における分数次ハーディ不等式の証明は、Savin-Valdinoci の手法と、上記の定理 1.2 に基づく重み付き積分の評価を組み合わせることで簡潔に行われます。
• 凸超曲面の場合、定理 1.2 により、平面の場合と同様の重み付き積分の制御が可能になります。

C. 補間不等式の証明（2 つのケース）

定理 1.1 の証明は、パラメータの関係 $1/\tau \le a/p + (1-a)/q$ と $1/\tau > a/p + (1-a)/q$ の 2 つのケースに分かれます。

1. ケース 1 ($1/\tau \le \dots$):

   • 関数 $u$ をレベルセット $A_i = \{u > 2^i\}$ に分解します。
   • 文献 [4] の Lemma 4.3（分数次ソボレフと分数次平均曲率の関係を評価する不等式）と、レベルセットの測度に関する補間不等式（Lemma 3.1）を組み合わせます。
   • 定理 1.2 を用いて重み付き積分を評価し、一般化されたヘルダー不等式を適用して結果を得ます。

2. ケース 2 ($1/\tau > \dots$):

   • このケースでは、$\gamma < -as$ となり、重みがより強く発散する可能性があります。
   • 単位球 $B_1(0)$ の内部と外部に領域を分割し、それぞれでヘルダー不等式を適用して、すでに証明済みのケース（ケース 1）に帰着させます。
   • Lemma 4.1: 凸超曲面において、単位球の外部での $|x|^{-\beta}$ ($\beta > n$) の積分、および内部での $|x|^{-\beta}$ ($\beta < n$) の積分が有界であることを示します。これも凸性（Lemma 2.2 のグラフ分解）に依存しています。

4. 主要な貢献と新規性

1. 普遍的な定数の存在: 凸超曲面の境界上で、多様体の形状に依存しない普遍的な定数を持つ分数次ハーディ・ソボレフ補間不等式を初めて確立しました。
2. 分数次平均曲率の導入: 不等式の右辺に分数次平均曲率 $H_\alpha$ を含めることで、非局所幾何学におけるソボレフ型不等式の自然な拡張を実現しました。
3. 凸性の本質的な利用: 凸性がないと定理 1.2（重み付き面積の制御）が成立しないことを示し、凸超曲面という条件がなぜ必要かつ十分かを明確にしました。
4. 平面の場合への応用: 平面 $\mathbb{R}^n$ に制限した場合、この手法は分数次ハーディ不等式の新しい簡潔な証明を提供します。

5. 意義と今後の展望

• 理論的意義: 非局所解析（Fractional Calculus）と微分幾何学（Convex Geometry）の交差点における重要な成果です。特に、非局所最小曲面や分数次平均曲率流（Fractional Mean Curvature Flow）の消滅時間などの問題において、必要な解析的ツールを提供します。
• 応用: 分数次ソボレフ空間における関数の埋め込み定理を強化し、非局所偏微分方程式の解の正則性や存在性の研究に応用可能です。
• 未解決問題: 本論文では凸超曲面（凸集合の境界）に対して証明されていますが、より一般的な多様体（例えば、非凸な曲面や一般の Riemann 多様体）において同様の普遍定数を持つ不等式が成立するかどうかは、今後の課題として残されています。

総じて、この論文は非局所不等式の理論を凸幾何学の枠組みの中で大幅に発展させ、微分幾何学と非局所解析の架け橋となる重要な結果です。