Qualitative stability for a family of trace Sobolev inequalities

技術的サマリー：トレースソボレフ不等式の族に対する定性的安定性

問題の定義
本論文は、半空間 $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$（ただし $n \ge 2$、$p \in (1, n)$）上の 1 パラメータ族のトレースソボレフ不等式の定性的安定性を取り扱う。Maggi および Neumayer [MN17] によって確立されたこれらの不等式は、関数 $u$ の勾配の $L^p$ ノルムを、内部における $L^{p^*}$ ノルムおよび境界 $\partial H$ における $L^{p^\sharp}$ ノルムに関連付ける。具体的には、固定されたトレースパラメータ $T \ge 0$ に対して、鋭い定数 $\Phi_H(T)$ は以下の変分問題を通じて定義される：
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
ここで $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$ である。
この問題の極値（最小化関数）は、明示的なプロファイル $U_T$ の特定の拡大および平行移動として完全に特徴づけられる。中心的な問いは安定性である：エネルギー欠損 $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$ を満たす関数列 $\{u_k\} \subset \mathcal{A}_T$ があるとき、その列は（勾配ノルムにおいて）極値の集合 $\mathcal{M}_T$ に収束するか？

局所的な定量的安定性は最近、$p=2$ の場合について Fan, Li, および Zhang [FLZ26] によって確立されたが、（エネルギー欠損の消失が極値への距離の消失を意味することを証明する）全球的な定性的安定性の結果は欠けていた。このギャップは、局所的な定量的結果を全球的なものへ拡張することを妨げていた。

手法
定性的安定性の証明は、集中・コンパクト性原理と、エネルギー汎関数に対する新たな厳密な結合不等式の組み合わせに依存している。

1. 集中・コンパクト性解析: 著者は、標準的な集中・コンパクト性補題（Lions [Lio85]）をトレース設定に適応させる。証明は背理法によって進められる：欠損が消失する列が極値に収束しないと仮定すると、その列は消滅する（正規化によって排除される）か、あるいは 2 つの漸近的に非相互作用するプロファイルに分裂する（二分法）かのいずれかでなければならない。
2. 厳密な結合不等式（定理 1.3）: 議論の核心は、「分裂」シナリオを排除することである。著者は、質量とトレースノルムを 2 つの部分 $(m_1, t_1)$ および $(m_2, t_2)$ に分解する任意の場合において、分離したプロファイルのエネルギーの和が、結合されたプロファイルのエネルギーよりも厳密に大きいことを証明する：
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   この不等式は非自明である。なぜなら、$\mathbb{R}^n$ 上の古典的ソボレフ不等式とは異なり、定数 $\Phi_H(T)$ は $T$ に対して非線形に依存するため、単純なスケーリング論法では分裂を排除できないからである。
3. 質量輸送論的議論: 厳密な結合不等式を証明するために、本論文は [MN17] からのトレース不等式の質量輸送証明を利用する。著者は、2 つの広く分離した極値プロファイルの複製からなる特定の試験関数 $w$ を構成する。$w$ に関連する最適輸送写像（Brenier 写像）を解析することで、著者は輸送写像の循環的単調性を利用する。プロファイルの幾何学的な分離は、エネルギー欠損がゼロから離れていない限り、輸送写像が循環的単調性の条件と両立しないような振る舞いを強制する。これにより欠損に対する明確な下限が得られ、厳密な不等式が確立される。

主要な結果

• 定理 1.1（定性的安定性）: 任意の $p \in (1, n)$ および $T > 0$ に対して、$\delta_T(u_k) \to 0$ を満たす列 $\{u_k\} \subset \mathcal{A}_T$ があるならば、極値集合への距離 $d_T(u_k) \to 0$ となる。これは、鋭い定数に近づく唯一の道が、極値の族に近づくことであることを確認する。
• 定理 1.3（厳密な結合不等式）: 分裂した配置のエネルギーと結合エネルギーを関連付ける厳密な不等式が、すべての $T > 0$ に対して証明される。
• 系 1.2（$p=2$ に対する全球的定量的安定性）: 新しい定性的結果（定理 1.1）と [FLZ26] からの既存の局所的定量的解析を組み合わせることで、本論文は $p=2$ の場合の全球的定量的安定性を確立する。具体的には、すべての $u \in \mathcal{A}_T$ に対して $\delta_T(u) \ge \alpha'_T d_T(u)^2$ となる定数 $\alpha'_T > 0$ が存在する。

意義と主張
本論文は、$p=2$ に対するトレースソボレフ不等式の全球的定量的安定性に関する [FLZ26] で提起された未解決問題を解決すると主張している。著者は、この結果に対する主な障壁が定性的安定性定理の欠如にあったことを強調しており、本注記がそれを提供している。

この研究は、特定の理論的ギャップを埋める「短い注記」として提示されている。著者は、質量輸送アプローチは強力であるが、関数が小さい領域における制御の退化により、他の研究で等周不等式に対して行われたような極値への距離に対する直接的な定量的評価を提供することには困難があることを控えめに指摘している。したがって、本論文は、全球的定量的結果を可能にするために、質量輸送を通じて導出された定性的な厳密結合不等式に依存している。

これらの結果は、最適定数がパラメータに非自明に依存し、標準的な斉次性論法が失敗する設定における、関数不等式の安定性に関する理解を拡張するものである。本論文は、新しい応用や実験的提案を提案するものではなく、これらの特定不等式の安定性性質の厳密な解析に厳密に焦点を当てている。