[论文解读] Intrinsic Ultracontractivity of Feynman-Kac Semigroups for Symmetric Jump Processes

Xin Chen, Jian Wang|arXiv (Cornell University)|Mar 14, 2014

advanced mathematical theories参考文献 14被引用 4

一句话总结

本文通过内在超 Poincaré 不等式和基态估计，建立了对称跳跃过程相关费曼-卡伊半群的内在超收缩性准则。对于稳定类似跳跃核 $ J(x,y) acksim |x-y|^{-d-α} \mathbf{1}_{\{|x-y|\leq 1\}} + e^{-|x-y|^\gamma} \mathbf{1}_{\{|x-y|>1\}} $ 和势函数 $ V(x) = |x|^\theta $，当且仅当 $ \theta > 1 $ 时，该半群是内在超收缩的，且基态 $ \phi_1 $ 具有精确的指数衰减估计。

ABSTRACT

Consider the symmetric non-local Dirichlet form $(D,\D(D))$ given by $$ D(f,f)=\int_{\R^d}\int_{\R^d}\big(f(x)-f(y)\big)^2 J(x,y)\,dx\,dy $$with $\D(D)$ the closure of the set of $C^1$ functions on $\R^d$ with compact support under the norm $\sqrt{D_1(f,f)}$, where $D_1(f,f):=D(f,f)+\int f^2(x)\,dx$ and $J(x,y)$ is a nonnegative symmetric measurable function on $\R^d imes \R^d$. Suppose that there is a Hunt process $(X_t)_{t\ge 0}$ on $\R^d$ corresponding to $(D,\D(D))$, and that $(L,\D(L))$ is its infinitesimal generator. We study the intrinsic ultracontractivity for the Feynman-Kac semigroup $(T_t^V)_{t\ge 0}$ generated by $L^V:=L-V$, where $V\ge 0$ is a non-negative locally bounded measurable function such that Lebesgue measure of the set $\{x\in \R^d: V(x)\le r\}$ is finite for every $r>0$. By using intrinsic super Poincaré inequalities and establishing an explicit lower bound estimate for the ground state, we present general criteria for the intrinsic ultracontractivity of $(T_t^V)_{t\ge 0}$. In particular, if $$J(x,y)\asymp|x-y|^{-d-α}\I_{\{|x-y|\le 1\}}+e^{-|x-y|^γ}\I_{\{|x-y|> 1\}}$$ for some $α\in (0,2)$ and $γ\in(1,\infty]$, and the potential function $V(x)=|x|^θ$ for some $θ>0$, then $(T_t^V)_{t\ge 0}$ is intrinsically ultracontractive if and only if $θ>1$. When $θ>1$, we have the following explicit estimates for the ground state $ϕ_1$ $$c_1\exp\Big(-c_2 θ^{\frac{γ-1}γ}|x| \log^{\frac{γ-1}γ}(1+|x|)\Big) \le ϕ_1(x) \le c_3\exp\Big(-c_4 θ^{\frac{γ-1}γ}|x| \log^{\frac{γ-1}γ}(1+|x|)\Big) ,$$ where $c_i>0$ $(i=1,2,3,4)$ are constants. We stress that, our method efficiently applies to the Hunt process $(X_t)_{t \ge 0}$ with finite range jumps, and some irregular potential function $V$ such that $\lim_{|x| o \infty}V(x) eq\infty$.

研究动机与目标

• 建立由 $ L^V = L - V $ 生成的费曼-卡伊半群内在超收缩性的通用准则，其中 $ L $ 是对称跳跃过程生成元。
• 分析跳跃核 $ J(x,y) $、势函数 $ V \geq 0 $ 与由此产生的半群超收缩性质之间的相互作用。
• 在特定跳跃和势函数条件下，为薛定谔算子 $ L^V $ 的基态 $ \phi_1 $ 提供显式的下界和上界。
• 将现有结果推广至具有有限范围跳跃和不规则势函数的情形，其中 $ \lim_{|x|\to\infty} V(x) \neq \infty $。
• 提出一种基于内在超 Poincaré 不等式的分析方法，以刻画内在超收缩性，且无需假设 $ V \to \infty $ 在无穷远处成立。

提出的方法

• 本文利用内在超 Poincaré 不等式推导出谱间隙和半群衰减速率的界，将函数不等式与超收缩性联系起来。
• 通过费曼-卡伊表示和热核估计，构造了基态 $ \phi_1 $ 的显式下界估计。
• 分析依赖于转移密度 $ p(t,x,y) $ 连续且有界的假设，以确保 Hunt 过程定义良好且半群是超收缩的。
• 关键估计源自 Lévy 跳跃测度 $ \nu(dz) = \rho(z)\,dz $，其中 $ \rho(z) \asymp |z|^{-d-\alpha} $ 在小的 $ |z| $ 处成立，且在大的 $ |z| $ 处呈现指数衰减。
• 该方法适用于非局部 Dirichlet 型形式，其中 $ J(x,y) \asymp |x-y|^{-d-\alpha} \mathbf{1}_{\{|x-y|\leq 1\}} + e^{-|x-y|^\gamma} \mathbf{1}_{\{|x-y|>1\}} $，从而允许有限范围跳跃行为。
• 通过结合第一特征值 $ \lambda_1 $ 的变分原理与 $ \phi_1 $ 的正性和连续性，论文证明了 $ \phi_1 > 0 $ 处处成立，并推导出精确的渐近衰减速率。

实验结果

研究问题

• RQ1 在何种跳跃核 $ J(x,y) $ 和势函数 $ V(x) $ 条件下，费曼-卡伊半群 $ (T_t^V)_{t\geq 0} $ 是内在超收缩的？
• RQ2 势函数 $ V(x) = |x|^\theta $ 的衰减速率如何影响对称跳跃过程下 $ T_t^V $ 的内在超收缩性？
• RQ3 当 $ V(x) = |x|^\theta $ 且 $ \theta > 1 $ 时，$ L^V = L - V $ 的基态 $ \phi_1 $ 的精确渐近行为是什么？
• RQ4 对于不趋向无穷的势函数 $ V $，是否仍可建立内在超收缩性，特别是在有限范围跳跃过程的背景下？
• RQ5 内在超 Poincaré 不等式如何与费曼-卡伊半群的谱性质及长期行为相关联？

主要发现

• 在指定的跳跃核条件下，当且仅当 $ \theta > 1 $ 时，费曼-卡伊半群 $ (T_t^V)_{t\geq 0} $ 是内在超收缩的，适用于势函数 $ V(x) = |x|^\theta $。
• 为基态建立了显式的双边指数界：$ c_1 \exp\Big{(} -c_2 \theta^{\frac{\gamma-1}{\gamma}} |x| \log^{\frac{\gamma-1}{\gamma}}(1+|x|) \Big{)} \leq \phi_1(x) \leq c_3 \exp\Big{(} -c_4 \theta^{\frac{\gamma-1}{\gamma}} |x| \log^{\frac{\gamma-1}{\gamma}}(1+|x|) \Big{)} $，其中 $ c_i $ 为正常数。
• 当 $ \theta \leq 1 $ 时，半群 $ (T_t^V)_{t\geq 0} $ 不是内在超收缩的，表明在 $ \theta = 1 $ 处存在一个精确的临界阈值。
• 该方法成功应用于具有有限范围跳跃和不规则势函数的过程，包括 $ \lim_{|x|\to\infty} V(x) \neq \infty $ 的情形，突破了经典假设的限制。
• 通过转移密度的正性和控制收敛论证，证明了基态 $ \phi_1 $ 严格正且处处连续。
• 利用内在超 Poincaré 不等式推导出蕴含内在超收缩性的必要函数不等式，为非局部生成元提供了一个稳健的分析框架。