Skip to main content

Theory and Modern Applications

Existence of solutions for impulsive fractional integrodifferential equations with mixed boundary conditions

Abstract

In this paper, by using some fixed point theorems and the measure of noncompactness, we discuss the existence of solutions for a boundary value problem of impulsive integrodifferential equations of fractional order \(\alpha\in(1,2]\). Our results improve and generalize some known results in (Zhou and Chu in Commun. Nonlinear Sci. Numer. Simul. 17:1142-1148, 2012; Bai et al. in Bound. Value Probl. 2016:63, 2016). Finally, an example is given to illustrate that our result is valuable.

1 Introduction

Fractional differential equations arise in many engineering and scientific disciplines as the mathematical modeling of systems and processes in the fields of physics, chemistry, aerodynamics, electrodynamics of complex medium, polymer rheology, and they have been emerging as an important area of investigation in the last few decades; see [3–7].

The theory of impulsive differential equations is a new and important branch of differential equation theory, which has an extensive physical, population dynamics, ecology, chemical, biological systems, and engineering background. Therefore, it has been an object of intensive investigation in recent years, some basic results on impulsive differential equations have been obtained and applications to different areas have been considered by many authors, see [8–11]. However, the concept of solutions for impulsive fractional differential equations [4–13] has been argued extensively, while the concept presented in Refs. [4–8, 13] could be controversial and deserves a further argument and mending. In [9, 12, 14], Wang et al. and Shu et al. gave a new concept of some impulsive differential equations with fractional derivative, which is a correction of that of piecewise continuous solutions used in [6, 8, 13]. Furthermore, the theory of boundary value problems for nonlinear impulsive fractional differential equations is still in the initial stages and many aspects of this theory need to be explored, we refer the readers to [1, 2, 15–17].

In [1], Zhou discussed the existence of solutions for a nonlinear multi-point boundary value problem of integro-differential equations of fractional order as follows:

$$ \textstyle\begin{cases} {}^{c} D^{\alpha}_{0^{+}}u(t)=f(t,u(t),(Hu)(t),(Ku)(t)),\quad t\in[0,1], \alpha\in(1,2], \\ a_{1}u(0)-b_{1}u'(0)=d_{1}u(\xi_{1}), \quad\quad a_{2}u(1)+b_{2}u'(1)=d_{2}u(\xi_{2}), \end{cases} $$

where \({}^{c}D^{\alpha}_{0^{+}}\) denotes the fractional Caputo derivative and

$$ (Hu) (s)= \int_{0}^{t}g(t,s)u(s)\,ds,\quad\quad (Ku) (s)= \int_{0}^{t}h(t,s)u(s)\,ds $$

with respect to strong topology.

In [2], Bai studied the existence of solutions for an impulsive fractional differential equation with nonlocal conditions in a Banach space E

$$ \textstyle\begin{cases} {}^{c} D^{\alpha}_{0^{+}}u(t)=f(t,u(t)), \quad t\in J', \\ \Delta u(t_{k})=I_{k}(u(t_{k})), \quad\quad \Delta u'(t_{k})=I_{k}^{*}(u(t_{k})),\quad k=1,2,\ldots,p, \\ u(0)+u'(0)=0, \quad\quad u(1)+u'(1)=0, \end{cases} $$

by using the contraction mapping principle and Krasnoselskii’s fixed point theorem.

Dong et al. [15] investigated the boundary value problem for p-Laplacian fractional differential equations

$$ \textstyle\begin{cases} D^{\alpha}(\phi_{p}(D^{\alpha}u(t)))=f(t,u(t)), \quad 0< t< 1, \\ u(0)=u(1)=D^{\alpha}u(0)=D^{\alpha}u(1)=0, \end{cases} $$

where \(1<\alpha\leq2\) is a real number, \(D^{\alpha}\) is the conformable fractional derivative, \(\phi_{p}(s)= \vert s \vert ^{p-2}s\), \(p>1\), \(\phi _{p}^{-1}=\phi_{q}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(f:[0,1]\times[0,+ \infty)\rightarrow[0,+\infty)\) is continuous. By the approximation method and fixed point theorems on cone, some existence and multiplicity results of positive solutions are obtained.

Bai et al. [16] investigated the boundary value problem of fractional differential equations

$$ \textstyle\begin{cases} D^{\alpha}_{0^{+}}u(t)=f(t,u(t)), \quad t\in(0,h), \\ t^{1-\alpha}u(t)|_{t=0}=u_{0}, \end{cases} $$

where \(f\in C([0,h]\times R,R)\), \(D^{\alpha}_{0^{+}}u(t)\) is the standard Riemann-Liouville fractional derivative, \(0 < \alpha< 1\). The existence of the blow-up solution, that is to say, \(u\in C(0,h]\) and \(\lim_{t\rightarrow0+}u(t)=\infty\), is obtained by the use of the lower and upper solution method.

In this paper, motivated by the above references, we investigate the existence of solutions to the following impulsive fractional integro-differential equations with mixed boundary conditions:

$$ \textstyle\begin{cases} {}^{c} D^{\alpha}_{0^{+}}u(t)=f(t,u(t),(Tu)(t),(Su)(t)),\quad t\in J', \\ \Delta u(t_{k})=I_{k}(u(t_{k})), \quad\quad \Delta u'(t_{k})=I_{k}^{*}(u(t_{k})), \quad k=1,2,\ldots,p, \\ au(0)+bu'(0)=\gamma_{1}(u), \quad\quad au(1)+bu'(1)=\gamma_{2}(u), \end{cases} $$
(1.1)

where \(f\in C(J\times E\times E\times E, E)\), \(I_{k}, I_{k}^{*}\in C(E,E)\), \(J=[0,1]\), \(J'=J\setminus\{t_{1},t_{2},\ldots,t _{p}\}\), \({}^{c}D^{\alpha}_{0^{+}}\) is the Caputo fractional derivative of order \(\alpha\in(1,2]\), \(\{t_{k}\}\) satisfy \(0=t_{0}< t_{1}< t_{2}< \cdots<t_{p}<t_{p+1}=1\), \(p\in N\), \(\Delta u(t_{k})=u(t_{k}^{+})-u(t_{k} ^{-})\), \(\Delta u'(t_{k})=u'(t_{k}^{+})-u'(t_{k}^{-})\), \(u(t_{k}^{+})\) and \(u(t_{k}^{-})\) represent the right and left limits of \(u(t)\) at \(t=t_{k}\), respectively. T and S are two linear operators defined by

$$\begin{aligned}& (Tu) (t) = \int_{0}^{t}{k(t,s)p_{1} \bigl(s,u(s)} \bigr)\,ds, \quad\quad (Su) (t) = \int_{0}^{a}{h(t,s)p_{2} \bigl(s,u(s)} \bigr)\,ds, \end{aligned}$$

where \(k \in C(D,R^{+})\), \(h \in C(D_{0},R^{+})\), \(D=\{(t,s)\in R^{2} : 0 \leq s\leq t\leq a\}\), \(D_{0}=\{(t,s)\in R^{2} : 0\leq t,s\leq a\}\) and \(p_{i}\in C(J\times E,E)\), \(\gamma_{i}:J\rightarrow E\) (\(i=1,2\)) is to be specified later.

The paper is organized as follows. In Section 2 we recall some basic known results. In Section 3 we discuss the existence theorem of solutions for problem (1.1). In Section 4, we provide an example to illustrate our result.

2 Preliminaries

In this section, we introduce notations, definitions and preliminary results which will be used throughout this paper.

Let E be a real Banach space and denote by Ψ the family of all functions \(\psi: \mathbb{R_{+}} \rightarrow\mathbb{R_{+}}\) satisfying the following conditions:

\((\Psi1)\) :

ψ is nondecreasing;

\((\Psi2)\) :

\(\sum_{n=1}^{\infty}\psi^{n}<\infty\) for all \(t > 0\), where \(\psi^{n}\) is the nth iterate of Ïˆ.

For each \(\psi\in\Psi\), the following assertions hold:

  1. (1)

    \(\lim_{n\rightarrow\infty}\psi^{n}(t)=0\) for all \(t > 0\);

  2. (2)

    \(\psi(t)< t\) for all \(t > 0\);

  3. (3)

    \(\psi(0)=0\).

Furthermore, we write \(B(x,r)\) to denote the closed ball centered at x with radius r and XÌ…, ConvX to denote the closure and closed convex hull of X, respectively. Moreover, let \(m_{E}\) indicate the family of all nonempty bounded subsets of E and \(n_{E}\) indicate the family of all relatively compact sets.

Let \(J_{0}=(0,t_{1}],J_{1}=(t_{1},t_{2}],\ldots,J_{p-1}=(t_{p-1},t _{p}],J_{p}=(t_{p},1]\) and \(C(J, E)\) denote the Banach space of all continuous E-valued functions on the interval J, \(\operatorname {PC}(J,E)=\{u:J \rightarrow E|u\in C(J',E), u(t_{k}^{+}), u(t_{k}^{-})\mbox{ exist and }u(t_{k}^{-})=u(t_{k}),1\leq k\leq p\}\). Obviously, \(\operatorname {PC}(J,E)\) is a Banach space with the norm \(\Vert u \Vert =\sup_{t\in J} \Vert u(t) \Vert _{E}\).

We use the following definition of the measure of noncompactness given in [18].

Definition 2.1

A mapping \(\mu: m_{E}\rightarrow\mathbb{R+}\) is said to be a measure of noncompactness in E if it satisfies the following conditions:

  1. (1)

    The family \(\ker \mu=\{X\in m_{E}:\mu(X)=0\}\) is nonempty and \(\ker \mu\subset n_{E}\).

  2. (2)

    \(X \subset Y \Rightarrow\mu(X)\leq\mu(Y)\).

  3. (3)

    \(\mu(\overline{X})=\mu(X)\).

  4. (4)

    \(\mu(\mathit {ConvX})=\mu(X)\).

  5. (5)

    \(\mu(\lambda X+(1-\lambda)Y)\leq\lambda\mu(X)+(1-\lambda) \mu(Y)\) for \(\lambda\in[0,1]\).

  6. (6)

    If \((X_{n})\) is a sequence of closed sets from \(m_{E}\) such that \(X_{n+1}\subset X_{n}\) (\(n=1,2,\ldots\)) and if \(\lim_{n\rightarrow\infty} \mu(X_{n})=0\), then the intersection set \(X_{\infty}=\bigcap_{n=1}^{\infty}X_{n}\) is nonempty.

Lemma 2.1

[19]

Let \(\varphi: \mathbb{R_{+}}\rightarrow\mathbb{R_{+}}\) be a nondecreasing and upper semicontinuous function. Then the following two conditions are equivalent:

  1. (i)

    \(\lim_{n\rightarrow\infty}\varphi^{n}(t)=0\) for any \(t>0\);

  2. (ii)

    \(\varphi(t)< t\) for any \(t>0\).

For any nonempty bounded subset, \(X\in m_{E}\). For \(x \in X\); \(T > 0\) and \(\varepsilon> 0\), let

$$\begin{aligned}& \omega(x,\varepsilon)=\sup \bigl\{ \bigl\vert x(t)-x(s) \bigr\vert :t,s\in J, \vert t-s \vert \leq\varepsilon \bigr\} , \\& \omega(X,\varepsilon)=\sup \bigl\{ w^{T}(x,\varepsilon):x\in X \bigr\} , \\& \omega_{0}(X)=\lim_{\varepsilon\rightarrow0 }\omega(X,\varepsilon ), X(t)= \bigl\{ x(t):x\in X \bigr\} , \\& \operatorname {diam}X(t)=\sup \bigl\{ \bigl\vert x(t)-y(t) \bigr\vert :x,y\in X \bigr\} , \end{aligned}$$

and

$$ \mu(X)=\omega_{0}(X)+\lim_{t\rightarrow\infty}\sup \operatorname {diam}X(t). $$
(2.1)

In [18], Banaś has shown that the function μ is a measure of noncompactness in the spaces \(\operatorname {PC}(J,E)\).

For completeness, we recall the definition of the Caputo derivative of fractional order.

Definition 2.2

The fractional integral of order α of a function \(f:[0,\infty )\rightarrow\mathbb{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-hand side is point-wise defined on \((0,\infty)\), where \(\Gamma(\cdot)\) is the gamma function.

Definition 2.3

The Riemann-Liouville derivative of order α with the lower limit zero for a function \(f:[0,\infty)\rightarrow\mathbb{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.4

The Caputo fractional derivative of order α for a function \(f:[0,\infty)\rightarrow\mathbb{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 Î±.

Remark 2.1

In the case \(f(t)\in C^{n}[0,\infty)\), then

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

That is to say, Definition 2.4 is just the usual Caputo fractional derivative. In this paper, we consider an impulsive problem, so Definition 2.4 is appropriate.

Moreover, we need the following known results.

Lemma 2.2

Let \(\alpha>0\), then the differential equation

$$ {}^{c} D^{\alpha}_{0^{+}}u(t)=0 $$

has the solution \(u(t)=c_{0}+c_{1}t+c_{2}t^{2}+\cdots+c_{n}t^{n-1}\), \(c _{i}\in\mathbb{R}\), \(i=0,1,\ldots,n\), \(n=[\alpha]+1\).

In view of Lemma 2.2, we have the following.

Lemma 2.3

Let \(\alpha>0\), then

$$ I^{\alpha}_{0^{+}} \bigl({}^{c} D^{\alpha}_{0+} u(t) \bigr)=u(t)+c_{0}+c_{1}t+c _{2}t^{2}+ \cdots+c_{n}t^{n-1} $$

for some \(c_{i}\in\mathbb{R}\), \(i=0,1,\ldots,n\), \(n=[\alpha]+1\).

Definition 2.5

[20]

Let \((E,d)\) be a metric space with w-distance p and \(f:E\rightarrow E\) be a given mapping. We say that f is a \((\gamma,\psi,p)\)-contractive mapping if there exist two functions \(\gamma:E\times E\rightarrow[0,\infty)\) and \(\psi\in\Psi\) such that

$$ \gamma(x,y)p(fx,fy)\leq\psi \bigl(p(x,y) \bigr) $$

for all \(x,y \in E\).

In the following, we will show some fixed point theorems of Darbo type proved by Aghajani et al. and that \((\gamma,\psi,p)\) is a contractive mapping, which plays a key role in the proof of our main results.

Lemma 2.4

[19]

Let Ω be a nonempty, bounded, closed and convex subset of a Banach space E, and let \(T:\Omega\rightarrow\Omega\) be a continuous operator satisfying the inequality

$$ \mu(TX)\leq\phi \bigl(\mu(X) \bigr) $$
(2.2)

for any nonempty subset X of Ω, where μ is an arbitrary measure of noncompactness and \(\phi: \mathbb{R_{+}}\rightarrow \mathbb{R_{+}}\) is a nondecreasing function such that \(\lim_{n\rightarrow\infty}\varphi^{n}(t)=0\) for each \(t\geq0\). Then T has at least one fixed point in the set Î©.

Lemma 2.5

[20]

Let p be a w-distance on a complete metric space \((E,d)\), and let \(f:E\rightarrow E\) be a \((\gamma,\psi,p)\)-contractive mapping. Suppose that the following conditions hold:

  1. (i)

    f is a γ-admissible mapping;

  2. (ii)

    there exists a point \(x_{0}\in E\) such that \(\gamma(x_{0},fx_{0}) \geq1\);

  3. (iii)

    either f is continuous or, for any sequence \(\{x_{n}\}\) in E, if \(\gamma(x_{n},x_{n+1})\geq1\) for all \(n\in\mathbb{N}\) and \(x_{n}\rightarrow x\in E\) as \(n\rightarrow\infty\), then \(\gamma(x _{n},x)\geq1\) for all \(n\in\mathbb{N}\). Then there exists a point \(u\in E\) such that \(fu=u\). Moreover, if \(\gamma(u,u)\geq1\), then \(p(u,u)=0\).

3 Main results

In this section, we establish the existence theorems of solutions for problem (1.1). For convenience, we give some notations.

For \(B \subset \operatorname {PC}(J, E)\), let \(B(t) = \{u(t) : u \in B\}\) and denote \(B_{R} = \{u\in B : \Vert u \Vert \leq R\}\).

Now, following [9, 21, 22], let us introduce the definition of a solution of problem (1.1).

Definition 3.1

A function \(u\in \operatorname {PC}(J,E)\) is said to be a solution of problem (1.1) if \(u(t)=u_{k}(t)\) for \(t\in(t_{k},t_{k+1})\) and \(u_{k}\in C([0,t_{k+1}],E)\) satisfies the equation \({}^{c}D^{\alpha} _{0^{+}}u(t) = f(t, u(t), (Tu)(t), (Su)(t))\) a.e. on \((0,t_{k+1})\), and the conditions \(\Delta u(t_{k})=I_{k}(u(t_{k}))\), \(\Delta u'(t_{k})=I _{k}^{*}(u(t_{k}))\), \(k=1,2,\ldots,p\), and \(au(0)+bu'(0)=\gamma_{1}(u)\), \(au(1)+bu'(1)=\gamma_{2}(u)\) hold.

By using a similar technique as in [2], Section 2, we obtain the following lemma.

Lemma 3.1

Let \(\rho\in C(J,E)\) and \(\alpha\in(1,2]\), a function u given by

$$ u(t)= \textstyle\begin{cases} \frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1}\rho(s)\,ds+ (\frac{b}{a}-t ) [\frac{1}{\Gamma(\alpha)}\int_{0}^{1}(1-s)^{ \alpha-1}\rho(s)\,ds \\ \quad{} +\frac{b}{a\Gamma(\alpha-1)}\int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds ]+\frac{1}{a^{2}}[(a(1-t)+b)\gamma_{1}(u)+(at-b)\gamma_{2}(u)],\hspace{-20pt} \\ \quad t\in[0,t_{1}]; \\ \frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1}\rho(s)\,ds+ (\frac{b}{a}-t ) [\frac{1}{\Gamma(\alpha)}\int_{0}^{1}(1-s)^{ \alpha-1}\rho(s)\,ds \\ \quad{} +\frac{b}{a\Gamma(\alpha-1)}\int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds ]+ (\frac{b}{a}+1-t )\sum_{j=1}^{p}I_{j}^{*}(u(t_{j})) (\frac{b}{a}-t_{j} ) \\ \quad{} + (\frac{b}{a}+1-t )\sum_{j=1}^{p}I_{j}(u(t_{j}))-(t-t_{j}) \sum_{j=k+1}^{p}I_{j}^{*}(u(t_{j}))-\sum_{j=k+1}^{p}I_{j}(u(t_{j}))\hspace{-20pt} \\ \quad{}+\frac{1}{a^{2}}[(a(1-t)+b)\gamma_{1}(u)+(at-b)\gamma_{2}(u)], \\ \quad t\in(t_{k},t_{k+1}], k=1,2,\ldots,p-1; \\ \frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1}\rho(s)\,ds+ (\frac{b}{a}-t ) [\frac{1}{\Gamma(\alpha)}\int_{0}^{1}(1-s)^{ \alpha-1}\rho(s)\,ds \\ \quad{}+\frac{b}{a\Gamma(\alpha-1)}\int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds ]+ (\frac{b}{a}+1-t )\sum_{j=1}^{p}I_{j}^{*}(u(t_{j})) (\frac{b}{a}-t_{j} ) \\ \quad{}+ (\frac{b}{a}+1-t )\sum_{j=1}^{p}I_{j}(u(t_{j}))+\frac{1}{a ^{2}}[(a(1-t)+b)\gamma_{1}(u)+(at-b)\gamma_{2}(u)],\hspace{-20pt} \\ \quad t\in(t_{p},t_{p+1}] \end{cases} $$
(3.1)

is a unique solution of the following impulsive problem:

$$ \textstyle\begin{cases} {}^{c} D^{\alpha}_{0^{+}}u(t)=\rho(t), \quad t\in J', \\ \Delta u(t_{k})=I_{k}(u(t_{k})), \quad\quad \Delta u'(t_{k})=I_{k}^{*}(u(t_{k})),\quad k=1,2,\ldots,p, \\ au(0)+bu'(0)=\gamma_{1}(u), \quad\quad au(1)+bu'(1)=\gamma_{2}(u). \end{cases} $$
(3.2)

Proof

With Lemma 2.3, a general solution u of the equation \({}^{c}D^{ \alpha}_{0^{+}}u(t)=\rho(t)\) on each interval \((t_{k},t_{k+1}]\) (\(k=0,1,2, \ldots,p\)) is given by

$$ u(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}\rho(s)\,ds+a _{k}+b_{k}t, \quad \mbox{for } t\in(t_{k},t_{k+1}], $$
(3.3)

where \(t_{0}=0\) and \(t_{p+1}=1\). Then we have

$$ u'(t)=\frac{1}{\Gamma(\alpha-1)} \int_{0}^{t}(t-s)^{\alpha-2}\rho(s)\,ds+b _{k}, \quad \mbox{for } t\in(t_{k},t_{k+1}]. $$

We have

$$\begin{aligned}& u(0)=a_{0},\quad\quad u'(0)=b_{0}, \\& u(1)=\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}\rho(s)\,ds+a _{p}+b_{p}, \\& u'(1)=\frac{1}{\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds+b _{p}. \end{aligned}$$

So, applying the boundary conditions (3.2), we have

$$\begin{aligned}& aa_{0}+bb_{0}=\gamma_{1}(u), \end{aligned}$$
(3.4)
$$\begin{aligned}& \frac{a}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}\,ds+ \frac{b}{ \Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2} \,ds+aa_{p}+ab_{p}+bb _{p}=\gamma_{2}(u). \end{aligned}$$
(3.5)

Furthermore, in view of \(\Delta u'(t_{k})=u'(t_{k}^{+})-u'(t_{k}^{-})=I _{k}^{*}(u(t_{k}))\), we have

$$\begin{aligned}& b_{k}=b_{k-1}+I_{k}^{*} \bigl(u(t_{k}) \bigr), \end{aligned}$$
(3.6)
$$\begin{aligned}& b_{k}=b_{p}-\sum _{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \quad (k=1,2,\ldots,p-1). \end{aligned}$$
(3.7)

In the same way, using the impulsive condition \(\Delta u(t_{k})=u(t _{k}^{+})-u(t_{k}^{-})=I_{k}(u(t_{k}))\), we have

$$ a_{k}+b_{k}t_{k}=a_{k-1}+b_{k-1}t_{k}+I_{k} \bigl(u(t_{k}) \bigr), $$
(3.8)

which by (3.6) implies that

$$ a_{k}=a_{k-1}-I_{k}^{*} \bigl(u(t_{k}) \bigr)t_{k}+I_{k} \bigl(u(t_{k}) \bigr). $$
(3.9)

Thus

$$ a_{k}=a_{p}+\sum _{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr)t_{j}-\sum _{j=k+1}^{p}I _{j} \bigl(u(t_{j}) \bigr) \quad (k=0,1,2,\ldots,p-1). $$
(3.10)

Combining (3.4), (3.5), (3.7) with (3.10) yields

$$\begin{aligned}& \begin{aligned}[b] a_{p}&= \frac{(a+b)\gamma_{1}(u)-b\gamma_{2}(u)}{a^{2}}+ \frac{b}{a \Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}\rho(s)\,ds \\ &\quad{} +\frac{b ^{2}}{a^{2}\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds- \biggl(\frac{b}{a}+1 \biggr)\sum_{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(t_{j}- \frac{b}{a} \biggr) \\ &\quad{} + \biggl(\frac{b}{a}+1 \biggr)\sum_{j=1}^{b}I_{j} \bigl(u(t _{j}) \bigr), \end{aligned} \end{aligned}$$
(3.11)
$$\begin{aligned}& \begin{aligned}[b] b_{p}&= \frac{\gamma_{2}(u)-\gamma_{1}(u)}{a}- \frac{1}{\Gamma(\alpha )} \int_{0}^{1}(1-s)^{\alpha-1}\rho(s)\,ds \\ &\quad{} -\frac{b}{a\Gamma( \alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds+\sum _{j=1}^{p}I _{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(t_{j}-\frac{b}{a} \biggr) \\ &\quad{} -\sum_{j=1}^{p}I_{j} \bigl(u(t _{j}) \bigr). \end{aligned} \end{aligned}$$
(3.12)

Furthermore, by (3.7), (3.10), (3.11) and (3.12), we have

$$\begin{aligned}& \begin{aligned}[b] a_{k}&= a_{p}+ \sum_{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr)t_{j}+\sum _{j=k+1} ^{p}I_{j} \bigl(u(t_{j}) \bigr) \\ & =\frac{(a+b)\gamma_{1}(u)-b\gamma_{2}(u)}{a ^{2}}+\frac{b}{a}\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha -1}\rho(s)\,ds \\ &\quad{} +\frac{b^{2}}{a^{2}}\frac{1}{\Gamma(\alpha-1)} \int _{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds- \biggl(\frac{b}{a}+1 \biggr)\sum_{j=1} ^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(t_{j}-\frac{b}{a} \biggr) \\ &\quad{} + \biggl( \frac{b}{a}+1 \biggr)\sum _{j=1}^{b}I_{j} \bigl(u(t_{j}) \bigr)+\sum_{j=k+1}^{p}I_{j} ^{*} \bigl(u(t_{j}) \bigr)t_{j} \\ &\quad{} +\sum_{j=k+1}^{p}I_{j} \bigl(u(t_{j}) \bigr) \quad (k=0,1,2,\ldots,p-1), \end{aligned} \end{aligned}$$
(3.13)
$$\begin{aligned}& \begin{aligned}[b] b_{k}&= b_{p}- \sum_{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \\ &=\frac{\gamma_{2}(u)- \gamma_{1}(u)}{a}-\frac{1}{\Gamma(\alpha)} \int _{0}^{1}(1-s)^{\alpha -1}\rho(s)\,ds \\ &\quad{} -\frac{b}{a}\frac{1}{\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{ \alpha-2}\rho(s)\,ds+\sum _{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(t_{j}- \frac{b}{a} \biggr) \\ &\quad{} -\sum_{j=1}^{p}I_{j} \bigl(u(t_{j}) \bigr)-\sum_{j=k+1}^{p}I _{j}^{*} \bigl(u(t_{j}) \bigr) \quad (k=0,1,2, \ldots,p-1). \end{aligned} \end{aligned}$$
(3.14)

Hence, for \(k=0,1,2,\ldots,p-1\), (3.13) and (3.14) imply

$$ \begin{aligned}[b] a_{k}+b_{k}t &= \biggl(\frac{b}{a}-t \biggr) \biggl[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}\rho(s)\,ds+ \frac{b}{a\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds \biggr] \\ &\quad{} + \biggl(\frac{b}{a}+1-t \biggr)\sum _{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(\frac{b}{a}-t_{j} \biggr)+ \biggl(\frac{b}{a}+1-t \biggr)\sum_{j=1}^{p}I_{j} \bigl(u(t_{j}) \bigr) \\ &\quad{} -(t-t_{j}) \sum_{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr)-\sum_{j=k+1}^{p}I_{j} \bigl(u(t_{j}) \bigr) \\ &\quad{} +\frac{1}{a^{2}} \bigl[ \bigl(a(1-t)+b \bigr)\gamma_{1}(u)+(at-b) \gamma_{2}(u) \bigr]. \end{aligned} $$
(3.15)

For \(k=p\), (3.11) and (3.12) imply

$$ \begin{aligned}[b] a_{k}+b_{k}t &= \biggl(\frac{b}{a}-t \biggr) \biggl[\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1}\rho(s)\,ds+ \frac{b}{a\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2}\rho(s)\,ds \biggr] \\ &\quad{} + \biggl(\frac{b}{a}+1-t \biggr)\sum _{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl(\frac{b}{a}-t_{j} \biggr)+ \biggl(\frac{b}{a}+1-t \biggr)\sum_{j=1}^{p}I_{j} \bigl(u(t_{j}) \bigr) \\ &\quad{} +\frac{1}{a ^{2}} \bigl[ \bigl(a(1-t)+b \bigr)\gamma_{1}(u)+(at-b) \gamma_{2}(u) \bigr]. \end{aligned} $$
(3.16)

Now it is clear that (3.3), (3.15), (3.16) imply that (3.1) holds.

Conversely, assume that u satisfies (3.1). By a direct computation, it follows that the solution given by (3.1) satisfies (3.2). This completes the proof. □

To prove our main results, we state the following basic assumptions of this paper.

  1. (H1)

    \(f:\mathbb{R_{+}}\times E \times E \times E\rightarrow E\) is continuous and there exists a nondecreasing and upper semicontinuous function \(\varphi\in\Psi\); furthermore, there exist nondecreasing continuous functions \(\Phi_{1},\Phi_{2}:\mathbb{R}\rightarrow \mathbb{R}\) with \(\Phi_{1}(0)=\Phi_{2}(0)=0\) such that

    $$\begin{aligned}& \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \\& \quad \leq\varphi \bigl( \Vert u-v \Vert \bigr)+\Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+\Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr). \end{aligned}$$
  2. (H2)

    The function defined by \(\vert f(t,0,0,0) \vert \) is bounded on J, i.e.,

    $$ M_{1}=\sup \bigl\{ \bigl\vert f(t,0,0,0) \bigr\vert :t\in J \bigr\} < \infty. $$
  3. (H3)

    \(\gamma_{i}\) (\(i=1,2\)): \(E\rightarrow E\) are continuous and compact mappings and there exists a nondecreasing and upper semicontinuous function \(\varphi_{i}\in\Psi\); furthermore, there exist constants \(N_{i}\) such that \(\Vert \gamma_{i}(u)-\gamma _{i}(v) \Vert \leq \varphi_{i}( \Vert u-v \Vert )\) and \(\Vert \gamma _{i}(u) \Vert \leq N_{i}\) (\(i=1,2\)) for any \(u, v\in B_{R}\).

  4. (H4)

    The functions \(I_{k}, I_{k}^{*} : E\rightarrow E \) are continuous, and there exists a nondecreasing and upper semicontinuous function \(\varphi_{3},\varphi_{4}\in\Psi\); furthermore, there exist constants \(\mu>0\) and \(\rho>0\) such that

    $$\begin{aligned}& \bigl\Vert I_{k}(u)-I_{k}(v) \bigr\Vert \leq \varphi_{3} \bigl( \Vert u-v \Vert \bigr)\quad \mbox{and} \quad \bigl\Vert I_{k}(u) \bigr\Vert \leq\mu, \\& \quad \mbox{for all }u, v\in B_{R},k=1,2,\ldots,p, \\& \bigl\Vert I_{k}^{*}(u)-I_{k}^{*}(v) \bigr\Vert \leq\varphi _{4} \bigl( \Vert u-v \Vert \bigr)\quad \mbox{and} \quad \bigl\Vert I_{k}^{*}(u) \bigr\Vert \leq \rho, \\& \quad \mbox{for all }u,v\in B_{R},k=1,2,\ldots ,p. \end{aligned}$$
  5. (H5)

    There exists a positive solution \(r_{0}\) of the inequality

    $$\begin{aligned}& \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma(\alpha )} \biggr\} \bigl(\varphi \bigl( \Vert u \Vert \bigr)+\Phi _{1}(D_{1})+ \Phi_{2}(D_{2})+M_{1} \bigr) \\& \quad{} +\frac{p}{a^{2}} \bigl(a(b+a)\mu+ \bigl(a^{2}+ab+b^{2} \bigr)\rho \bigr)+\frac{a+b}{a ^{2}}(N_{1}+N_{2})\leq r, \end{aligned}$$

    where D is a positive constant defined by the equality

    $$\begin{aligned}& D_{1}=\sup \biggl\{ \biggl\vert \int_{0}^{t}k(t,s)p_{1} \bigl(s,u(s) \bigr) \,ds \biggr\vert :t,s \in J, u\in B_{R} \biggr\} , \\ & D_{2}=\sup \biggl\{ \biggl\vert \int_{0}^{a}h(t,s)p_{2} \bigl(s,u(s) \bigr)\,ds \biggr\vert :t,s \in J, u\in B_{R} \biggr\} . \end{aligned}$$

    Moreover,

    $$ \lim_{t\rightarrow\infty} \int_{0}^{t} \bigl\Vert k(t,s) \bigl[p_{1} \bigl(s,u(s) \bigr)-p _{1} \bigl(s,v(s) \bigr) \bigr] \bigr\Vert \,ds=0 $$

    and

    $$ \lim_{a\rightarrow\infty} \int_{0}^{a} \bigl\Vert h(t,s) \bigl[p_{2} \bigl(s,u(s) \bigr)-p _{2} \bigl(s,v(s) \bigr) \bigr] \bigr\Vert \,ds=0. $$

Theorem 3.1

Let E be a Banach space, suppose that conditions (H1)-(H5) are satisfied. Then problem (1.1) has at least one solution in the space \(\operatorname {PC}(J,E)\).

Proof

First we consider the operator \(Q:\operatorname {PC}(J,E)\rightarrow \operatorname {PC}(J,E)\) defined by

$$\begin{aligned} (Qu) (t) &:=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\ &\quad{} + \biggl(\frac{b}{a}-t \biggr) \biggl[\frac{1}{\Gamma(\alpha)} \int _{0}^{1}(1-s)^{ \alpha-1}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\ &\quad{} +\frac{b}{a\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha -2}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \biggr] \\ &\quad{} + \biggl(\frac{b}{a}+1-t \biggr)\sum _{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl( \frac{b}{a}-t_{j} \biggr)+ \biggl(\frac{b}{a}+1-t \biggr)\sum_{j=1}^{p}I_{j} \bigl(u(t _{j}) \bigr) \\ &\quad{} -(t-t_{j})\sum_{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr)-\sum_{j=k+1}^{p}I_{j} \bigl(u(t _{j}) \bigr) \\ &\quad{} +\frac{1}{a^{2}} \bigl[ \bigl(a(1-t)+b \bigr)\gamma_{1}(u)+(at-b) \gamma_{2}(u) \bigr], \quad t\in(t_{k},t_{k+1}], k=1,2, \ldots,p-1. \end{aligned}$$

It is easy to see that the fixed points of Q are the solutions of nonlocal problem (1.1). Set \(B_{r_{0}}= \{u \in B : \Vert u(t) \Vert \leq r _{0}, t \in J\}\), then \(B_{r_{0}}\) is a closed ball in \(\operatorname {PC}(J,E)\) with center θ and radius \(r_{0}\). For \(\forall u\in B_{r_{0}}\), by means of (H1), (H2) and the triangle inequality, we get

$$\begin{aligned} \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr) \bigr\Vert &\leq \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)-f(s,0,0,0) \bigr\Vert + \bigl\Vert f(s,0,0,0) \bigr\Vert \\ &\leq\varphi \bigl( \Vert u \Vert \bigr)+\Phi_{1} \bigl( \Vert Tu \Vert \bigr)+\Phi_{2} \bigl( \Vert Su \Vert \bigr)+M_{1} \\ &\leq\varphi \bigl( \Vert u \Vert \bigr)+\Phi_{1}(D_{1})+ \Phi_{2}(D_{2})+M _{1}. \end{aligned}$$
(3.17)

First, we notice that the continuity of \(Q(u)(t)\) for any \(u \in \operatorname {PC}(J,E)\) is obvious, and by (3.17), we have

$$\begin{aligned} \bigl\Vert (Qu) (t) \bigr\Vert &\leq\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1} \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr) \bigr\Vert \,ds \\ &\quad{} + \biggl\vert \frac{b}{a}-t \biggr\vert \biggl[ \frac{1}{\Gamma(\alpha )} \int_{0}^{1}(1-s)^{ \alpha-1} \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr) \bigr\Vert \,ds \\ &\quad{} +\frac{b}{a\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha-2} \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr) \bigr\Vert \,ds \biggr] \\ &\quad{} + \biggl\vert \frac{b}{a}+1-t \biggr\vert \sum _{j=1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr) \bigr\Vert \cdot \biggl\vert \frac{b}{a}-t_{j} \biggr\vert + \biggl\vert \frac {b}{a}+1-t \biggr\vert \sum_{j=1} ^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr) \bigr\Vert \\ &\quad{} - \vert t-t_{j} \vert \sum_{j=k+1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr) \bigr\Vert -\sum_{j=k+1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr) \bigr\Vert \\ &\quad{} +\frac{1}{a^{2}} \bigl[ \bigl\vert a(1-t)+b \bigr\vert \cdot \bigl\Vert \gamma_{1}(u) \bigr\Vert + \vert at-b \vert \cdot \bigl\Vert \gamma_{2}(u) \bigr\Vert \bigr] \\ &\leq \bigl(\varphi \bigl( \Vert u \Vert \bigr)+\Phi_{1}(D_{1})+ \Phi _{2}(D_{2})+M_{1} \bigr) \biggl\{ \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\,ds \\ &\quad{} +\frac{b}{a} \biggl[ \int_{0}^{1}\frac{(1-s)^{\alpha-1}}{\Gamma( \alpha)}\,ds+ \frac{b}{a} \int_{0}^{1}\frac{(1-s)^{\alpha-2}}{\Gamma( \alpha-1)}\,ds \biggr] \biggr\} \\ &\quad{} +\frac{b}{a} \biggl(\frac{b}{a}+1 \biggr)\sum _{j=1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t _{j}) \bigr) \bigr\Vert + \biggl(\frac{b}{a}+1 \biggr)\sum_{j=1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr) \bigr\Vert \\ &\quad{} +\sum_{j=k+1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr) \bigr\Vert + \sum_{j=k+1}^{p} \bigl\Vert I_{j} \bigl(u(t _{j}) \bigr) \bigr\Vert +\frac{a+b}{a^{2}}(N_{1}+N_{2}) \\ &\leq \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma (\alpha)} \biggr\} \bigl(\varphi \bigl( \Vert u \Vert \bigr)+\Phi _{1}(D_{1})+ \Phi_{2}(D_{2})+M _{1} \bigr) \\ &\quad{} +\frac{p}{a^{2}} \bigl(a(b+a)\mu+ \bigl(a^{2}+ab+b^{2} \bigr)\rho \bigr)+\frac{a+b}{a ^{2}}(N_{1}+N_{2}), \end{aligned}$$

and \(D_{1}\), \(D_{2}\) are given by (H5). Thus

$$\begin{aligned} \bigl\Vert (Qu) (t) \bigr\Vert &\leq \biggl\{ \frac{(b+a)}{a\Gamma (\alpha+1)}+ \frac{b}{a ^{2}\Gamma(\alpha)} \biggr\} \bigl(\varphi \bigl( \Vert u \Vert \bigr)+ \Phi_{1}(D_{1})+\Phi _{2}(D_{2})+M_{1} \bigr) \\ &\quad{} +\frac{p}{a^{2}} \bigl(a(b+a)\mu+ \bigl(a^{2}+ab+b^{2} \bigr)\rho \bigr)+\frac{a+b}{a ^{2}}(N_{1}+N_{2})\leq r. \end{aligned}$$

Now Q is well defined, we have \(Q(B_{r_{0}})\subset B_{r_{0}}\), where \(r_{0}\) is a constant appearing in assumption (H5).

We shall show that Q is continuous from \(B_{r_{0}}\) into \(B_{r_{0}}\). To show this, take \(u,v\in B_{r_{0}}\) and \(\varepsilon>0\) arbitrarily such that \(\Vert u-v \Vert <\varepsilon\), for \(t\in J\), we have

$$\begin{aligned}& \bigl\Vert Qu(t)-Qv(t) \bigr\Vert \\& \quad \leq\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{ \alpha-1} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \\& \quad \quad{} + \biggl\vert \frac{b}{a}-t \biggr\vert \biggl[ \int_{0}^{1}\frac {(1-s)^{\alpha-1}}{ \Gamma(\alpha)} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \\& \quad \quad{} +\frac{b}{a} \int_{0}^{1}\frac{(1-s)^{\alpha-2}}{\Gamma( \alpha-1)} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \biggr] \\& \quad \quad{} + \biggl\vert \frac{b}{a}+1-t_{k} \biggr\vert \sum_{j=1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t _{j}) \bigr)-I_{j}^{*} \bigl(v(t_{j}) \bigr) \bigr\Vert \cdot \biggl\vert \frac {b}{a}-t_{j} \biggr\vert \\& \quad \quad{} + \biggl\vert \frac{b}{a}+1-t_{k} \biggr\vert \sum_{j=1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr)-I_{j} \bigl(v(t _{j}) \bigr) \bigr\Vert - \vert t-t_{j} \vert +\sum _{j=k+1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr)-I _{j}^{*} \bigl(v(t_{j}) \bigr) \bigr\Vert \\& \quad \quad{} +\sum_{j=k+1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr)-I_{j} \bigl(v(t _{j}) \bigr) \bigr\Vert +\frac{1}{a^{2}} \bigl[ \bigl(a(1-t)+b \bigr) \bigl\Vert \gamma _{1}(u)-\gamma_{1}(v) \bigr\Vert \\& \quad\quad{} +(at-b) \bigl\Vert \gamma_{2}(u)-\gamma_{2}(v) \bigr\Vert \bigr] \\& \quad \leq \biggl\{ \frac{(b+a)}{a \Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma(\alpha)} \biggr\} \biggl\{ \varphi \bigl( \Vert u-v \Vert \bigr) \\& \quad\quad{} +\Phi_{1} \biggl( \biggl\vert \int _{0}^{t}k(t,s) \bigl[p_{1} \bigl(s,u(s) \bigr)-p _{1} \bigl(s,v(s) \bigr) \bigr]\,ds \biggr\vert \biggr) \\& \quad \quad{} +\Phi_{2} \biggl( \biggl\vert \int_{0}^{a}h(t,s) \bigl[p _{2} \bigl(s,u(s) \bigr)-p_{2} \bigl(s,v(s) \bigr) \bigr]\,ds \biggr\vert \biggr) \biggr\} +\frac {p}{a^{2}} \bigl(a(b+a) \varphi_{3} \bigl( \Vert u-v \Vert \bigr) \\& \quad \quad{}+ \bigl(a^{2}+ab+b^{2} \bigr) \varphi_{4} \bigl( \Vert u-v \Vert \bigr) \bigr)+\frac{b+a}{a ^{2}} \bigl(\varphi_{1} \bigl( \Vert u-v \Vert \bigr)+\varphi _{2} \bigl( \Vert u-v \Vert \bigr) \bigr) \\& \quad \leq \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma(\alpha )} \biggr\} \bigl\{ \varphi \bigl( \Vert u-v \Vert \bigr)+\Phi_{1} \bigl(\delta (t,u,v) \bigr)+ \Phi_{2} \bigl( \gamma(t,u,v) \bigr) \bigr\} \\& \quad \quad{}+\frac{p}{a^{2}} \bigl(a(b+a)\varphi_{3} \bigl( \Vert u-v \Vert \bigr)+ \bigl(a^{2}+ab+b^{2} \bigr) \varphi_{4} \bigl( \Vert u-v \Vert \bigr) \bigr) \\& \quad \quad{}+\frac{b+a}{a^{2}} \bigl(\varphi_{1} \bigl( \Vert u-v \Vert \bigr)+\varphi_{2} \bigl( \Vert u-v \Vert \bigr) \bigr), \end{aligned}$$
(3.18)

where

$$\begin{aligned}& \delta(t,u,v)= \biggl\vert \int_{0}^{t}k(t,s) \bigl[p_{1} \bigl(s,u(s) \bigr)-p_{1} \bigl(s,v(s) \bigr) \bigr]\,ds \biggr\vert , \\& \gamma(t,u,v)= \biggl\vert \int_{0}^{a}h(t,s) \bigl[p_{2} \bigl(s,u(s) \bigr)-p_{2} \bigl(s,v(s) \bigr) \bigr]\,ds \biggr\vert . \end{aligned}$$

Furthermore, considering conditions (H1) and (H5), there exists \(a>0\) such that for \(t\geq a\) we have

$$ \Phi_{1} \bigl(\delta(t,u,v) \bigr)< \varepsilon, \qquad \Phi_{2} \bigl(\gamma(t,u,v) \bigr)< \varepsilon. $$
(3.19)

Then, from (3.18) and (3.19) for \(t\geq a\), we have

$$ \begin{gathered} \bigl\Vert (Qu) (t)-(Qv) (t) \bigr\Vert \\ \quad \leq \biggl\{ \frac {(b+a)}{a\Gamma(\alpha+1)}+ \frac{b}{a ^{2}\Gamma(\alpha)}+\frac{p}{a^{2}} (a(b+a)+ \bigl(a^{2}+ab+b^{2} \bigr)+\frac{b+a}{a ^{2}} \biggr\} \varphi_{\max}(\varepsilon), \end{gathered} $$

where \(\varphi_{\max}(\varepsilon):=\max\{\varphi(\varepsilon), \varphi_{i}(\varepsilon),i=1,2,3,4\}\).

Now we assume that \(t\in J\), then by using the continuity of \(p_{1}\), \(p_{2}\) on \(J \times J\times[-r,r]\) and condition (H5), we can obtain

$$ \Phi_{1} \bigl(\delta(t,u,v) \bigr)\rightarrow0, \qquad \Phi_{2} \bigl(\gamma(t,u,v) \bigr) \rightarrow0, $$

as \(\varepsilon\rightarrow0\). Thus, we proved that \(Q : B_{r_{0}} \rightarrow B_{r_{0}}\) is a continuous operator.

Now we show that for any nonempty set \(X\subset B_{r_{0}}\), \(\mu(QX) \leq\phi(\mu(X))\). First, we demonstrate that the operator \(Q : B_{r_{0}} \rightarrow B_{r_{0}} \) is equicontinuous. In view of (3.17), we define \(f_{\max}=\sup_{(t,u)\in J\times B_{r_{0}}} \Vert f(s,u,Tu,Su) \Vert \). For any \(u\in B_{r_{0}}\) and \(t_{k-1}\leq\tau _{1}<\tau_{2} \leq t_{k} \in J\) with \(\vert \tau_{1}-\tau_{2} \vert \leq\varepsilon\), we get that

$$\begin{aligned}& \bigl\Vert (Qu) (\tau_{2})-(Qu) (\tau_{1}) \bigr\Vert \\& \quad = \Biggl\Vert \int_{\tau_{1}}^{\tau_{2}}\frac{( \tau_{2}-s)^{\alpha-1}}{\Gamma(\alpha)}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\& \qquad{} + \int_{0}^{\tau_{1}} \biggl(\frac{(\tau_{2}-s)^{\alpha-1}-(\tau_{1}-s)^{ \alpha-1}}{\Gamma(\alpha)} \biggr)f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\& \qquad{} +( \tau_{1}-\tau_{2}) \biggl[ \int^{1}_{0}\frac{(1-s)^{\alpha-1}}{ \Gamma(\alpha)}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\& \qquad{} +\frac{b}{a} \int_{0}^{1} \frac{(1-s)^{\alpha-2}}{\Gamma(\alpha-1)}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \biggr] \\& \qquad{} +(\tau_{2}- \tau_{1})\sum _{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl( \frac{b}{a}-t_{j} \biggr)+(\tau_{2}-\tau_{1})\sum _{j=1}^{p}I_{j} \bigl(u(t_{j}) \bigr)+( \tau_{1}-\tau_{2})\sum _{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \\& \qquad{} +\frac{(\tau_{1}-\tau_{2})}{a} \bigl( \gamma_{2}(u)- \gamma_{1}(u) \bigr) \Biggr\Vert \\& \quad \leq f_{\max} \biggl\{ \biggl(\frac{1}{\Gamma(\alpha+1)}+ \frac{b}{a \Gamma(\alpha)} \biggr) \vert \tau_{1}-\tau_{2} \vert + \frac{2}{\Gamma(\alpha+1)}(\tau_{2}-\tau_{1})^{\alpha} \biggr\} \\& \qquad{} +p \biggl( \biggl(\frac{b}{a}+1 \biggr)\rho+\mu \biggr) \vert \tau_{2}-\tau _{1} \vert +\frac{ \vert \tau _{1}-\tau_{2} \vert }{a}(\mu+\rho). \end{aligned}$$

In conclusion , \(\omega(Qu,\varepsilon)\rightarrow0\) as \(\varepsilon \rightarrow0\), which implies that \(Q(B_{r_{0}})\) is equicontinuous.

Linking these statements with the above estimate and formula (2.1), we deduce the following inequality:

$$ \omega_{0}(QX)\leq \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a ^{2}\Gamma(\alpha)} \biggr\} \varphi \bigl(\omega_{0}(X) \bigr). $$

Also, for fixed \(t \in J\) and \(u, v \in B_{r_{0}}\), from (3.18) we obtain

$$\begin{aligned}& \bigl\Vert (Qu) (t)-(Qv) (t) \bigr\Vert \\& \quad \leq \biggl\{ \frac{p}{a^{2}} \bigl(a(b+a)+ \bigl(a^{2}+ab+b ^{2} \bigr) \bigr)+ \frac{b+a}{a^{2}} \biggr\} \varphi_{\max} \bigl( \Vert u-v \Vert \bigr) \\& \quad \quad{} + \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma( \alpha)} \biggr\} \bigl\{ \varphi_{\max} \bigl( \Vert u-v \Vert \bigr)+\Phi_{1} \bigl( \delta(t,u,v) \bigr)+ \Phi_{2} \bigl(\gamma(t,u,v) \bigr) \bigr\} , \end{aligned}$$

where \(\varphi_{\max}( \Vert u-v \Vert ):=\max\{\varphi ( \Vert u-v \Vert ),\varphi_{i}( \Vert u-v \Vert ),i=1,2,3,4\}\). By using condition (2.1) and \(t\rightarrow \infty\), we deduce that

$$\begin{aligned} \lim_{t\rightarrow\infty}\sup \operatorname {diam}(QX) (t)&\leq \biggl[\frac{p}{a ^{2}} \bigl(a(b+a)+ \bigl(a^{2}+ab+b^{2} \bigr) \bigr)+ \frac{b+a}{a^{2}} \\ &\quad{} + \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma( \alpha)} \biggr\} \biggr] \lim _{t\rightarrow\infty}\sup \operatorname {diam}\varphi_{\max} \bigl(X(t) \bigr). \end{aligned}$$

Consequently, by considering μ defined by (2.1), we have

$$ \mu(QX)\leq \biggl[\frac{p}{a^{2}} \bigl(a(b+a)+ \bigl(a^{2}+ab+b^{2} \bigr) \bigr)+\frac{b+a}{a ^{2}}+\frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma(\alpha )} \biggr] \varphi \bigl( \mu(X) \bigr), $$

where \(\phi(s)= [\frac{p}{a^{2}} (a(b+a)+(a^{2}+ab+b^{2}) )+\frac{b+a}{a^{2}}+\frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a ^{2}\Gamma(\alpha)} ]\varphi(s)\in\Psi\). Combining the above estimate with all properties of the operator Q, by Lemma 2.4, we complete the proof. □

Theorem 3.2

Let \(\xi:E\times E\rightarrow\mathbb{R}^{+}\) be a given function. Assume that the following conditions hold:

(A) There exists \(\psi\in\Psi\) such that

$$\begin{aligned}& \bigl\Vert f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)-f \bigl(s,v(s),(Tv) (s),(Sv) (s) \bigr) \bigr\Vert \\ & \quad \leq\frac{a^{2}\Gamma(\alpha)\Gamma(\alpha+1)}{4[a\Gamma(\alpha )(a+b)+b\Gamma(\alpha+1)]}\psi \bigl( \Vert u-v \Vert \bigr), \\ & \bigl\Vert \gamma_{i}(u)-\gamma_{i}(v) \bigr\Vert \leq \frac {a^{2}}{8(a+b)}\psi \bigl( \Vert u-v \Vert \bigr),\ \\ & \bigl\Vert I_{k} \bigl(u \bigl(t^{-}_{k} \bigr) \bigr)-I_{k} \bigl(v \bigl(t^{-}_{k} \bigr) \bigr) \bigr\Vert \leq \frac{a^{2}}{4p(a(b+a))}\psi \bigl( \Vert u-v \Vert \bigr), \\ & \bigl\Vert I_{k}^{*} \bigl(u \bigl(t^{-}_{k} \bigr) \bigr)-I_{k}^{*} \bigl(v \bigl(t^{-}_{k} \bigr) \bigr) \bigr\Vert \leq\frac{a^{2}}{4p(a ^{2}+ab+b^{2})}\psi \bigl( \Vert u-v \Vert \bigr) \end{aligned}$$

for all \(t\in J\) and for all \(u,v\in E\) with \(\xi(u,v)\geq0\), \(i=1,2\), \(k=1,2, \ldots,p\).

(B) There exists \(u_{0}\in \operatorname {PC}(J,E)\) such that \(\xi(u_{0}(t),Qu_{0}(t)) \geq0\) for all \(t \in J\), where a mapping \(Q:\operatorname {PC}(J,E)\to \operatorname {PC}(J,E)\) is defined by

$$\begin{aligned} (Qu) (t) &:=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha -1}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\ &\quad{} + \biggl(\frac{b}{a}-t \biggr) \biggl[\frac{1}{\Gamma(\alpha)} \int _{0}^{1}(1-s)^{ \alpha-1}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \\ &\quad{} +\frac{b}{a\Gamma(\alpha-1)} \int_{0}^{1}(1-s)^{\alpha -2}f \bigl(s,u(s),(Tu) (s),(Su) (s) \bigr)\,ds \biggr] \\ &\quad{} + \biggl(\frac{b}{a}+1-t \biggr)\sum_{j=1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr) \biggl( \frac{b}{a}-t_{j} \biggr)+ \biggl(\frac{b}{a}+1-t \biggr)\sum_{j=1}^{p}I_{j} \bigl(u(t _{j}) \bigr) \\ &\quad{} -(t-t_{j})\sum_{j=k+1}^{p}I_{j}^{*} \bigl(u(t_{j}) \bigr)-\sum_{j=k+1}^{p}I_{j} \bigl(u(t _{j}) \bigr) \\ &\quad{} +\frac{1}{a^{2}} \bigl[ \bigl(a(1-t)+b \bigr)\gamma_{1}(u)+(at-b) \gamma_{2}(u) \bigr], \quad t\in(t_{k},t_{k+1}], k=1,2,\ldots,p-1. \end{aligned}$$

(C) For each \(t\in J\), and \(u,v\in \operatorname {PC}(J,E)\), \(\xi(u(t),v(t))\geq0\) implies that \(\xi(Qu(t),Qv(t))\geq0\).

(D) For each \(t\in J\), if \(\{u_{n}\}\) is a sequence in \(\operatorname {PC}(J,E)\) such that \(u_{n}\rightarrow u\) in \(\operatorname {PC}(J,E)\) and \(\xi(u_{n}(t),u_{n+1}(t)) \geq0\) for all \(n\in\mathbb{N}\), then

$$ \xi \bigl(u_{n}(t),u(t) \bigr)\geq0 $$

for all \(n\in\mathbb{N}\). Then problem (1.1) has at least one solution.

Proof

First of all, let \(E=\operatorname {PC}(J,E)\). By Lemma 3.1, it is easy to see that \(u\in E\) is a solution of (1.1) given by (3.1), then problem (1.1) is equivalent to finding \(u^{*}\in E\) which is a fixed point of Q.

Now, let \(u,v\in E\) such that \(\xi(u(t),v(t))\geq0\) for all \(t\in J\). By condition (A), we have

$$\begin{aligned}& \bigl\Vert Qu(t)-Qv(t) \bigr\Vert \\& \quad \leq\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{ \alpha-1} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \\& \quad\quad{} + \biggl\vert \frac{b}{a}-t \biggr\vert \biggl[ \int_{0}^{1}\frac {(1-s)^{\alpha-1}}{ \Gamma(\alpha)} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \\& \quad\quad{} +\frac{b}{a} \int_{0}^{1} \frac{(1-s)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl\Vert f \bigl(t,u(t),(Tu) (t),(Su) (t) \bigr)-f \bigl(t,v(t),(Tv) (t),(Sv) (t) \bigr) \bigr\Vert \,ds \biggr] \\& \quad\quad{} + \biggl\vert \frac{b}{a}+1-t_{k} \biggr\vert \sum _{j=1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr)-I _{j}^{*} \bigl(v(t_{j}) \bigr) \bigr\Vert \cdot \biggl\vert \frac {b}{a}-t_{j} \biggr\vert \\& \quad\quad{} + \biggl\vert \frac{b}{a}+1-t_{k} \biggr\vert \sum _{j=1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr)-I_{j} \bigl(v(t _{j}) \bigr) \bigr\Vert - \vert t-t_{j} \vert +\sum _{j=k+1}^{p} \bigl\Vert I_{j}^{*} \bigl(u(t_{j}) \bigr)-I _{j}^{*} \bigl(v(t_{j}) \bigr) \bigr\Vert \\& \quad\quad{} +\sum_{j=k+1}^{p} \bigl\Vert I_{j} \bigl(u(t_{j}) \bigr)-I_{j} \bigl(v(t_{j}) \bigr) \bigr\Vert + \frac{1}{a^{2}} \bigl[ \bigl(a(1-t)+b \bigr) \bigl\Vert \gamma_{1}(u)-\gamma _{1}(v) \bigr\Vert \\& \quad\quad{} +(at-b) \bigl\Vert \gamma_{2}(u)- \gamma_{2}(v) \bigr\Vert \bigr] \\& \quad \leq\psi \bigl( \Vert u-v \Vert \bigr). \end{aligned}$$

This implies that for each \(u,v\in E\) with \(\xi(u(t),v(t))\geq0\) for all \(t\in J\), we obtain that

$$ \bigl\Vert Qu(t)-Qv(t) \bigr\Vert \leq\psi \bigl( \Vert u-v \Vert \bigr) $$
(3.20)

for all \(u,v\in E\). Now, we define the function \(\gamma:E\times E \rightarrow[0,\infty)\) by

$$ \gamma(u,v)= \textstyle\begin{cases} 1 & \mbox{if }\xi(u(t),v(t))\geq0\mbox{ for all }t\in J, \\ 0 & \mbox{otherwise}, \end{cases} $$

and also we define the w-distance p on E by \(p(u,v)= \Vert u-v \Vert \). From (3.20), we have

$$ \gamma(u,v)p(Qu,Qv)\leq\psi \bigl(p(u,v) \bigr) $$

for all \(u,v\in E\). This implies that Q is a \((\gamma,\psi,p)\)-contractive mapping. From condition (B), there exists \(u_{0}\in E\) such that \(\gamma(u_{0},Qu_{0})\geq1\). Next, by using condition (C), the following assertions hold for all \(u,v\in E\):

$$\begin{aligned} \gamma(u,v)\geq1 \quad &\Rightarrow\quad \xi \bigl(u(t),v(t) \bigr)\geq0 \\ &\Rightarrow\quad \xi \bigl(Qu(t),Qv(t) \bigr)\geq0 \\ &\Rightarrow\quad \gamma(Qu,Qv)\geq1 \end{aligned}$$

and hence Q is a γ-admissible mapping. Finally, from condition (D) we get that condition (iii) of Lemma 2.5 holds. Therefore, by Lemma 2.5, we find \(x^{*}\in E\) such that \(x^{*}=Qx^{*}\), and so \(x^{*}\) is a solution of problem (1.1), which completes the proof. □

4 An example

In this section we give an example to illustrate the usefulness of our results.

Example 4.1

We consider the following impulsive fractional differential equation:

$$ \textstyle\begin{cases} {}^{c} D^{\frac{3}{2}}_{0^{+}}u(t)=\frac{t^{2}}{2+2t^{4}}\ln(1+ \vert u(t) \vert )+ \int_{0}^{t}\frac{se^{-t}\cos u(t)}{1+ \vert \sin u(t) \vert }\,ds \\ \hphantom{{}^{c} D^{\frac{3}{2}}_{0^{+}}u(t)=}{}+ \int_{0}^{t}\frac{s \vert \cos u(t) \vert +e^{s}(1+\sin ^{2}u(t))}{e^{t}(1+ \sin u(t))}\,ds, \\ \Delta u(\frac{1}{4})=\frac{ \vert u(\frac{1}{4}) \vert }{15+ \vert u(\frac{1}{4}) \vert }, \quad\quad \Delta u'(\frac{1}{4})=\frac{ \vert u(\frac{1}{4}) \vert }{10+ \vert u(\frac{1}{4}) \vert }, \\ 3u(0)+u'(0)=\sum_{i=1}^{m}\eta_{i}u(\frac{1}{2}), \quad\quad 3u(0)+u'(0)=\sum_{i=1}^{m}\widetilde{\eta_{i}}\widetilde{u}( \frac{1}{2}), \end{cases} $$
(4.1)

where \(0<\eta_{1}<\eta_{2}<\cdots<1\), \(0<\widetilde{\eta_{1}}< \widetilde{\eta_{2}}<\cdots<1\), and \(\eta_{i}\), \(\widetilde{\eta_{i}}\) are given positive constants with \(\sum_{i=1}^{m}\eta_{i}< \frac{2}{15}\) and \(\sum_{j=1}^{m}\widetilde{\eta_{j}}<\frac{3}{15}\). Take \(J:=[0,1]\) and \(\alpha=\frac{3}{2}\), \(p=1\), \(a=3\), \(b=1\).

Let

$$\begin{aligned}& Tu= \int_{0}^{t}\frac{se^{-t}\cos u(t)}{1+ \vert \sin u(t) \vert }\,ds,\quad\quad Su= \int _{0}^{t}\frac{s \vert \cos u(t) \vert +e^{s}(1+\sin ^{2}u(t))}{e^{t}(1+\sin u(t))}\,ds, \\& f(t,u,Tu,Su)=\frac{t^{2}}{2+2t^{4}}\ln \bigl(1+ \bigl\vert u(t) \bigr\vert \bigr)+ Fu+Gu, \\& I_{k}(u)=\frac{ \vert u(\frac{1}{4}) \vert }{15+ \vert u(\frac{1}{4}) \vert },\quad\quad I_{k}^{*}(u)= \frac{ \vert u( \frac{1}{4}) \vert }{10+ \vert u(\frac{1}{4}) \vert }, \\& \gamma_{1}(u)=\sum _{i=1}^{m}\eta _{i}u \biggl( \frac{1}{2} \biggr),\quad\quad \gamma_{2}(u)=\sum _{i=1}^{m}\widetilde{\eta_{i}} \widetilde{u} \biggl(\frac{1}{2} \biggr), \end{aligned}$$

then the impulsive fractional differential equation (4.1) can be transformed into the abstract form of problem (1.1). We show that all the conditions of Theorem 3.1 are satisfied for problem (4.1). Next, let \(u, v \in \operatorname {PC}(J,E)\), we calculate

$$\begin{aligned}& \bigl\Vert f(t,u,Tu,Su) -f(t,v,Tv,Sv) \bigr\Vert \\& \quad = \biggl\Vert \frac{t^{2}}{2+2t^{4}} \bigl( \ln \bigl(1+ \bigl\vert u(t) \bigr\vert \bigr)-\ln \bigl(1+ \bigl\vert v(t) \bigr\vert \bigr) \bigr) \\& \quad \quad{} +(Tu-Tv)+(Su-Sv) \biggr\Vert \\& \quad \leq\frac{1}{4} \biggl\Vert \ln \biggl(1+\frac{ \vert u \vert - \vert v \vert }{1+ \vert u \vert } \biggr) \biggr\Vert + \Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+ \Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr) \\& \quad \leq\frac{1}{2} \biggl[\frac{1}{2}\ln \bigl(1+ \vert u-v \vert \bigr) \biggr]+\Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+ \Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr) \\& \quad \leq\frac{1}{2}\ln \biggl(\frac{2+ \vert u-v \vert }{2} \biggr)+\Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+ \Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr) \\& \quad \leq\frac{1}{2}\ln \biggl(1+\frac{ \vert u-v \vert }{2} \biggr)+ \Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+ \Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr) \\& \quad \leq\frac{1}{2}\ln \bigl(1+ \vert u-v \vert \bigr)+\Phi _{1} \bigl( \Vert Tu-Tv \Vert \bigr)+\Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr) \\& \quad =\varphi \bigl( \vert u-v \vert \bigr)+\Phi_{1} \bigl( \Vert Tu-Tv \Vert \bigr)+\Phi_{2} \bigl( \Vert Su-Sv \Vert \bigr). \end{aligned}$$

Obviously, the function \(\varphi(t)=\frac{1}{2}\ln(1+t) \) is nondecreasing on J and \(\varphi(t)< t\) for all \(t>0\), \(\Phi_{1}(t)= \Phi_{2}(t)=t\), hence condition (H1) holds.

On the other hand, the fact that \(M_{1}=\sup\{ \vert f(t,0,0,0) \vert ,t\in \mathbb{R_{+}}\}=1\) shows condition (H2) is valid. Moreover, we have

$$\begin{aligned}& \bigl\Vert I_{k}(u)-I_{k}(v) \bigr\Vert = \biggl\Vert \frac{ \vert u(\frac{1}{4}) \vert }{15+ \vert u( \frac{1}{4}) \vert }-\frac{ \vert v(\frac{1}{4}) \vert }{15+ \vert v(\frac{1}{4}) \vert } \biggr\Vert \leq\frac{1}{15} \Vert u-v \Vert , \\& \bigl\Vert I_{k}^{*}(u)-I_{k}^{*}(v) \bigr\Vert = \biggl\Vert \frac { \vert u(\frac{1}{4}) \vert }{10+ \vert u( \frac{1}{4}) \vert }-\frac{ \vert v(\frac{1}{4}) \vert }{10+ \vert v(\frac{1}{4}) \vert } \biggr\Vert \leq\frac{1}{10} \Vert u-v \Vert , \\& \bigl\Vert \gamma_{1}(u)-\gamma_{1}(v) \bigr\Vert = \Biggl\Vert \sum_{i=1}^{m} \eta_{i}u \biggl(\frac{1}{2} \biggr)- \sum _{i=1}^{m}\eta_{i}v \biggl( \frac{1}{2} \biggr) \Biggr\Vert \leq\frac {2}{15} \Vert u-v \Vert , \\& \bigl\Vert \gamma_{2}(u)-\gamma_{2}(v) \bigr\Vert = \Biggl\Vert \sum_{i=1}^{m}\widetilde{ \eta_{i}} \widetilde{u} \biggl(\frac{1}{2} \biggr)-\sum _{i=1}^{m}\widetilde{\eta_{i}} \widetilde{v} \biggl(\frac{1}{2} \biggr) \Biggr\Vert \leq \frac{3}{15} \Vert u-v \Vert , \\& \bigl\Vert I_{k}(u) \bigr\Vert = \biggl\Vert \frac{ \vert u(\frac{1}{4}) \vert }{15+ \vert u(\frac{1}{4}) \vert } \biggr\Vert \leq\frac{1}{15} \Vert u \Vert , \quad\quad \bigl\Vert I_{k}^{*}(u) \bigr\Vert = \biggl\Vert \frac{ \vert u( \frac{1}{4}) \vert }{10+ \vert u(\frac{1}{4}) \vert } \biggr\Vert \leq\frac{1}{10} \Vert u \Vert , \\& \bigl\Vert \gamma_{1}(u) \bigr\Vert = \Biggl\Vert \sum _{i=1}^{m}\eta _{i}u \Biggr\Vert \leq \frac{2}{15} \Vert u \Vert , \quad\quad \bigl\Vert \gamma _{2}(u) \bigr\Vert = \Biggl\Vert \sum _{i=1}^{m} \widetilde{\eta_{i}} \widetilde{u} \biggl(x,\frac{1}{2} \biggr) \Biggr\Vert \leq \frac{3}{15} \Vert u \Vert , \\& \bigl\vert k(t,s) \bigl[p_{1}(s,u)-p_{1}(s,v) \bigr] \bigr\vert \leq\frac{s}{e^{t}}, \\& \bigl\vert h(t,s) \bigl[p_{2}(s,u)-p_{2}(s,v) \bigr] \bigr\vert \leq\frac{s}{2e^{t}}, \\& \lim_{t\rightarrow\infty} \int_{0}^{t} \bigl\vert k(t,s) \bigl[p_{1} \bigl(s,u(s) \bigr)-p_{2} \bigl(s,v(s) \bigr) \bigr] \bigr\vert \,ds \leq\lim_{t\rightarrow\infty}\frac{s}{e^{t}}= \lim _{t\rightarrow\infty}\frac{t^{2}}{2e^{t}}=0 \end{aligned}$$

and

$$ \lim_{t\rightarrow\infty} \int_{0}^{t} \bigl\vert h(t,s) \bigl[p_{2} \bigl(s,u(s) \bigr)-p_{2} \bigl(s,v(s) \bigr) \bigr] \bigr\vert \,ds \leq\lim_{t\rightarrow\infty}\frac{s}{2e^{t}}= \lim _{t\rightarrow\infty}\frac{t^{2}}{4e^{t}}=0 $$

for any \(u,v\in \operatorname {PC}(J,E)\). Also, we have

$$\begin{aligned}& \biggl\vert \int_{0}^{t}k(t,s)p_{1} \bigl(s,u(s) \bigr) \,ds \biggr\vert \leq \int _{0}^{t} \bigl\vert k(t,s)p _{1} \bigl(s,u(s) \bigr) \bigr\vert \,ds\leq \int_{0}^{t}\frac{s}{e^{t}}\,ds= \frac{t^{2}}{2e^{t}}, \end{aligned}$$
(4.2)
$$\begin{aligned}& \biggl\vert \int_{0}^{t}h(t,s)p_{2} \bigl(s,u(s) \bigr) \,ds \biggr\vert \leq \int _{0}^{t} \bigl\vert h(t,s)p _{2} \bigl(s,u(s) \bigr) \bigr\vert \,ds\leq \int_{0}^{t}\frac {s+e^{s}}{2e^{t}}\,ds= \frac{t^{2}+4e ^{t}-4}{4e^{t}}. \end{aligned}$$
(4.3)

Using (4.2), (4.3), we compute

$$\begin{aligned}& \begin{aligned} D_{1}&= \sup \biggl\{ \biggl\vert \int_{0}^{t}k(t,s)p_{1} \bigl(s,u(s) \bigr) \,ds \biggr\vert :t,s \in J,u\in C(J,E) \biggr\} \\ &\leq\sup \biggl\{ \frac{t^{2}}{2e^{t}}:t>0 \biggr\} \\ &=2e^{-2}, \end{aligned} \\& \begin{aligned} D_{2} &=\sup \biggl\{ \biggl\vert \int_{0}^{a}h(t,s)p_{2} \bigl(s,u(s) \bigr)\,ds \biggr\vert :t,s \in J,u\in C(J,E) \biggr\} \\ &\leq\sup \biggl\{ \frac{t^{2}+4e^{t}-4}{4e^{t}}:t>0 \biggr\} \\ &=\frac{4+4e^{2}-4}{4e^{2}} \\ &=1. \end{aligned} \end{aligned}$$

Finally, let us consider the first inequality in assumption (H5). On the basis of the above calculations, we see that each number \(r\geq4\) satisfies the inequality in condition (H5), i.e.,

$$\begin{aligned}& \biggl\{ \frac{(b+a)}{a\Gamma(\alpha+1)}+\frac{b}{a^{2}\Gamma(\alpha )} \biggr\} \bigl(\varphi \bigl( \Vert u \Vert \bigr)+\Phi _{1}(D_{1})+ \Phi_{2}(D_{2})+M_{1} \bigr) \\& \quad{} +\frac{p}{a^{2}} \bigl(a(b+a)\mu+ \bigl(a^{2}+ab+b^{2} \bigr)\rho \bigr)+\frac{a+b}{a ^{2}}(N_{1}+N_{2})\leq r. \end{aligned}$$

Thus, as the number \(r_{0}\), we can take \(r_{0}=4\). Consequently, all the conditions of Theorem 3.1 are satisfied. Thus, problem (4.1) has at least one solution belonging to the ball \(B_{r_{0}}\) in the space \(\operatorname {PC}(J,E)\).

5 Conclusions

The aim of this paper is to discuss the existence of solutions for a class of mixed boundary value problems of impulsive integrodifferential equations of fractional order \(\alpha\in(1,2]\). Our results improve and generalize some known results.

References

  1. Zhou, WX, Chu, YD: Existence of solutions for fractional differential equations with multi-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 17, 1142-1148 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  2. Bai, ZB, Dong, XY, Yin, C: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, 63 (2016)

    Article  MathSciNet  MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  4. Agarwal, RP, 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. 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)

    Article  MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  9. Wang, JR, Zhou, Y, Fec̆kan, M: On recent developments in the theory of boundary value problems for impulsive fractional differential equations. Comput. Math. Appl. 64, 3008-3020 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  10. Wang, JR, Fec̆kan, M, Zhou, Y: Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 395, 258-264 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Wang, JR, Li, X, Wei, W: On the natural solution of an impulsive fractional differential equation of order \(q\in(1,2)\). Commun. Nonlinear Sci. Numer. Simul. 17, 4384-4394 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. Fec̆kan, M, Zhou, Y, Wang, JR: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 3050-3060 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Wang, G, Ahmad, B, Zhang, L, Nieto, JJ: Comments on the concept of existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 19, 401-403 (2014)

    Article  MathSciNet  Google Scholar 

  14. Shu, XB, Wang, QQ: The existence and uniqueness of mild solutions for fractional differential equations with nonlocal conditions of order \(1<\alpha<2\). Comput. Math. Appl. 64, 2100-2110 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  15. Dong, XY, Bai, ZB, Zhang, SQ: Positive solutions to boundary value problems of p-Laplacian with fractional derivative. Bound. Value Probl. 2017, 5 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  16. Bai, ZB, Zhang, S: Monotone iterative method for a class of fractional differential equations. Electron. J. Differ. Equ. 2016, 06 (2016)

    Article  MATH  Google Scholar 

  17. Bai, ZB: Eigenvalue intervals for a class of fractional boundary value problem. Comput. Math. Appl. 64(10), 3253-3257 (2012)

    Article  MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  19. 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)

    MathSciNet  MATH  Google Scholar 

  20. 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. doi:10.1007/s11874-015-0275-7

  21. Wang, JR, Fec̆kan, M, Zhou, Y: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806-831 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  22. Wang, JR, Ibrahim, AG, Fec̆kan, M: Nonlocal impulsive fractional differential inclusions with fractional sectorial operators on Banach spaces. Appl. Math. Comput. 257, 103-118 (2015)

    MathSciNet  MATH  Google Scholar 

  23. Wang, JR, Zhang, YR: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 85-90 (2015)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors wish to thank the referees for their valuable comments. This work is supported by the National Natural Science Foundation of China (11061031).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Baolin Li.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, B., Gou, H. Existence of solutions for impulsive fractional integrodifferential equations with mixed boundary conditions. Adv Differ Equ 2017, 218 (2017). https://doi.org/10.1186/s13662-017-1244-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1244-9

MSC

Keywords