Heat Kernel for Fractional Diffusion Operators with Perturbations

Abstract

Let $L$ be an elliptic differential operator on a complete connected Riemannian manifold $M$ such that the associated heat kernel has two-sided Gaussian bounds as well as a Gaussian type gradient estimate. Let $L^{(\mathring{a})}$ be the $\mathring{a}$-stable subordination of $L$ for $\mathring{a}\in (1,2).$ We found some classes $\mathbb K_å^{\gg,\bb} (\bb,\gg\in [0,å))$ of time-space functions containing the Kato class, such that for any measurable $b:[0,\infty )\times M\to TM$ and $c:[0,\infty )\times M\to M$ with $|b|,c\in {\mathbb{K}}_{\mathring{a}}^{1,1},$ the operator $$L_{b,c}^{(å)}(t,x):= L^{(å)}(x)+ <b(t,x),\nn \cdot> +c(t,x),\ \ (t,x)\in [0,\infty)\times M$$ has a unique heat kernel $p_{b,c}^{(\mathring{a})}(t,x;s,y),0\le s<t,x,y\in M$, which is jointly continuous and satisfies &\ff{t-s}{C\{\rr(x,y)\lor (t-s)^{\frac{1}å}\}^{d+å}}\le p_{b,c}^{(å)}(t,x;s,y)\le \ff{C(t-s)}{{\rr(x,y)\lor (t-s)^{\frac{1}å}}^{d+å}}, & \big|\nn_x p_{b,c}^{(å)}(t,x; s,y)\big|\le \ff{C(t-s)^{\ff{å-1}å}}{{\rr(x,y)\lor (t-s)^{\frac{1}å}}^{d+å}}, 0\le s<t,\ x,y\in M for some constant $C>1$, where $\rr$ is the Riemannian distance. The estimate of ${\nabla }_y{p}_{b,c}^{(\mathring{a})}$ and the Hölder continuity of $\nn_x p_{b,c}^{(å)}$ are also considered. The resulting estimates of the gradient and its Hölder continuity are new even in the standard case where $L=\DD$ on ${\mathbb{R}}^d$ and $b,c$ are time-independent.

19 pages