On Schneider’s Continued Fraction Map on a Complete Non-Archimedean Field

Let $${\mathcal {M}}$$ M denote the maximal ideal of the ring of integers of a non-Archimedean field K with residue class field k whose invertible elements, we denote $$k^{\times }$$ k × , and a uniformizer we denote $$\pi $$ π . In this paper, we consider the map $$T_{v}: {\mathcal {M}} \rightarrow {\mathcal {M}}$$ T v : M → M defined by $$\begin{aligned} T_v(x) = \frac{\pi ^{v(x)}}{x} - b(x), \end{aligned}$$ T v ( x ) = π v ( x ) x - b ( x ) , where b(x) denotes the equivalence class to which $$\frac{\pi ^{v(x)}}{x}$$ π v ( x ) x belongs in $$k^{\times }$$ k × . We show that $$T_v$$ T v preserves Haar measure $$\mu $$ μ on the compact abelian topological group $${\mathcal {M}}$$ M . Let $${\mathcal {B}}$$ B denote the Haar $$\sigma $$ σ -algebra on $${\mathcal {M}}$$ M . We show the natural extension of the dynamical system $$({\mathcal {M}}, {\mathcal {B}}, \mu , T_v)$$ ( M , B , μ , T v ) is Bernoulli and has entropy $$\frac{\#( k)}{\#( k^{\times })}\log (\#( k))$$ # ( k ) # ( k × ) log ( # ( k ) ) . The first of these two properties is used to study the average behaviour of the convergents arising from $$T_v$$ T v . Here for a finite set A its cardinality has been denoted by $$\# (A)$$ # ( A ) . In the case $$K = {\mathbb {Q}}_p$$ K = Q p , i.e. the field of p-adic numbers, the map $$T_v$$ T v reduces to the well-studied continued fraction map due to Schneider.

Convergence of ergodic averages for many group rotations

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}$.

Properties of certain measures on a topological group

We denote by M(G) the space of bounded regular borel measures on a non-discrete locally compact Abelian topological group G. Under the convolution product and norm of total mass M(G) becomes a complex commutative banach algebra. We denote by Φ the space of m.l.f.s (multiplicative linear functionals) on M(G) and by σ the subset of Φ consisting of functionals symmetric in the sense thatwhere * denotes the usual involution on M(G). These matters are discussed more fully in Williamson (1).