[论文解读] Sobolev, Poincare and isoperimetric inequalities for subelliptic diffusion operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Bumsik Kim|arXiv (Cornell University)|Mar 16, 2012

Geometric Analysis and Curvature Flows参考文献 7被引用 8

一句话总结

本论文在广义曲率-维数条件 CD(ρ₁, ρ₂, κ, d) 成立的前提下，建立了满足次椭圆扩散算子的索伯列夫、庞加莱与等周不等式。通过将 M. Ledoux 的热半群方法适配至次黎曼几何，推导出精确的函数不等式，并在水平 Webster-Tanaka-Ricci 曲率为非负的 CR 塞萨里安流形、两步卡诺群以及某些非负曲率黎曼流形上的主丛上，获得了该算子第一非零特征值的李希纳洛维奇型下界。

ABSTRACT

By adapting some ideas of M. Ledoux \cite{ledoux2}, \cite{ledoux-stflour} and \cite{Led} to a sub-Riemannian framework we study Sobolev, Poincaré and isoperimetric inequalities associated to subelliptic diffusion operators that satisfy the generalized curvature dimension inequality that was introduced by F. Baudoin and N. Garofalo in \cite{Bau2}. Our results apply in particular on all CR Sasakian manifolds whose horizontal Webster-Tanaka-Ricci curvature is non negative, all Carnot groups with step two, and wide subclasses of principal bundles over Riemannian manifolds whose Ricci curvature is non negative.

研究动机与目标

• 将经典的函数不等式——索伯列夫、庞加莱与等周不等式——推广至满足广义曲率-维数不等式 CD(ρ₁, ρ₂, κ, d) 的次椭圆扩散算子。
• 将 M. Ledoux 的热半群技术适配至次黎曼几何框架，以在曲率假设下推导出定量不等式。
• 在曲率参数 ρ₁, ρ₂, κ 与维数 d 的表达下，建立算子 −L 第一非零特征值的李希纳洛维奇型下界。
• 展示结果在 CR 塞萨里安流形、两步卡诺群以及某些非负曲率流形上的主丛等几何结构中的适用性。

提出的方法

• 以广义曲率-维数不等式 CD(ρ₁, ρ₂, κ, d) 作为基础假设，将二阶微分形式 Γ₂ 与 Γ₂^Z 与曲率和维数联系起来。
• 应用受 Ledoux 启发的热半群技术，特别是利用半群 P_t 推导梯度估计与伪庞加莱不等式。
• 通过 carré du champ 算子 Γ 及其 Z-变体 Γ^Z 定义内在次黎曼几何，并控制函数在扩散作用下的行为。
• 通过估计 P_t 1_E − 1_E 的 L¹ 范数，推导出等周不等式，将热流与集合及其边界测度联系起来。
• 利用分部积分与谱理论，推导出 −L 第一非零特征值的下界，推广了经典的李希纳洛维奇定理。
• 在假设 (H.1)–(H.3) 下应用 Bakry-Émery 类似论证，确保在次椭圆框架下半群与曲率估计的有效性。

实验结果

研究问题

• RQ1 在广义曲率-维数条件下，能否为次椭圆扩散算子建立索伯列夫、庞加莱与等周不等式？
• RQ2 曲率参数 ρ₁, ρ₂, κ 与维数 d 如何影响次黎曼几何中的函数不等式与谱隙？
• RQ3 在广义曲率-维数条件下，次椭圆算子 −L 第一非零特征值的最优下界是什么？
• RQ4 Ledoux 的热半群方法在具有非平凡挠率与水平次黎曼结构的次椭圆设定中能推广到何种程度？
• RQ5 在哪些几何类中——如 CR 塞萨里安流形或卡诺群——这些不等式能以曲率与维数的显式定量依赖关系成立？

主要发现

• 建立了精确的等周不等式：在 CD(ρ₁, ρ₂, κ, d) 条件下，切赫等周常数满足涉及 ρ₁, ρ₂ 与 κ 的下界。
• 当 ρ₁ > 0 时，论文证明了依赖于 ρ₁, ρ₂ 与 κ 的庞加莱不等式，优于次黎曼设定中的经典结果。
• 推导出改进的索伯列夫嵌入：W^{1,2} 空间中的函数连续嵌入 L^p（p > 2），且其依赖关系显式体现于曲率参数。
• 证明了算子 −L 第一非零特征值 λ₁ 的李希纳洛维奇型下界：λ₁ ≥ ρ₁ρ₂ / ( ((d−1)/d)ρ₂ + κ )，当 κ = 0 时退化为经典黎曼情形。
• P_t 1_E − 1_E 的 L¹ 范数估计导出了一个定量等周不等式：μ(E) − ∫(P_{t/2}1_E)^2 dμ ≤ √(2/ρ₁)(1 + 2κ/ρ₂)√(1 − e^{−ρ₁ρ₂/(ρ₂+κ)t}) μ(E)，对所有 t > 0 成立。
• 结果在水平 Webster-Tanaka-Ricci 曲率为非负的 CR 塞萨里安流形、两步卡诺群以及非负曲率黎曼流形上某些主丛的广泛子类中成立。