Abstract
The asymptotic behavior of iterates of bounded linear operators (not necessarily positive), acting on Banach spaces, is studied. Through the Dobrushin ergodicity coefficient, we generalize some ergodic theorems obtained earlier for classical Markov semigroups acting on \(L^1\) (or positive operators on abstract state spaces).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Classical results on asymptotic behavior of iterates of Markov operators (or one-parameter semigroups) have been recently generalized in different directions. In most cases, domains like Banach lattices are replaced by abstract ordered Banach spaces. To this end, the concept of a Markov operator is properly adjusted, and necessary geometric features are imposed. In this paper, we further contribute to these extensions. More specifically, our main goal is to modify Dobrushin methods for new abstract domains. We furthermore simplify existing proofs. Most results from [27, 28] are formulated in terms of the so-called abstract state spaces \(({\mathfrak {X}}, {\mathfrak {X}}_+, {\mathcal {K}}, f)\), special classes of ordered Banach spaces, where the norms are additive on positive cones, \({\mathfrak {X}}_+\), and the considered operators are usually Markovian. We shall also introduce corresponding (imitating Markov properties) class of operators; however, the additivity of the norm will not be a prerequisite.
The Dobrushin (Dobrushin–Doeblin actually) ergodicity coefficient was introduced in 1955 (cf. [12, 33]) From a general perspective, it appeared to be an efficient tool for studying the asymptotic behavior of Markov chains and their limits. Moreover, it allows for obtaining the rate of convergence. When a stochastic system is defined in the language of operator theory, then the evolution of a Markov process \(\{ \xi _t \}_{t\in \Theta }\) can be seen as iterates \(T^n\) of the related transition operator T. In an elementary course on Markov chains, where the phase spaces are finite, T may be identified with a transition (raw stochastic) matrix \(T = [p_{j,k}]_{n\times n}\), \(\sum _{k=1}^n p_{j,k} = 1\) for all \(1\le j \le n\) and \(p_{j,k} \ge 0\). T acts on the (Banach) space \(\ell ^1_n = {\mathbb {R}}^n\) as \(T({\underline{x}}) = (x_1,..., x_n)\circ [p_{j,k}] = (\sum _{j=1}^n x_jp_{j,k})_{k=1...n}\). Generalizing \([p_{j,k}]_{n\times n}\) to a system of transition probabilities \(\{ P(x,A) : x\in G, \ A \in {\mathcal {G}} \}\), where \((G, {\mathcal {G}}) \) is a fixed measurable space (called a phase space), we identify Markov processes \(\{ X_n \}_{n\ge 0}\) on G with linear operators \(T : {\mathcal {M}}(G, {\mathcal {G}}) \rightarrow {\mathcal {M}}(G, {\mathcal {G}}) \) defined as \(T(\nu )(A) = \int _G P(x,A )d\nu (x) \), where \({\mathcal {M}}(G, {\mathcal {G}}) \) stands for the Banach lattice of finite \(\sigma -\)additive signed measures on \((G, {\mathcal {G}})\). If for all (sometimes, it is required \(\mu \) almost all) \(x\in G\), the probability measures \(P(x, \cdot ) \prec \mu \) are absolutely continuous with respect to \(\mu \), then \(T : L^1(\mu ) \rightarrow L^1(\mu )\). The limit (if it exists) of \(T^n(\nu )\) is a stationary distribution, depending on an initial distribution \(\nu = {\mathcal {L}}(X_0)\). A common feature of these examples is the fact that T is a positive linear contraction acting on a (real) Banach lattice. Using functional analysis language, Markov processes emerge as linear and positive operators T (called Markov or stochastic), which are defined on some function Banach space \({\mathfrak {X}} \ ( = L^p\) or C(S)). Of course, these Banach spaces \({\mathfrak {X}}\) and operators \(T : {\mathfrak {X}} \rightarrow {\mathfrak {X}} \) must be carefully chosen for appropriate modeling of a specific random phenomenon.
Apart from the Dobrushin method, there are other techniques used in studying the convergence of iterates of positive operators. The method of lower and upper bounds, introduced by Lasota (cf. [22]), is very popular, but it can also be interpreted in Dobrushin terminology. In the classical situation, when \({\mathfrak {X}} = \ell ^1_n\), the Dobrushin ergodicity coefficient of a linear Markov operator \(T : \ell ^1_n \rightarrow \ell ^1_n\) is defined as
where \({\mathcal {D}}_n = \{ (x_1,...,x_n) : \sum _{j=1}^n x_j = 1 , \ \mathrm{and \ } x_1, ... , x_n \ge 0 \}\) denotes the simplex of probability vectors and \(\Vert \cdot \Vert _1\) stands for the \(\ell ^1_n\) norm.
The methods and techniques of functional analysis are especially suited for studying noncommutative Markov processes (whose theory is still being developed ([9, 13, 34]). For example, the mathematics behind quantum theories require mathematical objects, which are not Banach lattices in general. Here, the states are not probability densities, but are (positive, norm 1, normal) functionals on Von Neumann algebras. These are not Riesz spaces, and therefore, the evolution operators T are not defined on Banach lattices any more. Nevertheless, all \(C^*\)-algebras have natural order structures, compatible with linear operations. Positive (very often completely positive) operators T describing quantum evolutions act on ordered Banach spaces (cf. [1, 2, 5, 6, 10, 11, 29, 30, 35]). The topic of positive linear operators on ordered Banach spaces, which are not necessarily Banach lattices, has attracted significant attention (e.g., [8, 14,15,16,17, 24,25,26,27,28, 32])
In the first section of the paper, we present basic general results, where the principal domains are abstract (real) Banach spaces \(({\mathfrak {X}}, \Vert \cdot \Vert )\). The Banach algebra of all bounded linear operators \(T : {\mathfrak {X}} \rightarrow {\mathfrak {X}}\) is denoted by \({\mathcal {L}}({\mathfrak {X}})\). The operator norm \(\Vert T \Vert \) is traditionally denoted by \(\Vert \cdot \Vert \) as well.
2 Abstract Dobrushin Coefficient
Following [27, Definition 3.1], we introduce the following.
Definition 2.1
Let \(T\in {\mathcal {L}}({\mathfrak {X}})\) be a linear operator and \( P \in {\mathcal {L}}({\mathfrak {X}})\) be a (nontrivial) linear projection. Then, the following quantity:
where \(N_P = \{y \in {\mathfrak {X}}: Py=0\}\), is called the Dobrushin coefficient of T with respect to P (if \(N_P = \{ 0 \}\), i.e., when \(P = I \), we may artificially prescribe \(\delta _P (T) = 1\)).
Clearly, \(0\le \delta _P (T) \le \left\| T\right\| \). We start with a commonly known result on the Dobrushin coefficient. For its proof, the reader is directed to [27, Theorem 3.7].
Theorem 2.2
Let \(T, S \in {\mathcal {L}}({\mathfrak {X}})\) and \(P, Q: {\mathfrak {X}} \rightarrow {\mathfrak {X}}\) be linear projections. Then
-
(1)
if a projection P dominates a projection Q (i.e., \(QP=PQ=Q\)), then \(\delta _P(T) \le \delta _Q(T)\),
-
(2)
\(\left| \delta _P(T) - \delta _P(S)\right| \le \delta _P(T-S) \le \left\| T-S\right\| \),
-
(3)
\(\delta _P(T+S) \le \delta _P(T) + \delta _P(S)\),
-
(4)
\(\delta _P(TS) \le \Vert T \Vert \delta _P(S)\),
-
(5)
\(\left\| TS\right\| \le \delta _P (T) \left\| S\right\| \), if \(PS=0\),
-
(6)
\(\delta _P (TS) \le \delta _P (T) \delta _P (S) \le \delta _P (T) \left\| S\right\| \) , if \(S(N_P) \subseteq N_P\).
The following result is also a standard fact and holds for abstract linear operators on Banach spaces.
Proposition 2.3
Let \(T \in {\mathcal {L}}({\mathfrak {X}})\) and \(P: {\mathfrak {X}} \rightarrow {\mathfrak {X}}\) be a linear projection. If \(\delta _P (T) = 0\), then \(T = TP\).
Proof
If \(x \in N_P\), then \(0 = Tx = Tx - TPx\), so \(T = TP\) on \(N_P\). Generally, if \(y \in {\mathfrak {X}}\), then \(y - Py \in N_P\), so \(T(y - Py) = TP(y - Py) = 0\). We get \(Ty = TPy\). \(\square \)
The next result will play an essential role in the sequel. In [27], most of the results, on asymptotic behavior of iterates \(T^n\), were obtained under additional assumption that \(PT = TP\), i.e., that T commutes with P. In this paper, we relax this condition, which is replaced by essentially weaker \(T(N_P) \subseteq N_P\). Recently, a similar remark was pointed out in [28, Lemma 2.7], where the assumption \(PT=PTP\) is in use. Indeed, commutativity implies that for all \(x\in N_P\), we have \(PTx = TPx = T0 = 0\). We also notice that if \(T(N_P) \subseteq N_P\) and \(TP = P\), then \(TP = PT = P\). In fact, \(PT = PT(I - P + P) = PT(I - P) + P = P\) as \((I - P){\mathfrak {X}} = N_P\).
Proposition 2.4
Let \(T \in {\mathcal {L}}({\mathfrak {X}})\) and \(P: {\mathfrak {X}} \rightarrow {\mathfrak {X}}\) be a linear projection. If \(\delta _P(T) < 1\) and \(T(N_P) \subseteq N_P\), then \(\left\| T^n(I - P)\right\| \rightarrow 0\).
Proof
The inequality \(\delta _P(T) < 1\) simply means that the operator \(T_{N_P} = T\upharpoonright _{N_P} \), the restriction of T to its invariant subspace \(N_P\), is a strict contraction. It follows that \(\Vert T_{N_P}^n \Vert \le (\delta _P(T))^n \rightarrow 0\). In particular, \(\left\| T^n(I - P)\right\| \rightarrow 0\) as \((I - P)({\mathfrak {X}}) = N_P\). \(\square \)
Let us present an example which shows that \(TP = PT = P\) is essentially stronger than \(T(N_P) \subseteq N_P \), even in classical situations.
Example 2.5
Let \({\mathfrak {X}} = L^1(\mu )\), where \(\mu \) is a \(\sigma -\)finite positive measure on a measurable space \((G, {\mathcal {G}})\). By \({\mathcal {D}} \), we denote the convex set of densities, i.e., \(g\in {\mathcal {D}}\) if and only if \(g \ge 0, \mu \) a.e. and \(\int _{G} g d\mu = 1\). For a fixed \(g_* \in {\mathcal {D}}\), define a linear projection \(Pf = (\int _{G} f d\mu ) g_*\), i.e., \(P = {\mathbf {1}}\otimes g_* \). Let T be a general Markovian operator on \(L^1(\mu )\), i.e., \(Tf \ge 0 \) for all \(f\ge 0\) and \(T^* {\mathbf {1}} = {\mathbf {1}} \), where \(T^*\) stands for the adjoint operator \(T^* : L^{\infty }(\mu ) \rightarrow L^{\infty } (\mu )\). It is easily seen that \(PTf = Pf\) for all \(f\in L^1(\mu )\), but \(TPf = Pf \) if and only if \(Tg_* = g_*.\) Thus, P and T do not commute in general. However, \(f\in N_P \) if and only if \(\int _{\Omega } f d\mu = 0\). For such f, we have \(\int _{G} Tf d\mu = 0\) as well, so \(T(N_P) \subseteq N_P\).
In the next theorem, we generalize [27, Theorem 3.14]. Originally, it was obtained under commutativity assumption and for Markovian operators on abstract state spaces. We remove these restrictions. We recall that \(T\in {\mathcal {L}}({\mathfrak {X}})\) is quasi-compact if \(\left\| T^n - K\right\| <1\) for some natural n and a compact operator \(K\in {\mathcal {L}}({\mathfrak {X}})\).
Theorem 2.6
Let \(T \in {\mathcal {L}}({\mathfrak {X}})\) and \(P: {\mathfrak {X}} \rightarrow {\mathfrak {X}}\) be a linear projection. If \(\delta _P(T) < 1\), \(T(N_P) \subseteq N_P\), and TP is a quasi-compact contraction, then T is also quasi-compact.
Proof
Without loss of generality, we will assume that \(P\ne I\). It follows from Proposition 2.4 that \(\left\| T^n(I - P)\right\| \rightarrow 0\) and by Theorem 2.2, \(\delta _P(T^n) \le \delta _P(T)^n \rightarrow 0\). Let \(\varepsilon > 0 \) be fixed. We choose \(m\in {\mathbb {N}}\), such that \( \frac{\delta _P(T)^{m+1}}{1 - \delta _P(T)} < \frac{\varepsilon }{4\left( 1 + \left\| P\right\| \right) }\). By quasi-compactness of TP, there exists natural \(i \ge m \), such that \(\Vert (TP)^i - K_i \Vert = \gamma < 1\), where \(K_i \in {\mathcal {L}}({\mathfrak {X}})\) is compact. We notice that \(\Vert (TP)^{ni } - K_{ni} \Vert \le \gamma ^n\) for some compact \(K_{ni} \in {\mathcal {L}}({\mathfrak {X}})\). Let \(n_{\varepsilon } \in {\mathbb {N}} \) be such that \(\Vert (TP)^{n_{\varepsilon }i - l} - K_{n_{\varepsilon }i - l}\Vert \le \gamma ^{n_\varepsilon - m } < \frac{\varepsilon }{4(m+1)\Vert I - P \Vert \cdot \max \{ 1, \Vert T \Vert ^m \}} \) for all \(l = 0, 1,...,m\), where \(K_{n_{\varepsilon }i - l} \in {\mathcal {L}}({\mathfrak {X}})\) are compact.
By the mathematical induction, for every natural n, we have the representation
We notice that
Now, estimate
The operators \(K_{n_\varepsilon i } + \sum _{l=1}^m T^l(I-P)K_{n_{\varepsilon }i - l} \) are compact, so T is quasi-compact. \(\square \)
We end the section showing some relations between the projections P and \(I-P\) (cf. [27, Proposition 3.1]).
Corollary 2.7
Let \(T \in {\mathcal {L}}({\mathfrak {X}})\) satisfy \(\left\| T^n\right\| \ge \varepsilon > 0 \) for all \(n\in {\mathbb {N}}\) (for instance, T is Markovian) and P be a linear projection. If \(T(N_P) \subseteq N_P \) and \(T(N_{I - P}) \subseteq N_{I -P}\), then at most one of the statements below holds:
-
(1)
\(\delta _P(T^n) < 1\) for some \(n \in {\mathbb {N}}\),
-
(2)
\(\delta _{I-P}(T^n) < 1\) for some \(n \in {\mathbb {N}}\).
Proof
If both conditions hold, then by Proposition 2.4, we get
It follows that:
contradicting that the norms \(\Vert T^n \Vert \) are separated from 0. \(\square \)
3 Uniform Ergodicity
This section is devoted to convergence of iterates \(T^n\), obtained with the use of Dobrushin’s ergodicity coefficients.
Definition 3.1
Let P be a linear projection on the Banach space \({\mathfrak {X}}\). We say that \(T \in {\mathcal {L}}(X)\) is uniformly P-ergodic, if \(\left\| T^n - P\right\| \rightarrow 0\).
Theorem 3.2
Let \(T \in {\mathcal {L}}(X)\) and \(P \ne I\) be a projection. Then, T is uniformly P-ergodic if and only if that \(T(N_P) \subseteq N_P \), \(TP = P\) (equivalently, \(TP = PT = P\)), and \(\delta _P(T^k)<1\) for some \(k \in {\mathbb {N}}\).
Proof
Let T be a uniformly P-ergodic operator. Applying Proposition 2.4, we get:
so \(\delta _P (T^k) <1\) for some \(k \in {\mathbb {N}}\).
Moreover, from
we get commutativity \(P=TP\) and \(P=PT\). In particular, \(T(N_P) \subseteq N_P \).
In the opposite direction, we apply our Proposition 2.2 and get
\(\left\| T^n(I - P)\right\| \rightarrow 0\), so \(\left\| T^n - P\right\| = \left\| T^n - T^nP\right\| \rightarrow 0\). \(\square \)
Remark 3.3
The case when T is uniformly I-ergodic is trivial. Simply \(P=I\), and then, \(\delta _I(T^k) < 1\) does not occur.
Combining the above theorem with the Proposition 2.3, we get
Corollary 3.4
If T is uniformly P-ergodic and \(\delta _P(T)=0\), then \(T=P\).
The uniform P-ergodicity is quite a strong property. We shall also consider its weaker alternative discussing the asymptotic behavior of \(\Vert T^nx - T^ny \Vert \). Expressing it in Dobrushin’s language, we propose to study the limit of \(\delta _P(T^n)\) (for contractions, such a limit does exist).
Definition 3.5
Let P be a linear projection on \({\mathfrak {X}}\). We say that a linear contraction \(T \in {\mathcal {L}}({\mathfrak {X}})\) is weakly P-ergodic, if \(\delta _P(T^n) \rightarrow 0\).
Now, we will discuss, from the perspective of Dobrushin’s ergodicity notion, the geometry of selected semigroups. We start from general sets, and finally, we will arrive to abstract ”Markovian” semigroups. Given a linear projection \(P\in {\mathcal {L}}({\mathfrak {X}})\), which is assumed to be a contraction, we define
The following inclusions are obvious: \({\mathcal {L}}^u_r({\mathfrak {X}}) \subset {\mathcal {L}}^w_r({\mathfrak {X}})\), \({\mathcal {L}}^u_r({\mathfrak {X}}) \subset {\mathcal {L}}^{E}_r({\mathfrak {X}})\) and \({\mathcal {L}}^w_r({\mathfrak {X}}) \cap {\mathcal {L}}^{E}_r({\mathfrak {X}}) = {\mathcal {L}}^u_r({\mathfrak {X}})\).
Moreover, the second inclusion is in some sense optimal, as we explain below.
Theorem 3.6
With the notation as above, the following inclusions hold:
-
(1)
\({\mathcal {L}}^u_1(P)\) is a norm-open and dense subset of \({\mathcal {L}}^{E}_1(P)\).
-
(2)
\({\mathcal {L}}^w_1(P) \cap {\mathcal {L}}^{com}_1(P)\) is a norm-open and dense subset of \({\mathcal {L}}^{com}_1(P)\).
Proof
We notice that \({\mathcal {L}}^{com}_1(P)\), \({\mathcal {L}}^{E}_1(P)\) are norm-closed subsets of the closed unit ball \({\mathcal {L}}_1({\mathfrak {X}})\). Let \(T \in {\mathcal {L}}^{E}_1(P)\) and \(0< \varepsilon < 1 \) be fixed. We set
Clearly, \(T^{(\varepsilon )}\in {\mathcal {L}}_1^{E}({\mathfrak {X}})\), \(\left\| T^{(\varepsilon )} - T\right\| \le \varepsilon \), \(\left\| T^{(\varepsilon )}\right\| \le 1\) as both T and P are contractions (\(\Vert T \Vert = \Vert P \Vert = 1\) actually, as long as P is non-zero). If \(x \in N_P\), then
Taking supremum over all such x, we get \(\delta _P(T^{(\varepsilon )}) = \left( 1 - \frac{\varepsilon }{2}\right) \delta _P(T)\). Therefore, \(\delta _P(T^{(\varepsilon )})<1\), so applying the Theorem 3.2, we obtain that \(T^{(\varepsilon )}\) is uniformly P-ergodic. \({\mathcal {L}}^u_1(P)\) is a norm-dense subset of \({\mathcal {L}}^{E}_1(P)\).
Concerning openness, for \(n \in {\mathbb {N}}\), consider sets
Clearly, \({\mathcal {L}}^u_1(P) = \bigcup _{n \in {\mathbb {N}}} U_n\), so it is enough to prove that \(U_n\) are norm-open in \({\mathcal {L}}^{E}_1(P)\). If \(T \in U_n\) is fixed, then for every \(H \in {\mathcal {L}}^{E}_1(P)\) with \(\left\| T-H\right\| < \frac{1 - \delta _P(T^n)}{2n}\), we have (apply Theorem 2.2)
Therefore, \(\delta _P(H^n) <1\), \(H \in U_n\) and the proof is completed.
To prove (2), we may copy the proof of (1) replacing \({\mathcal {L}}^u_1(P) \) for \({\mathcal {L}}^w_1(P) \cap {\mathcal {L}}^{com}_1(P)\) and \({\mathcal {L}}_1^E(P) \) for \({\mathcal {L}}_1^{com}(P)\). \(\square \)
4 Abstract Markovian Semigroups
Let \(\xi \in {\mathfrak {X}}^*\) be a continuous (real) functional on a Banach space \(({\mathfrak {X}}, \Vert \cdot \Vert )\) and \({\mathcal {K}}_{\xi } \subset {\mathfrak {X}}\) be a norm-closed, bounded and convex subset of \({\mathfrak {X}}\) (denote \(M_\xi = \sup \limits _{x\in {\mathcal {K}}_\xi } \Vert x \Vert \)). Assume that \(\xi (x) = 1\) for all \(x\in {\mathcal {K}}_\xi \). Clearly, \({\mathcal {K}}_{\xi }\) is separated from 0 (i.e., \(\inf \limits _{x\in {\mathcal {K}}_\xi } \Vert x \Vert = m_{\xi } > 0\)).
Definition 4.1
A linear bounded operator \(T \in {\mathcal {L}}({\mathfrak {X}})\) is called \(\xi -Markovian\) if \(T^*\xi = \xi \) and \(T({\mathcal {K}}_{\xi }) \subseteq {\mathcal {K}}_{\xi }\). The set of all \(\xi -\)Markovian operators on \({\mathfrak {X}}\) is denoted by \({\mathcal {S}}_{\xi }\).
It follows directly from the definition that \({\mathcal {S}}_{\xi } \subset {\mathcal {L}}({\mathfrak {X}})\) is a semigroup, which is closed for the weak operator topology. The composition operation is continuous for the strong operator topology. Of course, each \(\xi -\)Markovian operator T has its norm \(\Vert T \Vert \ge 1\), as \(T^*\xi = \xi \ne 0\). Clearly, the identity operator \(\mathbf{Id} \in {\mathcal {S}}_\xi \).
It is easy to verify that if \({\mathfrak {X}} = L^1(\mu )\), then the classical Markovian operators T (sometimes called stochastic and then the adjoint operators \(T^*\) are called Markovian) coincide with the just introduced semigroup \({\mathcal {S}}_\mathbf{1}\), where \(\mathbf{1} \in L^{\infty }(\mu )\) denotes the function equal \(1 \ \mu \) a.e. From this perspective general \(\xi -\)Markovian operators mimic some features of classical Markovian operators on \(L^1(\mu )\). It is worth mentioning that in the literature, several different extensions of Markov operators are presented (cf. [1, 5, 6, 8, 10, 17, 24, 27, 32, 35]).
Repeating Example 2.5, we set \(P_{y_*} = \xi \otimes y_* = \langle \cdot , \xi \rangle y_*\), where \(y_* \in {\mathcal {K}}_{\xi }\). Clearly, \(P_{y_*}\in {\mathcal {S}}_{\xi }\) is a \(\xi -\)Markovian projection. Moreover, \(P_{y_*}T = P_{y_*}\) for every \(T\in {\mathcal {S}}_{\xi }\). \(P_{y_*}(u) = 0\) if and only if \(\xi (u) = 0\). Hence, \(N_{P_{y_*}} =\) ker\(\xi \) = ker\(P_{y_*}\). Now, for arbitrary \(T\in {\mathcal {S}}_{\xi }\) and all \(u\in N_{P_{y_*}}\), we have \(\xi (Tu) = T^*(\xi )(u ) = \xi (u) = 0 \). We obtain \(T(N_{P_{y_*}}) \subseteq N_{P_{y_*}}\).
If \({\mathbb {R}}_+{\mathcal {K}}_{\xi } - {\mathbb {R}}_+{\mathcal {K}}_{\xi } = {\mathfrak {X}}\), then the cone \(C_{\xi } = \{ tx : t\ge 0 \ \mathrm{and \ } x\in {\mathcal {K}}_{\xi } \}\) is called generating in \({\mathfrak {X}}\). We notice that under this assumption, \(\xi (v) = 0 \) if and only if \(v = t(x - y)\), for some \(t\in {\mathbb {R}}\) and \(x,y \in {\mathcal {K}}_{\xi }\). Therefore, the abstract Dobrushin ergodicity coefficient, introduced in \((\bigstar )\), coincides with the classical one. Namely, for all \(T \in {\mathcal {S}}_{\xi }\), we have
The rest of this section is devoted to topological (generic) characteristics of \({\mathcal {S}}_{\xi }\). It is well known that classical Markov operators, which are norm-mixing, form a dense and open subset of \({\mathcal {S}}_\mathbf{1}\) (see [3,4,5, 19, 20, 23]). It has been recently extended to ordered Banach spaces satisfying some extra properties (see [10, 14, 17, 24, 27]). The category of abstract “norm mixing” elements in Banach algebras was studied in [31], but the obtained there results bring residuality (here, we deliver open denseness). We introduce the following.
Definition 4.2
We say that a \(\xi -\)Markovian operator \(T \in {\mathcal {S}}_{\xi }\) is norm-mixing if there exists \(x_*\in {\mathcal {K}}_{\xi }\), such that the operator T is \(P_{x_*}\)-ergodic, where \(P_{x_*}\in {\mathcal {S}}_{\xi }\) is one-dimensional projection, i.e., \(\lim _{n\rightarrow \infty } \Vert T^n - P_{x_*} \Vert = 0\) (clearly \(Tx_* = x_*\)). We denote the set of all norm mixing \(\xi -\)Markovian operators by \({\mathcal {S}}^{\mathrm{mix}}_{\xi }\). If we fix \(x_* \in {\mathcal {K}}_{\xi }\), then the subset \(\{ T\in {\mathcal {S}}_{\xi } : \Vert T^n - P_{x_*} \Vert \rightarrow 0 \}\) is denoted by \({\mathcal {S}}^{\mathrm{mix}}_{\xi ,x_*}\). Accordingly, we define \({\mathcal {S}}_{\xi , x_*} = \{ T \in {\mathcal {S}}_{\xi } : T(x_*) = x_* \}\).
We notice that studying mixing property, we may assume that \(\Vert T \Vert = 1 \). In fact, by the Banach–Steinhaus theorem, \(\sup _{n\ge 0} \Vert T^n x \Vert = \Vert x \Vert _\bullet \) defines an equivalent norm on \({\mathfrak {X}}\), such that T becomes a contraction with respect to it. Therefore, in the sequel (in the next section), we shall consider only contraction Markovian operators. However, in this section, we present a bit more general approach and show how notions mixing and the geometry of the space \(({\mathfrak {X}}, \Vert \cdot \Vert )\) interplay.
We recall that a cone \(C_{\xi }\) is \(\kappa -\)generating, if it is generating and each \(x\in {\mathfrak {X}}\) has a decomposition \(x = u - w\), where \(u, w \in C_{\xi }\) satisfy \(\Vert u \Vert + \Vert w \Vert \le \kappa \Vert x \Vert \). Clearly, \(\kappa \ge 1\) (cf. [7, 36]). We remember that \(\kappa = 1\) if \({\mathfrak {X}} = L^1(\mu )\) or it is a predual of a Von Neumann algebra (cf. [5, 15, 17, 24, 27]).
In the rest of this section, we focus on Markovian families and study them using Dobrushin methods. We start with a few auxiliary lemmas. In the first one, we do not require that \(C_{\xi }\) is generating.
Lemma 4.3
If \(T\in {\mathcal {S}}^{\mathrm{mix}}_{\xi }\), then there exists a unique \(x_* \in {\mathcal {K}}_{\xi }\), such that
Proof
If T is \(P_{x_*}\) ergodic, then \(TP_{x_*} = P_{x_*}\). It follows that \(Tx_{*}= x_*\). For each \(x\in {\mathcal {K}}_{\xi }\), we have \(\xi (x - x_*) = \xi (x_*) - \xi (x) = 0\). Thus, \(x - x_* \in N_{P_{x_*}}\) for all \(x\in {\mathcal {K}}_{\xi }\). By the Theorem 3.1, there exists a natural k, such that \(\delta _{P_{x_*}}(T^k) < 1\). We now estimate
\(\square \)
Before we proceed to the main result of this section, we first explain the geometry of our cones \(C_\xi \). We start with the following.
Lemma 4.4
If \(C_\xi \) is generating in \(({\mathfrak {X}}, \Vert \cdot \Vert )\), then there exists a positive constant \(\alpha _\xi < \infty \), such that for every \(u \in {\mathfrak {X}}\) satisfying \(\xi (u) = 0\) (i.e., \(u \in \text {ker}\xi \))
Proof
As \(C_\xi \) is generating, we have
By the Baire category theorem, there exists \(j_0 \in {\mathbb {N}}\), such that
We may assume that \(x_0 = s_0v_0 - s_0w_0 \) for some \(s_0 > 0\) and \(v_0 , w_0 \in {\mathcal {K}}_\xi \). Hence, each \(u \in \text {ker}\xi \), \(\Vert u \Vert \le 1\) belongs to
Then, \(u = u_1 - u_2\), where \(u_1, u_2 \in C_\xi \) and \(\Vert u_1 - (\frac{s}{r} v + \frac{s_0}{r}w_0 )\Vert \) may be as small as we wish. We get
We set \(\alpha _\xi = \dfrac{j_0 + s_0}{r} + q\), where \(q > 0\) may be taken arbitrary (as small as we wish). \(\square \)
The next lemma is commonly known (see [7, Proposition 1.1.2]) but its proof is included here for the sake of completeness of the paper. Moreover, we can somehow see how the coefficient \(\kappa \) depends on \(\Vert \xi \Vert \) or \(M_\xi \).
Lemma 4.5
Generating cones \(C_\xi \) are \(\kappa -\)generating for some \(\kappa \ge 1\).
Proof
Let \(x = tv - sw\) for some \(t, s \ge 0\) and \(v, w \in {\mathcal {K}}_\xi \), where \(\Vert x \Vert = 1\). Without loss of generality, we may assume that \(t\ge s\). Then, \(x = (t-s)v + sv - sw\) and \(\Vert (t-s)v \Vert = (t-s)\Vert v \Vert \le (t-s)M_\xi \). Moreover
Thus, \(\Vert (t-s) v \Vert \le \Vert \xi \Vert M_\xi .\) Now
By the previous Lemma 4.4, \(sv - sw = {\widetilde{s}}\ {\widetilde{v}} - {\widetilde{s}}\ {\widetilde{w}}\), where \({\widetilde{v}}, {\widetilde{w}} \in {\mathcal {K}}_\xi \) and
It follows that:
where \(\widetilde{{\widetilde{v}}} = \frac{t-s}{t-s + {\widetilde{s}}}v + \frac{{\widetilde{s}}}{t-s + {\widetilde{s}}}{\widetilde{v}} \in {\mathcal {K}}_\xi \). We obtain
Now
(obviously \({\widetilde{\kappa }} \ge 1\) as \(M_\xi \Vert \xi \Vert \ge \sup \limits _{v\in {\mathcal {K}}_\xi } |\xi (v)| = 1\)). We have proved that \(C_\xi \) is \(\kappa -\)generating for each \(\kappa > {\widetilde{\kappa }}\). \(\square \)
In the following results, we shall use already proved geometric properties of our cones \(C_{\xi }\). Namely, if generating they are automatically \(\kappa -\)generating, and we have a piece of control on the parameter \(\kappa \ge 1\). We obtain the following.
Lemma 4.6
Let \(\xi \in {\mathfrak {X}}^*\), \({\mathcal {S}}_\xi \) be a \(\xi -\)Markovian semigroup and \(C_\xi \) be a generating (so \(\kappa -\)generating cone for some \(\kappa \ge 1\)). Then, there exists a constant \(M \ge 0\), such that \(\sup \{ \Vert T \Vert : T \in {\mathcal {S}}_\xi \} = M < \infty \). In particular, \( \Vert x \Vert ^\bullet = \sup \{ \Vert Tx \Vert : T\in {\mathcal {S}}_\xi \}\) is a norm on \({\mathfrak {X}}\), equivalent to \(\Vert \cdot \Vert \).
Proof
As before we set \(m_\xi = \inf \{ \Vert w \Vert : w \in {\mathcal {K}}_\xi \} > 0\) and \(M_\xi = \sup \{ \Vert w \Vert : w \in {\mathcal {K}}_\xi \} < \infty \). Let us fix normalized \( x \in {\mathfrak {X}}\). We have a decomposition \(x = t u - s v\) for some \(u, v \in {\mathcal {K}}_\xi \) and \(t, s \in {\mathbb {R}}_+\), where \(t \le \frac{\kappa }{\Vert u \Vert } \le \frac{\kappa }{m_\xi }\) and \(s \le \frac{\kappa }{\Vert v \Vert }\le \frac{\kappa }{m_\xi }\). For an arbitrary \(T \in {\mathcal {S}}_\xi \), we have
It follows that \(\sup \{ \Vert T \Vert : T \in {\mathcal {S}}_\xi \} \le \frac{2\kappa }{m_\xi } \cdot \text {diam}({\mathcal {K}}_\xi ) < \infty \). In particular, \(\sup \{ \Vert T \Vert : T \in {\mathcal {S}}_\xi \} = M < \infty \) and \(\sup _{n} \Vert T^n \Vert \le M \) for any \(\xi -\)Markovian operator T.
Define \(\Vert x \Vert ^\bullet = \sup \{ \Vert T x \Vert : T \in {\mathcal {S}}_\xi \}\). Clearly, \(\Vert x \Vert \le \Vert x \Vert ^\bullet \), so these norms are equivalent and \({\mathcal {S}}_\xi \) becomes a contraction semigroup with respect to \(\Vert \cdot \Vert ^\bullet \). \(\square \)
The operator \(P_{x_*}\) is a two-sided zero in the semigroup \({\mathcal {S}}^{\mathrm{mix}}_{\xi , x_*}\), i.e., for all \(T \in {\mathcal {S}}^{\mathrm{mix}}_{\xi , x_*}\), we have \(TP_{x_*} = P_{x_*}T = P_{x_*}\). In particular, \(T^n - P_{x_*} = (T - P_{x_*})^n\) for all n. Therefore, if for some natural k, we have \(\Vert T^k - P_{x_*} \Vert < 1\), then
(alternatively we may apply the Theorem 3.1 instead as \(\delta _{P_{x_*}}(T^k) < 1\)). Thus
is a norm-open subset of \({\mathcal {S}}_{\xi , x_*}\). If T is power bounded (for instance when \(C_\xi \) is generating), then
as \(((1-\varepsilon )T + \varepsilon P_{x_*})^n = (1-\varepsilon )^nT^n + (1 - (1-\varepsilon )^n)P_{x_*}\) (we remember that \(P_{x_*}\) is a semigroup zero). We have already proved a result which appeared in a classical version in [3, Theorem 3].
Corollary 4.7
Let \(C_\xi \) be a generating cone in \(({\mathfrak {X}}, \Vert \cdot \Vert )\). Then, for each fixed \(x_*\in {\mathcal {K}}_{\xi } \), the set \({\mathcal {S}}_{\xi , x_*}^{\mathrm{mix}} \) is norm-open and dense in \({\mathcal {S}}_{\xi , x_*}\).
The next lemma characterizes mixing of abstract \(\xi -\)Markovian operators.
Lemma 4.8
Let \(T \in {\mathcal {S}}_{\xi }\) be a Markovian operator, where the cone \(C_{\xi }\) is generating (so \(\kappa -\)generating for some \(\kappa \ge 1\)). Then, T is norm-mixing if and only if
for some (unique) \(x_* \in {\mathcal {K}}_{\xi }\) (clearly \(Tx_* = x_*\)).
Proof
Applying the Lemma 4.3, we need only a proof in one direction. Suppose that
Clearly, \(Tx_* = x_* \in {\mathcal {K}}_{\xi }\). Thus, \( \lim \limits _{n\rightarrow \infty } \sup \limits _{x\in {\mathcal {K}}_{\xi }}\Vert T^n x - P_{x_*}x \Vert = 0 \ \). If \(u\in N_{P_{x_*}}\), \(\Vert u \Vert \le 1\), then \(u = v - w\) for some \(v, w \in C_{\xi }\) with \(\Vert v \Vert + \Vert w \Vert \le \kappa \). As \(u\in N_{P_{x_*}}\), we get \(\xi (v) = \xi (w). \) Now
Clearly, \(\frac{v}{\xi (v)} \in {\mathcal {K}}_\xi \) as \(\xi (\frac{v}{\xi (v)}) = 1\) (similarly \(\frac{w}{\xi (w)} \in {\mathcal {K}}_\xi \)). Estimating \(\xi (v) \le \frac{j_0 + s_0}{r}M_\xi \), we finally obtain
To the rest, we may apply the Theorem 3.2. \(\square \)
The theorem presented below is the main result of this section. It generalizes the results obtained in [5, Theorem 2.4] for Markov operators acting on Schatten classes (where \(\kappa = 1\)). Clearly, it also extends relevant results on the asymptotic behavior of iterates of Markov operators acting on \(L^1(\mu )\) spaces (cf. [3, 19] and [23, Theorem 6]), and it corresponds to [27, Theorems 7.1 and 7.3].
Theorem 4.9
Let \(({\mathfrak {X}}, \Vert \cdot \Vert ) \), \(\xi \in {\mathfrak {X}}^* \), \({\mathcal {K}}_{\xi } \), and \(C_{\xi }\) be as before. If the cone \(C_{\xi }\) is generating (\(\kappa -\)generating for some \(\kappa \ge 1\)) in \(({\mathfrak {X}}, \Vert \cdot \Vert )\), then for \(T\in {\mathcal {S}}_{\xi }\), the following are equivalent:
-
(i)
\(T\in {\mathcal {S}}_{\xi }^{\mathrm{mix}}\);
-
(ii)
\(\lim _{n\rightarrow \infty } \sup _{u,v \in {\mathcal {K}}_{\xi }} \Vert T^n u - T^n v\Vert = 0\);
-
(iii)
there exists a natural k, such that
$$\begin{aligned} \sup _{u,v \in {\mathcal {K}}_{\xi }} \Vert T^{k} u - T^{k} v\Vert = \gamma < \frac{m_\xi }{\kappa } \ . \end{aligned}$$
Proof
\(\mathrm{(i)} \Rightarrow \mathrm{(ii)}\) has already been proved. \(\mathrm{(ii)} \Rightarrow \mathrm{(iii)} \) is obvious. It remains to prove \(\mathrm{(iii)} \Rightarrow \mathrm{(i)}\). Given \(z_* \in {\mathcal {K}}_{\xi }\) and \(u \in N_{P_{z_*}}\), with \(\Vert u \Vert = 1\), we find a decomposition \(u = {\widetilde{v}} - {\widetilde{w}}\), where \(\Vert {\widetilde{v}} \Vert + \Vert {\widetilde{w}} \Vert \le \kappa \Vert u \Vert = \kappa \), \({\widetilde{v}} = t v\), \({\widetilde{w}} = t w\), \(t \ge 0\) and \(v , w \in {\mathcal {K}}_{\xi }\). Clearly, \(t \le \frac{\kappa }{m_\xi }\). We estimate
It follows that for an arbitrary pair \(v, w \in {\mathcal {K}}_{\xi }\), we have \(\Vert T^k v - T^kw \Vert \le \varrho \Vert v - w \Vert \). The transformation \(T^k\) is a strict contraction on \({\mathcal {K}}_{\xi }\). By the Banach fixed point theorem, there exists \(x_* \in {\mathcal {K}}_{\xi }\), such that \(T^kx_* = x_*\). Notice that \(\delta _{P_{x_*}}(T^k) < 1 \) and \(T^kP_{x_*} = P_{x_*}T^k = P_{x_*}\). Now, we may apply our Theorem 3.2 or repeating argumentation as in Corollary 4.7, we get \(\lim _{n\rightarrow \infty } \Vert T^{nk} - P_{x_*} \Vert = 0\). Finally
as \(\Vert T^j \Vert \le M \) for all j (see Lemma 4.6). We have proved that \(T \in {\mathcal {S}}^{\mathrm{mix}}_{\xi }\). \(\square \)
The following corollary easily follows from the last theorem. Its classical counterpart may be found in [3, 5] and [20, Theorem 3].
Corollary 4.10
If \(C_{\xi }\) is generating (\(\kappa -\)generating for some \(\kappa \ge 1\)), then \({\mathcal {S}}_{\xi }^{\mathrm{mix}}\) is a norm-open and dense subset of \({\mathcal {S}}_{\xi }\).
Proof
From Theorem 4.9(iii), we easily obtain that \({\mathcal {S}}^{\mathrm{mix}}_{\xi }\) is norm-open in \({\mathcal {S}}_{\xi }\). Concerning denseness let us fix \(z_* \in {\mathcal {K}}_{\xi }\) and \(\varepsilon > 0\). Given an arbitrary \(T\in {\mathcal {S}}_{\xi }\), define \(T_{\varepsilon } = (1 - \varepsilon )T + \varepsilon P_{z_*} \in {\mathcal {S}}_{\xi }\). Let us endow the Banach space with the norm \(\Vert \cdot \Vert ^\bullet \), defined before. With the metric \(\varrho (v, w) = \Vert v - w \Vert ^\bullet \), the set \({\mathcal {K}}_\xi \) is a complete metric space and the ”discrete time” semigroup \( \{ T_\varepsilon ^n : n\ge 0 \} \) acts on \({\mathcal {K}}_\xi \) as affine contractions. Hence, for any pair \(v, w \in {\mathcal {K}}_{\xi }\), we have
By the Banach fixed point theorem, there exists a unique \(x_* \in {\mathcal {K}}_\xi \), such that \(T_\varepsilon x_* = x_*\) and
Clearly
as the norms \(\Vert \cdot \Vert \) and \(\Vert \cdot \Vert ^\bullet \) are equivalent. From Lemma 4.8, the operator \(T_\varepsilon \in {\mathcal {S}}_\xi ^{\text {mix}}\). Applying Lemma 4.6 once again, we have \(\Vert T - T_{\varepsilon } \Vert \le 2 M \varepsilon \). The set \({\mathcal {S}}_\xi ^{\text {mix}}\) is operator norm-dense in \({\mathcal {S}}_\xi \) \(\square \)
We end this section giving some comments on the role of order structures on abstract Banach spaces. It is well known (see [17, Proposition A.1] and [27, Examples 2.3 and 2.4]) that every Banach space \(({\mathfrak {X}}, \Vert \cdot \Vert )\) may be isometrically embedded into an ordered Banach space \({\mathfrak {X}}^{\sim }\). Simply consider \( {\mathfrak {X}}^{\sim } = {\mathfrak {X}} \oplus {\mathbb {R}}\) with the norm \( \Vert (x,r) \Vert ^{\sim } = \max \{ \Vert x \Vert , |r |\}\). The positive cone is defined as \({\mathfrak {X}}^{\sim }_+ = \{ (x,r) : \Vert x \Vert \le r \}\). It may be proved that the norm \(\Vert \cdot \Vert ^{\sim }\) is additive on \({\mathfrak {X}}^{\sim }_+\) and that the space \({\mathfrak {X}}^{\sim }\) is \(1-\)generating (i.e., \({\mathfrak {X}}^{\sim }\) is a strong abstract state space). Moreover, each contraction \(T \in {\mathcal {L}}({\mathfrak {X}})\) can be extended to \({\widetilde{T}} \in {\mathcal {L}}( {\mathfrak {X}}^{\sim })\) which is a positive contraction. Namely, define \({\widetilde{T}}(x,r) = (Tx, r)\). The dynamics of a linear contraction T on \({\mathfrak {X}}\) is reflected in dynamics of \({\widetilde{T}}\). The problem emerges, when one asks about the mixing property. The convergence of Markovian \({\widetilde{T}}^n\), to a 1-dimensional projection on \({\mathfrak {X}}^{\sim }\), automatically forces on the limit operator \(P((x,r)) = (0, r)\). In particular, \(\Vert T^n \Vert \rightarrow 0\) on the original space \({\mathfrak {X}}\). Otherwise, we would have \(P((x,r)) = (\lim _{n\rightarrow \infty }T^nx, r)\). Hence, \((x_*, 0), (0,1) \in {\mathfrak {X}}^{\sim }\) would be two non-zero \({\widetilde{T}}-\)invariant vectors, contradicting norm-mixing. We conclude that studying mixing of a linear contraction T on an abstract Banach space is as hard as studying uniform \(P-\)ergodicity of its extension \({\widetilde{T}}\) (on \({\mathfrak {X}}^{\sim }\)) for \(2-\)dimensional projections P. Positivity of \({\widetilde{T}}\) and the order on \({\mathfrak {X}}^{\sim }\) will not help. We conclude that, when investigating the iterates \(T^n\) of a linear contraction T on an abstract Banach space \({\mathfrak {X}}\), we may not assume, without loss of generality, that \({\mathfrak {X}}\) is an abstract state space; especially when considering \(P-\) norm-ergodicity for a \(1-\)dimensional P.
5 Continuous Semigroups and Dobrushin Coefficients
It has been explained in the previous section that studying mixing of Markovian semigroups, we may actually assume that they are contractions. Therefore, in this section, we shall generally assume that \({\mathcal {S}}_\xi \) are contraction semigroups.
We will not consider Dobrushin’s coefficients for one-parameter semigroups in much depth. We merely present two results indicating possibilities in this direction. A recent paper [14] is another example supporting possible developments of this topic. We begin with recalling (cf. [9, 13, 18]).
Proposition 5.1
Let \(A \in {\mathcal {L}}({\mathfrak {X}})\). Then
form a one-parameter norm-continuous (i.e., \({\mathbb {R}} \ni t \rightarrow T_t \in {\mathcal {L}}({\mathfrak {X}})\) is operator norm-continuous) semigroup of operators, with A as its generator.
The theory of one-parameter linear semigroups is well developed. The reader is directed to [9, 13, 18] for further explanations if necessary.
Here, we show that the convergence of \(\{ T_t \}\) may be characterized by the Dobrushin coefficient of a single element \(T_1\). Such a property is known for classical Markovian semigroups on \(L^1\) (see [21, Theorem 3.7] and [22, Theorem 7.4.1 and Corollary 8.7.3]). We have the following.
Theorem 5.2
Let \(\{T_t\}\) be a uniformly (norm) continuous contraction linear semigroup on \({\mathfrak {X}}\), such that \(T_tP = P\) for all \(t\ge 0\), where P is a linear projection (contraction) acting in a Banach space \({\mathfrak {X}}\). Then
-
(i)
if \(T_1\) is uniformly P-ergodic, then \(\{T_t\}\) converges uniformly to P;
-
(ii)
if \(T_1\) is weakly P-ergodic, then \(\delta _P (T_t) \rightarrow 0\).
Proof
Without loss of generality, we shall assume that \(P \ne I\). (i) follows from our Theorem 3.2. Indeed, notice first that \(T_1P = PT_1 = P \), and hence, Theorem 3.2 is applicable. Thus, \(\delta _P(T_1^k) < 1\) for some natural k. We notice that
Applying Theorem 3.6 we infer that, for every fixed natural n, the operator \(T_{\frac{1}{n}}\) is uniformly P-ergodic, as \(\delta _P(T_{\frac{1}{n}}^{nk}) = \delta _P(T_1^k) < 1 \). Then
Clearly, \(\left\| T_{t-\lfloor {tn}\rfloor /n} - I\right\| \) may be as small as we wish (take n large enough). For a fixed (large) n, the norm \(\left\| T_{\lfloor {tn}\rfloor /n} - P\right\| \rightarrow 0 \) when \(t \rightarrow \infty \). Thus, (i) is proved.
To prove (ii), it is sufficient to notice
\(\square \)
Corollary 5.3
Let \(\{ T_t \}_{t\ge 0}\) be a uniformly (norm) continuous contraction linear semigroup on \({\mathfrak {X}}\), such that \(T_tP_{x_*} = P_{x_*}\) for all \(t\ge 0\), where as, before \(P_{x_*} = \xi \otimes x_*\) for some \(x_* \in {\mathcal {K}}_{\xi }\). Then, \(\{ T_t \}_{t\ge 0}\) is norm-mixing if and only if \(T_1\) is \(P_{x_*}-\)ergodic.
We finish the paper with describing operators \(A \in {\mathcal {L}}({\mathfrak {X}})\) which generate uniform \(P-\)ergodic semigroups. We do not focus on Markovian semigroups; however, we are still restricted to contractions. We introduce the set
Clearly, \({\mathcal {C}}\) is a closed subset of \({\mathcal {L}}({\mathfrak {X}})\). The last theorem of the paper corresponds to [14, Theorem 3.8], where the considered semigroups belong to the \(C_0\) class and their generators are generically unbounded [18, p. 15]. In particular, the topological structure of considered here sets \({\mathcal {C}}\) is not comparable with the one considered in [14]. We do realize that the presented below result is not surprising, but it is included for completeness of the topological structure of ergodic families of norm-continuous contraction semigroups, obtained with the use of the Dobrushin methods.
Theorem 5.4
Let \({\mathfrak {X}}\) be a Banach space and P be a linear projection (contraction) on \({\mathfrak {X}}\). Then, the set
is norm-open in
Moreover, \({\mathcal {E}}_P\) is norm-dense in
Proof
As before, we shall assume \(\delta _P(T^A_1) = \gamma < 1\). Clearly, \(A \rightarrow \exp (A)\) is norm-continuous. Let \(A\in {\mathcal {E}}_P\) be fixed. Therefore, for every \(\varepsilon > 0\), there exists \(\varrho > 0\), such that, if \(\left\| A - B\right\| < \varrho \), \(B \in C_P\), then \(\left\| \exp (A)-\exp (B)\right\| <\varepsilon \). From Theorem 2.2(2), we have
Taking \(\varepsilon = (1-\gamma )/2\), we get \(\delta _P(\exp (B))<1\). Applying our Theorem 3.2, we infer that \({\mathcal {E}}_P\) is norm-open in \({\mathcal {C}}_P \).
To prove denseness, let us fix \(A \in {\mathcal {C}}^{\prime }_P\) and define
Applying standard arguments (see [22, p. 236], [4, p. 50] and [23, Lemma 3]), we find the operator \(A^{\varepsilon ,P}\) to be a generator of a contraction semigroup \(\{T^{\varepsilon ,P}\}\). Notice that \(A^{\varepsilon ,P} \in {\mathcal {C}}^\prime _P\). We have a representation
where \(T^{0,P}_t = T^A_t\) and
By mathematical induction, we estimate \(\left\| T^{n+1,P}_t\right\| \le t^n/n!\), so \(\Vert T_t^{\varepsilon , P} \Vert \le 1 \) (cf. [4]). Now, by Theorem 22, we get
It follows that \(\{T^{\varepsilon ,P}\}\) is uniformly P-ergodic, i.e., \(A^{\varepsilon ,P} \in {\mathcal {E}}_P\). \(\square \)
References
Ayupov, Sh.A.: Ergodic theorems for Markov chains on O*-algebras, (Russian) Dokl. Akad. Nauk UzSSR 7, 11–13 (1978)
Bardet, I.: Quantum extensions of dynamical systems and Markov semigroups, arXiv:1509.04849, (2015)
Bartoszek, W.: Norm residuality of ergodic operators. Bull. Polish Acad. Sci. Math. 29, 165–167 (1981)
Bartoszek, W.: One-parameter positive contraction semigroups are convergent. Univ. Iagel. Acta Math. 33, 49–57 (1996)
Bartoszek, W., Kuna, B.: On residualities in the set of Markov operators on \({{\cal{C}}}_1 \). Proc. Amer. Math. Soc. 133, 2119–2129 (2005)
Bartoszek, K., Bartoszek, W.: A Noether theorem for stochastic operators on Schatten classes. J. Math. Anal. Appl. 452, 1395–1412 (2017)
Batty, C.J.K., Robinson, D.W.: Positive one-parameter semigroups on ordered Banach spaces. Acta Applicandae Mathematicae 1, 221–296 (1984)
Berdikulov, M.: Markov processes on order-unit spaces. Theory Probab. Appl. 53(1), 136–144 (2009)
Bratelli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics 1. Springer (1979)
Carbone, R., Sasso, E., and Umanita, V.: Structure of generic quantum Markov semigroup, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 20.2 , (19 pages), (2017)
Carbone, R., and Jenčová, A.: On period, cycles and fixed points of quantum channel, Annales Henri Poincaré 21.1 Springer (2020)
Dobrushin, R.L.: Central limit theorem for nonstationary Markov chains. Theor. Probab. Appl. 1(65–80), 329–383 (1956)
Eisner, T., Farkas, B., Haase, M., Nagel, R.: Operator theoretic aspects of Ergodic Theory. Springer (2015)
Erkursun-Özcan, N., Mukhamedov, F.: Stability estimates of Markov semigroups on abstract states spaces. Mediterranean J. Math. 17(2), 1–25 (2020)
Emel’yanov, E.Y., Wolff, M.: Positive operators on Banach spaces ordered by strongly normal cones. Positivity 7(1–2), 3–22 (2003)
Gaubert, S., Quo, Z.: Dobrushin’s ergodicity coefficient for Markov operators on cones. Integral Equ. Oper. Theory81(1), 127–150 (2015)
Glück, J., Wolff, M.P.H.: Long-term analysis of positive operator semigroups via asymptotic domination. Positivity 23(5), 1113–1146 (2019)
Goldstein, J.A.: Semigroups of Operators and Applications. Oxford University Press (1985)
Iwanik, A.: Baire category of mixing for stochastic operators. Rend. Circ. Mat. Palermo (2) Suppl. 28, 201–217 (1992)
Iwanik, A., Rebowski, R.: Structure of mixing and category of complete mixing for stochastic operators. Ann. Polonici Mathematici. 56, 3 (1992)
Lasota, A.: Invariant principle for discrete time dynamical systems. Univ. Iagel. Acta Math. 31, 111–127 (1994)
Lasota, A., Mackey, M.C.: Chaos, Fractals and Noise: Stochastic Aspects of Dynamics. Springer, New York (1993)
Lasota, A., Myjak, J.: Generic properties of stochastic semigroups. Bull. Pol. Ac. Sci. Mat. 40(4), 283–292 (1992)
Makarov, B.M., and Weber, M.R.: On the asymptotic behaviour of some positive semigroups, arXiv:1901.04382v1 (2019)
Mukhamedov, F.: On \(L^1-\)weak ergodicity of nonhomogeneous discrete Markov processes and its applications. Revista Matemática Complutense 26(2), 799–813 (2013)
Mukhamedov, F.: Uniform stability and weak ergodicity of nonhomogeneous Markov chains defined on ordered Banach spaces with a base. Positivity 20, 135–153 (2016)
Mukhamedov, F., Al-Rawashdeh, A.: Generalized Dobrushin ergodicity coefficient and uniform ergodicities of Markov operators. Positivity 24(4), 855–890 (2020)
Mukhamedov, F., and Al-Rawashdeh, A.: Generalized Dobrushin ergodicity coefficient and ergodicities of non-homogeneous Markov chains, arXiv:2001.07703 (2020)
Mukhamedov, F., Temir, S., Akin, H.: On mixing and completely mixing properties of positive \(L^1\)-contractions of finite von Neumann algebras. Proc. Amer. Math. Soc. 134(3), 843–850 (2005)
Mukhamedov, F., Temir, S., Akin, H.: On stability properties of positive contractions of \(L^1\)-spaces associated with finite von Neumann algebras. Coll. Math. 105, 259–269 (2006)
Rudnicki, R.: Generic properties of multiplicative functions and stochastic semigroups. Bull. Pol. Ac. Sci. Mat. 45(1), 7–16 (1997)
Sarymsakov, T.A., Zimakov, N.P.: Ergodic principle for the Markov semigroup in ordered normal spaces with basis (in Russian). Dokl. Akad. Nauk SSSR 289(3), 554–558 (1986)
Seneta, E.: On the historical development of the theory of finite inhomogeneous Markov chains, Mathematical Proceedings of the Cambridge Philosophical Society 74.3 Cambridge University Press (1973)
Størmer, E.: Positive Linear Maps of Operator Algebras. Springer, Berlin (2013)
Szehr, O., Wolf, M.M.: Perturbation bounds for quantum Markov processes and their fixed points. J. Math. Phys. 54, 10 (2013)
Yost, D.: A base norm space whose cone is not 1-generating. Glasgow Math. J. 25, 35–36 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Gholam H. Esslamzadeh.
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
Bartoszek, W., Beśka, M. & Florek, W. Generalized Dobrushin Coefficients on Banach Spaces. Bull. Iran. Math. Soc. 48, 1691–1709 (2022). https://doi.org/10.1007/s41980-021-00600-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41980-021-00600-z