[论文解读] Poincare inequality and the uniqueness of solutions for the heat equation associated with subelliptic diffusion operators

Bumsik Kim|arXiv (Cornell University)|May 2, 2013

Geometric Analysis and Curvature Flows参考文献 17被引用 6

一句话总结

本文在满足广义曲率-维数条件 $CD(-K,\rho_2,\kappa,d)$ 且 $K>0$ 的子黎曼流形上建立了球上的全局 Poincaré 不等式，并利用该不等式证明了次椭圆热方程解的唯一性。关键结果为：在该曲率条件下，非负且属于 $L^p$ 的解由其初始数据唯一确定，通过几何分析与热核估计，将经典唯一性结果推广至次椭圆情形。

ABSTRACT

In this paper we study global Poincare inequalities on balls in a large class of sub-Riemannian manifolds satisfying the generalized curvature dimension inequality introduced by F.Baudoin and N.Garofalo. As a corollary, we prove the uniqueness of solutions for the subelliptic heat equation. Our results apply in particular to CR Sasakian manifolds with Tanaka-Webster-Ricci curvature bounded from below and Carnot groups of step two.

研究动机与目标

• 在满足广义曲率-维数不等式 $CD(-K,\rho_2,\kappa,d)$ 且 $K>0$ 的子黎曼流形上，建立球上的全局 Poincaré 不等式。
• 在该曲率条件下，证明次椭圆热方程 $\left(\frac{\partial}{\partial t}-L\right)u=0$ 的非负解的唯一性。
• 通过证明 $L^p$ 解由其在 $L^p$ 中的初始数据唯一确定，建立 $1 \leq p \leq \infty$ 时 $L^p$ 解的唯一性。

提出的方法

• 在 $CD(-K,\rho_2,\kappa,d)$ 条件下，利用狄利克雷热核的下界估计与 Sobolev 型估计，推导球上的 Poincaré 不等式。
• 应用 Moser 迭代法与 $L$-拉普拉斯方程次调和解的平均值估计，恢复正则性与唯一性性质。
• 利用由 Li-Yau 型估计导出的热核估计与抛物型 Harnack 不等式，控制解的增长与衰减。
• 通过分部积分与 $L^1$ 次调和函数理论，证明非负的 $L^1$ 次调和解必恒为零，从而推出唯一性。
• 利用算子 $L$ 的随机完备性与拟椭性，证明 $L^1$ 调和函数为常数，从而推出 $L^1$ 解的唯一性。
• 通过扰动方法 $\psi_\epsilon(x,t) = \max(0, v(x,t+\epsilon) - P_t(v(\cdot,\epsilon)))$ 将问题约化为次调和函数理论。

实验结果

研究问题

• RQ1 在满足 $CD(-K,\rho_2,\kappa,d)$ 且 $K>0$ 的流形上，次椭圆扩散算子的球上是否存在全局 Poincaré 不等式？
• RQ2 在该曲率条件下，次椭圆热方程的非负解的唯一性是否可被证明？
• RQ3 在 $1 \leq p \leq \infty$ 时，次椭圆热方程的 $L^p$ 解是否由其 $L^p$ 初始数据唯一确定？
• RQ4 $L^1$ 中次调和函数的理论能否推广至次椭圆情形以证明唯一性？
• RQ5 在缺乏椭圆性的情况下，热核估计与曲率-维数条件如何相互作用以导出唯一性结果？

主要发现

• 全局 Poincaré 不等式成立：对所有 $f \in C^\infty(\mathbb{M})$，有 $\int_{B(x_0,r)} |f - f_{B(x_0,r)}|^2 d\mu \leq C_{p1} r^2 e^{C_{p2} K r^2} \int_{B(x_0,r)} \Gamma(f) d\mu$，其中常数 $C_{p1}, C_{p2} > 0$ 依赖于 $\rho_2, \kappa, d$。
• 次椭圆热方程的非负解唯一性已得证：任意此类解 $u$ 均可唯一表示为 $u(x,t) = P_t f(x)$，其中 $P_t$ 为热半群。
• 对 $1 < p < \infty$，次椭圆热方程的 $L^p$ 解由初始数据 $f \in L^p(\mathbb{M})$ 唯一确定，且当 $t \to 0^+$ 时有 $u(\cdot,t) \to f$ 在 $L^p$ 中收敛。
• $L^1$ 解唯一确定：若 $u$ 是非负的 $L^1$ 次调和解，且当 $t \to 0^+$ 时 $u(\cdot,t) \to 0$ 在 $L^1$ 中收敛，则必有 $u \equiv 0$。
• 任何满足 $CD(-K,\rho_2,\kappa,d)$ 条件的 $\mathbb{M}$ 上的 $L^1$ 次调和函数必为常数，从而推出 $L^1$ 解的唯一性。
• 该证明依赖于 $L^1$ 调和函数为常数这一事实，该结论通过 $L$ 的拟椭性与 $L^1$ 次调和函数的非负性建立。