# Almost periodic function

__: A function that "converges" to periodicity__

**Short description**In mathematics, an **almost periodic function** is, loosely speaking, a function of a real number that is periodic to within any desired level of accuracy, given suitably long, well-distributed "almost-periods". The concept was first studied by Harald Bohr and later generalized by Vyacheslav Stepanov, Hermann Weyl and Abram Samoilovitch Besicovitch, amongst others. There is also a notion of almost periodic functions on locally compact abelian groups, first studied by John von Neumann.

**Almost periodicity** is a property of dynamical systems that appear to retrace their paths through phase space, but not exactly. An example would be a planetary system, with planets in orbits moving with periods that are not commensurable (i.e., with a period vector that is not proportional to a vector of integers). A theorem of Kronecker from diophantine approximation can be used to show that any particular configuration that occurs once, will recur to within any specified accuracy: if we wait long enough we can observe the planets all return to within a second of arc to the positions they once were in.

## Motivation

There are several inequivalent definitions of almost periodic functions. The first was given by Harald Bohr. His interest was initially in finite Dirichlet series. In fact by truncating the series for the Riemann zeta function *ζ*(*s*) to make it finite, one gets finite sums of terms of the type

- [math]\displaystyle{ e^{(\sigma+it)\log n}\, }[/math]

with *s* written as (*σ* + *it*) – the sum of its real part *σ* and imaginary part *it*. Fixing *σ*, so restricting attention to a single vertical line in the complex plane, we can see this also as

- [math]\displaystyle{ n^\sigma e^{(\log n)it}.\, }[/math]

Taking a *finite* sum of such terms avoids difficulties of analytic continuation to the region σ < 1. Here the 'frequencies' log *n* will not all be commensurable (they are as linearly independent over the rational numbers as the integers *n* are multiplicatively independent – which comes down to their prime factorizations).

With this initial motivation to consider types of trigonometric polynomial with independent frequencies, mathematical analysis was applied to discuss the closure of this set of basic functions, in various norms.

The theory was developed using other norms by Besicovitch, Stepanov, Weyl, von Neumann, Turing, Bochner and others in the 1920s and 1930s.

### Uniform or Bohr or Bochner almost periodic functions

Bohr (1925)^{[1]} defined the **uniformly almost-periodic functions** as the closure of the trigonometric polynomials with respect to the uniform norm

- [math]\displaystyle{ \|f\|_\infty = \sup_x|f(x)| }[/math]

(on bounded functions *f* on **R**). In other words, a function *f* is uniformly almost periodic if for every *ε* > 0 there is a finite linear combination of sine and cosine waves that is of distance less than *ε* from *f* with respect to the uniform norm. Bohr proved that this definition was equivalent to the existence of a relatively dense set of ** ε almost-periods**, for all

*ε*> 0: that is, translations

*T*(

*ε*) =

*T*of the variable

*t*making

- [math]\displaystyle{ \left|f(t+T)-f(t)\right|\lt \varepsilon. }[/math]

An alternative definition due to Bochner (1926) is equivalent to that of Bohr and is relatively simple to state:

A function

fis almost periodic if every sequence {ƒ(t+T_{n})} of translations offhas a subsequence that converges uniformly fortin (−∞, +∞).

The Bohr almost periodic functions are essentially the same as continuous functions on the Bohr compactification of the reals.

### Stepanov almost periodic functions

The space *S*^{p} of Stepanov almost periodic functions (for *p* ≥ 1) was introduced by V.V. Stepanov (1925).^{[2]} It contains the space of Bohr almost periodic functions. It is the closure of the trigonometric polynomials under the norm

- [math]\displaystyle{ \|f\|_{S,r,p}=\sup_x \left({1\over r}\int_x^{x+r} |f(s)|^p \, ds\right)^{1/p} }[/math]

for any fixed positive value of *r*; for different values of *r* these norms give the same topology and so the same space of almost periodic functions (though the norm on this space depends on the choice of *r*).

### Weyl almost periodic functions

The space *W*^{p} of Weyl almost periodic functions (for *p* ≥ 1) was introduced by Weyl (1927).^{[3]} It contains the space *S*^{p} of Stepanov almost periodic functions.
It is the closure of the trigonometric polynomials under the seminorm

- [math]\displaystyle{ \|f\|_{W,p}=\lim_{r\to\infty}\|f\|_{S,r,p} }[/math]

Warning: there are nonzero functions *ƒ* with ||*ƒ*||_{W,p} = 0, such as any bounded function of compact support, so to get a Banach space one has to quotient out by these functions.

### Besicovitch almost periodic functions

The space *B*^{p} of Besicovitch almost periodic functions was introduced by Besicovitch (1926).^{[4]}
It is the closure of the trigonometric polynomials under the seminorm

- [math]\displaystyle{ \|f\|_{B,p}=\limsup_{x \to\infty}\left({1\over 2x} \int_{-x}^x |f(s)|^p \, ds \right)^{1/p} }[/math]

Warning: there are nonzero functions *ƒ* with ||*ƒ*||_{B,p} = 0, such as any bounded function of compact support, so to get a Banach space one has to quotient out by these functions.

The Besicovitch almost periodic functions in *B*^{2} have an expansion (not necessarily convergent) as

- [math]\displaystyle{ \sum a_ne^{i\lambda_n t} }[/math]

with Σ*a*2*n* finite and *λ*_{n} real. Conversely every such series is the expansion of some Besicovitch periodic function (which is not unique).

The space *B*^{p} of Besicovitch almost periodic functions (for *p* ≥ 1) contains the space *W*^{p} of Weyl almost periodic functions. If one quotients out a subspace of "null" functions, it can be identified with the space of *L*^{p} functions on the Bohr compactification of the reals.

### Almost periodic functions on a locally compact abelian group

With these theoretical developments and the advent of abstract methods (the Peter–Weyl theorem, Pontryagin duality and Banach algebras) a general theory became possible. The general idea of almost-periodicity in relation to a locally compact abelian group *G* becomes that of a function *F* in *L*^{∞}(*G*), such that its translates by *G* form a relatively compact set.
Equivalently, the space of almost periodic functions is the norm closure of the finite linear combinations of characters of *G*. If *G* is compact the almost periodic functions are the same as the continuous functions.

The Bohr compactification of *G* is the compact abelian group of all possibly discontinuous characters of the dual group of *G*, and is a compact group containing *G* as a dense subgroup. The space of uniform almost periodic functions on *G* can be identified with the space of all continuous functions on the Bohr compactification of *G*. More generally the Bohr compactification can be defined for any topological group *G*, and the spaces of continuous or *L*^{p} functions on the Bohr compactification can be considered as almost periodic functions on *G*.
For locally compact connected groups *G* the map from *G* to its Bohr compactification is injective if and only if *G* is a central extension of a compact group, or equivalently the product of a compact group and a finite-dimensional vector space.

## Quasiperiodic signals in audio and music synthesis

In speech processing, audio signal processing, and music synthesis, a **quasiperiodic** signal, sometimes called a **quasiharmonic** signal, is a waveform that is virtually periodic microscopically, but not necessarily periodic macroscopically. This does not give a quasiperiodic function in the sense of the Wikipedia article of that name, but something more akin to an almost periodic function, being a nearly periodic function where any one period is virtually identical to its adjacent periods but not necessarily similar to periods much farther away in time. This is the case for musical tones (after the initial attack transient) where all partials or overtones are harmonic (that is all overtones are at frequencies that are an integer multiple of a fundamental frequency of the tone).

When a signal [math]\displaystyle{ x(t) \ }[/math] is **fully periodic** with period [math]\displaystyle{ P \ }[/math], then the signal exactly satisfies

- [math]\displaystyle{ x(t) = x(t + P) \qquad \forall t \in \mathbb{R} }[/math]

or

- [math]\displaystyle{ \Big| x(t) - x(t + P) \Big| = 0 \qquad \forall t \in \mathbb{R}. \ }[/math]

The Fourier series representation would be

- [math]\displaystyle{ x(t) = a_0 + \sum_{n=1}^\infty \big[a_n\cos(2 \pi n f_0 t) - b_n\sin(2 \pi n f_0 t)\big] }[/math]

or

- [math]\displaystyle{ x(t) = a_0 + \sum_{n=1}^\infty r_n\cos(2 \pi n f_0 t + \varphi_n) }[/math]

where [math]\displaystyle{ f_0 = \frac{1}{P} }[/math] is the fundamental frequency and the Fourier coefficients are

- [math]\displaystyle{ a_0 = \frac{1}{P} \int_{t_0}^{t_0+P} x(t) \, dt \ }[/math]

- [math]\displaystyle{ a_n = r_n \cos \left( \varphi_n \right) = \frac{2}{P} \int_{t_0}^{t_0+P} x(t) \cos(2 \pi n f_0 t) \, dt \qquad n \ge 1 }[/math]

- [math]\displaystyle{ b_n = r_n \sin \left( \varphi_n \right) = - \frac{2}{P} \int_{t_0}^{t_0+P} x(t) \sin(2 \pi n f_0 t) \, dt \ }[/math]

- where [math]\displaystyle{ t_0 \ }[/math] can be any time: [math]\displaystyle{ -\infty \lt t_0 \lt +\infty \ }[/math].

The fundamental frequency [math]\displaystyle{ f_0 \ }[/math], and Fourier coefficients [math]\displaystyle{ a_n \ }[/math], [math]\displaystyle{ b_n \ }[/math], [math]\displaystyle{ r_n \ }[/math], or [math]\displaystyle{ \varphi_n \ }[/math], are constants, i.e. they are not functions of time. The harmonic frequencies are exact integer multiples of the fundamental frequency.

When [math]\displaystyle{ x(t) \ }[/math] is **quasiperiodic** then

- [math]\displaystyle{ x(t) \approx x \big( t + P(t) \big) \ }[/math]

or

- [math]\displaystyle{ \Big| x(t) - x \big( t + P(t) \big) \Big| \lt \varepsilon \ }[/math]

where

- [math]\displaystyle{ 0 \lt \epsilon \ll \big \Vert x \big \Vert = \sqrt{\overline{x^2}} = \sqrt{ \lim_{\tau \to \infty} \frac{1}{\tau} \int_{-\tau/2}^{\tau/2} x^2(t)\, dt }. \ }[/math]

Now the Fourier series representation would be

- [math]\displaystyle{ x(t) = a_0(t) \ + \ \sum_{n=1}^\infty \left[a_n(t)\cos \left(2 \pi n \int_{0}^{t} f_0(\tau)\, d\tau \right) - b_n(t)\sin \left( 2 \pi n \int_0^t f_0(\tau)\, d\tau \right) \right] }[/math]

or

- [math]\displaystyle{ x(t) = a_0(t) \ + \ \sum_{n=1}^\infty r_n(t)\cos \left( 2 \pi n \int_0^t f_0(\tau)\, d\tau + \varphi_n(t) \right) }[/math]

or

- [math]\displaystyle{ x(t) = a_0(t) + \sum_{n=1}^\infty r_n(t)\cos \left( 2 \pi \int_0^t f_n(\tau)\, d\tau + \varphi_n(0) \right) }[/math]

where [math]\displaystyle{ f_0(t) = \frac{1}{P(t)} }[/math] is the possibly *time-varying* fundamental frequency and the *time-varying* Fourier coefficients are

- [math]\displaystyle{ a_0(t) = \frac{1}{P(t)} \int_{t-P(t)/2}^{t+P(t)/2} x(\tau) \, d\tau \ }[/math]

- [math]\displaystyle{ a_n(t) = r_n(t) \cos\big(\varphi_n(t)\big) = \frac{2}{P(t)} \int_{t-P(t)/2}^{t+ P(t)/2} x(\tau) \cos\big( 2 \pi n f_0(t) \tau \big) \, d\tau \qquad n \ge 1 }[/math]

- [math]\displaystyle{ b_n(t) = r_n(t) \sin\big(\varphi_n(t)\big) = -\frac{2}{P(t)} \int_{t-P(t)/2}^{t+P(t)/2} x(\tau) \sin\big( 2 \pi n f_0(t) \tau \big) \, d\tau \ }[/math]

and the instantaneous frequency for each partial is

- [math]\displaystyle{ f_n(t) = n f_0(t) + \frac{1}{2 \pi} \varphi_n^\prime(t). \, }[/math]

Whereas in this quasiperiodic case, the fundamental frequency [math]\displaystyle{ f_0(t) \ }[/math], the harmonic frequencies [math]\displaystyle{ f_n(t) \ }[/math], and the Fourier coefficients [math]\displaystyle{ a_n(t) \ }[/math], [math]\displaystyle{ b_n(t) \ }[/math], [math]\displaystyle{ r_n(t) \ }[/math], or [math]\displaystyle{ \varphi_n(t) \ }[/math] are **not** necessarily constant, and **are** functions of time albeit *slowly varying* functions of time. Stated differently these functions of time are bandlimited to much less than the fundamental frequency for [math]\displaystyle{ x(t) \ }[/math] to be considered to be quasiperiodic.

The partial frequencies [math]\displaystyle{ f_n(t) \ }[/math] are very nearly harmonic but not necessarily exactly so. The time-derivative of [math]\displaystyle{ \varphi_n(t) \ }[/math], that is [math]\displaystyle{ \varphi_n^\prime(t) \ }[/math], has the effect of detuning the partials from their exact integer harmonic value [math]\displaystyle{ n f_0(t) \ }[/math]. A rapidly changing [math]\displaystyle{ \varphi_n(t) \ }[/math] means that the instantaneous frequency for that partial is severely detuned from the integer harmonic value which would mean that [math]\displaystyle{ x(t) \ }[/math] is not quasiperiodic.

## See also

- Quasiperiodic function
- Aperiodic function
- Quasiperiodic tiling
- Fourier series
- Additive synthesis
- Harmonic series (music)
- Computer music

## References

- ↑ H. Bohr, "Zur Theorie der fastperiodischen Funktionen I" Acta Math., 45 (1925) pp. 29–127
- ↑ W. Stepanoff(=V.V. Stepanov), "Sur quelques généralisations des fonctions presque périodiques" C. R. Acad. Sci. Paris, 181 (1925) pp. 90–92; W. Stepanoff(=V.V. Stepanov), "Ueber einige Verallgemeinerungen der fastperiodischen Funktionen" Math. Ann., 45 (1925) pp. 473–498
- ↑ H. Weyl, "Integralgleichungen und fastperiodische Funktionen" Math. Ann., 97 (1927) pp. 338–356
- ↑ A.S. Besicovitch, "On generalized almost periodic functions" Proc. London Math. Soc. (2), 25 (1926) pp. 495–512

## Bibliography

- Amerio, Luigi; Prouse, Giovanni (1971),
*Almost-periodic functions and functional equations*, The University Series in Higher Mathematics, New York–Cincinnati–Toronto–London–Melbourne: Van Nostrand Reinhold, pp. viii+184, ISBN 0-442-20295-4. - A.S. Besicovitch, "Almost periodic functions", Cambridge Univ. Press (1932)
- Bochner, S. (1926), "Beitrage zur Theorie der fastperiodischen Funktionen",
*Math. Annalen***96**: 119–147, doi:10.1007/BF01209156 - S. Bochner and J. von Neumann, "Almost Periodic Function in a Group II", Trans. Amer. Math. Soc., 37 no. 1 (1935) pp. 21–50
- H. Bohr, "Almost-periodic functions", Chelsea, reprint (1947)
- Hazewinkel, Michiel, ed. (2001), "Almost-periodic functions",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page - Hazewinkel, Michiel, ed. (2001), "Besicovitch almost periodic functions",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page - Hazewinkel, Michiel, ed. (2001), "Bohr almost periodic functions",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page - Hazewinkel, Michiel, ed. (2001), "Stepanov almost periodic functions",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page - Hazewinkel, Michiel, ed. (2001), "Weyl almost periodic functions",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Main_Page - J. von Neumann, "Almost Periodic Functions in a Group I", Trans. Amer. Math. Soc., 36 no. 3 (1934) pp. 445–492

## External links

- "Almost periodic function (equivalent definition)". http://planetmath.org/?op=getobj&from=objects&id=7214.

Original source: https://en.wikipedia.org/wiki/Almost periodic function.
Read more |