Let B be an almostperiodic
(a.p.) function with mean value zero. Let G(t) = ∫
_{0}^{t}B(s)ds. The wellknown
theorem of Bohr states that G(t) is uniformly bounded iff G(t) is a.p. This theorem
may be reformulated in the following way. Let Ω be the hull of B, and let (Ω,R) be
the flow on Ω defined by translation. Since B is a.p., Ω is a compact abelian
topological group. There is a continuous b : Ω → R and an ω_{0} ∈ Ω such that
b(ω_{0} ⋅ t) = B(t). I.e., b “extends B to Ω”. Then Bohr’s theorem is equivalent to the
following: G(t) is bounded iff there is a continuous r : Ω → R such that
r(ω ⋅ t) − r(ω) = ∫
_{0}^{t}b(ω ⋅ s)ds (ω ∈ Ω,t ∈ R).
In this paper, we consider the case when G(t) is unbounded. Two results
are obtained. The first is a generalization of Bohr’s theorem: let μ be
(normalized) Haar measure on Ω, and let g_{ω}(t) = ∫
_{0}^{t}b(ω ⋅ s)ds (ω ∈ Ω,t ∈ R);
then _{n→∞}1∕2nγ{t ∈ [−n,n]g_{ω}(t) ∈ I} > 0 for some compact I ⊂ R
and some ω ∈ Ω iff there exists a μmeasurable r : Ω → R such that
r(ω ⋅ t) − r(ω) = ∫
_{0}^{t}b(ω ⋅ s)ds (ω ∈ Ω,t ∈ R). Here γ is Lebesgue measure on R.
Thus, r exists if some g_{ω}(t) is not too badly unbounded. This theorem is
stated for the class of “minimal” functions (see below), which includes the
a.p. ones.
