Almost-periodic function

A function representable as a generalized Fourier series. There are several ways of defining classes of almost-periodic functions, based respectively on notions of closure, of an almost-period and of translation. Each of these classes can be obtained as a closure, with respect to some metric, of the set of all finite trigonometric sums.

Let be the distance of two functions and in a metric space of real- or complex-valued functions on . In the following, will be one of the spaces , , , or . Here is the set of continuous bounded functions on the real line with the metric

and and for are the sets of functions that are measurable and whose -th powers are integrable on every finite interval of the real line, the metrics being

Let be the set of trigonometric polynomials

where the are arbitrary real numbers and the are complex coefficients, and let the symbol denote the closure of in . The classes -a.p., -a.p., -a.p. and -a.p. denote, respectively, the classes of uniformly almost-periodic functions, or Bohr almost-periodic functions, of Stepanov almost-periodic functions, of Weyl almost-periodic functions and of Besicovitch almost-periodic functions. These classes of almost-periodic functions are invariant under addition. Together with , each class also contained the functions , and , where is a real number. The metrics are topologically equivalent for all values of ; therefore it may be assumed that . Let -a.p.-a.p., -a.p.-a.p., and -a.p.-a.p.. Then

If and , then

For every -a.p., the mean value

exists. The function , where is a real number, differs from zero only on a countable set of values of ; any enumeration of this set is called the sequence , of Fourier exponents of .

The numbers are called the Fourier coefficients of . With a function in any of the classes defined above one can associate its Fourier series

For -a.p. one has the Parseval equality

The Riesz–Fischer theorem can be generalized to the class -a.p.: Let , be arbitrary real numbers, and let , be complex numbers for which . Then there is an -a.p. which has the trigonometric series as its Fourier series.

There is also a uniqueness theorem: If two functions and have the same Fourier series, then

In particular, for uniformly almost-periodic functions the uniqueness theorem states that (for Stepanov almost-periodic periodic functions: almost-everywhere). A uniqueness theorem in the same sense as for Fourier–Lebesgue series of -periodic functions does not hold for Weyl or Besicovitch almost-periodic functions.

The classes of uniformly almost-periodic and of Stepanov almost-periodic functions are, respectively, non-trivial extensions of the class of continuous -periodic functions on and the class of -periodic integrable functions on the interval . For these classes of almost-periodic functions the uniqueness theorem remains valid.

A consequence of the definition of the classes of almost-periodic functions through the concept of closure is the approximation theorem: For every almost-periodic function from (or or ) and every there is a finite trigonometric polynomial in , satisfying the inequality

The approximation theorem may serve as a starting point of the definition of various classes of almost-periodic functions. The approximating polynomials may contain "extraneous" exponents, i.e. exponents different from the Fourier exponents of . However, important for some applications of the approximation theorem is the fact that the exponents different from the Fourier exponents of can be avoided in .

In connection with the representability of almost-periodic functions by generalized Fourier series, the problem of convergence criteria for these series arises and various summation methods for generalized Fourier series (the Bochner–Fejér method, etc.) become meaningful. Thus, the following criteria have been obtained: absolute convergence of a generalized Fourier series if the Fourier exponents are linearly independent; uniform convergence of a Fourier series when as or when as .

The importance of criteria for uniform convergence in the theory of almost-periodic functions is emphasized by the following theorem: If a trigonometric series is uniformly convergent on the entire real line, then it is the Fourier series of its sum -a.p.. Corollary: There exists uniformly almost-periodic functions with an arbitrary countable set of Fourier exponents. If particular, the Fourier exponents of a uniformly almost-periodic function may have finite limit points or may even be everywhere dense.

Other definitions of almost-periodic functions of the above classes rely on the concept of an almost-period and generalizations thereof.

Besides the concept of closure or that of an almost-period, the concept of a translation can also be used for the definition of almost-periodic functions. Thus, a function is uniformly almost-periodic if and only if every infinite sequence of functions where the translation numbers are arbitrary real numbers, contains a uniformly convergent subsequence. This definition serves as a starting point in considering almost-periodic functions on groups.

The main results in the theory of almost-periodic functions remain valid if one considers the concept of a generalized translation. Other generalizations are possible and useful: almost-periodic functions with values in an -dimensional space or in a Banach or metric space, and analytic or harmonic almost-periodic functions.

References

 [1] H. Bohr, "Almost-periodic functions" , Chelsea, reprint (1947) (Translated from German) [2] A.S. Besicovitch, "Almost periodic functions" , Cambridge Univ. Press (1932) [3] B.M. Levitan, "Almost-periodic functions" , Moscow (1953) (In Russian) [4] N.P. Kuptsov, "Direct and converse theorems of approximation theory and semigroups of operators" Russian Math. Surveys , 32 : 4 (1968) pp. 115–177 Uspekhi Mat. Nauk , 23 : 4 (1968) pp. 117–178 [5] W. Rudin, "Fourier analysis on groups" , Benjamin (1962) [6] B.M. Levitan, "Generalized translation operators and some of their applications" , Israel Program Sci. Transl. (1964) (Translated from Russian) [7] A.M. Krasnosel'skii, "Non-linear almost-periodic oscillations" , Wiley (1973) (Translated from Russian)