Abstract
For an increasing sequence \((T_n)\) of one-parameter semigroups of sub Markovian kernel operators over a Polish space, we study the limit semigroup and prove sufficient conditions for it to be strongly Feller. In particular, we show that the strong Feller property carries over from the approximating semigroups to the limit semigroup if the resolvent of the latter maps \(\mathbb {1}\) to a continuous function. This is instrumental in the study of elliptic operators on \(\mathbb {R}^d\) with unbounded coefficients: our abstract result enables us to assign a semigroup to such an operator and to show that the semigroup is strongly Feller under very mild regularity assumptions on the coefficients. We also provide counterexamples to demonstrate that the assumptions in our main result are close to optimal.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Convergence of semigroups
A central aspect in the theory of strongly continuous semigroups is that of convergence of a sequence of semigroups to a limit semigroup. Indeed, even the Hille–Yosida Theorem (see [12, Thms. II.3.5 and II.3.8]), which provides the foundation for the entire theory, is usually proved by an approximation argument (here the famous Yosida approximants appear). More generally, this topic is the content of the Trotter–Kato Theorem (see [12, Thms. III.4.8 and III.4.9]) that characterizes strong convergence of semigroups by strong convergence of the resolvents of their generators.
The situation where one replaces strong convergence with weaker notions of convergence has also received some attention in the literature. Most results concern replacing norm convergence by weak convergence in the setting of Hilbert spaces, i.e., studying convergence of operators in the weak operator topology. Possibly the earliest result is due to Simon [28], who proved strong convergence of semigroups given weak convergence of the resolvents, provided that the latter are monotone in the sense of quadratic forms. While some extensions of Simon’s result beyond the setting of monotone sequences of self-adjoint generators are known (see [8, 25]), examples show that we cannot have a full generalization of the Trotter–Kato Theorem to this setting ([11] and [10, Ex. 3.5] based on [18]). However, Chill and terElst [10] could prove a Trotter–Kato Theorem for positive self-adjoint operators without imposing monotonicity assumptions.
1.2 Theoretical contributions
In this article, we leave the Hilbert space setting and instead focus on semigroups on the space \(B_b(E)\) of bounded and measurable functions on a Polish space E. The theory of strongly continuous semigroups is not appropriate for this setting; instead, we consider semigroups which satisfy merely a measurability assumption with respect to time, and whose operators are given by transition kernels. These are natural assumptions for transition semigroups of Markov processes; see for instance [13] for details.
On \(B_b(E)\) we will study pointwise convergence of a sequence \((T_n)\) of semigroup to a limit semigroup T; our main result, Theorem 4.3, gives sufficient conditions for T to have the so-called strong Feller property, which means that the semigroup operators map \(B_b(E)\) into the space \(C_b(\Omega )\) of bounded and continuous functions. The sequence \((T_n)\) (or, equivalently, the sequence of the Laplace transforms of the \(T_n\)) will be assumed to be monotone – not in the sense of quadratic forms, considered in the above-mentioned Hilbert space setting, but pointwise.
1.3 An application
The aforementioned monotonicity property is, for instance, satisfied in the construction of semigroups generated by elliptic operators with unbounded drift and diffusion coefficients. In this case the monotonicity is a consequence of the maximum principle. This construction was first carried out by Metafune, Pallara and Wacker [24] (see also [22] for more examples), and in fact, the article [24] was a major motivation for the present work. The authors of the latter article first establish monotone convergence of the resolvents of certain approximating operators. In a second step, they also prove (monotone) convergence of these semigroups. However, this second step is carried out using interior Schauder estimates, which requires more restrictive regularity assumptions than are necessary for the first step (and as a consequence, the first step is actually not used for the second step). With our abstract results, in particular Theorems 3.4 and 4.3, convergence of the semigroups and the strong Feller property of the limit semigroup follow immediately from the results about the resolvent in [24], without additional regularity assumptions on the coefficients. Therefore, our approach yields convergence and the strong Feller property under considerably weaker assumptions than in [24].
1.4 Related literature
The idea to consider sequences of semigroups or resolvents which are pointwise (or almost everywhere) increasing as a means to construct a limit semigroup is very classical. It was already employed by Kato [17] to prove a generation result for semigroups on the space \(\ell ^1\). This argument was later adapted to much more general settings; see in particular [9, Sect. 13], [7, 29, Thm. 2.1] and [6, Sect. 6]. These articles are set in the realm of \(C_0\)-semigroups and the choice of the underlying space ensures that a norm bounded increasing sequence of operators is always strongly convergent. In contrast, our setting is more subtle and requires a careful handling of the involved modes of convergence. As a consequence, time regularity of the limit semigroup is far from clear in our case; see Theorem 4.3 and Example 5.2.
1.5 Organization of the article
In Sect. 2, we discuss preliminaries about semigroups of kernel operators and prove a continuity result for strong Feller semigroups. We take up our main line of study in Sect. 3, where we analyse monotone convergence of semigroups on the space \(B_b(E)\) of bounded and measurable functions. In Sect. 4 we prove that the limit semigroup has the strong Feller property if (A) every semigroup \(T_n\) has the strong Feller property and (B) the (pseudo-)resolvent of the limit semigroup satisfies the strong Feller property. In Sect. 5 we provide counterexamples that show that neither condition (A) nor (B) can be omitted. In the concluding Sect. 6 we apply our results to construct a semigroup generated by the aforementioned elliptic operator with unbounded coefficients in the setting of [24].
2 Preliminaries on Semigroups of kernel operators
Throughout the article, E denotes a Polish space, i.e. a separable topological space that is metrizable through a complete metric. We always endow E with its Borel \(\sigma \)-algebra \(\mathscr {B}(E)\). We denote the space of bounded and Borel measurable functions on E by \(B_b(E)\), and its subspace of bounded and continuous functions by \(C_b(E)\). The space of finite (signed) measures on E is denoted by \(\mathscr {M}_b (E)\) and \(\sigma \mathrel {\mathop :}=\sigma (B_b(E), \mathscr {M}_b(E))\) refers to the weak topology on \(B_b(E)\) induced by \(\mathscr {M}_b(E)\). By slight abuse of notation, we will denote the restriction of this topology to \(C_b(E)\) also by \(\sigma \). Note that if E is additionally compact then \(\mathscr {M}_b(E)\) is the (norm-)dual space of \(C_b(E)\). In general, however, \(\mathscr {M}_b(E)\) is a strict subset of \(C_b(E)^*\) so that the ‘weak’-topology \(\sigma \) is not the classical weak topology from the theory of Banach spaces, but the weak topology of the dual pair \((C_b(E), \mathscr {M}_b(E))\). We write \(\rightharpoonup \) to indicate convergence with respect to \(\sigma \), whereas \(\rightarrow \) is used to indicate convergence with respect to the supremum norm \(\Vert \cdot \Vert _\infty \). If \(\sup _{n\in \mathbb {N}}\Vert f_n \Vert _\infty <\infty \) and \(f_n(x) \rightarrow f(x)\) for all \(x\in E\), then \(f_n\rightharpoonup f\) as a consequence of the dominated convergence theorem. In fact, both statements are equivalent, as can easily be seen by using the uniform boundedness principle.
A kernel on E is a map \(k :E\times \mathscr {B}(E)\rightarrow \mathbb {R}\) such that
-
(i)
the map \(x\mapsto k(x, A)\) is measurable for all \(A\in \mathscr {B}(E)\);
-
(ii)
\(k(x, \cdot )\) is a signed measure for every \(x\in E\);
-
(iii)
\(\sup _{x\in E} |k|(x,E) <\infty \), where \(|k|(x, \cdot )\) denotes the total variation of the measure \(k(x, \cdot )\).
If every measure \(k(x, \cdot )\) is positive (a sub probability measure), then the kernel is called positive (sub Markovian).
To each kernel k one associates a bounded linear operator T on \(B_b(E)\) defined by
An operator T of this form is called a kernel operator. The operator T is positive if and only if \(k(x,A) \ge 0\) for all \(x \in E\) and all \(A \in \mathscr {B}(E)\); in this case, we write \(T\ge 0\) and one has \(\Vert T \Vert = \sup _{x \in E} k(x,E)\).
One can prove that a bounded linear operator on \(B_b(E)\) is a kernel operator if and only if it is continuous with respect to the weak topology \(\sigma \) (see e.g. [20, Prop. 3.5]). Alternatively, a bounded linear operator T on \(B_b(E)\) is a kernel operator if and only if its norm adjoint \(T^*\) leaves the space \(\mathscr {M}_b(E)\) invariant (see [20, Prop. 3.1]); we write \(T' \mathrel {\mathop :}=T^*|_{\mathscr {M}_b(E)}\). By \(\mathscr {L}(B_b(E), \sigma )\) we denote the space of \(\sigma \)-continuous operators on \(B_b(E)\), i.e., kernel operators.
We now turn our attention to semigroups. A semigroup of kernel operators is a family of operators \(T = (T(t))_{t>0}\) in \(\mathscr {L}(B_b(E), \sigma )\) such that
-
(i)
one has \(T(t+s) = T(t)T(s)\) for all \(t,s>0\);
-
(ii)
the map \((t,x)\mapsto (T(t)f)(x)\) is measurable.
Moreover, a semigroup of kernel of operator \((T(t))_{t > 0}\) is called bounded if there exists a number \(M \ge 0\) such that \(\Vert T(t) \Vert \le M\) for all \(t > 0\); it is called positive if \(T(t)\ge 0\) for all \(t>0\). We will mainly deal with bounded semigroups throughout the article. Semigroups which merely satisfy the weaker assumption \(\sup _{t \in (0,1]} \Vert T(t) \Vert < \infty \) (and are thus only exponentially bounded) can be treated by a rescaling argument.
If \(T = (T(t))_{t > 0}\) is a bounded semigroup of kernel operators, then it is not difficult to see that for every \(\textrm{Re}\,\lambda >0\) there is an operator \(R(\lambda ) \in \mathscr {L}(B_b(E), \sigma )\) such that
In the terms of [20, Def. 5.1], this means that T is an integrable semigroup on the norming dual pair \((B_b(E), \mathscr {M}_b(E))\). Clearly, if the semigroup T is positive, then the operator \(R(\lambda )\) is positive for every real number \(\lambda > 0\). By [20, Prop. 5.2], the family \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\) is a pseudo resolvent, i.e., it satisfies the resolvent identity
Therefore, we call the family \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\) the pseudo-resolvent of the semigroup T; alternatively, we also sometimes call it the Laplace transform of T. In general, the operators \(R(\lambda )\) are not injective and thus do not form the resolvent of a (single-valued) operator. However, there is a multi-valued operator A such that \(R(\lambda ) = (\lambda - A)^{-1}\) for all \(\textrm{Re}\,\lambda >0\) (see [16, Appendix A]). This operator A is sometimes called the full generator of T and it is characterized by \((f,g) \in A\) if and only if
for all \(t>0\), see [20, Proposition 5.7]. Note that this terminology is consistent with that used by Ethier–Kurtz [13, Section 1.5].
Let \((T(t))_{t > 0}\) be a bounded and positive semigroup of kernel operators. There are a number of additional properties that such a semigroup can have and that are of particular interest for us. We call \((T(t))_{t > 0}\) a \(C_b\)-Feller semigroup if its satisfies \(T(t)C_b(E) \subseteq C_b(E)\) for each \(t>0\) and, in addition, the restriction of T to \(C_b(E)\) is stochastically continuous, meaning that \(T(t)f \rightharpoonup f\) as \(t\rightarrow 0\) for every \(f\in C_b(E)\). It is easy to see that if \((T(t))_{t > 0}\) leaves \(C_b(E)\) invariant, then also its Laplace transform \(R(\lambda )\) leaves \(C_b(E)\) invariant; Example 5.1 shows that the converse is not true in general. If \((T(t))_{t > 0}\) is a \(C_b\)-Feller semigroup, then \(R(\lambda )|_{C_b(E)}\) is injective (see [19, Thm. 2.10]) and hence the resolvent of a unique operator \(A_{C_b}\). An easy computation shows that \(A_{C_b}\) is exactly the part of the full generator A in \(C_b(E)\), i.e., \(u\in D(A_{C_b})\) and \(A_{C_b}u=f\) if and only if \((u,f) \in A\cap (C_b(E)\times C_b(E))\). By [19, Thm. 2.10], we can alternatively characterize \(A_{C_b}\) as \(\sigma \)-derivative of the map \(t\mapsto T(t)f\) in 0 (where we set \(T(0) = I\)).
We say that the bounded and positive semigroup \((T(t))_{t > 0}\) of kernel operators enjoys the strong Feller property if \(T(t)B_b(E) \subseteq C_b(E)\) for all \(t>0\). Naturally, if \((T(t))_{t > 0}\) enjoys the strong Feller property, then \(T(t)C_b(E) \subseteq C_b(E)\). However, it may happen that restriction of \((T(t))_{t > 0}\) to \(C_b(E)\) is not stochastically continuous. This is the case, for example, in connection with certain non-local boundary conditions [4, 21]. In these examples, we still have that \(R(\lambda )|_{C_b(E)}\) is injective. As it turns out, this already implies certain continuity properties of the semigroup.
Lemma 2.1
Let \((T(t))_{t>0}\) be a bounded and positive semigroup of kernel operators that enjoys the strong Feller property and assume that the operators \(R(\lambda )\) of its pseudo-resolvent \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\) are injective when restricted to \(C_b(E)\). Then for every \(f\in B_b(E)\) the map \((t,x) \mapsto T(t)f(x)\) is continuous on \((0,\infty )\times \Omega \).
Proof
By the semigroup law, every operator T(t) is the product of two strong Feller operators and thus satisfies the ultra Feller property, i.e., if \((f_n)_{n \in \mathbb {N}}\) is a bounded sequence of measurable functions then \((T(t)f_n)_{n \in \mathbb {N}}\) has a subsequence that converges uniformly on compact subsets of E to some bounded continuous function, see [26, § 1.5].
Now consider a sequence \((t_n)\) in \((0, \infty )\) that converges to a time \(t \in (0,\infty )\) and a function \(f\in B_b(E)\). As a preliminary step, we prove that \(T(t_n)f \rightarrow T(t)f\) uniformly on compact subsets of E. Note that \(s\mathrel {\mathop :}=\inf \{ t_n : n\in \mathbb {N}\}>0\) and that the sequence \((T(t_n-s ) f)\) is bounded. As T(s) is ultra Feller, passing to a subsequence, we may and shall assume that \(T(t_n)f = T(s)T(t_n-s)f\) converges uniformly on compact sets to some \(g\in C_b(E)\). In particular, \(T(t_n)f \rightharpoonup g\). Using the \(\sigma \)-continuity of the Laplace transform \(R(\lambda )\) and the fact that \(R(\lambda )\) commutes with every T(t), we find
For the third equality we used that T is strongly continuous (with respect to \(\Vert \,\cdot \, \Vert _\infty \)) on the range of \(R(\lambda )\) (see [19, Rem. 2.5]). As \(R(\lambda )\) is injective on \(C_b(E)\), we must have \(g=T(t)f\). Now a subsequence-subsequence argument yields that \(T(t_n)f \rightarrow T(t)f\) uniformly on compact subsets of E.
Finally, if \((t_n, x_n) \rightarrow (t,x)\), then by what was just done, \(T(t_n)f \rightarrow T(t)f\) uniformly on the compact set \(\{x_n : n\in \mathbb {N}\}\cup \{x\}\). \(\square \)
3 A monotone convergence theorem
The purpose of this section is to prove a convergence theorem for monotone sequences of semigroups of kernel operators. We start by characterizing domination of semigroups of kernel operators in terms of their Laplace transforms. To that end, we need the following lemma.
Lemma 3.1
There exists a countable set \(\mathscr {F} \subseteq B_b(E)\) such that a measure \(\mu \in \mathscr {M}_b(E)\) is positive if and only if \(\langle f, \mu \rangle \ge 0\) for all \(f\in \mathscr {F}\).
Proof
As E is Polish, its Borel \(\sigma \)-algebra is countably generated; let \(\mathscr {E}\) be a countable generator of \(\mathscr {B}(E)\). We may assume without loss that \(\mathscr {E}\) is an algebra, otherwise replacing \(\mathscr {E}\) with the algebra generated by it which is again countable. We claim that the set
has the desired properties. Indeed, let \(\mu \in \mathscr {M}_b(E)\) and assume that \(\langle f, \mu \rangle \ge 0\) for all \(f\in \mathscr {F}\). Then
One can readily check that \(\mathscr {D}\) is a monotone class, so it contains the monotone class generated by \(\mathscr {E}\). But by the monotone class theorem, the latter is actually \(\mathscr {B}(E)\), so \(\mathscr {D}= \mathscr {B}(E)\), proving \(\mu \ge 0\). \(\square \)
Theorem 3.2
Let \((T_1(t))_{t \ge 0}\) and \((T_2(t))_{t \ge 0}\) be positive and bounded semigroups of kernel operators, and assume that \(T_j(t)C_b(E)\subseteq C_b(E)\) for all \(t>0\) and \(j=1,2\). We denote their Laplace transforms by \((R_1(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\) and \((R_2(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\), respectively. The following are equivalent:
-
(i)
\(R_1(\lambda ) \le R_2(\lambda )\) for all \(\lambda >0\);
-
(ii)
\(T_1(t) \le T_2(t)\) for all \(t>0\).
Proof
(i) \(\Rightarrow \) (ii). For each \(f \in B_b(E)_+\) and \(\mu \in \mathscr {M}_b(E)_+\), define \(r_{f, \mu } :(0, \infty ) \rightarrow [0, \infty )\) by setting
As \((R_1(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\) and \((R_2(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\) are pseudo-resolvents, the map \(r_{f, \mu }\) is infinitely differentiable with
for each integer \(n \ge 0\). Thus, the Post–Widder inversion theorem [2, Thm. 1.7.7] yields the existence of a null set \(N(f, \mu ) \subseteq (0, \infty )\) such that
for all \(t \in (0, \infty ) \setminus N(f, \mu )\).
Now let \(\mathscr {F}\subseteq B_b(E)\) denote a countable set with the property stated in Lemma 3.1 and fix \(\mu \in \mathscr {M}_b(E)_+\). Then \(N(\mu ) = \bigcup _{f \in \mathscr {F}} N(f, \mu )\) is a null set and
for all \(f \in \mathcal {F}\) and all \(t \not \in N(\mu )\). By the choice of \(\mathscr {F}\) this implies that \(T_1'(t) \mu \le T_2'(t) \mu \) for all \(t \notin N(\mu )\).
Next consider a sequence \((x_n)_{n\in \mathbb {N}} \subset E\) that is dense in E and put \(N \mathrel {\mathop :}=\bigcup _{n \in \mathbb {N}} N(\delta _{x_n})\), where \(\delta _x\) refers to the Dirac measure in x. Then N is a null set, and for each continuous function \(f\ge 0\) we have
for all \(n \in \mathbb {N}\) and all \(t \not \in N\). As \(T_2(t)f-T_1(t)f\) is continuous by assumption, \(T_1(t)f \le T_2(t)f\) for all \(t\not \in N\).
Finally, consider the set
Then \((0, \infty ) \setminus M \subseteq N\), so \((0, \infty ) \setminus M\) is a null set. From the semigroup law, one easily deduces that \(M + M \subseteq M\). Thus [2, Lem. 3.16.5] implies \(M = (0, \infty )\). Hence, \(T_1(t)f\le T_2(t)f\) for all \(t>0\) and \(f\in C_b(E)\), from which (ii) easily follows.
The converse implication (ii) \(\Rightarrow \) (i) is clear. \(\square \)
We now turn to the main topic of this section: convergence of monotone sequences of semigroups. We begin, however, with single operators instead of semigroups. Within the ordered vector space \(\mathscr {L}(B_b(E), \sigma )\) we use the following notation: if T is an element and \((T_n)\) a sequence in this space, we write \(T_n \uparrow T\) to say that the sequence \((T_n)\) is increasing (in the sense that \(T_n \le T_{n+1}\) for all n) and that T is the supremum of this sequence in the sense that for every \(f\in B_b(E)^+\) and \(x\in E\) we have \((Tf)(x) = \sup _n(T_nf)(x)\). For more information concerning the order structure of kernel operators, we refer to [15].
Lemma 3.3
Consider an increasing sequence \((T_n)_{n \in \mathbb {N}}\) of positive operators in \(\mathscr {L}(B_b(E), \sigma )\) which satisfy \(\Vert T_n \Vert \le M\) for a number \(M \ge 0\) and all \(n \in \mathbb {N}\). Then:
-
(i)
There exists a positive operator \(T \in \mathscr {L}(B_b(E), \sigma )\) of norm \(\Vert T \Vert \le M\) such that \(T_n f \rightharpoonup T f\) for each \(f \in B_b(E)\). In particular, \(T_n \uparrow T\).
-
(ii)
If \((S_n)_{n \in \mathbb {N}}\) is another norm bounded increasing sequence of positive operators in \(\mathscr {L}(B_b(E), \sigma )\), whose limit we denote by S, then \(S_n T_n \uparrow S T\).
Corresponding statements hold for decreasing sequences of positive operators.
Proof
We only prove the results for increasing sequences, the case of decreasing sequences is similar.
(i) We denote the kernel associated to \(T_n\) by \(k_n\) and put \(k(x,A) \mathrel {\mathop :}=\sup _n k_n(x,A)\). It follows from \(\Vert T_n \Vert \le M\) for all n that \(k(x, E) \le M\) for all \(x\in E\). Moreover, k is again a kernel, cf. [15, Lem. 3.5]. We denote the kernel operator associated with k by T. Then \(\Vert T \Vert \le M\) and it follows from the definition of k that \(T_nf \rightharpoonup Tf\) for all \(f\in B_b(E)\); hence, \(T=\sup _n T_n\).
(ii) According to (i), the supremum \(\sup _{n \in \mathbb {N}} S_n T_n\) exists, and we have to show that it is equal to ST. Clearly, \(S_n T_n \le ST\). On the other hand, for \(f\in B_b(E)_+\) and \(m\in \mathbb {N}\), we have
where the second and the last equality follow from (i). However, \(T_mf\rightharpoonup Tf\) and thus, by the \(\sigma \)-continuity of S, the latter converges to STf, which proves the converse inequality \(\sup _{n \in \mathbb {N}} S_n T_n \ge ST\). \(\square \)
It is now easy to show that monotone and uniformly bounded sequences of semigroups have limit semigroups.
Theorem 3.4
Let \((T_n(t))_{t \ge 0}\) be a sequence of bounded and positive semigroups of kernel operators with Laplace transforms \((R_n(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\), and assume that there exists a number \(M \ge 0\) such that \(\Vert T_n(t) \Vert \le M\) for all \(t > 0\) and all n. Then the following are equivalent:
-
(i)
For every \(t > 0\) the sequence \((T_n(t))\) is increasing (decreasing).
-
(ii)
For every \(\lambda >0\) the sequence \((R_n(\lambda ))\) is increasing (decreasing).
If the equivalent assertions (i) and (ii) are satisfied the family of operators \((T(t))_{t \ge 0}\), defined by
for each \(f \in B_b(E)\), is a positive and bounded semigroup of kernel operators with the property \(\Vert T(t) \Vert \le M\) for all \(t > 0\). Its pseudo-resolvent \((R(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\) is given by
for all \(f \in B_b(E)\) and \({{\,\textrm{Re}\,}}\lambda > 0\).
Proof
The equivalence of (i) and (ii) is immediate from Theorem 3.2, so assume now that (i) and (ii) are satisfied.
It follows from Lemma 3.3(i) that, for each \(t > 0\), the operator \(T(t) \in \mathscr {L}(B_b(E), \sigma )\) is positive and has norm at most M. Lemma 3.3(ii) yields the semigroup law for T. Moreover, the function
is clearly measurable for all \(f \in B_b(E)\). Hence, \((T(t))_{t > 0}\) defines semigroup of kernel operators.
As explained in Sect. 2, the pseudo-resolvent operators \(R(\lambda ) \in \mathscr {L}(B_b(E), \sigma )\) satisfy
for all \(f \in B_b(E)\), \(\mu \in \mathscr {M}_b(E)\) and \({{\,\textrm{Re}\,}}\lambda > 0\). Since an analogous formula holds for \(\langle R_n(\lambda ) f, \mu \rangle \) for each n, the convergence of \(\langle R_n(\lambda ) f, \mu \rangle \) to \(\langle R(\lambda ) f, \mu \rangle \) follows from the dominated convergence theorem. \(\square \)
The convergence \(R_n(\lambda )f \rightharpoonup R(\lambda )f\) for all \(f\in B_b(E)\) in Theorem 3.4 can equivalently be expressed in terms of the full generators:
Corollary 3.5
Assume that, in the situation of Theorem 3.4, the equivalent assertions (i) and (ii) are satisfied. Denote the full generator of T by A and, for every \(n\in \mathbb {N}\), the full generator of \(T_n\) by \(A_n\) . Then we have \((u,f) \in A\) if and only if there is a sequence of pairs \((u_n,f_n)\in A_n\) with \(u_n\rightharpoonup f\) and \(f_n\rightharpoonup f\).
Proof
First assume that \((u,f)\in A\), which is equivalent to \(u=R(1)(u - f)\). We set \(g\mathrel {\mathop :}=u-f\) and \(u_n \mathrel {\mathop :}=R_n(1)g\). By assumption \(u_n \rightharpoonup u\). Moreover, \(f_n \mathrel {\mathop :}=u_n - g \rightharpoonup u- g =f\). As \((u_n, f_n) \in A_n\), we have found a sequence as claimed.
To see the converse, assume that \((u_n,f_n) \in A_n\) is such that \(u_n \rightharpoonup u\) and \(f_n \rightharpoonup f\). Let us set \(g_n \mathrel {\mathop :}=u_n - f_n\) and \(g= u-f\). Then \(R_n(1)g_n = u_n \rightharpoonup u\). On the other hand, \(R_n(1)g_n \rightharpoonup R(1)g\). Indeed, in the case where \(R_n(1)\uparrow R(1)\) we have
as this is true for the second term by assumption and follows for the first term from the \(\sigma \)-continuity of R(1). In the case where \(R_n(1)\downarrow R(1)\) one can argue similarly. Combining these two facts, it follows that \(u=R(1)g = R(1)(u-f)\), which is equivalent to \((u,f) \in A\). \(\square \)
4 The strong Feller property for the limit semigroup
Throughout this section, we again consider the situation of Theorem 3.4. We seek to impose additional assumptions that ensure that the limit semigroup enjoys the strong Feller property if the same is true for the approximating semigroups \(T_n\). In contrast to the previous section, we now require the involved semigroups to be sub Markovian. More precisely, we will assume the following:
Hypothesis 1.7 For each \(n\in \mathbb {N}\) let \((T_n(t))_{t>0}\) be a semigroup of sub Markovian kernel operators with pseudo-resolvent \((R_n(\lambda ))_{\textrm{Re}\,\lambda >0}\). Assume moreover that one of the following conditions is satisfied:
-
(1)
\(R_n(\lambda ) \le R_{n+1}(\lambda )\) for all \(\lambda >0\) and \(n\in \mathbb {N}\) or
-
(2)
\(R_n(\lambda ) \ge R_{n+1}(\lambda )\) for all \(\lambda >0\) and \(n\in \mathbb {N}\).
In either case, by Theorem 3.4 the sequence if semigroups converges to a sub Markovian semigroup of kernels operators which we denote by \((T(t))_{t>0}\); we denote its pseudo-resolvent by \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\). Moreover, we assume that the following two conditions are satisfied:
-
(A)
For every \(n\in \mathbb {N}\) the semigroup \(T_n\) enjoys the strong Feller property.
-
B)
For some \(\lambda >0\), the function \(R(\lambda )\mathbb {1}\) is continuous, i.e., an element of \(C_b(E)\).
Here, \(\mathbb {1}\) denotes the constant function on E with value 1.
We will prove in Theorem 4.3 that the additional assumptions in Hypothesis 4.1(A) and 4.1(B) imply that the limit semigroup \((T(t))_{t > 0}\) also enjoys the strong Feller property. As a preliminary result, we establish some properties of the set \(\mathscr {J}_x(t)\), defined \(t\in (0,\infty )\) and \(x\in E\) by
Lemma 4.2
Let all assumptions in Hypothesis 4.1 be satisfied (except for possibly (B), which is not needed for this lemma). For each \(t\in (0,\infty )\) and each \(x\in E\) the set \(\mathscr {J}_x(t)\) defined in (4.1) has the following properties:
-
(i)
\(\mathscr {J}_x(t)\) is a vector space;
-
(ii)
If \(f,g \in B_b(E)\) satisfy \(0\le f \le g\) and \(g \in \mathscr {J}_x(t)\), then \(f \in \mathscr {J}_x(t)\);
-
(iii)
If \(\mathbb {1}\in \mathscr {J}_x(t)\), then \(\mathscr {J}_x(t) = B_b(E)\).
Proof
We give the proof for an increasing sequence of semigroups. In the decreasing case, the proof is – mutatis mutandis – analogous.
(i) This is obvious.
(ii) Let \(0\le f \le g \in \mathscr {J}_x(t)\). By Hypothesis 4.1(A) the functions \(T_n(t)f\) are continuous, so \(T(t)f = \sup _n T_n(t)f\) is lower semicontinuous as pointwise supremum of continuous functions. Thus, if \(x_n \rightarrow x\) then \(\liminf _{n \rightarrow \infty } T(t)f(x_n) \ge T(t)f(x)\). As \(f\le g\), we have \(g-f\ge 0\) and it follows that \(T(t)(g-f) = \sup _n T_n(t)(g-f)\). Hence also \(T(t)(g-f)\) is lower semicontinuous. If we again consider a sequence \(x_n \rightarrow x\), then
However, as \(g\in \mathscr {J}_x(t)\), we have \(T(t)g(x_n) \rightarrow T(t)g(x)\) and \(\limsup _{n \rightarrow \infty } f(x_n) \le f(x)\) follows. Altogether, \(f(x_n) \rightarrow f(x)\) and thus \(f\in \mathscr {J}_x(t)\).
(iii) This is immediate from (i) and (ii). \(\square \)
Now we can proceed to our main result.
Theorem 4.3
Let Hypothesis 4.1 be satisfied. Then \((T(t))_{t > 0}\) enjoys the strong Feller property.
Proof
We only prove the theorem for a monotonically increasing sequence \((T_n)_{n\in \mathbb {N}}\); the case of a decreasing sequence is similar. Let us begin with some preliminary observations. As \((T(t))_{t > 0}\) is sub Markovian, the orbit \(t\mapsto T(t)\mathbb {1}\) is monotonically decreasing. This has two important consequences:
(i) If we have \(\mathbb {1}\in \mathscr {J}_x(t)\) for some \(x \in E\) and \(t > 0\) then, by Lemma 4.2, we also have \(T(s)\mathbb {1}\in \mathscr {J}_x(t)\) for all \(s>0\); by the semigroup law, this implies \(\mathbb {1}\in \mathscr {J}_x(t+s)\). Thus, by contraposition, if \(\mathbb {1}\not \in \mathscr {J}_x(t)\), then \(\mathbb {1}\not \in \mathscr {J}_x(s)\) for all \(s\in (0,t)\).
(ii) For fixed \(x\in E\) the scalar function \(t\mapsto T(t)\mathbb {1}(x)\) is also monotonically decreasing, so it has at most countably many discontinuities.
To prove the theorem, by Lemma 4.2 it suffices to prove that \(\mathbb {1}\in \mathscr {J}_x(t)\) for all \(x\in E\) and \(t\in (0,\infty )\). Aiming for a contradiction, let us assume that \(\mathbb {1}\not \in \mathscr {J}_{x_0}(t_0)\) for a point \(x_0 \in E\) and a time \(t_0 > 0\). It follows from points (i) and (ii) above that, by making \(t_0\) smaller if necessary, we can achieve that \(t\mapsto T(t)\mathbb {1}(x_0)\) is continuous at \(t_0\). As \(T(t_0)\mathbb {1}\) is the pointwise supremum of the continuous functions \(T_n(t_0)\mathbb {1}\), where n runs through \(\mathbb {N}\), it follows that \(T(t_0)\mathbb {1}\) is lower semicontinuous. Thus, since \(\mathbb {1}\not \in \mathscr {J}_{x_0}(t_0)\) we find a number \(\varepsilon >0\) and a sequence \(x_n\rightarrow x_0\) with \(T(t_0)\mathbb {1}(x_n) \ge T(t_0)\mathbb {1}(x_0) + 2\varepsilon \) for all \(n\in \mathbb {N}\).
By monotonicity with respect to time, \(T(s)\mathbb {1}(x_n) \ge T(t_0)\mathbb {1}(x_n) \ge T(t_0)\mathbb {1}(x_0) + 2\varepsilon \) for all \(s\in (0, t_0)\) and all \(n \in \mathbb {N}\). Since \(t\mapsto T(t)\mathbb {1}(x_0)\) is continuous at \(t_0\), we can pick \(\delta >0\) such that \(t_0-\delta >0\) and \(T(t)\mathbb {1}(x_0) \le T(t_0)\mathbb {1}(x_0) + \varepsilon \) for all \(t\in [t_0-\delta , t_0]\). It follows that \(T(t)\mathbb {1}(x_n) \ge T(t)\mathbb {1}(x_0) + \varepsilon \) for all \(t\in [t_0-\delta , t_0]\) and all \(n \in \mathbb {N}\). So to sum up we have
where the inequality in the second case follows from the lower semicontinuity of \(T(t)\mathbb {1}\).
Now consider \(\lambda \) as in Hypothesis 4.1(B). Using Fatou’s Lemma, we find
This contradicts the assumed continuity of \(R(\lambda )\mathbb {1}\). \(\square \)
Remark 4.4
Our proof of Theorem 4.3 was inspired by the argument presented for the implication ‘(vii) \(\Rightarrow \) (ii)’ in [27, Thm. 3.2]. We note, however, that this implication in [27, Thm. 3.2] is not correct in the form stated there; this was kindly confirmed to us by the author of [27].
Let us briefly provide a counterexample on \(E = (0,\infty )\). This can easily be transferred to \(\mathbb {R}\) (and thus fits into the framework of [27]) via any homeomorphism \((0,\infty ) \rightarrow \mathbb {R}\). For \(x,t > 0\), let
Then \(T(t)C_b(E) \not \subseteq C_b(E)\), while the pseudo-resolvent of T is given by
for \(x,{{\,\textrm{Re}\,}}\lambda > 0\), and thus leaves \(C_b(E)\) invariant. Note that the semigroup T leaves \(C_0(E)\) invariant, and thus satisfies all requirements of the semigroups considered in [27].
Note that a closely related semigroup appears as a limit semigroup in our Example 5.1 below.
In the situation of Theorem 4.3, it follows from Lemma 2.1 that for the limit semigroup T the map \((t,x) \mapsto T(t)f(x)\) is continuous on \((0,\infty )\times \Omega \) for every \(f\in B_b(E)\), whenever \(R(\lambda )\) acts injectively on \(C_b(E)\). We now address the question of continuity at time \(t=0\). To this end, we make the following assumption:
Hypothesis 1.11 There exists a sequence \((K_n)_{\in \mathbb {N}}\) of compact sets such that
and \(T_n(t)\mathbb {1}(x) \rightarrow 1\) as \(t\rightarrow 0\) for every \(n \in \mathbb {N}\) and every \(x\in K_n\).
Our first result concerning continuity at 0 does not require the strong Feller property:
Proposition 4.6
Assume that we are in the situation of Theorem 3.4 for \(M=1\) (i.e., all semigroups \(T_n\) are sub Markovian) and that the equivalent assertions (i) and (ii) in that theorem are satisfied for the case of increasing semigroups and pseudo-resolvents. Moreover, let Hypothesis 4.5 be satisfied. Then, for all \(f\in C_b(E)\), we have \(T(t)f \rightarrow f\) uniformly on compact sets as \(t\rightarrow 0\).
Proof
We follow the lines of [27, Lem. 3.1]. With similar arguments as in Lemma 4.2, we see that it suffices to prove that \(T(t)\mathbb {1}\rightarrow \mathbb {1}\) uniformly on compact sets as \(t\rightarrow 0\). Actually, by Dini’s theorem, it suffices to establish pointwise convergence. So fix \(x\in E\) and \(\varepsilon >0\). By Hypothesis 4.5, we find \(n_0\in \mathbb {N}\) with \(x\in K_{n_0}\). Moreover, \(T_{n_0}(t)\mathbb {1}(x) \rightarrow 1\) as \(t\rightarrow 0\), also by Hypothesis 4.5.
Consequently, there is a number \(\delta >0\) with \(T_{n_0}(t)\mathbb {1}(x) \ge 1-\varepsilon \) for all \(t\in [0,\delta ]\). It follows that \(1\ge T(t)\mathbb {1}(x)\ge T_{n_0}(t)\mathbb {1}(x) \ge 1-\varepsilon \) for all \(t\in [0,\delta ]\), proving that indeed \(T(t)\mathbb {1}(x)\rightarrow 1\) as \(t \rightarrow \infty \). \(\square \)
We should point out that for decreasing sequences, we cannot expect continuity of the limit semigroup at 0. Indeed, already for \(E=\{0\}\), i.e., \(B_b(E) \simeq \mathscr {M}_b(E) \simeq \mathbb {R}\), the semigroups \(T_n\) given by \(T_n(t) = e^{-nt}\) are monotonically decreasing to the zero semigroup 0 on \((0,\infty )\), which does not converge to 1 as \(t\rightarrow 0\).
In the situation of Proposition 4.6, it is natural to extend the semigroup T which, up to now, is only defined on \((0,\infty )\) to \([0,\infty )\) by setting \(T(0) = I\). Then Proposition 4.6 states that this extended semigroup is \(\sigma \)-continuous at 0. In the following result, we also set \(T_n(0)=I\) for the approximative semigroups \(T_n\). We note that, in general, this is not \(\sigma \)-continuous at 0 (as typically \(T_n(t)f(x) \equiv 0\) for \(x\in E\setminus K_n\)). However, repeating the arguments from Lemma 4.1, we see that Hypothesis 4.5 yields \(T_n(t)f(x) \rightarrow f(x)\) as \(t\rightarrow 0\) for every \(x\in K_n\).
Corollary 4.7
Assume that Hypothesis 4.1 is satisfied with option (1) and that Hypothesis 4.5 is satisfied. Then T is a \(C_b\)-Feller semigroup and for every \(f\in C_b(E)\) we have \(T_n(t)f (x) \rightarrow T(t)f(x)\), uniformly for (t, x) in compact subsets of \([0,\infty )\times E\). Moreover, the \(C_b\)-generator \(A_{C_b}\) of T can be characterized in terms of the full generators \(A_n\) of \(T_n\) as follows: for all \(u,f \in C_b(E)\) we have
In the second line, we can equivalently require that the sequences \(u_n\) and \(f_n\) be uniformly bounded and converge uniformly on compact sets to u and f, respectively.
Proof
By Theorem 4.3, T enjoys the strong Feller property (thus, in particular, \(C_b(E)\) is invariant under T), and Proposition 4.6 yields stochastic continuity of T, so T is a \(C_b\)-Feller semigroup. In view of [19, Thm. 2.10], the stochastic continuity implies that the operators in the pseudo-resolvent \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\) are injective on \(C_b(E)\). Thus, by Lemma 2.1 and Proposition 4.6, for \(f\in C_b(E)\) the map \((t,x)\mapsto T(t)f(x)\) is continuous on \([0,\infty )\times E\). The claimed uniform convergence on compact sets of the semigroups follows for positive functions from Dini’s theorem. The general case follows by splitting a general function into positive and negative part.
As \(A_n\cap C_b(E)\times C_b(E)\) is the generator of the restricted semigroup \(T_n|_{C_b(E)}\), the convergence of the generators can be established as in the proof of Corollary 3.5. For the addendum we note that, by Dini’s theorem, we actually have \(R_n(1)f \rightarrow R(1)f\) uniformly on compact sets for every \(f\in C_b(E)\) (even \(f\in B_b(E)\)). \(\square \)
We close this section we a note on the behaviour of the limit semigroup on the space \(C_0(E)\) which denotes, in case that the Polish space E is locally compact, the space of continuous functions on E that vanish at infinity.
Corollary 4.8
Suppose that the Polish space E is locally compact. Assume that Hypothesis 4.1 is satisfied with option (1), that Hypothesis 4.5 is satisfied and that \(T(t)C_0(E)\subset C_0(E)\) for all \(t>0\). Then \(T(t)f \rightarrow f\) as \(t \rightarrow 0\) for every \(f\in C_0(E)\), and we have \(T_n(t)f\rightarrow T(t)f\) with respect to \(\Vert \cdot \Vert _\infty \), uniformly for t in compact subsets of \([0,\infty )\).
Proof
If we set \(T(0) = I\), then the semigroup \((T(t)|_{C_0(E)})_{t \in [0,\infty )}\) is, by Corollary 4.7, \(\sigma (C_0(E), C_0(E)^*)\)-weakly continuous; hence it is strongly continuous (see [12, Thm. I.5.8]).
Next, fix \(T>0\) and \(f\in C_0(E)\). Given \(\varepsilon >0\), by the strong continuity and the compactness of [0, T], we find a compact set K such that \(|T(t)f(x)|\le \varepsilon \) (and thus \(|T(t)f(x) - T_n(t)f(x)| \le 2\varepsilon \)) for all \(t\in [0,T]\), \(n \in \mathbb {N}\) and \(x\in E\setminus K\). By Corollary 4.7, there is \(n_0\) with \(|T(t)f(x)-T_n(t)f(x)|\le 2\varepsilon \) for all \(n\ge n_0\), \(t\in [0,T]\) and \(x\in K\) so that \(\Vert T(t)f-T_n(t)f\Vert _\infty \le 2\varepsilon \) for all \(n\ge n_0\) and \(t\in [0,T]\). \(\square \)
5 Counterexamples
Clearly, Hypothesis 4.1(A) cannot be omitted in Theorem 4.3. As a simple counterexample, one can take E to be the complex unit circle and \(T_n = T\) to be the shift semigroup on \(B_b(E)\) for each n. Then the pseudo resolvent of T does not only map \(\mathbb {1}\) to a constant function, it is even strongly Feller. Still, the semigroup T is not strongly Feller.
The following example shows a slightly more involved phenomenon: here, the pseudo resolvent of the limit semigroup is also strongly Feller, but the limit semigroup does not even leave \(C_b(E)\) invariant (in contrast to the approximating semigroups).
Example 5.1
Let \(E= (0,1]\) and define for each \(n\in \mathbb {N}\) the semigroup \((T_n(t))_{t > 0}\) on \(B_b(E)\) by setting
It is easy to see that \((T_n(t))_{t > 0}\) is a sub Markovian semigroup of kernel operators. Moreover, \(T_n(t)C_b(E) \subseteq C_b(E)\) (actually, \(T_n(t)C_b(E) \subseteq C_0(E)\)) but \((T_n(t))_{t > 0}\) does not enjoy the strong Feller property. Note that for fixed \(x>t\) we have \((x-t)/x \in (0,1)\) and hence \(\root n \of {(x-t)/x} \uparrow 1\) as \(n \rightarrow \infty \). Consequently, the semigroups \(T_n\) are monotonically increasing to the semigroup T given by
Note that \(T(t)C_b(E) \not \subseteq C_b(E)\) even though the pseudo-resolvent \((R(\lambda ))_{\textrm{Re}\,\lambda >0}\) of T is given by
and thus satisfies \(R(\lambda ) B_b(E)\subseteq C_b(E)\) (even \(R(\lambda ) B_b(E)\subseteq C_b(E)\)) for all \(\textrm{Re}\,\lambda >0\), which means that Hypothesis 4.1(B) is satisfied.
We point out that if the limit semigroup T enjoys the strong Feller property (or if merely \(T(t)\mathbb {1}\) is continuous for every \(t>0\)) then Hypothesis 4.1(B) is necessarily satisfied. Our second example shows that Hypothesis 4.1(B) cannot be dropped in Theorem 4.3.
Example 5.2
Let \(d\ge 3\) and put \(\Omega _n\mathrel {\mathop :}=\mathbb {R}^d\setminus B(0, 1/n)\). We let \(T_n\) be the semigroup generated by the Dirichlet Laplacian on \(\Omega _n\) and \(R_n = (R_n(\lambda ))_{{{\,\textrm{Re}\,}}\lambda > 0}\) be the Laplace transform of that semigroup. Here, we consider functions on \(\Omega _n\) as functions on all of \(\mathbb {R}^d\), extending them by zero outside of \(\mathbb {R}^d\). By the Dirichlet boundary conditions and the regularity of \(\Omega _n\) it follows that the semigroup \(T_n\) and the pseudo resolvent \(R_n\) consist of strong Feller operators. As a consequence of the maximum principle, the resolvents \(R_n(\lambda )\) (for \(\lambda >0\)) and the semigroups \(T_n\) are monotonically increasing in n. We write \(T(t)f = \sigma \text {-}\lim _n T_n(t)f\) for \(t > 0\) and for \(f\in B_b(\mathbb {R}^d)\); it follows from Theorem 3.4 that T is a sub Markovian semigroup of kernel operators on \(B_b(\mathbb {R}^d)\) and that its pseudo resolvent R satisfies \(R(\lambda )f = \sigma \text {-}\lim _n R_n(\lambda ) f\) whenever \(f \in B_b(\mathbb {R}^d)\) and \({{\,\textrm{Re}\,}}\lambda > 0\).
Now, fix \(\lambda > 0\). By [3, Prop. 3.3], \(R_n(\lambda )f\) converges uniformly on compact subsets of \(\mathbb {R}^d\setminus \{0\}\) to the resolvent of the Dirichlet Laplacian on \(\mathbb {R}^d\setminus \{0\}\) applied to f whenever \(f \in B_b(\mathbb {R}^d)\). Moreover, as \(d\ge 3\), singletons have zero capacity whence \(\Delta _{\mathbb {R}^d} = \Delta _{\mathbb {R}^d\setminus \{0\}}\), cf. [1, Cor. 3.9]. So it follows that \(R(\lambda )\mathbb {1}(x) = 1/\lambda \) for all \(x \in \mathbb {R}^d \setminus \{0\}\).
However, we have \(R_n(\lambda )\mathbb {1}(0) = 0\) for all n, so that \(R(\lambda )f(0) = 0\). We thus conclude that \(R(\lambda )\mathbb {1}= \lambda ^{-1}\mathbb {1}_{\mathbb {R}^d\setminus \{0\}}\) is not continuous in 0, so Hypothesis 4.1(B) is not satisfied.
As for the semigroup T, it is clear that \(T(t)\mathbb {1}(0) = 0\) for all \(t>0\). For points \(x\ne 0\), the uniqueness theorem for Laplace transforms shows that \(T(t)\mathbb {1}(x) = 1\) for almost all \(t>0\). But since \(t\mapsto T(t)\mathbb {1}(x)\) is monotonically decreasing, we must have \(T(t)\mathbb {1}(x) = 1\) for all \(x\ne 0\) and \(t > 0\). Altogether \(T(t)\mathbb {1}=\mathbb {1}_{\mathbb {R}^d\setminus \{0\}}\) for all \(t>0\), proving that T does not enjoy the strong Feller property.
6 Application: elliptic operators with unbounded coefficients
In this section, we prove that a certain realization of an elliptic operator with possibly unbounded coefficients is the full generator of a sub Markovian semigroup of kernel operators that enjoys the strong Feller property. Our strategy is similar to that employed in [24]. However, making use of our theoretical results, we obtain two major benefits compared to [24]: On the one hand, the proof simplifies significantly as it now suffices to study the resolvent equation. On the other hand, we do not need to impose additional regularity assumptions on the coefficients to construct the semigroup.
We will consider differential operators \(\mathscr {A}\) of the form
Throughout, we make the following assumptions on the coefficients.
Hypothesis 1.17 For \(i,j=1, \ldots , d\) let \(a_{ij}: \mathbb {R}^d \rightarrow \mathbb {R}\) be continuous and \(b_j : \mathbb {R}^d \rightarrow \mathbb {R}\) be measurable functions such that the following properties hold:
-
(1)
We have \(a_{ij}=a_{ji}\), and
$$\begin{aligned} \sum _{i,j=1}^d a_{ij}(x)\xi _i\xi _j \ge \eta (x) |\xi |^2 \quad \text {for all } x,\xi \in \mathbb {R}^d, \end{aligned}$$where \(\eta :\mathbb {R}^d\rightarrow (0,\infty )\) is a function that satisfies \(\inf _K\eta >0\) for all \(K\Subset \mathbb {R}^d\).
-
(2)
The functions \(b_j\) are locally bounded.
To prove that a certain realization of the operator \(\mathscr {A}\) generates a semigroup of kernel operators we use, similar to [24], an approximation argument. To that end, we define the multivalued operator \(A_n\) on \(B_b(B(0,n))\) by setting
for \(u,f \in B_b(B(0,n))\). Note that for \(u\in \bigcap _{p\in (1,\infty )}W^{2,p}(B(0,n))\) the function \(\mathscr {A}u\) is only well-defined modulo equality almost everywhere. Thus, we can rephrase the above by saying that \((u,f)\in A_n\) if and only if f is a version of \(\mathscr {A}u\). This makes \(A_n\) indeed a multivalued operator. Alternatively, we could consider a single-valued operator \(\tilde{A}_n\) on \(L^\infty (B(0,n))\) by setting \(D(\tilde{A}_n) = C(\bar{B}(0,n))\cap \bigcap _{p\in (1,\infty )} W^{2,p}{B(0,n)}\) and \(\tilde{A}_n u = [\mathscr {A}u]\) where the square brackets refer to the equivalence class in \(L^\infty (B(0,n))\).
Lemma 6.2
The operator \(A_n\) is the full generator of a sub Markovian semigroup \(T_n = (T_n(t))_{t>0}\) of kernel operators on \(B_b(B(0,n))\). Moreover, \(T_n\) is a \(C_b\)-Feller semigroup that enjoys the strong Feller property.
Proof
That \(A_n\) is a generator follows from [23, Cor. 3.1.21] (cf. also [5] and [4, Thm. 3.5]). Note that, actually, in these references generation of a semigroup \(\tilde{T}_n\) on the space \(L^\infty (B(0,n))\) by the operator \(\tilde{A}_n\) introduced above was established. However, if \(q : B_b(B(0,n)) \rightarrow L^\infty (B(0,n))\) is defined by \(q f =[f]\), it is easy to see that \(T_n = \tilde{T}_n \circ q\) is a semigroup on \(B_b(B(0,n))\) with full generator \(A_n = \{ (u,f) : u \in D(\tilde{A}), q f =\tilde{A} u \}\). That this semigroup \(T_n\) consists of kernel operators which enjoy the strong Feller property follows from [4, Prop. 5.7] with \(\mu \equiv 0\). As for the stochastic continuity, first note that in view of [23, Prop. 2.1.4], it is a further consequence of [23, Cor. 3.1.21] that \(T_n(t)f \rightarrow f\) with respect to \(\Vert \cdot \Vert _\infty \) whenever \(f\in C_0(B(0,n))\). By [27, Lem. 3.1], it follows that \(T_n\) is stochastically continuous. \(\square \)
We now turn to the elliptic operator on all of \(\mathbb {R}^d\). We set
Theorem 6.3
There exists a subspace \(\hat{D} \subset D_{\textrm{max}} (A)\) such that the operator \(\hat{A} \mathrel {\mathop :}=\{ (u, f) \in \hat{D}\times B_b(\mathbb {R}^d) : \mathscr {A}u = f \text{ a.e. }\}\) is the full generator of a sub Markovian semigroup \(T=(T(t))_{t>0}\) of kernel operators. This semigroup is a \(C_b\)-Feller semigroup and enjoys the strong Feller property.
Proof
Given \(n\in \mathbb {N}\), let \(A_n\) be as in Lemma 6.2 and consider the resolvent \(R_n(\lambda )\mathrel {\mathop :}=R(\lambda , A_n)\) and the semigroup \(T_n\), generated by \(A_n\) as operators on all of \(\mathbb {R}^d\), extending functions by zero outside B(0, n). Note that in view of the imposed Dirichlet boundary conditions, this results in strong Feller operators.
Making use of the maximum principle, see [5, Lem. 3.2] for a version suitable for our setting, it is easy to see that for \(0 \le f\in C_b(\mathbb {R}^d)\) and \(\lambda >0\) the sequence \((R_n(\lambda )f)\) is monotonically increasing. This implies that the same monotonicity remains true when the operators act on \(B_b(\mathbb {R}^d)\). Now Theorem 3.4 shows that the semigroups \(T_n\) are monotonically increasing to a semigroup T whose Laplace transform is \(R(\lambda ) \mathrel {\mathop :}=\sup _n R_n(\lambda )\).
To employ Theorem 4.3, we still need to verify Assumption (B) in Hypothesis 4.1. To that end, put \(u=R(\lambda )\mathbb {1}\) and \(u_n= R_n(\lambda )\mathbb {1}\). By construction, \(u_n\) converges pointwise to u. Fix a bounded open set \(U\subset \mathbb {R}^d\) and pick \(n_0 \in \mathbb {N}\) so large, that \(\bar{U} \subset B(0, n_0)\). By [4, Lem. 3.4], there is a constant \(C=C(U, n_0)\) such that
for all \(n\ge n_0\). By the Arzelà–Ascoli Theorem, \(u_n\) has a subsequence that converges, uniformly on \(\bar{U}\), to a continuous function. This proves that u is continuous on \(\bar{U}\) and thus, as we may exhaust \(\mathbb {R}^d\) with bounded open sets, continuous on all of \(\mathbb {R}^d\). Now Theorem 4.3 yields the strong Feller property for T. As Hypothsis 4.5 is satisfied, Corollary 4.7 shows that T is a \(C_b\)-Feller semigroup.
It remains to identify the generator of T: repeating the arguments in the proof of [24, Thm. 3.4], we see that for \(0 \le f \in B_b(\mathbb {R}^d)\) the sequence \(u_n \mathrel {\mathop :}=R_n(\lambda )f\) converges, uniformly on compact sets, to a function \(u\in D_\textrm{max}(A)\) that solves the elliptic equation \(\lambda u - \mathscr {A}u = f\). As \(R(\lambda )\) is a pseudoresolvent, it follows that there exists an operator \(\hat{A}\) as claimed. \(\square \)
Remark 6.4
One might ask for the long-term behaviour of the semigroup constructed in Theorem 6.3. In [14, Sect. 7.1] this was studied under the stronger regularity assumptions on the coefficients made in [24]. Now that the semigroup can also be obtained under weaker assumptions, similar methods as in [14, Sect. 7.1] can be applied to this semigroup, too.
References
Arendt, W.: Does diffusion determine the body? J. Reine Angew. Math. 550, 97–123 (2002)
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-valued Laplace transforms and Cauchy problems. Monographs in Mathematics, vol. 96, 2nd edn. Birkhäuser/Springer Basel AG, Basel (2011)
Arendt, W., Daners, D.: Uniform convergence for elliptic problems on varying domains. Math. Nachr. 280, 28–49 (2007)
Arendt, W., Kunkel, S., Kunze, M.: Diffusion with nonlocal boundary conditions. J Funct Anal 270, 2483–2507 (2016)
Arendt, W., Schätzle, R.M.: Semigroups generated by elliptic operators in non-divergence form on \(C_0(\Omega )\). Ann. Sc. Norm. Super. Pisa Cl. Sci. 5(13), 417–434 (2014)
Banasiak, J.: How to be positive in natural sciences?, in Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8–12, Cham: Birkhäuser, 2021, pp. 31–62. (2019)
Banasiak, J., Lachowicz, M.: Around the Kato generation theorem for semigroups. Stud. Math. 179, 217–238 (2007)
Batty, C.J.K., ter Elst, A.F.M.: On series of sectorial forms. J. Evol. Equ. 14, 29–47 (2014)
Bobrowski, A.: Convergence of one-parameter operator semigroups, vol. 30 of New Mathematical Monographs. In models of mathematical biology and elsewhere, Cambridge University Press, Cambridge, (2016)
Chill R., ter Elst, A. F. M. Weak and strong approximation of semigroups on Hilbert spaces, Integral Equations Operator Theory, 90 (2018), pp. Paper No. 9, 22
Eisner, T., Serény, A.: On the weak analogue of the Trotter-Kato theorem. Taiwanese J. Math. 14, 1411–1416 (2010)
Engel, K.-J., Nagel, R.: One-parameter semigroups for linear evolution equations, vol. 194 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2000. With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt
Ethier, S. N., Kurtz, T. G.: Markov processes, Wiley Series in Probability and Mathematical Statistics: Probability and Mathematical Statistics, John Wiley & Sons, Inc., New York, 1986. Characterization and convergence
Gerlach, M., Glück, J., Kunze, M.: Stability of transition semigroups and applications to parabolic equations. Trans. Amer. Math. Soc. 376, 153–180 (2023)
Gerlach, M., Kunze, M.: On the lattice structure of kernel operators. Math. Nachr. 288, 584–592 (2015)
Haase, M. : The functional calculus for sectorial operators, no. v. 169 in Operator theory, advances and applications, Birkhäuser Verlag, 2006
Kato, T.: On the semi-group generated by Kolmogoroff’s differential equations. J. Math. Soc. Japan 6, 1–15 (1954)
Król, S.: A note on approximation of semigroups of contractions on Hilbert spaces. Semigroup Forum 79, 369–376 (2009)
Kunze, M.: Continuity and equicontinuity of semigroups on norming dual pairs. Semigroup Forum 79, 540–560 (2009)
Kunze, M.: A Pettis-type integral and applications to transition semigroups. Czechoslovak Math. J. 61(136), 437–459 (2011)
Kunze, M.: Diffusion with nonlocal Dirichlet boundary conditions on unbounded domains. Studia Math. 253, 1–38 (2020)
Lorenzi, L.: Analytical methods for Kolmogorov equations monographs and research notes in mathematics. CRC Press, Boca Raton (2017)
Lunardi, A. : Analytic semigroups and optimal regularity in parabolic problems, Modern Birkhäuser Classics, Birkhäuser/Springer Basel AG, Basel, 1995. [2013 reprint of the 1995 original]
Metafune, G., Pallara, D., Wacker, M.: Feller semigroups on \(\textbf{R} ^N\). Semigroup Forum 65, 159–205 (2002)
Ouhabaz, E.-M.: Second order elliptic operators with essential spectrum \([0,\infty )\) on \(L^p\). Comm. Partial Differ. Equ. 20, 763–773 (1995)
Revuz, D.: Markov chains. North-Holland Publishing Co., Amsterdam (1975)
Schilling, R.L.: Conservativeness and extensions of Feller semigroups. Positivity 2, 239–256 (1998)
Simon, B.: A canonical decomposition for quadratic forms with applications to monotone convergence theorems. J. Funct. Anal. 28, 377–385 (1978)
Tyran-Kamińska, M.: Transport equations and perturbations of boundary conditions. Math. Methods Appl. Sci. 43, 10511–10531 (2020)
Acknowledgements
We are indebted to René Schilling for a useful discussion concerning Theorem 3.2 in his article [27]. C.B. acknowledges funding by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – 468736785.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Budde, C., Dobrick, A., Glück, J. et al. A monotone convergence theorem for strong Feller semigroups. Annali di Matematica 202, 1573–1589 (2023). https://doi.org/10.1007/s10231-022-01293-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-022-01293-9
Keywords
- Strong Feller property
- Monotone convergence
- Parabolic PDEs with unbounded coefficients
- Transition semigroup
- Non-strongly continuous semigroups