[论文解读] Perturbations of Functional Inequalities for Lévy Type Dirichlet Forms

Xin Chen, Feng‐Yu Wang+1 more|arXiv (Cornell University)|Mar 29, 2013

Spectral Theory in Mathematical Physics参考文献 1被引用 5

一句话总结

本文在非局部 Lévy 型 Dirichlet 型式中建立了超 Poincaré 不等式与弱 Poincaré 不等式的扰动结果，扩展了以往基于扩散过程的结果。文章给出了势扰动的精确增长条件，表明当跳跃范围有限时，结果推广了经典扩散情形；而当跳跃范围无限时，行为具有根本不同，通过显式例子和速率函数的精确性证明了结果的最优性。

ABSTRACT

Perturbations of super Poincaré and weak Poincaré inequalities for Lévy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.

研究动机与目标

• 将函数不等式扰动理论从扩散过程推广至非局部 Lévy 型 Dirichlet 型式。
• 建立超 Poincaré 不等式与弱 Poincaré 不等式在势扰动下保持成立的充分条件。
• 刻画弱 Poincaré 不等式中所得速率函数的精确性，尤其针对无限跳跃范围的情形。
• 证明在无界扰动下，非局部情形的行为与局部（扩散）情形存在根本性差异。
• 通过显式例子说明所导条件与速率函数的最优性。

提出的方法

• 分析在配备 Borel 概率测度 $ \mu $ 的波兰空间 $ (E,d) $ 上进行，使用具有有限二阶矩条件的非负核 $ q(x,y) $。
• 通过跳跃型生成元 $ \Gamma(f,g)(x) = \int_E (f(x)-f(y))(g(x)-g(y)) q(x,y) \mu(\mathrm{d}y) $ 定义 Dirichlet 型式 $ \mathscr{E}(f,g) $，其定义域为 $ \mathscr{A} $，即 $ \rho $-有界函数的集合。
• 引入势扰动 $ V $，使得 $ \mu_V(\mathrm{d}x) = e^{V(x)} \mu(\mathrm{d}x) $，且满足 $ \mu(e^V) = 1 $，从而导出扰动后的 Dirichlet 型式 $ \mathscr{E}_V $。
• 关键技术在于通过 $ V $ 的增长条件估计谱间隙与衰减速率，特别是对 $ \tilde{K}_{n,k}(V) $、$ \tilde{Z}_n(V) $ 及尾概率 $ \mu_V(\rho > n) $ 进行控制。
• 证明依赖于构造具有受控 $ \mathscr{E}_V(f_n) $ 与方差 $ \mathrm{Var}_{\mu_V}(f_n) $ 的测试函数 $ f_n \in C^\infty(\mathbb{R}^m) $，从而推导出速率函数的界。
• 通过反证法证明精确性：假设速率函数更小将与 $ f_n $ 的方差增长不一致，尤其当 $ \phi(r) \to \infty $ 时。

实验结果

研究问题

• RQ1 与扩散过程相比，非局部 Lévy 型 Dirichlet 型式中，超 Poincaré 与弱 Poincaré 不等式在扰动下的行为如何？
• RQ2 在非局部设定下，确保弱 Poincaré 不等式成立的势 $ V $ 的精确增长条件是什么？
• RQ3 当跳跃范围无限时，弱 Poincaré 不等式中的速率函数 $ \beta_V(r) $ 是否可进一步改进，尤其针对该情形？
• RQ4 函数 $ \phi(r) $ 在势 $ V(x) = \varepsilon \log(1+|x|) + \phi(|x|) + K_0 $ 中起什么作用？为何不能用满足 $ \phi(r) \uparrow \infty $ 的无界函数替代，否则将破坏不等式？
• RQ5 当跳跃范围为无限与有限时，扰动后 Dirichlet 型式的行为有何根本性差异？

主要发现

• 在条件 $ -s\varepsilon\log(1+|x|) - K \leq V(x) \leq (1-s)\varepsilon\log(1+|x|) + K $ 下，$ \mathscr{E}_V $ 满足弱 Poincaré 不等式，其速率函数为 $ \beta_V(r) = C(1 + r^{-\varepsilon/(α - (1-s)\varepsilon)}) $，其中 $ \varepsilon \in [0,\alpha) $，$ s \in [0,1] $，且 $ \mu(e^V) = 1 $。
• 当 $ s = 0 $ 时，速率函数 $ \beta_V(r) $ 是精确的：若 $ \lim_{r \to 0} r^{\varepsilon/(α - \varepsilon)} \beta_V(r) = 0 $，则弱 Poincaré 不等式不成立。
• 势界中的常数 $ K $ 不能被满足 $ \phi(r) \uparrow \infty $ 的无界函数 $ \phi(|x|) $ 替代；否则，即使 $ \mu(e^{\varepsilon\log(1+|\cdot|) + \phi(|\cdot|)}) < \infty $，弱 Poincaré 不等式仍会失效。
• 对于 $ V(x) = \varepsilon\log(1+|x|) + \phi(|x|) + K_0 $，测试函数 $ f_n $ 的方差以 $ \mathrm{e}^{\phi(n)} / n^{\alpha - \varepsilon} $ 的速度增长，与假设的速率函数矛盾，从而证明其最优性。
• 结果将经典扰动理论从扩散过程推广至非局部 Lévy 型生成元，其关键差异源于非局部设定中缺乏链式法则。
• 通过构造序列函数 $ f_n $ 确认了速率函数的精确性：若 $ \beta_V(r) $ 衰减过快，则不等式不成立，从而证明了所导增长条件的必要性。