Abstract
A domain is called Kac regular for a quadratic form on \(L^2\) if every functions vanishing almost everywhere outside the domain can be approximated in form norm by functions with compact support in the domain. It is shown that this notion is stable under domination of quadratic forms. As applications measure perturbations of quasi-regular Dirichlet forms, Cheeger energies on metric measure spaces and Schrödinger operators on manifolds are studied. Along the way a characterization of the Sobolev space with Dirichlet boundary conditions on domains in infinitesimally Riemannian metric measure spaces is obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Following Stroock, a domain \(\varOmega \subset \mathbb {R}^n\) is called Kac regular if the first exit time of the Brownian motion from \(\varOmega\) equals the first penetration time of the Brownian motion to \(\varOmega ^c\). In analytic terms, Kac regularity has been proven by Herbst and Zhao [9] to be equivalent to the property that every \(u\in W^{1,2}(\mathbb {R}^n)\) with \(u=0\) a.e. on \(\varOmega ^c\) can be approximated in \(W^{1,2}\)-norm by elements of \(C_c^\infty (\varOmega )\). As expected, this property very much depends on the regularity of the boundary of \(\varOmega\).
The above mentioned characterization of Kac regularity in terms of an approximation property allows to extend the definition of Kac regularity to open subsets of a sufficiently regular topological space with a Borel measure. The \(W^{1,2}\)-norm in the original definition is replaced by the norm induced by a closed quadratic form on (possibly vector-valued) \(L^2\)-functions, and the notion of Kac regularity depends on the choice of the quadratic form.
In this respect, it has been shown by Bei and Güneysu in [4] that an open subset of a Riemannian manifold X with its volume measure m is Kac regular for the canonical Dirichlet form on X induced by the scalar Laplace–Beltrami operator if and only if it is Kac regular for every reasonable semibounded quadratic form on \(L^2(X, m;E)\) which is induced by a covariant Schrödinger operator of the form \(\nabla ^*\nabla +V\) on a Hermitian vector bundle E over X, where the potential V need not be semibounded. The aim of this article is to show that for positive perturbations V (allowing certain measure perturbations), this stability result can be understood in terms of domination of quadratic forms, thereby allowing much more general spaces than Riemannian manifolds.
In [4], the results are derived using deep techniques from stochastic analysis, in particular Feynman–Kac formulae and stochastic parallel transport. In contrast, our approach is purely functional analytical, drawing on the result of a joint article with Lenz and Schmidt [10], and works in the setting of (quasi-regular) Dirichlet forms so that it can readily be applied not only to quadratic forms on Riemannian manifolds, but also on (infinitesimally Riemannian) metric measure spaces. In this context we also give a characterization of the Sobolev space with Dirichlet boundary conditions on domains in infinitesimally Riemannian metric measure spaces, which might be of independent interest.
This article is structured as follows: In Sect. 1 we introduce the notion of Kac regularity with respect to quadratic forms on \(L^2\)-spaces and prove the abstract stability result under domination of quadratic forms (Theorem 1). In Sect. 2 we study Kac regular domains for quasi-regular Dirichlet forms, collect several equivalent definitions of the form domain with Dirichlet boundary conditions and prove that Theorem 1 implies the stability of Kac regularity under measure perturbations (Theorem 2). In Sect. 3 we apply the results of Sect. 2 to the Cheeger energy on infinitesimally Riemannian metric measure spaces (Theorems 3, 4). Finally, in Sect. 4 we show how the stability result of [4] fits into our framework (Theorem ).
2 Kac regular domains for quadratic forms
In this section, we introduce the concept of Kac regular domains for quadratic forms and prove an abstract stability theorem under domination. For simplicity’s sake, all quadratic forms in this article are assumed to be non-negative. The generalization to the case of lower bounded forms is straightforward.
Let X be a Lindelöf topological space (every open cover has a countable subcover), m a Borel measure on X and \(E\longrightarrow X\) a Hermitian vector bundle (see, e.g., §2 of [13], where the term Euclidean vector bundle is used). In particular, each fiber \(E_x\) is a finite-dimensional Hilbert space with inner product \(\langle \,\cdot \,,\cdot \,\rangle _x\) and induced norm \(|\cdot |_x\).
A (positive) quadratic form on a Hilbert space H is a map \(\mathfrak {a}:H\longrightarrow [0,\infty ]\) satisfying
-
\(\mathfrak {a}(u+v)+\mathfrak {a}(u-v)=2\mathfrak {a}(u)+2\mathfrak {a}(v)\) for all \(u,v\in H\),
-
\(\mathfrak {a}(\lambda u)=|\lambda |^2\mathfrak {a}(u)\) for all \(\lambda \in \mathbb {R}\), \(u\in H\).
Its domain is \(D(\mathfrak {a})=\{u\in H\mid \mathfrak {a}(u)<\infty \}\). Via polarization, every quadratic form induces a bilinear form on \(D(\mathfrak {a})\), which shall be denoted by the same symbol.
A quadratic form \(\mathfrak {a}\) is called closed if \(D(\mathfrak {a})\) is complete with respect to the form norm
Let \(\mathfrak {a}\) be a closed quadratic form on \(L^2(X,m;E)\). For an open subset \(\varOmega\) of X denote by \(D(\mathfrak {a}_\varOmega )\) the \(\Vert \cdot \Vert _\mathfrak {a}\)-closure of the set of all \(\varPhi \in D(\mathfrak {a})\), such that \(\operatorname {supp}\, \varPhi\) is compact and contained in \(\varOmega\). Here, \(\operatorname {supp}\, \varPhi\) is understood as the support of the measure \(|\varPhi |m\). Further let \(\mathfrak {a}_\varOmega\) be the restriction of \(\mathfrak {a}\) to \(D(\mathfrak {a}_\varOmega )\).
Moreover, let \(D({\tilde{\mathfrak {a}}}_\varOmega )=\{\varPhi \in D(\mathfrak {a})\mid \varPhi =0\text { a.e. on }\varOmega ^c\}\) and denote by \({\tilde{\mathfrak {a}}}_\varOmega\) the restriction of \(\mathfrak {a}\) to \(D({\tilde{\mathfrak {a}}}_\varOmega )\).
Lemma 1
The space \(D({\tilde{\mathfrak {a}}}_\varOmega )\) is closed in \(D(\mathfrak {a})\).
Proof
This follows immediately from the fact that every \(\Vert \cdot \Vert _\mathfrak {a}\)-convergent sequences also converges in \(L^2\) and hence has an a.e. convergent subsequence. \(\square\)
In the light of this lemma, one clearly has \(D(\mathfrak {a}_\varOmega )\subset D({\tilde{\mathfrak {a}}}_\varOmega )\). We will study domains where also the reverse inclusion holds.
Definition 1
The set \(\varOmega\) is called Kac regular for \(\mathfrak {a}\) if \(D(\mathfrak {a}_\varOmega )=D({\tilde{\mathfrak {a}}}_\varOmega )\).
Now let us turn to domination of quadratic forms (see [12, 14]). A closed quadratic form \(\mathfrak {b}\) on \(L^2(X,m)\) satisfies the first Beurling–Deny criterion if \(u\in D(\mathfrak {b})\) implies \(|u|\in D(\mathfrak {b})\) and \(\mathfrak {b}(|u|)\le \mathfrak {b}(u)\).
Lemma 2
If \(\mathfrak {b}\) satisfies the first Beurling–Deny criterion and \(\varOmega \subset X\) is open, then \(\mathfrak {b}_\varOmega\) and \({\tilde{\mathfrak {b}}}_\varOmega\) also satisfy the first Beurling–Deny criterion.
Proof
In both cases it suffices to show that the domain is stable under taking absolute values. In the case of \(\tilde{b}_\varOmega\) this is clear.
To see this for \(\mathfrak {b}_\varOmega\), let \(u\in D(\mathfrak {b}_\varOmega )\) and \((u_n)\) a sequence in \(D(\mathfrak {b})\) with \(\operatorname {supp}\, u_n\) compact and contained in X and \(u_n\rightarrow u\) in form norm. Then, \(|u_n|\) still has compact support contained in \(\varOmega\), \(|u_n|\rightarrow |u|\) in \(L^2(X,m)\), and \(\Vert \,|u_n|\,\Vert _\mathfrak {b}\le \Vert u_n\Vert _\mathfrak {b}\). Thus, \((|u_n|)\) has a subsequence converging weakly to \(|u|\) in form norm. By the Banach–Saks theorem there is a sequence of finite convex combinations of elements of \((|u_n|)\) that converges to \(|u|\) w.r.t. \(\Vert \cdot \Vert _\mathfrak {b}\). Hence, \(|u|\in D(\mathfrak {b}_\varOmega )\). \(\square\)
The closed quadratic form \(\mathfrak {a}\) on \(L^2(X,m;E)\) is said to be dominated by \(\mathfrak {b}\) if \(\mathfrak {b}\) satisfies the first Beurling–Deny criterion and for all \(\varPhi \in D(\mathfrak {a})\) and \(v\in D(\mathfrak {b})\) with \(0\le v\le |\varPhi |\) one has \(|\varPhi |\in D(\mathfrak {b})\), \(v \,\mathrm{sgn}\, \varPhi \in D(\mathfrak {a})\) and
Here \(\mathrm{sgn}\,\varPhi (x)=\varPhi (x)/|\varPhi (x)|_x\) whenever \(\varPhi (x)\ne 0\) (the value in the case \(\varPhi (x)=0\) is obviously irrelevant for the preceding definition).
Let A and B be the positive self-adjoint operators associated with \(\mathfrak {a}\) and \(\mathfrak {b}\), respectively. Domination of quadratic forms has the following nice characterization in terms of the associated semigroups ([12], Theorem 4.1): The form \(\mathfrak {a}\) is dominated by \(\mathfrak {b}\) if and only if
for all \(t\ge 0\) and \(\varPhi \in L^2(X,m;E)\).
We will later use the following two facts: A closed quadratic form \(\mathfrak {b}\) that satisfies the first Beurling–Deny criterion is dominated by itself (see [14], Proposition 3.2) and the domain \(D(\mathfrak {b})\) is a lattice, that is, \(u,v\in D(\mathfrak {b})\) implies \(u\wedge v\), \(u\vee v\in D(\mathfrak {b})\). The latter is immediate from the formulas
Lemma 3
Let \(\mathfrak {a}\) be a closed quadratic form on \(L^2(X,m;E)\), \(\mathfrak {b}\) a closed quadratic form on \(L^2(X,m)\) and \(\varOmega \subset X\) open. If \(\mathfrak {a}\) is dominated by \(\mathfrak {b}\), then \(\mathfrak {a}_\varOmega\) is dominated by \(\mathfrak {b}_\varOmega\) and \({\tilde{\mathfrak {a}}}_\varOmega\) is dominated by \({\tilde{\mathfrak {b}}}_\varOmega\).
Proof
If \(\varPhi \in D({\tilde{\mathfrak {b}}}_\varOmega )\) and \(v\in D({\tilde{\mathfrak {a}}}_\varOmega )\) with \(0\le v\le |\varPhi |\), then \(v \,\mathrm{sgn}\, \varPhi \in D(\mathfrak {a})\) and \(|\varPhi |\in D(\mathfrak {b})\), since \(\mathfrak {a}\) is dominated by \(\mathfrak {b}\). Moreover, \(|\varPhi |\) and \(v \,\mathrm{sgn}\, \varPhi\) vanish a.e. on \(\varOmega ^c\) by definiton of \(D({\tilde{\mathfrak {a}}}_\varOmega )\) and \(D({\tilde{\mathfrak {b}}}_\varOmega )\). Thus, \(|\varPhi |\in D({\tilde{\mathfrak {b}}}_\varOmega )\) and \(v \,\mathrm{sgn}\,\varPhi \in D({\tilde{\mathfrak {a}}}_\varOmega )\). The inequality between \({\tilde{\mathfrak {a}}}_\varOmega\) and \({\tilde{\mathfrak {b}}}_\varOmega\) follows directly by restriction. The proof for \(\mathfrak {a}_\varOmega\), \(\mathfrak {b}_\varOmega\) is analogous. \(\square\)
Theorem 1
Let \(\mathfrak {a}\) be a closed quadratic form on \(L^2(X,m;E)\), \(\mathfrak {b}\) a closed quadratic form on \(L^2(X,m)\) and \(\varOmega \subset X\) open. If \(\mathfrak {a}\) is dominated by \(\mathfrak {b}\) and \(\varOmega\) is Kac regular for \(\mathfrak {b}\), then it is Kac regular for \(\mathfrak {a}\).
Proof
By Lemma 3, the form \({\tilde{\mathfrak {a}}}_\varOmega\) is dominated by \({\tilde{\mathfrak {b}}}_\varOmega\). Let \(D_\mathfrak {a}\) and \(D_\mathfrak {b}\) be the set of all elements of \(D(\mathfrak {a})\) and \(D(\mathfrak {b})\), respectively, with compact support in \(\varOmega\). By assumption, \(D_\mathfrak {b}\) is dense in \(D({\tilde{\mathfrak {b}}}_\varOmega )\).
In general, \(D({\tilde{\mathfrak {b}}}_\varOmega )\) will of course not be densely defined in \(L^2(X,m)\). However, since \(D({\tilde{\mathfrak {b}}}_\varOmega )\) is a lattice, its closure in \(L^2(X,m)\) is order isometric to an \(L^2\)-space ([15], Corollary 2.4), so we can view \({\tilde{\mathfrak {a}}}_\varOmega\) and \({\tilde{\mathfrak {b}}}_\varOmega\) as densely defined forms in the closures of their respective domains. Then, Theorem 2.3 from [10] (see also Corollary 2.4) is applicable and implies that \(D_\mathfrak {a}\) is dense in \(D({\tilde{\mathfrak {a}}}_\varOmega )\). Hence, \(\varOmega\) is Kac regular for \(\mathfrak {a}.\) \(\square\)
3 Quasi-regular Dirichlet forms
In this section, we give a characterization of \(D(\mathcal {E}_\varOmega )\) that is better suited for applications in the case when \(\mathcal {E}\) is a quasi-regular Dirichlet form and discuss an application of Theorem 1 to measure perturbations of Dirichlet forms.
The definition of quasi-regular Dirichlet forms along with all necessary properties can be found in [11]. At this point let us just mention that every Dirichlet form satisfies the first Beurling–Deny criterion and is thus dominated by itself.
Further let us recall some standard terminology. Let X be a Hausdorff space, m a \(\sigma\)-finite Borel measure on X of full support, and \(\mathcal {E}\) a quasi-regular Dirichlet form on \(L^2(X,m)\). An ascending sequence \((F_k)\) of closed subsets of X is called nest if \(\bigcup _k D(\mathcal {E})_{F_k}\) is dense in \(\mathcal {E}\). A Borel set \(B\subset X\) is called exceptional if \(B\subset \bigcap _k F_k^c\) for some nest \((F_k)\). A property is said to hold quasi-everywhere, abbreviated q.e., if it holds outside an exceptional set. A function u on X is called quasi-continuous if there exists a nest \((F_k)\), such that \(u|_{F_k}\) is continuous for all \(k\in \mathbb {N}\). Every element u of the domain of a quasi-regular Dirichlet form has a quasi-continuous m-version, uniquely determined up to equality q. e. We will denote it by \(\tilde{u}\).
For a Borel set \(B\subset X\) let
Alternatively, \(D(\mathcal {E})_B\) can be characterized as the closure of all functions with compact support in B, as the following lemma ([17], Lemma 2.7) shows.
Lemma 4
For every Borel set \(B\subset X\) there exists an ascending sequence \((F_k)\) of compact subsets of B, such that \(\bigcup _k D(\mathcal {E})_{F_k}\) is \(\Vert \cdot \Vert _\mathcal {E}\)-dense in \(D(\mathcal {E})_B\).
Corollary 1
If \(\varOmega \subset X\) is open, then \(D(\mathcal {E}_\varOmega )=D(\mathcal {E})_\varOmega\).
Note that in this situation, \(\mathcal {E}_\varOmega\) is again a quasi-regular Dirichlet form ([17], Lemma 2.12).
In many cases it is more customary to define the Sobolev space with Dirichlet boundary conditions not as the closure of all compactly supported functions in the domain, but as the closure of a certain subset (for example continuous functions or smooth ones). The following definition gives a general setup for these situations.
Definition 2
A subalgebra \(\mathcal {C}\) of \(D(\mathcal {E})\cap C_b(X)\) is called generalized special standard core if
-
\(\mathcal {C}\) is dense in \(D(\mathcal {E})\) with respect to the form norm,
-
for every \(\epsilon >0\) there exists an increasing 1-Lipschitz function \(C_\epsilon :\mathbb {R}\rightarrow \mathbb {R}\), such that \(-\epsilon \le C_\epsilon \le 1+\epsilon\), \(C(t)=t\) for \(t\in [0,1]\) and \(C_\epsilon \circ u\in \mathcal {C}\) for all \(u\in \mathcal {C}\),
-
for every compact \(K\subset X\) and every open \(G\subset X\) with \(K\subset G\) there exists \(u\in \mathcal {C}\), such that \(u\ge 0\), \(u|_K=1\) and \(\operatorname {supp}\, u\subset G\).
As the name suggests, this concept generalizes special standard cores in the regular setting (see [6], Sect. 1.1). In particular, if \(\mathcal {E}\) is a regular Dirichlet form, then \(D(\mathcal {E})\cap C_c(X)\) is a special standard core. More examples will be discussed in the following sections.
The crucial property of generalized special standard cores for our purpose is that their density in the form domain can be localized in the sense of the following lemma (cf. Lemma 2.3.4 in [6] in the case of special standard cores).
Lemma 5
If \(\mathcal {C}\) is a generalized special standard core, then \(\{u\in \mathcal {C}\mid \operatorname {supp}\, u\subset \varOmega \}\) is \(\Vert \cdot \Vert _\mathcal {E}\)-dense in \(D(\mathcal {E}_\varOmega )\).
Proof
We have to show that every function \(u\in D(\mathcal {E}_\varOmega )\) can be approximated in \((D(\mathcal {E}),\langle \cdot ,\cdot \rangle _\mathcal {E})\) by elements from \(\mathcal {C}\) with support in \(\varOmega\). By Lemma 4 we can assume that u has compact support in \(\varOmega\), and by a standard approximation argument we may further assume that \(0\le u\le 1\).
Denote the support of u by K. By the definition of generalized special standard core, there exists \(w\in \mathcal {C}\), such that \(w\ge 0\), \(w|_K=1\) and \({\text {supp}}\, w\subset \varOmega\) and a sequence \((v_n)\) in \(\mathcal {C}\), such that \(v_n\rightarrow u\) w.r.t. \(\Vert \cdot \Vert _\mathcal {E}\). Moreover, let \(C_\epsilon\) be a bounded 1-Lipschitz function as in Definition 2 for some \(\epsilon >0\).
Let \(u_n=(C_\epsilon \circ v_n)\cdot w\). By definition of a generalized special standard core, we have \(u_n\in \mathcal {C}\), and clearly \(\operatorname {supp}\, u_n\subset \varOmega\). Furthermore
and
Thus \((u_n)\) has a subsequence converging weakly in \((D(\mathcal {E}),\langle \cdot ,\cdot \rangle _\mathcal {E})\) to u. By the Banach–Saks theorem there is a sequence of finite convex combinations of elements of \((u_n)\) that converges to u w.r.t. \(\Vert \cdot \Vert _\mathcal {E}\). \(\square\)
Next, we study a class of perturbations of quasi-regular Dirichlet forms that are dominated by the original form.
A positive Borel measure \(\mu\) on X is called smooth if \(\mu (B)=0\) for every exceptional set B and there exists a nest \((F_k)\) of compact sets, such that \(\mu (F_k)<\infty\) for all \(k\in {\mathbb {N}}\).
If \(\mu\) is a smooth measure, define the quadratic form \(\mathcal {E}^\mu\) by
The form \(\mathcal {E}^\mu\) is again a quasi-regular Dirichlet form ([17], Proposition 2.3).
Lemma 6
The form \(\mathcal {E}^\mu\) is dominated by \(\mathcal {E}\).
Proof
Let \(u\in D(\mathcal {E}^\mu )\) and \(v\in D(\mathcal {E})\) with \(0\le v\le |u|\) a.e. Then \(|u|\in D(\mathcal {E})\) and \(v \,\mathrm{sgn}\, u\in D(\mathcal {E})\), since \(\mathcal {E}\) is dominated by itself. Furthermore
Thus \(v \,\mathrm{sgn}\, u\in D(\mathcal {E}^\mu )\).
Finally
since \(\mathcal {E}\) is dominated by itself. \(\square\)
Now, we can combine Lemma 6 with Theorem 1 to obtain stability of Kac regularity under measure perturbations.
Theorem 2
If an open set \(\varOmega \subset X\) is Kac regular for \(\mathcal {E}\), then it is Kac regular for \(\mathcal {E}^\mu\) for every smooth measure \(\mu\).
Even in the case of the standard Dirichlet energy on Euclidean space, this theorem provides new examples, as [4] only studies the case of absolutely continuous measures \(\mu\), whereas in the present framework also singular measures can be treated without additional effort.
Example 1
Let
The Hausdorff measure \(\mu\) on a \((d-1)\)-dimensional hyperplane is a smooth measure (see [6], Exercise 2.2.1). Thus, every domain that is Kac regular for \(\mathcal {E}\) is also Kac regular for the perturbed form \(\mathcal {E}^\mu\).
4 Metric measure spaces
In this section, we apply the results of the previous section to the Cheeger energy on infinitesimally Riemannian metric measure spaces.
Let (X, d) be a complete, separable metric space and m a \(\sigma\)-finite Borel measure of full support on X satisfying \(m(B_r(x))<\infty\) for all \(x\in X\), \(r>0\). Denote by \(\mathrm {Lip}_{\mathrm {b}}(X,d)\) the space of all bounded Lipschitz functions on X. For \(f\in {\mathrm {Lip}}_{\mathrm {b}}(X,d)\) the local Lipschitz constant is defined as
The Cheeger energy \(\mathrm {Ch}\) is the \(L^2\)-lower semicontinuous relaxation of
If \(\mathrm {Ch}\) is a quadratic form, then (X, d, m) is called infinitesimally Riemannian (see, e.g., [2, 7]). In this case, \(\mathrm {Ch}\) is a quasi-regular Dirichlet form ([18], Theorem 4.1—the theorem is formulated for \(\mathrm {RCD}\) spaces, but the proof of quasi-regularity holds under the weaker assumptions stated above).
Let (X, d, m) be an infinitesimally Riemannian metric measure space and \(\mathrm {Ch}\) the Cheeger energy. The space \(\mathrm {Lip}_{\mathrm {bs}}(X,d)\) of Lipschitz functions with bounded support is \(\Vert \cdot \Vert _{\mathrm {Ch}}\)-dense in \(D(\mathrm {Ch})\), as follows for example from [1], Lemma 4.3, combined with a standard localization argument. From that fact it is easy to see that \(\mathrm {Lip}_{\mathrm {bs}}(X,d)\) is indeed a generalized special standard core for \(\mathrm {Ch}\).
The results from the last section (Corollary 1, Lemma 5) immediately give the following characterization of the first-order Sobolev space with Dirichlet boundary conditions on domains in infinitesimally Riemannian metric measure spaces.
Theorem 3
For an open subset \(\varOmega\) of X, the following spaces all coincide:
-
The \(\Vert \cdot \Vert _{\mathrm {Ch}}\)-closure of \(\{u\in D(\mathrm {Ch})\mid \operatorname {supp}\, u\subset \varOmega \text { compact}\}\).
-
The \(\Vert \cdot \Vert _{\mathrm {Ch}}\)-closure of \(\{u\in \mathrm {Lip}_{\mathrm {bs}}(X,d)\mid \operatorname {supp}\, u\subset \varOmega \}\).
-
The set \(\{u\in D(\mathrm {Ch})\mid \tilde{u}=0\text { q.e. on }\varOmega ^c\}\).
Now, we turn to perturbations of the Cheeger energy by a positive potential.
For measurable \(V:X\longrightarrow [0,\infty ]\) let
For the following theorem recall that an \({\mathrm {RCD}}^*(K,N)\) space is an infinitesimally Hilbertian metric measure space with Ricci curvature bounded below by K and dimension bounded above by N (see [5], Definition 3.16 for a precise statement).
Theorem 4
If \(V\in L^1_{\mathrm {loc}}(X,m)\) is non-negative and \(\varOmega\) is Kac regular for \(\mathrm {Ch}\), so it is for \(\mathrm {Ch}^V\). Conversely, if (X, d, m) is an \({\mathrm {RCD}}^*(K,N)\) space for \(K>0\), \(N\in (2,\infty )\), \(V\in L^p(X,m)\) for \(p\in [N/2,\infty ]\), and \(\varOmega\) is Kac regular for \(\mathrm {Ch}^V\), then it is also Kac regular for \({\mathrm {Ch}}\).
Proof
Since \(\mathrm {Ch}\) is quasi-regular, there is a nest \((F_k)_k\) of compact sets. By assumption \(Vm(F_k)<\infty\) for all \(k\in \mathbb {N}\). Of course, Vm does not charge measures of capacity zero. Hence, Vm is a smooth measure, and the first implication follows from Theorem 5.
For the converse implication it is sufficient to show that \(D(\mathrm {Ch}^V)=D(\mathrm {Ch})\). Let q be the dual exponent of p and \(u\in D(\mathrm {Ch})\). Since \(q\in [1,\frac{N}{N-2}]\), the Sobolev embedding theorem ([3], Proposition 6.2.3, see also [16], Proposition 3.3) implies \(u\in L^{2q}(X,m)\). Thus
that is, \(u\in D(\mathrm {Ch})\). \(\square\)
More examples in the spirit of [4] can be constructed using the first-order differential calculus for the Cheeger energy developed in [7]. There is an \(L^2\)-normed \(L^\infty\)-module \(L^2(TX)\), the tangent module, and a linear map \(\nabla :D(\mathrm {Ch})\longrightarrow L^2(TX)\) satisfying the Leibniz rule such that the Cheeger energy can be written as
If \(b\in L^2(TX)\) with \(|b|\in L^\infty (X,m)\), then the form
is dominated by \(\mathrm {Ch}\) and thus Kac regularity for \(\mathrm {Ch}\) implies Kac regularity for \(\mathrm {Ch}^b\). With the calculus rules proven in [7], the proof can be carried out in essentially the same way as the one of Proposition 3.7 from [10]. We do not repeat it here as it is quite lengthy.
5 Schrödinger operators on Riemannian manifold
In this section, Kac regularity for quadratic forms generated by Schrödinger operators on vector bundles over manifolds is examined.
Let (M, g) be a Riemannian manifold and
The space \(C_c^\infty (M)\) is obviously a special standard core for \(\mathcal {E}\) and so \(D(\mathcal {E}_\varOmega )\) coincides with \(W^{1,2}_0(\varOmega )\) for \(\varOmega \subset M\) open.
Further let \(E\longrightarrow M\) be a Hermitian vector bundle with metric covariant derivative \(\nabla\) and let \(V:M\longrightarrow \mathrm {End}(E)\) be a measurable section with \(V(x)\ge 0\) for a.e. \(x\in M\) and \(|V|\in L^1_{\mathrm {loc}}(M)\). In particular, V(x) is hermitian for a.e. \(x\in M\).
Denote by \(\varGamma _{C_c^\infty }(M;E)\) the smooth section of E with compact support and let \(\mathcal {E}^{\nabla ,V}\) be the closure of
From the proof of [8], Proposition 2.2, together with the semigroup characterization of domination ([12], Theorem 4.1) it follows that \(\mathcal {E}^{\nabla ,0}\) is dominated by \(\mathcal {E}\) (alternatively, one could also adapt the proof of [10], Proposition 3.7, to the case of Dirichlet boundary conditions). Given this result, it is not hard to see (with an argument along the lines of Lemma 6) that \(\mathcal {E}^{\nabla ,V}\) is dominated by \(\mathcal {E}\) as well. Thus, we can apply Theorem 1 to obtain the stability of Kac regularity in this setting.
Theorem 5
If \(\varOmega\) is Kac regular for \(\mathcal {E}\), then it is also Kac regular for \(\mathcal {E}^{\nabla ,V}\).
A standard approximation argument shows that \(D(\mathcal {E}^{\nabla ,V}_\varOmega )\) is the closure of \(\varGamma _{C_c^\infty }(\varOmega ;E)\). Therefore, the previous theorem recovers partially Theorem 2.13 a) of [4] with the restriction to non-negative potentials.
References
Ambrosio, L., Gigli, N., Savaré, G.: Calculus and heat flow in metric measure spaces and applications to spaces with Ricci bounds from below. Invent. Math. 195(2), 289–391 (2014). https://doi.org/10.1007/s00222-013-0456-1
Ambrosio, L., Gigli, N., Savaré, G.: Bakry–Émery curvature-dimension condition and Riemannian Ricci curvature bounds. Ann. Probab. 43(1), 339–404 (2015). https://doi.org/10.1214/14-AOP907
Bakry, D., Gentil, I., Ledoux, M.: Analysis and geometry of Markov diffusion operators, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 348. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-00227-9
Bei, F., Güneysu, B.: Kac regular sets and sobolev spaces in geometry, probability and quantum physics. Math. Ann. (2020). https://doi.org/10.1007/s00208-019-01932-2
Erbar, M., Kuwada, K., Sturm, K.T.: On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces. Invent. Math. 201(3), 993–1071 (2015). https://doi.org/10.1007/s00222-014-0563-7
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes, De Gruyter Studies in Mathematics, vol. 19, extended edn. Walter de Gruyter & Co., Berlin (2011)
Gigli, N.: On the differential structure of metric measure spaces and applications. Mem. Am. Math. Soc. 236(1113), vi+91 (2015). https://doi.org/10.1090/memo/1113
Güneysu, B.: Kato’s inequality and form boundedness of Kato potentials on arbitrary Riemannian manifolds. Proc. Am. Math. Soc. 142(4), 1289–1300 (2014). https://doi.org/10.1090/S0002-9939-2014-11859-4
Herbst, I.W., Zhao, Z.X.: Sobolev spaces, Kac-regularity, and the Feynman–Kac formula. In: Seminar on Stochastic Processes, 1987 (Princeton, NJ, 1987), Progr. Probab. Statist., vol. 15, pp. 171–191. Birkhäuser Boston, Boston (1988)
Lenz, D., Schmidt, M., Wirth, M.: Uniqueness of form extensions and domination of semigroups. J. Funct. Anal. 280(6):108848 (2021). https://doi.org/10.1016/j.jfa.2020.108848
Ma, Z.M., Röckner, M.: Introduction to the Theory of (Nonsymmetric) Dirichlet Forms. Universitext. Springer, Berlin (1992). https://doi.org/10.1007/978-3-642-77739-4
Manavi, A., Vogt, H., Voigt, J.: Domination of semigroups associated with sectorial forms. J. Oper. Theory 54(1), 9–26 (2005)
Milnor, J.W., Stasheff, J.D.: Characteristic classes. In: Annals of Mathematics Studies, No. 76. Princeton University Press, Princeton (1974)
Ouhabaz, E.: Invariance of closed convex sets and domination criteria for semigroups. Potential Anal. 5(6), 611–625 (1996)
Penney, R.C.: Self-dual cones in Hilbert space. J. Funct. Anal. 21(3), 305–315 (1976)
Profeta, A.: The sharp Sobolev inequality on metric measure spaces with lower Ricci curvature bounds. Potential Anal. 43(3), 513–529 (2015). https://doi.org/10.1007/s11118-015-9485-2
Röckner, M., Schmuland, B.: Quasi-regular Dirichlet forms: examples and counterexamples. Can. J. Math. 47(1), 165–200 (1995). https://doi.org/10.4153/CJM-1995-009-3
Savaré, G.: Self-improvement of the Bakry–Émery condition and Wasserstein contraction of the heat flow in \({\rm RCD}(K,\infty )\) metric measure spaces. Discrete Contin. Dyn. Syst. 34(4), 1641–1661 (2014). https://doi.org/10.3934/dcds.2014.34.1641
Acknowledgments
The author was supported by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes) and by the German Research Foundation (DFG) via RTG 1523/2. The author would like to thank Daniel Lenz for his support and encouragement during the author’s ongoing graduate studies and him as well as Marcel Schmidt for fruitful discussions on domination of quadratic forms. He wants to thank Batu Güneysu and Peter Stollmann for valuable comments on a preliminary version of this article. He would also like to thank the organizers of the conference Analysis and Geometry on Graphs and Manifolds in Potsdam, where the initial motivation of this article was conceived, and the organizers of the intense activity period Metric Measure Spaces and Ricci Curvature at MPIM in Bonn, where this work was finished
Funding
Open access funding provided by Institute of Science and Technology (IST Austria).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jesus Araujo Gomez.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wirth, M. Kac regularity and domination of quadratic forms. Adv. Oper. Theory 7, 38 (2022). https://doi.org/10.1007/s43036-022-00199-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43036-022-00199-w