Strongly continuous and locally equi-continuous semigroups on locally convex spaces

We consider locally equi-continuous strongly continuous semigroups on locally convex spaces (X,τ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,\tau )$$\end{document} that are also equipped with a ‘suitable’ auxiliary norm. We introduce the set N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {N}$$\end{document} of τ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\tau $$\end{document}-continuous semi-norms that are bounded by the norm. If (X,τ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(X,\tau )$$\end{document} has the property that N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {N}$$\end{document} is closed under countable convex combinations, then a number of Banach space results can be generalised in a straightforward way. Importantly, we extend the Hille–Yosida theorem. We relate our results to those on bi-continuous semigroups and show that they can be applied to semigroups on (Cb(E),β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(C_b(E),\beta )$$\end{document} and (B(H),β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathcal {B}(\mathfrak {H}),\beta )$$\end{document} for a Polish space E\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E$$\end{document} and a Hilbert space H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {H}$$\end{document} and where β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document} is their respective strict topology.


Introduction
The study of Markov processes on complete separable metric spaces (E, d) naturally leads to transition semigroups on C b (E) that are not strongly continuous with respect to the norm. Often, these semigroups turn out to be strongly continuous with respect to the weaker locally convex strict topology.
This leads to the study of strongly continuous semigroups on locally convex spaces. For equi-continuous semigroups, the theory is developed analogously to the Banach space situation for example in Yosida [35]. When characterising the operators that generate a semigroup, the more general context of locally equi-continuous semigroups introduces new technical challenges. Notably, the integral representation of the resolvent is not necessarily available. To solve this problem, Kōmura [26],Ōuchi [10] and Dembart [19] have studied various generalised resolvents. More recently, Albanese and Kühnemund [2] also study asymptotic pseudo resolvents and give a Trotter-Kato approximation result and the Lie-Trotter product formula.
A different approach is used in recent papers where a subclass of locally convex spaces (X, τ ) is considered for which the ordinary representation of the resolvent can be obtained. Essentially, these spaces are also equipped with a norm ||·|| such (X, ||·||) is Banach and such that the dual (X, τ ) is norming for (X, ||·||). Bi-continuous semigroups have been studied in [3,14,22], in which the Hille-Yosida, Trotter Approximation theorem and perturbation results have been shown. Bi-continuity has the drawback, however, that it is a non-topological notion. Kunze [23,24] studies semigroups of which he assumes that the resolvent can be given in integral form. His notions are topological, and he gives a Hille-Yosida theorem for equi-continuous semigroups.
In Sect. 3, we start with some minor results for locally convex spaces (X, τ ) that are strong Mackey. These spaces are of interest, because a strongly continuous semigroup on a strong Mackey space is automatically locally equi-continuous, which extends a result by Kōmura [19] for barrelled spaces.
From that point onward, we will consider sequentially complete locally convex spaces (X, τ ) that are additionally equipped with an 'auxiliary' norm. We assume that the norm topology is finer than τ , but that the norm and τ bounded sets coincide. In Sect. 4, we define N as the set of τ continuous semi-norms that are bounded by the norm. We say that the space satisfies Convexity Condition C if N is closed under taking countable convex combinations. This property allows the generalisation of a number of results in the Banach space theory. First of all, strong continuity of a semigroup on a space satisfying Condition C implies the exponential boundedness of the semigroup. Second, in Sect. 5, we show that the resolvent can be expressed in integral form. Third, in Sect. 6, we give a straightforward proof of the Hille-Yosida theorem for strongly continuous and locally equi-continuous semigroups.
The strength of spaces that satisfy Condition C and the set N is that results from the Banach space theory generalise by replacing the norm by semi-norms from N . Technical difficulties arising from working with the set N instead of the norm are overcome by the probabilistic techniques of stochastic domination and Chernoff's bound, see Appendix.
In Sect. 7, we consider τ bi-continuous semigroups. We show that if the so called mixed topology γ = γ (||·|| , τ ), introduced by Wiweger [34], has good sequential properties, bi-continuity of a semigroup for τ is equivalent to strong continuity and local equi-continuity for γ .
In Sect. 8, we show that the spaces (C b (E), β) and (B(H), β), where E is a Polish space, H a Hilbert space and where β is their respective strict topology, are strong Mackey and satisfy Condition C. This implies that our results can be applied to Markov transition semigroups on C b (E) and quantum dynamical semigroups on B(H).

Preliminaries
We start with some notation. Let (X, τ ) be a locally convex space. We call the family of operators {T (t)} t≥0 a semigroup if T (0) = 1 and T (t)T (s) = T (t + s) for s, t ≥ 0.

(b) (X, τ ) is sequentially complete and bornological. (c) The space (X, τ ) is sequentially complete, Mackey and the continuous dual X of
X is equal to the sequential dual X + of X .
A space for which X + = X is called a Mazur space [33], or weakly semi bornological [4]. Note that a Mackey Mazur space satisfies τ = τ + by Corollary 7.6 in [33]. On the other hand, a space such that τ + = τ is Mazur.
We now prove (c). The sequential completeness of (X, τ ) and X = X + imply that (X , μ(X , X )) is complete by Corollary 3.6 in Webb [32].
As an application of Lemma 3.2, we have the following proposition, which states that strong continuity is determined by local properties of the semigroup.

Proposition 3.4 A semigroup {T (t)} t≥0 of continuous operators on a strong Mackey space is strongly continuous if and only if the following two statements hold
In the Banach space setting, strong continuity of the semigroup is equivalent to strong continuity at t = 0, see Proposition I.5.3 in Engel and Nagel [12]. In the more general situation, this equivalence does not hold, see Example 5.2 in Kunze [23].
Proof Suppose that {T (t)} t≥0 is strongly continuous. (i) follows immediately and (ii) follows from Lemma 3.2.
For the converse, suppose that we have (i) and (ii) for the semigroup {T (t)} t≥0 . First, we show that lim t↓0 T (t)x = x for every x ∈ X . Pick some x ∈ X and let x α be an approximating net in D and let p be a continuous semi-norm and fix ε > 0. We have Choose α large enough such that the first and third term are smaller than ε/3. This can be done independently of t, for t in compact intervals, by the local equi-continuity of {T (t)} t≥0 . Now let t be small enough such that the middle term is smaller than ε/3.
We proceed with the proving the strong continuity of {T (t)} t≥0 . The previous result clearly gives us lim s↓t T (s)x = T (t)x for every x ∈ X , so we are left to show that  [20].
So even if (X, τ ) is strong Mackey, we can have semigroups that have undesirable properties. This issue is serious. For example, in the above example, formally writing the resolvent corresponding to the semigroup in its integral form, yields a function which is not in C ∞ c (R). One can work around this problem, see for example [10,19,26] which were already mentioned in the introduction.
However, motivated by the study of Markov processes, where the resolvent informally corresponds to evaluating the semigroup at an exponential random time, we would like to work in a framework in which the ordinary integral representation for the resolvent holds.

A suitable structure of bounded sets
In this section, we shift our attention to another type of locally convex spaces. As a first major consequence, we are able to show in Corollary 4.7 an analogue of the exponential boundedness of a strongly continuous semigroup on a Banach space. This indicates that we may be able to mimic major parts of the Banach space theory.
Suppose that (X, τ ) is a locally convex space, and suppose that X can be equipped with a norm ||·||, such that τ is weaker than the norm topology. It follows that bounded sets for the norm are bounded sets for τ . This means that if we have a τ -continuous semi-norm p, then there exists some M > 0 such that sup x:||x||≤1 p(x) ≤ M. Therefore, p(x) ≤ M ||x|| for every x, i.e. every τ -continuous semi-norm is dominated by a constant times the norm. Definition 4.1 Let (X, τ ) be equipped with a norm ||·|| such that τ is weaker than the norm topology. Denote by N the τ -continuous semi-norms that satisfy p(·) ≤ ||·||.
We say that N is countably convex if for any sequence p n of semi-norms in N and α n ≥ 0 such that n α n = 1, we have that p(·):= n α n p n (·) ∈ N .
We start with exploring the situation where τ and ||·|| have the same bounded sets.
Remark 4.2 Suppose that (X, τ ) is a locally convex space, and suppose that ||·|| is a norm on X such that the norm topology is stronger than τ , but such that the norm topology has less bounded sets than τ .
We introduce some notation. We write X n :=(X, ||·||) and X τ :=(X, τ ) . Also, we denote B n :={x ∈ X n | x ≤ 1}, where ||·|| is the operator norm on X n . Finally, we set B τ = B n ∩ X τ . We start with a well known theorem that will aid our exposition.   [20]. The fact that S ⊆ B τ is a consequence of p ∈ N .

Lemma 4.4
Let (X, τ ) be sequentially complete locally convex space, and ||·|| a norm on X such that the norm topology is stronger than τ . Then the following are equivalent.
In all cases, the topology generated by ||·|| is the β(X, X τ ) topology and is Banach. The norm can equivalently be written as (4.1) Proof We start with the proof of (a) to (b). Define the β(X, X τ ) continuous norm |||x||| := sup x ∈B τ | x, x |. Note that |||·||| ≤ ||·|| by construction. It follows that the ||·|| topology is stronger than the |||·||| topology, which is in turn stronger than τ . The bounded sets of the two extremal topologies are the same, so the ||·|| and the |||·||| bounded sets coincide. Thus, there is some c ≥ 1 such that |||·||| ≤ ||·|| ≤ c |||·|||. But this means that ||·|| is β(X, X τ ) continuous, and thus τ lower semi-continuous. Now assume (b), we prove (a). As τ is weaker than the norm topology, it follows that the norm topology has less bounded sets. On the other hand, as the norm is τ lower semi-continuous, it is continuous for the strong topology β(X, X τ ). Therefore, the strong topology has less bounded sets than the norm topology. As (X, τ ) is sequentially complete, the Banach-Mackey theorem, 20.11.(3) in Köthe [20] shows that the strongly bounded sets and the τ bounded sets coincide, which implies (a).
The usefulness of N becomes clear from the next three results. Intuitively, the next two lemmas tell us that in the study of semigroups on these locally convex spaces the collection N replaces the role that the norm plays for semigroups on Banach spaces.
Furthermore, if the family {T α } α∈I is τ -equi-continuous, then there exists M ≥ 0 such that these properties hold.
Proof The implication (b) to (a) follows from Eq. (4.1). For the proof of (a) to (b), fix some semi-norm p ∈ N . As the family {T α } α∈I is τ -equi-continuous, there is some continuous semi-normq such that sup α∈I p(T α x) ≤q(x). This implies that q(x):=M −1 sup α∈I p(T α x) is τ -continuous. We conclude that q ∈ N by noting that In particular, we have the following result.  As a corollary, we obtain an exponential growth bound.

Corollary 4.7 Let (X, τ, ||·||) satisfy Condition B. For a locally equi-continuous semigroup {T (t)} t≥0 , there is M ≥ 1 and ω ∈ R such that for every T ≥ 0 and every
for every x ∈ X . Without loss of generality, we can always choose q ∈ N to dominate p. We use this property to construct an increasing sequence of semi-norms in N . Fix some p ∈ N and pick q 0 ≥ p such that it satisfies the property in Eq. (4.2). Inductively, let q n+1 ∈ N be a semi-norm such that q n+1 ≥ q n and sup t≤1 q n+1 (T (t)x) ≤ Mq n (x). Now let t ≥ 0. Express t = s + n where n ∈ N and 0 ≤ s < 1, then it follows that This last result inspires the following definition, which is clearly analogous to the situation for semigroups in Banach spaces. Definition 4. 8 We say that a semigroup on a space (X, τ, ||·||) that satisfies Condition B is of type (M, ω), M ≥ 1 and ω ∈ R, if for every p ∈ N and T ≥ 0 there exists q ∈ N such that sup for all x ∈ X . We say that it is of type Furthermore, we define the growth bound ω 0 of {T (t)} t≥0 by It follows that if a semigroup is of type (M, ω) for some M and ω, then it is locally equi-continuous. Furthermore, if it is of type (M, ω) * it is quasi equi-continuous.
(c) Both topologies have the same bounded sets. (d) N is countably convex.
We give some conditions that imply that N is countably convex. Interestingly, the same spaces that are strong Mackey, if equipped with a suitable norm, also turn out to satisfy Condition C.
We say that a space (X, τ ) is transseparable if for every open neighbourhood U of 0, there is a countable subset A ⊆ X such that A + U = X . Note that a separable space is transseparable.

Proposition 4.9
Let (X, τ ) be a sequentially complete locally convex space that is also equipped with some norm ||·|| such that τ is weaker than the norm topology and such that both topologies have the same bounded sets. The set N is countably convex if either of the following hold
Proof of Proposition 4.9 Pick p n ∈ N and α n ≥ 0, such that n α n = 1. Define p(·) = n α n p n (·). First of all, it is clear that p is a semi-norm. Thus, we need to show that p is τ continuous.
Suppose that τ + = τ . By Theorem 7.4 in Wilansky [33] a sequentially continuous semi-norm is continuous. Thus it is enough to show sequential continuity of p. This follows directly from the dominated convergence theorem, as every p n is continuous and p n (·) ≤ ||·||.
For the proof of (b) and (c), we need the explicit form of the semi-norms in N given in Theorem 4.3. Recall that B τ :={x ∈ (X, τ ) | x ≤ 1}. If q ∈ N , then there is an absolutely convex closed and equi-continuous set S ⊆ B τ such that We proceed with the proof of (b). The sequence of semi-norms p n are all of the type described above. So let S n be the equi-continuous subset of B τ that corresponds to p n . Define the set The dual local completeness of (E, τ ) shows that these limits exists by Theorem 2.3 in [28]. Under the stronger assumption that (X τ , σ (X τ , X )) is sequentially complete this is obvious.
To finish the proof of case (b), we prove two statements. The first one is that p(x) = sup x ∈S | x, x |, the second is that S is τ equi-continuous. Together these statements imply that p is τ continuous.
We start with the first statement. For every x ∈ X , there are x n ∈ S n such that p n (x) = x, x n by construction. Therefore, On the other hand, Combining these statements, we see that We prove the equi-continuity of S. Consider S n equipped with the restriction of the σ (X τ , X ) topology. Define the product space P:= ∞ n=1 S n and equip it with the product topology. As every closed equi-continuous set is σ (X τ , X ) compact by the Bourbaki-Alaoglu theorem [20, 20.9. (4)], P is also compact. Let where we use in line four that all x β,n and x n are elements of B τ . As a consequence, S, as the continuous image of a compact set, is σ (X τ , X ) compact. S is also absolutely convex, as it is the image under an affine map of an absolutely convex set. As (X, τ ) is Mackey, this yields that S is equi-continuous, which in turn implies that p is τ continuous.
The proof of (c) follows along the lines of the proof of (b). The proof changes slightly as we can not use that a σ (X τ , X ) compact set is equi-continuous. We replace this by using transseparability. We adapt the proof of (b).
As (X, τ ) is transseparable, the σ (X τ , X ) topology restricted to S n is metrisable by Lemma 1 in Pfister [27]. This implies that the product space P:= ∞ n=1 S n with the product topology T is metrisable. By 34.11.(2) in Köthe [21], we obtain that S, as the continuous image of a metrisable compact set, is metrisable. The equi-continuity of S now follows from corollaries of Kalton's closed graph theorem, see Theorems 2.4 and 2.6 in Kalton [18] or 34.11.(6) and 34.11.(9) in [21].
We show that that the spaces mentioned in Proposition 3.3 satisfy (b). If (X, τ ) is Mackey and X = X + , then τ + = τ by Theorem 7.4 and Corollary 7.5 in [33]. A sequentially complete bornological space is barrelled, so to complete the proof, we only need to consider barrelled spaces. The topology of a barrelled space coincides with the strong topology, therefore a weak Cauchy sequence in X τ is equi-continuous and thus has a weak limit [31,Proposition 32.4].

Infinitesimal properties of semigroups
We now start with studying the infinitesimal properties of a semigroup. Besides the local equi-continuity which we assumed for all results in previous section, we will now also assume strong continuity.
We directly state the following weaker form of Proposition 3.4 for later reference.

Lemma 5.1 Let {T (t)} t≥0 be a locally equi-continuous semigroup on a locally convex
space (X, τ ). Then the following are equivalent.
The generator (A, D(A)) of a SCLE semigroup {T (t)} t≥0 on a locally convex space (X, τ ) is the linear operator defined by We say that The generator (A, D(A)) satisfies the following well known properties. The proofs can be found for example as Propositions 1.2, 1.3 and 1.4 in Kōmura [19].
The integral in (d) should be understood as a τ Riemann integral. This is possible due to the strong continuity and the local-equi continuity of the semigroup.
Define the spectrum of (A, Remark 5. 3 We will not touch on the subject in this paper, but sequential completeness implies that multiplication in the locally convex algebra of operators on X is bounded. This is enough to develop spectral theory, for references see Section 40.5 in Köthe [21]. Proof The proof of the first item is standard. We give the proof of (b) for completeness. Let λ be such that Re λ > ω. First, for every a > 0 the integral R a (λ)x:= a 0 e −λt T (t)x dt exists as a τ Riemann integral by the local equi-continuity of {T (t)} t≥0 and the sequential completeness of (X, τ ).
The sequence n → R n (λ)x is a τ Cauchy sequence for every x ∈ X , because for every semi-norm p ∈ N and m > n ∈ N there exists a semi-norm q ∈ N such that Therefore, n → R n (λ)x converges by the sequential completeness of (X, τ ). (c) follows directly from (a) and (b).
We have shown that if Re λ > ω 0 , then λ ∈ ρ(A). We can say a lot more.
For the proof of the theorem, we will make use of Chernoff's bound and the probabilistic concept of stochastic domination. A short explanation and some basic results are given in the Appendix.

Proof
In the proof, we will write s for the smallest integer n ≥ s. Clearly, the τ continuity of R(λ, A) follows directly from the result in Eq. (5.1), so we will start to prove (5.1). Without loss of generality, we can rescale and prove the result for a semigroup of type (M, 0).
Let λ 0 > 0. Fix some semi-norm p ∈ N . By the local equi-continuity of {T (t)} t≥0 , we can find semi-norms q n ∈ N , increasing in n, such that sup s≤n p(T (s)x) ≤ Mq n (x).
By iterating the representation of the resolvent given in Proposition 5.4, we see for every x ∈ X . On the right hand side, we have the semi-norm q n,Re λ := ∞ 0 (nRe λ) n s n−1 (n − 1)! e −snRe λ q s ds in N by the countable convexity of N and the fact that we integrate with respect to a probability measure. We denote this measure on [0, ∞) by μ n,Re λ ( ds) = (nRe λ) n s n−1 (n − 1)! e −snRe λ ds, and with B n,Re λ a random variable with this distribution. As a consequence, we have the following equivalent definitions: To show equi-continuity of (nRe λ) n R(λn) n , we need to find one semi-norm q ∈ N that dominates all q n,Re λ for n ≥ 0 and Re λ ≥ λ 0 . Because s → q s (x) is an increasing and bounded function for every x ∈ X , the result follows from Lemma 8.8, if we can find a random variable Y that stochastically dominates all B n,Re λ .
In other words, we need to find a random variable that dominates the tail of the distribution of all B n,Re λ . To study the tails, we use Chernoff's bound, Proposition 8. 10.
Let g(s, α, β):= β α s α−1 (α) e −βs , s ≥ 0, α, β > 0 be the density with respect to the Lebesgue measure of a Gamma(α, β) random variable. Thus, we see that B n,Re λ has a Gamma(n, nRe λ) distribution. A Gamma(n, nRe λ) random variable can be obtained as the n-fold convolution of Gamma(1, nRe λ) random variables, i.e. exponential random variables with parameter nRe λ. Probabilistically, this means that a Gamma(n, nRe λ) can be written as the sum of n independent exponential random variables with parameter nRe λ. An exponential random variable η that is E x p(β) distributed has the property that 1 n η is E x p(nβ) distributed. Therefore, we obtain that B n,Re λ = 1 n n i=1 X i,Re λ where {X i,β } i≥1 are independent copies of an E x p(β) random variable X β .
This implies that we are in a position to use a Chernoff bound to control the tail probabilities of the B n,Re λ . An elementary calculation shows that for 0 < θ < Re λ, Define the non-negative function We use this result to find a random variable that stochastically dominates all B n,Re λ for n ∈ N and Re λ ≥ λ 0 . Define the random variable Y on [λ −1 0 , ∞) by setting First note that for fixed c ≥ λ −1 0 , the function α → φ(c, α) is increasing. Also note that φ ≥ 0. Therefore, it follows by Eq. (5.2) that for λ such that Re λ ≥ λ 0 and c ≥ λ −1 0 , we have Combining these two statements gives Y B n,Re λ for n ≥ 1 and λ such that Re λ ≥ λ 0 . This implies by Lemma 8.8 that By the countable convexity of N , q is continuous and in N , which proves the second statement of the theorem.
The strengthening to the case where the semigroup is of type (M, ω) * is obvious, as it is sufficient to consider just one semi-norm q ∈ N for every p ∈ N .

Generation results
The goal of this section is to prove a Hille-Yosida result for locally equi-continuous semigroups. First, we start with a basic generation result for the semigroup generated by a continuous linear operator. Proof First, we show that the infinite sum in Eq. (6.1) is well defined. As τ is weaker than the norm-topology, it is sufficient to prove that the sum exists as a norm limit. By Condition C and Lemma 4.4, (X, ||·||) is a Banach space. Therefore, we need to show for some fixed t ≥ 0 and x ∈ X that the sequence y n = n k=0 t k G k x k! is Cauchy for ||·||. Note that as G is τ continuous, it is also norm continuous. Suppose that n ≥ m, then we have which can be made arbitrarily small by choosing m large.
We proceed with showing that the τ continuous operators S n (t) : X → X defined for x ∈ X by S n (t)x:= n k=0 t k G k x k! are equi-continuous. As in the proof of Lemma 4.5, the fact that G is τ continuous implies that for every p ∈ N , there exists q ∈ N such that p(Gx) ≤ ||G|| q(x) for all x ∈ X . Use this method to construct for a given p ∈ N an increasing sequence of semi-norms q n ∈ N , q 0 := p, such that q n (Gx) ≤ ||G|| q n+1 (x) for every n ≥ 0 and x ∈ X . As a consequence, we obtain is a continuous semi-norm in N by Condition C (d). The semi-norm q t is independent of n which implies that {S n (t)} n≥1 is τ equi-continuous. It follows that S(t) is τ continuous: pick a net x α in X that converges to x ∈ X with respect to τ . Let p ∈ N , then By first choosing α, and then n large enough, we see p (S(t)x α − S(t)x) → 0. By stochastic domination of Poisson random variables, Lemmas 8.8 and 8.9, it follows that for t ≤ T , we have that To prove strong continuity, it suffices to check that lim t↓0 S(t)x = x for every x ∈ X by Lemma 5.1. To that end, again consider p ∈ N , we see Note that the first order term vanishes. Therefore, the Dominated convergence theorem implies that the limit is 0 as t ↓ 0.
In the proof of the Hille-Yosida theorem on Banach spaces, the semigroup is constructed as the limit of semigroups generated by the Yosida approximants. In the locally convex context, we need to take special care of equi-continuity of the approximating semigroups.
Suppose we would like to generate a locally equi-continuous semigroup e t A for some operator operator (A, D(A)). The next lemma will yield joint local equicontinuity of the semigroups generated by the Yosida approximants by taking H n = n R(n, A). (X, τ ) satisfy Condition C. Let {H n } n≥1 be a family of operators in L(X, τ ) such that for every p ∈ N there is q ∈ N such that

Lemma 6.2 Let
for all x ∈ X . Then, the semigroups e t (n H n −n) are jointly locally equi-continuous.
Proof By Lemma 6.1, we can define the semigroups S n (t):=e t (n H n −n) . We see that which intuitively corresponds to taking the expectation of k → H k n x under the law of a Poisson random variable with parameter n. We exploit this point of view to show equi-continuity of the family {S n (t)} t≤T,n≥1 for some arbitrary fixed time T ≥ 0.
Let {Z μ } μ≥0 be a family of independent random variables, where Z μ has a Poisson(μ) distribution. For t ≥ 0 and n ≥ 1 let B n,t := Z nt n . The random variable B n,t is obtained from Z nt as follows: 0 is mapped to 0, and the values {nl + k} n k=1 are mapped to l + 1. Fix a semi-norm p ∈ N and use Eq. (6.2) to construct an increasing sequence of semi-norms in N : q 0 = p, q 1 , . . . such that every pair q l , q l+1 satisfies the relation in (6.2). As a consequence, we obtain We see that, as in the proof of Theorem 5.5, we are done if we can find a random variable Y that stochastically dominates all B n,t for n ≥ 1 and t ≤ T .
We calculate the tail probabilities of B n,t in the case that t > 0. If t = 0, all tail probabilities are 0. By the definition of B n,t , As Z nt is Poisson(nt) distributed, we can write it as Z nt = n i=1 X i where {X i } i≥0 are independent and Poisson(t) distributed. This implies that we can apply Chernoff's bound to 1 n Z nt , see Proposition 8.10. First of all, for all θ ∈ R, we have E e θ X = exp{t (e θ − 1)}. Evaluating the infimum in Chernoff's bound for k ≥ T , T ≥ t yields Define the function For k < T , we have by definition that P[Y > k] ≥ P[B n,t > k] as the probability on the left is 1. For k ≥ T , an elementary computation shows that for fixed k and t ≤ T the function φ(k, t) is decreasing in t. This implies that In other words, we see Y B n,t for all n ≥ 1 and 0 < t ≤ T . For the remaining cases, where t = 0, the result is clear as B n,t = 0 with probability 1. By Lemma 8.8 and the bound in (6.3), we obtain that The semi-norm q(x) is in N by the countable convexity of N . We conclude that the family {S n (t)} t≤T,n≥1 is equi-continuous. (A, D(A)) be a closed, densely defined operator such that there exists an ω ∈ R such that (ω, ∞) ⊆ ρ(A) and such that for every λ 0 > ω and semi-norm p ∈ N , there is a continuous semi-norm q such that sup λ≥λ 0 pλR(λ)x ≤ q(x) for every x ∈ X. As λ → ∞, we have

Lemma 6.3 Let (X, τ, ||·||) satisfy Condition C. Let
The lemma can be proven as in the Banach space case [12,Lemma II.3.4]. We have now developed enough machinery to prove a Hille-Yosida type theorem which resembles the equivalence between (a) and (b) of Theorem 16 in [22]. (X, τ ), the following are equivalent.

Theorem 6.4 Let (X, τ, ||·||) satisfy Condition C. For a linear operator (A, D(A)) on
(a) (A, D(A)) generates a SCLE semigroup of type (M, ω). A, D(A)) is closed, densely defined and there exists ω ∈ R and M ≥ 1 such that for every λ > ω one has λ ∈ ρ(A) and for every semi-norm p ∈ N and λ 0 > ω there exists a semi-norm q ∈ N such that for all x ∈ X one has A, D(A)) is closed, densely defined and there exists ω ∈ R and M ≥ 1 such that for every λ ∈ C satisfying Re λ > ω, one has λ ∈ ρ(A) and for every semi-norm p ∈ N and λ 0 > ω there exists a semi-norm q ∈ N such that for all x ∈ X and n ∈ N sup By a simplification of the arguments, or arguing as in Section IX.7 in Yosida [35], we can also give a necessary and sufficient condition for the generation of a quasi equicontinuous semigroup of type (M, ω) * , which corresponds with the result obtained in which implies that the semigroup is of type (M, ω ) * . We state this as a corollary.
As Eq. (6.4) implies (6.5), it is sufficient, for the construction of a semigroup, to use the weaker result as in Kunze [23]. However, one obtains that the semigroup is of type (M, ω ) for ω > ω, which does not give any control if the semigroup is rescaled by e −ωt . A semigroup that is of type (M , ω ) for all ω > ω is not necessarily of type (M, ω) for any M ≥ M as is shown in Example I.5.7(ii) in [12].
The proof of the Hille-Yosida theorem stated here, however, gives explicit control on the semigroup rescaled by e −ωt via the construction in Lemma 6.2 and gives a result as strong as the equivalence of (a) and (b) of Theorem 16 in [22].
Proof of Theorem 6.4 (a) to (c) is the content of Theorem 5.5 and (c) to (b) is clear. So we need to prove (b) to (a).
First note that we can always assume that ω = 0 by a suitable rescaling. We start by proving the result for ω = 0 and M = 1. We follow the lines of the proof of the Hille-Yosida theorem for Banach spaces in Engel and Nagel [12,Theorem II.3.5].
These operators commute and for every n A n satisfies the condition in Lemma 6.1. Furthermore, we can apply Lemma 6.2 for the operators H n = n R(n). Note that Eq. (6.2) is satisfied as a consequence of Eq. (6.4), as the latter implies for all x, which in turn can be rewritten to for all x ∈ X . Hence, we obtain that the operators A n generate jointly locally equicontinuous strongly continuous commuting semigroups t → T n (t) of type (1, 0). We show that there exists a limiting semigroup. Let x ∈ D(A) and t ≥ 0, the fundamental theorem of calculus applied to s → T m (t − s)T n (s)x for s ≤ t, yields By Lemma 6.2, we obtain that for every semi-norm p ∈ N there exists q ∈ N such that Hence, for x ∈ D(A) the sequence n → T n (s)x is τ -Cauchy uniformly for s ≤ t by Lemma 6.3(b). The joint local equi-continuity of {T n (t)} t≥0,n≥1 implies that this property extends to all x ∈ X . Define the point-wise limit of this sequence by T (s)x:= lim n T n (s)x. This directly yields that the family {T (s)} s≤t is equi-continuous, because it is contained in the closure of an equi-continuous set of operators, Proposition 32.4 in Treves [31]. Consequently, this shows that {T (t)} t≥0 is a locally equi-continuous set of operators of type (1, 0).
The family of operators {T (t)} t≥0 is a semigroup, because it is the point-wise limit of the semigroups {T n (t)} t≥0 . We show that it is strongly continuous by using Lemma 5.1. Let p ∈ N and x ∈ D(A), then for every n: As p(T (t)x − T n (t)x) → 0, uniformly for t ≤ 1, we can first choose n large to make the first term on the right hand side small, and then t small, to make the second term on the right hand side small.
We still need to prove that the semigroup {T (t)} t≥0 has generator (A, D(A)). Denote with (B, D(B)) the generator of {T (t)} t≥0 . For x ∈ D(A), we have for a continuous semi-norm p that for some continuous semi-norm q. By repeating the argument that led to (6.6), we can rewrite the first term on the second line to obtain By first choosing n large and then t small, we see that We extend the result for general M ≥ 1. The strategy is to define a norm on X that is equivalent to ||·|| for which the semigroup that we want to construct is (1, 0) bounded. Equations (4.1) and (6.4) imply that ||μ n R(μ) n || ≤ M. Define ||x|| μ := sup n≥0 μ n R(μ) n x and then define |||x||| := sup μ>0 ||x|| μ . This norm has the property that ||x|| ≤ |||x||| ≤ M ||x|| and |||λR(λ)||| ≤ 1 for every λ > 0, see the proof of Theorem II.3.8 in [12]. Use this norm to define a new set of continuous semi-norms as in Definition 4.1 by N * :={ p | pis a τ continuous semi − norm such that p(·) ≤ |||·|||}.
As a consequence of |||λR(λ)||| ≤ 1 and the τ continuity of λR(λ), we obtain that for every p ∈ N * there exists q ∈ N * such that p(λR(λ)x) ≤ q(x) for every x ∈ X . Likewise, we obtain for every λ 0 > 0 that for every p ∈ N * there exists q ∈ N * such that sup This means that we can use the first part of the proof to construct a SCLE semigroup {T (t)} t≥0 that has bound (1, 0) with respect to N * .
Let T ≥ 0. Pick a semi-norm p ∈ N . It follows that p ∈ N * , so there exists a q ∈ N * such that sup t≤T p(T (t)x) ≤ q(x) for all x ∈ X .

Relating bi-continuous semigroups to SCLE semigroups
Bi-continuous semigroups were introduced by Kühnemund [22] to study semigroups on Banach spaces that are strongly continuous with respect to a weaker locally convex topology τ and where τ has good sequential properties on norm bounded sets. We will consider the mixed topology γ :=γ (||·|| , τ ), introduced by Wiweger [34], also see [9], which is the strongest locally convex topology that coincides with τ on norm bounded sets. We will show that if γ satisfies γ + = γ , then bi-continuity of a semigroup for τ is equivalent to being SCLE for γ .
We start with the assumptions underlying bi-continuous semigroups.

Condition 7.1
Let (X, ||·||) be a Banach space with continuous dual X n and dual unit ball B n . Let τ be another, coarser, locally convex topology on X , with continuous dual X τ and dual unit ball B τ = B n ∩ X τ that has the following two properties.
(a) The space (X, τ ) is sequentially complete on norm bounded sets.
An operator family {T (t)} t≥0 of norm continuous operators on X is called locally bi-continuous if for any t 0 ≥ 0 and for any norm bounded sequence {x n } n≥0 that converges to x in X with respect to τ , we have uniformly for t ≤ t 0 . Kühnemund [22] then introduces bi-continuous semigroups.  We will compare bi-continuous semigroups for τ with SCLE semigroups for mixed topology γ :=γ (||·|| , τ ).
Proof By Condition 7.1, τ and ||·|| satisfy properties (n), (o) and (d) in [34]. Thus, it follows by the Corollary of 2.4.1 in [34] that the γ bounded sets equal the norm bounded sets. By 2.2.1 in [34], γ coincides with τ on norm bounded sets, which implies that γ is sequentially complete.
The final statement follows from Proposition 4.9.
The definition of bi-continuous semigroups is given using the convergence of sequences. Therefore, we expect a connection to SCLE semigroups if γ + = γ . Theorem 7.4 Let (X, τ, ||·||) satisfy Condition 7.1 and let γ be such that γ + = γ .

{T (t)} t≥0 is bi-continuous for τ if and only if it is SCLE for γ .
This theorem is an extension of Theorem 3.4 in [15], see also Sect. 8.1.
As a γ converging sequence is norm bounded, it converges for τ . Thus {T (t)} t≤t 0 is sequentially equi-continuous for γ by the local bi-continuity of {T (t)} t≥0 . It follows that for a γ continuous semi-norm p there exists a sequentially continuous semi-norm q such that sup for all x ∈ X . However, using that γ + = γ and Theorem 7.4 in [33], q is γ continuous. In other words, {T (t)} t≥0 is locally equi-continuous. Now let Let {T (t)} t≥0 be SCLE for γ . The semigroup is exponentially bounded by Corollary 4.7. Thus, 2.2.1 in [34] implies that t → T (t)x is τ continuous for every x ∈ X and that {T (t)} t≥0 is τ locally bi-continuous.

The strict topology
We give two examples where a strict topology can be defined. In both cases, this topology is strongly Mackey and satisfies Condition C.
For the first example, let E be a Polish space. We will define the strict topology β on C b (E) which is a particularly nice topology as the continuous dual of (C b (E), β) is the space of Radon measures on E of finite total variation. Therefore, this topology is useful for, for example, the study of transition semigroups of Markov processes.
For the second example, we take a Hilbert space H and consider the strict topology β on B(H), the space of bounded operators on H. The dual of (B(H), β) is the space of normal linear functionals, which are at the basis of non-commutative measure theory [6,17,29]. As a consequence, the space (B(H), β) is suitable for the study of quantum dynamical semigroups.

Definition and basic properties of the strict topology on C b (E)
For every compact set K ⊆ E, define the semi-norm p K The compact open topology κ on C b (E) is generated by the semi-norms { p K | K compact}. Now define semi-norms in the following way. Pick a non-negative sequence a n in R such that a n → 0. Also pick an arbitrary sequence of compact sets K n ⊆ E. Define p (K n ),(a n ) ( f ):= sup n a n p K n ( f ).
The strict topology β = γ (||·|| , κ) defined on C b (E) is generated by the semi-norms p (K n ),(a n ) K n compact, a n ≥ 0, a n → 0 , see Theorem 3.1.1 in Wiweger [34] and Theorem 2.4 in Sentilles [11]. Note that in the latter paper, the topology introduced here is called the substrict topology. However, Sentilles shows in Theorem 9.1 that the strict and the substrict topology coincide when the underlying space E is Polish. Note that if additionally (E, d) is locally compact, then the topology can also be given by the collection of semi-norms Obviously, C b (E) can also equipped with the sup norm topology. In this situation, the set N contains all semi-norms of the type given in Eq. (8.1) such that sup n a n ≤ 1.
Sentilles [11] studied the strict topology and gives, amongst many others, the following results. β) is complete, Mackey, satisfies β + = β and has the same bounded sets as the norm topology.
Also, the dual of (C b (E), β) is the space of Radon measures of finite total variation norm.
The next result follows directly from Propositions 3.3 and 4.9.  The ultraweak topology is the weak topology of the dual pair (B(H), T (H)) and also the ultrastrong* topology is a topology of this pair, see for example Lemma II.2.4 [29]. The strict topology is the Mackey topology of this dual pair by Theorem 3.9 in [7] and Corollary 2.8 in [30].
The linear functionals on B(H) that are continuous with respect to any topology of the dual pair (B(H), T (H)) are called normal, to distinguish them from the larger class of linear functionals on B(H) that are continuous for the norm, see also the reference that were mentioned before [6,17,29]. The distinction between the two classes of functionals is analogous to the difference between Radon measures on C b (E), E noncompact and Polish, and the linear functionals on C b (E) that are norm continuous. Proof Proposition 3.6 in Busby [7] gives completeness. The Principle of uniform boundedness gives equality of the bounded sets. To show that β is strong Mackey, we need to verify that the absolutely convex hull of a σ (T (H), B(H)) compact set is also compact. This follows directly from Krein's theorem, 24.5.(4) in [20] as the Mackey topology μ (T (H), B(H)) is the Banach topology generated by the Trace norm. The final statement follows from Corollary III.5.2 in [29].

Corollary 8.4 The space (B(H), β) together with the operator norm is strong Mackey and satisfies Condition C.
If H is separable, we additionally have the following result.

Proposition 8.5 If H is separable, then (B(H), β) is separable and β + = β
Proof Suppose H is separable. Then K(H) is norm separable by Lemma 1 in Goldberg [16] which implies that it is separable for β. By Proposition 3.5 in Busby [7], K(H) is β dense in B(H), which implies the first statement.
Let {P t } t≥0 be a strongly continuous semigroup on H. The semigroup {T (t)} t≥0 defined on B(H) by T (t)A = P * (t)AP(t) is a basic example in the study of quantum dynamical semigroups, which are normally defined to be merely continuous for the ultraweak topology [13].

Proposition 8.6 The semigroup {T (t)} t≥0 is a SCLE semigroup for the strict topology.
It is of interest to see whether more quantum dynamical semigroups are in fact continuous for the strict topology. This, however, goes beyond the scope of this paper. A ∈ B(H). The strong continuity of {P(t)} t≥0 implies the operator strong* continuity of t → T (t)A. Therefore, the trajectory t → T (t)A is locally bounded for the strong* topology, and hence, by the principle of uniform boundedness for the norm topology. As the strict topology coincides with the strong* topology on bounded sets [29, Lemma II.2.5 and Theorem III.5.7] t → T (t)A is continuous for the strict topology. The semigroup is locally equi-continuous by Lemma 3.2.

Proof Fix
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Appendix: Stochastic domination and the Chernoff bound
In this appendix, we recall the definition of stochastic domination [25, Section IV.1] and give a number of useful results. Definition 8.7 Suppose that we have two random variables η 1 and η 2 taking values in R. We say that η 1 stochastically dominates η 2 , denoted by η 1 η 2 if for every r ∈ R we have P[η 1 > r ] ≥ P[η 2 > r ]. We say that a random variable η is Poisson(γ ) distributed, γ ≥ 0, denoted by η ∼ Poisson(γ ) if P[η = k] = γ k k! e −γ .
The next result, introduced by Chernoff [8], is useful in the context of stochastic domination. Proposition 8.10 Let X be a random variable on R for which there exists θ 0 > 0, such that for θ < θ 0 , the Laplace transform E[e θ X ] exists. Let {X i } i≥1 be independent and distributed as X . Then for c ≥ E[X ], we have We give a proof for completeness.
Proof For all 0 < θ < θ 0 , we have where we used Markov's inequality in line 2. As the X i are independent, log E e θ n i=1 X i = n log E e θ X , which yields the final result.