1. Introduction and Preliminaries
The notion of almost periodicity was first studied by Bohr around 1925 and later generalized by Stepanov, Weyl, and Besicovitch, amongst many others. There is an enormous amount of literature devoted to the study of various types of almost periodic functions and almost automorphic functions in Banach spaces. Fairly complete information concerning almost periodic functions, almost automorphic functions, and their applications can be obtained by consulting the research monographs by Besicovitch [
1], by Diagana [
2], by Fink [
3], by Guérékata [
4], by Kostić [
5], by Levitan [
6], and by Zaidman [
7].
The theory of generalized almost periodicity and generalized uniform recurrence in Lebesgue spaces with variable exponents is still very unexplored. In their foundational papers [
8,
9], Diagana and Zitane introduced and analyzed the notion of Stepanov
-pseudo almost periodicity and the notion of Stepanov
-pseudo almost automorphicity. The spaces introduced in these papers are not translation invariant, in contrast to the spaces of Stepanov
-almost periodic functions and Stepanov
-almost automorphic functions considered by Diagana and Kostić in Reference [
10,
11]. The class of (asymptotically) Weyl almost periodic functions in Lebesgue spaces with variable exponents has been analyzed in Reference [
12], while the classes of Stepanov uniformly recurrent functions, Doss uniformly recurrent functions, and Doss almost periodic functions in Lebesgue spaces with variable exponents were analyzed in the first part of this research study by Kostić and Du [
13].
As mentioned in the abstract, the main aim of this paper was to analyze several different notions of almost periodic type functions and uniformly recurrent type functions in Lebesgue spaces with variable exponents. The paper is conceptualized as a certain continuation of our recent research studies [
13,
14], where we recently analyzed quasi-asymptotically almost periodic functions and their Stepanov generalizations (also see Reference [
15]). The class of quasi-asymptotically uniformly recurrent functions has not been considered elsewhere; it is also worth noting that some classes of generalized Stepanov and Weyl
-almost periodic type functions and
-uniformly recurrent type functions have not been considered elsewhere even for the constant coefficients
. We also examine the corresponding classes of functions depending on two parameters and clarify some composition principles in this context, providing a few illustrative applications to the abstract (semilinear) fractional differential inclusions in Banach spaces.
The organization and main ideas of this paper can be briefly described as follows. In
Section 1.1, we collect the preliminary material about almost periodic functions and uniformly recurrent functions.
Section 2 introduces the notion of several different types of generalized (equi-)Weyl almost periodicity in Lebesgue spaces with variable exponents. The spaces introduced in Definitions 3–5 may not be translation invariant, in general, which is not the case with the spaces introduced in Definitions 6–8. The main aim of
Section 2 was to explain without proofs how the structural results and characterizations established for generalized (equi-)Weyl almost periodic functions in Reference [
12] can be straightforwardly extended for the corresponding classes of generalized (equi-)Weyl uniformly recurrent functions. In Definition 9, we introduce the class of quasi-asymptotically uniformly recurrent functions. Proposition 1 shows that any asymptotically uniformly recurrent function is quasi-asymptotically uniformly recurrent; the converse statement is generally false, as a class of very simple counterexamples shows. In Proposition 2, we prove that the sum of a quasi-asymptotically uniformly recurrent function and a continuous function vanishing at infinity is again quasi-asymptotically uniformly recurrent. In Theorem 1, we revisit Reference [
14] (Theorem 2.5) once more and examine some extra conditions under which a quasi-asymptotically uniformly recurrent function is (asymptotically) uniformly recurrent.
Section 3.1 introduces and investigates several different classes of Stepanov quasi-asymptotically uniformly recurrent type functions in Lebesgue spaces with variable exponents. The notion introduced in this subsection, in which we reconsider and slightly improve several known results from [
14] in our new framework, is new even for the constant coefficients
, and can be used to intermediate the concepts of the quasi-asymptotical almost periodicity (quasi-asymptotical uniform recurrence, S-asymptotical
-periodicity) and its Stepanov generalizations with constant exponents. In Proposition 4, we reconsider the assertion of Reference [
10] (Proposition 4.5) for the Stepanov quasi-asymptotically uniformly recurrent functions (also see Corollary 1 and Proposition 5). It is worth noting that the concept of Stepanov
p-quasi-asymptotical almost periodicity is important since it intermediates the concepts of the (quasi-)asymptotical almost periodicity and Weyl
p-almost periodicity (see Reference [
14], Proposition 2.12); as observed here, the same holds for the concept of Stepanov
p-quasi-asymptotical uniform recurrence. The main objective in Proposition 6 is to state and prove a general result in this direction. In
Section 3.2, we clarify the main composition principles for the class of quasi-asymptotically uniformly recurrent functions. Our main contributions are given in
Section 3.3, where we examine the invariance of generalized quasi-asymptotical uniform recurrence with variable exponents under the actions of convolution products.
Section 4 is reserved for applications of our abstract theoretical results to the abstract Volterra integro-differential inclusions in Banach spaces.
We use the standard notation throughout the paper. By , we denote a complex Banach space; unless stated otherwise, I denotes the interval or the real line . Furthermore, by , , , and , we denote the vector spaces consisting of all p-locally integrable functions , all continuous functions , all bounded continuous functions and all continuous functions satisfying that , respectively (). Then, and are Banach space equipped with the sup-norm, denoted henceforth by . If , then we define by , . Furthermore, if Y is also a complex Banach space, then, by , we denote the space of all continuous linear mappings from X into ; . For any , we define and .
Suppose that
is a non-negative Lebesgue-integrable function, where
,
, and
is a convex function. Let us recall that the Jensen integral inequality states that
Using this integral inequality, we can simply prove that, for every two sequences
and
of non-negative real numbers such that
we have
If
is a concave function, then the above inequalities reverse.
1.1. Almost Periodic and Uniformly Recurrent Type Functions
Let be a given continuous function. Given , we call an -period for if and only if , . The set consisting of all -periods for is denoted by . The function f is said to be almost periodic, if and only if for each the set is relatively dense in , which means that there exists such that any subinterval of of length ℓ intersects . The collection of all almost periodic functions will be denoted by . The function is said to be asymptotically almost periodic if and only if there exist an almost periodic function and a function such that for all . This is equivalent to saying that, for every , we can find numbers and such that every subinterval of of length l contains, at least, one number such that provided .
Following Haraux and Souplet [
16], we say that the function
is uniformly recurrent if and only if there exists a strictly increasing sequence
of positive real numbers such that
and
It is well known that any almost periodic function is uniformly recurrent, while the converse statement is not true in general. The function
is said to be asymptotically uniformly recurrent if and only if there exist a uniformly recurrent function
and a function
such that
for all
. The classes of uniformly recurrent functions and asymptotically uniformly recurrent functions will be denoted by
and
respectively.
Let
. Then, we say that a function
is Stepanov
p-bounded if and only if
Endowed with the above norm, the space
consisting of all
-bounded functions becomes a Banach space. A function
is said to be Stepanov
p-almost periodic if and only if the function
, defined by
is almost periodic, while the function
is said to be Stepanov
p-uniformly recurrent if and only if the function
is uniformly recurrent. A function
is said to be asymptotically Stepanov
p-uniformly recurrent if and only if there exist a Stepanov
p-uniformly recurrent function
and a function
such that
,
and
.
Let
. Then, we say that a bounded continuous function
is
S-asymptotically
-periodic if and only if
. Denote by
the space consisting of all such functions (see Henríquez et al. [
17] for case
and Kostić [
14] for case
). A Stepanov
p-bounded function
is said to be Stepanov
p-asymptotically
-periodic if and only if
The class of quasi-asymptotically almost periodic functions extends the classes of asymptotically almost periodic functions and S-asymptotically -periodic functions (a similar statement holds for the corresponding Stepanov classes).
Definition 1. It is said that a bounded continuous function is quasi-asymptotically almost periodic if and only if for each there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatDenote by the set consisting of all quasi-asymptotically almost periodic functions from I into . Definition 2. Let . Then, it is said is Stepanov p-quasi-asymptotically almost periodic if and only if for each there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatDenote by the set consisting of all Stepanov p-quasi-asymptotically almost periodic functions from I into . 1.2. Lebesgue Spaces with Variable Exponents
Let
be a nonempty subset and let
stand for the collection of all measurable functions
;
. Furthermore,
denotes the vector space of all Lebesgue measurable functions
. For any
and
, set
and
We define the Lebesgue space
with variable exponent as follows:
equivalently,
For every
, we introduce the Luxemburg norm of
by
Equipped with the above norm, the space
becomes a Banach space, coinciding with the usual Lebesgue space
in the case that
is a constant function. For any
, we set
Define
and
If
, then we know that
We will use the following lemma (see, e.g., Reference [
18], (Lemma 3.2.20, (3.2.22); Corollary 3.3.4; p. 77) for the scalar-valued case):
Lemma 1. - (i)
(The Hölder inequality) Let such that Then, for every and , we have and - (ii)
Let Ω be of a finite Lebesgue’s measure , and let such a.e. on . Then, is continuously embedded in , with the constant of embedding less than or equal to .
- (iii)
Let , and a.e. on . Then, and .
We will use the following fact. If
,
,
and
, then
,
and
For furher information concerning the Lebesgue spaces with variable exponents
, we refer the reader to Reference [
8,
9,
18,
19,
20].
2. Generalized Weyl Uniform Recurrence in Lebesgue Spaces with Variable Exponents
Throughout this section, we use the following conditions:
- (A):
or , , and .
- (B):
The same as (A) with the assumption replaced by therein.
We will first extend the notion introduced in Reference [
12] (Definitions 2.1–2.3):
Definition 3. Suppose that condition (A) holds, , and for any and any compact subset K of .
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only if we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
Definition 4. Suppose that condition (A) holds, and for any and any compact subset K of .
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only if we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
Definition 5. Suppose that condition (A) holds, and for any and any compact subset K of .
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only if we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
Before we go any further, we would like to that the above definitions are incapable of being compared to each other: For example, in Definition 3, we calculate the value of , while, in Definition 4, we first calculate the value of , and, after that, we apply the function
It is clear that the class of (equi-)Weyl--uniformly recurrent functions, resp. (equi-)Weyl--uniformly recurrent functions, extends the class of (equi-)Weyl--almost periodic functions, resp. (equi-)Weyl--almost periodic functions (). Case , and is the most indicative, when we say that the function is (equi-)Weyl-p-uniformly recurrent. The class of (equi-)Weyl-p-uniformly recurrent functions has not been considered elsewhere by now.
Let us recall that any equi-Weyl-
p-almost periodic function needs to be Weyl
p-almost periodic, while the converse statement does not hold in general. In Reference [
12], we showed that an equi-Weyl-
-almost periodic function, resp. equi-Weyl-
-almost periodic function, does not need to be Weyl-
-almost periodic, resp. Weyl-
-almost periodic (
). This statement continues to hold for generalized uniformly recurrent functions introduced above. For example, the use of same arguments as in Reference [
12] shows that any continuous Stepanov
p-almost periodic function
which is not periodic cannot be Weyl-
-uniformly recurrent, while it is always equi-Weyl-
-almost periodic.
Example 1. If X does not contain an isomorphic copy of the sequence space , and , where , then there does not exist a non-periodic trigonometric polynomial and function such that This can be verified based on the argumentation contained in Reference [12] (example 2.4 (iii)). Furthermore, the statement of Reference [
12] (Proposition 2.5) and the conclusions established in Reference [
12] (Remark 2.6) can be reformulated for the introduced classes of generalized Weyl uniformly recurrent functions. In order to ensure the translation invariance of generalized Weyl spaces of uniformly recurrent functions with variable exponents, we will follow a slightly different approach based on the idea from Reference [
10] (in the subsequent definitions, we use condition (B) so that they cannot be so easily connected with Definitions 3–5):
Definition 6. Suppose that condition (B) holds, and for any , and .
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only if we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
Definition 7. Suppose that condition (B) holds, and for any , and .
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only if we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
Definition 8. Suppose that condition (B) holds, and for any and
- (i)
It is said that the function is equi-Weyl--uniformly recurrent, for short, if and only we can find two sequences and of positive real numbers such that and - (ii)
It is said that the function is Weyl--uniformly recurrent, for short, if and only if we can find a sequence of positive real numbers such that and
The statement of Reference [
12] (Proposition 2.11) and the conclusions established in Reference [
12] (Remark 2.10) can be reformulated for generalized Weyl uniformly recurrent functions introduced in the above three definitions. In Reference [
12] (Theorem 4.1, Theorem 4.4), we analyzed the invariance of (equi-)Weyl-
-almost periodicity and (equi-)Weyl-
-almost periodicity under the actions of infinite convolution products; also see Reference [
12] (Theorems 4.6 and 4.7), resp. Reference [
12] (Theorems 4.9 and 4.10), where we analyzed the invariance of (equi-)Weyl-
-almost periodicity and (equi-)Weyl-
-almost periodicity, resp. (equi-)Weyl-
-almost periodicity and (equi-)Weyl-
-almost periodicity, under the actions of infinite convolution products. Furthermore, in Reference [
12] (Propositions 4.12 and 4.13), we examined the convolution invariance of the above-mentioned types of generalized Weyl almost periodicity with variable exponents. All these statements can be straightforwardly reformulated for generalized Weyl uniformly recurrent functions introduced in this section; we leave readers to make this precise.
3. Quasi-Asymptotically Uniformly Recurrent Type Functions with Variable Exponents
In the following definition, we will extend the notion of quasi-asymptotical almost periodicity introduced in Reference [
14] (Definition 2.1) (also see Reference [
14], Remark 2.2):
Definition 9. We say that a continuous function is quasi-asymptotically uniformly recurrent if and only if there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such thatDenote by the set consisting of all quasi-asymptotically uniformly recurrent functions from I into . Besides the class it is expected that the class of quasi-asymptotically uniformly recurrent functions extends the class of asymptotically uniformly recurrent functions, as well. For completeness, we will include all details of the proof of the following proposition:
Proposition 1. Suppose that is asymptotically uniformly recurrent. Then, is quasi-asymptotically uniformly recurrent.
Proof. Let
,
and
. By our assumption, we have the existence of a strictly increasing sequence
of positive real numbers tending to plus infinity such that (2) holds with the function
replaced therein with the function
. Let
be fixed. Then, we can find a sufficiently large real number
and a sufficiently large integer
such that
for
and
,
. Then, for every
such that
, we have
and
This simply implies the required assertion. □
Applying the same arguments, we can deduce the following
Proposition 2. Suppose that is quasi-asymptotically uniformly recurrent and . Then, is likewise quasi-asymptotically uniformly recurrent.
The proof of following proposition is simple and can be omitted, as well:
Proposition 3. Suppose that and . Then, is quasi-asymptotically uniformly recurrent (quasi-asymptotically almost periodic, S-asymptotically ω-periodic) if and only if is quasi-asymptotically uniformly recurrent (quasi-asymptotically almost periodic, S-asymptotically ω-periodic).
If and has a compact support, then it can be easily seen that the convolution belongs to the class . Furthermore, any quasi-asymptotically almost periodic function is bounded by definition, and this is no longer true for quasi-asymptotically uniformly recurrent functions. In connection with this, we would like to present the following illustrative example:
Example 2. (Reference [16,21]) SetWe know that, for each real number , the function , is bounded uniformly continuous, uniformly recurrent, and not (Stepanov) p-quasi-asymptotically almost periodic (). On the other hand, Proposition 1 shows that the function is quasi-asymptotically uniformly recurrent. Furthermore, if
and
, then the Lagrange mean value theorem implies that the function
is quasi-asymptotically uniformly recurrent. In particular, the function
,
is quasi-asymptotically uniformly recurrent; on the other hand, it can be simply verified that the function
is not asymptotically uniformly recurrent. The notion of quasi-asymptotical uniform anti-recurrence can be also introduced and analyzed (also see Reference [
14] (Example 2.3, Remark 2.4)).
Example 3. The function given by , is quasi-asymptotically almost periodic but not asymptotically almost periodic (see Reference [14,22] (Example 4.1, Theorem 4.2)). Now we will prove that this function cannot be asymptotically uniformly recurrent. Suppose the contrary, and fix a sufficiently small number . Then, an elementary argumentation shows that there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a number such that for all and . Hence,Let be such that for . Plugging , where , the above estimate simply implies that there exists a finite constant such thatThen, we get the existence of a real number such that andIt can be simply verified that this estimate cannot be satisfied simultaneously for and , which yields a contradiction. In Reference [
14] (Theorem 2.5), we proved that any asymptotically almost automorphic function which is also quasi-asymptotically almost periodic is always asymptotically almost periodic. The arguments contained in the proof of the above-mentioned theorem also show that any asymptotically uniformly recurrent function which is quasi-asymptotically almost periodic needs to be asymptotically almost periodic (see Reference [
21], Theorem 2.13 (i)), as well as that the following result holds true:
Theorem 1. Let be any space of functions satisfying that, for each , the supremum formula holds for the function , that isThen, we have: - (i)
- (ii)
Proof. We will include the main details of the proof for the sake of completeness. Let
,
and
. By our assumptions, there exists a strictly increasing sequence
of positive real numbers tending to plus infinity and a sequence
of positive real numbers such that, for every integer
, there exists an integer
with
Let
be fixed. Since
, we have that there exists a finite number
such that
Define the function
by
,
. Since the supremum formula holds for the function
, we get
Hence,
and
is thus uniformly recurrent, which immediately implies part (i). Part (ii) can be deduced similarly. □
In the following illustrative application of Theorem 1, we will consider the case in which
and
, the space of all almost automorphic functions from
I into
X (see Reference [
5] for more details):
Example 4. The first example of a scalar-valued compactly almost automorphic function which is not almost periodic has been constructed by Fink (see [23], p. 521). Set sign, and define after that the function by if for some integer and for some number . This function is compactly almost automorphic but not almost periodic; furthermore, in Reference [21], we proved that the function is not asymptotically uniformly recurrent. Using this fact and Theorem 1, it readily follows that the function is not quasi-asymptotically uniformly recurrent, as well. 3.1. Stepanov Classes of Quasi-Asymptotically Uniformly Recurrent Type Functions
Throughout this subsection, we use the following conditions:
- (A)S:
or , , , , , and .
- (B)S:
The same as with the assumption replaced by therein.
We will first introduce the Stepanov--classes of quasi-asymptotically uniformly recurrent functions and the Stepanov--classes of quasi-asymptotically uniformly recurrent functions, where and . In this approach, we may lose the information about the translation invariance of introduced spaces:
Definition 10. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov--quasi-asymptotically uniformly recurrent, if and only if for any and any compact set , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
We say that a function is Stepanov--asymptotically ω-periodic if and only if for any compact set and
Definition 11. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov--quasi-asymptotically uniformly recurrent, if and only if for any and any compact set , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
We say that a function is Stepanov--asymptotically ω-periodic if and only if for any compact set and
Definition 12. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov- -quasi-asymptotically uniformly recurrent, if and only if for any and any compact set , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
Then, we say that a function is Stepanov--asymptotically ω-periodic if and only if for any compact set and
In the second approach, we will employ condition
and therefore assume that
. Using the substitution
the translation invariance of considered function spaces can be achieved (see e.g., Reference [
12], Remark 2.10 (iii)):
Definition 13. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov--quasi-asymptotically uniformly recurrent, if and only if for any , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
Then, we say that a function is Stepanov--asymptotically ω-periodic if and only if for any and
Definition 14. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov--quasi-asymptotically uniformly recurrent, if and only if for any , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
Then, we say that a function is Stepanov--asymptotically ω-periodic if and only if for any and
Definition 15. Let hold.
- (i)
A function is called Stepanov--quasi-asymptotically almost periodic, resp. Stepanov--quasi-asymptotically uniformly recurrent, if and only if for any , as well as for each , there exists a finite number such that any interval of length contains at least one number satisfying that there exists a finite number such thatresp. there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that - (ii)
Then, we say that a function is Stepanov--asymptotically ω-periodic if and only if for any and
Remark 1. The notion introduced in the above definitions is rather general. Let us only say the following: suppose that the function is locally bounded, and . Then, it readily follows that is Stepanov--asymptotically ω-periodic for any function .
The notion introduced in the above definitions extends the notions of Stepanov
p-quasi-asymptotical almost periodicity and the notion of Stepanov
p-asymptotical
-periodicity (
). In case that
, the Stepanov-
-classes coincide with the corresponding Stepanov-
-classes of functions. The most intriguing case, without any doubt, is that in which the functions
are identically equal to one and
if this is the case and
(see Definitions 13–15), then we also say that the function
is Stepanov
-quasi-asymptotically almost periodic (Stepanov
-quasi-asymptotically uniformly recurrent, Stepanov
-asymptotically
-periodic). In what follows, by
(
,
) we denote the collection of all such functions. It can be easily verified that the function
is Stepanov
-quasi-asymptotically almost periodic (Stepanov
-quasi-asymptotically uniformly recurrent, Stepanov
-asymptotically
-periodic) if and only if the function
is quasi-asymptotically almost periodic (quasi-asymptotically uniformly recurrent,
S-asymptotically
-periodic). This enables one to transfer the statements of Proposition 3 and Theorem 1 to the Stepanov classes (also see Reference [
14], Theorem 2.10, Proposition 2.11), as well as to conclude that
for any
; see Reference [
14] (Proposition 2.7).
Unfortunately, the spaces of (Stepanov
-) quasi-asymptotically uniformly recurrent type functions are not closed under the operations of pointwise addition and multiplication. For instance, the consideration from Reference [
14] (Example 2.16–Example 2.18) enables one to see that the following holds:
- (i)
There exist a continuous periodic function and a function such that the function is not quasi-asymptotically uniformly recurrent.
- (ii)
There exist a Stepanov p-almost periodic function , where the exponent can be chosen arbitrarily, and a function such that does not belong to the class .
- (iii)
There exist a continuous periodic function and a function such that the function does not belong to the class .
We continue by stating the following
Proposition 4. Suppose that is continuous for , and any of the functions is bounded. Then, any quasi-asymptotically uniformly recurrent function is Stepanov--quasi-asymptotically uniformly recurrent, Stepanov--quasi-asymptotically uniformly recurrent, as well as Stepanov--quasi-asymptotically uniformly recurrent and Stepanov--quasi-asymptotically uniformly recurrent (). The same statement holds for the corresponding classes of quasi-asymptotically almost periodic functions and S-asymptotically ω-periodic functions.
Proof. We will provide the main details of the proof for the class of Stepanov-
-quasi- asymptotically uniformly recurrent functions. Let
and
be the sequences from Definition 9, and let
. Then, there exists
such that
,
. Hence,
. By our assumption, we have the existence of an integer
such that
Let
with
be fixed. Then, for every
, we have
,
. This implies that, for every
,
and
, we have
,
and therefore
Thus,
which yields that
This completes the proof by the boundedness of function
. □
As an immediate consequence, we have the following statement (also see Reference [
10] (Proposition 4.5), where we proved that any almost periodic function
is
-almost periodic for any
):
Corollary 1. Let and . Then, any quasi-asymptotically almost periodic (quasi- asymptotically uniformly recurrent, S-asymptotically ω-periodic) function is Stepanov -quasi-asymptotically almost periodic (Stepanov -quasi-asymptotically uniformly recurrent, Stepanov -asymptotically ω-periodic).
Using the trivial inequalities and Lemma 1, we can clarify a great number of inclusions for the introduced classes of functions. For instance, we can simply deduce the following (see Reference [
10] (Proposition 4.3, Proposition 4.4, Proposition 4.8) for the first results in this direction, as well as Reference [
12] (Remarks 2.6 and 2.10)):
- (i)
, and .
- (ii)
Suppose and for a.e. . Then, we have , , and .
- (iii)
Suppose and a.e. on . Then, we have , and .
These inclusions can be simply transferred and reformulated for the general classes of functions introduced in Definitions 10–12 and Definitions 13–15; details can be left to the interested readers.
The first part of subsequent result is very similar to Reference [
12] (Proposition 2.5); the proof is based on the use of Jensen integral inequality and therefore omitted.
Proposition 5. - (i)
Suppose that is convex, and . If is Stepanov -quasi asymptotically uniformly recurrent, then is Stepanov -quasi asymptotically uniformly recurrent. If the function is concave, then the above inclusion reverses.
- (ii)
Suppose that there exists a function such that for all . If is Stepanov -quasi asymptotically uniformly recurrent, resp. Stepanov -quasi asymptotically uniformly recurrent, then is Stepanov -quasi asymptotically uniformly recurrent, resp. Stepanov -quasi asymptotically uniformly recurrent, provided that .
Furthermore, the same statements hold for the corresponding classes of quasi-asymptotically almost periodic functions and S-asymptotically ω-periodic functions.
The basic structural properties of quasi-asymptotically almost periodic functions clarified in Reference [
14] (Theorem 2.13) can be formulated in our framework, for the general classes of functions introduced in this subsection, as well. We leave readers to make this explicit.
If
then any Stepanov
p-quasi-asymptotically almost periodic function is Weyl
p-almost periodic (see Reference [
14], Proposition 2.12). The argumentation used in the proof of this result also shows that any Stepanov
p-quasi-asymptotically uniformly recurrent function is Weyl-
p-uniformly recurrent. In general case, we will state and prove only one result regarding the notion introduced in Definitions 3 and 10:
Proposition 6. Suppose that the function is Stepanov--quasi-asymptotically uniformly recurrent. If satisfiesandthen the function is Weyl--uniformly recurrent. Proof. By our assumption, we have for any and any compact set ; furthermore, we know that there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that (6) holds. We will prove that (4) holds with the function replaced therein with the function . Let and be fixed. If , then there exist four possibilities:
and ;
and ;
and ;
and .
The consideration is similar for all these cases, and we will give the proof for case (1.), only. If
then we have
,
and therefore
also see (3). Employing condition (7), we immediately get (4). If
, then we have
and
for a sufficiently large
(it suffices to consider only such case because, in (4), we operate with
). We have
Using (7) and (8), we get (4). □
3.2. Composition Principles for the Class of Quasi-Asymptotically Uniformly Recurrent Functions
In this subsection, we will briefly consider quasi-asymptotically uniformly recurrent functions depending on two parameters and related composition theorems (for the sake of brevity, we will say only a few words about the Stepanov classes). In order to unify several different approaches used in the existing literature, in this subsection, we will assume that , where denotes the power set of ; usually, denotes the collection of all bounded subsets of Y or all compact subsets of .
Definition 16. - (i)
By , we denote the space of all continuous functions such that uniformly for y in any subset .
- (ii)
A continuous function is said to be uniformly continuous on , uniformly for if and only if for every and for every there exists a number such that for all and all satisfying that .
We continue by introducing the following definition:
Definition 17. Suppose that is a continuous function and . Then, we say that is quasi-asymptotically uniformly recurrent, uniformly on if and only if for every there exists a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that:Denote by the set consisting of all quasi-asymptotically unifomly recurrent, uniformly on functions from into . Using the argumentation employed in the proofs of Reference [
2] (Theorems 3.30 and 3.31), we may deduce the following results:
Theorem 2. Suppose that , , and . If there exist a finite number such thata strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that (9) holds with and (2) holds, then the function , belongs to the class . Theorem 3. Suppose that , , and . If is uniformly continuous on , uniformly for and there exist a strictly increasing sequence of positive real numbers tending to plus infinity and a sequence of positive real numbers such that (9) holds with and (2) holds, then the function , belongs to the class .
Similarly as in Definition 17, we can introduce the notion of a quasi-asymptotically almost periodic, uniformly on function and the notion of a S-asymptotically -periodic, uniformly on function. Theorems 2 and 3 continue to hold in this framework.
In Reference [
14] (Definition 2.22), we introduced the notion of a Stepanov
p-quasi-asymptotically almost periodic function depending on two parameters (
); the notion of a Stepanov
-quasi-asymptotically almost periodic function (Stepanov
-quasi-asymptotically uniformly recurrent function, Stepanov
-asymptotically
-periodic function) can be introduced in a similar fashion. The interested reader may try to extend Reference [
14] (Theorems 2.23 and 2.24) in this context (also see Reference [
24]).
3.3. Invariance of Generalized Quasi-Asymptotical Uniform Recurrence under the Actions of Convolution Products
This subsection investigates the invariance of generalized quasi-asymptotical uniform recurrence under the actions of finite and infinite convolution products. Using the same arguments as in the proofs of Reference [
14] (Propositions 3.1 and 3.2), we can deduce the validity of the following statement:
Proposition 7. - (i)
Suppose that is a strongly continuous operator family and . If then the function , defined bybelongs to the class . - (ii)
Suppose that is a strongly continuous operator family and . If , then the function defined bybelongs to the class .
Concerning the invariance of Stepanov quasi-asymptotically almost periodic properties analyzed in the previous subsection, it would be really difficult and rather long to examine all introduced classes. Primarily from this reason, we will focus our attention on the notion introduced in Definition 13, only.
The following result admits a simple reformulation for the corresponding classes of quasi-asymptotically almost periodic functions and S-asymptotically -periodic functions:
Proposition 8. Suppose that is a sequence of positive real numbers such that , , is a convex monotonically increasing function satisfying for all , , and is a strongly continuous operator family satisfying thatSuppose, further, that, for every , we have , as well as that is Stepanov--quasi-asymptotically uniformly recurrent, , is bounded and satisfies that there exists a finite real constant such that for all and . Then, the function , given by (12), is well-defined and Stepanov--quasi-asymptotically uniformly recurrent. Proof. Since, for every
, we have
, it can be easily verified that the function
is well defined, as well as that the integral which defines
is absolutely convergent for every
and
(also see the proof of Reference [
12], Theorem 4.1). For the rest, let
and
be the sequences from Definition 13, for the function
replaced therein with the function
. Let
be given, and let
be such that
,
. Clearly, there exists
such that
Let
for
. Let
with
be fixed, and let
. Then, for each
, we have (apply the Jensen inequality, (1) and the Hölder inequality)
which implies that, for
, we have
If
, then we have
, and (14) implies
since
This simply completes the proof. □
We will also state the following special corollary, which generalizes Reference [
14] (Proposition 3.4):
Proposition 9. Suppose that , and is a strongly continuous operator family satisfying that . If is Stepanov -quasi-asymptotically uniformly recurrent (Stepanov -quasi-asymptotically almost periodic, Stepanov -asymptotically ω-periodic) and -bounded, then the function , given by (12), is well defined, bounded and quasi-asymptotically uniformly recurrent (quasi-asymptotically almost periodic, S-asymptotically ω-periodic).
Proof. We will consider the Stepanov
-quasi-asymptotically uniformly recurrent functions, only. Since
and
is
-bounded, we can apply the same arguments as in the proofs of Reference [
10] (Proposition 6.1) and Reference [
11] (Proposition 5.1) in order to see that the function
is bounded and continuous. The remainder of proof follows from the computations carried out in the proof of Proposition 10, with
and
. □
The following result regarding the finite convolution product admits a reformulation for the corresponding classes of quasi-asymptotically almost periodic functions and S-asymptotically -periodic functions, as well:
Proposition 10. Suppose that is a sequence of positive real numbers such that , , is a convex monotonically increasing function satisfying for all , , and is a strongly continuous operator family satisfying that (13) holds. Suppose, further, that the mapping , given by (11), is well-defined, as well as that is Stepanov--quasi-asymptotically uniformly recurrent, is bounded and satisfies that there exists a finite real constant such that for all and . Then, the function is Stepanov--quasi-asymptotically uniformly recurrent. Proof. The proof is very similar to the proof of Proposition 10, and we will only outline two details. Let
be fixed, and let the numbers
and
be as above. Then, for each
,
and
with
, we have
After that, we can decompose the sum
into two parts:
and apply the similar arguments. This completes the proof in a routine manner. □
Similarly, we can deduce the following extension of Reference [
14] (Proposition 3.3) (also see the proof of Reference [
11], Proposition 5.1):
Proposition 11. Suppose that , and is a strongly continuous operator family satisfying that . If is Stepanov -quasi-asymptotically almost periodic (Stepanov -quasi-asymptotically uniformly recurrent, Stepanov -asymptotically ω-periodic), for andthen the function , given by (11), is well-defined, bounded and quasi-asymptotically almost periodic (quasi-asymptotically uniformly recurrent, S-asymptotically ω-periodic). Remark 2. We would like to note that it is very difficult to remove the assumption on the boundedness of function in Proposition 7, resp. the Stepanov -boundedness of functions in Propositions 9–11, in contrast to our recent research study [21]. 4. Applications to the Abstract Volterra Integro-Differential Equations
Concerning possible applications of our theoretical results to the abstract Volterra integro- differential equations in Banach spaces, we would like to say first a few words about the abstract nonautonomous differential equations of first order. In the first part of Reference [
14] (
Section 4), we investigated the generalized almost periodic properties of the mild solutions to the abstract Cauchy problems
where the operator family
satisfies certain conditions. In Reference [
14] (Section 4.1), we investigated the generalized almost periodic properties of the semilinear analogues to the abstract Cauchy problems (15) and (16).
The statement of Reference [
14] (Theorem 4.1) can be straightforwardly extended for the inhomogeneities
by replacing the number
q in the equation [
14] (4.1) with the function
and using the translation
(
) therein; we can also consider the inhomogeneities
which are Stepanov
-bounded, by slightly modifying the equation [
14] (4.1) in the formulation of this result. Similar comments can be made for Reference [
14] (Theorem 4.3). Concerning semilinear problems, the statements of Reference [
14] (Theorem 4.6, Theorem 4.7) can be reformulated by replacing the space
with the space
consisting of all bounded functions
which are quasi-asymptotically uniformly recurrent and for which there exists a fixed sequence
of positive real numbers such that (5) holds; equipped with the metric
, this space becomes a complete metric space; the conclusions established in Reference [
14] (Example 2.8) can be reexamined in this context, as well.
Concerning the multivalued linear approach to the abstract degenerate Volterra integro-differential equations in Banach spaces, we refer the reader to the research monographs [
25] by Favini, Yagi, and [
26] by Kostić. In what follows, we assume that a multivalued linear operator
in
X satisfies condition [
5] ((P)). Let
, and let the operator families
and
possess the same meaning as in Reference [
5]. Then, we know that
We assume that
belongs to the continuity set of
, i.e., that
. Due to the first estimate in (17), we have that the mapping
,
belongs to the space
.
We will use the following notion of the Caputo fractional derivatives of order
(for more details about fractional calculus and fractional differential equations, we refer the reader to the monograph [
27] by Kilbas, Srivastava, and Trujillo, and the references cited in Reference [
13]). The Caputo fractional derivative of order
, denoted by
, is defined for those functions
for which
,
and
, by
here,
denotes the usual Sobolev space of order
. By a mild solution of the abstract semilinear Cauchy inclusion
we mean any function
satisfying that
Now, we are in a position to state the following result:
Theorem 4. Suppose that the function is continuous and satisfies that, for each bounded subset B of X, there exist a finite real constant and a sequence of positive real numbers such that (9) holds and . Let there exist a finite number such that (10) holds, and let there exist an integer such that , whereThen, the abstract fractional Cauchy inclusion has a unique solution which belongs to the space . Proof. Set, for every
,
Suppose that
. Then,
is a bounded set and our assumption implies that the mapping
,
is bounded. Applying Theorem 2, we have that the function
is quasi-asymptotically uniformly recurrent. After that, we can employ Proposition 7 (i) and Proposition 2 (there is no need to say that we can retain the same sequence
after applying the above-mentioned statements, with the meaning clear) in order to see that
. Hence, the mapping
is well defined. Since
the well known extension of the Banach contraction principle yields that the mapping
has a unique fixed point. This completes the proof. □
Let
be a bounded domain in
,
,
a.e.
,
,
and
. Suppose that the operator
acts on
X with the Dirichlet boundary conditions, and that
B is the multiplication operator by the function
. Then, we can apply Theorem 4 with
in the study of existence and uniqueness of bounded quasi-asymptotically uniformly recurrent solutions of the semilinear fractional Poisson heat Equation
It is also worth noting that we can apply Theorem 4 in the analysis of existence and uniqueness of bounded quasi-asymptotically uniformly recurrent solutions of the following fractional semilinear equation with higher order differential operators in the Hölder space
:
where
,
,
is a bounded domain in
with boundary of class
,
, the functions
satisfy certain conditions and
is sufficiently large. For more details, see Reference [
5].
Basically, our results on the invariance of generalized quasi-asymptotical almost periodicity and uniform recurrence, established in
Section 3.3, can be applied at any place where the variation of parameters formula takes effect. Furthermore, it is worth noting that the important examples presented in the monograph by Zaidman [
7] (Examples 4, 5, 7, 8; pp. 32–34) have been used many times before, by numerous authors, to provide certain applications to the abstract PDEs. For our purposes, it will be very important to reexamine Reference [
7] (Example 5). It is well known that the unique regular solution of the wave equation
,
,
, accompanied with the initial conditions
,
,
,
, is given by the famous d’Alembert formula
Let
be a fixed real number. If the function
is quasi-asymptotically uniformly recurrent, resp.
is quasi-asymptotically uniformly recurrent, then the function
,
, resp.
is likewise quasi-asymptotically uniformly recurrent; this can be shown as in Reference [
7]. Their sum will be quasi-asymptotically uniformly recurrent provided that these functions share the same sequence
in Definition 9.