[论文解读] Fractional Poincaré inequalities for general measures

Clément Mouhot, Emmanuel Russ+1 more|arXiv (Cornell University)|Nov 24, 2009

Nonlinear Partial Differential Equations参考文献 9被引用 7

一句话总结

本文建立了 $\mathbb{R}^n$ 上一般测度的分数阶 Poincaré 不等式，用涉及加权核的非局部 Gagliardo 型半范数取代了经典的 $L^2$ 梯度范数。关键结果表明，在测度满足 Poincaré 不等式且 $|\nabla V|^2 - \Delta V$ 具备增长条件的假设下，零均值函数的 $L^2$ 范数受一个涉及 $|f(x)-f(y)|^2/|x-y|^{n+\alpha}$ 的分数阶 Dirichlet 型形式控制，该形式加权为 $M(x)e^{-\delta(M)|x-y|}$。该结果改进了经典 Poincaré 不等式，并推广至超出 Lévy 测度的一般测度。

ABSTRACT

We prove a fractional version of Poincaré inequalities in the context of $\R^n$ endowed with a fairly general measure. Namely we prove a control of an $L^2$ norm by a non local quantity, which plays the role of the gradient in the standard Poincaré inequality. The assumption on the measure is the fact that it satisfies the classical Poincaré inequality, so that our result is an improvement of the latter inequality. Moreover we also quantify the tightness at infinity provided by the control on the fractional derivative in terms of a weight growing at infinity. The proof goes through the introduction of the generator of the Ornstein-Uhlenbeck semigroup and some careful estimates of its powers. To our knowledge this is the first proof of fractional Poincaré inequality for measures more general than Lévy measures.

研究动机与目标

• 将经典的 Poincaré 不等式推广至 $\mathbb{R}^n$ 上一般测度的分数阶、非局部设定。
• 通过涉及加权核的非局部分数阶半范数，建立对零均值函数 $L^2$ 范数的定量控制。
• 通过引入满足强化 Poincaré 条件的新一类测度，将现有结果推广至 Lévy 测度之外。
• 通过右端项中 $|\nabla \ln M(x)|^\alpha$ 的权重，量化无穷远处的改进。

提出的方法

• 证明依赖于测度 $M = e^{-V}$ 关联的 Ornstein-Uhlenbeck 半群的生成元 $L = -\Delta - \nabla V \cdot \nabla$。
• 利用 $L$ 的预解算子的非对角 $L^2$ 估计，控制算子的分数阶幂 $L^{\alpha/4}$。
• 应用泛函演算，推导出不等式 $L^{\alpha/2} \geq (\lambda')^{\alpha/2} \mu^{\alpha/2}$，其中 $\mu(x) = 1 + |\nabla \ln M(x)|^2$，从而得出主要估计。
• 通过核 $e^{-\delta(M)|x-y|}$ 控制非局部半范数，该核引入衰减，以捕捉无穷远处的行为。
• 该方法结合了谱理论、$L^2$ 估计以及在假设 $(1-\varepsilon)|\nabla V|^2/2 - \Delta V \to \infty $ 当 $|x| \to \infty $ 时对势函数 $V$ 的细致分析。
• 通过结合 $\|L^{\alpha/4}f\|_{L^2(M)}$ 的估计与涉及 $1 + |\nabla \ln M(x)|^\alpha$ 的加权 $L^2$ 范数，推导出结果。

实验结果

研究问题

• RQ1 能否为满足经典 Poincaré 不等式的广义测度建立分数阶 Poincaré 不等式，以非局部半范数取代局部梯度范数？
• RQ2 如何通过涉及 $|\nabla \ln M(x)|^\alpha$ 的权重，量化 Poincaré 不等式在无穷远处的改进？
• RQ3 能否通过谱方法和 Ornstein-Uhlenbeck 生成元，将分数阶 Poincaré 不等式推广至 Lévy 测度之外？
• RQ4 核 $e^{-\delta(M)|x-y|}$ 在平衡非局部相互作用与测度在无穷远处的行为中起什么作用？
• RQ5 经典 Poincaré 不等式能否通过涉及 $|f(x)-f(y)|^2/|x-y|^{n+\alpha}$ 且具有非对称权重的分数阶范数实现自改善？

主要发现

• 本文证明：对任意 $\alpha \in (0,2)$，存在 $\lambda_\alpha(M) > 0$，使得非局部半范数控制加权 $L^2$ 范数：$$\iint \frac{|f(x)-f(y)|^2}{|x-y|^{n+\alpha}} M(x) e^{-\delta(M)|x-y|} dx dy \geq \lambda_\alpha(M) \int |f(x)|^2 (1 + |\nabla \ln M(x)|^\alpha) M(x) dx$$。
• 该不等式通过引入随 $|\nabla \ln M(x)|^\alpha$ 增长的权重，改进了经典 Poincaré 不等式，量化了无穷远处的衰减。
• 常数 $\delta(M)$ 是构造性的，依赖于改进的 Poincaré 常数 $\lambda'(M)$，确保在满足 $(1-\varepsilon)|\nabla V|^2/2 - \Delta V \to \infty $ 当 $|x| \to \infty $ 的测度下结果有效。
• 该方法适用于满足 Poincaré 不等式的广义 $C^2$ 测度 $M = e^{-V}$，包括高斯、指数及幂指数尾部测度。
• 该结果是首次通过谱理论和对 Ornstein-Uhlenbeck 生成元的 $L^2$ 估计，为超出 Lévy 测度的一般测度建立分数阶 Poincaré 不等式。
• 本文表明，非对称核 $M(x)e^{-\delta(M)|x-y|}$ 在此情境下比对称的 Gagliardo 半范数更自然，因其反映了测度作为背景测度的角色，而 Lévy 测度作为核的角色。