Almost Periodic Functions and Their Applications: A Survey of Results and Perspectives

linear nonautonomous parabolic equations,” Rendiconti del Seminario Matematico della Università di Padova, vol. 78, pp. 47–107, 1987. [99] Y.-H. Chang and J.-S. Chen, “+e almost periodic solutions of nonautonomous abstract differential equations,” Chinese Journal of Mathematics, vol. 23, pp. 257–274, 1995. [100] K. Khalil, “On the almost periodicity of nonautonomous evolution equations and application to lotka-voltera systems,” 2020, https://arxiv.org/abs/2007.01143. [101] R. Schnaubelt, “A sufficient condition for exponential dichotomy of parabolic evolution equations,” in Evolution Equations and Jeir Applications in Physical and Life Sciences (Proceedings Bad Herrenalb, 1998), G. Lumer and L. Weis, Eds., pp. 149–158, Marcel Dekker, New York, NY, USA, 2000. [102] V. V. Zhikov, “Abstract equations with almost-periodic coefficients,”Doklady Akademii Nauk, vol. 163, pp. 555–558, 1965. [103] V. V. Zhikov, “Almost periodic solutions of differential equations in Hilbert space,” Doklady Akademii Nauk, vol. 165, pp. 1227–1230, 1965. [104] M. Baroun, L. Maniar, and R. Schnaubelt, “Almost periodicity of parabolic evolution equations with inhomogeneous boundary values,” Integral Equations and Operator Jeory, vol. 65, no. 2, p. 169, 2009. [105] M. Baroun, K. Ezzinbi, K. Khalil, and L. Maniar, “Almost automorphic solutions for nonautonomous parabolic evolution equations,” Semigroup Forum, vol. 99, no. 3, pp. 525–567, 2019. [106] D. A. Zakora, “Abstract linear Volterra second-order integrodifferential equations,” Eurasian Mathematical Journal, vol. 7, pp. 75–91, 2016. [107] M. Bochner and A. Peterson, Dynamic Equations on Time Scales. An Introduction with Applications, Birkhäuser Boston, Boston, MA, USA, 2001. 18 Journal of Mathematics


Introduction
e 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 I � R or I � [0, ∞), let X be a complex Banach space, and let f: I ⟶ X be continuous. Given ε > 0, we call τ > 0 an ε-period for f(·) if and only if By ϑ(f, ε), we denote the set of all ϵ-periods for f (·). We say that f(·) is almost periodic if and only if for each ϵ > 0, the set ϑ(f, ε) is relatively dense in [0, ∞), which means that there exists l > 0 such that any subinterval of [0, ∞) of length l meets ϑ(f, ε).
ere 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. e class of almost automorphic functions was introduced by the American mathematician Bochner [3]. A continuous function f: R ⟶ X is said to be almost automorphic if and only if for every real sequence (b n ), there exist a subsequence (a n ) of (b n ) and a map g: R ⟶ X such that lim n⟶∞ f t + a n � g(t), lim n⟶∞ g t − a n � f(t), (2) pointwise for t ∈ R. 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). e 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. e material is basically taken from the introductory part, notes, and appendices to the second and the third sections of the forthcoming research monograph [5].

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. ere 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.
e 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. e notion of an asymptotically almost periodic strongly continuous semigroup was introduced by Ruess and Summers [15] in 1986 (see also [16][17][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. e notion of almost periodic cosine operator functions was introduced by Cioranescu [24] and after that received considerable attention of many authors. e 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][26][27][28][29][30][31][32][33]). For example, Diagana, Hassan, and Messaoudi recently analyzed, in [34], the existence of asymptotically almost periodic mild solutions of the abstract Volterra integrodifferential equation accompanied with the initial conditions u(− t) � u 0 (t) for t ≥ 0 and u ′ (0) � u 1 . e 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, u tt +(A + cI)u(t) � F(t, u(t)), t ≥ 0, (c ∈ R), u tt + A 2 u(t) � F t, u(t), u ′ (t) , t ≥ 0, u tt (t) + 2αu t (t) + Au(t) � g(t) + F(t, u(t))a, t ≥ 0, (4) were analyzed by Strashkraby, Vejvoda (1973), Lovicar (1977), and Masudy (1966), respectively (A is a positive selfadjoint operator in a Hilbert space H). 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 A be the integral generator of a bounded C-cosine function (C(t)) t≥0 . Suppose that x ∈ X satisfies that the mapping t ⟼ C(t)x, t ≥ 0, is asymptotically Stepanov almost periodic. Is it true that the mapping t ⟼ C(t)Cx, t ≥ 0, 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, A 0 ∈ L 1 ([0, ∞): L(Y, X)), t ⟼ A 1 (t) ∈ L(Y, X), t ≥ 0, is locally of bounded variation, and X and Y are Banach spaces such that Y is densely and continuously embedded into X. Almost immediately after that, Vu [36] investigated the almost periodicity of the abstract Cauchy problem where A is a closed linear operator acting on a Banach space X, (B(t)) t≥0 is a family of closed linear operators on X, and f: R ⟶ X 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 S-asymptotically periodic solutions to fractional evolution equation D where A 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) ere exist finite constants c, M > 0 and β ∈ (0, 1] such that Ψ ≔ Ψ c ≔ λ ∈ C: Rλ ≥ − c(|Iλ| + 1) { } ⊆ ρ(A) and ‖R(λ: A)‖ ≤ M(1 + |λ|) − β , λ ∈ Ψ. e 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 A is a closed linear operator, a ∈ L 1 ([0, ∞)) is a scalar-valued kernel, and f(·, ·) 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 1 < α < 2, A is a sectorial operator with the domain and range in X, of negative sectorial type ω < 0, the function k(t) is exponentially decaying, and the functions f: R × X × X ⟶ X and h: R × X ⟶ X are Stepanov-like weighted pseudo-almost automorphic in time for each fixed element of X × X and X, 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][45][46][47][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;, 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 products Journal of Mathematics and Here, it is commonly assumed that (R(t)) t≥0 ⊆ L(X, Y) is a nondegenerate strongly continuous operator family between the Banach spaces X and Y which exponentially or, at least, polynomially decays as t ⟶ + ∞. In [12], we have investigated the case in which (R(t)) t>0 ⊆ L(X, Y) is a degenerate strongly continuous operator family which decays exponentially or polynomially as t ⟶ + ∞, but we have allowed (R(t)) t>0 to have a removable singularity at zero, by that we basically mean that there exists a number ζ ∈ (0, 1) such that the operator family (t ζ R(t)) t ≥ 0 is well defined and strongly continuous at the point t � 0. e integral generator of (R(t)) t≥0 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]. e well-posedness of the abstract degenerate Cauchy problem, , and A, B 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 (d/dt)(Bu(t)) � Au(t), t ≥ 0, accompanied with the initial condition (Bu)(0) � (Bu)(1), by using Grisvard's sum of operators method and some results from the investigation of Prüss [51] in the nondegenerate case. e authors reduced the above problem to v ′ (t) ∈ Av(t), t ≥ 0, v(0) � v(1), where the multivalued linear operator A is given by e main problem is whether the inclusion 1 ∈ ρ(A) holds or not; recall that Prüss [51] proved that 1 ∈ ρ(A) if and only if 2πiZ ⊆ ρ(A) and sup( ‖(2πin − A) − 1 ‖: n ∈ Z ) < ∞, provided that A generates a nondegenerate strongly continuous semigroup. Applications are given to the Poisson heat equation in H − 1 (Ω) and L 2 (Ω), as well as to some systems of ordinary differential equations. On the contrary, Lizama and Ponce [52] analyzed the existence of 2π-periodic solutions to the following abstract inhomogeneous linear equation: subjected with the initial condition (Bu)(0) � (Bu)(2π). e 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) e ω-periodic solutions in time for the linear wave equation and the following weakly nonlinear wave equation accompanied with the boundary conditions u(t, 0) � u(t, π) � 0, were analyzed by Vejvoda [54] in 1964 (ε > 0 is a sufficiently small real parameter). If ω ∈ 2πQ and ω > 0, then the existence of ω-periodic solutions for both classes of wave equations was proved; on the contrary, if ω ∉ 2πQ and ω > 0, 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 ω � 2πα and there exist positive real numbers c > 0 and c > 0 such that |α − (m/k)| > (c/k c ).
Only one year later, in 1965, Gavlova investigated the existence and uniqueness of periodic solutions for the following weakly nonlinear telegraph equation: , c ∈ R are certain constants and ε > 0 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 quasilinear hyperbolic second-order equation u xy + a(x, y)u x + b(x, y)u y + c(x, y)u � f(x, y, u, u x , u y ); in 1971, Krylovoi and Vejvoda investigated the existence and uniqueness of ω-periodic solutions in the time variable for the following equation: u tt + u xxxx � g(t, x) + εf(t, x, u, u x , u xx , u t , ε), 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]. e study of differential equations with discontinuous arguments was initiated by Myshkis [59] in 1977. e 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 A is a multivalued linear operator satisfying certain assumptions, A 0 ∈ L(X), g: [0, ∞) × X ⟶ X is a given function, and D c t u(t) denotes the Caputo fractional derivative of order c, 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 A(t) and B(t) are almost automorphic p × p complex matrices and f: R × C p × C p ⟶ C p is an almost automorphic function satisfying a condition of Lipschitz type.
e 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. e 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][68][69][70][71][72][73], the list of publication of Pinto (https://www.zbmath.org/?q�ai(percent/sign) 3Apinto.manuel), and the list of references cited therein.
ere 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 n ∈ N\ 1 { }, A 1 , . . . , A n− 1 are bounded linear operators on a Banach space X, A is a closed multivalued linear operator on X, 0 ≤ α 1 < · · · < α n , 0 ≤ α < α n , f(·) is an X-valued function, and D α t denotes the Caputo fractional derivative of order α. Many  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]. e 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] 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]. e definitions and basic properties of (ω, c)-periodic and (ω, c)-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 y″(t) + [a − 2q cos 2 t]y(t) � 0, arising in modeling of railroad rails and seasonally forced population dynamics (ω > 0 and c ∈ C\ 0 { }). e linear delayed equations can have (ω, c)-periodic solutions as well (see, e.g., [109], Example 2.5).
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][132][133][134] en, we say that f(·) is almost periodic if and only if for any ε > 0 and every reduced strip z ∈ C: α′ < Rz < β ′ , where α < α ′ < β ′ < β, there exists a number l > 0 such that each subinterval of length l of R contains a number τ satisfying the inequality In particular, this definition implies that, for any fixed σ ∈ (α, β), the function f σ (t) ≔ f(σ + it), t ∈ R, is almost periodic. Moreover, the definition implies that the almost periodicity should be uniform on various straight lines, with the meaning being clear. e 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 f(·). As for the functions of one real variable, Bohr's notion of almost periodicity of f(·) in a vertical strip Ω is equivalent to the relative compactness of the set of its vertical translates, f(· + ih): h ∈ R , 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][138][139][140] and references cited therein. C (n) -almost periodic functions: the notion of C (n) -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 C (n) -almost periodic functions and possibilities for further expansions. Several different classes of Stepanov-like C (n) -pseudo-almost automorphic functions have been analyzed by Diagana, Nelson, and N'Guérékata in [142]. For example, let 1 ≤ p < ∞, let n ∈ N, and let f ∈ L p loc (I: X). en, we say that (see [5] for the notion) e following definitions have been analyzed in [12]. (v) the function f(·) is Besicovitch-Doss-p-C (n) -almost periodic, f ∈ C (n) − B p (I: X) for short, if and only if for each k � 0, 1, . . . , n, we have that f (k) ∈ B p (I: X).
Using the same idea, we can introduce and analyze a great number of C (n) -almost automorphic function spaces [12]. For example, the function is belongs to the space C (2) -AAS 1 (R: C)\C (3) -AAS 1 (R: C); 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 L p(x) -spaces. Before proceeding further, we also want to mention research articles [2,124,[143][144][145][146][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-p-almost periodic functions and Besicovitch-Doss-p-almost periodic functions coincide in vector-valued case (1 ≤ p < ∞)?
Nemytskii operators between Stepanov almost periodic function spaces: let p and q be two real numbers belonging to the interval [1, ∞), and let T > 0. It is said that f: (0, T) × X ⟶ Y is a Carathéodory function if and only if the following holds: e well-known result of Lucchetti and Patrone ( [148], eorem 3.1) states that the Nemytskii operator is well defined between these spaces if and only if there exist a > 0 and b ∈ L p ((0, T)) such that, for all x ∈ X and a.e. t ∈ (0, T), we have In this case, the Nemytskii operator is continuous. Concerning the Nemytskii operator between the spaces of almost periodic functions AP(R: X) and AP(R: Y), it should be noted that we have the equivalence of the following statements (see, e.g. Blot, Cieutat, Guérékata, and Pennequin [149]): is relatively dense in R. (iii) For all x ∈ X, f(·, x) ∈ AP(R: Y), and for each compact set K ⊆ X and for each ε > 0, there exists δ > 0 such that, for each x 1 , x 2 ∈ K and for each t ∈ R, we have the implication: A similar statement holds for the continuity of the Nemytskii operator between the spaces of almost automorphic functions AA(R: X) and AA(R: Y); see, e.g., the recent paper ( [150], eorem 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].
It is said that the function φ(·, ·) satisfies the Δ 2 -condition if and only if there exist a number k > 1 and a measurable nonnegative function h(·) such that ρ φ (h) < ∞ and φ(t, 2u) ≤ kφ(t, u) for almost all t ∈ R and all u ≥ h(t).
Let f ∈ B φ a.p. (R). en, due to [152], Proposition 1, we have Ergodicity in Stepanov-Orlicz spaces was investigated in [153]. Let us recall that a convex function ϕ: R ⟶ [0, ∞) is said to be an Orlicz function if and only if it is nondecreasing, even, and continuous on R and satisfies ϕ(0) � 0, ϕ(u) > 0 for u > 0, and lim u⟶+∞ ϕ(u) � +∞. In the newly arisen situation, we say that the function ϕ(·) satisfies the Δ 2 -condition if and only if there exist real numbers k > 1 and u 0 > 0 such that ϕ(2u) ≤ kφ(u) for |u| ≥ u 0 . For any Orlicz function ϕ: R ⟶ [0, ∞), it can be simply proved that f ∈ PAP 0 (R: X) if and only if ϕ(‖f‖) ∈ PAP 0 (R: X). Here, PAP 0 (R: X) stands for the space consisting of all pseudoergodic components, i.e., the bounded continuous functions Φ: R ⟶ X, such that For any vector-valued measurable function f: R ⟶ X, we define the positive function e Stepanov-Orlicz function space generated by ϕ is defined by We know that the vector space BS ϕ (R, X) equipped with the Luxemburg norm is a Banach space. It is also worth noting that the Morse-Transue space type equipped with the Luxemburg norm, is a closed subspace of BS ϕ (R, X), which is commonly called the Besicovitch-Orlicz class. We know that BS ϕ (R, and only if ϕ(·) satisfies the Δ 2 -condition. Furthermore, for any p ∈ C + (R), we define the Musielak-Orlicz modular-type space For any function f ∈ BS p(·) (R, X), the notion of BS p(·) (R, X)-ergodicity in the norm sense and the notion of BS p(·) (R, X)-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.
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 X T the vector space of all square-integrable functions with zero mean by X T : where T > 0. If the set A � T 1 , . . . , T N is a given set of positive real numbers, we define X ≔ X T 1 + · · · + X T N .
If V is a certain collection of complex-valued functions and I is an interval in R, then we set V I ≔ f I : f ∈ V . In [154], eorem 1, the authors proved that there exists a positive real number T(A) such that, for any interval I ⊆ R, we have where |I| denotes the length of interval I; furthermore, the orthogonal complement of

(A) and infinite-dimensional if |I| > T(A).
Suppose that |I| � T(A) and the orthogonal complement of X I in L 2 (I) is p-dimensional for some integer p ∈ N. If P p− 1 denotes the vector space consisting of all complex polynomials of degree ≤p − 1 (also including the zero polynomial), then in [154], eorem 3(a), it is stated that Y I is dense in L 2 (I), where Y ≔ P p− 1 + X; furthermore, Y I � L 2 (I) if and only if p � 1, which is equivalent to saying that (P i /P j ) ∈ Q for 1 ≤ i ≤ j ≤ N. Due to [154], eorem 3(b), there exists a real-valued function h ∈ L 2 (I) such that the functions h, h ′ , · · ·, h p− 1 span X I ; furthermore, if we extend the function h(·) by zero to the whole real line and denote the obtained function by H(·), then we know that the function H(·) 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 G: R × R n ⟶ R n is continuous in both variables and almost periodic in variable t uniformly for y ∈ R n , the function H: R m ⟶ R n is continuous, and all eigenvalues of the constant n × n real matrix A have negative real parts. Roughly speaking, if the perturbation part H(x(t)) is chaotic in a certain sense, then system (41) has the interesting feature of chaos with infinitely many almost periodic motions. e 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. e 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 x: R ⟶ Λ, where Λ is a nonempty compact subset of R m . 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. e nonlinear functional differential equation was 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. e authors of [158] studied the following modification of (42): where a, p, τ: R ⟶ (0, ∞) are almost periodic functions, 0 < m ≤ 1, and l > 0. e authors of [158] employed a fixedpoint theorem in cones to achieve their aims. e 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: , n > 0, (44) where a, b i , τ i : R ⟶ (0, ∞) are continuous functions for i � 1, 2, . . . , m; clearly, this equation is a generalization of (42). is 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) and suppose that n m i�1 b + i < a − . en, there exists a unique positive almost periodic solution of (44) in the closed set B * � f ∈ AP(R: R); M 2 ≤ ‖f‖ ∞ ≤ M 1 }. If we denotex * (·) this solution by x * (·), then any solution x(t; t 0 , φ) of equation (44) equipped with the initial condition converges exponentially to x * (t) as t ⟶ + ∞; 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 (t n ) of positive real numbers such that, for every sequence (ε n ) in 0, 1 { }, there exists a continuous periodic function f: R ⟶ C such that f(t n ) � ε n for all n ∈ N, answering a question proposed earlier by Marczewski and Ryll-Journal of Mathematics Nardzewski. Two years later, this result was extended by Lipiński in [162], who proved that there exists a sequence (t n ) of positive real numbers such that, for every bounded real function g(·) defined on the set t n : n ∈ N , there exists a continuous periodic function f: R ⟶ C such that f(t n ) � g(t n ) for all n ∈ N. e essential thing in the aforementioned results is a rapid increase of the sequence (t n ) as n ⟶ + ∞: in [161], we concretely have that t n � (3 + α) n , where α > 0. Let us note that Ryll-Nardzewski showed that, for every sequence (ε n ) in 0, 1 { }, there exists a continuous periodic function f: R ⟶ C such that f(3 n ) � ε n for all n ∈ N as well as that there does not exist a sequence (t n ) of positive real numbers with t n � O(2 n ), n ∈ N, 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][165][166] during the period 1964-1967. In [164], the authors analyzed the following properties for the subset Λ of the real line R (and the abelian topological groups): { } and an almost periodic function f: R ⟶ C such that f(n α ) � ε n for all n ∈ N, provided that α > 0 is not an integer; this essentially follows from the equality which is valid for these values of number α > 0. e main results concerning properties I and I 0 and extensions to uniformly continuous almost periodic functions were proved in [164], eorems 1 and 2, while the third main result of this paper, [164], eorem 3, analyzes a similar problem for extensions to Stepanov almost periodic functions. In [167], Strzelecki proved that any sequence (t n ) of positive real numbers such that (t n+1 /t n ) > 1 + δ, n ∈ N, where δ > 0 is a fixed real number, has property I 0 ; later, this result was extended in [165], eorem 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 C * -algebras, semiholomorphic almost periodic functions, and certain interplays between the almost periodicity and the representation theory.

Almost Periodic Functions of Several Real
Variables and Their Applications e notion of almost periodicity can be simply generalized to the case in which I � R n . Suppose that F: R n ⟶ X is a continuous function.
en, we say that F(·) is almost periodic if and only if for each ε > 0, there exists l > 0 such that, for each t 0 ∈ R n , there exists τ ∈ B(t 0 , l) such that is is equivalent to saying that, for any sequence (b n ) in R n , there exists a subsequence (a n ) of (b n ) such that (F(· + a n )) converges in C b (R n : X). Any trigonometric polynomial in R n is almost periodic, and it is also well known that F(·) is almost periodic if and only if there exists a sequence of trigonometric polynomials in R n which converges uniformly to F(·); let us recall that a trigonometric polynomial in R n is any linear combination of functions such as t ⟼ e i〈λ,t〉 , t ∈ R n , where λ ∈ R n and 〈·, ·〉 denotes the inner product in R n . Any almost periodic function F: R n ⟶ X is almost periodic with respect to each of the variables, but the converse statement is not true since the function (t 1 , t 2 ) ⟼ cos(t 1 t 2 ), t 1 , t 2 ∈ R, is almost periodic with respect to both variables t 1 and t 2 but not almost periodic with respect to (t 1 , t 2 ). Furthermore, for any almost periodic function F(·), we have that, for each ε > 0, there exists l > 0 such that, for each t 0 ∈ (t, t, . . . , t): (48) holds. Any almost periodic function F(·) is bounded, the mean value exists, and it does not depend on s ∈ R n ; here, where 〈·, ·〉 denotes the usual inner product in R n . e Bohr spectrum of F(·), defined by σ(F) ≔ λ ∈ R n : F λ ≠ 0 , is at most a countable set. e 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 t i is a fixed variable from the set t 1 , . . . , t n , then the function t i ⟼  F(t 1 , . . . , t i , . . . , t n ), t i ∈ R, is almost periodic for every fixed real number t 1 , . . . , t i− 1 , t i+1 , . . . , t n so that the mean value exists. Considering M t i F(t 1 , . . . , t n ) as a function of the variables t 1 , . . . , t i− 1 , t i+1 , . . . , t n , it can be easily shown that it is almost periodic in R n− 1 . erefore, we can calculate the repeated mean value

10
Journal of Mathematics for any fixed real numbers from the set t 1 , . . . , t n \ t i , t j . If we fix these numbers in advance, we can apply ( [169], Corollary, p. 63) to the almost periodic function in order to see that Inductively, we easily get that, for every finite tuple of different variables (t i 1 , . . . , t i l ), where 1 ≤ i 1 < i 2 < · · · < i l ≤ n, and for every permutation σ: i 1 , . . . , i l ⟶ i 1 , . . . , i l , we have By AP(R n : X) and AP Λ (R n : X), we denote, respectively, the Banach space consisting of all almost periodic functions F: R n ⟶ X, equipped with the sup-norm, and its subspace consisting of all almost periodic functions F: R n ⟶ X such that σ(F) ⊆ Λ. As is well known, for every almost periodic function F ∈ AP Λ (R n : X), we can always find a sequence (P k ) of trigonometric polynomials in R n which uniformly converges to F(·) on R n and satisfies that σ(P k ) ⊆ Λ for all k ∈ N; see, e.g., [170], Chapter 1, Section 2.3. e Wiener algebra APW(R n : X) is defined as the set of all functions F: R n ⟶ X such that its Fourier series converges absolutely; APW Λ (R n : X) ≡ APW(R n : X) ∩ AP Λ (R n : X). It is well known that the Wiener algebra is a Banach algebra with respect to the Wiener norm ‖F‖ ≔ λ∈R n |F λ |, F ∈ APW(R n : X), as well as that APW(R n : X) is dense in AP(R n : X). e theory of almost periodic functions of several real variables has not attracted so much attention compared with the theory of almost periodic functions of one real variable by now. In the following, we will remind the readers of several important investigations of multidimensional almost periodic functions carried out so far: 1. Problems of Nehari type and contractive extension problems for matrix-valued (Wiener) almost periodic functions of several real variables have been considered by Rodman, Spitkovsky, and Woerdeman in [171], where the authors proved a generalization of the famous Sarason's theorem. In their analysis, the notion of a half-space in R n plays an important role: a nonempty subset S ⊆ R n is said to be a half-space if and only if the following four conditions hold: For any half-space S, we can always find a linear bijective mapping D: R n ⟶ R n such that S � DE n , where E n is a very special half-space defined on [172], p. 3190. In [172], eorem 1.3, Rodman and Spitkovsky proved that if S is a half-space and Λ ⊆ S, 0 ∈ Λ, and Λ + Λ ⊆ Λ, then AP Λ (R n : C) and APW Λ (R n : C) are Hermitian rings. See also [173].
(2) Let us recall that a subset Λ of R n is called discrete if and only if any point λ ∈ Λ is isolated in Λ. By V Λ , we denote the vector space of all finite complexvalued trigonometric polynomials λ∈Λ c(λ)e − πiλ· whose frequencies λ belong to Λ. e space of meanperiodic functions with the spectrum Λ, denoted by C Λ , is defined as the closure of the space V Λ in the Fréchet space C(R n ). Clearly, AP Λ (R n : C) is contained in C Λ , but the converse statement is not true, in general. e problem of describing the structure of closed discrete sets Λ for which the equality AP Λ (R n : C) � C Λ holds was proposed by Kahane in 1957. For more details about this interesting problem, we refer the reader to the survey article [174] by Meyer; for more details about mean-periodic functions, see also the lectures by Kahane [175]. (3) In 1971, Basit [176] observed that there exists a complex-valued almost periodic function f: R 2 ⟶ C such that the function F: is result was recently reconsidered by Alsulami in [177], eorem 2.2, who proved that, for a complex-valued almost periodic function f: R 2 ⟶ C, the boundedness of the function F(·) in the whole plane implies its almost periodicity, provided that there exists a complex-valued almost periodic function g: R 2 ⟶ C such that f x (x, y) � g y (x, y) is a continuous function in the whole plane. is result was proved with the help of an old result of Loomis which states that, for a bounded complex-valued function f: R n ⟶ C, the almost periodicity of all its partial derivatives of the first order implies the almost periodicity of f(·) itself. Let us observe that the aforementioned result of Alsulami can be straightforwardly extended, with the same proof, to the almost periodic functions f: R n ⟶ C; in actual fact, if the function f: R n ⟶ C is almost periodic, the function . , x n ) ∈ R n is bounded, and there exist almost periodic functions x 1 , x 2 , . . . , x n ) is a continuous function on R n , for 2 ≤ i ≤ n, then the function F: R n ⟶ C is almost periodic.
(5) In [184,185], Latif and Bhatti investigated several important questions concerning almost periodic functions defined on R n with values in locally convex spaces and fuzzy-number-type spaces (almost periodic functions defined on R n with values in p-Fréchet spaces, where 0 < p < 1, were investigated in [186] by N'Guérékata, Latif, and Bhatti).
Concerning applications made so far, we recall the following: (1 ) e problem of the existence of almost periodic solutions for the system of linear partial differential equations n j�1 L ij u j � f i , 1 ≤ i ≤ n, on R m , where L ij is an arbitrary linear partial differential operator on R m , was analyzed by Sell [187,188]. He extended the results obtained by Sibuya, where the author analyzed the almost periodic solutions of Poisson's equation.
(2) e almost periodic solutions of the (semilinear) systems of ordinary differential equations were analyzed by Fink in [189], Chapter 8, with the help of fixed-point theorems. Furthermore, Liu Bao-Ping and Pao investigated the almost periodic plane wave solutions of certain classes of coupled nonlinear reaction-diffusion equations [190]; in their approach, a solution u(t, x) of such a system, where t ∈ R and x ∈ R n , is almost periodic in R n+1 and satisfies that u(t, x) is almost periodic in the time variable t ∈ R and periodic in each spatial variable (see [190], eorem 2). (3) In his doctoral dissertation [191], Alsulami considered the question whether the boundedness of solutions of the following system of partial first-order differential equations implies the almost periodicity of solutions to (56). He analyzed this question in the finite-dimensional setting and the infinite-dimensional setting, using two different techniques; in both cases, A and B are bounded linear operators acting on the pivot space X. (4) In [192][193][194], Spradlin provided several interesting results and applications regarding almost periodic functions of several real variables. e existence of positive homoclinic-type solutions of the equation where H(·) is almost periodic and the first integral of f(·) satisfies certain superquadraticity and critical growth conditions, has been analyzed in [194], eorem 1.2. e equations of type arise in the study of the nonlinear Schrödinger equations (ε > 0). A qualitative analysis of solutions of (58) has been carried out in [193], provided the almost periodicity of function H(·) and several other nontrivial assumptions. (5) e existence and uniqueness of almost periodic solutions for a class of boundary value problems for hyperbolic equations were investigated by Ptashnic and Shtabalyuk in [195] (also, cf. the sixth chapter in monograph [53] by Ptashnic). In the region D p � (0, T) × R p (T > 0, p ∈ N), they have analyzed the well-posedness of the following initial value problem: e basic assumption employed in [195] is that equation (59) is Petrovsky-hyperbolic, i.e., for each μ � (μ 1 , μ 2 , . . . , μ p ) ∈ R p , all λ-zeroes of the equation and by C q B (R p ), the authors designated the subspace of C q B (D p ) consisting of those functions which do not depend on variable t. e existence and uniqueness of solutions of initial value problems (59) and (60) have been investigated in the space C 2n B (D p ), under the assumption that φ j (x) ∈ C r B (R p ) and r ∈ N is sufficiently large. If M p � μ k : k ∈ Z p is the union of spectrum of all functions φ 1 (x), . . . , φ 2n (x), the solutions u(t, x) of problems (59) and (60) have been found in the form where the functions u k (t) satisfy certain conditions and have the form given in equation ( [195], (8), p. 670). e uniqueness of solutions of problems (59) and (60) has been considered in [195], eorem 1, while the existence of solutions of problems (59) and (60) has been considered in [195], eorem 2. (6) e class of vector-valued remotely almost periodic functions defined on R n was introduced by Yang and Zhang in [196]. In the same paper, the authors provided several applications in the study of the existence and uniqueness of remotely almost periodic solutions for parabolic boundary value problems. A function F: R n ⟶ X is said to be remotely almost periodic if and only if for each ε > 0, the set of all vectors τ ∈ R n for which lim sup is relatively dense in R n (the vector τ is called a remotely ϵ-translation vector of F(·) ); furthermore, if ∅ ≠ Ω ⊆ R m , then a continuous function F: R n × Ω ⟶ X is said to be remotely almost periodic in t ∈ R n and uniform on compact subsets of Ω if and only if F(·, y) is remotely almost periodic for each y ∈ Ω and is uniformly continuous on R n × K for any compact subset K ⊆ Ω. e following statements hold in the scalar-valued case (see, e.g., [196], Propositions 2.1-2.3): (i) If F(·), resp. F(·; ·), is remotely almost periodic and the function (zF/zt i (·)), resp. (zF/zt i (·; ·)), is uniformly continuous on R n , then the function (zF/zt i ), resp. (zF/zt i (·; ·)), is remotely almost periodic, as well (1 ≤ i ≤ n). (ii) If the functions F 1 (·), . . . , F k (·) are remotely almost periodic (k ∈ N), then for each ε > 0, the set of their common ϵ-translation vectors is relatively dense in R n . (iii) If the functions H 1 (·), . . . , H k (·) are remotely almost periodic (k ∈ N) and (H 1 (t), . . . , H k (t)) ∈ Ω for all t ∈ R, then for every remotely almost periodic function F: R × Ω ⟶ C, we have that the function is remotely almost periodic.
In [196], Propositions 2.4-2.6, the authors examined the existence and uniqueness of remotely almost periodic solutions of multidimensional heat equations, while the main results of the third section of this paper are concerned with the existence and uniqueness of remotely almost periodictype solutions of certain types of parabolic boundary value problems.
e boundedness and almost periodicity in time for certain classes of evolution variational inequalities, positive boundary value problems for symmetric hyperbolic systems, and nonlinear Schrödinger equations have been investigated in the third and fourth section of the important research monograph [170] by Pankov (for almost periodic properties of Schrödinger equations and Schrödinger-type operators, see the reference list of [5]). Spatially, Besicovitch almost periodic solutions for certain classes of nonlinear secondorder elliptic equations, first-order hyperbolic systems, single higher-order hyperbolic equations, and nonlinear Schrödinger equations have been investigated in the fifth section of this monograph. For more details about the applications of Stepanov multidimensional almost periodic functions and Weyl multidimensional almost periodic functions, as well as to some interplays between the multidimensional almost periodic functions, calculus of variations, and homogenization theory, we refer the reader to notes and appendices to the third section of [5].
It is worth mentioning that Spradlin constructed, in [192], an almost periodic infinitely differentiable function G: R n ⟶ R with no local minimum (it can be simply shown that this situation cannot occur in the one-dimensional case because any almost periodic function g: R ⟶ R must have infinitely many local minima); this important peculiarity of almost periodic functions of several real variables was perceived twenty five years ago. e construction of an almost periodic function G: R n ⟶ R with no local minimum, established in [192], is very complicated, and the proof of the main result of this paper ( [192], eorem 1.0) contains almost eight pages including some preliminaries. It can be easily proved, by observing that the function G(x, y) is strictly positive, that the function (x, y) ⟼ H(x, y) ≡ x 0 G(t, y)dt is bounded and not almost periodic in the plane. As already mentioned, the existence of a complex-valued almost periodic function H(x, y) with these properties was clarified by Basit (1971) with very obscure evidence, not including the smoothness of G(x, y) or its nonnegativity.
At the end of paper [192], Spradlin proposed the following questions: (1) e almost periodic function F: R 2 ⟶ R constructed in the proof of [192], eorem 1.0, has an absolute maximum at the point (0, 0). Does there exist an almost periodic function F: R n ⟶ R with no local minimum or maximum? (2) Does there exist a real analytic almost periodic function F: R n ⟶ R with no local minimum or maximum? (3) Is it true that a continuously differentiable almost periodic function F: R n ⟶ R has a critical point? (4) Does there exist a quasi-periodic function F: R n ⟶ R with no local minimum (local minimum or maximum)?
To the best of authors' knowledge, all these questions are still open. Concerning open problems, we also want to remind our readers of article [197] by Basit. Now, we would like to say something more about the following intriguing topics.
Multivariate trigonometric polynomials and approximations of periodic functions of several real variables: without any doubt, trigonometric polynomials of several real variables, sometimes also called multivariate trigonometric polynomials, present the best-explored class of almost periodic functions of several real variables. Multivariate trigonometric polynomials have an invaluable importance in the theory of approximations of periodic functions of several real variables, especially in the two-dimensional case. For the basic source of information about this subject, the reader may consult research monographs [198] by Dumitrescu, [199] by Dung,Temlyakov,and Ullrich,and [200,201] by Temlyakov, research article [202] by Temlyakov, and the list of references quoted in [5].
In this part, we will briefly explain the main results and ideas of papers [203] by Babayev, [204] by Pfister and Bresler,and [205] by Kämmerer, Potts, and Volkmer. If f: R ⟶ R belongs to the space C 2π of all real continuous functions of period 2π, then it is well known that the Vallee Poussin singular integral V k (·), defined by has the property that lim k⟶+∞ V k (x) � f(x), uniformly for x ∈ R. is result of Vallee Poussin improves the classical Weierstrass second theorem on the density of trigonometric polynomials in the spaces of continuous functions. Twodimensional Vallee Poussin singular integral V k,m (·), defined for each x ∈ R by (k, m ∈ N), has been introduced in [203], Definition 2. In the same paper, the author showed that lim k⟶+∞ lim m⟶+∞ V k,m (x, y) � f(x, y), uniformly for (x, y) ∈ R 2 , as well as that V k,m (x, y) is a trigonometric polynomial in variables x and y, for all k, m ∈ N (see [203], eorem 2). For proving the last fact, the author used a lemma clarifying that the product of two trigonometric polynomials of two variables is also the trigonometric polynomial of two variables whose order equals the sum of order of cofactors as well as that any even trigonometric polynomial T(x, y), i.e., a trigonometric polynomial T(x, y) which satisfies that T(− x, − y) � T(x, y), T(− x, y) � T(x, y), and T(x, − y) � T(x; y) identically for (x, y) ∈ R 2 , may be represented in the form n l�1 a kl cos kx cos ly + b kl cos kx + c kl cos ly , which does not contain the sines of multiple arcs (see [203], Lemmas 3 and 4). We would like to note that the obtained results continue to hold in the vector-valued case.
In [205], the authors investigated certain algorithms for the approximation of multivariate periodic functions by trigonometric polynomials, which are based on the use of a single one-dimensional fast Fourier transform and the socalled method of sampling of multivariate functions on rank-1 lattices. In their analysis, the authors used periodic Sobolev spaces of generalized mixed smoothness and 14 Journal of Mathematics presented some advantages of their method compared to the method based on the trigonometric interpolations on generalized sparse grids. Some numerical results and tests are presented up to dimension n � 10, as well. Almost periodic pseudo-differential operators and Gevrey classes: almost periodic pseudo-differential operators have been analyzed by numerous mathematicians including Coburn, Moyer, and Singer [206], Dedik [207], Iannacci, Bersani, Dell'Acqua, and Santucci [208], Pankov [209], Shubin [210][211][212][213], and Wahlberg [214]. In this part, we will present the main ideas and results of research study [215] by Oliaro, Rodino, and Wahlberg, only. It is well known that Shubin proved that almost periodic pseudodifferential operators act continuously on the space of smooth almost periodic functions as well as that the operator norm on L 2 equals that on the Hilbert space B 2 (R n ) of Besicovitch almost periodic functions whose Fourier coefficients are square summable. It is also well known that Shubin introduced, for every exponent p ∈ [1, ∞] and for every real number t ∈ R, the space W p t (R n ) of almost periodic functions and proved the continuity of any almost periodic pseudo-differential operator A: W 2 t (R n ) ⟶ W 2 t− m (R n ), with arbitrary t ∈ R, provided that the symbol of A belongs to the class S m ρ,δ (0 ≤ δ < ρ ≤ 1). In the papers of Shubin, some regularity results for formally hypoelliptic almost periodic pseudo-differential operators have been examined on the space W 2 − ∞ (R n ) ≔ ∪ t∈R W 2 t (R n ). In [215], the authors sought for ultradistributional analogues of the aforementioned results, working with almost periodic functions that are Gevrey regular of order s ≥ 1 (the difference between the real analytic case s � 1 and the pure ultradistributional case s > 1 should be emphasized here). If ∅ ≠ Ω ⊆ R n , then the space of all Gevrey functions of order s ≥ 1, denoted by G s (Ω), is defined as a collection of all infinitely differentiable functions F: R n ⟶ C such that, for each compact set K ⊆ R n , there exists a finite real constant C K > 0 such that |D α F(t)| ≤ C 1+|α| K α! s for all t ∈ K and α ∈ N n 0 . It is natural to ask whether an almost periodic function F: R n ⟶ C which belongs to the space G s (Ω) obeys the property of the existence of a global real constant C > 0 such that |D α F(t)| ≤ C 1+|α| α! s for all t ∈ R n and α ∈ N n 0 . An instructive counterexample in the one-dimensional setting, with s > 1, is given in [215], Example 2.1, showing that this is not true in general: set g s (x) ≔ exp(− x (1/(1− s)) ), x > 0, g s (x) ≔ 0, x ≤ 0, ψ s (x) ≔ g s (x)g s (1 − x), x ∈ R, ψ s,n (x) ≔ ψ s (nx), x ∈ R, and φ s,n (x) ≔ k∈Z ψ s (x − 2 n (2k + 1)), x ∈ R (n ∈ N). It has been shown that the function is well defined, as well as that the above series is uniformly convergent in the variable x ∈ R, so that the function F s (·) is actually semiperiodic since the function φ s,n (·) is of period 2 n+1 (n ∈ N). We also have that F s ∈ G s (R) as well as that F s ∉ G s ap (R); see the notion explained in the following. Albeit not explicitly constructed in [215], it is our strong belief that this example can be transferred to the multidimensional setting without any serious difficulties, as well (more to the point, the case s � 1 has not been considered in [215], Example 2.1, and deserves further analyses).
After providing this counterexample, the authors paid special attention to the analysis of almost periodic functions F: R n ⟶ C belonging to the space G s (R n ) and obeying the property that there exists a real constant C > 0 such that |D α F(t)| ≤ C 1+|α| α! s for all t ∈ R n and α ∈ N n 0 . e union of these functions, denoted by G s ap (R n ), is equipped with the usual inductive limit topology as a union of Banach spaces. en, the authors introduced the corresponding classes of symbols and pseudo-differential operators and continued their nontrivial analysis; see [215] for more details.
e theory of almost periodic-type functions is far from being completed, and finally, we would like to mention some topics that are not very well explored in the existing literature by now: (1) Almost anything has been said about the almost periodic properties and the almost automorphic properties of various types of fractional integrals and fractional derivatives of vector-valued periodic functions (see Area, Losada, and Nieto [216] and Jonnalagadda [217]). (2) e notion of c-periodicity and the notion of c-almost periodicity require several further investigations within the theory of vector-valued generalized functions [218].  (11) and (12) can be simply transferred to the multidimensional setting. It is not clear how we can apply these results in mathematical physics and applied science.

Conclusions
In this survey article, we have collected several known results about vector-valued almost periodic functions, separately considering the almost periodic functions of one real variable and the almost periodic functions of several real variables. We have tried to present the most representative applications of almost periodic functions to the abstract Volterra integrodifferential equations in Banach spaces as well as to remind our readers of some landmarks, pioneering investigations of almost periodic functions. We have proposed some open problems and perspectives for further investigations of almost periodicity.

Data Availability
e data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest
e authors declare that there are no conflicts of interest regarding the publication of this paper.