In this paper, we discuss relationships between the continuous embeddings of Dirichlet spaces $(\mathcal{F}, \mathcal{E}_1)$ into Lebesgue spaces and the integrability of the associated resolvent kernel $r_α(x, y)$. For a positive measure $μ$, we consider the following two properties; the first one is that the Dirichlet space $(\mathcal{F}, \mathcal{E}_1)$ is continuously embedded into $L^{2p}(E;μ)$ (which we write as (Sob)$_p$), and the second one is that the family of 1-order resolvent kernels $\{r_1(x, y)\}_{x\in E}$ is uniformly $p$-th integrable in $y$ with respect to the measure $μ$ (which we write as (Dyn)$_p$). Under some assumptions, for a measure $μ$ satisfying (Dyn)$_1$, we prove (Dyn)$_{p'}$ implies (Sob)$_p$ for $1\leq p \leq p'<\infty$, and prove (Sob)$_{p'}$ implies (Dyn)$_p$ for $1\leq p < p'<\infty$. To prove these results we introduce $L^p$-Kato class, an $L^p$-version of the set of Kato class measures, and discuss its properties. We also give variants of such relations corresponding to the Gagliardo-Nirenberg type interpolation inequalities. As an application, we discuss the continuity of intersection measures in time.
In this paper, we introduce the notion of $L^p$-Green-tight measures of $L^p$-Kato class in the framework of symmetric Markov processes. The class of $L^p$-Green-tight measures of $L^p$-Kato class is defined by the $p$-th power of resolvent kernels. We first prove that under the $L^p$-Green tightness of the measure $μ$, the embedding of extended Dirichlet space into $L^{2p}(E;μ)$ is compact under the absolute continuity condition for transient Markov processes, which is an extension of recent seminal work by Takeda. Secondly, we prove the coincidence between two classes of $L^p$-Green-tightnes…
We construct and analyze the Jacobi process - in mathematical biology referred to as Wright-Fisher diffusion - using a Dirichlet form. The corresponding Dirichlet space takes the form of a Sobolev space with different weights for the function itself and its derivative. Depending on the parameters we characterize the boundary behavior of the functions in the Dirichlet space, show density results, derive Sobolev embeddings and verify functional inequalities of Hardy type. Since the generator is a hypergeometric differential operator, many of the proofs can be carried out by explicit calculations…
We extensively discuss the Rademacher and Sobolev-to-Lipschitz properties for generalized intrinsic distances on strongly local Dirichlet spaces possibly without square field operator. We present many non-smooth and infinite-dimensional examples. As an application, we prove the integral Varadhan short-time asymptotic with respect to a given distance function for a large class of strongly 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, …
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.
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.
Let $κ\in \mathbb{N}_+^\ell$ satisfy $κ_1 + \dots + κ_\ell = n$ and let $\mathcal{U}_κ$ denote the "multislice" of all strings $u$ in $[\ell]^n$ having exactly $κ_i$ coordinates equal to $i$, for all $i \in [\ell]$. Consider the Markov chain on $\mathcal{U}_κ$, where a step is a random transposition of two coordinates of $u$. We show that the log-Sobolev constant $ρ_κ$ for the chain satisfies $$(ρ_κ)^{-1} \leq n \sum_{i=1}^{\ell} \tfrac{1}{2} \log_2(4n/κ_i),$$ which is sharp up to constants whenever $\ell$ is constant. From this, we derive some consequences for small-set expansion and isoperim…
With a view towards Riemannian or sub-Riemannian manifolds, RCD metric spaces and specially fractals, this paper makes a step further in the development of a theory of heat semigroup based $(1,p)$ Sobolev spaces in the general framework of Dirichlet spaces. Under suitable assumptions that are verified in a variety of settings, the tools developed by D. Bakry, T. Coulhon, M. Ledoux and L. Saloff-Coste in the paper "Sobolev inequalities in disguise" allow us to obtain the whole family of Gagliardo-Nirenberg and Trudinger-Moser inequalities with optimal exponents. The latter depend not only on th…
We show that for a hypoelliptic Dirichlet form operator A on a stratified complex Lie group, if the logarithmic Sobolev inequality holds, then a holomorphic projection of A is strongly hypercontractive in the sense of Janson. This extends previous results of Gross to a setting in which the operator A is not holomorphic.
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…
We study $L^p$ Besov critical exponents and isoperimetric and Sobolev inequalities associated with fractional Laplacians on metric measure spaces. The main tool is the theory of heat semigroup based Besov classes in Dirichlet spaces that was introduced by the authors in previous works.
We consider the Sobolev space over $\mathbb{R}^d$ of square integrable functions whose gradient is also square integrable with respect to some positive weight. Tt is well known that smooth functions are dense in the weighted Sobolev space when the weight is uniformly bounded from below and above. This may not be the case when the weight is unbounded. In this paper, we focus on a class of two dimensional weights where the density of smooth functions does not hold. This class was originally introduced by V.V. Zhikov; such weights have a unique singularity point of non-zero capacity. Following V.…
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…
