[论文解读] Local Hardy and Rellich inequalities for sums of squares of vector fields

Michael Ruzhansky, Durvudkhan Suragan|arXiv (Cornell University)|Jan 21, 2016

Advanced Harmonic Analysis Research被引用 13

一句话总结

本文在光滑流形上有界区域上，针对向量场平方和的算子，在保证存在正基本解的条件下，建立了局部 Hardy 与 Rellich 不等式。通过加权能量估计与在可容许区域上的分部积分，作者推导出精确的不等式，将经典结果推广至子黎曼几何设置，包括分层李群与欧氏空间中具有 Hörmander 型系数的算子。

ABSTRACT

We prove local refined versions of Hardy's and Rellich's inequalities as well as of uncertainty principles for sums of squares of vector fields on bounded sets of smooth manifolds under certain assumptions on the vector fields. We also give some explicit examples, in particular, for sums of squares of vector fields on Euclidean spaces and for sub-Laplacians on stratified Lie groups.

研究动机与目标

• 在光滑流形的有界区域上，为形式为 $\mathcal{L} = \sum_{k=1}^N X_k^2 $ 的算子建立 Hardy 与 Rellich 不等式的局部版本。
• 识别出足够几何与分析条件——特别是正基本解的存在性——使得此类不等式成立。
• 将经典不等式推广至分层李群上的子拉普拉斯算子以及 $\mathbb{R}^n$ 上具有非光滑系数的 Hörmander 型算子。
• 通过在可容许区域上使用分部积分，为子黎曼几何中的不确定性原理与精细加权估计提供一个通用框架。
• 通过显式例子验证该框架，包括满足二步 Hörmander 条件但非光滑的向量场。

提出的方法

• 引入可容许区域 $\Omega \subset M$ 的概念，其边界为分段光滑且简单，以确保分部积分公式的有效性。
• 利用在点 $y$ 的邻域 $T_y$ 内，$-\mathcal{L} = \delta_y$ 的基本解 $\Gamma_y$ 的存在性，满足 $\Gamma_y > 0$ 在 $T_y \setminus \{y\}$ 上，且在 $y$ 处趋于无穷。
• 通过在 $\Omega$ 上使用分部积分推导加权能量恒等式，对涉及 $X_k f_k$ 与 $\langle X_k, d\nu \rangle$ 的微分形式应用斯托克斯定理。
• 构造涉及 $v X_k \Gamma_y$ 的测试函数，其中 $v \in C^1(\Omega) \cap C(\overline{\Omega})$，以利用基本解的性质。
• 在可容许区域上应用散度公式 $\sum_k \int_\Omega X_k f_k \, d\nu = \sum_k \int_{\partial\Omega} f_k \langle X_k, d\nu \rangle $，以控制边界项。
• 利用控制距离与系数的 Hölder 正则性，确保在 Hörmander 型设置中基本解的存在性与正性。

实验结果

研究问题

• RQ1 在向量场 $\{X_k\}$ 满足何种条件下，有界区域上 $\mathcal{L} = \sum X_k^2 $ 的局部 Hardy 不等式成立？
• RQ2 能否在子黎曼几何中为向量场平方和建立 Rellich 型不等式？
• RQ3 基本解 $\Gamma_y $ 的性质如何影响所得不等式的精确性？
• RQ4 经典 Hardy 与 Rellich 不等式在满足 Hörmander 条件但未必光滑的算子上，可被推广到何种程度？
• RQ5 对区域 $\Omega$ 与向量场的何种结构假设，可确保用于推导不等式的分部积分公式的有效性？

主要发现

• 对于任意具有分段光滑且简单边界之有界开区域 $\Omega \subset M$，若 $\mathcal{L} = \sum X_k^2 $ 在 $y$ 的邻域内存在正基本解 $\Gamma_y $，则存在一个依赖于 $\Gamma_y $ 奇异性之最优常数的局部 Hardy 不等式。
• 在相同假设下，作者证明了如下形式的局部 Rellich 不等式 $ \int_\Omega \frac{|\mathcal{L} u|^2}{|x-y|^4} d\nu \geq C \int_\Omega \frac{|u|^2}{|x-y|^4} d\nu $，其中常数为显式且最优。
• 在维度 $n \geq 3$ 的分层李群上，子拉普拉斯算子 $\mathcal{L} = \sum X_k^2 $ 在任意具有简单边界之有界区域上均满足局部 Hardy 与 Rellich 不等式。
• 对于 $\mathbb{R}^n $ 上形如 $ X_k = \frac{\partial}{\partial x_k} + \sum_{m=N+1}^n a_{k,m}(x) \frac{\partial}{\partial x_m} $ 的向量场，其中 $a_{k,m} \in C^{1,\alpha} $ 且满足 Hörmander 的二步条件，不等式在局部成立。
• 本文构造了具有非光滑系数（例如 $a(x) = x_2(1+|x_2|)$）的显式例子，其中向量场为 $C^{1,1}$ 且满足 Hörmander 条件，但不等式依然成立。
• 基本解 $\Gamma_y $ 被用作推导中的权重，其在 $y$ 处的爆破特性使得在加权 $L^2 $ 估计中能精确控制奇异性。