μ-pseudo almost automorph mild solutions to the fractional integro-differential equation with uniform continuity

Abstract

Our aim in the article is to study the existence of μ-pseudo almost automorph mild solutions to the following fractional integro-differential equation:

$$ D^{\alpha}u(t)=Au(t)+ \int_{-\infty}^{t}a(t-s)Au(s)\,ds+f\bigl(t,u(t)\bigr), \quad t\in\mathbb{R}, $$

where for $\alpha>0$, the fractional derivative $D^{\alpha}$ is understood in the sense of Weyl, and A is a closed linear operator defined on Banach space $\mathbb{X}$, $a\in L_{\mathrm{loc}}^{1}(\mathbb {R_{+}})$ is a scalar-valued kernel. The novelty of this work is a study of this equation with a μ-$S^{p}$-pseudo almost automorph nonlinear term satisfying the condition of “uniform continuity” instead of some “Lipschitz” type conditions supposed in the literature. We utilize Schauder’s fixed point theorem. An example is provided to explain our abstract results.

1 Introduction

Fractional calculus is a mathematics field for dealing with derivatives and integrals of arbitrary orders. As a result of the intensive development of fractional calculus, fractional differential equations have been proved to be useful tools in modeling of phenomena in various fields of science and economics and have been greatly developed (see [1–5] and the references therein).

In recent decades, the asymptotic properties of mild solutions for various (fractional) differential equations and (fractional) integro-differential equations have attracted much attention. Bochner first presented the notion of almost automorphy in [6] as a natural extension of almost periodicity. Since then, this notion has been promoted in a variety of ways, for example, in terms of pseudo almost automorphy ([7, 8]), weighted pseudo almost automorphy (abbr. wpaa) ([9]), $S^{p}$-weighted pseudo almost automorphy (abbr. $S^{p}$-wpaa) ([10]), μ-pseudo almost automorphy (abbr. μ-paa) ([11]), etc. The above-mentioned notions have been extensively applied to the research about a variety of (fractional) differential equations and (fractional) integro-differential equations (see [12–19] and the references therein).

In particular, Ponce [18] studied the existence and uniqueness of bounded solutions, such as almost periodic (automorphic) and asymptotically almost periodic solution, etc., to the following fractional integro-differential equation:

$$ D^{\alpha}v(t)=Av(t)+ \int_{-\infty}^{t}a(t-s)Av(s)\,ds+f\bigl(t,v(t)\bigr), \quad t\in\mathbb{R}, $$

(1.1)

where $D^{\alpha}$ is comprehended as a fractional derivative of order $\alpha>0$ in the sense of Weyl (see [4, 18]) and A is a linear and closed operator defined in a Banach space $\mathbb{X}$, $a\in L_{\mathrm{loc}}^{1}(\mathbb{R_{+}})$ is a scalar-valued kernel, and $f:\mathbb{R}\times\mathbb{X} \to\mathbb{X}$ belongs to a closed subspace of the space of continuous and bounded functions satisfying some “Lipschitz” type conditions. Subsequently, Chang [19] investigated some existence results about wpaa solutions to Eq. (1.1) where the nonlinear term f is a $S^{p}$-wpaa function satisfying a number of conditions of “Lipschitz” type combined with the contraction map theorem or a “uniform continuity” type condition combined with the Leray–Schauder alternative theorem. From the literature mentioned above and to the best of our knowledge, there is no work about asymptotic properties of mild solutions to Eq. (1.1) where the nonlinear term f satisfies a “uniform continuity” type condition combined with Schauder’s fixed point theorem. This is a motivation of writing this manuscript.

Recently, by using the measure theory, Chang [20] and Abdelkarim-Nidal Akdad [21] presented the notion of μ-$S^{p}$-pseudo almost automorphy (abbr. μ-$S^{p}$-paa), which is a generalization of a μ-pseudo almost automorphic function, respectively. The natural question is raised: what are asymptotic properties of mild solutions about Eq. (1.1) where the nonlinear term f is a μ-$S^{p}$-paa function? To the best of our knowledge, there is rarely literature covering the existence of μ-paa solutions about Eq. (1.1) where the nonlinear term f is a μ-$S^{p}$-paa function. To close this gap, by utilizing Schauder’s fixed point theorem, we obtain μ-paa mild solutions for Eq. (1.1) with the μ-$S^{p}$-paa nonlinear term f satisfying the condition of “uniform continuity” type instead of some “Lipschitz” type conditions supposed in the literature.

The rest of this article is organized as follows. In Sect. 2, we recall some basic definitions and lemmas, which are based on the literature. In Sect. 3, we present our main results, namely, the existence of μ-paa mild solutions to Eq. (1.1). These results are based on the nonlinear term f that satisfies a “uniform continuity” type condition combined with Schauder’s fixed point theorem. The last section is dedicated to the application of our results. An example is provided to explain our abstract results, where the condition of “uniform continuity” type is satisfied but the condition of “Lipschitz” type failed.

2 Preliminaries

Let us review the notation. $(\mathbb{X}, \Vert\cdot\Vert)$ and $(\mathbb{Y}, \Vert\cdot\Vert)$ are Banach spaces. The space $\operatorname{BC}(\mathbb{R, X})=\{v:\mathbb{R\to X}: v \mbox{ is a bounded and continuous function} \}$ is a Banach space with the supremum norm.

Throughout this article, the Lebesgue σ-field of $\mathbb{R}$ is denoted by $\mathcal{C}$ and the set consisting of whole positive measures μ on $\mathcal{C}$ such that $\mu(\mathbb{R})=+\infty$ and $\mu([c,d])<+\infty$ for any $c,d\in\mathbb{R}$ ($c< d$) is denoted by $\mathfrak{W}$. In the article, we always suppose that $\mu\in\mathfrak{W}$.

Definition 2.1

([11])

• (i) A continuous and bounded function $f:\mathbb{R}\to\mathbb {X}$ is called μ-ergodic if

  $$\lim_{S\to+\infty}\frac{1}{\mu([-S,S])} \int_{[-S,S]} \bigl\Vert f(t) \bigr\Vert \,d\mu=0. $$

  The space formed by all these functions is denoted by $\varepsilon (\mathbb{X},\mu)$. The space $\operatorname{PAA}(\mathbb{X}, \mu)$ formed by all μ-paa functions is given by

  $$\operatorname{PAA}(\mathbb{X}, \mu)=\bigl\{ f=f_{1}+f_{2}\in \operatorname{BC}(\mathbb{R, X}): f_{1}\in \operatorname{AA}(\mathbb {X}), f_{2} \in\varepsilon(\mathbb{X},\mu)\bigr\} . $$

• (ii) A continuous and bounded function $f:\mathbb{R \times Y}\to \mathbb{X}$ is called μ-ergodic if $f(\cdot,v)$ is bounded for any $v\in\mathbb{Y}$ and

  $$\lim_{S\to+\infty}\frac{1}{\mu([-S,S])} \int_{[-S,S]} \bigl\Vert f(t,v) \bigr\Vert \,d\mu=0, $$

  uniformly in $v\in\mathbb{Y}$. The space formed by all these functions is denoted by $\varepsilon(\mathbb{R\times Y}, \mathbb{X},\mu)$.

  The space $\operatorname{PAA}(\mathbb{R\times Y}, \mathbb{X}, \mu)$ formed by all μ-paa functions is given by

  $$\begin{aligned} &\operatorname{PAA}(\mathbb{R\times Y}, \mathbb{X}, \mu) \\ &\quad =\bigl\{ f=f_{1}+f_{2}\in \operatorname{BC}(\mathbb{R\times Y}, \mathbb{X}): f_{1}\in \operatorname{AA}(\mathbb {R\times Y}, \mathbb{X}), f_{2} \in\varepsilon(\mathbb{R\times Y}, \mathbb{X},\mu)\bigr\} . \end{aligned}$$

Definition 2.2

([14])

The space $\operatorname{BS}^{p}(\mathbb{X})$ formed by the whole Stepanov bounded functions, where $p\in[1, \infty)$, includes of the whole measurable functions $f: \mathbb{R\to X}$ satisfying $f^{b}\in L^{\infty}(\mathbb {R}, L^{p}(0,1; \mathbb{X}))$. It is a Banach space where its norm is defined by

$$\Vert f \Vert _{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)^{1/p} =\sup_{t\in\mathbb{R}} \bigl\Vert f(t+\cdot) \bigr\Vert _{p}. $$

Definition 2.3

([14])

• (i) The space $\operatorname{AS}^{p}(\mathbb{X})$ formed by whole $S^{p}$-aa functions, includes of all $f\in \operatorname{BS}^{p}(\mathbb{X})$ satisfying $f^{b}\in \operatorname{AA}(L^{p}(0,1; \mathbb{X}))$.

• (ii) A function $f\in \operatorname{BS}^{p}(\mathbb{R\times Y, X})$ is called $S^{p}$-aa in $t\in\mathbb{R}$ for $v\in\mathbb{Y}$, if $f(\cdot,v)\in \operatorname{AS}^{p}(\mathbb{X})$ for $v\in\mathbb{Y}$. The set consisting of the whole of these functions is denoted by $\operatorname{AS}^{p}(\mathbb{R\times Y, X})$.

From [20, 21], the spaces $\operatorname{PAA}^{p}(\mathbb{X},\mu)$ and $\operatorname{PAA}^{p}(\mathbb{R\times Y, X},\mu)$ consisting of the whole μ-$S^{p}$-paa functions are defined by

$$\operatorname{PAA}^{p}(\mathbb{X},\mu)=\bigl\{ f=f_{1}+f_{2}\in \operatorname{BS}^{p}(\mathbb{X}):f_{1}\in \operatorname{AS}^{p}(\mathbb{X}), f_{2}^{b}\in\varepsilon\bigl(L^{p}(0,1;\mathbb{X}), \mu\bigr)\bigr\} , $$

where $\varepsilon(L^{p}(0,1;\mathbb{X}),\mu)$, which is $f_{2}^{b}\in \operatorname{BC}(L^{p}(0,1;\mathbb{X}))$ and

$$\lim_{S\to+\infty}\frac{1}{\mu([-S,S])} \int_{[-S,S]}\biggl( \int_{t}^{t+1} \bigl\Vert f_{2}(s) \bigr\Vert ^{p}\,ds\biggr)^{\frac{1}{p}}\,d\mu=0. $$

and

$$\begin{aligned} \operatorname{PAA}^{p}(\mathbb{R\times Y, X},\mu)&=\bigl\{ f=f_{1}+f_{2}:f_{1} \in \operatorname{AS}^{p}(\mathbb {R\times Y,X}), \\ & \quad {} f_{2}^{b}\in\varepsilon\bigl( \mathbb{Y},L^{p}(0,1;\mathbb {X}),\mu\bigr), f(\cdot,v)\in L_{\mathrm{loc}}^{p}(\mathbb{R,X}) \mbox{ for each } v\in \mathbb{Y} \bigr\} . \end{aligned}$$

Let the positive measure on $\mathcal{C,}$ denoted by $\mu_{\varsigma }$, be defined as

$$\mu_{\varsigma}(A)=\mu\bigl(\{a+\varsigma:a\in A\}\bigr) \quad\text{for } A \in \mathcal{C}, \varsigma\in\mathbb{R}. $$

The following assumption [11] will be needed later.

(A):

For $\forall\varsigma\in\mathbb{R}$, there are a bounded interval Ω and a constant $\gamma>0$ satisfying

$$\mu_{\varsigma}(A)\le\gamma\mu(A) $$

when $A \in\mathcal{C}$ satisfies $A\cap\Omega=\emptyset$.

Lemma 2.1

([11, 20, 21])

If the assumption (A) holds, then $\varepsilon(\mathbb{X},\mu )$ and $\varepsilon(L^{p}(0,1;\mathbb{X}),\mu)$ are translation invariant.

Consequently, $\operatorname{PAA}(\mathbb{X},\mu)$ and $\operatorname{PAA}^{p}(\mathbb{X},\mu)$ are also translation invariant.

Lemma 2.2

([20, 21])

If the assumption (A) holds, then $\operatorname{PAA}(\mathbb{X},\mu)\subset \operatorname{PAA}^{p}(\mathbb{X},\mu)$ for each $1\leq p<\infty$.

3 Main results

Now, we address the existence of μ-paa mild solutions to Eq. (1.1). Our existence theorem is based upon the nonlinear term $f\in \operatorname{PAA}^{p}(\mathbb{R}\times\mathbb{X}, \mathbb{X}, \mu)$ satisfying a “uniform continuity” type condition in the place of some “Lipschitz” type conditions supposed in the literature combined with Schauder’s fixed point theorem.

We recall that the space formed by whole linear and bounded operators from $\mathbb{X}$ to $\mathbb{Y}$ is denoted by $\mathfrak{B}(\mathbb {X,Y})$, $\mathfrak{B}(\mathbb{X}):=\mathfrak{B}(\mathbb{X,X})$ for short.

Definition 3.1

([18])

If A is a closed and linear operator where domain $D(A)$ is defined in Banach space $\mathbb{X}$, $\alpha>0$ and $a\in L_{\mathrm{loc}}^{1}(\mathbb {R_{+}})$, there are a strongly continuous functions $S_{\alpha }:[0,\infty)\to\mathfrak{B}(\mathbb{X})$ and $\omega\geq0$ satisfying $\{\frac{\lambda^{\alpha}}{1+\hat{a}(\lambda)}:\operatorname{Re}\lambda>\omega\}\subset \bar{\rho}(A)$ and, for any $x\in\mathbb{X}$,

$$\bigl(\lambda^{\alpha}-\bigl(1+\hat{a}(\lambda)\bigr)A\bigr)^{-1}x =\frac{1}{1+\hat{a}(\lambda)} \biggl(\frac{\lambda^{\alpha}}{1+\hat{a}(\lambda)}-A\biggr)^{-1}x = \int_{0}^{\infty}e^{-\lambda t}S_{\alpha}(t)x\,dt,\quad \operatorname{Re}\lambda>\omega, $$

then the operator A is said to be the generator of an α-resolvent family, where the resolvent set of A and the Laplace transform of a are denoted by $\bar{\rho}(A)$ and â, respectively. In such a situation, $\{S_{\alpha}(t)\}_{t\geq0}$ is said to be the α-resolvent family generated by A.

Lemma 3.1

([22])

If for all $t>0$, $S_{\alpha}(t)$ is a continuous and compact operator in the uniform operator topology, then $\lim_{h\to0} \Vert S_{\alpha }(t+h)-S_{\alpha}(h)S_{\alpha}(t) \Vert=0$ and $\lim_{h\to0} \Vert S_{\alpha}(t)-S_{\alpha}(h)S_{\alpha}(t-h) \Vert=0$ for all $t>0$.

Definition 3.2

([18])

Let $\alpha>0$ and A be the generator of an α-resolvent family $\{S_{\alpha}(t)\}_{t\geq0}$. For a function $v\in C(\mathbb{R,X})$, if the function $s\mapsto S_{\alpha}(t-s)f(s,v(s))$ is integrable on $(-\infty,t)$ for each $t\in\mathbb{R}$ and

$$v(t)= \int_{-\infty}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds, $$

then the function v is called a mild solution of Eq. (1.1).

We will use the following assumptions:

($\mathrm{A}_{1}$):

A generates an α-resolvent family $\{ S_{\alpha}(t)\}_{t\geq0}$ satisfying $\Vert S_{\alpha}(t) \Vert\leq \varphi_{\alpha}(t)$, $\forall t\geq0$, where $\varphi_{\alpha}(t)\in L^{1}(\mathbb{R_{+}})$ is nonincreasing in t satisfying $\varphi _{0}:=\sum_{n=0}^{\infty}\varphi_{\alpha}(n)<\infty$.

($\mathrm{A}_{2}$):

The function $f=f_{1}+f_{2}\in \operatorname{PAA}^{p}(\mathbb {R\times X,X},\mu)$ where for each bounded subset $\mathbb{B}\subset \mathbb{X}$, $f_{1}\in \operatorname{AS}^{p}(\mathbb{R\times X,X})$ is uniform continuity uniformly in $t\in\mathbb{R}$ and $f_{2}^{b}\in\varepsilon(\mathbb{X}, L^{p}(0,1;\mathbb{X}),\mu)$.

($\mathrm{A}_{3}$):

$f\in \operatorname{PAA}^{p}(\mathbb{R\times X,X},\mu)$ and, for each bounded subset $\mathbb{B}\subset\mathbb{X}$, $f(t,v)$ is uniform continuity uniformly in $t\in\mathbb{R}$ and $\{f(\cdot,v): v\in\mathbb {B}\}$ is bounded in $\operatorname{PAA}^{p}(\mathbb{R\times X,X},\mu)$ for each bounded subset $\mathbb{B}\subset\mathbb{X}$.

For $v\in \operatorname{PAA}(\mathbb{X},\mu)$, record

$$Uv= \int_{-\infty}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds= \int^{\infty}_{0}S_{\alpha }(s)f\bigl(t-s,v(t-s) \bigr)\,ds. $$

Lemma 3.2

If (A) and ($\mathrm{A}_{1}$)–($\mathrm{A}_{3}$) hold, then $U: \operatorname{PAA}(\mathbb{X},\mu)\to \operatorname{PAA}(\mathbb{X},\mu)$ is continuous.

Proof

For $\chi\in \operatorname{BS}^{p}(\mathbb{X})$ and $t\in\mathbb{R}$, by ($\mathrm{A}_{1}$), we have

$$\begin{aligned} \biggl\Vert \int^{\infty}_{0}S_{\alpha}(\varsigma)\chi(t- \varsigma )\,d\varsigma \biggr\Vert &\le\sum_{k=0}^{\infty}\int_{k}^{k+1} \bigl\Vert S_{\alpha}( \varsigma)\chi(t-\varsigma) \bigr\Vert \,d\varsigma \\ &\le\sum_{k=0}^{\infty}\int_{k}^{k+1} \bigl\Vert S_{\alpha}( \varsigma) \bigr\Vert \bigl\Vert \chi(t-\varsigma) \bigr\Vert \,d\varsigma \\ &\le\sum_{k=0}^{\infty}\int_{k}^{k+1}\varphi_{\alpha}(\varsigma) \bigl\Vert \chi(t-\varsigma) \bigr\Vert \,d\varsigma \\ & \le\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \int_{k}^{k+1} \bigl\Vert \chi(t-\varsigma) \bigr\Vert \,d\varsigma \\ & \le\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \biggl( \int_{k}^{k+1} \bigl\Vert \chi(t-\varsigma) \bigr\Vert ^{p}\,d\varsigma\biggr)^{\frac{1}{p}} \\ & = \sum_{k=0}^{\infty}\varphi_{\alpha}(k) \bigl\Vert \chi(t+k-1+\cdot) \bigr\Vert _{p} \\ & \le\varphi_{0} \Vert \chi \Vert _{S^{p}}. \end{aligned}$$

(3.1)

If $v\in \operatorname{PAA}(\mathbb{X},\mu)$, then $f(t, v(t))\in \operatorname{PAA}^{p}(\mathbb{X}, \mu )$ by Theorem 3.3 of [20] and Lemma 2.2 and we record $\psi(t)=f(t, v(t))$, $t\in\mathbb{R}$. Let $\psi=\psi_{1}+\psi_{2}$ with $\psi_{1}\in \operatorname{AS}^{p}(\mathbb{X})$ and $\psi_{2}^{b}\in\varepsilon (L^{p}(0,1;\mathbb{X}), \mu)$. For $t\in\mathbb{R}$, $i=1,2$, we denote

$$\Psi_{i}(t)= \int^{\infty}_{0}S_{\alpha}(\varsigma) \psi_{i}(t-\varsigma )\,d\varsigma. $$

By (3.1), for $t,s\in\mathbb{R}$, we have

$$\begin{aligned}& \bigl\Vert \Psi_{i}(t) \bigr\Vert \le\varphi_{0} \Vert \psi_{i} \Vert _{S^{p}}, \\& \bigl\Vert \Psi_{i}(t)-\Psi_{i}(s) \bigr\Vert \le\sum _{k=0}^{\infty}\varphi_{\alpha}(k) \bigl\Vert \psi_{i}(t+k-1+\cdot)-\psi_{i}(s+k-1+\cdot) \bigr\Vert _{p}. \end{aligned}$$

Notice that, for $t, s\in\mathbb{R}$, $\sum_{k=0}^{\infty}\varphi _{\alpha}(k) \Vert\psi_{i}(t+k-1+\cdot)-\psi_{i}(s+k-1+\cdot) \Vert_{p}$ is uniformly convergent. So $\Psi_{i}\in \operatorname{BC}(\mathbb{R, X})$. At present, the proof is achieved in the following three steps.

Step 1. Since $\psi_{1}\in \operatorname{AS}^{p}(\mathbb{X})$, for $\{s'_{n}\}\subset \mathbb{R}$ and $t\in\mathbb{R}$, there is $\{s_{n}\}\subset\{s'_{n}\}$ and a function $\hat{\psi}_{1}\in L_{\mathrm{loc}}^{p}(\mathbb{R, X})$ satisfying

$$\begin{aligned} \lim_{n\to\infty} \bigl\Vert \psi_{1}(t+s_{n}+ \cdot)-\hat{\psi}_{1}(t+\cdot) \bigr\Vert _{p}=\lim _{n\to\infty} \bigl\Vert \hat{\psi}_{1}(t-s_{n}+ \cdot )-\psi_{1}(t+\cdot) \bigr\Vert _{p}= 0. \end{aligned}$$

(3.2)

Let

$$\hat{\Psi}_{1}(t)= \int^{\infty}_{0}S_{\alpha}(\varsigma)\hat{\psi }_{1}(t-\varsigma)\,d\varsigma,\quad t\in\mathbb{R}. $$

It is easy to see that $\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \Vert\psi _{1}(t+s_{n}+k-1+\cdot)-\hat{\psi}_{1}(t+k-1+\cdot) \Vert_{p}$ is uniformly convergent in $t\in\mathbb{R}$. For $t\in\mathbb{R}$, by (3.1) and (3.2), we have

$$\begin{aligned} & \bigl\Vert \Psi_{1}(t+s_{n})-\hat{\Psi}_{1}(t) \bigr\Vert \\ &\quad = \biggl\Vert \int^{\infty}_{0}S_{\alpha}(\varsigma) \bigl(\psi _{1}(t+s_{n}-\varsigma)-\psi_{1}(t-\varsigma) \bigr)\,d\varsigma \biggr\Vert \\ &\quad \le\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \bigl\Vert \psi _{1}(t+s_{n}+k-1+ \cdot)-\hat{\psi}_{1}(t+k-1+\cdot) \bigr\Vert _{p} \\ &\quad \to0\quad\mbox{as }n\to\infty. \end{aligned}$$

Analogously, we are also able to testify that

$$\lim_{n\to\infty} \bigl\Vert \hat{\Psi}_{1}(t-s_{n})- \Psi_{1}(t) \bigr\Vert = 0\quad\mbox{for }t\in\mathbb{R}. $$

This implies that $\Psi_{1}\in \operatorname{AA}(\mathbb{X})$.

Step 2. Since (A) holds, we obtain

$$\begin{aligned} &\lim_{S\to\infty}\frac{1}{\mu([-S,S])} \int_{[-S,S]}\biggl( \int_{k}^{k+1} \bigl\Vert \psi_{2}(t- \varsigma) \bigr\Vert ^{p}\,d\varsigma\biggr)^{\frac {1}{p}}\,d \mu \\ &\quad =\lim_{S\to\infty}\frac{1}{\mu([-S,S])} \int_{[-S,S]} \bigl\Vert \psi _{2}(t+k-1+\cdot) \bigr\Vert _{p}\,d\mu=0, \quad k=1,2,\ldots. \end{aligned}$$

Obviously, $\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \Vert\psi _{2}(t+k-1+\cdot) \Vert_{p}$ is uniformly convergent in $t\in\mathbb{R}$ and

$$\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \frac{1}{\mu([-S,S])} \int _{[-S,S]}\biggl( \int_{k}^{k+1} \bigl\Vert \psi_{2}(t- \varsigma) \bigr\Vert ^{p}\,d\varsigma\biggr)^{\frac{1}{p}}\,d\mu $$

is uniformly convergent in $S\in(0, \infty)$. By (3.1),

$$\begin{aligned} &\frac{1}{\mu([-S,S])} \int_{[-S,S]} \bigl\Vert \Psi_{2}(t) \bigr\Vert \,d\mu \\ &\quad=\frac{1}{\mu([-S,S])} \int_{[-S,S]} \biggl\Vert \int^{\infty }_{0}S_{\alpha}(\varsigma) \psi_{2}(t-\varsigma)\,d\varsigma \biggr\Vert \,d\mu \\ &\quad\le\frac{1}{\mu([-S,S])} \int_{[-S,S]} \Biggl[\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \bigl\Vert \psi_{2}(t+k-1+\cdot) \bigr\Vert _{p} \Biggr]\,d\mu \\ &\quad=\sum_{k=0}^{\infty}\varphi_{\alpha}(k) \frac{1}{\mu([-S,S])} \int _{[-S,S]}\biggl( \int_{k}^{k+1} \bigl\Vert \psi_{2}(t- \varsigma) \bigr\Vert ^{p}\,d\varsigma\biggr)^{\frac{1}{p}}\,d\mu \\ &\quad\to0\quad\mbox{as }S\to\infty. \end{aligned}$$

This implies that $\Psi_{2}\in\varepsilon(\mathbb{X}, \mu)$.

Step 3. For $\epsilon>0$ and $u, v\in \operatorname{PAA}(\mathbb{X},\mu)$, there is $\sigma>0$ such that $\Vert u-v \Vert<\sigma$. By ($\mathrm{A}_{3}$), we obtain $\Vert f(t,u(t))-f(t,v(t)) \Vert<\epsilon$ for $t\in\mathbb{R}$ and record $\kappa(t)= f(t,u(t))-f(t,v(t)), t\in \mathbb{R}$, thus $\Vert\kappa\Vert_{S^{p}}\le\epsilon$. Thus from (3.1), we have

$$\Vert Uu-Uv \Vert = \sup_{t\in\mathbb{R}} \biggl\Vert \int ^{\infty}_{0}S_{\alpha}(\varsigma)\kappa(t- \varsigma)\,d\varsigma \biggr\Vert \le\varphi_{0} \Vert \kappa \Vert _{S^{p}}\le\varphi _{0}\epsilon. $$

This implies that $U: \operatorname{PAA}(\mathbb{X},\mu)\to \operatorname{PAA}(\mathbb{X},\mu)$ is uniformly continuous. □

We provide some hypotheses which will be applied below:

($\mathrm{A}_{4}$):

There is $r>0$ satisfying $\Vert f(t,v) \Vert _{S^{p}}\leq\frac{r}{\varphi_{0}}$ for $v\in \operatorname{PAA}(\mathbb{X},\mu)$ with $\Vert v \Vert\leq r$.

($\mathrm{A}_{5}$):

Let $\{v_{n}\}$ be a bounded sequence in $\operatorname{PAA}(\mathbb{X},\mu)$ and uniform continuity in any compact subset of $\mathbb{R}$. Then $\{f(\cdot,v_{n}(\cdot))\}$ is relatively compact in $\operatorname{PAA}^{p}(\mathbb {X},\mu)$.

Theorem 3.1

If $S_{\alpha}(t)$ is a continuous and compact operator for all $t>0$ in the uniform operator topology, then under assumptions (A) and ($\mathrm{A}_{1}$)–($\mathrm{A}_{5}$), Eq. (1.1) has a μ-paa mild solution.

Proof

Let $B_{r}:=\{v\in \operatorname{PAA}(\mathbb{X},\mu): \Vert v \Vert\leq r\}$. Then $B_{r}$ is a convex and closed subset of $\operatorname{PAA}(\mathbb{X},\mu)$. The proof can be carried out via a four-step process.

Step 1: For $r>0$, we can obtain $\operatorname{UB}_{r}\subset B_{r}$. For $v\in B_{r}$, $t\in \mathbb{R}$, by ($\mathrm{A}_{1}$) and ($\mathrm{A}_{4}$), then

$$\begin{aligned} \bigl\Vert Uv(t) \bigr\Vert &= \biggl\Vert \int_{-\infty}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\leq\sum_{n=1}^{\infty} \biggl\Vert \int_{t-n}^{t-n+1}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\leq\sum_{n=1}^{\infty} \int_{t-n}^{t-n+1} \bigl\Vert S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\sum_{n=1}^{\infty} \int_{t-n}^{t-n+1}\varphi_{\alpha}(t-s) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\sum_{n=1}^{\infty}\varphi_{\alpha}(n-1) \biggl( \int_{t-n}^{t-n+1} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac{1}{p}} \\ &\leq\sum_{n=0}^{\infty}\varphi_{\alpha}(n) \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &=\varphi_{0} \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\leq r. \end{aligned}$$

Thus $\operatorname{UB}_{r}\subset B_{r}$.

Step 2: For $v\in B_{r}$, by ($\mathrm{A}_{4}$) and (3.1), we have

$$\Vert Uv \Vert =\sup_{t\in\mathbb{R}} \biggl\Vert \int^{\infty }_{0}S_{\alpha}(\varsigma)f\bigl(t- \varsigma,v(t-\varsigma)\bigr)\,d\varsigma \biggr\Vert \leq\varphi_{0} \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}}\leq r. $$

Then $U:B_{r}\to B_{r}$ is continuous by Lemma 3.2.

Step 3: $\{Uv:v\in B_{r}\}\subset \operatorname{PAA}(\mathbb{X},\mu)$ is equi-continuous. Let $q>1$ satisfy $\frac{1}{p}+\frac{1}{q}=1$ and take $t_{1},t_{2}\in\mathbb{R}$ with $t_{1}>t_{2}$ and $0<\epsilon<1$ such that $\eta =\min\{1-(\frac{\epsilon}{12r})^{q},(\frac{\epsilon}{12r})^{q}\}\leq1$. For $v\in B_{r}$, with $r>0$ and $t_{1}-t_{2}<\eta$, we can decompose $Uv(t_{1})-Uv(t_{2})=I_{1}+I_{2}+I_{3}$, where

$$\begin{aligned}& I_{1} = \int_{t_{2}}^{t_{1}}S_{\alpha}(t_{1}-s)f \bigl(s,v(s)\bigr)\,ds, \\& I_{2} = \int_{t_{2}-\eta}^{t_{2}}\bigl[S_{\alpha}(t_{1}-s)-S_{\alpha}(t_{2}-s)\bigr]f\bigl(s,v(s)\bigr)\,ds, \\& I_{3} = \int_{-\infty}^{t_{2}-\eta}\bigl[S_{\alpha}(t_{1}-s)-S_{\alpha}(t_{2}-s)\bigr]f\bigl(s,v(s)\bigr)\,ds. \end{aligned}$$

By ($\mathrm{A}_{1}$) and ($\mathrm{A}_{4}$), we have

$$\begin{aligned}& \begin{aligned}[b] \Vert I_{1} \Vert &\leq \int_{t_{2}}^{t_{1}} \bigl\Vert S_{\alpha}(t_{1}-s) \bigr\Vert \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq \int_{t_{2}}^{t_{1}}\varphi_{\alpha}(t_{1}-s) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\biggl( \int_{t_{2}}^{t_{1}}\varphi_{\alpha}^{q}(t_{1}-s)\,ds \biggr)^{\frac{1}{q}}\cdot \biggl( \int_{t_{2}}^{t_{1}} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac {1}{p}} \\ &\leq\varphi_{0}\cdot\eta^{\frac{1}{q}} \bigl\Vert f\bigl( \cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\leq\varphi_{0}\cdot\eta^{\frac{1}{q}}\cdot\frac{r}{\varphi_{0}} \\ &\leq\frac{\epsilon}{6}, \end{aligned} \end{aligned}$$

(3.3)

$$\begin{aligned}& \begin{aligned}[b] \Vert I_{2} \Vert &\leq \int_{t_{2}-\eta}^{t_{2}} \bigl\Vert S_{\alpha}(t_{1}-s)-S_{\alpha}(t_{2}-s) \bigr\Vert \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq \int_{t_{2}-\eta}^{t_{2}}\bigl(\varphi_{\alpha}(t_{1}-s)+ \varphi_{\alpha}(t_{2}-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\biggl( \int_{t_{2}-\eta}^{t_{2}}\bigl(\varphi_{\alpha}(t_{1}-s)+ \varphi_{\alpha}(t_{2}-s)\bigr)^{q}\,ds \biggr)^{\frac{1}{q}}\cdot \biggl( \int_{t_{2}-\eta}^{t_{2}} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac {1}{p}} \\ &\leq2\varphi_{0}\cdot\eta^{\frac{1}{q}} \bigl\Vert f\bigl( \cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\leq2\varphi_{0}\cdot\eta^{\frac{1}{q}}\cdot \frac{r}{\varphi_{0}} \\ &\leq\frac{\epsilon}{3}, \end{aligned} \end{aligned}$$

(3.4)

and

$$\begin{aligned} \Vert I_{3} \Vert &\leq \int_{-\infty}^{t_{2}-\eta} \bigl\Vert \bigl[S_{\alpha}(t_{1}-s)-S_{\alpha}(t_{2}-s) \bigr] \bigr\Vert \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\sum_{n=1}^{\infty} \int_{t_{2}-\eta-n}^{t_{2}-\eta-n+1}\bigl(\varphi_{\alpha}(t_{1}-s)+\varphi_{\alpha}(t_{2}-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\sum_{n=1}^{\infty} \int_{t_{2}-\eta-n}^{t_{2}-n}\bigl(\varphi_{\alpha}(t_{1}-s)+\varphi_{\alpha}(t_{2}-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad{} +\sum_{n=1}^{\infty} \int_{t_{2}-n}^{t_{2}-\eta-n+1}\bigl(\varphi _{\alpha}(t_{1}-s)+ \varphi_{\alpha}(t_{2}-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\leq\sum_{n=1}^{\infty}\bigl( \varphi_{\alpha}(t_{1}-t_{2}+n-1)+\varphi_{\alpha}(n-1)\bigr)\cdot\eta^{\frac{1}{q}} \cdot \bigl\Vert f\bigl(\cdot,v(\cdot) \bigr) \bigr\Vert _{S^{p}} \\ &\quad {} +\sum_{n=1}^{\infty}\bigl( \varphi_{\alpha}(t_{1}-t_{2}+n-1)+\varphi_{\alpha}(n-1)\bigr)\cdot(1-\eta)^{\frac{1}{q}} \cdot \bigl\Vert f\bigl(\cdot,v(\cdot) \bigr) \bigr\Vert _{S^{p}} \\ &\leq2\varphi_{0}\cdot\eta^{\frac{1}{q}}\cdot\frac{r}{\varphi_{0}}+2 \varphi _{0}\cdot(1-\eta)^{\frac{1}{q}}\cdot\frac{r}{\varphi_{0}} \\ &\leq\frac{\epsilon}{3}. \end{aligned}$$

(3.5)

From (3.3), (3.4) and (3.5), we have

$$\bigl\Vert Uv(t_{1})-Uv(t_{2}) \bigr\Vert < \epsilon. $$

Step 4: $\{(Uv)(t):v\in B_{r}\}$ is relatively compact sets in X for any $t\in\mathbb{R}$. Let there is $\epsilon\in(0,1)$, then $\{S_{\alpha}(\epsilon)\int_{-\infty }^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f(s,v(s))\,ds: v\in B_{r}\}$ is relatively compact since $S_{\alpha}(\epsilon)$ is compact. Furthermore, for arbitrary $\epsilon<\delta<1$, we have

$$\begin{aligned} & \biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\quad \leq \int_{-\infty}^{t-\epsilon} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon) -S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f \bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad \leq \int_{-\infty}^{t-\delta} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon) -S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f \bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\qquad {}+ \int_{t-\delta}^{t-\epsilon} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon) -S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f \bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad\leq\sum_{n=1}^{\infty} \int_{t-\delta-n}^{t-\delta-n+1} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon) -S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f \bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\qquad {}+ \int_{t-\delta}^{t-\epsilon} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon) -S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f \bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad\leq\sum_{n=1}^{\infty} \int_{t-\delta-n}^{t-\delta-n+1}\bigl(\varphi_{\alpha}(\epsilon) \varphi_{\alpha}(t-s-\epsilon) +\varphi_{\alpha}(t-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\qquad {}+ \int_{t-\delta}^{t-\epsilon}\bigl(\varphi_{\alpha}(\epsilon) \varphi_{\alpha}(t-s-\epsilon) +\varphi_{\alpha}(t-s)\bigr) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad\leq\sum_{n=1}^{\infty}\biggl( \int_{t-\delta-n}^{t-\delta-n+1}\bigl(\varphi_{\alpha}(\epsilon) \varphi_{\alpha}(t-s-\epsilon) +\varphi_{\alpha}(t-s) \bigr)^{q}\,ds\biggr)^{\frac{1}{q}} \\ &\qquad{} \cdot\biggl( \int_{t-\delta-n}^{t-\delta-n+1} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac{1}{p}} \\ &\qquad {}+\biggl( \int_{t-\delta}^{t-\epsilon}\bigl(\varphi_{\alpha}(\epsilon) \varphi_{\alpha}(t-s-\epsilon) +\varphi_{\alpha}(t-s) \bigr)^{q}\,ds\biggr)^{\frac{1}{q}} \\ &\qquad{} \cdot\biggl( \int_{t-\delta}^{t-\epsilon} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac{1}{p}} \\ &\quad\leq\sum_{n=1}^{\infty}\bigl( \varphi_{\alpha}(\epsilon)\varphi_{\alpha}(\delta +n-1-\epsilon) + \varphi_{\alpha}(\delta+n-1)\bigr) \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\qquad {}+\bigl(\varphi_{\alpha}(\epsilon)\varphi_{\alpha}(0) + \varphi_{\alpha}(\epsilon)\bigr) (\delta-\epsilon)^{\frac{1}{q}} \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\quad\leq\bigl(\varphi_{\alpha}(\epsilon)\varphi_{0} + \varphi_{0}\bigr) \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \\ &\qquad{} +\bigl(\varphi_{\alpha}(\epsilon)\varphi_{\alpha}(0) + \varphi_{\alpha}(\epsilon)\bigr) (\delta-\epsilon)^{\frac{1}{q}} \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}}. \end{aligned}$$

By using Lemma 3.1, we know

$$S_{\alpha}(\epsilon)S_{\alpha}(t-s-\epsilon)-S_{\alpha}(t-s) \to0, \quad\mbox{as }\epsilon\to0 \mbox{ for } s\in(-\infty,t- \delta], $$

and

$$\int_{-\infty}^{t-\delta} \bigl\Vert S_{\alpha}( \epsilon)S_{\alpha}(t-s-\epsilon)-S_{\alpha}(t-s) \bigr\Vert \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \leq\bigl(\varphi_{\alpha}( \epsilon)\varphi_{0}+\varphi_{0}\bigr) \bigl\Vert f\bigl( \cdot ,v(\cdot)\bigr) \bigr\Vert _{S^{p}}. $$

Thus, by utilizing the arbitrariness of δ and the Lebesgue dominated convergence theorem, we obtain

$$\lim_{\epsilon\to0} \biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon }S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert =0. $$

Also,

$$\begin{aligned} & \biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\quad\leq\biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\qquad{}+ \biggl\Vert \int_{t-\epsilon}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\quad\leq\biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\qquad{}+ \int_{t-\epsilon}^{t}\varphi_{\alpha}(t-s) \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert \,ds \\ &\quad\leq\biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\qquad {} +\biggl( \int_{t-\epsilon}^{t}\varphi_{\alpha}^{q}(t-s)\,ds\biggr)^{\frac{1}{q}}\cdot\biggl( \int_{t-\epsilon}^{t} \bigl\Vert f\bigl(s,v(s)\bigr) \bigr\Vert ^{p}\,ds\biggr)^{\frac{1}{p}} \\ &\quad\leq\biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t-\epsilon}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert \\ &\qquad{}+\varphi_{\alpha}(0)\cdot\epsilon^{\frac{1}{q}} \cdot \bigl\Vert f\bigl(\cdot,v(\cdot)\bigr) \bigr\Vert _{S^{p}} \end{aligned} $$

Thus,

$$\lim_{\epsilon\to0} \biggl\Vert S_{\alpha}(\epsilon) \int_{-\infty}^{t-\epsilon }S_{\alpha}(t-s-\epsilon)f \bigl(s,v(s)\bigr)\,ds - \int_{-\infty}^{t}S_{\alpha}(t-s)f\bigl(s,v(s) \bigr)\,ds \biggr\Vert =0, $$

which implies that $\{\int_{-\infty}^{t}S_{\alpha}(t-s)f(s,v(s))\,ds:v\in B_{r}\}$ is relatively compact in X by using the total boundedness. Hence, the set $\{(Uv)(t):v\in B_{r}, r>0\}$ is relatively compact in X for every $t\in\mathbb{R}$. Thus, U is completely continuous on $B_{r}$.

Now, the convex and closed hull of $U(B_{r})$ is denoted by $\overline{\operatorname{co}} U(B_{r})$. Since $U(B_{r})\subset B_{r}$ and $B_{r}$ is convex and closed, $\overline{\operatorname{co}} U(B_{r})\subset B_{r}$. Therefore, $U(\overline{\operatorname{co}} U(B_{r}))\subset U(B_{r})\subset\overline{\operatorname{co}} U(B_{r})$. This means that $U:\overline{\operatorname{co}} U(B_{r})\to\overline{\operatorname{co}} U(B_{r})$ is a continuous mapping. It is easy to prove that, for each $t\in\mathbb{R}$, $\{x(t): x\in\overline{\operatorname{co}} U(B_{r})\}$ is relatively compact in $\mathbb{X}$, and $\overline{\operatorname{co}} U(B_{r})\subset \operatorname{BC}(\mathbb{R,X})$ is uniformly bound and equi-continuous since $\operatorname{UB}_{r}$ is. According to Arzela–Ascoli theorem, $\{x(t):x\in\overline{\operatorname{co}} U(B_{r})\}_{t\in I}$ is relatively compact in $C(I,\mathbb{R})$, where I is an arbitrary compact subset of $\mathbb {R}$. By ($\mathrm{A}_{5}$), $\{f(\cdot,v_{n}(\cdot))\}$ is relatively compact in $\operatorname{PAA}^{p}(\mathbb{X},\mu)$. Therefore there is a subsequence of $\{f(\cdot,v_{n}(\cdot))\}$, recorded once more by $\{f(\cdot,v_{n}(\cdot ))\}$, which is convergent in $\operatorname{PAA}^{p}(\mathbb{X},\mu)$, that is, for $\epsilon>0$, There is $N>0$ satisfying, for $m,n>N$,

$$\bigl\Vert f\bigl(\cdot,v_{n}(\cdot)\bigr)-f\bigl( \cdot,v_{m}(\cdot)\bigr) \bigr\Vert _{S^{p}}< \frac{\epsilon}{\varphi_{0}}. $$

For $m,n>N$, from (3.1), we have

$$\Vert Uv_{n}-Uv_{m} \Vert =\sup_{t\in\mathbb{R}} \bigl\Vert Uv_{n}(t)-Uv_{m}(t) \bigr\Vert \leq \varphi_{0} \bigl\Vert f\bigl(\cdot,v_{n}(\cdot )\bigr)-f \bigl(\cdot,v_{m}(\cdot)\bigr) \bigr\Vert _{S^{p}}< \epsilon, $$

which means that $\{Uv_{n}\}$ is convergent in $\operatorname{PAA}(\mathbb{X},\mu)$. Thus, $U:\overline{\operatorname{co}} U(B_{r})\to\overline{\operatorname{co}} U(B_{r})$ is a compact operator. By using Schauder’s fixed point theorem, U has a fixed point $v\in\overline{\operatorname{co}} U(B_{r})$. This is just a μ-paa mild solution of Eq. (1.1) such that $\Vert v \Vert< r$. □

4 An example

In order to conclude our article, we provide a briefness application to explain our abstract results.

Example 4.1

Let $A=-\varrho I$, $a(t)=\frac{\varrho}{4}\frac{t^{\alpha-1}}{\Gamma (\alpha)}$, $\varrho>0$, $0<\alpha<1$ and $f(t,v)=f_{1}(t,v)+f_{2}(t,v)$ where $f_{1}(t,v)=\sin\frac{1}{2+\cos t+\cos\pi t}$, $f_{2}(t,v)=\frac {1}{1+t^{2}}h(v)$ and $h(v) = \bigl\{ \scriptsize{ \begin{array}{l@{\quad}l} v\sin\frac{1}{v},&v \ne0, \\ 0,&v = 0. \end{array}}$

From Eq. (1.1), we obtain

$$ D^{\alpha}v(t)=-\varrho v(t)-\frac{\varrho^{2}}{4} \int_{-\infty}^{t}\frac {(t-s)^{\alpha-1}}{\Gamma(\alpha)}v(s)\,ds+f\bigl(t,v(t) \bigr),\quad t\in\mathbb{R}. $$

(4.1)

From Example 4.17 of [18], we known that A generates an α-resolvent family $\{S_{\alpha}(t)\}_{t\geq0}$ satisfying $S_{\alpha }(t)=(r*r)(t)$ and $S_{\alpha}(t)\in L^{1}(\mathbb{R}_{+})$, where $r=t^{\frac{\alpha}{2}-1}E_{\alpha,\frac{\alpha}{2}}(-\frac{\varrho }{2}t^{\alpha})$. Thus, it is easy to see that the α-resolvent family $\{S_{\alpha}(t)\}_{t\geq0}$ satisfy the assumption ($\mathrm{A}_{1}$).

Note that the function $f\in \operatorname{PAA}^{p}(\mathbb{R\times X},\mu)$, with the measure μ whose Radon–Nikodym derivative ρ is defined as

$$\rho(t)= \textstyle\begin{cases} e^{-t}, & t\in(0,+\infty),\\ 1, & t\in(-\infty, 0]. \end{cases} $$

It is easy to prove that $\varepsilon(\mathbb{R\times X},L^{p}(0,1;\mathbb {X}),\mu)$ is translation invariant, thus (A) holds. Moreover, we can inspect that f meets all requirements ($\mathrm{A}_{2}$)–($\mathrm{A}_{5}$). Then Eq. (4.1) has a mild solution in $\operatorname{PAA}(\mathbb{X},\mu)$ by Theorem 3.1.

Obviously, f does not fulfill any kind of “Lipschitz” type condition. Thus, the results in the literature [20, 21] with some “Lipschitz condition” are not inadequate.