#### Abstract

The main aim of this survey article is to present several known results about vector-valued almost periodic functions and their applications. We separately consider almost periodic functions depending on one real variable and almost periodic functions depending on two or more real variables. We address several open problems and possibilities for further investigations of almost periodic functions, quoting more than two hundred references about the subject under our consideration.

#### 1. Introduction

The class of almost periodic functions was introduced by the Danish mathematician H. Bohr [1] (1925), the younger brother of the Nobel Prize-winning physicist N. Bohr, and later generalized by many others. Let or , let be a complex Banach space, and let be continuous. Given , we call an -period for if and only if

By , we denote the set of all -periods for . We say that is almost periodic if and only if for each , the set is relatively dense in , which means that there exists such that any subinterval of of length meets . There are many research monographs concerning the theory of almost periodic functions and their applications; at the very beginning, we would like to cite the important research monograph [2] by Levitan, only.

The class of almost automorphic functions was introduced by the American mathematician Bochner [3]. A continuous function is said to be almost automorphic if and only if for every real sequence , there exist a subsequence of and a map such thatpointwise for . Any almost periodic function is almost automorphic, but the converse statement is not true in general (see the research monograph [4] by N’Guerekata for more details). The theories of almost periodic functions and almost automorphic functions are still very active fields of investigations of numerous authors, full of open problems, conjectures, hypotheses, and possibilities for further expansions.

As mentioned in the abstract, this survey article aims to present several known results about vector-valued almost periodic functions and their applications (there is no need to say that it would be very difficult to summarize so many important research results obtained in the theory of almost periodic functions within only one research report, and because of that, we feel it is our duty to say that this survey article does not intend to be exhaustively complete). We divide our further exposition into two individual sections; in Section 1, we analyze the almost periodic functions of one real variable and their applications, while in Section 2, we analyze the almost periodic functions of several real variables and their applications. The material is basically taken from the introductory part, notes, and appendices to the second and the third sections of the forthcoming research monograph [5].

#### 2. Almost Periodic Functions of One Real Variable and Their Applications

From the application point of view, almost periodic functions of one real variable are much important than the almost periodic functions of two or more real variables. There is enormous literature devoted to the study of almost periodicity in the time variable and the almost automorphy in the time variable of solutions for various kinds of the abstract differential equations of the first order. The notion of an almost periodic strongly continuous semigroup was introduced by Bart and Goldberg in [6], but some particular results concerning the almost periodicity of individual orbits of strongly continuous semigroups were already given by Foias and Zaidman [7], Zhikov [8, 9], and Perov and Hai [10]; also, see the survey article [11] by Phóng as well as the reference list of [12] and the articles [13, 14] obtained in a collaboration of Phóng and Lyubich. The notion of an asymptotically almost periodic strongly continuous semigroup was introduced by Ruess and Summers [15] in 1986 (see also [16–18]), while the notion of an (asymptotically) Stepanov almost periodic strongly continuous semigroup was introduced by Henríquez [19] in 1990. Concerning the study of the existence and uniqueness of almost periodic solutions of nondegenerate semilinear Cauchy problems, it seems that the fractional powers of operators have been employed for the first time by Bahaj and Sidki in [20]. For the periodic solutions of abstract first-order differential equations, we refer the reader to the research monographs [21] by Burton, [22] by Liu, Guerekata, and Minh, and [23] by Yoshizawa.

The notion of almost periodic cosine operator functions was introduced by Cioranescu [24] and after that received considerable attention of many authors. The existence and uniqueness of almost periodic-type solutions of the (abstract) second-order differential equations have been investigated in many research articles by now, using the theory of cosine operator functions or other methods (see, e.g., [25–33]). For example, Diagana, Hassan, and Messaoudi recently analyzed, in [34], the existence of asymptotically almost periodic mild solutions of the abstract Volterra integrodifferential equationaccompanied with the initial conditions for and . The main strategy used is a transformation of such a system into a first-order linear evolution equation whose solutions are governed by exponentially decaying strongly continuous semigroups; an interesting application was made in the study of Kirchhoff plate equation with infinite memory. Regarding the abstract second-order differential equations in Hilbert spaces, it should also be noted that the existence and uniqueness of periodic solutions for the following equations,were analyzed by Strashkraby, Vejvoda (1973), Lovicar (1977), and Masudy (1966), respectively ( is a positive self-adjoint operator in a Hilbert space ). For more details about the existence and uniqueness of almost periodic-type solutions of the abstract first-order Cauchy problems and the abstract second-order Cauchy problems, we refer the reader to the reference lists in [5, 12]. We recall the following problem proposed in [12].

Problem: let a closed multivalued linear operator be the integral generator of a bounded -cosine function . Suppose that satisfies that the mapping , , is asymptotically Stepanov almost periodic. Is it true that the mapping , , is almost periodic?

Chronologically, the study of almost periodic solutions of the abstract Volterra integrodifferential equations was initiated by Prüss in [35], Section 11.4, where the author analyzed the almost periodic solutions, Stepanov almost periodic solutions, and asymptotically almost periodic solutions of the following abstract integrodifferential equation:

Here, , , , is locally of bounded variation, and and are Banach spaces such that is densely and continuously embedded into . Almost immediately after that, Vu [36] investigated the almost periodicity of the abstract Cauchy problemwhere is a closed linear operator acting on a Banach space , is a family of closed linear operators on , and is continuous.

It is very difficult and unpleasant to say precisely who was the first to study the almost periodic solutions of the abstract fractional differential equations. Recently, Mu, Zhoa, and Peng [37] investigated the periodic solutions and -asymptotically periodic solutions to fractional evolution equation , and its semilinear analogue where denotes the Weyl–Liouville fractional derivative of order , is the infinitesimal generator of an exponentially decaying strongly continuous semigroup of operators, and satisfies certain assumptions (also, see the article [38] by Agarwal, Andrade, and Cuevas as well as the recent articles [39] by Bedi, Kumar, Abdeljawad, and Khan and [40] by Brindle and Guérékata, where the authors analyzed -asymptotically -periodic mild solutions for fractional differential equations with Hilfer derivatives and Riemann–Liouville derivatives). Later, Kostić extended the results of Mu, Zhoa, and Peng to the abstract fractional differential inclusion , and its semilinear analoguewhere is a closed multivalued linear operator satisfying condition (P); here, we follow the terminology employed in [41], where we have obeyed the multivalued approach to the abstract degenerate Volterra integrodifferential equations. (P) There exist finite constants and such that and The obtained results enable one to consider the almost periodic-type solutions of the following fractional Poisson heat equations,and the following fractional semilinear equation with higher-order differential operators in the Hölder space :

See [12] for more details. Let us also recall that Ponce [42] investigated the bounded mild solutions of the following nondegenerate fractional integrodifferential equation: where is a closed linear operator, is a scalar-valued kernel, and satisfies some Lipschitz-type conditions. In particular, almost periodic solutions of (10) have been analyzed. Abbas, Kavitha, and Murugesu recently analyzed Stepanov-like (weighted) pseudo-almost automorphic solutions to the following fractional-order abstract integrodifferential equation:where, is a sectorial operator with the domain and range in , of negative sectorial type , the function is exponentially decaying, and the functions and are Stepanov-like weighted pseudo-almost automorphic in time for each fixed element of and , respectively, satisfying some extra conditions [43]. For more details about almost periodic-type solutions of the abstract fractional differential equations, see the reference list of [12] and the articles [44–48].

As mentioned from the above, many results concerning the existence and uniqueness of almost periodic-type solutions and almost automorphic-type solutions to the abstract (semilinear) fractional nondegenerate differential equations have been given recently by numerous authors. In almost all these results (in the linear setting, the quite exceptional are some examples and results presented by Zaidman ([49], Examples 4, 5, 7, and 8; pp. 32–34), which have been employed by many authors so far, for various purposes), the basic key is to investigate the invariance of certain kinds of generalized almost periodicity and generalized almost automorphicity under the actions of the infinite convolution productsand

Here, it is commonly assumed that is a nondegenerate strongly continuous operator family between the Banach spaces and which exponentially or, at least, polynomially decays as . In [12], we have investigated the case in which is a degenerate strongly continuous operator family which decays exponentially or polynomially as , but we have allowed to have a removable singularity at zero, by that we basically mean that there exists a number such that the operator family is well defined and strongly continuous at the point . The integral generator of is not single-valued any longer, and this is the main reason why we have employed the multivalued linear approach to the abstract degenerate integrodifferential equations in [12]. The well-posedness of the abstract degenerate Cauchy problem,where , , is a continuous mapping, , and are closed linear operators, has been thoroughly analyzed in the monograph [41].

We will say just a few words about periodic solutions of the abstract degenerate Volterra integrodifferential equations. In [50], Barbu and Favini analyzed the 1-periodic solutions of the abstract degenerate differential equation , , accompanied with the initial condition , by using Grisvard’s sum of operators method and some results from the investigation of Prüss [51] in the nondegenerate case. The authors reduced the above problem to , , , where the multivalued linear operator is given by . The main problem is whether the inclusion holds or not; recall that Prüss [51] proved that if and only if and , provided that generates a nondegenerate strongly continuous semigroup. Applications are given to the Poisson heat equation in and , as well as to some systems of ordinary differential equations. On the contrary, Lizama and Ponce [52] analyzed the existence of -periodic solutions to the following abstract inhomogeneous linear equation:subjected with the initial condition . The authors also considered the maximal regularity of (16) in periodic Besov, Triebel–Lizorkin, and Lebesgue vector-valued function spaces.

Concerning the classical theory of partial differential equations with integer-order derivatives, we would like to recommend for the reader the references and works quoted in the introductory part of the fourth section of the monograph [53] by Ptashnic, where the following have been especially emphasized:(1)The -periodic solutions in time for the linear wave equation and the following weakly nonlinear wave equation accompanied with the boundary conditions were analyzed by Vejvoda [54] in 1964 ( is a sufficiently small real parameter). If and , then the existence of -periodic solutions for both classes of wave equations was proved; on the contrary, if and , then the situation is much more complicated, and the author proved the existence of -periodic solutions for a corresponding linear wave equation, only, provided that and there exist positive real numbers and such that Only one year later, in 1965, Gavlova investigated the existence and uniqueness of periodic solutions for the following weakly nonlinear telegraph equation: accompanied with the boundary conditions where are certain constants and is a sufficiently small real parameter.(2)In 1972, Azis and Gorak investigated the existence and uniqueness of periodic solutions in the time variable and space variable for the following quasi-linear hyperbolic second-order equation in 1971, Krylovoi and Vejvoda investigated the existence and uniqueness of -periodic solutions in the time variable for the following equation: accompanied with the boundary conditions

Six years later, in 1977, Kopachkovoi and Vejvoda analyzed the existence and uniqueness of -periodic solutions in the time variable for the following nonlinear equation: which appears in the study of beam vibrations with the effect of elongation. Also, see the important research monograph [55] by Vejvoda (with Herrmann and Lovicar as contributors).

Furthermore, the Bohr almost periodic solutions to boundary value problems for systems of partial differential equations that arise in solving certain problems for inhomogeneous media have been investigated in the research articles [56] by Berselli and Bisconti, [57] by Berselli and Romito, and [58] by Vetchanin and Mikishanina. Concerning the existence and uniqueness of Bohr almost periodic solutions of the Navier–Stokes-type equations, the reader may consult the reference list of [5].

The study of differential equations with discontinuous arguments was initiated by Myshkis [59] in 1977. The analysis of asymptotically antiperiodic solutions for nonlinear differential first-order equations with piecewise constant argument carried out by Dimbour and Valmorin [60] has recently been reconsidered and extended for asymptotically Bloch periodic solutions for nonlinear fractional differential inclusions with a piecewise constant argument by Kostić and Velinov in [61]. We have analyzed the following fractional differential Cauchy inclusion with a piecewise constant argument:where is a multivalued linear operator satisfying certain assumptions, , is a given function, and denotes the Caputo fractional derivative of order , taken in a weak sense. It is also worth noting that Chávez, Castillo, and Pinto [62] analyzed the existence of a unique almost automorphic solution for the following differential equation with a piecewise constant argument:where and are almost automorphic complex matrices and is an almost automorphic function satisfying a condition of Lipschitz type. The study carried out in [62] leans heavily on the use of results on discontinuous almost automorphic functions, exponential dichotomies, and the Banach fixed-point theorem. The almost periodic solutions of (18) were considered for the first time by Yuan and Hong in [63]; for more details about differential equations with a piecewise constant argument (DEPCA), the reader may consult articles [64] by Cooke and Wiener, [65] by Shah and Wiener, and [66] by Wiener, as well as articles [67–73], the list of publication of Pinto (https://www.zbmath.org/?q=ai(percent/sign)3Apinto.manuel), and the list of references cited therein.

There is a vast amount of articles in the existing literature which consider almost automorphic-type solutions for various classes of integrodifferential equations. Let us only mention our analysis (the joint work of the second-named author with Prof. Guérékata [74]) of the following abstract multiterm fractional differential inclusion:where , are bounded linear operators on a Banach space , is a closed multivalued linear operator on , , , is an -valued function, and denotes the Caputo fractional derivative of order . Many excellent examples have been presented in monograph [75] by Diagana; also, see the following monographs:(1)[76] by Amerio and Prouse for almost periodic solutions of functional equations(2)[77] by Argabright and de Lamadrid for almost periodic measures(3)[78, 79] by Baake and Grimm for applications of almost periodic functions in crystallography(4)[80] by Bezandry and Diagana for almost periodic solutions of stochastic differential equations(5)[81] by Böttcher, Karlovich, and Spitkovsky for factorization of almost periodic matrix functions (cf. also article [82] by Böttcher for the issues regarding the corona theorem for almost periodic functions of several real variables and articles [83] by Boggiatto, Ferández, and Galbis and [84] by Kim for issues concerning Gabor systems and almost periodic functions)(6)[85] by Chang, Guerekata, and Ponce for Bloch -periodic functions, antiperiodic functions, and their applications(7)[86] by Cheban for asymptotically almost periodic solutions of linear and nonlinear equations(8)[87] by Emel’yanov for weakly almost periodic -semigroups(9)[88] by Hino, Naito, Minh, and Shin and [89] by Guérékata for spectral analysis of almost periodic functions and Massera-type theorems [90](10)[91] by Hsu for weakly almost periodic functions(11)[92] by Stamov for almost periodic solutions of impulsive differential equations (see also research monographs [93] by Bainov and Simeonov, [94] by Perestyuk, Plotnikov, Somoilenko, and Skripnik, [95] by Stamova and Stamov, and [96] by Song, Gno, and Shi for more details on the subject)

Concerning the existence and uniqueness of almost periodic-type solutions of inhomogeneous evolution equations of first order, the notions of hyperbolic evolution systems and Green’s functions are incredible important; for more details on the subject, we refer the reader to Acquistapace [97], Acquistapace and Terreni [98], Chang and Chen [99], Diagana [75], Khalil [100], Schnaubelt [101], Zhikov [102, 103], and the list of references in [12]. The almost periodic- and almost automorphic-type solutions of the abstract Cauchy problems,and their semilinear analogues have been investigated in a great number of research papers. Without going into full details, we will only refer the readers to research monographs [75] by Diagana and [12] by Kostić, articles [104] by Baroun, Maniar, and Schnaubelt and [105] by Baroun, Ezzinbi, Khalil, and Maniar, and the list of references therein. Concerning the applications of evolution systems in the theory of the second-order nonautonomous differential equations, mention should be made of paper [106] by Zakora.

The almost periodic and almost automorphic functions on time scales and their applications to the abstract Volterra integrodifferential equations have recently been considered by numerous mathematicians (for time-scale calculus, we warmly recommend monograph [107] by Bochner and Peterson). It would be really troublesome to quote here all relevant references concerning the almost periodic traveling wave solutions and the almost automorphic traveling wave solutions for various classes of nonlinear partial differential equations. For more details about the above problematic, we refer the reader to the references cited in [5].

The definitions and basic properties of -periodic and -pseudo-periodic functions were introduced and analyzed by Alvarez, Gómez, and Pinto in [108, 109], motivated by some known results regarding the qualitative properties of the solution to Mathieu’s linear differential equation arising in modeling of railroad rails and seasonally forced population dynamics ( and ). The linear delayed equations can have -periodic solutions as well (see, e.g., [109], Example 2.5). The notions of antiperiodicity and Bloch periodicity are special cases of the notion of an -periodicity, which has also been analyzed in [110].

The authors of [109] analyzed the existence and uniqueness of mild -periodic solutions to abstract semilinear integrodifferential equation (10). Furthermore, Alvarez, Castillo, and Pinto analyzed in [108] the existence and uniqueness of mild -pseudo-periodic solutions to the abstract semilinear differential equation of the first order:where generates a strongly continuous semigroup. The authors proved the existence of positive -pseudo-periodic solutions to the Lasota–Wazewska equation with -pseudo-periodic coefficients:

This equation describes the survival of red blood cells in blood of an animal (see, e.g., Wazewska-Czyzewska and Lasota [111]). Concerning the applications to time-varying impulsive differential equations, mention should be made of article [112] by Wang, Ren, and Zhou; also, cf. article [113] by Mophou, Guérékata, and Milce and article [114] by Li, Wang, and Fečkan. For further information about (weighted) pseudo-almost periodic solutions and (weighted) pseudo-almost automorphic solutions of various types of abstract Volterra integrodifferential equations, we refer the reader to [115–122] and [123–130].

Before we explain the main results and applications of multidimensional-type functions, we will single out a few important topics for our readers.

Almost periodic functions of complex variables: the theory of almost periodic functions of one complex variable, initiated already by Bohr in the third part of [1], is still very popular and attracts the attention of many mathematicians (see, e.g., [131–134]). Suppose that and the function is analytic. Then, we say that is almost periodic if and only if for any and every reduced strip , where , there exists a number such that each subinterval of length of contains a number satisfying the inequality

In particular, this definition implies that, for any fixed , the function , , is almost periodic. Moreover, the definition implies that the almost periodicity should be uniform on various straight lines, with the meaning being clear. The Fourier series of these functions can be obtained from a certain exponential series with complex coefficients; the associated series is called the Dirichlet series of . As for the functions of one real variable, Bohr’s notion of almost periodicity of in a vertical strip is equivalent to the relative compactness of the set of its vertical translates, , with the topology of the uniform convergence on reduced strips. Mean motions and zeros of generalized almost periodic analytic functions have been analyzed by Borchsenius and Jessen in [135], where the reader can find several important applications to the Riemann zeta function (also, see [136] and the references therein for further information about applications of results from the theory of almost periodic analytic functions to the Riemann zeta function). For more details about subharmonic almost periodic functions and holomorphic almost periodic functions, we refer the reader to [131, 137–140] and references cited therein.

**-**almost periodic functions: the notion of -almost periodicity was introduced by Adamczak [141] in 1997 and later received great attention of many other authors. In this article, we will only say a few words about generalized -almost periodic functions and possibilities for further expansions. Several different classes of Stepanov-like -pseudo-almost automorphic functions have been analyzed by Diagana, Nelson, and N’Guérékata in [142]. For example, let , let , and let . Then, we say that (see [5] for the notion)(i)the function is Stepanov---almost periodic, for short, if and only if for each , we have that .(ii)the function is asymptotically Stepanov---almost periodic, for short, if and only if for each , we have that . The following definitions have been analyzed in [12].(iii)the function is equi-Weyl---almost periodic, for short, if and only if for each , we have that .(iv)the function is Weyl---almost periodic, for short, if and only if for each , we have that .(v)the function is Besicovitch-Doss---almost periodic, for short, if and only if for each , we have that .

Using the same idea, we can introduce and analyze a great number of -almost automorphic function spaces [12]. For example, the functionis -almost periodic but not -almost automorphic. Furthermore, for any real-valued function satisfying , we have that the functionbelongs to the space --; see, e.g., [142], Example 2.23. It is clear that we can slightly generalize the notion of all the aforementioned function spaces by using the definitions and results from the theory of -spaces.

Before proceeding further, we also want to mention research articles [2, 124, 143–147] by the second-named author as well as to recall the following question proposed in [12]: is it true that the classes of Besicovitch--almost periodic functions and Besicovitch-Doss--almost periodic functions coincide in vector-valued case ()?

Nemytskii operators between Stepanov almost periodic function spaces: let and be two real numbers belonging to the interval , and let . It is said that is a Carathéodory function if and only if the following holds:(i)The mapping , , is measurable for any fixed element (ii)For a.e. , the function is continuous from and

Now, consider the Nemytskii operator by

The well-known result of Lucchetti and Patrone ([148], Theorem 3.1) states that the Nemytskii operator is well defined between these spaces if and only if there exist and such that, for all and a.e. , we have

In this case, the Nemytskii operator is continuous.

Concerning the Nemytskii operator between the spaces of almost periodic functions and , it should be noted that we have the equivalence of the following statements (see, e.g. Blot, Cieutat, Guérékata, and Pennequin [149]):(i)The Nemytskii operator is continuous.(ii)For each compact set and for each , the setis relatively dense in .(iii)For all , , and for each compact set and for each , there exists such that, for each and for each , we have the implication: .

A similar statement holds for the continuity of the Nemytskii operator between the spaces of almost automorphic functions and ; see, e.g., the recent paper ([150], Theorem 2.3) by Cieutat. Several necessary and sufficient conditions clarifying the continuity of Nemytskii operators between almost periodic and almost automorphic spaces in the sense of Stepanov approach can be found in [150], Section 4.

Geometric properties of generalized almost periodic function spaces of Orlicz type: in his fundamental paper [151], Hillmann investigated the Besicovitch–Orlicz spaces of almost periodic functions. After that, numerous mathematicians working in the field of almost periodic functions have investigated the geometric properties of generalized almost periodic function spaces of Orlicz type. Here, we will describe the results of Morsli and Smaali established in [152] and the results of Bedouhene, Djabri, and Boulahia established in [153], only; for more details on the subject, we refer the reader to the list of references quoted in these papers and [5].

Assume that the function satisfies the following conditions:(i)For every , we have (ii)For every , the mapping , , is convex(iii) for all and (iv)For every , we have

If is a measurable function, then it is well known that the functionis convex and pseudo-modular.

In [152], the authors defined the Besicovitch–Musielak–Orlicz space associated to by

We have

The space is equipped with the pseudo-norm

The authors introduced two different types of Besicovitch–Musielak–Orlicz spaces of almost periodic functions, and , as follows: A function is said to belong to the space , resp. , if and only if there exists a sequence of trigonometric polynomials such that, for every , resp. there exists such that . Then, we clearly have

If , then by , , and , we denote the respective spaces.

Let us recall that a function is strictly convex if and only if for a.e. and for all , . On the contrary, a normed linear space is said to be strictly convex if and only if

It is said that the function satisfies the -condition if and only if there exist a number and a measurable nonnegative function such that and for almost all and all .

Let . Then, due to [152], Proposition 1, we have so that the limit always exists and is finite. The main result of paper is [152], Theorem 1, which states that the space is strictly convex if and only if is strictly convex and satisfies the -condition.

Ergodicity in Stepanov–Orlicz spaces was investigated in [153]. Let us recall that a convex function is said to be an Orlicz function if and only if it is nondecreasing, even, and continuous on and satisfies , for , and . In the newly arisen situation, we say that the function satisfies the -condition if and only if there exist real numbers and such that for . For any Orlicz function , it can be simply proved that if and only if . Here, stands for the space consisting of all pseudo-ergodic components, i.e., the bounded continuous functions , such that

For any vector-valued measurable function , we define the positive function

The Stepanov–Orlicz function space generated by is defined by

We know that the vector space equipped with the Luxemburg normis a Banach space. It is also worth noting that the Morse–Transue space typeequipped with the Luxemburg norm, is a closed subspace of , which is commonly called the Besicovitch–Orlicz class. We know that if and only if satisfies the -condition.

Furthermore, for any , we define the Musielak–Orlicz modular-type space

For any function , the notion of -ergodicity in the norm sense and the notion of -ergodicity in the modular sense are introduced in [153], Definition 3.1, and [153], Definition 3.2, respectively. Due to [153], Proposition 3.4, these concepts are equivalent.

Let be an Orlicz function. In [153], Definition 3.6, the authors introduced the notions of norm ergodicity in Stepanov–Orlicz sense, modular ergodicity in Stepanov–Orlicz sense, and strongly modular ergodicity in Stepanov–Orlicz sense for a given function . After that, the authors further explored these notions in [153], Theorems 3.8, 3.10, and 3.11, and provided several illustrative examples in [153], Section 4.

Density theorems for almost periodic functions in Hilbert spaces: in this section, we will inscribe a few relevant results obtained by Haraux and Komornik in [154]; these results have been obtained in their investigation of the oscillatory properties of the wave equation. Denote the vector space of all square-integrable functions with zero mean by :where . If the set is a given set of positive real numbers, we define

If is a certain collection of complex-valued functions and is an interval in , then we set . In [154], Theorem 1, the authors proved that there exists a positive real number such that, for any interval , we havewhere denotes the length of interval ; furthermore, the orthogonal complement of in is finite-dimensional if and infinite-dimensional if . Suppose that and the orthogonal complement of in is -dimensional for some integer . If denotes the vector space consisting of all complex polynomials of degree (also including the zero polynomial), then in [154], Theorem 3(a), it is stated that is dense in , where ; furthermore, if and only if , which is equivalent to saying that for . Due to [154], Theorem 3(b), there exists a real-valued function such that the functions span ; furthermore, if we extend the function by zero to the whole real line and denote the obtained function by , then we know that the function is a nonzero finite linear combination of Dirac measures.

Almost periodicity in chaos: in this section, we will only draw the attention of the readers to the results presented in the tenth section of the recent research monograph [155] by Akhmet. In [155], Section 10, the author investigated the dynamical properties of the following system:where is continuous in both variables and almost periodic in variable uniformly for , the function is continuous, and all eigenvalues of the constant real matrix have negative real parts. Roughly speaking, if the perturbation part is chaotic in a certain sense, then system (41) has the interesting feature of chaos with infinitely many almost periodic motions. The obtained results are well illustrated with several numerical tests involving the coupled Duffing oscillators, for which it is well known that they play an important role in modeling of the enhanced signal propagation. The most important notion used in [155], Section 10, is the notion of the Li–Yorke chaotic set with infinitely many almost periodic motions, which is introduced in [155], Definition 10.1, for the equicontinuous families of uniformly bounded functions , where is a nonempty compact subset of . We would like to note here that this notion can be introduced in the infinite-dimensional setting, even for other types of chaos such as distributional chaos or mean Li–Yorke chaos [156].

Almost periodicity in mathematical biology: there exist numerous research articles concerning almost periodic- and almost automorphic-type solutions for various classes of ordinary and partial differential equations appearing in mathematical biology (see, e.g., the recent article [157] by Abbas, Dama, Pinto, and Sepulveda, monograph [5], and the references quoted therein). In this section, we will present the main details of the investigation [158] carried out by Ding, Liang, and Xiao and the investigation [159] carried out by Zhang, Yang, and Wang. The nonlinear functional differential equationwas proposed by Mackey and Glass [160] for modeling of hematopoiesis describing the process of production of all types of blood cells generated by a remarkable self-regulated system that is responsive to the demands put upon it. The authors of [158] studied the following modification of (42):where are almost periodic functions, , and . The authors of [158] employed a fixed-point theorem in cones to achieve their aims. The authors of [159] considered the existence and global exponential convergence of positive almost periodic solutions for the generalized model of hematopoiesis, described by the following nonlinear functional differential equation:where are continuous functions for ; clearly, this equation is a generalization of (42). This model has been proposed by Gyori and Ladas to describe the dynamics of hematopoiesis, i.e., blood cell production. In any reasonable biological interpretation of model (44), only positive functions can be accepted as solutions. The main results of [159] are Theorems 3.1 and 3.2, in which the authors assumed that are almost periodic functions for . Setand suppose that

Then, there exists a unique positive almost periodic solution of (44) in the closed set . If we denote this solution by , then any solution of equation (44) equipped with the initial conditionconverges exponentially to as ; see [159] for the notion and more details.

Interpolation by periodic and almost periodic functions: the problems of interpolation by periodic and almost periodic functions were intensively studied by a group of Polish mathematicians during the 1960s. Probably, the first fundamental result in this direction was obtained in 1961 by Mycielski [161], who proved that there exists a sequence of positive real numbers such that, for every sequence in , there exists a continuous periodic function such that for all , answering a question proposed earlier by Marczewski and Ryll-Nardzewski. Two years later, this result was extended by Lipiński in [162], who proved that there exists a sequence of positive real numbers such that, for every bounded real function defined on the set , there exists a continuous periodic function such that for all . The essential thing in the aforementioned results is a rapid increase of the sequence as : in [161], we concretely have that , where . Let us note that Ryll-Nardzewski showed that, for every sequence in , there exists a continuous periodic function such that for all as well as that there does not exist a sequence of positive real numbers with , , satisfying the above property. Interpolation by almost periodic functions was investigated for the first time by Hartman [163] in 1961 and later reconsidered in a series of his joint research papers with Ryll-Nardzewski [164–166] during the period 1964–1967. In [164], the authors analyzed the following properties for the subset of the real line (and the abelian topological groups): : satisfies property if and only if any bounded, uniformly continuous function can be extended to an almost periodic function : satisfies property if and only if any bounded function can be extended to an almost periodic function

The authors first proved that there are no sequence in and an almost periodic function such that for all , provided that is not an integer; this essentially follows from the equalitywhich is valid for these values of number . The main results concerning properties and and extensions to uniformly continuous almost periodic functions were proved in [164], Theorems 1 and 2, while the third main result of this paper, [164], Theorem 3, analyzes a similar problem for extensions to Stepanov almost periodic functions. In [167], Strzelecki proved that any sequence of positive real numbers such that , , where is a fixed real number, has property ; later, this result was extended in [165], Theorem 5. Interpolation by Levitan almost periodic functions was considered by Hartman in [168].

In the list of [5], we have also quoted some references concerning subjects such as the Bohr compactifications, almost periodic functions on -algebras, semiholomorphic almost periodic functions, and certain interplays between the almost periodicity and the representation theory.

#### 3. Almost Periodic Functions of Several Real Variables and Their Applications

The notion of almost periodicity can be simply generalized to the case in which . Suppose that is a continuous function. Then, we say that is almost periodic if and only if for each , there exists such that, for each , there exists such that

This is equivalent to saying that, for any sequence in , there exists a subsequence of such that converges in . Any trigonometric polynomial in is almost periodic, and it is also well known that is almost periodic if and only if there exists a sequence of trigonometric polynomials in which converges uniformly to ; let us recall that a trigonometric polynomial in is any linear combination of functions such as , , where and denotes the inner product in . Any almost periodic function is almost periodic with respect to each of the variables, but the converse statement is not true since the function , , is almost periodic with respect to both variables and but not almost periodic with respect to . Furthermore, for any almost periodic function , we have that, for each , there exists such that, for each , there exists such that (48) holds. Any almost periodic function is bounded, the mean valueexists, and it does not depend on ; here, . The Bohr–Fourier coefficient is defined bywhere denotes the usual inner product in . The Bohr spectrum of , defined by is at most a countable set.

The almost periodic functions of two real variables are also investigated by Besicovitch in the classic [169]. Here, we would like to note that the results established in [169] can be straightforwardly generalized to the almost periodic functions of several real variables. For example, if is a fixed variable from the set , then the function , , is almost periodic for every fixed real number so that the mean value