# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Pointwise ergodic theorems for arithmetic sets. With an appendix on return-time sequences, jointly with Harry Furstenberg, Yitzhak Katznelson and Donald S. Ornstein. (English) Zbl 0705.28008

Let $\left({\Omega },ℬ,\mu \right)$ be a probability space, $T$ a measure- preserving automorphism, $p\left(x\right)$ a polynomial with integer coefficients. Then, generalizing earlier results [the author, Isr. J. Math. 61, No. 1, 39–72 (1988; Zbl 0642.28010); ibid. 73–84 (1988; Zbl 0642.28011)], the author proves the following beautiful and deep pointwise ergodic theorem: $\left(1/N\right){\sum }_{1\le n\le N}{T}^{p\left(n\right)}f$ converges almost surely for all $f\in {L}^{p}\left({\Omega },\mu \right),$ for every $p>1·$ The case $p=1$ remains open, but the methods give also a new and simple proof of Birkhoff’s ergodic theorem [cf. the author, Lect. Notes Math. 1317, 204–223 (1988; Zbl 0662.47006)]. The methods given here also allow a generalization of the result to other sequences, e.g. $\left[p\left(n\right)\right]$, for real polynomials $p\left(n\right)$ (proved only for bounded measurable functions), or the sequence of prime numbers, earlier shown by M. Wierdl [Isr. J. Math. 64, No. 3, 315–336 (1988; Zbl 0695.28007)]. For $p=2$ this was settled also by the author in the third paper cited above. The results also generalize to non-invertible isometries on ${L}^{p}$, $p>1$ (e.g. ${2}^{p\left(n\right)}$; the case $p\left(x\right)=x$ implies the classical result of Riesz and Raikov, which cannot be generalized to ${L}^{1}$ by Marstrand’s counterexample to the Khintchine conjecture).

The author has an appendix answering an open problem on return times, in joint work with Furstenberg, Katznelson and Ornstein: Let $\left(X,ℬ,\mu ,T\right)$ be an ergodic system, $A$ a set of positive measure, $x\in X,\phantom{\rule{1.em}{0ex}}{{\Lambda }}_{x}=\left\{n\in {ℤ}_{+},\phantom{\rule{1.em}{0ex}}{T}^{n}x\in A\right\}·$ Then $\left(1/N\right){\sum }_{1\le n\le N,n\in {{\Lambda }}_{x}}{S}^{n}g$ converges almost surely for any measure-preserving system $\left(Y,D,\nu ,S\right)$, and $g\in {L}^{1}\left(Y\right)$, i.e. almost all sequences ${{\Lambda }}_{x}$ satisfy the pointwise ergodic theorem (improving the mean ergodic version of Wiener and Wintner). The methods of proofs are very interesting (cf. the reviews of the papers cited above). In this paper, in addition an inequality on martingales of D. Lépingle [Z. Wahrscheinlichkeitstheorie Verw. Gebiete 36, 295–316 (1976; Zbl 0325.60047)] is of essential importance.

Reviewer: H.Rindler

##### MSC:
 28D05 Measure-preserving transformations 11L07 Estimates on exponential sums 11N25 Distribution of integers with specified multiplicative constraints 42A45 Multipliers, one variable 60G42 Martingales with discrete parameter 60J70 Applications of Brownian motions and diffusion theory