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 [6–8], 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:

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

• (b) $\phi(t)$ is increasing;

• (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:

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

• (b) $\phi(t)$ is increasing;

• (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:

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

• (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:

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

• (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

• (a) $S(t)D(A)\subset D(A)$;

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

• (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:

• (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$.

• (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. $$

• (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:

• (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. $$

• (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:

• (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}$$

• (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:

• (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$.

• (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}$$

• (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)$.