Arxiv:2012.00543V1 [Math.FA] 27 Nov 2020 Eidctp Ucin,Bohr Functions, Type Periodic Otraitgodﬀrnilequations

Home , Vladikavkaz

arXiv:2012.00543v1 [math.FA] 27 Nov 2020 eidctp ucin,Bohr functions, type periodic otraitgodffrnilequations. integro-differential Volterra n ehooia eeomn,Rpbi fSri.Manuel Serbia. of 1170466. Republic Fondecyt Development, Technological and .(R 2. preliminaries and Introduction 1. functions .Appendix 4. integro-diffe Volterra abstract the to applications and Examples 3. products lution References variables real several of functions UT-IESOA LOTPROI YEFUNCTIONS TYPE PERIODIC ALMOST MULTI-DIMENSIONAL ak ot´ sprilyspotdb rn 451-03-68/20 grant by supported partially Kostić is Marko 2010 e od n phrases. and words Key ..Dffrnito n nerto f(R of integration and Differentiation 2.3. ..Ams eidctp ucin on Applications functions 1.2. type periodic Almost 1.1. 2.2. ..Strongly 2.1. ..Cmoiinterm o (R for theorems Composition 2.4. 4.1. ..Apiaint oatnmu eaddfntoa vlto e evolution functional retarded nonautonomous to Application 3.1. ..Ivrac f(R of Invariance 2.5. ..Mliait rgnmti oyoil n prxmtoso per of approximations and polynomials trigonometric Multivariate 4.2. X , ahmtc ujc Classification. Subject Mathematics Abstract. dctp ucin n ut-iesoa Bohr multi-dimensional and functions type odic ieeta qain nBnc pcsaepoie,a wel as provided, are spaces est Banach abs are the in to functions equations results differential theoretical periodic abstract almost our composit of of and applications classes characterizations introduced structural the main The tions. B D n -ut-lotproi yefntosadBohr and functions type periodic )-Multi-almost Prmtrsrnl otnossemigroups continuous strongly -Parameter aypoial (R -asymptotically .CH A. B nti ae,w nlz ut-iesoa (R multi-dimensional analyze we paper, this In ams eidcfunctions periodic -almost VZ .KAI,M KOSTI M. KHALIL, K. AVEZ, ´ (R , B B ams eidctp ucin,cmoiinprinciples, composition functions, type periodic -almost N APPLICATIONS AND , -ut-lotproiiyudrteatoso convo- of actions the under periodicity )-multi-almost B X -ut-lotproi yefntos (R functions, type periodic )-Multi-almost , B -ut-lotproi yefunctions type periodic )-multi-almost Contents , 27,4A0 47D99. 43A60, 42A75, B 1 -ut-lotproi yefunctions type periodic )-multi-almost R X n , B ,ADM PINTO M. AND C, ´ -ut-lotproi functions periodic )-multi-almost B ams eidctp func- type periodic -almost 01/016o iityo Science of Ministry of 20/14/200156 it sprilyspotdby supported partially is Pinto rc otraintegro- Volterra tract X l. bihd Several ablished. B o rnilsfor principles ion , ams eidctype periodic -almost B -lotperi- )-almost eta equations rential X , B )-multi-almost quations abstract iodic 2 A.CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

1. Introduction and preliminaries The notion of almost periodicity was introduced by the Danish mathematician H. Bohr around 1924-1926 and later generalized by many other authors (for further information regarding almost periodic functions, we refer the reader to the research monographs [15], [39], [45], [48], [69]-[70], [75]-[76] and [120]). Let I be either R or [0, ), and let f : I X be a given continuous function, where X is a complex Banach∞ space equipped→ with the norm . Given ε> 0, we call τ > 0 a ε-period for f( ) if and only if f(t + τ) f(t) k·kε, t I. The set consisting of all ε-periods for f(·) is denoted bykϑ(f,ε). The− functionk≤ f∈( ) is said to be 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 intersects ϑ(f,ε). The collection of all almost periodic functions will∞ be denoted by AP (I : X). The notion of an almost periodic function f : G E, where G is a topological group and E is a complete locally convex space, was→ introduced in the landmark paper [18] by S. Bochner and J. von Neumann (1935); see also the paper [88] by J. von Neumann (1934) for the scalar-valued case E = C. Almost periodic functions on (semi-)topological (semi-)groups have been also analyzed in the research monographs [13] by J. F. Berglund, K. H. Hofmann, [14] by J. F. Berglund, H. D. Junghenn, P. Milnes, [21] by R. B. Burckel, [75] by B. M. Levitan and [89] by A. A. Pankov, the doctoral dissertation of X. Zhu [124], the survey article [106] by A. I. Shtern as well as the articles [2], [37]-[38], [47], [63] and [83]-[86]; for more details about almost automorphic functions on (semi-)topological groups, the reader may consult [82], [95] and the list of references given in our recent research paper [28], where we analyze (RX , )-multi-almost automorphic type functions and related applications. Working withB general almost periodic functions on topological groups is rather non-trivial and, clearly, it is very difficult to provide certain applications to the abstract PDEs following this general approach. Because of that, we have decided to concretize many things here by considering various notions of almost periodicity for the vector-valued functions defined on the domain of form I X, where = I Rn generally does not satisfy the semigroup property I + I ×I or contain∅ the 6 zero⊆ vector. Actually, the main aim of this paper is to introduce⊆ and systematically analyze various classes of (asymptotically) (RX , )-multi-almost periodic type functions and (asymptotically) Bohr -almost periodicB type functions as well as to provide several important applicationsB to the abstract PDEs in Ba- nach spaces. With the exception of the usual notion of Bohr almost periodicity, the introduced notion is new even in the one-dimensional setting. We feel it is our duty to say that the theory of almost periodic functions of several real variables has not attracted so much attention of the authors compared with the theory of almost periodic functions of one real variable by now. In support of our investigation of the multi-dimensional almost periodicity, we would like to present the following illustrative example: Example 1.1. Suppose that a closed linear operator A generates a strongly continuous semigroup (T (t))t 0 on a Banach space X whose elements are certain complex- valued functions defined≥ on Rn. Then it is well known that, under some assumptions, the function t (1.1) u(t, x)= T (t)u (x)+ [T (t s)f(s)](x) ds, t 0, x Rn 0 − ≥ ∈ Z0 MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 3 is a unique classical solution of the abstract Cauchy problem u (t, x)= Au(t, x)+ F (t, x), t 0, x Rn; u(0, x)= u (x), t ≥ ∈ 0 where F (t, x) := [f(t)](x),t 0, x Rn. In many concrete situations (for example, this holds for the Gaussian semigroup≥ ∈ on Rn; see [6, Example 3.7.6] and the point [1.] of applications given in Section 3), there exists a kernel (t,y) E(t,y),t> 0, y Rn which is integrable on any set [0,T ] Rn (T > 0) and satisfies7→ that ∈ × [T (t)f(s)](x)= F (s, x y)E(t,y) dy, t> 0, s 0, x Rn. Rn − ≥ ∈ Z If this is the case, let us fix a positive real number t0 > 0. Concerning the inhomogeneous part in the equation (1.1), we would like to note that the almost periodic t0 Rn behaviour of function x ut0 (x) 0 [T (t0 s)f(s)](x) ds, x depends on the almost periodic behaviour7→ of function≡ F (t,− x) in the space variable∈ x. The most R intriguing case is that in which the function F (t, x) is Bohr almost periodic with respect to the variable x Rn, uniformly in the variable t on compact subsets of ∈ [0, ); see Subsection 1.1 below for the notion. Then the function ut0 ( ) is likewise Bohr∞ almost periodic, which follows from the estimate ·

ut0 (x + τ) ut0 (x) F (s, x + τ y) F (s, x y) E t0,y dy ds − ≤ 0 Rn | − − − | · Z Z t0

ǫ E t0,y dy ds ≤ Rn Z0 Z and corresponding deﬁnitions.

Notation and terminology. We assume henceforth that (X, ), (Y, Y ) n k·k k·k and (Z, Z ) are complex Banach spaces, n N, = I R , is a non-empty collectionk·k of non-empty subsets of X, R is a non-empty∈ ∅ 6 collection⊆ B of sequences in Rn and R is a non-empty collection of sequences in Rn X; usually, denotes X × B the collection of all bounded subsets of X or all compact subsets of X. Set X := y X : ( B ) y B . Although it may seem a slightly redundant (seeB e.g. Theorem{ ∈ 2.17,∃ which∈ B holds∈ } without imposing this condition), we will always assume henceforth that X = X, i.e., that for each x X there exists B such that x B. By L(X,B Y ) we denote the Banach algebra∈ of all bounded linear∈ B operators from∈ X into Y ; L(X,X) L(X). If A : D(A) X X is a closed linear operator, then its range and spectrum≡ will be denoted⊆ respectively7→ by R(A) and σ(A). By B◦ and ∂B we denote the interior and the boundary of a subset B of a topological space X, respectively. The symbol C(I : X) stands for the space of all X-valued continuous functions deﬁned on the domain I. By Cb(I : X) (respectively, BUC(I : X)) we denote the subspace of C(I : X) consisting of all bounded (respectively, all bounded uniformly continuous functions). Both Cb(I : X) and BUC(I : X) are Banach spaces with the sup-norm. This also holds for the space C0(I : X) consisting of all continuous functions f : I X such that lim t + f(t)=0. Let su recall that a continuous function f : I →X, where I is either| |→R or∞ [0, ), is said to be asymptotically almost → ∞ periodic if and only if there exist functions g AP (I : X) and φ C0(I : X) such that f = g + φ (the notion of asymptotical∈ almost periodicity∈ for a continuous function f : R X can be introduced in some other, not equivalent, ways; see [69]-[70] for more→ details). 4 A.CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

n The Euler Gamma function is denoted by Γ( ). If t0 R and ǫ > 0, then we n · ∈ n set B(t0,ǫ) := t R : t t0 ǫ , where denotes the Euclidean norm in R . Set N := 1, { ,n∈ and| ∆− :=|≤(t,} t, ,t) | · |Rn : t R (n N). n { ··· } n { ··· ∈ ∈ } ∈ Now we are ready to briefly explain the organization and main ideas of this paper. In Subsection 1.1, we recall the basic facts and definitions about vector- valued almost periodic functions of several real variables; in Subsection 1.2, we recall some applications of vector-valued almost periodic functions of several real variables made so far. Definition 2.1 and Definition 2.2 introduce the notion of (R, )-multi-almost periodicity and the notion of (RX, )-multi-almost periodicity forB a continuous function F : I X Y, respectively.B The convolution invari- × → ance of space consisting of all (RX, )-multi-almost periodic functions is stated in Proposition 2.5, while the supremumB formula for the class of (R, )-multi-almost periodic functions is stated in Proposition 2.6. B The notion of Bohr -almost periodicity and the notion of -uniform recurrence for a continuous functionB F : I X Y are introduced in DefinitionB 2.9, provided that the region I satisfies the semigroup× → property I + I I. Numerous illustrative examples of Bohr -almost periodic functions and -uniformly⊆ recurrent functions are presented in ExampleB 2.12 and Example 2.13. InB Definition 2.14, we introduce the notion of Bohr ( , I′)-almost periodicity and ( , I′)-uniform recurrence, pro- B n B vided that = I′ I R , F : I X Y is a continuous function and I +I′ I. ∅ 6 ⊆ ⊆ × → ⊆ After that, we provide several examples of Bohr ( , I′)-almost periodic functions B and ( , I′)-uniformly recurrent functions in Example 2.15. The relative compactness ofB range F (I B) for a Bohr -almost periodic function F : I X Y, where B , is analyzed× in PropositionB 2.16. The Bochner criterion× for→ Bohr -almost periodic∈ B functions is stated in Theorem 2.17. Proposition 2.18 is crucial Bfor clarifying the composition principles of Bohr -almost periodic functions; in this proposition, we investigate the common ǫ-periodsB (see Definition 2.9(i)) for the finite families of Bohr -almost periodic functions defined on Rn X (see also Proposition 2.19 and PropositionB 2.20, where we analyze the pointwise× products of Bohr -almost periodic functions and (R, )-multi-almost periodic functions with scalar-valuedB functions). The uniform continuityB of Bohr -almost periodic functions is investigated in Proposition 2.21, while the class of strongB ly -almost periodic functions is investigated in Subsection 2.1. The analysis carriedB out in Proposition 2.21 indicates that there exist many concrete situations in which it is very unpleasant to work with a general region I = Rn. 6 Definition 2.25 introduces the notion of space C0,D(I X : Y ), which is crucial for introducing the notions of various types of D-asymptotically× (R, )-multi-almost periodicity and D-asymptotically Bohr -almost periodicity; seeB Definition 2.26 and Proposition 2.27-Proposition 2.31. DefinitionB 2.32 introduces the notion of D- asymptotical Bohr ( , I′)-almost periodicity of type 1 and D-asymptotical ( , I′)- uniform recurrence ofB type 1, which are further analyzed in several results precedingB Subsection 2.3, where we investigate the differentiation and integration of (RX , )- multi-almost periodic type functions. Our main results in this part are TheoremB 2.34 and Theorem 2.39. Concerning the proof of Theorem 2.34, we would like to emphasize that H. Bart and S. Goldberg have proved in [10] that, for every function f AP ([0, ): X), there exists a unique almost periodic function Ef : R X such∈ that Ef(∞t)= f(t) for all t 0 (see also the paper [44] by S. Favarov→ and O. Udodova, where the ≥ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 5 authors have investigated the extensions of almost periodic functions defined on Rn to the tube domains in Cn, and the paper [12] by J. F. Berglund, where the author has investigated the extensions of almost periodic functions in topological groups and semigroups). We will investigate the extensions of multi-dimensional almost periodic functions and multi-dimensional uniformly recurrent functions in Remark 2.35, Theorem 2.36 and Corollary 2.37 following the method proposed in the proof of Theorem 2.34, which is essentially based on the use of argumentation contained in the proof of the important theoretical result [99, Theorem 3.4], established by W. M. Ruess and W. H. Summers. Subsection 2.4 investigates the composition theorems for multi-almost periodic type functions. The third section of paper is reserved for the applications of our abstract theoretical results to the various classes of abstract Volterra integro-differential equations in Banach spaces (Subsection 3.1 investigates some applications to the nonautonomous retarded functional evolution equations), while the final section of paper is reserved for some appendicies and notes about multiparameter strongly continuous semigroups, multivariate trigonometric polynomials and their applications (the appendix section as well as Subsection 1.1 and Subsection 1.2 do not contain any original result of ours; their aim is to motivate the reader for further investigations of multi-dimensional almost periodicity and related applications).

1.1. Almost periodic type functions on Rn. The notion of almost periodicity can be simply generalized to the case in which I = Rn. Suppose that F : Rn X is a continuous function. Then we say that F ( ) is almost periodic if and only→ if for · n each ǫ > 0 there exists l > 0 such that for each t0 R there exists τ B(t0,l) such that ∈ ∈ (1.2) F (t + τ) F (t) ǫ, t Rn. − ≤ ∈ Rn This is equivalent to saying that for any sequence (bn) in there exists a subse- n quence (an)of(bn) such that (F ( +an)) converges in Cb(R : X). Any trigonometric polynomial in Rn 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 Rn which converges uniformly to F ( ); let us recall that a trigonometric polynomial in n · i λ,t n n R is any linear combination of functions like t e h i, t R , where λ R and , denotes the inner product in Rn. Using7→ the above clariﬁcations,∈ we∈ can simplyh· ·i prove that a continuous function F : Rn X is almost periodic if and only if any of the following equivalent conditions hold:→

(i) For every j Nn and ǫ > 0, there exists a ﬁnite real number l > 0 such that every interval∈ I R of length l contains a point τ I such that ⊆ j ∈ (1.3) F t ,t , ,t + τ , ,t F t ,t , ,t , ,t ǫ, t = t , ,t Rn; 1 2 ··· j j ··· n − 1 2 ··· j ··· n ≤ 1 ··· n ∈

(ii) For every ǫ> 0, there exists a ﬁnite real number l> 0 such that, for every j Nn and every interval I R of length l, there exists a point τj I such that∈ (1.3) holds; ⊆ ∈ (iii) For every ǫ > 0, there exists a ﬁnite real number l > 0 such that every interval I R of length l contains a point τ I such that, for every j N , (1.3)⊆ holds with the number τ replaced by∈ the number τ therein. ∈ n j 6 A.CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Furthermore, for any almost periodic function F ( ), we have that for each ǫ > 0 there exists l > 0 such that for each t (t, t, · ,t) Rn : t R there exists 0 ∈ { ··· ∈ ∈ } τ B(t0,l) ∆n such that (1.2) holds (see Subsection 2.1 for more details). Any almost∈ periodic∩ function F ( ) is bounded, the mean value · 1 M(F ) := lim F (t) dt T + (2T )n → ∞ Zs+KT n n exists and it does not depend on s R ; here, KT := t = (t1,t2, ,tn) R : t T for 1 i n . The Bohr-Fourier∈ coefficient F { X is defined··· by ∈ | i|≤ ≤ ≤ } λ ∈ i λ, n F := M e− h ·iF ( ) , λ R . λ · ∈ The Bohr spectrum of F ( ), defined by · σ(F ) := λ Rn : F =0 , ∈ λ 6 n n is at most a countable set. By AP (R : X) and APΛ(R : X) we denote respectively the Banach space consisting of all almost periodic functions F : Rn X, equipped with the sup-norm, and its subspace consisting of all almost periodic→ functions F : Rn X such that σ(F ) Λ. The Wiener algebra AP W (Rn : X) is defined as the set of→ all functions F : Rn⊆ X such that its Fourier series converges absolutely; AP W (Rn : X) AP W (Rn :→X) AP (Rn : X). It is well known that the Wiener Λ ≡ ∩ Λ algebra is a Banach algebra with respect to the Wiener norm F := λ Rn Fλ , F AP W (Rn : X) as well as that AP W (Rn : X) is dense in APk (kRn : X)∈. | | ∈Now we will remind the readers of several important investigationsP of multi- dimensional 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 L. Rodman, I. M. Spitkovsky and H. J. Woerdeman in [97], where the authors proved a generalization of the famous Sarason’s theorem [101]. In their analysis, the notion of a halfspace in Rn plays an important role: a non-empty subset S Rn is said to be a halfspace if and only if the following four conditions hold: ⊆ (i) Rn = S ( S); (ii) 0 = S∪ (− S); (iii) {S +} S ∩S; − (iv) α S ⊆S for α 0. · ⊆ ≥ For any halfspace S we can always find a linear bijective mapping D : Rn Rn → such that S = DEn, where En is a very special halfspace defined on [96, p. 3190]. In [96, Theorem 1.3], L. Rodman and I. M. Spitkovsky have proved that, if S is a n n halfspace and Λ S, 0 Λ and Λ+Λ Λ, then APΛ(R : C) and AP WΛ(R : C) are Hermitian rings.⊆ See∈ also the article⊆ [98]. 2. Let us recall that a subset Λ of Rn is called discrete if and only if any point λ Λ is isolated in Λ. By Λ we denote the vector space of all finite complex- ∈ V πiλ valued trigonometric polynomials λ Λ c(λ)e− · whose frequencies λ belong to ∈ Λ. The space of mean-periodic functions with the spectrum Λ, denoted by Λ, P n C is defined as the closure of the space Λ in the Fréchet space C(R ). Clearly, n V APΛ(R : C) is contained in Λ but the converse statement is not true, in general. The problem of describing structureC of closed discrete sets Λ for which the equality AP (Rn : C) = holds was proposed by J.-P. Kahane in 1957 ([61]). For more Λ CΛ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 7 details about this interesting problem, we refer the reader to the survey article [81] by Y. Meyer. 3. In 1971, B. Basit [11] proved that there exists a complex-valued almost periodic function f : R2 C such that the function F : R2 C, defined by x → R2 → F (x, y) := 0 f(t,y) dt, (x, y) , is bounded but not almost periodic. This result was recently reconsidered by∈ S. M. A. Alsulami in [4, Theorem 2.2], who proved that for a complex-valuedR almost periodic function f : R2 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 : R2 C such that → fx(x, y) = gy(x, y) is a continuous function in the whole plane. This result was proved with the help of an old result of L. H. Loomis [78] which states that, for a bounded complex-valued function f : Rn C, the almost periodicity of all its partial derivatives of the first order implies the→ almost periodicity of f( ) itself. Our first original observation is that the above-mentioned result of S. M.· A. Alsulami can be straightforwardly extended, with the same proof, to the almost periodic functions f : Rn C; in actual fact, if the function f : Rn C is almost peri- → x1 → Rn odic, the function F (x1, x2, , xn) := 0 f(t, x2, , xn) dt, (x1, x2, , xn) ··· ··· n ··· ∈ is bounded and there exist almost periodic functions Gi : R C such that R → Rn Fxi (x1, x2, , xn) = (Gi)x1 (x1, x2, , xn) is a continuous function on , for 2 i n, then··· the function F : Rn ···C is almost periodic. ≤4.≤ In [67]-[68], Yu. Kh. Khasanov→ has investigated the approximations of uniformly almost periodic functions of two variables by partial sums of Fourier sums and Marcinkiewicz sums in the uniform metric, provided certain conditions. For previous works about summability of double Fourier series, we also refer the reader to the papers [80] by I. Marcinkewisz and [123] by L. V. Zhizhiashvily. 5. In [73]-[74], M. A. Latif and M. I. Bhatti have investigated several impror- tant questions concerning almost periodic functions defined on Rn with values in locally convex spaces and fuzzy number type spaces, while almost periodic functions defined on Rn with values in p-Fréchet spaces, where 0

3. In his doctoral dissertation [3], S. M. A. Alsulami has considered the question whether the boundedness of solutions of the following system of partial first-order differential equations (1.4) u (s,t)= Au(s,t)+ f (s,t), u (s,t)= Bu(s,t)+ f (s,t); (s,t) R2 s 1 t 2 ∈ implies the almost periodicity of solutions to (1.4). He has analyzed this question in the finite-dimensional setting and the infinite-dimensional setting, by using two different techniques; in both cases, A and B are bounded linear operators acting on the pivot space X. 4. In [108]-[110], G. Spradlin has provided several interesting results and applications regarding almost periodic functions of several real variables. For any positive integer n 2, he has constructed an almost periodic infinitely differentiable almost periodic function≥ F : Rn R with no local mimimum (it can be simply shown that this situation cannot occur→ in the one-dimensional case because any almost periodic function f : R R must have infinitely many local minima; see also the list of open problems proposed→ on p. 381 of [108]). The existence of positive homoclinic-type solutions of the equation ∆u + u = H(t)f(u), − where H( ) is almost periodic and the first antiderivative of f( ) satisfies certain su- perquadraticity· and critical growth conditions, has been analyzed· in [110, Theorem 1.2]. The equations of type (1.5) ǫ2∆u + H(t)u = f(u), − arise in the study of the nonlinear Schrödinger equations (ǫ > 0). A qualitative analysis of solutions of (1.5) has been carried out in [109], provided the almost periodicity of function H( ) and several other assumptions. 5. In the homogenization· theory, numerous research articles investigate the asymptotic behaviour of the solutions of the problem

(1.6) inf f(hx,Du)+ ψx : u( ) Lipschitz continuous and u =0 on ∂Ω , · (ZΩ ZΩ ) where = Ω Rn is an open bounded set, ψ( ) is essentially bounded on Ω, and f : Rn ∅ 6 Rn ⊆[0, ) satisﬁes the usual Carath´eodory· conditions: × → ∞ (1.7) f(x, z) is measurable in x and convex in z,

(1.8) f( ,z) is [0, 1]n periodic for every z Rn, · − ∈ and 0 w(x) z p f(x, z) W (x) 1+ z p for a.e. x Rn and every z Rn; ≤ | | ≤ ≤ | | ∈ ∈ ( 1)/(p 1) 1 n p> 1; w− − , W L (R ). ∈ loc Under some extra assumptions, including the Lipschitz type boundary of Ω, G. de Giorgi has proved in [36] that the values in (1.6) converges to

(1.9) inf f (Du)+ ψx : u( ) Lipschitz continuous and u =0 on ∂Ω , ∞ · (ZΩ ZΩ ) MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 9 where f : Rn [0, ) is a convex function deﬁned by ∞ → ∞

n f (x) := lim s− inf f(x, z + Du): ∞ s n →∞ (Z(0,s)

u( ) Lipschitz continuous and u =0 on ∂ (0,s)n . · ) Condition (1.8) has been replaced with certain almost periodic assumptions in many 1 Rn research articles. In [35], the author has assumed that (1.7) holds, f( ,z) Lloc( ) for every z Rn, z f(x, z) for a.e. x Rn and every z Rn, and· the∈ following almost periodic∈ type| |≤ condition, which needs∈ to be valid for every∈ z Rn : For every ∈ n ǫ> 0, there exists a finite real number Lǫ > 0 such that, for every x0 R , there exists τ x + B(0,L ) such that ∈ ∈ 0 ǫ f(x + τ,z) f(x, z) ǫ(1 + f(x, z)), for a.e. x Rn and every z Rn. | − |≤ ∈ ∈ Then, for every open convex set Ω and for every essentially bounded function ψ( ) on Ω, the values in (1.6) converges to the value in (1.9). · In [57], H. Ishii has analyzed the asymptotic behavior, as the parameter ǫ tends to 0+, of the solution uǫ of the Hamilton-Jacobi equation (1.10) u(x)+ H(x,x/ǫ,Du(x))=0, x Rn, ∈ where ǫ > 0 is a positive real number. This equation describs a sort of distance functions in the space where the Riemannian metric is oscillatory (for more details about the generalized solutions of the Hamilton-Jacobi equations, we refer the reader to the monograph [77] by P. L. Lions). The basic assumption made in [57] is that the Hamiltonian H(x,y,p) is almost periodic with respect to the variable y; since (1.10) does not have classical solutions, the author has considered certain types of viscosity solutions of this equation. Under certain extra assumptions, the author has introduced the notion of effective Hamiltonian H : Rn Rn R, which satisfies the following estimates × → inf H(x,y,p) H(x, y) sup H(x,y,p), x,p Rn, Rn y ≤ ≤ y Rn ∈ ∈ ∈ and proved that the approximate solutions uǫ u locally uniformly as ǫ tends to 0+, where u( ) is a unique bounded, uniformly→ continuous solution of the equation · u(x)+ H(x,Du(x)) =0, x Rn. ∈ For more details about the relationship between almost periodicity and homogenization theory, we also refer the reader to the references cited in the appendix to the third chapter of the forthcoming monograph [70]. 6. The existence and uniqueness of almost periodic solutions for a class of boundary value problems for hyperbolic equations have been investigated by B. I. Ptashnic p and P. I. Shtabalyuk in [94]. In the region Dp = (0,T ) R (T > 0, p N), they have analyzed the well-posedness of following initial value× problem ∈

n ∂2nu(t, x) (1.11) Lu a =0, α 2n 2s α1 αp ≡ ∂t ∂x ∂xp s=0 α =2s − 1 X | X| ··· 10 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

j 1 j 1 ∂ − u ∂ − u (1.12) j 1 = ϕj (x), j 1 = ϕj+n(x) (1 j n). ∂t − ∂t − ≤ ≤ t=0 t=T

The basic assumption employed in [94] is that the equation (1.11) is Petrovsky hyperbolic, i.e., that for each µ = (µ ,µ , ,µ ) Rp all λ-zeroes of the equation 1 2 ··· p ∈ n 2n 2s α1 α2 αp a λ − µ µ µ =0 α 1 2 ··· p s=0 α =2s X | X| q p are real. The basic function space used is the Banach space CB(D ) consisting of all q-times continuously diﬀerentiable functions u(t, x) in Dp that are Bohr almost periodic in variables x , x , , x , uniformly in t [0,T ], equipped with the norm 1 2 ··· p ∈ s ∂| |u(t, x) q u p := sup sup sp ; CB(D ) s0 s1 k k 0 s q (t,x) Dp ∂t ∂x1 ∂xp ≤| |≤ ∈ ··· q Rp q p by CB( ) the authors have designated the subspace of CB (D ) consisting of those functions which do not depend on the variable t. The existence and uniqueness of solutions of the initial value problem (1.11)-(1.12) have been investigated in 2n p r Rp N the space CB (D ), under the assumption that ϕj (x) CB ( ) and r is suﬃciently large. If M = µ : k Zp is the union of∈ spectrum of all functions∈ p { k ∈ } ϕ1(x), , ϕ2n(x), the solutions u(t, x) of problem (1.11)-(1.12) have been found in the form···

i µk ,x u(t, x)= u (t)e h i, µ M , k k ∈ p k Zp X∈ where the functions uk(t) satisfy certain conditions and have the form [94, (8), p. 670]. The uniqueness of solutions of problem (1.11)-(1.12) has been considered in [94, Theorem 1], while the existence of solutions of problem (1.11)-(1.12) has been considered in [94, Theorem 2]. See also the research articles [104]-[105] by P. I. Shtabalyuk. Concerning almost periodic functions of several real variables, we also refer the reader to the research monographs [30] by C. Corduneanu, [45] by A. M. Fink, [89] by A. A. Pankov and [120] by S. Zaidman. The interested reader may also consult the paper [16] by S. Bochner, which concerns the extensions of the Riesz theorem to the analytic functions of several real variables and the almost periodic functions of several real variables.

2. (RX , )-Multi-almost periodic type functions and Bohr -almost B periodic type functions B

The main aim of this section is to analyze (RX , )-multi-almost periodic type functions and Bohr -almost periodic type functions.B Let us recall that denotes a non-empty collectionB of non-empty subsets of X, R denotes a non-emptyB collection n n of sequences in R and RX denotes a non-empty collection of sequences in R X. In the following two deﬁnitions, we introduce the notion of (R, )-multi-almost× B periodicity and one of its most important generalizations, the notion of (RX, )- multi-almost periodicity (the both notions can be introduced on general semitopo-B logical groups): MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 11

Definition 2.1. Suppose that = I Rn, F : I X Y is a continuous function, and the following condition holds:∅ 6 ⊆ × → (2.1) If t I, b R and l N, then we have t + b(l) I. ∈ ∈ ∈ ∈ Then we say that the function F ( ; ) is (R, )-multi-almost periodic if and only if · · B 1 2 n for every B and for every sequence (bk = (bk,bk, ,bk )) R there exist a subsequence∈ (b B = (b1 ,b2 , ,bn )) of (b ) and a function··· F :∈I X Y such kl kl kl kl k ∗ that ··· × → 1 n (2.2) lim F t + (bk , ,bk ); x = F ∗(t; x) l + l ··· l → ∞ uniformly for all x B and t I. By AP(R, )(I X : Y ) we denote the space consisting of all (R, ∈)-multi-almost∈ periodic functions.B × B Definition 2.2. Suppose that = I Rn, F : I X Y is a continuous function, and the following condition holds:∅ 6 ⊆ × → (2.3) If t I, (b; x) R and l N, then we have t + b(l) I. ∈ ∈ X ∈ ∈ Then we say that the function F ( ; ) is (RX, )-multi-almost periodic if and only · · B 1 2 n if for every B and for every sequence ((b; x)k = ((bk,bk, ,bk ); xk)k) RX ∈ B 1 2 n ··· ∈ there exist a subsequence ((b; x)k = ((b ,b , ,b ); xk )k ) of ((b; x)k) and a l kl kl ··· kl l l function F ∗ : I X Y such that × → 1 n (2.4) lim F t + (bk , ,bk ); x + xkl = F ∗(t; x) l + l ··· l → ∞ uniformly for all x B and t I. By AP(RX, )(I X : Y ) we denote the space consisting of all (R ∈, )-multi-almost∈ periodic functions.B × X B In our further investigations of (R, )-multi-almost periodicity ((RX , )-multi- almost periodicity), we will always tactilyB assume that (2.1) ((2.3)) holdsB for I and R (I and RX ). Before we go any further, we would like to provide several useful observations about the notion introduced above: Remark 2.3. (i) The notion introduced in Definition 2.1 is a special case of the notion introduced in Definition 2.2. In order to see this, suppose that the function F : I X Y is continuous. Set × → R := b : N Rn X ; ( a R) b(l) = (a(l); 0) for all l N . X → × ∃ ∈ ∈ Then it is clear that (2.1) holds for I and R if and only if (2.3) holds for I and RX ; furthermore, F ( ; ) is (R, )-multi-almost periodic if and only if (R , )-multi-almost periodic.· · It isB also clear that, if the function F ( ; ) is X B · · (RX, )-multi-almost periodic, then we have F ∗(t; x) R(F ) for all x X and tB I. ∈ ∈ (ii) The domain∈ I from the above two definitions is rather general. For example, if n = 1, I = [0, ), X = 0 , = X and R is the collection of all sequences in [0, ∞), then the{ notion} B of{ (R}, )-multi-almost periodicity is equivalent with∞ the notion of asymptoticalB almost periodicity considered usually since a function f : [0, ) Y is asymptotically almost periodic if and only if the set H(f) := ∞f( →+ s): s 0 is relatively compact in C ([0, ): X), which means that{ · for any sequence≥ } (b ) of non-negative b ∞ n real numbers there exists a subsequence (an) of (bn) such that (f( + an)) converges in C ([0, ): X). Moreover, if I is a cone in Rn, X ·= 0 , b ∞ { } 12 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

= X , Y = C and R is a collection of all sequences in I, then a well knownB { result} of K. deLeeuw and I. Glicksberg [38, Theorem 9.1] says that any (R, )-multi-almost periodic function F : I C can be uniformly approximatedB by linear combinations of semicharacters→ of I, which will be exponential functions in this case. If X = 0 , then we also say that the { } function F : I Y is R-multi-almost periodic, resp. RX-multi-almost periodic. → (iii) It is clear that an R-multi-almost periodic function need not be bounded in general; for example, if R is the collection of all bounded sequences in Rn, then an application of the Bolzano-Weierstrass theorem shows that the identical mapping from Rn into Rn is R-multi-almost periodic. The existence of an unbounded sequence (bk) R does not imply the boundedness of F ( ), as well; for example, any unbounded∈ uniformly recurrent function ·n F : R Y satisfying the estimate (2.11) below with the sequence (τk) in n → R satisfying limk + τk =+ is R-multi-almost periodic with R being → ∞ | | ∞ the collection consisting of the sequence (τk) and all its subsequences. (iv) Suppose 0 I, I +I I, RX denotes the collection of all sequences in I X and = X∈ . Let us⊆ recall that two suﬃcient conditions for a continuous× B { } function F : I X Y to be (RX, )-multi-almost periodic were obtained by P. Milnes in× [83,→ Theorem 2] andB T. Kayano in [63, Theorem 3]; some equivalent conditions for F ( ; ) to be (RX, )-multi-almost periodic can be found in [83, Theorem 1(i)]· and· [63, TheoremB 4(d)].

Let k N and Fi : I X Yi (1 i k). Then we deﬁne the function (F , , F∈): I X Y × →Y by ≤ ≤ 1 ··· k × → 1 ×···× k (F , , F )(t; x) := (F (t; x), , F (t; x)), t I, x X. 1 ··· k 1 ··· k ∈ ∈ Using an induction argument and an elementary argumentation, we may deduce the following:

Proposition 2.4. (i) Suppose that k N, = I Rn, (2.1) holds and for any sequence which belongs to R we have∈ that∅ 6 any⊆ its subsequence also belongs to R. If the function F ( ; ) is (R, )-multi-almost periodic for 1 i k, i · · B ≤ ≤ then the function (F1, , Fk)( ; ) is also (R, )-multi-almost periodic. (ii) Suppose that k N, ···= I R· n· , (2.1) holdsB and for any sequence which ∈ ∅ 6 ⊆ belongs to RX we have that any its subsequence also belongs to RX. If the function Fi( ; ) is (RX, )-multi-almost periodic for 1 i k, then the function (F ·, · , F )( ; )Bis also (R , )-multi-almost periodic.≤ ≤ 1 ··· k · · X B

Concerning the convolution invariance of space consisting of all (RX, )-multi- almost periodic functions, we would like to state the following result: B

Proposition 2.5. Suppose that h L1(Rn), the function F ( ; ) is (R , )-multi- ∈ · · X B almost periodic and for each bounded subset D of X there exists a constant cD > 0 n such that F (t; x) Y cD for all t R , x D. Suppose, further, that for each k k ≤1 2 n ∈ ∈ sequence ((b; x)k = ((bk,bk, ,bk ); xk)k) RX and for each set B we have that B + x : k N is a bounded··· set in X.∈ Then the function ∈ B { k ∈ } (h F )(t; x) := h(σ)F (t σ; x) dσ, t Rn, x X ∗ Rn − ∈ ∈ Z MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 13 is (RX, )-multi-almost periodic and satisfies that for each bounded subset D of X B Rn there exists a constant cD′ > 0 such that (h F )(t; x) Y cD′ for all t , x D. k ∗ k ≤ ∈ ∈ Proof. Since h L1(Rn), the prescribed assumptions imply that the function (h F )( ; ) is well defined∈ as well as that for each bounded subset D of X there exists∗ · · Rn a constant cD′′ > 0 such that (h F )(t; x) Y cD′′ for all t , x D. The continuity of function (h F )( ;k ) follows∗ fromk the≤ dominated convergence∈ ∈ theorem and the same assumption∗ on the· · function F ( ; ). Let the set B be fixed. Then 1 2 n · · ∈B for each sequence ((b; x)k = ((bk,bk, ,bk ); xk)k) RX there exist a subsequence 1 2 n ··· ∈ n ((b; x)k = ((b ,b , ,b ); xk )k ) of ((b; x)k) and a function F ∗ : R X Y l kl kl ··· kl l l × → such that (2.4) holds. By our assumption, B + x : k N is a bounded set in X { k ∈ } so that there exists a finite real constant cB′′′ > 0 such that F ∗(t; x) Y cB′′′ for all t Rn, x B. Keeping this in mind and our standing hypothesisk kX ≤= X, we ∈ ∈ B get that the function (h F ∗)( ; ) is well defined. The remainder of proof can be deduced by using the estimate∗ · ·

(h F )(t + bkl ; x + xkl ) h F ∗)(t; x) ∗ − ∗ Y t b t h(σ) F ( + kl σ; x + xkl ) F ∗( σ; x) dσ, ≤ Rn | | − − − Y Z which holds for any t R n, l N and x X; see Definition 2.2. ∈ ∈ ∈ Keeping in mind the notion introduced and analyzed in [28], almost directly from the above definitions we may conclude the following: RB1. Let I = Rn. If the function F ( ; ) is (R, )-multi-almost periodic, then it is compactly (R, )-multi-almost· periodic· B in the sense of [28, Definition 2.1]. RB2. If X , I = BRn and R is a collection of all sequences in Rn X, then ∈ B X × the notion of (RX, )-multi-almost periodicity is equivalent with the usual notion of almost periodicityB (see e.g., [75, p. 255]). It is also clear that, if the function F : Rn X Y is almost periodic, then it is (R, )-multi- almost periodic, where× R is→ the collection of all sequences b( ) in RBn and is the collection of all subsets of X. · B RB3. Let I = Rn. If the function F ( ; ) is (R , )-multi-almost periodic, then it · · X B is compactly (RX, )-multi-almost periodic in the sense of [28, Definition 2.2], provided thatB for every B , for every x B and for every sequence ∈B ∈ n b2 : N X for which there exist a sequence b : N R X and a sequence → n → × b1 : N R such that b(l) = (b1(l); b2(l)), l N we have x b2(l) B, l N. → ∈ − ∈ ∈ For the notion introduced in Definition 2.1, the supremum formula can be proved under the following conditions; see also [28, Proposition 2.6] for the corresponding statement regarding (R, )-multi-almost automorphy: B Proposition 2.6. Suppose that F : I X Y is (R, )-multi-almost periodic, a 0 and x X. If there exists a sequence× →b( ) in R whoseB any subsequence is unbounded≥ and∈ for which we have T b(l) I whenever· T I and l N, then we have − ∈ ∈ ∈ t t (2.5) sup F ( ; x) Y = sup F ( ; x) Y . t I t I, t a ∈ ∈ | |≥

14 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Proof. We will include all relevant details of the proof for the sake of completeness. Let ǫ> 0, a 0 and x X be given. Then (2.5) will hold if we prove that ≥ ∈ t t (2.6) F ( ; x) Y ǫ + sup F ( ; x) Y . ≤ t I, t a ∈ | |≥ Let B be such that x B, and let b( ) be any sequence in R with the prescribed assumptions.∈B Then there∈ exists an integer· l N such that 0 ∈ 1 n 1 n F T bk , ,bk ; x F T bk , ,bk ; x ǫ, l l0, T I, x B. − l0 ··· l0 − − l ··· l Y ≤ ≥ ∈ ∈ 1 n Plugging t = T bk , ,bk , we simply obtain (2.6). − l0 ··· l0 Now we will prove the following result:

Proposition 2.7. Suppose that for each integer j N the function Fj ( ; ) is (R , )-multi-almost periodic and, for every sequence∈ which belongs to R , any· · its X B X subsequence also belongs to RX. If the sequence (Fj ( ; )) converges uniformly to a function F ( ; ) on X, then the function F ( ; ) is (R · ,· )-multi-almost periodic. · · · · X B Proof. The proof is very similar to the proof of [48, Theorem 2.1.10] but we will provide all relevant details. Let t I and x X be given. In order to prove that the function F ( ; ) is continuous at (∈t; x), observe∈ ﬁrst that our standing assumption · · X = X gives the existence of a set B such that x B. Since the sequence (BF ( ; )) converges uniformly to a function∈ BF ( ; ) on X, we∈ have the existence of a j · · · · positive integer n N such that F (t′; x′) F (t′; x′) ǫ/3 for all t′ I and 0 ∈ k n0 − kY ≤ ∈ x′ X. After that, it suﬃces to observe that ∈ F (t; x) F (t′; x′) F (t′; x′) F (t′; x′) + F (t′; x′) F (t; x) − Y ≤ − n0 Y n0 − n0 Y (2.7)

+ F (t; x) F (t; x) , t′ I, x′ X, n0 − Y ∈ ∈ as well as to employ the continuity of Fn0 ( ; )at(t; x). Further on, let the set B and the sequence ((b ; x ) = ((b1 ,b2, ·,b·n); x )) R be given. Since we have∈B k k k k ··· k k ∈ X assumed that, for every sequence which belongs to RX, any its subsequence also belongs to RX, using the diagonal procedure we get the existence of a subsequence 1 2 n ((bk ; xk ) = ((b ,b , ,b ); xk )) of ((bk; xk)) such that for each integer j N l l kl kl ··· kl l ∈ there exists a function F ∗ : I X Y such that j × → 1 n (2.8) lim Fj t + (bk , ,bk ); x + xkl Fj∗(t; x) =0, l + l ··· l − Y → ∞ uniformly for x B and t I. Fix now a positive real number ǫ> 0. Since ∈ ∈ 1 n Fi∗(t; x) Fj∗(t; x) Fi∗(t; x) Fi(t + (bk , ,bk ); x + xkl ) − Y ≤ − l ··· l Y 1 n 1 n + Fi(t + (bk , ,bk ); x + xkl ) Fj (t + (bk , ,bk ); x + xkl ) l ··· l − l ··· l Y 1 n + Fj (t + (bk , ,bk ); x + xkl ) Fj∗(t; x) , l ··· l − Y N and (2.8) holds, we can ﬁnd a number l0 such that for all integers l l0 we have: ∈ ≥ 1 n Fi∗(t; x) Fi(t + (bk , ,bk ); x + xkl ) − l ··· l Y 1 n + Fj (t + (bk , ,bk ); x + xkl ) Fj∗( t; x) < 2ǫ/3, l ··· l − Y

MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 15 uniformly for x B and t I. Since the sequence (Fj ( ; )) converges uniformly to a function F ( ; ∈) on X, there∈ exists N(ǫ) N such that· · for all integers i, j N with min(i, j)· · N(ǫ) we have ∈ ∈ ≥ 1 n 1 n (2.9) Fi(t + (bk , ,bk ); x + xkl ) Fj (t + (bk , ,bk ); x + xkl ) < ǫ/3, l ··· l − l ··· l Y uniformly for x B and t I. This implies that (F ∗(t; x)) is a Cauchy sequence ∈ ∈ j in Y and therefore convergent to an element F ∗(t; x), say. The above arguments simply yield that limj + Fj∗(t; x) = F ∗(t; x) uniformly for t I and x B. Further on, observe that→ for∞ each j N we have: ∈ ∈ ∈ 1 n F t + (bk , ,bk ); x + xkl F ∗(t; x) l ··· l − Y 1 n 1 n F t + (bk , ,bk ); x + xkl Fj t + (bk , ,bk ); x + xkl ≤ l ··· l − l ··· l Y 1 n + Fj t + (bk , ,bk ); x + xkl Fj∗(t; x) + Fj∗(t; x) F ∗ (t; x) . l ··· l − Y − Y

It can be simply shown that there exists a number j ( ǫ) N such that for all 0 ∈ integers j j0 we have that the ﬁrst addend and the third addend in the above estimate are≥ less or greater than ǫ/3, uniformly for x B and t I. For the second addend, take any integer l N such that ∈ ∈ ∈ 1 n Fj t + (bk , ,bk ); x + xkl Fj∗(t; x) < ǫ/3, x B, t I. l ··· l − Y ∈ ∈

This completes the proof in a routine manner.

We can similarly deduce the following:

Proposition 2.8. Suppose that for each integer j N the function Fj ( ; ) is (R, )-multi-almost periodic and, for every sequence∈ which belongs to R, any· · its subsequenceB also belongs to R. If for each B there exists ǫ > 0 such that ∈ B B the sequence (F ( ; )) converges uniformly to a function F ( ; ) on the set B◦ j · · · · ∪ x ∂B B(x, ǫB ), then the function F ( ; ) is (R, )-multi-almost periodic. ∈ · · B Proof.S The proof is almost completely the same as the proof of the previous proposition and we will only emphasize the main differences. The first difference is with regards to the continuity of function F ( ; ) at (t; x), where t I and x X are given in advance. As above, we have the· existence· of a set B ∈ such that∈x B. ∈B ∈ Since the sequence (Fj ( ; )) converges uniformly to a function F ( ; ) on the set · · · · N B′ B◦ x ∂B B(x, ǫB ), we have the existence of a positive integer n0 such ≡ ∪ ∈ ∈ that Fn (t′; x′) F (t′; x′) Y ǫ/3 for all t′ I and x′ B′. After that, it suffices k 0 S − k ≤ ∈ ∈ to apply (2.7) and the continuity of Fn0 ( ; ) at (t; x) (it should be noted that this part can be applied for proving the continuity· · of function F ( ; ) at (t; x) in the previous proposition under this weaker condition). The second· · difference is with regards to the uniform continuity in the equation (2.9); in Proposition 2.7, it is necessary to assume that the sequence (Fj ( ; )) converges uniformly to a function F ( ; ) on the whole space X. In the newly· arisen· situation, it suffices to assume · · that the sequence (Fj ( ; )) converges uniformly to a function F ( ; ) on the set B, only. · · · ·

The following special cases will be very important for us in the sequel: 16 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

n n L1. R = b : N R ; for all j N we have bj (a, a, a, ,a) R : a R . {If n =→ 2 and denotes∈ the collection of∈ { all bounded··· subsets∈ of X,∈ then}} we also say thatB the function F ( ; ) is bi-almost periodic. The notion of bi-almost periodicity· · plays an incredible role in the research study [72] by H. C. Koyuncuoˇglu and M. Adıvar, where the authors have analyzed the existence of almost periodic solutions for a class of discrete Volterra systems and the research study [93] by M. Pinto and C. Vi- dal, where the authors have used the notion of integrable bi-almost-periodic Green functions of linear homogeneous differential equations and the Ba- nach contraction principle to show the existence of almost and pseudo- almost periodic mild solutions for a class of the abstract differential equations with constant delay (see also the research article [26], where A. Chávez, S. Castillo and M. Pinto have used the notion of bi-almost automorphy in their investigation of almost automorphic solutions of abstract differential equations with piecewise constant arguments). The notion of k-bi-almost periodicity was introduced by M. Pinto in [92] and further analyzed in [32, Section 4], where the authors have analyzed the existence and uniqueness of weighted pseudo almost periodic solutions for a class of abstract integro- differential equations. n L2. R is the collection of all sequences b( ) in R , resp. RX is the collection of all sequences in Rn X. This is the· limit case in our analysis because, in × this case, any (R, )-multi-almost periodic function, resp. (RX, )-multi- almost periodic function,B is automatically (R , )-multi-almostB periodic, 1 B resp. (R1X, )-multi-almost periodic, for any other collection R1 of se- B Rn quences b( ) in , resp. any other collection R1X is the collection of sequences in·Rn X. × Concerning Bohr type definitions, we will consider first the following notion (see also the paper [90] by A. I. Perov and T. K. Kacaran): Definition 2.9. Suppose that = I Rn, F : I X Y is a continuous function and I + I I. Then we say that:∅ 6 ⊆ × → ⊆ (i) F ( ; ) is Bohr -almost periodic if and only if for every B and ǫ > 0 · · B ∈ B there exists l> 0 such that for each t0 I there exists τ B(t0,l) I such that ∈ ∈ ∩ (2.10) F (t + τ; x) F (t; x) ǫ, t I, x B. − Y ≤ ∈ ∈ (ii) F ( ; ) is -uniformly recurrent if and only if for every B there exists a · · B ∈B sequence (τk) in I such that limk + τk =+ and → ∞ | | ∞ (2.11) lim sup F (t + τk; x) F (t; x) =0. k + − Y → ∞ t I;x B ∈ ∈ If X , then it is also said that F ( ; ) is Bohr almost periodic (uniformly recurrent).∈B · ·

Remark 2.10. Suppose that F : I X Y is a continuous function. If ′ is a × → B certain collection of subsets of X which contains , R′ is a certain collection of sequences in Rn which contains R and the equationB (2.1) holds with the family R replaced with the family R′ therein, resp. RX′ is a certain collection of sequences in Rn X which contains R and the equation (2.3) holds with the family R × X X replaced with the family R′ therein. If F ( ; ) is (R′, ′)-multi-almost periodic, X · · B MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 17 resp. (R′ , ′)-multi-almost periodic, then F ( ; ) is (R, )-multi-almost periodic, X B · · B resp. (R , )-multi-almost periodic. Similarly, if F ( ; ) is Bohr ′-almost pe- X B · · B riodic ( -uniformly recurrent) for some family ′ which contains , then F ( ; ) is BohrB -almost periodic ( -uniformly recurrent).B Therefore, it isB important· to· know theB maximal collectionsB , R and R , with the meaning clear, for which the B X function F ( ; ) is (R, )-multi-almost periodic, (RX, )-multi-almost periodic, Bohr -almost periodic· · or B -uniformly recurrent. B B B It is clear that any Bohr ( -)almost periodic function is ( -)uniformly recurrent; in general, the converse statementB does not hold ([70]). It isB also clear that, if F ( ; ) is -uniformly recurrent and x X, then we have the following supremum formula· · B ∈ t t (2.12) sup F ( ; x) Y = sup F ( ; x) Y , t I t I, t a ∈ ∈ | |≥ which in particular shows that for each x X the function F ( ; x) is identically equal to zero provided that the function∈F ( ; ) is -uniformly· recurrent and · · B limt I, t + F (t; x)=0. The statements of [15, Theorem 7, p. 3] and Proposition 2.5 can∈ | |→ be reformulated∞ in this framework, as well. Keeping in mind the proof of [76, Property 4, p. 3], the following result can be proved as in the one-dimensional case:

Proposition 2.11. Suppose that F : I X Y is (R, )-multi-almost periodic, resp. (R , )-multi-almost periodic (Bohr× →-almost periodic/B -uniformly recur- X B B B rent), and φ : Y Z is uniformly continuous on R(F ). Then φ F : I X Z is → ◦ × → (R, )-multi-almost periodic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/B -uniformly recurrent). B B B We continue by providing several illustrative examples and useful observations:

Example 2.12. In contrast with the class of Bohr -almost periodic functions, we can simply construct a great number of multi-dimensionalB -uniformly recurrent functions by using Proposition 2.11 and the fact that forB any given tuple a = (a , ,a ) Rn = 0, the linear function 1 ··· n ∈ 6 g(t) := a t + + a t , t = (t , ,t ) Rn 1 1 ··· n n 1 ··· n ∈ is uniformly recurrent provided that n > 1. To verify this, it suﬃces to observe n that the set W := (t1, ,tn) R : a1t1 + + antn =0 is a non-trivial linear n{ ··· ∈ ··· } n submanifold of R as well as that g(t + t′) = g(t) for all t R and t′ W. Therefore, for any uniformly continuous function φ : R X,∈we have that∈ the function φ g : Rn X is uniformly recurrent. → ◦ → Example 2.13. (i) Suppose that F : X Y is a continuous function, for j → each B we have supx B Fj (x) Y < and the complex-valued map- ∈ B ∈ k k ∞ ping t t f (s) ds, t 0 is almost periodic (1 j n). Set 7→ 0 j ≥ ≤ ≤ R n tj+1 F t , ,t ; x := f (s) ds F (x) for all x X and t 0, 1 j n. 1 ··· n+1 j · j ∈ j ≥ ≤ ≤ j=1 Ztj X 18 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Then the mapping F : [0, )n+1 X X is Bohr -almost periodic. In actual fact, for every B ∞and ǫ>× 0,→we have B ∈B

F t1 + τ1, ,tn+1 + τn+1; x F t1, ,tn+1; x ··· − ··· Y n tj+1+τj+1 tj+1 f (s) ds f (s) ds F (x) ≤ j − j · j Y j=1 Ztj +τj Ztj X n tj+1+τj+1 tj+1 fj(s) ds fj (s) ds ≤ ( 0 − 0 j=1 Z Z X tj + τj tj

+ fj(s) ds fj (s) ds Fj (x) Y 0 − 0 ) · Z Z n tj+1+τj+1 tj+1 M fj (s) ds fj(s) ds ≤ ( 0 − 0 j=1 Z Z X tj +τj tj + f j(s) ds fj (s) ds , 0 − 0 ) Z Z

where M = supx B,1 j n Fj (x) . The corresponding statement follows ∈ ≤ ≤ Y by considering the common ǫ/(2nM)-periods τj of the functions · fj 1(s) ds 0 − and · f (s) ds for 2 j n, the ǫ/(2nM)-periods τ of the function 0 j ≤ ≤ 1 R · f (s) ds and the ǫ/(2nM)-periods τ of the function · f (s) ds. Fur- 0 1R n+1 0 n+1 ther on, let us denote by G ( ) the unique almost periodic extension of the R j · R function t t f (s) ds, t 0 to the whole real line (1 j n). Let (b ) 7→ 0 j ≥ ≤ ≤ k be any sequence in Rn+1. Then we can use Theorem 2.17 below to conclude R that there exists a subsequence (b ) of (b ) such that, for every j N , kl k ∈ n F (t + bj ,t + bj+1) = G (t + bj+1) G (t + bj ) converges to a j j kl j+1 kl j j+1 kl j j kl − 2 function F ∗(t ,t ) as l + , uniformly for (t ,t ) R . Deﬁne j j j+1 → ∞ j j+1 ∈ n F t , ,t ; x := F ∗ t ,t F (x), for all x X and t 0, 1 j n. 1 ··· n+1 j j j+1 j ∈ j ≥ ≤ ≤ j=1 X Let B be ﬁxed. Then it can be simply shown that ∈B 1 n+1 lim F t1 + bk , ,tn+1 + b ; x = F t1, ,tn+1; x l + l ··· kl ··· → ∞ uniformly for x B and t = (t , ,t ) Rn+1. Hence, the function ∈ 1 ··· n+1 ∈ F1( ) is R-multi-almost periodic with R being the collection of all sequences in R· n+1. (ii) Suppose that F : X Y is a continuous function, for each B we have → ∈B supx B F (x) Y < and the complex-valued mapping t fj (t), t 0 is almost∈ periodic,k k resp.∞ bounded and uniformly recurrent (17→ j n).≥ Set ≤ ≤ n F t , ,t ; x := f t F (x) for all x X and t 0, 1 j n. 1 ··· n j j · ∈ j ≥ ≤ ≤ j=1 Y MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 19

Then the mapping F : [0, )n X X is Bohr -almost periodic, resp. -uniformly recurrent. In∞ actual× fact,→ for every B B and ǫ> 0, we have B ∈B

F t1 + τ1, ,tn + τn; x F t1, ,tn; x ··· − ··· Y n n M f (t + τ ) f (t ) f (t + τ ) + f (t ) f (t + τ ) f (t ) ≤ 1 1 1 − 1 1 · j j j 1 1 · j j j − j j ( j=2 j=2 ) Y Y n n M f (t + τ ) f (t ) f + f f (t + τ ) f (t ) , ≤ 1 1 1 − 1 1 · j 1 · j j j − j j j=2 ∞ ∞ j=2 Y Y

where M = supx B F (x) Y . Repeating this procedure, we simply get the required statement;∈ furthermore, we can use the usual Bochner criterion

and repeat the above calculus in order to see that the function F2( ) is R-multi-almost periodic with R being the collection of all sequences in·Rn. (iii) Suppose that G : [0, )n C is almost periodic, resp. bounded and uniformly recurrent, F∞: [0, →) X Y is Bohr -almost periodic, resp. - ∞ × → B B uniformly recurrent, and for each set B we have supt 0;x B F (t; x) Y < . Set ∈B ≥ ∈ k k ∞ F t , ,t ; x := G t , ,t F t ; x 1 ··· n+1 1 ··· n · n+1 for all x X and t 0, 1 j n +1. ∈ j ≥ ≤ ≤ Then the mapping F : [0, )n+1 X Y is Bohr -almost periodic, resp. -uniformly recurrent, which∞ can× be→ simply shownB by using the estimate B(t , τ 0 for 1 i n + 1; x X): i i ≥ ≤ ≤ ∈

F t1 + τ1, ,tn+1 + τn+1; x F t1, ,tn+1; x ··· − ··· Y G t1 + τ1, ,tn + τn G t1, ,tn F tn+1 + τn+1; x ≤ ··· − ··· · Y + G t1, ,tn F tn+1 + τn+1; x F t n+1; x , ··· · − Y

the boundedness of function G( , ...,) and the assumption that for each · · set B we have supt 0;x B F (t; x) Y < (see also Proposition 2.16 ∈ B ≥ ∈ k k ∞ below). It is worth noting that we can extend the notion introduced in Deﬁnition 2.9 as follows:

n Deﬁnition 2.14. Suppose that = I′ I R , F : I X Y is a continuous ∅ 6 ⊆ ⊆ × → function and I + I′ I. Then we say that: ⊆ (i) F ( ; ) is Bohr ( , I′)-almost periodic if and only if for every B and ǫ> 0 · · B ∈B there exists l > 0 such that for each t0 I′ there exists τ B(t0,l) I′ such that ∈ ∈ ∩ F (t + τ; x) F (t; x) ǫ, t I, x B. − Y ≤ ∈ ∈ (ii) F ( ; ) is ( , I′)-uniformly recurrent if and only if for every B there · · B ∈ B exists a sequence (τn) in I′ such that limn + τn =+ and → ∞ | | ∞ lim sup F (t + τn; x) F (t; x) =0. n + Y → ∞ t I;x B − ∈ ∈

20 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

If X , then it is also said that F ( ; ) is Bohr I′-almost periodic (I′-uniformly recurrent).∈ B · ·

Clearly, the notion from Deﬁnition 2.9 is recovered by plugging I′ = I and any ( , I′)-uniformly recurrent function is ( , I)-uniformly recurrent provided that I + IB I. This is not true for almost periodicity:B we can simply construct a great ⊆ number of corresponding examples showing that the notion of ( , I′)-almost periodicity is neither stronger nor weaker than the notion of ( , I)-almostB periodicity, B provided that I + I I. In many concrete situations, the situation in which I′ = I can occur; for example,⊆ we have the following: 6 t Example 2.15. (i) Suppose that the complex-valued mapping t 0 fj (s) ds, t 0 is almost periodic, resp. bounded and uniformly recurrent7→ (1 j R n).≥ Set ≤ ≤

n tj+n F t , ,t := f (s) ds and t R, 1 j 2n. 1 1 ··· 2n j j ∈ ≤ ≤ j=1 Ztj Y Then the argumentation used in Example 2.13(i)-(ii) shows that the map- 2n ping F1 : R C is both Bohr I′-almost periodic, resp. I′-uniformly re- → n current, where I′ = (τ, τ): τ R ; in the case of consideration of almost { ∈ } periodicity, we can use [69, Theorem 2.1.1(xiv)] in order to see that F1( ) 2n · is also Bohr I′′-almost periodic, where I′′ = (a, a, ,a) R : a R . Furthermore, in the same case, we can use Theorem{ ··· 2.17∈ below and∈ the} usual Bochner criterion for the functions of one real variable to see that the function F1( ) is Bohr almost periodic because it is R-almost periodic with R being the· collection of all sequences in R2n. t R (ii) Suppose that an X-valued mapping t 0 fj (s) ds, t is almost periodic, resp. bounded and uniformly recurrent,7→ as well∈ as that a strongly R continuous operator family (Tj (t))t R L(X, Y ) is uniformly bounded (1 j n). Set ∈ ⊆ ≤ ≤ n tj+n F t , ,t := T (t t ) f (s) ds 2 1 ··· 2n j j − j+n j j=1 Ztj X and t R, 1 j 2n. j ∈ ≤ ≤ Since, for every ti, τi R (1 j 2n) with τj = τj+n (1 j n), we have ∈ ≤ ≤ ≤ ≤ F t + τ , ,t + τ F t , ,t 2 1 1 ··· 2n 2n − 2 1 ··· 2n Y n tj +τj tj tj+n+τj tj+n M fj (s) ds fj(s) ds + fj (s) ds fj (s) ds , ≤ ( 0 − 0 0 − 0 ) j=1 Z Z Z Z X

where M = sup1 j n supt R Tj( t) , we may conclude as above that the 2≤n ≤ ∈ k k mapping F2 : R C is Bohr I′-almost periodic, resp. I′-uniformly → n recurrent, where I′ = (τ, τ): τ R , but not generally almost periodic, in the case of consideration{ of almost∈ periodicity;} in this case, we also have 2n that F2( ) is Bohr I′′-almost periodic, where I′′ = (a, a, ,a) R : a R , and· that the function F ( ) is R-multi-almost{ periodic··· with∈ R being∈ } 2 · the collection of all sequences in I′. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 21

(iii) Suppose that an X-valued mapping t fj(t), t R is almost periodic, resp. bounded and uniformly recurrent,7→F : X ∈X is continuous as well j → as that a strongly continuous operator family (Tj (t))t R L(X, Y ) satisﬁes ∈ ωj t ⊆ that Tj(t) Mj e− | |, t R with ωj > fj (1 j n). Set k k≤ ∈ k k∞ ≤ ≤ n tj+n fj (s) ds F t , ,t ; x := eRtj T (t t )F (x) 3 1 ··· 2n j j − j+n j j=1 X for all x X and t R, 1 j 2n. ∈ j ∈ ≤ ≤ Suppose, additionally, that for each set B we have ∈B sup Fj (x) < . 1 j n;x B k k ∞ ≤ ≤ ∈ Arguing as above (see also [118, Example 4.1]), we may conclude with z z the help of the elementary inequality e 1 z e| |, z C that the 2n | − | ≤ | | · ∈ mapping F3 : R X Y is Bohr ( , I′)-almost periodic, resp. ( , I′)- × → B n B uniformly recurrent, where I′ = (τ, τ): τ R , but not generally Bohr -almost periodic, in the case of{ consideration∈ } of almost periodicity; in B this case, we also have that F3( ; ) is Bohr ( , I′′)-almost periodic, where 2n · · B I′′ = (a, a, ,a) R : a R , and that the function F ( ) is R-multi- { ··· ∈ ∈ } 2 · almost periodic with R being the collection of all sequences in I′. (iv) Suppose that α<β + and f :Ω z C : α< z<β X is an analytic−∞ almost ≤ periodic≤ function∞ (see e.g.,≡{ [89,∈ Appendixℜ 3]). Set,} →for

α < α′ < β′ < β, I ′ ′ := [α′,β′] R, I′ ′ ′ := 0 R and F (x, y) := α ,β × α ,β { }× f(x + iy), (x, y) I ′ ′ . Then F ( , ) is Bohr I′ ′ ′ -almost periodic. ∈ α ,β · · α ,β (v) In connection with Example 2.12 and the notion introduced in Definition n 2.14, the following should be stated: Suppose that = I R , I0 = [0, ) or I = R, a = (a , ,a ) Rn = 0 and the∅ linear 6 ⊆ function g(t)∞ := 0 1 ··· n ∈ 6 a1t1 + + antn, t = (t1, ,tn) I maps surjectively the region I onto I . Suppose,··· further, that f···: I ∈X is a uniformly recurrent function as 0 0 → well as that a sequence (αk) in I0 satisfies that limk + αk = + and →1 ∞ | | N∞ limk + supt I f(t+αk) f(t) =0. Define I′ := g− ( αk : k ) and → ∞ ∈ 0 − { ∈ } F : I X by F (t) := f(g(t)), t I. Then F ( ) is I′-uniformly recurrent, → ∈ · and F ( ) is not almost periodic provided that f( ) is not almost periodic. In order to· see this, observe that the surjectivity of· mapping g : I I implies → 0 the existence of a sequence (τ ) in I′ such that g(τ ) = α for all k N. k k k ∈ Due to the Cauchy-Schwarz inequality, we have τk αk / a + as k + . Furthermore, for every t I, we have: | | ≥ | | | | → ∞ → ∞ ∈ F (t + τ ) F (t) k −

f g(t + τ ) f g(t)+ α + f g(t)+ α f g(t) ≤ k − k k −

= fg(t + τ ) fg(t + τ ) + f g(t)+ α f g(t) k − k k − = f g(t)+ αk f g(t) sup f t + αk f t 0, − ≤ t I0 − → ∈ as k + . Suppose now that f( ) is not almost periodic. We will prove that F→( )∞ is not almost periodic, as· well. Let l> 0 be arbitrary. Due to our · assumption, there exists ǫ> 0 such that there exists a subinterval I′′ I ⊆ 0 22 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

of length 2 a l such that for each τ I′′ there exists t I such that | | ∈ ∈ 0 f(t + τ) f(t) > ǫ. Let i′′ be the center of I′′. Then there exists t I k − k 0 ∈ such that g(t )= i′′ and this simply implies that for each α B(t ,l) I 0 ∈ 0 ∩ we have g(α) I′′. Therefore, for fixed α from this range, we can find t I0 such that f(∈t + τ) f(t) > ǫ, where τ = g(α). By surjectivity of g∈( ), we have thek existence− of ak tuple t I such that g(t) = t, which gives the· required. ∈ (vi) To present a concrete application of our consideration from the previous point, let us recall that A. Haraux and P. Souplet have proved, in [50, Theorem 1.1], that the function f : R R, given by → ∞ 1 t f(t) := sin2 dt, t R, n 2n ∈ n=1 X k is uniformly continuous, uniformly recurrent (the sequence (αk 2 π)k N can be chosen in definition of uniform recurrence) and unbounded.≡ Let∈ n 1 k a = (a1, ,an) R = 0, let I′ = g− ( 2 π : k N ) and let F : Rn R be··· given∈ by F (t6 ) := f(a t + +{a t ), t =∈ (t }, ,t ) Rn. → 1 1 ··· n n 1 ··· n ∈ Then the function F ( ) is I′-uniformly recurrent and not almost periodic; furthermore, it can be· easily shown that the function F ( ) is uniformly continuous and unbounded. · (vii) Suppose that K is a bounded Lebesgue measurable set and I + K I. ⊆ Then we can simply prove that the Bohr ( , I′)-almost periodicity, resp. B ( , I′)-uniform recurrence, of function F : I X Y implies the Bohr B × → ( , I′)-almost periodicity, resp. ( , I′)-uniform recurrence, of function G : IB X Y defined by B × → t+K G(t; x) := F (σ; x) dσ = F (σ + t; x) dσ, t I, x X, ∈ ∈ Zt ZK which extends the conclusions established in [120, Example 7, p. 33] to the multi-dimensional case; furthermore, if F : I X Y is (R, )-multi- × → B almost periodic and for each x X we have supt I F (t; x) Y < , resp. F : I X Y is (R , )-multi-almost∈ periodic and∈ k for eachkB ∞, x B × → X B ∈B ∈ and each sequence (xk) in X for which there exists a sequence (bk) in I such that (bk; xk) RX we have supt I F (t + bk; x + xk) Y < , then the use of dominated∈ convergence theorem∈ k shows that the functk ion ∞G( ; ) is · · likewise (R, )-multi-almost periodic, resp. (RX , )-multi-almost periodic. (viii) The notion ofB Bloch (p, k)-periodicity can be simplyB extended to the functions of several real variables as follows ([51]-[52]): a bounded continuous function F : I X is said to be Bloch (p, k)-periodic, or Bloch periodic with period p and→ Bloch wave vector or Floquet exponent k, where p I n i k,p ∈ and k R if and only if F (x + p)= e h iF (x), x I (of course, we assume here∈ that p + I I). Arguing as in [25, Remark∈ 1], we may conclude ⊆ that the Bloch (p, k)-periodicity of function F ( ) implies the Bohr ( , I′)- i k, · B almost periodicity of function e− h ·iF ( ) with I′ being the intersection of I and the one-dimensional submanifold generated· by the vector p; furthermore, if k is orthogonal to p, then the function F ( ) is Bohr ( , I′)-almost periodic. · B MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 23

The previous examples show that the notions of Bohr I′-almost periodicity and Bohr I′-uniform recurrence are extremely important in the case that I′ = I. But, 6 we feel it is our duty to say that the fundamental properties of Bohr I′-almost periodic functions and Bohr I′-uniformly recurrent functions cannot be so simply clarified in the case that I′ = I. Because of that, we will basically assume henceforth 6 that I′ = I; further analyses of Bohr I′-almost periodicity and Bohr I′-uniform recurrence in case I′ = I will be carried out somewhere else. It can be simply shown6 that the subsequent proposition is applicable if I = [0, )n or I = Rn : ∞ Proposition 2.16. Suppose that = I Rn, I +I I, I is closed, F : I X Y is Bohr -almost periodic and is∅ 6 any⊆ family of compact⊆ subsets of X. If× → B B ( l> 0) ( t0 I) ( k> 0) ( t I)( t′ I) ∀ ∃ ∈ ∃ ∀ ∈ ∃ 0 ∈ (2.13) ( t′′ B(t′ ,l) I) t t′′ B(t0,kl) I. ∀ 0 ∈ 0 ∩ − 0 ∈ ∩ Then for each B we have that the set F (t; x): t I, x B is relatively ∈ B { ∈ ∈ } compact in Y ; in particular, supt I;x B F (t; x) Y < . ∈ ∈ k k ∞ Proof. Let B and ǫ > 0 be given. Then we can find a finite number l > 0 such that for each∈ B s I there exists τ B(s,l) I such that (2.10) holds with t = s. Let t I and∈ k > 0 be such that∈ (2.13)∩ holds. Since I is closed and B 0 0 ∈ is compact, we have that the set F (s; x): s B(t0,kl) I, x B is compact { ∈ ∩ ∈ } in Y. Let t I be fixed. By our assumption, there exists t′ I such that, for ∈ 0 ∈ every t′′ B(t′ ,l) I, we have t t′′ + [B(t0,kl) I]. On the other hand, there 0 ∈ 0 ∩ ∈ 0 ∩ exists τ = t′′ B(t′ ,l) I such that F (s + τ; x) F (s; x) ǫ, s I, x B. 0 ∈ 0 ∩ k − Y ≤ ∈ ∈ Clearly, s = t τ B(t0,kl) I, which simply implies from the last estimate that − ∈ ∩ F (s; x): s B(t0,kl) I, x B is an ǫ-net for F (t; x): t I, x B , which completes{ the∈ proof in a∩ routine∈ manner.} { ∈ ∈ }

Suppose now that F : Rn X Y is a Bohr -almost periodic function, where is any family of compact subsets× → of X. Let B B be fixed. We will consider the BBanach space l (B : Y ) consisting of all bounded∈B functions f : B Y, equipped ∞ n → with the sup-norm. Define the function FB : R l (B : Y ) by → ∞ (2.14) F (t) (x) := F (t; x), t Rn, x B. B ∈ ∈ By Proposition 2.16, this mapping is well defined. Furthermore, this mapping n satisfies that for each ǫ > 0 there exists l > 0 such that for each t0 R there exists τ B(t ,l) Rn such that ∈ ∈ 0 ∩ d F (t + τ), F (t) ǫ, t I. B B ≤ ∈ Hence, FB( ) is Bohr almost periodic in the sense of definition given in [89, Sub- section 1.2,· p. 7]. By [89, Theorem 1.2, p. 7], it follows that F : Rn X Y is (R, )-multi-almost periodic with R being the collection of all sequences× in→Rn (case [L2]).B The converse statement can be deduced similarly, and therefore, the following Bochner criterion holds good: Theorem 2.17. Suppose that F : Rn X Y is continuous, is any family of compact subsets of X and R is the collection× → of all sequences in RBn. Then F ( ; ) is Bohr -almost periodic if and only if F ( ; ) is (R, )-multi-almost periodic. · · B · · B 24 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

As a direct consequence of Proposition 2.4(i) and Theorem 2.17, we have the following important result for our further investigations (see [45, pp. 17-24] for the notion of a uniformly almost periodic family, where the corresponding problematic has been considered for infinite number of almost periodic functions; for the sake of brevity, we will not consider this topic here): Proposition 2.18. Suppose that k N and is any family of compact subsets of n ∈ B X. If the function Fi : R X Yi is Bohr -almost periodic for 1 i k, then the function (F , , F )( ;×) is→ also Bohr -almostB periodic. ≤ ≤ 1 ··· k · · B As a consequence, we have that the Bohr -almost periodic functions Fi( ; ) can share the same ǫ-periods in Definition 2.9(i),B i.e., for every B and ǫ> ·0· there exists l > 0 such that for each t Rn there exists τ B(t∈B,l) Rn such that 0 ∈ ∈ 0 ∩ (2.10) holds for all F = Fi and Y = Yi, 1 i k (observe that the original proof of H. Bohr, see e.g. [20, pp. 36-38], does≤ not≤ work in the multi-dimensional case n> 1). Now we can simply prove the following: Proposition 2.19. Suppose that f : Rn C is Bohr almost periodic and F : Rn X Y is Bohr -almost periodic, where→ is any family of compact subsets × → B n B of X. Define F1(t; x) := f(t)F (t; x), t R , x X. Then F1( ; ) is Bohr -almost periodic. ∈ ∈ · · B Proof. Let B and ǫ> 0 be fixed. Due to Proposition 2.16, there exists a finite ∈B n real constant M 1 such that f(t) + F (t; x) Y M for all t R and x B. Let τ Rn be a≥ common (ǫ/2M| )-period| k for thek functions≤ f( ) and∈ F ( ; ). Then∈ the required∈ statement simply follows from the next estimates:· · · f(t + τ)F (t + τ; x) f(t)F (t; x) − Y f(t + τ) f(t) F (t + τ; x) Y + f(t + τ) F (t + τ; x) F (t; x) ≤ − ·k k | | · − Y 2 M f(t + τ) f(t) + F (t + τ; x) F (t; x) 2Mǫ/2M = ǫ. ≤ − − Y ≤ h i

We can similarly prove the following analogue of Proposition 2.19 for (R, )- multi-almost periodic functions: B Proposition 2.20. Suppose that = I Rn, f : I C is bounded R-multi- almost periodic and F : I X ∅Y 6 is⊆ a (R, )-multi-almost→ periodic function whose restriction to any set×I B,→ where B B is arbitrary, is bounded. Deﬁne F (t; x) := f(t)F (t; x), t I, x× X. Then F ∈( ; B) is (R, )-multi-almost periodic, 1 ∈ ∈ 1 · · B provided that for each sequence (bk) in R we have that any its subsequence also belongs to R. Using the decomposition

F (t′; x) F (t′′; y) F (t′; x) F (t′ + τ; x) + F (t′ + τ; x) F (t′′ + τ; y) − Y ≤ − Y − Y + F (t′′ + τ ; y) F (t′′; y) , t′, t′′ I, x, y X, − Y ∈ ∈ and the assumptions clariﬁed below, we can repeat almost literally the argumentation contained in the proof of [15, Theorem 5, p. 2] in order to see that the following result holds (unfortunately, the situation in which I = [0, )n is not covered by this result in contrast with the usually considered case I = ∞Rn): MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 25

Proposition 2.21. Suppose that = I Rn, I + I I, I is closed and F : I X Y is Bohr -almost periodic,∅ 6 where⊆ is a family⊆ consisting of some compact× → subsets of X. BIf the following condition holdsB

( t0 I) ( ǫ> 0)( l> 0) ( l′ > 0) ( t′, t′′ I) ∃ ∈ ∀ ∀ ∃ ∀ ∈ B(t0,l) I B(t0 t′,l′) B(t0 t′′,l′), ∩ ⊆ − ∩ − then for each B the function F ( ; ) is uniformly continuous on I B. ∈B · · × The following is a multi-dimensional extension of [40, Lemma 1.3(f)]: Example 2.22. Suppose that f : Rn X and g : Rn Rn are Bohr almost periodic functions. Deﬁne the function → → F (t) := f(t g(t)), t Rn. − ∈ Then the function F ( ) is Bohr almost periodic, as well. We can show this similarly as in the proof of the· above-mentioned lemma, with appealing to Proposition 2.18 and Proposition 2.21. 2.1. Strongly -almost periodic functions. This subsection analyzes the class of strongly -almostB periodic functions, introduced as follows: B Deﬁnition 2.23. Suppose that = I Rn and F : I X Y is a continuous function. Then we say that F (∅; 6 ) is⊆ strongly -almost× periodic→ if and only if · · B B for each B there exists a sequence (Pk (t; x)) of trigonometric polynomials ∈ B B such that limk + Pk (t; x) = F (t; x), uniformly for t I and x B. Here, by a trigonometric→ polynomial∞ P : I X Y we mean any∈ linear combination∈ of functions like × →

i[λ t +λ t + +λntn] (2.15) e 1 1 2 2 ··· c(x), where λ are real numbers (1 i n) and c : X Y is a continuous mapping. i ≤ ≤ → The following proposition clariﬁes a fundamental relationship between strongly -almost periodic functions and Bohr -almost periodic functions (Bohr ( , I′)- Balmost periodic functions): B B Proposition 2.24. Suppose that = I Rn and F : I X Y is a strongly -almost periodic function, where ∅is 6 any⊆ collection of bounded× subsets→ of X. Then Bwe have the following: B

(i) for every j Nn and ǫ> 0, there exists a ﬁnite real number l> 0 such that every interval∈ S R of length l contains a point τ I such that ⊆ j ∈ (2.16) F t ,t , ,t + τ , ,t ; x F t ,t , ,t , ,t ; x ǫ, 1 2 ··· j j ··· n − 1 2 ··· j ··· n ≤

provided (t ,t , ,t + τ , ,t ) I, (t , ,t ) I and x B; 1 2 j j n 1 n (ii) for every ǫ> 0,···there exists··· a ﬁnite∈ real number··· l >∈0 such that,∈ for every j Nn and every interval S R of length l, there exists a point τj I such∈ that (2.16) holds provided⊆ that (t ,t , ,t + τ , ,t ) I for∈ all 1 2 ··· j j ··· n ∈ j Nn, (t1, ,tn) I and x B; (iii) for∈ every ǫ··· > 0, there∈ exists∈ a ﬁnite real number l > 0 such that every interval S R of length l contains a point τ I such that, for every j N , (1.3)⊆ holds with the number τ replaced by∈ the number τ therein; ∈ n j 26 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

(iv) F ( ; ) is Bohr -almost periodic provided that I + I I and that, for every points· · (t , ,tB) I and (τ , , τ ) I, the points ⊆(t ,t +τ , ,t +τ ), 1 ··· n ∈ 1 ··· n ∈ 1 2 2 ··· n n (t1,t2,t3 + τ3, ,tn + τn), , (t1,t2, ,tn 1,tn + τn), also belong to I; ··· ··· ··· − (v) F ( ; ) is Bohr ( , I ∆n)-almost periodic provided that I ∆n = , I +(I ∆ ·)· I and that,B for∩ every points (t , ,t ) I and (τ, ∩, τ) 6 I∅ ∆ , the∩ n ⊆ 1 ··· n ∈ ··· ∈ ∩ n points (t1,t2+τ, ,tn+τ), (t1,t2,t3+τ, ,tn+τ), , (t1,t2, ,tn 1,tn+τ), also belong to I ···∆ . ··· ··· ··· − ∩ n Proof. The proof is not difficult and we will present the most relevant details, only. For the proof of (iii), we can verify first the validity of this statement for any trigonometric polynomial P ( ; ) by using the fact that for each set B , which is bounded due to our assumption,· · we have that the set c(B) is bounded∈ B in Y for any addend of P ( ; ) of form (2.15) as well as the fact that any finite set of almost periodic functions· · of one real variable has a common set of joint ǫ-periods B for each ǫ> 0. In general case, there exists a sequence (Pk (t; x)) of trigonometric B polynomials such that limk + Pk (t; x)= F (t; x), uniformly for t I and x B. → ∞ ∈ ∈ Then, for a real number ǫ> 0 given in advance, we can find an integer k0 N such B ∈ that P (t; x) F (t; x) Y ǫ/3, for every t I, x B and k N with k k0. k k0 − k ≤ ∈ ∈ ∈ ≥ Using the well known estimate (t′, t′′ I; x B): ∈ ∈ F (t′; x) F (t′′; x) − Y B B B B F (t′; x) P (t ′; x) + P (t′; x) P (t′′; x) + P (t′′; x) F (t′′; x) , ≤ − k0 Y k0 − k0 Y k0 − Y the required statement readily follows; the proofs of (i) and (ii) are analogous. For the proof of (iv), we can use (i) and the estimates + + + + F t1 τ1,t2 τ2, · · ·,tj τj , · · ·,tn τn − F t1,t2, · · ·,tn

+ + + + + + + ≤ F t1 τ1,t2 τ2, · · ·,tj τj , · · ·,tn τn − F t1,t2 τ2, · · ·,tj τj , · · ·,tn τn

+ + + + F t1,t2 τ2, · · ·,tj τj , · · ·,tn τn − F t1,t2, · · ·,tn

+ + + + + + + ≤ F t1 τ1,t2 τ2, · · ·,tj τj , · · ·,tn τn − F t1,t2 τ2, · · ·,tj τj , · · ·,tn τn

+ + + + + + F t1,t2 τ2, · · ·,tj τj , · · ·,tn τn − F t1,t2,t3 τ3, · · ·,tn τn

+ + + F t1,t2,t3 τ3, · · ·,tn τnF t1,t2, · · ·,tn ≤···,

while for the proof of (v), we can use (iii) and the above estimates with τ = τ1 = τ = = τ . 2 ··· n Concerning Proposition 2.24(iv)-(v), it is natural to ask the following: Sup- pose that = I Rn and F : I X Y is a Bohr -almost periodic (Bohr ∅ 6 ⊆ × → B ( , I ∆n)-almost periodic) function. What conditions ensure the strong -almost periodicityB ∩ of F ( ; )? After proving Theorem 2.36, it will be clear from a combina-B tion with Proposition· · 2.24(iv) that the notion of strong Bohr -almost periodicity for continuous functions F : I Y coincides with the notionB of Bohr -almost periodicity, provided that I is a→ convex polyhedral; as a simple consequenceB of the last mentioned theorem, we also have that the uniform convergence of a sequence of scalar-valued trigonometric polynomials on a convex polyhedral in Rn always implies the uniform convergence of this sequence on the whole space Rn (in the present state of our knowledge, we really do not know whether this result was known before stating above). MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 27

The interested reader may try to formulate some statements concerning the relationship between the strong -almost periodicity and the (RX , )-multi-almost periodicity. B B

2.2. D-asymptotically (RX , )-multi-almost periodic type functions. We start this subsection by introducingB the following definition: Definition 2.25. Suppose that D I Rn and the set D is unbounded. By ⊆ ⊆ C0,D, (I X : Y ) we denote the vector space consisting of all continuous functions B × Q : I X Y such that, for every B , we have limt D, t + Q(t; x)=0, uniformly× for→x B. ∈ B ∈ | |→ ∞ ∈ Now we are ready to introduce the following notion: Definition 2.26. Suppose that the set D I Rn is unbounded, and F : I X Y is a continuous function. Then we say⊆ that⊆ F ( ; ) is D-asymptotically× (R, →)- · · B multi-almost periodic, resp. D-asymptotically (RX, )-multi-almost periodic, if and only if there exist an (R, )-multi-almost periodicB function G : I X Y , resp. an (R , )-multi-almost periodicB function G : I X Y , and× a function→ Q X B × → ∈ C0,D, (I X : Y ) such that F (t; x)= G(t; x)+ Q(t; x) for all t I and x X. LetB I ×= Rn. Then it is said that F ( ; ) is asymptotically (R∈, )-multi-almost∈ · · B periodic, resp. asymptotically (RX, )-multi-almost periodic, if and only if F ( ; ) is n B n · · R -asymptotically (R, )-multi-almost periodic, resp. R -asymptotically (RX, )- multi-almost periodic. B B We similarly introduce the notions of (D-)asymptotical Bohr -almost period- B icity, (D-)asymptotical uniform recurrence, (D-)asymptotical Bohr ( , I′)-almost B periodicity and (D-)-asymptotical ( , I′)-uniform recurrence. If X , then we omit the term from the notation introduced,B with the meaning clear.∈ B Assuming thatB F ( ; ) is I-asymptotically uniformly recurrent, G : I X Y , · · × → Q C0,I, (I X : Y ) and F (t; x)= G(t; x)+ Q(t; x) for all t I and x X, we can∈ simplyB show× that, for every x X, we have ∈ ∈ ∈ (2.17) G(t; x): t I, x X F (t; x): t I, x X . ∈ ∈ ⊆ ∈ ∈ The first part of following proposition can be deduced as in the one-dimensional case; keeping in mind the inclusion (2.17) and the argumentation used in the proof of [39, Theorem 4.29], we can simply deduce the second part (see also Proposition 2.7, Corollary 2.8 and Proposition 2.31 for the corresponding results regarding the classes of (R, )-multi-almost periodic functions and (RX, )-multi-almost periodic functions): B B

Proposition 2.27. (i) Suppose that for each integer j N the function Fj ( ; ) is Bohr -almost periodic ( -uniformly recurrent).∈ If for each B there· · exists ǫ B > 0 such that theB sequence (F ( ; )) converges uniformly∈B to a B j · · function F ( ; ) on the set B◦ x ∂B B(x, ǫB ), then the function F ( ; ) is Bohr -almost· · periodic ( -uniformly∪ ∈ recurrent). · · B B S (ii) Suppose that for each integer j N the function Fj ( ; ) is I-asymptotically Bohr -almost periodic (I-asymptotically∈ -uniformly· · recurrent). If for each BB there exists ǫ > 0 such thatB the sequence (F ( ; )) con- ∈ B B j · · verges uniformly to a function F ( ; ) on the set B◦ x ∂B B(x, ǫB ), then the function F ( ; ) is I-asymptotically· · Bohr -almost∪ ∈ periodic (I- asymptotically -uniformly· · recurrent). B S B 28 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

The proof of following proposition, which can be also clarified for the classes of D-asymptotically almost periodic type functions introduced in Definition 2.26, is simple and therefore omitted: Proposition 2.28. (i) Suppose that c C and F ( ; ) is (R, )-multi-almost ∈ · · B periodic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/ - uniformly recurrent).B Then cF ( ; ) is (R, )-multi-almostB periodic, resp.B · · B (RX, )-multi-almost periodic (Bohr -almost periodic/ -uniformly recurrent).B B B (ii) (a) Suppose that τ Rn, τ + I I and F ( ; ) is (R, )-multi-almost peri- ∈ ⊆ · · B odic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/ - uniformly recurrent).B Then F ( + τ; ) is (R, B)-multi-almost peri-B · · B odic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/ - uniformly recurrent).B B B (b) Suppose that x0 X and F ( ; ) is (R, )-multi-almost periodic, resp. (R , )-multi-almost∈ periodic· (Bohr· -almostB periodic/ -uniformly re- X B B B current). Then F ( ; + x0) is (R, x0 )-multi-almost periodic, resp. (R , )-multi-almost· · periodic (BohrB -almost periodic/ -uni- X Bx0 Bx0 Bx0 fomly recurrent), where x0 x0 + B : B . n B ≡ {− ∈ B} (c) Suppose that τ R , τ + I I, x0 X and F ( ; ) is (R, )-multi- almost periodic,∈ resp. (R , ⊆)-multi-almost∈ periodic· · (Bohr B -almost X B B periodic/ -uniformly recurrent). Then F ( +τ; +x0) is (R, x0 )-multi- almost periodic,B resp. (R , )-multi-almost· periodic· (BohrB -almost X Bx0 Bx0 periodic/ x0 -uniformly recurrent). (iii) (a) Suppose thatB c C 0 , cI I and F ( ; ) is (R, )-multi-almost peri- ∈ \{ } ⊆ · · B odic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/ - uniformly recurrent).B Then F (c ; ) is (R , )-multi-almostB periodic,B · · c B resp. (RX,c, )-multi-almost periodic (Bohr -almost periodic/ -uni- B 1 B B 1 formly recurrent), where R c− b : b R and R c− b : c ≡ { ∈ } X,c ≡ { b RX . (b) Suppose∈ } that c C 0 , and F ( ; ) is (R, )-multi-almost peri- 2 ∈ \{ } · · B odic, resp. (RX, )-multi-almost periodic (Bohr -almost periodic/ - uniformly recurrent).B Then F ( ; c ) is (R, )-multi-almostB periodic,B · 2· Bc2 resp. (RX, c2 )-multi-almost periodic (Bohr c2 -almost periodic/ c2 - B 1 B B uniformly recurrent), where c− B : B . Bc2 ≡{ 2 ∈ B} (c) Suppose that c1 C 0 , c2 C 0 , c1I I and F ( ; ) is (R, )- multi-almost periodic,∈ \{ resp.} (R∈ ,\{)-multi-almost} ⊆ periodic· · (BohrB - X B B almost periodic/ -uniformly recurrent). Then F (c1 ; c2 ) is (Rc1 , c2 )- multi-almost periodic,B resp. (R , )-multi-almost· · periodic (BohrB X,c1 Bc2 c2 -almost periodic/ c2 -uniformly recurrent). (iv) SupposeB that α, β C and,B for every sequence which belongs to R (R ), ∈ X we have that any its subsequence belongs to R (RX). If F ( ; ) and G( ; ) are (R, )-multi-almost periodic, resp. (R , )-multi-almost· periodic,· then· · B X B (αF + βG)( ; ) is (R, )-multi-almost periodic, resp. (RX, )-multi-almost periodic. · · B B (v) Suppose that α, β C. If F : Rn X Y and G : Rn X Y are Bohr -almost periodic,∈ then (αF + βG×)( ; →) is Bohr -almost× periodic.→ B · · B Due to Proposition 2.8 and Proposition 2.28(ii), we may conclude that, in the case that X = 0 , the limit function F ∗( ) in (2.1) is likewise R-multi-almost { } · MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 29 periodic. In such a way, we can extend the statements of [17, Theorem 1] and [102, Lemma 1] for vector-valued functions; the statement of [102, Lemma 3] also holds for vector-valued functions. Using Proposition 2.28(iv) and the supremum formula clarified in Proposition 2.6, we can simply deduce that the decomposition in Definition 2.26 is unique under certain assumptions: Proposition 2.29. (i) Suppose that there exist a function G ( ; ) which is i · · (R, )-multi-almost periodic and a function Qi C0,I, (I X : Y ) such B ∈ B × that F (t; x) = Gi(t; x) + Qi(t; x) for all t I and x X (i = 1, 2). Suppose that, for every sequence which belongs∈ to R, any∈ its subsequence belongs to R. If there exists a sequence b( ) in R whose any subsequence is unbounded and for which we have T b(l·) I whenever T I and l N, − ∈ ∈ ∈ then G1 G2 and Q1 Q2. (ii) Suppose≡ that is any≡ collection of compact subsets of X, there exist a Bohr -almostB periodic function G : Rn X Y and a function Q B i × → i ∈ C0,I, (I X : Y ) such that F (t; x) = Gi(t; x)+ Qi(t; x) for all t I and x XB (i×=1, 2). Then G G and Q Q . ∈ ∈ 1 ≡ 2 1 ≡ 2 For the sequel, we need the following auxiliary lemma (see also [28, Lemma 2.12]): Lemma 2.30. Suppose that there exist an (R, )-multi-almost periodic function B G( ; ) and a function Q C0,I, (I X : Y ) such that F (t; x) = G(t; x)+ Q(t; x) for· all· t I and x X.∈ ThenB (2.17)× holds provided that that for each sequence b R we∈ have I ∈b(l) I, l N and there exists a sequence in R whose any subsequence∈ is unbounded.± ∈ ∈ Now we are in a position to clarify the following result: Proposition 2.31. Suppose that, for every sequence b( ) which belongs to R, any its subsequence belongs to R and T b(l) I whenever T· I and l N. Suppose, further, that there exists a sequence− in R ∈whose any subsequence∈ is unbounded.∈ If for each integer j N the function Fj ( ; ) is I-asymptotically (R, )-multi-almost periodic and for each∈ B there exists· · ǫ > 0 such that the sequenceB (F ( ; )) ∈ B B j · · converges uniformly to a function F ( ; ) on the set B◦ x ∂B B(x, ǫB), then the function F ( ; ) is I-asymptotically (R·, · )-multi-almost∪ periodic.∈ · · B S Proof. Due to Proposition 2.29, we know that there exist a uniquely determined function G( ; ) which is (R, )-multi-almost periodic and a uniquely determined · · B function Q C0,I, (I X : Y ) such that F (t; x) = G(t; x)+ Q(t; x) for all t I and x X.∈ Furthermore,B × we have ∈ ∈ F (t; x) F (t; x)= G (t; x) G (t; x) + Q (t; x) Q (t; x) , j − m j − m j − m for all t I, x X and j, m N. Due to Proposition 2.28(iv), we have that the ∈ ∈ ∈ function Gj ( ; ) Gm( ; ) is (R, )-multi-almost periodic (j, m N). Keeping in mind this fact· · as− well as· · LemmaB 2.30 and the argumentation used∈ in the proof of [39, Theorem 4.29], we get that

3 sup Fj (t; x) Fm(t; x) t I,x X − Y ∈ ∈

sup Gj (t; x) Gm(t; x) + sup Qj(t; x) Qm(t; x) , ≥ t I,x X − Y t I,x X − Y ∈ ∈ ∈ ∈

30 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO for any j, m N. This implies that the sequences (Gj ( ; )) and (Qj ( ; )) converge uniformly to∈ the functions G( ; ) and Q( ; ), respectively.· · Due to Proposition· · 2.8, we get that the function G( ; )· is· (R, )-multi-almost· · periodic. The final conclusion · · B follows from the obvious equality F = G + Q and the fact that C0,I, (I X : Y ) is a Banach space. B × Before we move ourselves to the next subsection, we would like to recall that the notion of asymptotical almost periodicity in a Bohr like manner, for scalar- valued functions of one real variable, was introduced by A. S. Kovanko [71] in 1929; the usually employed definition of asymptotical almost periodicity was introduced later, by M. Fréchet [46] in 1941. Now we will introduce the following general definition following the approach obeyed in [46]; for any set Λ Rn, we define Λ := λ Λ; λ M : ⊆ M { ∈ | |≥ } Definition 2.32. Suppose that D I Rn and the set D is unbounded, as well n ⊆ ⊆ as = I′ I R , F : I X Y is a continuous function and I + I′ I. Then we∅ say 6 that:⊆ ⊆ × → ⊆

(i) F ( ; ) is D-asymptotically Bohr ( , I′)-almost periodic of type 1 if and only if for· · every B and ǫ > 0 thereB exist l > 0 and M > 0 such that for ∈ B each t I′ there exists τ B(t ,l) I′ such that 0 ∈ ∈ 0 ∩ (2.18) F (t + τ; x) F (t; x) ǫ, provided t, t + τ D , x B. − Y ≤ ∈ M ∈ (ii) F ( ; ) is D-asymptotically ( , I′)-uniformly recurrent of type 1 if and only · · B if for every B there exist a sequence (τ ) in I′ and a sequence (M ) in ∈B n n (0, ) such that limn + τn = limn + Mn =+ and ∞ → ∞ | | → ∞ ∞ lim sup F (t + τn; x) F (t; x) =0. n + D Y → ∞ t,t+τn Mn ;x B − ∈ ∈ If I′ = I, then we also say that F ( ; ) is D-asymptotically Bohr -almost periodic of type 1 (D-asymptotically -uniformly· · recurrent of type 1); furthermore,B if X , B ∈B then it is also said that F ( ; ) is D-asymptotically Bohr I′-almost periodic of type · · 1 (D-asymptotically I′-uniformly recurrent of type 1). If I′ = I and X , then we also say that F ( ; ) is D-asymptotically Bohr almost periodic of type∈ B 1 (D- asymptotically uniformly· · recurrent of type 1). As before, we remove the prefix “D-” in the case that D = I and remove the prefix “( , )” in the case that X . B ∈B The proof of following proposition is trivial and therefore omitted: Proposition 2.33. Suppose that D I Rn and the set D is unbounded, as well as n ⊆ ⊆ = I′ I R , F : I X Y is a continuous function and I + I′ I. If F ( ; ) ∅ 6 ⊆ ⊆ × → ⊆ · · is D-asymptotically Bohr ( , I′)-almost periodic, resp. D-asymptotically ( , I′)- B B uniformly recurrent, then F ( ; ) is D-asymptotically Bohr ( , I′)-almost periodic of · · B type 1, resp. D-asymptotically ( , I′)-uniformly recurrent of type 1. B Suppose now that the general assumptions from the preamble of Definition 2.32 hold true. Keeping in mind Proposition 2.33 and Remark 2.3(i)-(ii), it is natural to ask the following:

(i) In which cases the D-asymptotical Bohr ( , I′)-almost periodicity of type B 1, resp. D-asymptotical ( , I′)-uniform recurrence of type 1, implies the D- B asymptotical Bohr ( , I′)-almost periodicity, resp. D-asymptotical ( , I′)- uniform recurrence ofB function F ( ; )? B · · MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 31

(ii) In which cases the asymptotical Bohr -almost periodicity (of type 1) implies the (R, )-multi-almost periodicityB of F ( ; ), where R denotes the collection of allB sequences in I? · · (iii) In which cases the asymptotical Bohr -almost periodicity (of type 1) is a consequence of the (R, )-multi-almostB periodicity of F ( ; ), where R denotes the collection of allB sequences in I? · · Concerning the item (ii), it is well known that the answer is negative provided that X = 0 , = X and I = R because, in this case, the asymptotical Bohr - almost periodicity{ } B of F : R Y is equivalent with the asymptotical Bohr -almostB periodicity of type 1 of F ( ),→ i.e., the usual asymptotical almost periodicityB of F ( ), while the (R, )-multi-almost· periodicity of F ( ) is equivalent in this case with the· usual almostB periodicity of F ( ); see [122, Definition· 2.2, Definition 2.3; Theorem 2.6] for the notion used. With· the regards to the items (i) and (ii), we have the following statement which can be applied in the particular case I = [0, )n : ∞ Theorem 2.34. Suppose that = I Rn, I +I I, I is closed and F : I X Y is a uniformly continuous, I-asymptotically∅ 6 ⊆ Bohr⊆ -almost periodic function× of→ type 1, where is any family of compact subsets of X.BIf B ( l> 0) ( M > 0) ( t0 I) ( k > 0) ( t I )( t′ I) ∀ ∀ ∃ ∈ ∃ ∀ ∈ M+l ∃ 0 ∈ (2.19) ( t′′ B(t′ ,l) I) t t′′ B(t0,kl) I , ∀ 0 ∈ 0 ∩ − 0 ∈ ∩ M there exists L> 0 such that IkL I(k+1)L = for all k N and IM + I IM for all M > 0, then the function F ( ; \) is (R, 6 )-multi-almost∅ ∈ periodic, where⊆ R denotes the collection of all sequences· in· I. Furthermore,B if X = 0 and = X , then F ( ) is I-asymptotically Bohr almost periodic function. { } B { } · Proof. Let B and ǫ> 0 be fixed. Since F ( ; ) is uniformly continuous, we have ∈B · · that the function FB( ), given by (2.14), is likewise uniformly continuous. Arguing as in the proof of Proposition· 2.16, the assumption (2.19) enables one to deduce that the set F (t; x): t I, x B is relatively compact in Y as well as that the set { ∈ ∈ } FB(t): t I is relatively compact in the Banach space BUC(B : Y ), consisting of{ all bounded,∈ } uniformly continuous functions from B into Y, equipped with the sup-norm. We know that there exist l > 0 and M > 0 such that for each t I 0 ∈ there exists τ B(t0,l) I such that (2.18) holds with D = I. Using these facts, we can slightly modify∈ the first∩ part of the proof of [99, Theorem 3.3] (with the segment [N, 3N] replaced therein with the set IN I3N , where N = max(L,l,M), and the number τ [kN, (k + 1)N] replaced therein\ by the number τ I I ; k ∈ k ∈ kL \ (k+1)L we need condition IM + I IM ,M > 0 in order to see that the estimate given on [99, l. 2, p. 23] holds⊆ in our framework) in order to obtain that the set of translations FB( + τ): τ I is relatively compact in BUC(B : Y ), which simply implies that {F ( ; ·) is (R, ∈)-multi-almost} periodic, where R denotes the collection of all sequences· in· I. SupposeB now that X = 0 and = X . Then for each integer k N there exist l > 0 and M > 0 such{ } that forB each{ t} I there exists ∈ k k 0 ∈ τ B(t0,l) I such that (2.18) holds with ǫ =1/k and D = I. Let τk be any fixed ∈ ∩ 2 element of I such that τk > Mk + k and (2.18) holds with ǫ = 1/k and D = I (k N). Then the first| part| of proof yields the existence of a subsequence (τ ) of ∈ kl (τk) and a function F ∗ : I Y such that liml + F (t + τkl ) = F ∗(t), uniformly → → ∞ for t I. The mapping F ∗( ) is clearly continuous and now we will prove that F ∗( ) is Bohr∈ almost periodic. Let· ǫ> 0 be fixed, and let l> 0 and M > 0 be such that· 32 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

for each t0 I there exists τ B(t0,l) I such that (2.18) holds with D = I and the number∈ǫ replaced therein∈ by ǫ/3. Let∩ t I be ﬁxed, and let l N be such ∈ 0 ∈ that t + τk M and t + τ + τk M. Then we have | l0 |≥ | l0 |≥

F ∗(t + τ) F ∗(t) −

F ∗(t + τ) F ∗ t + τ + τk + F ∗ t + τ + τk F ∗ t + τk ≤ − l0 l0 − l0 + F ∗ t + τk F ∗(t) 3 (ǫ/ 3) = ǫ, l0 − ≤ ·

as required. The fact that the function t F (t) F ∗(t), t I belongs to the 7→ − ∈ space C0,I (I : Y ) follows trivially by deﬁnition of F ∗( ). The proof of theorem is thereby complete. · Remark 2.35. Suppose that the requirements of Theorem 2.34 hold with X = 0 n { } and = X . Suppose further that, for every t′ R , there exist δ > 0 and l N B { } ∈ 0 ∈ such that the sequence (τk) from the above proof satisﬁes that t′′ + τkl I for all N ∈ ˜ l with l l0 and t′′ B(t′,δ). Then the limit liml + F (t′ + τkl ) := F ∗(t′) ∈ ≥ n ∈ → ∞ exists for all t′ R , which can be easily seen from the estimate ∈

F t′ + τkl F t′ + τkl 1 − 2 Y F t′ + τkl F t′ + τ kl + τ + F t′ + τkl + τ F t′ + τkl + τ ≤ 1 − 1 Y 1 − 2 Y

(2.20)

+ F t′ + τkl + τ F t′ + τkl 2 − 2 Y

3 (ǫ/3) = ǫ, ≤ · which is valid for all numbers τ such that there exist l > 0 and M > 0 such that for each t0 I there exists τ B(t0,l) I such that (2.18) holds with the number ǫ replaced therein∈ with the number∈ ǫ/3∩ and D = I, all suﬃciently large natural numbers l1 and l2 depending on τ, where we have also applied the Cauchy criterion

of convergence for the limit liml + F (t + τkl ) = F ∗(t), uniform in t I and → ∞ ˜ ∈ our assumption I + I I. The function F ∗( ) is clearly continuous and it can be ⊆ · n easily seen that it is Bohr I-almost periodic. Furthermore, if for every t′ R and N ∈ N M1,M2 > 0 there exists l0 such that t′ + τkl τ IM2 for all l with ˜ ∈ − ∈ ∈ l l0, then F ∗( ) is Bohr (I ( I))-almost periodic. Using a simple translation argument,≥ the above· gives an∪ extension− of [99, Theorem 3.4] in Banach spaces. Keeping in mind the proof of Theorem 2.34 and our analysis from Remark 2.35, we can also deduce the following result concerning the extensions of Bohr I′-almost periodic functions:

n Theorem 2.36. Suppose that I′ I R , I + I′ I, the set I′ is unbounded, ⊆ ⊆ ⊆ F : I Y is a uniformly continuous, Bohr I′-almost periodic function, resp. a → n uniformly continuous, I′-uniformly recurrent function, S R is bounded and the following condition holds: ⊆ n (AP-E) For every t′ R , there exists a finite real number M > 0 such that ∈ t′ + I′ I. M ⊆ Define Ω := [(I′ ( I′)) + (I′ ( I′))] S. Then there exists a uniformly con- S ∪ − ∪ − ∪ tinuous, Bohr ΩS-almost periodic, resp. a uniformly continuous, ΩS-uniformly MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 33 recurrent, function F˜ : Rn Y such that F˜(t) = F (t) for all t I; furthermore, → ∈ in almost periodic case, the uniqueness of such a function F˜( ) holds provided that Rn Ω is a bounded set. · \ S Proof. We will prove the theorem only for uniformly continuous, Bohr I′-almost periodic functions. In this case, for each natural number k N there exists a ∈ point τ I′ such that F (t + τ ) F (t) 1/k for all t I and k N; k ∈ k k − kY ≤ ∈ ∈ furthermore, since the set I′ is unbounded, we may assume without loss of generality that limk + τk =+ . Hence, one has limk + F (t+τk)= F (t), uniformly for → ∞ |n | ∞ → ∞ t I. If t′ R , then we can use our assumption on the existence of a finite real ∈ ∈ number M > 0 such that t′ + I′ I, and the corresponding argumentation from M ⊆ Remark 2.35 (see (2.20)), in order to conclude that limk + F (t′ + τk) := F˜(t′) → ∞ exists. The function F˜( ) is clearly uniformly continuous because F ( ) is uniformly · · continuous; furthermore, by construction, we have that F˜(t) = F (t) for all t I. ∈ Now we will prove that the function F˜( ) is Bohr ΩS-almost periodic. Suppose that a number ǫ> 0 is given. Then we know· that there exists l > 0 such that for each t0 I′ there exists τ B(t0,l) I′ such that F (t + τ) F (t) Y ǫ/2 for all ∈ n ∈ ∩ k − k ≤ t I. Let t′ R be fixed. For any such numbers t0 I′ and τ B(t0,l) I′, we have∈ ∈ ∈ ∈ ∩

F˜(t′ + τ) F˜(t′) = lim F (t′ + τ + τk) F (t′ + τk) − Y k + − Y → ∞ t t t Rn lim sup F ( ′ + τ + τk) F ( ′ + τk) Y ǫ/2, ′ . ≤ k + − ≤ ∈ → ∞ This clearly implies n F˜(t′ τ) F˜(t′) ǫ/2, t′ R , − − Y ≤ ∈ which further implies that F ( ) is Bohr ( I′ ( I′))-almost periodic since t0 I′ · ∪ − − ∈ and τ B( t ,l) ( I′). Take now any number τ Ω; then τ can be written − ∈ − 0 ∩ − ∈ as a sum of two elements τ1 and τ2 from the set (I′ ( I′)) and, as a such, it will satisfy ∪ −

F˜(t′ + τ) F˜(t′) = F (t′ + τ + τ ) F (t′) − Y 1 2 − Y F (t′ + τ1 + τ2) F ( t′ + τ1) + F (t′ + τ1) F (t′) 2 (ǫ/2) = ǫ, ≤ − Y − Y ≤ · n for any t′ R . Therefore, F ( ) is Bohr Ω-almost periodic, which clearly implies that F ( ) is∈ Bohr Ω -almost periodic,· as well. · S Assume, finally, that the set Rn Ω is bounded. Then the function F˜( ) is Bohr \ S · almost periodic and any function G˜ : Rn Y which extends the function F ( ) to the whole space and satisfies the above requirements→ must be Bohr almost periodic.· Therefore, G˜( ) is compactly almost automorphic so that the sequence (τ ) has a · k subsequence (τkl ) such that ˜ ˜ Rn lim lim G t′ + τkm τkl = G t′ , t′ . l + m + − ∈ → ∞ → ∞ N Rn ˜ But, for every l and t′ , we have that limm + G(t′ + τkm τkl ) = ∈ ∈ → ∞ − limm + F (t′ + τkm τkl ), so that the final conclusion follows from the almost → ∞ − automorphy of function F˜( ) and the equality · ˜ ˜ lim lim F t′ + τkm τkl = F t′ , l + m + − → ∞ → ∞ which holds pointwise on Rn. 34 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

In particular, if (v , , v ) is a basis of Rn, and 1 ··· n I′ = I = α v + + α v : α 0 for all i N 1 1 ··· n n i ≥ ∈ n is a convex polyhedral in Rn, then we have Ω = Rn and, in this case, there exists a unique Bohr almost periodic extension of the function F : I Y to the whole Euclidean space, so that Proposition 2.18, Proposition 2.19, Propos→ ition 2.20 and Proposition 2.28(v) continue to hold in this framework. We will also state the following important corollary of Theorem 2.36 (see also (2.12)): Corollary 2.37. (The uniqueness theorem for almost periodic functions) Suppose n n that I R , I + I I, condition (AP-E) holds with I′ = I, and R [(I ( I)) + (I ( ⊆I))] is a bounded⊆ set. If F : Rn Y and G : Rn Y are two\ Bohr∪ − almost periodic∪ − functions and F (t)= G(t) for→ all t I, then F (→t)= G(t) for all t Rn. ∈ ∈ Now we would like to propose the following definition: Definition 2.38. Suppose that = I Rn and I + I I. Then we say that I is admissible with respect to the∅ almost 6 ⊆ periodic extensions⊆ if and only if for any complex Banach space Y and for any uniformly continuous, Bohr almost periodic function F : I Y there exists a unique Bohr almost periodic function F˜ : Rn Y → → such that F˜(t)= F (t) for all t I. ∈ By the foregoing, it is clear that any non-empty subset I of Rn which is closed under addition and satisfies that condition (AP-E) holds with I′ = I as well as the set Rn [(I ( I)) + (I ( I))] is bounded (in particular, this holds for convex polyhedrals)\ ∪ has− to be admissible∪ − with respect to the almost periodic extensions. But, it is clear that the set I = [0, ) 0 R2 is not admissible with respect to the almost periodic extensions since∞ there×{ } is ⊆ no almost periodic extension of the function F (x, y)= y, (x, y) I to the whole plane. Further analyses of the notion introduced in Definition 2.38∈ is without scope of this paper. Concerning the item (iii), we will clarify the following result:

n Theorem 2.39. Suppose that 0 I R , I is closed, I + I I and = I′ I. Suppose, further, that the set D ∈I is⊆ unbounded and condition⊆(MD) holds,∅ 6 where:⊆ ⊆ (MD) For each M0 > 0 there exists a finite real number M1 > M0 such that DM t I and I′ t I′ for all t I IM . 1 − ∈ M1 − ∈ ∈ \ 0 Let R denote the collection of all sequences in I, and let denote any family of compact subsets of X. Then any (R, )-multi-almost periodicB function F : I X B × → Y is D-asymptotically Bohr ( , I′)-almost periodic of type 1. B Proof. Let B and ǫ> 0 be fixed. Since I is closed, we have that the restriction of function F (∈B; ) to the set I B is uniformly continuous, which easily implies that the function F· · : I BUC(B× : Y ), given by (2.14), is well defined and uniformly B → continuous. Now we will prove that the function FB( ) has a relatively compact n · range. Denote Kk = [ k, k] for all integers k N. Since the set FB (Kk I) is relatively compact in BUC− (B : Y ) for all integers∈ k N, it suffices to show∩ that ∈ there exists k N such that, for every t I, there exists a point s I Kk such that F (t; x) ∈F (s; x) ǫ for all x ∈B. Suppose the contrary.∈ Then∩ for each k − kY ≤ ∈ k N there exists tk I such that, for every s I Kk, there exists x B with F∈(t ; x) F (s; x) ∈> ǫ. Define b := t for all∈ k∩ N. Due to our assumption,∈ k k − kY k k ∈ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 35

there exists a subsequence (bkl ) of (bk) such that (2.2) holds true. Since 0 I, this implies the existence of a number l (ǫ) N such that ∈ 0 ∈ N F tkl ; x F tkm ; x ǫ, l,m , l, m l0(ǫ), − Y ≤ ∈ ≥ uniformly for x B. In particular, we have ∈ N F tkl ; x F tkl (ǫ) ; x ǫ, l , l l0(ǫ), x B. − 0 Y ≤ ∈ ≥ ∈ Therefore, t k / Kl for all l N with l l0(ǫ), which is a contradiction. Now it l0(ǫ) ∈ ∈ ≥ is quite simply to prove with the help of Cauchy criterion of convergence and the (R, )-multi-almost periodicity of F ( ; ) that the set of translations FB( + τ): τ BI is relatively compact in BUC·(B· : Y ). Applying [99, Theorem{ 2.2;· see 1. and∈ 3.(ii)]} (see also the second part of the proof of [99, Theorem 3.3]), we get that there exist a ﬁnite cover (T )k of the set I and points t T (1 i k) such i i=1 1 i ∈ i ≤ ≤ that FB(t + ω) FB(ti + ω) BUC(B:Y ) ǫ for all ω I and t Ti (1 i k). Let Mk := l := 1− + max t :k 1 i k ≤, and let M ∈> 0 satisfy∈ condition≤ (MD)≤ 0 {| i| ≤ ≤ } 1 with this M . Set M := 2M + l. Suppose that t, t + τ D and t I′ . Then 0 1 ∈ M 0 ∈ M there exists i N such that t T so that τ = t t T t B(t ,l) I′ due ∈ k 0 ∈ i 0 − i ∈ i − i ∈ 0 ∩ to the ﬁrst condition in (MD) and the obvious inequality ti l. Furthermore, the second condition in (MD) implies t t I and therefore| |≤ − i ∈ F (t + τ) F (t) = F (t + t t ) F (t) B − B BUC(B:Y ) B 0 − i − B BUC(B:Y ) = F (t + [t t ]) F (t + [t t ]) ǫ, B 0 − i − B i − i BUC (B:Y ) ≤ which simply completes the proof.

Remark 2.40. (i) In [99, Theorem 3.3], W. M. Ruess and W. H. Summers have considered the situation in which I = [a, ), X = 0 and the set of all translations f( + τ): τ 0 is relatively∞ compact{ in}BUC(I : Y ). But, the obtained{ result· is a simple≥ } consequence of the corresponding result with I = [0, ), which follows from a simple translation argument. In Theorem 2.39, which∞ therefore provides a proper extension of the corresponding result from [99, Theorem 3.3] with D = I′ = I = [0, ), we have decided to consider the collection R of all sequences in I, only.∞ The interested reader may try to further analyze the assumption in which the function F ( ; ) is (R, )-multi-almost periodic with R being the collection of all sequences· · in B n a certain subset I′′ of R which contains 0 and satisﬁes I + I′′ I. (ii) In the multi-dimensional framework, we cannot expect the situa⊆ tion in which D = I′ = I. The main problem lies in the fact that condition (MD) does not hold in this case; but, if I = [0, )n, for example, then the ∞ conclusion of Theorem 2.39 holds for any proper subsector I′ of I, with the meaning clear, and D = I′.

2.3. Diﬀerentiation and integration of (RX , )-multi-almost periodic functions. Concerning the partial derivatives of (D-asymptotically)B (R , )-multi-almost X B periodic functions, we would like to state the following result (by (e1,e2, ,en) we denote the standard basis of Rn) which can be also formulated for the··· notion introduced in Deﬁnition 2.9: 36 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Proposition 2.41. (i) Suppose that the function F ( ; ) is (R , )-multi-almost · · X B periodic, for every sequence which belongs to RX, we have that any its subsequence belongs to RX, the partial derivative ∂F ( ; ) F ( + he ; ) F ( ; ) · · := lim · i · − · · ∂t h 0 h i → exists on I X and it is uniformly continuous on , i.e., × B ( B ) ( ǫ> 0) ( δ > 0) ( t′, t′′ I) ( x B) ∀ ∈B ∀ ∃ ∀ ∈ ∀ ∈ ∂F (t′; x) ∂F (t′′; x) t′ t′′ <δ <ǫ . − ⇒ ∂ti − ∂ti !

∂F ( ; ) Then the function · · is (RX , )-multi-almost periodic. ∂ti B (ii) Suppose that, for every sequence b( ) which belongs to R, any its subsequence belongs to R and T b(l) · I whenever T I and l N. Sup- pose, further, that there exists− a sequence∈ in R whose∈ any subsequence∈ is unbounded as well as that the function F ( ; ) is I-asymptotically (R, )- · · B multi-almost periodic, the partial derivative ∂F (t;x) exists for all t I, ∂ti ∂F ( ;∈) x X and it is uniformly continuous on . Then the function · · is ∈ B ∂ti I-asymptotically (R, )-multi-almost periodic. B Proof. We will prove only (i) because (ii) follows similarly, by appealing to Propo- sition 2.31 in place of Proposition 2.8 (observe that we only need here the uniform ∂F ( ; ) convergence of the sequence of functions (Fj ( ; )) to the function · · as j + , · · ∂ti → ∞ on the individual sets B ; see the proof of Proposition 2.8). The proof immedi- ∈B 1 ately follows from the fact that the sequence (Fj ( ; ) j[F ( +j− ei; ) F ( ; )]) of · · ≡ · · − · ∂F· ( ; ) (RX, )-multi-almost periodic functions converges uniformly to the function · · B ∂ti as j + . This can be shown as in the one-dimesional case, by observing that → ∞ ∂F ( ; ) 1/j ∂F ( + se ; ) ∂F ( ; ) F ( ; ) · · = j · i · · · ds. j · · − ∂t ∂t − ∂t i Z0 " i i #

We continue by stating the following extension of S. M. A. Alsulami’s result [4, Theorem 3.2]: Theorem 2.42. Suppose that the function F : Rn X Y is continuous as well ∂F ( ; ) n × → as that · · : R X Y is a Bohr -almost periodic function, where is any ∂ti × → B B colection of compact subset of X. Suppose that for each B we have that at least one of the following two conditions holds: ∈B

(C1) The Banach space l (B : Y ) does not contain c0; ∞ (C2) The range of function FB ( ), given by (2.14), is weakly relatively compact in l (B : Y ). · ∞ Then the function F ( ; ) is Bohr -almost periodic. · · B Proof. Let B and a = (a , ,a ) Rn be ﬁxed. As easily approved, it suﬃces ∈B 1 ··· n ∈ to show that the mapping FB ( ) is almost periodic. Since we have assumed (C1) or (C2), an application of an old· result of B. Basit (see e.g., [4, Theorem 3.1]) shows that we only need to prove that the function t F (t + a) F (t), t Rn 7→ B − B ∈ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 37

n is almost periodic. So, let (bk) be a sequence in R . Since the mapping

∂F ( ; ) ∂F ( ; ) n · · , , · · : Rn l (B : Y ) ∂t1 B ··· ∂tn B! → ∞ is almost periodic (see Proposition 2.18), there exists a subsequence (bkl ) of (bk) such that ∂F ( ; x) ∂F ( ; x) (2.21) lim sup · s + bkl · s =0, l + x B ∂ti − ∂ti → ∞ ∈ Y n uniformly in s R and 1 i n. Since, for every x B, we have ∈ ≤ ≤ ∈

F (t + a + bkl ) FB (t + bkl ) FB (t + a) FB(t) (x) ( − − − ) h i h i n ai 1 i 1 i = Fti s1 + bk , ,si 1 + b − ,si + bk + v, l ··· − kl l i=1 Z0 X i+1 n si+1 + b + ai+1, ,sn + b + an; x dv kl ··· kl n ai Fti s1, ,si 1,si + v,si+1 + ai+1, ,sn + an; x dv, − ··· − ··· i=1 Z0 X applying (2.21) we simply get that

lim F (t + a + bkl ) FB (t + bkl ) FB (t + a) FB (t) =0, l + − − − → ∞ h i h i l∞(B:Y ) uniformly in t Rn. The proof of the theorem is thereby complete. ∈ Corollary 2.43. Suppose that the function F : Rn Y is continuous as well as ∂F ( ) n → that · : R Y is an almost periodic function. Suppose that at least one of ∂ti → the following two conditions holds:

(C1)’ The Banach space Y does not contain c0; (C2)’ The range of function F ( ) is weakly relatively compact in Y. · Then the function F ( ) is almost periodic. · The proof of following extension of [4, Theorem 3.2], which has already been clarified in the introductory part for the scalar-valued functions, is simple and therefore omitted: Theorem 2.44. Suppose that the function F : Rn X Y is Bohr -almost × → B periodic and for each set B the Banach space l (B : Y ) does not contain c0 or ∈B t ∞ the function H(t ,t , ,t ; x) := 1 F (t,t , ,t ; x) dt, (t ,t , ,t ) Rn, x X 1 2 ··· n 0 2 ··· n 1 2 ··· n ∈ ∈ satisfies that the range of function HB( ), given by (2.14) with F = G therein, is weakly relatively compact in l R (B : Y· ). If there exist Bohr -almost periodic Rn ∞ B functions Gi : X Y such that Fti (t1,t2, ,tn; x) = (Gi)t1 (t1,t2, ,tn; x) is a continuous function× → on Rn for each fixed element··· x X (2 i n),··· then the function H : Rn X Y is Bohr -almost periodic. ∈ ≤ ≤ × → B Corollary 2.45. Suppose that the function F : Rn Y is almost periodic and the → t1 Banach space Y does not contain c or the function H(t ,t , ,t ) := F (t,t , 0 1 2 ··· n 0 2 ·· ,t ) dt, (t ,t , ,t ) Rn satisfies that its range is weakly relatively compact in Y. · n 1 2 ··· n ∈ R 38 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Rn If there exist almost periodic functions Gi : Y such that Fti (t1,t2, ,tn)= R→n ··· (Gi)t1 (t1,t2, ,tn) is a continuous function on , for 2 i n, then the function H : Rn Y ···is almost periodic. ≤ ≤ → The interested reader may try to extend the results of [4, Theorem 4.1, Theorem 4.2], regarding the almost periodicity of function

t1 t2 tn t F (s ,s , ,s ) ds ds ds , t = (t ,t , ,t ) Rn, 7→ ··· 1 2 ··· n 1 2 ··· n 1 2 ··· n ∈ Z0 Z0 Z0 in the above manner. The results about integration of multi-dimensional asymptotically almost periodic functions and related connections with the weak asymptotic almost periodicity, obtained in [100, Section 4], will be reconsidered somewhere else.

2.4. Composition theorems for (R, )-multi-almost periodic type functions. Suppose that F : I X Y andB G : I Y Z are given functions. The main aim of this subsection× is→ to analyze the almost× → periodic properties of the multi-dimensional Nemytskii operator W : I X Z given by × → W (t; x) := G t; F (t; x) , t I, x X. ∈ ∈ We will ﬁrst state the following generalization of [39, Theorem 4.16]; the proof is similar to the proof of the above-mentioned theorem but we will present it for the sake of completeness:

Theorem 2.46. Suppose that F : I X Y is (R, )-multi-almost periodic and × → B G : I Y Z is (R′, ′)-multi-almost periodic, where R′ is a collection of all sequences× b →: N Rn fromB R and all their subsequences, as well as →

(2.22) ′ := F (t; B): B . B ∈B (t I ) [∈ If there exists a ﬁnite constant L> 0 such that

(2.23) G(t; x) G(t; y) L x y , t I, x, y Y, − Z ≤ k − kY ∈ ∈ then the function W ( ; ) is (R, )-multi-almost periodic. · · B 1 2 n Proof. Let the set B and the sequence (bk = (bk,bk, ,bk )) R be given. By ∈B 1 2 n··· ∈ deﬁnition, there exist a subsequence (bk = (b ,b , ,b )) of (bk) and a function l kl kl ··· kl F ∗ : I X Y such that (2.2) holds. Set B′ := t I F (t; B) and b′ := (bkl ). Then × → 1 2 ∈ n there exist a subsequence (bk = (b ,b , ,b )) of (bk ) and a function lm klm klm ···S klm l G∗ : I Y Z such that × → 1 n lim G t + (bk , ,bk ); y G∗(t; y) =0, m + lm ··· lm − Z → ∞ uniformly for y B′ and t I. It suﬃces to show that ∈ ∈ (2.24) 1 n 1 n lim G t + (bk , ,bk ); F t + (bk , ,bk ); x G∗(t; F ∗(t; x)) =0, m + lm ··· lm lm ··· lm − Z → ∞

MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 39

1 n uniformly for x B and t I. Denote τm := (b , ,b ) for all m N. We ∈ ∈ klm ··· klm ∈ have (t I, x B, m N): ∈ ∈ ∈ G t + τm; F t + τm; x G∗(t; F ∗(t; x)) − Z G t + τm; F t + τm; x G(t + τm; F ∗(t; x)) ≤ − Z + G(t + τm; F ∗(t; x)) G∗(t; F ∗(t; x)) − Z

L F t + τm; x F ∗(t; x) + G(t + τm; F ∗(t; x)) G∗(t; F ∗(t; x)) . ≤ − Y − Z

Since x B and F∗(t; x) B ′ for all t I, the limit equality (2.24) holds, uniformly ∈ for x B and t ∈I, which completes ∈ the proof of the theorem. ∈ ∈ Keeping in mind Proposition 2.16, Theorem 2.17, Theorem 2.46 and the fact that a continuous function F : I X Y is (R, )-multi-almost periodic (Bohr × → B -almost periodic) if and only if it is (R, )-multi-almost periodic (Bohr -almost B B B periodic), where := B : B , we can immediately clarify the following: B { ∈ B} Corollary 2.47. Suppose that is any collection of compact subsets of X, F : n B n R X Y is Bohr -almost periodic and G : R Y Z is Bohr ′-almost × → B × → B periodic, where ′ is given by (2.22). If there exists a ﬁnite constant L > 0 such that (2.23) holdsB with I = Rn, then the function W ( ; ) is Bohr -almost periodic. · · B A slight modiﬁcation of the proof of Theorem 2.46 (cf. also the proof of [39, Theorem 3.31]) shows that the following result holds true: Theorem 2.48. Suppose that F : I X Y is (R, )-multi-almost periodic and × → B G : I Y Z is (R′, ′)-multi-almost periodic, where R′ is a collection of all × → n B sequences b : N R from R and all their subsequences, as well as ′ is given by (2.22). Set → B

′ ∗ := F ∗(t; B): t I , B ∈ (bk) R;B ( ) ∈[ ∈B with the meaning clear. If ( B ) ( ǫ> 0) ( δ > 0) ∀ ∈B ∀ ∃ ′ x, y ′ ∗ and x y <δ G(t; x) G(t; y) < ǫ, t I , ∈B ∪B − Y ⇒ − Z ∈ then the function W ( ; ) is (R, )-multi-almost periodic. · · B Now we proceed with the analysis of composition theorems for asymptotically (R, )-multi-almost periodic functions. Our first result is in a close connection with TheoremB 2.46 and [39, Theorem 3.49]: Theorem 2.49. Suppose that the set D Rn is unbounded, F : I X Y ⊆ 0 × → is (R, )-multi-almost periodic, Q0 C0,D, (I X : Y ) and F (t; x) = F0(t; x)+ B ∈ B × Q0(t; x) for all t I and x X. Suppose further that G1 : I Y Z is (R′, ′)- ∈ ∈ × → n B multi-almost periodic, where R′ is a collection of all sequences b : N R from R → and all their subsequences as well as ′ is defined by (2.22) with the function F ( ; ) B · · replaced therein by the function F0( ; ),Q1 C0,D, (I Y : Z), where · · ∈ B1 × (2.25) := F (t; B): B , B1 ∈B (t I ) [∈ 40 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO and G(t; x) = G1(t; x)+ Q1(t; x) for all t I and x Y. If there exists a finite constant L> 0 such that the estimate (2.23)∈holds with∈ the function G( ; ) replaced · · therein by the function G1( ; ), then the function W ( ; ) is D-asymptotically (R, )- multi-almost periodic. · · · · B

Proof. By Theorem 2.46, the function (t; x) G1(t; F0(t; x)), t I, x X is (R, )-multi-almost periodic. Furthermore, we7→ have the following decomp∈ osition∈ B W (t; x)= G (t; F (t; x)) + G (t; F (t; x)) G (t; F (t; x)) + Q (t; F (t; x)), 1 0 1 − 1 0 1 for any t I and x X. Sinceh i ∈ ∈ G1(t; F (t; x)) G1(t; F0(t; x)) L Q0(t; x) , t I, x X, − Z ≤ Y ∈ ∈ we have that the function (t; x) G1 (t; F (t; x)) G1 (t; F0(t; x)), t I, x X 7→ − ∈ ∈ belongs to the space C0,D, (I X : Z). The same holds for the function (t; x) Q (t; F (t; x)), t I, x XB due× to our choice of the collection in (2.25). 7→ 1 ∈ ∈ B1 Corollary 2.50. Suppose that is any collection of compact subsets of X, the set n n B D R is unbounded, F0 : R X Y is Bohr -almost periodic, Q0 C0,D, (I X ⊆: Y ) and F (t; x) = F (t; x)+× Q→(t; x) for allBt I and x X. Suppose∈ furtherB × 0 0 ∈ ∈ that G : I Y Z is Bohr ′-almost periodic, where ′ is defined by (2.22) with 1 × → B B the function F ( ; ) replaced therein by the function F0( ; ),Q1 C0,D, (I Y : Z), · · · · ∈ B1 × where 1 is given by (2.25) and G(t; x)= G1(t; x)+Q1(t; x) for all t I and x Y. If thereB exists a finite constant L > 0 such that the estimate (2.23) ∈holds with∈ the function G( ; ) replaced therein by the function G1( ; ), then the function W ( ; ) is D-asymptotically· · Bohr -almost periodic. · · · · B It seems that we cannot remove the Lipschitz type assumptions used in Corollary 2.47 and Corollary 2.50 without imposing some additional conditions; but, this can be always done in the case that F : Rn Y is Bohr almost periodic and → G : Rn Y Z is Bohr -almost periodic with R(F ) = B ; see e.g., [45, Theorem× 2.11,→ p. 27] and itsB proof for the scalar-valued case.∈ Kee B ping in mind Proposition 2.21, we can state the following extension of this result: Theorem 2.51. Suppose that the set I is admissible with respect to the almost periodic extensions. If F : I Y is uniformly continuous, Bohr almost periodic → and G : I Y Z is Bohr -almost periodic with R(F )= B , then the function W : I ×Z is→ uniformly continuousB and Bohr almost periodic,∈B provided that the function→G( ; ) is uniformly continuous on I B. · · × Proof. It is clear that there exists a unique almost periodic extension F˜ : Rn Y of the function F ( ) to the whole Euclidean space and there exists a unique almost→ · n periodic extension GB : R l (B : Z) of the function GB( ) to the whole Euclidean space since the function→ ∞F ( ) is uniformly continuous and· the function · G( ; ) is uniformly continuousg on I B. Define · · × W˜ (t) := G (t) F˜(t) , t Rn. B ∈ h i ˜ Since W (t) = [GB (t)](F (t)) for allgt I, it is clear that the function W ( ) extends the function W ( ) to the whole Euclidean∈ space. Furthermore, by the· proof of · Theorem 2.36, we have that R(F˜) B as well as that there exists a sequence (τ ) ⊆ k in I such that limk + τk = + and limk + GB (t + τk) = GB (t), uniformly → ∞ | | ∞ → ∞ g MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 41 for t I. In order to see that the function W˜ ( ) is uniformly continuous on Rn, we can use∈ the following calculus ·

W˜ (t′) W˜ (t′′) = GB(t′) F˜(t′) GB(t′′) F˜(t′′) − Y − Y ˜ h i ˜ h i GB (t′) F ( t′) gGB(t′′) F (t′) g ≤ − Y h i ˜ h i ˜ + GgB (t′′) F (t′) gGB(t′′) F (t′′) − Y h i h i supg GB(t′) (x) GgB(t′′) (x) ≤ x B − Y ∈ h i h i ˜ ˜ + lim sup gGB(t′′ + τk)gF (t′) GB (t′′ + τk) F (t′′) k + − Y → ∞ = sup G B(t′) (x) GB(t′′) (x) x B − Y ∈ h i h i ˜ ˜ Rn + lim sup gG t′′ + τk; Fg(t′) G t ′′ + τk; F (t′′) , t′, t′′ , k + − Y ∈ → ∞ the uniform continuity of G ( ) and the uniform continuity of G( ; ) on I B. B · · · × Due to Proposition 2.18, for every ǫ > 0, the functions F˜( ) and GB ( ) can share the same set of ǫ-almost periodsg which is relatively dense in· Rn. Keeping· in mind this fact, we can repeat almost verbatim the above calculus, withg the numbers n n t′ = t R and t′′ = t + τ R so as to conclude that the function W˜ ( ) is Bohr almost∈ periodic on Rn, ﬁnishing∈ the proof. ·

We can also prove the following result which corresponds to Theorem 2.48 and [39, Theorem 3.50]: Theorem 2.52. Suppose that the set D Rn is unbounded, F : I X Y ⊆ 0 × → is (R, )-multi-almost periodic, Q0 C0,D, (I X : Y ) and F (t; x) = F0(t; x)+ B ∈ B × Q0(t; x) for all t I and x X. Suppose further that G1 : I Y Z is (R′, ′)- ∈ ∈ × → n B multi-almost periodic, where R′ is a collection of all sequences b : N R from R → and all their subsequences as well as ′ is deﬁned by (2.22) with the function F ( ; ) B · · replaced therein by the function F0( ; ),Q1 C0,D, 1 (I Y : Z), where 1 is given through (2.25), and G(t; x)= G (t;·x·)+ Q ∈(t; x) forB all×t I and x Y.B Set 1 1 ∈ ∈

:= F (t; B): B F ∗(t; B): t I . B2 0 ∈B ∪ 0 ∈ (t I ) (bk) R;B ( ) [∈ ∈[ ∈B If ( B ) ( ǫ> 0) ( δ > 0) ∀ ∈B ∀ ∃ x, y and x y <δ G (t; x) G (t; y) < ǫ, t I , ∈B1 ∪B2 − Y ⇒ 1 − 1 Z ∈ then the function W ( ; ) is D-asymptotically (R, )-multi-almost periodic. · · B It is clear that Theorem 2.48 and Theorem 2.52 can be reformulated for Bohr -almost periodic functions with small terminological diﬃculties concerning the use Bof limit functions. Similar results can be established for the class of -uniformly recurrent functions ([70]). B 42 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

2.5. Invariance of (R, )-multi-almost periodicity under the actions of convolution products.BThis subsection investigates the invariance of (R, )-multi- almost periodicity under the actions of convolution products. We will useB the following notation: if any component of tuple t = (t1,t2, ,tn) is strictly positive, then we simply write t > 0. ··· We start by stating the following result, which is very similar to [69, Proposition 2.6.11] (the main details of proof for Stepanov generalizations will be given in our forthcoming paper [27]):

Theorem 2.53. Let (R(t))t>0 L(X, Y ) be a strongly continuous operator family ⊆ n such that n R(t) dt < . If f : R X is almost periodic, then the (0, ) k k ∞ → function F : R∞n Y, given by R → t1 t2 tn (2.26) F (t) := R(t s)f(s) ds, t Rn, ··· − ∈ Z−∞ Z−∞ Z−∞ is well-deﬁned and almost periodic. For completeness, we will include the proof of following result:

Theorem 2.54. Let (R(t))t>0 L(X, Y ) be a strongly continuous operator family such that R(t) dt < ⊆. If f : Rn X is a bounded R-almost periodic (0, )n k k ∞ → function, then∞ the function F : Rn Y, given by (2.26), is well-deﬁned and R- R almost periodic. →

1 2 n Proof. Let (bk = (bk,bk, ,bk )) R be given. Then there exist a subsequence 1 2 n ··· ∈ Rn (bkl = (bk ,bk , ,bk )) of (bk) and a function f ∗ : X such that liml + f(t+ l l ··· l → → ∞ 1 n t t Rn Rn (bkl , ,bkl )) = f ∗( ) uniformly for . Hence, the function f ∗ : X is bounded··· and measurable. Clearly, ∈ →

(2.27) F (t)= R(s)f(t s) ds for all t Rn [0, )n − ∈ Z ∞ Rn and the integral [0, )n R(s)f ∗(t s) ds is well deﬁned for all t . Furthermore, ∞ − ∈ R lim R(s)f(t + bkl s) ds = R(s)f ∗(t s) ds l [0, )n − [0, )n − →∞ Z ∞ Z ∞ uniformly for t Rn, because ∈

R(s)f(t + bkl s) ds R(s)f ∗(t s) ds [0, )n − − [0, )n − Z ∞ Z ∞ Y

s t b s t s s t Rn N R( ) f( + kl ) f ∗( ) d , , l , ≤ [0, )n k k · − − − ∈ ∈ Z ∞ which simply yields the required conclusion.

Under certain extra conditions, we can also reformulate the above results for uniformly recurrent functions defined on Rn. On the other hand, it seems that we must slightly strengthen the notion introduced in Definition 2.26 in order to investigate the invariance of D-asymptotical multi-almost periodicity under the actions of “finite” convolution products: MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 43

Deﬁnition 2.55. Suppose that the set D Rn is unbounded, and F : I X Y is a continuous function. Then we say that⊆ F ( ; ) is strongly D-asymptotically× → · · (R, )-multi-almost periodic, resp. strongly D-asymptotically (RX, )-multi-almost periodic,B if and only if there exist an (R, )-multi-almost periodicB function G : Rn X Y , resp. an (R , )-multi-almostB periodic function G : Rn X Y , × → X B × → and a function Q C0,D, (I X : Y ) such that F (t; x)= G(t; x)+ Q(t; x) for all t I and x X. ∈ B × ∈Let I = R∈n. Then it is said that F ( ; ) is strongly asymptotically (R, )-multi- · · B almost periodic, resp. strongly asymptotically (RX, )-multi-almost periodic, if and only if F ( ; ) is strongly Rn-asymptotically (R, )-multi-almostB periodic, resp. n · · B strongly R -asymptotically (RX, )-multi-almost periodic. Finally, if X = 0 , then we also say that the functionB F ( ) is strongly asymptotically R-multi-almost{ } periodic, and so on and so forth. ·

Set, for brevity, It := ( ,t1] ( ,t2] ( ,tn] and Dt := It D for any t = (t ,t , ,t ) R−∞n. Now× we−∞ are ready×···× to formulate−∞ the following result:∩ 1 2 ··· n ∈ Proposition 2.56. Suppose that (R(t))t>0 L(X, Y ) is a strongly continuous operator family such that R(t) dt <⊆ . If f : I X is strongly D- (0, )n k k ∞ → asymptotically almost periodic∞ (bounded strongly D-asymptotically R-multi-almost R periodic),

(2.28) lim R(t s) ds =0 D t ,t It Dc k − k | |→∞ ∈ Z ∩ and for each r> 0 we have

(2.29) lim R(t s) ds =0, D t ,t Dt B(0,r) k − k | |→∞ ∈ Z ∩ then the function

F (t) := R(t s)f(s) ds, t I D − ∈ Z t is strongly D-asymptotically almost periodic (bounded strongly D-asymptotically R- multi-almost periodic).

Proof. We will consider only strong D-asymptotical almost periodicity. By deﬁ- nition, we have the existence of an almost periodic function G : Rn X and a → function Q C0,D(I : X) such that f(t) = g(t)+ q(t) for all t I and x X. Clearly, we have∈ the decomposition ∈ ∈

F (t)= R(t s)g(s) ds + R(t s)q(s) ds R(t s)g(s) ds , t I. It − Dt − − It Dc − ∈ Z "Z Z ∩ # Keeping in mind Theorem 2.53, it suﬃces to show that the function

t R(t s)q(s) ds R(t s)g(s) ds, t I 7→ Dt − − It Dc − ∈ Z Z ∩ belongs to the class C0,D(I : X). For the second addend, this immediately follows from the boundedness of function g( ) and condition (2.28). In order to show this · 44 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO for the first addend, fix a number ǫ > 0. Then there exists r > 0 such that, for every t D with t > r, we have q(t) < ǫ. Furthermore, we have ∈ | | k k R(t s)q(s) ds = R(t s)q(s) ds+ R(t s)q(s) ds, t I. Dt − Dt B(0,r) − Dt B(0,r)c − ∈ Z Z ∩ Z ∩ Clearly, M := supt D q(t) < and ∈ k k ∞ R(t s)q(s) ds M R(t s) ds, t I, Dt B(0,r) − ≤ Dt B(0,r) k − k ∈ Z ∩ Y Z ∩ so that the first addend in the above sum belongs to the class C0,D(I : X) due to condition (2.29). This is also clear for the second addend since

R(t s)q(s) ds ǫ R(s) ds, t I. Dt B(0,r) − ≤ (0, )n k k ∈ Z ∩ Y Z ∞

If D = [α , ) [α , ) [α , ) for some real numbers α , α , , α , 1 ∞ × 2 ∞ ×···× n ∞ 1 2 ··· n then Dt = [α1,t1] [α2,t2] [αn,tn] and conditions (2.28)-(2.29) hold, as × ×···× α easily shown, which implies that the function F (t) = t R(t s)f(s) ds, t I is strongly D-asymptotically almost periodic, where we accept the− notation ∈ R α t1 t2 tn = . · ··· Zt Zα1 Zα2 Zαn 3. Examples and applications to the abstract Volterra integro-differential equations In this section, we apply our results established so far in the analysis of existence and uniqueness of the multi-almost periodic type solutions for various classes of abstract Volterra integro-diﬀerential equations. We start with some illustrative examples and applications: p n n n 1. Let Y be one of the spaces L (R ), C0(R ) or BUC(R ), where 1 p< . It is well known that the Gaussian semigroup ≤ ∞

2 (n/2) |y| n (G(t)F )(x) := 4πt − F (x y)e− 4t dy, t> 0, f Y, x R , Rn − ∈ ∈ Z can be extended to a bounded analytic C0-semigroup of angle π/2, generated by the Laplacian ∆Y acting with its maximal distributional domain in Y ; see [6, Ex- ample 3.7.6] for more details (recall that the semigroup (G(t))t>0 is not strongly n n continuous at zero on L∞(R )). Suppose now that = I′ I = R and F ( ) is ∅ 6 ⊆ · bounded Bohr ( , I′)-almost periodic, resp. bounded ( , I′)-uniformly recurrent. Then for each t B> 0 the function Rn x u(x, t ) (BG(t )F )(x) C is likewise 0 ∋ 7→ 0 ≡ 0 ∈ bounded Bohr ( , I′)-almost periodic, resp. bounded ( , I′)-uniformly recurrent. Towards see this,B it suﬃces to recall the corresponding deﬁnitionsB and observe that, for every x, τ Rn, we have: ∈ 2 (n/2) |y| t u x + τ,t0 u x, t0 4πt0 − F (x y + τ) F (x y) e− 4 0 dy; − ≤ Rn | − − − | Z see also Proposition 2.5 which shows that for each t > 0 the function Rn x 0 u(x, t ) (G(t )F )(x) C is bounded, (R, )-multi-almost periodic provided∋ that7→ 0 ≡ 0 ∈ B MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 45

R is a certain collection of subsets in Rn and the function F ( ) is bounded, (R, )- multi-almost periodic (in such a way, we have extended the· conclusions obtainedB by S. Zaidman [120, Example 4, p. 32] to the multi-dimensional case). Concerning this example, it should be recalled that F. Yang and C. Zhang have analyzed, in [119, Proposition 2.4-Proposition 2.6], the existence and uniqueness of remotely almost periodic solutions of multi-dimensional heat equations following a similar approach; we will further consider the class of multi-dimensional remotely almost periodic functions somewhere else. We can similarly clarify the corresponding results for the Poisson semigroup, which is given by

Γ((n + 1)/2) t dy Rn (T (t)F )(x) := (n+1)/2 F (x y) 2 ·2 (n+1)/2 , t> 0, f Y, x . π Rn − (t + y ) ∈ ∈ Z | | Let us recall that the Fourier transform of the function Γ((n + 1)/2) t x , x Rn, 7→ π(n+1)/2 (t2 + x 2)(n+1)/2 ∈ | | t is given by e− |·| for all t> 0 (see [6, Example 3.7.9] for more details). 2. Set x 1/2 y2/4t E (x, t) := πt − e− dy, x R, t> 0. 1 ∈ Z0 Concerning the homogeneous solutions of the heat equation on domain I := (x, t): x> 0, t> 0 , we would like to recall that F. Tr`eves [115, p. 433] has proposed{ the following formula:} (3.1) x t 1 ∂E1 ∂E1 u(x, t)= (y,t)u0(x y) dy (x, t s)g(s) ds, x> 0, t> 0, 2 x ∂y − − 0 ∂t − Z− Z for the solution of the following mixed initial value problem:

ut(x, t)= uxx(x, t), x> 0, t> 0; (3.2) u(x, 0) = u0(x), x> 0, u(0,t)= g(t), t> 0 (for simplicity, we will not consider here the evolution analogues of (3.1) and the generation of various classes of operator semigroups with the help of this formula). Concerning the existence and uniqueness of multi-dimensional almost periodic type solution of (3.2), we will present only one result which exploits the formula (3.1) with g(t) 0. Suppose that 0 0, t> 0 2 x − Z− 46 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO as well as that for any (x, t) I and (τ , τ ) I we have: ∈ 1 2 ∈ (3.3) x+τ1 2 u0 1/2 y /4(t+τ2) u x + τ1,t + τ2 u(x, t) k k∞ π(t + τ2) − e− dy − ≤ 2 x x Z u − 1/2 2 0 y /4(t+τ2) + k k∞ π(t + τ2) − e− dy 2 (x+τ ) Z− 1 x 2 2 1 1/2 y /4(t+τ2) 1/2 y /4t + π(t + τ2) − e− u0 x + τ1 y πt − e− u0(x y) dy. 2 x − − − Z−

The consideration for both classes is similar and we will analyze the class of D- asymptotically I′-almost periodic functions of type 1 below, only. Let ǫ > 0 be given. Then we know that there exists l> 0 such that for each x0 I0 there exists τ (x l, x + l) I such that ∈ 1 ∈ 0 − 0 ∩ 0 (3.4) u (x + τ ) u (x) ǫ, x 0. 0 1 − 0 ≤ ≥ + 2 ∞ x Furthermore, there exists a ﬁnite real number M0 > 0 such that v e− dx< ǫ for all v M . Let M > 0 be such that ≥ 0 R 2 x 2 1 D (3.5) min ,t >M0 + , provided (x, t) and (x, t) > M. 4(t + T ) ! ǫ ∈ | |

So, let (x, t) D and (x, t) > M. For the ﬁrst addend in (3.3), we can use the estimates ∈ | |

x+τ1 u0 1/2 y2/4(t+τ ) k k∞ π(t + τ ) − e− 2 dy 2 2 Zx (x+τ1)/2√t+τ2 1/2 v2 = π− u0 e− dv k k∞ Zx/2√t+τ2 + 1/2 ∞ v2 π− u0 e− dv ≤ k k∞ Zx/2√t+τ2 + 1/2 ∞ v2 1/2 π− u0 e− dv ǫπ− u0 ; ≤ k k∞ ≤ k k∞ Zx/2√t+T the same estimate can be used for the second addend in (3.3). For the third addend in (3.3), we can use the decomposition (see (3.4))

x 2 2 1 1/2 y /4(t+τ2) 1/2 y /4t π(t + τ2) − e− u0 x + τ1 y πt − e− u0(x y) dy 2 x − − − Z− x 1 1/2 2 y /4(t+τ2) π(t + τ2) − e− u0 x + τ1 y u0(x y) dy, ≤ 2 x − − − Z− x 1 1/2 2 1/2 2 y /4(t+τ2) y /4 t + π(t + τ2) − e− u0 x y πt − e− u0(x y) dy, 2 x − − − Z−

MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 47 which enables one to further continue the computation as follows: x 2 ǫ 1/2 y /4(t+τ2) π(t + τ2) − e− dy ≤ 2 x Z− x 2 2 u0 1/2 y /4(t+τ2) 1/2 y /4t + k k∞ π(t + τ2) − e− πt − e− dy 2 x − Z− + 1/2 ∞ v2 ǫπ− e− dv ≤ Z−∞ x 2 2 u0 1/2 y /4(t+τ2) 1/2 y /4t + k k∞ π(t + τ2) − e− πt − e− dy. 2 x − Z− Applying the substitution v2 = y2/4t, we get that

x 2 2 u0 1/2 y /4(t+τ2) 1/2 y /4t k k∞ π(t + τ2) − e− πt − e− dy 2 x − Z− + ∞ t 2 t 2 1/2 v t τ v π− u0 e− · + 2 e− dv. ≤ k k∞ t + τ2 − Z−∞ r v2x2 Applying the Lagrange mean value theorem for the function x xe− , x 7→ ∈ [ t , 1] (v R is ﬁxed), we obtain t+τ2 ∈ q + ∞ t 2 t 2 1/2 v t+τ v π− u0 e− · 2 e− dv k k∞ t + τ2 − Z−∞ r + 1/2 ∞ t v2ζ2 2 2 π− u0 1 max e− 1+2ζ v dv ≤ k k∞ t + τ2 − ζ [ t ,1] Z−∞ r ∈ q t+τ2 + ∞ t t 2 1/2 t+τ v 2 π− u0 1 e− 2 1+2v dv ≤ k k∞ t + τ2 − Z−∞ r 2 + M 2 t ∞ 0 v 1/2 − M2+T 2 π− u0 1 e 0 1+2v dv. ≤ k k∞ t + τ2 − r Z−∞ The ﬁnal conclusion now follows from the estimate (3.5), by observing that

t τ T 1 = 2 . 2 t + τ2 − t + τ2 + √t + tτ2 ≤ t r

The following observation should be also made: If u0 : [0, ) C is an essentially bounded function, then it can be easily shown that for∞ each→ x > 0 the function t u(x, t), t 0 is bounded and continuous. Furthermore, the calculus established7→ above enables≥ one to see that for each x > 0 the function t u(x, t), t 0 is S-asymptotically ω-periodic for any positive real number ω > 0 (see7→ H. R. Henr´ıquez,≥ M. Pierri, P. T´aboas [53] for the notion). 3. Let Ω=(0, ) Rn. Consider the following Hamilton-Jacobi equation ∞ × ut + H(Du) = 0 in Ω, (3.6) u(0, )= u ( ) in Rn, · 0 · 48 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO where D is the gradient operator in space variable and H is the Hamiltonian. If n we assume that H C(Ω) and u0 BUC(R ), then the Hamilton-Jacobi equation (3.6) has a unique viscosity∈ solution.∈ This result has been proved by M. G. Crandall and P.-L. Lions in [33, Theorem VI.2]:

n Theorem 3.1. Suppose that H C(Ω) and u0 BUC(R ). Then for each ﬁnite ∈ ∈ n real number T > 0 there exists a unique function u C(Ω) Cb([0,T ] R ) which is a viscosity solution of (3.6) and satisﬁes ∈ ∩ ×

lim u( ,t) u0(t) ∞ Rn =0. t 0+ · − L ( ) ↓

Moreover, n (3.7) u(t, x) u(t,y) sup u0(ξ) u0(ξ + y x) , x,y R , t 0. | − |≤ ξ Rn − − ∈ ≥ ∈ As a direct consequence of this result (cf. the estimate (3.7)), we have that the Bohr I′-almost periodicity (I′-uniform recurrence) of function u ( ) implies the 0 · Bohr I′-almost periodicity (I′-uniform recurrence) of viscosity solution x u(t, x), n n 7→ x R for every ﬁxed real number t 0 ( = I′ R ). ∈4. Consider the following Hammerstein≥ ∅ integral 6 ⊆ equation of convolution type on Rn (see e.g., [31, Section 4.3, pp. 170-180] and references cited therein for more details on the subject):

(3.8) y(t)= g(t)+ k(t s)F (s,y(s)) ds, t Rn, Rn − ∈ Z where g : Rn X is almost periodic, F : Rn X X is Bohr -almost periodic with being→ the collection of all compact subsets× → of X, (2.23) holdsB with F = G B 1 n and X = Y = Z, k L (R ) and L k L1(Rn) < 1. Then (3.8) has a unique Bohr almost periodic solution.∈ In actual fact,k k it suﬃces to apply the Banach contraction principle since the mapping

AP Rn : X y g( )+ k( s)F (s,y(s)) ds AP Rn : X ∋ 7→ · Rn ·− ∈ Z is a well deﬁned (L k 1 Rn ))-contraction, as can be easily shown by using Propo- k kL ( sition 2.5, Proposition 2.28(v), Corollary 2.47 and a simple calculation. Suppose now that R is a certain collection of sequences in Rn which satisﬁes that, for every sequence from R, any its subsequence also belongs to R. Let ′ n B be the collection of all bounded subsets of X, let F : R X X be (R, ′)- multi-almost periodic, (2.23) holds with F = G and X =×Y =→Z, k L1(BRn) n ∈ and L k L1(Rn) < 1. Consider the integral equation (3.8), where g : R X is a k k n → bounded R-multi-almost periodic function. Denote by Rb(R : X) the vector space n consisting of all such functions; applying Proposition 2.8, we get that Rb(R : X) is a Banach space equipped with the sup-norm. Taking into account Proposition 2.5 and Theorem 2.46 (with R′ = R), the use of Banach contraction principle enables one to see that the integral equation (3.8) has a unique bounded R-multi-almost periodic solution since the mapping

n n Rb R : X y g( )+ k( s)F (s,y(s)) ds Rb R : X ∋ 7→ · Rn ·− ∈ Z is a well deﬁned (L k 1 Rn ))-contraction. k kL ( MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 49

We can similarly analyze the existence and uniqueness of Bohr almost periodic solutions (bounded R-multi-almost periodic solutions) of the following integral equation

y(t)= g(t)+ F (t, s,y(s)) ds, t Rn, Rn ∈ Z provided that F : R2n X X is Bohr -almost periodic with being the collection of all compact× subsets→ of X (R is aB certain collection of sequencesB in R2n which satisfies that, for every sequence from R, any its subsequence also belongs to R) and there exists a costant L (0, 1) such that ∈ F (t, s, x) F (t, s,y) L x y , t, s Rn; x, y X. k − k≤ k − k ∈ ∈ Details can be left to the interested readers. 5. It is clear that Theorem 2.53 and Theorem 2.54 can be applied in the analysis of existence of almost periodic solutions for an essentially large class of abstract partial differential equations in Banach spaces, constructed in a little bit artificial way (even with fractional derivatives and multivalued linear operators; see [69] for more details). For example, let Ai be the infinitesimal generator of a uniformly integrable, strongly continuous semigroup (Ti(t))t 0 on X (i = 1, 2), and let F : 2 ≥ R X be an almost periodic function. Define T (t1,t2) := T1(t1)T2(t2),t1, t2 0 and→ ≥

u t1,t2 := T1 s1 T2 s2 F t1 s1,t2 s2 ds1 ds2, t1, t2 R. [0, )2 − − ∈ Z ∞ Due to Theorem 2.53 (see also the equation (2.27)), we have that u : R2 X is almost periodic; furthermore, under certain conditions, we can use the Fubini→ theorem, interchange the order of integration and partial derivation, and use a well known result from the one-dimensional case, in order to see that:

∂ ∞ ut2 t1,t2 = T1 s1 T2 s2 F t1 s1,t2 s2 ds2 ds1 ∂t2 [0, ) 0 − − Z ∞ Z ! ∂ ∞ = T1 s1 T2 s2 F t1 s1,t2 s2 ds2 ds1 [0, ) ∂t2 0 − − Z ∞ Z ! ∞ = T1 s1 A2 T2 s2 F t1 s1,t2 s2 ds2 + F t1 s1,t2 ds1 [0, ) 0 − − − Z ∞ Z ! and ∂ ut2t1 t1,t2 = A2u t1,t2 + T1 s1 F t1 s1,t2 ds1 ∂t1 [0, ) − Z ∞ ! ∞ = A u t ,t + A T s F t s ,t ds + F t ,t , t , t R. 2 t1 1 2 1 1 1 1 − 1 2 1 1 2 1 2 ∈ Z0 6. Consider the system of abstract partial diﬀerential equations (1.4) for (s,t) [0, )2, accompanied with the initial condition u(0, 0) = x (since there is no risk for∈ confusion,∞ we will also refer to this problem as (1.4)). In this part, we would like to note that some partial results on the existence and uniqueness of D-asymptotically almost periodic type solutions of this problem can be obtained by using the results from [3, Section 2.1] and some additional analyses. For simplicity, let us assume 50 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO that A and B are two complex matrices of format n n, AB = BA, and A, resp. B, × generate an exponentially decaying, strongly continuous semigroup (T1(s))s 0, resp. ≥ (T2(t))t 0. Let the functions f1(s,t) and f2(s,t) be continuously diﬀerentiable, let ≥ the compatibility condition (f2)s Af2 = (f1)t Bf1 hold (s, t 0), D := 2 − − ≥ (s,t) [0, ) : c1s t c2s for some positive real numbers c1 and c2 , and let the{ following∈ ∞ conditions≤ hold≤ true: }

(i) There exists a ﬁnite real constant M > 0 such that f1(v, 0) + f2(0,ω) | | | 2 |≤ M, provided that v, ω 0 (here and hereafter, (z1, ,zn) := ( z1 + 2 1/2 ≥ | ··· | | | ·· + zn ) if zi C for all i Nn); · | | ∈ 2 n ∈ (ii) The mappings gi : R C are continuous, bounded (i =1, 2) and satisfy that, for every ǫ> 0, there→ exists l> 0 such that any subinterval I of R of length l> 0 contains a number τ I such that, for every s, t 0, we have ∈ ≥ g1(s + τ,t) g1(s,t) ǫ and g2(s,t + τ) g2(s,t) ǫ; | − |≤ | 2 n− |≤ 2 (iii) We have that the function qi : [0, ) C is bounded, qi C0,D([0, ) : Cn) and f (s,t)= g (s,t)+ q (s,t∞) for→ (s,t) [0, )2 and i∈=1, 2. ∞ i i i ∈ ∞ Then there exists a unique classical solution u(s,t) of (1.4) (see [3, Deﬁnition 2.13]), 2 and moreover, there exist a continuous function uap(s,t) on [0, ) and a function 2 n ∞ 2 u0 C0,D([0, ) : C ) such that u(s,t)= uap(s,t)+u0(s,t) for all (s,t) [0, ) , as well∈ as for∞ every ǫ > 0, there exists l > 0 such that any subinterval I∈of [0∞, ) of length l > 0 contains a number τ I such that, for every s, t 0, we have∞ ∈ ≥ uap(s + τ,t) uap(s,t) ǫ and uap(s,t + τ) uap(s,t) ǫ. Keeping in mind [3, Theorem| 2.6,− Theorem|≤ 2.16], all that| we need is− to prove|≤ that the above conclusion holds for the function t u(s,t)= T1(s)T2(t)x + T1(s) T2(t ω)f2(0,ω) dω 0 − s Z + T1(s v)f1(v,t) dv 0 − Z s = T1(s)T2(t)x + T2(t) T1(s v)f1(v, 0) dv 0 − t Z + T (t ω)f (s,ω) dω, s, t 0. 2 − 2 ≥ Z0 Since the quantities s, t and (s,t) are equivalent on D, with the meaning clear, | | our assumption (i) and the exponential decaying of (T1(s))s 0 ((T2(t))t 0) together imply that: ≥ ≥ t lim T1(s)T2(t)x + T1(s) T2(t ω)f2(0,ω) dω (s,t) D, (s,t) − ∈ | |→∞" Z0 # s = lim T1(s)T2(t)x + T2(t) T1(s v)f1(v, 0) dv =0. (s,t) D, (s,t) − ∈ | |→∞" Z0 # Using the decomposition (s, t 0) ≥ s T (s v)f (v,t) dv 1 − 1 Z0 s s 0 = T1(s v)g1(v,t) dv + T1(s v)q(v,t) dv T1(s v)g1(v,t) dv , − 0 − − − Z−∞ "Z Z−∞ # MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 51

t the corresponding decomposition for the term t 0 T2(t ω)f2(s,ω) dω, t 0, our assumptions (ii)-(iii) and the argumentation contained7→ in− the proofs of [69,≥ Propo- R sition 2.6.11, Proposition 2.6.13; Remark 2.6.14], the required conclusion simply follows. Let us note, finally, that there exists a great number of concrete situations where the above assumptions are really satisfied. Suppose, for example, that n =1, A = B = [ 1], − t eξ t f (s,t) = sin s + cos s + − dξ, s, t 0 1 1+ ξ2 ≥ Z0 and 1 f (s,t) = sin s + , s,t 0; 2 1+ t2 ≥ see also [6, Proposition 1.3.5(d)]. Then the above requirements hold. 7. Concerning the big quantity of applications and technics in the existing literature which are devoted to the study of bi-almost periodic functions and bi-almost automorphic functions (see the references cited below and the references cited in [70]), we would like to note first that Z. Hu and Z. Jin [55] have analyzed almost automorphic mild solutions to the following nonautonomous evolution equation d (3.9) u(t)+ f(t,u(t)) = A(t) u(t)+ f(t,u(t)) + g(t,u(t)), t R dt ∈ and its generalization d (3.10) u(t)+ f(t,Bu(t)) = A(t) u(t)+ f(t,Bu(t)) + g(t,Cu(t)), t R, dt ∈ where the domains of operators A(t) are not necessarily densely defined and satisfy the well known Acquistapace-Terreni conditions, the functions f, g : R X X are almost automorphic in the first argument and Lipschitzian in the seco×nd argument→ as well as B and C are bounded linear operators on X. We would like to note that the statements of [55, Lemma 17, Theorem 18], concerning the existence and uniqueness of almost automorphic solutions of the problem (3.9), can be straightforwardly reformulated for almost periodicity by replacing the assumptions (H4) and (H5) with the corresponding almost periodicity assumptions as well as by assuming that the function Γ(t,s) from the condition (H3) of this paper is (R, )-almost periodic with R being the collection of all sequuences in A := (a,a): aB R and X . Similarly, the statements of [55, Lemma 20, Theorem 21],{ concerning∈ }the existence∈ B and uniqueness of almost automorphic solutions of the problem (3.10), can be straightforwardly reformulated for almost periodicity; see also [116, Theorem 26, Theorem 27], where the same comment can be given and the recent result of J. Cao, Z. Huang and G. M. N’Guérékata [23, Theorem 3.6], where a similar modification of condition (H3) for bi-almost periodicity on bounded subsets can be made. We also stimulate the interested reader to reformulate the recent results of A. Chávez, M. Pinto and U. Zavaleta established in the third section and the fourth section of the paper [29], as well as the recent results of Y.-K. Chang, S. Zheng [24, Theorem 4.4] and Z. Xia, D. Wang [117, Theorem 3.1, Theorem 3.2] for almost periodicity. It seems very plausible that all these results can be reformulated for almost periodicity by replacing the notion of bi-almost automorphy (on bounded subsets) in their formulations and proofs with the notion of bi-almost periodicity (on bounded subsets). 52 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

3.1. Application to nonautonomous retarded functional evolution equations. In this subsection, we study the asymptotic behavior of bounded solutions to the following classes of time-delay function evolution equations:

(3.11) u′(t)= A(t)u(t)+ f(t,u(t r)) for t R, − ∈ where r > 0 is the constant time delay, (A(t),D(A(t))), t R is a family of linear closed operators deﬁned on a Banach space X. The nonlinear∈ terms f : R X X is assumed to be bounded and continuous with respect to t and satisfying× → suitable conditions with respect to the second variable. Our aim here is to prove the existence and uniqueness of almost periodic solutions to the equation (3.11). Let (A(t),D(A(t))), t R be the generators of a strongly continuous evolution ∈ family, i.e., (U(t,s))t s L(X) such that for t s the map (t,s) U(t,s) is strongly continuous, ≥U(t,s⊆ )U(s, r) = U(t, r) and≥ U(t,t) = I for 7→t s r such that the following linear Cauchy problem ≥ ≥

u′(t)= A(t)u(t), t s, t, s R, u(s)= x X, ≥ ∈ ∈ has a unique solution (at least in the mild sense) given by u(t) := U(t,s)x. For more details, we refer to [1, 79] and references therein. Let R be the collection of sequences deﬁned in [L1]. Let us deﬁne the mapping F : R2 X X by × −→ F (t,s; x) := U(t,s)f(s, x), t,s R, x X. ∈ ∈ Hypotheses. Here, we list our main hypotheses: (H1) There exists x X such that 0 ∈ t sup F (t,s; x0) ds < . t R k k ∞ ∈ Z−∞ R2 (H2) There exists a function L : (0, ) satisfying supt R R L(t,s) ds < and → ∞ ∈ ∞ R F (t,s; x) F (t,s; y) L(t,s) x y , x,y X, t, s R. k − k≤ k − k ∈ ∈ (H3) The mapping (t,s; x) R R X F (t,s; x) is (R, )-almost periodic (in the sense of [L1] above). ∈ × × 7→ B

Hence, a mild solution of the equation (3.11) is a continuous function u : R X such that −→ t (3.12) u(t)= F (t,s,u(s r)) ds, t R; − ∈ Z−∞ see [29] for more details. Notice that, in view of (H1)-(H2), the integral formula (3.12) is well-defined. Proposition 3.2. Assume that (H1)-(H3) are satisfied. Then the mapping Γ: AP (R : X) C (R : X), given by → b t (3.13) (Γu)(t) := F (t,s,u(s r)) ds, t R, − ∈ Z−∞ is well defined and maps AP (R : X) into itself. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 53

Proof. Let u AP (R : X). Firstly, we check that the mapping Γ( ) is well-deﬁned. In fact, from∈ (H1) and (H2), we have ·

t (Γu)(t) F (t,s,u(s r)) ds k k≤ k − k Z−∞ t t F (t,s,x ) ds + L(t,s) u(s r) x ds ≤ k 0 k k − − 0k Z−∞ Z−∞ t t sup F (t,s,x0) ds + ( u + x0 ) sup L(t,s) ds. ≤ t R k k k k∞ k k t R ∈ Z−∞ ∈ Z−∞ Let (b ,b ) R be deﬁned as in [L1], where (b ) R is any scalar sequence. n n n ⊆ n n ⊆ Since u AP (R : X), there exist a subsequence (an)n (bn)n and a function u∗( ) such that∈ ⊆ ·

lim u(t + an)= u∗(t) uniformly in t R. n →∞ ∈ Moreover, by (H3), for all bounded subset B, there exists a function F ∗( , ; ) such that · · ·

lim F t + an,t + an; x = F ∗(t,s; x) uniformly in t, s R, x B. n →∞ ∈ ∈ Deﬁne the mapping t (Γu)∗(t) := F ∗(t,s,u∗(s r)) ds, t R. − ∈ Z−∞ By Theorem 2.46, the function (t,s) F (t,s; u(s r)), (t,s) R2 is (R, )-almost periodic. That is 7→ − ∈ B

lim F t + an,t + an; u(s + an r) = F ∗ t,s; u∗(s r) uniformly in t, s R. n →∞ − − ∈ A straightforward calculation yields

u(t + a ) u∗(t) k n − k t+an t = F (t + an,s,u(s r)) ds F ∗(t,s,u∗(s r)) ds − − − Z−∞ Z−∞ + ∞ F t + an,t s + an,u(t s + an r) F ∗ t,t s,u ∗(t s r) ds. ≤ 0 − − − − − − − Z Moreover, we have

F t + a ,t s + a ,u(t s + a r) F ∗ t,t s,u∗(t s r) 2L(t,s), n − n − n − − − − − ≤ provided t s and t, s R. Using the dominated convergence theorem, we obtain that ≥ ∈

u(t + a ) u∗(t) 0 as n , uniformly in t R. n − → → ∞ ∈

Theorem 3.3. Suppose that (H1)-(H3) hold. Then, the equation (3.11) has a unique mild almost periodic solution u( ), given by the integral formula (3.12), pro- t · vided that supt R L(t,s) ds < 1. ∈ −∞ R 54 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Proof. Consider the mapping Γ : AP (R : X) Cb(R : X) defined by (3.13). By Proposition 3.2, we have that Γ(AP (R : X)) →AP (R : X). Moreover, for p > 1, we have ⊆ t (Γu)(t) (Γv)(t) F (t,s; u(s r)) F (t,s; v(s r)) ds k − k≤ k − − − k Z−∞ t L(t,s) u(s r) v(s r) ds ≤ k − − − k Z−∞ t sup L(t,s) ds u v , t R. ≤ t R ·k − k∞ ∈ ∈ Z−∞ Therefore, by the Banach contraction principle, the mapping Γ( ) has a unique fixed point u AP (R : X). This proves the result. · ∈ Now we will provide an illustrative application: Example 3.4. Consider the following reaction-diffusion model with time-dependent diffusion and finite delay coefficients given by: ∂u(t, x) ∂2u(t, x) (3.14) = δ(t) + α(t)u(t, x)+ h(t,u(t r, x)), t R, x R, ∂t ∂x2 − ∈ ∈ where δ, α : R R are almost periodic functions such that α(t) ω˜ < 0 and −→ ≤ − there exists δ0 > 0 such that inft R δ(t) δ0. The nonlinear term h : R R R is assumed to be almost periodic∈ with respect≥ to t and L-Lipschitzian with× respect−→ to the second variable with h(t, 0) = 0 for all t R. 6 ∈ Let X := L2(R) and A := ∆ with its maximal distributional domain. It is well known that (A, D(A)) generates a contraction strongly continuous analytic semigroup (T (t))t 0 on X, i.e., T (t) 1 for all t 0. Clearly, the operators ≥ k k≤ ≥ A(t) := δ(t)A + α(t) with D(A(t)) := D(A), t R ∈ generate a strongly continuous evolution family given by t α(τ) dτ t U(t,s) := e s T δ(τ) dτ , t s. Z ≥ Zs Notice that the formula T t δ(τ) dτ for t s, corresponds to the mild solution s ≥ for equation (3.14) with α, fR = 0. This follows by applying the Fourier transform and the diffusion semigroup explicite formula; see e.g., [6]. Set ω :=ω ˜ + λδ0 > 0. It is well known that σ(A) = ( , 0]. Therefore, using the spectral mapping −∞ theorem σ(T (t)) 0 = etσ(A), t 0, we get that \{ } ≥ t t λ δ(τ) dτ − T δ(τ) dτ ϕ e Zs ϕ , ϕ X for some λ 0. s ≤ k k ∈ ≥ Z

Hence, t t α(τ) dτ λ δ(τ) dτ U(t,s)ϕ e s − s φ k k≤ Z Z k k (˜ω+λδ )(t s) ω(t s) e− 0 − ϕ = e− − ϕ , t s, ϕ X. ≤ k k k k ≥ ∈ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 55

Furthermore, we deﬁne f : R X X through × −→ f(t, ϕ)(x) := h(t, ϕ(x)), t, x R, ϕ X. ∈ ∈ It is clear that f( , ) is -almost periodic. We also have: · · B Lemma 3.5. Hypotheses (H1) and (H2) are satisﬁed with

ω(t s) L(t,s) := Le− − , t s. ≥ Proof. Deﬁne F (t,s; ϕ) := U(t,s)f(s, ϕ) for all ϕ X, t s. Then, ∈ ≥ t t F (t,s; 0) ds U(t,s)f(s, 0) ds k k ≤ k k Z−∞ Z−∞ t ω(t s) e− − f(s, 0) ds ≤ k k Z−∞ 1 f( , 0) , t R. ≤ ω k · k∞ ∈

Let ϕ, ψ X. Then the above calculation yields ∈

ω(t s) F (t,s; ϕ) F (t,s; ψ) Le− − ϕ ψ , t R. k − k≤ k − k ∈ This proves the result.

To show the hypothesis (H3), it suﬃces to prove that U( , ) is (R, )-almost periodic. · · B

Proposition 3.6. The mapping (t,s) U(t,s) is (R, )-almost periodic. More- over, F ( , ; ) is (R, )-almost periodic.7→ B · · · B

Proof. Let B X be bounded and (bk,bk)k 0 R be any sequence, where (bk)k 0 is any scalar sequence.⊆ Since δ AP (R) and≥α ⊆ AP (R), it follows that there exists≥ ∈ ∈ a subsequence (ak)k 0 (bk)k 0 and measurable functions δ˜ andα ˜ such that ≥ ⊆ ≥

lim δ(t + ak)= δ˜(t) uniformly in t R, k ∈ and

lim α(t + ak)=˜α(t) uniformly in t R. k ∈

Let ϕ B. Deﬁne ∈ t α˜(τ) dτ t U˜(t,s)ϕ := e s T δ˜(τ) dτ ϕ for all t s. Z ≥ Zs 56 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

Thus, by the semigroup property of (T (t))t 0, we have ≥ U t + a ,s + a ϕ U˜(t,s)ϕ k k k − k t+a k t α(τ) dτ t+ak α˜(τ) dτ t s+a ˜ = eZ k T δ(τ) dτ ϕ eZs T δ(τ) dτ ϕ s+ak − s Z Z t t

α(τ + ak) dτ t α˜(τ) dτ t ˜ = eZs T δ(τ + ak) dτ ϕ eZs T δ(τ) dτ ϕ s − s Z Z t

α(τ + ak) dτ t t ˜ eZs T δ(τ + ak) dτ ϕ T δ(τ) dτ ϕ ≤ s − s Z Z t t

α(τ + ak) dτ α˜(τ) dτ t ˜ + eZs eZs  T δ(τ) dτ ϕ . − s Z     Therefore, by the strong continuity of the semigroup, we obtain that t α(τ + ak) dτ t t ˜ eZs T δ(τ + ak) dτ ϕ T δ(τ) dτ ϕ 0 as k , s − s → → ∞ Z Z uniformly in t, s. Furthermore, we have that

t t α(τ + ak) dτ α˜(τ) dτ t ˜ eZs eZs  T δ(τ) dτ ϕ − s Z    t t 

α(τ + ak) dτ α˜(τ) dτ e s e s ϕ ≤  Z − Z  k k   0 as k , uniformly in t, s.  → → ∞ So, from Theorem 2.45, we obtain that F ( , ; ) satisﬁes (H3). · · · Hence, the following result can be deduced by applying Theorem 3.3: Theorem 3.7. Assume that L<ω. Then the model (3.14) admits a unique almost periodic solution.

4. Appendix In the appendix section, we will separately consider two intriguing topics: n- parameter strongly continuous semigroups and applications of multivariate trigonometric polynomials in approximations of periodic functions of several real variables.

4.1. n-Parameter strongly continuous semigroups. The notion of a semigroup over topological monoid naturally generalizes the notion of usually considered one-parameter strongly continuous semigroup of bounded linear operators. This broad class of semigroups includs the semigroups defined on the set [0, )n, ∞ MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 57 which are oftenly called multiparameter semigroups (this class of semigroups was introduced by E. Hille in 1944; see [54] and [22]). So, let (M, +) be a topological monoid with the neutral element 0. By a semigroup over a Banach space X defined over a monoid M we mean any operator- valued function T : M L(X) such that T (0) = I and T (t + s) = T (t)T (s) for → all t, s M. A semigroup T : M L(X), which we also denote by (T (t))t M , is called strongly∈ continuous if and only→ if the mapping t T (t)x, t M is strongly∈ continuous at t = 0. In [34], R. Dahya has extended a7→ well known∈ result saying that every weakly continuous semigroup (T (t))t 0 is strongly continuous to the semigroups over topological monoids. ≥ n Further on, if M = [0, ) and (T (t))t M is strongly continuous, then we de- ∞ ∈ note by Ti(t) := T (tei),t 0 the corresponding one-parameter strongly continuous semigroup (i N ). Let≥ T ( ) be generated by A (i N ). Then the tuple ∈ n i · i ∈ n (A1, A2, , An) is said to be the infinitesimal generator of (T (t))t [0, )n . We can ··· ∈ ∞ simply prove that (T (t))t [0, )n is strongly continuous (uniformly continuous) if ∈ ∞ and only if for each i Nn the one-parameter semigroup (Ti(t))t 0 is strongly con- ∈ ≥ tinuous (uniformly continuous). A strongly continuous semigroup (T (t))t [0, )n is always exponentially bounded in the sense that there exist two finite real constants∈ ∞ ω t n M 1 and ω > 0 such that T (t) Me | | for all t [0, ) ; see e.g., Theorem 1 in the≥ paper [8] by V. A. Babalola,k k≤ where the author has∈ considered∞ generalizations of the Hille-Yosida-Phillips theorem for abstract-parameter semigroups. Further- more, the following holds ([22], [54]): n (i) If i Nn and x D(Ai), then T (t)x D(Ai) for all t [0, ) and ∈ ∈ n ∈ ∈ ∞ T (t)Aix = AiT (t)x, t [0, ) ; D(A ) is dense in∈ X;∞ (ii) i Nn i (iii) If i,∈ j N , then D(A ) D(A A ) D(A A ) and for each x D(A ) T ∈ n i ∩ i j ⊆ j i ∈ i ∩ D(AiAj ) we have AiAj x = Aj Aix. n Set I := [0,T1] [0,T2] [0,Tn] for some (T1,T2, ,Tn) (0, ) . The well-posedness of the× following×···× homogeneous n-parameter abstract··· Cauchy∈ ∞ problem 1 u C(I : X) C (I◦ : X), ∈ ∩ (ACP ): u (t)= A u(t)+ F (t), t I, 1 i n,  ti i i ∈ ≤ ≤ u(0) = x, x i Nn D(Ai),  ∈ ∈ has been analyzed by M. Janfada and A. NiknamT in [59, Theorem 2.1], who proved that, if (A , A , , A ) is the infinitesimal generator of a strongly continuous 1 2 ··· n semigroup (T (t))t [0, )n , then (ACP) has a unique solution u(t) = T (t)x, t I ∈ ∞ ∈ for all initial values x i Nn D(Ai); a converse of this statement has been analyzed ∈ ∈ in [59, Theorem 2.2] (see also Theorem 2.5 in this paper, where the authors have shown a negative resultT about the uniqueness of solutions of the abstract Cauchy problem (ACP) as well as the paper [64] where the authors have considered the special case n = 2 by using the notion of a two-parameter integrated semigroup; the special case n = 2 has been also analyzed in [58] and [66], where the authors have introduced the notion of a two-parameter C-regularized semigroup and the notion of a two-parameter N-times integrated semigroup, respectively, where the operator C L(X) is injective and N N). A Hille-Yosida type theorem for multiparameter semigroups∈ has been analyzed∈ by Yu. S. Mishura and A. S. Lavréntev in [84], while the different notions of generators of two parameter semigroups have been analyzed by Sh. Al-Sharif, R. Khalil [5] and S. Arora, S. Sharda [7]. See also an interesting 58 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO generalization of R. Datko’s result [56, Theorem 1.3] to nonlinear two parameter semigroups established by A. Ichikawa in [56, Theorem 2.1]. To the best knowledge of the authors, the notion of an n-parameter α-times integrated semigroup, the notion of an n-parameter C-regularized semigroup and the notion of an n-parameter α-times integrated C-regularized semigroup have not been introduced so far. The degenerate case also remains still very unexplored, even for degenerate two-parameter strongly continuous semigroups (in the existing literature, we have not been able to locate any research paper regarding this problematic). Concerning some applications of multiparameter semigroups in the analysis of multi-dimensional almost periodic type solutions of the abstract partial differential equations and their systems, the situation is similar: there is only a few research papers devoted to the study of variation of parameters formulae for multiparameter semigroups (fractional multiparameter resolvent families have not been analyzed elsewhere, as well) but the existence and uniqueness of almost periodic type solutions of the abstract partial differential equations and their systems have not still been analyzed with the help of the theory of multiparameter semigroups. With regards to this intriguing topic, we want to mention only the investigation of M. Khanehgir, M. Janfada and A. Niknam [65], where the authors have examined the well-posedness of the following inhomogeneous abstract Cauchy problem 1 u C(I : X) C (I· : X), ∈ ∩ (ACP ) : u (t)= A u(t)+ F (t), t I, i =1, 2, 2  ti i ∈ u(0) = x, x i N D(Ai),  ∈ ∈ 2 where the pair (A1, A2) generates a stronglyT continuous semigroup (T (t1,t2))t1 0,t2 0 on X. In their analysis, the same inhomogeneity has appeared for i = 1 and≥ i =≥ 2, which forces a very unpleasant condition F t ,t F t ,t = A A F t ,t , t , t > 0. t1 1 2 − t2 1 2 1 − 2 1 2 1 2 Despite of this, the following formula for a solution of (ACP )2 has been proposed: t1 t2 u t ,t = T t ,t x + T t t,t F (t, 0) dt + T 0,t t F t , 0 dt, 1 2 1 2 1 − 2 − 2 1 Z0 Z0 for any t1, t2 > 0. The interested readers may try to formulate some results about the asymptotically almost periodic solutions of this solution provided that the semigroup (T (t1,t2))t1 0,t2 0 is exponentially decaying and the function F ( ; ) is asymptotically almost≥ periodic≥ in a certain sense. · · The multiparameter semigroups play an important role in the study of the approximations of periodic functions of several real variables (A. P. Terehin [114]) and the study of diffusion equations in space-time dynamics (S. V. Zelik [121]). 4.2. 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, presents 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 the research monographs [41] by B. Dumitrescu, [42] by D. Dung, V. Temlyakov, T. Ullrich, [111] and [113] by V. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 59

Temlyakov (see also the list of references given in [70]; the appendix to the third chapter). Here we will briefly explain the main resuls and ideas of papers [9] by A. M.- B. Babayev, [91] by L. Pfister, Y. Bresler and [62] by L. Kämmerer, D. Potts, T. Volkmer. If f : R R belongs to the space C of all real continuous functions → 2π of period 2π, then it is well known that the Vallee-Poussin singular integral Vk( ), defined by · π 1 (2k)!! 2k t x Vk(x) := f(t)cos − dt, x R (k N), 2π (2k 1)!! π 2 ∈ ∈ − Z− has the property that limk + Vk(x) = f(x), uniformly for x R. This result of Vallee-Poussin improves the→ classical∞ Weierstrass second theorem∈ on the density of trigonometric polynomials in the spaces of continuous functions. Two-dimensional Vallee-Poussin singular integral V ( ), defined for each x R by (k, m N): k,m · ∈ ∈ π 1 (2k)!! (2m)!! 2k t x 2k τ y Vk,m(x, y) := 2 f(t, τ)cos − cos − dτ, (2π) (2k 1)!! (2m 1)!! π 2 2 − − Z− has been introduced in [9, Definition 2]. In the same paper, the author has shown 2 that limk + limm + Vk,m(x, y) = f(x, y), uniformly for (x, y) R as well as → ∞ → ∞ ∈ that Vk,m(x, y) is a trigonometric polynomial in variables x and y, for all k, m N (see [9, Theorem 2]). For proving the last fact, the author has 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) − R2, may be represented− in the form − ∈ m n T (x, y)= A + a cos kx cos ly + b cos kx + c cos ly , (x, y) R2, kl kl kl ∈ k=1 l=1 X X which does not contain the sines of multiple arcs (see [9, Lemma 3, Lemma 4]). We would like to note that the obtained results continue to hold in the vector-valued case. In [91], L. Pfister and Y. Bresler have investigated bounding multivariate trigonometric polynomials and given some applications to the problems of filter bank de- sign. Denote n i k,λ n Zn N Tl := span e h i : λ [0, 2π] , k , k := sup ki l (l ) ∈ ∈ k k 1 i n ≤ ∈ n ≤ ≤ o and Θ := 2πk/N : k =0, 1, ,N 1 (N N). N ··· − ∈ For any N N and forn any real-valued trigonometrico polynomial ∈ l l l i k,λ n P (λ) := ck1k2 kn e h i Tl , ··· ··· ∈ k = l k = l kn= l 1X− 2X− X− i.e., the multivariate trigonometric polynomial P ( ) for which k · ck1,k2, ,kn = c∗ k , k , , kn ( l; the star denotes complex conjugation), we ··· − 1 − 2 ··· − k k ≤ 60 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO define P := max P (λ) and P N n, := max P (λ) . k k∞ λ [0,2π]n | | k k ∞ λ Θn | | ∈ ∈ N Then two well known results of the approximation theory state that n 1 1 P P (2l+1)n, 1+4π− +2π− ln(2l + 1) k k∞ ≤k k ∞ and, in the one-dimensional case,

P N, P k k ∞ . k k∞ ≤ 1 (2l/N) − In [91, Theorem 1], the authors have shownp that the assumptions N 2l + 1 and n ≥ (n/2) α = 2l/N yield the existence of a positive real constant C [0, (1 α)− ] N,l ∈ − such that n n P CN,l P N n, , P Tl ∞ ∞ n k k ≤ k k n ∈ and C P N n, P = O(ln/N), P T . In order to acheive their aims, N,lk k ∞ −k k∞ ∈ l the authors have used the de la Vall´ee-Poussin kernels and the tensor products of one-dimensional Dirichlet kernels. In [62], the authors have 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 so-called method of sampling of multivariate functions on rank-1 lattices. In their analysis, the authors have used periodic Sobolev spaces of generalized mixed smoothness and 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.

References

[1] P. Acquistapace, B. Terreni, A unified approach to abstract linear nonautonomous parabolic equations, Rend. Sem. Mat. Univ. Padova 78 (1987), 47–107. [2] E. M. Alfsen, P. Holm, A note in compact representations and almost periodicity in topological groups, Math. Scan. 10 (1962), 127–136. [3] S. M. A. Alsulami, On Evolution Equations In Banach Spaces And Commuting Semigroups. PhD. Thesis, Ohio University, 2005. [4] S. M. A. Alsulami, On the integral of almost periodic functions of several variables, Applied Math. Sci. 6 (2012), 3615–3622. [5] Sh. Al-Sharif, R. Khalil, On the generator of two parameter semigroups, Appl. Math. Comput. 156 (2004), 403–414. [6] W. Arendt, C. J. K. Batty, M. Hieber, F. Neubrander, Vector-valued Laplace Transforms and Cauchy Problems, Birkhäuser/Springer Basel AG, Basel, 2001. [7] S. Arora, S. Sharda, On two parameter semigroup of operators, Lecture Notes in Mathematics, 1511, Proceedings of a Conference held in Memory of U.N. Singh, New Delhi, India, 2–6 August, 1990. [8] V. A. Babalola, Generation of abstract-parameter semigroups, Proc. Amer. Math. Soc. 48 (1975), 173–178. [9] A. M.-B. Babayev, Approximations of periodic functions of two variables by trigonometric polynomials, Trans. NAS Azerbaijan 34 (2014), 21–28. [10] H. Bart, S. Goldberg, Characterizations of almost periodic strongly continuous groups and semigroups, Math. Ann. 236 (1978), 105–116. [11] B. Basit, Generalization of two theorems of M. I. Kadets concerning the indefinite integral of abstract almost periodic functions, Math. Notes 9 (1971), 181–186. [12] J. F. Berglund, On extending almost periodic functions, Pacific J. Math. 33 (1970), 281–289. [13] J. F. Berglund, K. H. Hofmann, Compact Semitopological Semigroups and Weakly Almost Periodic Functions, Springer-Verlag, Berlin, 1967. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 61

[14] J. F. Berglund, H. D. Junghenn, P. Milnes, Compact Right Topological Semigroups and Generalizations of Almost Periodicity, Springer-Verlag, Berlin, 1978. [15] A. S. Besicovitch, Almost Periodic Functions, Dover Publ, New York, 1954. [16] S. Bochner, Boundary values of analytic functions in several variables and of almost periodic functions, Annals of Math. 45 (1944), 708–722. [17] S. Bochner, A new approach to almost periodicity, Proc. Nat. Acad. Sci. U.S.A. 48 (1962), 2039–2043. [18] S. Bochner, J. von Neumann, Almost-periodic functions in a group. II∗, Trans. Amer. Math. Soc. 37 (1935), 21–50. [19] H. Bohr, Zur theorie der fastperiodischen Funktionen I; II; III, Acta Math. 45 (1924), 29–127; H6 (1925), 101–214; HT (1926), 237–281. [20] H. Bohr, Almost Periodic Functions, Dover Publ., New York, 2018. [21] R. B. Burckel, Weakly Almost Periodic Functions on Semigroups, Gordon and Breach, New York, 1970. [22] P. L. Butzer, H. Berens, Semi-group of Operators and Approximation, Springer-Verlag, New York, 1967. [23] J. Cao, Z. Huang, G. M. N’Guérékata, Existence of asymptotically almost automorphic mild solutions for nonautonomous semilinear evoultion equations, Electronic J. Diff. Equ. 37 (2018), 1–16. [24] Y.-K. Chang, S. Zheng, Weighted pseudo almost automorphic solutions to functional differential equations with infinite delay, Electonic J. Diff. Equ., vol. 2016 (2016), no. 286, 1–19. [25] B. Chaouchi, M. Kostić, S. Pilipović, D. Velinov, Semi-Bloch periodic functions, semi-anti- periodic functions and applications, Chelj. Phy. Math. J. 5 (2020), 243–255. [26] A. Chávez, S. Castillo, M. Pinto, Discontinuous almost automorphic functions and almost automorphic solutions of differential equations with piecewise constant arguments, Electron. J. Differ. Equ. Conf. 56 (2014), 1–13. [27] A. Chávez, M. Kostić, M. Pinto, Stepanov (R, B)-multi-almost periodic functions in Lebesgue spaces with variable exponents, preprint. [28] A. Chávez, M. Kostić, M. Pinto, (R, B)-Multi-almost automorphic functions and applications, preprint. [29] A. Chávez, M. Pinto, U. Zavaleta, On almost automorphic type solutions of abstract integral equations, a Bohr-Neugebauer type property and some applications, J. Math. Anal. Appl., in press. [30] C. Corduneanu, Almost Periodic Functions, Wiley, New York, 1968. [31] C. Corduneanu, Integral Equations and Applications, Cambridge University Press, Cam- bridge, 1991. [32] A. Coronel, M. Pinto, D. Sepúlveda, Weighted pseudo almost periodic functions, convolutions and abstract integral equations, J. Math. Anal. Appl. 435 (2016), 1382–1399. [33] M. G. Crandall, P.-L. Lions, Viscosity solutions of Hamilton-Jacobi equations, Trans. Amer. Math. Soc. 277 (1983), 1–42. [34] R. Dahya, On the strong continuity of generalised semigroups, preprint. arXiv:2009:04393. [35] R. De Arcangelis, A general homogenization result for almost periodic functionals, J. Math. Anal. Appl. 156 (1991), 358–380. [36] E. De Giorgi, Sulla convergenza di alcune successioni di integrali del tipo dell’area, Rend. Mar. 8 (1975), 277–294. [37] K. deLeeuw, I. Glicksberg, Applications of almost periodic compactifications, Acta Math. 105 (1961), 63–97. [38] K. deLeeuw, I. Glicksberg, Almost periodic functions on semigroups, Acta Math. 105 (1961), 99–140. [39] T. Diagana, Almost Automorphic Type and Almost Periodic Type Functions in Abstract Spaces, Springer-Verlag, New York, 2013. [40] H.-S. Ding, Q.-L. Liu, J. J. Nieto, Existence of positive almost periodic solutions to a class of hematopoiesis model, Appl. Math. Modelling 40 (2016), 3289–3297. [41] B. Dumitrescu, Positive Trigonometric Polynomials and Signal Processing Applications, Springer International Publishing, Cham, 2017. [42] D. Dung, V. Temlyakov, T. Ullrich, Hyperbolic Cross Approximation, Advanced Courses in Mathematics, CRM Barcelona, Birkhäuser Basel, Basel, 2018. 62 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

[43] K. J. Engel, R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, Springer- Verlag, Berlin, 2000. [44] S. Favorov, O. Udodova, Almost periodic functions in finite-dimensional space with the spectrum in a cone, preprint. arXiv:0701820. [45] A. M. Fink, Almost Periodic Differential Equations, Springer-Verlag, Berlin, 1974. [46] M. Fréchet, Fonctions asymptotiquement presque périodiques, Rev. Sci. (Rev. Rose Illustrée) 79 (1941), 341–354. [47] S. Goldberg and P. Irwin, Weakly almost periodic vector-valued functions, Dissertationes Math. (Rozprawy Mat.) 157 (1979), 1–42. [48] G. M. N’Guérékata, Almost Automorphic and Almost Periodic Functions in Abstract Spaces, Kluwer Acad. Publ, Dordrecht, 2001. [49] G. M. N’Guérékata, M. A. Latif, M. I. Bhatti, Almost periodic functions defined on Rn with values in p-Fréchet spaces, 0 Novi Sad J. Math. 46 (2016), 135–143. [52] M. F. Hasler, G. M. N’Guérékata, Bloch-periodic functions and some applications, Nonlinear Studies 21 (2014), 21–30. [53] H. R. Henr´ıquez, M. Pierri, P. Táboas, On S-asymptotically ω-periodic functions on Banach spaces and applications, J. Math. Appl. Anal. 343 (2008), 1119–1130. [54] E. Hille, R. S. Phillips, Functional Analysis and Semi-Groups, American Math. Society, New York, 1948. [55] Z. Hu, Z. Jin, Almost automorphic mild solutions to neutral parabolic nonautonomous evolution equations with nondense domain, Hindawi Publishing Corporation Discrete Dyn. Nat. Soc., Volume 2013, Article ID 183420, 10 pages. http://dx.doi.org/10.1155/2013/183420. [56] A. Ichikawa, Equivalence of Lp stability and exponential stability for a class of nonlinear semigroups, Nonlinear Anal. 8 (1984), 805–815. [57] H. Ishii, Almost periodic homogenization of Hamilton-Jacobi equations, International Con- ference on Differential Equations, Berlin, 1999. Equadiff. 99 (2000), 600–605. [58] M. Janfada, On two-parameter regularized semigroups and the Cauchy problem, Abstract Appl. Anal., vol. 2009, Article ID 415847, 15 pages, doi:10.1155/2009/415847. [59] M. Janfada, A. Niknam, On the n-parameters abstract Cauchy problem, Bul. Aus. Math. Soc. 69 (2004), 383–394. [60] M. Janfada, A. Niknam, On two-parameter dynamical systems, J. Sci. Islamic Rep. Iran 15 (2004), 163–169. [61] J.-P. Kahane, Sur les fonctions moyenne-périodiques bornées, Ann. Inst. Fourier (1957), 293– 314. [62] L. Kämmerer, D. Potts, T. Volkmer, Approximation of multivariate periodic functions by trigonometric polynomials based on rank-1 lattice sampling, J. Complexity 31 (2015), 543– 576. [63] T. Kayano, Almost periodic functions on topological semigroups, Mem. Fac. Sci., Shimane Univ. 13 (1979), 45–53. [64] M. Khanehgir, R. Ghorbanpoor, Resolvent positive operator and two-parameter abstract Cauchy problem, Int. Math. Forum 2 (2007), 2481–2490. [65] M. Khanehgir, M. Janfada, A. Niknam, Inhomogeneous two-parameter abstract Cauchy problems, Bulletin Iranian Math. Soc. 31 (2005), 71–81. [66] M. Khanehgir, F. Roohei, E. G. Moghaddam, On two-parameter N-times integrated semigroups, Int. J. Contemp. Math. Sciences 7 (2012), 467 –475. [67] Yu. Kh. Khasanov, On approximation of almost periodic functions of two real variables, Izv. Vuzov. Matem. (Russian Math.) 12 (2010), 82–86 (in Russian). [68] Yu. Kh. Khasanov, On approximation of almost periodic functions by some sums, Vladikavkaz. Mat. Zh. 19 (2017), 76–85 (in Russian). [69] M. Kostić, Almost Periodic and Almost Automorphic Type Solutions to Integro-Differential Equations, W. de Gruyter, Berlin, 2019. [70] M. Kostić, Selected Topics in Almost Periodicity, Book manuscript, 2020. [71] A. S. Kovanko, Sur l’approximation des fonctions presque-périodiques généralisées, Mat. Sb. 36 (1929), 409–416. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 63

[72] H. C. Koyuncuoˇglu, M. Adıvar, Almost periodic solutions of Volterra difference systems, Demonstratio Math. 50 (2017), 320–329. [73] M. A. Latif, M. I. Bhatti, Almost periodic functions defined on Rn with values in locally convex spaces, J. Prime Res. Math. 4 (2008), 181–194. [74] M. A. Latif, M. I. Bhatti, Almost periodic functions defined on Rn with values in fuzzy setting, Punjab Univ. J. Math. (Lahore) 39 (2007), 19–27. [75] M. Levitan, Almost Periodic Functions, G.I.T.T.L., Moscow, 1953 (in Russian). [76] B. M. Levitan, V. V. Zhikov, Almost Periodic Functions and Differential Equations, Cam- bridge Univ. Press, London, 1982. [77] P. L. Lions, Generalized Solutions of Hamilton-Jacobi Equations, Pitman, London, 1982. [78] L. H. Loomis, The spectral characterization of a class of almost periodic functions, Ann. of Math. 72 (1960), 362–368. [79] A. Lunardi, Analytic Semigroups and Optimal Regularity in Parabolic Problems, Birkhäuser- Verlag, Basel, 1995. [80] I. Marcinkewisz, Sur une method remarquable de soummation des series doubles de Fourier, Collected papers (1964), 527–538, Warszawa. [81] Y. Meyer, Mean-periodic functions and irregular sampling, Trans. R. Norw. Soc. Sci. Lett. 1 (2018), 5–23. [82] P. Milnes, Almost automorphic functions and totally bounded groups, Rocky Mount J. Math. 7 (1977), 231–250. [83] P. Milnes, Almost periodic functions on semitopological semigroups, Rocky Mount J. Math. 12 (1982), 265–269. [84] Yu. S. Mishura, A. S. Lavréntev, The Hille-Yosida theorem for resolvent operators of multiparameter semigroups, Ukrainian Math. J. 48 (1996), 65–74. [85] H. Miyake, W. Takahashi, Vector-valued weakly almost periodic functions and mean ergodic theorems in Banach spaces, J. Nonlinear Convex Anal. 9 (2008), 255–272. [86] H. Miyake, W. Takahashi, Mean ergodic theorems for almost periodic semigroups, Taiwanese J. Math. 14 (2010), 1079–1091. [87] E.` Muhamadiev, M. Nazarov, Regularity of almost periodic solutions of Poisson’s equation, Ufa Math. J. 11 (2019), 3–14. [88] J. V. Neumann, Almost-periodic functions in a group. I∗, Trans. Amer. Math. Soc. 26 (1934), 445–492. [89] A. A. Pankov, Bounded and Almost Periodic Solutions of Nonlinear Operator Differential Equations, Kluwer Acad. Publ., Dordrecht, 1990. [90] A. I. Perov, T. K. Kacaran, Theorems of Favard and Bohr–Neugebauer for multidimensional differential equations, Russian Math. 5 (1968), 62–70. [91] L. Pfister, Y. Bresler, Bounding multivariate trigonometric polynomials, IEEE Trans. Signal Processing 67 (2019), 700–707. doi: 10.1109/TSP.2018.2883925. [92] M. Pinto, Pseudo-almost periodic solutions of neutral integral and differential equations with applications, Nonlinear Anal. 72 (2010), 4377–4383. [93] M. Pinto, C. Vidal, Pseudo-almost-periodic solutions for delayed differential equations with integrable dichotomies and bi-almost-periodic Green functions, Math. Methods Appl. Sci. 40 (2017), 6998–7012. [94] B. I. Ptashnic, P. I. Shtabalyuk, A boundary value problem for hyperbolic equations in a class of functions that are almost periodic with respect to space variables, Differ. Uravn. 22 (1986), 669–678 (in Russian). [95] A. Reich, Präkompakte Gruppen und Fastperiodizität, Math. Z. 116 (1970), 218–234. [96] L. Rodman, I. M. Spitkovsky, Algebras of almost periodic functions with Bohr-Fourier spectrum in a semigroup: Hermite property and its applications, J. Funct. Anal. 255 (2011), 3188–3207. [97] L. Rodman, I. M. Spitkovsky, H. J. Woerdeman, Contractive extension problems for matrix valued almost periodic functions of several variables, J. Operator Theory 47 (2002), 3–35. [98] L. Rodman, I. M. Spitkovsky, H. J. Woerdeman, Multiblock problems for almost periodic matrix functions of several variables, New York J. Math. 7 (2001), 117–148. [99] W. M. Ruess, W. H. Summers, Compactness in spaces of vector valued continuous functions and asymptotic almost periodicity, Math. Nachr. 135 (1988), 7–33. [100] W. M. Ruess, W. H. Summers, Integration of asymptotically almost periodic functions and weak asymptotic almost periodicity, Dissertationes Math. 279 (1989), 35. 64 A. CHAVEZ,´ K. KHALIL, M. KOSTIC,´ AND M. PINTO

[101] D. Sarason, Generalized interpolation in H∞, Trans. Amer. Math. Soc. 127 (1967), 179–203. [102] G. R. Sell, Almost periodic solutions of linear partial differential equations, J. Math. Anal. Appl. 42 (1973), 302–312. [103] G. R. Sell, A note on almost periodic solutions of linear partial differential equations, Bulletin Amer. Math. Soc. 79 (1973), 428–430. [104] P. I. Shtabalyuk, Almost-periodic solutions of a quasilinear system of partial differential equations, Ukrainian Math. J. 35 (1983), 178–182. [105] P. I. Shtabalyuk, Almost periodic solutions of an abstract linear differential equation (Rus- sian), Mat. Metody Fiz.-Mekh. Polya 22 (1985), 10–13. [106] A. I. Shtern, Almost periodic functions and representations in locally convex spaces, Russian Math. Surveys 60 (2005), 489–557. [107] Y. Sibuya, Almost periodic solutions of Poisson’s equation, Proc. Amer. Math. Soc. 28 (1971), 195–198. [108] G. Spradlin, An almost periodic function of several variables with no local minimum, Rend. Istit. Mat. Univ. Trieste 28 (1997), 371–381. [109] G. Spradlin, A singularly perturbed elliptic partial differential equation with an almost periodic term, Calc. Var. Partial Differential Equations 9 (1999), 207–232. [110] G. Spradlin, An elliptic partial differential equation with a symmetrical almost periodic term, Calc. Var. Partial Differential Equations 9 (1999), 233–247. [111] V. Temlyakov, Approximation of Periodic Functions, Nova Science Publishers, New York, 1993. [112] V. Temlyakov, Greedy algorithm and m-term trigonometric approximation, Constr. Approx. 14 (1998), 569–587. [113] V. Temlyakov, Multivariate Approximation, Cambridge University Press, Cambridge, 2018. [114] A. P. Terehin, A multiparameter semigroup of operators, mixed moduli and approximation, Izv. Math. 9 (1975), 887–910. [115] F. Trèves, Basic Linear Partial Differential Equations, Dover Publications, New York, 2006 (republication of work published by Academic Press, New York, 1975). [116] Z. Xia, Pseudo asymptotic behavior of mild solution for nonautonomous integrodifferential equations with nondense domain, J. Appl. Math., vol. 2014, Article ID 419103, 10 pages http://dx.doi.org/10.1155/2014/419103. [117] Z. Xia, D. Wang, Pseudo almost automorphic mild solution of nonautonomous stochastic functional integro-differential equations, Filomat 32 (2018), 1233–1250. [118] T. J. Xiao, X. X. Zhu, J. Liang, Pseudo-almost automorphic mild solutions to nonautonomous differential equations and applications, Nonlinear Anal. 70 (2009), 4079–4085. [119] F. Yang, C. Zhang, Remotely almost periodic solutions to parabolic boundary value inverse problems, Taiwanese J. Math. 15 (2011), 43–57. [120] S. Zaidman, Almost-Periodic Functions in Abstract Spaces, Pitman Research Notes in Math, Vol. 126, Pitman, Boston, 1985. [121] S. V. Zelik, Multiparameter semigroups and attractors of reaction-diffusion equations in Rn, Trans. Moscow Math. Soc. 65 (2004), 105–160. [122] C. Zhang, Ergodicity and asymptotically almost periodic solutions of some differential equations, Int. J. Math. Math. Sci. (Internet) 25 (2001), 787–800. [123] L. V. Zhizhiashvily, About summability of double Fourier series, Siberian Math. J. 8 (1967), 548–564 (in Russian). [124] Y. Zhu, Almost Periodic Functions on Topological Groups, Electronic Theses and Disserta- tions. 7748. (2019), https://scholar.uwindsor.ca/etd/7748. MULTI-DIMENSIONAL ALMOST PERIODIC TYPE FUNCTIONS AND APPLICATIONS 65

Departamento de Matematicas,´ Facultad de Ciencias F´ısicas Y Matematicas,´ Univer- sidad Nacional de Trujillo, Trujillo, Chile Email address: [email protected]

Department of Mathematics, Faculty of Sciences Semlalia, Cadi Ayyad University, B.P. 2390, 40000 Marrakesh, Morocco Email address: [email protected]

Faculty of Technical Sciences, University of Novi Sad, Trg D. Obradovica´ 6, 21125 Novi Sad, Serbia Email address: [email protected]

Departamento de Matematicas,´ Facultad de Ciencias, Universidad de Chile, Santiago de Chile, Chile Email address: [email protected]