[论文解读] Hardy's Identities and Inequalities on Cartan-Hadamard Manifolds

Joshua Flynn, Nguyen Lam+2 more|arXiv (Cornell University)|Mar 23, 2021

Nonlinear Partial Differential Equations参考文献 39被引用 6

一句话总结

本文通过Bessel对框架，在Cartan-Hadamard流形上建立了精确的Hardy恒等式与不等式，提供了明确的余项，从而阐明了极值函数的存在性与非存在性。通过径向权函数与雅可比行列式畸变的几何与常微分方程分析，该工作推导出显式且最优的余项，推广并改进了双曲空间上已知的Hardy与Hardy-Poincaré-Sobolev不等式。

ABSTRACT

We study the Hardy identities and inequalities on Cartan-Hadamard manifolds using the notion of a Bessel pair. These Hardy identities offer significantly more information on the existence/nonexistence of the extremal functions of the Hardy inequalities. These Hardy inequalities are in the spirit of Brezis-Vázquez in the Euclidean spaces. As direct consequences, we establish several Hardy type inequalities that provide substantial improvements as well as simple understandings to many known Hardy inequalities and Hardy-Poincaré-Sobolev type inequalities on hyperbolic spaces in the literature.

研究动机与目标

• 在非正曲率背景下，扩展并细化Cartan-Hadamard流形上的Hardy型不等式。
• 通过推导包含余项的精确恒等式，解决Hardy不等式中极值函数的存在性与非存在性问题。
• 利用Bessel对方法，将有界区域上的Brezis-Vázquez不等式推广至双曲空间与一般Cartan-Hadamard流形。
• 通过几何与谱分析，统一并改进双曲空间上现有的Hardy-Poincaré-Sobolev不等式。

提出的方法

• 利用Bessel对框架，通过二阶常微分方程 $(V\tilde{y}')' + W\tilde{y} = 0$ 解的存在性来刻画Hardy型不等式成立的条件。
• 应用径向对称性与以点 $O$ 为中心的测地极坐标，将拉普拉斯算子与体积元表示为径向距离 $\rho(x)$ 与雅可比行列式 $J(u,\rho)$ 的函数。
• 通过将 $f$ 分解为其在边界 $\exp_O(Ru)$ 处的值与余项之和，再应用分部积分与常微分方程条件，提取余项。
• 引入一个涉及 $V(\rho)|\nabla f|^2 - W(\rho)|f|^2$ 的加权 $L^2$-范数恒等式，该式可分解为非负梯度项与包含 $\varphi' / \varphi$ 和 $J'/J$ 的余项。
• 利用径向导数 $\partial_\rho$ 与全梯度 $|\nabla_g f|_g$，推导出两个不同的余项恒等式，二者均给出非负梯度项。
• 将该恒等式应用于整个流形 $\mathbb{M}$，包括 $B_R(O)$ 与 $\mathbb{M} \setminus B_R(O)$，从而获得具有显式余项的全局不等式。

实验结果

研究问题

• RQ1 能否将 $\mathbb{R}^N$ 中有界区域上的Brezis-Vázquez不等式推广至具有非正曲率的Cartan-Hadamard流形？
• RQ2 Hardy不等式在Cartan-Hadamard流形上的余项项的精确结构是什么？其如何决定极值函数的存在性？
• RQ3 Bessel对条件如何与流形的几何相关联，特别是通过雅可比行列式 $J(u,\rho)$ 与曲率效应？
• RQ4 双曲空间上Hardy-Poincaré-Sobolev不等式的最优常数能否从一个通用恒等式框架中推导而出？
• RQ5 求解 $(V\varphi')' + W\varphi = 0$ 的函数 $\varphi$ 在构造精确余项中起什么作用？

主要发现

• 本文在Cartan-Hadamard流形上推导出一个精确的Hardy恒等式：$\int_{\mathbb{M}} V(\rho)|\nabla f|^2 dV_g - \int_{\mathbb{M}} W(\rho)|f|^2 dV_g = \int_{\mathbb{M}} V(\rho)\varphi^2|\nabla (f/\varphi)|^2 dV_g - \int_{\mathbb{M}} |f|^2 V(\rho) \frac{\varphi'}{\varphi} \frac{J'}{J} dV_g$，在Bessel对条件下该表达式非负。
• 包含 $\frac{J'(u,\rho)}{J(u,\rho)}$ 的余项项捕捉了曲率对Hardy不等式的几何影响，其中 $J(u,\rho)$ 为指数映射的雅可比行列式。
• 对于双曲空间 $\mathbb{H}^N$，该方法恢复并改进了已知的Hardy-Poincaré不等式，表明Brezis-Vázquez不等式中最优常数 $z_0^2 \omega_N^{2/N} |\Omega|^{-2/N}$ 自然地源于Bessel对结构。
• 本文证明了常数 $z_0^2 \omega_N^{2/N} |\Omega|^{-2/N}$ 对 $\mathbb{H}^N$ 中的球形区域 $\Omega$ 是最优的，且在 $W_0^{1,2}(\Omega)$ 中不可达，从而证实了Brezis-Vázquez关于无限余项级数首项的猜想。
• 该方法提供了一种系统性方式，通过迭代Bessel对框架并分析常微分方程结构，生成Hardy不等式中的高阶余项。
• 该框架可统一应用于Cartan-Hadamard流形上的有界与无界区域，统一了欧氏空间、双曲空间与一般非正曲率空间的结果。