An extension of a critical Hardy--Rellich inequality: explicit constants and the sharp weight range

技術的要約：決定的なハーディ・レリッチ不等式の拡張

問題設定
本論文は、Castro [1] によって最近確立された決定的なハーディ・レリッチ不等式、特に指数 $p$ が次元 $N$ に等しい場合（$p=N$）に焦点を当てて、この問題を扱うものである。古典的なハーディおよびレリッチの不等式は、対数補正なしでは端点 $p=N$ において成立しないが、Castro は $\nabla(u/|x|)$ とヘッセ行列またはラプラシアン $u$ を含む決定的な不等式を証明した。しかし、Castro の結果には以下の2つの重要な制限が残されていた：

1. 導出された定数が明示的ではなかったこと。
2. 重み付き不等式における重み指数 $a$ の範囲が $a < 1$ に限定されており、著者らはこれが最適とは程遠いと考えていること。

本研究が取り組む中心的な未解決問題は、$p=N$ の場合における決定的な不等式における最適定数と、重み指数の鋭い（シャープな）範囲の決定である。

手法
著者らは、変数 $t = \log r$ （ここで $r = |x|$）を導入するエンデ・ファウラー変換（Emden–Fowler transformation）を用いて、この問題を再構成している。この変換により、不等式の動径方向成分と角度成分を、単一の古典的な一次元重み付きハーディ不等式を通じて解析することが可能になる。

主な手法ステップは以下の通りである：

• 分解： 勾配 $\nabla(u/|x|)$ を動径成分と接線（球面）成分に分解する。著者らは、これらの成分をヘッセ行列 $|D^2u|$ に関連付ける点別（pointwise）な境界値を利用している。
• 一次元への還元： $f(t) = \phi(e^t)$ と置くことで、問題は以下の形式の鋭い重み付きハーディ不等式を適用することへと還元される：
  $$\int_{\mathbb{R}} |f(t)|^N e^{\mu t} dt \leq \left( \frac{N}{|\mu|} \right)^N \int_{\mathbb{R}} |f'(t)|^N e^{\mu t} dt$$
  これにより、イェンセンの不等式に依存していた [1] での積分作用子の補助的な有界性結果が置き換えられる。
• 凸性の分割： $N \geq 2$ の場合、著者らは凸性不等式 $(A+B)^{N/2} \leq 2^{N/2-1}(A^{N/2} + B^{N/2})$ を用いて、動径成分と角度成分の寄与を分離し、それらを個別に推定してから結合する。
• 反例の構成： 範囲の鋭さを証明するために、著者らはエンデ・ファウラー変数における動径関数列を構成し、臨界指数 $a=N$ において不等式が成立しないことを示す。

主要な貢献と結果

1. 重み範囲の拡張：
   本論文は、重み付き不等式が $a \neq N$ のすべての $a$ に対して成立することを証明しており、これは従来の $a < 1$ という範囲を大幅に拡張するものである。具体的には、$N \geq 2$ かつ $a \neq N$ のとき、$u \in C^\infty_c(\mathbb{R}^N \setminus \{0\})$ に対して以下の不等式が確立される：
   $$\int_{\mathbb{R}^N} \left| \nabla \left( \frac{u(x)}{|x|} \right) \right|^N |x|^a dx \leq C_{N,a} \int_{\mathbb{R}^N} |D^2 u|^N |x|^a dx$$
   この不等式は、$a = N$ の場合に限り成立しない。

2. 明示的な定数：
   著者らは、$N \geq 2$ かつ $a \notin \{0, N\}$ に対して明示的な定数 $C_{N,a}$ を導出している：
   $$C_{N,a} = 2^{N/2-1} \left[ \left( \frac{N}{|a|} \right)^N + \left( \frac{N}{|N-a|} \right)^N \right]$$
   一次元の場合（$N=1$）では、鋭い定数は $1/|1-a|$ である。著者らは、この定数は明示的ではあるものの、動径成分と角度成分を分離するために用いた凸性のステップにより、これが最適（ベスト）な定数であるとは主張していない。

3. 範囲の鋭さ：
   本論文は、$a=N$ が唯一の決定的な値であることを確立している。この値において、不等式は動径関数の部分空間においてさえも成立しない。この失敗は、古典的なハーディ不等式が $p=N$ で成立しないのと同様に、等価な一次元問題における指数関数的重みの消失に起因する。

4. ラプラシアンへの拡張（マックプート範囲）：
   主結果を重み付きカルデロン・ジグムンド不等式と組み合わせることで、著者らはラプラシアンの定式化（$\Delta u$）をマックプート範囲 $-N < a < N(N-1)$（ただし $a \neq N$）へと拡張している。これは [1] における未解決問題1への部分的な回答を提供している。

意義と範囲
本論文は、[1] で提起された決定的なハーディ・レリッチ不等式に関する未解決問題に対して、部分的な解決策を提供していると主張している。主な意義は以下の点にある：

• 人工的な制限の除去： イェンセンに基づく推定ではなく、鋭い重み付きハーディ不等式を用いることで、人工的な制約であった $a < 1$ を取り除き、不等式が $a > N$ の場合も含めて成立することを明らかにした。
• 明示性： 非構成的であった以前の結果に対し、明示的な定数を提供した。
• 決定性の明確化： $a=N$ が不等式が崩壊する唯一の決定的な指数であることを正確に特定した。

限界と未解決問題
著者らは、導出された定数の最適性については謙虚な姿勢を保っており、係数 $2^{N/2-1}$ は動径成分と角度成分の寄与を同時に極大化させない分離ステップから生じるものであると述べている。したがって、一般的なケースにおける「最良の（最適）」定数を決定することは依然として未解決の問題である（[1] の未解決問題1）。

さらに、本論文は分数階の類似物（[1] の未解決問題2および3）については解決しておらず、現在の議論は、非局所的な演算子の直接的な代替となる構造を欠く、二階微分 $\partial_{rr}$ の構造に強く依存していることを指摘している。最後に、マックプート範囲外（$a \leq -N$ または $a \geq N(N-1)$）におけるラプラシアンの定式化（1.6）の妥当性は未解決のままである。