Abstract
We give necessary and sufficient conditions for a regular semi-Dirichlet form to enjoy a new Feller type property, which we call weak Feller property. Our characterization involves potential theoretic as well as probabilistic aspects and seems to be new even in the symmetric case. As a consequence, in the symmetric case, we obtain a new variant of a decomposition principle of the essential spectrum for (the self-adjoint operators induced by) regular symmetric Dirichlet forms and a Persson type theorem, which applies e.g. to Cheeger forms on \(\mathsf {RCD^*}\) spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let X be a locally compact separable metrizable space equipped with a positive Radon measure m with full support. Let \(\mathscr {E}\) be a regular semi-Dirichlet form on \(L^2(X)\) with H the associated sectorial operator and \(T_t:=e^{-tH}\) the associated semigroup. Given a subset \(A\subset X\) we denote by \(\textrm{cap}(A)\) the induced capacity, and given an open subset \(U\subset X\) we denote by \(H_U\) the restriction of H to U with a certain Dirichlet condition, which is a sectorial operator in \(L^2(U)\subset L^2(X)\). We refer the reader to Sect. 2 for detailed definitions. The starting point for our investigations is the following result from [19].
Theorem 1.1
Assume \(\mathscr {E}\) is symmetric and spatially locally compact, in the sense that \(\textbf{1}_A T_t\) is compact for all \(t>0\) and all Borel sets \(A\subset X\) with \(m(A)<\infty \). Then for all open \(U\subset X\) with \(\textrm{cap}(X\setminus U)<\infty \) one has \(\sigma _\textrm{ess}(H_U)=\sigma _\textrm{ess}(H)\).
Although the class of U’s considered in this result is very large (in fact, somewhat optimal), the restriction on the underlying geometry through the spatial local compactness assumption is rather strong: for example, there exist \(\textsf{RCD}^*\) spaces of finite measure such that the (operator induced by the) Cheeger form (cf. Example 4.3 for the definitions) does not have a purely discrete spectrum and thus is not spatially locally compact. Nontrivial examples of such spaces are provided by the natural Dirichlet forms (cf. Example 4.2) of certain complete Riemannian manifolds with Ricci curvature bounded from below: indeed, noncompact hyperbolic manifolds with finite volume are never spatially locally compact (as these always have nonempty essential spectrum [23]). The main goal of this paper is to obtain a variant of Theorem 1.1, which allows to treat geometries such as arbitrary \(\textsf{RCD}^*\) spaces. To this end, we found a surprising connection between such results and probability theory. Namely, we say that \(\mathscr {E}\) has the weak Feller property, if the following two properties are satisfied:
- (\(\alpha )\):
-
with \(L^\infty _0(X)\) the space of all \(u\in L^\infty (X)\) such that for all \(\epsilon >0\) there exists \(K\subset X\) compact such that \(\Vert 1_{X{\setminus } K}u \Vert _\infty <\epsilon \), one has
$$\begin{aligned} T_t(L^\infty _0(X))\subset L^\infty _0(X)\quad \text {for all }t>0. \end{aligned}$$ - \((\beta )\):
-
For any compact \(K\subset X\) there exists a function \(0\le w\in L^2(X)\cap L^\infty _0(X)\) with \((H+1)^{-1 } w \ge \textbf{1}_K \).
Recall that \(\mathscr {E}\) is said to induce a Feller semigroup, if
with \(C_0(X)\) the space of continuous functions on X vanishing at \(\infty \). In general, this property implies the weak Feller property and these notions are equivalent on Riemannian manifolds, but there exist \(\mathscr {E}\)’s which have the weak Feller property but not the Feller property (cf. Sects. 3 and 4). We provide a list of equivalent characterizations of the weak Feller property under the above condition (\(\beta \)), one of which is the traditional probabilistic condition that compact sets are hard to hit from close to infinity by the underlying diffusion: namely, whenever K is compact and \(\sigma _K\) denotes the induced first hitting time, then for all \(t\ge 0\) one has
keeping in mind that by the seminal work of Azencott [1] it is well-known that in the Riemannian case, (1.3) is equivalent to the Feller property.
With this definition, one of our main results is:
Theorem 1.2
Let \(\mathscr {E}\) be symmetric and satisfy the weak Feller property, and let \(\mathscr {E}\) be weakly spatially local compact, in the sense that \(\textbf{1}_KT_t\) is compact for all compact \(K\subset X\) and all \(t>0\). Then for every open \(U\subset X\) with \(X\setminus U\) compact one has \(\sigma _{\textrm{ess}} (H_U) = \sigma _{\textrm{ess}} (H)\).
The weak Feller property enters the proof of Theorem 1.2 precisely in the form (1.3), through a method from [19].
Concerning the assumptions of Theorem 1.2 we remark that the natural Dirichlet form on a connected Riemannian manifold is automatically weakly spatially locally compact and satisfies the condition (\(\beta \)), and has the (weak) Feller property, e.g., if the manifold is complete and its Ricci curvature does not decay to fast to \(-\infty \); likewise, the Cheeger energy of an arbitrary \(\textsf{RCD}^*\) space as well as many jump diffusion Dirichlet forms satisfy all assumptions of the above theorem (cf. Examples 4.2, 4.3, 4.4 and Sect. 5).
Finally, we obtain a variant of Persson’s theorem, which states that under the same assumptions on \(\mathscr {E}\) as in Theorem 1.2 one has
and we show that these assumptions on \(\mathscr {E}\) are satisfied, if \(\mathscr {E}\) has the doubly Feller property in the sense of [17], that is, if \(\mathscr {E}\) has the Feller property in addition to \(T_t(L^\infty (X))\subset C_0(X)\) for all \(t>0\).
For completeness, we have also included an “Appendix”, where we show that every semi-Dirichlet form whose semigroup satisfies (1.1) is automatically regular, a result that comes in handy e.g. for possibly nonsymmetric jump diffusions.
2 Preliminaries
For the standard terminology concerning Dirichlet forms we refer to [9] for the symmetric and to [25, 26] for the non-symmetric case. In the sequel, \(\left\| \cdot \right\| _p\) for \(p\in [1,\infty ]\) denotes the norm on \(L^p(X)\). Following [26], we say that a pair \((\mathscr {E},\mathscr {F})\) (or shortly \(\mathscr {E}\), if there is no danger of confusion) is a (non-negative definite) semi-Dirichlet form on \(L^2(X)\), if the following assumptions are satisfied:
-
\(\mathscr {F}\) is a dense subspace of \(L^2(X)\) and \(\mathscr {E}:\mathscr {F}\times \mathscr {F}\rightarrow \mathbb {R}\) is bilinear and \(\mathscr {E}[u]:=\mathscr {E}(u,u)\ge 0\).
-
Sector condition: there exists a constant \(K\ge 1\) such that
$$\begin{aligned} |\mathscr {E}(u,v)|\le K\mathscr {E}(u,u)^{\frac{1}{2}}\mathscr {E}(v,v)^{\frac{1}{2}}. \end{aligned}$$ -
\(\mathscr {F}\) is complete w.r.t. \(\Vert \cdot \Vert _{\mathscr {E}}\), where
$$\begin{aligned} \Vert u \Vert _{\mathscr {E}}^2:= \mathscr {E}[u]+\Vert u\Vert _2^2. \end{aligned}$$ -
Markovian property: for all \(u\in \mathscr {F}\), \(a\ge 0\), one has
$$\begin{aligned} \quad u\wedge a \in \mathscr {F} \text{ and } \mathscr {E}(u \wedge a, u - u\wedge a)\ge 0. \end{aligned}$$(2.1)
In the above situation, we get a maximally sectorial operator H on \(L^2(X)\) associated with \(\mathscr {E}\) by Kato’s first form representation theorem, [14, VI,Thm 2.1, p. 322] and for \(t\ge 0\), \(\alpha >0\) we write
for the corresponding contraction semigroup and resolvent, respectively, see [26, Thm 1.1.2, p. 4]. As a consequence of (2.1), the semigroup \((T_t;t\ge 0)\) is a sub-Markov semigroup [26, Thm 1.1.5, p. 7] and so extends in a p-consistent way to a contraction semigroup \(L^p(X)\) for all \(p\in [1,\infty ]\) which is strongly continuous for \(p<\infty \) and weak-*-continuous for \(p=\infty \). Likewise, \(G_\alpha \) is bounded in \(L^p(X)\) for all \(p\in [1,\infty ]\). To ease notation, we do not distinguish between these semigroups and the resolvents just write \(T_t\) resp. \(G_\alpha \) for all of them.
The semi-Dirichlet form \((\mathscr {E},\mathscr {F})\) is called regular, if \(\mathscr {F}\cap C_c(X)\) is dense in \(\mathscr {F}\) with respect to \(\Vert \cdot \Vert _{\mathscr {E}}\) and in \(C_c(X)\) with respect to \(\left\| \cdot \right\| _\infty \).
We fix once for all a regular semi-Dirichlet form \((\mathscr {E},\mathscr {F})\) on \(L^2(X)\).
Then \(\mathscr {E}\) is called symmetric, if one has \(\mathscr {E}(u,v)=\mathscr {E}(v,u)\) for all \(u,v\in \mathscr {F}\), noting that a regular symmetric semi-Dirichlet in our sense is automatically a regular symmetric Dirichlet form in the standard sense of Fukushima [10]. Moreover, \(\mathscr {E}\) is called strongly local, if \(\mathscr {E}(u,v)=0\), whenever \(u,v\in \mathscr {F}\) are such that u is constant on the support of v.
We set
and remark that the induced Choquet capacity is defined on open subsets \(U\subset X\) by
with the usual convention \(\inf \emptyset =\infty \), and for arbitrary \(A\subset X\) one then sets
With respect to this capacity, every \(u\in \mathscr {F}\) has a (quasi-)unique quasi-continuous representative \({\tilde{u}}\), and keeping this in mind, for every set B one sets
so that for open \(U\subset X\) one has
The regularity of \(\mathscr {E}\) implies (through the existence of cut-off functions) that
We will also be concerned with the Hunt process
associated with \(\mathscr {E}\) (see [9, 25, 26, Section 3.3] and the groundbreaking [10]), with lifetime \(\zeta \in (0,\infty ]\); it gives the following probabilistic representation for the semigroup: for all \(t>0\), \(f\in L^2(X)\) and m-a.e. \(x\in X\) one has
The restriction of \(\mathscr {E}\) to \(\overline{ \mathscr {F}\cap C_c (U)}^{\Vert \cdot \Vert _{\mathscr {E}}}\) is a regular semi-Dirichlet form on \(L^2 (U)\subset L^2(X)\), [26, Section 3.5, in particular Thm 3.5.7]. This form will be denoted by \(\mathscr {E}_U\). The maximally sectorial operator associated to \(\mathscr {E}_U\) will be denoted by \(H_U\) and its semigroup with \((T^U_t;t\ge 0)\).
The first exit time of \(\mathscr {M}\) from a Borel set B is defined by
and the first hitting time of \(\mathscr {M}\) of B is defined by
The following form of the Feynman-Kac formula allows a probabilistic interpretation of the semigroup generated by \(H_U\): for all \(f\in L^2(U)\), \(t> 0\), m-a.e. \(x\in U\) one has
(see [26, Theorem 3.5.7, p. 100 and its proof], see also [4], Section 3.3, in particular Theorem 3.3.8, p. 109f. for the symmetric case). We will view bounded operators in \(L^p(U)\) to be acting on \(L^p(X)\), by defining them to be 0 on \(L^p(X{\setminus } U)\).
We finally introduce some potential theoretic notions that will be needed in the sequel: let \(u\in L^p(X)\) for some \(1\le p\le \infty \). We say that u is 1-excessive, if \(e^{-t}T_t u \le u\) for all \(t>0\).
The 1-equilibrium potential \(e_B\) for a Borel set B is defined by
Actually, this is a little shortcut that is convenient for what we have in mind. Typically, \(e_B\) is introduced by a variational principle, and (2.3) is then deduced as an important link between the stochastic and the analytic world. In this spirit, the right-hand-side of the definition of \(e_B\) is typically denoted as \(p^1_B(x)\) or \(H_B1(x)\), see [4, Lemma 3.1.1] or [26, Lemma 3.4.3].
Remark 2.1
-
(1)
In the symmetric case, for any Borel set B such that \(\tilde{\mathscr {F}}_{B,1}\not =\emptyset \), the function \(e_B\) is the unique function in \(\tilde{\mathscr {F}}_{B,1}\) which satisfies
$$\begin{aligned} \mathscr {E}_1(e_B,e_B)=\min \bigl \{\mathscr {E}_1(u)\bigm |u\in \tilde{\mathscr {F}}_{B,1}\bigr \}, \end{aligned}$$and one then has
$$\begin{aligned} \textrm{cap}(B)=\mathscr {E}_1(e_B,e_B), \end{aligned}$$see [4, p. 78, p. 105].
-
(2)
In the non-symmetric case, at least for open B, [26, Lemma 3.4.3] gives an analogous statement, however, the variational problem is somewhat different then.
-
(3)
[22, Proposition 2.8 (iii)] gives, that for all open B and all 1-excessive \(u\in \tilde{\mathscr {F}}_{B,1}\) one has \(e_B\le u\), another variational property of \(e_B\) that will be of prime importance later.
-
(4)
If X is a connected Riemannian manifold with m its volume measure and \(\mathscr {E}\) is given by
$$\begin{aligned} \qquad \mathscr {E}(u,v)=\int _X (\nabla u,\nabla v) dm\quad \text {with domain of definition }\mathscr {F}:= W^{1,2}_0(X), \end{aligned}$$where \(W^{1,2}_0(X)\) is the closure of \(C_c^\infty (X)\) with respect to the norm \(\Vert \cdot \Vert _{\mathscr {E}}\), then for any open relatively compact \(U\subset X\) the function \(e_U\) is the minimal nonnegative solution of the exterior boundary value problem
$$\begin{aligned} \begin{aligned} \Delta u&= u \text{ in } X\setminus {\overline{U}}\\ u&>0 \text{ on } U^c\\ u&=1 \text{ on } \partial U. \end{aligned} \end{aligned}$$(2.4)Here \(\Delta = -H\) is the Laplace-Beltrami operator.
-
(5)
Let \(U\subset X\) be open and relatively compact. Then there is a unique positive \(\sigma \)-finite Borel measure \(\mu _U\) on X, supported in \({{\overline{U}}}\), such that \(e_U\) is the 1-potential of \(\mu _U\), that is,
$$\begin{aligned} \mathscr {E}_1(e_U,u) = \int _X u\,d\mu _U\quad \text { for all } u\in \mathscr {F}, \end{aligned}$$and one has \(\textrm{cap}(U) = \mu _U({{\overline{U}}})\). If \(G_1\) has an integral kernel \(\kappa _1(x,y)\), then
$$\begin{aligned} e_U(x) = \int _X \kappa _1(x,y)\,d\mu _U(y). \end{aligned}$$(2.5)Indeed, let \(\kappa _1^* (x,y):=\kappa _1 (y,x)\) and let \(G_1^*\) be the dual resolvent of \(G_1\) (\(G_1^*\) is in fact the resolvent of the dual form \(\mathscr {E}^*(u,v)= \mathscr {E}(v,u)\)). Obviously \(\kappa _1^*\) is the kernel of \(G_1^*\). Let \(u\in L^2(X), u\ge 0\). Then
$$\begin{aligned} \mathscr {E}_1( e_U, G_1^*u)&= \int _X G_1^*u(x)\,d\mu _U(x) \\&= \mathscr {E}_1^*( G_1^*u, e_U)\\&= \int _X u(y) e_U(y)\,dm(y)\\&= \int _X\int _X \kappa _1^*(x,y)u(y)\,dm(y)\,d\mu _U(x)\\&=\int _X u(y)\cdot \Big ( \int _X \kappa _1^*(x,y)\,d\mu _U(x) \Big )\,dm(y), \end{aligned}$$and the claim follows, by extending the latter identity to every \(u\in L^2(X)\) through \(u = u^+ - u^-\).
3 The Weak Feller Property
Recall that by definition, if \(\mathscr {E}\) induces a Feller semigroup, then one has (1.1). The generalization of this property that we seek for relies on the space
of bounded functions vanishing at \(\infty \) in the measure theoretic sense.
Definition 3.1
(\(\alpha \)) We say that \(\mathscr {E}\) satisfies the \(L^\infty _0\)-diffusion property, if
(\(\beta \)) We say that \(\mathscr {E}\) satisfies property (P), if for any compact \(K\subset X\) there is \(w\in L^2(X)\cap L^\infty _0(X), w\ge 0\) such that \(G_1 w \ge \textbf{1}_K\).
(\(\gamma \)) We say that \(\mathscr {E}\) satisfies the weak Feller property, if it has the \(L^\infty _0\)-diffusion property and if (P) holds.
We discuss a number of sufficient conditions:
Remark 3.2
-
(1)
The following property implies \({{\textbf {(P)}}}\):
(P”): for any compact \(K\subset X\) there exists \(w\in L^2(X)\cap L^\infty _0(X), w\ge 0\) and \(t'>0\) such that for all \(0<t<t'\) one has \(T_t w \ge \textbf{1}_K\), which follows from
$$\begin{aligned} G_1f =\int _{[0,\infty )} e^{-t}T_tf dt,\quad f\in L^p(X), \end{aligned}$$where integral is in the \(L^p(X)\)-Bochner sense if \(p\in [1,\infty )\), and in the weak-*-sense for \(p=\infty \).
-
(2)
If \(\mathscr {E}\) induces a Feller semigroup, then it also has the weak Feller property: indeed, given a compact \(K\subset X\) pick \(0\le w\in C_c(X)\) with \(w\ge c\) in K for some \(c>0\). Then, since \(t\mapsto T_t\) is strongly continuous at \(t=0\) in \(C_0(X)\), we can pick a \(c'>0\) and \(t'>0\) such that \(T_tw\ge c'\) in K for all \(0<t<t'\), so that property \({{\textbf {(P)}}}\) follows from the previous item.
Furthermore by positivity of \(T_t\) we get
$$\begin{aligned} T_t(1_K) \le \frac{1}{c'}T_t w\in C_0(X)\ \text {by }(1.1). \end{aligned}$$Hence \(T_t(1_K)\in L_0^\infty (X)\) and the \(L_0^\infty \)-diffusion property follows from item (4).
-
(3)
Property (P) is equivalent to:
(P’): there is \(w\in L^2(X)\cap L^\infty _0(X),w\ge 0\) such that for any compact \(K\subset X\) there is \(c_K>0\) such that
$$\begin{aligned} G_1 w\ge c_K\textbf{1}_K. \end{aligned}$$(3.2) -
(4)
By local compactness and the semigroup property, the \(L^\infty _0\)-diffusion property is equivalent to the following property:
$$\begin{aligned} T_t\textbf{1}_K\in L^\infty _0(X)\quad \text { for all compact }K\subset X, 0<t<1. \end{aligned}$$
The \(L_0^\infty \)-diffusion property of the semigroup implies the analogous property of the resolvent. This fact is well known for \(C_0(X)\) instead of \(L_0^\infty \), where it is an equivalence, see, e.g. [17], p. 638 and [15]. Since we have a more general situation at hand, we present a proof. We thank the referee for the suggestion to do so:
Proposition 3.3
For the following assertions
-
(1)
\(\mathscr {E}\) satisfies the \(L^\infty _0\)-diffusion property.
-
(2)
There is some \(\alpha >0\) such that \(G_\alpha ( L^\infty _0(X))\subset L^\infty _0(X)\).
-
(3)
For all \(\alpha >0\) one has \(G_\alpha ( L^\infty _0(X))\subset L^\infty _0(X)\).
we have that (1)\(\Rightarrow \)(2)\(\Leftrightarrow \)(3).
The proofs we know for \(C_0(X)\) in place of \(L^\infty _0(X)\) make use of the denseness of the range of the resolvent in \(C_0(X)\) with respect to the uniform norm, see [18] and the references in there. Such a denseness is not valid for \(L^\infty _0(X)\) in many cases, e.g. when the semigroup has the strong Feller property. Therefore we are not completely convinced that in our setting (3) implies (1).
Proof
Pick an exhaustion \(\left( U_n\right) _{n\in \mathbb {N}}\) of X by relatively compact open sets and set \(\eta _n:=\textbf{1}_{X\setminus U_n}\) for \(n\in \mathbb {N}\). Obviously, \(f\in L^\infty _0(X)\) if and only \(f\in L^\infty (X)\) and
which in turn can be expressed through duality with \(L^1(X)\). Semigroups and resolvents are related through:
and
for \(f\in L^\infty (X)\). Note however, that both right hand sides are to be understood in the w-\(*\)- sense and this adds a little subtelty to the argument. If we had norm convergence in these equations, the equivalence of (1) and (3) would be not too hard since \( L^\infty _0(X)\) is a closed subspace of \( L^\infty (X)\).
(1)\(\Rightarrow \)(3): Fix \(\alpha \) and \(f\in L^\infty _0(X)\) and note that by w-\(*\)-continuity of the semigroup, and the resulting measurability,
by dominated convergence, as the integrand is Lebesgue measurable and goes to 0 pointwise by the \(L^\infty _0\)-diffusion property.
(3)\(\Rightarrow \)(2) is clear.
(3)\(\Leftarrow \)(2): Note that by positivity, it remains to check the convergence of \(\eta _n G_\alpha f\) for given positive \(f\in L^\infty _0(X)\); the \(\eta _n G_\alpha f\) are nonincreasing in \(\alpha \), so whenever \(G_\alpha ( L^\infty _0(X))\subset L^\infty _0(X)\), we get the same mapping property for \(G_\beta \), for \(\beta >\alpha \). Using that
in \(\Vert \cdot \Vert _\infty \), with the integral understood in the w-\(*\)- sense, and that the integral can be majorized by \(\textrm{e}^{(\alpha -\beta )T} G _\alpha f\) pointwise, we are done. \(\square \)
We are now in position to give a characterization of the weak Feller property:
Theorem 3.4
Under assumption (P), the following assertions are equivalent:
-
(1)
\(\mathscr {E}\) satisfies the \(L^\infty _0\)-diffusion property.
-
(2)
For any compact \(K\subset X\), \(t\ge 0\) one has \(\mathbb {P}^{\bullet }\{\sigma _K\le t\}\in L^\infty _0(X).\)
-
(3)
For any compact \(K\subset X\) one has \(e_K\in L^\infty _0(X).\)
-
(4)
For any compact \(K\subset X\) there exists a 1-excessive function \(\phi \in \mathscr {F}\) with \(\textbf{1}_K\le \phi \in L^\infty _0(X).\)
-
(5)
There is some \(\alpha >0\) such that \(G_\alpha ( L^\infty _0(X))\subset L^\infty _0(X)\).
-
(6)
For all \(\alpha >0\) one has \(G_\alpha ( L^\infty _0(X))\subset L^\infty _0(X)\).
Proof
(4)\(\Rightarrow \)(3): Let K as in (3) and pick a relatively compact, open \(B\supset K\). By (4) there exists a 1-excessive \(\phi \in L^\infty _0(X)\cap \mathscr {F}\) such that \(\textbf{1}_B\le \phi \). From Remark 2.1(3) above, we get that \(e_B\le \phi \) and so
(3)\(\Rightarrow \)(2): follows from
(2)\(\Rightarrow \)(1): follows from Remark 3.2(4) and
(1)\(\Rightarrow \)(6) and (5)\(\Leftrightarrow \)(6) are true without (P) as follows from the previous Proposition.
(6)\(\Rightarrow \)(4): Pick w as in (P) and set
Condition (P) ensures that \(\phi \ge \textbf{1}_K\) and evidently, \(\phi \) is 1-excessive and belongs to \(\mathscr {F}\). Finally, by (6) it follows that \(\phi \in L^\infty _0(X)\) as asserted. \(\square \)
Although in most concrete applications (see the next section) the weak Feller property is most conveniently checked in terms of the semigroup, the above result allows in principle to check this property directly through the equilibrium potential. Assume for example that X is a metric space with metric d(x, y), that \(G_1\) has an integral kernel \(\kappa _1(x,y)\) and that for every open relatively compact \(U\subset X\) the function \(G_1\textbf{1}_U\) is bounded from below by a strictly positive lower semicontinuous function (so that one has property \(({\textbf {P}}))\). If then for any such U there exist constants \(c, \delta , \gamma >0\) such that
then one has \(e_U\in L_0^\infty (X)\), which clearly entails the weak Feller property. Indeed, let \(n\in \mathbb {N}\) be large enough and let
From formula (2.5) we obtain that for \(x\not \in K_n\)
which, by letting \(n\rightarrow \infty \) proves the claim. Situations as above can be inferred for example from results such as [29, Section 5.6], [11, Lemma 7.7] and [5, Lemma 2.4].
4 Examples of Weakly Feller \(\mathscr {E}'s\)
In this section we give some classes of examples to illustrate the weak Feller property.
Example 4.1
(Multiplication operators) Let \(h:X\rightarrow [0,\infty )\) be measurable and define a regular symmetric Dirichlet form by
Then H is the maximally defined multiplication operator induced by h and \(T_t\) is the bounded multiplication operator induced by \(e^{-th}\).
-
(i)
The \(L^\infty _0\)-diffusion property always holds, in view of \(|T_t f|\le |f|\) for all \(t\ge 0\).
-
(ii)
Property (P) is equivalent to \(h\in L^\infty _{\textrm{loc}}(X)\).
-
(iii)
The Feller property is equivalent to \(h\in C(X)\), keeping in my mind that the required strong continuity in (1.2) automatically follows from Dini’s theorem.
-
(iv)
One has \(T_t(C_0(X))\subset C_0(X)\) for all \(t\ge 0\), if and only if \(T_t(C_b(X))\subset C_b(X)\) for all \(t\ge 0\), which in turn is equivalent to \(h\in C(X)\), as mentioned already.
Example 4.2
(Riemannian manifolds) Let X be a connected Riemannian manifold with m its volume measure, d(x, y) the geodesic distance and \(\mathscr {E}\) is the regular strongly local symmetric Dirichlet form in \(L^2(X)\) given by
Then H is the Friedrichs realization of the Laplace-Beltrami operator \(-\Delta \) and \(T_t\) has a jointly smooth integral kernel \(p_t(x,y)\) for all \(t>0\), which is strictly positive by the parabolic maximum principle. Accordingly, \(\mathscr {E}\) satisfies property \({\textbf {(P'')}}\), as given \(K\subset X\) compact one has \(T_tw\ge \textbf{1}_K\) for
Moreover, \(\mathscr {E}\) induces a Feller semigroup, if and only if one has \(T_t(C_0(X))\subset C_0(X)\): indeed, the required strong continuity follows from writing
and using that \(P_s\) is a contraction in \(L^\infty (X)\). We have borrowed this argument from the proof of Proposition 4.3 in [24]. Moreover, \(\mathscr {E}\) induces a Feller semigroup, if and only if [27, Theorem 2.2] the unique minimal solution to (2.4) vanishes at \(\infty \), for all open relatively compact \(U\subset X\) (see also [33, Theorem 3.3] for analogous result on graphs). Since by Remark 2.1(4) this solution is precisely \(e_U\), it follows from Theorem 3.4 that \(\mathscr {E}\) is weakly Feller, if and only if it has the Feller property. This is the case, e.g., if X is geodesically complete and its Ricci curvature satisfies [12]
Example 4.3
(\(\textsf{RCD}^*\) spaces) Let X be a complete separable geodesic metric measure space with metric d(x, y) and let m be an inner regular Borel measure on X with full support, which is finite on all open balls B(x, r). The Cheeger form
on X is defined to be the \(L^2\)-lower semicontinuous relaxation of the functional
given by
One gets a functional \(\mathscr {E}\) on \(L^2(X)\) with domain of definition \(\mathscr {F}\) given by all f with \(\textrm{Ch}(f)<\infty \) by setting \(\mathscr {E}(f):=\textrm{Ch}(f)\) for such f’s. The metric measure space X is called infinitesimally Hilbertian, if \(\mathscr {E}\) is a quadratic form. For example, if X is a complete connected Riemannian manifold with its geodesic distance and Riemannian volume measure, then \(\mathscr {E}\) is given by (4.1).
Next, let us give the following definition of the \(\textsf{CD}^*(K,N)\) condition from [3], which is a slight generalization of the original \(\textsf{CD}(K,N)\) condition from [21, 30] having the advantage of admitting a natural local-to-global principle: let \(\textsf{P}(X)\) denote the set of all Borel probability measures on X and let \(\textsf{P}_2(X)\) denote the elements of \(\textsf{P}(X)\) that have finite second moments. Given \(\mu _0,\mu _1\in \textsf{P}_2(X)\), the \(L^2\)-Wasserstein distance is defined by
with \(\mathscr {C}(\mu _0,\mu _1)\) the set of all couplings between \(\mu _0\) and \(\mu _1\). Any minimizer of the above infimum is called an optimal coupling of \(\mu _0\) and \(\mu _1\). Then \(\textsf{P}_2(X)\) together with the \(L^2\)-Wasserstein distance is again a complete separable geodesic space (as X is so). Given \(K\in \mathbb {R}\), \(t\in [0,1]\), \(N\in [1,\infty )\) define the function
by
Given \(K\in \mathbb {R}\), \(N\in [1,\infty )\), the metric measure space X is called a \(\textsf{CD}^*(K,N)\) space, if for all \(\mu _0,\mu _1\in \textsf{P}(X)\) with bounded support and \(\mu _0,\mu _1\ll m\), there exists an optimal coupling q of them and a geodesic \((\mu _t)_{t\in [0,1]}\) in \(\textsf{P}_2(X)\) connecting them, such that
and such that for all \(N'\in [N,\infty )\), \(t\in [0,1]\) one has
where \(\rho _t\) denotes the Radon-Nikodym density of \(\mu _t\) with respect to \(m\) for all \(t\in [0,1]\). Finally, given \(K\in \mathbb {R}\), \(N\in [1,\infty )\), the metric measure space X is called an \(\textsf{RCD}^*(K,N)\) space, if it is an infinitesimally Hilbertian \(\textsf{CD}^*(K,N)\) space. This definition is shown to be equivalent to weak Bochner type inequality in [8]. Examples of such space include complete connected Riemannian manifolds of dimension \(n\le N\) and Ricci curvature bounded from below by K with their geodesic distance and volume measure, but also possibly very singular spaces such as Alexandrov spaces of dimension \(n\le N\) with curvature \(\ge K/(n-1)\), (\(\ge 0\) if \(n=1\)) and their n-dimensional Hausdorff measure.
We fix an \(\textsf{RCD}^*(K,N)\) space X in the sequel.
Then, by the validity of the Bishop-Gromov volume estimate [3], there exists \(C>0\) such that for all \(0<r\le R\) and all \(x\in X\) one has the volume local doubling
which implies that X is locally compact. Here, we have set \(m(y,s):=m(B(y,s))\). Moreover, by a standard argument one gets the following local volume comparison inequality from the latter estimate: there is a constant \(C'>0\) such that for all \(t>0\), \(x_1,x_2\in M\) and \(\varepsilon >0\),
As shown in [16], \(\mathscr {E}\) becomes a regular strongly local symmetric Dirichlet form. The semigroup \(T_t\) has a jointly continuous integral kernel \(p_t(x,y)\) for all \(t>0\), which satisfies [13] for all \(x,y\in X\), \(0<t<1\) the following Gaussian bounds
Clearly, this implies \(p_t(x,y)>0\), so that property \(\mathbf {(P'')}\) is satisfied as in the Riemannian case. For the proof of the \(L^\infty _0\)-diffusion property we can assume that X is noncompact. We are going to show that \(T_t1_K\in L^\infty _0(X)\) for all \(0<t<1\). Indeed, the Gaussian upper bound implies
which clearly proves the claim, noting that
as for every fixed \(z\in X\setminus K\), by local volume comparison,
While the previous two examples were both strongly local and symmetric, we finally provide an example which is nonlocal and nonsymmetric:
Example 4.4
(Nonsymmetric jump diffusions) Assume \(X=\mathbb {R}^m\) with Lebesgue measure dx, and fix \(0<\alpha <2\) and a Borel function
for some constants \(\kappa _0,\kappa _1,\kappa _2>0\), \(0<\beta <1\). Define the operator \({\tilde{H}}\) on functions \(f:\mathbb {R}^m\rightarrow \mathbb {R}\) by
whenever the expression makes sense.
Then it follows from Theorem 1.1 in [6] (and a scaling argument) that there exists a unique jointly continuous function
which has the following three properties:
-
(i)
one has
$$\begin{aligned} \partial _tp_t(x,y)= {\tilde{H}}p_t(\bullet ,y)(x),\quad \text {for all } t>0, x\ne y, \end{aligned}$$ -
(ii)
for all \(t_0>0\) there exists a constant \(c_1>0\) such that for all \(0<t<t_0\) and all x, y one has
$$\begin{aligned} p_t(x,y)\le c_1t(t^{1/\alpha }+|x-y|)^{-m-\alpha }, \end{aligned}$$ -
(iii)
for every \(0<\gamma <\min (\alpha ,1)\) and \(t_0>0\) there exists a constant \(c_2>0\) such that for all \(x,x',y\in \mathbb {R}^m\), \(0<t<t_0\) one has
$$\begin{aligned}{} & {} |p_t(x,y)-p_t(x',y)|\\{} & {} \quad \le c_1 |x-x'|^{\gamma }t^{1-\gamma /\alpha }\left( t^{1/\alpha }+\min (|x-y|,|x'-y|)\right) ^{-m-\alpha }, \end{aligned}$$ -
(iv)
the map \(t\mapsto {\tilde{H}}p_t(\cdot ,y)(x)\) is continuous for all \(x\ne y\), and for all \(t_0>0\) there exists a constant \(c_3>0\) such that for all \(0<t<t_0\) and all \(x\ne y\) one has
$$\begin{aligned}{} & {} | {\tilde{H}}p_t(\bullet ,y)(x)|\le c_3(t^{1/\alpha }+|x-y|)^{-m-\alpha }, \end{aligned}$$ -
(v)
for all bounded uniformly continuous functions \(f:\mathbb {R}^m\rightarrow \mathbb {R}\) one has
$$\begin{aligned} \lim _{t\rightarrow 0+}\left\| \int _{\mathbb {R}^m} p_t(\bullet ,y)f(y)dy -f\right\| _\infty =0. \end{aligned}$$
Moreover, \((t,x,y)\mapsto p_t(x,y)\) satisfies the Chapman-Kolmogorov identities, and with
the semigroup \((T_t;t\ge 0)\) is analytic in \(L^2(\mathbb {R}^m)\), and one has the conservativeness
Assuming that the function \(\kappa ^*(x,y):=\kappa (y,x)\) satisfies the the same assumptions as \(\kappa \), then with H the generator of this semigroup, we can define [25] a semi-Dirichlet form \(\mathscr {E}\) in \(L^2(\mathbb {R}^m)\) by defining \(\mathscr {F}\) to be the completion of \({{\,\textrm{Dom}\,}}(H)\) with respect to the norm
and defining \(\mathscr {E}\) to be the unique bilinear extension of
to \(\mathscr {F}\). It follows from the continuity of the heat kernel \(p_t(x,y)\), (ii), (iii), (v) and Theorem 6.1 that \(\mathscr {E}\) is regular and induces a Feller semigroup (and so a weak Feller semigroup). Moreover, \(\mathscr {E}\) is symmetric, if and only if \(\kappa \) is so. This example generalizes the usual \(\alpha \)-stable Dirichlet form in \(\mathbb {R}^m\), where \(\kappa \) is a constant. Even more general nonlocal semi-Dirichlet forms have been treated along the same lines in [18], where the function \(z\mapsto |z|^{-m-\alpha }\) in (4.4) has been replaced by a general class of functions subject to certain growth conditions.
5 The Decomposition Principle
Here, we state some spectral theoretic consequences of Feller type properties, mainly addressing the issue of stability of the essential spectrum. Since functional calculus will be involved, we fix a regular symmetric Dirichlet form \(\mathscr {E}\) throughout this section, with H, \(T_t\) denoting, as usual, the associated self adjoint operator and semigroup and \(\mathscr {E}_U\), \(H_U\), \(T^U_t\) the corresponding restriction to an open \(U\subset X\), as discussed in Sect. 2. We denote by \(\left\| \cdot \right\| \) the operator norm in \(L^2(X)\).
Our main aim is to show that
provided K is compact and H is suitable. The essential spectrum of a self-adjoint operator S can be characterized as
see [28, Chapter XIII.14]. It was introduced by H. Weyl in a slightly different form in [32], who also proved its essential property, namely that it is invariant under compact perturbations, see [31].
Definition 5.1
We say that \(\mathscr {E}\) satisfies the weak spatial local compactness property, if \(\textbf{1}_K T_t\) is a compact operator for every compact \(K\subset X\) and every \(t>0\).
Clearly, this property is weaker than spatial local compactness, introduced in [19, Definition 2.1] which requires that \(\textbf{1}_A T_t\) is a compact operator for every Borel set \(A\subset X\) with \(m(A)<\infty \).
The main point is the following variant of the corresponding result in [19].
Lemma 5.2
Let \(\mathscr {E}\) satisfy the weak Feller property. Let \(K\subset X\) be compact. Then there is a sequence \((K_n)_{n\in \mathbb {N}}\) of compact sets such that for every \(t>0\)
This result is proved exactly as [19, Corollary 2.5.], where
can be chosen compact in view of the \(L^\infty _0\)-diffusion property of \(\mathscr {E}\), for n large enough. With exactly the same argument as in [19], one can now prove:
Theorem 5.3
(Decomposition principle) Let \(\mathscr {E}\) satisfy the weak Feller property and H the weak spatial local compactness property. Let \(K\subset X\) be compact. Then the operator \(\varphi (H_{X\setminus K}) - \varphi (H)\) is compact for every \(\varphi \in C_0 (\mathbb {R})\). In particular,
Remark 5.4
The \(\mathscr {E}\)’s from Examples 4.2, 4.3 and 4.4 (assuming symmetry in the last case) are weakly locally compact: indeed, in each case \(T_t\) has a jointly continuous integral kernel, which shows that the Hilbert-Schmidt norm of the integral operator \(\textbf{1}_K T_t\) is finite for all compact \(K\subset X\), \(t>0\). Thus, for \(\textsf{RCD}^*\)-spaces and symmetric jump diffusions Theorem 5.3 applies directly. In the Riemannian case, one has to guarantee the Feller property, which holds, as noted above, if the manifold is complete with a Ricci curvature that does not decay to fast to \(\infty \). In fact, as shown in [7] with completely different methods, the decomposition principle holds in the Riemannian case without any assumptions on the geometry. From this point of view, the main strength of Theorem 5.3 stems from the fact that it can deal with many local and nonlocal situations simultaneously.
We get the following variant of the Persson type theorem from [19], where \(\lim _{K\rightarrow X}\) stands for the limit along the net of compact subsets of X:
Theorem 5.5
(Persson’s theorem) Let \(\mathscr {E}\) satisfy the weak Feller property and H the weak spatial local compactness property. Then,
Finally, we present further results that connect Feller type properties with the stability of the essential spectrum. The first one shows that the compactness of \(\varphi (H_{X{\setminus } K}) - \varphi (H)\) deduced in Theorem 5.3 actually implies the corresponding spatial local compactness property:
Proposition 5.6
Let \(B\subset X\) be closed, \(U:=X \setminus B\). If the operator \(\varphi (H_U) - \varphi (H)\) is compact for every \(\varphi \in C_0 (\mathbb {R})\) then \(\textbf{1}_B T_t\) is a compact operator as well.
We have chosen the assumption and the conclusion so as to fit the above results, many different equivalent formulations are at hand:
Remark 5.7
Let \(U\subset X\) be open and \(B\subset X\) be closed.
(1) The following properties are equivalent:
-
\(\varphi (H_U) - \varphi (H)\) is compact for every \(\varphi \in C_0 (\mathbb {R})\),
-
\(T_t^U - T_t\) is compact for one (every) \(t>0\),
-
\(D_\lambda := G_\lambda - ( H_U + \lambda )^{-1} \) is compact for one (every) \(\lambda >0\).
(2) The following properties are equivalent:
-
\(\textbf{1}_B\varphi (H)\) is compact for every \(\varphi \in C_0 (\mathbb {R})\),
-
\(\textbf{1}_B T_t\) is compact for one (every) \(t>0\),
-
\(\textbf{1}_B G_\lambda \) is compact for one (every) \(\lambda >0\).
For the proof of the second statement, see [20, Theorem 1.3]; the first statement can be deduced with the help of the Stone-Weierstrass theorem, see proof of Theorem 2.3 in [19].
Proof of Prop. 5.6
By [2, Lemma 3]
where
and \(\check{H}\) is the selfadjoint operator of the trace of \(\mathscr {E}_1\) w.r.t. the map J. Accordingly, \(D_1\) is compact if and only if \(\check{H}^{1/2} J G_1\) is compact as well. Since \(\check{H}\ge 1\), we get that \(J G_1\) is compact, whence the assertion in view of the preceding remark, part (2). \(\square \)
Proposition 5.8
Let \(\mathscr {E}\) satisfy the Feller property. If \(T_1^V\) is compact for some relatively compact open V, then \(\textbf{1}_K T_1\) is compact for every compact subset \(K\subset V\). Consequently, if \(T_1^V\) is compact for all relatively compact open V, then H satisfies the weak spatial local compactness property.
Proof
Let K and V be as in the assertion. By [17, Lemma 2.2] we get:
With an argument just as in [19, Proof of Proposition 2.4] this gives that
Since \(T_1^V\) is compact, \(T^V_s\) is compact as well by Remark 5.7(2), applied to \(H^V\) and \(B=V\), we finally conclude that
is compact, as a norm limit (see (5.2)) of compact operators.
The second assertion is evident. \(\square \)
Using a compactness result [17, Corollary 4.1] for doubly Feller forms, we get:
Corollary 5.9
Let \(\mathscr {E}\) be doubly Feller, i.e., \(\mathscr {E}\) induces a semigroup and one has the smoothing property \(T_t(L^\infty (X))\subset C_b(X)\) for every \(t>0\). Then H satisfies the weak spatial local compactness property. In particular, the conclusions of Theorems 5.3 and 5.5 hold.
References
Azencott, R.: Behavior of diffusion semi-groups at infinity. Bull. Soc. Math. Fr. 102, 193–240 (1974)
Ben Amor, A., Brasche, J.F.: Sharp estimates for large coupling convergence with applications to Dirichlet operators. J. Funct. Anal. 254(2), 454–475 (2008)
Bacher, K., Sturm, K.-T.: Localization and tensorization properties of the curvature-dimension condition for metric measure spaces. J. Funct. Anal. 259(1), 28–56 (2010)
Chen, Z.-Q., Fukushima, M.: Symmetric Markov Processes, Time Change, and Boundary Theory. London Mathematical Society Monographs Series, vol. 35. Princeton University Press, Princeton (2012)
Cao, J., Grigor’yan, A., Liu, L.: Hardy’s inequality and Green function on metric measure spaces. J. Funct. Anal. 281(3):Paper No. 109020, 78 (2021)
Chen, Z.-Q., Zhang, X.: Heat kernels and analyticity of non-symmetric jump diffusion semigroups. Probab. Theory Relat. Fields 165(1–2), 267–312 (2016)
Donnelly, H., Li, P.: Pure point spectrum and negative curvature for noncompact manifolds. Duke Math. J. 46(3), 497–503 (1979)
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)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes, Volume 19 of De Gruyter Studies in Mathematics, extended edition. Walter de Gruyter & Co., Berlin (2011)
Fukushima, M.: Dirichlet spaces and strong Markov processes. Trans. Am. Math. Soc. 162, 185–224 (1971)
Grigor’yan, A., Jiaxin, H.: Heat kernels and Green functions on metric measure spaces. Can. J. Math. 66(3), 641–699 (2014)
Hsu, P.: Heat semigroup on a complete Riemannian manifold. Ann. Probab. 17(3), 1248–1254 (1989)
Jiang, R., Li, H., Zhang, H.: Heat kernel bounds on metric measure spaces and some applications. Potential Anal. 44(3), 601–627 (2016)
Kato, T.: Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, Berlin (1995). Reprint of the 1980 edition
Kostrykin, V., Potthoff, J., Schrader, R.: A note on Feller semigroups and resolvents (2011). arXiv preprint, arXiv:1102.3979
Kuwada, K., Kuwae, K.: Radial processes on \({{\sf RCD}}^\ast (K, N)\) spaces. J. Math. Pures Appl. 9(126), 72–108 (2019)
Kurniawaty, M., Kuwae, K., Tsuchida, K.: On the doubly feller property of resolvent. Kyoto J. Math. 57(3), 637–654 (2017)
Kim, P., Song, R., Vondraček, Z.: Heat kernels of non-symmetric jump processes: beyond the stable case. Potential Anal. 49(1), 37–90 (2018)
Lenz, D., Stollmann, P.: On the decomposition principle and a Persson type theorem for general regular Dirichlet forms. J. Spectr. Theory 9(3), 1089–1113 (2019)
Lenz, D., Stollmann, P., Wingert, D.: Compactness of Schrödinger semigroups. Math. Nachr. 283(1), 94–103 (2010)
Lott, J., Villani, C.: Ricci curvature for metric-measure spaces via optimal transport. Ann. Math. (2) 169(3), 903–991 (2009)
Ma, Z.M., Overbeck, L., Röckner, M.: Markov processes associated with semi-Dirichlet forms. Osaka J. Math. 32(1), 97–119 (1995)
Mazzeo, R., Phillips, R.S.: Hodge theory on hyperbolic manifolds. Duke Math. J. 60(2), 509–559 (1990)
Metafune, G., Pallara, D., Wacker, M.: Feller semigroups on \(\mathbb{R} ^N\). Semigroup Forum 65(2), 159–205 (2002)
Ma, Z.M., Röckner, M.: Introduction to the Theory of (Nonsymmetric) Dirichlet Forms. Universitext. Springer, Berlin (1992)
Oshima, Y.: Semi-Dirichlet Forms and Markov Processes. De Gruyter Studies in Mathematics, vol. 48. Walter de Gruyter & Co., Berlin (2013)
Pigola, S., Setti, A.G.: The Feller property on Riemannian manifolds. J. Funct. Anal. 262(5), 2481–2515 (2012)
Reed, M., Simon, B.: IV: Analysis of Operators, vol. 4. Elsevier (1978)
Saloff-Coste, L.: Aspects of Sobolev-Type Inequalities. London Mathematical Society Lecture Note Series, vol. 289. Cambridge University Press, Cambridge (2002)
Sturm, K.-T.: On the geometry of metric measure spaces. II. Acta Math. 196(1), 133–177 (2006)
Weyl, H.V.: Über beschränkte quadratische formen, deren differenz vollstetig ist. Rendiconti del Circolo Matematico di Palermo (1884-1940) 27(1):373–392 (1909)
Weyl, H.: Über gewöhnliche differentialgleichungen mit singularitäten und die zugehörigen entwicklungen willkürlicher funktionen. Math. Ann. 68(2), 220–269 (1910)
Wojciechowski, R.K.: The Feller property for graphs. Trans. Am. Math. Soc. 369(6), 4415–4431 (2017)
Acknowledgements
The first named author would like to thank the International Office of the Technical University of Chemnitz (TUC) for the financial support which made this work possible. He also thanks the Faculty of Mathematics of TUC for the warm hospitality and the fruitful cooperation.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This file has been typeset with the option draft to illustrate that feature and its purpose.
Appendix
Appendix
Let again X be a locally compact separable metrizable space which is equipped with a positive Radon measure m with full support. We fix a semi-Dirichlet form \((\mathscr {E},\mathscr {F})\) on \(L^2(X)\), with H the associated sectorial operator, \(T_t:=e^{-tH}\) the semigroup, and \(G_\alpha \) the resolvent, both considered to be acting as contractions in \(L^p(X)\). Finally, we are going to need the norm
and the norm
Our goal here is to prove the following result, which should be known to experts:
Theorem 6.1
Assume one has
Then \(\mathscr {E}\) is regular.
The proof relies on the following auxiliary results:
Proposition 6.2
The following statements are equivalent:
-
\(\mathscr {E}\) is regular.
-
\(\mathscr {F}\cap C_0(X)\) is dense in \((\mathscr {F},\left\| \bullet \right\| _\mathscr {E})\) and in \((C_0(X),\left\| \bullet \right\| _\infty )\).
Proof
It suffices to show that every \(\phi \in \mathscr {F}\cap C_0(X)\) can be approximated by a sequence in \(\mathscr {F}\cap C_c(X)\) with respect to \(\left\| \bullet \right\| _\mathscr {E}\). To this end, by the Markovian property of \(\mathscr {E}\), we can assume \(\phi \ge 0\). Then one has \(\phi _n:=(\phi -1/n)_+\in \mathscr {F}\cap C_c(X)\) by the Markovian property, \(\phi _n\rightarrow \phi \) in \(L^2(X)\), and moreover \(\sup _n \mathscr {E}(\phi _n,\phi _n)<\infty \). Thus, a subsequence of \(\phi _n\) does the job. \(\square \)
Proposition 6.3
Under (6.1) and (6.2), the space \(D_0:={{\,\textrm{Dom}\,}}(H)\cap C_0(X)\) is dense in \(({{\,\textrm{Dom}\,}}(H),\left\| \bullet \right\| _H )\) and in \((C_0(X),\left\| \bullet \right\| _\infty )\).
Proof
Note first that in this situation \((T_t;t\ge 0)\) becomes a strongly continuous contraction semigroup in \((C_0(X),\left\| \bullet \right\| _\infty )\). Thus, one has
where the integral converges in the uniform norm.
(1) With
in view of (6.3), one has \(D_1\subset D_0\). Given \(g\in {{\,\textrm{Dom}\,}}(H)\) we have \(f:=G_1^{-1}g\in L^2(X)\), so there exists a sequence \(f_n\) in \(C_c(X)\) with \(f_n\rightarrow f\) in \(L^2(X)\). It follows that with \(g_n:=G_1f_n\in D_1\) we have
showing that \(D_1\) is dense in \(({{\,\textrm{Dom}\,}}(H),\left\| \bullet \right\| _H )\).
(2) Given \(\phi \in C_c(X)\) we have \(\alpha G_\alpha \phi \in D_1\) for all \(\alpha >0\) and
in view of formula (6.3): indeed, given \(\epsilon >0\) we can pick \(\delta >0\) such that for all \(t\in [0,\delta ]\) one has \(\left\| T_t\phi -\phi \right\| _\infty <\epsilon /2\). It then follows easily from decomposing the integral in (6.3) as \(\int ^\infty _0\cdots =\int ^\delta _0\dots +\int ^\infty _\delta \cdots \) that for all \(\alpha >0\) one has
\(\square \)
Proof of Theorem 6.1
As the embedding
has a dense image, the second proposition gives that \(\mathscr {F}\cap C_0(X)\) is dense in both, \(({{\,\textrm{Dom}\,}}(H),\left\| \bullet \right\| _H )\) and \((C_0(X),\left\| \bullet \right\| _\infty )\), so that the claim follows from the first proposition. \(\square \)
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
BenAmor, A., Güneysu, B. & Stollmann, P. Essential Spectrum and Feller Type Properties. Integr. Equ. Oper. Theory 95, 12 (2023). https://doi.org/10.1007/s00020-023-02732-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00020-023-02732-9