[论文解读] The sharp higher order Hardy--Rellich type inequalities on the homogeneous groups

Van Hoang Nguyen|arXiv (Cornell University)|Aug 30, 2017

Advanced Harmonic Analysis Research参考文献 35被引用 3

一句话总结

本文通过涉及高阶导数的积分恒等式，在齐次群上建立了精确的高阶 Hardy–Rellich 型不等式。推导出新的加权 $L^p$ 不等式与临界不等式，包括精确的全局尺度不变版本，修正并拓展了欧氏空间 $ ^n$ 中先前的结果。

ABSTRACT

We prove several interesting equalities for the integrals of higher order derivatives on the homogeneous groups. As consequences, we obtain the sharp Hardy--Rellich type inequalities for higher order derivatives including both the subcritical and critical inequalities on the homogeneous groups. We also prove several uncertainty principles on the homogeneous groups. Our results seem to be new even in the case of Euclidean space $\mathbb R^n$ and give a simple proof of several classical Hardy--Rellich type inequalities in $\mathbb R^n$.

研究动机与目标

• 通过积分恒等式推导齐次群上的精确高阶 Hardy–Rellich 型不等式。
• 将欧氏空间 $ ^n$ 中经典的 Hardy–Rellich 不等式推广至高阶导数与加权 $L^p$ 设置。
• 建立新的临界不等式并给出精确常数，修正文献中先前的结果。
• 在临界情形下证明不确定性原理与尺度不变不等式。
• 提供一个统一的框架，简化并拓展欧氏空间中已知的结果

提出的方法

• 推导齐次群上高阶导数的精确积分恒等式，作为不等式的基础。
• 应用这些恒等式，证明具有最优常数的精确加权 $L^2$ 与 $L^p$ Hardy–Rellich 不等式。
• 通过变换 $f_R(x) = f(Rx/|x|)$ 引入尺度不变框架，推导全局临界不等式。
• 利用径向分解与径向导数 ($ abla_r$, $ abla_r^k$) 分析径向对称性与不等式的精确性。
• 采用变分法与测试函数（例如 $f_ ho(x) = ( ext{ln}(R/|x|))^{1/2 - \rho}$）验证常数的精确性。
• 建立高维情形下临界与次临界不等式之间的等价关系，拓展已知结果

实验结果

研究问题

• RQ1 在齐次群上，高阶加权 $L^p$ Hardy–Rellich 不等式的精确常数是什么？
• RQ2 如何在 $ ^n$ 上以尺度不变形式表述临界 Hardy–Rellich 不等式？
• RQ3 新不等式在何种方式上修正或改进了先前声称的精确常数（如 Adimurthi 与 Santra (2019) 所述）？
• RQ4 能否从齐次群上涉及高阶导数的积分恒等式推导出不确定性原理？
• RQ5 在高维情形下，次临界与临界 Hardy–Rellich 不等式之间存在何种关系？

主要发现

• 本文证明了在齐次群上，高阶导数的精确 $L^p$ Hardy–Rellich 不等式，给出了显式的最优常数。
• 当 $n = 4k$ 时，不等式 $\left(2^{2k-2}(2k-1)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\Delta_r^k f|^2 dx$ 成立且为精确不等式。
• 当 $n = 4k+2$ 时，不等式 $\left(2^{2k-1}(2k)! ight)^2 \sup_{R>0} \int_{\r^n} \frac{|f - f_R|^2}{|x|^n |\ln(R/|x|)|^2} dx \leq \int_{\r^n} |\partial_r \Delta_r^k f|^2 dx$ 为精确不等式，并修正了 Adimurthi 与 Santra 的早期错误声明。
• 不等式 $\left(\frac{n-1}{n}\right)^n \int_{\r^n} \frac{|f - f_R|^n}{|x|^n |\ln(R/|x|)|^n} dx \leq \int_{\r^n} \left|\frac{x}{|x|} \cdot \nabla f\right|^n dx$ 被证明为精确且尺度不变。
• 结果可推广至带权 $L^p$ 形式，导出新的不等式，如 $\left(\prod_{i=0}^{k-1} \frac{n + p'(2i + \alpha))(n - p(2i + 2 + \alpha))}{pp'}\right)^p \int \frac{|f|^p}{|x|^{p(2k + \alpha)}} dx \leq \int \frac{|\Delta_r^k f|^p}{|x|^{p\alpha}} dx$。
• 本文通过测试函数证明了临界不等式 (6.18) 的精确性，解决了先前工作中存在的差异。