research

Intrinsic Ultracontractivity of Feynman-Kac Semigroups for Symmetric Jump Processes

Abstract

Consider the symmetric non-local Dirichlet form (D,\D(D)) given by D(f,f)=RdRd(f(x)f(y))2J(x,y)dxdy 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 C1C^1 functions on Rd\R^d with compact support under the norm D1(f,f)\sqrt{D_1(f,f)}, where D1(f,f):=D(f,f)+f2(x)dxD_1(f,f):=D(f,f)+\int f^2(x)\,dx and J(x,y)J(x,y) is a nonnegative symmetric measurable function on Rd×Rd\R^d\times \R^d. Suppose that there is a Hunt process (Xt)t0(X_t)_{t\ge 0} on Rd\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 (TtV)t0(T_t^V)_{t\ge 0} generated by LV:=LVL^V:=L-V, where V0V\ge 0 is a non-negative locally bounded measurable function such that Lebesgue measure of the set {xRd:V(x)r}\{x\in \R^d: V(x)\le r\} is finite for every r>0r>0. By using intrinsic super Poincar\'{e} inequalities and establishing an explicit lower bound estimate for the ground state, we present general criteria for the intrinsic ultracontractivity of (TtV)t0(T_t^V)_{t\ge 0}. In particular, if J(x,y)\asymp|x-y|^{-d-\alpha}\I_{\{|x-y|\le 1\}}+e^{-|x-y|^\gamma}\I_{\{|x-y|> 1\}} for some α(0,2)\alpha \in (0,2) and γ(1,]\gamma\in(1,\infty], and the potential function V(x)=xθV(x)=|x|^\theta for some θ>0\theta>0, then (TtV)t0(T_t^V)_{t\ge 0} is intrinsically ultracontractive if and only if θ>1\theta>1. When θ>1\theta>1, we have the following explicit estimates for the ground state ϕ1\phi_1 c1exp(c2θγ1γxlogγ1γ(1+x))ϕ1(x)c3exp(c4θγ1γxlogγ1γ(1+x)),c_1\exp\Big(-c_2 \theta^{\frac{\gamma-1}{\gamma}}|x| \log^{\frac{\gamma-1}{\gamma}}(1+|x|)\Big) \le \phi_1(x) \le c_3\exp\Big(-c_4 \theta^{\frac{\gamma-1}{\gamma}}|x| \log^{\frac{\gamma-1}{\gamma}}(1+|x|)\Big) , where ci>0c_i>0 (i=1,2,3,4)(i=1,2,3,4) are constants. We stress that, our method efficiently applies to the Hunt process (Xt)t0(X_t)_{t \ge 0} with finite range jumps, and some irregular potential function VV such that limxV(x)\lim_{|x| \to \infty}V(x)\neq\infty.Comment: 31 page

    Similar works

    Full text

    thumbnail-image

    Available Versions