Sharp quantitative stability for the fractional Sobolev trace inequality

技術要約：分数ソボレフ・トレース不等式の鋭い定量的安定性

問題の設定
本論文は、EinavとLossによって確立された鋭い分数ソボレフ・トレース不等式の定量的安定性を調査するものである。この不等式は、$0 \le m < n$ および $m/2 < \alpha < n/2$ に対して、以下の不等式を満たす鋭い定数 $S(n, m, \alpha)$ が存在することを示している：
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
ここで、$q = \frac{2(n-m)}{n-2\alpha}$ であり、$\tau_m$ は超平面 $\mathbb{R}^{n-m}$ への制限を表し、$D^\alpha(\mathbb{R}^n)$ は分数ソボレフ空間である。極値関数は多様体 $M_{n,m,\alpha}$ を形成する。

著者らは、以下の2つの異なる設定における不等式の安定性を分析している：

1. 関数的設定： 不等式の欠損（deficit）に基づき、関数 $f$ と極値多様体 $M_{n,m,\alpha}$ との距離を定量化する。
2. 臨界点設定： 半空間 $\mathbb{R}^n_+$ 上の関連するオイラー＝ラグランジュ方程式（エスコバル・トレース方程式）の解の安定性、特に解が「エスコバル・バブル（Escobar bubbles）」の重ね合わせに近い場合を分析する。

手法
本論文は、簡約原理、スペクトル解析、およびプロファイル分解の手法を組み合わせて用いている。

• 簡約原理： 関数的設定において、著者らはEinavとLossによって確立された簡約原理（定理3.3）を利用する。この原理は、分数ソボレルフ・トレース不等式を、簡約作用素 $\tau_m$ と標準的な分数ソボレフ不等式の合成へと分解する。これにより、著者らはトレース不等式の安定性の問題を、既知の標準的な分数ソボレフ不等式の安定性結果（Bianchi-Egnell型の安定性）へと還元することが可能となる。
• 双対スキーム： ノイマン問題（トレース不等式の双対）の安定性推定を導出するために、著者らはCarlenによって開発された双対スキームを適用する。これには、関連する汎関数のルジャンドル変換の分析、および関連する双対汎関数の凸性の利用が含まれる。
• プロファイル分解： 臨界点設定において、著者らはStruweのグローバル・コンパティティ・プリンシプル（global compactness principle）を拡張する。著者らは、臨界方程式の「ほぼ」解である関数の列に対して、定性的および定量的なプロファイル分解を確立する。これには、解を相互作用するエスコバル・バブルの和と剰余項に分離するプロセスが含まれる。
• スペクトルギャップと共形写像： シングルバブルの場合の安定性定数の鋭い上界を得るために、著者らは半空間 $\mathbb{R}^n_+$ と単位球 $B^n$ の間の共形写像を用いる。この変換は、問題の線形化作用素と球上のステクレフ（Steklov）固有値問題とを結びつける。ステクレフ問題のスペクトルを分析することで、精緻なスペクトルギャップ不等式を導出する。
• 3次展開： シングルバブルの場合の安定性定数の上界を得るために、著者らは双対ノルムの精密な3次展開を行い、相互作用項と多様体の幾何学を慎重に扱う。

主要な貢献と結果

1. 鋭い関数的安定性推定：
   著者らは、分数ソボレフ・トレース不等式に対する鋭い定量的安定性推定を確立する：
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   彼らは指数2が鋭いことを証明し、最適な安定性定数 $C_{BE}(n, m, \alpha)$ の明示的な上界および下界を与える。決定的なことに、彼らは $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$ であることを示し、これによりトレースの問題を標準的な分数ソボレフ問題へと実質的に還元している。また、$n-m \ge 2$ の場合に安定性定数の最小化子の存在を証明する。

2. 改良されたトレース不等式とノイマン安定性：
   勾配安定性の結果の系として、著者らは（ストリップを含む）一般的な領域に支持される関数に対する、弱 $L^q$ ノルムを用いた剰余項を伴う改良されたソボレフ埋め込みを導出する。さらに、双対スキームを用いて、半空間上のノイマン問題に対する鋭いア・プリオリ安定性推定を確立し、双対不等式の欠損とノイマン問題の極値多様体への距離を結びつける。

3. 定量的プロファイル分解：
   臨界点設定において、著者らは定量的なプロファイル分解定理を証明する。関数 $u$ が、弱く相互作用する $\nu$ 個のエスコバル・バブルの和に近い（$H^1$ ノルムにおいて）場合、そのバブルの多様体への距離は、剰余項 $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$ によって線形に制御されることを示す。この結果は非負の関数に対して成立し、古典的なヤマベ方程式に関する先行研究をエスコバル・トレースの設定へと拡張するものである。

4. 安定性定数の鋭い上界：
   シングルバブルの場合（$\nu=1$）、著者らは最適な安定性定数 $CCP(n, 1)$ に関する厳密な上界を導出する：
   $$CCP(n, 1) < \frac{2}{n+2}$$
   この結果は、極値バブルの3次摂動を含む特定のテスト関数を構成し、ステクレフ固有値問題から導かれたスペクトルギャップ不等式を利用することによって得られる。

意義
本論文は、エスコバル・トレース不等式および分数ソボレフ不等式に関する従来の安定性結果を拡張することを主張している。簡約原理を確立することにより、著者らはトレース不等式の安定性解析を標準的な分数ソボレフ不等式の安定性解析と統一している。安定性定数の明示的な境界の導出および（関数的設定における）最小化子の存在の証明は、これらの不等式の定量的性質に関する未解決の問いに対処するものである。

臨界点設定において、本研究はエスコバル・トレース方程式に対する初の定量的プロファイル分解を提供し、古典的なヤマベ方程式について知られている結果を一般化している。シングルバブルのケースにおける安定性定数の厳密な上界 $2/(n+2)$ は、一般的な推定を改善する重要な精緻化であり、線形化作用素の特定のスペクトル特性を浮き彫りにしている。著者らは、これらの定量的結果に不可欠な解の非退化性が、ステクレフ固有値問題との関連を通じて確立されていることを指摘しており、この関連性は独立した関心事となり得る。