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 problems in this area.
We apply the Davies method to give a quick proof for upper estimate of the heat kernel for the non-local Dirichlet form on the ultra-metric space. The key observation is that the heat kernel of the truncated Dirichlet form vanishes when two spatial points are separated by any ball of radius larger than the truncated range. This new phenomenon arises from the ultra-metric property of the space.
We give a direct proof of the sharp two-sided estimates, recently established in [4,9], for the Dirichlet heat kernel of the fractional Laplacian with gradient perturbation in $C^{1, 1}$ open sets by using Duhamel formula. We also obtain a gradient estimate for the Dirichlet heat kernel. Our assumption on the open set is slightly weaker in that we only require $D$ to be $C^{1,θ}$ for some $θ\in (α/2, 1]$.
We introduce the class of bounded variation (BV) functions in a general framework of strictly local Dirichlet spaces with doubling measure. Under the 2-Poincaré inequality and a weak Bakry-Émery curvature type condition, this BV class is identified with the heat semigroup based Besov class $\mathbf{B}^{1,1/2}(X)$ that was introduced in our previous paper. Assuming furthermore a quasi Bakry-Émery curvature type condition, we identify the Sobolev class $W^{1,p}(X)$ with $\mathbf{B}^{p,1/2}(X)$ for $p>1$. Consequences of those identifications in terms of isoperimetric and Sobolev inequalities wit…
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 discuss non-local operators with killing potentials, which may not be in the standard Kato class. We first discuss factorization of their Dirichlet heat kernels in metric measure spaces. Then we establish explicit estimates of the Dirichlet heat kernels under critical killings in $C^{1,1}$ open subsets of $\mathbb{R}^d$ or in $\mathbb{R}^d\setminus\{0\}$. The decay rates of our explicit estimates come from the values of the multiplicative constants in the killing potentials. Our method also provides an alternative and unified proof of the main results of \cite{CKS10a, CKS10b, …
In this paper, we prove the existence of martingale solutions to the stochastic heat equation taking values in a Riemannian manifold, which admits Wiener (Brownian bridge) measure on the Riemannian path (loop) space as an invariant measure using a suitable Dirichlet form. Using the Andersson-Driver approximation, we heuristically derive a form of the equation solved by the process given by the Dirichlet form. Moreover, we establish the log-Sobolev inequality for the Dirichlet form in the path space. In addition, some characterizations for the lower bounds of the Ricci curvature are presented r…
We provide general lower and upper bounds for Laplace Dirichlet heat kernel of convex $\mathcal C^{1,1}$ domains. The obtained estimates precisely describe the exponential behaviour of the kernels, which has been known only in a few special cases so far. Furthermore, we characterize a class of sets for which the estimates are sharp, i.e. the upper and lower bounds coincide up to a multiplicative constant. In particular, this includes sets of the form $\{x\in \R^n: x_n>a|(x_1,...,x_{n-1})|^p\}$ where $p\geq2$, $n\geq2 $ and $a>0$.
We study theoretically, for the first time, the Dirichlet kernel estimator introduced by Aitchison and Lauder (1985) for the estimation of multivariate densities supported on the $d$-dimensional simplex. The simplex is an important case as it is the natural domain of compositional data and has been neglected in the literature on asymmetric kernels. The Dirichlet kernel estimator, which generalizes the (non-modified) unidimensional Beta kernel estimator from Chen (1999), is free of boundary bias and non-negative everywhere on the simplex. We show that it achieves the optimal convergence rate $O…
By a probabilistic method we provide an explicit fundamental solution of the Cauchy problem associated to the heat equation on the half-line with constant drift and Dirichlet boundary condition at zero.
This paper aims at proving the local boundedness and continuity of solutions of the heat equation in the context of Dirichlet spaces under some rather weak additional assumptions. We consider symmetric local regular Dirichlet forms which satisfy mild assumptions concerning (a) the existence of cut-off functions, (b) a local ultracontractivity hypothesis, and (c) a weak off-diagonal upper bound. In this setting, local weak solutions of the heat equation, and their time derivatives, are shown to be locally bounded; they are further locally continuous, if the semigroup admits a locally continuous…
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 study the time regularity of local weak solutions of the heat equation in the context of local regular symmetric Dirichlet spaces. Under two basic and rather minimal assumptions, namely, the existence of certain cut-off functions and a very weak $L^2$ Gaussian type upper-bound for the heat semigroup, we prove that the time derivatives of a local weak solution of the heat equation are themselves local weak solutions. This applies, for instance, to local weak solutions of parabolic equations with uniformly elliptic symmetric divergence form second order operators with measurable coefficients.…
We introduce heat semigroup-based Besov classes in the general framework of Dirichlet spaces. General properties of those classes are studied and quantitative regularization estimates for the heat semigroup in this scale of spaces are obtained. As a highlight of the paper, we obtain a far reaching $L^p$-analogue, $p \ge 1$, of the Sobolev inequality that was proved for $p=2$ by N. Varopoulos under the assumption of ultracontractivity for the heat semigroup. The case $p=1$ is of special interest since it yields isoperimetric type inequalities.
We consider a large class of symmetric pure jump Markov processes dominated by isotropic unimodal Lévy processes with weak scaling conditions. First, we establish sharp two-sided heat kernel estimates for these processes in $C^{1,1}$ open sets. As corollaries of our main results, we obtain sharp two-sided Green function estimates and a scale invariant boundary Harnack inequality with explicit decay rates in $C^{1,1}$ open sets.
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…
We prove tightness of a family of path measures $ν_{\varepsilon}$ on tubes $L(\varepsilon)$ of small diameters around a closed and connected submanifold $L$ of another Riemannian manifold $M$. Together with a convergence result for Dirichlet semigroups on tubular neighbourhoods, that implies weak convergence of the measures as the tube radius $\varepsilon$ tends to zero to a measure supported by the path space of the submanifold. As a consequence, we obtain weak convergence of the measures obtained by conditioning Brownian motion to stay within the tubes $L(\varepsilon)$ up to a finite time $T…
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…
In this paper, we discuss estimates of transition densities of subordinate Brownian motions in open subsets of Euclidean space. When $D$ is a $C^{1,1}$ domain, we establish sharp two-sided estimates for the transition densities of a large class of subordinate Brownian motions in $D$ whose scaling order is not necessarily strictly below $2$. Our estimates are explicit and written in terms of the dimension, the Euclidean distance between two points, the distance to the boundary and Laplace exponent of the corresponding subordinator only.
With a view toward fractal spaces, by using a Korevaar-Schoen space approach, we introduce the class of bounded variation (BV) functions in a general framework of strongly local Dirichlet spaces with a heat kernel satisfying sub-Gaussian estimates. Under a weak Bakry-Émery curvature type condition, which is new in this setting, this BV class is identified with a heat semigroup based Besov class. As a consequence of this identification, properties of BV functions and associated BV measures are studied in detail. In particular, we prove co-area formulas, global $L^1$ Sobolev embeddings and isope…
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…
This paper considers the asymptotic behavior in $β$-Hölder spaces, and under $L^p$ losses, of a Dirichlet kernel density estimator proposed by Aitchison and Lauder (1985) for the analysis of compositional data. In recent work, Ouimet and Tolosana-Delgado (2022) established the uniform strong consistency and asymptotic normality of this estimator. As a complement, it is shown here that the Aitchison-Lauder estimator can achieve the minimax rate asymptotically for a suitable choice of bandwidth whenever $(p,β) \in [1, 3) \times (0, 2]$ or $(p, β) \in \mathcal{A}_d$, where $\mathcal{A}_d$ is a sp…
We consider sub-Laplacians in open bounded sets in a homogeneous Carnot group and study their spectral properties. We prove that these operators have a pure point spectrum, and prove the existence of the spectral gap. In addition, we give applications to the small ball problem for a hypoelliptic Brownian motion and the large time behavior of the heat content in a regular domain.
In [4], it is proved that we can have a continuous first-passage-time density function of one dimensional standard Brownian motion when the boundary is Hölder continuous with exponent greater than 1/2. For the purpose of extending [4] into multidimensional domains, we show that there exists a continuous first-passage-time density function of standard $d$-dimensional Brownian motion in moving boundaries in $\mathbb{R}^{d}$, $d\geq 2$, under a $C^{3}$-diffeomorphism. Similarly as in [4], by using a property of local time of standard $d$-dimensional Brownian motion and the heat equation with Diri…
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.
Let $X=(X_1,X_2,\ldots)$ be a sequence of random variables with values in a standard space $(S,\mathcal{B})$. Suppose \begin{gather*} X_1\simν\quad\text{and}\quad P\bigl(X_{n+1}\in\cdot\mid X_1,\ldots,X_n\bigr)=\frac{θν(\cdot)+\sum_{i=1}^nK(X_i)(\cdot)}{n+θ}\quad\quad\text{a.s.} \end{gather*} where $θ>0$ is a constant, $ν$ a probability measure on $\mathcal{B}$, and $K$ a random probability measure on $\mathcal{B}$. Then, $X$ is exchangeable whenever $K$ is a regular conditional distribution for $ν$ given any sub-$σ$-field of $\mathcal{B}$. Under this assumption, $X$ enjoys all the main proper…
This article investigates the heat kernel of the two-dimensional uniform spanning tree. We improve previous work by demonstrating the occurrence of log-logarithmic fluctuations around the leading order polynomial behaviour for the on-diagonal part of the quenched heat kernel. In addition we give two-sided estimates for the averaged heat kernel, and we show that the exponents that appear in the off-diagonal parts of the quenched and averaged versions of the heat kernel differ. Finally, we derive various scaling limits for the heat kernel, the implications of which include enabling us to sharpen…
