Harnack Inequality for Non-Local Schrödinger Operators

Abstract

Let $x \in\mathbb{R}^d$, $d \geq 3,$ and $f: \mathbb{R}^d \rightarrow \R$ be twice differentiable function with all second partial derivatives being continuous. For $1\leq i,j\leq d$, let $a_{ij} : \mathbb{R}^d \rightarrow \R$ be a differentiable function with all partial derivatives being continuous and bounded. We shall consider the Schr\"odinger operator associated to \begin{eqnarray*} \mathcal{L}f(x) &=& \frac12 \sum_{i=1}^d \sum_{j=1}^d \frac{\partial}{\partial x_i} \left(a_{ij}(\cdot) \frac{\partial f}{\partial x_j}\right)(x) + \int_{\mathbb{R}^d\setminus{\{0\}}} [f(y) - f(x) ]J(x,y)dy. \end{eqnarray*} where $J: \mathbb{R}^d \times \R^d \rightarrow \R$ is a symmetric measurable function. Let $q: \mathbb{R}^d \rightarrow \R.$ We specify assumptions on $a, q,$ and $J$ so that non-negative bounded solutions to $${\mathcal L}f + qf = 0$$ satisfy a Harnack inequality.