We consider the symmetric non-local Dirichlet form $(E, F)$ given by \[ E (f,f)=\int_{R^d} \int_{R^d} (f(y)-f(x))^2 J(x,y) dx dy \] with $F$ the closure of the set of $C^1$ functions on $R^d$ with compact support with respect to $E_1$, where $E_1 (f, f):=E (f, f)+\int_{R^d} f(x)^2 dx$, and where the jump kernel $J$ satisfies \[ κ_1|y-x|^{-d-α} \leq J(x,y) \leq κ_2|y-x|^{-d-β} \] for $0<α< β<2, |x-y|<1$. This assumption allows the corresponding jump process to have jump intensities whose size depends on the position of the process and the direction of the jump. We prove upper and lower estimates on the heat kernel. We construct a strong Markov process corresponding to $(E, F)$. We prove a parabolic Harnack inequality for nonnegative functions that solve the heat equation with respect to $E$. Finally we construct an example where the corresponding harmonic functions need not be continuous.
We discuss a concept of path-dependent SDE with distributional drift with possible jumps. We interpret it via a suitable martingale problem, for which we provide existence and uniqueness. The corresponding solutions are expected to be Dirichlet processes, nevertheless we give examples of solutions which do not fulfill this property. In the second part of the paper we indeed state and prove significant new results on the class of Dirichlet processes.
This paper develops systematically the stochastic calculus via regularization in the case of jump processes. In particular one continues the analysis of real-valued càdlàg weak Dirichlet processes with respect to a given filtration. Such a process is the sum of a local martingale and an adapted process $A$ such that $[N,A] = 0$, for any continuous local martingale $N$. Given a function $u:[0,T] \times \mathbb{R} \to \mathbb{R}$, which is of class $C^{0,1}$ (or sometimes less), we provide a chain rule type expansion for $u(t,X_t)$ which stands in applications for a chain Itô type rule.
This paper studies homogenization of symmetric non-local Dirichlet forms with $α$-stable-like jumping kernels in one-parameter stationary ergodic environment. Under suitable conditions, we establish homogenization results and identify the limiting effective Dirichlet forms explicitly. The coefficients of the jumping kernels of Dirichlet forms and symmetrizing measures are allowed to be degenerate and unbounded; and the coefficients in the effective Dirichlet forms can be degenerate.
The paper is a continuation of our paper [12,2], and it studies functional inequalities for non-local Dirichlet forms with finite range jumps or large jumps. Let $α\in(0,2)$ and $μ_V(dx)=C_Ve^{-V(x)}\,dx$ be a probability measure. We present explicit and sharp criteria for the Poincaré inequality and the super Poincaré inequality of the following non-local Dirichlet form with finite range jump $$\mathscr{E}_{α, V}(f,f):= (1/2)\iint_{|x-y|\le 1}\frac{(f(x)-f(y))^2}{|x-y|^{d+α}} dy μ_V(dx);$$ on the other hand, we give sharp criteria for the Poincaré inequality of the non-local Dirichlet form wi…
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…
Under some mild assumptions on the Levy measure and the symbol we obtain gradient estimates of Dirichlet heat kernels for pure-jump isotropic unimodal Levy processes in $R^d$.
In this paper, we study transition density functions for pure jump unimodal Lévy processes killed upon leaving an open set $D$. Under some mild assumptions on the Lévy density, we establish two-sided Dirichlet heat kernel estimates when the open set $D$ is $C^{1, 1}$. Our result covers the case that the Lévy densities of unimodal Lévy processes are regularly varying functions whose indices are equal to the Euclidean dimension. This is the first results on two-sided Dirichlet heat kernel estimates for Lévy processes such that the weak lower scaling index of the Lévy densities is not necessarily…
We examine a class of random walks in random environments on $\mathbb{Z}$ with bounded jumps, a generalization of the classic one-dimensional model. The environments we study have i.i.d. transition probability vectors drawn from Dirichlet distributions. For this model, we characterize recurrence and transience, and in the transient case we characterize ballisticity. For ballisticity, we give two parameters, $κ_0$ and $κ_1$. The parameter $κ_0$ governs finite trapping effects, and $κ_1$ governs repeated traversals of arbitrarily large regions of the graph. We show that the walk is right-transie…
We estimate the heat kernel of the smooth open set for the isotropic unimodal pure-jump Lévy process with infinite Lévy measure and weakly scaling Lévy-Kchintchine exponent.
In this paper we explain how the notion of ''weak Dirichlet process'' is the suitable generalization of the one of semimartingale with jumps. For such a process we provide a unique decomposition which is new also for semimartingales: in particular we introduce ''characteristics'' for weak Dirichlet processes. We also introduce a weak concept (in law) of finite quadratic variation. We investigate a set of new useful chain rules and we discuss a general framework of (possibly path-dependent with jumps) martingale problems with a set of examples of SDEs with jumps driven by a distributional drift…
We establish transience criteria for symmetric non-local Dirichlet forms on $L^2({\mathbb R}^d)$ in terms of the coefficient growth rates at infinity. Applying these criteria, we find a necessary and sufficient condition for recurrence of Dirichlet forms of symmetric stable-like with unbounded/degenerate coefficients. This condition indicates that both of the coefficient growth rates of small and big jump parts affect the sample path properties of the associated symmetric jump processes.
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.
In this paper we consider a large class of symmetric Markov processes $X=(X_t)_{t\ge0}$ on $\R^d$ generated by non-local Dirichlet forms, which include jump processes with small jumps of $α$-stable-like type and with large jumps of super-exponential decay. Let $D\subset \R^d$ be an open (not necessarily bounded and connected) set, and $X^D=(X_t^D)_{t\ge0}$ be the killed process of $X$ on exiting $D$. We obtain explicit criterion for the compactness and the intrinsic ultracontractivity of the Dirichlet Markov semigroup $(P^{D}_t)_{t\ge0}$ of $X^D$. When $D$ is a horn-shaped region, we further o…
We study relations and characterizations of various elliptic Harnack inequalities for symmetric non-local Dirichlet forms on metric measure spaces. We allow the scaling function be state-dependent and the state space possibly disconnected. Stability of elliptic Harnack inequalities is established under certain regularity conditions and implication for a priori Hölder regularity of harmonic functions is explored. New equivalent statements for parabolic Harnack inequalities of non-local Dirichlet forms are obtained in terms of elliptic Harnack inequalities.
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.
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…
Perturbations of super Poincaré and weak Poincaré inequalities for Lévy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.
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 …
We give sufficient conditions for Mosco convergences for the following three cases: symmetric locally uniformly elliptic diffusions, symmetric Lévy processes, and symmetric jump processes in terms of the $L^1(\mathbb R;dx)$-local convergence of the (elliptic) coefficients, the characteristic exponents and the jump density functions,respectively. We stress that the global path properties of the corresponding Markov processes such as recurrence/transience, and conservativeness/explosion are not preserved under Mosco convergences and we give several examples where such situations indeed happen.
The studies of Ramírez, Hino-Ramírez, and Ariyoshi-Hino showed that an integrated version of Varadhan's asymptotics holds for Markovian semigroups associated with arbitrary strong local symmetric Dirichlet forms. In this paper, we consider non-symmetric bilinear forms that are the sum of strong local symmetric Dirichlet forms and lower-order perturbed terms. We give sufficient conditions for the associated semigroups to have asymptotics of the same type.
We consider a class of jump processes in euclidean space which are associated to a certain non-local symmetric Dirichlet form. We prove a lower bound on the occupation times of sets, and that a support theorem holds for these processes.
For $d\geq 2$, we establish the existence and uniqueness of heat kernels for a large class of time-dependent second order diffusion operator with jumps, which is the sum of time-dependent of a second order elliptic differential operators non-divergence form and a non-local $α$-stable-type operator with bounded time-dependent coefficient. Moreover, we obtain sharp two-sided estimates, gradient estimate and fractional derivative estimate for the heat kernels under some mild conditions. Our approach is mainly analytic but also uses some probabilistic techniques.
In this paper we study the transition densities for a large class of non-symmetric Markov processes whose jumping kernels decay exponentially or subexponentially. We obtain their upper bounds which also decay at the same rate as their jumping kernels. When the lower bounds of jumping kernels satisfy the weak upper scaling condition at zero, we also establish lower bounds for the transition densities, which are sharp.
We obtain the boundedness in $L^p$ spaces for all $1<p<\infty$ of the so-called vertical Littlewood--Paley functions for non-local Dirichlet forms in the metric measure space under some mild assumptions. For $1<p\le 2$, the pseudo-gradient is introduced to overcome the difficulty that chain rules are not available for non-local operators, and then the Mosco convergence is used to pave the way from the finite jumping kernel case to the general case, while for $2\le p<\infty$, the Burkholder--Davis--Gundy inequality is effectively applied. The former method is analytic and the latter one is prob…
In this paper we discuss weak convergence of continuous-time Markov chains to a non-symmetric pure jump process. We approach this problem using Dirichlet forms as well as semimartingales. As an application, we discuss how to approximate a given Markov process by Markov chains.
We give some relationships between the first Dirichlet eigenvalues and the exit time moments for the general symmetric Markov processes. As applications, we present some examples, including symmetric diffusions and $α$-stable processes, and provide the estimates of their first Dirichlet eigenvalues and the exit time moments.
This paper provides sharp Dirichlet heat kernel estimates in inner uniform domains, including bounded inner uniform domains, in the context of certain (possibly non-symmetric) bilinear forms resembling Dirichlet forms. For instance, the results apply to the Dirichlet heat kernel associated with a uniformly elliptic divergence form operator with symmetric second order part and bounded measurable coefficients in inner uniform domains in $\mathbb R^n$. The results are applicable to any convex domain, to the complement of any convex domain, and to more exotic examples such as the interior and exte…
Let $E$ be a locally compact separable metric space and $m$ be a positive Radon measure on it. Given a nonnegative function $k$ defined on $E\times E$ off the diagonal whose anti-symmetric part is assumed to be less singular than the symmetric part, we construct an associated regular lower bounded semi-Dirichlet form $η$ on $L^2(E;m)$ producing a Hunt process $X^0$ on $E$ whose jump behaviours are governed by $k$. For an arbitrary open subset $D\subset E$, we also construct a Hunt process $X^{D,0}$ on $D$ in an analogous manner. When $D$ is relatively compact, we show that $X^{D,0}$ is censore…
We show two-sided bounds of heat kernel for anisotropic non-singular symmetric pure jump Markov process whose jump kernel $J(x,y)$ is comparable to $\frac{{\bf 1}_{\mathcal{V}}(x-y)}{|x-y|^{d+α}}$, where $\mathcal{V}$ is a union of symmetric cones, $0<α<2$ and $x,y\in\mathbb{R}^d$.
The purpose of these notes is to clarify the duality between a natural class of jump processes on compact ultrametric spaces - studied in current work of Bendikov, Girgor'yan and Pittet - and nearest neighbour walks on trees. Processes of this type have appeared in recent work of Kigami. Every compact ultrametric space arises as the boundary of a locally finite tree. The duality arises via the Dirichlet forms: one on the tree associated with a random walk and the other on the boundary of the tree, which is given in terms of the Naïm kernel. Here, it is explained that up to a linear time change…
Nakao's stochastic integrals for continuous additive functionals of zero energy are extended from the symmetric Dirichlet forms setting to the non-symmetric Dirichlet forms setting. Ito's formula in terms of the extended stochastic integrals is obtained.
We consider symmetric processes of pure jump type. We prove local estimates on the probability of exiting balls, the Hölder continuity of harmonic functions and of heat kernels, and convergence of a sequence of such processes.
In this paper we give general criteria on tightness and weak convergence of discrete Markov chains to symmetric jump processes on metric measure spaces under mild conditions. As an application, we investigate discrete approximation for a large class of symmetric jump processes. We also discuss some application of our results to the scaling limit of random walk in random conductance.
Sufficient conditions for a symmetric jump-diffusion process to be conservative and recurrent are given in terms of the volume of the state space and the jump kernel of the process. A number of examples are presented to illustrate the optimality of these conditions; in particular, the situation is allowed to be that the state space is topologically disconnected but the particles can jump from a connected component to the other components.
We obtain explicit criteria for both exponential ergodicity and strong ergodicity for one-dimensional time-changed symmetric stable processes with $α\in(1,2)$. Explicit lower bounds for ergodic convergence rates are given.
Based on two-sided heat kernel estimates for a class of symmetric jump processes on metric measure spaces, the laws of the iterated logarithm (LILs) for sample paths, local times and ranges are established. In particular, the LILs are obtained for $β$-stable-like processes on $α$-sets with $β>0$.
We determine the decay rate of the bottom crossing probability for symmetric jump processes under the condition on heat kernel estimates. Our results are applicable to symmetric stable-like processes and stable-subordinated diffusion processes on a class of (unbounded) fractals and fractal-like spaces.
In this paper, we shall consider the killing transform induced by a multiplicative functional on regular Dirichlet subspaces of a fixed Dirichlet form. Roughly speaking, a regular Dirichlet subspace is a closed subspace with Dirichlet and regular properties of fixed Dirichlet space. By using the killing transforms, our main results indicate that the big jump part of fixed Dirichlet form is not essential for discussing its regular Dirichlet subspaces. This fact is very similar to the status of killing measure when we consider the questions about regular Dirichlet subspaces in [6].
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 study the transition densities of pure-jump symmetric Markov processes in $ {\mathbb R}^d$, whose jumping kernels are comparable to radially symmetric functions with mixed polynomial growths. Under some mild assumptions on their scale functions, we establish sharp two-sided estimates of transition densities (heat kernel estimates) for such processes. This is the first study on global heat kernel estimates of jump processes (including non-Lévy processes) whose weak scaling index is not necessarily strictly less than 2. As an application, we proved that the finite second moment…
In this paper, we consider symmetric $α$-stable processes on (unbounded) horn-shaped regions which are non-uniformly $C^{1,1}$ near infinity. By using probabilistic approaches extensively, we establish two-sided Dirichlet heat estimates of such processes for all time. The estimates are very sensitive with respect to the reference function corresponding to each horn-shaped region. Our results also cover the case that the associated Dirichlet semigroup is not intrinsically ultracontractive. A striking observation from our estimates is that, even when the associated Dirichlet semigroup is intrins…
In this paper, we derive explicit sharp two-sided estimates for the Dirichlet heat kernels of a large class of symmetric (but not necessarily rotationally symmetric) Lévy processes on half spaces for all $t>0$. These Lévy processes may or may not have Gaussian component. When Lévy density is comparable to a decreasing function with damping exponent $β$,our estimate is explicit in terms of the distance to the boundary, the Lévy exponent and the damping exponent $β$ of Lévy density.
In this paper, we consider symmetric jump processes of mixed-type on metric measure spaces under general volume doubling condition, and establish stability of two-sided heat kernel estimates and heat kernel upper bounds. We obtain their stable equivalent characterizations in terms of the jumping kernels, variants of cut-off Sobolev inequalities, and the Faber-Krahn inequalities. In particular, we establish stability of heat kernel estimates for $α$-stable-like processes even with $α\ge 2$ when the underlying spaces have walk dimensions larger than $2$, which has been one of the major open prob…
