Skip to main content

Theory and Modern Applications

Weighted pseudo almost periodic solutions to a class of semilinear integro-differential equations in Banach spaces

Abstract

In this paper we prove the existence of weighted pseudo almost periodic mild solutions for the class of integro-differential equations in the form \(u'(t)=Au(t)+\alpha\int_{-\infty}^{t}e^{-\beta(t-s)}Au(s) \,ds+f(t,u(t)) \) where \(f(\cdot,u(\cdot))\) is a Stepanov-like weighted pseudo almost periodic function and A generates an immediately norm continuous \(C_{0}\)-semigroup on a Banach space X. Also, we give a short proof to show that the vector-valued space of Stepanov-like weighted pseudo almost periodic functions is a Banach space.

1 Introduction

Our concern in this paper is the equation

$$ L(u)=f, $$
(1.1)

where L is a linear, possibly unbounded operator, and the forcing term f belongs to some space of vector-valued functions, say . It is well known that mathematical understanding of the linear equation (1.1) is important as a preliminary critical step for the subsequent analysis of full nonlinear models. Usually, one is interested in finding conditions on the operator L such that the solution u belongs to the same space of vector-valued functions than f. Then fixed point arguments are used to obtain the desired solution of associated nonlinear problems.

We ask the following question: (Q) Can the solution u be more regular that f? In other words, is it possible to find a subspace \(\mathcal {N} \subset\mathcal{M}\) such that \(u \in \mathcal{N}\)?

This problem began to be studied recently and there are some cases in the literature where the answer is positive. For example, in [1], Diagana et al. solved problem (Q) taking as the space of Stepanov-like weighted pseudo almost automorphic functions, \(L(u):=D_{t}^{\alpha}u-Au\) and \(\mathcal{N}\) as the subspace of weighted pseudo almost automorphic functions. Here A is a closed and linear operator defined on a Banach space X and \(D^{\alpha}\) denotes fractional derivative of order \(\alpha>0\).

In this paper, we are able to give an affirmative answer to (Q) taking as the space of Stepanov-like weighted pseudo almost periodic functions; \(\mathcal{N}\) is the space of weighted pseudo almost periodic functions and the class of operators is defined by

$$ L(u) (t)= u'(t)-Au(t)-\alpha\int_{-\infty}^{t}e^{-\beta(t-s)}Au(s) \,ds, $$
(1.2)

where A generates an immediately continuous \(C_{0}\)-semigroup on a Banach space X. Then an application to find existence and uniqueness of mild solutions for the corresponding semilinear problem is given. The class of operators (1.2) has been studied by Ponce and the second author of this paper, in [2]. This class arises in several applied fields, like viscoelasticity or heat conduction with memory, and in such applications the operator A typically is the Laplacian, the elasticity operator or the Stokes operator, among others, equipped with suitable boundary conditions. The exponential kernel \(\alpha e^{-\beta t}\) is the typical choice when one consider Maxwell materials in viscoelasticity theory [3]. The authors in [2] have solved the problem of maximal regularity in several spaces of functions, i.e. starting with \(f\in\mathcal{M}\) and proving that the mild solution u belongs to . We remark that continuity fails in the case of Stepanov type functions and only measurability and integrability are required to work with this class of functions. Hence, it justifies thinking of the previous problem in the context mentioned above. To the best of our knowledge, the existence of weighted pseudo almost periodic solutions to (1.2) in the case when the forcing term f is a Stepanov-like weighted pseudo almost periodic is an untreated original problem, which constitutes one of the main motivations of this work.

Weighted pseudo almost periodic solutions to classes of evolution equations have been studied since the original paper of Diagana [4] in 2006. We mention here the study of functional difference equations [5], partial neutral functional differential equations [68], non-autonomous differential equations [9], neutral delay equations of advanced type [10], hyperbolic evolution equations [11], partial functional differential equations [12], semilinear evolution equations [13, 14], semilinear fractional differential and integro-differential equations [15, 16], positive solutions to infinite delay integral equations [17], and second order differential equations with piecewise constant argument [18, 19]. Recently, an interesting application to a class of discrete hematopoiesis models has been given in [20].

This paper is organized as follows. In Section 2, we first present some definitions and basic results of Stepanov-like type spaces and then we give a short and direct proof to the fact that the space of Stepanov-like weighted pseudo almost periodic functions (respectively Stepanov-like weighted almost automorphic functions) is a Banach space. In Section 3, we give sufficient conditions in order to have better regularity of Stepanov-like weighted pseudo almost periodic functions under a finite convolution with an appropriate family of bounded of linear operators defined on a Banach space X; see Theorem 3.3. In Section 4 we treat a semilinear problem, i.e. \(f=f(t,u)\). We prove that if f is Lipschitz in the second variable and Stepanov-like weighted pseudo almost periodic in the first variable, then there exists a unique mild solution in the vector-valued space of weighted pseudo almost periodic functions. See Theorem 4.7. Then, in order to have a weaker hypothesis on f, we prove a result of regularity for the composition of the Nemytskii operator with a Stepanov-like weighted pseudo almost periodic function, assuming a compactness condition. See Theorem 4.9. After that, we show Theorem 4.10, which gives sharper conditions for answering (Q). Finally, in Section 5, we present an application that illustrates the feasibility of the given hypothesis in the abstract results.

2 Preliminaries

In this section, we introduce some basic definitions, notations, and preliminary facts which will be used in the sequel. Particularly, we give an alternative proof to show that the space of Stepanov-like weighted pseudo almost periodic functions is a Banach space.

Throughout the paper \((X,\|\cdot\|_{X})\) and \((Y,\|\cdot\|_{Y})\) are complex Banach spaces and \(B(X,Y)\) is the Banach space of bounded linear operators from X to Y; when \(X=Y\) we write \(B(X)\).

We denote by

$$BC(\mathbb{R},X):= \Bigl\{ f: \mathbb{R} \to X : f \mbox{ is continuous},\|f \|_{\infty}:= \sup_{t\in\mathbb{R}} \bigl\Vert f(t)\bigr\Vert < \infty \Bigr\} , $$

the Banach space of X-valued bounded and continuous functions on , with natural norm.

We recall the definitions of almost periodic and almost automorphic functions.

Definition 2.1

([21])

A function \(f\in C(\mathbb{R},X)\) is called (Bohr) almost periodic if for each \(\epsilon>0\) there exists \(l=l(\epsilon)>0\) such that every interval of length l contains a number τ with the property that

$$ \bigl\Vert f(t+\tau)-f(t)\bigr\Vert < \epsilon \quad (t\in\mathbb{R}). $$

The collection of all such functions will be denoted by \(AP(\mathbb{R},X)\).

This definition is equivalent to the so-called Bochner criterion, namely, \(f\in AP(\mathbb{R},X)\) if and only if for every sequence of reals \((s_{n}')\) there exists a subsequence \((s_{n})\) such that \((f(\cdot+ s_{n}))\) is uniformly convergent on .

Definition 2.2

([21])

A function \(f\in C(\mathbb{R}\times Y,X)\) is called (Bohr) almost periodic in \(t\in\mathbb{R}\) uniformly in \(y\in K\) where \(K\subset Y\) is any compact subset if for each \(\epsilon>0\) there exists \(l=l(\epsilon)>0\) such that every interval of length l contains a number τ with the property that

$$ \bigl\Vert f(t+\tau,y)-f(t,y)\bigr\Vert < \epsilon\quad (t\in\mathbb{R}, y\in K). $$

The collection of such functions will be denoted by \(AP(\mathbb {R}\times Y,X)\).

Definition 2.3

([22])

A function \(f\in C(\mathbb{R},X)\) is called almost automorphic in \(t\in \mathbb{R}\) if for each sequence \((s'_{n})\) there exists a subsequence \((s_{n})\subset(s'_{n})\) such that

$$ \lim_{n \to \infty} f(t + s_{n})=: \overline{f}(t) \quad \mbox{and}\quad \lim_{n \to \infty} \overline{f}(t - s_{n})= f(t) \quad \forall t \in\mathbb{R}. $$

The collection of such functions will be denoted by \(AA(\mathbb{R},X)\).

Definition 2.4

([22])

A function \(f\in C(\mathbb{R}\times X,X)\) is called almost automorphic if \(f(t,u)\) is almost automorphic for each \(t\in\mathbb{R}\) and for all \(u\in B\), where B is any bounded set of X. The collection of such functions will be denoted by \(AA(\mathbb {R}\times X,X)\).

Let U denote the set of all functions \(\rho:\mathbb{R}\rightarrow (0,\infty)\) in \(L^{1}_{\mathrm{loc}}(\mathbb{R})\) such that \(\rho(t)>0\) for all \(t\in\mathbb{R}\) a.e. For a given \(r>0\) and for each \(\rho\in U\), we set

$$ m(r,\rho):=\int_{-r}^{r}\rho(t) \,dt. $$

Thus the space of weights \(U_{\infty}\) is defined by

$$ U_{\infty}:=\Bigl\{ \rho\in U:\lim_{r\rightarrow\infty} m(r,\rho)=\infty \Bigr\} . $$

Now, for \(\rho\in U_{\infty}\), we define

$$\begin{aligned}& PAA_{0}(\mathbb{R},X): =\biggl\{ f\in BC(\mathbb{R},X):\lim _{r\rightarrow\infty} \frac{1}{m(r,\rho)} \int_{-r}^{r} \bigl\Vert f(t)\bigr\Vert \rho(t) \,dt=0\biggr\} ; \\& PAA_{0}(\mathbb{R}\times Y,X): =\biggl\{ f\in BC(\mathbb{R}\times Y,X): f(\cdot,y) \mbox{ is bounded for each }y\in Y \\& \hphantom{PAA_{0}(\mathbb{R}\times Y,X):={}}\mbox{and } \lim_{r\rightarrow\infty} \frac{1}{m(r,\rho)} \int _{-r}^{r}\bigl\| f(t)\bigr\| \rho(t) \,dt=0, \mbox{uniformly in }y\in Y\biggr\} . \end{aligned}$$

Definition 2.5

([4])

Let \(\rho\in U_{\infty}\). A function \(f\in BC(\mathbb{R},X)\) (respectively \(f\in BC(\mathbb{R}\times Y,X)\)) is called weighted pseudo almost periodic if it can be expressed as \(f=g+h\) where \(g\in AP(\mathbb {R},X)\) (respectively \(AA(\mathbb{R}\times Y,X)\)) and \(h\in PAA_{0}(\mathbb{R},X)\) (respectively \(PAA_{0}(\mathbb{R}\times Y,X)\)). We denote by \(WPAP(\mathbb{R},X)\) (respectively \(WPAP(\mathbb{R}\times Y,X)\)) the set of all such functions.

Definition 2.6

([23])

Let \(\rho\in U_{\infty}\). A function \(f\in BC(\mathbb{R},X)\) (respectively \(f\in BC(\mathbb{R}\times Y,X)\)) is called weighted pseudo almost automorphic if it can be expressed as \(f=g+h\) where \(g\in AA(\mathbb{R},X)\) (respectively \(AA(\mathbb{R}\times Y,X)\)) and \(h\in PAA_{0}(\mathbb{R},X)\) (respectively \(PAA_{0}(\mathbb{R}\times Y,X)\)). We denote by \(WPAA(\mathbb{R},X)\) (respectively \(WPAA(\mathbb{R}\times Y,X)\)) the set of all such functions.

Definition 2.7

([1])

The Bochner transform \(f^{b}(t,s)\) with \(t\in\mathbb{R}\), \(s\in[0,1]\) of a function \(f:\mathbb{R}\rightarrow X\) is defined by

$$ f^{b}(t,s):=f(t+s). $$

Definition 2.8

([1])

The Bochner transform \(f^{b}(t,s,u)\) with \(t\in\mathbb{R}\), \(s\in[0,1]\), \(u\in X\) of a function \(f:\mathbb{R}\times X\rightarrow X\) is defined by

$$ f^{b}(t,s,u):=f(t+s,u)\quad \mbox{for all } u\in X. $$

Definition 2.9

([1])

Let \(p\in[1,\infty)\). The space \(BS^{p}(\mathbb{R},X)\) of all Stepanov bounded functions, with exponent p, consists of all measurable functions \(f:\mathbb{R}\rightarrow X\) such that \(f^{b}\in L^{\infty}(\mathbb{R},L^{p}(0,1;X))\). This is a Banach space with the norm

$$ \|f\|_{S^{p}}:=\bigl\Vert f^{b}\bigr\Vert _{L^{\infty}(\mathbb{R},L^{p})} = \sup_{t\in\mathbb{R}} \biggl(\int_{t}^{t+1} \bigl\Vert f(\tau)\bigr\Vert ^{p} \,d\tau \biggr)^{\frac{1}{p}}. $$

Definition 2.10

([24])

A function \(f\in BS^{p}(\mathbb{R},X)\) is called Stepanov almost periodic if \(f^{b}\in AP(\mathbb{R},L^{p}(0,1;X))\). We denote the set of all functions by \(APS^{p}(\mathbb{R},X)\).

Definition 2.11

([24])

A function \(f:\mathbb{R}\times X\to Y\) with \(f(\cdot,u)\in BS^{p}(\mathbb{R},Y)\), for each \(u\in X\), is called Stepanov almost periodic function in \(t\in \mathbb{R}\) uniformly for \(u\in X\) if, for each \(\epsilon>0\) and each compact set \(K\subset X\) there exists a relatively dense set \(P=P(\epsilon,f,K)\subset\mathbb {R}\) such that

$$ \sup_{t\in\mathbb{R}} \biggl(\int_{0}^{1} \bigl\Vert f(t+s+\tau,u)-f(t+s,u)\bigr\Vert \,ds \biggr)^{1/p}< \epsilon $$

for each \(\tau\in P\) and each \(u\in K\). We denote by \(APS^{p}(\mathbb {R}\times X,Y)\) the set of such functions.

Definition 2.12

([25, 26])

The space \(AAS^{p}(\mathbb{R},X)\) of Stepanov-like automorphic (or \(S^{p}\)-almost automorphic) functions consists of all \(f\in BS^{p}(\mathbb{R},X)\) such that \(f^{b}\in AA(\mathbb{R},L^{p}(0, 1;X))\).

Definition 2.13

([25, 26])

A function \(f:\mathbb{R}\times Y\rightarrow X\) given by \((t,u)\mapsto f(t,u)\) with \(f(\cdot,u)\in L_{\mathrm{loc}}^{p}(\mathbb{R,X})\) for each \(u\in Y\), is said to be \(S^{p}\)-almost automorphic in \(t\in\mathbb{R}\) uniformly in \(u\in Y\) if \(t\mapsto f(t,u)\) is \(S^{p}\)-almost automorphic for each \(u\in Y\). This means that for every sequence of real numbers \((s_{n}')_{n\in\mathbb{N}}\) there exist a subsequence \((s_{n})_{n\in\mathbb {N}}\) and a function \(g(\cdot,u)\in L_{\mathrm{loc}}^{p}(\mathbb{R,X})\) such that

$$ \lim_{n\rightarrow\infty} \biggl(\int_{t}^{t+1} \bigl\Vert f(s+s_{n},u)-g(s,u)\bigr\Vert ^{p} \,ds \biggr)^{1/p}=0 $$

and

$$ \lim_{n\rightarrow\infty} \biggl(\int_{t}^{t+1} \bigl\Vert g(s-s_{n},u)-f(s,u)\bigr\Vert ^{p} \,ds \biggr)^{1/p}=0 $$

pointwise on and for each \(u\in Y\). We denote by \(AAS^{p}(\mathbb{R}\times Y, X)\) the set of all such functions.

Definition 2.14

([1])

Let \(\rho\in U_{\infty}\). A function \(f\in BS^{p}(\mathbb{R},X)\) is called Stepanov-like weighted pseudo almost periodic if it can expressed as \(f=h+\varphi\) where \(h^{b}\in AP(\mathbb{R},L^{p}(0, 1;X))\) and \(\varphi^{b}\in PAA_{0}(\mathbb{R},L^{p}(0,1;X))\). We denote the set of all functions by \(WPAPS^{p}(\mathbb{R},X)\).

Definition 2.15

([1])

Let \(\rho\in U_{\infty}\). A function \(f:\mathbb{R}\times Y\to X\) with \(f(\cdot,u)\in L^{p}_{{\mathrm{loc}}}(\mathbb{R},X)\) for each \(u\in X\) is called Stepanov-like weighted pseudo almost periodic if there exist two functions \(h,\phi:\mathbb{R}\times Y\to X\) such that \(f=g+\phi\), where \(h^{b}\in AP(\mathbb{R}\times L^{p}(0,1),X)\) and \(\phi^{b}\in PAA_{0}(\mathbb {R}\times L^{p}(0,1),X)\).

Definition 2.16

([23])

Let \(\rho\in U_{\infty}\). A function \(f\in BS^{p}(\mathbb{R},X)\) is called Stepanov-like weighted pseudo almost automorphic if it can expressed as \(f=h+\varphi\) where \(h^{b}\in AA(\mathbb{R},L^{p}(0,1;X))\) and \(\varphi^{b}\in PAA_{0}(\mathbb{R},L^{p}(0,1;X))\). We denote the set of all functions by \(WPAAS^{p}(\mathbb{R},X)\).

Definition 2.17

([23])

Let \(\rho\in U_{\infty}\). A function \(f:\mathbb{R}\times Y\to X\) with \(f(\cdot,u)\in L^{p}_{{\mathrm{loc}}}(\mathbb{R},X)\) for each \(u\in X\) is called Stepanov-like weighted pseudo almost periodic if there exist two functions \(h,\phi:\mathbb{R}\times Y\to X\) such that \(f=g+\phi\), where \(h^{b}\in AP(\mathbb{R}\times L^{p}(0,1),X)\) and \(\phi^{b}\in PAA_{0}(\mathbb {R}\times L^{p}(0,1),X)\).

Now, we introduce a (natural) linear operator from \(BS^{p}(\mathbb{R},X)\) into \(L^{\infty}(\mathbb{R},L^{p}(0,1;X))\), which will be an important tool in order to clarify some concepts and achieve our goals.

Definition 2.18

We define

$$\begin{aligned}& \mathcal{B}:BS^{p}(\mathbb{R},X)\to L^{\infty}\bigl( \mathbb{R},L^{p}(0,1;X)\bigr), \\& f\mapsto(\mathcal{B}f) (t) (s)=f(t+s). \end{aligned}$$

Remark 2.19

It follows from the definition that the operator is a linear isometry between \(BS^{p}(\mathbb{R},X)\) and \(L^{\infty}(\mathbb{R},L^{p}(0,1;X))\). More precisely

$$ \|\mathcal{B}f\|_{\infty} =\|f\|_{BS^{p}(\mathbb{R},X)}. $$

Remark 2.20

The definition of Stepanov-like weighted pseudo almost periodic functions given by Diagana in [1] can be written using the preceding notation. Thus, for \(\rho\in U_{\infty}\), we say that a function f is Stepanov-like weighted pseudo almost periodic (or \(S^{p}\)-weighted pseudo almost periodic) if and only if \(f\in\mathcal{B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))+ \mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\). Then

$$ WPAPS^{p}(\mathbb{R},X)=\mathcal{B}^{-1} \bigl(AP\bigl(\mathbb{R},L^{p}(0,1;X)\bigr)\bigr)+ \mathcal{B}^{-1} \bigl(PAA_{0}\bigl(\mathbb{R},L^{p}(0,1;X)\bigr)\bigr). $$
(2.1)

Moreover, since is an isometry and \(AP(\mathbb{R},L^{p}(0,1;X))\cap PAA_{0}(\mathbb{R},L^{p}(0,1;X))=\{0\}\) then the sum is direct, that is,

$$WPAPS^{p}(\mathbb{R},X)=\mathcal{B}^{-1}\bigl(AP\bigl( \mathbb{R},L^{p}(0,1;X)\bigr)\bigr)\oplus \mathcal{B}^{-1} \bigl(PAA_{0}\bigl(\mathbb{R},L^{p}(0,1;X)\bigr)\bigr). $$

Based on the definition of the operator , we prove that the \(WPAPS^{p}(\mathbb{R},X)\) is a Banach space when endowed with their natural norm.

Theorem 2.21

\(WPAPS^{p}(\mathbb{R},X)\) is a Banach space with the norm

$$ \|f\|_{WPAPS^{p}(\mathbb{R},X)}=\|g\|_{BS^{p}(\mathbb{R},X)}+\|h\| _{BS^{p}(\mathbb{R},X)}, $$

where \(f=g+h\) with \(g\in\mathcal{B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))\) and \(h\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\).

Proof

Let \((f_{n})\) be a Cauchy sequence in \(WPAPS^{p}(\mathbb{R},X)\). Then \(\|f_{n}-f_{m}\|_{WPAPS^{p}(\mathbb{R},X)}\to0\) if \(n,m\to\infty\). Let \(f_{n}=g_{n}+h_{n}\) and \(f_{m}=g_{m}+h_{m}\) with \(g_{n},g_{m}\in\mathcal {B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))\) and \(h_{n},h_{m}\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\). If \(n,m\to \infty\), then

$$ \|\mathcal{B}g_{n}-\mathcal{B}g_{m}\|_{L^{\infty}(\mathbb{R},L^{p})} = \|g_{n}-g_{m}\|_{BS^{p}(\mathbb{R},X)}\leq\|f_{n}-f_{m} \|_{WPAPS^{p}(\mathbb {R},X)}\to0 $$

and

$$ \|\mathcal{B}g_{n}-\mathcal{B}g_{m}\|_{L^{\infty}(\mathbb{R},L^{p})} = \|g_{n}-g_{m}\|_{BS^{p}(\mathbb{R},X)}\leq\|f_{n}-f_{m} \|_{WPAPS^{p}(\mathbb {R},X)}\to0. $$

This implies that \((\mathcal{B}g_{n})\) and \((\mathcal{B}h_{n})\) are Cauchy sequences in \(AP(\mathbb{R},L^{p}(0,1;X))\) and \(PAA_{0}(\mathbb{R}, L^{p}(0,1;X))\), respectively. Since \(AP(\mathbb{R},L^{p}(0,1;X))\) and \(PAA_{0}(\mathbb{R},L^{p}(0,1;X))\) are Banach spaces (see [21] and [27], respectively) then there exist \(g\in AP(\mathbb{R},L^{p}(0,1;X))\) and \(h\in PAA_{0}(\mathbb{R},L^{p}(0,1;X))\) such that

$$ \|\mathcal{B}g_{n}-g\|_{L^{\infty}(\mathbb{R},L^{p})}\to0,\qquad \| \mathcal{B}h_{n}-h\|_{L^{\infty}(\mathbb{R},L^{p})}\to0 \quad (n\to\infty). $$

Let \(f_{1}:=\mathcal{B}^{-1}(\{g\})\in\mathcal{B}^{-1}(AP(\mathbb {R},L^{p}(0,1;X)))\) and \(f_{2}:=\mathcal{B}^{-1}(\{h\})\in\mathcal {B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\). Note that \(f_{1}\) and \(f_{2}\) are well defined because is injective. Let \(f:=f_{1}+f_{2}\in WPAPS^{p}(\mathbb{R},X)\). Then

$$\begin{aligned} \|f_{n}-f\|_{WPAPS^{p}(\mathbb{R},X)}&=\bigl\Vert (g_{n}+h_{n})-(f_{1}+f_{2}) \bigr\Vert _{WPAPS^{p}(\mathbb{R},X)} \\ &=\|g_{n}-f_{1}\|_{BS^{p}(\mathbb{R},X)}+\|h_{n}-f_{2} \|_{BS^{p}(\mathbb{R},X)} \\ &=\|\mathcal{B}g_{n}-\mathcal{B}f_{1}\|_{L^{\infty}(\mathbb{R},L^{p})} +\| \mathcal{B}h_{n}-\mathcal{B}f_{2}\|_{L^{\infty}(\mathbb{R},L^{p})} \\ &=\|\mathcal{B}g_{n}-g\|_{L^{\infty}(\mathbb{R},L^{p})} +\|\mathcal{B}h_{n}-h \|_{L^{\infty}(\mathbb{R},L^{p})}\to0 \quad (n\to\infty). \end{aligned}$$

Therefore \(WPAPS^{p}(\mathbb{R},X)\) is a Banach space. □

Remark 2.22

Similarly, we can equivalently define the space of Stepanov-like weighted pseudo almost automorphic functions as

$$WPAAS^{p}(\mathbb{R},X)=\mathcal{B}^{-1}\bigl(AA\bigl( \mathbb{R},L^{p}(0,1;X)\bigr)\bigr)\oplus \mathcal{B}^{-1} \bigl(PAA_{0}\bigl(\mathbb{R},L^{p}(0,1;X)\bigr)\bigr). $$

Following the same idea as above, we can prove that \(WPAAS^{p}(\mathbb {R},X)\) is a Banach space with the norm

$$ \|f\|_{WPAAS^{p}(\mathbb{R},X)}=\|g\|_{BS^{p}(\mathbb{R},X)}+\|h\| _{BS^{p}(\mathbb{R},X)}, $$

where \(f=g+h\) with \(g\in\mathcal{B}^{-1}(AA(\mathbb{R},L^{p}(0,1;X)))\) and \(h\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\).

3 Convolution theorems

In this section, we establish convolution theorems for Stepanov-like almost periodic and Stepanov-like weighted almost periodic functions. The relevant fact is that the finite convolution includes a general strongly continuous family of bounded and linear operators instead of only \(C_{0}\)-semigroups.

Theorem 3.1

Let \(S:\mathbb{R}\to B(X)\) be strongly continuous. Suppose that there exists a function \(\phi\in L^{1}(\mathbb{R})\) such that:

  1. (a)

    \(\|S(t)\|\leq\phi(t)\), \(t \in\mathbb{R}\);

  2. (b)

    \(\phi(t)\) is increasing;

  3. (c)

    \(\sum_{n=1}^{\infty}\phi(n)<\infty\).

If \(g\in APS^{p}(\mathbb{R},X)\), then

$$(S\ast g) (t):=\int_{-\infty}^{t}S(t-s)g(s) \,ds\in AP( \mathbb{R},X). $$

Proof

Let \(g\in APS^{p}(\mathbb{R},X)=\mathcal{B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))\) and

$$ H_{k}(t):=\int_{t-k}^{t-k+1}S(t-s)g(s) \,ds= \int_{k-1}^{k}S(s)g(t-s) \,ds. $$

We show that \(H_{k}(t)\) is continuous. Indeed

$$\begin{aligned} \bigl\Vert H_{k}(t+h)-H_{k}(t)\bigr\Vert &\leq\int _{k-1}^{k}\bigl\Vert S(s)\bigr\Vert \bigl\Vert g(t+h-s)-g(t-s)\bigr\Vert \,ds \\ &\leq\int_{k-1}^{k}\phi(s)\bigl\Vert g(t+h-s)-g(t-s)\bigr\Vert \,ds \\ &=\phi(k-1)\int_{t-k}^{t-k+1}\bigl\Vert g(t+h-s)-g(t-s)\bigr\Vert \,ds\to0\quad (h\to0). \end{aligned}$$

We claim that \(H_{k}(t)\in AP(\mathbb{R},X)\) for each \(k\in\mathbb{N}\). Since \(g\in\mathcal{B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))\), \(\mathcal{B}g\in AP(\mathbb{R},L^{p}(0,1;X))\). Hence, for all sequences of real numbers \((s_{n}')\) there exist a subsequence \((s_{n})\) of \((s_{n}')\) and a function h such that

$$ \bigl\Vert (\mathcal{B}g) (t+s_{n})-h(t)\bigr\Vert _{p} \to0 \quad (n\to\infty) $$

uniformly on \(t\in\mathbb{R}\). Let \(H(t):=\int_{k-1}^{k}S(s)h(t-s) \,ds\). Then for each \(k\in\mathbb{N}\) we have

$$\begin{aligned} \bigl\Vert H_{k}(t+s_{n})-H(t)\bigr\Vert &=\biggl\Vert \int_{k-1}^{k}S(s)g(t+s_{n}-s) \,ds -\int_{k-1}^{k}S(s)h(t-s) \,ds\biggr\Vert \\ &\leq\int_{k-1}^{k}\bigl\Vert g(t+s_{n}-s)-h(t-s)\bigr\Vert \,ds \\ &=\phi(0)\int_{0}^{1}\bigl\Vert g(t+s_{n}-k+p)-h(t-k+p)\bigr\Vert \,dp \\ &\leq\phi(0)\bigl\Vert (\mathcal{B}g) (t+s_{n}-k)-h(t-k)\bigr\Vert _{p}\to0\quad (n\to\infty) \end{aligned}$$

uniformly on \(t\in\mathbb{R}\). Therefore \(H_{k}(t)\in AP(\mathbb{R},X)\). Now

$$\begin{aligned} \bigl\Vert H_{k}(t)\bigr\Vert &\leq\int_{t-k}^{t-k+1} \bigl\Vert S(t-s)\bigr\Vert \bigl\Vert g(s)\bigr\Vert \,ds \\ &=\int_{k-1}^{k}\bigl\Vert S(s)\bigr\Vert \bigl\Vert g(t-s)\bigr\Vert \,ds \\ &\leq\int_{k-1}^{k}\phi(s)\bigl\Vert g(t-s)\bigr\Vert \,ds \\ &\leq\phi(k-1) \biggl(\int_{k-1}^{k}\bigl\Vert g(t-s)\bigr\Vert ^{p} \,ds \biggr)^{1/p}. \end{aligned}$$

The last estimation implies that

$$ \bigl\Vert H_{k}(t)\bigr\Vert \leq\phi(k-1)\|g\|_{BS^{p}}. $$

By hypothesis we have

$$ \sum_{k=1}^{\infty}\bigl\Vert H_{k}(t)\bigr\Vert \leq\sum_{k=1}^{\infty} \phi(k-1)\|g\| _{BS^{p}}< C\|g\|_{BS^{p}}<\infty. $$

It follows from the Weierstrass test that the series \(\sum_{k=1}^{\infty}H_{k}(t)\) is uniformly convergent on . Moreover,

$$ H(t)=\int_{-\infty}^{t}S(t-s)h(s) \,ds=\sum _{k=1}^{\infty}H_{k}(t). $$

Hence \((S\ast g)(t):=\int_{-\infty}^{t}S(t-s)g(s) \,ds\in AP(\mathbb{R},X)\). □

Remark 3.2

Using similar arguments we can prove that if \(g\in AAS^{p}(\mathbb{R},X)\) then \((S\ast f)(t):=\int_{-\infty}^{t}S(t-s)f(s) \,ds\in AA(\mathbb{R},X)\).

The following is the main result in this section.

Theorem 3.3

Let \(\rho\in U_{\infty}\) be given and let \(S:\mathbb{R}\to B(X)\) be strongly continuous. Suppose that there exists a function \(\phi\in L^{1}(\mathbb{R})\) such that:

  1. (a)

    \(\|S(t)\|\leq\phi(t)\), \(t \in\mathbb{R}\);

  2. (b)

    \(\phi(t)\) is increasing;

  3. (c)

    \(\sum_{n=1}^{\infty}\phi(n)<\infty\).

Suppose that \(f=g+h\in WPAPS^{p}(\mathbb{R},X)\) with \(g\in\mathcal{B}^{-1}(AP(\mathbb{R},L^{p}(0,1;X)))\) and \(h\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\). Then

$$(S\ast f) (t):=\int_{-\infty}^{t}S(t-s)f(s) \,ds\in WPAP(\mathbb{R},X). $$

Proof

We have

$$(S\ast f) (t):=\int_{-\infty}^{t}S(t-s)f(s) \,ds=\int _{-\infty}^{t}S(t-s)g(s) \,ds +\int_{-\infty}^{t}S(t-s)h(s) \,ds. $$

It follows from Theorem 3.1 that \((S\ast g)(t)\in AP(\mathbb{R},X)\). It remains to show that \((S\ast h)(t)\in PAA_{0}(\mathbb{R},X)\). Set

$$ H(t) :=\int_{-\infty}^{t}S(t-s)h(s) \,ds =\int _{-\infty}^{t}S(s)h(t-s) \,ds $$

and define

$$ H_{n}(t):=\int_{t-n}^{t-n+1}S(t-\sigma)h( \sigma) \,d\sigma,\quad n=1,2,\ldots. $$

As above, we can prove that \(H_{n}(t)\) is continuous. Then

$$\begin{aligned} \bigl\Vert H_{n}(t)\bigr\Vert &\leq\int_{t-n}^{t-n+1} \bigl\Vert S(t-\sigma)\bigr\Vert \bigl\Vert h(\sigma)\bigr\Vert \,d\sigma \\ &=\int_{n-1}^{n}\bigl\Vert S(\sigma)\bigr\Vert \bigl\Vert h(t-\sigma)\bigr\Vert \,d\sigma \\ &\leq\int_{n-1}^{n}\phi(s)\bigl\Vert h(t-\sigma) \bigr\Vert \,d\sigma \\ &\leq\phi(n-1) \biggl(\int_{n-1}^{n}\bigl\Vert h(t-\sigma)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p}. \end{aligned}$$

Then for \(r>0\),

$$\begin{aligned}& \frac{1}{m(r,\rho)}\int_{-r}^{r}\bigl\Vert H_{n}(t)\bigr\Vert \rho(t) \,dt \\& \quad \leq\phi(n-1)\frac {1}{m(r,\rho)} \int _{-r}^{r} \biggl(\int_{n-1}^{n} \bigl\Vert h(t-\sigma)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p}\rho(t) \,dt. \end{aligned}$$

Using the fact that the space \(PAA_{0}(\mathbb{R},X)\) is translation invariant, it follows that \(t\rightarrow h(t-\sigma)\) belongs to \(PAA_{0}(\mathbb{R},X)\). The above inequality leads to \(H_{n}(t)\in PAA_{0}(\mathbb{R},X)\) for each \(n=1,2,\ldots \) . The last estimation implies that

$$ \bigl\Vert H_{n}(t)\bigr\Vert \leq\phi(n-1)\|h\|_{S^{p}}. $$

By hypothesis we have

$$ \sum_{n=1}^{\infty}\bigl\Vert H_{n}(t)\bigr\Vert \leq\sum_{n=1}^{\infty} \phi(n-1)\|h\| _{BS^{p}}< C\|h\|_{BS^{p}}<\infty. $$

It follows from the Weierstrass test that the series \(\sum_{n=1}^{\infty}H_{n}(t)\) is uniformly convergent on . Moreover,

$$ H(t)=\int_{-\infty}^{t}S(t-s)h(s) \,ds=\sum _{n=1}^{\infty}H_{n}(t). $$

We note that \(H(t)\in C(\mathbb{R},X)\) and

$$ \bigl\Vert H(t)\bigr\Vert \leq\sum_{n=1}^{\infty} \bigl\Vert H_{n}(t)\bigr\Vert \leq C\|h\|_{S^{p}}. $$

Now,

$$\begin{aligned} \frac{1}{m(r,\rho)}\int_{-r}^{r}\bigl\Vert H(t) \bigr\Vert \rho(t) \,dt \leq&\frac{1}{m(r,\rho)} \int_{-r}^{r} \Biggl\Vert H(t)-\sum_{k=1}^{n}H_{k}(t) \Biggr\Vert \rho(t) \,dt \\ &{}+\sum_{k=1}^{n}\frac{1}{m(r,\rho)}\int _{-r}^{r}\bigl\Vert H_{k}(t)\bigr\Vert \rho(t) \,dt. \end{aligned}$$

Since \(H_{k}(t)\in PAA_{0}(\mathbb{R},X)\) and \(\sum_{k=1}^{n}H_{n}(t)\) converges uniformly to \(H(t)\), we have

$$ \lim_{r\rightarrow\infty}\frac{1}{m(r,\rho)}\int_{-r}^{r} \bigl\Vert H(t)\bigr\Vert \rho(t) \,dt=0. $$

It follows that \(H(\cdot)=\sum_{n=1}^{\infty}H_{n}(t)\in PAA_{0}(\mathbb {R},X)\). Therefore, \((S\ast f)(t):=\int_{-\infty}^{t}S(t-s)f(s) \,ds\) is weighted pseudo almost periodic. □

Remark 3.4

Using similar arguments, we can prove that if \(f\in WPAAS^{p}(\mathbb {R},X)\) then \((S\ast f)(t):=\int_{-\infty}^{t}S(t-s)f(s) \,ds\in WPAA(\mathbb{R},X)\).

4 Weighted pseudo almost periodic mild solutions

In this section we consider the problem of existence and uniqueness of weighted pseudo almost periodic mild solutions for the following class of integro-differential equations:

$$ u'(t)=Au(t)+\alpha\int_{-\infty}^{t}e^{-\beta(t-s)}Au(s) \,ds+f\bigl(t,u(t)\bigr). $$
(4.1)

Note that (4.1) has the form of (1.1) with \(Lu=u'(t)-Au(t)-\alpha\int_{-\infty}^{t}e^{-\beta(t-s)}Au(s) \,ds\).

Now, we recall some results of uniform exponential stability of solutions to the homogeneous abstract Volterra equation

$$ u'(t)=Au(t)+\alpha\int_{-\infty}^{t}e^{-\beta(t-s)}Au(s) \,ds. $$
(4.2)

Definition 4.1

We say that a solution of (4.2) is uniformly exponentially bounded if for some \(\omega\in\mathbb{R}\) there exists a constant \(M>0\) such that

$$ \bigl\Vert u(t)\bigr\Vert \leq Me^{-\omega t}\quad (t\geq0). $$

In particular, we say that the solution is uniformly stable if \(\omega>0\).

Definition 4.2

Let X be a Banach space. A strongly continuous function \(S:\mathbb {R}_{+}\to B(X)\) is said to be immediately norm continuous if \(S:(0,\infty)\to B(X)\) is continuous.

We recall the following remarkable result from [28].

Theorem 4.3

Let \(\beta>0\), \(\alpha\neq0\), and \(\alpha+\beta>0\) be given. Assume that:

  1. (a)

    A generates an immediately norm continuous \(C_{0}\)-semigroup on a Banach space X;

  2. (b)

    \(\sup \{\Re\lambda, \lambda\in\mathbb{C}: \lambda(\lambda+\beta )(\lambda+\alpha+\beta)^{-1}\in\sigma(A) \}<0\).

Then the solutions of problem (4.2) are uniformly exponentially stable.

We note in the next proposition that under the given hypothesis on A, it is possible to construct a strongly continuous family of bounded and linear operators for (4.2) that commutes with A and satisfies a certain ‘resolvent equation’. This class of strongly continuous families has been studied extensively in the literature of abstract Volterra equations; see e.g. Prüss [3] and references therein.

Proposition 4.4

([2])

Let \(\beta>0\), \(\alpha\neq0\), and \(\alpha+\beta>0\). Assume that:

  1. (i)

    A generates an immediately continuous \(C_{0}\)-semigroup on a Banach space X;

  2. (ii)

    \(\sup\{\mathfrak{R}\lambda,\lambda\in\mathbb{C}: \lambda(\lambda+\beta)(\lambda+\alpha+\beta)^{-1}\in\sigma(A)\}<0\).

Then there exists a uniformly exponentially stable and strongly continuous family of operators \((S(t))_{t\geq0}\) such that

  1. (a)

    \(S(t)D(A)\subset D(A)\);

  2. (b)

    \(S(t)Ax=AS(t)x\) \(\forall x\in D(A)\), \(\forall t\geq0\);

  3. (c)
    $$ S(t)x=x+\int_{0}^{t}b(t-s)AS(s)x \,ds \quad \forall x\in X, \forall t\geq0, $$
    (4.3)

    where \(b(t)=1+\frac{\alpha}{\beta}(1-e^{-\beta t})\), \(t\geq0\).

According to the above proposition, there exist constants \(M>0\) and \(\omega>0\) such that

$$ \bigl\Vert S(t) \bigr\Vert \leq Me^{-\omega t}, \quad t \geq0. $$
(4.4)

In particular, we can state the following definition.

Definition 4.5

Let \(f: \mathbb{R} \times X \to X\) be given. A continuous function \(u:\mathbb{R}\to X\) is said to be a mild solution of (4.1) if it satisfies

$$ u(t)=\int_{-\infty}^{t}S(t-s)f\bigl(s,u(s)\bigr) \,ds \quad (t\in\mathbb{R}), $$

where \((S(t))_{t\geq0}\) is given in Proposition 4.4.

We recall the following composition theorem.

Theorem 4.6

([1])

Let \(\rho\in U_{\infty}\) and let \(f:\mathbb{R}\times X\to Y\) be a \(S^{p}\)-weighted pseudo almost periodic function. Suppose that \(f(t,u)\) is Lipschitzian in \(u\in X\) uniformly in \(t\in\mathbb{R}\), that is, there exists \(L_{f}>0\) such that

$$ \bigl\Vert f(t,u)-f(t,v)\bigr\Vert _{Y}\leq L_{f}\|u-v \|_{X} $$

for all \(t\in\mathbb{R}\) and for all \(u,v\in X\). If \(\phi\in WPAPS^{p}(\mathbb{R},X)\) then the function \(\Gamma:\mathbb{R}\to X\) defined by \(\Gamma(\cdot)=f(\cdot ,\phi(\cdot))\) belongs to \(WPAP(\mathbb{R},X)\).

In [2] the authors obtained the existence and uniqueness of mild solutions for the semilinear equations with infinite delay on a class of spaces which do not include Stepanov type functions as the forcing term. Next, we can obtain the existence and uniqueness of weighted pseudo almost periodic solutions with the help of Theorem 3.3 and Theorem 4.6.

Theorem 4.7

Let \(\rho\in U_{\infty}\), \(\beta>0\), \(\alpha\neq0\), and \(\alpha+\beta >0\). Suppose that:

  1. (H1)

    A generates an immediately norm continuous semigroup on a Banach space X and \(\sup\{\mathfrak{R}\lambda,\lambda\in\mathbb{C}: \lambda(\lambda+\beta)(\lambda+\alpha+\beta)^{-1}\in\sigma(A)\}<0\).

  2. (H2)

    \(f\in WPAPS^{p}(\mathbb{R}\times X,X)\) and there exists a constant \(L_{f}>0\) such that

    $$ \bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq L_{f}\|u-v\|,\quad t\in \mathbb{R}, u,v\in X. $$
  3. (H3)

    \(\frac{ML_{f}}{\omega}<1\), where \(M>0\) and \(\omega>0\) are given in (4.4).

Then (4.1) has a unique mild solution in \(WPAP(\mathbb{R},X)\).

Proof

By Proposition 4.4, hypothesis (H1) implies that there exists a strongly continuous family \((S(t))_{t\geq0}\) such that \(\|S(t)\|\leq Me^{-\omega t}\) for some \(M,\omega>0\). Consider the operator \(Q:WPAP(\mathbb{R},X)\to WPAP(\mathbb{R},X)\) defined by

$$ Q(u) (t):=\int_{-\infty}^{t}S(t-s)f\bigl(s,u(s)\bigr) \,ds\quad (t\in\mathbb{R}). $$

First, we show that \(Q(WPAP(\mathbb{R},X))\subset WPAP(\mathbb{R},X)\). Let \(u\in WPAP(\mathbb{R},X)\). Then \(u\in WPAPS^{p}(\mathbb{R},X)\). It follows from the composition Theorem 4.6 that \(f(\cdot,u(\cdot))\in WPAPS^{p}(\mathbb{R}, X)\). On the other hand, the family \((S(t))_{t\geq0}\) and the function \(\phi (t)=Me^{-\omega t}\) satisfy the hypothesis of Theorem 3.3. Therefore \(Q(u)(t)\in WPAPS^{p}(\mathbb{R},X)\). Now, if \(u,v\in WPAP(\mathbb{R},X)\) we have

$$\begin{aligned} \bigl\Vert Q(u) (t)-Q(v) (t)\bigr\Vert _{\infty}&= \sup _{t\in\mathbb{R}}\biggl\Vert \int_{-\infty}^{t}S(t-s) \bigl[f\bigl(s,u(s)\bigr)-f\bigl(s,v(s)\bigr)\bigr] \,ds\biggr\Vert \\ &\leq L_{f}\sup_{t\in\mathbb{R}}\int_{0}^{\infty} \bigl\Vert S(s)\bigr\Vert _{\infty} \bigl\Vert u(t-s)-v(t-s)\bigr\Vert \,ds \\ &\leq L_{f}\Vert u-v\Vert _{\infty}\int _{0}^{\infty}Me^{-\omega t} \,ds \\ &= \frac{ML_{f}\Vert u-v\Vert _{\infty}}{\omega}< \Vert u-v\Vert _{\infty}. \end{aligned}$$

This proves that Q is a contraction, so by the Banach fixed point theorem Q has a unique fixed point. It follows that \(Q(u)=u\in WPAP(\mathbb {R},X)\) is unique. Hence u is the unique mild solution of (4.1). □

In what follows, we want to elaborate an alternative existence and uniqueness result with weaker conditions than the Lipschitz continuity imposed on the second variable of the nonlinear forcing term f. In order to do that, we first recall the following lemma.

Lemma 4.8

([29])

Suppose that:

  1. (a)

    \(f\in APS^{p}(\mathbb{R}\times X, X)\) with \(p>1\) and there exist a function \(L_{f}\in BS^{r}(\mathbb{R},\mathbb{R})\) (\(r\geq\max\{p,p/p-1\}\)) such that

    $$ \bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq L_{f}(t)\|u-v\|,\quad t \in\mathbb{R}, u,v\in X. $$
  2. (b)

    \(x\in APS^{p}(\mathbb{R},X)\), and there exists a set \(E\subset \mathbb{R}\) with \(\operatorname{mes}(E)=0\) such that

    $$ K=\overline{\bigl\{ x(t): t\in\mathbb{R}\setminus E\bigr\} } $$

    is compact in X. Then there exists \(q\in[1,p)\) such that \(f(\cdot,x(\cdot))\in APS^{q}(\mathbb{R},X)\).

The next result is a new composition theorem which help us to prove the second main theorem of this paper (see Theorem 4.10 below).

Theorem 4.9

Let \(\rho\in U_{\infty}\), \(p>1\), \(f=g+\phi\in WPAPS^{p}(\mathbb{R}\times X,X)\) with \(g\in\mathcal{B}^{-1}(AP(\mathbb{R}\times X,L^{p}(0,1;X)))\) and \(\phi\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R}\times X,L^{p}(0,1;X)))\). Assume that:

  1. (i)

    There exist nonnegative functions \(L_{f},L_{g}\in APS^{p}(\mathbb {R},\mathbb{R})\) where \(r\geq\max\{p,p/p-1\}\) such that

    $$\begin{aligned}& \bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq L_{f}(t)\|u-v\|, \\& \bigl\Vert g(t,u)-g(t,v)\bigr\Vert \leq L_{g}(t)\| u-v\|,\quad t\in \mathbb{R}, u,v\in X. \end{aligned}$$
  2. (ii)

    \(h=\alpha+\beta\in WPAPS^{p}(\mathbb{R},X)\) with

    $$\alpha\in\mathcal{B}^{-1}\bigl(AP\bigl(\mathbb{R},L^{p}(0,1;X) \bigr)\bigr),\qquad \beta\in\mathcal{B}^{-1}\bigl(PAA_{0} \bigl(\mathbb{R},L^{p}(0,1;X)\bigr)\bigr) $$

    and there exists a set \(E\subset\mathbb{R}\) with \(\operatorname{mes}(E)=0\) such that

    $$ K=\overline{\bigl\{ h(t): t\in\mathbb{R}\setminus E\bigr\} } $$

    is compact in X. Then there exists \(q\in[1,p)\) such that \(f(\cdot,h(\cdot))\in WPAPS^{q}(\mathbb{R},X)\).

Proof

We can decompose

$$ f\bigl(t,h(t)\bigr)=g\bigl(t,\alpha(t)\bigr)+f\bigl(t,h(t)\bigr)-f\bigl(t, \alpha(t)\bigr)+\phi\bigl(t,\alpha(t)\bigr). $$

Set

$$ F(t):=g\bigl(t,\alpha(t)\bigr),\qquad G(t):=f\bigl(t,h(t)\bigr)-f\bigl(t, \alpha(t)\bigr), \qquad H(t):=\phi \bigl(t,\alpha(t)\bigr). $$

Since \(r\geq\frac{p}{p-1}\), there exists \(q\in[1,p)\) such that \(r=\frac {pq}{p-q}\). Let \(p'=p/p-q\) and \(q'=p/q\). Therefore \(\frac{1}{p'}+\frac{1}{q'}=1\). Since \(\alpha\in AP(\mathbb{R},X)\) and \(g\in APS^{p}(\mathbb{R}\times X,X)\) then by the assumptions and Lemma 4.8 we obtain \(F(t)\in\mathcal{B}^{-1}(AP(\mathbb{R},L^{q}(0,1;X)))\).

Next we show that \(G(t)\in\mathcal{B}^{-1}(PAA_{0}(\mathbb {R},L^{q}(0,1;X)))\). By the Hölder inequality we have

$$\begin{aligned} \int_{t}^{t+1}\bigl\Vert G(\sigma)\bigr\Vert ^{q} \,d\sigma&=\int_{t}^{t+1} \bigl\Vert f\bigl(\sigma,h(\sigma)\bigr)-f\bigl(\sigma,\alpha(\sigma)\bigr)\bigr\Vert ^{q} \,d\sigma \\ &\leq\int_{t}^{t+1} L_{f}^{q}( \sigma)\bigl\Vert h(\sigma)-\alpha(\sigma)\bigr\Vert ^{q} \,d\sigma \\ &=\int_{t}^{t+1} L_{f}^{q}( \sigma)\bigl\Vert \beta(\sigma)\bigr\Vert ^{q} \,d\sigma \\ &\leq \biggl(\int_{t}^{t+1} L_{f}^{qp'}( \sigma) \,d\sigma \biggr)^{1/p'} \biggl(\int_{t}^{t+1} \bigl\Vert \beta(\sigma)\bigr\Vert ^{qq'} \,d\sigma \biggr)^{1/q'} \\ &= \biggl[ \biggl(\int_{t}^{t+1} L_{f}^{r}(\sigma) \,d\sigma \biggr)^{1/r} \biggr]^{r/p'} \biggl[ \biggl(\int_{t}^{t+1} \bigl\Vert \beta(\sigma)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p} \biggr]^{p/q'} \\ &\leq \Vert L_{f}\Vert _{BS^{r}}^{q} \biggl[ \biggl(\int_{t}^{t+1} \bigl\Vert \beta(\sigma)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p} \biggr]^{q}. \end{aligned}$$

Then

$$\begin{aligned}& \frac{1}{m(r,\rho)}\int_{-r}^{r} \biggl(\int _{t}^{t+1} \rho(t)\bigl\Vert G(\sigma)\bigr\Vert ^{q} \,d\sigma \biggr)^{1/q} \,dt \\& \quad \leq\frac{\|L_{f}\|_{BS^{r}}}{m(r,\rho)}\int _{-r}^{r}\rho(t) \biggl(\int_{t}^{t+1} \bigl\Vert \beta(\sigma)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p} \,dt. \end{aligned}$$

Since \(\beta(\cdot)\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{p}(0,1;X)))\) we obtain \(G(\cdot)\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{q}(0,1;X)))\).

Next, we prove that \(H(\cdot)\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R},L^{q}(0,1;X)))\). Since \(\phi\in\mathcal{B}^{-1}(PAA_{0}(\mathbb{R}\times X,L^{p}(0, 1;X)))\), for any \(\epsilon>0\) there exists \(r_{0}>0\) such that \(r>r_{0}\) implies that

$$ \frac{1}{m(r,\rho)}\int_{-r}^{r}\rho(t) \biggl(\int _{t}^{t+1} \bigl\Vert \phi(\sigma,u)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p} \,dt< \epsilon \quad (u\in X). $$

Since K is compact, we can find finite open balls \(O_{k}\) (\(k=1,2,3,\ldots,m\)) with center \(x_{k}\) such that \(K\subset\bigcup_{k=1}^{m}O_{k}\). Thus, for all \(u\in K\) there exists \(x_{k}\) such that

$$\begin{aligned} \bigl\Vert \phi(t+\sigma,u)\bigr\Vert \leq&\bigl\Vert \phi(t+\sigma,u)- \phi(t+\sigma,x_{k})\bigr\Vert +\bigl\Vert \phi (t+ \sigma,x_{k})\bigr\Vert \\ \leq&\bigl\Vert f(t+\sigma,u)-f(t+\sigma,x_{k})\bigr\Vert \\ &{}+\bigl\Vert g(t+\sigma,u)-g(t+\sigma,x_{k})\bigr\Vert +\bigl\Vert \phi(t+\sigma,x_{k})\bigr\Vert \\ \leq& L_{f}(t+\sigma)\epsilon+L_{g}(t+\sigma)\epsilon+ \bigl\Vert \phi(t+\sigma,x_{k})\bigr\Vert \quad \bigl(t\in \mathbb{R}, \sigma\in[0,1]\bigr). \end{aligned}$$

Hence

$$ \sup_{u\in K}\bigl\Vert \phi(t+\sigma,u)\bigr\Vert \leq L_{f}(t+\sigma)\epsilon+L_{g}(t+\sigma )\epsilon +\sum _{k=1}^{m}\bigl\Vert \phi(t+ \sigma,x_{k})\bigr\Vert . $$

Since \(r\geq p\), \(L_{f},L_{g}\in APS^{r}(\mathbb{R},\mathbb{R}) \subset APS^{p}(\mathbb{R},\mathbb{R})\subset BS^{p}(\mathbb{R},\mathbb{R})\).

By Minkowskii’s inequality, we obtain

$$\begin{aligned}& \biggl[\int_{0}^{1} \Bigl(\sup _{u\in K}\bigl\Vert \phi(t+\sigma,u)\bigr\Vert \Bigr)^{p} \,d\sigma \biggr]^{1/p} \\& \quad \leq \bigl(\Vert L_{f}\Vert _{BS^{p}}+\|L_{g}\|_{BS^{p}}\bigr) \epsilon + \sum_{k=1}^{m} \biggl(\int _{0}^{1} \Bigl(\sup_{u\in K}\bigl\Vert \phi(t+\sigma,u)\bigr\Vert \Bigr)^{p} \,d\sigma \biggr)^{1/p}. \end{aligned}$$

For \(r>r_{0}\) we have

$$ \frac{1}{m(r,\rho)}\int_{-r}^{r}\rho(t) \biggl(\int _{0}^{1} \Bigl(\sup_{u\in K}\bigl\Vert \phi(t+\sigma,u)\bigr\Vert \Bigr)^{p} \,d\sigma \biggr)^{1/p} \,dt\leq \bigl(\Vert L_{f}\Vert _{BS^{p}}+\Vert L_{g}\Vert _{BS^{p}}+m\bigr)\epsilon. $$

Hence

$$ \lim_{r\to\infty}\frac{1}{m(r,\rho)}\int_{-r}^{r} \rho(t) \biggl(\int_{0}^{1} \Bigl(\sup _{u\in K}\bigl\Vert \phi(t+\sigma,u)\bigr\Vert \Bigr)^{p} \,d\sigma \biggr)^{1/p} \,dt=0. $$

On the other hand

$$\begin{aligned}& \frac{1}{m(r,\rho)}\int_{-r}^{r}\rho(t)\bigl\Vert H^{b}(t)\bigr\Vert _{q} \,dt \\& \quad \leq \frac{1}{m(r,\rho)}\int _{-r}^{r}\rho(t)\bigl\Vert H^{b}(t)\bigr\Vert _{p} \,dt \\& \quad =\frac{1}{m(r,\rho)}\int_{-r}^{r}\rho(t) \biggl( \int_{0}^{1} \bigl\Vert \phi\bigl(t+\sigma, \alpha(t+\sigma)\bigr)\bigr\Vert ^{p} \,d\sigma \biggr)^{1/p} \,dt \\& \quad \leq\frac{1}{m(r,\rho)}\int_{-r}^{r}\rho(t) \biggl( \int_{0}^{1} \Bigl(\sup_{u\in K} \bigl\Vert \phi(t+\sigma,u)\bigr\Vert \Bigr)^{p} \,d\sigma \biggr)^{1/p} \,dt\to0 \end{aligned}$$

as \(r\to\infty\). Hence \(H(\cdot)\in\mathcal{B}^{-1}(PAA_{0}(\mathbb {R},L^{q}(0,1;X)))\). It proves that \(f(\cdot,h(\cdot))=F(\cdot)+[G(\cdot)+H(\cdot)]\in WPAPS^{p}(\mathbb{R},X)\). □

The next result is the second main theorem of this paper.

Theorem 4.10

Let \(\rho\in U_{\infty}\), \(r\geq\max\{p,p/p-1\}\), \(\beta>0\), \(\alpha\neq 0\), and \(\alpha+\beta>0\). Suppose that:

  1. (H1)

    A generates an immediately norm continuous semigroup on a Banach space X and \(\sup\{\mathfrak{R}\lambda,\lambda\in\mathbb{C}: \lambda(\lambda+\beta)(\lambda+\alpha+\beta)^{-1}\in\sigma(A)\}<0\).

  2. (H2)

    The function \(f=f_{1}+f_{2}\in WPAPS^{p}(\mathbb{R}\times X,X)\) and there exist functions \(L_{f},L_{f_{1}}\in APS^{r}(\mathbb{R},\mathbb{R})\) such that

    $$\begin{aligned}& \bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq L_{f}(t)\Vert u-v \Vert , \\& \bigl\Vert f_{1}(t,u)-f_{1}(t,v)\bigr\Vert \leq L_{f_{1}}(t)\Vert u-v\Vert ,\quad t\in\mathbb{R}, u,v\in X. \end{aligned}$$
  3. (H3)

    \(\|L_{f}\|_{BS^{r}}<\frac{ 1-e^{-\omega}}{M} (\frac{\omega r_{0}}{1-e^{-\omega r_{0}}} )^{\frac{1}{r_{0}}}\) where \(\frac{1}{r}+\frac {1}{r_{0}}=1\) and the constants \(M>0\) and \(\omega>0\) are given in (4.4).

Then (4.1) has a unique mild solution in \(WPAP(\mathbb{R},X)\).

Proof

Let \(u=u_{1}+u_{2}\in WPAP(\mathbb{R},X)\) where \(u_{1}\in AP(\mathbb{R},X)\) and \(u_{2}\in PAA_{0}(\mathbb{R},X)\). Then \(u\in WPAPS^{p}(\mathbb{R},X)\). Since the range of almost periodic functions is a relatively compact set, \(K=\overline{\{u_{1}(t):t\in\mathbb{R}\}}\) is compact in X. It follows from Theorem 4.8 that there exists \(q\in[1,p)\) such that \(f(\cdot,u(\cdot))\in WPAPS^{q}(\mathbb{R},X)\). By Proposition 4.4, hypothesis (H1) implies that there exists a strongly continuous family \((S(t))_{t\geq0}\) such that \(\|S(t)\|\leq Me^{-\omega t}\) for some \(M,\omega>0\).

Consider the operator \(Q:WPAP(\mathbb{R},X)\to WPAP(\mathbb{R},X)\) such that

$$ Q(u) (t):=\int_{-\infty}^{t}S(t-s)f\bigl(s,u(s)\bigr) \,ds\quad (t\in\mathbb{R}). $$

Since \(f(\cdot,u(\cdot))\in WPAPS^{q}(\mathbb{R},X)\) it follows from Theorem 3.3 that Q maps \(WPAP(\mathbb{R},X)\) into \(WPAP(\mathbb{R},X)\).

For any \(u,v\in WPAP(\mathbb{R},X)\) we have

$$\begin{aligned} \bigl\Vert Q(u) (t)-Q(v) (t)\bigr\Vert &\leq\int_{-\infty}^{t} \bigl\Vert S(t-s)\bigr\Vert \bigl\Vert f\bigl(s,u(s)-f\bigl(s,v(s)\bigr) \bigr)\bigr\Vert \,ds \\ &\leq\int_{-\infty}^{t}Me^{-\omega(t-s)}L_{f}(s) \bigl\Vert u(s)-v(s)\bigr\Vert \,ds \\ &\leq \Vert u-v\Vert \sum_{k=1}^{\infty} \int_{t-k}^{t-k+1}Me^{-\omega(t-s)}L_{f}(s) \,ds \\ &\leq \Vert u-v\Vert \sum_{k=1}^{\infty} \biggl(\int_{t-k}^{t-k+1}M^{r_{0}}e^{-\omega r_{0}(t-s)} \biggr)^{\frac {1}{r_{0}}} \,ds\bigl\Vert L_{f}(s)\bigr\Vert _{BS^{r}} \\ &=\frac{M}{1-e^{-\omega}} \biggl(\frac{1-e^{-\omega r_{0}}}{\omega r_{0}} \biggr)^{\frac{1}{r_{0}}} \Vert u-v\Vert \bigl\Vert L_{f}(s)\bigr\Vert _{BS^{r}}. \end{aligned}$$

From the Banach contraction mapping principle we find that Q has a unique fixed point in \(WPAP(\mathbb{R},X)\) which is the unique mild solution of (4.1). □

5 Application

Example 5.1

Consider the problem

$$ \left \{ \begin{array}{l} \frac{\partial u}{\partial t}(t,x) = \frac{\partial^{2} u}{\partial x^{2} }(t,x) + \int_{-\infty}^{t}e^{-(t-s)} \frac{\partial^{2} u}{\partial x^{2} }(s,x) \,ds +f(t,u(t)), \\ u(0,t) = u(\pi,t) = 0, \end{array} \right . $$
(5.1)

with \(x\in[0,\pi]\), \(t\in\mathbb{R}\). Let \(X=L^{2}[0,\pi]\) and define \(A:=\frac{\partial^{2}}{\partial x^{2}}\), with domain \(D(A)=\{g\in H^{2}[0,\pi]: g(0)=g(\pi)=0\}\). Then (5.1) can be rewritten into the abstract form (4.1) with \(\alpha=\beta=1\). It is well known that A generates an analytic (and hence immediately norm continuous) and compact \(C_{0}\)-semigroup \(T(t)\) on X. The compactness of \(T(t)\) implies that \(\sigma(A)=\sigma_{p}(A)=\{-n^{2}: n\in\mathbb{N}\}\). Since we must have \(\lambda(\lambda+\beta)(\lambda+\alpha+\beta)^{-1}\in \sigma(A)\) we need to solve the equations \(\frac{\lambda(\lambda+1)}{\lambda+2}=-n^{2}\), obtaining (see [28])

$$\lambda_{1}=-1\pm i,\qquad \lambda_{2}=\frac{-5\pm7i}{2} $$

and

$$\lambda_{n}=\frac{-(n^{2}+1)\pm\sqrt{(n^{2}-3)^{2}-8} }{2}\leq -2 $$

for all \(n \geq3\). We conclude that

$$\sup \bigl\{ \Re\lambda: \lambda(\lambda+\beta) (\lambda+\alpha+\beta )^{-1}\in \sigma(A) \bigr\} =-1. $$

Hence, from Theorem 4.7 we see that, if \(f \in WPAPS^{p}(\mathbb{R}\times X,X)\) satisfies

$$\bigl\Vert f(t,u)-f(t,v)\bigr\Vert \leq L\|u-v\| $$

for all \(t\in\mathbb{R}\) and \(u,v\in X\), then problem (5.1) has a unique mild solution \(u\in WPAP(\mathbb{R},X)\).

References

  1. Diagana, T, N’Guérékata, GM, Mophou, GM: Existence of weighted pseudo almost periodic solutions to some classes of differential equations with \(S^{p}\)-weighted pseudo almost periodic coefficients. Nonlinear Anal. 72, 430-438 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  2. Lizama, C, Ponce, R: Bounded solutions to a class of semilinear integro-differential equations in Banach spaces. Nonlinear Anal. 74, 3397-3406 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  3. Prüss, J: Evolutionary Integral Equations and Applications. Monographs Math., vol. 87. Birkhäuser, Basel (1993)

    MATH  Google Scholar 

  4. Diagana, T: Weighted pseudo almost periodic functions and applications. C. R. Acad. Sci. Paris, Ser. I 343(10), 643-646 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  5. Zhang, L, Xu, Y: Weighted pseudo almost periodic solutions for functional differential equations. Electron. J. Differ. Equ. 2007, 146 (2007)

    MathSciNet  MATH  Google Scholar 

  6. Agarwal, RP, Diagana, T, Hernández, EM: Weighted pseudo almost periodic solutions to some partial neutral functional differential equations. J. Nonlinear Convex Anal. 8(3), 397-415 (2007)

    MATH  MathSciNet  Google Scholar 

  7. Ezzinbi, K, Fatajou, S, N’Guérékata, GM: Weighted pseudo-almost periodic solutions for some neutral partial functional differential equations. Electron. J. Differ. Equ. 2010, 128 (2010)

    MathSciNet  MATH  Google Scholar 

  8. Chen, X, Hu, X: Weighted pseudo almost periodic solutions of neutral functional differential equations. Nonlinear Anal., Real World Appl. 12(1), 601-610 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  9. Diagana, T: Existence of weighted pseudo almost periodic solutions to some non-autonomous differential equations. Int. J. Evol. Equ. 2(4), 397-410 (2008)

    MathSciNet  MATH  Google Scholar 

  10. Diagana, T: Weighted pseudo-almost periodic solutions to a neutral delay integral equation of advanced type. Nonlinear Anal. 70(1), 298-304 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  11. Diagana, T: Existence of weighted pseudo almost periodic solutions to some classes of hyperbolic evolution equations. J. Math. Anal. Appl. 350(1), 18-28 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  12. Boukli-Hacene, N, Ezzinbi, K: Weighted pseudo almost periodic solutions for some partial functional differential equations. Nonlinear Anal. 71(9), 3612-3621 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  13. Liu, J-H, Song, X-Q, Zhang, P-L: Weighted pseudo almost periodic mild solutions of semilinear evolution equations with nonlocal conditions. Appl. Math. Comput. 215(5), 1647-1652 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  14. Zhang, J, Xiao, TJ, Liang, J: Weighted pseudo almost-periodic functions and applications to semilinear evolution equations. Abstr. Appl. Anal. 2012, Article ID 179525 (2012)

    MathSciNet  MATH  Google Scholar 

  15. Agarwal, RP, de Andrade, B, Cuevas, C: Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal., Real World Appl. 11(5), 3532-3554 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  16. Cao, J, Yang, Q, Huang, Z: Optimal mild solutions and weighted pseudo-almost periodic classical solutions of fractional integro-differential equations. Nonlinear Anal. 74(1), 224-234 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  17. Zhang, L, Xu, Y: Positive weighted pseudo-almost periodic solutions to infinite delay integral equation. Ann. Differ. Equ. 27(2), 253-257 (2011)

    MATH  MathSciNet  Google Scholar 

  18. Zhang, L, Li, H: Weighted pseudo almost periodic solutions of second order neutral differential equations with piecewise constant argument. Nonlinear Anal. 74(17), 6770-6780 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  19. Zhang, L, Li, H: Weighted pseudo almost periodic solutions of second-order neutral-delay differential equations with piecewise constant argument. Comput. Math. Appl. 62(12), 4362-4376 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  20. Ding, HS, N’Guérékata, GM, Nieto, JJ: Weighted pseudo almost periodic solutions for a class of discrete hematopoiesis model. Rev. Mat. Complut. 26(2), 427-443 (2013)

    Article  MathSciNet  Google Scholar 

  21. Bochner, S: Beiträge zur theorie der fastperiodischen funktionen. Math. Ann. 96, 119-147 (1927)

    Article  MathSciNet  MATH  Google Scholar 

  22. Bochner, S: A new approach to almost automorphicity. Proc. Natl. Acad. Sci. USA 48, 907-910 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  23. Chang, YK, N’Guérékata, GM, Zhang, R: New composition theorems of Stepanov-like weighted pseudo almost automorphic functions and applications to nonautonomous evolution equations. Nonlinear Anal., Real World Appl. 13, 2866-2879 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  24. Diagana, T: Stepanov-like pseudo almost periodic functions and their applications to differential equations. Commun. Math. Anal. 3(1), 9-18 (2007)

    MATH  MathSciNet  Google Scholar 

  25. Alkahby, H, Lee, H: Stepanov-like almost automorphic solutions of nonautonomous semilinear evolution equations with delay. Nonlinear Anal. 69, 2158-2166 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  26. N’Guérékata, GM, Pankov, A: Stepanov-like almost automorphic functions and monotone evolution equations. Nonlinear Anal. 68, 2658-2667 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  27. Ding, H, Liang, J, Xiao, TJ: Weighted pseudo almost automorphic functions and WPAA solutions to semilinear evolution equations. J. Math. Anal. Appl. 409, 409-427 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  28. Chen, J, Liang, J, Xiao, TJ: Uniform exponential stability of solutions to abstract Volterra equations. J. Evol. Equ. 9(4), 661-674 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  29. Long, W, Ding, H: Composition theorems of Stepanov almost periodic functions and Stepanov-like pseudo almost periodic functions. Adv. Differ. Equ. 2011, Article ID 654695 (2011). doi:10.1155/2011/654695

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

C Lizama is partially supported by Proyecto Anillo ACT 1112 and FONDECYT 1140258.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Carlos Lizama.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors contributed equally in the writing of this paper. All authors read and approved final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alvarez, E., Lizama, C. Weighted pseudo almost periodic solutions to a class of semilinear integro-differential equations in Banach spaces. Adv Differ Equ 2015, 31 (2015). https://doi.org/10.1186/s13662-015-0370-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0370-5

MSC

Keywords