Doss ρ -Almost Periodic Type Functions in R n

: In this paper, we investigate various classes of multi-dimensional Doss ρ -almost periodic type functions of the form F : Λ × X → Y , where n ∈ N , ∅ (cid:54) = Λ ⊆ R n , X and Y are complex Banach spaces, and ρ is a binary relation on Y . We work in the general setting of Lebesgue spaces with variable exponents. The main structural properties of multi-dimensional Doss ρ -almost periodic type functions, like the translation invariance, the convolution invariance and the invariance under the actions of convolution products, are clariﬁed. We examine connections of Doss ρ -almost periodic type functions with ( ω , c ) -periodic functions and Weyl- ρ -almost periodic type functions in the multidimensional setting. Certain applications of our results to the abstract Volterra integro-differential equations and the partial differential equations are given.


Introduction and Preliminaries
The notion of almost periodicity was introduced by H. Bohr around 1925 and later generalized by many others (see the research monographs [1][2][3][4][5][6][7][8][9][10] for more details about the subject). Suppose that F : R n → X is a continuous function, where X is a complex Banach space equipped with the norm · . It is said that F(·) is almost periodic if and only if for each > 0 there exists l > 0 such that for each t 0 ∈ R n there exists τ ∈ B(t 0 , l) ≡ {t ∈ R n : |t − t 0 | ≤ l} such that: here, | · − · | denotes the Euclidean distance in R n . Any almost periodic function F : R n → X is bounded and uniformly continuous, any trigonometric polynomial in R n is almost periodic, and a continuous function F(·) is almost periodic if and only if there exists a sequence of trigonometric polynomials in R n , which converges uniformly to F(·); see the monographs [7,9] for more details about multi-dimensional almost periodic functions. Concerning Stepanov, Weyl and Besicovitch classes of almost periodic functions, we will only recall a few well known definitions and results for the functions of one real variable. Let 1 ≤ p < ∞, and let f , g ∈ L p loc (R : X). We define the Stepanov metric by: D S p f (·), g(·) := sup The space L p S (R : X) consisting of all S p -bounded functions becomes a Banach space equipped with the above norm. A function f ∈ L p S (R : X) is said to be Stepanov palmost periodic if and only if the Bochner transformf : R → L p ([0, 1] : X), defined bŷ f (t)(s) := f (t + s), t ∈ R, s ∈ [0, 1] is almost periodic. It is well known that if f (·) is an almost periodic, then the function f (·) is Stepanov p-almost periodic for any finite exponent p ∈ [1, ∞). The converse statement is false, however, but we know that any uniformly continuous Stepanov p-almost periodic function f : R → X is almost periodic (p ∈ [1, ∞)). Further on, suppose that f ∈ L p loc (R : X). Then, we say that the function f (·) is: (i) equi-Weyl-p-almost periodic, if and only if for each > 0 we can find two real numbers l > 0 and L > 0 such that any interval I ⊆ R of length L contains a point τ ∈ I such that: (ii) Weyl-p-almost periodic, if and only if for each > 0 we can find a real number L > 0 such that any interval I ⊆ R of length L contains a point τ ∈ I such that: Let us recall that any Stepanov p-almost periodic function is equi-Weyl-p-almost periodic, as well as that any equi-Weyl-p-almost periodic function is Weyl-p-almost periodic (p ∈ [1, ∞)). The class of Besicovitch p-almost periodic functions can be also considered, and we will only note here that any equi-Weyl-p-almost periodic function is Besicovitch p-almost periodic as well as that there exists a Weyl-p-almost periodic function which is not Besicovitch p-almost periodic (p ∈ [1, ∞)); see [7]. For further information in this direction, we may also refer the reader to the excellent survey article [11] by J. Andres, A. M. Bersani and R. F. Grande. Regarding multi-dimensional Stepanov, Weyl and Besicovitch classes of almost periodic functions, the reader may consult the above-mentioned monographs [7,9] and references cited therein.
On the other hand, the notion of c-almost periodicity was recently introduced by M. T. Khalladi et al. in [12] and later extended to the multi-dimensional setting in [13]. A further generalization of the concept c-almost periodicity presents the concept ρ-almost periodicity, which has recently been introduced and analyzed in [14]; here, ρ denotes a general binary relation acting on a corresponding pivot space (see also M. Fečkan et. al [15] for the first steps made in the investigation of general classes of ρ-almost periodic type functions; the main assumption used in [15] is that ρ = T is a linear isomorphism). The Stepanov and Weyl classes of multi-dimensional ρ-almost periodic functions have recently been studied in [16]; it is also worth noting that multi-dimensional (S, D, B)-asymptotically (ω, ρ)-periodic type functions, multi-dimensional quasi-asymptotically ρ-almost periodic type functions and multi-dimensional ρ-slowly oscillating type functions have recently been analyzed in [17].
The main aim of this paper is to analyze various classes of multi-dimensional Doss ρ-almost periodic functions in the Lebesgue spaces with variable exponent (concerning one-dimensional classes of Doss uniformly recurrent functions and Doss almost periodic functions, we may refer to our recent research study [18]). To the best knowledge of the authors, this is the first research study of multi-dimensional Doss almost periodic type functions of any type (this was a strong motivational factor for the genesis of paper); more to the point, the notion of Doss ρ-almost periodicity and the notion of Doss c-almost periodicity seem to be new even in the one-dimensional setting (c ∈ C). We wish here, in fact, to present a rather general concept which extends the concepts Stepanov and Weyl ρ-almost periodicity in the multi-dimensional setting as well as the usual concept of Besicovitch almost periodicity in the multi-dimensional setting (it is worth noting that the classes of Besicovitch c-almost periodic functions and Besicovitch ρ-almost periodic functions have not been analyzed so far, even for the functions depending on one real variable; this could be a very interesting topic of ongoing investigations). The introduced class of functions retains, in a certain sense, many important structural properties of the corresponding classes of Stepanov, Weyl and Besicovitch almost periodic functions.
We continue, in such a way, our previous research studies [14,[17][18][19][20] and revisit some known structural characterizations of one-dimensional Doss almost periodic functions [6]. We introduce several new classes of multi-dimensional Doss almost periodic functions following a combination of methods already established in [14,18,19]; basically, multi-dimensional Doss almost periodic functions retain almost all structural properties of one-dimensional Doss almost periodic functions. However, some important peculiarities appear in the multi-dimensional setting: in our definitions we require, for example, that the Doss -periods of functions under our consideration belong to a non-empty subset Λ of R n , roughly speaking. This can be also required in the one-dimensional setting but the real beauty and importance of such notion is clearly manifested in the (still very unexplored) multi-dimensional setting, when the set Λ can possess various geometrical features. We investigate the main structural properties of Doss ρ-almost periodic functions; in particular, we analyze the convolution invariance of Doss ρ-almost periodicity, the invariance of Doss ρ-almost periodicity under the actions of convolution products, and provide certain applications to the abstract Volterra integro-differential equations and the partial differential equations (unfortunately, it would be really difficult and almost impossible to fully compare here the results and similarities/differences of this work with the results of papers mentioned in the former three paragraphs). It is also worth noting that some similar classes of almost periodic functions have been introduced and analyzed by D. M. Umbetzhanov [21], M. Akhmet, M. O. Fen [22] and M. Akhmet [23]. In [21], the author has investigated the class of Stepanov almost periodic functions with the Bessel-Mackdonald kernels and provided some applications to the higher-order elliptic equations, while the authors of [22] have introduced the class of unpredictable functions and provided some applications in the chaos theory and the theory of neural networks. In this research, we have provided some different applications of Doss ρ-almost periodic functions; for example, we have considered the fractional Poisson heat equations, a class of abstract fractional semilinear Cauchy inclusions, and revisit the famous d'Alembert formula, the Poisson formula and the Kirchhoff formula in our context. We have also described how the considered classes of Doss ρ-almost periodic functions can be further generalized and applied in the study of second-order partial differential equations whose solutions are governed by the Newtonian potential. To the best knowledge of the authors, these applications are completely new in the subject area.
The organization and main ideas of this paper can be briefly described as follows. Section 1 recalls the basic definitions and results about the Lebesgue spaces with variable exponents L p(x) . In Section 2, we introduce and analyze various classes of multi-dimensional Doss ρ-almost periodic type functions of the form F : Λ × X → Y, where Y is a Banach space equipped with the norm · Y , ρ ⊆ Y × Y is a binary relation, Λ is a general nonempty subset of R n , and p ∈ P (Λ); see Section 1 for the notion. In Definition 1, we introduce the notions of Besicovitch-(p, φ, F, B)-boundedness, Besicovitch-(p, φ, F, B, Λ , ρ)continuity, Doss-(p, φ, F, B, Λ , ρ)-almost periodicity, and Doss-(p, φ, F, B, Λ , ρ)-uniform recurrence. After that, we clarify the main structural characterizations of the introduced function spaces (see e.g., Propositions 1, 2-4, 6 and 7 below), providing also some illus-trations in Examples 1, 3, 5 and 6. Of particular importance is to stress that the class of multi-dimensional Weyl-p-almost periodic functions, taken in the generalized approach of A. S. Kovanko [24], is contained in the class of multi-dimensional Doss-p-almost periodic functions for any finite exponent p ≥ 1 (see Section 2.1 for more details; especially, Proposition 8 and Example 7, where we propose some open problems and issues for further analyses). In Section 2.2, we investigate the invariance of Doss ρ-almost periodicity under the actions of convolution products; see also [6] for the first results in this direction. The main aim of Section 3 is to provide certain applications of our results to the abstract Volterra integro-differential equations and the partial differential equations. In the final section of paper, we present some conclusions, remarks and proposals for further research studies.
Notation and terminology. Suppose that X and Y are given non-empty sets. Let us recall that a binary relation between X into Y is any subset ρ ⊆ X × Y. The domain and range of ρ are defined by D(ρ) := {x ∈ X : ∃y ∈ Y such that (x, y) ∈ X × Y} and R(ρ) We assume henceforth that (X, · ), (Y, · Y ) and (Z, · Z ) are three complex Banach spaces, n ∈ N, as well as that B is a certain collection of subsets of X satisfying that for each x ∈ X there exists B ∈ B such that x ∈ B. By L(X, Y) we denote the Banach space of all linear continuous functions from X into Y; L(X) ≡ L(X, X). If t 0 ∈ R n and > 0, then we set B(t 0 , ) := {t ∈ R n : |t − t 0 | ≤ }, where | · | denotes the Euclidean norm in R n . Define Λ M := {t ∈ Λ : |t| ≤ M}; diam(Λ) denotes the diameter of set Λ and m(Λ) denotes its Lebesgue measure (Λ ⊆ R n ; M > 0). The symbol χ A (·) stands for the characteristic function of a set A; s := sup{k ∈ Z : k ≤ s} (s ∈ R). By D γ t,+ we denote the Weyl-Liouville fractional derivative of order γ > 0 ( [6]); I stands for the identity operator on Y. Define S 1 ≡ {z ∈ C : |z| = 1}.
For further information concerning the Lebesgue spaces with variable exponents L p(x) , we refer the reader to the monograph [25] by L. Diening, P. Harjulehto, P. Hästüso, M. Ruzicka and the lists of references quoted in this monograph and the forthcoming monograph [7].

Multi-Dimensional Doss ρ-Almost Periodic Type Functions
In this paper, we will always assume that ρ ⊆ Y × Y is a binary relation, Λ is a general non-empty subset of R n as well as that p ∈ P (Λ) and the following condition holds: In the remainder of paper, we will always assume that ∅ = Λ ⊆ Λ so that Λ + Λ ⊆ Λ.
(a) We say that the function F : Λ × X → Y is Besicovitch-(p, φ, F, B, Λ , ρ)-continuous if and only if, for every B ∈ B as well as for every t > 0, x ∈ B and · ∈ Λ t , we have the existence of an element y ·;x ∈ ρ(F(·; x)) such that (b) We say that the function F(·; ·) is Doss-(p, φ, F, B, Λ , ρ)-almost periodic if and only if, for every B ∈ B and > 0, there exists l > 0 such that for each t 0 ∈ Λ there exists a point τ ∈ B(t 0 , l) ∩ Λ such that, for every t > 0, x ∈ B and · ∈ Λ t , we have the existence of an element y ·;x ∈ ρ(F(·; x)) such that (c) We say that the function F(·; ·) is Doss-(p, φ, F, B, Λ , ρ)-uniformly recurrent if and only if, for every B ∈ B, there exists a sequence (τ k ) ∈ Λ such that, for every t > 0, x ∈ B and · ∈ Λ t , we have the existence of an element y ·;x ∈ ρ(F(·; x)) such that If F : Λ → Y, then we omit the term "B" from the notation. Further on, if ρ = cI for some c ∈ C, then we also write "c" in place of "ρ"; we omit "c" from the notation if c = 1. We also omit the term "Λ " from the notation if Λ = Λ.
Let F : Λ → Y. We would like to note that the notion introduced in Definition 1 is rather general as well as that the classical concept of Doss-p-almost periodicity (Dossp-uniform recurrence) of function F(·) is obtained by plugging ρ = I, Λ = Λ = R n or [0, ∞) n , φ(x) ≡ x, x ≥ 0, p(·) ≡ p ∈ [1, ∞) and F(t) ≡ t −(n/p) , t > 0. The classical concept of Besicovitch-p-boundedess of function F(·) is obtained by plugging the same values of p, φ, Λ, F; a function F(·) is said to be Besicovitch bounded if and only if F(·) is Besicovitch-1-bounded.
The class of Besicovitch-p-almost periodic functions (see e.g., [1,6] for the notion) has been analyzed by numerous mathematicians by now. It is worth noticing that R. Doss has clarified, in [26,27], some equivalent conditions for a locally integrable function f : R → C to be Besicovitch-p-almost periodic. In the one-dimensional setting, with the same values of parameters p, φ and F as above, he employed conditions (a)-(c) from Definition 1, and the following non-trivial conditions (Λ = Λ = R): (A) ( [26]) For every real number a ∈ R, there exists a p-locally integrable function f (a) : R → C of period a such that (B) ( [27]; p = 1) For every λ ∈ R, we have: As emphasized in [6], the results established in [26,27] cannot be so simply extended to the vector-valued functions.
We continue by providing the following illustrative example: Example 1 (J. de Vries [28] (point 6., p. 208), [7]). Let (p i ) i∈N be a strictly increasing sequence in N satisfying that p i |p i+1 , i ∈ N and and extend the function f i (·) periodically to the whole real axis; the obtained function, denoted likewise by f i (·), is of period 2p i (i ∈ N). Define now Then we know that (see e.g., [7]): The last estimate simply implies that, for every real number τ ∈ R, we have: Therefore, there does not exist a non-empty subset Λ of R such that the function f (·) is Doss-(1, x, t −(1/p) , Λ , ρ)-uniformly recurrent with ρ(z) := 1 (z ∈ C) and the meaning clear.
Before proceeding any further, we would like to emphasize that the notion introduced in Definition 1 has not been considered elsewhere if ρ = cI for some c ∈ C \ {1}, even in the one-dimensional setting with if this is the case, then we simply say that the function F(·) is Doss-(p, c)-almost periodic (Doss-(p, c)-uniformly recurrent). We accept the same notation if p(·) ∈ P (Λ) has not a constant value. Although we formulate almost all structural results of ours with the general function φ(·), the dominant case in our analysis is that one in which we have φ(x) ≡ x, x ≥ 0; observe also that any Doss-(p, c)-almost periodic (Doss-(p, c)-uniformly recurrent) function is automatically Doss It is worth noting that [19] (Example 2.13, Example 2.15) can be formulated for multidimensional Doss almost periodic type functions. In particular, Ref. [19] (Example 2.15(ii)) shows that the assumption in which Λ = Λ can occur (cf. also [7] (Example 6.1.15)): is bounded and Doss-p-almost periodic, resp. bounded and Doss-p-uniformly recurrent, as well as that the strongly continuous operator families (T j (t)) t∈R ⊆ L(X, Y) are uniformly bounded where M = sup 1≤j≤n sup t∈R T j (t) . This simply implies that the mapping F : R 2n → Y is Doss-(p, Λ )-almost periodic, resp. Doss-(p, Λ )-uniformly recurrent, with the meaning clear, In the following result, we continue our analysis from [14] (Proposition 2.2): is monotonically increasing and there exists a finite real constant d > 0 such that Proof. The inclusion Λ + (Λ − Λ ) ⊆ Λ can be deduced as in the proof of the abovementioned proposition. Let > 0 and B ∈ B be given. If τ 1 , τ 2 ∈ Λ satisfy (1), then there exists a sufficiently large real number t 0 ( , τ 1 , τ 2 ) > 0 such that Since φ(·) is monotonically increasing and there exists a finite real number d > 0 such that (2) holds, the last three estimates in combination with Lemma 1(iii) simply imply that: Let a number b ∈ (0, 1) be fixed. Since we have assumed that Λ − Λ ⊆ Λ, it is clear that there exists a sufficiently large number . The last estimate in the above computation therefore yields and the final conclusion simply follows from the estimate and the substitution bt → t, t > 0.
is monotonically increasing and there exists a finite real constant d > 0 such that (2) holds. Suppose, further, that ∅ = Λ ⊆ R n , and the function Keeping in mind Lemma 1, we can simply reformulate the conclusions established in [18] (Remark 1, Proposition 5(i)) in our new framework. Concerning [18] (Example 5), we would like to emphasize the following: periodic for every σ > 0 and c ∈ C. This simply follows from the estimate (ii) Suppose now that Λ = Λ = R n and F(t) := χ K (t), t ∈ R n , where K is a compact subset of R n . Arguing as above (cf. also [7] (Example 6.3.8)), we may conclude that F(·) is Doss-(p, φ, t −σ , c)-almost periodic for every σ > 0 and c ∈ C.
In the analysis carried out in [7] (Example 6.3.9), we have proved that for each τ ∈ R n and t ∈ (|τ|, +∞) we have This simply implies that the function F(·) is Doss-(p, φ, t −σ )-almost periodic for every σ > (n − 1)/p; this is also the optimal result we can obtain here, as easily approved. On the other hand, arguing as in part (iii) it follows that for each 0 < σ ≤ n/p the function F(·) cannot be Concerning the pointwise products of multi-dimensional Doss almost periodic type functions, we will present the following illustrative example, only: Example 4. Suppose that p, q, r ∈ [1, ∞) and 1/p + 1/r = 1/q, there exists a sequence (τ k ) ∈ R n such that lim k→+∞ |τ k | = ∞ as well as that a scalar-valued function f (·) is Doss- Suppose, further, that there exist a positive integer k ∈ N and two positive real numbers t 0 > 0 and M > 0 such that Then the function [ f F](·) is Doss-(q, x, F, Λ , I)-uniformly recurrent and (3) holds with the functions F 2 (·) and F(·) replaced therein with the functions F(·) and [ f F](·), respectively. This simply follows from the decomposition an application of the Hölder inequality (see Lemma 1(i)) and the imposed condition (4). This enables one to simply construct many examples of multi-dimensional Doss-(q, x, F, Λ , I)-uniformly recurrent functions of the form F(t 1 , · · ·, t n ) = f 1 (t 1 ) · · · f n (t n ); see [7] for more details.
The following results are motivated by some observations made in [18] (Example 3): Suppose, further, that φ(·) is monotonically increasing, F(·) is essentially bounded as well as that for each > 0 there exists a finite real number t > 0 such that Then the function F(·) is Doss-(p, φ, F, Λ , c )-almost periodic for each c ∈ {c k : k ∈ N}, provided that c = e iπϕ for some rational number ϕ ∈ (−π, π], resp. for each c ∈ S 1 , provided that c = e iπϕ for some irrational number ϕ ∈ (−π, π]. Proof. We will consider the case in which c = e iπϕ for some irrational number ϕ ∈ (−π, π], only. Let c ∈ S 1 be arbitrary, and let > 0 be given. Then there exists a strictly increasing sequence (n k ) of positive integers such that |c n k − c | < for all k ∈ N and sup k∈N (n k+1 − n k ) < +∞; see for example [7]. Inductively one easily proves that Λ ⊆ Λ as well as that F(t + n k ω) = c n k F(t) for all t ∈ Λ and k ∈ N. Since φ(·) is monotonically increasing and (5) holds, we get which simply implies the required.
Proposition 3. Suppose that F : Λ × X → Y is a continuous function, c ∈ C \ {0} and F(·; ·) is Bohr (B, Λ , c)-almost periodic, that is, for every B ∈ B and > 0, there exists l > 0 such that for each t 0 ∈ Λ there exists τ ∈ B(t 0 , l) ∩ Λ such that Then the function F(·; ·) is Doss-(p, φ, F, Λ , c)-almost periodic provided that for each > 0 there exists a finite real number t > 0 such that Proof. The proof is very similar to the proof of Proposition 2 and therefore omitted.
Now we would like to provide some illustrative applications of Propositions 2 and 3: . Let ωk/π be an irrational number. Applying Proposition 2, we get that, for every number c ∈ S 1 , the function for any τ ∈ R. Since the function s → | cos(s + τ) − r cos s|, s ∈ R is periodic and not identically equal to zero, the last estimate yields the existence of a finite real number c τ > 0 such that (τ ∈ R is given in advance): which simply yields a contradiction. Therefore, cos ϕ = ±1 and there exists a constant d ∈ (0, 1) such that, for every τ ∈ R, we have: Since the function s → | cos s · cos(s + τ)|, s ∈ R is periodic and not identically equal to zero, the last estimate yields the existence of a finite real number d τ > 0 such that (τ ∈ R is given in advance): which implies the required.
Example 6 (cf. also [12] (Example 2.22), and [12] (Example 2.23) for the pointwise products of c-almost periodic functions). Suppose that c ∈ S 1 and p(·) ∈ D + (R). Then we have the following: (i) Suppose that c = 1. Then the space consisting of all Doss-p(·)-uniformly recurrent functions is not a vector space with the usual operations as easily shown. Now we will prove that the space of Doss-1-almost periodic functions is also not a vector space with the usual operations.
for some n ∈ 2N and f (x) := − √ n/2 if x ∈ (n − 1, n] for some n ∈ 2N. Then we know that the function f (·) is Weyl-1-almost periodic as well as that for each n ∈ 2N we have and that for each real number ω / ∈ 2Z we have see J. Stryja [29] (pp. 42-47), [11] (Example 4.28) and [7] (Example 8.3.20). Define g : R → R by g(t) := cos t, t ∈ R. Hence, the functions f (·) and g(·) are Doss-1-almost periodic (cf. also Section 2.1 below); but, its sum is not Doss-1-almost periodic. In actual fact, if ω / ∈ 2Z, then the consideration from the above example along with the equation (7) indicates that there exists a finite real number d > 0 such that If ω ∈ 2Z, then the Equation (6) yields that there exist two finite real numbers d > 0 and l 0 > 0 such that This implies the required statement; observe also that the above analysis implies that the collection of all Weyl-1-almost periodic functions has not a linear vector structure with the usual operations. We deeply believe that the collection of all Doss-p(·)-almost periodic functions and the collection of all Weyl-p(·)-almost periodic functions are not vector spaces with the usual operations, as well.
The main structural properties of multi-dimensional ρ-almost periodic type functions have been clarified in [14] (Theorem 2.11(i)-(iv)); all these results admit very simple reformulations for multi-dimensional Doss almost periodic type functions introduced in Definition 1 (cf. also [18] (Theorem 2) for the property of translation invariance, where some difficulties obviously occur). Details can be left to the interested readers.
Concerning the statement of [14] (Theorem 2.11(v)), we will state the following result: be monotonically increasing, continuous, and let there exist a finite real constant d > 0 such that (2) holds. Let D(ρ) be a closed subset of Y, and let ρ be single-valued and continuous in the following sense: (C ρ ) For each > 0 there exists δ > 0 such that, for every y 1 , y 2 ∈ Y with y 1 − y 2 Y < δ, we have z 1 − z 2 Y < /3 with z 1 = ρ(y 1 ) and z 2 = ρ(y 2 ). Assume, further, that there exist two finite real numbers t 0 > 0 and M > 0 such that Then we have the following: (i) Suppose that the function F k (·; ·) is Besicovitch-(p, φ, F, B)-bounded for all k ∈ N. Then the function F(·; ·) is likewise Besicovitch-(p, φ, F, B)-bounded. (ii) Suppose that the function F k (·; ·) is Besicovitch-(p, φ, F, B, Λ , ρ)-continuous for all k ∈ N.
Proof. We will prove the issue (iii) only, because the issues (i), (ii) and (iv) can be deduced similarly. It is clear that (2) implies the existence of a finite real constant d > 0 such that Let B ∈ B and > 0 be fixed. Since D(ρ) is a closed subset of Y and the sequence (F k (·; ·)) converges uniformly to a function F(·; ·) on the set B, we have that F(t; x) ∈ D(ρ) for all t ∈ Λ and x ∈ X. Suppose that a real number δ > 0 is chosen in accordance with the continuity of relation ρ and function φ (at the point t = 0). Set 0 ≡ min( /3, δ). Then we can find a positive integer k ∈ N such that sup t∈Λ;x∈B F k (t; x) − F(t; x) Y < 0 , and a positive real number l > 0 such that for each t 0 ∈ Λ there exists a point τ ∈ B(t 0 , l) ∩ Λ such that, for every t > 0, x ∈ B and · ∈ Λ t , we have the existence of an element y k ·;x ∈ ρ(F k (·; x)) such that (1) holds with the number , the function F(·; ·) and the element y ·;x replaced respectively with the number 0 , the function F k (·; ·) and the element y k ·;x . Fix now a number t > 0 and an element x ∈ B. Let y t;x = ρ(F(t; x)). Then we have (a point τ ∈ Λ satisfies the requirements in Definition 1 for the function F k (·; ·)): It is clear that F(· + τ; x) − y ·;x = lim k→+∞ [F k (· + τ; x) − y k ·;x ] so that the mapping φ( F(· + τ; x) − y ·;x Y ) is measurable due to the continuity of function φ(·). Furthermore, (9) and (10) together imply Then the final conclusion simply follows from (8) and the corresponding definition of Doss-(p, φ, F, B, Λ , ρ)-almost periodicity. Now we would like to state the following analogue of [12] (Proposition 2.9) (cf. also [14] (Example 2.8)): Proof. We will outline the main details of the proof for Doss-(p, φ, F, B, Λ , T)-almost periodic functions. Let τ be as in (1). It is clear that (2) implies the existence of a finite real number d l > 0 such that for all positive real numbers x 1 ≥ 0, · · ·, x l ≥ 0. Using this estimate, the decomposition and the existence of a function ϕ(·) with the prescribed properties, we easily get that for each t > 0 and x ∈ X we have: Basically, the required conclusion follows from this estimate and the fact that we can use the substitution · → · + (l − j − 1)τ here since p(·) has a constant value; in actual fact, (11) implies for each t > 0 and x ∈ X one has: , and we only need to follow the corresponding definitions.
Concerning the convolution invariance of multi-dimensional Doss ρ-almost periodicity, we will clarify the following extension of [18] (Proposition 6): Proposition 6. Suppose that h ∈ L 1 (R n ), supp(h) ⊆ K for some compact subset K of R n , and F : R n × X → Y is a measurable function satisfying that for each B ∈ B we have sup t∈R n ,x∈B F(t; x) Y < +∞. Suppose, further, that ρ = A is a closed linear operator on Y satisfying that: (B) For each t ∈ R n and x ∈ B, the function s → AF(t − s; x), s ∈ R n is Bochner integrable. Then the function is well defined and for each B ∈ B we have sup t∈R n ,x∈B (h * F)(t; x) Y < +∞.
Proof. We will consider only Doss-(p, φ, F, B, Λ , A)-almost periodic functions. It is clear that the function (h * F)(·; ·) is well defined and sup t∈R n ,x∈B (h * F)(t; x) Y < +∞ for all B ∈ B. Let > 0 and B ∈ B be given. Then there exists l > 0 such that for each t 0 ∈ Λ there exists a point τ ∈ B(t 0 , l) ∩ Λ such that, for every t > 0, x ∈ B and · ∈ Λ t , the element y ·;x = A(F(·; x)) satisfies (1). Since A is a closed linear operator and condition (B) holds, for every t ∈ R n and x ∈ B, we have z t,x := A((h * F)(t; x)) = R n h(s)A(F(t − s; x)) ds. Let t > 0 and x ∈ B be fixed. The prescribed assumptions together with the well-known Jensen integral inequality and the Hölder inequality (see e.g., [7] and Lemma 1(i)) imply: , for any · ∈ (R n ) t . Now the final conclusion simply follows as in the proof of [18] (Proposition 6) using the corresponding definition of Doss-(p 1 , φ, F 1 , B, Λ , A)-almost periodicity and the definition of Luxemburg norm.
Unfortunately, the assumption supp(h) ⊆ K for some compact subset K of R n is almost inevitable here, so that we cannot so easily apply Theorem 6 in the qualitative analysis of solutions of the abstract inhomogeneous heat equation in R n ; see [19] for more details. The statements of [14] (Proposition 2.5, Proposition 2.20) and the conclusions from [14] (Example 2.5), showing that the assumption Λ ⊆ Λ is redundant, can be simply formulated in our new context.
We will state only one composition principle for Doss ρ-almost periodic type functions. The following result for one-dimensional Doss (p, c)-almost periodic type functions can be deduced following the lines of the proof of [12] (Theorem 2.28): Proposition 7. Suppose that 1 ≤ p < ∞, c ∈ C and F : Λ × X → Y satisfies that there exists a finite real number L > 0 such that (i) Suppose that f : Λ → X is Doss (p, Λ , c)-uniformly recurrent, where Λ := {α k : k ∈ N} for some strictly increasing sequence (α k ) of positive reals tending to plus infinity. If then the mapping F (t) := F(t; f (t)), t ∈ Λ is Doss (p, Λ , c)-uniformly recurrent. (ii) Suppose that f : Λ → X is Doss (p, Λ , c)-almost periodic. If for each > 0 the set of all positive real numbers τ > 0 such that We can similarly analyze the composition principles for multi-dimensional Doss calmost periodic functions (see also [14] for related results concerning the general class of multi-dimensional ρ-almost periodic functions). In combination with Proposition 6, this enables one to analyze the existence and uniqueness of bounded, continuous, Doss-(p, c)almost periodic solutions of the following Hammerstein integral equation of convolution type on R n : where the kernel k(·) has compact support; see also the issue [19] (4., Section 3).

Relationship between Weyl Almost Periodicity and Doss Almost Periodicity
It is worth noting that Proposition 3 can be formulated for multi-dimensional ρ-almost periodic functions and their Stepanov generalizations considered recently in [16]. This is very predictable and details can be left to the interested readers.
In this subsection, we would like to point out the following much more important fact with regards to Proposition 3: It is well known that, in the one-dimensional setting, the class of Doss-p-almost periodic functions provides a proper extension of the class of Besicovitch-p-almost periodic functions; see [6] for more details. On the other hand, the class of Weyl-p-almost periodic functions taken in the generalized approach of A. S. Kovanko [24] is not contained in the class of Besicovitch-p-almost periodic functions, as clearly marked in [7]. A very simple observation shows that the class of Doss-p-almost periodic functions extends the class of Weyl-p-almost periodic functions, as well, which is defined as follows (1 ≤ p < ∞): Let Λ = R or Λ = [0, ∞), and let f ∈ L p loc (Λ : Y). Then we say that the function f (·) is Weyl-p-almost periodic if and only if for each > 0 we can find a real number L > 0 such that any interval Λ 0 ⊆ Λ of length L contains a point τ ∈ Λ 0 such that So, let Λ = R, let f (·) be Weyl-p-almost periodic, and let a number > 0 be given. Then there exists a finite real number L > 0 such that such that any interval Λ 0 ⊆ Λ of length L contains a point τ ∈ Λ 0 such that (16) holds; hence, there exists a finite real number l 0 ( , τ) > 0 such that, for every l ≥ l 0 ( , τ) and x ∈ R, we have Plugging x = 0 and x = −l here, we easily get that, for each real number l ≥ l 0 ( , τ), we have: which simply implies that f (·) is Doss-p-almost periodic. In [7] (Theorem 8.3.8), we have particularly proved the following: Suppose that Then the function f (·) is Weyl-p-almost periodic, Besicovitch p-unbounded and has no mean value (see [7] for the notion). As a consequence, we have that a Weyl-p-almost periodic function (Doss-p-almost periodic function) is not necessarily Besicovitch-p-almost periodic; also, a Doss-p-almost periodic function f : R → R has no mean value and can be Besicovitch p-unbounded in general (1 ≤ p < ∞).
It is worth noting that condition (17) holds in the classical situation F l, t) ≡ l −n/p and F(t) ≡ t −n/p (l, t > 0; t ∈ Λ).
We continue with the following instructive example, which has not been published in any research article by now and which will be published soon as [7] (Example 3.2.14): Example 7. Let ζ ≥ 1 and 0 ζ := 0. Define the complex-valued function: Then the function f ζ (·) is Lipschitz continuous and uniformly recurrent. To prove the Lipschitz continuity of function f ζ (·), it suffices to observe that the function t → sin ζ (t), t ∈ R is continuous and To see that the function f ζ (·) is uniformly recurrent (cf. [7] for the notion), it suffices to see that for each integer k ∈ N \ {1} we have where we have applied (18) in the last line of computation. In the case that ζ = 2v for some integer v ∈ N, we have that the function f ζ (·) is Besicovitch unbounded. This can be inspected as in the proof of [30] (Theorem 1.1), with the additional observation that: here, we have used the well known recurrent formula: which can be deduced with the help of the partial integration. We would like to ask whether the function f ζ (·) is Besicovitch unbounded in general case and for which functions p ∈ D + (R) we have that f (·) is Doss-p(·)-almost periodic, that is, Doss-(p(·), 1)-almost periodic?
We continue by observing that the functions of the form: where ζ l ≥ 0 for all l ∈ N, and (a l ) and (b l ) are real sequences such that the above series is absolutely convergent, are still very unexplored within the theory of almost periodic functions.
For example, we know that the sequence of partial sums of the series (therefore, the sequence of trigonometric polynomials): is a Cauchy sequence with respect to the Weyl metric W 2 but its sum, which is clearly an essentially bounded function, is not equi-Weyl-2-almost periodic; see for example [8] (p. 247) and [6] for the notion. On the other hand, using the identity we can simply prove that for each τ ∈ R and p ≥ 1 we have In particular, the function f (·) is Doss-p-almost periodic for any finite exponent p ≥ 1. We would like to ask whether the function f (·) is equi-Weyl-p-almost periodic for some exponent p ∈ [1, 2) or Weyl-p-almost periodic for some finite exponent p ≥ 1?
We close this subsection with the observation that, for every finite exponent p ≥ 1, there exists a (Besicovitch-)Doss-p-almost periodic function f : R → R which is not Weyl-p-almost periodic; see for example [11] (Example 6.24).

Invariance of Doss ρ-Almost Periodicity under the Actions of Convolution Products
This subsection investigates the invariance of Doss ρ-almost periodicity under the actions of infinite convolution products (for simplicity, we will not consider here the finite convolution products). From the application point of view, the one-dimensional framework is the most important and here we will only note that the established results admit straightforward extensions for the infinite convolution product and the finite convolution product [7,19] for more details.
Proof. It is clear that (19) implies that the function F(·) is well-defined as well as that the integrals in the definitions of F(x) and F(x + τ) − F(x) converge absolutely (x ∈ R). Furthermore, since A is a closed linear operator commuting with R(·), and since we have assumed (20) The remainder of proof is almost the same as the proof of the corresponding part of [18] Using a similar argumentation and inspecting carefully the proof of [6] (Theorem 2.13.10), we may conclude that the following result holds true: Theorem 2. Let ∅ = Λ ⊆ R, 1/p + 1/q = 1 and (R(t)) t>0 ⊆ L(X) satisfy: Let A be a closed linear operator commuting with R(·), let a function g : R → X be Doss-(p, Λ , A)-almost periodic, resp. Doss-(p, Λ , A)-uniformly recurrent, and Stepanov p-bounded, and let q(β − 1) > −1 provided that p > 1, resp. β = 1, provided that p = 1. Assume that the function t → Ag(t), t ∈ R is Stepanov p-bounded. Then the function G : R → X, defined through (21) with f = g therein, is bounded, continuous and Doss-(p, Λ , A)-almost periodic, resp. Doss-(p, Λ , A)-uniformly recurrent. Furthermore, if g(·) is B p -continuous, then G(·) is B p -continuous, as well.

Remark 2.
If A = cI for some c ∈ C, then we can consider two different pivot spaces X and Y in Theorems 1 and 2. See also [6] (Theorem 2.13.7), where we have used the estimate +∞ 0 (1 + t) R(t) dt < +∞, which cannot be satisfied for fractional solution operator families.

Applications to Abstract Volterra Integro-Differential Equations and Partial Differential Equations
In this section, we aim to present some applications of our abstract results to the abstract Volterra integro-differential equations and the partial differential Equations.
1. We start by observing that our results about the invariance of Doss ρ-almost periodicity under the actions of convolution products, established in Section 2.2, can be applied in the analysis of the existence and uniqueness of Doss-(p, A)-almost periodic solutions in the time variable for various kinds of the abstract (degenerate) Volterra integrodifferential equations (see e.g., [6] for more details). For example, we can apply Theorem 2 in the analysis of the existence and uniqueness of Doss (p, c)-almost periodic solutions of the following fractional Poisson heat equation with Weyl-Liouville fractional derivatives: where γ ∈ (0, 1), 1 ≤ p < ∞ and c ∈ C; possible applications can be also given to the higher-order differential operators in Hölder spaces. All this has been seen many times and details can be omitted.
2. It is worth noting that Proposition 4, Proposition 7 and Theorem 2 can be implemented in the analysis of the existence and uniqueness of Doss-(p, Λ , c)-uniformly recurrent solutions for various classes of abstract fractional semilinear Cauchy inclusions and equations. Suppose, for instance, that γ ∈ (0, 1), a closed multivalued linear operator A on X satisfies all requirements from [6] (Subsection 2.9.2) and the solution family P γ (·) is defined as therein. Define R γ (t) := t γ−1 P γ (t), t > 0. Then we know that R γ (t) = O(t γ−1 /(1 + t 2γ )), t > 0. Let p ∈ (1, ∞), let 1/p + 1/q = 1, and let q(γ − 1) > −1. Fix now a strictly increasing sequence (α k ) of positive reals tending to plus infinity, and define: where Λ := {α k : k ∈ N}. By Proposition 4(iv), the set BCD (α k );c (R : X) equipped with the metric d(·, ·) := · − · ∞ is a complete metric space. Suppose now that a mapping F : Λ × X → Y satisfies the estimate (15). We say that a continuous function u : R → X is a mild solution of the semilinear Cauchy inclusion D γ t,+ u(t) ∈ Au(t) + F(t; u(t)), t ∈ R, (22) if and only if Keeping in mind Proposition 7 and Theorem 2, we can simply prove the following analogue of [12] (Theorem 3.1): Theorem 3. Suppose that the above requirements hold as well as that the function F : R × X → X satisfies that for each bounded subset B of X there exists a finite real constant M B > 0 such that sup t∈R sup x∈B F(t; x) ≤ M B . If there exists a finite real number L > 0 such that: (14) holds, and there exists an integer m ∈ N such that: then the abstract semilinear fractional Cauchy inclusion (22) has a unique bounded Doss-(p, Λ , c)uniformly recurrent solution which belongs to the space BCD (α k );c (R : X).

Conclusions and Final Remarks
In this paper, we have analyzed the multi-dimensional Doss ρ-almost periodic type functions of the form F : Λ × X → Y, where n ∈ N, ∅ = Λ ⊆ R n , X and Y are complex Banach spaces, and ρ is a binary relation on Y. The main structural properties of introduced classes of functions are presented, including some applications to the abstract Volterra integro-differential equations and the partial differential equations.
Concerning some drawbacks and research limitations of the class of Doss ρ-almost periodic type functions, we would like to emphasize that the usually considered Doss almost periodic type functions (ρ is equal to the identity operator) do not have a linear vector structure, which can be very unpleasant for providing certain applications. It is also clear that a Doss almost periodic function F : R n → X need not have a mean value, which is also a very unpleasant property of Doss almost periodic functions.
Concerning some practical implications of our work, we would like to emphasize that the various types of Doss almost periodicity are invariant under the actions of the convolution products. This enables us to consider the existence and uniqueness of Doss almost periodic solutions for various classes of abstract Voleterra integro-differential equations and inclusions; the abstract semilinear Cauchy problems and inclusions can be also analyzed since we can formulate composition principles in our framework. It is also worth noting that the class of Doss p-almost periodic functions provides, in the theoretical sense, a unification concept for the class of Besicovitch p-almost periodic functions and the class of Weyl p-almost periodic functions (1 ≤ p < ∞). In our further investigations, we will analyze the multi-dimensional analogues of conditions (A)-(B) and results established by R. Doss [26,27] as well as the class of multi-dimensional semi-ρ-periodic functions and certain classes of (equi-)Weyl-(p, ρ)-uniformly recurrent functions. It could be also of importance to analyze the multi-dimensional Hartman almost periodic functions, as well.
We close the paper with the observation that we can further extend the notion introduced in Definition 1 by allowing that the function F(t) depends not only on t > 0 but also on τ ∈ Λ . For example, we can consider the following notion (with the exception of assumption F : (0, ∞) → (0, ∞), which is replaced by the assumption F : (0, ∞) × Λ → (0, ∞) here, we retain all remaining standing assumptions of ours): Definition 3. We say that the function F(·; ·) is Doss-(p, φ, F, B, Λ , ρ)-almost periodic if and only if, for every B ∈ B and > 0, there exists l > 0 such that for each t 0 ∈ Λ there exists a point τ ∈ B(t 0 , l) ∩ Λ such that, for every t > 0, x ∈ B and · ∈ Λ t we have the existence of an element y ·;x ∈ ρ(F(·; x)) such that: In actual fact, sometimes it is very important to assume that the function F depends also on τ ∈ Λ . We will illustrate this fact by considering the second-order partial differential equation: ∆u = − f , where f ∈ C 2 (R 3 ) has a compact support. Let us recall that the Newtonian potential of f (·), defined by: is a unique function belonging to the class C 2 (R 3 ), vanishing at infinity and satisfying ∆u = − f ; see, for example, [31] (Theorem 3.9, pp. 126-127). In our final application, we will assume that ρ = cI for some c ∈ C, p(·) ≡ 1 and φ(x) ≡ x, as well as that ∅ = Λ ⊆ Λ = R 3 and there exists a finite real number d > 0 such that: Then, we have the following: Proof. Let > 0 be given, and let τ ∈ Λ be as in (26). Using the Fubini theorem, we have the existence of a finite real number t 1 ( , τ) > 0 such that: