We prove that the parabolic Harnack inequality implies the existence of jump kernel for symmetric pure jump process. This allows us to remove a technical assumption on the jumping measure in the recent characterization of the parabolic Harnack inequality for pure jump processes by Chen, Kumagai and Wang. The key ingredients of our proof are the Lévy system formula and a near-diagonal heat kernel lower bound.
In the context of a metric measure Dirichlet space satisfying volume doubling and Poincaré inequality, we prove the parabolic Harnack inequality for weak solutions of the heat equation associated with local nonsymmetric bilinear forms. In particular, we show that these weak solutions are locally bounded.
We consider the random walk on supercritical percolation clusters in the d-dimensional Euclidean lattice. Previous papers have obtained Gaussian heat kernel bounds, and a.s. invariance principles for this process. We show how this information leads to a parabolic Harnack inequality, a local limit theorem and estimates on the Green's function.
We consider difference equations in balanced, i.i.d. environments which are not necessary elliptic. In this setting we prove a parabolic Harnack inequality (PHI) for non-negative solutions to the discrete heat equation satisfying a (rather mild) growth condition, and we identify the optimal Harnack constant for the PHI. We show by way of an example that a growth condition is necessary and that our growth condition is sharp. Along the way we also prove a parabolic oscillation inequality and a (weak) quantitative homogenization result, which we believe to be of independent interest.
We prove a boundary Harnack inequality for jump-type Markov processes on metric measure state spaces, under comparability estimates of the jump kernel and Urysohn-type property of the domain of the generator of the process. The result holds for positive harmonic functions in arbitrary open sets. It applies, e.g., to many subordinate Brownian motions, Lévy processes with and without continuous part, stable-like and censored stable processes, jump processes on fractals, and rather general Schrödinger, drift and jump perturbations of such processes.
In this paper we study interior potential-theoretic properties of purely discontinuous Markov processes in proper open subsets $D\subset \mathbb{R}^d$. The jump kernels of the processes may be degenerate at the boundary in the sense that they may vanish or blow up at the boundary. Under certain natural conditions on the jump kernel, we show that the scale invariant Harnack inequality holds for any proper open subset $D\subset \mathbb{R}^d$ and prove some interior regularity of harmonic functions. We also prove a Dynkin-type formula and several other interior results.
We investigate the relationships between the parabolic Harnack inequality, heat kernel estimates, some geometric conditions, and some analytic conditions for random walks with long range jumps. Unlike the case of diffusion processes, the parabolic Harnack inequality does not, in general, imply the corresponding heat kernel estimates.
In this paper, we establish stability of parabolic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces under general volume doubling condition. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cutoff Sobolev inequalities, and Poincaré inequalities. In particular, we establish the connection between parabolic Harnack inequalities and two-sided heat kernel estimates, as well as with the Hölder regularity of parabolic functions for symmetric non-local Dirichlet forms.
In this paper, we consider the following symmetric Dirichlet forms on a metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g) = \mathcal{E}(^{(c)}(f,g)+\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $\mathcal{E}(^{(c)}$ is a strongly local symmetric bilinear form and $J(dx,dy)$ is a symmetric Random measure on $M\times M$. Under general volume doubling condition on $(M,d,μ)$ and some mild assumptions on scaling functions, we establish stability results for upper bounds of heat kernel (resp.\ two-sided heat kernel estimates) in terms of the jumping kernels, the cut-off Sobolev inequali…
Let $(X,d,μ)$ be a metric measure space with a local regular Dirichlet form. We give necessary and sufficient conditions for a parabolic Harnack inequality with global space-time scaling exponent $β\ge 2$ to hold. We show that this parabolic Harnack inequality is stable under rough isometries. As a consequence, once such a Harnack inequality is established on a metric measure space, then it holds for any uniformly elliptic operator in divergence form on a manifold naturally defined from the graph approximation of the space.
This paper proves the strong parabolic Harnack inequality for local weak solutions to the heat equation associated with time-dependent (nonsymmetric) bilinear forms. The underlying metric measure Dirichlet space is assumed to satisfy the volume doubling condition, the strong Poincaré inequality, and a cutoff Sobolev inequality. The metric is not required to be geodesic. Further results include a weighted Poincaré inequality, as well as upper and lower bounds for non-symmetric heat kernels.
We consider a L\' evy process in $\R^d$ $ (d\geq 3)$ with the characteristic exponent \[ Φ(ξ)=\frac{|ξ|^2}{\ln(1+|ξ|^2)}-1. \] The scale invariant Harnack inequality and apriori estimates of harmonic functions in H\" older spaces are proved.
In this paper, we consider the following type of non-local (pseudo-differential) operators $\LL $ on $\R^d$: $$ \LL u(x) =\frac12 \sum_{i, j=1}^d \frac{\partial}{\partial x_i} (a_{ij}(x) \frac{\partial}{\partial x_j}) + \lim_{\eps \downarrow 0} \int_{\{y\in \R^d: |y-x|>\eps\}} (u(y)-u(x)) J(x, y) dy, $$ where $A(x)=(a_{ij}(x))_{1\leq i, j\leq d}$ is a measurable $d\times d$ matrix-valued function on $\R^d$ that is uniform elliptic and bounded and $J$ is a symmetric measurable non-trivial non-negative kernel on $\R^d\times \R^d$ satisfying certain conditions. Corresponding to $\LL$ is a symmetr…
This work examines a class of switching jump diffusion processes. The main effort is devoted to proving the maximum principle and obtaining the Harnack inequalities. Compared with the diffusions and switching diffusions, the associated operators for switching jump diffusions are non-local, resulting in more difficulty in treating such systems. Our study is carried out by taking into consideration of the interplay of stochastic processes and the associated systems of integro-differential equations.
We consider operators of the form $L u(x) = \sum_{y \in \mathbb{Z}} k(x-y) \big( u(y) - u(x)\big)$ on the one-dimensional lattice with symmetric, integrable kernel $k$. We prove several results stating that under certain conditions on the kernel the operator $L$ satisfies the curvature-dimension condition $CD_Υ(0,F)$ (recently introduced by two of the authors) with some $CD$-function $F$, where attention is also paid to the asymptotic properties of $F$ (exponential growth at infinity and power-type behaviour near zero). We show that $CD_Υ(0,F)$ implies a Li-Yau inequality for positive solution…
We establish two-sided heat kernel estimates for random conductance models with non-uniformly elliptic (possibly degenerate) stable-like jumps on graphs. These are long range counterparts of well known two-sided Gaussian heat kernel estimates by M.T. Barlow for nearest neighbor (short range) random walks on the supercritical percolation cluster. Unlike the cases for nearest neighbor conductance models, the idea through parabolic Harnack inequalities does not work, since even elliptic Harnack inequalities do not hold in the present setting. As an application, we establish the local limit theore…
We study various probabilistic and analytical properties of a class of degenerate diffusion operators arising in Population Genetics, the so-called generalized Kimura diffusion operators. Our main results is a stochastic representation of weak solutions to a degenerate parabolic equation with singular lower-order coefficients, and the proof of the scale-invariant Harnack inequality for nonnegative solutions to the Kimura parabolic equation. The stochastic representation of solutions that we establish is a considerable generalization of the classical results on Feynman-Kac formulas concerning t…
The Harnack inequality established in [13] for generalized Mehler semigroup is improved and generalized. As applications, the log-Harnack inequality, the strong Feller property, the hyper-bounded property, and some heat kernel inequalities are presented for a class of O-U type semigroups with jump. These inequalities and semigroup properties are indeed equivalent, and thus sharp, for the Gaussian case. As an application of the log-Harnack inequality, the HWI inequality is established for the Gaussian case. Perturbations with linear growth are also investigated.
We study master equations of the form $$(\partial_t+L)^su=f\quad\hbox{in}~\mathbb{R}\timesΩ$$ where $L$ is a divergence form elliptic operator and $Ω\subseteq\mathbb{R}^n$. These are nonlocal equations of order $2s$ in space and $s$ in time that take into account the values of $u$ everywhere in $Ω$ and for past times. We show parabolic interior and boundary Harnack inequalities and local parabolic Hölder continuity of solutions. To this end, we prove a characterization of fractional powers of parabolic operators $\partial_t+L$ with a degenerate parabolic extension problem.
We consider stochastic partial differential equations under minimal assumptions: the coefficients are merely bounded and measurable and satisfy the stochastic parabolicity condition. In particular, the diffusion term is allowed to be scaling-critical. We derive local supremum estimates with a stochastic adaptation of De Giorgi's iteration and establish a weak Harnack inequality for the solutions. The latter is then used to obtain pointwise almost sure continuity.
We establish elliptic and parabolic Harnack inequalities on graphs with unbounded weights. As an application we prove a local limit theorem for a continuous time random walk $X$ in an environment of ergodic random conductances taking values in $[0, \infty)$ satisfying some moment conditions.
We characterize Gaussian estimates for transition probability of a discrete time Markov chain in terms of geometric properties of the underlying state space. In particular, we show that the following are equivalent: (1) Two sided Gaussian bounds on heat kernel (2) A scale invariant Parabolic Harnack inequality (3) Volume doubling property and a scale invariant Poincaré inequality. The underlying state space is a metric measure space, a setting that includes both manifolds and graphs as special cases. An important feature of our work is that our techniques are robust to small perturbations of t…
This paper introduces certain elliptic Harnack inequalities for harmonic functions in the setting of the product space $M \times X$, where $M$ is a (weighted) Riemannian Manifold and $X$ is a countable graph. Since some standard arguments for the elliptic case fail in this "mixed" setting, we adapt ideas introduced by Thierry Delmotte for the discrete parabolic case. We then present some useful applications of this inequality, namely, a kernel estimate for functions of the Laplacian on a graph. This application in turn provides sharp estimates for certain Markov kernels on graphs. We then clos…
Given a symmetric diffusion process and a jump process on the same underlying space, is there a subordinator such that the jump process and the subordinated diffusion processes are comparable? We address this question when the diffusion satisfies a sub-Gaussian heat kernel estimate and the jump process satisfies a polynomial-type jump kernel bounds. Under these assumptions, we obtain necessary and sufficient conditions on the jump kernel estimate for such a subordinator to exist. As an application of our results and the recent stability results of Chen, Kumagai, and Wang, we obtain parabolic H…
We obtain an existence and uniqueness theorem for fully coupled forward-backward SDEs (FBSDEs) with jumps via the classical solution to the associated quasilinear parabolic partial integro-differential equation (PIDE), and provide the explicit form of the FBSDE solution. Moreover, we embed the associated PIDE into a suitable class of non-local quasilinear parabolic PDEs which allows us to extend the methodology of Ladyzhenskaya et al (1968) to non-local PDEs of this class. Namely, we obtain the existence and uniqueness of a classical solution to both the Cauchy problem and the initial-boundary…
We survey the recent development of the DeGiorgi-Nash-Moser-Aronson type theory for a class of symmetric jump processes(or equivalently, a class of symmetric integro-differential operators). We focus on the sharp two-sided estimates for the transition density functions (or heat kernels) of the processes, a priori Holder estimate and parabolic Harnack inequalities for their parabolic functions. In contrast to the second order elliptic differential operator case, the methods to establish these properties for symmetric integro-differential operators are mainly probabilistic.
We prove upper bounds on the transition probabilities of random walks with i.i.d. random conductances with a polynomial lower tail near $0$. We consider both constant and variable speed models. Our estimates are sharp. As a consequence, we derive local central limit theorems, parabolic Harnack inequalities and Gaussian bounds for the heat kernel. Some of the arguments are robust and applicable for random walks on general graphs. Such results are stated under a general setting.
We prove regularity estimates for functions which are harmonic with respect to certain jump processes. The aim of this article is to extend the method of Bass-Levin[BL02] and Bogdan-Sztonyk[BS05] to more general processes. Furthermore, we establish a new version of the Harnack inequality that implies regularity estimates for corresponding harmonic functions.
For any graph having a suitable uniform Poincare inequality and volume growth regularity, we establish two-sided Gaussian transition density estimates and parabolic Harnack inequality, for constant speed continuous time random walks evolving via time varying, uniformly elliptic conductances, provided the vertex conductances (i.e. reversing measures), increase in time. Such transition density upper bounds apply for discrete time uniformly lazy walks, with the matching lower bounds holding once the parabolic Harnack inequality is proved.
In this paper, we establish sharp two-sided estimates for transition densities of a large class of subordinate Markov processes. As applications, we show that the parabolic Harnack inequality and Hölder regularity hold for parabolic functions of such processes, and derive sharp two-sided Green function estimates.
The existence and uniqueness in fractional Sobolev spaces of the Cauchy problem to a stochastic parabolic integro-differential equation is investigated. A model problem with coefficients independent of space variable is considered. The equation arises, for example, in a filtering problem with a jump signal and jump observation process.
In the first part of this article, we prove two-sided estimates of hitting probabilities of balls, the potential kernel and the Green function for a ball for general isotropic unimodal Lévy processes. Our bounds are sharp under the absence of the Gaussian component and a mild regularity condition on the density of the Lévy measure: its radial profile needs to satisfy a scaling-type condition, which is equivalent to $O$-regular variation at zero and at infinity with lower indices greater than $-d - 2$. We also prove a supremum estimate and a regularity result for functions harmonic with respect…
We consider boundary Harnack inequalities for regional fractional Laplacian which are generators of censored stable-like processes on G taking κ(x,y)/|x-y|^{n+α}dxdy, x,y\in G as the jumping measure. When G is a C^{1,β-1} open set, 1<α<β\leq 2 and κ\in C^{1}(\overline{G}\times \overline{G}) bounded between two positive numbers, we prove a boundary Harnack inequality giving dist(x,\partial G)^{α-1} order decay for harmonic functions near the boundary. For a C^{1,β-1} open set D\subset \overline{D}\subset G, 0<α\leq (1\veeα)<β\leq 2, we prove a boundary Harnack inequality giving dist(x,\partial …
In this paper characterizations of graphs satisfying heat kernel estimates for a wide class of space-time scaling functions are given. The equivalence of the two-sided heat kernel estimate and the parabolic Harnack inequality is also shown via the equivalence of the upper (lower) heat kernel estimate to the parabolic mean value (and super mean value) inequality.
Motivated by some recent potential theoretic results on subordinate killed Lévy processes in open subsets of the Euclidean space, we study processes in an open set $D\subset {\mathbb R}^d$ defined via Dirichlet forms with jump kernels of the form $J^D(x,y)=j(|x-y|)\mathcal{B}(x,y)$ and critical killing functions. Here $j(|x-y|)$ is the Lévy density of an isotropic stable process (or more generally, a pure jump isotropic unimodal Lévy process) in $\mathbb{R}^d$. The main novelty is that the term $\mathcal{B}(x,y)$ tends to 0 when $x$ or $y$ approach the boundary of $D$. Under some general assum…
This paper presents a probabilistic interpretation for the weak Sobolev solution of the obstacle problem for semilinear parabolic partial integro-differential equations (PIDEs). The results of Leandre (1985) concerning the homeomorphic property for the solution of SDEs with jumps are used to construct random test functions for the variational equation for such PIDEs. This results in the natural connection with the associated Reflected Backward Stochastic Differential Equations with jumps (RBSDEs), namely Feynman Kac's formula for the solution of the PIDEs. Moreover it gives an application to t…
This paper continues the analysis, started in [2, 3], of a class of degenerate elliptic operators defined on manifolds with corners, which arise in Population Biology. Using techniques pioneered by J. Moser, and extended and refined by L. Saloff-Coste, Grigoryan, and Sturm, we show that weak solutions to the parabolic problem defined by a sub-class of these operators, which consists of those that can be defined by Dirichlet forms and have non-vanishing transverse vector field, satisfy a Harnack inequality. This allows us to conclude that the solutions to these equations belong, for positive ti…
In this paper, we consider the following symmetric non-local Dirichlet forms of pure jump type on metric measure space $(M,d,μ)$: $$\mathcal{E}(f,g)=\int_{M\times M} (f(x)-f(y))(g(x)-g(y))\,J(dx,dy),$$ where $J(dx,dy)$ is a symmetric Radon measure on $M\times M\setminus {\rm diag}$ that may have different scalings for small jumps and large jumps. Under general volume doubling condition on $(M,d,μ)$ and some mild quantitative assumptions on $J(dx, dy)$ that are allowed to have light tails of polynomial decay at infinity, we establish stability results for two-sided heat kernel estimates as well…
We consider stochastic differential equations driven by a general Lévy processes (SDEs) with infinite activity and the related, via the Feynman-Kac formula, Dirichlet problem for parabolic integro-differential equation (PIDE). We approximate the solution of PIDE using a numerical method for the SDEs. The method is based on three ingredients: (i) we approximate small jumps by a diffusion; (ii) we use restricted jump-adaptive time-stepping; and (iii) between the jumps we exploit a weak Euler approximation. We prove weak convergence of the considered algorithm and present an in-depth analysis of …
