[论文解读] Lyapunov conditions for logarithmic Sobolev and Super Poincaré inequality

Patrick Cattiaux, Arnaud Guillin+2 more|arXiv (Cornell University)|Dec 3, 2007

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

一句话总结

本文建立了类似于李雅普诺夫的条件，这些条件可推出在黎曼流形上的扩散过程满足超庞加莱不等式与对数索博列夫不等式。通过将局部超庞加莱不等式与李雅普诺夫函数条件相结合，作者推导出相关半群的显式衰减速率，将巴克里-埃米尔与库苏卡-施特鲁克的经典结果推广至具有下界 Ricci 曲率的流形上。

ABSTRACT

We show how to use Lyapunov functions to obtain functional inequalities which are stronger than Poincaré inequality (for instance logarithmic Sobolev or $F$-Sobolev). The case of Poincaré and weak Poincaré inequalities was studied in Bakry and al. This approach allows us to recover and extend in an unified way some known criteria in the euclidean case (Bakry-Emery, Wang, Kusuoka-Stroock ...).

研究动机与目标

• 通过李雅普诺夫函数，为推导强函数不等式（对数索博列夫不等式与超庞加莱不等式）提供一个统一的框架。
• 将经典判据（如巴克里-埃米尔、库苏卡-施特鲁克）推广至具有非负或下界 Ricci 曲率的黎曼流形。
• 建立在测度满足具有显式控制函数 β(s) 的超庞加莱不等式时的条件，从而实现精确的衰减估计。
• 将李雅普诺夫条件与水平集的几何结构及曲率界联系起来，特别是在卡坦-哈达姆德流形中。
• 通过李雅普诺夫控制，将紧致水平集上纳什不等式的使用推广至非紧致流形。

提出的方法

• 使用一个满足 $ W \geq 1 $ 的李雅普诺夫函数 $ W $，使得 $ \mathcal{L}W / W \leq -\phi + b \mathbf{1}_{B(o,r_0)} $，其中 $ \phi > \phi_0 > 0 $，以确保随机稳定性与指数遍历性。
• 将紧致水平集 $ \bar{V}_r $ 上的局部超庞加莱不等式与全局李雅普诺夫条件结合，将不等式扩展至整个流形。
• 在水平集 $ \bar{V}_r $ 上应用纳什型不等式，依赖于曲率与势函数增长条件所诱导的凸性与有界性。
• 推导出超庞加莱不等式中函数 $ \beta(s) $ 的显式界，其依赖于势函数的增长与曲率。
• 利用超庞加莱不等式与 F-Sobolev 不等式之间的关系，通过 $ \beta(s) = C e^{c/s} $（当 $ s \to 0^+ $ 时）推导出对数索博列夫型控制。
• 分析在具有下界 Ricci 曲率的卡坦-哈达姆德流形上，取 $ W = e^{a\rho^b} $ 的情形，利用对 $ \Delta\rho $ 与 Hessian 估计的有界性。

实验结果

研究问题

• RQ1 在具有下界 Ricci 曲率的黎曼流形上，何种李雅普诺夫型条件可保证超庞加莱不等式的成立？
• RQ2 曲率界与势函数增长条件如何影响超庞加莱不等式中衰减速率函数 $ \beta(s) $？
• RQ3 能否通过李雅普诺夫函数将巴克里-埃米尔对对数索博列夫不等式的判据推广至具有非正 Ricci 曲率的流形？
• RQ4 势函数 $ V $ 或 $ H = V + c_0\rho^2/2 $ 的水平集的凸性与有界性在推导函数不等式中起何种作用？
• RQ5 在存在光滑势函数 $ T $ 使得测度 $ e^{-T}dx $ 满足 LSI 的一般存在性结果中，该结果能在多大程度上被量化并赋予几何显式？

主要发现

• 对于具有下界 Ricci 曲率且势函数满足 $ V(x) \geq c'\rho^b $（$ b > 1 $）的卡坦-哈达姆德流形，测度 $ \mu $ 满足超庞加莱不等式，且 $ \beta(s) = C e^{c(1/s)^{b/(2((b-1)\land 1))}} $。
• 当 $ V(x) \geq (\varepsilon - c_0/2)\rho^2 $ 且 $ \varepsilon > 0 $，$ c_0 \leq 0 $ 时，不等式成立，且 $ \beta(s) = C e^{c/s} $，从而恢复高斯型衰减。
• 当 $ V(x) \geq c'\rho^b $ 且 $ b > 1 $，$ c_0 > 0 $ 时，该结果恢复并推广了文献 [28, Th.1.3] 的结论，后者将巴克里-埃米尔判据推广至具有下界 Ricci 曲率的情形。
• 对于满足 $ d'\rho^{b'} \geq V(x) \geq c'\rho^b $ 且 $ b' \geq b > 1 $ 的势函数，衰减速率为 $ \beta(s) = C e^{c(1/s)^{b'/(b'+b-2)}} $，表现出多项式尾与指数尾之间的中间行为。
• 李雅普诺夫条件 $ \mathcal{L}W / W \leq -\phi + b \mathbf{1}_{B(o,r_0)} $，其中 $ W = e^{a\rho^b} $，在曲率与梯度控制下确保了超庞加莱不等式的存在。
• 该方法统一并扩展了库苏卡-施特鲁克与王氏的先前结果，表明李雅普诺夫函数的存在性可使局部函数不等式在非紧致情形下实现全局延拓。