A strong-form stability for a class of $L^p$ Caffarelli-Kohn-Nirenberg interpolation inequality

技術要約：ある種の $L^p$ Caffarelli-Kohn-Nirenberg 補間不等式における強形式の安定性

問題設定
本論文は、Caffarelli-Kohn-Nirenberg (CKN) 補間不等式の安定性を調査している。中心となる問いは、関数 $u$ の「欠損（deficit）」（不等式の左辺と右辺の差）が、最小値集合への $u$ の距離を制御するかどうかである。具体的には、この欠損が、単に弱い意味や特定のケースにおいてではなく、不等式の項に関連する強いノルムにおいて、距離を抑え込むことができるかどうかを論じている。

本研究の重要な予備的知見は、個々のノルム $\|\cdot\|_{H^p_b}$ または $\|\cdot\|_{L^p_a}$ に対しては、安定性を確立できないということである。著者らは、どのような非負の定数に対しても、欠損は小さいものの、いずれかの個別のノルムにおける最小値集合への距離は大きくなるような関数が存在することを証明している。したがって、本研究は、これらのノルムの積または加重和を用いた「強形式（strong-form）」の安定性の確立に焦点を当てている。

手法
著者らは、変分解析、最小値のスペクトル特性、および鋭いベクトル不等論を組み合わせて用いている。

1. 変分解析と直交性:

   • 本論文は、欠損が十分に小さい条件下において、関数 $u$ から最小値集合 $M_{p,a,b}$ への下限距離が達成可能であることを確立している（Proposition 2.1）。
   • $p=2$ の場合、著者らは、下限距離を達成する最小値 $v$ が、$u$ に対して $H^2_b$, $L^2_a$, および $L^2_c$ ノルムに関して特定の直交条件を満たすという事実を利用している。これらの条件により、ピタゴラスの定理に似た恒等式 $\|u-v\|^2 = \|u\|^2 - \|v\|^2$ を直接導出することが可能となり、これが安定性の評価において極めて重要となる。
   • $p > 2$ の場合、直交条件はより複雑になる。著者らは、双対ペアリングを用いた最大化問題によって定義される特定の最小値の部分集合 $P_u$（Definition 3.3）を導入している。彼らは、欠損が小さい関数に対して、最大値が存在し（Proposition 3.4）、かつ必要な直交条件を満たすこと（Proposition 3.6）を証明している。

2. 鋭いベクトル不等式:

   • $p > 2$ の非線形性を扱うために、著者らは $\mathbb{R}^n$ におけるベクトルに関する鋭い不等式（[17] の Lemma 3.2）を利用している。これらの不等式は、$|z|^p$ に比例する項を含む $|y+z|^p$ の下界を提供し、これにより著者らは距離の項 $\|u-v\|$ を欠損によって制御することができる。

3. 変換と簡約化:

   • 著者らは、問題を正規化するためにスケーリング変換を用いている。$p > 2$ の場合、特定の変数変換を用いて、一般的な CKN パラメータ $(a, b)$ を標準的なケース $(a, b) = (-\frac{1}{p-1}, 0)$ に簡約化しており、これにより不等式の構造的性質を保持したまま解析を簡略化している。

4. 二階不等式:

   • 二階 CKN 不等式については、Chen と Tang [7]（Theorem 1.6）によって導出された恒等式を利用している。この恒等式は、欠損をラプラシアンと勾配を含む非負項の和として表現する。径方向関数に限定することで、加重 $L^p$-ポアンカレ不等式（Lemma 4.1）を利用して弱い安定性を確立し、その後、一次の場合に開発された手法を用いて、それを強い安定性へと格上げしている。

主要な結果

• 個別安定性の不可能（Proposition 1.7）: 著者らは、欠損が $H^p_b$ ノルムまたは $L^p_a$ ノルムのいずれかを制御するような普遍的な定数 $C$ は存在しないことを厳密に証明している。これにより、安定性の評価には結合されたノルムまたは積の形式が必要となることが明確になった。

• $p=2$ における強形式の安定性（Theorem 1.8）: $p=2$ の場合、パラメータ $a$ および $b$ に関する特定の条件下で、以下の関係を確立している：
  $$\frac{\inf_{v \in M_{2,a,b}} \|u - v\|_{H^2_b} \|u - v\|_{L^2_a}}{\|u\|_{H^2_b} \|u\|_{L^2_a}} \leq C \delta_{2,a,b}(u)$$
  指数 $t=1$ はシャープであることが示されている。

• $p>2$ における強形式の安定性（Theorem 1.9）: $p > 2$ の場合、異なる指数を持つ同様の結果を証明している：
  $$\frac{\inf_{v \in M_{p,a,b}} \|u - v\|_{H^p_b} \|u - v\|_{L^p_a}^{p-1}}{\|u\|_{H^p_b} \|u\|_{L^p_a}^{p-1}} \leq C \delta_{p,a,b}(u)^{1/p}$$
  これを達成するために、より強い欠損 $\tilde{\delta}_{p,a,b}(u)$（Equation 1.11）を導入し、それがノルムの加重和における距離を制御することを証明している（Theorem 1.10）。

• 二階 CKN 安定性（Theorems 1.11 & 1.12）: 本論文は、ラプラシアンを含む二階 CKN 不等式へとこれらの結果を拡張している。一般的なケースは未解決のままであるが、著者らは径方向関数に対して、弱い安定性と強形式の安定性の両方を確立している。径方向関数の強形式の結果は一次の場合と類似しており、欠損が $\|\Delta(u-v)\|_{L^p_b}$ および $\|u-v\|_{H^p_a}$ の観点から距離を制御する。

意義と主張
本論文は、補間項（$\theta \neq 1$）が存在し、かつパラメータが非ゼロである広範なクラスの CKN 不等式に対して、初の強形式の安定性結果を提供すると主張している。

• 「個別ノルム」問題の解決: 本研究は、安定性がノルムの積または加重和の形式で定式化されなければならないことを明確にし、個別のノルムによる安定性が成立するかもしれないという仮定を修正した。
• シャープネス: 著者らは、$p=2$ における指数 $t=1$ がシャープであることを示しており、これは欠損に対する線形依存性が改善できないことを意味する。
• 手法の進展: $P_u$ を通じて $p>2$ のための特定の直交条件を構築することにより、本論文は非二次形式への標準的な変分手法の適用における困難を克服している。
• 二階への拡張: 二階不等式、特に径方向関数に対する結果は、一次の場合よりもこれまであまり探索されてこなかった、高次の加重ソボレフ型不等式の安定性を理解する上での重要な一歩である。

本論文は、二階不等式の一般的な非径方向ケースは依然として困難ではあるものの、確立された手法は、加重補間不等式の安定性を分析するための堅牢な枠組みを提供するものであると結論付けている。