Abstract
Necessary and sufficient conditions are given for mean ergodicity, power boundedness, and topologizability for weighted backward shift and weighted forward shift operators, respectively, on Köthe echelon spaces in terms of the weight sequence and the Köthe matrix. These conditions are evaluated for the special case of power series spaces which allow for a characterization of said properties in many cases. In order to demonstrate the applicability of our conditions, we study the above properties for several classical operators on certain function spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this note is to investigate mean ergodicity and related properties of weighted shift operators on Köthe echelon spaces. Recall that a continuous linear operator T on a locally convex Hausdorff space (briefly, lcHs) E is said to be mean ergodic if the limits
exist in E. Since the seminal result of von Neumann (1931) who proved that unitary operators on a Hilbert space are mean ergodic, numerous contributions have been made to the topic of mean ergodicity and its applications. For the special case when E is a Banach space, the theory is particularly well-developed and rich, see e.g. [17, Chapter VIII], [18], and [28], and references therein.
In recent years, several authors studied mean ergodicity and related properties of continuous linear operators on lcHs which are not Banach spaces (but mainly Fréchet spaces) both from an abstract point of view (see e.g. [1,2,3,4, 12, 30, 31]) as well as for concrete types of continuous linear operators (see e.g. [5,6,7,8,9,10,11, 13,14,15,16, 19,20,21, 23,24,27, 32, 33]).
In the present article we study mean ergodicity, power boundedness and topologizability for weighted shift operators on Köthe echelon spaces. While weighted shift operators on sequence spaces are a natural testing field to study operator theoretic properties, several operators on Fréchet spaces which occur naturally in analysis are conjugate to a weighted shift operator on a suitable Köthe echelon space. Since the aforementioned properties are stable under conjugacy, our results will be used to investigate these properties for the Volterra operator and the differentiation operator on spaces of holomorphic functions as well as for the annihiliation and creation operator on the space of rapidly decreasing smooth functions.
The paper is organized as follows. In Sect. 2 we recall some notation and notions and we provide some basic results which will be used throughout. In Sect. 3, we give necessary and sufficient conditions for topologizability, power boundedness, and mean ergodicity of weighted shift operators on Köthe echelon spaces \(\lambda _p(A)\) in terms of the weight sequence and the Köthe matrix A. In Sect. 4 we evaluate our results for the special case of power series spaces. In this special situation of Köthe echelon spaces, the special structure of the Köthe matrix allows for particular simple characterizations of said properties in many cases. Concrete examples are discussed in order to demonstrate the applicability of our results.
2 Notation and Preliminary Results
Throughout this article we use standard notation from functional analysis; we refer to [22, 29]. As usual, we denote by \(\omega =\mathbb {K}^{\mathbb {N}_0}\) the vector space of all \(\mathbb {K}\)-valued sequences (where as usual \(\mathbb {K}\in \{\mathbb {R},\mathbb {C}\}\)) equipped with the Fréchet space topology of coordinatewise convergence. For a fixed sequence \(w=(w_n)_{n\in \mathbb {N}_0}\in \omega \) we define the corresponding weighted backward shift and weighted forward shift, respectively, as
and
where we use the notational convention \(x_{-n}:=0\) for all \(n\in \mathbb {N}\) which will be employed throughout this paper. Additionally, throughout, we use the convention \(\frac{0}{0}:=0\), \(\frac{\alpha }{0}:=\infty \) for \(\alpha >0\) as well as the notation \(e_r=\left( \delta _{m,r}\right) _{m\in \mathbb {N}_0}\) (Kronecker’s \(\delta \)) for \(r\in \mathbb {N}_0\). For the special case of \(w_n=1\), \(n\in \mathbb {N}_0\), we simply write B and F instead of \(B_w\) and \(F_w\), respectively.
Recall that a matrix of non-negative real numbers \(A=(a_{n,k})_{n,k\in \mathbb {N}_0}\) is a Köthe matrix if \(0\le a_{n,k}\le a_{n,k+1}\) for every \(n,k\in \mathbb {N}_0\), and if for each \(n\in \mathbb {N}_0\) there is \(k\in \mathbb {N}_0\) such that \(a_{n,k}>0\). For \(1\le p<\infty \) we define as usual the Köthe echelon space (of order p) by
Analogously, for \(p=\infty \), we have
and
Then, for \(1\le p\le \infty \), \(\lambda _p(A)\) is a Fréchet space with fundamental sequence of seminorms \((\Vert \cdot \Vert _{k,p})_{k\in \mathbb {N}_0}\), \(\lambda _0(A)\) is a closed subspace of \(\lambda _\infty (A)\), and \(\lambda _p(A)\) is separable for \(p\in [1,\infty )\cup \{0\}\).
Given an exponent sequence, i.e. a monotonically increasing sequence \(\alpha =(\alpha _n)_{n\in \mathbb {N}_0}\) in \([0,\infty )\) with \(\lim _{n\rightarrow \infty }\alpha _n=\infty \). For arbitrary strictly increasing sequences \((s_k)_{k\in \mathbb {N}_0}\) with \(\lim _{k\rightarrow \infty }s_k=0\) and \((t_k)_{k\in \mathbb {N}_0}\) with \(\lim _{k\rightarrow \infty }t_k=\infty \) we define the Köthe matrices \(A_0(\alpha ):=\left( \exp (s_k\alpha _n)\right) _{k,n\in \mathbb {N}_0}\) and \(A_\infty (\alpha ):=\left( \exp (t_k\alpha _n)\right) _{k,n\in \mathbb {N}_0}\) as well as \(\Lambda _0(\alpha ):=\lambda _1(A_0(\alpha ))\) and \(\Lambda _\infty (\alpha ):=\lambda _1(A_\infty (\alpha ))\). It is not hard to see that the definition of \(\Lambda _0(\alpha )\) and \(\Lambda _\infty (\alpha )\) does not depend on the particular choice of the sequences \((s_k)_{k\in \mathbb {N}_0}\) and \((t_k)_{k\in \mathbb {N}_0}\), respectively. \(\Lambda _0(\alpha )\) is called power series space of finite type and \(\Lambda _\infty (\alpha )\) power series space of infinite type (associated to \(\alpha \)).
As we are interested in ergodicity and related properties of the weighted backward and forward shift operators on \(\lambda _p(A)\), we first have to characterize when \(B_w\) and \(F_w\) operate on these spaces.
Proposition 2.1
For a Köthe matrix A, \(p\in [1,\infty ]\cup \{0\}\) and \(w=(w_n)_{n\in \mathbb {N}_0}\in \omega \) the following results hold.
-
(a)
For \(B_w\) the following are equivalent.
-
(i)
\(B_w:\lambda _p(A)\rightarrow \lambda _p(A)\) is correctly defined.
-
(ii)
\(B_w:\lambda _p(A)\rightarrow \lambda _p(A)\) is continuous.
-
(iii)
For every \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) such that
$$\begin{aligned}\forall \,n\in \mathbb {N}_0:\,|w_n|a_{n,k}\le C a_{n+1,l}.\end{aligned}$$
-
(i)
-
(b)
For \(F_w\) the following are equivalent.
-
(i)
\(F_w:\lambda _p(A)\rightarrow \lambda _p(A)\) is correctly defined.
-
(ii)
\(F_w:\lambda _p(A)\rightarrow \lambda _p(A)\) is continuous.
-
(iii)
For every \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) such that
$$\begin{aligned}\forall \,n\in \mathbb {N}:\,|w_n|a_{n,k}\le C a_{n-1,l}.\end{aligned}$$
-
(i)
Proof
We only prove part (a), the proof of part (b) is, mutatis mutandis, the same. Since \(\lambda _p(A)\) is a Fréchet space and \(B_w:\omega \rightarrow \omega \) is obviously continuous, a standard application of the Closed Graph Theorem shows that (i) implies (ii).
Next, if (ii) holds, we conclude
Evaluating this inequality for \(x=e_n\) shows that (iii) is true.
Finally, (iii) trivially implies (i). \(\square \)
The previous proposition yields the following result. Throughout the article we use the convention \(\ln (0)=-\infty \).
Corollary 2.2
Let \(\alpha =\left( \alpha _n\right) _{n\in \mathbb {N}_0}\) be an exponent sequence such that \(\limsup _{n\rightarrow \infty }\alpha _{n+1}\alpha _n^{-1}<\infty \). Then, for \(w\in \omega \) the following results hold.
-
(a)
For the weighted shifts \(B_w\) and \(F_w\) the following are equivalent.
-
(i)
\(B_w\) is correctly defined on \(\Lambda _\infty (\alpha )\).
-
(ii)
\(B_w\) is continuous on \(\Lambda _\infty (\alpha )\).
-
(iii)
\(F_w\) is correctly defined on \(\Lambda _\infty (\alpha )\).
-
(iv)
\(F_w\) is continuous on \(\Lambda _\infty (\alpha )\).
-
(v)
\(\limsup \nolimits _{n\rightarrow \infty }\frac{\ln |w_n|}{\alpha _n}<\infty .\)
-
(i)
-
(b)
For the weighted shifts \(B_w\) and \(F_w\) the following are equivalent.
-
(i)
\(B_w\) is correctly defined on \(\Lambda _0(\alpha )\).
-
(ii)
\(B_w\) is continuous on \(\Lambda _0(\alpha )\).
-
(iii)
\(F_w\) is correctly defined on \(\Lambda _0(\alpha )\).
-
(iv)
\(F_w\) is continuous on \(\Lambda _0(\alpha )\).
-
(v)
\(\limsup \nolimits _{n\rightarrow \infty }\frac{\ln |w_n|}{\alpha _n}\le 0.\)
-
(i)
Proof
By Proposition 2.1, (i) and (ii) are equivalent, as are (iii) and (iv), in (a) and (b). We will show that (a) (v) is equivalent to condition (a) (iii) from Proposition 2.1 for the particular case of \(\Lambda _\infty (\alpha )\) as well as to condition (b) (iii) from Proposition 2.1 which will finish the proof of part (a). Analogously, (b) will be proved once we have shown that (b) (v) is equivalent to condition (a) (iii) from Proposition 2.1 for the particular case of \(\Lambda _0(\alpha )\) as well as to condition (b) (iii) from Proposition 2.1. We set \(M:=\limsup _{n\rightarrow \infty }\alpha _{n+1}\alpha _n^{-1}.\)
Let us show that (a) (ii) implies (a) (v). It follows from Proposition 2.1 that for each \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) with
Let \(M'>M\) be arbitrary and \(N_0\in \mathbb {N}\) such that \(\alpha _{n+1}\alpha _n^{-1}\le M'\) for \(n\ge N_0\). We conclude for \(n\ge N_0\)
which implies that \(\limsup _{n\rightarrow \infty }\ln |w_n|(\alpha _n)^{-1}<\infty \), i.e. (a) (v) holds.
On the other hand, if (a) (v) holds, for fixed \(k\in \mathbb {N}\) let \(N_0\in \mathbb {N}\) and \(c>0\) be such that
Then, for \(n\ge N_0\) we conclude
so that condition (a) (iii) from Proposition 2.1 holds true for every \(l\in \mathbb {N}\) with \(l\ge k(c+1)\) which implies (a) (ii).
Next we assume that (a) (iv) holds. From Proposition 2.1 (b) we deduce for \(k\in \mathbb {N}_0\) for suitable \(l\in \mathbb {N}_0, C>0\)
Thus, (a) (v) follows. On the other hand, if (a) (v) holds, for arbitrary \(k\in \mathbb {N}\) there are \(c>0\) and \(N_0\in \mathbb {N}\) such that for every \(n\ge N_0\) there hold \(\alpha _n\le M'\alpha _{n-1}\) as well as \(\ln |w_n|\le c k\alpha _n\). Hence, for \(n\ge N_0\) we deduce \(|w_n|\exp \left( k\alpha _n\right) \le \exp \left( (c+M')k\alpha _{n-1}\right) \) so that the condition (b) (iii) from Proposition 2.1 follows and \(F_w\) is continuous on \(\Lambda _\infty (\alpha )\). The proof of (a) is complete.
In order to complete the proof of part (b), we first assume that \(B_w\) is continuous on \(\Lambda _0(\alpha )\). Thus, by Propositions 2.1 (a), for every \(k\in \mathbb {N}\) there are \(l\in \mathbb {N}\) and \(C>0\) such that
so that
Since \(\alpha \) tends to infinity, there is \(N_k\) such that \(\ln (C)/\alpha _n\le 1/k\) whenever \(n\ge N_k\). Thus, by the above inequality we deduce \(\sup _{n\ge N_k}\frac{\ln |w_n|}{\alpha _n}\le \frac{2}{k}-\frac{1}{l}<\frac{2}{k}\). Since \(k\in \mathbb {N}\) was chosen arbitrarily (b) (v) follows.
On the other hand, if (b) (v) holds, we fix \(k\in \mathbb {N}_0\) as well as \(M'>M\) and we choose \(l\in \mathbb {N}\) with \(l/M'>(k+1)\). Let \(N_0\in \mathbb {N}\) be such that \(\frac{1}{k+1}-\frac{M'}{l}>\frac{\ln |w_n|}{\alpha _n}\) as well as \(\alpha _{n+1}\alpha ^{-1}_n\le M'\) for each \(n\ge N_0\). For \(n\ge N_0\) we conclude
Thus, conditions (a) (iii) from Proposition 2.1 holds which implies the continuity of \(B_w\) on \(\Lambda _0(\alpha )\).
Finally, to finish the proof of part (b), we assume that \(F_w\) is continuous on \(\Lambda _0(\alpha )\). Thus, by Proposition 2.1 (b), we deduce for \(k\in \mathbb {N}\) the existence of \(C>0\) and \(l\in \mathbb {N}\) such that
where \(N_k\) is such that \(\alpha _n\le M'\alpha _{n-1}\) as well as \(c/\alpha _n\le 1/k\) for every \(n\ge N_k\). From the previous inequality we derive \(\sup _{n\ge N_k}\ln |w_n|/\alpha _n\le 2/k\). Because \(k\in \mathbb {N}\) was chosen arbitrarily, the validity of (b) (v) follows. On the other hand, if (b) (v) is valid, we fix \(k\in \mathbb {N}\). Moreover, let \(N_k\in \mathbb {N}\) be such that \(|w_n|\le \exp \left( \alpha _n (2k)^{-1}\right) \) for each \(n\ge N_k\). For every \(n\ge N_k\)
Hence, we deduce that condition (b) (iii) from Proposition 2.1 holds so that \(F_w\) is continuous on \(\Lambda _0(\alpha )\). \(\square \)
Remark 2.3
It should be noted that without the hypothesis \(\limsup _{n\rightarrow \infty }\alpha _{n+1}\alpha _n^{-1}<\infty \) in Corollary 2.2, condition (a)(v) implies (a)(ii) and follows from (a)(iv) while condition (b)(v) implies (b)(iv) and is implied by (b)(ii).
In the rest of this section we recall some notions and abstract results in order to motivate our considerations in the following section. Let E be a locally convex Hausdorff space (briefly, lcHs) and \(T\in \mathcal {L}(E)\), where as usual we denote by \(\mathcal {L}(E)\) the space of continuous linear operators on E. T is said to be topologizable if for every continuous seminorm p on E there is a continuous seminorm q on E such that for every \(m\in \mathbb {N}\) there is \(\gamma _m>0\) with
For the special case that in the above inequality one can take \(\gamma _m=1\) for all \(m\in \mathbb {N}\) we say that T is power bounded. In this case the family \(\left\{ T^m:\,m\in \mathbb {N}\right\} \) is an equicontinuous subset of \(\mathcal {L}(E)\). Moreover, T is Cesàro bounded if the family \(\left\{ T^{[n]}:\,n\in \mathbb {N}\right\} \) is an equicontinuous subset of \(\mathcal {L}(E)\), where \(T^{[n]}\) denotes the n-th Cesàro mean given by
An operator \(T\in \mathcal {L}(E)\) is called mean ergodic if there is \(P\in \mathcal {L}(E)\) such that \(\lim _{n\rightarrow \infty }T^{[n]}x=Px\) for each \(x\in E\). In case that the convergence is uniform on bounded subsets of E then T is called uniformly mean ergodic.
Let F be a lcHs. An operator \(S\in \mathscr {L}(F)\) is called conjugate to the operator \(T\in \mathscr {L}(E)\) if there is a bijective, continous linear operator \(\Phi :E\rightarrow F\) with continuous inverse such that \(\Phi \circ T=S\circ \Phi \). It is not hard to see that all of the above properties of T are stable under conjugacy, i.e. S has any of the above properties if (and only if) T does.
Clearly, every power bounded operator T is Cesàro bounded and \((\frac{1}{n}T^n x)_{n\in \mathbb {N}}\) converges to 0 for each \(x\in E\). Moreover, on a barrelled space E an operator T is mean ergodic if and only if \((T^{[n]}x)_{n\in \mathbb {N}}\) converges for every \(x\in E\). Additionally, on a barrelled space E, mean ergodic operators T are Cesàro bounded and due to \(\frac{1}{n}T^nx=T^{[n]}x-\frac{n-1}{n}T^{[n-1]}x\), the sequences \(\left( \frac{1}{n}T^nx\right) _{n\in \mathbb {N}}, x\in E\), converge to zero. Conversely, as shown in [1, Corollary 2.5] (see also [27, Theorem 2.3]) the following useful result holds. Recall that a reflexive lcHs is always barrelled.
Theorem 2.4
Let E be a reflexive lcHs and \(T\in \mathcal {L}(E)\). Then T is mean ergodic if and only if T is Cesàro bounded and \(\lim _{n\rightarrow \infty } \frac{1}{n}T^n x=0\) for every \(x\in E\).
Theorem 2.5
(see [27, Theorem 2.5]). Let E be a Montel space and let \(T\in \mathcal {L}(E)\).
-
(a)
T is mean ergodic if and only if T is uniformly mean ergodic.
-
(b)
The following are equivalent.
-
(i)
T is Cesàro bounded and \(\lim _{n\rightarrow \infty }\frac{T^n}{n}=0\), pointwise in E.
-
(ii)
T is mean ergodic on E.
-
(iii)
T is uniformly mean ergodic on E.
-
(iv)
\(T^t\) is mean ergodic on \((E',\beta (E',E))\).
-
(v)
\(T^t\) is uniformly mean ergodic on \((E',\beta (E',E))\).
-
(vi)
\(T^t\) is Cesàro bounded on \((E',\beta (E',E))\) and \(\lim _{n\rightarrow \infty }\frac{(T^{t})^n}{n}=0\), pointwise in \((E',\beta (E',E))\).
Here, as usual, \(\beta (E',E)\) denotes the strong dual topology on \(E'\).
-
(i)
In particular, power bounded operators on Montel spaces are uniformly mean ergodic (see [12, p. 917]). In addition, as for a mean ergodic operator T on a lcHs E, for each \(x\in E\) the sequence \(\left( \frac{1}{n}T^nx\right) _{n\in \mathbb {N}}\) is in particular bounded, we see that under the additional hypothesis that E is barrelled the family of operators \(\left\{ \frac{1}{n}T^n;\,n\in \mathbb {N}\right\} \) is equicontinuous. It follows that mean ergodic operators on barrelled spaces are topologizable.
3 Ergodicity and Related Properties for Weighted Shifts
We begin by characterizing when weighted backward shifts and weighted forward shifts are topologizable or power bounded on \(\lambda _p(A)\). Setting \(B_w^0=I\) and \(F_w^0=I\), observe that for \(m\in \mathbb {N}_0\) the m-th iterate of \(B_w\) applied to \(x=\left( x_n\right) _{n\in \mathbb {N}_0}\) yields
while the m-th iterate of \(F_w\) is given by
Thus, in case of \(p\in [1,\infty )\), for the k-th seminorm we have
and
while for \(p\in \{0,\infty \}\) it follows
and
Proposition 3.1
For a Köthe matrix A, \(p\in [1,\infty ]\cup \{0\}\), and \(w\in \omega \) the following hold.
-
(a)
If \(B_w\) is continuous on \(\lambda _p(A)\) the following are equivalent.
-
(i)
\(B_w\) is topologizable on \(\lambda _p(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that for each \(m\in \mathbb {N}_0\)
$$\begin{aligned} \sup _{n\in \mathbb {N}_0}\frac{\left| \prod _{j=0}^{m-1} w_{n+j}\right| a_{n,k}}{a_{n+m,l}}<\infty . \end{aligned}$$(5)
-
(i)
-
(b)
If \(F_w\) is continuous on \(\lambda _p(A)\) the following are equivalent.
-
(i)
\(F_w\) is topologizable on \(\lambda _p(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that for each \(m\in \mathbb {N}_0\)
$$\begin{aligned} \sup _{n\in \mathbb {N}_0}\frac{\left| \prod _{j=1}^{m} w_{n+j}\right| a_{n+m,k}}{a_{n,l}}<\infty . \end{aligned}$$(6)
-
(i)
Proof
We only give the proof of part (a) since the proof of part (b) is along the exact same lines. Thus, let \(B_w\) be continuous on \(\lambda _p(A)\). Assume \(B_w\) is topologizable. Given \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that for every \(m\in \mathbb {N}_0\) there is \(c_m>0\) with
for every \(x\in \lambda _p(A)\). By (1) and (3), respectively, taking \(x=e_{n+m}\) for \(n,m\in \mathbb {N}_0\) we obtain
Thus, (ii) follows.
Conversely, if (ii) is valid, fix \(k\in \mathbb {N}_0\). Let \(l\in \mathbb {N}_0\) be such that for every \(m\in \mathbb {N}_0\) there is \(c_m>0\) with
for every \(n\in \mathbb {N}_0\). For arbitrary \(m\in \mathbb {N}_0\), by (1) and (3), respectively, a straight forward calculation gives \(\Vert B_w^m (x)\Vert _{k,p}\le c_m\Vert x\Vert _{k,p}\). Thus, \(B_w\) is topologizable. \(\square \)
Proposition 3.2
For a Köthe matrix A, \(p\in [1,\infty ]\cup \{0\}\), and \(w\in \omega \) the following hold.
-
(a)
If \(B_w\) is continuous on \(\lambda _p(A)\) the following are equivalent.
-
(i)
\(B_w\) is power bounded on \(\lambda _p(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned} \sup _{n\in \mathbb {N}_0,m\in \mathbb {N}}\frac{\left| \prod _{j=0}^{m-1} w_{n+j}\right| a_{n,k}}{a_{n+m,l}}<\infty . \end{aligned}$$(7)
-
(i)
-
(b)
If \(F_w\) is continuous on \(\lambda _p(A)\) the following are equivalent.
-
(i)
\(F_w\) is power bounded on \(\lambda _p(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned} \sup _{n\in \mathbb {N}_0, m\in \mathbb {N}}\frac{\left| \prod _{j=1}^{m} w_{n+j}\right| a_{n+m,k}}{a_{n,l}}<\infty . \end{aligned}$$(8)
-
(i)
Proof
Again, we only present the proof of part (a) since the proof of (b) is mutatis mutandis the same. Hence, let \(B_w\) be continuous on \(\lambda _p(A)\) and assume that \(B_w\) is power bounded. Then given \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) and \(c>0\) with
for every \(x\in \lambda _p(B)\) and \(m\in \mathbb {N}_0\). Evaluating this inequality for \(x=e_{n+m}\) and using (1) and (3), respectively, yields as in the proof of Proposition 3.1 that (ii) holds.
Conversely, if (ii) is valid, fix \(k\in \mathbb {N}_0\) and let \(l\in \mathbb {N}_0\) be according to (ii) and let \(c>0\) be such that
for every \(n,m\in \mathbb {N}_0\). Using (1) and (3) it easily follows that
so that B is power bounded. \(\square \)
Remark 3.3
It should be noted that for \(B_w\) and \(F_w\) the properties of being correctly defined, continuous, topologizable, and power bounded on \(\lambda _p(A)\) do not depend on the explicit value of \(p\in [1,\infty ]\cup \{0\}\).
Next, we study Cesàro boundedness of weighted backward shifts \(B_w\).
For \(p\in [1,\infty )\) and \(k\in \mathbb {N}_0\) it holds for \(n\in \mathbb {N}\) and \(x\in \lambda _p(A)\)
while for \(p=\infty \) we have
Proposition 3.4
Let A be a Köthe matrix and let \(p\in [1,\infty ]\cup \{0\}\). Moreover, let \(w\in \omega \) be such that the weighted backward shift \(B_w\) is continuous on \(\lambda _p(A)\). Consider the following conditions.
-
(i)
\((Cb_p^B)\) holds, where
$$\begin{aligned} (Cb_p^B)={\left\{ \begin{array}{ll}\text{ If } p\in [1,\infty ):&{} \forall \,k\in \mathbb {N}_0\exists \,l\in \mathbb {N}_0:\,\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left| \prod _{s=1}^{m}w_{r-s}\right| ^p a_{r-m,k}^p}{n a_{r,l}^p}<\infty \\ \text{ If } p\in \{0,\infty \}:&{} \forall \,k\in \mathbb {N}_0\exists \,l\in \mathbb {N}_0:\,\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left| \prod _{s=1}^{m}w_{r-s}\right| a_{r-m,k}}{n a_{r,l}}<\infty \end{array}\right. } \end{aligned}$$ -
(ii)
\(B_w\) is Cesàro bounded on \(\lambda _p(A)\).
-
(iii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\left| \sum _{m=1}^{n}\left( \prod _{s=1}^{m}w_{r-s}\right) a_{r-m,k}\right| }{na_{r,l}}<\infty \end{aligned}$$
Then, condition (i) implies (ii) and condition (ii) implies (iii).
Proof
We first show that (ii) implies (iii). In order to do so, keeping in mind that by our convention \(a_{s,k}=0\) for \(s\in \mathbb {Z}\backslash \mathbb {N}_0\), we evaluate (9) and (10) for \(x=e_r\) and obtain
in case \(p\in [1,\infty )\), respectively
for \(p=\infty \). Thus, Cesàro boundedness of \(B_w\) on \(\lambda ^p(A)\) implies that for \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(c>0\) such that
which proves (iii).
Now, assume that (i) holds for \(p\in [1,\infty )\). Fix \(k\in \mathbb {N}_0\) and choose \(l\in \mathbb {N}_0\) according to \((Cb_p^B)\). For \(n\in \mathbb {N}\) and \(x\in \lambda _p(A)\) it follows with the convexity of the function \([0,\infty )\rightarrow \mathbb {R}, t\mapsto t^p\)
Since by assumption \((Cb_p^B)\) the supremum is finite we conclude that \(B_w\) is Cesàro bounded on \(\lambda _p(A)\).
Finally, if (i) holds for \(p\in \{0,\infty \}\), let \(k\in \mathbb {N}_0\) be arbitrary. Choosing \(l\in \mathbb {N}_0\) according to \((Cb_p^B)\) implies for \(n\in \mathbb {N}\) and \(x\in \lambda _p(A)\)
Since again by assumption \((Cb_p^B)\) the supremum is finite we conclude that \(B_w\) is Cesàro bounded on \(\lambda _p(A)\) for \(p\in \{0,\infty \}\) which proves the proposition. \(\square \)
As an immediate consequence of the previous proposition we obtain the following result.
Corollary 3.5
Let A be a Köthe matrix and let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\), and such that the weighted backward shift \(B_w\) is continuous on \(\lambda _p(A)\). Then, the following are equivalent.
-
(i)
\(B_w\) is Cesàro bounded on any/each of the spaces \(\lambda _0(A),\lambda _1(A)\), or \(\lambda _\infty (A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left( \prod _{s=1}^{m}w_{r-s}\right) a_{r-m,k}}{n a_{r,l}}<\infty .\end{aligned}$$
If additionally, \(w_n\le 1\), \(n\in \mathbb {N}_0\), and if the Köthe matrix \(A=(a_{n,k})_{n,k\in \mathbb {N}_0}\) satisfies that \((a_{n,k})_{n\in \mathbb {N}_0}\) is increasing for every \(k\in \mathbb {N}_0\), the equivalent conditions (i) and (ii) are also equivalent to condition (iii):
-
(iii)
\(B_w\) is power bounded on any/each of the spaces \(\lambda _0(A),\lambda _1(A)\), or \(\lambda _\infty (A)\).
Proof
That (i) and (ii) are equivalent follows immediately from Proposition 3.4. Now, assume that the additional hypothesis on w and A hold. We fix \(k\in \mathbb {N}_0\). From (ii) we conclude the existence of \(l\in \mathbb {N}_0\) such that
Proposition 3.2 (a) implies that \(B_w\) is power bounded. On the other hand, every power bounded operator is Cesàro bounded which proves the statement. \(\square \)
Corollary 3.6
Let A be a Köthe matrix and let \(p\in (1,\infty )\). Let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\), and such that the weighted backward shift \(B_w\) is continuous on \(\lambda _p(A)\). Consider the following conditions.
-
(i)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left( \prod _{s=1}^{m}w_{r-s}\right) ^p a_{r-m,k}^p}{n a_{r,l}^p}<\infty .\end{aligned}$$ -
(ii)
\(B_w\) is mean ergodic on \(\lambda _p(A)\).
-
(iii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left( \prod _{s=1}^{m}w_{r-s}\right) a_{r-m,k}}{n a_{r,l}}<\infty .\end{aligned}$$
Then, condition (i) implies (ii) and condition (ii) implies (iii).
Proof
Assume that (i) holds. By Proposition 3.4, \(B_w\) is Cesàro bounded on \(\lambda _p(A)\), i.e. \(\{B_w^{[n]};n\in \mathbb {N}\}\) is equicontinuous on \(\lambda _p(A)\). Because \(\frac{1}{n}B_w^n=B_w^{[n]}-\frac{n-1}{n}B_w^{[n-1]}\) the set \(\{\frac{1}{n}B_w^n;n\in \mathbb {N}\}\) is equicontinuous on \(\lambda _p(A)\), too. Moreover, \(\text{ span }\{e_r;r\in \mathbb {N}_0\}\) is dense in \(\lambda _p(A)\) and obviously for each \(x\in \text{ span }\{e_r;r\in \mathbb {N}_0\}\) it holds \(\frac{1}{n}B_w^n x=0\) for sufficiently large n. From equicontinuity it follows that \(\left( \frac{1}{n}B_w^n x\right) _{n\in \mathbb {N}}\) tends to 0 for every \(x\in \lambda _p(A)\). Since \(\lambda _p(A)\) is reflexive (see, e.g. [29, Proposition 27.3]) Theorem 2.4 implies that \(B_w\) is mean ergodic on \(\lambda _p(A)\).
On the other hand, if (ii) holds, refereing to Theorem 2.4 again, it follows that \(B_w\) is Cesàro bounded on \(\lambda _p(A)\) so that (iii) follows from Proposition 3.4. \(\square \)
Before we continue with a result characterizing mean ergodicity of \(B_w\) on \(\lambda _0(A)\) and \(\lambda _1(A)\), we recall that by the Dieudonné-Gomes Theorem (see e.g. [29, Theorem 27.9]) \(\lambda _1(A)\) is reflexive if and only if \(\lambda _p(A)\) is a Montel space for all/some \(p\in [1,\infty ]\) if and only if \(\lambda _0(A)=\lambda _\infty (A)\) and that these properties are equivalent to
Moreover, recall that the above properties are equivalent to \(\lambda _0(A)\) being a Montel space (see e.g. [29, Proposition 27.15]).
Theorem 3.7
Let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\). Moreover, let A be a Köthe matrix such that \(\lambda _p(A)\) is a Montel space and such that the weighted backward shift \(B_w\) is continuous on \(\lambda _p(A)\) for some/all \(p\in [1,\infty ]\cup \{0\}\). Then, the following are equivalent.
-
(i)
\(B_w\) is Cesàro bounded on one /each of the spaces \(\lambda _0(A)\) or \(\lambda _1(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{\sum _{m=1}^n\left( \prod _{s=1}^{m}w_{r-s}\right) a_{r-m,k}}{n a_{r,l}}<\infty .\end{aligned}$$ -
(iii)
\(B_w\) is (uniformly) mean ergodic on either of the spaces \(\lambda _0(A)\) or \(\lambda _1(A)\).
If additionally, \(w_n\le 1\), \(n\in \mathbb {N}_0\), and if the Köthe matrix \(A=(a_{n,k})_{n,k\in \mathbb {N}_0}\) satisfies that \((a_{n,k})_{n\in \mathbb {N}_0}\) is increasing for every \(k\in \mathbb {N}_0\), the above conditions are also equivalent to condition (iv):
-
(iv)
\(B_w\) is power bounded on either of the spaces \(\lambda _0(A)\) and \(\lambda _1(A)\).
Proof
The equivalence of (i) and (ii) holds by Corollary 3.5. Moreover, since Fréchet spaces are barrelled, mean ergodic operators on Fréchet spaces are Cesàro bounded, so that condition (iii) implies (i).
Next, if (ii) holds, refering to Theorem 2.5 instead of Theorem 2.4, it follows as in the proof of Corollary 3.6 that \(B_w\) is uniformly mean ergodic on \(\lambda _0(A)\) and \(\lambda _1(A)\).
In case that the additional properties of A and w are satisfied it follows from Corollary 3.5 that (i) and (iv) are equivalent. \(\square \)
In the remainder of this section we study Cesàro boundedness and mean ergodicity of weighted forward shifts \(F_w\). For \(p\in [1,\infty )\) and \(k\in \mathbb {N}_0\) it holds for \(n\in \mathbb {N}\) and \(x\in \lambda _p(A)\)
while for \(p=\infty \) we have
Using (12) and (13) instead of (9) and (10), respectively, the proof of the next proposition is done precisely as the one of Proposition 3.4 and is therefore omitted.
Proposition 3.8
Let A be a Köthe matrix and let \(p\in [1,\infty ]\cup \{0\}\). Moreover, let \(w\in \omega \) be such that the weighted forward shift \(F_w\) is continuous on \(\lambda _p(A)\). Consider the following conditions.
-
(i)
\((Cb_p^F)\) holds, where
$$\begin{aligned} (Cb_p^F)={\left\{ \begin{array}{ll}\text{ If } p\in [1,\infty ):&{} \forall \,k\in \mathbb {N}_0\exists \,l\in \mathbb {N}_0:\,\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left| \prod _{s=1}^{m}w_{r+s}\right| ^p a_{r+m,k}^p}{na_{r,l}^p}<\infty \\ \text{ If } p\in \{0,\infty \}:&{} \forall \,k\in \mathbb {N}_0\exists \,l\in \mathbb {N}_0:\,\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left| \prod _{s=1}^{m}w_{r+s}\right| a_{r+m,k}}{n a_{r,l}}<\infty \end{array}\right. } \end{aligned}$$ -
(ii)
\(F_w\) is Cesàro bounded on \(\lambda _p(A)\).
-
(iii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\left| \sum _{m=1}^{n}\left( \prod _{s=1}^{n}w_{r+s}\right) a_{r+m,k}\right| }{na_{j,l}}<\infty \end{aligned}$$
Then, condition (i) implies (ii) and condition (ii) implies (iii).
Analogously as Corollary 3.5 one obtains the next result.
Corollary 3.9
Let A be a Köthe matrix and let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\), and such that the weighted forward shift \(F_w\) is continuous on \(\lambda _p(A)\). Then, the following are equivalent.
-
(i)
\(F_w\) is Cesàro bounded on any/each of the spaces \(\lambda _0(A),\lambda _1(A)\), or \(\lambda _\infty (A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left( \prod _{s=1}^{m}w_{r+s}\right) a_{r+m,k}}{na_{r,l}}<\infty .\end{aligned}$$
If additionally, \(w_n\le 1\), \(n\in \mathbb {N}_0\), and if the Köthe matrix \(A=(a_{n,k})_{n,k\in \mathbb {N}_0}\) satisfies that \((a_{n,k})_{n\in \mathbb {N}_0}\) is decreasing for every \(k\in \mathbb {N}_0\), the equivalent conditions (i) and (ii) are also equivalent to condition (iii):
-
(iii)
\(F_w\) is power bounded on any/each of the spaces \(\lambda _0(A),\lambda _1(A)\).
From (2) and (4) it follows that for \(x\in \text{ span }\{e_r; r\in \mathbb {N}_0\}\) we have \(\lim _{n\rightarrow \infty }\frac{1}{n}F_w^n x=0\) in \(\lambda _p(A)\) if and only if
Repeating the arguments from the proofs of Corollary 3.6 and Theorem 3.7, we conclude the next results.
Corollary 3.10
Let A be a Köthe matrix and let \(p\in (1,\infty )\). Let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\), and such that the weighted foward shift \(F_w\) is continuous on \(\lambda _p(A)\). Consider the following conditions.
-
(i)
For every \(k\in \mathbb {N}_0\) we have
$$\begin{aligned}\forall \,r\in \mathbb {N}_0:\,\lim _{n\rightarrow \infty }\frac{\left( \prod _{s=1}^n w_{r+s}\right) a_{r+n,k}}{n}=0\end{aligned}$$and there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left( \prod _{s=1}^{m}w_{r+s}\right) ^p a_{r+m,k}^p}{na_{r,l}^p}<\infty .\end{aligned}$$ -
(ii)
\(F_w\) is mean ergodic on \(\lambda _p(A)\).
-
(iii)
For every \(k\in \mathbb {N}_0\) we have
$$\begin{aligned}\forall \,r\in \mathbb {N}_0:\,\lim _{n\rightarrow \infty }\frac{\left( \prod _{s=1}^n w_{r+s}\right) a_{r+n,k}}{n}=0\end{aligned}$$and there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left( \prod _{s=1}^{m}w_{r+s}\right) a_{r+m,k}}{na_{r,l}}<\infty .\end{aligned}$$
Then, condition (i) implies (ii) and condition (ii) implies (iii).
Theorem 3.11
Let \(w\in \omega \) be such that \(w_n\ge 0\), \(n\in \mathbb {N}_0\). Moreover, let A be a Köthe matrix such that \(\lambda _p(A)\) is a Montel space and such that the weighted backward shift \(F_w\) is continuous on \(\lambda _p(A)\) for some/all \(p\in [1,\infty ]\cup \{0\}\). Then, the following are equivalent.
-
(i)
\(F_w\) is (uniformly) mean ergodic on any/each of the spaces \(\lambda _0(A)\) or \(\lambda _1(A)\).
-
(ii)
For every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0,n\in \mathbb {N}}\frac{\sum _{m=1}^{n}\left( \prod _{s=1}^{m}w_{r+s}\right) a_{r+m,k}}{na_{r,l}}<\infty \end{aligned}$$and it holds
$$\begin{aligned}\forall \,r\in \mathbb {N}_0:\,\lim _{n\rightarrow \infty }\frac{\left| \prod _{s=1}^n w_{r+s}\right| a_{r+n,k}}{n}=0.\end{aligned}$$
4 Ergodic Properties of Weighted Shifts on Power Series Spaces and Related Results
In this section we evaluate the results from the previous one for the special case of power series spaces and we apply these in order to study dynamical properties of some classical operators on certain function spaces. For an exponent sequence \(\alpha =(\alpha _n)_{n\in \mathbb {N}_0}\) we have for the corresponding power series spaces \(\Lambda _\infty (\alpha )=\lambda _1(A_\infty (\alpha ))\) and \(\Lambda _0(\alpha )=\lambda _1(A_0(\alpha ))\) with the Köthe matrices \(A_\infty (\alpha )=\left( \exp (k\alpha _n)\right) _{k,n\in \mathbb {N}_0}\) and \(A_0(\alpha )=\left( \exp \left( -\frac{\alpha _n}{k+1}\right) \right) _{k,n\in \mathbb {N}_0}\), respectively. In particular, property (11) is satisfied so that \(\Lambda _\infty (\alpha )\) and \(\Lambda _0(\alpha )\) are both Montel spaces.
Proposition 4.1
Let \(\alpha =\left( \alpha _n\right) _{n\in \mathbb {N}_0}\) be an exponent sequence and let \(w\in \omega \). Then the following hold.
-
(i)
Assume that \(B_w\) is continuous in \(\Lambda _\infty (\alpha )\). Then, \(B_w\) is topologizable on \(\Lambda _\infty (\alpha )\) if and only if
$$\begin{aligned} \sup _{m\in \mathbb {N}}\limsup _{n\rightarrow \infty }\frac{\ln \left| \prod _{j=0}^{m-1}w_{n+j}\right| }{\alpha _{n+m}}<\infty . \end{aligned}$$(14) -
(ii)
Assume that \(F_w\) is continuous in \(\Lambda _\infty (\alpha )\). Then, \(F_w\) is topologizable on \(\Lambda _\infty (\alpha )\) if and only if
$$\begin{aligned} \forall \,k\in \mathbb {N}_0:\, \sup _{m\in \mathbb {N}}\limsup _{n\rightarrow \infty }\frac{\ln \left| \prod _{j=1}^m w_{n+j}\right| +k\alpha _{n+m}}{\alpha _n}<\infty . \end{aligned}$$(15) -
(iii)
Assume that \(B_w\) is continuous in \(\Lambda _0(\alpha )\). If \(B_w\) is topologizable on \(\Lambda _0(\alpha )\) it holds
$$\begin{aligned} \sup _{m\in \mathbb {N}}\limsup _{n\rightarrow \infty }\frac{ \ln \left| \prod _{j=0}^{m-1}w_{n+j}\right| }{\alpha _{n+m}}\le 0. \end{aligned}$$(16)If additionally \(\sup _{n\in \mathbb {N}}(\alpha _{n+1}-\alpha _n)<\infty \) holds, condition (16) gives that \(B_w\) is topologizable on \(\Lambda _0(\alpha )\).
-
(iv)
Assume that \(F_w\) is continuous in \(\Lambda _0(\alpha )\). Then \(F_w\) is topologizable on \(\Lambda _0(\alpha )\) if and only if
$$\begin{aligned} \sup _{m\in \mathbb {N}}\limsup _{n\rightarrow \infty }\frac{ \ln \left| \prod _{j=1}^mw_{n+j}\right| }{\alpha _{n+m}}\le 0. \end{aligned}$$(17)
Proof
In order to prove (i), we observe that by Proposition 3.1\(B_w\) is topologizable on \(\Lambda _\infty (\alpha )\) if and only if for every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
Thus, if \(B_w\) is topologizable, evaluating (18) for \(k=0\) implies (14). On the other hand, assuming (14) let \(k\in \mathbb {N}_0\) be fixed. We set \(R=\sup _{m\in \mathbb {N}}\limsup _{n\rightarrow \infty }\frac{\ln \left| \prod _{j=0}^{m-1}w_{n+j}\right| }{\alpha _{n+m}}\). For each \(m\in \mathbb {N}_0\) there is \(N_m\in \mathbb {N}\) such that
Thus (18) holds true for \(l\in \mathbb {N}_0\) with \(l\ge (R+2)k\) so that \(B_w\) is topologizable on \(\Lambda _\infty (\alpha )\).
For the proof of (ii) we observe that by Proposition 3.1 topologizability of \(F_w\) on \(\Lambda _\infty (\alpha )\) holds precisely when for every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) with
From this one easily derives that (15) is equivalent to the topologizability of \(F_w\) on \(\Lambda _\infty (\alpha )\) so that (ii) follows.
For the proof of (iii) we apply Proposition 3.1 to see that \(B_w\) is topologizable on \(\Lambda _0(\alpha )\) if and only if for every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) with
Thus, if \(B_w\) is topologizable on \(\Lambda _0(\alpha )\), evaluating the above condition for \(k=0\) implies (16). On the other hand, under the assumption that (16) holds, for fixed \(k\in \mathbb {N}_0\) and arbitrary \(m\in \mathbb {N}_0\) there is \(N_m\in \mathbb {N}\) such that
Thus, under the additional hypothesis that \(\sup _{r\in \mathbb {N}}(\alpha _{r+1}-\alpha _r)<\infty \) we see that (19) is satisfied for \(l=k+1\) so that \(F_w\) is topologizable. This proves (iii).
Finally, for the proof of (iv), by Proposition 3.1, \(F_w\) is topologizable on \(\Lambda _0(\alpha )\) if and only if for arbitrary \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) with
Hence, if \(F_w\) is topologizable on \(\Lambda _0(\alpha )\) by the above condition (17) follows. On the other hand, if (17) holds, for fixed \(k\in \mathbb {N}_0\) we derive for arbitrary \(m\in \mathbb {N}\) the existence of \(N_m\in \mathbb {N}\) for which
Thus, with \(l=2k+1\) it follows
so that (20) holds which proves (iv). \(\square \)
In order to give a simplified condition of power boundedness for \(B_w\) and \(F_w\) on power series spaces we introduce the following notion. Given a matrix \(\left( A_{n,m}\right) _{n\in \mathbb {N}_0,m\in \mathbb {N}}\in \mathbb {R}^{\mathbb {N}_0\times \mathbb {N}}\) we define the superior limit along \(n+m\) as
Proposition 4.2
Let \(\alpha =\left( \alpha _n\right) _{n\in \mathbb {N}_0}\) be an exponent sequence with \(\alpha _0>0\) and let \(w\in \omega \). Then the following hold.
-
(i)
Assume that \(B_w\) is continuous in \(\Lambda _\infty (\alpha )\). \(B_w\) is power bounded on \(\Lambda _\infty (\alpha )\) if and only if
$$\begin{aligned} \sup _{n\in \mathbb {N}_0,m\in \mathbb {N}}\frac{\ln \left| \prod _{j=0}^{m-1}w_{n+j}\right| }{\alpha _{n+m}}<\infty . \end{aligned}$$(21) -
(ii)
Assume that \(F_w\) is continuous on \(\Lambda _\infty (\alpha )\). Then \(F_w\) is power bounded on \(\Lambda _\infty (\alpha )\) if and only if
$$\begin{aligned} \forall \,k\in \mathbb {N}_0:\, \sup _{n\in \mathbb {N}_0,m\in \mathbb {N}}\frac{\ln \left| \prod _{j=1}^{m}w_{n+j}\right| +k\alpha _{n+m}}{\alpha _n}<\infty . \end{aligned}$$(22) -
(iii)
Assume that \(B_w\) is continuous in \(\Lambda _0(\alpha )\). Then \(B_w\) is power bounded on \(\Lambda _0(\alpha )\) if and only if
$$\begin{aligned} \forall \,k\in \mathbb {N}_0:\, \limsup _{n+m\rightarrow \infty }\frac{\ln \left| \prod _{j=0}^{m-1}w_{n+j}\right| -\frac{\alpha _n}{k+1}}{\alpha _{n+m}}<0 \end{aligned}$$(23) -
(iv)
Assume that \(F_w\) is continuous on \(\Lambda _0(\alpha )\). \(F_w\) is power bounded on \(\Lambda _0(\alpha )\) if and only if
$$\begin{aligned} \limsup _{n+m\rightarrow \infty }\frac{ \ln \left| \prod _{j=1}^{m}w_{n+j}\right| }{\alpha _{n+m}}\le 0. \end{aligned}$$(24)
Proof
Let \(B_w\) be continuous on \(\Lambda _\infty (\alpha )\). By Proposition 3.2\(B_w\) is power bounded on \(\Lambda _\infty (\alpha )\) if and only if for each \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) with
Therefore, whenever \(B_w\) is power bounded, evaluating the previous condition for \(k=0\) implies (21). Conversely, if (21) is satisfied, for a fixed \(k\in \mathbb {N}_0\) we can find \(c>0\) such that
Then, for every \(n\in \mathbb {N}_0, m\in \mathbb {N}\) we conclude
so that (25) holds true for every \(l\in \mathbb {N}\) with \(l\ge k(c+1)\) and \(C=1\) so that \(B_w\) is power bounded. This proves (i).
In order to prove (ii) we apply Proposition 3.2 to deduce that \(F_w\) is power bounded on \(\Lambda _0(\alpha )\) if and only if for each \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) such that
which is easily seen to be equivalent to (22).
By Proposition 3.2\(B_w\) is power bounded on \(\Lambda _0(\alpha )\) if and only if the condition given in (a) (ii) holds which is clearly equivalent to for each \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) such that
Hence, if \(B_w\) is power bounded on \(\Lambda _0(\alpha )\) it follows from the above condition and the fact that \((\alpha _n)_{n\in \mathbb {N}_0}\) is increasing and tends to infinity, that for each \(k\in \mathbb {N}_0\) there is \(N_k>0\) such that \(C/\alpha _{n+m}\le \frac{1}{2(l+1)}\) for every pair \((n,m)\in \mathbb {N}_0\times \mathbb {N}\) with \(n+m\ge N_k\). This gives
whenever \(n+m\ge N_k\) is satisfied. Therefore, condition (23) holds.
Now assume that (23) holds. Then for a fixed \(k\in \mathbb {N}_0\) there are \(N_k>0\) and \(A_k>1\) such that
is satisfied for every pair \((n,m)\in \mathbb {N}_0\times \mathbb {N}\) with \(n+m\ge N_k\). Now, since \(\{(n,m): n+m<N_k\}\) is finite this gives that condition (26) holds for every \(l\ge A_k(k+1)\). This proves (iii).
Finally, in order to prove (iv), by Proposition 3.2\(F_w\) is power bounded on \(\Lambda _0(\alpha )\) if and only if for every \(k\in \mathbb {N}_0\) there are \(l\in \mathbb {N}_0\) and \(C>0\) such that
Now assume that \(F_w\) is power bounded. For each \(k\in \mathbb {N}_0\) there are thus \(l\in \mathbb {N}_0\) and \(C>0\) with
Now since \((\alpha _n)_{n\in \mathbb {N}_0}\) tends to infinity, there is \(N_k>0\) such that \(C/\alpha _{n+m}\le \frac{1}{k+1}\) for every pair \((n,m)\in \mathbb {N}_0\times \mathbb {N}\) with \(n+m\ge N_k\). Thus the above inequality implies condition (24).
On the other hand, if (24) is satisfied, for a fixed \(k\in N_0\) there is \(N_k\) such that
Thus we obtain
since \(\alpha \) is monotonically increasing. Since the set \(\{(n,m): n+m<N_k\}\) is finite, this gives that condition (27) holds with \(l=2k+1\) so that \(F_w\) is power bounded on \(\Lambda _0(\alpha )\). This proves (iv). \(\square \)
As an immediate consequence of Theorems 3.7 and 3.11 we obtain the next corollary.
Corollary 4.3
Let \(\alpha \) be an exponent sequence and \(w\in \omega \) with \(w_n\ge 0\) for each \(n\in \mathbb {N}_0\).
-
(i)
Assume that \(B_w\) is continuous on \(\Lambda _\infty (\alpha )\). \(B_w\) is (uniformly) mean ergodic on \(\Lambda _\infty (\alpha )\) if and only if for every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r,n\in \mathbb {N}, r\ge n}\frac{1}{n}\sum _{m=1}^n\left( \prod _{s=1}^m w_{r-s}\right) \exp \left( k\alpha _{r-m}-l\alpha _r\right) <\infty .\end{aligned}$$ -
(ii)
Assume that \(F_w\) is continuous on \(\Lambda _\infty (\alpha )\). \(F_w\) is (uniformly) mean ergodic on \(\Lambda _\infty (\alpha )\) if and only if for every \(k\in \mathbb {N}_0\)
$$\begin{aligned}\forall \,r\in \mathbb {N}_0:\,\lim _{n\rightarrow \infty }\frac{\left( \prod _{s=1}^n w_{r+s}\right) \exp (k\alpha _{r+n})}{n}=0\end{aligned}$$and there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{1}{n}\sum _{m=1}^n\left( \prod _{s=1}^m w_{r+s}\right) \exp \left( k\alpha _{r+m}-l\alpha _r\right) <\infty .\end{aligned}$$ -
(iii)
Assume that \(B_w\) is continuous on \(\Lambda _0(\alpha )\). \(B_w\) is (uniformly) mean ergodic on \(\Lambda _0(\alpha )\) if and only if for every \(k\in \mathbb {N}_0\) there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r, n\in \mathbb {N}, r\ge n}\frac{1}{n}\sum _{m=1}^n\left( \prod _{s=1}^m w_{r-s}\right) \exp \left( \frac{\alpha _r}{l+1}-\frac{\alpha _{r-m}}{k+1}\right) <\infty .\end{aligned}$$ -
(iv)
Assume that \(F_w\) is continuous on \(\Lambda _0(\alpha )\).\(F_w\) is (uniformly) mean ergodic on \(\Lambda _0(\alpha )\) if and only if for every \(k\in \mathbb {N}_0\)
$$\begin{aligned}\forall \,r\in \mathbb {N}_0:\,\lim _{n\rightarrow \infty }\frac{\left( \prod _{s=1}^n w_{r+s}\right) \exp \left( -\frac{\alpha _{r+n}}{k+1}\right) }{n}=0\end{aligned}$$and there is \(l\in \mathbb {N}_0\) such that
$$\begin{aligned}\sup _{r\in \mathbb {N}_0, n\in \mathbb {N}}\frac{1}{n}\sum _{m=1}^n\left( \prod _{s=1}^m w_{r+s}\right) \exp \left( \frac{\alpha _r}{l+1}-\frac{\alpha _{r+m}}{k+1}\right) <\infty .\end{aligned}$$
Now we study ergodicity and related properties for some classical operators acting on the Fréchet spaces of holomorphic functions \(H(\mathbb {C})\) and \(H(\mathbb {D})\), where \(\mathbb {D}\) denotes the open unit disk in the complex plane. Via the mapping \(\Phi \) which assigns to a holomorphic function f the sequence of its Taylor coefficients in the origin, \(\Phi (f)=(\frac{f^{(n)}(0)}{n!})_{n\in \mathbb {N}_0}\), these spaces are topologically isomorphic to the power series space \(\Lambda _\infty ((n+1))_{n\in \mathbb {N}_0}\), respectively \(\Lambda _0((n+1)_{n\in \mathbb {N}_0})\). For \(G\in \{\mathbb {C},\mathbb {D}\}\) let \(\Delta _0\) be the continuous linear operator on H(G) which maps f to the holomorphic function \(\Delta _0(f)(z)= (f(z)-f(0))/z\), \(z\in G\backslash \{0\}\), \(\Lambda _0(f)(0)=f'(0)\). Additionally, we denote by V the Volterra operator on H(G) which takes \(f\in H(G)\) to the holomorphic function \(z\mapsto \int _0^z f(\zeta )\,d\zeta \), \(z\in G\). As usual, \(\frac{d}{dz}\) denotes the differentiation operator on H(G) which maps f to its derivative \(f'\). Ergodicity and related properties of these classical operators have been studied on Banach spaces of entire functions, see e.g. [6, 7]. On \(H(\mathbb {C})\) and \(H(\mathbb {D})\), via the topological isomorphism \(\Phi \), they are conjugate to suitable weighted shift operators.
In addition to these operators on spaces on holomorphic functions, we apply our results to the annihilation operator and creation operator on the space of rapidly decreasing smooth functions which we denote as usual by \(\mathscr {S}(\mathbb {R})\), i.e. on the space of complex valued smooth functions f on \(\mathbb {R}\) which have the property that \(\sup _{x\in \mathbb {R}}(1+|x|)^k |f^{(j)}(x)|<\infty \) for all \(k,j\in \mathbb {N}_0\). We equip \(\mathscr {S}(\mathbb {R})\) with its standard topology which makes it a (nuclear) Fréchet space. The creation operator \(A_+:\mathscr {S}(\mathbb {R}):\rightarrow \mathscr {S}(\mathbb {R})\) and the annihilation operator \(A_-:\mathscr {S}(\mathbb {R}):\rightarrow \mathscr {S}(\mathbb {R})\) are defined by
respectively, where we denote the multipication operator with the identity on \(\mathscr {S}(\mathbb {R})\) simply by xf. As is well known, via Hermite expansion in \(L_2(\mathbb {R})\), \(\mathscr {S}(\mathbb {R})\) is topologically isomorphic to the power series space \(s=\Lambda _\infty \left( (\ln (n+1))_{n\in \mathbb {N}_0}\right) \) and via this topological isomorphism, the annihilation and creation operators are conjugate to suitable weighted shift operators on s.
Theorem 4.4
With the notation from above, the following hold.
-
(i)
For \(G\in \{\mathbb {C},\mathbb {D}\}\) the operator \(\Delta _0:H(G)\rightarrow H(G)\) is power bounded and (uniformly) mean ergodic.
-
(ii)
For \(G\in \{\mathbb {C},\mathbb {D}\}\) the Volterra operator \(V:H(G)\rightarrow H(G)\) is power bounded and (uniformly) mean ergodic.
-
(iii)
For \(G\in \{\mathbb {C},\mathbb {D}\}\) the differentiation operator \(\frac{d}{dz}:H(G)\rightarrow H(G)\) is topologizable but not (uniformly) mean ergodic.
-
(iv)
The annihilation operator \(A_+:\mathscr {S}(\mathbb {R})\rightarrow \mathscr {S}(\mathbb {R})\) and the creation operator \(A_-:\mathscr {S}(\mathbb {R})\rightarrow \mathscr {S}(\mathbb {R})\) are both topologizable but neither of them is power bounded nor (uniformly) mean ergodic.
Proof
As already mentioned in the introduction to the theorem, the space \(H(\mathbb {C})\) of entire functions is topologically isomorphic to the infinite type power series space \(\Lambda _\infty ((n+1)_{n\in \mathbb {N}_0})\), i.e. \(\alpha _n=n+1, n\in \mathbb {N}_0\), while the space \(H(\mathbb {D})\) is topologically isomorphic to the finite type power series space \(\Lambda _0((n+1)_{n\in \mathbb {N}_0})\), i.e. \(\alpha _n=n+1, n\in \mathbb {N}_0\). In both cases, the topological isomorphism is given by the mapping which takes a holomorphic function f to the sequence of its Taylor coefficients in the origin. Via this mapping the continuous linear operator \(\Delta _0\) is conjugate to the (unweighted) backward shift B on \(\Lambda _\infty ((n+1)_{n\in \mathbb {N}_0})\), respectively on \(\Lambda _0((n+1)_{n\in \mathbb {N}_0})\). Therefore, it follows immediately from Proposition 4.2 (i), respectively (iii), that \(\Delta _0\) is power bounded and therefore uniformly mean ergodic on \(H(\mathbb {C})\) and \(H(\mathbb {D})\), respectively, which proves (i).
(ii) Similarly to (i), the operator \(V:H(\mathbb {C})\rightarrow H(\mathbb {C})\) is conjugate to the weighted forward shift \(F_w\) with weight sequence \(w=\left( \frac{1}{\max \{1,n\}}\right) _{n\in \mathbb {N}_0}\) on \(\Lambda _\infty ((n+1)_{n\in \mathbb {N}_0})\) and \(V:H(\mathbb {D})\rightarrow H(\mathbb {D})\) is conjugate to the weighted forward shift \(F_w\) with weight sequence \(w=\left( \frac{1}{\max \{1,n\}}\right) _{n\in \mathbb {N}_0}\) on \(\Lambda _0((n+1)_{n\in \mathbb {N}_0})\). Because
by Proposition 4.2 (iv), V is power bounded, thus, in particular, uniformly mean ergodic on \(H(\mathbb {D})\).
We shall prove that V is power bounded on \(H(\mathbb {C})\) by applying Proposition 4.2 (ii). Thus, let \(k\in \mathbb {N}_0\) be arbitrary. We have to show that
has an upper bound independent of \(n\in \mathbb {N}_0\) and \(m\in \mathbb {N}\). In order to do so, we distinguish three cases depending on the choices of n and m.
Case 1: Fix an arbitrary \(N>0\). Consider every \(n<N\) and let \(m\rightarrow \infty \). Then using Stirling’s formula we obtain
for every \(n<N\).
Case 2: Fix an arbitrary \(M>0\). Consider every \(m<M\) and let \(n\rightarrow \infty \). Then we have
Case 3: We choose both n and m tending to \(\infty \). To that aim we introduce the following notation. Given a matrix \(\left( A_{n,m}\right) _{n\in \mathbb {N}_0,m\in \mathbb {N}}\in \mathbb {R}^{\mathbb {N}_0\times \mathbb {N}}\) we define the superior limit along \(\min (n,m)\) as
Now we compute this superior limit for (28) using Stirling’s formula:
Combining the above three cases we conclude that
Thus, by Proposition 4.2 (ii), V is power bounded and therefore also uniformly mean ergodic on \(H(\mathbb {C})\) which proves statement (ii).
(iii) The operator \(\frac{d}{dz}:H(\mathbb {C})\rightarrow H(\mathbb {C})\) is conjugate to the weighted backward shift \(B_w\) with weight sequence \(w=(n+1)_{n\in \mathbb {N}_0}\) on \(\Lambda _\infty ((n+1)_{n\in \mathbb {N}_0})\). While it is well known that \(\frac{d}{dz}\) is topologically transitive and thus, it cannot be power bounded on \(H(\mathbb {C})\), for arbitrary \(k,l\in \mathbb {N}_0\) it follows from
together with Corollary 4.3 (i) that \(\frac{d}{dz}\) is not mean ergodic on \(H(\mathbb {C})\). On the other hand, with Stirling’s formula,
Thus, by Proposition 4.1 (i), \(\frac{d}{dz}\) is topologizable on \(H(\mathbb {C})\). Of course, the latter can also be derived directly with the aid of the Cauchy formulas for derivatives.
Likewise, the differentiation operator \(\frac{d}{dz}:H(\mathbb {D})\rightarrow H(\mathbb {D})\) is conjugate to the weighted backward shift \(B_w\) with weight sequence \(w=(n+1)_{n\in \mathbb {N}_0}\) on \(\Lambda _0((n+1)_{n\in \mathbb {N}_0})\). Because for arbitrary \(k,l\in \mathbb {N}_0\) it holds
by Corollary 4.3 (iii) it follows that \(\frac{d}{dz}\) is not mean ergodic on \(H(\mathbb {D})\). However, due to
it follows from Proposition 4.1 (iii) that \(\frac{d}{dz}\) is topologizable on \(H(\mathbb {D})\). Alternatively, as mentioned before, this can be seen directly from Cauchy’s formulas for derivatives.
(iv) The mapping
is a topological isomorphism, where \(H_n, n\in \mathbb {N}_0,\) denotes the n-th Hermite function and \(\langle f, H_n\rangle \) the \(L_2(\mathbb {R})\)-scalar product of f and \(H_n\), see [29, Example 29.5.2]. Via this topological isomorphism the creation operator \(A_-:\mathscr {S}(\mathbb {R})\rightarrow \mathscr {S}(\mathbb {R})\) is conjugate to the weighted backward shift \(B_{(\sqrt{n+1})_{n\in \mathbb {N}_0}}:s\rightarrow s\) while the annihilation operator \(A_+:\mathscr {S}(\mathbb {R})\rightarrow \mathscr {S}(\mathbb {R})\) is conjugate to the weighted forward shift \(F_{(\sqrt{n})_{n\in \mathbb {N}_0}}:s\rightarrow s\).
Employing again Stirling’s formula as well as \(\lim \limits _{n\rightarrow \infty }(n+1/2)\ln (1+m/n)=m\) we see that
Hence, from Proposition 4.1 (i) we derive that \(A_-\) is not topologizable, a fortiori neither power bounded nor (uniformly) mean ergodic, on \(\mathscr {S}(\mathbb {R})\).
Finally, similar as above,
Therefore, applying Proposition 4.1 (ii) to \(k=0\), we see that \(A_+\) is not topologizable, hence neither power bounded nor mean ergodic on \(\mathscr {S}(\mathbb {R})\). \(\square \)
Data Availibility
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
Albanese, A.A., Bonet, J., Ricker, W.J.: Mean ergodic operators in Fréchet spaces. Ann. Acad. Sci. Fenn. Math. 34(2), 401–436 (2009)
Albanese, A.A., Bonet, J., Ricker, W.J.: On mean ergodic operators. In: Vector Measures, Integration and Related Topics, volume 201 of Oper. Theory Adv. Appl., pp. 1–20. Birkhäuser Verlag, Basel (2010)
Albanese, A.A., Bonet, J., Ricker, W.J.: Convergence of arithmetic means of operators in Fréchet spaces. J. Math. Anal. Appl. 401(1), 160–173 (2013)
Albanese, A.A., Bonet, J., Ricker, W.J.: Characterizing Fréchet-Schwartz spaces via power bounded operators. Studia Math. 224(1), 25–45 (2014)
Albanese, A.A., Jordá, E., Mele, C.: Dynamics of composition operators on function spaces defined by local and global properties. J. Math. Anal. Appl. 514(1), 126303 (2022)
Beltrán, M.J.: Dynamics of differentiation and integration operators on weighted spaces of entire functions. Studia Math. 221(1), 35–60 (2014)
Beltrán, M.J., Bonet, J., Fernández, C.: Classical operators on weighted Banach spaces of entire functions. Proc. Am. Math. Soc. 141(12), 4293–4303 (2013)
Beltrán-Meneu, M.J.: Dynamics of weighted composition operators on weighted Banach spaces of entire functions. J. Math. Anal. Appl. 492(1), 124422 (2020)
Beltrán-Meneu, M.J., Gómez-Collado, M.C., Jordá, E., Jornet, D.: Mean ergodic composition operators on Banach spaces of holomorphic functions. J. Funct. Anal. 270(12), 4369–4385 (2016)
Beltrán-Meneu, M.J., Gómez-Collado, M.C., Jordá, E., Jornet, D.: Mean ergodicity of weighted composition operators on spaces of holomorphic functions. J. Math. Anal. Appl. 444(2), 1640–1651 (2016)
Beltrán-Meneu, M.J., Jordá, E.: Dynamics of weighted composition operators on spaces of entire functions of exponential and infraexponential type. Mediterr. J. Math. 18(5), 212 (2021)
Bonet, J., de Pagter, B., Ricker, W.J.: Mean ergodic operators and reflexive Fréchet lattices. Proc. R. Soc. Edinb. Sect. A 141(5), 897–920 (2011)
Bonet, J., Domański, P.: A note on mean ergodic composition operators on spaces of holomorphic functions. Rev. Real Acad. Cienc. Exactas Fis. Nat. Seri. A. Mat. 105(2), 389–396 (2011)
Bonet, J., Domański, P.: Power bounded composition operators on spaces of analytic functions. Collect. Math. 62(1), 69–83 (2011)
Bonet, J., Jordá, E., Rodríguez, A.: Mean ergodic multiplication operators on weighted spaces of continuous functions. Mediterr. J. Math. 15(3), 108 (2018)
Bonet, J., Ricker, W.J.: Mean ergodicity of multiplication operators in weighted spaces of holomorphic functions. Arch. Math. 92(5), 428–437 (2009)
Dunford, N., Schwartz, J.T.: Linear Operators, I., Theory, General, Pure and Applied Mathematics, Vol. 7. Interscience Publishers Inc, New York; Interscience Publishers Ltd., London,: With the assistance of W. G. Bade and R. G, Bartle (1958)
Eisner, T., Farkas, B., Haase, M., Nagel, R.: Operator theoretic aspects of ergodic theory. Graduate Texts in Mathematics, vol. 272. Springer, Cham (2015)
Fernández, C., Galbis, A., Jordá, E.: Dynamics and spectra of composition operators on the Schwartz space. J. Funct. Anal. 274(12), 3503–3530 (2018)
Gómez-Collado, M.C., Jordá, E., Jornet, D.: Power bounded composition operators on spaces of meromorphic functions. Topol. Appl. 203, 141–146 (2016)
Han, S.-A., Zhou, Z.-H.: Mean ergodicity of composition operators on Hardy space. Proc. Indian Acad. Sci. Math. Sci. 129(4), 45 (2019)
Jarchow, H.: Locally convex spaces. B. G. Teubner, Stuttgart, 1981. Mathematische Leitfäden. [Mathematical Textbooks]
Jornet, D., Santacreu, D., Sevilla-Peris, P.: Mean ergodic composition operators in spaces of homogeneous polynomials. J. Math. Anal. Appl. 483(1), 123582 (2020)
Jornet, D., Santacreu, D., Sevilla-Peris, P.: Mean ergodic composition operators on spaces of holomorphic functions on a Banach space. J. Math. Anal. Appl. 500(2), 125139 (2021)
Kalmes, T.: Power bounded weighted composition operators on function spaces defined by local properties. J. Math. Anal. Appl. 471(1–2), 211–238 (2019)
Kalmes, T.: Topologizable and power bounded weighted composition operators on spaces of distributions. Ann. Polon. Math. 125(2), 139–154 (2020)
Kalmes, T., Santacreu, D.: Mean ergodic composition operators on spaces of smooth functions and distributions. Proc. Am. Math. Soc. 150(6), 2603–2616 (2022)
Krengel, U.: Ergodic theorems, volume 6 of De Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985. With a supplement by Antoine Brunel
Meise, R., Vogt, D.: Introduction to functional analysis, Volume 2 of Oxford Graduate Texts in Mathematics. The Clarendon Press Oxford University Press, New York, 1997. Translated from the German by M. S. Ramanujan and revised by the authors
Piszczek, K.: Barrelled spaces and mean ergodicity. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. 104(1), 5–11 (2010)
Piszczek, K.: Quasi-reflexive Fréchet spaces and mean ergodicity. J. Math. Anal. Appl. 361(1), 224–233 (2010)
Rodríguez-Arenas, A.: Some results about diagonal operators on Köthe echelon spaces. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. 113(4), 2959–2968 (2019)
Seyoum, W., Mengestie, T., Bonet, J.: Mean ergodic composition operators on generalized Fock spaces. Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Mat. 114(1), 6 (2020)
Acknowledgements
We are very grateful to José Bonet for valuable comments and suggestions about this work.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. The first author was partially supported by the project PID2020-119457GB-100 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe”, and the second author was partially supported by the project GV AICO/2021/170. The authors have no relevant financial or non-financial interests to disclose.
Author information
Authors and Affiliations
Contributions
All authors contributed to the study conception and design. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflict of interest to declare that are relevant to the content of this article.
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
Kalmes, T., Santacreu, D. Mean Ergodic Weighted Shifts on Köthe Echelon Spaces. Results Math 78, 180 (2023). https://doi.org/10.1007/s00025-023-01951-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01951-1
Keywords
- Mean ergodic operator
- weighted shift operator
- power bounded operator
- Köthe echelon space
- power series space