Almost Periodic Solutions of Abstract Impulsive Volterra Integro-Differential Inclusions

Abstract

In this paper, we introduce and systematically analyze the classes of (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic functions and (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent functions with values in complex Banach spaces. We weaken substantially, or remove completely, the assumption that the sequence $\left(t_k\right)$ of possible first kind discontinuities of the function under consideration is a Wexler sequence (in order to achieve these aims, we use certain results about Stepanov almost periodic type functions). We provide many applications in the analysis of the existence and uniqueness of almost periodic type solutions for various classes of the abstract impulsive Volterra integro-differential inclusions.

1. Introduction and Preliminaries

Let $(X,\parallel ·\parallel )$ be a complex Banach space, let $I=\mathbb{R}$ or $I=[0,\infty ),$ and let $c\in \mathbb{C}$ be such that $\left|c\right|=1.$ If a continuous function $f:I\to X$ and a number $ϵ>0$ are given, then we say that a number $\tau >0$ an $(ϵ,c)$-period for $f(·)$ if and only if $\parallel f(t+\tau )-cf\left(t\right)\parallel \le ϵ$ for all $t\in I.$ By ${\vartheta }_c(f,ϵ)$ we denote the set consisting of all $(ϵ,c)$-periods for $f(·).$ It is said that $f(·)$ is c-almost periodic if and only if for each $ϵ>0$ the set ${\vartheta }_c(f,ϵ)$ is relatively dense in $[0,\infty ).$ The usual class of (Bohr) almost periodic functions is obtained by plugging $c=1.$ For more details about almost periodic type functions and their applications, we refer the reader to the research monographs [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] and references cited therein.

In the recent research article [24] by M. Fečkan et al., we have extended the notion of c-almost periodicity by introducing and analyzing the notion of $\rho$-almost periodicity with $\rho$ being a general binary relation on $X.$ This class of functions will play an important role in our analysis (cf. Definition 1(i) below for the notion of Bohr $(\mathcal{B},\rho )$-almost periodicity). On the other hand, in [25], we have recently provided some applications of $(a,k)$-regularized C-resolvent families to the abstract impulsive Volterra integro-differential inclusions in Banach spaces. The main aim of this paper is to reconsider the notion of a piecewise continuous almost periodic function. This notion has been thoroughly analyzed in the research monographs [26] by A. Halanay, D. Wexler and [27] by A. M. Samoilenko, N. A. Perestyuk, by introducing and systematically investigating the classes of (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic functions and (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent functions. We also aim to continue the research study carried out in [25] by investigating the almost periodic type solutions for various classes of the abstract impulsive Volterra integro-differential inclusions. We consider here the functions of the form $F:I\times X\to E,$ where $(X,\parallel ·\parallel )$ and $(E,\parallel ·{\parallel }_E)$ are complex Banach spaces and $I=\mathbb{R}$ or $I=[0,\infty )$. In the existing literature, it has been commonly assumed that the sequence $\left(t_k\right)$ of possible first kind discontinuities of function $f(·)$ under consideration is a Wexler sequence. Using certain results about Stepanov almost periodic type functions, we show that this condition is sometimes rather superfluous and almost completely irrelevant. Before proceeding any further, we would like to note that this is probably the first research article which investigates the existence and uniqueness of the uniformly recurrent type solutions, the Weyl almost periodic type solutions and the Besicovitch–Doss almost periodic type solutions to the abstract impulsive Volterra integro-differential equations. Furthermore, this is probably the first paper in the existing literature which investigates the almost periodic type solutions for certain classes of the abstract higher-order impulsive Cauchy problems. It should also be mentioned that we introduce here, for the first time in the existing literature, the class of Weyl-p-almost periodic sequences in the sense of the general approach of A. S. Kovanko [28], the class of Doss-p-almost periodic sequences ($1\le p<\infty$) and analyze their applications in the study of the existence and uniqueness of the Weyl-p-almost periodic solutions (Doss-p-almost periodic solutions) for certain kinds of the abstract impulsive Volterra integro-differential equations.

The organization and main ideas of this paper can be briefly summarized as follows. After explaining the notation used in the paper, we recall the basic definitions and results about $\rho$-almost periodic type functions in Section 1.1. The main aim of Section 1.2 is to recollect the basic facts about the class of piecewise continuous almost periodic functions, which has been commonly used in the existing literature. We extend the notion of piecewise continuous almost periodicity in Section 2, where we introduce and analyze various classes of $(\mathcal{B},\rho )$-piecewise continuous almost periodic type functions. More precisely, in Definition 6, we introduce the classes of (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic functions and (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent functions. The assumption that the corresponding sequence $\left(t_k\right)$ of possible discontinuities is a Wexler sequence is almost completely irrelevant in the analysis. This is not the case with the quasi-uniformly continuity condition (QUC) from the formulation of Definition 6, which plays an important role in our study. In Examples 1 and 2, we present two illustrative examples of real-valued functions which are $\left(t_k\right)$-piecewise continuous almost periodic (cf. also Remarks 2–4 for some useful observations about the function spaces introduced in Definition 6). Several structural characterizations for introducing classes of piecewise continuous almost periodic type functions have been proved in Propositions 1–3; it should be specifically emphasized that the supremum formula holds for certain classes of pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous uniformly recurrent functions (cf. Proposition 5).

In Section 3, we continue the analysis of L. Qi and R. Yuan from their remarkable paper [29] concerning the relations between the piecewise continuous almost periodic functions and the Stepanov almost periodic type functions. We improve some structural results obtained in [29] by removing the assumption that $\left(t_k\right)$ is a Wexler sequence. The main results in this section are Theorems 1 and 2; some consequences of these results are presented in Theorems 3–5 and Propositions 6 and 7. Composition principles for $(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic type functions are investigated in Section 3.1. Section 4 examines the existence and uniqueness of almost periodic type solutions for certain classes of the abstract impulsive differential inclusions of integer order, while Section 5 examines the existence and uniqueness of almost periodic type solutions for certain classes of the abstract Volterra impulsive integro-differential inclusions. Section 4 is broken down into four subsections: Section 4.1 is devoted to the study of asymptotically almost periodic type solutions of the abstract impulsive differential Cauchy problem ${\left(ACP\right)}_{1;1}$, asymptotically Weyl almost periodic type solutions of ${\left(ACP\right)}_{1;1}$ are sought in Section 4.2, the Besicovitch almost periodic type solutions of ${\left(ACP\right)}_{1;1}$ are sought in Section 4.3, and the almost periodic type solutions of the abstract higher-order impulsive Cauchy problems are sought in Section 4.4 (let us only mention that the separation condition ${inf}_{k\in \mathbb{N}}(t_{k+1}-t_k)>0$ on the corresponding sequence $\left(t_k\right)$ of possible discontinuities is not employed in some results). The final section of the paper is reserved for the conclusions and final remarks about the problems considered. In addition to the above, we present many illustrative examples and open problems.

We use the standard notation throughout the paper. By $(X,\parallel ·\parallel )$ and $(E,\parallel ·{\parallel }_E)$ we denote two complex Banach spaces; $\mathrm{I}$ denotes the identity operator on $E.$ By $\mathcal{B}$, we denote the collection of non-empty subsets of X such that for every $x\in X,$ there exists $B\in \mathcal{B}$ such that $x\in B.$ The abbreviation $C(K:X),$ where K is a non-empty compact subset of $\mathbb{R},$ stands for the space of all continuous functions from K into X; $C\left(K\right)\equiv C(K:\mathbb{C}),$ ${\mathbb{N}}_n:=\{1,···,n\}$ and ${\mathbb{N}}_n^0:=\{0,1,···,n\},$ where $n\in \mathbb{N}$. Let $0<\tau \le \infty$ and $a\in L_{loc}^1\left([0,\tau )\right).$ Then, we say that the function $a\left(t\right)$ is a kernel on $[0,\tau )$ if and only if for each $f\in C\left(\right[0,\tau \left)\right)$ the assumption ${\int }_0^{t}a(t-s)f\left(s\right)ds=0,$ $t\in [0,\tau )$ implies $f\left(t\right)=0,$ $t\in [0,\tau ).$ Set $g_{\alpha }\left(t\right):=t^{\alpha -1}/\Gamma \left(\alpha \right),$ $t>0,$ where $\Gamma (·)$ denotes the Euler Gamma function, and $g_0\left(t\right):=\delta \left(t\right),$ the Dirac delta distribution. We set $L(t,\delta ):=(t-\delta ,t+\delta ),$ $B(t,\delta ):=[t-\delta ,t+\delta ]$ ($t\in \mathbb{R},$ $\delta >0$), $S_1:=\{z\in \mathbb{C}:|z|=1\}$, $\lfloor s\rfloor :=sup\{k\in \mathbb{Z}:k\le s\}$ and $\lceil s\rceil :=inf\{k\in \mathbb{Z}:k\ge s\}$ ($s\in \mathbb{R}$). Unless stated otherwise, we will always assume that $I=\mathbb{R}$ or $I=[0,\infty )$ henceforth. If $\Omega \subseteq \mathbb{C},$ then ${\Omega }^c$ denotes its complement in $\mathbb{C};$ ${\chi }_A(·)$ denotes the characteristic function of the set $A.$ The notion of Caputo fractional derivative ${\mathbf{D}}_t^{\alpha }u\left(t\right),$ where $u:[0,\infty )\to X$ and $\alpha >0,$ is taken in the sense of Equation (3.1) [25]. By $P\left(X\right)$, we denote the power set of $X.$

Let $T>0.$ Then, the space of X-valued piecewise continuous functions on $[0,T]$ is defined by

$$\begin{array}{cc}\hfill PC\left(\right[0,T]& :X)\equiv \{u:[0,T]\to X:u\in C\left((t_i,t_{i+1}]:X\right),u(t_i-)=u\left(t_i\right) \mathrm{exist} \mathrm{for} \mathrm{any}\hfill \\ & i\in {\mathbb{N}}_l,u(t_i+) \mathrm{exist} \mathrm{for} \mathrm{any}i\in {\mathbb{N}}_l^0\mathrm{and}u\left(0\right)=u(0+)\},\hfill \end{array}$$

where $0\equiv t_0<t_1<t_2<\dots <t_l<T\equiv t_{l+1}$, and the symbols $u(t_i-)$ and $u(t_i+)$ denote the left and the right limits of the function $u\left(t\right)$ at the point $t=t_i$, $i\in {\mathbb{N}}_{l-1}^0$, respectively. Let us recall that $PC\left(\right[0,T]:X)$ is a Banach space endowed with the norm $\parallel u\parallel :=max\{{sup}_{t\in [0,T)}\parallel u(t+)\parallel ,{sup}_{t\in (0,T]}\parallel u(t-)\parallel \}.$ The space of X-valued piecewise continuous functions on $[0,\infty ),$ denoted by $PC\left(\right[0,\infty ):X),$ if defined as the union of those functions $f:[0,\infty )\to X$ such that the discontinuities of $f(·)$ form a discrete set and that for each $T>0$ we have $f_{\left|\right[0,T]}(·)\in PC([0,T]:X).$ We similarly define the space $PC(\mathbb{R}:X).$

If $\omega \in \mathbb{R},$ then $C_{\omega }([0,\infty ):X)$ stands for the space of all continuous functions $f:[0,\infty )\to X$ such that the function $t\mapsto e^{-\omega t}\parallel f\left(t\right)\parallel ,$ $t\ge 0$ is bounded; the space $P{C}_{\omega }([0,\infty ):X)$ stands for the space of all piecewise continuous functions $f:[0,\infty )\to X$ such that the function $t\mapsto e^{-\omega t}\parallel f\left(t\right)\parallel ,$ $t\ge 0$ is bounded.

Concerning the basic definitions and results about binary relations, see [24]. We refer the reader to [25] for more details concerning the multivalued linear operators and solution operator families subgenerated by them; unless stated otherwise, we will always assume henceforth that the operator $C\in L\left(X\right)$ is injective.

1.1. $\rho$-Almost Periodic Type Functions

In this subsection, we will recall the basic definitions and facts about (Stepanov) $\rho$-almost periodic type functions. We need the following notion [24]:

Definition 1.

Suppose that $\varnothing \ne I\subseteq \mathbb{R},$ $F:I\times X\to E$ is a continuous function, and ρ is a binary relation on $E.$ Then, we say that:

(i)

$F(·;·)$ is Bohr $(\mathcal{B},\rho )$-almost periodic if and only if for every $B\in \mathcal{B}$ and $ϵ>0$ there exists $l>0$ such that for each $t_0\in I$ there exists $\tau \in B(t_0,l)\cap I$ such that, for every $t\in I$ and $x\in B,$ there exists an element $y_{t;x}\in \rho \left(F(t;x)\right)$ such that

$$\begin{array}{c}\hfill ∥F(t+\tau ;x)-y_{t;x}∥\le ϵ.\end{array}$$

(ii)

$F(·;·)$ is $(\mathcal{B},\rho )$-uniformly recurrent if and only if for every $B\in \mathcal{B}$ there exists a sequence $\left({\tau }_k\right)$ in I such that ${lim}_{k\to +\infty }\left|{\tau }_k\right|=+\infty$ and that, for every $t\in I$ and $x\in B,$ there exists an element $y_{t;x}\in \rho \left(F(t;x)\right)$ such that

$$\begin{array}{c}\hfill \underset{k\to +\infty }{lim}\underset{t\in I;x\in B}{sup}∥F(t+{\tau }_k;x)-y_{t;x}∥=0.\end{array}$$

Any Bohr $(\mathcal{B},\rho )$-almost periodic function $F(·;·)$ is $(\mathcal{B},\rho )$-uniformly recurrent; the converse statement is not true in general [9]. If $X=\left\{0\right\},$ then we omit the term “$\mathcal{B}$” from the notation; furthermore, if $\rho =c\mathrm{I}$ for some complex number $c\in \mathbb{C}$, then we also say that the function $F(·;·)$ is Bohr $(\mathcal{B},c)$-almost periodic, respectively, $(\mathcal{B},c)$-uniformly recurrent.

We need the following notion (cf. [30] for the case in which $\rho$ is single-valued):

Definition 2.

Suppose that $1\le p<+\infty ,$ρ is a binary relation on E and $F:I\times X\to E$. Then, we say that:

(i)

$F(·;·)$ is Stepanov-p-$(\mathcal{B},\rho )$-almost periodic if and only if for every $B\in \mathcal{B}$ and $ϵ>0$ there exists $l>0$ such that for each $t_0\in I$ there exists $\tau \in B(t_0,l)\cap I$ such that, for every $t\in I$ and $x\in B,$ there exists a mapping $F_{t,x}:[0,1]\to E$ such that $F_{t,x}\left(u\right)\in \rho \left(F(t+u;x)\right)$ for a.e. $u\in [0,1]$, $F_{t,x}\in L^p([0,1]:E)$ and

$$\begin{array}{c}\hfill {∥F(t+\tau +u;x)-F_{t,x}\left(u\right)∥}_{L^p([0,1]:E)}\le ϵ,t\in I,x\in B.\end{array}$$

(ii)

$F(·;·)$ is Stepanov-$(p,\rho )$-$\mathcal{B}$-uniformly recurrent if and only if for every $B\in \mathcal{B}$ there exists a sequence $\left({\tau }_k\right)$ in I such that ${lim}_{k\to +\infty }\left|{\tau }_k\right|=+\infty$ and that, for every $t\in I$ and $x\in B,$ there exists a mapping $F_{t,x}:[0,1]\to E$ such that $F_{t,x}\left(u\right)\in \rho \left(F(t+u;x)\right)$ for a.e. $u\in [0,1]$, $F_{t,x}\in L^p([0,1]:E)$ and

$$\underset{k\to +\infty }{lim}\underset{t\in I;x\in B}{sup}{∥F(t+{\tau }_k+u;x)-F_{t,x}\left(u\right)∥}_{L^p([0,1]:E)}=0.$$

If $X=\left\{0\right\},$ then it is also said that $F(·)$ is Stepanov-$(p,\rho )$-almost periodic (Stepanov-$(p,\rho )$-uniformly recurrent). Finally, if $\rho =c\mathrm{I}$ for some $c\in \mathbb{C},$ then we also say that the function $F(·)$ is Stepanov-$(p,c)$-almost periodic (Stepanov-$(p,c)$-uniformly recurrent); if $c=1,$ then it is also said that the function $f(·)$ is Stepanov-p-almost periodic (Stepanov-p-uniformly recurrent).

1.2. Piecewise Continuous Almost Periodic Functions

The piecewise continuous almost periodic type solutions for various classes of impulsive integro-differential equations have been analyzed by numerous authors so far (see, e.g., the research monograph [21] by G. Tr. Stamov for a comprehensive survey of results). In this subsection, we analyze the piecewise continuous almost periodic type functions.

We say that an X-valued sequence ${\left(x_n\right)}_{n\in \mathbb{Z}}$ [${\left(x_n\right)}_{n\in \mathbb{N}}$] is (Bohr) almost periodic if and only if, for every $ϵ>0,$ there exists a natural number $N_0\left(ϵ\right)$ such that among any $N_0\left(ϵ\right)$ consecutive integers in $\mathbb{Z}$ [$\mathbb{N}$], there exists at least one integer $\tau \in \mathbb{Z}$ [$\tau \in \mathbb{N}$] satisfying that

$$∥x_{n+\tau }-x_n∥\le ϵ,n\in \mathbb{Z}[n\in \mathbb{N}].$$

Any almost periodic X-valued sequence is bounded. As in the case of functions, this number is said to be an $ϵ$-period of sequence $\left(x_n\right).$ The equivalent concept of Bochner almost periodicity of X-valued sequences can be introduced, as well; see, e.g., [27] (Theorem 70, pp. 185–186 and its important consequences [27] (Theorems 71–73, pp. 186–188). It is well-known that a sequence ${\left(x_k\right)}_{k\in \mathbb{Z}}$ in X is almost periodic if and only if there exists an almost periodic function $f:\mathbb{R}\to X$ such that $x_k=f\left(k\right)$ for all $k\in \mathbb{Z};$ see, e.g., the proof of [31] (Theorem 2) given in the scalar-valued case. It is not difficult to prove that, for every almost periodic sequence ${\left(x_k\right)}_{k\in \mathbb{N}}$ in X, there exists a unique almost periodic sequence ${\left(\widetilde{x_k}\right)}_{k\in \mathbb{Z}}$ in X such that $\widetilde{x_k}=x_k$ for all $k\in \mathbb{N},$ so that a sequence ${\left(x_k\right)}_{k\in \mathbb{N}}$ in X is almost periodic if and only if there exists an almost periodic function $f:[0,\infty )\to X$ such that $x_k=f\left(k\right)$ for all $k\in \mathbb{N}.$

Unless stated otherwise, we will always assume henceforth that ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$] is a sequence in $\mathbb{R}$ [in $(0,\infty )$] such that ${\delta }_0:={inf}_{k\in \mathbb{Z}}(t_{k+1}-t_k)>0$ [${\delta }_0:={inf}_{k\in \mathbb{N}}(t_{k+1}-t_k)>0$]. Set $t_k^j:=t_{k+j}-t_k$, $j,k\in \mathbb{Z}$ [$j,k\in \mathbb{N}$]. We need the following definitions:

Definition 3.

The family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{Z}}$ [${\left(t_k^j\right)}_{k\in \mathbb{N}}$], $j\in \mathbb{Z}$ [$j\in \mathbb{N}$] is called equipotentially almost periodic if and only if, for every $ϵ>0,$ there exists a relatively dense set $Q_{ϵ}$ in $\mathbb{R}$ [in $[0,\infty )$] such that for each $\tau \in Q_{ϵ}$ there exists an integer $q\in \mathbb{Z}$ [$q\in \mathbb{N}$] such that $|t_{i+q}-t_i-\tau |<ϵ$ for all $i\in \mathbb{Z}$ [$i\in \mathbb{N}$].

Definition 4.

The sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$] is said to be uniformly almost periodic if and only if, for every $ϵ>0,$ there exists a relatively dense set $Q_{ϵ}$ in $\mathbb{Z}$ [in $\mathbb{N}$] such that

$$\left|t_{i+q}^j-t_i^j\right|<ϵ,i,j\in \mathbb{Z}[i,j\in \mathbb{N}],q\in Q_{ϵ}.$$

We know that, if the sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$] is uniformly almost periodic, then the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{Z}}$ [${\left(t_k^j\right)}_{k\in \mathbb{N}}$], $j\in \mathbb{Z}$ [$j\in \mathbb{N}$] is equipotentially almost periodic. See also [27] (p. 377) and [29] (Lemma 2.12; let us also note that the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{Z}}$, $j\in \mathbb{Z}$ is equipotentially almost periodic if and only if there exist a unique non-zero real number $\zeta$ and an almost periodic sequence ${\left(a_k\right)}_{k\in \mathbb{Z}}$ such that $t_k=\zeta k+a_k$ for all $k\in \mathbb{Z}.$ It seems very plausible that a similar statement holds for the equipotentially almost periodic sequences ${\left(a_k\right)}_{k\in \mathbb{N}}.$

The usual definition of a piecewise continuous almost periodic function goes as follows (see [26,27] for more details about the subject):

Definition 5.

Suppose that the function $f:\mathbb{R}\to X$ [$f:[0,\infty )\to X$] is piecewise continuous with the possible first kind discontinuities at the points of a fixed sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$]. Then, we say that the function $f(·)$ is $\left(t_k\right)$-piecewise continuous almost periodic if and only if the following conditions are fulfilled:

(i)

The family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{Z}}$ [${\left(t_k^j\right)}_{k\in \mathbb{N}}$], $j\in \mathbb{Z}$ [$j\in \mathbb{N}$] is equipotentially almost periodic, i.e., $\left(t_k\right)$ is a Wexler sequence.

(ii)

For every $ϵ>0,$ there exists $\delta >0$ such that, if the points $t_1$ and $t_2$ belong to $(t_i,t_{i+1})$ for some $i\in \mathbb{Z}$ [$i\in {\mathbb{N}}_0;$ $t_0\equiv 0$] and $|t_1-t_2|<\delta$, then $\parallel f\left(t_1\right)-f\left(t_2\right)\parallel <ϵ.$

(iii)

For every $ϵ>0,$ there exists a relatively dense set S in $\mathbb{R}$ [in $[0,\infty )$] such that, if $\tau \in S$, then $\parallel f(t+\tau )-f\left(t\right)\parallel <ϵ$ for all $t\in \mathbb{R}$ such that $|t-t_k|>ϵ$, $k\in \mathbb{Z}$ [$k\in \mathbb{N}$]. Such a point τ is called an ϵ-almost period of $f(·).$

For example, let the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{Z}}$, $j\in \mathbb{Z}$ be equipotentially almost periodic. Then, we know that the function $f:\mathbb{R}\to \mathbb{R},$ defined by $f\left(t\right):={\mu }_i$ if $t\in (t_i,t_{i+1}]$ for some $i\in \mathbb{Z},$ is $\left(t_k\right)$-piecewise continuous almost periodic provided that the sequence ${\left({\mu }_i\right)}_{i\in \mathbb{Z}}$ is almost periodic (cf. [27] (pp. 202–203) for the proof of the above fact).

For further information about piecewise continuous almost periodic functions and their applications, we refer the reader to the research articles [32] by H. R. Henríquez, B. de Andrade, M. Rabelo, [33] by L. Qi, R. Yuan, [20] by V. Tkachenko and references cited therein. Before proceeding with the original contributions about piecewise continuous almost periodic type functions, it would be worthwhile to mention that J. Xia has considered, in [34], the class of piecewise continuous almost periodic functions following a completely different approach (cf. also the research article [31] by L. Díaz and R. Naulin).

2. $(\mathcal{B},\mathit{\rho })$-Piecewise Continuous Almost Periodic Type Functions

We start this section by introducing the following notion:

Definition 6.

Suppose that ρ is a binary relation on E, the function $F:\mathbb{R}\times X\to E$ [$F:[0,\infty )\times X\to E$] satisfies that, for every $x\in X,$ the function $t\mapsto F(t;x)$ is piecewise continuous with the possible first kind discontinuities at the points of a fixed sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$]. Then, we say that the function $F(·)$ is:

(i)

pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic if and only if, for every $ϵ>0$ and $B\in \mathcal{B},$ there exists a relatively dense set S in $\mathbb{R}$ [in $[0,\infty )$] such that, if $\tau \in S,$ $x\in B$ and $t\in \mathbb{R}$ satisfies $|t-t_k|>ϵ$ for all $k\in \mathbb{Z}$ [$k\in \mathbb{N}$], then there exists $y_{t,x}\in \rho \left(F(t;x)\right)$ such that $\parallel F(t+\tau ;x)-y_{t,x}\parallel <ϵ.$

(ii)

$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic if and only if the condition (i) from Definition 5 holds, $F(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic and (QUC) holds, where:

(QUC)

For every $ϵ>0$ and $B\in \mathcal{B},$ there exists $\delta >0$ such that, if $x\in B$ and the points $t_1$ and $t_2$ belong to $(t_i,t_{i+1})$ for some $i\in \mathbb{Z}$ [$i\in {\mathbb{N}}_0;$ $t_0\equiv 0$] and $|t_1-t_2|<\delta$, then $\parallel F(t_1;x)-F(t_2;x)\parallel <ϵ.$

(iii)

pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent if and only if there exists a strictly increasing sequence $\left({\alpha }_l\right)$ of positive real numbers tending to plus infinity and satisfying that, for every $ϵ>0$ and $B\in \mathcal{B},$ there exists an integer $l_0\in \mathbb{N}$ such that, if $x\in B,$ $l\ge l_0$ and $t\in \mathbb{R}$ satisfies $|t-t_k|>ϵ$ for all $k\in \mathbb{Z}$ [$k\in \mathbb{N}$], then there exists $y_{t,x}\in \rho \left(F(t;x)\right)$ such that $\parallel F(t+{\alpha }_l;x)-y_{t,x}\parallel <ϵ.$

(iv)

$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent if and only if $F(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent and the condition (QUC) holds.

We say that the function $F(·;·)$ is (pre-)$(\mathcal{B},\rho )$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},\rho )$-piecewise continuous uniformly recurrent] if and only if $F(·;·)$ is (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent] for a certain sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$] obeying the general requirements. If $\rho =c\mathrm{I}$ for some $c\in \mathbb{C}$, then we also say that $F(·;·)$ is (pre-)piecewise continuous c-almost periodic [(pre-)piecewise continuous c-uniformly recurrent]; furthermore, if $c=-1,$ then we also say that $F(·;·)$ is (pre-)piecewise continuous almost anti-periodic [(pre-)piecewise continuous uniformly anti-recurrent]. We omit the term “$\mathcal{B}$” from the notation if $X=\left\{0\right\}$ and omit the term “c” from the notation if $c=1.$

Remark 1.

In the notion introduced in Definition 6(i), we can also require that the inequality $\parallel F(t+\tau ;x)-y_{t,x}\parallel <ϵ$ holds provided that $|t-t_k|>M\left(ϵ\right)$ for all $k\in \mathbb{Z}$ [$k\in \mathbb{N}$], where $M:(0,\infty )\to [0,\infty )$ satisfies ${lim\; inf}_{ϵ\to 0+}M\left(ϵ\right)=0.$ This notion is really not interesting because a very simple argument shows that a function $F:I\times X\to E$ obeys this condition if and only if $F(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic. The same holds in the case of consideration of parts (ii), (iii) and (iv) of Definition 6 so that we will always assume henceforth that $M\left(ϵ\right)\equiv ϵ.$

Before proceeding any further, we would like to present the following illustrative examples:

Example 1.

Suppose that $c\in S_1,$ $\omega >0,$ $t_1\in (0,\omega ]$ and $t_k=t_1+(k-1)\omega ,$ $k\in \mathbb{Z}$ [$t_0=0$ and $t_k=t_1+(k-1)\omega ,$ $k\ge 2$]. Suppose, further, that the function $F_1:(t_1,t_1+\omega ]\times X\to E$ satisfies that, for every $x\in X,$ $F_1(t_1+\omega ;x)\ne c{F}_1(t_1;x)$ as well as that ${lim}_{t\to t_1+}{F}_1(t;x)$ exists in $E.$ Then, we can extend the function $F_1(·;·)$ to a function $F:\mathbb{R}\times X\to E$ [$F:[0,\infty )\times X\to E$] such that, for every $x\in X,$ the function $F(·;x)$ is piecewise continuous, has the possible first kind discontinuities at the points of sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ [${\left(t_k\right)}_{k\in \mathbb{N}}$] and $F(t+\omega ;x)=cF(t;x)$ for all $x\in X$ and $t\in {\bigcup }_{k\in \mathbb{Z}}(t_k,t_{k+1})$ [$t\in {\bigcup }_{k\in {\mathbb{N}}_0}(t_k,t_{k+1})$]. Since the set of all integers $k\in \mathbb{Z}$ [$k\in \mathbb{N}$] such that $c^k=c$ is relatively dense in $\mathbb{Z}$ [$\mathbb{N}$], with the meaning clear, a very simple argument shows that the function $F(·;·)$ is $(c,\left(t_k\right))$-piecewise continuous almost periodic. For example, if $P\left(t\right)$ is an (anti-)periodic non-zero trigonometric polynomial with real values, then the piecewise continuous function $f_0(·)$ determined by the function $f\left(t\right):=sign\left(P\right(t\left)\right),$ $t\in \mathbb{R}$ is $\left(t_k\right)$-piecewise continuous almost (anti-)periodic; here and hereafter, sign$\left(0\right)=0,$ sign$\left(t\right)=1$ for $t>0$ and sign$\left(t\right)=-1$ for $t<0$.

For the sequel, we will denote the collection of all functions $F:I\times X\to E$ constructed in this way by $PP{C}_{\omega ,c;\left(t_k\right)}(I:X)$.

Example 2.

Suppose that $m\in \mathbb{N}$, $y:\mathbb{R}\to \mathbb{R}$ is a Bohr almost periodic function, and there exists an integer $k_0\in \mathbb{Z}$ such that $y\left(m{k}_0\right)\ne y\left(m(k_0+1)\right).$ Define

$$\begin{array}{c}\hfill f\left(t\right):=y\left(m⌊\frac{t+1}{m}⌋\right),t\in \mathbb{R}.\end{array}$$

In Figure 1, the plot of function $f\left(t\right)$ is constructed for $y\left(t\right)=sint$ and $m=3$.

Figure 1. Graph for the case $y\left(t\right)=sint$ and $m=3$.

Thus, we have $f\left(t\right)=y\left(mk\right)$ if $y\in [mk-1,mk-1+m)$ for some integer $k\in \mathbb{Z}$ so that the prescribed assumption implies that the function $f(·)$ is not continuous on the real line. On the other hand, for every $ϵ>0$ there exists $l>0$ such that any interval $I\subseteq \mathbb{R}$ of length $\ge l$ contains a point τ such that $\left|f\right(t+\tau )-f(t\left)\right|\le ϵ,$ $t\in \mathbb{R}.$ Towards this end, let us recall that, for a given $ϵ>0$ in advance, we can always find $l>0$ such that any interval $I\subseteq \mathbb{R}$ of length $\ge l$ contains an integer τ such that $\left|y\right(t+\tau )-y(t\left)\right|\le ϵ/m,$ $t\in \mathbb{R};$ the last estimate simply implies $\left|y\right(t+m\tau )-y(t\left)\right|\le ϵ,$ $t\in \mathbb{R}$ so that, actually, we can always find a number $l^{\prime }=lm>0$ such that any interval $I\subseteq \mathbb{R}$ of length $\ge lm$ contains an integer $m\tau ,$ where $\tau \in \mathbb{Z}$, such that $\left|y\right(t+m\tau )-y(t\left)\right|\le ϵ,$ $t\in \mathbb{R}.$ Let it be the case; then we have

$$\begin{array}{c}\hfill \left|f(t+m\tau )-f\left(t\right)\right|=\left|y\left(m⌊\frac{t+1}{m}⌋+m\tau \right)-y\left(m⌊\frac{t+1}{m}⌋\right)\right|\le ϵ,t\in \mathbb{R}.\end{array}$$

Since the function $\check{f}(·)\equiv f(-·)$ is continuous from the left side, the condition (i) from Definition 5 holds, and (QUC) holds. It readily follows that the function $\check{f}(·)$ is $\left(t_k\right)$-piecewise continuous almost periodic.

The proof of the following extension of [27] (Theorem 77) is simple and therefore omitted:

Proposition 1.

Suppose that ρ is a binary relation on E, and the function $F:I\times X\to E$ is (pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent]. If $(Z,\parallel ·{\parallel }_Z)$ is a complex Banach space, $\psi :E\to Z$ is uniformly continuous on the set $\rho \left(F\right(I\times B\left)\right)\cup F(I\times B)$ for each set $B\in \mathcal{B}$ and $\sigma =\{(\psi \left(y_1\right),\psi \left(y_2\right)):y_1\rho y_2\},$ then the function $\psi \circ F:I\times X\to Z$ is (pre-)$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous uniformly recurrent].

We continue by providing several useful observations:

Remark 2.

(i)

Condition (QUC) can be relaxed by assuming that, for every $ϵ>0$ and $B\in \mathcal{B},$ there exists $\delta >0$ such that, if $x\in B$ and the points $t_1$ and $t_2$ belong to the set ${\bigcup }_{k\in \mathbb{Z}}[t_k+ϵ,t_{k+1}-ϵ]$ [${\bigcup }_{k\in \mathbb{N}}[t_k+ϵ,t_{k+1}-ϵ]$] and $|t_1-t_2|<\delta$, then $\parallel F(t_1;x)-F(t_2;x)\parallel <ϵ;$ cf. also [27] (Definition 7, p. 390) for this approach. We feel it is our duty to say that the condition (QUC) is primarily intended for the analysis of $(\mathcal{B},\mathrm{I},\left(t_k\right))$-piecewise continuous almost periodic type functions and that some problems naturally occur if $\rho \ne \mathrm{I}.$

(ii)

The introduction of class of (pre-)$(\mathcal{B},\rho )$-piecewise continuous uniformly recurrent functions is strongly justified by the fact that the definition of a piecewise continuous almost periodic function is a bit restrictive due to condition (i). In actual fact, this condition does not allow one to consider the existence and uniqueness of the piecewise continuous solutions for a large class of the abstract impulsive Cauchy problems in which the corresponding sequence of the first kind discontinuities $\left(t_k\right)$ is not of linear growth as $k\to +\infty ;$ for example, we cannot consider the case $t_{\pm k}=k^2$ for all $k\in \mathbb{Z},$ which is very legitimate from the point of view of the theory of the abstract impulsive Cauchy problems.

Remark 3.

It is clear that any Bohr $(\mathcal{B},\rho )$-almost periodic [Bohr $(\mathcal{B},\rho )$-uniformly recurrent] function $F(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent] for any sequence $\left(t_k\right)$ satisfying the general assumptions as well as that any Bohr $(\mathcal{B},\rho )$-almost periodic [Bohr $(\mathcal{B},\rho )$-uniformly recurrent] function $F(·;·)$ which is uniformly continuous on the set $I\times B$ for each $B\in \mathcal{B}$ is $(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent] for any sequence $\left(t_k\right)$ satisfying the general assumptions. In the almost periodic case, the statements of [24] (Proposition 2.2, Proposition 2.7(ii)) show that this condition holds true if $\mathcal{B}$ is a family consisting of some compact subsets of $X,$ $I=\mathbb{R},$ $R\left(F\right)\subseteq D\left(\rho \right)$, and ρ is single-valued on $R\left(F\right).$

The subsequent structural result is a generalization of [32] (Lemma 2.6):

Proposition 2.

Suppose that $F:I\times X\to E$ is pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous almost periodic, where $\rho =T\in L\left(E\right)$ is a linear isomorphism, and the condition (QUC) holds. If $B\in \mathcal{B}$ is a compact subset of $X,$ then the set $\left\{F\right(t;x):t\in I,x\in B\}$ is relatively compact in $E.$

Proof. 

We will basically consider the case in which $I=\mathbb{R}$ and explain the essential change in the case that $I=[0,\infty ).$ Since $\rho =T\in L\left(E\right)$ is a linear isomorphism, it suffices to show that the set $T\left(\right\{F(t;x):t\in \mathbb{R},x\in B\left\}\right)$ is relatively compact in $E.$ Let $ϵ>0$ be given. Then, there exists $\delta >0$ such that, if $x\in B$ and the points $t_1$ and $t_2$ belong to $(t_i,t_{i+1})$ for some $i\in \mathbb{Z}$ and $|t_1-t_2|<\delta$, then $\parallel F(t_1;x)-F(t_2;x)\parallel <ϵ/2.$ Let ${\delta }_1\in (0,min\{\delta ,ϵ/4\})$. After that, we find $l>0$ such that, for every $t_0\in \mathbb{R},$ the interval $[t_0,t_0+l]$ contains a point $\tau \in I$ such that $\parallel F(t+\tau ;x)-TF(t;x)\parallel \le {\delta }_1$ for all $t\in \mathbb{R}$ such that $|t-t_k|\ge {\delta }_1$ for all $j\in \mathbb{Z}$. Fix now a point $t\in \mathbb{R}$ and consider the interval $I=[-t,l-t]$ (if $I=[0,\infty ),$ then for each point $t\ge l$ we can consider the interval $[t-l,t]$ and a corresponding $({\delta }_1,T)$-almost period $\tau$ belonging to this set). The set $F\left(\right[0,l]\times B)$ is compact in E; furthermore, if $\tau \in I$ and the above conditions are satisfied, then we easily obtain the existence of an integer $m\in \mathbb{N}$, the points $s_1,\dots ,s_m\in \mathbb{R}$ and the elements $x_1,\dots ,x_m\in B$ such that

$$\begin{array}{cc}\hfill TF(t;x)& \in B\left(F(t+\tau ;x),{\delta }_1\right)\subseteq \bigcup _{y\in F\left(\right[0,l]\times B)}B(y,{\delta }_1)\hfill \\ \hfill \subseteq & L\left(F(s_1;x_1),ϵ/2\right)\cup \dots \cup L\left(F(s_m;x_m),ϵ/2\right),x\in B,\hfill \end{array}$$

provided that $|t-t_k|\ge {\delta }_1$ for all $j\in \mathbb{Z}.$ If $|t-t_k|<{\delta }_1$ for some $j\in \mathbb{Z},$ then there exists an element $t^{\prime }\in [t_j+{\delta }_1,t_{j+1}-{\delta }_1]\cup [t_{j-1}+{\delta }_1,t_j-{\delta }_1]$ such that $\parallel F(t;x)-F(t^{\prime };x)\parallel \le ϵ/2,$ $x\in B,$ which simply completes the proof of the theorem. □

Remark 4.

(i)

It is also worth noting that Proposition 2 provides a proper generalization of [29] (Lemma 3.3) as well as that this lemma holds even if the corresponding sequence ${\left({\tau }_j\right)}_{j\in \mathbb{Z}}$ from its formulation is not a Wexler sequence.

(ii)

It is well-known that there exists a continuous Stepanov-1-almost periodic function $f:\mathbb{R}\to \mathbb{R}$ which is not bounded (see, e.g., [35]); therefore, $f(·)$ cannot be piecewise continuous almost periodic due to Proposition 2.

We continue by stating the following results; the proofs are rather technical and therefore omitted (the statements of [24] (Theorem 2.11(ii)–(iv)) can also be simply reformulated in the new framework):

Proposition 3.

Suppose that ρ is a binary relation on E which satisfies that $D\left(\rho \right)$ is a closed subset of X and

$\left(C_{\rho }\right)$

: For every $ϵ>0,$ there exists $\delta >0$ such that, for every $y_1,y_2\in E$ with $\parallel y_1-y_2\parallel <\delta ,$ we have $\parallel z_1-z_2\parallel <ϵ$ for every $z_1\in \rho \left(y_1\right)$ and $z_2\in \rho \left(y_2\right).$

Suppose, further, that for each $m\in \mathbb{N}$, the function $F_m:I\times X\to E$ satisfies that, for every $x\in X,$ the function $t\mapsto F_m(t;x)$ is piecewise continuous with the possible first kind discontinuities at the points of a fixed sequence $\left(t_k\right)$. Let $F:I\times X\to E$ and let ${lim}_{m\to \infty }{F}_m(t;x)=F(t;x),$ uniformly on $I\times B$ for every fixed set $B\in \mathcal{B}.$

Then, for every $x\in X,$ the function $t\mapsto F(t;x)$ is piecewise continuous with the possible first kind discontinuities at the points of sequence $\left(t_k\right)$ and the following holds: If for each $m\in \mathbb{N}$ the function $F_m(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic; pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent/$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent], then the function $F(·;·)$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic; pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent/$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent]. Furthermore, if the functions $F_m(·;·)$ satisfy condition (QUC), then the function $F(·;·)$ satisfies the same condition.

Proposition 4.

Suppose that the function $F:I\times X\to E$ is pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic [$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous almost periodic; pre-$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent/$(\mathcal{B},\rho ,\left(t_k\right))$-piecewise continuous uniformly recurrent]. Then, the function $\parallel F(·;·)\parallel$ is pre-$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous almost periodic [$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous almost periodic; pre-$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous uniformly recurrent/$(\mathcal{B},\sigma ,\left(t_k\right))$-piecewise continuous uniformly recurrent], where

$$\sigma :=\left\{\right(\parallel y_1\parallel ,\parallel y_2\parallel \left)\right|\exists t\in I\exists x\in X:y_1=F(t;x)and y_2\in \rho \left(y_1\right)\}.$$

It is worth noting that the supremum formula can be clarified for pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous uniformly recurrent functions.

Proposition 5.

Suppose that $\rho =T\in L\left(E\right)$ is a linear isomorphism and $F:I\times X\to E$ is a pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous uniformly recurrent function. Then, for each $a\in I$ and $B\in \mathcal{B}$, we have

$$\begin{array}{c}\hfill \underset{t\in I;x\in B}{sup}\parallel F(t;x)\parallel \le ∥T^{-1}∥\underset{t\in [a,\infty );x\in B}{sup}\parallel F(t;x)\parallel .\end{array}$$

Proof. 

It suffices to show that for each fixed number $ϵ>0$ we have

$$\begin{array}{c}\hfill \underset{t\in I;x\in B}{sup}\parallel F(t;x)\parallel \le ∥T^{-1}∥\underset{t\in [a,\infty );x\in B}{sup}\parallel F(t;x)\parallel +ϵ.\end{array}$$

Clearly, there exists a sequence $\left({\delta }_k\right)$ in $(0,ϵ)$ such that ${lim}_{k\to +\infty }{\delta }_k=0.$ After that, we find a strictly increasing sequence $\left({\alpha }_k\right)$ of positive real numbers tending to plus infinity such that $\parallel F(t+{\alpha }_k;x)-TF(t;x)\parallel \le {\delta }_k$ provided that $|t-t_i|>{\delta }_k$ for all $i\in \mathbb{Z}$ [$i\in \mathbb{N}$]. If $t\notin \{t_i:i\in \mathbb{Z}\}$ [$t\notin \{t_i:i\in \mathbb{N}\}$], then there exists $k\in \mathbb{N}$ such that $|t-t_i|>{\delta }_k$ for some $i\in \mathbb{Z}$ [$i\in \mathbb{N}$]. Hence, we have $\parallel TF(t;x)\parallel \le \parallel F(t+{\alpha }_k;x)\parallel +{\delta }_k\le \parallel F(t+{\alpha }_k;x)\parallel +ϵ$ and $\parallel F(t;x)\parallel \le \parallel T^{-1}\parallel (\parallel F(t+{\alpha }_k;x)\parallel +ϵ).$ The final conclusion follows from the fact that, for every $x\in B,$ the function $F(·;x)$ is continuous from the left side. □

The statements of [36] (Propositions 2.17 and 2.18) continue to hold in our new framework, and we have the following:

(i)

If $f:I\to \mathbb{R}$ is a pre-c-piecewise continuous uniformly recurrent function, then $c=\pm 1;$ furthermore, if $f\left(t\right)\ge 0$ for all $t\in I,$ then $c=1.$

(ii)

If $f:I\to E$ is a pre-c-piecewise continuous uniformly recurrent function, then ${lim}_{t\to +\infty }f\left(t\right)\ne 0.$

It is well-known that, for every almost periodic function $f:[0,\infty )\to E,$ there exists a unique almost periodic function $g:\mathbb{R}\to E$ such that $g\left(t\right)=f\left(t\right)$ for all $t\ge 0;$ see H. Bart, S. Goldberg [37] as well as [7,9] for many similar results of this type. We close this section with the observation that is not clear whether we can state a satisfactory analogue of this result for certain subclasses of (pre-)$(\mathcal{B},M,\rho )$-piecewise continuous almost periodic functions.

3. Relations with Stepanov Almost Periodic Type Functions

As observed by S. I. Trofimchuk in [27] (p. 389), a piecewise continuous almost periodic function $f:I\to X$ is Stepanov almost periodic under additional conditions that are not restrictive and that the interest in the spaces of piecewise continuous almost periodic functions comes from the fact that these spaces have stronger topologies than the spaces of Stepanov almost periodic functions. The main purpose of the following result is to indicate that any piecewise continuous almost periodic function $f:I\to X$ in the sense of Definition 5 is immediately Stepanov-p-almost periodic for any finite exponent $p\ge 1,$ as well as that a much more general result holds true (cf. also [27] (Lemma 58, p. 400)):

Theorem 1.

Suppose that $\rho =T\in L\left(E\right),$ $1\le p<+\infty ,$ $F:I\times X\to E$ is pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous almost periodic [pre-$(T,\left(t_k\right))$-piecewise continuous uniformly recurrent] and, for every $B\in \mathcal{B},$ ${\parallel f\parallel }_{\infty ,B}\equiv {sup}_{t\in I,x\in B}\parallel F(t;x)\parallel <+\infty .$ Then, the function $F(·;·)$ is Stepanov-$(\mathcal{B},p,T)$-almost periodic [Stepanov-$(\mathcal{B},p,T)$-uniformly recurrent] for any finite exponent $p\ge 1.$

Proof. 

Without loss of generality, we may assume that $I=\mathbb{R}$ and $T=c\mathrm{I}$ for some $c\in \mathbb{C};$ we will consider only pre-$(\mathcal{B},c)$-piecewise continuous almost periodic functions. Fix a number $ϵ>0$ and a set $B\in \mathcal{B}.$ Let a point $x\in \mathbb{R}$ be also fixed, and let the interval $[x,x+1]$ contain the possible first kind discontinuities at the points $\{t_m,\dots ,t_{m+k}\}\subseteq [x,x+1].$ Then, $k\le \lceil 1/{\delta }_0\rceil$ and we have the existence of a sufficiently small real number ${ϵ}_0>0$ such that

$$\begin{array}{c}\hfill {ϵ}_0^p+2\left(\frac{1}{{\delta }_0}+1\right){\left({(1+|c\left|\right)\parallel f\parallel }_{\infty ,B}\right)}^p{ϵ}_0\le {ϵ}^p.\end{array}$$

(1)

Let S be a relatively dense set in $\mathbb{R}$ such that, if $\tau \in S$ and $b\in B$, then $\parallel F(t+\tau ;x)-cF(t;x)\parallel <{ϵ}_0$ for all $t\in \mathbb{R}$ such that $|t-t_k|>{ϵ}_0$, $k\in \mathbb{Z}.$ The function $t\mapsto F(t+\tau ;b)-cF(t;b),$ $t\in [x,x+1]$ is less than or equal to ${ϵ}_0$ if $t\in [x,t_m-{ϵ}_0]\cup (t_m+{ϵ}_0,t_{m+1}-{ϵ}_0]\cup \dots \cup (t_{m+k},x+1];$ otherwise, we have $\parallel F(t+\tau ;b)-cF(t;b)\parallel \le {(1+|c\left|\right)\parallel f\parallel }_{\infty ,B}.$ This implies

$${\int }_x^{x+1}{∥F(t+\tau ;b)-cF(t;b)∥}^{p}dt\le {ϵ}_0^p+2\lceil 1/{\delta }_0\rceil {\left({(1+|c\left|\right)\parallel f\parallel }_{\infty ,B}\right)}^p{ϵ}_0,b\in B.$$

Taking into account (1) and a simple computation, we conclude that

$${\int }_x^{x+1}{∥F(t+\tau ;b)-cF(t;b)∥}^{p}dt\le {ϵ}^p,b\in B.$$

This simply completes the proof of the theorem. □

Remark 5.

(i)

The condition ${\delta }_0>0$ is crucial for the proof of Theorem 1 to work. In [27] (Appendix A.5), S.I. Trofimchuk has also analyzed the class of piecewise continuous almost periodic functions which satisfies ${inf}_{k\in \mathbb{Z}}(t_{k+1}-t_k)=0$ [${inf}_{k\in \mathbb{N}}(t_{k+1}-t_k)=0$]. If we allow the last condition, then a piecewise continuous almost periodic function need not be Besicovitch bounded (Besicovitch almost periodic); cf. [7] for the notion, and [27] (p. 400) for a counterexample of this type.

(ii)

Albeit sometimes inevitable, the condition ${\delta }_0>0$ is a little bit redundant. For example, if $P\left(t\right)$ is a non-periodic trigonometric polynomial with real values, then we know that the function $f\left(t\right):=sign\left(P\right(t\left)\right),$ $t\in \mathbb{R}$ is Stepanov-p-almost periodic for any exponent $p\ge 1;$ see [7] (Example 2.2.3). Clearly, the zeros of $P(·)$ are the points of discontinuity of the piecewise continuous function $f_0(·)$ determined by $f(·).$ However, since $P(·)$ is not periodic, its zeros cannot be separated; to illustrate this, let us consider the polynomial $P\left(t\right):=sint+sin\left(\sqrt{2}t\right),$ $t\in \mathbb{R}.$ Any zero of $P(·)$ is of the form $t_k=2k\pi /(1+\sqrt{2})$ for some $k\in \mathbb{Z}$ or $t_m^{\prime }=(2m+1)\pi /(1-\sqrt{2})$ for some $m\in \mathbb{Z}.$ It can be simply proved that $t_k\ne t_m^{\prime }$ for all $k,m\in \mathbb{Z}$ as well as that for each $ϵ>0$ there exist two strictly increasing sequences ${\left(a_k\right)}_{k\in \mathbb{N}}$ and ${\left(b_k\right)}_{k\in \mathbb{N}}$ of positive integers such that $|t_{a_k}-t_{b_k}^{\prime }|<ϵ$ for all $k\in \mathbb{N};$ see, e.g., [19] (Definition 2, Theorem 2, Remark 1). This implies the required.

(iii)

In the formulation of Theorem 1, we have assumed immediately that $c\in S_1.$ The proof also works in the case that $c\notin S_1$, but then the obtained conclusion in combination with [36] (Proposition 2.6) shows that $f\equiv 0.$

(iv)

Keeping in mind Theorem 1 and [17] (Theorem 2.3), we can extend the statements of [32] (Lemma 3.4, Theorem 3.7, Corollary 3.8) for any Stepanov-p-almost periodic inhomogeneity $f(·)$ with the exponent $p>1;$ see also [7] (Theorem 2.14.6) for case $p=1$.

In the case that ${\left(t_k\right)}_{k\in \mathbb{Z}}$ is a Wexler sequence, L. Qi and R. Yuan have proved that a piecewise continuous function $f:\mathbb{R}\to X$ which satisfies the condition (QUC) is $\left(t_k\right)$-piecewise continuous almost periodic if and only if the function $f(·)$ is Stepanov-p-almost periodic for every (some) exponent $p\ge 1;$ see [29] (Theorem 3.2). Taken together with the statements of Proposition 2 and Theorem 1, the subsequent result provides a proper generalization of [29] (Theorem 3.2). Here, we do not necessarily assume that ${\left(t_k\right)}_{k\in \mathbb{Z}}$ is a Wexler sequence and follow the idea from the proof of [27] (Lemma 59, pp. 401–402), which is slightly incorrect since it is not clear how we can directly deduce the estimate $|x(t+z_n^{\prime })-x(t+z_n)|\ge ϵ/4$ for all $t\in [0,\kappa ]$ or a similar estimate $|x(t+z_n^{\prime })-x(t+z_n)|\ge ϵ/4$ for all $t\in [-\kappa ,0];$ see [27] (l. 1, p. 402) and observe that, in the above-described situation, we can have $z_n=t_j+ϵ$ and $z_n^{\prime }=t_p-ϵ$ for some integers $j,n,p$ so that the quasi-uniform continuity argument cannot be directly applied here.

Theorem 2.

Suppose that $\rho =T\in L\left(E\right),$ $1\le p<+\infty$ and $F:I\times X\to E$ is a Stepanov-$(\mathcal{B},p,T)$-almost periodic function. If the condition (QUC) holds, then $F(·;·)$ is pre-$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous almost periodic.

Proof. 

For the sake of convenience, we will assume that $I=\mathbb{R},$ $T=c\mathrm{I}$ for some $c\in S_1$ and $X=\left\{0\right\}.$ Let $ϵ>0$ be given; then there exists $\delta \in (0,min\{ϵ/2,{\delta }_0/4\})$ such that, if the points $t_1$ and $t_2$ belong to the same interval $(t_i,t_{i+1})$ of the continuity of function $f(·)$ and $|t_1-t_2|<\delta$, then $\parallel f\left(t_1\right)-f\left(t_2\right)\parallel <ϵ/4.$ Let ${\eta }_k\in (0,ϵ{\delta }^{1/p}/4)$ for all $k\in \mathbb{N}$ and let ${lim}_{k\to +\infty }{\eta }_k=0.$ We claim that there exists $k_0\in \mathbb{N}$ such that, for every $\tau \in \mathbb{R}$ with ${\int }_t^{t+1}{\parallel f(s+\tau )-cf\left(s\right)\parallel }^{p}ds\le {\eta }_{k_0}^p,$ $t\in \mathbb{R},$ we have $\parallel f(t+\tau )-cf\left(t\right)\parallel \le ϵ$ for all $t\notin {\bigcup }_{l\in \mathbb{Z}}(t_l-ϵ,t_l+ϵ).$ If we assume the contrary, then for each $k\in \mathbb{N}$ there exist points $s_k\notin {\bigcup }_{l\in \mathbb{Z}}(t_l-ϵ,t_l+ϵ)$ and ${\tau }_k\in \mathbb{R}$ such that ${\int }_t^{t+1}{\parallel f(s+{\tau }_k)-cf\left(s\right)\parallel }^{p}ds\le {\eta }_k^p,$ $t\in \mathbb{R}$ and $\parallel f(s_k+{\tau }_k)-cf\left(s_k\right)\parallel >ϵ.$ Using the continuity of function $f(·)$ from the left side, for each $k\in \mathbb{N}$ there exist points $s_k^{\prime }\notin {\bigcup }_{l\in \mathbb{Z}}(t_l-(3ϵ/4),t_l+(3ϵ/4))$ and ${\tau }_k\in \mathbb{R}$ such that ${\int }_t^{t+1}{\parallel f(s+{\tau }_k)-cf\left(s\right)\parallel }^{p}ds\le {\eta }_k^p,$ $t\in \mathbb{R}$, $\parallel f(s_k^{\prime }+{\tau }_k)-cf\left(s_k^{\prime }\right)\parallel >3ϵ/4$ and $s_k^{\prime }+{\tau }_k\notin \{t_l:l\in \mathbb{Z}\}.$ Since $\delta <ϵ/2$, it follows that, for every $k\in \mathbb{N},$ the interval $(s_k^{\prime }-\delta ,s_k^{\prime }+\delta )$ belongs to the same interval $(t_j,t_{j+1})$ of continuity of function $f(·),$ for some $j\in \mathbb{Z}.$ On the other hand, at least one of the intervals $(s_k^{\prime }+{\tau }_k,s_k^{\prime }+{\tau }_k+\delta )$ and $(s_k^{\prime }+{\tau }_k-\delta ,s_k^{\prime }+{\tau }_k)$ belongs to the same interval $(t_p,t_{p+1})$ of continuity of function $f(·),$ for some $p\in \mathbb{Z}.$ If the integer $k\in \mathbb{N}$ is fixed, then we may assume without loss of generality that the above holds for the interval $(s_k^{\prime }+{\tau }_k,s_k^{\prime }+{\tau }_k+\delta );$ since $\left|c\right|=1,$ this readily implies:

$$\begin{array}{cc}\hfill \parallel & \left[f(s+s_k^{\prime }+{\tau }_k)-cf(s+s_k^{\prime })\right]-\left[f(s_k^{\prime }+{\tau }_k)-cf\left(s_k^{\prime }\right)\right]\parallel \hfill \\ & \le ∥f(s+s_k^{\prime }+{\tau }_k)-f(s_k^{\prime }+{\tau }_k)∥+∥f(s+s_k^{\prime })-f\left(s_k^{\prime }\right)∥\le ϵ/2,\mathrm{a}.\mathrm{e}.s\in [0,\delta ].\hfill \end{array}$$

Hence, for every $k\in \mathbb{N},$ we have:

$$\begin{array}{c}\hfill ∥f(s+s_k^{\prime }+{\tau }_k)-cf(s+s_k^{\prime })∥\ge ϵ/4,\mathrm{a}.\mathrm{e}.s\in [0,\delta ],\end{array}$$

and

$$\begin{array}{cc}\hfill {\eta }_k^p& \ge {\int }_{t_k}^{t_k+1}{∥f(s+s_k^{\prime }+{\tau }_k)-cf(s+s_k^{\prime })∥}^{p}ds\hfill \\ & \ge {\int }_{t_k}^{t_k+\delta }{∥f(s+s_k^{\prime }+{\tau }_k)-cf(s+s_k^{\prime })∥}^{p}ds\ge {(ϵ/4)}^p\delta ,\hfill \end{array}$$

which is a contradiction. This simply completes the proof of the theorem. □

The argument contained in the proof of [29] (Theorem 3.8) can be applied even if ${\left(t_k\right)}_{k\in \mathbb{Z}}$ is not a Wexler sequence. Keeping in mind this fact as well as Proposition 2, Theorem 1, Theorem 2 and [9] (Theorem 6.2.21), we can extend [29] (Theorem 3.8) in the following way:

Theorem 3.

Suppose that $F:I\times X\to E$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic, the condition (QUC) holds, and any set B of the collection $\mathcal{B}$ is a compact subset of $X.$ Then, $F(·;·)$ is Bohr $\mathcal{B}$-almost periodic if and only if $F(·;·)$ is continuous.

We proceed with some applications of Theorems 1 and 2; the first result improves the statement of [27] (Lemma 31, pp. 204–206):

Theorem 4.

Suppose that $F_i:I\times X\to E$ is a pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic function ($i=1,2$), and every set B of collection $\mathcal{B}$ is compact in $X.$ If the condition (QUC) holds for the functions $F_1(·;·)$ and $F_2(·;·)$, then the functions $(F_1,F_2)(·;·)$ and $\alpha F_1\pm \beta F_2$ are pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic and satisfy the condition (QUC).

Proof. 

Due to Proposition 2 and Theorem 1, we have that the functions $F_1(·;·)$ and $F_2(·;·)$ are Stepanov-$(\mathcal{B},p)$-almost periodic. An application of [9] (Proposition 6.2.17) shows that the function $(F_1,F_2)(·;·)$ is Stepanov-$(\mathcal{B},p)$-almost periodic so that the function $(F_1,F_2)(·;·)$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic by Theorem 2. This clearly implies that the function $\alpha F_1\pm \beta F_2$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic, as well. The condition (QUC) clearly holds for both functions. □

Observe that we have not assumed above that ${\left(t_k\right)}_{k\in \mathbb{Z}}$ is a Wexler sequence; in particular, if $f_1(·)$ and $f_2(·)$ are $\left(t_k\right)$-piecewise continuous almost periodic functions and the requirements of Theorem 4 hold, then for each number $ϵ>0$ there exists a relatively dense set of their common $ϵ$-almost periods, with the meaning clear. Keeping in mind Propositions 3 and 5 and Theorem 4, we can simply prove an analogue of [24] (Theorem 2.23) for (pre-)$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic functions.

Further on, as a simple application of Theorem 4, we have the following:

Proposition 6.

Suppose that $F_1:I\times X\to \mathbb{C}$ and $F_2:I\times X\to E$ are pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic functions, and every set B of collection $\mathcal{B}$ is compact in $X.$ If the condition (QUC) holds for the functions $F_1(·;·)$ and $F_2(·;·)$, then the function $(F_1·F_2)(·;·)$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic; moreover, the function $(F_1^{-1}·F_2)(·;·)$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic, provided that for each set $B\in \mathcal{B}$ we have ${inf}_{t\in I;x\in B}\left|F_1(t;x)\right|>0.$

The next result follows from the argument contained in the proofs of Theorems 1 and 2 and the corresponding result for the Stepanov-p-almost periodic functions:

Proposition 7.

Suppose that $F:I\to E$ is a pre-piecewise continuous almost periodic function, and the condition (QUC) holds. Let $ϵ>0$ be fixed. Then, for each number $\delta \in \mathbb{R}\setminus \left\{0\right\}$ there exists a relatively dense set S of integers such that the set $\delta ·S$ consists solely of the ϵ-almost periods of $F(·).$

The Favard type theorems for piecewise continuous almost periodic functions have been considered in the research article [38] by L. Wang and M. Yu. Let us only mention that the authors have clarified, in [38] (Theorem 2.3), a sufficient condition for the primitive function of a scalar-valued piecewise continuous almost periodic function to be almost periodic; observe, however, that the established result is very unsatisfactory from the application point of view. On the other hand, using Proposition 2, Theorem 1 and the Bohl–Bohr–Amerio theorem (see, e.g., [13] (p. 80)), we can clarify the following simple result on the integration of piecewise continuous almost periodic type functions:

Theorem 5.

Suppose that $F:I\to E$ is a pre-piecewise continuous almost periodic function, and E is uniformly convex. If the function $t\mapsto F^{\left[1\right]}\left(t\right)\equiv {\int }_0^{t}F\left(s\right)ds,$ $t\in I$ is bounded, then $F^{\left[1\right]}(·)$ is almost periodic.

The statement of [24] (Proposition 2.2) admits a satisfactory reformulation in the new framework provided that $\rho =T\in L\left(E\right)$ is a linear isomorphism; in order to see this, we can combine Proposition 2, Theorems 1 and 2 and [30] (Theorem 1(i)). Before proceeding to the next subsection, we observe that the statements of [36] (Proposition 2.9, Corollary 2.10, Proposition 2.11) admit satisfactory reformulations in the new context as well. For example, we can combine Proposition 2, Theorems 1 and 2 and [30] (Proposition 2) in order to see that the following generalization of [36] (Proposition 2.9) holds true:

Proposition 8.

Suppose that $\rho =T\in L\left(E\right)$ is a linear isomorphism and $F:I\times X\to E$ is (pre-)$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},T,\left(t_k\right))$-piecewise continuous uniformly recurrent]. Then, for each $l\in \mathbb{N}$ the function $F(·;·)$ is (pre-)$(\mathcal{B},T^l,\left(t_k\right))$-piecewise continuous almost periodic [(pre-)$(\mathcal{B},T^l,\left(t_k\right))$-piecewise continuous uniformly recurrent].

3.1. Composition Principles for $(\mathcal{B},\left(t_k\right))$-Piecewise Continuous Almost Periodic Type Functions

In this subsection, we will prove two composition theorems for $(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic type functions. In order to achieve this aim, we employ the relations between the $(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic type functions and the Stepanov almost periodic type functions.

The first result reads as follows:

Theorem 6.

Suppose that $(Z,\parallel ·{\parallel }_Z)$ is a complex Banach space, $F:\mathbb{R}\times X\to E$ is a pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic function, and $G:\mathbb{R}\times E\to Z$ is a pre-$({\mathcal{B}}^{\prime },\left(t_k\right))$-piecewise continuous almost periodic function, where $\mathcal{B}$ is a collection of all compact subsets of X, and ${\mathcal{B}}^{\prime }$ is a collection of all compact subsets of $E.$ If the condition (QUC) holds for the functions $F(·;·)$ and $G(·;·),$ and there exists $L>0$ such that

$$\begin{array}{c}\hfill {∥G(t;x)-G(t;y)∥}_Z\le L\parallel x-y\parallel ,t\in \mathbb{R},x,y\in E,\end{array}$$

(2)

then the function $W:\mathbb{R}\times X\to Z,$ given by $W(t;x):=G(t;F(t;x\left)\right),$ $t\in \mathbb{R}$, $x\in X$, is a pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic function, and the condition (QUC) holds for $W(·;·).$

Proof. 

Let $ϵ>0$ and $B\in \mathcal{B}$ be fixed. Then, Proposition 2 implies that the set $B^{\prime }:=F(\mathbb{R}\times B)$ is relatively compact in $E.$ Let ${\delta }_1>0$ be chosen from the condition (QUC) for the function $F(·;·),$ the number $ϵ/2L$ and the set $B;$ further on, let ${\delta }_2>0$ be chosen from the condition (QUC) for the function $G(·;·),$ the number $ϵ/2$ and the set $B^{\prime }.$ Define $\delta :=min\{{\delta }_1,{\delta }_2\}.$ Let $t^{\prime },t^{″}\in (t_k,t_{k+1})$ for some $k\in \mathbb{Z},$ and let $|t^{\prime }-t^{″}|<\delta .$ Then

$$\begin{array}{cc}\hfill \parallel & G\left(t^{\prime };F(t^{\prime };x)\right)-G\left(t^{″};F(t^{″};x)\right){\parallel }_Z\hfill \\ & \le {∥G\left(t^{\prime };F(t^{\prime };x)\right)-G\left(t^{\prime };F(t^{″};x)\right)∥}_Z+{∥G\left(t^{\prime };F(t^{″};x)\right)-G\left(t^{″};F(t^{″};x)\right)∥}_Z\hfill \\ & \le L∥F(t^{\prime };x)-F(t^{″};x)∥+\underset{y\in B^{\prime }}{sup}{∥G(t^{\prime };y)-G(t^{″};y)∥}_Z\hfill \\ & \le L(ϵ/2L)+(ϵ/2)=ϵ.\hfill \end{array}$$

Therefore, the condition (QUC) holds for $W(·;·);$ using a similar argument, we can show that for each $x\in X$ the mapping $t\mapsto W(t;x),$ $t\in \mathbb{R}$ is continuous from the left side, with the possible first kind of discontinuities at the points of the sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}.$ Consider now the functions $F_B:\mathbb{R}\to l_{\infty }(B:E)$ and $G_B:\mathbb{R}\to l_{\infty }(B^{\prime }:Z)$ defined through $\left[F_B\left(t\right)\right]\left(x\right):=F(t;x),$ $t\in \mathbb{R},$ $x\in B$ and $\left[G_{B^{\prime }}\left(t\right)\right]\left(y\right):=G(t;y),$ $t\in \mathbb{R},$ $y\in B^{\prime },$ where $l_{\infty }(B:E)$ denotes the Banach space of all essentially bounded functions from B into $E,$ equipped with the sup-norm. Due to Proposition 2, these mappings are well-defined. Using a simple argument involving the condition (QUC) for the functions $F(·;·)$ and $G(·;·),$ it follows that the functions $F_B(·)$ and $G_B(·)$ are pre-$\left(t_k\right)$-piecewise continuous almost periodic, and the condition (QUC) holds for them. Applying Theorems 1 and 2 and [9] (Proposition 6.2.17), we conclude that there exists a common set D of $\left(t_k\right)$-almost periods for these functions, with the meaning clear. If $\tau \in D$ and $|t-t_k|>ϵ$ for some $k\in \mathbb{Z},$ then we have

$$\begin{array}{cc}\hfill & {∥G\left(t+\tau ;F(t+\tau ;x)\right)-G\left(t;F(t;x)\right)∥}_Z\hfill \\ & \le {∥G\left(t+\tau ;F(t+\tau ;x)\right)-G\left(t+\tau ;F(t;x)\right)∥}_Z+{∥G\left(t+\tau ;F(t;x)\right)-G\left(t;F(t;x)\right)∥}_Z\hfill \\ & \le L∥F(t+\tau ;x)-F(t;x)∥+\underset{y\in B^{\prime }}{sup}{∥G(t+\tau ;y)-G(t;y)∥}_Z.\hfill \end{array}$$

This simply completes the proof of the theorem. □

The second structural result simply follows from Theorem 6 and the argument contained in the proof of [9] (Theorem 6.1.50) (cf. also [24] (Theorem 2.17) and [9] (Subsection 6.1.5) for similar results).

Theorem 7.

Suppose that $(Z,\parallel ·{\parallel }_Z)$ is a complex Banach space, $F_0:\mathbb{R}\times X\to E$ is a pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic function, $G_1:\mathbb{R}\times E\to Z$ is a pre-$({\mathcal{B}}^{\prime },\left(t_k\right))$-piecewise continuous almost periodic function, where $\mathcal{B}$ is a collection of all compact subsets of X, and ${\mathcal{B}}^{\prime }$ is a collection of all compact subsets of $E.$ Suppose, further, that the condition (QUC) holds for the functions $F_0(·;·)$ and $G_1(·;·),$ there exists $L>0$ such that (2) holds with the function $G(·;·)$ replaced therein with the function $G_1(·;·),$ the function $Q_0:[0,\infty )\times X\to E$ [$Q_1:[0,\infty )\times E\to Z$] satisfies that for each set $B\in \mathcal{B}$ [$B^{\prime }\in {\mathcal{B}}^{\prime }$] we have ${lim}_{t\to +\infty }{sup}_{x\in B}\parallel Q_0(t;x)\parallel =0$ [${lim}_{t\to +\infty }{sup}_{y\in B^{\prime }}{\parallel Q_1(t;y)\parallel }_Z=0$]. Then, the function $W:\mathbb{R}\times X\to Z,$ given by $W(t;x):=[G_1+Q_1](t;[F_0+Q_0](t;x)),$ $t\in \mathbb{R}$, $x\in X$, is strongly asymptotically pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic in the sense that there exists a pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic function $W_2:\mathbb{R}\times X\to E$ obeying the condition (QUC), and a function $Q_2:[0,\infty )\times X\to E$ satisfying that for each set $B\in \mathcal{B}$ we have ${lim}_{t\to +\infty }{sup}_{x\in B}\parallel Q_2(t;x)\parallel =0$ and $W(t;x)=W_2(t;x)+Q_2(t;x)$ for all $t\ge 0$ and $x\in X.$

Concerning the composition principles for piecewise pseudo almost periodic type functions, we refer the reader to [39] (Section 3) for some results established by J. Liu and C. Zhang.

Before going any further, we would like to present the following simple application of Theorem 6 and some useful observations concerning this result:

Example 3.

Let $\mathcal{X}$ denote the set of all pre-$\left(t_k\right)$-piecewise continuous almost periodic functions $f:\mathbb{R}\to X$ satisfying the condition (QUC). Then, Proposition 3 and Theorem 4 together imply that $(\mathcal{X},\parallel ·{\parallel }_{\infty })$ is a complex Banach space. Consider now Theorem 6 with $E=Z=X$ and $\mathcal{B}={\mathcal{B}}^{\prime }$ being the collection of all compact subsets of $X.$ Consider, further, the following simple equation

$$\begin{array}{c}\hfill u\left(t\right)=u_0+G(t;u\left(t\right)),t\in \mathbb{R},\end{array}$$

(3)

where $u_0:\mathbb{R}\to X$ is pre-$\left(t_k\right)$-piecewise continuous almost periodic and satisfies the condition (QUC) as well as $G:\mathbb{R}\times X\to X$ is pre-$(\mathcal{B},\left(t_k\right))$-piecewise continuous almost periodic and satisfies the condition (QUC). Suppose that there exists $L\in (0,1)$ such that (2) holds. Then, the mapping $u\ni \mathcal{X}\mapsto u_0+G(·;u(·))\in \mathcal{X}$ is well-defined due to Proposition 3, Theorems 4 and 6. Moreover, this mapping is a contraction; therefore, there exists a unique function $u\in \mathcal{X}$ satisfying (3). For example, we can take $X=\mathbb{C}$ and

$$G(t;x)=f_1\left(t\right)g_1\left(x\right)+\dots .+f_k\left(t\right)g_k\left(x\right),t\in \mathbb{R},x\in \mathbb{C}(k\in \mathbb{N}),$$

where the functions $F_j(·)$ are pre-$\left(t_k\right)$-piecewise continuous almost periodic and satisfy the condition (QUC), the functions $g_j(·)$ are bounded, Lipschitz continuous with constants $L_j>0$ and

$$L_1{∥f_1∥}_{\infty }+\dots +L_k{∥f_k∥}_{\infty }<1.$$

On the other hand, it is very difficult to apply Theorem 6 to the abstract semilinear integro-differential equations of the form

$$\begin{array}{c}\hfill u\left(t\right)=u_0+{\int }_{-\infty }^{t}R(t-s)G(s;u\left(s\right))ds,t\in \mathbb{R},\end{array}$$

(4)

if the operator family ${\left(R\left(t\right)\right)}_{t>0}\subseteq L\left(X\right)$ satisfies ${\int }_0^{+\infty }\parallel R\left(t\right)\parallel dt<+\infty$ and condition that the mapping $t\mapsto R\left(t\right)x,$ $t>0$ is (piecewise-)continuous for every element $x\in X.$ Then, it is expected that the mapping $t\mapsto {\int }_{-\infty }^{t}R(t-s)G(s;u\left(s\right))ds,$ $t\in \mathbb{R}$ is Bohr almost periodic in the usual sense, so that we can always use a more general assumption that $G:\mathbb{R}\times X\to X$ is Stepanov-p-$\mathcal{B}$-almost periodic for some $p\ge 1$ and apply the composition theorems for Stepanov almost periodic type functions [7,9] combined with some result of type [7] (Proposition 2.6.11); cf. also Remark 5(iv). We will not discuss here the well-posedness of problem (4) in the case that the mapping $t\mapsto R\left(t\right)x,$ $t>0$ is only Lebesgue measurable ($x\in X$) and ${\int }_0^{+\infty }\parallel R\left(t\right)\parallel dt<+\infty .$

4. Almost Periodic Type Solutions of Abstract Impulsive Differential Inclusions of Integer Order

The main aim of this section is to analyze the almost periodic type solutions to the abstract impulsive differential inclusions of integer order. Of concern is the following abstract impulsive higher-order Cauchy inclusion

$${\left(ACP\right)}_{n;1}:\left\{\begin{array}{c}{u}^{\left(n\right)}\left(t\right)\in \mathcal{A}u\left(t\right)+f\left(t\right),t\in [0,T]\setminus \{t_1,\dots ,t_l\},\hfill \\ \left(\Delta u^{\left(j\right)}\right)\left(t_k\right)=u^{\left(j\right)}\left(t_k+\right)-u^{\left(j\right)}\left(t_k-\right)=C{y}_j^k,k\in {\mathbb{N}}_l,j\in {\mathbb{N}}_{n-1}^0,\hfill \\ u^{\left(j\right)}\left(0\right)=C{u}_j,j\in {\mathbb{N}}_{n-1}^0.\hfill \end{array}\right.$$

We refer the reader to [25] for the notion of a (pre-)solution of ${\left(ACP\right)}_{n;1}$ on $[0,T]$ and $[0,\infty ).$ We will use the following result from [25]; it is worth noting that, in the second part, we do not need the separation condition ${\delta }_0>0$ on the sequence $\left(t_k\right)$:

Lemma 1.

(i)

Suppose that $\mathcal{A}$ is a closed subgenerator of a local $(g_n,C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\in [0,\tau )},$ where $\tau >T$ and $n\in \mathbb{N}.$ Suppose that the functions $C^{-1}f(·)$ and $f_{\mathcal{A}}(·)$ are continuous on the set $t\in [0,T]\setminus \{t_1,\dots ,t_l\},$ $f_{\mathcal{A}}\left(t\right)\in \mathcal{A}{C}^{-1}f\left(t\right)$ for all $t\in [0,T]\setminus \{t_1,\dots ,t_l\},$ as well as the right limits and the left limits of the functions $C^{-1}f(·)$ and $f_{\mathcal{A}}(·)$ exist at any point of the set $\{t_1,\dots ,t_l\}.$ Define

$$\begin{array}{cc}\hfill u\left(t\right)& :=R\left(t\right)u_0+\sum _{j=1}^{n-1}{\int }_0^t{g}_j(t-s)R\left(s\right)u_{j}ds\hfill \\ \hfill & +{\int }_0^t{\int }_0^{t-s}{g}_{n-1}(t-s-r)R\left(r\right)\left(C^{-1}f\right)\left(s\right)drds+\omega \left(t\right),t\in [0,T],\hfill \end{array}$$

(5)

where

$$\begin{array}{c}\hfill \omega \left(t\right):=\left\{\begin{array}{c}0,t\in [0,t_1],\hfill \\ \sum _{p=1}^{k}R\left(t-t_p\right)y_0^p+\sum _{p=1}^k\sum _{j=1}^{n-1}{\int }_0^{t-t_p}{g}_j(t-t_p-s)R\left(s\right)y_j^{p}ds,\hfill \\ ift\in \left(t_k,t_{k+1}\right]forsomek\in {\mathbb{N}}_{l-1}^0.\hfill \end{array}\right.\end{array}$$

(6)

Then, the function $u\left(t\right)$ is a unique solution of the problem ${\left(ACP\right)}_{n;1},$ provided that $u_0,\dots ,u_l\in D\left(\mathcal{A}\right)$ and $y_k^j\in D\left(\mathcal{A}\right)$ for all $k\in {\mathbb{N}}_l$ and $j\in {\mathbb{N}}_{n-1}^0.$

(ii)

Suppose that $\mathcal{A}$ is a closed subgenerator of a global $(g_n,C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0},$ where $n\in \mathbb{N}.$ Suppose, further, that $0<t_1<\dots <t_l<\dots <+\infty$, the sequence ${\left(t_l\right)}_l$ has no accumulation point, the functions $C^{-1}f(·)$ and $f_{\mathcal{A}}(·)$ are continuous on the set $[0,T]\setminus \{t_1,\dots ,t_l,\dots \},$ $f_{\mathcal{A}}\left(t\right)\in \mathcal{A}{C}^{-1}f\left(t\right)$ for all $t\in [0,T]\setminus \{t_1,\dots ,t_l,\dots \},$ as well as the right limits and the left limits of the functions $C^{-1}f(·)$ and $f_{\mathcal{A}}(·)$ exist at any point of the set $\{t_1,\dots ,t_l,\dots \}.$ Define the functions $u\left(t\right)$ and $\omega \left(t\right)$ for $t\in [0,T]$ by (5) and (6), respectively. Then, the function $u\left(t\right)$ is a unique solution of the problem ${\left(ACP\right)}_{n;1}$ for $t\in [0,T]\setminus \{t_1,\dots ,t_l,\dots \},$ provided that $u_0,\dots ,u_l,\dots \in D\left(\mathcal{A}\right)$ and $y_j^k\in D\left(\mathcal{A}\right)$ for all $k\in \mathbb{N}$ and $j\in {\mathbb{N}}_{n-1}^0.$

In this paper, we will mainly consider the case in which $n=1.$ We start with the observation that it is not so simple to analyze the existence and uniqueness of $(\omega ,c)$-periodic solutions of the abstract impulsive Volterra integro-differential inclusions on bounded domains unless some very restrictive assumptions are satisfied. Concerning this topic, which has recently been analyzed by some authors, we will only provide the following simple application of Lemma 1 with $n=1.$ Let $\omega =t_{k+1}-t_k>0$ for all integers $k\in {\mathbb{N}}_n,$ let $f\left(t\right)\equiv 0$, and let the (local) C-regularized semigroup with subgenerator $\mathcal{A}$ satisfy $R(t+\omega )=cR\left(t\right)$ for all $t\in [0,T-\omega ].$ If $u_0\in D\left(\mathcal{A}\right),$ then the solution $u\left(t\right)$ of problem ${\left(ACP\right)}_{1;1}$ satisfies $u\left(T\right)=cu\left(0\right)$ if and only if

$$c{u}_0=c^{l+1}{u}_0+\left[c^l{y}_0^1+\dots +c{y}_0^l\right];$$

if $c=1$, this simply means that $y_0^1+\dots +y_0^l=0.$ We divide the further investigations into four subsections:

4.1. Asymptotically Almost Periodic Type Solutions of ${\left(ACP\right)}_{1;1}$

Suppose that $\mathcal{A}$ is the integral generator of a global exponentially decaying C-regularized semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ on $X;$ therefore, there exist finite real constants $\omega <0$ and $M\ge 1$ such that $\parallel T\left(t\right)\parallel \le M{e}^{\omega t},$ $t\ge 0.$ Suppose, further, that the functions $C^{-1}f(·)$ and $f_{\mathcal{A}}(·)$ satisfy all requirements from Lemma 1(ii) with $n=1.$ For simplicity, we set $y_k\equiv y_0^k.$

• In this part, we will only assume that the sequence $\left(t_k\right)$ has no accumulation point; the separation condition ${\delta }_0>0$ is complete regardless. If ${\sum }_{k\ge 1}{e}^{-\omega t_k}\parallel y_k\parallel <+\infty$, then the function $\omega (·)$ defined in the proof of Lemma 1(i) belongs to the space $P{C}_{\omega }([0,\infty ):X)$ since we have (cf. also [7] (Remark 2.6.14(i))):

  $$\begin{array}{c}\hfill ∥\omega \left(t\right)∥\le M{e}^{\omega t}\sum _{k=1}^{\infty }{e}^{-\omega t_k}\parallel y_k\parallel \to 0ast\to +\infty ;\end{array}$$

  (7)

  we will not further discuss here the sufficient conditions ensuring that the function $\omega (·)$ belongs to some space of the weighted ergodic components in $\mathbb{R}$ (cf. [9] (Section 6.4) for more details about these spaces in the multi-dimensional setting). Concerning the function $C^{-1}f(·)$, we can assume that there exists a bounded Stepanov-p-almost periodic function $g:\mathbb{R}\to X$ and a function $q\in P{C}_{{\omega }^{\prime }}([0,\infty ):X),$ for some ${\omega }^{\prime }\in \mathbb{R}$ and $p\in [1,\infty ),$ such that $C^{-1}f\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0;$ see, e.g., the proofs of [7] (Propositions 2.6.11 and 2.6.13). A similar conclusion can be given in the case that there exist a bounded Stepanov-p-almost periodic function $g:\mathbb{R}\to X$ and a function $e^{-{\omega }^{\prime }·}q(·)\in PA{P}_T^0([0,\infty ):X),$ for some ${\omega }^{\prime }\in \mathbb{R}$ and $p\in [1,\infty )$, such that $C^{-1}f\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0;$ see [39] (p. 3 and Definition 2.7) for the notion, the argument contained in the proof of [7] (Lemma 2.12.3) and the decomposition used in the proof of [7] (Proposition 2.6.13). We can also use Stepanov-$(p,c)$-almost periodic functions here.
• Suppose now, in place of condition ${\sum }_{k\ge 1}{e}^{-\omega t_k}\parallel y_k\parallel <+\infty$, that ${\left(y_k\right)}_{k\in \mathbb{N}}$ is an almost periodic sequence as well as that the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{N}}$, $j\in \mathbb{N}$ is equipotentially almost periodic. Then, the argument contained in the proofs of [32] (Lemmas 3.4 and 3.6, Theorem 3.7) shows that the function $\omega (·)$ is piecewise continuous almost periodic.
• In this issue, we are seeking for the uniformly recurrent analogues of the conclusions established in the previous issue. Suppose that $\left({\tau }_m\right)$ is a strictly increasing sequence of positive real numbers such that ${lim}_{m\to +\infty }{\tau }_m=+\infty$ and $\left(q_l\right)$ is a strictly increasing sequence of positive integers. Let, for every $ϵ>0$ and $m\in \mathbb{N},$ there exist integers $s_1\in \mathbb{N}$ and $s_2\in \mathbb{N}$ such that, for every $l\ge s_1$ and $j\in \mathbb{N}$, we have $\parallel y_{j+q_l}-y_j\parallel +|t_{j+q_{s_2}}-t_j-{\tau }_m|\le ϵ;$ see also [27] (Lemma 35). If the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is bounded [the sequences ${\left(y_k\right)}_{k\in \mathbb{N}}$ and ${\left(A{y}_k\right)}_{k\in \mathbb{N}}$ are bounded], then Proposition 3 in combination with the argument contained in the proofs of [32] (Lemma 3.6, Theorem 3.7) shows that the function $\omega (·)$ is (pre-)piecewise continuous uniformly recurrent; see also the statement (S) in the proof of Theorem 8 below.

For a concrete example, we need to recall that A. Haraux and P. Souplet have proved, in [18] (Theorem 1.1), that the function

$$\begin{array}{c}\hfill f\left(t\right):=\sum _{m=1}^{\infty }\frac{1}{m}{sin}^2\left(\frac{t\pi }{2^m}\right),t\in \mathbb{R},\end{array}$$

satisfies ${lim}_{k\to +\infty }f(t+2^k)=f\left(t\right),$ uniformly in $t\in \mathbb{R}.$ Take $y_j:=f\left(j\right)$, $t_j:=j$ for all $j\in \mathbb{N}$ and ${\tau }_m:=2^m$ for all $m\in \mathbb{N}.$ Then, the above requirements are satisfied.

4.2. Asymptotically Weyl Almost Periodic Type Solutions of ${\left(ACP\right)}_{1;1}$

Suppose that $1\le p<\infty$ and $f\in L_{loc}^p(I:E).$ Let us recall that the function $f(·)$ is called:

(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^{\prime }\subseteq I$ of length L contains a point $\tau \in I^{\prime }$ such that

$${\underset{x\in I}{sup}[\frac{1}{l}{\int }_x^{x+l}\parallel f(t+\tau )-f\left(t\right){\parallel }^{p}dt]}^{1/p}\le ϵ.$$

(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^{\prime }\subseteq I$ of length L contains a point $\tau \in I^{\prime }$ such that

$${\underset{l\to \infty }{lim}\underset{x\in I}{sup}[\frac{1}{l}{\int }_x^{x+l}\parallel f(t+\tau )-f\left(t\right){\parallel }^{p}dt]}^{1/p}\le ϵ.$$

In order to study the existence and uniqueness of asymptotically (equi-)Weyl-p-almost periodic solutions of the problem ${\left(ACP\right)}_{1;1},$ we will use the following conditions:

(ew-M1)   

For every $ϵ>0$, there exist $s\in \mathbb{N}$ and $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }$ which satisfies that there exists an integer $q_{\tau }\in \mathbb{N}$ such that $|t_{i+q_{\tau }}-t_i-\tau |<ϵ$ for all $i\in \mathbb{N}$ and

$$\begin{array}{c}\hfill \underset{\left|J\right|=s}{sup}{\left[\frac{1}{s}\sum _{j\in J}{∥y_{j+q_{\tau }}-y_j∥}^p\right]}^{1/p}<ϵ,\end{array}$$

(8)

where the supremum is taken over all segments $J\subseteq \mathbb{N}$ of length $s.$

(w-M1)

For every $ϵ>0$, there exists $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }$ which satisfies that there exist an integer $q_{\tau }\in \mathbb{N}$ and an integer $s_{\tau }\in \mathbb{N}$ such that $|t_{i+q_{\tau }}-t_i-\tau |<ϵ$ for all integers $i\in \mathbb{N}$, and (8) holds for all integers $s\ge s_{\tau }.$

Condition (ew-M1), respectively, condition (w-M1), implies that the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{N}}$, $j\in \mathbb{N}$ is equipotentially almost periodic as well as that the sequence ${\left(x_k\right)}_{k\in \mathbb{N}}$ is equi-Weyl-p-almost periodic, respectively, Weyl-p-almost periodic, in the following sense:

(e-M1)

For every $ϵ>0$, there exist $s\in \mathbb{N}$ and $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }\cap \mathbb{N}$ which satisfies that (8) holds with the number $q_{\tau }$ replaced therein with the number $\tau .$

(M1)

For every $ϵ>0$, there exists $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }\cap \mathbb{N}$ which satisfies that there exists an integer $s_{\tau }\in \mathbb{N}$ such that (8) holds for all integers $s\ge s_{\tau },$ with the number $q_{\tau }$ replaced therein with the number $\tau .$

In the existing literature, the class of equi-Weyl-1-almost periodic sequences has been commonly used so far (see, e.g, the research articles [40] by V. Bergelson et al., [41] by T. Downarowicz, A. Iwanik and [42] by A. Iwanik). The class of Weyl-p-almost periodic sequences seems to be not considered elsewhere, even in the scalar-valued case. Before going further, let us mention that it is clear that condition (ew-M1) implies (w-M1) as well as that condition (e-M1) implies (M1).

Concerning the existence and uniqueness of asymptotically Weyl almost periodic solutions of problem ${\left(ACP\right)}_{1;1}$, we will state and prove the following result:

Theorem 8.

Suppose that (ew-M1), respectively, (w-M1) holds the functions $\left(C^{-1}f\right)(·)$ and $f_A(·)$ satisfy all requirements of Lemma 1 with $n=1$, $u_0\in D\left(A\right)$ and $y_k\equiv y_k^0\in D\left(A\right)$ for all $k\in \mathbb{N}.$ Suppose, further, that $\left(y_k\right)$ and $\left(A{y}_k\right)$ are bounded sequences, $q\in P{C}_0([0,\infty ):X)$, the function $g:\mathbb{R}\to X$ is (equi-)Weyl-p-almost periodic and bounded as well as $\left(C^{-1}f\right)\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0.$ Then, there exist a bounded continuous (equi-)Weyl-p-almost periodic function $G_1:\mathbb{R}\to X,$ a bounded piecewise continuous (equi-)Weyl-p-almost periodic function $G_2:[0,\infty )\to X$ and a function $Q_1\in C_0([0,\infty ):X)$ such that the unique solution $u\left(t\right)$ of problem ${\left(ACP\right)}_{1;1}$ satisfies $u\left(t\right)=G_1\left(t\right)+G_2\left(t\right)+Q_1\left(t\right)$ for all $t\ge 0.$

Proof. 

Keeping in mind [7] (Theorem 2.11.4) and the proof of [7] (Proposition 2.6.13), it readily follows that there exist a bounded (equi-)Weyl-p-almost periodic function $G_1:\mathbb{R}\to X$ and a function $Q_1\in C_0([0,\infty ):X)$ such that $T\left(t\right)u_0+{\int }_0^{t}T(t-s)\left(C^{-1}f\right)\left(s\right)ds=G_1\left(t\right)+Q_1\left(t\right)$ for all $t\ge 0;$ cf. the formulation of Lemma 1 with $R\left(t\right)\equiv T\left(t\right).$ It remains to be proved that the function $\omega (·)$ from the formulation of Lemma 1(i) is bounded, piecewise continuous and (equi-)Weyl-p-almost periodic. Keeping in mind the argument contained in the proof of [32] (Theorem 3.7), the assumption that $\left(y_k\right)$ is a bounded sequence and the fact that the statement of [7] (Proposition 2.3.5) continues to hold for the sequences of piecewise continuous bounded functions, it suffices to show that the function ${\omega }_1(·),$ defined by ${\omega }_1\left(t\right):=0$ if $0\le t\le t_1$ and ${\omega }_1\left(t\right):=T(t-t_k)y_k,$ if $t_k<t\le t_{k+1}$ for some integer $k\in \mathbb{N},$ is (equi-)Weyl-p-almost periodic. The consideration is similar for both classes of functions, and we may assume, without loss of generality, that condition (ew-M1) holds. Since $\left(A{y}_k\right)$ is a bounded sequence, we have $T\left(t\right)y_k-T\left(s\right)y_k=[T\left(t\right)y_k-C{y}_k]-[T\left(s\right)y_k-C{y}_k]={\int }_s^{t}T\left(r\right)A{y}_{k}dr$ for all $t,s\ge 0,$ and therefore, the following statement holds:

(S)

For every $ϵ>0,$ there exists $\delta \in (0,ϵ)$ such that, if $t,s\ge 0$ and $|t-s|<\delta$, then $\parallel T\left(t\right)y_k-T\left(s\right)y_k\parallel \le ϵ/3$ for all $k\in \mathbb{N}.$

Let $ϵ>0$ be given. Then, we know that there exist $s\in \mathbb{N},$ as large as we want, and $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }$ which satisfies that there exists an integer $q_{\tau }\in \mathbb{N}$ such that $|t_{i+q_{\tau }}-t_i-\tau |<\delta$ for all $i\in \mathbb{N}$ and (8) holds. Suppose now that $t>0$, $|t-t_i|>ϵ$, $|t-t_{i+1}|>ϵ$ and $t_i<t<t_{i+1}$ for some integer $i\in \mathbb{N}.$ Then, the argument contained in the proof of [32] (Lemma 3.6), with ${ϵ}^{\prime }=\beta =ϵ,$ shows that $t_{i+q_{\tau }}<t+\tau <t_{i+q_{\tau }+1}.$ Therefore, since (S) holds and $|t_{i+q_{\tau }}-t_i-\tau |<\delta$, we have:

$$\begin{array}{cc}\hfill \parallel {\omega }_1(t+\tau )& -{\omega }_1\left(t\right)\parallel =∥T(t+\tau -t_{i+q_{\tau }})y_{i+q_{\tau }}-T(t-t_i)y_i∥\hfill \\ & \le ∥T(t+\tau -t_{i+q_{\tau }})y_{i+q_{\tau }}-T(t-t_i)y_{i+q_{\tau }}∥+∥T(t-t_i)(y_{i+q_{\tau }}-y_i)∥\hfill \\ & \le (ϵ/3)+M∥y_{i+q_{\tau }}-y_i∥.\hfill \end{array}$$

Suppose now that $x\ge 0,$ $[x,x+l]\subseteq [t_r,t_{r+m}],$ $x\le t_{r+1}$ and $x+l\ge t_{r+m-1}$ for some integers $r,m\in {\mathbb{N}}_0.$ Since the separation condition ${\delta }_0>0$ holds, we have $l\ge (m-2){\delta }_0$, and therefore $m\le \lfloor l/{\delta }_0\rfloor +2.$ Hence, there exist absolute real constants $M_1>0$ and $M_2>0$ such that

$$\begin{array}{cc}\hfill [& \frac{1}{l}{\int }_x^{x+l}{∥{\omega }_1(t+\tau )-{\omega }_1\left(t\right)∥}^{p}dt{]}^{1/p}\hfill \\ & \le \left[\frac{1}{l}\right({\int }_{t_r}^{t_r+ϵ}{∥{\omega }_1(t+\tau )-{\omega }_1\left(t\right)∥}^{p}dt+{\int }_{t_r+ϵ}^{t_{r+1}-ϵ}{∥{\omega }_1(t+\tau )-{\omega }_1\left(t\right)∥}^{p}dt\hfill \\ & +{\int }_{t_{r+1}-ϵ}^{t_{r+1}+ϵ}{∥{\omega }_1(t+\tau )-{\omega }_1\left(t\right)∥}^{p}dt+\dots ){]}^{1/p}\hfill \\ & \le M_1{\left[\frac{1}{l}\left(ϵ+\left({ϵ}^p+{∥y_{r+q_{\tau }}-y_r∥}^p\right)+ϵ+\dots \right)\right]}^{1/p}\hfill \\ & \le M_1{\left[\frac{1}{l}\left((m+1)ϵ+(m+1){ϵ}^p+\sum _{w=r}^{r+m-1}{∥y_{w+q_{\tau }}-y_w∥}^p\right)\right]}^{1/p}\hfill \\ & \le M_1{\left[\frac{1}{l}\left(\left(\lfloor l/{\delta }_0\rfloor +3\right)ϵ+\left(\lfloor l/{\delta }_0\rfloor +3\right){ϵ}^p+\sum _{w=r}^{r+m-1}{∥y_{w+q_{\tau }}-y_w∥}^p\right)\right]}^{1/p}\hfill \\ & \le M_2\left({ϵ}^{1/p}+ϵ\right)+M_2{\left[\frac{1}{l}\sum _{w=r}^{r+m-1}{∥y_{w+q_{\tau }}-y_w∥}^p\right]}^{1/p}\hfill \\ & \le M_2\left({ϵ}^{1/p}+ϵ\right)+M_2{\left[\frac{1}{l}\sum _{w=r}^{r+\lfloor l/{\delta }_0\rfloor +1}{∥y_{w+q_{\tau }}-y_w∥}^p\right]}^{1/p}.\hfill \end{array}$$

Due to the assumption (8), the above calculation shows that we can take $l={\delta }_0(s-2)$ in the corresponding definition of equi-Weyl-p-almost periodicity. The proof of the theorem is thereby complete. □

Remark 6.

If we replace the conjuction of condition (ew-M1), respectively, (w-M1), and the condition that $\left(A{y}_k\right)$ is a bounded sequence, by the condition that ${\sum }_{k\ge 1}{e}^{-\omega t_k}\parallel y_k\parallel <+\infty$, then the above argument and (7) together imply that there exist a bounded, continuous (equi-)Weyl-p-almost periodic function $G_1:\mathbb{R}\to X$ and a function $Q_1\in P{C}_0([0,\infty ):X)$ such that the unique solution $u\left(t\right)$ of problem ${\left(ACP\right)}_{1;1}$ satisfies $u\left(t\right)=G_1\left(t\right)+Q_1\left(t\right)$ for all $t\ge 0.$ Here, we can only assume that the sequence $\left(t_k\right)$ has no accumulation point; the separation condition ${\delta }_0>0$ is complete regardless.

Now, we would like to present the following simple example in which Theorem 8 can be applied ($X=\mathbb{C}$):

Example 4.

(i)

Suppose that $t_i=i$ for all $i\in \mathbb{N}$, $m\in \mathbb{N}\setminus \left\{1\right\},$ $y_k=0$ for $1\le k\le m-1$ and $y_k=1$ for all $k\ge m.$ Then, it is trivial to show that (ew-M1) holds with $L>k+1$ and $s\ge (k-1){ϵ}^{-p};$ on the other hand, it is clear that ${\left(y_k\right)}_{k\in \mathbb{N}}$ is not an almost periodic sequence.

(ii)

Suppose that $t_i=i$ for all $i\in \mathbb{N}$, $\sigma \in (0,1),$ $p\ge 1,$ $(1-\sigma )p<1$ and $y_k=k^{\sigma }$ for all $k\in \mathbb{N}.$ Then, the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is not equi-Weyl-p-almost periodic ($p\ge 1$); on the other hand, ${\left(y_k\right)}_{k\in \mathbb{N}}$ is Weyl-p-almost periodic for any exponent $p\ge 1$. Towards this end, it suffices to observe that there exists a finite constant $c_{\sigma ,p}>0$ such that, for every $\tau ,s_{\tau },l\in \mathbb{N}$, we have

$$\sum _{j=l}^{l+s_{\tau }-1}{\left[{(j+\tau )}^{\sigma }-j^{\sigma }\right]}^p\le c_{\sigma ,p}{\tau }^p{s}_{\tau }^{1-(1-\sigma )p};$$

see the proof of [9] (Theorem 7.3.8, case 3, p. 566). The requirements of Theorem 8 hold with condition (w-M1) being satisfied.

We close this section with the observation that we can similarly analyze the existence and uniqueness of (equi-)Weyl-p-almost periodic solutions for a class of the abstract impulsive nonautonomous differential equation of the form [32] (1.1).

4.3. Besicovitch–Doss Almost Periodic Type Solutions of ${\left(ACP\right)}_{1;1}$

We start this subsection by recalling the following special case of the notion introduced in [43] (Definition 2.1):

Definition 7.

Suppose that $1\le p<+\infty ,$ $F:I\to X,$ $\varphi :[0,\infty )\to [0,\infty )$ and $\mathrm{F}:(0,\infty )\to (0,\infty ).$ Then, we say that the function $F(·)$ belongs to the class $e-(\varphi ,\mathrm{F})-B^p(I:X)$ if and only if there exists a sequence $\left(P_k(·)\right)$ of trigonometric polynomials such that

$$\begin{array}{c}\hfill \underset{k\to +\infty }{lim}\underset{t\to +\infty }{lim\; sup}\mathrm{F}\left(t\right){\left[\varphi \left(∥F(·)-P_k(·)∥\right)\right]}_{L^p([-t,t]\cap I)}=0,\end{array}$$

where we assume that the term in brackets belongs to the space $L^p([-t,t]\cap I)$ for all $t>0.$ If $\varphi \left(x\right)\equiv x,$ then we omit the term “ϕ” from the notation. The usual notion is obtained by plugging $\varphi \left(x\right)\equiv x$ and $\mathrm{F}\left(t\right)\equiv t^{-1/p},$ when we say that the function $F(·)$ is Besicovitch-p-almost periodic.

As an immediate consequence of [43] (Proposition 10) and the previous considerations, we have the following result (cf. also Remark 6; we only assume here that the sequence $\left(t_k\right)$ has no accumulation point):

Proposition 9.

Suppose that the functions $\left(C^{-1}f\right)(·)$ and $f_A(·)$ satisfy all requirements of Lemma 1 with $n=1$, $u_0\in D\left(A\right)$ and $y_k\equiv y_k^0\in D\left(A\right)$ for all $k\in \mathbb{N}.$ Suppose, further, that ${\sum }_{k\ge 1}{e}^{-\omega t_k}\parallel y_k\parallel <+\infty$, $q\in P{C}_0([0,\infty ):X)$, $\alpha >0,$ $a>0,$ $\alpha p\ge 1,$ $ap\ge 1,$ the function $g:\mathbb{R}\to X$ is bounded and belongs to the class $e-(x^{\alpha },t^{-a})-B^p(\mathbb{R}:X)$ as well as $\left(C^{-1}f\right)\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0.$ Then, there exist a bounded continuous function $G_1:\mathbb{R}\to X$ belonging to the class $e-(x^{\alpha },t^{-a})-B^p(\mathbb{R}:X)$ and a function $Q_1\in P{C}_0([0,\infty ):X)$ such that the unique solution $u\left(t\right)$ of problem ${\left(ACP\right)}_{1;1}$ satisfies $u\left(t\right)=G_1\left(t\right)+Q_1\left(t\right)$ for all $t\ge 0.$

Remark 7.

Is should be noted that the solution $u(·)=G_1(·)+Q_1(·)$ belongs to the class $e-(x^{\alpha },t^{-a})-B^p(\mathbb{R}:X),$ as well. In order to see this, it suffices to observe that $e-(x^{\alpha },t^{-a})-B^p(\mathbb{R}:X)$ is a vector space (see the statement [43] ((i), p. 4221)) and $Q_1\in e-(x^{\alpha },t^{-a})-B^p(\mathbb{R}:X),$ which follows from a relatively simple computation with the sequence $(P_k\equiv 0)$ in Definition 7 and the assumption $ap\ge 1.$

We also need the following notion (see, e.g., [7] (Definition 2.13.2)):

Definition 8.

Let $1\le p<\infty$ and let $f\in L_{loc}^p(I:X).$ Then, it is said that $f(·)$ is Doss p-almost periodic if and only if, for every $ϵ>0$, the set of numbers $\tau \in I$ for which

$$\begin{array}{c}\hfill \underset{l\to +\infty }{lim\; sup}{\left[\frac{1}{2l}{\int }_{-l}^l{\parallel f(s+\tau )-f\left(s\right)\parallel }^{p}ds\right]}^{1/p}<ϵ,\end{array}$$

in the case that $I=\mathbb{R},$ respectively,

$$\begin{array}{c}\hfill \underset{l\to +\infty }{lim\; sup}{\left[\frac{1}{l}{\int }_0^l{\parallel f(s+\tau )-f\left(s\right)\parallel }^{p}ds\right]}^{1/p}<ϵ,\end{array}$$

in the case that $I=[0,\infty ),$ is relatively dense in $I.$

Now, we would like to re-examine the statement of Theorem 8 for Doss-p-almost periodic solutions. In order to do that, we need to introduce the following condition:

(ed-M1)

For every $ϵ>0$, there exists $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }$ which satisfies that there exists an integer $q_{\tau }\in \mathbb{N}$ such that $|t_{i+q_{\tau }}-t_i-\tau |<ϵ$ for all $i\in \mathbb{N}$ and

$$\begin{array}{c}\hfill \underset{s\to +\infty }{lim\; sup}{\left[\frac{1}{s}\sum _{j=1}^s{∥y_{j+q_{\tau }}-y_j∥}^p\right]}^{1/p}<ϵ.\end{array}$$

(9)

Condition (ed-M1) implies that the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{N}}$, $j\in \mathbb{N}$ is equipotentially almost periodic as well as that the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is Doss-p-almost periodic in the following sense:

(d-M1)

For every $ϵ>0$, there exists $L>0$ such that every interval $I^{\prime }\subseteq [0,\infty )$ of length L contains a point $\tau \in I^{\prime }\cap \mathbb{N}$ which satisfies that (9) holds with the number $q_{\tau }$ replaced therein with the number $\tau .$

Before stating the next result, we would like to note that the class of Doss-p-almost periodic sequences has not been defined in the existing literature so far, even in the scalar-valued setting.

Theorem 9.

Suppose that (ed-M1) holds, the functions $\left(C^{-1}f\right)(·)$ and $f_A(·)$ satisfy all requirements of Lemma 1 with $n=1$, $u_0\in D\left(A\right)$ and $y_k\equiv y_k^0\in D\left(A\right)$ for all $k\in \mathbb{N}.$ Suppose, further, that $\left(y_k\right)$ and $\left(A{y}_k\right)$ are bounded sequences, $q\in P{C}_0([0,\infty ):X)$, the function $g:\mathbb{R}\to X$ is Doss-p-almost periodic and bounded as well as $\left(C^{-1}f\right)\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0.$ Then, there exist a bounded continuous Doss-p-almost periodic function $G_1:\mathbb{R}\to X,$ a bounded piecewise continuous Doss-p-almost periodic function $G_2:[0,\infty )\to X$ and a function $Q_1\in C_0([0,\infty ):X)$ such that the unique solution $u\left(t\right)$ of problem ${\left(ACP\right)}_{1;1}$ satisfies $u\left(t\right)=G_1\left(t\right)+G_2\left(t\right)+Q_1\left(t\right)$ for all $t\ge 0.$

Proof. 

We will only outline the main details of the proof (see also the proof of Theorem 8). In place of [7] (Theorem 2.11.4), we can use [7] (Theorem 2.13.10). If condition (ed-M1) holds in place of condition (ew-M1), then we can use the same arguments as in the proof of Theorem 8, with $x=0$ and $r=0.$ The remainder of the proof is the same. □

Remark 8.

Due to [7] (Proposition 2.13.6), we have that the function $Q_1(·)$ is also Doss-p-almost periodic.

The pioneering results about Besicovitch-p-almost periodic sequences have been given in [3,44]. The first systematic study of scalar-valued Besicovitch-p-almost periodic sequences has been carried out by A. Bellow and V. Losert in [14] (Section 3); cf. also Bergelson et al. [40]. In the following definition, we introduce the vector-valued version of [14] (Definition 3.2):

Definition 9.

Suppose that $1\le p<+\infty$ and ${\left(y_k\right)}_{k\in \mathbb{N}}$ is a sequence in X. Then, we say that ${\left(y_k\right)}_{k\in \mathbb{N}}$ is Besicovitch-p-almost periodic if and only if for every $ϵ>0$ there exists a trigonometric polynomial $P(·)$ such that

$$\underset{s\to +\infty }{lim\; sup}{\left[\frac{1}{s}\sum _{k=1}^s{∥y_k-P\left(k\right)∥}^p\right]}^{1/p}<ϵ.$$

It can be simply shown that any Besicovitch-p-almost periodic sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is Besicovitch-p-bounded, i.e.,

$$\underset{k\to +\infty }{lim\; sup}\frac{1}{k}\sum _{l=1}^k{∥y_l∥}^p<+\infty ;$$

see, e.g., the proof of [43] (Proposition 1(i)) for the continuous analogue of this statement. Therefore, the sequence ${\left(k^{\sigma }\right)}_{k\in \mathbb{N}}$ considered in Example 4(ii) is not Besicovitch-p-almost periodic since

$$\frac{1}{k}\sum _{l=1}^k{l}^{\sigma p}\sim {(1+\sigma p)}^{-1}{k}^{\sigma p}ask\to +\infty .$$

It is completely out of the scope of this paper to reconsider the statements established in [14] for the vector-valued Besicovitch-p-almost periodic sequences. Before proceeding further, we would like to address the following questions:

(Q1)

Is it possible to state a satisfactory analogue of Theorems 8 and 9 for Besicovitch-p-almost periodic solutions of problem ${\left(ACP\right)}_{1;1}$ ($1\le p<\infty$)?

(Q2)

Suppose that the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{N}}$, $j\in \mathbb{N}$ is equipotentially almost periodic as well as that the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is equi-Weyl-p-almost periodic ($1\le p<\infty$). Is it true that (ew-M1) holds true?

(Q3)

Suppose that the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ is (equi-)Weyl-p-almost periodic [Doss-p-almost periodic/Besicovitch-p-almost periodic] ($1\le p<\infty$). Is it true that there exists a unique (equi-)Weyl-p-almost periodic [Doss-p-almost periodic/Besicovitch-p-almost periodic] sequence ${\left(\widetilde{y_k}\right)}_{k\in \mathbb{Z}}$ (defined in the obvious way) such that $\widetilde{y_k}=y_k$ for all $k\in \mathbb{N}?$

(Q4)

Is it true that the sequence ${\left(y_k\right)}_{k\in \mathbb{Z}}$ [${\left(y_k\right)}_{k\in \mathbb{N}}$] is (equi-)Weyl-p-almost periodic [Doss-p-almost periodic/Besicovitch-p-almost periodic] ($1\le p<\infty$) if and only if there exists a continuous (equi-)Weyl-p-almost periodic [Doss-p-almost periodic/Besicovitch-p-almost periodic] function $f:\mathbb{R}\to X$ [$f:[0,\infty )\to X$] such that $y_k=f\left(k\right)$ for all $k\in \mathbb{Z}$ [$k\in \mathbb{N}$]?

In connection with the problem (Q2), see also [27] (Lemma 35) and observe that we cannot expect the affirmative answer in the case of consideration of Weyl-p-almost periodic sequences and Doss-p-almost periodic sequences; cf. [9] for more details. It can be very simply shown that the class of Doss-p-almost periodic sequences is the most general since it contains all Weyl-p-almost periodic sequences and all Besicovitch-p-almost periodic sequences; it is also worth noting that the class of equi-Weyl-p-almost periodic sequences is contained in the class of Besicovitch-p-almost periodic sequences, which is no longer true for the class of Weyl-p-almost periodic sequences. A simple example of a Besicovitch-p-almost periodic sequence which is not Weyl-p-almost periodic is given as follows: If $1\le p<+\infty$ and $k\in [m^2,m^2+\sqrt{m})$ for some integer $m\in \mathbb{N},$ then, we define $y_k:=m^{1/2p};$ then the sequence ${\left(y_k\right)}_{k\in \mathbb{N}}$ enjoys the abovementioned properties (see also [45] (Example 6.24), [46] (p. 42) and [43] (Example 4)). We will examine in more detail the classes of (equi-)Weyl-p-almost periodic sequences, Doss-p-almost periodic sequences and Besicovitch-p-almost periodic sequences somewhere else ($1\le p<\infty$).

4.4. Almost Periodic Type Solutions of the Abstract Higher-Order Impulsive Cauchy Problems

We will first explain how the results established in the previous three subsections can be used in the analysis of the existence and uniqueness of almost periodic type solutions for certain classes of the abstract higher-order impulsive (degenerate) Cauchy problems. Here, the idea is to convert these problems into the equivalent abstract impulsive (degenerate) Cauchy problems of first order on the product spaces.

Suppose, for example, that the operator A generates a strongly continuous semigroup on X as well as that B is a closed densely defined operator on X with $D\left(A\right)\subseteq D\left(B\right).$ Applying [47] (Theorem 3), we conclude that there exists a real number $\omega >0$ such that, for every $\lambda \in \mathbb{C}$ with $\Re \lambda >\omega ,$ the matricial operator

$$\mathrm{D}:=\left[\begin{array}{cc}A-\lambda & I\\ B& -\lambda \end{array}\right]$$

generates an exponentially decaying strongly continuous semigroup ${\left(T\left(t\right)\right)}_{t\ge 0}$ on $X\times X.$ Suppose, further, that $u_1\in D\left(A\right),$ $u_2\in X,$ and $t\mapsto f_{1,2}\left(t\right),$ $t\ge 0$ are continuously differentiable and asymptotically almost periodic. Using Lemma 1(ii) and a simple computation with the variation of parameters formula, we can reformulate all established conclusions from the previous three subsections of this paper in the analysis of the abstract impulsive Cauchy problem

$$\begin{array}{c}\hfill u^{″}\left(t\right)-(A-2\lambda )u^{\prime }\left(t\right)-[\lambda (A-\lambda )+B]u\left(t\right)=f_1^{\prime }\left(t\right)+\lambda f_1\left(t\right)+f_2\left(t\right),t\ge 0;\\ \hfill (\Delta u)\left(t_k\right)=y_0^k;(\Delta u^{\prime })\left(t_k\right)=y_1^k+(A-\lambda )y_0^k;\\ \hfill u\left(0\right)=u_1,u^{\prime }\left(0\right)=u_2+(A-\lambda )u_1+f_1\left(0\right).\end{array}$$

Without going into full details, we will only emphasize that the certain classes of the abstract degenerate second-order Cauchy problems with impulsive effects can also be analyzed in a similar manner by reduction to the abstract degenerate first-order Cauchy problems with impulsive effects on product spaces; see, e.g., [25] (Example 2.5(ii)), where we analyzed the well-posedness of the damped Poisson-wave type equations in $L^p$-spaces (it would be very tempting to apply the same method to the abstract higher-order Cauchy problems considered in [48]).

In the existing literature, the authors have found many interesting criteria ensuring that a strongly continuous operator family ${\left(R\left(t\right)\right)}_{t\ge 0}\subseteq L\left(X\right)$ is (asymptotically) almost periodic, i.e., the mapping $t\mapsto R\left(t\right)x,$ $t\ge 0$ is (asymptotically) almost periodic for every fixed element $x\in X;$ cf. [7] for more details. Such operator families can be important in the analysis of the existence and uniqueness of the almost periodic type solutions for certain classes of the abstract impulsive Volterra integro-differenital inclusions, as the following illustrative example indicates.

Example 5.

The existence and uniqueness of almost periodic solutions for a class of the complete second-order Cauchy problems have been considered by T.-J. Xiao and J. Liang [22] (Section 7.1.2) under the assumption that the corresponding problem is strongly well-posed. Specifically, the authors analyzed the abstract Cauchy problem

$$\begin{array}{c}\hfill u^{″}\left(t\right)+\left(a{A}_0+bI\right)u^{\prime }\left(t\right)+\left(c{A}_0+dI\right)u\left(t\right)=0,t\ge 0,\end{array}$$

where $a,b,c,d\in \mathbb{C}$ and the operator $A_0$ is a closed linear operator with domain and range contained in a Banach space $X.$ In the case that $X:=L^2[0,1]$ and $A_0$ is the Dirichlet Laplacian, the authors have shown that both propagator families, ${\left(S_0\left(t\right)\right)}_{t\ge 0}$ and ${\left(S_1\left(t\right)\right)}_{t\ge 0},$ are almost periodic. If so, then we can consider the piecewise continuous almost periodic solutions of the following abstract impulsive Cauchy problem

$${\left(ACP\right)}_2:\left\{\begin{array}{c}{u}^{″}\left(t\right)+\left(a{A}_0+bI\right)u^{\prime }\left(t\right)+\left(c{A}_0+dI\right)u\left(t\right)=0,\hfill \\ t\in [0,\infty )\setminus \{t_1,\dots ,t_l,\dots \},\hfill \\ \left(\Delta u^{\left(j\right)}\right)\left(t_k\right)=u^{\left(j\right)}\left(t_k+\right)-u^{\left(j\right)}\left(t_k-\right)=y_j^k,k\in \mathbb{N},j=0,1;\hfill \\ u^{\left(j\right)}\left(0\right)=u_j,j=0,1,\hfill \end{array}\right.$$

where $0<t_1<\dots <t_l<\dots <+\infty$ and the sequence ${\left(t_l\right)}_l$ has no accumulation point. Due to the consideration from [25], the function $u\left(t\right)=S_0\left(t\right)u_0+S_1\left(t\right)u_1+\omega \left(t\right),$ $t\ge 0,$ where $\omega \left(t\right):={\sum }_{j=0}^1[S_j(t-t_1)y_j^1+\dots +S_j(t-t_k)y_j^k]$ if $t\in (t_k,t_{k+1}]$ for some $k\in \mathbb{N},$ is a unique solution of ${\left(ACP\right)}_2.$ Arguing as in Example 6 below, we may conclude that the assumptions ${\sum }_{k\ge 1}\parallel y_0^k\parallel <+\infty$ and ${\sum }_{k\ge 1}\parallel y_1^k\parallel <+\infty$ imply that there exist an almost periodic function $f:[0,\infty )\to X$ and a function $q\in P{C}_0([0,\infty ):X)$ such that $u\left(t\right)=f\left(t\right)+q\left(t\right)$ for all $t\ge 0.$

5. Almost Periodic Type Solutions of the Abstract Volterra Integro-Differential Inclusions with Impulsive Effects

Let us consider the following abstract impulsive Volterra integro-differential inclusion:

$$\begin{array}{cc}\hfill \mathcal{B}u\left(t\right)\subseteq & \mathcal{A}{\int }_0^{t}a(t-s)u\left(s\right)ds+\mathcal{F}\left(t\right),t\in [0,T]\setminus \{t_1,\dots ,t_l\};\hfill \\ \hfill & (\Delta u)\left(t_m\right)=C{y}_m,m=1,\dots ,l,\hfill \end{array}$$

(10)

where $0\equiv t_0<t_1<\dots <t_l<T\equiv t_{l+1},$ where $0<T\le \infty$, $a\in L_{loc}^1\left([0,\tau )\right)$, $a\ne 0$, $\mathcal{F}:[0,\tau )\to P\left(E\right)$, and $\mathcal{A}:X\to P\left(E\right)$, $\mathcal{B}:X\to P\left(E\right)$ are two given mappings, as well as the well-posedness of the following abstract impulsive Volterra integro-differential inclusion:

$$\begin{array}{cc}\hfill \mathcal{B}u\left(t\right)\subseteq & \mathcal{A}{\int }_0^{t}a(t-s)u\left(s\right)ds+\mathcal{F}\left(t\right),t\in [0,\infty )\setminus \{t_1,\dots ,t_l,\dots \};\hfill \\ \hfill & (\Delta u)\left(t_l\right)=C{y}_l,l\ge 1,\hfill \end{array}$$

(11)

where $0\equiv t_0<t_1<\dots <t_l<t_{l+1}<\dots <+\infty ,$ the sequence ${\left(t_l\right)}_l$ has no accumulation point, $a\in L_{loc}^1\left([0,\infty )\right)$, $a\ne 0$, $\mathcal{F}:[0,\infty )\to P\left(E\right)$, and $\mathcal{A}:X\to P\left(E\right)$, $\mathcal{B}:X\to P\left(E\right)$ are two given mappings.

The notion of a (pre-)solution of (10) [(11)] and the notion of a strong solution of (10) [(11)] have recently been introduced in [25]. We recall the following result from the same paper:

Lemma 2.

(i)

Suppose that $a\left(t\right)$ and $k\left(t\right)$ are kernels, $k\left(0\right)=1$, $C_2\in L\left(X\right)$, and $\mathcal{A}$ is a closed subgenerator of a mild $(a,k)$-regularized $C_2$-uniqueness family ${\left(R_2\left(t\right)\right)}_{t\in [0,\tau )}\subseteq L\left(X\right)$, where $\tau >T.$ Define $\mathcal{F}\left(t\right):=0$ for $t\in [0,t_1]$ and $\mathcal{F}\left(t\right):={\sum }_{s=1}^{m}k(t-t_s)C_2{y}_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in {\mathbb{N}}_l.$ Define also $u\left(t\right):=0$ for $t\in [0,t_1]$ and $u\left(t\right):={\sum }_{s=1}^l{R}_2(t-t_s)y_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in {\mathbb{N}}_l.$ If $y_1,\dots ,y_l\in D\left(\mathcal{A}\right),$ then $u\left(t\right)$ is a unique strong solution of problem (10) on $[0,T]$.

(ii)

Suppose that $a\left(t\right)$ and $k\left(t\right)$ are kernels, $k\left(0\right)=1$, $C_1\in L(X,E)$, and $\mathcal{A}$ is a closed subgenerator of a mild $(a,k)$-regularized $C_1$-existence family ${\left(R_1\left(t\right)\right)}_{t\in [0,\tau )}\subseteq L(X,E)$, where $\tau >T.$ Define $\mathcal{F}\left(t\right)$ and $u\left(t\right)$ in the same way as above, with the operator $C_2$ replaced therein with the operator $C_1$ and the elements $y_1,\dots ,y_l\in X.$ Then, $u\left(t\right)$ is a solution of problem (10) on $[0,T]$.

In a global version of Lemma 2, which can be very simply formulated, we do not need the separation condition ${\delta }_0>0$ on the sequence $\left(t_k\right).$ For the sequel, we need to recall the following special consequences of [8] (Proposition 3.1.15(i)):

(i)

Suppose that $\alpha \in (0,1),$ $u_0\in D\left(\mathcal{A}\right)$ as well as $C^{-1}f,$ $f_{\mathcal{A}}\in C([0,\infty ):X),$ $f_{\mathcal{A}}\left(t\right)\in \mathcal{A}{C}^{-1}f\left(t\right),$ $t\ge 0$, and $\mathcal{A}$ is a closed subgenerator of a $(g_{\alpha },C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}.$ Then, the function $u\left(t\right):=R\left(t\right)x+(R\ast C^{-1}f)\left(t\right),$ $t\ge 0$ is a unique solution of the following abstract fractional Cauchy inclusion:

$$\left\{\begin{array}{c}u\in C^1((0,\infty ):X)\cap C([0,\infty ):X),\hfill \\ {\mathbf{D}}_t^{\alpha }u\left(t\right)\in \mathcal{A}u\left(t\right)+\left(g_{1-\alpha }\ast f\right)\left(t\right),t\ge 0,\hfill \\ u\left(0\right)=C{u}_0.\hfill \end{array}\right.$$

(ii)

Suppose that $\alpha \in (1,2),$ $u_0\in D\left(\mathcal{A}\right)$ as well as $C^{-1}f,$ $f_{\mathcal{A}}\in C([0,\infty ):X),$ $f_{\mathcal{A}}\left(t\right)\in \mathcal{A}{C}^{-1}f\left(t\right),$ $t\ge 0$, and $\mathcal{A}$ is a closed subgenerator of a $(g_{\alpha },C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}.$ Set $v\left(t\right):=(g_{2-\alpha }\ast f)\left(t\right),$ $t\ge 0.$ If $v\in C^1([0,\infty ):X)$, then the function $u\left(t\right):=R\left(t\right)x+(R\ast C^{-1}f)\left(t\right),$ $t\ge 0$ is a unique solution of the following abstract fractional Cauchy inclusion:

$$\left\{\begin{array}{c}u\in C^2((0,\infty ):X)\cap C^1([0,\infty ):X),\hfill \\ {\mathbf{D}}_t^{\alpha }u\left(t\right)\in \mathcal{A}u\left(t\right)+\frac{d}{dt}\left(g_{2-\alpha }\ast f\right)\left(t\right),t\ge 0,\hfill \\ u\left(0\right)=C{u}_0,u^{\prime }\left(0\right)=0.\hfill \end{array}\right.$$

Keeping in mind this result, Lemma 2 and the second equality in [49] (1.21), we have the following:

Theorem 10.

Suppose that $u_0\in D\left(\mathcal{A}\right),$ $C^{-1}f,$ $f_{\mathcal{A}}\in C([0,\infty ):X),$ $f_{\mathcal{A}}\left(t\right)\in \mathcal{A}{C}^{-1}f\left(t\right),$ $t\ge 0$, and $\mathcal{A}$ is a closed subgenerator of a global $(g_{\alpha },C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}\subseteq L\left(X\right).$ Define ${\mathcal{F}}_0\left(t\right):=0$ for $t\in [0,t_1]$ and ${\mathcal{F}}_0\left(t\right):={\sum }_{s=1}^{m}C{y}_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in \mathbb{N}.$ Define also $\omega \left(t\right):=0$ for $t\in [0,t_1]$ and $\omega \left(t\right):={\sum }_{s=1}^{l}R(t-t_s)y_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in \mathbb{N},$ and assume that $y_1,\dots ,y_l,\dots .\in D\left(\mathcal{A}\right).$

(i)

Suppose that $\alpha \in (0,1).$ Then, the function $u\left(t\right):=R\left(t\right)u_0+{\int }_0^{t}R(t-s)\left(C^{-1}f\right)\left(s\right)ds+\omega \left(t\right),$ $t\ge 0$ is piecewise continuous, and it is a unique strong solution of problem (10) on $[0,\infty )$ with $\mathcal{B}=\mathrm{I},$ $a\left(t\right)=g_{\alpha }\left(t\right)$ and $\mathcal{F}\left(t\right)=C{u}_0+{\int }_0^{t}f\left(s\right)ds+{\mathcal{F}}_0\left(t\right),$ $t\ge 0.$

(ii)

Suppose that $\alpha \in (1,2)$ and the mapping $t\mapsto (g_{2-\alpha }\ast f)\left(t\right),$ $t\ge 0$ is continuously differentiable. Then, the function $u\left(t\right):=R\left(t\right)u_0+{\int }_0^{t}R(t-s)\left(C^{-1}f\right)\left(s\right)ds+\omega \left(t\right),$ $t\ge 0$ is piecewise continuous, and it is a unique strong solution of problem (10) on $[0,\infty )$ with $\mathcal{B}=\mathrm{I},$ $a\left(t\right)=g_{\alpha }\left(t\right)$ and $\mathcal{F}\left(t\right)=C{u}_0+{\int }_0^{t}f\left(s\right)ds+{\mathcal{F}}_0\left(t\right),$ $t\ge 0.$

Concerning the existence and uniqueness of the asymptotically almost periodic type solutions of problem (10) on $[0,\infty )$ with $\mathcal{B}=\mathrm{I}$ and $\mathcal{F}\left(t\right)=C{u}_0+{\int }_0^{t}f\left(s\right)ds+{\mathcal{F}}_0\left(t\right),$ $t\ge 0,$ we will present the following extremely important situation in which all conclusions established in the previous section continue to hold.

Suppose that A is a densely defined, closed linear operator, $1<\alpha <2,$ $M>0$, $\omega <0,$ $\Omega \equiv {(\omega +\{\lambda \in \mathbb{C}\setminus \left\{0\right\}:arg(-\lambda )<\theta \})}^c\subseteq {\rho }_C\left(A\right)$ for some number $\theta \in [0,\pi (1-(\alpha /2)\left)\right),$ ${\parallel (\lambda -A)}^{-1}C\parallel \le M/|\lambda -\omega |,$ $\lambda \in \Omega$, and the mapping $\lambda \mapsto {(\lambda -A)}^{-1}C$ is analytic in an open neighborhood of the set $\Omega .$ Then, we know that the operator A is a subgenerator of a global $(g_{\alpha },C)$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}$ satisfying that there exists $M^{\prime }>0$ such that $\parallel R\left(t\right)\parallel \le M^{\prime }/(1+|\omega |t^{\alpha }),$ $t\ge 0;$ see, e.g., the proof of E. Cuesta’s result [15] (Theorem 1) and [7] (Section 3.4) for many important generalizations of this result.

Suppose now that all requirements of Theorem 10 hold, the sequence $\left(t_k\right)$ has no accumulation point (the separation condition ${\delta }_0>0$ is complete regardless here) and ${\sum }_{k\ge 1}(t_k^{\alpha }+1)\parallel y_k\parallel <+\infty .$ Then, the function $\omega (·)$ defined in the proof of Theorem 10(ii) belongs to the space $P{C}_{\alpha ;1}([0,\infty ):X)\equiv \{f\in PC([0,\infty ):X);{·}^{\alpha }\parallel f(·)\parallel \in L^{\infty }([0,\infty ):X)\}$ since for each $k\in \mathbb{N}$ and $t\in (t_k,t_{k+1}]$ we have

$$\begin{array}{cc}\hfill \parallel & t^{\alpha }\omega \left(t\right)\parallel \le M^{\prime }\sum _{l=1}^k\left[\frac{t^{\alpha }}{1+\left|\omega \right|{(t-t_l)}^{\alpha }}\parallel y_l\parallel \right]\le M^{\prime }{2}^{\alpha -1}\sum _{l=1}^k\left[\frac{{(t-t_l)}^{\alpha }+t_l^{\alpha }}{1+\left|\omega \right|{(t-t_l)}^{\alpha }}\parallel y_l\parallel \right]\hfill \\ \hfill & \le M^{\prime }{2}^{\alpha -1}\sum _{l=1}^k\left[\left((1/|\omega \left|\right)+t_l^{\alpha }\right)\parallel y_l\parallel \right]\le M^{\prime }{2}^{\alpha -1}\sum _{l=1}^{\infty }\left[\left((1/|\omega \left|\right)+t_l^{\alpha }\right)\parallel y_l\parallel \right].\hfill \end{array}$$

(12)

Concerning the function $C^{-1}f(·)$, we can assume that there exists a bounded Stepanov-p-almost periodic function $g:\mathbb{R}\to X$ and a function $q\in P{C}_0([0,\infty ):X),$ for some $p\in [1,\infty ),$ such that $C^{-1}f\left(t\right)=g\left(t\right)+q\left(t\right)$ for all $t\ge 0.$ Then, the function $t\mapsto u\left(t\right)-\omega \left(t\right),$ $t\ge 0$ will be asymptotically almost periodic in the usual sense; see, e.g., [7] (Proposition 2.6.11, Remark 2.6.12, Proposition 2.6.13). Observe also that the obtained conclusion on the existence and uniqueness of asymptotically almost periodic solutions cannot be established in the case that $0<\alpha <1$ since, in this case, the resolvent ${\left(R\left(t\right)\right)}_{t>0}$ is not uniformly integrable; for example, in Figure 2 we have constructed the graph of the $(g_{1/3},\mathrm{I})$-regularized resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}\equiv {\left(E_{1/3}(-2t^{1/3})\right)}_{t\ge 0}$ which satisfies an estimate of the type $\parallel R\left(t\right)\parallel \sim c{t}^{-(1/3)},$ $t\to +\infty$; of course, here we have $\mathcal{A}=A=-2\mathrm{I}$ and $X=\mathbb{C}.$

Figure 2. Graph of $E_{1/3}(-2t^{1/3})$, where $E_{1/3}(·)\equiv E_{1/3,1}(·)$ is the Mittag–Leffler function.

All other results established in the previous section continue to hold, as marked above. After a careful inspection of the proofs of [32] (Lemma 3.6, Theorem 3.7), it suffices to observe that the uniform convergence in the corresponding part of the proof of [32] (Theorem 3.7; cf. (3.36), p. 14) is a consequence of the following simple computation, where we assume that the sequence $\left(y_k\right)$ is bounded:

$$\begin{array}{cc}\hfill & ∥R(t_{i-k}-t)y_{i-k}∥\le N\underset{i\in \mathbb{N}}{sup}\frac{1}{1+\left|\omega \right|{(t-t_{i-k})}^{\alpha }}\hfill \\ & \le N\underset{i\in \mathbb{N}}{sup}\frac{1}{1+\left|\omega \right|{(t-t_i)}^{\alpha }+\left|\omega \right|{(t_i-t_{i-k})}^{\alpha }}\le N\frac{1}{1+\left|\omega \right|{\left(k{\delta }_0\right)}^{\alpha }},\hfill \end{array}$$

for some finite real constant $N>0.$ In conclusion, we have the following: if ${\left(y_k\right)}_{k\in \mathbb{N}}$ is an almost periodic sequence, the separation condition ${\delta }_0>0$ holds, and the family of sequences ${\left(t_k^j\right)}_{k\in \mathbb{N}}$, $j\in \mathbb{N}$ is equipotentially almost periodic. Then, the function $\omega (·)$ is piecewise continuous almost periodic.

It should be noted that the obtained results can be applied to the abstract (non-coercive) differential operators in $L^p$-spaces; cf. [50] (Section 2.5) for further information in this direction.

Remark 9.

Consider now the situation in which $\gamma \in (0,1),$ $u_0\in D\left(\mathcal{A}\right)$, and $\mathcal{A}$ satisfies condition (P) analyzed in [51] and [7] (Subsection 2.9.1). If we consider the subordinated resolvent families ${\left(S_{\gamma }\left(t\right)\right)}_{t>0}$ and ${\left(R_{\gamma }\left(t\right)\right)}_{t>0}$ from [7], then the function $u_h\left(t\right):=S_{\gamma }\left(t\right)x+(R_{\gamma }\ast f)\left(t\right),$ $t\ge 0$ is a unique solution of the following abstract fractional Cauchy inclusion (under certain reasonable assumptions):

$$\left\{\begin{array}{c}{\mathbf{D}}_t^{\alpha }{u}_h\left(t\right)\in \mathcal{A}{u}_h\left(t\right)+f\left(t\right),t>0,\hfill \\ u_h\left(0\right)=u_0.\hfill \end{array}\right.$$

Keeping in mind the second equality in [49] (1.21) and the initial condition $u\left(0\right)=u_0,$ we simply conclude that the function $u_h(·)$ is a unique strong solution of the associated Volterra inclusion

$$u_h\left(t\right)\in u_0+\left(g_{\alpha }\ast f\right)\left(t\right)+\mathcal{A}\left(g_{\alpha }\ast u_h\right)\left(t\right),t\ge 0.$$

Suppose now that ${\mathcal{F}}_0\left(t\right):=0$ for $t\in [0,t_1]$ and ${\mathcal{F}}_0\left(t\right):={\sum }_{s=1}^m{y}_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in \mathbb{N},$ as well as that $y_1,\dots ,y_l,\dots .\in D\left(\mathcal{A}\right).$ Define $\omega \left(t\right):=0$ for $t\in [0,t_1]$ and $\omega \left(t\right):={\sum }_{s=1}^l{S}_{\gamma }(t-t_s)y_s$ if $t\in (t_m,t_{m+1}]$ for some integer $m\in \mathbb{N},$ and assume that there exist vectors $z_1,\dots ,z_l,\dots .$ from the continuity set of the resolvent operator family ${\left(S_{\gamma }\left(t\right)\right)}_{t>0}$ such that $z_l\in \mathcal{A}{y}_l$ for all $l\in \mathbb{N};$ cf. also [25] (Example 2.5(i)). Then, the function $\omega \left(t\right)$ is a unique strong solution of the abstract impulsive Volterra inclusion

$$\omega \left(t\right)\in {\mathcal{F}}_0\left(t\right)+\mathcal{A}\left(g_{\alpha }\ast \omega \right)\left(t\right),t\in [0,\infty )\setminus \{t_1,t_2,\dots ,t_l,\dots \}.$$

Therefore, the function $u\left(t\right):=u_h\left(t\right)+\omega \left(t\right),$ $t\ge 0$ is a unique strong solution of the abstract impulsive Volterra inclusion

$$\begin{array}{c}\hfill u\left(t\right)\in u_0+\left(g_{\alpha }\ast f\right)\left(t\right)+{\mathcal{F}}_0\left(t\right)+\mathcal{A}\left(g_{\alpha }\ast u\right)\left(t\right),t\in [0,\infty )\setminus \{t_1,t_2,\dots ,t_l,\dots \}.\end{array}$$

(13)

Concerning the existence and uniqueness of asymptotically almost periodic solutions of (13), the situation is far from being simple because the operator family ${\left(S_{\gamma }\left(t\right)\right)}_{t>0}$ has an integrable singularity at zero: we must impose certain extra assumptions in order for the proofs to work. This can be simply completed for the analogues of the equations [32] ((3.27)–(3.28)) but, unfortunately, this is almost impossible to be completed for the equation [32] (3.36) since the series ${\sum }_{k\ge 1}{\left(k{\delta }_0\right)}^{-\gamma }$ diverges. Even the computation carried out in (12) cannot be so simply reconsidered in a newly arisen situation.

We continue by providing the following instructive example:

Example 6.

Let $\alpha \in (0,2)$ and $\theta =\pi -\pi \alpha /2,$ and let us consider the following fractional Cauchy problem

$${\mathbf{D}}_t^{\alpha }u(t,x)=e^{i\theta }{u}_{xx}(t,x),0<x<1,t\ge 0;$$

cf. also [49] (Example 2.20). Suppose that $X:=L^2[0,1]$ and $A:=e^{i\theta }\Delta ,$ where Δ denotes the Laplacian equipped with the Dirichlet boundary conditions. Then, we known that A is the integral generator of an asymptotically almost periodic $(g_{\alpha },\mathrm{I})$-resolvent family ${\left(R\left(t\right)\right)}_{t\ge 0}$ as well as that ${\left(R\left(t\right)\right)}_{t\ge 0}$ is not almost periodic if $\alpha \ne 1;$ cf. [7] (Example 2.6.4).

Suppose now that $u_0,y_1,y_2,\dots ,y_l,\dots \in D\left(A\right)$ and ${\sum }_{k\ge 1}\parallel y_k\parallel <+\infty .$ Define the function $\omega (·)$ as in the formulation of Lemma 2(i), with $k\left(t\right)\equiv 1$ and $C_2=\mathrm{I}.$ Then, it can be simply shown that the function $u\left(t\right):=R\left(t\right)u_0+\omega \left(t\right),$ $t\ge 0$ is a unique strong solution of the abstract Volterra Equation (10) with $\mathcal{B}=C=\mathrm{I},$ $\mathcal{A}=A,$ $a\left(t\right)\equiv g_{\alpha }\left(t\right)$ and $\mathcal{F}\left(t\right)\equiv u_0+{\mathcal{F}}_0\left(t\right),$ where ${\mathcal{F}}_0\left(t\right)=y_1+\dots +y_k$ if $t_k<t\le t_{k+1}$ for some $k\in {\mathbb{N}}_0.$ By the assumption and the already mentioned result about the extension of almost periodic functions [37], we know that for each $k\in \mathbb{N}$ there exist an almost periodic function $R_{ap}^k:\mathbb{R}\to X$ and a function $Q\in C_0([0,\infty ):X)$ such that $R(t-t_k)y_k=R_{ap}^k(t-t_k)+Q(t-t_k)$ for all $t\ge t_k.$ Define $F_k:[0,\infty )\to X$ and $Q_k:[0,\infty )\to X$ by $F_k\left(t\right):=R_{ap}^k(t-t_k),$ $t\ge 0$, $Q_k\left(t\right):=-R_{ap}^k(t-t_k)$ for $t\in [0,t_k]$ and $Q_k\left(t\right):=Q(t-t_k)$ for $t>t_k.$ It can be simply shown that $F_k(·)$ is almost periodic, $Q_k\in P{C}_0([0,\infty ):X),$ $\parallel F_k{(·)\parallel }_{\infty }\le {\parallel R(·)\parallel }_{\infty }·\parallel y_k\parallel$, $\parallel Q_k{(·)\parallel }_{\infty }\le {3\parallel R(·)\parallel }_{\infty }·\parallel y_k\parallel$ as well as that ${\chi }_{[0,t_k]}\left(t\right)R(t-t_k)y_k=F_k\left(t\right)+Q_k\left(t\right)$ for all $t\ge 0$ and $k\in \mathbb{N};$ cf. also [4] (Lemma 4.28, Theorem 4.29). Since we have assumed that ${\sum }_{k\ge 1}\parallel y_k\parallel <+\infty ,$ the Weierstrass criterion implies that the series ${\sum }_{k\ge 1}{F}_k\left(t\right)=:F\left(t\right)$, $t\ge 0$ and ${\sum }_{k\ge 1}{Q}_k\left(t\right)=:Q\left(t\right)$, $t\ge 0$ are uniformly convergent. Since $P{C}_0([0,\infty ):X)$ is a Banach space, it readily follows that $Q\in P{C}_0([0,\infty ):X);$ on the other hand, it is clear that the function $F(·)$ is almost periodic. Hence, the solution $u\left(t\right)$ is piecewise continuous asymptotically almost periodic since $u\left(t\right)=F\left(t\right)+Q\left(t\right)$ for all $t\ge 0.$

In [25], we have also considered the following Volterra integro-differential equation:

$$\begin{array}{cc}\hfill Bu\left(t\right)& =f\left(t\right)+{\int }_0^{t}a(t-s)Au\left(s\right)ds,t\in [0,\infty )\setminus \{t_1,\dots ,t_l,\dots \};\hfill \\ \hfill & B(\Delta u)\left(t_m\right)=CB{y}_m,m=1,\dots ,l,\dots ,\hfill \end{array}$$

(14)

where $t\mapsto f\left(t\right)$, $t\ge 0$ is a Lebesgue measurable mapping with values in X, $a\in L_{loc}^1\left([0,\infty )\right)$, and A, B are closed linear operators with domain and range contained in X. The class of exponentially bounded $(a,k)$-regularized C-resolvent family for (14) has recently been introduced in [8] (Definition 2.2.2); cf. also [25] (Definition 4.4). We close this section with the observation that we can similarly analyze, with the help of [25] (Theorem 4.6) and the foregoing arguments, the existence and uniqueness of asymptotically almost periodic type solutions of problem (14). Details can be left to the interested readers.

6. Conclusions and Final Remarks

In this research article, we have introduced and systematically analyzed several new classes of piecewise continuous almost periodic type functions with values in complex Banach spaces. The existence and uniqueness of almost periodic type solutions for certain classes of the abstract impulsive Volterra integro-differential inclusions have been considered. In addition to the above, we have proposed many useful observations, illustrative examples and open problems.

We close the paper by emphasizing a few important topics not considered in the previous work:

• As clearly marked in the final section of [35], the Levitan and Bebutov classes of almost periodic type functions can be further generalized using the approaches of Stepanov, Weyl and Besicovitch. The notion of a Stepanov 1-Levitan N-almost periodic function $f:\mathbb{R}\to X$ has already been introduced in [27] (Definition 12, p. 402), and the analogues of [27] (Lemmas 58 and 59) for Stepanov 1-Levitan N-almost periodic functions have been clarified in [27] (Lemma 60). We will only note here that we can similarly define the notion of a Stepanov p-Levitan N-almost periodic function $f:I\to X,$ where $1\le p<+\infty .$ and prove an analogue of Theorem 1 for Stepanov p-Levitan N-almost periodic functions. Details can be left to the interested readers.
• The notion of a Bochner spatially almost automorphic sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ has recently been introduced by L. Qi and R. Yuan in [52] (Definition 3.1). Any Wekler sequence ${\left(t_k\right)}_{k\in \mathbb{Z}}$ is Bochner spatially almost automorphic, while the converse statement is not true in general. The authors have generalized the notion of piecewise continuous almost periodicity by introducing and examining the classes of Bohr, Bochner and Levitan piecewise continuous almost automorphic functions; in [52] (Theorem 4.8), the authors have proved that these classes coincide. We will consider piecewise continuous almost automorphic type functions and piecewise continuous almost automorphic solutions to the abstract impulsive Volterra integro-differenital equations somewhere else (cf. also the research article [16] by W. Dimbour and V. Valmorin for the notion of S-almost automorphy).
• The following notion is also meaningful (cf. Example 1): A function $F:I\times X\to E$ is said to be semi-$(\mathcal{B},\omega ,c,\left(t_k\right))$-piecewise continuous periodic if and only if there exists a sequence $F_k:I\times X\to E$ in $PP{C}_{\omega ,c;\left(t_k\right)}(I:X)$ which converges uniformly to the function $F(·;·)$ on $I\times B$ for each set $B\in \mathcal{B}.$ The function $F:I\times X\to E$ is said to be semi-$(\mathcal{B},\omega ,c)$-piecewise continuous periodic if and only if $F(·;·)$ is semi-$(\mathcal{B},\omega ,c,\left(t_k\right))$-piecewise continuous periodic for some sequence $\left(t_k\right)$ constructed in the same way as in Example 1; finally, we say that the function $F:I\times X\to E$ is semi-$(\mathcal{B},c)$-piecewise continuous periodic if and only if $F(·;·)$ is semi-$(\mathcal{B},\omega ,c)$-piecewise continuous periodic for some number $\omega >0.$

Besides the class of semi-$(\mathcal{B},\omega ,c)$-piecewise continuous periodic functions, we can also analyze many other classes of piecewise continuous almost periodic type functions such as $(S,\mathcal{B})$-asymptotically $(\omega ,\rho )$-periodic functions, quasi-asymptotically $(\mathcal{B},\rho )$-almost periodic (uniformly recurrent) functions, $(\mathcal{B},\rho )$-slowly oscillating functions and remotely $(\mathcal{B},\rho )$-almost periodic (uniformly recurrent) functions; cf. [10] (Section 2.4) for more details about these classes of functions with $\mathbb{D}=\mathbb{R}$ or $\mathbb{D}=[0,\infty ).$ Details and results will be given somewhere else.

Let us finally note that some numerical results about impulsive integro-differential equations are given in [53,54,55]; cf. also the references quoted therein.