[论文解读] Log-Sobolev inequalities for subelliptic operators satisfying a generalized curvature dimension inequality

Fabrice Baudoin, Michel Bonnefont|arXiv (Cornell University)|Jun 2, 2011

Geometric Analysis and Curvature Flows参考文献 44被引用 79

一句话总结

本论文在广义曲率-维数条件 CD(ρ₁, ρ₂, κ, ∞) 下，为子椭圆扩散过程的不变测度建立了对数 Sobolev、Poincaré 及对数等周不等式。通过利用 Γ-微积分与子黎曼几何，证明了无维数依赖的函数不等式，包括依赖于 ρ₁、ρ₂ 和 κ 的显式常数的高斯型等周不等式，将经典结果推广至非椭圆情形，如海森堡群与 Sasaki 流形。

ABSTRACT

Let $\\M$ be a smooth connected manifold endowed with a smooth measure $\\mu$ and a smooth locally subelliptic diffusion operator $L$ which is symmetric with respect to $\\mu$. We assume that $L$ satisfies a generalized curvature dimension inequality as introduced by Baudoin-Garofalo \\cite{BG1}. Our goal is to discuss functional inequalities for $\\mu$ like the Poincar\\'e inequality, the log-Sobolev inequality or the Gaussian logarithmic isoperimetric inequality.

研究动机与目标

• 为子椭圆扩散过程的不变测度建立函数不等式——Poincaré、对数 Sobolev 及等周不等式。
• 通过引入广义曲率-维数不等式 CD(ρ₁, ρ₂, κ, ∞)，将 Bakry-Emery 准则推广至非椭圆情形。
• 在子黎曼几何中推导对数 Sobolev 常数与等周轮廓的无维数界。
• 在统一的曲率框架下，整合并推广海森堡群、Sasaki 流形与 Hörmander 型算子的结果。
• 证明二次运输成本不等式蕴含具有显式依赖于 ρ₁、ρ₂ 和 κ 的修正对数 Sobolev 不等式。

提出的方法

• 引入广义曲率-维数条件 CD(ρ₁, ρ₂, κ, ∞)，涉及 carré du champ Γ 与二阶形式 ΓZ，其中 ρ₁ ∈ ℝ，ρ₂ > 0，κ ≥ 0，且 d = ∞。
• 利用 Γ₂ 微积分并假设 (H.1)–(H.2)，确保扩散算子 L 的本质自伴性与结构一致性。
• 应用反向 Poincaré 不等式与对数 Harnack 不等式，控制热半群并推导熵界。
• 改编 Otto-Villani 与 Bobkov-Gentil-Ledoux 方法，证明修正的 HWI 不等式，将熵、Wasserstein 距离与能量联系起来。
• 利用超收缩性与半群估计，控制 Pt1A − 1A 的 L¹ 范数，从而实现等周估计。
• 通过 BV(M) 中特征函数的逼近推导周长界，并应用反向 Poincaré 不等式控制半群差的 L¹ 范数。

实验结果

研究问题

• RQ1 在无椭圆性条件下，能否在广义曲率-维数条件下建立子椭圆扩散的对数 Sobolev 不等式？
• RQ2 此类算子的对数 Sobolev 常数的最优、无维数界为何？
• RQ3 在子黎曼几何中，二次运输成本不等式与修正对数 Sobolev 不等式之间有何关系？
• RQ4 在 CD(ρ₁, ρ₂, κ, ∞) 条件与对数 Sobolev 不等式下，能否导出高斯型对数等周不等式？
• RQ5 ΓZ 形式在将经典不等式推广至非椭圆算子中起何作用？

主要发现

• 在 CD(ρ₁, ρ₂, κ, ∞) 条件下，当 ρ₁ > 0 且 ρ₂ > 0 时，Poincaré 不等式成立，其常数为 (κ + ρ₂)/(ρ₁ρ₂)，与维数无关。
• 对于概率测度，证明了依赖于 ρ₁、ρ₂、κ 及 d²(x₀, x) 的指数矩的修正对数 Sobolev 不等式，从而获得无维数界。
• 若二次运输成本不等式在 c < 2/ρ₋₁ 下成立，则修正对数 Sobolev 不等式成立，其常数 C₁、C₂ 仅依赖于 c、ρ₁、ρ₂ 与 κ。
• 建立了高斯型对数等周不等式：P(A) ≥ (ln 2 / 4)(3 + 2κ/ρ₂) min(√ρ₀, ρ₀/√|ρ₋₁|) μ(A)(ln(1/μ(A)))¹ᐟ²，其中 μ(A) ≤ 1/2。
• 等周不等式中的常数与维数无关，这与经典结果不同，原因在于使用了反向 Poincaré 而非 Li-Yau 估计。
• 结果适用于海森堡群上的子拉普拉斯算子、Sasaki 流形与 Hörmander 型算子，推广了子黎曼几何中已知的函数不等式。