2 Background on dynamical systems, pure point spectrum and the upper mean

In this section, we review the necessary concepts from dynamical systems and introduce the upper mean $\overline {M}$ , which is crucial for our subsequent considerations.

Throughout the paper, we denote the set of continuous complex-valued functions on the topological space Y by $C(Y)$ .

We consider a compact metric space X equipped with a continuous action

$$ \begin{align*} \alpha: G\times X\longrightarrow X , \quad (t,x)\mapsto \alpha_t (x) , \end{align*} $$

of a locally compact, $\sigma $ -compact, abelian group G. We then call $(X,G)$ a dynamical system (over the space X). Often, we will also be given a probability measure m on X, which is invariant under the action of G. We then call $(X,G,m)$ a dynamical system as well. We write $tx$ instead of $\alpha _t (x)$ for $t\in G$ and $x\in X$ . The composition on G itself is written additively and the neutral element of G is denoted as e. We fix a Haar measure on G, which is unique up to multiplication by a positive constant. The Haar measure of a measurable subset $A\subset G$ is denoted by $|A|$ and the integral of an integrable function f on G by $\int f(t)\,d t$ .

Whenever a dynamical system $(X,G)$ is given, we furthermore make use of:

• • a metric d on X which generates the topology;

• • a Følner sequence $(B_n)$ in G, that is, each $B_n$ is an open relatively compact subset of G and

  $$ \begin{align*} \frac{|(B_n \setminus (t+B_n)) \cup ((t+B_n)\setminus B_n)|}{|B_n|} \to 0,\quad n\to \infty, \end{align*} $$
  for all $t\in G$ .

Note that a Følner sequence exists in a locally compact abelian group G if an only if G is $\sigma $ -compact [Reference Spindeler and Strungaru39, Proposition B6]. For this reason, we always assume that G is $\sigma $ -compact.

The orbit of x is given by $Gx:=\{tx : t\in G\}$ and the orbit closure $\overline {Gx}$ is the closure of the orbit. If the orbit closure of $x\in X$ agrees with X, the element x is called transitive. If every $x\in X$ is transitive the dynamical system is called minimal. The dynamical system $(X,G)$ is called uniquely ergodic if there exists only one invariant probability measure on X. We then denote this measure by m and call $(X,G,m)$ uniquely ergodic as well.

The dynamical system $(X,G,m)$ is ergodic if any invariant measurable subset A of G satisfies $m(A)=1$ or $m(A) =0$ . If $(X,G,m)$ is ergodic, any Følner sequence has a subsequence $(B_n)$ for which Birkhoff’s ergodic theorem holds, that is,

$$ \begin{align*} \lim_{n\to \infty} \frac{1}{|B_n|} \int_{B_n} f(tx)\,d t = \int_X f \,d m \end{align*} $$

is valid for almost every $x\in X$ whenever $f: X\longrightarrow \mathbb {C}$ integrable [Reference Linderstauss34].

Whenever a dynamical system $(X,G,m)$ and a Følner sequence $(B_n)$ is given, a point $y\in X$ is called m-generic with respect to the Følner sequence if

$$ \begin{align*} \lim_{n\to \infty} \frac{1}{|B_n|} \int_{B_n} f(ty)\,d t = \int_X f(x) \,d m(x) \end{align*} $$

holds for any continuous $f : X\longrightarrow \mathbb {C}$ . If the measure m and the sequence $(B_n)$ are clear from the context, we just speak about generic points. Generic points play a key role in our subsequent considerations as they determine the measure and, in this sense, the whole dynamical system. As is well known (and not hard to see), the set of generic points is measurable and invariant under the group action. Moreover, the set of generic points has full measure if $(X,G,m)$ is ergodic and Birkhoff’s ergodic theorem holds along the underlying Følner sequence. Although we do not need it here, it is instructive for our subsequent considerations to note that a converse of sorts holds as well: if m is an invariant probability measure such that the set of m-generic points with respect to some Følner sequence has full measure, then $(X,G,m)$ is ergodic. Thus, ergodicity is a necessary and sufficient condition for having an ample supply of generic points at ones disposal. This is ultimately the reason that most (but not all) of our theorems in the following deal with ergodic systems.

A dynamical system $(X,G,m)$ is said to have pure point spectrum if there exists an orthonormal basis of $L^2 (X,m)$ consisting of eigenfunctions. Here, an $f\in L^2 (X,m)$ with $f\neq 0$ is called an eigenfunction if for any $t\in G$ there exist a $\xi (t)\in \mathbb {C}$ with

$$ \begin{align*}f(t\cdot) = \xi(t) f\end{align*} $$

in the sense of $L^2 (X,m)$ functions. In this case, each $\xi (t)$ belongs to the group

$$ \begin{align*} \mathbb{T}:= \{z\in \mathbb{C} : |z| = 1\} \end{align*} $$

and the map

$$ \begin{align*} \xi: G\longrightarrow \mathbb{T} ,\quad t\mapsto \xi(t), \end{align*} $$

can easily be seen to be a continuous group homomorphism. It is called eigenvalue. Clearly, eigenfunctions to different eigenvalues are orthogonal. As X is compact and metrizable, $L^2 (X,m)$ is separable. Hence, the set of eigenvalues is (at most) countable. We denote by $P_\xi $ the projection onto the eigenspace of $\xi $ if $\xi $ is an eigenvalue and set $P_\xi =0$ if $\xi $ is not an eigenvalue. The set of eigenvalues of $(X,G,m)$ will be denoted by $\mathrm {Eig}(X,G,m)$ . As is well known the set of eigenvalues is a group if $(X,G,m)$ is ergodic.

For our further discussion, we also rely on some concepts defined purely with respect to G (that is, they do not need the dynamical system). Let $(B_n)$ be a Følner sequence, and let $B(G)$ denote the set of bounded measurable real-valued functions on G. Then, we define the associated upper mean via

$$ \begin{align*} \overline{M}_{(B_n)} : B(G) \longrightarrow [0,\infty),\quad \overline{M}_{(B_n)} (h) :=\limsup_{n\to \infty} \frac{1}{|B_n|} \int_{B_n} h(s)\,d s. \end{align*} $$

If the Følner sequence is clear from the context we drop the subscript $(B_n)$ . Clearly, $\overline {M}$ gives rise to seminorm on the space of bounded measurable functions on G via $f\mapsto \overline {M}(|f|)$ .

A subset A of G is called relatively dense if there exists a compact set $K\subset G$ with

$$ \begin{align*} G =\bigcup_{a\in A} (a + K). \end{align*} $$

A continuous bounded $f : G\longrightarrow \mathbb {C}$ is called Bohr almost periodic if for any $\varepsilon>0$ the set of $t\in G$ with

$$ \begin{align*}\| f - f(\cdot -t)\|_\infty <\varepsilon \end{align*} $$

is relatively dense. Here, the supremum norm $\|\cdot \|_\infty $ for bounded complex-valued functions on G is defined via $\|f\|_\infty =\sup _{s\in G} |f(s)|$ .

3 Mean almost periodic points and pure point spectrum

In this section, we introduce and study mean almost periodic points. The main result of this section then provides a characterization of pure point spectrum via mean almost periodicity of points.

Whenever $(X,G)$ is a dynamical system with metric d and $(B_n)$ is a Følner sequence, we define

$$ \begin{align*}D = D_d^{(B_n)} : X\times X\longrightarrow [0,\infty),\quad \: D(x,y):=\overline{M}( s \mapsto d(sx, sy)). \end{align*} $$

Clearly, D is a pseudometric. Moreover, the Følner condition on $(B_n)$ easily gives that D is invariant, that is, satisfies $D(tx, ty) = D(x,y)$ for all $x,y\in X$ and $t\in G$ . Furthermore, for each $x\in X$ the function $G\to [0,\infty )$ , $t\mapsto D(x,tx)$ , is uniformly continuous. Indeed, continuity at $t=0$ is easily seen from the definition. Moreover, due to the invariance and the pseudometric properties we infer

(♣) $$ \begin{align} |D(x,tx) - D(x,sx)|\leq D(tx, sx) = D(x, (s-t)x). \end{align} $$

When combined with continuity at $t =0$ , this gives uniform continuity. We refer to D as the averaged metric on X associated to d and $(B_n)$ .

Definition 3.1. (Mean almost periodic points)

Let $(X,G)$ be a dynamical system, let d be a metric on X generating the topology, let $(B_n)$ be a Følner sequence and let D be the associated averaged metric. Then, a point $x\in X$ is called mean almost periodic with respect to d and $(B_n)$ if for every $\varepsilon>0$ the set

$$ \begin{align*} \{t\in G : D(x,tx)< \varepsilon\} \end{align*} $$

is relatively dense.

By definition, mean almost periodicity depends on the chosen Følner sequence. In our subsequent discussion of mean almost periodic points, however, we often refrain from explicitly referring to the Følner sequence $(B_n)$ if it is clear from the context which sequence is involved.

Our next aim is to discuss independence of this definition from the metric and to provide an alternative way of defining mean almost periodicity via density of superlevel sets. The proofs of the corresponding statements are not difficult and rather close to each other. They rely on some simple facts stated in the next proposition. We denote the characteristic function of a set $A\subset G$ by $1_A$ (that is, $1_A (x) = 1$ for $x\in A$ and $1_A (x) =0$ for $x\notin A$ ).

Proof. Let $e,d$ be two metrics on X, which generate the topology. For $x\in X$ and $t\in G$ we define the functions $d_{t,x}$ and $e_{t,x}$ on G via $d_{t,x}(s) = d(sx,tsx)$ and $e_{t,x}(s) = e(sx,tsx)$ , respectively. We show that for any $\varepsilon>0$ there exists a $\delta>0$ such that for any $t\in G$ and $x\in X$ we have

$$ \begin{align*} \overline{M} (d_{t,x}) <\varepsilon \end{align*} $$

whenever $\overline {M}(e_{t,x}) < \delta $ holds. The statement with the roles of e and d reversed can be shown analogously and taken together these two statements prove the lemma.

Without loss of generality we assume $d,e\leq 1$ .

Let $\varepsilon>0$ be given. Choose $\delta '>0$ with $d(z,y) < {\varepsilon }/{2}$ whenever $e(z,y) < \delta '$ . Set

$$ \begin{align*} \delta:= \delta' \cdot \frac{\varepsilon}{2}. \end{align*} $$

If $\overline {M}(e_{t,x}) < \delta $ , then Proposition 3.3(a) gives

$$ \begin{align*} \overline{M}(1_{\{ s : e_{t,x}(s) \geq \delta'\}}) \leq \frac{1}{\delta'} \overline{M} (e_{t,x}) < \frac{\delta}{\delta'} = \frac{\varepsilon}{2}.\end{align*} $$

Furthermore, we note that, by the definition of $\delta '$ , we have

$$ \begin{align*} \overline{M}(d_{t,x} 1_{\{s : e_{t,x}(s) < \delta'\}})\leq \frac{\varepsilon}{2}. \end{align*} $$

Given this we can now estimate

$$ \begin{align*}\overline{M} (d_{t,x}) \leq \overline{M} (d_{t,x} 1_{\{ s : e_{t,x} (s) \geq \delta'\}})) + \overline{M} (d_{t,x} (s) 1_{\{ s : e_{t,x} <\delta'\}}) < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon.\end{align*} $$

This is the desired statement.

By the previous lemma mean almost periodicity of a point is independent of the underlying metric. Hence, we can (and will) from now on refrain from specifying a metric when talking about mean almost periodicity.

We define the upper density of a subset $A\subset G$ via

$$ \begin{align*}\mbox{Dens}(A):=\overline{M} (1_A).\end{align*} $$

Proof. We use the notation of the proof of the preceding lemma.

(i) $\Longrightarrow $ (ii): Let $\delta>0$ and $\varepsilon>0$ be arbitrary. By assertion (i), the set of $t\in G$ with $\overline {M}(d_{t,x})< \delta \varepsilon $ is relatively dense. Now, for any such $t\in G$ we obtain from Proposition 3.3(a)

$$ \begin{align*} \overline{M}(1_{\{ s : d_{t,x}(s) \geq \delta\}}) < \varepsilon.\end{align*} $$

(ii) $\Longrightarrow $ (i): Let $\varepsilon>0$ be given. Assume without loss of generality that $d\leq 1$ . Set $\delta = {\varepsilon }/{2}$ . By assertion (ii), the set of $t\in G$ with $ \mbox {Dens}(\{s\in G : d(sx,tsx)\geq \delta \})< {\varepsilon }/{2}$ is relatively dense. Choose such a $t\in G$ . Then, Proposition 3.3(b) gives

$$ \begin{align*}\overline{M} (d_{t,x}) \leq \overline{M} ( 1_{\{ s : d_{t,x} (s) \geq \delta\}}) + \delta = \mbox{Dens}(\{s\in G : d(sx,tsx)\geq \delta\}) + \delta < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon.\end{align*} $$

This finishes the proof.

We finish this section with the discussion of a further characterization of mean almost periodicity via suitable functions. To state this characterization (and similar characterizations in subsequent sections) it is useful to define for $x\in X$ and $f\in C(X)$ the function

$$ \begin{align*}f_x : G\longrightarrow \mathbb{C}, \quad f_x (t) = f(tx).\end{align*} $$

Moreover, we set

$$ \begin{align*}\mathcal{A}_x :=\{ f_x : f\in C(X)\}.\end{align*} $$

Clearly, $\mathcal {A}_x$ is an algebra.

A bounded measurable function $f : G\longrightarrow \mathbb {C}$ is mean almost periodic with respect to $(B_n)$ if, for every $\varepsilon>0$ , the set

$$ \begin{align*}\{t\in G: \overline{M}(|f(\cdot) - f(\cdot - t)|)<\varepsilon \}\end{align*} $$

is relatively dense. The set of uniformly continuous mean almost periodic functions is an algebra and closed under complex conjugation and uniform convergence (see Appendix B).

As a consequence of the previous considerations, we can now characterize mean almost periodicity via functions.

Proof. (iv) $\Longrightarrow $ (iii): This follows as the $d^{(s)}$ , $s\in G$ , clearly separate the points of $\overline {Gx}$ .

(iii) $\Longrightarrow $ (ii): Invoking the corresponding properties of mean almost periodic functions, we can easily see that $\{f \in C(X) : f_x \mbox { is mean almost periodic}\}$ is an algebra, which is closed under complex conjugation and uniform convergence. This algebra clearly contains the constant functions. Moreover, by assumption (iii), it separates the points of $\overline {Gx}$ . Furthermore this algebra contains every function $f\in C(X)$ , which vanishes on $\overline {Gx}$ (as $f_x = 0$ for any such functions). Thus, this algebra even separates the points of X. Now, assumption (ii) follows from Stone–Weierstraß’ theorem.

(ii) $\Longrightarrow $ (i): Choose a countable set $\mathcal {C} \subset C(X)$ such that any $f\in \mathcal {C}$ satisfies $\|f\|_\infty \leq 1$ and such that the elements of $\mathcal {C}$ separate the points of X. Let $c_f>0$ , $f\in \mathcal {C}$ , with $\sum _{f\in \mathcal {C}} c_f <\infty $ be given. Then,

$$ \begin{align*}e (z,y) := \sum_{f\in \mathcal{C}} c_f\, |f(x) - f(y)|\end{align*} $$

is a metric on X, which generates the topology. Moreover, by assumption (ii), the function $f_x$ is mean almost periodic for any $f\in C(X)$ and, hence, any $f\in \mathcal {C}$ . This easily gives that the set of $t\in G$ with $\overline {M}(s\mapsto e(sx,(t+s)x)) <\varepsilon $ is relatively dense (compare with Proposition B.4). Thus, x is mean almost periodic with respect to the metric e. As mean almost periodicity does not depend on the metric, we conclude the proof of assumption (i).

(i) $\Longrightarrow $ (iv): Let $z\in X$ be arbitrary and define $d^{(z)} \in C(X)$ by $d^{(z)} (y):= d(z,y)$ . The triangle inequality for d gives

$$ \begin{align*}\overline{M}( |d^{(z_x)} (\cdot - t) - d^{(z)}_x|)&= \overline{M}( s\mapsto |d(z,(s-t)x) - d(z,sx)|)\\ &\leq \overline{M}(s\mapsto d(sx, (s-t)x)) = D(x,-tx)\end{align*} $$

for any $t\in G$ and $z\in X$ . Now, mean almost periodicity of $d^z_x (\cdot )$ follows (for any $z\in X$ ) from assumption (i).

We now come to the main result of this section, which provides a characterization of pure point spectrum via mean almost periodic points.

Proof. In the ergodic case almost every point is generic. Hence, (ii) $\Longrightarrow $ (iv) and (iv) $\Longrightarrow $ (iii) follow. Thus, we now turn to showing equivalence between assertions (i), (ii) and (iii) in the general case. We clearly have (ii) $\Longrightarrow $ (iii). To show (i) $\Longrightarrow $ (ii) and (iii) $\Longrightarrow $ (i) we define

$$ \begin{align*} \underline{d} : G\longrightarrow [0,\infty),\quad \underline{d} (t) = \int_X d(x,tx)\,d m(x). \end{align*} $$

The main result of [Reference Lenz29] says that assertion (i) is equivalent to $\underline {d}$ being Bohr almost periodic. Thus, it remains to show that:

• • Bohr almost periodicity of $\underline {d}$ implies (ii);

• • (iii) implies Bohr almost periodicity of $\underline {d}$ .

Now, for $t\in G$ we can consider $f_t : X\longrightarrow [0,\infty ),\ f_t (x) = d(x,tx)$ . Then, $f_t$ is clearly continuous. Thus, whenever $y\in X$ is generic, we find

$$ \begin{align*} \underline{d}(t) = \int_X d(x,tx)\,d m(x) =\int_X f_t (x)\,d m (x) = \overline{M} (s \mapsto f_t(sy))=D(y,ty) \end{align*} $$

for every $t\in G$ . Moreover, the triangle inequality gives that $\underline {d}$ is Bohr almost periodic if and only if the set

$$ \begin{align*}\{t\in G : \underline{d}(t) <\varepsilon\}\end{align*} $$

is relatively dense in G for all $\varepsilon>0$ . Putting this together we easily obtain that $\underline {d}$ is Bohr almost periodic if and only if one (every) generic $y\in X$ is mean almost periodic.

We emphasize that the first part of the preceding theorem does not need an ergodicity assumption and illustrate this using the following example.

Example: pure point spectrum in non ergodic case. Consider $\{0,1\}$ with discrete topology and $X = \{0,1\}^{\mathbb {Z}}$ with product topology. Equip X with the shift action of $\mathbb {Z}$ given by $\alpha _n(x) = x(\cdot - n)$ for $n\in \mathbb {Z}$ . Let $\underline {1}$ and $\underline {0}$ be the elements of X which are constant equal to $1$ and $0$ , respectively. Then, clearly each of these elements is invariant under the shift action and so are then the sets $\{\underline {0}\}$ and $\{\underline {1}\}$ . Thus,

$$ \begin{align*}m:=\tfrac{1}{2}(\delta_{\underline{0}} + \delta_{\underline{1}})\end{align*} $$

is an invariant probability measure (where $\delta _p$ denotes the unit point mass at p). Obviously, m is not ergodic. The space $L^2(X,m)$ is two-dimensional and $\sqrt {2} \cdot 1_{\{\underline {0}\}}, \sqrt {2} \cdot 1_{\{\underline {1}\}}$ is an orthogonal basis consisting of eigenfunctions (to the eigenvalue $1$ ). In particular, $(X,\mathbb {Z},m)$ has pure point spectrum. Now, consider the point $x\in X$ with $x(-k)$ arbitrary for $k\geq 0$ and $x(k) = 1 $ if $k\in \{2^n,\ldots , 2^n +2^{n-1}-1\}$ for some $n\in \mathbb {N}$ and $x(k) =0$ otherwise. Then, it is not hard to see that x is generic for m with respect to the Følner sequence $B_n =\{1,\ldots , 2^n\}$ . Thus, the theorem gives that x is mean almost periodic. In this example neither $\underline {0}$ nor $\underline {1}$ are generic. Hence, m does not give mass to generic points and the set of generic points has measure zero. Note that the construction of x could easily be modified to yield a transitive generic point (by including suitable finite words of slowly increasing length between the blocks of ones and zeros in x).

Combining the previous result, Theorem 3.8, with the characterization of mean almost periodicity via functions in Lemma 3.7, we obtain the following.

If the system $(X,G,m)$ is uniquely ergodic, then every $x\in X$ is generic irrespective of the underlying Følner sequence (Oxtoby’s theorem). Thus, from the previous theorem we obtain immediately the following corollary.

4 Besicovitch almost periodic points and eigenfunctions

In this section, we discuss a strengthened version of mean almost periodicity, namely Besicovitch almost periodicity. We show that pure point spectrum can also be characterized via this strengthened version. In fact, our results can be understood as saying that in a dynamical system with pure point spectrum both eigenfunctions and eigenvalues can be read of from any of its (generic) Besicovitch almost periodic points.

We consider a $\sigma $ -compact, locally compact abelian group together with a Følner sequence $(B_n)$ . As usual, the set of all continuous group homomorphisms $\xi : G\longrightarrow \mathbb {T}$ is denoted as $\widehat {G}$ and called the dual group of G. We say that a bounded function $f : G\longrightarrow \mathbb {C}$ is Besicovitch almost periodic if for any $\varepsilon>0$ there exist $k\in \mathbb {N}$ , $\xi _1,\ldots , \xi _k\in \widehat {G}$ and $c_1,\ldots ,c_k\in \mathbb {C}$ with

$$ \begin{align*}\overline{M} \bigg(\bigg|f - \sum_{j=1}^k c_j \xi_j\bigg|\bigg)< \varepsilon.\end{align*} $$

A discussion of basic properties of uniformly continuous Besicovitch almost periodic functions is given in Appendix C. This shows, in particular, that any uniformly continuous Besicovitch almost periodic function is also mean almost periodic and admits an average (see also the following). The discussion also shows that the set of these functions forms an algebra and is closed under uniform convergence.

As in the definition of mean almost periodicity, Besicovitch almost periodicity also depends on the chosen Følner sequence. In our subsequent discussion, however, we often refrain from explicitly referring to the Følner sequence $(B_n)$ if it is clear from the context which sequence is involved.

We now give a characterization of Besicovitch almost periodic points via existence of means. To state it, we first introduce some notation. For a bounded measurable function $h: G\longrightarrow \mathbb {C}$ , we define the mean or average of h with respect to $(B_n)$ by

$$ \begin{align*} \mathrm{A}(h):= \lim_{n\to \infty} \frac{1}{|B_n|} \int_{B_n} h(t)\,d t \end{align*} $$

whenever the limit exists.

Here is the first main result of this section. It shows that any Besicovitch almost periodic point completely determines a dynamical system with pure point spectrum.

Theorem 4.4. Let $(X,G)$ be a dynamical system, let $(B_n)$ be a Følner sequence and let $p\in X$ be a Besicovitch almost periodic point. Then, there exists a (unique) ergodic probability measure m on X such that p is generic with respect to m. The dynamical system $(X,G,m)$ has pure point spectrum and $\mathrm {Eig}(X,G,m) =\mathrm {Freq}(p)$ holds. To each eigenvalue $\xi \in \mathrm {Eig}(X,G,m)$ there exists a (unique) eigenfunction $e_\xi \in L^2 (X,m)$ with

$$ \begin{align*} \int_X f\, \overline{e_\xi}\,d m = \mathrm{A}( f_p \overline{\xi}) \end{align*} $$

for all $f\in C(X)$ .

Proof. Obviously, the map

$$ \begin{align*} \Phi : C(X)\longrightarrow \mathbb{C},\quad f\mapsto \mathrm{A}(f_p), \end{align*} $$

is linear and positive (that is, $\mathrm {A}(f_p)\geq 0$ for $f\geq 0$ ). Hence, there exists a unique measure m on X with $\Phi (f) = \int _X f\,d m$ . Clearly, $m(X) = \int _X 1\,d m = \mathrm {A}(1) = 1$ . By the Følner property of $(B_n)$ , the mean $\mathrm {A}$ is invariant and, thus, so is $\Phi $ . This easily gives that m is invariant. Thus, m is an invariant probability measure.

We now turn to the construction of the eigenfunctions. For $\xi \in \widehat {G}$ consider the map

$$ \begin{align*} \Phi_\xi : C(X)\longrightarrow \mathbb{C},\quad f\mapsto \mathrm{A}(f_p\overline{\xi}). \end{align*} $$

This map is obviously linear and defined on a dense subspace of $L^2 (X,m)$ . By the Cauchy–Schwarz inequality, $\mathrm {A}(1) =1$ and the construction of m we find

$$ \begin{align*} |\Phi_\xi (f)|^2 =|\mathrm{A}(f_p \overline{\xi})|^2 \leq \mathrm{A}(|f_p|^2) \mathrm{A}(1) = \int_X |f|^2\,d m. \end{align*} $$

Hence, $\Phi _\xi $ can be extended to a linear continuous map, again denoted by $\Phi _\xi $ , on the whole $L^2 (X,m)$ . By Riesz’s lemma, there exists an $e_\xi \in L^2 (X,m)$ with $\|e_\xi \|\leq 1$ and

$$ \begin{align*} \Phi_\xi(f) = \int_X f\, \overline{e_\xi}\,d m \end{align*} $$

for all $f\in C(X)$ . Define

$$ \begin{align*} E:=\{\xi\in \widehat{G} : e_\xi \neq 0\}. \end{align*} $$

By construction, $\xi \in \widehat {G}$ belongs to E if and only if there exists an $f\in C(X)$ with $\mathrm {A}(f_p \overline {\xi }) \neq 0$ . Hence, $E= \mathrm {Freq}(p)$ holds. In particular, we have $\mathrm {A}(f_p \overline {\varrho })=0$ for all $f\in C(X)$ and $\varrho \in \widehat {G}\setminus E$ . A short computation shows for $t\in G$ ,

$$ \begin{align*} \xi(-t) \int_X f\,\overline{ e_\xi}\,d m &= \xi(-t) \mathrm{A}(f_p \overline{\xi})\\ &= \mathrm{A}(f_p \overline{\xi(t +\cdot )})\\ (\mathrm{A} \mbox{ invariant})&= \mathrm{A}(f_p(-t\cdot) \overline{\xi})\\ (\mbox{construction of } m) &= \int_X f(-t\cdot)\, \overline{e_\xi}\,d m\\ (m \mbox{ invariant})&= \int_X f\, \overline{e_\xi(t\cdot)}\,d m \end{align*} $$

for all $f\in C(X)$ . As these f are dense in $L^2(X,m)$ this gives

$$ \begin{align*} e_\xi (t\cdot) = \xi(t) e_\xi\end{align*} $$

for all $t\in G$ . This shows that $e_\xi $ is an eigenfunction (to $\xi $ ) for each $\xi \in E$ . Clearly, eigenfunctions to different eigenvalues are orthogonal.

Next, we show that the $e_\xi $ , $\xi \in E$ , are normalized and form a basis. This gives that $E=\mathrm {Eig}(X,G,m)$ and together with the already shown $E = \mathrm {Freq}(p)$ , this will then also imply $\mathrm {Eig}(X,G,m) = \mathrm {Freq}(p)$ .

By Parseval’s inequality, the definition of m and Proposition 4.2, we have the following:

$$ \begin{align*} \sum_{\xi\in E} \bigg| \int_X f\, \overline{e_\xi}\,d m\bigg|^2 &\leq \int_X |f|^2\,d m\\ &= \mathrm{A}(|f_p|^2)\\ (\textrm{Proposition}\, 4.2)&= \sum_{\xi\in \widehat{G}} |\mathrm{A}(f_p\overline{\xi})|^2\\ (\mbox{construction of } E) &= \sum_{\xi\in E} |\mathrm{A}(f_p\overline{\xi})|^2\\ (\mbox{construction of } e_\xi) &= \sum_{\xi\in E} \bigg|\int_X f\,\overline{e_\xi}\,d m\bigg|^2. \end{align*} $$

This shows

$$ \begin{align*} \sum_{\xi\in E} \bigg| \int_X f\, \overline{e_\xi}\,d m\bigg|^2 = \int_X |f|^2\,d m \end{align*} $$

for all $f\in C(X)$ . This is only possible if $\|e_\xi \| =1$ for all $\xi \in E$ and $(e_\xi )$ form an orthonormal basis of $L^2 (X,m)$ .

It remains to show ergodicity: for each eigenvalue $\xi \in E$ we have constructed an eigenfunction $e_\xi $ and we have shown that these form a complete set (that is, $e_\xi $ , $ \xi \in E$ , is an orthonormal basis). Hence (as each of these eigenfunctions belong to different eigenspaces), each eigenspace is one dimensional. In particular. the eigenspace to the eigenvalue $1$ is one dimensional and the system is ergodic.

The previous theorem shows that any Besicovitch almost periodic point is generic with respect to a (uniquely determined) measure. It may well be that different Besicovitch almost periodic points are generic with respect to different measures. Consider, for example, the full shift $X=\{0,1\}^{\mathbb {Z}}$ with $T x (n) = x(n+1)$ . Then, any periodic element of X is Besicovitch almost periodic. Clearly, elements with different periods will not be generic with respect to the same measure. This motivates the following definition.

We have the following consequence of the preceding theorem.

Proof. Clearly, $\mathrm {Bap} (X,G,m)$ is invariant as both the set of generic points and the set of Besicovitch almost periodic points are invariant. If $\mathrm {Bap} (X,G,m)$ is empty, there is nothing left to show. Thus, consider the case $\mathrm {Bap}(X,G,m)\neq \varnothing $ . By Theorem 4.4, the dynamical system $(X,G,m)$ then has pure point spectrum and the set of its eigenvalues $\mathrm {Eig}(X,G,m)$ equals $\mathrm {Freq}(p)$ for any $p\in \mathrm {Bap}(X,G,m)$ . Set $E:= \mathrm {Eig}(X,G,m)$ .

Claim. Let D be a dense subset of $C(X)$ . Then, we have $p\in \mathrm {Bap}(X,G,m)$ if and only if the following three points hold:

• • $A(f_p)$ exists and equals $\int _X f\,d m$ for all $f\in D$ ;

• • $A(f_p \overline {\xi })$ exists for all $\xi \in E$ and $f\in D$ ;

• • $A(|f_p|^2) = \sum _{\xi \in E} |A(f_p\overline {\xi })|^2$ for all $f\in D$ .

Proof of claim

Consider $p\in \mathrm {Bap} (X,G,m)$ . Then, p is generic and the first point holds (even for all $f\in C(X)$ ). In particular, $A(|f_p|^2)$ exists. Now, the second and third point follow from Proposition 4.2 as p is Besicovitch almost periodic with set of frequencies given by E.

Consider now a $p\in X$ satisfying the three points in the claim. By density of D in $C(X)$ , we then easily infer that $A(f_p) = \int _X f\,d m$ holds for all $f\in C(X)$ and $A(f_p \overline {\xi })$ exists for all $f\in C(X)$ and $\xi \in E$ . In particular, we have $A(|f_p|^2) = \int |f|^2\,d m$ for all $f\in C(X)$ . Given this, we can now follow the proof of Theorem 4.4 to conclude the existence of (pairwise orthogonal) eigenfunctions $e_\xi $ to $\xi \in \mathrm {Eig}(X,G,m)$ with $\|e_\xi \|\leq 1$ and

$$ \begin{align*} \sum_{\xi\in E} \bigg| \int_X f\, \overline{e_\xi}\,d m\bigg|^2 = \int_X |f|^2\,d m \end{align*} $$

for all $f\in D$ . As D is dense, this is only possible if $\|e_\xi \|=1$ holds for all $\xi \in E$ and the $e_\xi $ , $\xi \in E$ , are an orthonormal basis. This finishes the proof of the claim.

Given the claim, the desired measurability follows easily: by compactness and metrizability of X we can choose a countable dense subset D of $C(X)$ . Then, the claim gives that $p\in X$ belongs to $\mathrm {Bap} (X,G,m)$ if countably many conditions are satisfied. Clearly, each of these conditions gives a measurable set.

The following theorem can be seen as both a converse to Theorem 4.4 and an analog to Theorem 3.8.

Theorem 4.7. (Discrete spectrum via Besicovitch almost periodic points)

Let $(X,G,m)$ be an ergodic dynamical system and let $(B_n)$ be a Følner sequence along which Birkhoff’s ergodic theorem holds. Then, the following assertions are equivalent.

1. (i) The dynamical system $(X,G,m)$ has pure point spectrum.

2. (ii) $m(\mathrm {Bap}(X,G,m)) =1$ .

3. (iii) $\mathrm {Bap} (X,G,m)\neq \varnothing $ .

If one of the equivalent conditions (i), (ii) and (iii) holds, then $\mathrm {Eig}(X,G,m) = \mathrm {Freq}(x)$ for every $x\in \mathrm {Bap}(X,G,m)$ . Moreover, in this case, for any $f\in C(X)$ and $\xi \in \widehat {G}$ the function

$$ \begin{align*} e_{f,\xi} : X\longrightarrow \mathbb{C}, \quad e_{f,\xi}(x) :=\left\{\begin{array}{@{}l@{}l} \mathrm{A}(f_x \overline{\xi}), &\quad x\in \mathrm{Bap} (X,G,m),\\ 0, &\quad \mbox{otherwise,} \end{array} \right. \end{align*} $$

satisfies $P_\xi f = e_{f,\xi }$ (in $L^2 (X,m)$ ), $e_{f,\xi } (tx) = \xi (t) e_{f,\xi }(x)$ for all $t\in G$ and $x\in X$ and has constant modulus on $\mathrm {Bap} (X,G,m)$ .

Proof. The implication (ii) $\Longrightarrow $ (iii) is clear. The implication (iii) $\Longrightarrow $ (i) follows from Theorem 4.4. We now show (i) $\Longrightarrow $ (ii). As the set of generic points has full measure, it suffices to show that almost every $x\in X$ is Besicovitch almost periodic. To do so, we denote the inner product on $L^2 (X,m)$ by $\langle \cdot ,\cdot \rangle $ and the associated norm by $\|\cdot \|_2$ . Let $\xi _1,\xi _2,\xi _3,\ldots , $ be an enumeration of $\mathrm {Eig}(X,G,m)$ . Choose for any $\xi \in E$ a normalized eigenfunction $e_\xi : X\longrightarrow \mathbb {C}$ . Without loss of generality, we can assume

$$ \begin{align*} e_\xi (sx) = \xi (s)\, e_\xi (x) \end{align*} $$

for all $s\in G$ and $x\in X$ . (Otherwise, we could replace $e_\xi $ by $\widetilde {e}_\xi $ defined by

$$ \begin{align*} \widetilde{e}_\xi(x) :=\lim_{n\to \infty} \frac{1}{|B_n|} \int_{B_n} e(sx)\, \overline{\xi}(s)\,d s \end{align*} $$

if the limit exists and $\widetilde {e}_\xi (x) =0$ otherwise.) Moreover, for $\xi = 1$ we choose the constant function $1$ .

Consider now an arbitrary $g\in C(X)$ . By Birkhoff’s ergodic theorem, we can then find a subset $X_g$ of X of full measure such that

$$ \begin{align*} \int_X \bigg|g - \sum_{j=1}^k \langle g,e_{\xi_j} \rangle e_{\xi_j}\bigg|\,d m(x) = \lim_{n\to \infty}\frac{1}{|B_n|} \int_{B_n} \bigg|g(sx) - \sum_{j=1}^k \langle g,e_{\xi_j}\rangle e_{\xi_j} (sx)\bigg|\,d s \end{align*} $$

for all $x\in X_g$ and $k\in \mathbb {N}$ . Let $D\subset C(X)$ be a countable dense subset. Define

$$ \begin{align*}X':=\bigcap_{g\in D} X_g.\end{align*} $$

Then, $X'$ has full measure and a short computation gives

$$ \begin{align*} \int_X \bigg|f - \sum_{j=1}^k \langle f,e_{\xi_j}\rangle e_{\xi_j}\bigg|\,d m(x) = \lim_{n\to \infty}\frac{1}{|B_n|} \int_{B_n} \bigg|f(sx) - \sum_{j=1}^k \langle f,e_{\xi_j}\rangle e_{\xi_j} (sx)\bigg|\,d s \end{align*} $$

for all $f\in C(X)$ , $x\in X'$ and $k\in \mathbb {N}$ . This, in turn, implies that any $x\in X'$ is Besicovitch almost periodic: indeed, a short calculation invoking Birkhoff’s ergodic theorem and the Cauchy–Schwarz inequality shows

$$ \begin{align*} \overline{M}\bigg( \bigg|f(\cdot x) -\sum_{j=1}^k \langle f, e_{\xi_j} \rangle\, e_{\xi_j}(x)\, \xi_j (\cdot)\bigg|\bigg) &= \overline{M}\bigg( \bigg|f(\cdot x) -\sum_{j=1}^k \langle f, e_{\xi_j} \rangle\, e_{\xi_j}(\cdot x)\bigg|\bigg)\\ (\mbox{Birkhoff's ergodic theorem})&= \lim_{n\to \infty}\frac{1}{|B_n|} \int_{B_n} \bigg|f(sx) - \sum_{j=1}^k \langle f,e_{\xi_j}\rangle e_{\xi_j} (sx)\bigg|\,d s\\ &= \int_X \bigg|f - \sum_{j=1}^k \langle f,e_{\xi_j}\rangle e_{\xi_j}\bigg|\,d m(x)\\ (\mbox{Cauchy--Schwarz inequality})& \leq \bigg\|f -\sum_{j=1}^k \langle f,e_{\xi_j}\rangle e_{\xi_j}\bigg\|_2\\ &\to 0, n\to \infty. \end{align*} $$

This gives the desired claim.

We now turn to the remaining statements. The equality $\mathrm {Freq} (x) = \mathrm {Eig}(X,G,m)$ for an element $x\in \mathrm {Bap} (X,G,m)$ directly follows from Theorem 4.4. As for $e_{f,\xi }$ , we note that it is well defined and invariant (as $\mathrm {Bap}(X,G,m)$ is invariant). The equality $\mathrm {Freq} (x) = \mathrm {Eig}(X,G,m)$ for $x\in \mathrm {Bap} (X,G,m)$ rather directly gives that $e_{f,\xi }$ vanishes identically for $\xi \in \widehat {G}\setminus \mathrm {Eig}(X,G,m)$ . In particular, it has constant modulus on $\mathrm {Bap}(X,G,m)$ . Now, by Theorem 4.4, for each $\xi \in E$ and $x\in \mathrm {Bap} (X,G,m)$ there exists a normalized eigenfunction $e_\xi ^{(x)}$ with

$$ \begin{align*} e_{f,\xi} (x) =\mathrm{A}(f_x \overline{\xi}) = \langle f, e_{\xi}^{(x)}\rangle. \end{align*} $$

As each eigenspace is one dimensional, the $e_\xi ^{(x)}$ arising for different $x\in \mathrm {Bap}(X,G,m)$ will only differ by a factor of modulus one. This gives the statement on constancy of the modulus.

That $e_{f,\xi }$ is the projection onto the eigenspace of $\xi $ follows from standard theory; see, e.g., [Reference Lenz27] for a recent discussion.

5 Weyl almost periodic points, unique ergodicity and continuity of eigenfunctions

In this section, we consider a strengthening of Besicovitch almost periodicity, namely Weyl almost periodicity. We show that Weyl almost periodicity extends from one point to its orbit closure. This allows us to characterize transitive systems all of whose points are Weyl almost periodic. These are exactly the uniquely ergodic dynamical systems with pure point spectrum and continuous eigenfunctions. This ties in with various recent investigations (see the following for details).

Let $(X,G)$ be a dynamical system. Whenever d is a metric on X generating the topology and $(B_n)$ is a Følner sequence, we define for each $n\in \mathbb {N}$ the map

$$ \begin{align*} \overline{M}_n :B(G) \longrightarrow \mathbb{R},\quad \overline{M}_n (f):=\sup_{s\in G} \frac{1}{|B_n|} \int_{B_n +s} f(t)\,d t. \end{align*} $$

This gives then rise to the functions

$$ \begin{align*} D_n :=D_{n,d} : X\times X\longrightarrow [0,\infty),\quad D_n (x,y):=\overline{M}_n (s\mapsto d(sx,sy)), \end{align*} $$

for each $n\in \mathbb {N}$ . Then, each $D_n$ can easily be seen to be an invariant metric. Moreover, for each $x\in X$ the function $t\mapsto D_n (x,tx)$ is uniformly continuous (by the argument used in §2 to show uniform continuity of D). The function $D_n$ is referred to as the averaged metric on level n.

A bounded measurable function $f : G\longrightarrow \mathbb {C}$ is Weyl almost periodic if for each $\varepsilon>0$ there exist $k\in \mathbb {N}$ , $\xi _1,\ldots , \xi _k \in \widehat {G}$ and $c_1,\ldots ,c_k\in \mathbb {C}$ with

$$ \begin{align*}\limsup_{n\to \infty} \overline{M}_n \bigg(\bigg|f - \sum_{j=1}^k c_{j} \xi_j\bigg|\bigg) < \varepsilon.\end{align*} $$

As discussed in Appendix D, an equivalent alternative characterization is that for each $\varepsilon>0$ there exist $N\in \mathbb {N}$ and a relatively dense set $R\subset G$ with

$$ \begin{align*} \overline{M}_N (|f - f(\cdot - t)|) < \varepsilon\end{align*} $$

for all $t\in R$ . A crucial feature of Weyl almost periodic functions is the existence of the limits

$$ \begin{align*} \lim_{n\to\infty} \frac{1}{|B_n|} \int_{B_n + s_n} f(t)\, \xi (t)\,d t \end{align*} $$

irrespective of (and uniform in) the chosen sequence $(s_n)\in G$ for each $\xi \in \widehat {G}$ , see Appendix D.

Definition 5.1. (Weyl almost periodic points)

Let $(X,G)$ be a dynamical system, let d be a metric on X generating the topology, let $(B_n)$ be a Følner sequence and let $D_n$ , $n\in \mathbb {N}$ , be the associated averaged metrics. Then, a point $x\in X$ is called Weyl almost periodic with respect to d and $(B_n)$ if for every $\varepsilon>0$ there exists an $N\in \mathbb {N}$ such that

$$ \begin{align*}\{t\in G: D_N (x,tx)<\varepsilon\}\end{align*} $$

is relatively dense.

Arguing as in §3 with $\overline {M}$ replaced by $\overline {M}_n$ we see that Weyl almost periodicity is independent of the chosen metric and the following holds.

The previous lemma implies, in particular, that any Weyl almost periodic point is Besicovitch almost periodic. It is not hard to see by examples that the converse does not hold.

Weyl almost periodicity has a stability property.

Proof. The function $D_N$ is lower semi-continuous for each $N\in \mathbb {N}$ as it is a supremum over continuous functions. From this and the invariance of $D_N$ we find

$$ \begin{align*}D_N (y,ty)\leq \liminf_{n\to\infty} D_N (s_n x, t s_n x) = D_N (x,tx)\end{align*} $$

whenever $s_n x\to y$ for a sequence $(s_n)$ in G. This easily gives the desired statement.

Proposition 5.4. Let $(X,G)$ be a dynamical system with transitive element $p\in X$ . Let p be Weyl almost periodic. Then $(X,G)$ is uniquely ergodic, has pure point spectrum, all eigenfunctions are continuous and $\mathrm {Freq}(x) = \mathrm {Eig}(X,G,m)$ holds for all $x\in X$ . Moreover, for any $f\in C(X)$ and $\xi \in \widehat {G}$ , the averages

$$ \begin{align*} A_n (f_x\overline{\xi}):=\frac{1}{B_n} \int_{B_n} f(tx)\, \overline{\xi(t)}\,d t \end{align*} $$

converge (uniformly in x) towards the projection of f onto the eigenspace of $\xi $ .

Proof. It is well known that unique ergodicity is equivalent to uniform (in $y\in X$ ) convergence of the averages

$$ \begin{align*} \frac{1}{|B_n|} \int_{B_n} f(ty)\,d t \end{align*} $$

for each continuous $f:X\longrightarrow \mathbb {C}$ . Now, uniform existence of these averages on the orbit of x is a direct consequence of Weyl almost periodicity. This easily gives uniform existence on the orbit closure. As the orbit closure is X the desired statement on unique ergodicity follows. Denote the unique invariant probability measure by m.

By the previous lemma and the transitivity assumption on p, every $x\in X$ is Weyl almost periodic. In particular, every element is Besicovitch almost periodic. As $(X,G)$ is uniquely ergodic every $x\in X$ is also generic with respect to m. Hence, $X=\mathrm {Bap}(X,G,m)$ follows. By Theorem 4.7, this implies pure point spectrum as well as pointwise convergence of the averages $A_n (f_x\overline {\xi })$ to the projection of f onto the eigenspace of $\xi $ for each $f\in C(X)$ and $\xi \in \widehat {G}$ . Now, by Weyl almost periodicity these averages converge uniformly in $x\in X$ . Hence, their limit is continuous and continuity of the eigenfunctions follows.

Proof. The implication (iii) $\Longrightarrow $ (ii) is obvious whereas (ii) $\Longrightarrow $ (iii) follows from Lemma 5.3.

The implication (ii) $\Longrightarrow $ (i) and the last part of the theorem were shown in Proposition 5.4. It remains to show the reverse implication (i) $\Longrightarrow $ (ii): this follows by a variant of the proof of the corresponding part in Theorem 4.7. We denote the unique invariant measure by m and use the notation introduced in the proof of Theorem 4.7. Thus, we denote the inner product on $L^2 (X,m)$ by $\langle \cdot ,\cdot \rangle $ and the associated norm by $\|\cdot \|_2$ . As the spectrum is pure point, there exists an orthonormal basis $e_\xi $ , $\xi \in \mathrm {Eig}(X,G,m)$ , of $L^2 (X,m)$ with $e_\xi $ being an eigenfunction to the eigenvalue $\xi $ for each $\xi \in \mathrm {Eig}(X,G,m)$ . By assumption, each $e_\xi $ , $\xi \in E$ , can be chosen continuous. By unique ergodicity, we then find for any finite subset $A\subset \mathrm {Eig}(X,G,m)$ and any $y\in X$ :

$$ \begin{align*} \limsup_{n\to\infty} \overline{M}_n\bigg(\bigg|f(\cdot y) - \sum_{\xi \in A} \langle e_{\xi}, f\rangle e_{\xi} (y) \xi (\cdot)\bigg|\bigg)&= \limsup_{n\to\infty} \overline{M}_n \bigg|f(\cdot y) - \sum_{\xi \in A} \langle e_{\xi}, f\rangle e_{\xi} (\cdot y)\bigg|\\ & = \lim_{n\to\infty}\frac{1}{|B_n|} \int_{B_n} \bigg|f(ty)\\ &\quad-\sum_{\xi \in A} \langle e_{\xi}, f\rangle e_{\xi} (t y)\bigg|\,d t\\ & = \int_X \bigg| f(x) -\sum_{\xi \in A} \langle e_{\xi}, f\rangle e_{\xi} ( x)\bigg|\,d m(x)\\ (\mbox{Cauchy--Schwarz inequality})&\leq \bigg\|f -\sum_{\xi \in A} \langle e_{\xi}, f\rangle e_{\xi} \bigg\|_2. \end{align*} $$

As $f_\xi $ , $\xi \in E$ , is a basis of $L^2 (X,m)$ , the last term becomes arbitrarily small for suitable $A\subset E$ . This shows that $t\mapsto f(ty)$ is Weyl almost periodic for any $y\in X$ .

If a system is minimal every point is transitive and we can note the following immediate consequence of the preceding theorem.

6 Weakly and Bohr almost periodic dynamical systems

In the preceding section, we have met Weyl almost periodic points. In this section, we introduce two special classes of Weyl almost periodic points, namely Bohr almost periodic points and weakly almost periodic points. This allows us to reanalyze and characterize weakly almost periodic dynamical system and Bohr almost periodic dynamical system via the new approach in this paper. Specifically, the main result of this section shows that a (transitive) dynamical system is weakly almost periodic (Bohr almost periodic) if and only if every of its points is weakly almost periodic (Bohr almost periodic). We refer to [Reference Lenz and Strungaru33] for a recent discussion of Bohr and weakly almost periodic systems including relevance, background and further references.

Let G be a $\sigma $ -compact locally compact abelian group and denote the set of uniformly continuous and bounded functions on G by $C_u (G)$ . This space is a Banach space when equipped with the supremum norm $\|\cdot \|_\infty $ . An $f\in C_u (G)$ is called weakly almost periodic if the set $\{f(\cdot -t) : t\in G\}$ is relatively compact in $C_u (G)$ with respect to the weak topology of the Banach space $(C_u (G),\|\cdot \|_\infty )$ . Clearly, any Bohr almost periodic $f\in C_u (G)$ is weakly almost periodic (as Bohr almost periodicity means, by definition, that the set $\{f(\cdot -t) : t\in G\}$ is relatively compact in the original topology). In fact, a main result on weakly almost periodic functions (see, e.g., [Reference Akin and Glasner1] or [Reference Ellis and Nerurkar13, Reference Lenz and Strungaru33]) gives that any weakly almost periodic f can be (uniquely) decomposed into $f = g + h$ with $g\in C_u (G) $ Bohr almost periodic and $h\in C_u (G)$ satisfying

$$ \begin{align*} \lim_{n\to\infty} \sup_{s\in G} \frac{1}{|B_n|} \int_{B_n} |h(s + t) |\,d t = 0 \end{align*} $$

for any F ølner sequence $(B_n)$ . The existence of this decomposition is [Reference Moody, Strungaru, Baake and Grimm35, Theorem 4.7.11], whereas the uniqueness follows immediately from [Reference Moody, Strungaru, Baake and Grimm35, Lemma 4.6.8].

When combined with $(\heartsuit )$ in Appendix A this easily gives that any weakly almost periodic function is Weyl almost periodic.

In the subsequent discussion, the weakly almost periodic case and the Bohr almost periodic case can be mostly treated in parallel. To facilitate the reading, we then give statements for the weakly almost periodic case and mention the Bohr almost periodic case in brackets only.

With essentially the same proof as Lemma 3.7, we obtain the following statement.

Whenever $(X,G)$ is a dynamical system, any $f\in C(X)$ gives rise to a function on the product $G\times X$ , namely

$$ \begin{align*} P_f : G\times X \longrightarrow \mathbb{C},\quad (t,x) \mapsto f(tx). \end{align*} $$

Roughly speaking one can say that the preceding discussion was concerned with almost periodicity properties of the functions $f_x = P_f (\cdot ,x)$ for $x\in X$ . It is natural to consider almost periodicity properties of restrictions of the $P_f$ to X as well for fixed $t\in G$ . This leads to the notion of weakly (Bohr) almost periodic dynamical system. For $f\in C(X)$ and $t\in G$ , we define

$$ \begin{align*} f_t : X\longrightarrow \mathbb{C},\quad f_t (x) = f(tx) = P_f (t,\cdot). \end{align*} $$

The next lemma relates weakly (Bohr) almost periodic dynamical systems to weakly (Bohr) almost periodic points.

Proof. Fix an arbitrary $x \in X$ . Define $F: C(X) \to C_u(G)$ via

$$ \begin{align*} F(f)(t)=f_x. \end{align*} $$

1. (a) It is easy to see that F is well defined and $\| F \| \leq 1$ . It follows that F is continuous and, hence, also weakly continuous [Reference Moody, Strungaru, Baake and Grimm35, Lemma 4.4.2]. Therefore, the image of a compact (respectively, weak compact) set is compact (respectively, weak compact). As F commutes with the group action, the claim follows.

2. (b) We know that F is continuous. Moreover, because x has dense orbit, it follows immediately that for all $f \in C(X)$ we have

   $$ \begin{align*} \| F(f) \|_\infty = \| f \|_\infty. \end{align*} $$
   Therefore, F is an isometry and, hence, it induces an isomorphic isometry $F: C(X) \to \mbox {Im}(F)$ . In particular, $\mbox {Im}(F)$ is closed in $C_u(G)$ and the mapping
   $$ \begin{align*} F^{-1} : \mbox{Im}(F) \to C(X) , \end{align*} $$
   is a continuous operator and, hence, is also weakly continuous [Reference Moody, Strungaru, Baake and Grimm35, Lemma 4.4.2]. Therefore, $F^{-1}$ maps compact and weakly compact sets into compact and weakly compact sets, respectively. This easily gives the desired statement.

We obtain the following immediate consequence of the preceding lemma.

We also note the following consequence of the theorem.

Corollary 6.6. Let $(X,G)$ be a dynamical system with transitive $p\in X$ . For $s,t \in G$ define $g_{s,t}: X \to \mathbb {C}$ via

$$ \begin{align*} g_{s,t}(x)=d(sp,tx). \end{align*} $$

Then, $p\in X$ is weakly almost periodic if and only if for each $s \in G$ the set $\{ g_{s,t} : t \in G \}$ has compact closure in the weak topology of $(C(X),\|\cdot \|_\infty )$ .

Proof. Indeed, the only if part of the statement is immediate from the definition of weak almost periodicity and the preceding theorem. To show the if part, we denote (in line with [Reference Lenz and Strungaru33])

$$ \begin{align*} \operatorname{WAP}(X):= \{ f \in C(X) : \{ f_t :t \in G \} \mbox{ has compact closure in the weak topology} \}. \end{align*} $$

Then, by [Reference Lenz and Strungaru33, Propositions 3.3, 3.4] $\operatorname {WAP}(X)$ is a closed algebra of $(C(X), \| \cdot \|_\infty )$ , which contains the constant function 1. Moreover, we have $g_{t,1} \in \operatorname {WAP}(X)$ for all $t\in G$ . We next show that the functions $g_{t,1}$ separate the points of X. Let $x \neq y \in X$ be arbitrary, and let $r=d(x,y)$ .

As p is a transitive point, there exists some $t \in G$ such that $d(tp,x) < {r}/{3}$ . Then,

$$ \begin{align*} g_{t,1}(x) =d(tp,x) < \frac{r}{3} \quad \text{and} \quad g_{t,1}(y)= d(tp,y) \geq d(x,y) -d (tp,x)> \frac{2r}{3}. \end{align*} $$

This shows that $g_{t,1}(x) {\kern-1.3pt}\neq{\kern-1.3pt} g_{t,1}(y)$ . Therefore, $\operatorname {WAP}(X)$ is a closed algebra of $(C(X), \|{\kern-1pt} \cdot{\kern-1pt} \|_\infty )$ which is separating the points and, hence, by the Stone–Weierstraß theorem, $\operatorname {WAP}(X)=C(X)$ . This gives the desired statement.

The preceding theorem allows us to recapture a main result of [Reference Lenz and Strungaru33] (compare with [Reference Garcia-Ramos and Marcus19, Corollary 2.18]).

As should be clear from the preceding discussion, the analog of Theorem 6.5 with ‘weakly almost periodic’ replaced by ‘Bohr almost periodic’ holds as well (and, similarly, for Corollary 6.6). In fact, a somewhat stronger statement is true for Bohr almost periodic points. To state this properly, we introduce the following notation when dealing with an dynamical system $(X,G)$ with metric d. For $f\in C(X)$ we consider the mapping

$$ \begin{align*} \pi_f : X\longrightarrow C_u (G), \quad \pi_f (x) := f_x , \end{align*} $$

and, when an $x\in X$ is fixed, we set

$$ \begin{align*} Y(f,x):=\overline{ \{f_{tx} : t\in G\} } , \end{align*} $$

where the closure is taken in $C_u (G)$ with the (usual) supremum norm. We also define

$$ \begin{align*} \overline{d} : X\times X \longrightarrow [0,\infty), \quad \overline{d}(x,y):= \sup_{s\in G} d(sx,sy). \end{align*} $$

Clearly, $\overline {d}$ is a metric.

Proof. (i) $\Longrightarrow $ (ii): Clearly, $\pi _f (tx) = f_{tx} = f_x (\cdot +t)$ for any $t\in G$ . Thus, it suffices to show that $f_y$ belongs indeed to $Y(f,x)$ for any $y\in \overline {Gx}$ and $\pi _f$ is continuous on $Y(f,x)$ . It is enough to show that $\pi _f(y_n)$ converges to $\pi _f (y)$ whenever $(y_n)$ is a sequence in $\overline {Gx}$ converging to $y\in \overline {Gx}$ such that $\pi _f (y_n)$ belongs to $Y(f,x)$ . Now, it is not hard to see that the functions $\pi _f (y_n)$ converge pointwise to $\pi _f (y)$ . Moreover, by assertion (i), the set $Y(f,x)$ is compact and, hence, $\pi _f(y_n)$ has a uniform convergent subsequence. Now, any such subsequence must converge to $\pi _f (y)$ (as uniform convergence implies pointwise convergence). This gives the desired convergence statement.

(ii) $\Longrightarrow $ (iii): By assertion (ii), the map $\overline {d}_f$ with $\overline {d}_f (y,z) := \|\pi _f (y) - \pi _f (z)\|_\infty $ is a continuous pseudometric on $\overline {Gx}$ . It is clearly invariant. Now, choose a countable dense subset $D\subset C(X)$ separating the points of $\overline {Gx}$ . Assume without loss of generality that any element of D is normalized, and choose for any $f{\kern-1.3pt}\in{\kern-1.3pt} D$ a $c_f{\kern-1.3pt}>{\kern-1.3pt}0$ with $\sum _{f\in D} c_f {\kern-1.3pt}<{\kern-1.3pt}\infty $ . Then, $\sum _{f\in D} c_f \overline {d}_f$ is a continuous invariant metric on $\overline {Gx}$ . As $\overline {Gx}$ is compact any continuous metric determines its topology.

(iii) $\Longrightarrow $ (iv): Let $\overline {d}'$ be a continuous invariant metric on $\overline {Gx}$ . Let $\varepsilon>0$ be arbitrary. As $\overline {d}'$ is a continuous metric on $\overline {Gx}$ there exists a $\delta>0$ with $d(y_1,y_2)\leq \varepsilon $ for $y_1,y_2\in \overline {Gx}$ whenever $\overline {d}'(y_1,y_2)\leq \delta $ . As $\overline {d}'$ is invariant, we obtain then $d(t y_1, t y_2)\leq \varepsilon $ for all $t\in G$ and, hence, $\overline {d}(y_1,y_2)\leq \varepsilon $ whenever $\overline {d}'(y_1,y_2)\leq \delta $ for $y_1,y_2\in \overline {Gx}$ . This is the desired statement.

(iv) $\Longrightarrow $ (v): Using the invariant metric $\overline {d}$ it is not hard to see that there is a group structure on $\overline {Gx}$ with $tx + sx = (t+s)x$ . Here, we show only that this is well defined. The remaining statements then follow easily. Assume $tx = t'x$ and $sx = s'x$ . Then triangle inequality and invariance of the metric gives

$$ \begin{align*}\overline{d}((t+s)x,(t' + s')x)&\leq \overline{d}((t+s)x,(t+s')x) +\overline{d}((t+s')x, (t' + s')x)\\ &\leq \overline{d}(sx,s'x) + \overline{d}(tx,t'x) = 0.\end{align*} $$

This shows well definedness.

(v) $\Longrightarrow $ (i): This is standard. We include some details for convenience of the reader. Let f be a continuous function on X. We have to show that the set $S:=\{f_x (t + \cdot ): t\in G\} = \{f_{tx} : t\in G\}$ has compact closure in $C_u (G)$ with respect to the supremum norm. From assertion (iv), we easily see that $\pi _f : \overline {Gx}\longrightarrow C_u (G), y\mapsto f_y$ , is continuous. Hence, $\pi _f (\overline {Gx})$ is compact and, as it clearly contains S, the desired statement follows.

The minimality statement follows directly from assertion (iii).

The preceding result shows that Bohr almost periodic points give rise to minimal orbit closures. In fact, within the weakly almost periodic points one can even characterize the Bohr almost periodic points by minimality of their orbit closures.

It is possible to characterize Bohr almost periodic points by almost periodicity properties of the metric $\overline {d}$ .

Proof. We show that (i) implies (ii): by assertion (i) and Theorem 6.8, the orbit closure of p is minimal and the function $\overline {d}$ is a continuous metric on $\overline {Gp}$ . Let $\varepsilon>0$ be given. As $\overline {d}$ is continuous and every Bohr almost periodic point has a minimal orbit, there exists a relatively dense set $R\subset G$ with $\overline {d}(sp,p)< \varepsilon $ for all $s\in R$ . As $\overline {d}$ is invariant, this gives

$$ \begin{align*}|\overline{d}(p,(t+s)p) - \overline{d}(p,tp)| \leq \overline{d} ((t+s)p,tp)) \leq \overline{d} (sp,p)<\varepsilon\end{align*} $$

for all $t\in G$ and $s\in R$ . As $\varepsilon>0$ was arbitrary this gives assertion (ii).

We now show that assertion (ii) implies that p is Bohr almost periodic: it is not hard to see that assertion (ii) implies that $t \mapsto d(sp,(t+s),p)$ is Bohr almost periodic for any $s\in G$ . This easily implies that Lemma 6.2(iv) holds and assertion (i) follows from that lemma.

7 Application to measure dynamical systems

In this section, we use our results to shed light on recent investigations of aperiodic order. A fundamental issue in the study of aperiodic order is pure point diffraction; see, e.g., [Reference Baake and Lenz4] for a recent survey. Indeed, understanding of pure point diffraction has been a driving force in the field; see, e.g., the survey article [Reference Lagarias, Baake and Moody25]. Recently, a complete understanding of pure point diffraction via mean almost periodicity has been provided in [Reference Lenz, Spindeler and Strungaru31]. That article mostly deals with single measures. However, it also includes results on pure point spectrum of certain dynamical systems, namely measure dynamical systems. Here, we discuss how our results allow one to provide a different approach to these results.

We start with a discussion of TMDSs. Such dynamical systems were brought forward in [Reference Baake and Lenz3] to provide a systematic framework to study aperiodic order. In our exposition we follow [Reference Baake and Lenz3] to which we refer for further details, proofs and references.

We denote by $C_c (G)$ the vector space of continuous complex-valued functions on G with compact support. This space is equipped with the inductive limit topology of the injections

$$ \begin{align*}C_K (G)\longrightarrow C_c (G),\quad \varphi \mapsto \varphi,\end{align*} $$

for $K\subset G$ compact. Here, $C_K (G)$ denotes the subspace of $C_c (G)$ consisting of functions with support in K. The measures on G are the elements of the dual space of $C_c (G)$ . The total variation $|\mu |$ of a measure $\mu $ is the smallest positive measure with

$$ \begin{align*}|\mu(\varphi)|\leq |\mu|(\varphi)\end{align*} $$

for all $\varphi \in C_c (G)$ with $\varphi \geq 0$ . A measure $\mu $ on G is called translation bounded if its total variation $|\mu |$ satisfies

$$ \begin{align*}\| \mu \|_K:=\sup |\mu| (t + U) < \infty\end{align*} $$

for one (all) relatively compact open U in G. We denote that set of all translation bounded measures by $M^\infty (G)$ and equip it with the vague topology. Then, G admits a natural action on $M^\infty (G)$ by translations. More specifically, for $t\in G$ and $\mu \in M^\infty (G)$ the measure $t\mu $ is defined by

$$ \begin{align*}t\mu (\varphi) = \mu (\varphi (\cdot + t))\end{align*} $$

for all $\varphi \in C_c (G)$ .

A subset $\varOmega \subset M^\infty (G)$ which is invariant under the translation action is compact if and only if it is vaguely closed and there exists a constant C such that [Reference Spindeler and Strungaru39, Theorem A.8]

$$ \begin{align*} \| \mu \|_U \leq C \quad \text{ for all } \mu \in \varOmega. \end{align*} $$

Whenever $\varOmega $ is a compact subset of $M^\infty (G)$ , which is invariant under the translation action to and m is an invariant probability measure on X, we call $(X,G,m)$ a dynamical system of translation bounded measures or just TMDS for short. If G is second countable than any TMDS is metrizable. Hence, the theory developed above applies to TMDS whenever G is second countable. Consider now an arbitrary TMDS $(\varOmega ,G,m)$ and define for any $\varphi \in C_c (G)$ the function

$$ \begin{align*}N_\varphi : \varOmega \longrightarrow \mathbb{C}, \quad N_\varphi (\omega) = \omega (\varphi).\end{align*} $$

Then, $N_\varphi $ belongs to $C(\varOmega )$ . In addition, there exists a unique translation bounded measure $\gamma = \gamma ^m$ on $(X,G,m)$ with

$$ \begin{align*} \gamma (\varphi \ast \widetilde{\psi}) = \langle N_\varphi, N_\psi\rangle \end{align*} $$

for all $\varphi ,\psi \in C_c (G)$ and all $t\in G$ . (Note that [Reference Baake and Lenz3] uses a different sign in the definition of ${N}$ (called f there) as well as has the inner product linear in the second argument. This results in a different display of the formula for $\gamma $ , namely $(\gamma \ast \widetilde {\varphi }\ast \psi )(0) = \langle f_\varphi , f_\psi \rangle $ .) The measure $\gamma $ is called the autocorrelation of the TMDS. This measure allows for a Fourier transform $\widehat {\gamma }$ which is a (positive) measure on $\widehat {G}$ . It is known as diffraction of the TMDS. Of particular interest in this theory are now those TMDSs whose diffraction is a pure point measure. By a main result of [Reference Baake and Lenz3] (see references there also for earlier results) the diffraction of a TMDS is pure point if and only if the TMDS has pure point spectrum. Thus, for this reason, TMDSs with pure point spectrum are of utmost relevance in the field of aperiodic order. One particular question is the calculation of the atoms of $\widehat {\gamma }$ . Here, the basic idea is that

$$ \begin{align*} \widehat{\gamma} (\{\xi\}) = \lim_{n \to \infty}\bigg|\frac{1}{|B_n|} \int_{B_n} \xi (t)\,d\omega (t)\bigg|^2 \end{align*} $$

(with $(B_n)$ being a Følner sequence). Validity of this formula is often discussed under the heading of the Bombieri–Taylor conjecture.

Having provided the framework of TMDSs, we now discuss how the theory developed in the previous section can be used in the study of aperiodic order.

A translation bounded measure $\omega $ is called mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, respectively) if for any $\varphi \in C_c (G)$ the function

$$ \begin{align*} \omega \ast \varphi : G\longrightarrow \mathbb{C},\quad (\omega \ast \varphi )(t) = \int \varphi (t-s)\,d\omega (s), \end{align*} $$

is mean almost periodic (Besicovitch almost periodic, Weyl almost periodic, respectively).

Proof. We only discuss mean almost periodicity. The remaining statements follow analogously.

(i) $\Longleftrightarrow $ (ii): A short computation shows

$$ \begin{align*}N_\varphi (t\omega) = (\omega \ast \widetilde{\varphi})(t),\end{align*} $$

where $\widetilde {\varphi } : G\longrightarrow \mathbb {C}$ , $t\mapsto \overline {\varphi }(-t)$ . This gives that $\omega $ is mean almost periodic if and only if $t\mapsto N_\varphi (t\omega )$ , $\varphi \in C_c (G)$ , is mean almost periodic and the equivalence between assertions (i) and (ii) follows.

(iii) $\Longrightarrow $ (ii): This follows easily as any $N_\varphi $ , $\varphi \in C_c (G)$ , is a continuous function on $\Omega $ .

(ii) $\Longrightarrow $ (iii): It is not hard to see that the set of $N_\varphi $ , $\varphi \in C_c (G)$ , separates the points of $\Omega $ and is closed under complex conjugation. Hence, the algebra generated by the $N_\varphi $ is dense in the continuous functions on $\Omega $ with respect to the supremum norm (see, e.g., [Reference Baake and Lenz4] for further discussion of this type of argument). This gives that assertion (ii) implies assertion (iii).

When dealing with TMDS $(\Omega ,G,m)$ we can now use the previous proposition to replace the assumption that $\omega \in \Omega $ is mean almost periodic as element of the dynamical system $(\Omega ,G,m)$ by the assumption that $\omega $ is a mean almost periodic measure (and, similarly, with mean almost periodic replaced by Besicovitch almost periodic, Weyl almost periodic, weak almost periodic, Bohr almost periodic). This allows then for reformulations of our main results. We include the most important consequences next.

Theorem 7.2. Let $(\varOmega ,G,m)$ be an ergodic TMDS. Assume that G is second countable and that $(B_n)$ is a Følner sequence along which Birkhoff’s ergodic theorem holds. Then, the following assertions are equivalent.

1. (i) $(\varOmega ,G,m)$ has pure point spectrum.

2. (ii) Almost every $\omega \in \varOmega $ is a mean almost periodic measure.

3. (iii) Almost every $\omega \in \varOmega $ is a Besicovitch almost periodic measure.

Moreover, in this case, for each $\xi \in \widehat {G}$ with $\widehat {\gamma }(\{ \xi \})\neq 0$ , the Fourier–Bohr coefficient

$$ \begin{align*} a_{\xi}(\omega)= \lim_n \frac{1}{|B_n|} \int_{B_n} \overline{\xi(t)} \, d \omega(t) \end{align*} $$

exists for m-almost all $\omega $ and satisfies

$$ \begin{align*} \widehat{\gamma}(\{ \xi \}) = | a_{\xi}(\omega) |^2. \end{align*} $$

Furthermore, there exists a non-trivial eigenfunction $f_\xi \in L^1(\varOmega , m)$ such that $f_\chi (\omega )=a_\chi (\omega )$ for all $\omega \in \mathrm {Bap} (X,G,m)$ .

Proof. The equivalence follows by combining Theorems 3.8, 4.7 and Proposition 7.1.

Next, let $\xi \in \widehat {G}$ with $\widehat {\gamma }(\{ \xi \})\neq 0$ and let $\varphi \in C_c(G)$ be so that $\widehat {\varphi }(\xi ) \neq 0$ . Then, by Proposition 4.2 applied to $N_\varphi $ , the limit

$$ \begin{align*} A((N_\varphi)_\omega\bar{\xi}):= \lim_n \frac{1}{|B_n|} \int_{B_n} \overline{\xi(t)} \varphi*\omega(t) \, d t \end{align*} $$

exists for m almost all $\omega \in X$ . By [Reference Lenz, Spindeler and Strungaru31, Corollary 1.1], the Fourier–Bohr coefficients exist for all such $\omega $ and satisfy

$$ \begin{align*} A((N_\varphi)_\omega\bar{\xi})=a_{\xi}(\omega)\widehat{\varphi}(\chi). \end{align*} $$

Theorem 4.7 the implies the existence of the eigenfunction.

Finally, by [Reference Baake and Lenz4], $| \widehat {\varphi } |^2 \widehat {\gamma }$ is the spectral measure for $N_\varphi \in L^2(X,m)$ . The last claim follows now from Theorem 4.7 and [Reference Lenz27, Theorem 3].

By combining Theorem 4.4 with Proposition 7.1 we also immediately obtain the following consequence.

Finally, by combining Theorem 5.5 with Proposition 7.1 we also get the following result.

8 Abstract generalizations

When closing the article, it may be instructive to stop a moment to have a look at the overall theme of this article from a more abstract point of view. The general approach in this article may be described as follows: we consider a dynamical system $(X,G)$ and say that a point $x\in X$ is $(*)$ almost periodic if $\mathcal {A}_x$ consists of $(*)$ almost periodic functions only. Then, the preceding sections have been devoted to a thorough study of consequences of existence of $(*)$ almost periodic points for $(*)$ being replaced by Bohr, weak, Weyl, Besicovitch and mean (and in this order these are increasingly weaker notions of almost periodicity). Now, of course, any other concept of almost periodicity for a function could also be taken as the starting point of the theory. Then, some of our considerations will easily carry over. This is discussed in this section.

Let $C_{\mathsf {u}} (G)$ be the set of uniformly continuous bounded functions on G and consider a dynamical system $(X,G)$ . Whenever we are given an $\mathbb A \subset C_{\mathsf {u}}(G)$ , we can define for $p \in X$

$$ \begin{align*} \mathbb A_p:=\{ f \in C(X):f_p \in \mathbb A \}. \end{align*} $$

Then, $\mathbb A_p$ inherits various properties of $\mathbb A$ . In particular, if $\mathbb A$ is an algebra, then so is $\mathbb A_p$ and if $1 \in \mathbb A$ then $\mathbb A_p$ contains the constant function $1$ . Moreover, if $\mathbb A$ is closed in $(C_{\mathsf {u}}(G), \| \cdot \|_\infty )$ , then $\mathbb A_p$ is closed in $(C(X), \| \cdot \|_\infty )$ . Then, as abstraction of Lemma 3.7 (with the same proof), we obtain the following lemma.

A particular way to obtain a closed algebra $\mathbb A$ is by suitable seminorms. This is discussed next: call a seminorm N on $C_{\mathsf {u}} (G)$ admissible if it is G-invariant and satisfies:

• • $N(f) \leq N(g)$ whenever $|f|\leq g$ ;

• • $N(1) = 1$ .

Note that any admissible seminorm N satisfies $N\leq \|\cdot \|_\infty $ (as $|f|\leq \|f\|_\infty \cdot 1$ ).

Remark (Examples).

It is not hard to see that $\|\cdot \|_\infty $ and $ \overline {M}\circ |\cdot |$ as well as

$$ \begin{align*} N(f):= \limsup_{n\to\infty} \sup_{t \in G} \frac{1}{|B_n|} \int_{t+B_n} |f(t) | \, d t \end{align*} $$

are admissible seminorms on $C_u (G)$ .

Lemma 8.3. Let N be an admissible seminorm. Then,

$$ \begin{align*} \mathbb A^N:= \{ f \in C_u(G) : f \mbox{ is } N \mbox{-almost periodic} \} \end{align*} $$

and

$$ \begin{align*} \mathbb A^T:= \{ f \in C_u(G) : f \mbox{ is } N \mbox{-trig almost periodic} \} \end{align*} $$

are closed subalgebras of $C_{\mathsf {u}}(G)$ . Both subalgebras contain the Bohr almost periodic functions and $\mathbb A^T \subseteq \mathbb A^N$ holds.

In particular, $1 \in \mathbb A^N$ .

For a continuous metric d on X and $x\in X$ we define

$$ \begin{align*} d^{N,x}: G\longrightarrow [0,\infty),\quad d^{N,x} (t) := N((s\mapsto d(sx, (t+s) x). \end{align*} $$

Reasoning as in §3, we can infer that for any continuous metric d the function $d^{N,x}$ is uniformly continuous. Having set things up, we can now discuss the following abstraction of the results in §3 (where we include some details for the convenience of the reader).

Analogously to Lemma 3.2 we find the following.

The following is an abstraction of both the equivalence between assertions (i) and (ii) in Lemma 3.7 (with $N = \overline {M} \circ |\cdot |$ ) and Theorem 6.10 (with $N=\|\cdot \|_\infty $ ).

Proof. (iii) $\Longrightarrow $ (ii): This is clear.

(ii) $\Longrightarrow $ (iii): This is the analog of Lemma 3.4 in our context. It can be shown by a variant of the proof of that lemma. Some extra effort is needed as N is not defined on measurable bounded functions but only on $C_{\mathsf {u}} (G)$ . This is tackled by means of Urysohn’s lemma. As every locally compact group is a normal space, this lemma allows one to separate arbitrary closed disjoint sets by continuous functions and this is what we use. We now present the details.

Let e be any metric on X such that $e^{N,x}$ is almost periodic and let d be any other metric on X, such that $d,e$ generate the topology. Without loss of generality we can assume that $d, e \leq 1$ . Let $\varepsilon>0$ be arbitrary. By Lemma 8.5, it suffices to show that the set of $t\in G$ with $d^{N,x}(t)\leq \varepsilon $ is relatively dense.

Choose $\delta '>0$ with $d(y,z) < {\varepsilon }/{2}$ whenever $e(y,z) <\delta '$ . Set

$$ \begin{align*} \delta:=\frac{\varepsilon}{4 \delta' }. \end{align*} $$

Let $t\in G$ be so that $e^{N,x}(t)< \delta $ . By Lemma 8.5 the set of such $t\in G$ is relatively dense. Thus, it remains to show $d^{N,x}(t)<\varepsilon $ for any such $t\in G$ . Define $e_{t,x}$ and $d_{t,x}$ on G by $e_{t,x}(s):=e(sx,(t+s)x)$ and $d_{t,x}(s):=d(sx,(t+s)x)$ . Set

$$ \begin{align*} A:=\bigg\{ s : e_{t,x} \geq \delta' \bigg\} \,;\quad B:=\bigg\{ s : e_{t,x} \leq \frac{\delta'}{2} \bigg\}. \end{align*} $$

Then, by Urysohn’s lemma, there exists some continuous function $f: G \to [0,1]$ such that $f(x)=1$ for all $x\in A$ and $f(x)=0$ for all $x \in B$ . Set $g:=1-f$ . Then, $ e_{t,x} \geq {\delta '}/{2} f$ and, hence, $ {\delta '}/{2} N(f) \leq N(e_{t,x}) \leq \delta $ , showing

$$ \begin{align*}N(f) \leq \frac{2\delta}{\delta'}=\frac{\varepsilon}{2}.\end{align*} $$

Moreover, $d_{t,x}(s)g(s) \leq {\varepsilon }/{2}$ . Indeed, if $s \in A$ , then $g(s)=0$ by the definition of g, and if $s \notin A$ , then $ d_{t,x}(s) \leq {\varepsilon }/{2}$ by our choice of $\delta '$ . This shows

$$ \begin{align*} N(d_{t,x} ) \leq \frac{\varepsilon}{2}. \end{align*} $$

Therefore, using $d \leq 1$ we obtain

$$ \begin{align*} d^{N,x}(t) = N(d_{t,x}) \leq N(d_{t,x}f)+N(d_{t,x}g) \leq N(f)+N(d_{t,x}g) \leq \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon. \end{align*} $$

(i) $\Longrightarrow $ (ii): This can be shown as (ii) $\Longrightarrow $ (i) in Lemma 3.7.

(ii) $\Longrightarrow $ (i): As in the proof of (i) $\Longrightarrow $ (iv) of Lemma 3.7 we infer from assertion (ii) that $d^{z}_x$ is N-almost periodic for any $z\in X$ . Now, assertion (i) follows from Lemma 8.1.

Corollary 8.7. Let $(X,G,m)$ be a dynamical system with metric d. Let N be an admissible seminorm and let $x\in X$ be N-almost periodic. If

$$ \begin{align*} \int_X f(y)\,d m(y) \leq N(f_x) \end{align*} $$

holds for all $f\in C(X)$ , then $(X,G,m)$ has pure point spectrum.

Proof. As x is N-almost periodic the preceding theorem (combined with Lemma 8.5) gives that for any $\varepsilon>0$ the set of $t\in G$ with $ d^{N,x}(t)<\varepsilon $ is relatively dense. By using the assumption on N with $f(y) = d(y,ty)$ (for $t\in G$ fixed), we furthermore find for the function

$$ \begin{align*} \underline{d}: G\longrightarrow [0,\infty),\quad \underline{d}(t) = \int_X d(y,ty)\,d m(y), \end{align*} $$

the inequality

$$ \begin{align*}\underline{d}(t) \leq d^{N,x} (t)\end{align*} $$

for all $t\in G$ . Hence, for any $\varepsilon>0$ the set of $t\in G$ with $\underline {d}(t) <\varepsilon $ is relatively dense as well. This gives us that $\underline {d}$ is Bohr almost periodic and the desired statement on pure point spectrum follows from the main result of [Reference Lenz29] (compare with the proof of Theorem 3.8 as well).