The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

技術要約：回転なしのベクトル場および二階微分に関する重み付き $L^2$-Caffarelli-Kohn-Nirenberg 不等式

問題設定
本論文は、重み付き $L^2$-Caffarelli-Kohn-Nirenberg (CKN) 不等式を調査しており、具体的には以下の2つの異なるが関連する文脈に焦点を当てている：

1. 回転なし（curl-free）のベクトル場： ベクトル場 $U$（ここで $U = \nabla u$）の勾配と重み付きノルムを含む不等式に関する、シャープな定数および安定性評価の確立。
2. 二階微分： 一般的な重みパラメータ $a$ および $b$ を用いた、ラプラシアン $\Delta u$ と勾配 $\nabla u$ に関するシャープな不等式および安定性評価の証明。

一次のCKN不等式におけるシャープな定数や、二階の不等式の特定のケース（例：ハイゼンベルク・パウリ・ワイルの不確定性原理）は、Cazacu、Flynn、Lamらによって既に確立されていたが、本研究は、二階の設定において一般的なパラメータ $a$ および $b$ に対してこれらの不等式を証明するという空白を埋めるものであり、また、回転なしのベクトル場に対する重み付きCKN不等式の最初の安定性評価を提供するものである。

手法
著者らは、以下の3つの主要なツールを中心とした厳密な解析的手法を用いている：

1. 球面調和展開： 主要な手法は、関数 $u$ およびベクトル場 $U$ を、球面調和を用いて径方向成分と非径方向成分に分解することである。これにより、多次元の不等式を、球面調和の次数 $k$ によってインデックス付けされた一連の一次元積分不等式へと還元する。
2. 一次元積分不等式： 証明の核となるのは、一変数の関数に対するシャープな重み付き不等式を確立することである。著者らは、以下の形式の不等式に対してシャープな定数を与える特定の補題（補題2.2）を利用する：
   $$\left( \int_0^\infty (f')^2 r^{A-1} dr + C \int_0^\infty f^2 r^{A-3} dr \right) \int_0^\infty f^2 r^{B-1} dr \geq K \left( \int_0^\infty f^2 r^{\frac{A+B}{2}-2} dr \right)^2$$
   彼らは最適な定数 $K$ を決定し、極値関数を明示的に特定する。
3. 直交分解による安定性解析： 不等式がほぼ飽和しているときに、関数が極値関数の集合にどの程度近いかを定量化するために、関数を径方向成分（$u_r$）と径方向成分に直交する成分（$u_o$）に分解する。著者らは、非径方向成分に対してシャープな定数が厳密に改善されることを示す（補題4.1および補題5.1）。この「ギャップ」により、不等式の欠損量（deficit）を用いて、関数と極値関数の集合との距離を抑えることが可能となる。

主な貢献および結果

1. シャープな重み付き二階微分CKN不等式（定理1.1）
著者らは、二階微分に関する新しい家族のシャープな重み付き $L^2$-CKN不等式を証明する。$n \geq 2$ かつパラメータ $a, b$ が特定の条件（$(n-2a-2)^2 \geq 8(1+a)(1+2a)$ を含む）を満たすとき、以下を確立する：
$$\int_{\mathbb{R}^n} \frac{|\Delta u|^2}{|x|^{2a}} dx \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{2b}} dx \geq C_2(n, a, b)^2 \left( \int_{\mathbb{R}^n} \frac{|\nabla u|^2}{|x|^{a+b+1}} dx \right)^2$$

• シャープな定数： $C_2(n, a, b) = \frac{|a-b+1| + |n+2a|}{2}$。
• 極値関数： 等号は、指数関数とべき乗項を含む積分によって定義される特定の径方向関数によって達成される（式1.11）。
• 意義： この結果は、より広い範囲のパラメータをカバーし、かつベクトル場の勾配ではなく二階のラプラシアン項を明示的に扱うことで、Cazacu, Flynn, and Lam (2023) および Duong and Nguyen (2025) の先行研究を補完するものである。

2. 回転なしのベクトル場に対する安定性（定理1.3）
本論文は、回転なしのベクトル場 $U = \nabla u$ に対する重み付きCKN不等式の安定性バージョンを確立する。もし「欠損（deficit）」（不等式の左辺と右辺の差）が小さい場合、ベクトル場 $U$ は重み付き $L^2$ ノルムにおいて極値ベクトル場の集合 $M_{a,b}$ に近いことを証明する。

• 結果： $\delta(U) \geq C \inf_{V \in M_{a,b}} \frac{\|U-V\|_{L^2(|x|^{a+b+1})}^2}{\|U\|_{L^2(|x|^{a+b+1})}^2}$。
• 帰結： これは、回転なしのベクトル場に対する重み付きハイゼンベルク・パウリ・ワイル不確定性原理および重み付き水素不確定性原理の安定性バージョンをもたらす（系1.4および1.5）。

3. 二階微分に対する安定性（定理1.7）
定理1.1で証明された二階不等式への安定性解析を拡張し、著者らは $u \in Y_{a,b}(\mathbb{R}^n)$ に対する同様の安定性評価を示す。

• 結果： $\delta_{CKN}(u) \geq C \inf_{v \in N_{a,b}} \frac{\|\nabla u - \nabla v\|_{L^2(|x|^{a+b+1})}^2}{\|\nabla u\|_{L^2(|x|^{a+b+1})}^2}$。
• 帰結： これは、重み付き二階ハイゼンベルク・パウリ・ワイルおよび水素不確定性原理の安定性評価を提供する（系1.8および1.9）。

意義および主張
著者らは、本研究を関数不等論における重要な進展として位置づけている：

• 一般化： 特定のパラメータ範囲（例：$b = -a-1$）に限定されていたり、「平方の展開」のような一般化が困難な手法に依存していたりした従来の成果とは異なり、本論文は球面調和展開を用いることで、一般的なパラメータ $a$ および $b$ を扱うことができる。
• 安定性： 本論文は、特に回転なしのベクトル場および二階微分のケースにおいて、重み付きCKN不等式に対する最初の安定性評価を提供することを主張している。これまでの安定性結果は、主に重みのない標準的なソボレフ不等式や、特定のパラメータを持つ不確定性原理に限定されていた。
• 手法の厳密性： 本研究は、シャープな定数と安定性評価を導出するために、球面調和展開と一次元の変分問題を組み合わせる手法の威力を実証している。これは、関数不等式のシャープな形式を研究する上で効果的であると著者らは述べている。

論文は、安定性評価における定数 $C$ は明示的に計算可能であるが、必ずしも最適ではないことを指摘しており、将来的な洗練の余地を残している。また、得られた結果は、$a=0$ の場合の標準的な不確定性原理などの既知のケースを、提示されたより一般的な枠組みの特殊なインスタンスとして回収するものである。