# Linear Sequences and Weighted Ergodic Theorems

Authors: Tanja Eisner
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

We present a simple way to produce good weights for several types of ergodic theorem including the Wiener-Wintner type multiple return time theorem and the multiple polynomial ergodic theorem. These weights are deterministic and come from orbits of certain bounded linear operators on Banach spaces. This extends the known results for nilsequences and return time sequences of the form(g(Sny)) for a measure preserving system (Y,S) and g∈L∞(Y), avoiding in the latter case the problem of finding the full measure set of appropriate points y.


---

## Body

## 1. Introduction

The classical mean and pointwise ergodic theorems due to von Neumann and Birkhoff, respectively, take their origin in questions from statistical physics and found applications in quite different areas of mathematics such as number theory, stochastics, and harmonic analysis. Over the years, they were extended and generalised in many ways. For example, to multiple ergodic theorems, see Furstenberg [1], Bergelson et al. [2], Host and Kra [3], Ziegler [4], and Tao [5], to the Wiener-Wintner theorem, see Assani [6], Lesigne [7], Frantzikinakis [8], Host and Kra [9], and Eisner and Zorin-Kranich [10], to the return time theorem and its generalisations, see Bourgain et al. [11], Demeter et al. [12], Rudolph [13], Assani and Presser [14, 15], and Zorin-Kranich [16], and to further weighted, modulated, and subsequential ergodic theorems, see Berend et al. [17], Below and Losert [18], Bourgain [19, 20], and Wierdl [21].The return time theorem due to Bourgain, solving a quite long standing open problem, is a classical example of a weighted pointwise ergodic theorem. It states that for every measure preserving system(Y,μ,S) and g∈L∞(Y,μ), the sequence (g(Sny)) is for μ-almost every y a good weight for the pointwise ergodic theorem. This means that for every other system (Y1,μ1,S1) and every g1∈L∞(Y1,μ1), the weighted ergodic averages
(1)1N∑n=1N‍g(Sny)g1(S1ny1)
converge almost everywhere in y1. The proof due to Bourgain et al. [11], see also Lesigne et al. [22] and Zorin-Kranich [23], is descriptive and gives conditions on y to produce a good weight. However, these conditions can be quite difficult to check in a concrete situation. Later, Rudolph [13], see also Assani and Presser [14] and Zorin-Kranich [16], gave a generalisation of the return time theorem and showed that (in the previous notation) the sequence (g(Sny)) is for almost every y a universally good weight for multiple ergodic averages; see Definition 4 later. However, the conditions on the point y did not become easier to check.The most general class of systems for which the convergence in the multiple return time theorem is known to holdeverywhere, hence, leading to good weights which are easy to construct, are nilsystems, that is, systems of the form Y=G/Γ for a nilpotent Lie group G, a discrete cocompact subgroup Γ, the Haar measure μ on G/Γ, and the rotation S by some element of G. For such system (Y,μ,S), g∈C(Y) and y∈Y, the sequence (g(Sny)) is called a basic nilsequence. A nilsequence is a uniform limit of basic nilsequences of the same step, or, equivalently, a sequence of the form (g(Sny)) for an inverse limit Y of nilsystems of the same step, y∈Y, a rotation S on Y and g∈C(Y); see Host and Maass [24]. Indeed, recently Zorin-Kranich [16] proved the Wiener-Wintner type return time theorem for nilsequences showing universal convergence of averages
(2)1N∑n=1N‍ang1(S1ny1)⋯gk(Sknyk)
for every k∈ℕ and every nilsequence (an), where the universal sets of convergence do not depend on (an). This generalised an earlier result by Assani et al. [25] for sequences of the form (λn), λ∈𝕋, and k=2.In this paper, we search for good weights for ergodic theorems using a functional analytic perspective and produce deterministic good weights. We first introduce sequences of the form(〈Tnx,x′〉), which we call linear sequences if x is in a Banach space X, x′∈X′ and T is a linear operator on X with relatively weakly compact orbits; see Section 2 later. Using a structure result for linear sequences, we show that they are good weights for the multiple polynomial ergodic theorem (Section 4) and for the Wiener-Wintner type multiple return time theorem discussed (Section 3). In the last section, we present a counterexample showing that the assumption on the operators cannot be dropped even for positive isometries on Banach lattices and the mean ergodic theorem.We finally remark that all results in this paper hold if we replace linear sequences by a larger class of “asymptotic nilsequences,” that is, for sequences(an) of the form an=bn+cn, where (bn) is a nilsequence and (cn) is a bounded sequence satisfying limN→∞(1/N)∑n=1N‍|cn|=0 (cf. Theorem 3). Examples of asymptotic nilsequences (of step ≥2 in general) are multiple polynomial correlation sequences(an) of the form
(3)an=∫YSp1(n)g1⋯Spk(n)gkdμ
for an ergodic invertible measure preserving system (Y,μ,S), k∈ℕ, gj∈L∞(Y,μ), and polynomials pj with integer coefficients, j=1,…,k. This follows from Leibman [26, Theorem 3.1] and, in the case of linear polynomials, is due to Bergelson et al. [27, Theorem 1.9]. Thus, multiple polynomial correlation sequences provide another class of deterministic examples of good weights for the Wiener-Wintner type multiple return time theorem and the multiple polynomial ergodic theorem discussed in Sections 3 and 4.


## 2. Linear Sequences and Their Structure

A linear operatorT on a Banach space X has relatively weakly compact orbits if for every x∈X, the orbit {Tnx,n∈ℕ0} is relatively weakly compact in X.Definition 1.
We call a sequence(an)⊂ℂ a linear sequence if there exists an operator T on a Banach space X with relatively weakly compact orbits and x∈X, x′∈X′, such that an=〈Tnx,x′〉 holds for every n∈ℕ.A large class of operators with relatively weakly compact orbits, leading to a large class of linear sequences, are power bounded operators on reflexive Banach spaces. Recall that an operatorT is called power bounded if it satisfies supn∈ℕ∥Tn∥<∞. Another class of operators with relatively weakly compact orbits are power bounded positive operators on a Banach lattice L1(μ) preserving the order interval generated by a strictly positive function; see, for example, Schaefer [28, Theorem II.5.10(f) and Proposition II.8.3]. See [29, Section I.1] and [30, Section 16.1] for further discussion.Remark 2.
By restricting to the closed linear invariant subspaceY:=lin¯{Tnx,n∈ℕ0} induced by the orbit and using the decomposition X′=Y′⊕Y0′ for Y0′:={x′:x′|Y=0}, it suffices to assume that only the relevant orbit {Tnx,n∈ℕ0} is relatively weakly compact in the definition of a linear sequence (〈Tnx,x′〉). Note that in this case T has relatively weakly compact orbits on Y by a limiting argument; see, for example, [29, Lemma I.1.6].We obtain the following structure result for linear sequences as a direct consequence of an extended Jacobs-Glicksberg-deLeeuw decomposition for operators with relatively weakly compact orbits.Theorem 3.
Every linear sequence is a sum of an almost periodic sequence and a (bounded) sequence(cn) satisfying limN→∞(1/N)∑n=1N‍|cn|=0.Proof.
LetT be an operator on a Banach space X with relatively weakly compact orbits. By the Jacobs-Glicksberg-deLeeuw decomposition, see, for example, [29, Theorem II.4.8], X=Xr⊕Xs, where
(4)Xr=lin¯{x:Tx=λxforsomeλ∈𝕋},
while every x∈Xs satisfies limN→∞(1/N) ∑n=1N‍|〈Tnx,x′〉|=0 for every x′∈X′. (Recall that by the Koopman-von Neumann lemma, see, for example, Petersen [31, p. 65], for bounded sequences the condition limN→∞(1/N)∑n=1N‍|cn|=0 is equivalent to limj→∞cnj=0 for some subsequence {nj}⊂ℕ with density 1.)
Letx∈X, x′∈X′ and define the sequence (an) by an:=〈Tnx,x′〉. For x∈Xs we have limN→∞(1/N)∑n=1N‍|an|=0 by the aforementioned. If now x is an eigenvector corresponding to an eigenvalue λ∈𝕋, then an=λn〈x,x′〉. Therefore, for every x∈Xr, the sequence (an) is a uniform limit of finite linear combinations of sequences (λn), λ∈𝕋, and is therefore almost periodic. The assertion follows.


## 3. A Wiener-Wintner Type Result for the Multiple Return Time Theorem

In this section, we show that one can take linear sequences as weights in the multiple Wiener-Wintner type generalisation of the return time theorem due to Zorin-Kranich [16] and Assani et al. [25] discussed in the introduction.First we recall the definition of a property satisfied universally.Definition 4.
Letk∈ℕ and P be a pointwise property for k measure preserving dynamical systems. We say that a property P is satisfied universally almost everywhere if for every system (Y1,μ1,S1) and every g1∈L∞(Y1,μ1) there is a set Y1′⊂Y1 of full measure such that for every y1∈Y1′ and every system (Y2,μ2,S2)… for every system (Yk,μk,Sk) and gk∈L∞(Yk,μk) there is a set Yk′⊂Yk of full measure such that for every yk∈Yk′ the property P holds.We show the following linear version of the Wiener-Wintner type multiple return time theorem.Theorem 5.
For everyk∈ℕ, the weighted averages (2) converge universally almost everywhere for every linear sequence (an), where the universal sets Yj′, j=1,…,k, of full measure are independent of (an).Proof.
By Theorem3, we can show the assertion for almost periodic sequences and for (an) satisfying limN→∞(1/N)∑n=1N‍|an|=0 separately. For sequences from the second class, the assertion follows from the estimate
(5)|1N∑n=1N‍ang1(S1ny1)⋯gk(Sknyk)|≤∥g1∥∞⋯∥gk∥∞1N∑n=1N‍|an|
with a clear choice of Y1′,…,Yk′.
Universal convergence for almost periodic sequences is a consequence of Zorin-Kranich’s result [16, Theorem 1.3] which shows the assertion for the larger class of nilsequences.


## 4. Weighted Multiple Polynomial Ergodic Theorem

Using the Host-Kra Wiener-Wintner type result for nilsequences and extending their result for linear polynomials from [9], Chu [32] showed the following (see also [10] for a slightly different proof). Let (Y,μ,S) be a system and g∈L∞(Y,μ). Then, for almost every y∈Y, the sequence (g(Sny)) is a good weight for the multiple polynomial ergodic theorem; that is, for the sequence of weights (an) given by an:=g(Sny) and for every k∈ℕ, the weighted multiple polynomial averages
(6)1N∑n=1N‍anS1p1(n)g1⋯S1pk(n)gk
converge in L2 for every system (Y1,μ1,S1) with invertible S1, every g1,…,gk∈L∞(Y1,μ1), and every polynomial p1,…,pk with integer coefficients.The following result is a consequence of Chu [32, Theorem 1.3], with the fact that the product of two nilsequences is again a nilsequence and equidistribution theory for nilsystems; see, for example, Parry [33] and Leibman [34].Theorem 6.
Every nilsequence is a good weight for the multiple polynomial ergodic theorem.This remains true when replacing a nilsequence by a linear sequence.Theorem 7.
Every linear sequence is a good weight for the multiple polynomial ergodic theorem.Proof.
For an almost periodic sequence(an), the averages (6) converge in L2 by Theorem 6. It is also clear that the averages (6) converge to 0 in L∞ for every sequence (an) satisfying limN→∞(1/N)∑n=1N‍|an|=0. The assertion follows now from Theorem 3.


## 5. A Counter Example

The following example shows that if one does not assume relative weak compactness in the definition of linear sequences, each of the previous results can fail dramatically even for positive isometries on Banach lattices.Example 8.
LetX:=l1 and T be the right shift operator; that is,
(7)T(t1,t2,…):=(0,t1,t2,…).
We first show that for every λ∈𝕋, x=(tj)∈X, and x′=(sj)∈X′, we have
(8)limN→∞|1N∑n=1N‍λn〈Tnx,x′〉-1N∑n=1N‍λnsn∑j=1∞‍λ¯jtj|=0.
Indeed, take ε>0 and J∈ℕ such that ∑j=J+1∞‍|tj|<ε. Then, for N∈ℕ we have
(9)|1N∑n=1N‍λn〈Tnx,x′〉-1N∑n=1N‍λnsn∑j=1∞‍λ¯jtj|=|1N∑n=1N‍λn∑j=1∞‍tjsn+j-1N∑n=1N‍λnsn∑j=1∞‍λ¯jtj|≤|1N∑n=1N‍λn∑j=1J‍tjsn+j-1N∑n=1N‍λnsn∑j=1J‍λ¯jtj|+2∥x′∥∞ε=|∑j=1J‍λ¯jtj1N∑n=1+jN+j‍λnsn-∑j=1J‍λ¯jtj1N∑n=1N‍λnsn|+2∥x′∥∞ε≤2J∥x∥1∥x′∥∞N+2∥x′∥∞ε.
Choosing, for example, N>J∥x∥1/ε finishes the proof of (8).
In particular, forλ=1, we see that the sequence (〈Tnx,x′〉) is Cesàro divergent for every x=(tj)∈l1 with ∑j=1∞‍tj≠0 and for every x′∈l∞ which is Cesàro divergent. Note that the sets of such x and x′ are open and dense in l1 and l∞, respectively. (The assertion for l1 is clear as well as the openness of the set of Cesàro divergent sequences in l∞, and density follows from the fact that one can construct Cèsaro divergent sequences of arbitrarily small supremum norm.) Thus, for topologically very big sets of x and x′ (with complements being nowhere dense), the sequence (〈Tnx,x′〉) is not a good weight for the mean ergodic theorem.
We further show that in fact for every0≠x∈l1, there is λ∈𝕋 so that for every x′∈l∞ from a dense open set, the sequence (λn〈Tnx,x′〉) is Cesàro divergent, implying that the sequence (〈Tnx,x′〉) is not a good weight for the mean ergodic theorem.
Take0≠x=(tj)∈l1 and define the function f on the unit disc 𝔻 by f(z):=∑j=1∞‍tjzj. Then, f is a nonzero holomorphic function belonging to the Hardy space H1(𝔻). By Hardy space theory, see, for example, Rosenblum and Rovnyak [35, Theorem 4.25], there is a set M⊂𝕋 of positive Lebesgue measure such that for every λ∈M, we have
(10)limr→1-f(rλ¯)=∑j=1∞‍λ¯jtj≠0.
For every such λ, by (8), we see that the sequence (λn〈Tnx,x′〉) is Cesàro divergent for every x′=(sj)∈l∞ such that (λjsj) is Cesàro divergent. The set of such x′ is open and dense in l∞ since it is the case for λ=1, and the multiplication operator (sj)↦(λjsj) is an invertible isometry. Thus, for every 0≠x∈l1, there is an open dense set of x′∈l∞ such that the sequence (〈Tnx,x′〉) fails to be a good weight for the mean ergodic theorem.



---

*Source: 815726-2013-05-16.xml*