[论文解读] Improved higher order Poincaré inequalities on the hyperbolic space via Hardy-type remainder terms

Elvise Berchio, Debdip Ganguly|arXiv (Cornell University)|Nov 2, 2015

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

一句话总结

该论文通过引入 $k$ 个 Hardy 型余项，对双曲空间上的高阶 Poincaré 不等式进行了改进，这些余项针对的是 $k$ 阶与 $l$ 阶迭代梯度的 $L^2$ 范数之比，其中 $k > l$。关键贡献在于显式构造了涉及测地距离 $r$ 的负幂次的最优余项，扩展了此前针对 $k=1,2$ 的结果，并通过变分法与球谐函数技术证明了常数的最优性。

ABSTRACT

The paper deals about Hardy-type inequalities associated with the following higher order Poincaré inequality: $$ \left( \frac{N-1}{2} ight)^{2(k -l)} := \inf_{ u \in C_{c}^{\infty} \setminus \{0\}} \frac{\int_{\mathbb{H}^{N}} | abla_{\mathbb{H}^{N}}^{k} u|^2 \ dv_{\mathbb{H}^{N}}}{\int_{\mathbb{H}^{N}} | abla_{\mathbb{H}^{N}}^{l} u|^2 \ dv_{\mathbb{H}^{N}} }\,, $$ where $0 \leq l < k$ are integers and $\mathbb{H}^{N}$ denotes the hyperbolic space. More precisely, we improve the Poincaré inequality associated with the above ratio by showing the existence of $k$ Hardy-type remainder terms. Furthermore, when $k = 2$ and $l = 1$ the existence of further remainder terms are provided and the sharpness of some constants is also discussed. As an application, we derive improved Rellich type inequalities on upper half space of the Euclidean space with non-standard remainder terms.

研究动机与目标

• 通过添加非平凡的余项，改进双曲空间上经典的高阶 Poincaré 不等式。
• 通过识别显式的 Hardy 型余项来解决不等式 (1.1) 的严格性问题，从而量化其差距。
• 将此前针对 $k=1, l=0$ 和 $k=2, l=0$ 的结果推广至一般情形 $k > l \geq 0$，特别关注 $k=2, l=1$ 的情形。
• 利用变分法与渐近分析证明余项中常数的最优性。
• 通过双曲空间的结果推导出欧氏空间上半空间上的新型 Rellich 型不等式。

提出的方法

• 利用球谐函数分解分析 $\mathbb{H}^N$ 上高阶微分算子的谱结构。
• 提出一种新颖的上解构造方法，以推导 $k$ 阶与 $l$ 阶梯度范数之差的下界。
• 采用 $\mathbb{H}^N$ 的上半空间模型，其度量为 $ds^2 = y^{-2}(dx^2 + dy^2)$，将问题转化为欧氏坐标。
• 通过变量替换 $u(x,y) = y^\alpha v(x,y)$，推导出 $\int_{\mathbb{H}^N} |\nabla_{\mathbb{H}^N}^k u|^2 \, dv_{\mathbb{H}^N}$ 与 $\int_{\mathbb{H}^N} |\nabla_{\mathbb{H}^N}^l u|^2 \, dv_{\mathbb{H}^N}$ 关于 $v(x,y)$ 的显式表达式。
• 利用拉普拉斯算子表达式 $\Delta_{\mathbb{H}^N} = y^2 \Delta - (N-2)y \partial_y$ 建立双曲与欧氏拉普拉斯算子之间的联系。
• 采用变分论证，并与已知的 Hardy 不等式进行比较，以确立余项中常数的最优性。

实验结果

研究问题

• RQ1 能否通过为 $k > l \geq 0$ 添加 $k$ 个 Hardy 型余项来改进 $\mathbb{H}^N$ 上经典的高阶 Poincaré 不等式？
• RQ2 对于 $k=2, l=1$，是否存在形式为 $C \int \frac{u^2}{r\gamma} \, dv_{\mathbb{H}^N}$ 的 Poincaré-Hardy 不等式余项？其最优常数是多少？
• RQ3 在 $k=2, l=0$ 的余项中，常数 $\frac{(N-1)^2}{16}$ 是否为最优？能否进一步改进？
• RQ4 能否利用 $\mathbb{H}^N$ 上的改进不等式推导出 $\mathbb{R}^N_+$ 上具有非标准余项的新型 Rellich 型不等式？
• RQ5 余项如何依赖于维度 $N$ 与 $k,l$ 的选择？

主要发现

• 对于 $k=1, l=0$，论文证明了不等式 $\int_{\mathbb{H}^N} |\nabla_{\mathbb{H}^N} u|^2 \, dv_{\mathbb{H}^N} - \left(\frac{N-1}{2}\right)^2 \int_{\mathbb{H}^N} u^2 \, dv_{\mathbb{H}^N} \geq \frac{1}{4} \int_{\mathbb{H}^N} \frac{u^2}{r^2} \, dv_{\mathbb{H}^N}$，且当 $N > 2$ 时常数为最优。
• 对于 $k=2, l=0$，不等式 $\int_{\mathbb{H}^N} (\Delta_{\mathbb{H}^N} u)^2 \, dv_{\mathbb{H}^N} - \left(\frac{N-1}{2}\right)^4 \int_{\mathbb{H}^N} u^2 \, dv_{\mathbb{H}^N} \geq \frac{(N-1)^2}{8} \int_{\mathbb{H}^N} \frac{u^2}{r^2} \, dv_{\mathbb{H}^N} + \frac{9}{16} \int_{\mathbb{H}^N} \frac{u^2}{r^4} \, dv_{\mathbb{H}^N}$ 成立，且当 $N > 4$ 时常数为最优。
• 在 $k=2, l=1$ 的余项中，常数 $\frac{(N-1)^2}{16}$ 被证明为最优，因为任何更小的值都会与已知的最优 Poincaré 不等式矛盾。
• 通过与梯度的 $L^2$ 范数及 Hardy-Maz’ya 不等式比较，确认了 $r^{-2}$ 项中常数 $\frac{(N-1)^2}{8}$ 的最优性。
• 论文通过 $y^\alpha$ 缩放将双曲空间结果转化为欧氏坐标，推导出上半空间 $\mathbb{R}^N_+$ 上改进的 Rellich 型不等式。
• 该方法导出了包含 $y^{-2}$ 与 $y^{-4}$ 权重的非标准余项，这些余项在经典 Rellich 不等式中并不存在。