- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2013 (2013), Article ID 815726, 5 pages

http://dx.doi.org/10.1155/2013/815726

## Linear Sequences and Weighted Ergodic Theorems

Korteweg-de Vries Institute for Mathematics, University of Amsterdam, P.O. Box 94248, 1090 GE Amsterdam, The Netherlands

Received 14 February 2013; Accepted 23 April 2013

Academic Editor: Baodong Zheng

Copyright © 2013 Tanja Eisner. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### 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 for a measure preserving system and , avoiding in the latter case the problem of finding the full measure set of appropriate points .

#### 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 and , the sequence is for -almost every a good weight for the pointwise ergodic theorem. This means that for every other system and every , the weighted ergodic averages converge almost everywhere in . The proof due to Bourgain et al. [11], see also Lesigne et al. [22] and Zorin-Kranich [23], is descriptive and gives conditions on 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 is for almost every a universally good weight for multiple ergodic averages; see Definition 4 later. However, the conditions on the point 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 hold *everywhere*, hence, leading to good weights which are easy to construct, are nilsystems, that is, systems of the form for a nilpotent Lie group , a discrete cocompact subgroup , the Haar measure on , and the rotation by some element of . For such system , and , the sequence 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 for an inverse limit of nilsystems of the same step, , a rotation on and ; 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
for every and every nilsequence , where the universal sets of convergence do not depend on . This generalised an earlier result by Assani et al. [25] for sequences of the form , , and .

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 , which we call *linear sequences* if is in a Banach space , and is a linear operator on 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 of the form , where is a nilsequence and is a bounded sequence satisfying (cf. Theorem 3). Examples of asymptotic nilsequences (of step ≥2 in general) are *multiple polynomial correlation sequences * of the form
for an ergodic invertible measure preserving system , , , and polynomials with integer coefficients, . 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 operator on a Banach space has *relatively weakly compact orbits* if for every , the orbit is relatively weakly compact in .

*Definition 1. *We call a sequence a linear sequence if there exists an operator on a Banach space with relatively weakly compact orbits and , , such that holds for every .

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 operator is called *power bounded* if it satisfies . Another class of operators with relatively weakly compact orbits are power bounded positive operators on a Banach lattice 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 subspace induced by the orbit and using the decomposition for , it suffices to assume that only the relevant orbit is relatively weakly compact in the definition of a linear sequence . Note that in this case has relatively weakly compact orbits on 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 satisfying . *

*Proof. *Let be an operator on a Banach space with relatively weakly compact orbits. By the Jacobs-Glicksberg-deLeeuw decomposition, see, for example, [29, Theorem II.4.8], , where
while every satisfies for every . (Recall that by the Koopman-von Neumann lemma, see, for example, Petersen [31, p. 65], for bounded sequences the condition is equivalent to for some subsequence with density .)

Let , and define the sequence by . For we have by the aforementioned. If now is an eigenvector corresponding to an eigenvalue , then . Therefore, for every , the sequence is a uniform limit of finite linear combinations of sequences , , 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. *Let and be a pointwise property for measure preserving dynamical systems. We say that a property is satisfied universally almost everywhere if for every system and every there is a set of full measure such that for every and every system … for every system and there is a set of full measure such that for every the property holds.

We show the following linear version of the Wiener-Wintner type multiple return time theorem.

Theorem 5. *For every , the weighted averages (2) converge universally almost everywhere for every linear sequence , where the universal sets , , of full measure are independent of . *

*Proof. * By Theorem 3, we can show the assertion for almost periodic sequences and for satisfying separately. For sequences from the second class, the assertion follows from the estimate
with a clear choice of .

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 be a system and . Then, for almost every , the sequence is a *good weight for the multiple polynomial ergodic theorem*; that is, for the sequence of weights given by and for every , the weighted multiple polynomial averages
converge in for every system with invertible , every , and every polynomial 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 , the averages (6) converge in by Theorem 6. It is also clear that the averages (6) converge to in for every sequence satisfying . 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. *Let and be the right shift operator; that is,
We first show that for every , , and , we have
Indeed, take and such that . Then, for we have
Choosing, for example, finishes the proof of (8).

In particular, for , we see that the sequence is Cesàro divergent for every with and for every which is Cesàro divergent. Note that the sets of such and are open and dense in and , respectively. (The assertion for is clear as well as the openness of the set of Cesàro divergent sequences in , 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 and (with complements being nowhere dense), the sequence is not a good weight for the mean ergodic theorem.

We further show that in fact for every , there is so that for every from a dense open set, the sequence is Cesàro divergent, implying that the sequence is not a good weight for the mean ergodic theorem.

Take and define the function on the unit disc by . Then, is a nonzero holomorphic function belonging to the Hardy space . By Hardy space theory, see, for example, Rosenblum and Rovnyak [35, Theorem 4.25], there is a set of positive Lebesgue measure such that for every , we have
For every such , by (8), we see that the sequence is Cesàro divergent for every such that is Cesàro divergent. The set of such is open and dense in since it is the case for , and the multiplication operator is an invertible isometry. Thus, for every , there is an open dense set of such that the sequence fails to be a good weight for the mean ergodic theorem.

#### Acknowledgment

The author thanks Pavel Zorin-Kranich for helpful discussions.

#### References

- H. Furstenberg,
*Recurrence in Ergodic Theory and Combinatorial Number Theory*, Princeton University Press, Princeton, NJ, USA, 1981. View at MathSciNet - V. Bergelson, A. Leibman, and E. Lesigne, “Intersective polynomials and the polynomial Szemerédi theorem,”
*Advances in Mathematics*, vol. 219, no. 1, pp. 369–388, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Host and B. Kra, “Nonconventional ergodic averages and nilmanifolds,”
*Annals of Mathematics*, vol. 161, no. 1, pp. 397–488, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Ziegler, “Universal characteristic factors and Furstenberg averages,”
*Journal of the American Mathematical Society*, vol. 20, no. 1, pp. 53–97, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Tao, “Norm convergence of multiple ergodic averages for commuting transformations,”
*Ergodic Theory and Dynamical Systems*, vol. 28, no. 2, pp. 657–688, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Assani,
*Wiener Wintner Ergodic Theorems*, World Scientific Publishing, River Edge, NJ, USA, 2003. View at Zentralblatt MATH · View at MathSciNet - E. Lesigne, “Spectre quasi-discret et théorème ergodique de Wiener-Wintner pour les polynômes,”
*Ergodic Theory and Dynamical Systems*, vol. 13, no. 4, pp. 767–784, 1993. View at Zentralblatt MATH · View at MathSciNet - N. Frantzikinakis, “Uniformity in the polynomial Wiener-Wintner theorem,”
*Ergodic Theory and Dynamical Systems*, vol. 26, no. 4, pp. 1061–1071, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Host and B. Kra, “Uniformity seminorms on ${\ell}^{\infty}$ and applications,”
*Journal d'Analyse Mathématique*, vol. 108, pp. 219–276, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Eisner and P. Zorin-Kranich, “Uniformity in the Wiener-Wintner theorem for nilsequences,”
*Discrete and Continuous Dynamical Systems A*, vol. 33, no. 8, pp. 3497–3516, 2013. View at Publisher · View at Google Scholar - J. Bourgain, H. Furstenberg, Y. Katznelson, and D. S. Ornstein, “Appendix on return-time sequences,”
*Publications Mathématiques de l'Institut des Hautes Études Scientifiques*, vol. 69, pp. 42–45, 1989. View at Zentralblatt MATH · View at MathSciNet - C. Demeter, M. T. Lacey, T. Tao, and C. Thiele, “Breaking the duality in the return times theorem,”
*Duke Mathematical Journal*, vol. 143, no. 2, pp. 281–355, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. J. Rudolph, “Fully generic sequences and a multiple-term return-times theorem,”
*Inventiones Mathematicae*, vol. 131, no. 1, pp. 199–228, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Assani and K. Presser, “Pointwise characteristic factors for the multiterm return times theorem,”
*Ergodic Theory and Dynamical Systems*, vol. 32, no. 2, pp. 341–360, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - I. Assani and K. Presser, “A survey of the return times theorem,” http://arxiv.org/abs/1209.0856.
- P. Zorin-Kranich, “Cube spaces and the multiple term return times theorem,”
*Ergodic Theory and Dynamical Systems*. View at Publisher · View at Google Scholar - D. Berend, M. Lin, J. Rosenblatt, and A. Tempelman, “Modulated and subsequential ergodic theorems in Hilbert and Banach spaces,”
*Ergodic Theory and Dynamical Systems*, vol. 22, no. 6, pp. 1653–1665, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Bellow and V. Losert, “The weighted pointwise ergodic theorem and the individual ergodic theorem along subsequences,”
*Transactions of the American Mathematical Society*, vol. 288, no. 1, pp. 307–345, 1985. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Bourgain, “Pointwise ergodic theorems for arithmetic sets,”
*Publications Mathématiques de l'Institut des Hautes Études Scientifiques*, vol. 69, no. 1, pp. 5–41, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Bourgain, “An approach to pointwise ergodic theorems,” in
*Geometric Aspects of Functional Analysis*, vol. 1317 of*Lecture Notes in Mathematics*, pp. 204–223, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Wierdl, “Pointwise ergodic theorem along the prime numbers,”
*Israel Journal of Mathematics*, vol. 64, no. 3, pp. 315–336, 1988. View at Publisher · View at Google Scholar · View at MathSciNet - E. Lesigne, C. Mauduit, and B. Mossé, “Le théorème ergodique le long d'une suite $q$-multiplicative,”
*Compositio Mathematica*, vol. 93, no. 1, pp. 49–79, 1994. View at MathSciNet - P. Zorin-Kranich, “Return times theorem for amenable groups,” http://arxiv.org/abs/1301.1884.
- B. Host and A. Maass, “Nilsystèmes d'ordre 2 et parallélépipèdes,”
*Bulletin de la Société Mathématique de France*, vol. 135, no. 3, pp. 367–405, 2007. View at Zentralblatt MATH · View at MathSciNet - I. Assani, E. Lesigne, and D. Rudolph, “Wiener-Wintner return-times ergodic theorem,”
*Israel Journal of Mathematics*, vol. 92, no. 1–3, pp. 375–395, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Leibman, “Multiple polynomial correlation sequences and nilsequences,”
*Ergodic Theory and Dynamical Systems*, vol. 30, no. 3, pp. 841–854, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Bergelson, B. Host, and B. Kra, “Multiple recurrence and nilsequences,”
*Inventiones Mathematicae*, vol. 160, no. 2, pp. 261–303, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. H. Schaefer,
*Banach Lattices and Positive Operators*, Springer, 1974. View at MathSciNet - T. Eisner,
*Stability of Operators and Operator Semigroups, Operator Theory: Advances and Applications*, vol. 209, Birkhäuser, Basel, Switzerland, 2010. View at MathSciNet - T. Eisner, B. Farkas, M. Haase, and R. Nagel,
*Operator Theoretic Aspects of Ergodic Theory*, Graduate Texts in Mathematics, Springer, to appear. - K. Petersen,
*Ergodic Theory*, vol. 2 of*Cambridge Studies in Advanced Mathematics*, Cambridge University Press, Cambridge, UK, 1983. View at MathSciNet - Q. Chu, “Convergence of weighted polynomial multiple ergodic averages,”
*Proceedings of the American Mathematical Society*, vol. 137, no. 4, pp. 1363–1369, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Parry, “Ergodic properties of affine transformations and flows on nilmanifolds,”
*American Journal of Mathematics*, vol. 91, pp. 757–771, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Leibman, “Pointwise convergence of ergodic averages for polynomial sequences of translations on a nilmanifold,”
*Ergodic Theory and Dynamical Systems*, vol. 25, no. 1, pp. 201–213, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Rosenblum and J. Rovnyak,
*Topics in Hardy Classes and Univalent Functions*, Birkhäuser, Basel, Switzerland, 1994. View at Publisher · View at Google Scholar · View at MathSciNet