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

技术摘要：一个关键 Hardy–Rellich 不等式的扩展

问题陈述
本文针对 Castro [1] 最近建立的关键 Hardy–Rellich 不等式进行了研究，特别关注指数 $p$ 等于维度 $N$（即 $p=N$）的情形。由于经典的 Hardy 和 Rellich 不等式在没有对数修正的情况下在端点 $p=N$ 处失效，Castro 证明了一个涉及量 $\nabla(u/|x|)$ 与 $u$ 的 Hessian 或 Laplacian 的关键不等式。然而，Castro 的结果存在两个显著的局限性：

1. 所得常数并非显式给出的。
2. 加权不等式中权重指数 $a$ 的范围被限制在 $a < 1$，作者认为这远非最优。

本文旨在解决的核心开放问题是确定这些不等式的最优常数以及权重指数 $a$ 的锐利（sharp）范围，特别是针对 $p=N$ 的情形。

方法论
作者利用 Emden–Fowler 变换重新构建了该问题，引入变量 $t = \log r$（其中 $r = |x|$）。这种变换使得可以通过单个经典的一维加权 Hardy 不等式来分析不等式的径向和角向分量。

关键方法步骤包括：

• 分解： 将梯度 $\nabla(u/|x|)$ 分解为径向和切向（球面）分量。作者利用将这些分量与 Hessian $|D^2u|$ 联系起来的点值界限进行分析。
• 一维归约： 通过令 $f(t) = \phi(e^t)$，问题归约为应用如下形式的锐利加权 Hardy 不等式：
  $$\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] 中依赖 Jensen 不等式的积分算子辅助有界性结果。
• 凸性分裂： 对于 $N \geq 2$，作者采用凸性不等式 $(A+B)^{N/2} \leq 2^{N/2-1}(A^{N/2} + B^{N/2})$ 来解耦径向和角向的贡献，在分别估计它们之后再进行合并。
• 反例构造： 为了证明范围的锐利性，作者在 Emden–Fowler 变量下构造了一系列径向函数，这些函数在临界指数 $a=N$ 时违反了不等式。

主要贡献与结果

1. 扩展权重范围：
   本文证明了对于所有 $a \neq N$，加权不等式均成立，显著扩展了此前 $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$ 是唯一的临界值。在此处，即使在径向函数子空间上，该不等式也会失效。这种失效归因于等价的一维问题中指数权重的消失，类似于经典 Hardy 不等式在 $p=N$ 处的失效。

4. 向 Laplacian 的扩展（Muckenhoupt 范围）：
   通过将主要结果与加权 Calderón–Zygmund 不等式相结合，作者将结果扩展到了 Laplacian 表达形式（$\Delta u$），适用于 Muckenhoupt 范围 $-N < a < N(N-1)$（且 $a \neq N$）。这为 [1] 中的开放问题 1 提供了部分解决方案。

意义与范围
本文声称为 [1] 中提出的关于关键 Hardy–Rellich 不等式的开放问题提供了部分解决方案。其主要意义在于：

• 消除人为限制： 使用锐利加权 Hardy 不等式而非基于 Jensen 的估计，消除了 $a < 1$ 这一人为约束，揭示了该不等式对于所有 $a > N$ 同样成立。
• 显式化： 为此前非构造性的结果提供了显式常数。
• 澄清临界性： 精确识别出 $a=N$ 是不等式失效的唯一临界指数。

局限性与开放问题
作者对所推导出的常数的优化性保持谦逊，指出因子 $2^{N/2-1}$ 源于解耦步骤，而该步骤并未同时使径向和角向贡献达到极值。因此，确定一般情况下的“最佳”常数仍是一个开放问题（[1] 中的开放问题 1）。

此外，本文并未解决分数阶类比问题（[1] 中的开放问题 2 和 3），作者指出目前的论证高度依赖于二阶导数 $\partial_{rr}$ 的结构，而该结构缺乏直接的非局部替代物以对应分数阶算子。最后，Laplacian 表达形式 (1.6) 在 Muckenhoupt 范围之外（$a \leq -N$ 或 $a \geq N(N-1)$）的有效性仍是一个开放问题。