Hostname: page-component-7b7567c8c-mnklg Total loading time: 0 Render date: 2026-11-12T18:37:06.177Z Has data issue: false hasContentIssue false

Convergence of ergodic averages for many group rotations

Published online by Cambridge University Press:  01 June 2015

ZOLTÁN BUCZOLICH
Affiliation:
Department of Analysis, Eötvös Loránd University, Pázmány Péter Sétány 1/c, 1117 Budapest, Hungary email buczo@cs.elte.hu, keszthelyig@gmail.com
GABRIELLA KESZTHELYI
Affiliation:
Department of Analysis, Eötvös Loránd University, Pázmány Péter Sétány 1/c, 1117 Budapest, Hungary email buczo@cs.elte.hu, keszthelyig@gmail.com
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Suppose that $G$ is a compact Abelian topological group, $m$ is the Haar measure on $G$ and $f:G\rightarrow \mathbb{R}$ is a measurable function. Given $(n_{k})$ , a strictly monotone increasing sequence of integers, we consider the non-conventional ergodic/Birkhoff averages

$$\begin{eqnarray}M_{N}^{\unicode[STIX]{x1D6FC}}f(x)=\frac{1}{N+1}\mathop{\sum }_{k=0}^{N}f(x+n_{k}\unicode[STIX]{x1D6FC}).\end{eqnarray}$$
The $f$ -rotation set is
$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{f}=\{\unicode[STIX]{x1D6FC}\in G:M_{N}^{\unicode[STIX]{x1D6FC}}f(x)\text{ converges for }m\text{ almost every }x\text{ as }N\rightarrow \infty \}.\end{eqnarray}$$

We prove that if $G$ is a compact locally connected Abelian group and $f:G\rightarrow \mathbb{R}$ is a measurable function then from $m(\unicode[STIX]{x1D6E4}_{f})>0$ it follows that $f\in L^{1}(G)$ . A similar result is established for ordinary Birkhoff averages if $G=Z_{p}$ , the group of $p$ -adic integers. However, if the dual group, $\widehat{G}$ , contains ‘infinitely many multiple torsion’ then such results do not hold if one considers non-conventional Birkhoff averages along ergodic sequences. What really matters in our results is the boundedness of the tail, $f(x+n_{k}\unicode[STIX]{x1D6FC})/k$ , $k=1,\ldots ,$ for almost every $x$ for many $\unicode[STIX]{x1D6FC}$ ; hence, some of our theorems are stated by using instead of $\unicode[STIX]{x1D6E4}_{f}$ slightly larger sets, denoted by $\unicode[STIX]{x1D6E4}_{f,b}$ .

Information

Type
Research Article
Copyright
© Cambridge University Press, 2015