The stability on the Caffarelli-Kohn-Nirenberg and Hardy-type inequalities and beyond

技術要約：Caffarelli-Kohn-NirenbergおよびHardy型の不等式における安定性、およびその先へ

問題設定
本論文は、解析学における二つの基本的な関数不等式のクラス、すなわちCaffarelli-Kohn-Nirenberg（CKN）不等式と様々なHardy型の不等式の安定性と洗練化（refinement）を扱う。これらの不等式において、シャープな定数や極値関数は、特定のケース（例：古典的なソボレフ不等式や特定のパラメータ領域におけるCKN）では確立されているが、定量的な安定性（不等式がほぼ飽和しているとき、関数が極値にどの程度近いかを測定すること）は、特に一般的なパラメータや非ヒルベルト空間の設定（$p \neq 2$）において複雑な問題として残っている。さらに、本論文は、既知のHardy型不等式の洗練化（弱レベグノルムや対数項を含むものなど）を重み付きバージョンへと拡張し、関連する広範な不等式に対して明示的な安定性定数を導出することを目指している。

手法
本論文を通じて用いられる中心的な手法的ツールは、単純かつ強力な変換のクラスである。Horiuchiの研究に触発され、著者らは $\bar{u}(r\theta) = k^{1/q} u(r^k \theta)$ という形式のスケーリング変換（ここで $k$ はパラメータ $n, p, a, b$ に依存する特定の値をとる）を利用している。この変換は主に二つの目的を果たす：

1. 簡約化（Reduction）： 複雑な重みを持つ重み付き不等式を、より単純な非重み付きの形式（多くの場合、CKN不等式を古典的なソボレフ不等式や標準的なHardy不等式へと写像する）へと簡約化する。
2. 転送（Transfer）： より単純なケースから得られた既知の安定性結果、極値の分類、およびシャープな定数を、重み付きのケースへと転送する。

CKN不等式の関数的設定における安定性については、著者らはこれらの変換をスペクトルギャップの評価およびコンパクト性の議論と組み合わせて用いている。クリティカルポイントの設定においては、Talentiバブルの周りの線形作用素に対する慎重な展開技術とスペクトルギャップ不等式を用いている。Hardy型の不等式については、変換法を用いて、既知の改良された不等式（例：Hardy-Sobolev、対数Hardy、Hardy-Morrey）の重み付きバージョンを導出し、明示的な安定性定数を確立している。

主要な貢献と結果

パート1：Caffelli-Kohn-Nirenberg不等式の安定性
著者らは、$1 < p < n$、$0 \le a < \frac{n-p}{p}$、$a \le b < a+1$、および臨界指数の関係を満たす全パラメータ領域において、CKN不等式の勾配安定性を確立している。

• 関数的安定性： 彼らは、CKN不等式の左辺と右辺の差が、極値関数の多様体（$M_{p,a,b}$）への距離を制御することを証明している。
  • $0 < a < b$ の場合、最適な指数 $\max\{2, p\}$ を持つ評価を確立している。
  • $0 < a = b$ の場合、一般の関数に対して指数 $\max\{4, 2p\}$ を持つ評価を確立しており、関数が中心対称であれば指数が $\max\{2, p\}$ に改善されることを注記している。彼らは、このケースにおいて $\max\{2, p\}$ が一般に成立すると予想している。
• 改良されたソボレフ埋め込み： 勾配安定性を活用することで、一般の領域（有限または無限測量の両方）に支持される関数に対する、弱レベグノルム（$L^p_w$）を用いた洗練されたソボレフ型の埋め込みを導出している。これらの結果は、ドメインの幾何学的構造（例：主$p$-ラプラシアンの固有値を介して）に対する安定性定数の明示的な依存関係を提供している。
• 安定性定数の性質： 本論文は、最適な安定性定数 $K(p, a, b)$ の関数的性質を調査している。彼らは、パラメータに関する上半連続性を証明し、異なるパラメータセット間での定数の単調関係を確立している。
• クリティカルポイントの安定性： $p > 2$ の場合、著者らはクリティカルポイントの設定における安定性結果を提供している。関数がTalentiバブルの和に近いとき、Euler-Lag Lagrange方程式の残差が正の解の多様体への距離を制御することを示し、オルタナティブ型の評価を与えている。

パート2：改良されたHardy型の不等式
第二のパートでは、様々な古典的なHardy型の不等式に対する重み付きバージョンおよび洗練化に焦点を当てている。

• Hardy-Sobolev不等式： 彼らは、有界ドメインにおける改良されたHardy不等式（元々はBrézis-VázquezやGazzolaらによるもの）を重み付きバージョンへと拡張し、明示的な安定性定数を提供し、極値関数を特定している。
• 対数ソボレフおよびHardy不等式： 著者らは、重み付きの$L^p$-対数ソボレフ不等式および対数Hardy不等式を導出している。彼らは、極値関数（ガウス型の関数）の完全な分類を提供し、特に中心対称な関数に対する安定性評価を確立している。
• Hardy-Morreyおよび補間不等式： 彼らは、Hölder的な洗練化および級数展開を伴う重み付きHardy-Sobolev-Morrey不等式を得ている。さらに、勾配項とポテンシャル項の比に関する特定の仮定の下で局所的な改善を確立することにより、Hardy-Sobolev補間不等式を重み付きの設定へと拡張している。
• 補間されたCKN不等式： 本論文は、補間されたCKN不等式の安定性結果を回収および拡張しており、Heisenberg-Pauli-Weyl不等式の既知のケースに帰着させることで、一般的なパラメータに対して明示的な（ただし、必ずしもシャープではない可能性のある）安定性定数を提供している。

意義と主張
本論文は、広範なクラスの重み付き不等式の安定性を分析するための統一された枠組みを提供すると主張している。変換法を用いることで、著者らは、複雑な重み付きの問題がしばしばより単純でよく理解されているケースへと簡約化できることを示している。

• 明示的な定数： 重要な貢献は、以前は未知であったか、あるいは重み付きの設定において暗黙的にしか知られていなかった様々な不等式に対する、明示的な安定性定数の導出である。
• 一般化： 本結果は、以前の安定性の知見（多くの場合 $p=2$ または特定のパラメータ範囲に限定されていたもの）を、全パラメータ範囲 $1 < p < n$ へと一般化している。
• 新たな洞察： 本論文は、対数Hardy不等式における極値関数の対称性の破れの現象に関する新たな洞察を提供し、また $p \neq 2$ におけるCKN不等式のクリティカルポイント設定における最初の安定性結果を提供している。
• 謙虚さ： 著者らは、導出された安定性定数が明示的ではあるものの、すべてのケース（特に $b > 0$ の補間されたCKN不等式）においてシャープではない可能性があることを認めている。また、関数的設定における $a=b>0$ の場合の安定性指数は、一般の関数に対して $\max\{2, p\}$ に改善できる可能性があることを指摘しており、（DengとTianによる後続の研究が $a=b>0$ について解決したことを注記しつつも）この問題を未解決のまま残している。

要約すると、本論文は、重み付き関数不等式の安定性と洗練化を導出するための堅牢な手法を確立しており、明示的な定数を提供し、既知の結果の範囲を一般的なパラメータとドメインへと拡張している。