Skip to main content

Advertisement

Boundary Value Problems
Boundary Value Problems Cover Image
We’d like to understand how you use our websites in order to improve them. Register your interest.
Download PDF

Existence of mild solutions for Sobolev-type Hilfer fractional evolution equations with boundary conditions

Boundary Value Problems volume 2018, Article number: 48 (2018) Cite this article

Abstract

This paper is concerned with the fractional differential equations of Sobolev type with boundary conditions in a Banach space. With the help of the properties of Hilfer fractional calculus, the theory of propagation families as well as the theory of the measure of noncompactness and fixed point methods, we obtain the existence results of mild solutions for Sobolev-type fractional evolution differential equations involving the Hilfer fractional derivative. Finally, an example is presented to illustrate the main result.

Introduction

In the last decades, fractional calculus and fractional differential equations have attracted much attention; we refer to [1–17] and the references therein. It is found that many phenomena can be modeled with the help of fractional derivatives or integrals, such as fractional Brownian motion [18], anomalous diffusion [19, 20], etc. Fractional differential equations have been applied to various fields successfully, for example, physics, engineering, chemistry, aerodynamics, electrodynamics of a complex medium, polymer rheology, and they have been emerging as an important area of investigation in the last few decades; see [1, 18, 21–23]. It is a development in the theory and application of fractional differential equations with the Riemann–Liouville fractional derivative or the Caputo fractional derivative, see [24–31] and the references therein.

In recent years, Hilfer fractional differential equations have received much attention. Hilfer [9, 32, 33] proposed a generalized Riemann–Liouville fractional derivative, for short, Hilfer fractional derivative, which includes the Riemann–Liouville fractional derivative and the Caputo fractional derivative. It seems that Hilfer et al. [1, 34] have initially proposed linear differential equations with the new fractional operator, the Hilfer fractional derivative, and applied operational calculus to solve such simple fractional differential equations. Thereafter, Furati et al. [4] discussed the existence and uniqueness for the general problem

$$ \textstyle\begin{cases} D^{\nu,\mu}_{a+}u(t)=f(t,u(t)),&0\leq\nu\leq1, 0< \mu < 1, t>a,\\ I^{1-\gamma}_{a+}u(a+)=c,& c>0, \mu\leq\gamma=\mu+\nu-\mu\nu< 1, \end{cases} $$

where \(D^{\nu,\mu}_{0+}\) is the Hilfer fractional derivative. Next, Wang and Zhang [35] extended the above initial condition to a nonlocal boundary value problem of the form

$$ \textstyle\begin{cases} D^{\nu,\mu}_{a+}u(t)=f(t,u(t)),&0\leq\nu\leq1, 0< \mu< 1, t\in (a,b],\\ I^{1-\gamma}_{a+}u(0)=\sum_{i=1}^{m}\lambda_{i}u(\tau_{i}),&\mu\leq \gamma=\mu+\nu-\mu\nu< 1,\tau_{i}\in(a,b]. \end{cases} $$

In [36], Gao and Yu studied Hilfer integral boundary value problems for the following relaxation fractional differential equations:

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}u(t)=cu(t)+f(t,u(t)),& c>0, 0\leq\nu\leq1, 0< \mu< 1, t\in(0,b],\\ I^{1-\gamma}_{0+}u(0+)=\sum_{i=1}^{m}\lambda_{i}I_{0+}^{1-\gamma}u(\tau _{i}),&\mu\leq\gamma=\mu+\nu-\mu\nu< 1, \tau_{i}\in(0,b) \end{cases} $$

involving Hilfer fractional derivatives, \(0\leq\nu\leq1\), \(0<\mu<1\), by using Mittag–Leffler functions.

In particular, Gu and Trujillo [5] investigated a class of evolution equations,

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}u(t)=Au(t)+f(t,u(t)),& t\in(0,b],\\ I^{(1-\nu)(1-\mu)}_{0+}u(0)=u_{0}, \end{cases} $$

with Hilfer fractional derivatives, by the Laplace transform and density function; they first gave the mild solution definition.

On the other hand, a Sobolev-type equation appears in a variety of physical problems such as flow of fluid through fissured rocks, thermodynamics, propagation of long waves of small amplitude and so on [37–39]. The existence result of mild solutions of fractional integrodifferential equations of Sobolev type with nonlocal condition in a separable Banach space was studied by using the theory of propagation families as well as the theory of the measures of noncompactness and the condensing maps [6]. Recently, we used the fixed point theorems combined with the theory of propagation families to discuss the existence of mild solutions for nonlinear fractional non-autonomous evolution equations of Sobolev type with delay of the form

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}(Bu(t))=Au(t)+Bf(t,u(\tau_{1}(t)),\ldots,u(\tau _{m}(t))),\quad t\in J,\\ I^{(1-\nu)(1-\mu)}_{0+}Bu(0)=Bu_{0}, \end{cases} $$

where \(D^{\nu,\mu}_{0+}\) is the Hilfer fractional derivative which will be given in the next section, \(0\leq\nu\leq1\), \(0<\mu<1\), the state \(u(\cdot)\) takes values in a Banach space E. \(J=[0,b]\) (\(b>0\)), \(J'=(0,b]\). This work is based on the theory of propagation families \(\{ W(t)\}_{t\geq0}\) introduced by Jin Liang and Ti-Jun Xiao [19] and the measure of noncompactness, which ensure us that it is not necessary to assume the nonlinear term f satisfies a Lipschitz type condition; for more details, see [34].

To the best of our knowledge, there are no results about Hilfer fractional evolution differential equations of Sobolev type with boundary conditions. Motivated by the above discussion, in this paper, we use fixed point theorems combined with the theory of propagation families to discuss the existence of mild solutions for existence results for Hilfer fractional evolution differential equations of Sobolev type with boundary conditions of the form

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}(Bu(t))=Au(t)+Bf (t,u(t),\int_{0}^{t}\rho(t,s)h(t,s,u(s))\,ds ), \\ \quad 0\leq\nu\leq1, 0< \mu< 1, t\in J,\\ I^{1-\gamma}_{0+}Bu(0)=\sum_{i=1}^{m}\lambda_{i}I_{0+}^{1-\gamma}Bu(\tau_{i}),\\ \quad \mu\leq\gamma=\mu+\nu-\mu\nu< 1, \tau_{i}\in(0,b], \end{cases} $$
(1.1)

where \(D^{\nu,\mu}_{0+}\) is the Hilfer fractional derivative of order μ and type ν, which is an interpolator between Riemann–Liouville and Caputo fractional derivatives. The operator \(D^{\nu,\mu}_{0+}\) is a generalization of the Riemann–Liouville fractional derivative operator introduced by Hifter in [9, 32, 33], the state \(u(\cdot)\) takes values in a Banach space E. \(J=[0,b](b>0), J'=(0,b]\). A and B are closed (unbounded) linear operators with domains contained in E, the pair \((A,B)\) generate a propagation family \(\{W(t)\}_{t\geq0}\). \(f:[0,b]\times E\times E\rightarrow D(B)\subset E, g:C([0,b],E)\rightarrow D(B)\subset E\) are given functions to be specified later, \(\rho:\Delta\rightarrow R, h:\Delta \times E\rightarrow E(\Delta=\{(t,s)\in[0,b]\times[0,b]: t\geq s\} ),\tau_{i},i=1,2,\ldots,m\) are pre-fixed points satisfying \(0<\tau _{1}\leq\cdots\leq\tau_{m}<b\) and \(\lambda_{i}\) are real numbers. Here the existence of \(B^{-1}\) is not necessarily assumed.

The rest of this paper is organized as follows: In Sect. 2, we recall some basic known results and introduce some notation. In Sect. 3, we discuss the existence theorems of mild solutions for the problem (1.1). Finally, an example will be presented to illustrate the main results.

Preliminaries

In this section, we briefly recall some basic known results which will be used in the sequel. Throughout this work, we set \(J = [0, b]\), where \(b >0\) is a constant. Let E be a Banach space with the norm \(\Vert \cdot \Vert \) and the pair \((A,B)\) generate a propagation family \(\{W(t)\}_{t\geq0}\) (see Definition 2.6). We denote by \(B(E)\) the Banach space of all bounded linear operators from E to E. For a closed and linear operator \(W:D(W)\subset E\rightarrow E\), where \(D(W)\) is the domain of T, we denote by \(\rho (W)\) its resolvent set. We also denote by \(C(J,E)\) the Banach space of all continuous E-value functions on the interval J with the norm \(\Vert u \Vert =\sup_{t\in J} \Vert u(t) \Vert \). Let

$$C_{1-\gamma}(J,E)= \bigl\{ u:J\rightarrow E|t^{1-\gamma}u(t)\in C(J,E) \bigr\} $$

with the norm \(\Vert \cdot \Vert _{C_{1-\gamma}}\) defined by

$$\Vert u \Vert _{C_{1-\gamma}}=\sup_{0\leq t\leq b} \bigl\vert t^{1-\gamma}u(t) \bigr\vert . $$

Evidently, \(C_{1-\gamma}(J,E)\) is a Banach space. Meanwhile, \(C_{1-\gamma}^{\gamma}(J,E)= \{f\in C_{1-\gamma }(J,E),^{c}D^{\alpha}_{0^{+}}f(t)\in C_{1-\gamma}(J,E) \}\).

For completeness we recall the following definitions from fractional calculus.

Definition 2.1

The Riemann–Liouville fractional integral of order α of a function \(f:[0,\infty)\rightarrow R\) is defined as

$$I_{0+}^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}f(s)\,ds,\quad t>0, \alpha>0, $$

provided the right side is point-wise defined on \((0,\infty)\).

Definition 2.2

The Riemann–Liouville derivative of order α with the lower limit zero for a function \(f:[0,\infty)\rightarrow R\) can be written as

$$D^{\alpha}_{0^{+}}f(t)=\frac{1}{\Gamma(n-\alpha)}\frac {d^{n}}{dt^{n}} \int_{0}^{t}\frac{f(s)}{(t-s)^{\alpha +1-n}}\,ds,\quad t>0,n-1< \alpha< n. $$

Definition 2.3

The Caputo fractional derivative of order α for a function \(f:[0,\infty)\rightarrow R\) can be written as

$$^{c}D^{\alpha}_{0^{+}}f(t)=D^{\alpha}_{0^{+}} \Biggl[f(t)-\sum_{k=0}^{n-1} \frac{t^{k}}{k!}f^{(k)}(0) \Biggr],\quad t>0, n-1< \alpha< n, $$

where \(n = [\alpha] + 1\) and \([\alpha]\) denotes the integer part of α.

If u is an abstract function with values in E, then the integrals which appear in Definitions 2.2 and 2.3 are taken in Bochner’s sense.

Definition 2.4

(Hilfer fractional derivative; see [9]). The generalized Riemann–Liouville fractional derivative of order \(0\leq\nu\leq1\) and \(0<\mu<1\) with lower limit a is defined as

$$D^{\nu,\mu}_{a+}f(t)=I^{\nu(1-\mu)}_{a+}\, \frac{d}{dt}I^{(1-\nu )(1-\mu)}_{a+}f(t) $$

for functions such that the expression on the right hand side exists.

Recently (Hilfer et al. [32]), this definition for \(n-1 <\mu\leq n, n \in N, 0 \leq\nu\leq1\), was rewritten in a more general form:

$$D^{\nu,\mu}_{a+}f(t)=I^{\nu(n-\mu)}_{a+}\, \frac{d^{n}}{dt^{n}}I^{(1-\nu )(n-\mu)}_{a+}f(t)=I^{\nu(n-\mu)}_{a+}D_{a+}^{\mu+\nu n-\mu\nu}f(t), $$

where \(D_{a+}^{\mu+\nu n-\mu\nu}\) is the Riemann–Liouville fractional derivative and \(I_{a+}^{\nu(n-\mu)}\) is the Riemann–Liouville integral.

Remark 2.1

(i) When \(\nu=0,0<\mu<1\) and \(a=0\), the Hilfer fractional derivative corresponds to the classical Riemann–Liouville fractional derivative:

$$D_{0+}^{0,\mu}f(t)=\frac{d}{dt}I^{1-\mu}_{0+}f(t)=D^{\mu}_{0+}f(t). $$

(ii) When \(\nu=1, 0<\mu<1\) and \(a=0\), the Hilfer fractional derivative corresponds to the classical Caputo fractional derivative:

$$D^{1,\mu}_{0+}f(t)=I^{1-\mu}_{0+}\, \frac{d}{dt}f(t)=^{c}D^{\mu}_{0+}f(t). $$

Now, we recall the basic definitions and properties of the Kuratowski measure of noncompactness that will be used later.

Definition 2.5

([40])

Let E be a Banach space and \(\Omega_{E}\) be the bounded subsets of E. The Kuratowski measure of noncompactness is the map \(\alpha:\Omega_{E}\rightarrow[0,\infty)\) defined by (here \(B\in \Omega_{E}\))

$$\alpha(B)=\inf \Biggl\{ \varepsilon>0: B=\bigcup_{i=1}^{n} B_{i}\mbox{ and }\operatorname{diam}(B_{i})\leq\varepsilon \mbox{ for }i=1,\ldots,n \Biggr\} , $$

here \(\operatorname{diam}B_{i}=\sup\{ \vert x-y \vert :x,y\in B_{i}\}\).

Lemma 2.1

([41])

Let S and T be bounded sets of E and a be a real number. Then the noncompactness measure has the following properties:

  1. (1)

    \(\alpha(S)=0\) if and only if S is a relatively compact set.

  2. (2)

    \(S\subset T\) implies that \(\alpha(S)\leq\alpha(T)\).

  3. (3)

    \(\alpha(\overline{S}) = \alpha(S)\).

  4. (4)

    \(\alpha(S\bigcup T) =\max\{\alpha(S),\alpha(T)\}\).

  5. (5)

    \(\alpha(aS) = |a|\alpha(S)\).

  6. (6)

    \(\alpha(S + T) \leq\alpha(S) +\alpha(T)\).

  7. (7)

    \(\alpha(\overline{co}S) = \alpha(S)\), where \(\overline{co}S\) is the convex closure of S.

  8. (8)

    \(|\alpha(S)-\alpha(T)|\leq2d_{h}(S,T)\), where \(d_{h}(S,T)\) denotes the Hausdorff distance between the sets S and T, that is,

    $$d_{h}(S,T)=\max\Bigl\{ \sup_{x\in S}d(x,T),\sup _{x\in T}d(x,S)\Bigr\} , $$

    where \(d(\cdot,\cdot)\) denotes the distance from an element of E to a set of E.

Lemma 2.2

([42])

Let E be a Banach space, and let \(D\subset E\) be bounded. Then there exists a countable set \(D_{0} \subset D\), such that \(\alpha(D) \leq2\alpha(D_{0})\).

Lemma 2.3

([43])

Let E be a Banach space, and let \(D\subset C(I,E)\) be equicontinuous and bounded, then \(\alpha(D(t))\) is continuous on I, and \(\alpha(D)=\max_{t\in I} \alpha(D(t))\).

Lemma 2.4

([44])

Let E be a Banach space, and let \(D = \{u_{n}\} \subset C(I, E)\) be a bounded and countable set. Then \(\alpha(D(t))\) is the Lebesgue integral on e, and

$$\alpha \biggl( \biggl\{ \int_{I}u_{n}(t)\,dt|n\in\mathbb{N} \biggr\} \biggr)\leq2 \int_{I}\alpha\bigl(D(t)\bigr)\,dt. $$

Lemma 2.5

([45])

Let E be a Banach space. Assume that \(D \subset E\) is a bounded closed and convex set on E, \(Q : D \rightarrow D\) is condensing. Then Q has at least one fixed point in D.

We recall the abstract degenerate Cauchy problem as follows [35]:

$$ \textstyle\begin{cases} \frac{d}{dt}Bu(t)=Au(t),&t\in J,\\ Bu(0)=Bu_{0}. \end{cases} $$
(2.1)

Definition 2.6

(See [19, Definition 1.4])

A strongly continuous operator family \(\{W(t)\}_{t\geq0}\) of \(D(B)\) to a Banach space E, satisfying the requirement that \(\{W(t)\}_{t\geq0}\) is exponentially bounded, which means that for any \(u\in D(B)\) there exist \(a>0\), \(M>0\) such that

$$\bigl\Vert W(t)u \bigr\Vert \leq Me^{at} \Vert u \Vert ,\quad t\geq0, $$

is called an exponentially bounded propagation family for (2.1) if for \(\lambda>a\),

$$ (\lambda B-A)^{-1}Bu= \int_{0}^{\infty}e^{-\lambda t}W(t)u\,dt,\quad u\in D(B). $$

In this case, we also say that (2.1) has an exponentially bounded propagation family \(\{W(t)\}_{t\geq0}\).

Motivated by the above definition, we can give the following definition.

Definition 2.7

Let \(A:D(A)\subseteq E\rightarrow E\), \(B:D(B)\subseteq E\rightarrow E\) be closed linear operators defined on a Banach space E satisfying \(D(A)\cap D(B)\neq\{0\}\). Let \(\mu>0\). We say the pair \((A,B)\) is the generator of an μ-resolvent family, if there exist \(a\geq0\) and a strongly continuous function \(K_{\mu}:[0,\infty)\rightarrow B(E)\) such that \(K_{\mu}(t)\) is exponentially bounded, \(\{\lambda^{\mu}: \operatorname{Re}\lambda > a\}\subset\rho(A)\), and for all \(x\in E\),

$$ \bigl(\lambda^{\mu}B-A\bigr)^{-1}Bu= \int_{0}^{\infty}e^{-\lambda t}K_{\mu}(t)u \,dt,\quad \operatorname{Re}\lambda>a. $$
(2.2)

In this case, \(\{K_{\mu}(t)\}_{t\geq0}\) is called the μ-resolvent family generated by the pair \((A,B)\).

Lemma 2.6

([34])

Let \(f:J\times E\times E\rightarrow E\) be a function such that \(f\in C_{1-\gamma}(J)\) for any \(u\in C_{1-\gamma}(J)\). A function \(u\in C_{1-\gamma}(J)\) is a solution of the fractional initial value problem

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}(Bu(t))=Au(t)+Bf (t,u(t),\int_{0}^{t}\rho (t,s)h(t,s,u(s))\,ds ),& t\in J,\\ I^{1-\gamma}_{0+}Bu(0)=Bu_{0}, \end{cases} $$

if u satisfies

$$\begin{aligned} u(t)=S_{\nu,\mu}(t)u_{0}+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds, \end{aligned}$$
(2.3)

where

$$S_{\nu,\mu}(t)=I_{0+}^{\nu(1-\mu)}K_{\mu}(t),\qquad K_{\mu}(t)= t^{\mu-1}P_{\mu}(t),\qquad P_{\mu}(t)=\mu \int_{0}^{\infty}\sigma\xi_{\mu}(\sigma )W \bigl(t^{\mu}\sigma\bigr)\,d\sigma, $$

the function \(\xi_{\mu}\) is a probability density function defined on \((0,\infty)\) such that

$$\xi_{\mu}(\sigma)=\frac{1}{\mu}\sigma^{-1-\frac{1}{\mu}} \varpi_{\mu}\bigl(\sigma^{-\frac{1}{\mu}}\bigr)\geq0 $$

and the one sided stable probability density in [24] is as follows:

$$\varpi_{\mu}(\sigma)=\frac{1}{\pi}\sum _{n=1}^{\infty}(-1)^{n-1}\sigma^{-\mu n-1} \frac{\Gamma(n\mu+1)}{n!}\sin(n\pi\mu),\quad \sigma\in(0,\infty). $$

Lemma 2.7

Suppose A and B are closed (unbounded) linear operator with domains contained in E, \(0\leq\nu\leq1\), \(0<\mu<1\), then

$$D^{\nu,\mu}_{0+}\bigl[BS_{\nu,\mu}(t)u_{0} \bigr]=A\bigl[S_{\nu,\mu}(t)u_{0}\bigr] $$

and

$$\begin{aligned} &D^{\nu,\mu}_{0+} \biggl( \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr) \\ &\quad =A \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds\\ &\qquad {}+Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr). \end{aligned}$$

Proof

By Definition 2.7, let \(\lambda>a\) be fixed, then we have

$$ \bigl(\lambda^{\mu}B-A\bigr)^{-1}Bu= \int_{0}^{\infty}e^{-\lambda t}K_{\mu}(t)u \,dt,\quad u\in D(B). $$
(2.4)

It follows from (2.4) and the Laplace transform; it is obvious that

$$\begin{aligned} \mathcal{L}\bigl(BS_{\nu,\mu}(t)u_{0}\bigr)&= \mathcal{L}\bigl(I_{0+}^{\nu(1-\mu )}BK_{\mu}(t)u_{0} \bigr) \\ &=\lambda^{\nu(\mu-1)}B\bigl(\lambda^{\mu}B-A\bigr)^{-1}Bu_{0}. \end{aligned}$$
(2.5)

The difference between fractional derivatives of different types becomes apparent from the Laplace transformation. In [33] it is found for \(0<\mu<1\) that

$$\mathcal{L}\bigl[D^{\mu,\nu}_{0+}f(x)\bigr](\lambda)= \lambda^{\mu}\mathcal {L}\bigl[f(x)\bigr](\lambda)-\lambda^{\nu(\mu-1)} \bigl(I_{0+}^{(1-\nu)(1-\mu)}f\bigr) (0+), $$

where \((I_{0+}^{(1-\nu)(1-\mu)}f)(0+)\) is the Riemann–Liouville fractional integral of order \((1-\nu)(1-\mu)\) evaluated in the limits as \(t\rightarrow0+\), it being understood that

$$\mathcal{L}\bigl[f(x)\bigr](\lambda)= \int_{0}^{\infty}e^{-\lambda x}f(x)\,dx. $$

Therefore, we obtain

$$\begin{aligned} \mathcal{L}\bigl( D^{\nu,\mu}_{0+} \bigl[BS_{\nu,\mu}(t)u_{0}\bigr]\bigr)&=\lambda^{\mu}\mathcal{L}\bigl(BS_{\nu,\mu}(t)u_{0}\bigr)-\lambda^{\nu(\mu-1)}Bu_{0} \\ &=\lambda^{\mu}B \bigl[\lambda^{\nu(\mu-1)}\bigl( \lambda^{\mu}B-A\bigr)^{-1}B \bigr]u_{0}- \lambda^{\nu(\mu-1)}Bu_{0} \\ &=\lambda^{\nu(\mu-1)}\bigl(\lambda^{\mu}B-A\bigr)^{-1}B \bigl[\lambda^{\mu}B-\bigl(\lambda^{\mu}B-A\bigr) \bigr]u_{0} \\ &=\lambda^{\nu(\mu-1)}\bigl(\lambda^{\mu}B-A\bigr)^{-1}B \bigl[\lambda^{\mu}B-\lambda^{\mu}B+A \bigr]u_{0} \\ &=\lambda^{\nu(\mu-1)}\bigl(\lambda^{\mu}B-A\bigr)^{-1}BAu_{0} \\ &=A\lambda^{\nu(\mu-1)}\bigl(\lambda^{\mu}B-A\bigr)^{-1}Bu_{0}. \end{aligned}$$
(2.6)

Combining (2.4) and (2.6) yields

$$D^{\nu,\mu}_{0+}\bigl[BS_{\nu,\mu}(t)u_{0} \bigr]=A\bigl[S_{\nu,\mu}(t)u_{0}\bigr]. $$

Similarly, we have

$$\begin{aligned} &\mathcal{L} \biggl( \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr) \\ &\quad=\mathcal{L}\bigl(K_{\mu}(t)\bigr)\cdot\mathcal{L} \biggl(Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr) \end{aligned}$$
(2.7)

and

$$\begin{aligned} &\mathcal{L} \biggl(D^{\nu,\mu}_{0+} \biggl[ \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr] \biggr) \\ &\quad=\lambda^{\mu}\mathcal{L} \biggl( \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr)-\lambda^{\nu(\mu-1)}\cdot0 \\ &\quad=\lambda^{\mu}\mathcal{L}\bigl(K_{\mu}(t)\bigr)\cdot \mathcal{L} \biggl(Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr) \\ &\quad=\lambda^{\mu}\bigl(\lambda^{\mu}B-A \bigr)^{-1}B\cdot\mathcal{L} \biggl(Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr) \\ &\quad=\bigl(\lambda^{\mu}B-A+A\bigr) \bigl(\lambda^{\mu}B-A \bigr)^{-1}B\cdot\mathcal {L} \biggl(f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr) \\ &\quad=A\bigl(\lambda^{\mu}B-A\bigr)^{-1}B\cdot\mathcal{L} \biggl(f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr) \\ &\qquad{}+B\cdot\mathcal{L} \biggl(f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr). \end{aligned}$$
(2.8)

Thus, it follows from (2.7) and (2.8) that

$$\begin{aligned} &D^{\nu,\mu}_{0+} \biggl[ \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr] \\ &\quad =A \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr). \end{aligned}$$

According to the above fundamental result, a new and important equivalent mixed type integral equation for the problem can be established. □

Lemma 2.8

Let f be a functions such that \(f(\cdot,v,w)\in C_{1-\gamma}(J)\) for any \(u\in C_{1-\gamma}(J)\). A function \(u\in C_{1-\gamma}^{\gamma }(J)\) is a solution of Eq. (1.1) if and only if u satisfies the mixed type integral equation

$$\begin{aligned} u(t)={}&S_{\nu,\mu}(t)d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds, \end{aligned}$$
(2.9)

where

$$d=\frac{1}{1-\sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma}S_{\nu,\mu}(\tau_{i})}. $$

Proof

According to Lemma 2.6, a solution of Eq. (1.1) can be expressed by

$$ u(t)=S_{\nu,\mu}(t) I^{1-\gamma}_{0+}u(0)+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds. $$
(2.10)

Next, we substitute \(t=\tau_{i}\) into the above equation, we have

$$\begin{aligned} \lambda_{i}u(\tau_{i})={}&\lambda_{i}S_{\nu,\mu}( \tau_{i})u_{0} \\ &{}+\lambda_{i} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds. \end{aligned}$$
(2.11)

Thus, we have

$$\begin{aligned} I^{1-\gamma}_{0+}Bu(0)={}&\sum_{i=1}^{m} \lambda_{i}I^{\gamma}_{0+}Bu(\tau _{i})\\ ={}&\sum _{i=1}^{m}I^{\gamma}_{0+} \lambda_{i}Bu(\tau_{i}) \\ ={}&\sum_{i=1}^{m}\lambda_{i}I^{\gamma}_{0+}S_{\nu,\mu}( \tau _{i})Bu_{0}\\ &{}+\sum_{i=1}^{m} \lambda_{i}I^{\gamma}_{0+} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \\ ={}&I^{1-\gamma}_{0+}Bu(0)\sum_{i=1}^{m} \lambda_{i}I^{\gamma}_{0+}S_{\nu ,\mu}( \tau_{i})\\ &{}+\sum_{i=1}^{m} \lambda_{i}I^{\gamma}_{0+} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds, \end{aligned}$$

which implies

$$ I^{1-\gamma}_{0+}Bu(0)=d\sum _{i=1}^{m}\lambda_{i}I^{\gamma}_{0+} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds, $$
(2.12)

i.e.

$$I^{1-\gamma}_{0+}u(0)=u_{0}=d\sum _{i=1}^{m}\lambda_{i}I^{\gamma}_{0+} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds. $$

Submitting (2.12) to (2.10), we derive that (2.9). It is probative that u is also a solution of the integral of Eq. (2.2) when u is a solution of Eq. (1.1).

The necessity has been already proved, next, we are read to prove its sufficiency. Applying \(I^{1-\gamma}_{0+}\) to both sides of (2.9), we have

$$\begin{aligned} &I^{1-\gamma}_{0+}Bu(t)\\ &\quad =I^{1-\gamma}_{0+}S_{\nu,\mu}(t)d \sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+I^{1-\gamma}_{0+} \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds. \end{aligned}$$

Substituting \(t=\tau_{i}\) into (2.9), we have

$$\begin{aligned} u(\tau_{i})={}&S_{\nu,\mu}(\tau_{i})d\sum _{i=1}^{m}\lambda _{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}+ \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds. \end{aligned}$$

Then we derive

$$\begin{aligned} &\sum_{i=1}^{m} \lambda_{i}I^{\gamma}_{0+}Bu(\tau_{i}) \\ &\quad = \sum_{i=1}^{m}\lambda_{i}I^{\gamma}_{0+}S_{\nu,\mu}( \tau_{i})d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+\sum_{i=1}^{m}\lambda_{i}I^{\gamma}_{0+} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\quad =\frac{\sum_{i=1}^{m}\lambda_{i}I^{\gamma}_{0+}S_{\nu,\mu}(\tau _{i})}{1-\sum_{i=1}^{m}\lambda_{i}I^{\gamma}_{0+}S_{\nu,\mu}(\tau _{i})} \\ &\qquad {}\times\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+\sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\quad =(d-1)\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+\sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\quad =d\sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds. \end{aligned}$$
(2.13)

It follows (2.12) and (2.13) that

$$I^{1-\gamma}_{0+}Bu(0)=\sum_{i=1}^{m} \lambda_{i}I_{0+}^{1-\gamma }Bu(\tau_{i}). $$

Next, by applying \(D^{\nu,\mu}_{0+}\) to both sides of (2.9) and using Lemma 2.7, we can obtain

$$\begin{aligned} D^{\nu,\mu}_{0+}(Bu)={}&D^{\nu,\mu}_{0+} \Biggl[BS_{\nu,\mu}(t)d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma}\\ &{}\times \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}+ \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr] \\ ={}&D^{\nu,\mu}_{0+} \Biggl[BS_{\nu,\mu}(t)d\sum _{i=1}^{m}\lambda _{i}I_{0+}^{\gamma}\\ &{}\times \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr] \\ &{}+D^{\nu,\mu}_{0+} \biggl[ \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr] \\ ={}& \Biggl[d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \Biggr]\\ &{}\times D^{\nu,\mu}_{0+} \bigl[BS_{\nu,\mu}(t) \bigr] \\ &{}+D^{\nu,\mu}_{0+} \biggl[ \int_{0}^{t}K_{\mu}(t-s)Bf \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr] \\ ={}& \Biggl[d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \Biggr]AS_{\nu,\mu}(t) \\ &{}+A \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds\\ &{}+Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr) \\ ={}&A \Biggl(S_{\nu,\mu}(t)d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr)\\ &{}+Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \\ ={}&Au(t)+Bf \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr). \end{aligned}$$

Hence, it reduces to \(D^{\nu,\mu}_{0+}(Bu)=Au(t)+Bf (s,u(s),\int _{0}^{s}\rho(s,\tau)h(s,\tau,u(\tau))\,d\tau )\). The results are proved completely. □

Lemma 2.9

(See [46, Property 2.1])

If α> and \(\beta>0\), then

$$\bigl[I^{\alpha}_{a+}(t-a)^{\beta-1} \bigr](x)= \frac{\Gamma(\beta )}{\Gamma(\alpha+\beta)}(x-a)^{\alpha+\beta-1}. $$

To end this section, we give the following lemma.

Lemma 2.10

Let \(\mu>0,k>0,z\in R\) and \(f\in C(J)\), then

$$I^{k}_{0+} \int_{0}^{z}(z-t)^{\mu-1}P_{\mu}(t-s)f(s) \,ds=\frac{B(\mu ,k)}{\Gamma(k)} \int_{0}^{z}(z-t)^{\mu+k-1}P_{\mu}(t-s)f(s) \,ds. $$

Proof

According to Lemma 2.9, we have

$$\begin{aligned} &I^{k}_{0+} \int_{0}^{z}(z-t)^{\mu-1}P_{\mu}(t-s)f(s) \,ds \\ &\quad =\frac{1}{\Gamma(k)} \int_{0}^{z}(z-u)^{k-1} \int_{0}^{u}(u-t)^{\mu-1}P_{\mu}(t-s)f(s)\,ds\,du \\ &\quad =\frac{1}{\Gamma(k)} \int_{0}^{z} \int_{t}^{z}(z-u)^{k-1}(u-t)^{\mu-1}P_{\mu}(t-s)f(s)\,ds\,du \\ &\quad =\frac{1}{\Gamma(k)} \int_{0}^{z}P_{\mu}(t-s)f(s)\,ds \int _{t}^{z}(z-u)^{k-1}(u-t)^{\mu-1}du \\ &\quad =\frac{1}{\Gamma(k)} \int_{0}^{z}B(\mu,k) (z-t)^{\mu+k-1}P_{\mu}(t-s)f(s)\,ds \\ &\quad =\frac{B(\mu,k)}{\Gamma(k)} \int_{0}^{z}(z-t)^{\mu+k-1}P_{\mu}(t-s)f(s) \,ds. \end{aligned}$$

The desired result is obtained. □

Lemma 2.11

([34])

Assume that \(\{W(t)\}_{t\geq0}\) is a norm continuous family for \(t>0\) and \(\Vert W(t) \Vert \leq M\), for any fixed \(t>0\), \(\{K_{\mu}(t)\} _{t>0}\), and \(\{S_{\nu,\mu}(t)\}_{t>0}\) are linear operators, and for any \(u\in E\)

$$\bigl\Vert K_{\mu}(t) \bigr\Vert \leq\frac{Mt^{\mu-1}}{\Gamma(\mu)},\qquad \bigl\Vert S_{\nu,\mu }(t) \bigr\Vert \leq\frac{Mt^{(\nu-1)(1-\mu)}}{\Gamma(\nu(1-\mu)+\mu)}. $$

Lemma 2.12

([34])

Assume that \(\{W(t)\}_{t\geq0}\) is a norm continuous family for \(t>0\) and \(\Vert W(t) \Vert \leq M\), \(\{K_{\mu}(t)\}_{t>0}\) and \(\{S_{\nu ,\mu}(t)\}_{t>0}\) are strongly continuous for \(t>0\).

Main results

In this section, we will state and prove our main results. First of all, we introduce the following assumptions:

(H1):

\(\{W(t)\}_{t\geq0}\) is a norm continuous family for \(t>0\) and uniformly bounded, i.e., there exists \(M\geq1\) such that \(\Vert W(t) \Vert \leq M\).

(H2):

(i) \(f:J\times E\times E\rightarrow D(B)\subset E\) with \(f(\cdot,v,w):J\rightarrow D(B)\subset E\) is measurable for all \((v,w)\in E\times E\) and \(f(t,\cdot,\cdot):E\times E \rightarrow D(B)\subset E\) is continuous for a.e. \(t\in J\), and there exist a function \(\mu_{1}\in L_{\frac{1}{q}}(J,R^{+})\) (\(\frac{1}{q}>1\)) and a continuous function \(\mu_{2}(\cdot)\) such that

$$\bigl\Vert f(t,v,w \bigr\Vert \leq\mu_{1}(t) \Vert v \Vert + \mu_{2}(t) \Vert w \Vert $$

and

$$\begin{aligned} &I^{\mu}_{0+}\mu_{1}\in C\bigl(J',R^{+} \bigr),\qquad \lim_{t\rightarrow0+}t^{1-\gamma}I^{\mu}_{0+} \mu_{1}(t)=0, \\ &I^{\mu}_{0+}\mu_{2}\in C\bigl(J',R^{+} \bigr),\qquad \lim_{t\rightarrow0+}t^{1-\gamma}I^{\mu}_{0+} \mu_{2}(t)=0, \end{aligned}$$

for almost all \(t\in J\).

(ii) There exist functions \(\eta(\cdot)\in L_{\frac {1}{q}}(J,R^{+}),\xi(\cdot)\in L_{\frac{1}{q}}(J,R^{+})\) and constants \(L_{1},L_{2}\) such that, for any bounded, equicontinuous and countable sets \(D_{k}\subset E (k=1,2)\),

$$\alpha\bigl(f(t,D_{1},D_{2})\bigr)\leq L_{1} \eta(t)\alpha(D_{1})+L_{2}\xi(t)\alpha (D_{2}), \quad t\in J. $$
(H3):

(i) The function \(h(t,s,\cdot):E\rightarrow E\) is continuous for a.e. \((t,s)\in\Delta\) for each \(u\in E\), the function \(h(\cdot,\cdot,u):\Delta\rightarrow E\) is measurable. Moreover, there exists a function \(m:\Delta\rightarrow R\) with \(\sup_{t\in J}\int_{0}^{t} m(t,s)\,ds:m^{*}<\infty\) such that

$$\bigl\Vert h(t,s,u) \bigr\Vert \leq m(t,s) \Vert u \Vert ,\quad u\in E. $$

(ii) For any bounded set \(D_{1}\in E\), and \(0\leq s\leq t\leq b\), there exists a function, a constant \(\zeta:\Delta\rightarrow R\) such that

$$\alpha\bigl(h(t,s,D_{1})\bigr)\leq\zeta(t,s)\alpha(D_{1}), $$

where \(\sup_{t\in J}\int_{0}^{t}\zeta(t,s)\,ds:=\zeta^{*}<\infty\).

(H4):

For each \(t\in J, \rho(t,\cdot)\) is measurable on J and \(\rho(t)= \sup\{|\rho(t,s)|,0\leq s\leq t\}\) is bounded on J. The map \(t\rightarrow\rho_{t}\) is continuous from J to \(L^{\infty }(J,R)\), here, \(\rho_{t}(s)=\rho(t,s)\).

Now we are ready to establish the first existence results for Eq. (1.1) by using the fixed point theorem.

Theorem 3.1

Assume (H1)–(H4) are satisfied. Then Eq. (1.1) has at least one mild solution in \(C^{\gamma}_{1-\gamma}(J,E)\) provided that

$$\begin{aligned} &\frac{M^{2} \vert d \vert }{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \biggl[ \biggl(\frac{1-q}{\mu+\gamma-q} \biggr)^{1-q}\tau_{i}^{\mu+\gamma-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]} +\frac{b^{\mu+\gamma}\varrho m^{*}\mu_{2}^{*}}{\mu+\gamma} \biggr] \\ &\quad {}+\frac{Mb^{1-\gamma}}{\Gamma(\mu)} \biggl[ \biggl(\frac{1-q}{\mu -q} \biggr)^{1-q}b^{\mu-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu}\varrho m^{*}\mu_{2}^{*}}{\mu} \biggr]< 1 \end{aligned}$$
(3.1)

and

$$\frac{Mb^{\mu-q}}{\Gamma(\mu)} \biggl(\frac{1-q}{\mu-q} \biggr)^{1-q} \bigl(L_{1} \Vert \eta \Vert _{L_{\frac{1}{q}}[0,b]}+L_{2} \varrho\zeta^{*} \Vert \xi \Vert _{L_{\frac{1}{q}}[0,b]} \bigr)< \frac{1}{4}. $$

Proof

According to Lemma 2.8, it is sufficient to prove the existence result for the mixed type integral Eq. (2.9). Consider the operator \(Q:C_{1-\gamma}(J,E)\rightarrow C_{1-\gamma}(J,E)\) defined by

$$\begin{aligned} (Qu) (t)={}&S_{\nu,\mu}(t)d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int _{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds. \end{aligned}$$
(3.2)

By direct calculation, we know that the operator Q is well defined. From Lemma 2.8, it is easy to verify that the mild solution of problem (1.1) is equivalent to the fixed point of the operator Q defined by (3.2). In the following, we will prove that the operator \(Q:C_{1-\gamma }(J,E)\rightarrow C_{1-\gamma}(J,E)\) has at least one fixed point by applying the fixed point theorem. Our proof will be divided into four steps.

Step 1. We firstly prove that the operator Q defined by (3.2) maps the bounded closed convex set \(B_{r}:=\{u\in C_{1-\gamma}(J,E): \Vert u(t) \Vert _{C_{1-\gamma}}\leq r, t\in J\} \) into itself. Observe that

$$\begin{aligned} &\lim_{t\rightarrow0+}t^{1-\gamma}S_{\nu,\mu}(t)u_{0} \\ &\quad =\lim_{t\rightarrow0+}\frac{t^{1-\gamma}}{\Gamma(\nu(1-\mu ))} \int_{0}^{t}(t-s)^{\nu(1-\mu)-1}K_{\mu}(s)u_{0} \,ds \\ &\quad =\lim_{t\rightarrow0+}\frac{1}{\Gamma(\nu(1-\mu))} \int _{0}^{1}(1-s)^{\nu(1-\mu)-1}K_{\mu}(s)u_{0} \,ds \\ &\quad =\lim_{t\rightarrow0+}\frac{1}{\Gamma(\nu(1-\mu))\Gamma(\mu )} \int_{0}^{1}(1-s)^{\nu(1-\mu)-1}s^{\mu-1}u_{0} \,ds \\ &\quad =\frac{u_{0}}{\Gamma(\nu(1-\mu)+\mu)}. \end{aligned}$$

Define \(t^{1-\gamma}(Qu)(t)\) as follows:

$$ t^{1-\gamma}(Qu) (t):= \textstyle\begin{cases} t^{1-\gamma}S_{\nu,\mu}(t)u_{0}\\ \quad {}+t^{1-\gamma}\int_{0}^{t}K_{\mu}(t-s)f (s,u(s),\int_{0}^{s}\rho(s,\tau )h(s,\tau,u(\tau))\,d\tau )\,ds,& t\in J',\\ \frac{u_{0}}{\Gamma(\nu(1-\mu)+\mu)},& t=0. \end{cases} $$

Suppose this is not true. Then, for each \(r>0\), there exists \(u_{r}(\cdot)\in B_{r}\) for some \(t\in J\) such that \(\Vert (Qu_{r})(t) \Vert >r\). Combining with Lemma 2.11, Lemma 2.12, the assumption (H1), (H2) and the Hölder inequality, we get

$$\begin{aligned} r< {}& \bigl\Vert t^{1-\gamma}(Qu_{r}) (t) \bigr\Vert \\ &\quad \leq \Biggl\Vert t^{1-\gamma}S_{\nu,\mu }(t)d\sum _{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ &\qquad {}+ \biggl\Vert t^{1-\gamma} \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ &\quad \leq \frac{M \vert d \vert B(\mu,\gamma)}{\Gamma(\gamma)\Gamma(\gamma )}\sum_{i=1}^{m} \\ &\qquad {}\times \vert \lambda_{i} \vert \int_{0}^{\tau_{i}}(\tau_{i}-s)^{\mu+\gamma -1}P_{\mu}( \tau_{i}-s) \biggl\vert f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr) \biggr\vert \,ds \\ &\qquad {}+\frac{Mt^{1-\gamma}}{\Gamma(\mu)} \int_{0}^{t}(t-s)^{\mu-1} \biggl\vert f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr\vert \,ds \\ &\quad \leq\frac{M^{2} \vert d \vert }{\Gamma(\gamma)\Gamma(\mu+\gamma)} \\ &\qquad {}\times\sum_{i=1}^{m} \vert \lambda_{i} \vert \int_{0}^{\tau_{i}}(\tau_{i}-s)^{\mu+\gamma-1} \biggl[\mu_{1}(s)r+\mu_{2}(s)\varrho r \int_{0}^{s}m(s,\tau)\,d\tau \biggr]\,ds \\ &\qquad {}+\frac{Mt^{1-\gamma}}{\Gamma(\mu)} \int_{0}^{t}(t-s)^{\mu-1} \biggl[ \mu_{1}(s)r+\mu_{2}(s)\varrho r \int_{0}^{s}m(s,\tau)\,d\tau \biggr]\,ds \\ &\quad \leq\frac{M^{2} \vert d \vert r}{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \biggl[ \int_{0}^{\tau_{i}}(\tau_{i}-s)^{\mu+\gamma -1} \mu_{1}(s)\,ds+\frac{b^{\mu+\gamma}\varrho m^{*}\mu_{2}^{*}}{\mu+\gamma } \biggr] \\ &\qquad {}+\frac{rMt^{1-\gamma}}{\Gamma(\mu)} \biggl[ \int_{0}^{t}(t-s)^{\mu -1} \mu_{1}(s)\,ds+\frac{b^{\mu}\varrho m^{*}\mu_{2}^{*}}{\mu} \biggr] \\ &\quad \leq\frac{M^{2} \vert d \vert r}{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \biggl[ \biggl(\frac{1-q}{\mu+\gamma-q} \biggr)^{1-q}\tau_{i}^{\mu+\gamma-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu+\gamma}\varrho m^{*}\mu_{2}^{*}}{\mu+\gamma} \biggr] \\ &\qquad {}+\frac{rMb^{1-\gamma}}{\Gamma(\mu)} \biggl[ \biggl(\frac{1-q}{\mu -q} \biggr)^{1-q}b^{\mu-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu}\varrho m^{*}\mu_{2}^{*}}{\mu} \biggr]. \end{aligned}$$
(3.3)

Dividing both sides of (3.3) by r, and taking the lower limit as \(r\rightarrow+\infty\), combined with (3.1), we get

$$\begin{aligned} 1\leq{}&\frac{M^{2} \vert d \vert }{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \biggl[ \biggl(\frac{1-q}{\mu+\gamma-q} \biggr)^{1-q}\tau_{i}^{\mu+\gamma-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu+\gamma}\varrho m^{*}\mu_{2}^{*}}{\mu+\gamma} \biggr] \\ &{}+\frac{Mb^{1-\gamma}}{\Gamma(\mu)} \biggl[ \biggl(\frac{1-q}{\mu -q} \biggr)^{1-q}b^{\mu-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu}\varrho m^{*}\mu_{2}^{*}}{\mu} \biggr]< 1, \end{aligned}$$

which is a contradiction. Therefore for some \(r>0, Q(B_{r})\subset B_{r}\).

Step 2. Now we show that Q is continuous from \(B_{r}\) into \(B_{r}\). To show this, for any \(u_{n}, u\in B_{r}, n=1,2,\ldots\) , with \(\lim_{n\rightarrow\infty} \Vert u_{n}-u \Vert _{C_{1-\gamma}}=0\), we get

$$\lim_{n\rightarrow\infty}u_{n}(t)=u(t), $$

for all \(t\in J\). By (H2)(i) and (H3)(i), we see that, for almost every \(t\in J\),

$$f \biggl(t,u_{n}(t), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u_{n}(s) \bigr)\,ds \biggr)\rightarrow f \biggl(t,u(t), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u(s)\bigr)\,ds \biggr) $$

as \(n\rightarrow\infty\).

Thus,

$$\begin{aligned} &\lim_{n\rightarrow\infty} \biggl\Vert f \biggl(t,u_{n}(t), \int_{0}^{t}\rho (t,s)h\bigl(t,s,u_{n}(s) \bigr)\,ds \biggr)\\ &\quad {}-f \biggl(t,u(t), \int_{0}^{t}\rho (t,s)h\bigl(t,s,u(s)\bigr)\,ds \biggr) \biggr\Vert _{C_{1-\gamma}}=0. \end{aligned}$$

Noting that \(u_{n}\rightarrow u\) in \(C_{1-\gamma}(J,E)\), we infer that there exists \(\varepsilon>0\) such that \(\Vert u_{n}-u \Vert \leq\varepsilon\) for n sufficiently large. Therefore, we have

$$\begin{aligned} &(t-s)^{\mu-1} \biggl\Vert f \biggl(t,u_{n}(t), \int_{0}^{t}\rho (t,s)h\bigl(t,s,u_{n}(s) \bigr)\,ds \biggr)-f (t,u(t), \int_{0}^{t}\rho (t,s)h\bigl(t,s,u(s)\bigr)\,ds \biggr\Vert \\ &\quad \leq\mu_{1}(t) \bigl( \bigl\Vert u_{n}(t) \bigr\Vert + \bigl\Vert u(t) \bigr\Vert \bigr)\\ &\qquad{}+\mu_{2}(t) \biggl( \int_{0}^{t} \bigl\Vert \rho(t,s)h \bigl(t,s,u_{n}(s)\bigr) \bigr\Vert \,ds- \int_{0}^{t} \bigl\Vert \rho(t,s)h\bigl(t,s,u(s) \bigr)\,ds \bigr\Vert \biggr) \\ &\quad \leq\mu_{1}(t) \bigl( \bigl\Vert u_{n}(t)-u(t) \bigr\Vert +2 \bigl\Vert u(t) \bigr\Vert \bigr)+\mu_{2}(t) \int_{0}^{t}m(t,s) \bigl( \bigl\Vert u_{n}(t)-u(t) \bigr\Vert +2 \bigl\Vert u(t) \bigr\Vert \bigr)\,ds \\ &\quad \leq2(t-s)^{\mu-1}\bigl(\mu_{1}(t)+\mu_{2}^{*}\varrho m^{*}\bigr) \Bigl(\varepsilon+2\sup_{t\in J} \bigl\Vert u(t) \bigr\Vert \Bigr). \end{aligned}$$

It follows from the Lebesgue dominated convergence theorem that, for \(t\in J\), \(u_{n},u\in B_{r}\), we have

$$\begin{aligned} & \bigl\Vert t^{1-\gamma}\bigl[(Qu_{n}) (t)-(Qu) (t)\bigr] \bigr\Vert \\ &\quad \leq \Biggl\Vert t^{1-\gamma}S_{\nu ,\mu}(t)d\sum _{i=1}^{m}\lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s) \biggl[f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau )\bigr)\,d\tau \biggr)\\ &\qquad {}-f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr) \biggr]\,ds \\ &\qquad {}+t^{1-\gamma} \int_{0}^{t}K_{\mu}(t-s) \biggl[f \biggl(s,u_{n}(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s, \tau,u_{n}(\tau)\bigr)\,d\tau \biggr)\\ &\qquad {}-f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr]\,ds \Biggr\Vert \\ &\quad \leq\frac{M^{2} \vert d \vert }{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \int_{0}^{\tau_{i}}(\tau_{i}-s)^{\mu+\gamma-1} \biggl[f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau)\bigr)\,d\tau \biggr) \\ &\qquad {}-f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr]\,ds \\ &\qquad {}+\frac{Mt^{1-\gamma}}{\Gamma(\mu)} \int_{0}^{t}(t-s)^{\mu-1} \biggl[f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau)\bigr)\,d\tau \biggr) \\ &\qquad {}-f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr]\,ds \\ &\quad \leq\frac{M^{2} \vert d \vert \cdot\tau_{i}^{\mu+2\gamma-1}}{\Gamma(\mu +2\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \cdot \biggl\Vert f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau )\bigr)\,d\tau \biggr)\\ &\qquad {} -f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr\Vert _{C_{1-\gamma}} \\ &\qquad {}+\frac{Mb^{\mu}B(\mu,\gamma)}{\Gamma(\mu)} \biggl\Vert f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau)\bigr)\,d\tau \biggr)\\ &\qquad {} -f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr\Vert _{C_{1-\gamma}}. \end{aligned}$$

This means

$$\begin{aligned} \bigl\Vert t^{1-\gamma}\bigl[(Qu_{n}) (t)-(Qu) (t)\bigr] \bigr\Vert \leq {}&\Biggl(\frac{M^{2} \vert d \vert \cdot\tau _{i}^{\mu+2\gamma-1}}{\Gamma(\mu+2\gamma)}\sum_{i=1}^{m} \vert \lambda _{i} \vert +\frac{Mb^{\mu}B(\mu,\gamma)}{\Gamma(\mu)} \Biggr) \\ &{}\cdot \biggl\Vert f \biggl(s,u_{n}(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s, \tau,u_{n}(\tau )\bigr)\,d\tau \biggr)\\ &{}-f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr) \biggr\Vert _{C_{1-\gamma}}. \end{aligned}$$

Therefore, we obtain

$$\lim_{n\rightarrow\infty} \Vert Qu_{n}-Qu \Vert _{C_{1-\gamma}}=0, $$

this shows that \(Q :B_{r} \rightarrow B_{r}\) is a continuous operator.

Step 3. We will prove that \(\{Qu:u\in B_{r}\}\) is a family of equicontinuous function. For any \(u\in B_{r}\) and \(0\leq t_{1} < t_{2} \leq b\), by (3.2) and the assumption (H1), (H2), we get

$$\begin{aligned} & \bigl\Vert t_{2}^{1-\gamma}(Qu) (t_{2})-t_{1}^{1-\gamma}(Qu) (t_{1}) \bigr\Vert \\ &\quad \leq \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{2})-t_{1}^{1-\gamma}S_{\nu,\mu }(t_{1}) \bigr\Vert \\ &\qquad {}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ &\qquad {}+ \int_{0}^{t_{2}}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}- \int_{0}^{t_{1}}t_{1}^{1-\gamma}K_{\mu}(t_{1}-s)f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\quad \leq \bigl( \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{2})-t_{2}^{1-\gamma}S_{\nu,\mu}(t_{1}) \bigr\Vert + \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{1})-t_{1}^{1-\gamma}S_{\nu,\mu}(t_{1}) \bigr\Vert \bigr) \\ &\qquad {}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ &\qquad {}+ \biggl\Vert \int^{t_{2}}_{t_{1}}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ &\qquad {}+ \biggl\Vert \int^{t_{1}}_{0}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ &\qquad {}+ \biggl\Vert \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{1}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ &\quad =I_{1}+I_{2}+I_{3}+I_{4}+I_{5}, \end{aligned}$$

where

$$\begin{aligned} &\begin{aligned} I_{1}={}& \bigl( \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{2})-t_{2}^{1-\gamma }S_{\nu,\mu}(t_{1}) \bigr\Vert \bigr) \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert , \end{aligned} \\ &\begin{aligned} I_{2}={}& \bigl( \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{1})-t_{1}^{1-\gamma }S_{\nu,\mu}(t_{1}) \bigr\Vert \bigr) \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert , \end{aligned} \\ &I_{3}= \biggl\Vert \int^{t_{2}}_{t_{1}}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert , \\ &\begin{aligned} I_{4}={}& \biggl\Vert \int^{t_{1}}_{0}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert , \end{aligned} \\ &\begin{aligned} I_{5}={}& \biggl\Vert \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{1}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert . \end{aligned} \end{aligned}$$

Here we calculate

$$ \bigl\Vert t_{2}^{1-\gamma}(Qu) (t_{2})-t_{1}^{1-\gamma}(Qu) (t_{1}) \bigr\Vert \leq\sum_{i=1}^{5} \Vert I_{i} \Vert . $$
(3.4)

Therefore, we observe that \(\Vert I_{i} \Vert \) tend to 0, when \(t_{2}\rightarrow t_{1}\), \(i=1,2,\ldots,5\).

For \(I_{1}\), by Lemma 2.12, we get

$$\begin{aligned} I_{1}={}& \bigl( \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{2})-t_{2}^{1-\gamma }S_{\nu,\mu}(t_{1}) \bigr\Vert \bigr) \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ \leq {}&\bigl\Vert t_{2}^{1-\gamma} \bigl(S_{\nu,\mu}(t_{2})-S_{\nu,\mu }(t_{1}) \bigr) \bigr\Vert \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ \rightarrow{}&0,\quad \mbox{as }t_{2}\rightarrow t_{1}. \end{aligned}$$

For \(I_{2}\), by Lemma 2.12, we get

$$\begin{aligned} I_{2}={}& \bigl( \bigl\Vert t_{2}^{1-\gamma}S_{\nu,\mu}(t_{1})-t_{1}^{1-\gamma }S_{\nu,\mu}(t_{1}) \bigr\Vert \bigr) \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ \leq{}&\frac{Mb^{1-\gamma}}{\Gamma(\nu(1-\mu)+\mu)} \bigl\Vert t_{2}^{1-\gamma}-t_{1}^{1-\gamma} \bigr\Vert \\ &{}\times \Biggl\Vert d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau _{i}}K_{\mu}(\tau_{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\Vert \\ \rightarrow{}&0,\quad \mbox{as }t_{2}\rightarrow t_{1}. \end{aligned}$$

For \(I_{3}\), by Lemma 2.12 and (H2), we have

$$\begin{aligned} I_{3}&= \biggl\Vert \int^{t_{2}}_{t_{1}}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ &\leq\frac{Mt_{2}^{1-\gamma}}{\Gamma(\mu)} \int_{0}^{t_{2}}(t_{2}-s)^{\mu -1}f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds\,ds \\ &=Mt_{2}^{1-\gamma}I^{\mu}_{0+}f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau )h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds\rightarrow0,\quad \mbox{as }t_{2}\rightarrow t_{1}. \end{aligned}$$

For \(I_{4}\), by Lemma 2.12 and (H2), we have

$$\begin{aligned} I_{4}={}& \biggl\Vert \int^{t_{1}}_{0}t_{2}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho (s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ \leq{}&\frac{2M}{\Gamma(\mu)} \int^{t_{1}}_{0} \bigl[t_{2}^{1-\gamma }(t_{2}-s)^{\mu-1}-t_{1}^{1-\gamma}(t_{1}-s)^{\mu-1} \bigr]\\ &{}\times f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds, \end{aligned}$$

then, by the Lebesgue dominated convergence theorem, we have

$$\begin{aligned} &\int^{t_{1}}_{0} \bigl[t_{2}^{1-\gamma}(t_{2}-s)^{\mu-1}-t_{1}^{1-\gamma }(t_{1}-s)^{\mu-1} \bigr]f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds\rightarrow0,\\ &\quad \mbox{as }t_{2}\rightarrow t_{1}. \end{aligned}$$

For \(I_{5}\), by Lemma 2.12 and (H2), we have

$$\begin{aligned} I_{5}={}& \biggl\Vert \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{2}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &{}- \int^{t_{1}}_{0}t_{1}^{1-\gamma}K_{\mu}(t_{1}-s)f \biggl(s,u(s), \int _{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ \leq{}& \biggl\Vert \int^{t_{1}}_{0}t_{1}^{1-\gamma} \bigl[K_{\mu}(t_{2}-s)-K_{\mu}(t_{1}-s) \bigr]f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau )\bigr) \,d\tau \biggr)\,ds \biggr\Vert \\ \leq {}&\bigl\Vert K_{\mu}(t_{2}-s)-K_{\mu}(t_{1}-s) \bigr\Vert \int ^{t_{1}}_{0}t_{1}^{1-\gamma}f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ \rightarrow{}&0,\quad \mbox{as }t_{2}\rightarrow t_{1}. \end{aligned}$$

In conclusion,

$$\bigl\Vert t_{2}^{1-\gamma}(Qu) (t_{2})-t_{1}^{1-\gamma}(Qu) (t_{1}) \bigr\Vert \rightarrow0 $$

as \(t_{2}\rightarrow t_{1}\), which means that the operator \(Q:B_{r}\rightarrow B_{r}\) is equicontinuous.

Let \(H=\overline{co}Q(B_{r})\). Then it is easy to verify that Q maps H into itself and \(H \subset B_{r}\) is equicontinuous.

Step 4. Now, we prove that \(Q : H \rightarrow H\) is a condensing operator. For any \(D\subset H\), by Lemma 2.2, there exists a countable set \(D_{0} = \{u_{n}\} \subset D\), such that

$$ \alpha\bigl(Q(D)\bigr)\leq2\alpha\bigl(Q(D_{0})\bigr). $$

By the equicontinuity of H, we know that \(D_{0} \subset D\) is also equicontinuous.

For \(t \in J\), by the definition of Q and (H2)(ii), (H3)(ii), we have

$$\begin{aligned} &\alpha\bigl(Q(D_{0}) (t)\bigr)\\ &\quad =\alpha \Biggl( \Biggl\{ S_{\nu,\mu}(t)d\sum_{i=1}^{m} \lambda_{i}I_{0+}^{\gamma} \int_{0}^{\tau_{i}}K_{\mu}(\tau _{i}-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr)\,ds \\ &\qquad {}+ \int_{0}^{t}K_{\mu}(t-s)f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau ,u(\tau)\bigr) \,d\tau \biggr)\,ds \Biggr\} \Biggr) \\ &\quad \leq\frac{2M}{\Gamma(\mu)} \int_{0}^{t}(t-s)^{\mu-1}\alpha \biggl( \biggl\{ f \biggl(s,u(s), \int_{0}^{s}\rho(s,\tau)h\bigl(s,\tau,u(\tau)\bigr) \,d\tau \biggr) \biggr\} \biggr)\,ds \\ &\quad \leq\frac{2M}{\Gamma(\mu)} \int_{0}^{t}(t-s)^{\mu-1} \bigl[\eta (s) \alpha\bigl(D_{0}\bigl(u(s)\bigr)\bigr)+\varrho\zeta^{*}\xi(t)\alpha \bigl(D_{0}\bigl(u(s)\bigr)\bigr) \bigr]\,ds \\ &\quad \leq\frac{2M}{\Gamma(\mu)}\alpha\bigl(D_{0}(s)\bigr) \int_{0}^{t}(t-s)^{\mu -1}\bigl(\eta(s)+ \varrho\zeta^{*}\xi(s)\bigr)\,ds \\ &\quad \leq\frac{2Mb^{\mu-q}}{\Gamma(\mu)} \biggl(\frac{1-q}{\mu-q} \biggr)^{1-q} \bigl(L_{1} \Vert \eta \Vert _{L_{\frac{1}{q}}[0,b]}+L_{2} \varrho\zeta^{*} \Vert \xi \Vert _{L_{\frac{1}{q}}[0,b]} \bigr)\cdot\alpha(D). \end{aligned}$$

Since \(Q(D_{0}) \subset H\) is bounded and equicontinuous, we know from Lemma 2.3 that

$$\alpha\bigl(Q(D_{0})\bigr)=\max_{t\in I}\alpha \bigl(Q(D_{0}) (t)\bigr). $$

Therefore, we have

$$\alpha\bigl(Q(D)\bigr)\leq\frac{4Mb^{\mu-q}}{\Gamma(\mu)} \biggl(\frac {1-q}{\mu-q} \biggr)^{1-q} \bigl(L_{1} \Vert \eta \Vert _{L_{\frac {1}{q}}[0,b]}+L_{2}\varrho\zeta^{*} \Vert \xi \Vert _{L_{\frac{1}{q}}[0,b]} \bigr)\leq\alpha(D). $$

Thus, \(Q : B_{r} \rightarrow B_{r}\) is a condensing operator. It follows from Lemma 2.5 that the problem (1.1) has at least one solution \(u \in C_{1-\gamma}(J,E)\). Finally, using [4, Lemma 21] and repeating the process of proof in Lemma 2.8, one can show that this solution is actually in \(C_{1-\gamma}^{\gamma}(J,E)\). This completes the proof. □

In the following we will present some special cases.

Case 1. When \(B=I\), then \(D(B)=E\), we assume that we generate a norm continuous semigroup \(\{W(t)\}_{t\geq0}\) of uniformly bounded linear operators on E, then from the proof of Theorem 3.1 we have the following theorem.

Theorem 3.2

Assume that the nonlinear function \(f:J\times E^{m}\rightarrow E\) is continuous and the assumptions conditions are satisfies, then for the problem

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+}u(t)=Au(t)+f (t,u(t),\int_{0}^{t}\rho (t,s)h(t,s,u(s))\,ds ),\quad t\in J,\\ I^{1-\gamma}_{0+}u(0)=\sum_{i=1}^{m}\lambda_{i}I_{0+}^{(1-\nu)(1-\mu )}u(\tau_{i}),\quad \mu\leq\gamma=\mu+\nu-\mu\nu, \end{cases} $$

there exists at least one mild solution in \(C_{1-\gamma}^{\gamma}(J,E)\).

Case 2. When \(B=I, \nu=1\), then \(D(B)=E\), we assume that we generate a norm continuous semigroup \(\{W(t)\}_{t\geq0}\) of uniformly bounded linear operator on E, then from the proof of Theorem 3.1 we have the following theorem.

Theorem 3.3

Assume that the nonlinear function \(f:J\times E^{m}\rightarrow E\) is continuous and the assumptions conditions are satisfied, then for the problem

$$ \textstyle\begin{cases} ^{C}D^{\mu}_{0+}u(t)=Au(t)+Bf (t,u(t),\int_{0}^{t}\rho (t,s)h(t,s,u(s))\,ds ),\quad t\in J,\\ u(0)=\sum_{i=1}^{m}\lambda_{i} u(\tau_{i}), \end{cases} $$

there exists at least one mild solution in \(C(J,E)\).

Case 3. When \(\nu=1\), then \(D(B)=E\), we assume that we generate a norm continuous semigroup \(\{W(t)\}_{t\geq0}\) of uniformly bounded linear operator on E, then from the proof of Theorem 3.1 we have the following theorem.

$$ \textstyle\begin{cases} ^{C}D^{\mu}_{0+}Bu(t)=Au(t)+Bf (t,u(t),\int_{0}^{t}\rho (t,s)h(t,s,u(s))\,ds ),\quad t\in J,\\ Bu(0)=\sum_{i=1}^{m}\lambda_{i} Bu(\tau_{i}). \end{cases} $$
(3.5)

Proof

Let \(u_{0}- g(u)=\sum_{i=1}^{m}\lambda_{i} u(\tau_{i}) \), then Eq. (3.5) is transformed to the following equation:

$$ \textstyle\begin{cases} ^{C}D^{\mu}_{0+}Bu(t)=Au(t)+Bf (t,u(t),\int_{0}^{t}\rho (t,s)h(t,s,u(s))\,ds ),& t\in J,\\ Bu(0)=B(u_{0}-g(u)). \end{cases} $$
(3.6)

For the problem (3.6), for more details see [6]. □

Applications

In this section, we give one example to illustrate our main results derived in Sect. 3.

Example 4.1

We consider the following fractional diffusion equations of Sobolev type with delay:

$$ \textstyle\begin{cases} D^{\nu,\mu}_{0+} (u(t,x)-\frac{\partial^{2}u(t,x)}{\partial x^{2}} )=\frac{\partial^{2}}{\partial x^{2}}u(t,x)+\widetilde {f} (t,u(t,x),\int_{0}^{t}\rho(t,s)h(t,s,u(s,x))\,ds ),\\ \quad x\in \Omega, t\in(0,1],\\ I^{1-\gamma}_{0+} (u(0,x)-\frac{\partial^{2}}{\partial x^{2}}u(0,x) )=\widetilde{\varphi}(x),\\ \quad x\in\Omega, \end{cases} $$
(4.1)

where \(D^{\nu,\mu}_{0+}\) is the Hilfer fractional derivative, \(0\leq \nu\leq1\), \(0<\mu<1\), \(\tau_{k}:J\rightarrow J\) are continuous functions such that \(0\leq\tau_{k}(t)< t\), \(k=1,2,\ldots,m\) and \(\Omega\subset R^{m}\) is a bounded domain with a sufficiently smooth boundary ∂Ω, and \(\widetilde{f}:J\times R^{m}\rightarrow R\) is continuous.

Let \(E = L^{2}(\Omega)\) be a Banach space with the \(L^{2}\)-norm \(\Vert \cdot \Vert _{2}\), we define

$$D(A)=D(B)=H^{2}(\Omega),\qquad Au=\frac{\partial^{2}u}{\partial x^{2}},\qquad Bu=u- \frac{\partial^{2}u}{\partial x^{2}}, $$

where \(H^{2}(\Omega)\) is the completion of the space \(C^{2}(\Omega)\) with respect to the norm

$$\Vert u \Vert _{H^{2}(\Omega)}= \biggl( \int_{\Omega}\sum_{ \vert \mu \vert \leq2} \bigl\vert D^{\mu}u(x) \bigr\vert ^{2}\,dx \biggr)^{\frac{1}{2}}, $$

\(C^{2}(\Omega)\) is the set of all continuous defined on R which have continuous partial derivatives of order less than or equal to 2. In view of the paper [19], it is easy to see that the pair \((A,B) \) generates a propagation family \(W(t)\) of uniformly bounded, and similarly to the proof of (2.15), (2.16) and (2.17) in [19], we can see that \(\{W(t)\}_{t\geq0}\) is norm continuous for \(t>0\) and \(\Vert W(t) \Vert \leq1\), i.e., the assumption condition (H1) is satisfied.

Let \(\nu=\frac{1}{2},\mu=\frac{1}{2}\), then \(\gamma=\frac{3}{4}\) and

$$\begin{aligned} &\begin{aligned} \widetilde{f} \biggl(t,u(t,x), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u(s,x)\bigr)\,ds \biggr)&=Bf \biggl(t,u(t,x), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u(s,x)\bigr)\,ds \biggr) \\ &=\frac{1}{k\cdot\sqrt[k]{t}}u(t,x)+\frac{t^{2}}{k} \int_{0}^{t} s^{2}\cdot \sin \frac{u(s,x)}{t}\,ds, \end{aligned}\\ & \widetilde{\varphi}(\cdot)=2I_{0+}^{\gamma}B \biggl(u\biggl( \frac {1}{2},x\biggr)-\frac{\partial^{2}}{\partial x^{2}}u\biggl(\frac{1}{2},x\biggr) \biggr), \\ &\rho(t,s)=1, \\ &h\bigl(t,s,u(s,x)\bigr)=s^{2}\cdot\sin\frac{u(s,x)}{t}. \end{aligned}$$

Equation (4.1) can be rewritten in the abstract form as (1.1). Moreover,

$$\begin{aligned} &\biggl\Vert \widetilde{f} \biggl(t,u(t,x), \int_{0}^{t}\rho (t,s)h\bigl(t,s,u(s,x)\bigr)\,ds \biggr) \biggr\Vert \\ &\quad \leq\frac{1}{k\cdot\sqrt[k]{t}} \bigl\Vert u(t,x) \bigr\Vert + \frac{t^{2}}{k} \biggl\Vert \int_{0}^{t}h\bigl(t,s,u(s,x)\bigr)\,ds \biggr\Vert \\ &\quad :=\mu_{1}(t) \bigl\Vert u(t,x) \bigr\Vert +\mu_{2}(t) \biggl\Vert \int_{0}^{t}h\bigl(t,s,u(s,x)\bigr)\,ds \biggr\Vert , \end{aligned}$$

and, for any \(u_{1},u_{2}\in E\),

$$\begin{aligned} & \biggl\Vert \widetilde{f} \biggl(t,u_{1}(t,x), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u_{1}(s,x) \bigr)\,ds \biggr)-\widetilde{f} \biggl(t,u_{2}(t,x), \int_{0}^{t}\rho(t,s)h\bigl(t,s,u_{2}(s,x) \bigr)\,ds \biggr) \biggr\Vert \\ &\quad \leq\frac{1}{k\cdot\sqrt[k]{t}} \bigl\Vert u_{1}(t,x)-u_{2}(t,x) \bigr\Vert +\frac{t^{2}}{k} \biggl\Vert \int_{0}^{t}h\bigl(t,s,u_{2}(s,x)\bigr) \,ds- \int_{0}^{t}h\bigl(t,s,u_{1}(s,x)\bigr) \,ds \biggr\Vert . \end{aligned}$$

Therefore, for any bounded set \(D_{1},D_{2}\in E\),

$$\alpha\bigl(\widetilde{f}(t,D_{1},D_{2})\bigr)\leq \frac{1}{k\cdot\sqrt [k]{t}}\bigl(\alpha(D_{1})\bigr)+\frac{t^{2}}{k}\bigl( \alpha(D_{2})\bigr):=\eta(t) \bigl(\alpha (D_{1})\bigr)+ \xi(t) \bigl(\alpha(D_{1})\bigr),\quad t\in(0,1]. $$

Moreover,

$$\bigl\Vert h\bigl(t,s,u(s,x)\bigr) \bigr\Vert \leq\frac{s^{2}}{t} \bigl\Vert u(s,x) \bigr\Vert :=m(t,s) \bigl\Vert u(s,x) \bigr\Vert $$

and

$$\sup_{t\in[0,1]} \int_{0}^{t}m(t,s)\,ds=\sup_{t\in[0,1]} \int_{0}^{t}\frac {s^{2}}{t}\,ds= \frac{1}{3}:=m^{*}. $$

For any \(u_{1},u_{2}\in E\),

$$\begin{aligned} \bigl\Vert h\bigl(t,s,u_{1}(s,x)\bigr)-h\bigl(t,s,u_{2}(s,x) \bigr) \bigr\Vert & \leq \frac{s^{2}}{t} \bigl\Vert u(s,x) \bigr\Vert :=m(t,s) \bigl\Vert u(s,x) \bigr\Vert \\ &\leq \frac{s^{2}}{t} \bigl\Vert u_{1}(s,x)-u_{2}(s,x) \bigr\Vert . \end{aligned}$$

So, for any bounded set \(D_{1}\subset E\),

$$\alpha\bigl(h(t,s,D_{1})\bigr)\leq\frac{s^{2}}{t} \alpha(D_{1}):\zeta(t,s)\alpha(D_{1}) $$

and

$$\sup_{t\in[0,1]} \int_{0}^{t}\zeta(t,s)\,ds=\sup_{t\in[0,1]} \int _{0}^{t}\frac{s^{2}}{t}\,ds= \frac{1}{3}:=\zeta^{*}. $$

If we put \(q=\frac{1}{4},k=5,M=1,L_{1}=L_{2}=\frac{1}{2},\tau_{i}=\frac {1}{2},b=1,\sum_{i=1}^{m} \vert \lambda_{i} \vert =2\), then

$$\begin{aligned} &\Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}= \Vert \eta \Vert _{L_{\frac {1}{q}}[0,b]}=\biggl(\frac{1}{5}\biggr)^{\frac{3}{4}},\qquad \mu_{2}^{*}=\frac{1}{5}, \\ &\Vert \mu_{2} \Vert _{L_{\frac{1}{q}}[0,b]}= \Vert \xi \Vert _{L_{\frac{1}{q}}[0,b]}=\biggl(\frac{1}{5}\biggr)^{\frac{3}{2}}. \end{aligned}$$

On the other hand,

$$\vert d \vert = \biggl\vert \frac{1}{1-\sum_{i=1}^{m}\lambda_{i}I_{0+}^{\gamma}S_{\nu,\mu}(\tau_{i})} \biggr\vert = \biggl\vert \frac{1}{1-\frac{2\sqrt{2}}{\sqrt{\pi}}} \biggr\vert \approx1.6785, $$

and we have

$$\begin{aligned} &\frac{M^{2} \vert d \vert }{\Gamma(\gamma)\Gamma(\mu+\gamma)}\sum_{i=1}^{m} \vert \lambda_{i} \vert \biggl[ \biggl(\frac{1-q}{\mu+\gamma-q} \biggr)^{1-q}\tau_{i}^{\mu+\gamma-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu+\gamma}\varrho m^{*}\mu_{2}^{*}}{\mu+\gamma} \biggr] \\ &\quad {}+\frac{Mb^{1-\gamma}}{\Gamma(\mu)} \biggl[ \biggl(\frac{1-q}{\mu -q} \biggr)^{1-q}b^{\mu-q} \Vert \mu_{1} \Vert _{L_{\frac{1}{q}}[0,b]}+\frac {b^{\mu}\varrho m^{*}\mu_{2}^{*}}{\mu} \biggr] \approx0.985282< 1 \end{aligned}$$

and

$$\frac{Mb^{\mu-q}}{\Gamma(\mu)} \biggl(\frac{1-q}{\mu-q} \biggr)^{1-q} \bigl(L_{1} \Vert \eta \Vert _{L_{\frac{1}{q}}[0,b]}+L_{2} \varrho\zeta^{*} \Vert \xi \Vert _{L_{\frac{1}{q}}[0,b]} \bigr)\approx0.211485< \frac{1}{4}. $$

Now all the assumptions in Theorem 3.1 are satisfied, Eq. (4.1) has at least one solution in \(C_{\frac{1}{4}}(J)\).

Conclusions

In this paper, we deal with a class of nonlinear fractional differential equations of Sobolev type with boundary conditions by using the Hilfer fractional derivative, which generalizes the famous Riemann–Liouville fractional derivative. With the help of the properties of Hilfer fractional calculus, the theory of propagation families as well as the theory of the measure of noncompactness and the fixed point methods, we obtain the existence result of mild solutions for Sobolev-type fractional evolution differential equations. Finally, an example is presented to illustrate the main result.

References

  1. 1.

    Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence result for boundary value problem of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973–1033 (2010)

  2. 2.

    Aghajani, A., Banaś, J., Sabzali, N.: Some generalizations of Darbo fixed point theorem and application. Bull. Belg. Math. Soc. Simon Stevin 20(2), 345–358 (2013)

  3. 3.

    El-Borai, M.M.: The fundamental solutions for fractional evolution equations of parabolic type. J. Appl. Math. Stoch. Anal. 3, 197–211 (2004)

  4. 4.

    Furati, K.M., Kassim, M.D., Tatar, N.E.: Existence and uniqueness for a problem involving Hilfer factional derivative. Comput. Math. Appl. 64, 1612–1626 (2012)

  5. 5.

    Gu, H., Trujillo, J.J.: Existence of mild solution for evolution equation with Hilfre fractional derivative. Appl. Math. Comput. 257, 344–354 (2015)

  6. 6.

    Li, F., Liang, J., Xu, H.K.: Existence of mild solutions for fractional integrodifferential equations of Sobolev type with nonlocal conditions. J. Math. Anal. Appl. 391, 510–525 (2012)

  7. 7.

    Lakzian, H., Gopal, D., Sintunavarat, W.: New fixed point results for mappings of contractive type with an application to nonlinear fractional differential equations. J. Fixed Point Theory Appl. https://doi.org/10.1007/s11874-015-0275-7

  8. 8.

    Mainardi, F., Ponce, R., Gorenflo, R.: Probability distributions generated by fractional diffusion equations. In: Kondor, K.I. (ed.) Econorhysics: App. Math. Comput., vol. 216, pp. 61–69 (2010)

  9. 9.

    Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

  10. 10.

    Bachar, I., Maagli, H., Radulescu, V.: Positive solutions for superlinear Riemann–Liouville fractional boundary-value problems. Electron. J. Differ. Equ. 2017, 240 (2017)

  11. 11.

    Denton, Z., Ramírez, J.D.: Existence of minimal and maximal solutions to RL fractional integro-differential initial value problems. Opusc. Math. 37(5), 705–724 (2017)

  12. 12.

    Guner, O., Bekir, A., Bilgil, H.: A note on exp-function method combined with complex transform method applied to fractional differential equations. Adv. Nonlinear Anal. 4(3), 201–208 (2015)

  13. 13.

    Idczak, D., Walczak, S.: On a linear-quadratic problem with Caputo derivative. Opusc. Math. 36(1), 49–68 (2016)

  14. 14.

    Molica Bisci, G., Repovs, D.: Multiple solutions of p-biharmonic equations with Navier boundary conditions. Complex Var. Elliptic Equ. 59(2), 271–284 (2014)

  15. 15.

    Torres Ledesma, C.: Boundary value problem with fractional p-Laplacian operator. Adv. Nonlinear Anal. 5(2), 133–146 (2016)

  16. 16.

    Xiang, M., Zhang, B., Radulescu, V.: Existence of solutions for perturbed fractional p-Laplacian equations. J. Differ. Equ. 260(2), 1392–1413 (2016)

  17. 17.

    Zhang, X., Zhang, B., Repovs, D.: Existence and symmetry of solutions for critical fractional Schrödinger equations with bounded potentials. Nonlinear Anal. 142, 48–68 (2016)

  18. 18.

    Balachandran, K., Kiruthika, S.: Existence of solutions of abstract fractional impulsive semilinear evolution equations. Electron. J. Qual. Theory Differ. Equ. 2010, 4 (2010)

  19. 19.

    Liang, J., Xiao, T.J.: Abstract degenerate Cauchy problems in locally convex spaces. J. Math. Anal. Appl. 259, 398–412 (2001)

  20. 20.

    Wang, G., Zhang, L., Song, G.: Systems of first order impulsive functional differential equations with deviating arguments and nonlinear boundary conditions. Nonlinear Anal. 74, 974–982 (2011)

  21. 21.

    Ahmad, B., Sivasundaram, S.: Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations. Nonlinear Anal. Hybrid Syst. 3, 251–258 (2009)

  22. 22.

    Benchohra, M., Seba, D.: Impulsive fractional differential equations in Banach spaces. Electron. J. Qual. Theory Differ. Equ. 2009, 8 (2009)

  23. 23.

    Benchohra, M., Henderson, J., Ntouyas, S.: Impulsive Differential Equations and Inclusions. Contemporary Mathematics and Its Applications, vol. 2. Hindawi, Cairo (2006)

  24. 24.

    Li, K., Peng, J., Jia, J.: Cauchy problems for fractional differential equations with Riemann–Liouville fractional derivatives. J. Funct. Anal. 263, 476–510 (2012)

  25. 25.

    Liu, Y.: Existence of solutions for impulsive differential models on half lines involving Caputo fractional derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 2604–2625 (2013)

  26. 26.

    Zhou, Y., Jiao, F.: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal., Real World Appl. 11, 4465–4475 (2010)

  27. 27.

    Hernández, E., O’Regan, D., Balachandran, K.: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 73, 3462–3471 (2010)

  28. 28.

    Cabada, A., Hamdi, Z.: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251–257 (2014)

  29. 29.

    Wang, J., Fečkan, M., Zhou, Y.: On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ. 8, 345–361 (2011)

  30. 30.

    Kumar, S., Sukavanam, N.: Approximate controllability of fractional order semilinear systems with bounded delay. J. Differ. Equ. 252, 6163–6174 (2012)

  31. 31.

    Stamova, I.: Global stability of impulsive fractional differential equations. Appl. Math. Comput. 237, 605–612 (2014)

  32. 32.

    Hilfer, R., Luchko, Y., Tomovski, Z̆.: Operational method for the solution of fractional differential equations with generalized Riemann–Liouville fractional derivatives. Fract. Calc. Appl. Anal. 12(3), 299–318 (2009)

  33. 33.

    Hilfer, R.: In: Hilfer, R. (ed.) Fractional Time Evolution, Applications of Fractional Calculus in Physics, pp. 87–130. World Scientific, Singapore (2000)

  34. 34.

    Gou, H., Li, B.: Existence of mild solutions for fractional nonautonomous evolution equations of Sobolev type with delay. J. Inequal. Appl. 2017, 252 (2017)

  35. 35.

    Wang, J., Zhang, Y.: Nonlocal initial value problems for differential equations with Hilfer fractional derivative. Appl. Math. Comput. 266, 850–859 (2015)

  36. 36.

    Gao, Z.Y., Yu, X.L.: Existence results for BVP of a class of Hilfer fractional differential equations. J. Appl. Math. Comput. https://doi.org/10.1007/s12190-016-1070-3

  37. 37.

    Lightbourne, J.H., Rankin, S.M.: A partial functional differential equation of Sobolev type. J. Math. Anal. Appl. 93, 328–337 (1983) 245, 74–85 (2014)

  38. 38.

    Kerboua, M., Debbouche, A., Baleanu, D.: Approximate controllability of Sobolev type fractional stochastic nonlocal nonlinear differential equations in Hilbert spaces. Electron. J. Qual. Theory Differ. Equ. 58, 1 (2014)

  39. 39.

    Ponce, R.: Holder continuous solutions for Sobolev type differential equations. Math. Nachr. 287, 70–78 (2014)

  40. 40.

    Agarwal, R., Meehan, M., O’Regan, D.: Fixed Point Theory and Applications. Cambridge University Press, Cambridge (2001)

  41. 41.

    Guo, D., Cho, Y., Zhu, J.: Partial Ordering Methods in Nonlinear Problems. NOVA Publ., New York (2004)

  42. 42.

    Li, Y.X.: The positive solutions of abstract semilinear evolution equations and their applications. Acta Math. Sin. 39(5), 666–672 (1996) (in Chinese)

  43. 43.

    Banas, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Lect. Notes Pure Appl. Math., vol. 60. Dekker, New York (1980)

  44. 44.

    EI-Borai, M.M.: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14, 433–440 (2002)

  45. 45.

    Deimling, K.: Nonlinear Functional Analysis. Springer, New York (1985)

  46. 46.

    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

Download references

Acknowledgements

The authors are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.

Funding

This work is supported by National Natural Science Foundation of China (Grant No. 11061031).

Author information

Affiliations

  1. College of Mathematics and Statistics, Northwest Normal University, Lanzhou, P.R. China
    • Haide Gou
    •  & Baolin Li
Authors
  1. Haide Gou
    View author publications
    You can also search for this author in
  2. Baolin Li
    View author publications
    You can also search for this author in

Contributions

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

Corresponding author

Correspondence to Baolin Li.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Both authors read and approved the final version of the manuscript.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Gou, H., Li, B. Existence of mild solutions for Sobolev-type Hilfer fractional evolution equations with boundary conditions. Bound Value Probl 2018, 48 (2018). https://doi.org/10.1186/s13661-018-0965-3

Download citation

MSC

  • 26A33
  • 34K30
  • 34K45
  • 35B10
  • 47D06

Keywords

  • Evolution equations
  • Mild solutions
  • Hilfer fractional derivative
  • Noncompact measure