Open Access

Existence of solutions for the nonlinear multiple base points impulsive fractional differential equations with the three-point boundary conditions

Advances in Difference Equations20172017:55

https://doi.org/10.1186/s13662-017-1111-8

Received: 18 October 2016

Accepted: 12 February 2017

Published: 20 February 2017

Abstract

In this paper, we study a class of nonlinear multiple base points impulsive fractional differential equations involving the three-point boundary conditions. A new result on the existence of a solution is established by using fixed point theorems. An example is presented to illustrate the result.

Keywords

nonlinear multiple base points fractional differential equations three-point boundary value problem impulsive condition

MSC

34A08 34A37 34B10

1 Introduction

The fractional differential equations have received increasing attention during recent years and have been studied extensively (e.g., [18] and the references therein). This is mostly due to the fact that fractional calculus provides an efficient and excellent instrument to describe many practical dynamical phenomena which arise in viscoelasticity, electrochemistry, control, porous media, electromagnetic, etc.

In the left and right fractional derivatives \({}^{c} D_{a^{+}}^{\alpha}x\) and \({}^{c} D_{b^{-}}^{\alpha}x\), a and b are called a left base point and a right base point, respectively. Both a and b are called base points of fractional derivatives. A fractional differential equation (FDE) containing more than one base point is called a multiple base points FDE [8]. In this paper, we study the following the three-point boundary value problem of nonlinear multiple base points fractional differential equations with impulse:
where \(\alpha\in(1, 2)\), \(\beta, \gamma_{1}, \gamma_{2}\in(0,1)\), \(\alpha -\beta\in(1,2)\). \(^{c}D^{\alpha}_{*}\) is the standard Caputo fractional derivative at the base points \(t=t_{k}\) (\(k=1,2,\ldots,m\)); that is, \(^{c}D^{\alpha}_{*}\vert_{(t_{k}, t_{k+1}]}x(t)={}^{c} D^{\alpha}_{t^{+}_{k}}x(t)\) for all \(t\in(t_{k}, t_{k+1}]\). \(I_{k}, \widetilde{I}_{k}\in C(\mathbb{R}, \mathbb{R})\), \(f: J \times \mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\) are appropriate functions to be specified later. The impulsive moments \(\{t_{k}\}\) are given such that \(0=t_{0} < t_{1} < \cdots< t_{m} < t_{m+1}=T\), \(\Delta x(t_{k})\) represents the jump of function x at \(t_{k}\), which is defined by \(\Delta x(t_{k}) = x(t_{k}^{+})- x(t_{k}^{-})\), where \(x(t_{k}^{+})\), \(x(t_{k}^{-})\) represent the right and left limits of \(x(t)\) at \(t=t_{k}\) respectively. \(\Delta x'(t_{k})\) has a similar meaning for \(x'(t)\).

Some recent results on the solvability of boundary value problems of differential equations involving Caputo fractional derivatives can be found in many papers [915]. It follows from the definition of fractional order derivative that the solution of (1.1)-(1.3) should belong to the space \(AC^{2}((t_{k}, t_{k+1}], \mathbb{R})\) (\(k=0,1,\ldots,m\)) [1, 3]. However, some researchers neglected this fact [10, 12, 13]. In this paper, we shall provide detailed proofs of our Lemmas 3.2-3.5 which ensure \(x(t)\in AC^{2}((t_{k}, t_{k+1}], \mathbb {R})\) (\(k=0,1,\ldots,m\)) to be the solution of (1.1)-(1.3) under the weak assumption for f. To the best of our knowledge, there has been little study on the existence of solutions for the multiple base points fractional differential equations with impulsive and three-point boundary conditions.

The rest of the paper is organized as follows. In Section 2, we state some basic concepts, notations and preliminary results about fractional calculus. In Section 3, we present the definition of solution for (1.1)-(1.3). In Section 4, by applying some standard fixed point principles, we verify the existence of solutions for problem (1.1)-(1.3). An example is given in Section 5 to demonstrate the application of our main result.

2 Preliminaries

In this paper, we denote by \(L^{p}(J,\mathbb{R})\) the Banach space of all Lebesgue measurable functions \(\xi: J\rightarrow\mathbb{R}\) with the norm \(\Vert \xi \Vert _{L^{p}}= (\int_{J}\vert \xi(t)\vert ^{p}\,dt)^{\frac{1}{p}}<\infty \) and by \(AC([a,b], \mathbb{R})\) the space of all the absolutely continuous functions defined on \([a,b]\). \(AC^{n}([a,b], \mathbb{R})\) (\(n =1,2,\ldots\)) is the space of functions f such that \(f \in C^{n-1}([a,b], \mathbb{R})\) and \(f^{(n-1)} \in AC([a,b], \mathbb{R})\). In particular, \(AC^{1}([a,b], \mathbb{R})=AC([a,b], \mathbb{R})\).

Definition 2.1

[1, 3]

The fractional integral of order θ with the lower limit a for a function \(g(t)\in L^{1}([a, +\infty), \mathbb{R})\) is defined as
$$\bigl(I_{a^{+}}^{\theta}g \bigr) (t)=\frac{1}{\Gamma(\theta)} \int_{a}^{t} (t-s)^{\theta-1}g(s)\,ds,\quad t>a, \theta>0, $$
where \(\Gamma(\cdot)\) is the gamma function.

Definition 2.2

[1, 3]

If \(g(t)\in AC^{n}([a,b], \mathbb{R})\), then the Riemann-Liouville fractional derivative \(({}^{L} D_{a^{+}}^{\theta}g)(t)\) of order θ exists almost everywhere on \([a, b]\) and can be written as
$$\bigl({}^{L} D_{a^{+}}^{\theta}g \bigr) (t)= \frac{1}{\Gamma(n-\theta)}\frac{d^{n}}{dt^{n}} \int_{a}^{t}(t-s)^{n-\theta-1}g(s)\,ds,\quad t> a, n-1< \theta< n. $$

Definition 2.3

[1, 3]

If \(g(t)\in AC^{n}([a,b], \mathbb {R})\), then the Caputo derivative \(({}^{c}D_{a^{+}}^{\theta}g)(t)\) of order θ exists almost everywhere on \([a, b]\) and can be written as
$$\bigl({}^{c}D_{a^{+}}^{\theta}g \bigr) (t)= \Biggl( {}^{L} D_{a^{+}}^{\theta} \Biggl[g(s)-\sum _{k=0}^{n-1}\frac{g^{(k)}(a)}{k!}(s-a)^{k} \Biggr] \Biggr) (t),\quad t> a, n-1< \theta< n; $$
moreover, if \(g(a)=g'(a)=\cdots=g^{(n-1)}(a)=0\), then \(({}^{c}D_{a^{+}}^{\theta}g)(t)=({}^{L} D_{a^{+}}^{\theta}g)(t)\).

Remark 2.4

[1, 3]

If \(g(t)\in C^{n}([a,b], \mathbb{R})\), then \(({}^{c}D_{a^{+}}^{\theta }g)(t)\in C([a,b], \mathbb{R})\), \(n-1<\theta<n\).

We present here some properties of the fractional calculus as follows.

Lemma 2.5

[1, 3]

For \(\theta>0\), a general solution of the fractional differential equation \({}^{c}D^{\theta}_{a^{+}}u(t)=0\) is given by
$$u(t)=c_{0}+c_{1}(t-a)+c_{2}(t-a)^{2}+ \cdots+c_{n-1}(t-a)^{n-1}, $$
where \(c_{i}\in\mathbb{R}\), \(i=0,1,2,\ldots,n-1\) (\(n=[\theta]+1\)), and \([\theta]\) denotes the integer part of the real number θ.

Lemma 2.6

[1, 3]

The Caputo fractional derivative of order \(n-1< \theta<n \) for \(t^{s}\) is given as
$$ {}^{c} D_{a^{+}}^{\theta}t^{s}= \textstyle\begin{cases} {\frac{\Gamma(s+1)}{\Gamma(s-\theta+1)}(t-a)^{s-\theta},\quad s\in\mathbb {N}, s\geq n \textit{ or } s\notin\mathbb{N}, s>n-1},\\ 0,\quad s\in\{0,1,\ldots,n-1\}. \end{cases} $$
(2.1)

Lemma 2.7

[1, 3]

If \(\theta_{2}>\theta_{1}>0\) and \(f\in L^{p}([a,b], \mathbb{R})\) (\(1\leq p\leq \infty\)), then \(({}^{c}D_{a^{+}}^{\theta_{1}}I_{a^{+}}^{\theta _{2}}f)(t)=(I_{a^{+}}^{\theta_{2}-\theta_{1}}f)(t)\).

Let \(\mathbf{B}(\cdot, \cdot)\) be the beta function, we need the following result.

Lemma 2.8

For \(p>0\), \(q>0\), \(0< a< t\), \({\int_{a}^{t} (t-s)^{p-1}(s-a)^{q-1}\,ds=(t-a)^{p+q-1}\mathbf{B}(p, q)}\).

Proof

Let \(\tau=s-a\), then \(\int_{a}^{t} (t-s)^{p-1}(s-a)^{q-1}\,ds=\int _{0}^{t-a}(t-a-\tau)^{p-1} {\tau}^{q-1}\,d\tau=(t-a)^{p+q-1} \mathbf{B}(p, q)\). □

Lemma 2.9

For \(\varsigma\in(0, 1]\) and \(0< a\leq b\), \(\vert a^{\varsigma }-b^{\varsigma} \vert \leq(b-a)^{\varsigma}\).

3 Solutions for the boundary value problem

Set \(J_{k}=(t_{k}, t_{k+1}]\), \(k=1,\ldots, m\), \(J_{0}=[0, t_{1}]\). We define
$$X= \bigl\{ x:[0,T]\rightarrow\mathbb{R}: x\in C^{1}(J_{k}, \mathbb{R}) \text{ and } x \bigl(t_{k}^{+} \bigr), x' \bigl(t_{k}^{+} \bigr), {}^{c} D_{t_{k}^{+}}^{\beta}x \bigl(t_{k}^{+} \bigr) \text{ exist}, k=0,1,\ldots,m \bigr\} $$
with the norm
$$\Vert x\Vert _{1}:=\max\Bigl\{ \sup_{k=0, 1, \ldots,m}\sup _{t \in J_{k}} \bigl\vert x(t)\bigr\vert , \sup_{k=0, 1, \ldots,m} \sup_{t \in J_{k}} \bigl\vert x'(t)\bigr\vert , \sup _{k=0, 1, \ldots,m}\sup_{t \in J_{k}} \bigl\vert {}^{c} D_{t_{k}^{+}}^{\beta}x(t)\bigr\vert \Bigr\} . $$
Obviously, X is a real Banach space.
In this paper, we consider the following assumption.
  1. (H1)
    \(f:J\times\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\) satisfies \(f(\cdot,v,w):J\rightarrow\mathbb{R}\) is measurable for all \(v, w\in \mathbb{R}\) and \(f(t,\cdot,\cdot):\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}\) is continuous for a.e. \(t\in J\), and there exists a function \(\mu\in L^{\frac{1}{\sigma}}(J,\mathbb{R}^{+})\) (\(\sigma\in(0, \frac{\alpha -1}{2})\)) such that
    $$\bigl\vert f(t,v,w) \bigr\vert \leq\mu(t) \bigl(\vert v\vert ^{\lambda_{1}}+\vert w\vert ^{\lambda_{2}} \bigr), $$
    where \(0<\lambda_{1}<\lambda_{2}<1\) are real numbers.
     

Definition 3.1

A function \(x:[0, T]\rightarrow\mathbb{R}\) is said to be a solution of (1.1)-(1.3) if
  1. (1)

    \(x\in AC^{2}(J_{k}, \mathbb{R})\);

     
  2. (2)

    x satisfies the equation \({}^{c} D_{t_{k}^{+}}^{\alpha} x(t)= f(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta} x(t))\) a.e. on \(J_{k}\);

     
  3. (3)

    for \(k=1,2,\ldots,m\), \(\Delta x(t_{k})=I_{k}(x(t_{k}^{-}))\), \(\Delta x'(t_{k})=\widetilde{I}_{k}(x(t_{k}^{-}))\) and \({x(0)+x(\eta)=0}\), \({{}^{c} D_{0^{+}}^{\gamma_{1}}x(\eta)+{}^{c} D_{t_{m}^{+}}^{\gamma_{2}}x(T)=0}\).

     

Next, we present the following lemmas.

Lemma 3.2

For any \(\tau_{2}, \tau_{1}\in J_{k}\) (\(k=0,1,2,\ldots,m\)) and \(\tau_{2}<\tau_{1}\),
$$\int_{t_{k}}^{\tau_{2}} \bigl[(\tau_{2}-s)^{\alpha-2}-( \tau_{1}-s)^{\alpha-2} \bigr]\mu(s)\,ds\rightarrow0,\quad \textit{as } \tau_{2}\rightarrow\tau_{1}. $$

Proof

It follows from Hölder’s inequality that
$$\begin{aligned}& \biggl\vert \int_{t_{k}}^{\tau_{2}} \bigl[(\tau_{2}-s)^{\alpha-2}-( \tau_{1}-s)^{\alpha-2} \bigr]\mu(s)\,ds \biggr\vert \\& \quad \leq \Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \biggl[ \int_{t_{k}}^{\tau_{2}} \bigl\vert (\tau_{2}-s)^{\alpha-2}-( \tau_{1}-s)^{\alpha-2} \bigr\vert ^{\frac{1}{1-\sigma}}\,ds \biggr]^{1-\sigma} \\& \quad =(2-\alpha)\Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \biggl( \int_{t_{k}}^{\tau_{2}} \biggl\vert \int_{\tau_{2}}^{\tau_{1}}(\zeta-s)^{\alpha-3}\,d\zeta \biggr\vert ^{\frac{1}{1-\sigma}}\,ds \biggr) ^{1-\sigma} \\& \quad \leq \overline{M} \biggl[ \int_{t_{k}}^{\tau_{2}} \bigl((\tau_{2}-s)^{\theta}-( \tau_{1}-s)^{\theta} \bigr)\,ds \biggr]^{1-\sigma} \\& \quad =\frac{\overline{M}}{(1+\theta)^{1-\sigma}} \bigl[(\tau_{1}-\tau _{2})^{1+\theta}-( \tau_{1}-t_{k})^{1+\theta} +(\tau_{2}-t_{k})^{1+\theta} \bigr]^{1-\sigma} \\& \quad \rightarrow 0,\quad \mbox{as }\tau_{2}\rightarrow\tau_{1}, \end{aligned}$$
where \(\overline{M}>0\) is a constant and \({\theta=\frac{\alpha-2-\sigma}{1-\sigma}\in(-1, 0)}\). □
For \(y>\sigma\) and \(t_{i-1}\in[0,T]\) (\(i=1,\ldots,m+1\)), from Hölder’s inequality, we have
$$\begin{aligned} \int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{y-1} \mu(s)\,ds \leq& \biggl( \int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{\frac{y-1}{1-\sigma}} \,ds \biggr)^{1-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \\ =& \biggl( \frac{1-\sigma}{y-\sigma} \biggr)^{1-\sigma}(t_{i}-t_{i-1})^{y-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}. \end{aligned}$$
(3.1)
Noting that \(\alpha>\alpha-1>\sigma\), \(\alpha-\gamma_{1}>\sigma\), \(\alpha -\gamma_{2}>\sigma\), we have
$$\begin{aligned}& \begin{aligned}&\int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{\alpha-1} \mu(s)\,ds\leq \biggl(\frac{1-\sigma}{\alpha-\sigma} \biggr)^{1-\sigma }(t_{i}-t_{i-1})^{\alpha-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}, \\ &\int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{\alpha-2} \mu(s)\,ds\leq \biggl(\frac{1-\sigma}{\alpha-1-\sigma} \biggr)^{1-\sigma }(t_{i}-t_{i-1})^{\alpha-1-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}, \\ &\int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{\alpha-\gamma_{1}-1} \mu(s)\,ds\leq \biggl(\frac{1-\sigma}{\alpha-\gamma_{1}-\sigma} \biggr)^{1-\sigma}(t_{i}-t_{i-1})^{\alpha-\gamma_{1}-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}, \\ &\int_{t_{i-1}}^{t_{i}}(t_{i}-s)^{\alpha-\gamma_{2}-1} \mu(s)\,ds\leq \biggl(\frac{1-\sigma}{\alpha-\gamma_{2}-\sigma} \biggr)^{1-\sigma}(t_{i}-t_{i-1})^{\alpha-\gamma_{2}-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}. \end{aligned} \end{aligned}$$
(3.2)

Lemma 3.3

Assume that (H1) holds. Then, for \(x\in X\), \(k=0,1,\ldots,m\),
$$\bigl[I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t)\in AC^{2} \bigl([t_{k}, t_{k+1}], \mathbb{R} \bigr). $$

Proof

For \(t\in[t_{k}, t_{k+1}]\), from (3.1), we have
$$\begin{aligned}& \int_{t_{k}}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)} \bigl\vert f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr\vert \,ds \\& \quad \leq \int_{t_{k}}^{t}\frac{(t-s)^{\alpha-1}\mu(s)}{\Gamma(\alpha)}\,ds \bigl(\Vert x \Vert _{1}^{\lambda_{1}}+\Vert x\Vert _{1}^{\lambda_{2}} \bigr) \\& \quad \leq \biggl(\frac{1-\sigma}{\alpha-\sigma} \biggr)^{1-\sigma}\frac {(t-t_{k})^{\alpha-\sigma}}{\Gamma(\alpha)}\Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \bigl(\Vert x\Vert _{1}^{\lambda_{1}}+ \Vert x\Vert _{1}^{\lambda_{2}} \bigr), \end{aligned}$$
(3.3)
$$\begin{aligned}& \int_{t_{k}}^{t}\frac{(t-s)^{\alpha-2}}{\Gamma(\alpha-1)} \bigl\vert f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr\vert \,ds \\& \quad \leq \int_{t_{k}}^{t}\frac{(t-s)^{\alpha-2}\mu(s)}{\Gamma(\alpha-1)}\,ds \bigl(\Vert x \Vert _{1}^{\lambda_{1}}+\Vert x\Vert _{1}^{\lambda_{2}} \bigr) \\& \quad \leq \biggl(\frac{1-\sigma}{\alpha-1-\sigma} \biggr)^{1-\sigma}\frac {(t-t_{k})^{\alpha-\sigma-1}}{\Gamma(\alpha-1)}\Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \bigl(\Vert x\Vert _{1}^{\lambda_{1}}+ \Vert x\Vert _{1}^{\lambda_{2}} \bigr), \end{aligned}$$
(3.4)
which means that \((t-s)^{\alpha-1}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta }x(s))\) and \((t-s)^{\alpha-2}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s))\) are Lebesgue integrable with respect to \(s\in[t_{k}, t_{k+1}]\) for all \(t\in[t_{k}, t_{k+1}]\) and \(x\in X\).
Obviously, it follows from the definition of derivative for the Lebesgue integration that
$$\begin{aligned} \frac{d}{dt} \bigl( \bigl[I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t) \bigr)= \bigl[I_{t_{k}^{+}}^{\alpha-1}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t) \end{aligned}$$
(3.5)
is continuous with respect to \(t\in[t_{k}, t_{k+1}]\).
Next, we show that \([I_{t_{k}^{+}}^{\alpha-1}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s)) ](t)\in AC([t_{k}, t_{k+1}], \mathbb{R})\). In fact, for every finite collection \(\{(a_{i}, b_{i})\}_{1\leq i\leq n}\) on \([t_{k}, t_{k+1}]\) with \(\sum_{i=1}^{n}(b_{i}-a_{i})\rightarrow0\), noting (3.1) and Lemma 3.2, we have
$$\begin{aligned}& \sum_{i=1}^{n} \biggl\vert \int_{t_{k}}^{b_{i}}(b_{i}-s)^{\alpha-2}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \\& \qquad {}- \int_{t_{k}}^{a_{i}}(a_{i}-s)^{\alpha-2}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \biggr\vert \\& \quad \leq\sum_{i=1}^{n} \biggl\vert \int_{a_{i}}^{b_{i}}(b_{i}-s)^{\alpha-2}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \biggr\vert \\& \qquad {}+ \sum_{i=1}^{n} \int_{t_{k}}^{a_{i}} \bigl\vert \bigl[(b_{i}-s)^{\alpha-2}-(a_{i}-s)^{\alpha-2} \bigr]f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr\vert \,ds \\& \quad \leq \Biggl[\sum_{i=1}^{n} \int_{a_{i}}^{b_{i}}(b_{i}-s)^{\alpha-2} \mu(s)\,ds \\& \qquad {}+\sum_{i=1}^{n} \int_{t_{k}}^{a_{i}} \bigl[(a_{i}-s)^{\alpha-2}-(b_{i}-s)^{\alpha-2} \bigr] \mu(s)\,ds \Biggr] \bigl(\Vert x\Vert _{1}^{\lambda_{1}}+ \Vert x\Vert _{1}^{\lambda_{2}} \bigr) \\& \quad \leq \Biggl[ \biggl(\frac{1-\sigma}{\alpha-1-\sigma} \biggr)^{1-\sigma }\sum _{i=1}^{n}(b_{i}-a_{i})^{\alpha-\sigma-1} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \\& \qquad {}+\sum_{i=1}^{n} \int_{t_{k}}^{a_{i}} \bigl[(a_{i}-s)^{\alpha-2}-(b_{i}-s)^{\alpha-2} \bigr] \mu(s)\,ds \Biggr] \bigl(\Vert x\Vert _{1}^{\lambda_{1}}+ \Vert x\Vert _{1}^{\lambda_{2}} \bigr) \\& \quad \longrightarrow 0. \end{aligned}$$
Hence, \([I_{t_{k}^{+}}^{\alpha-1}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s)) ](t)\) is absolutely continuous on \([t_{k}, t_{k+1}]\). Now, we can see that \([I_{t_{k}^{+}}^{\alpha}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s)) ](t)\in AC^{2}([t_{k}, t_{k+1}], \mathbb{R})\). Furthermore, for almost all \(t\in[t_{k}, t_{k+1}]\), \([ {}^{c} D_{t_{k}^{+}}^{\alpha }I_{t_{k}^{+}}^{\alpha}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s)) ](t)\) exists. □

Lemma 3.4

Assume that (H1) holds. Then, for \(x\in X\), \(k=0,1,\ldots,m\),
$$\bigl[ {}^{c} D_{t_{k}^{+}}^{\alpha}I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t)=f \bigl(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta}x(t) \bigr),\quad \textit{a.e. }t\in J_{k}. $$

Proof

Let \(F(\tau, s)=(t-\tau)^{1-\alpha} \vert \tau-s\vert ^{\alpha-1}\mu (s)\). Clearly, \(F(\tau, s)\) is a nonnegative measurable function on \([t_{k}, t]\times[t_{k}, t]\), then \({\int_{t_{k}}^{t}(\int_{t_{k}}^{t} F(\tau, s)\,ds)\,d\tau=\int_{t_{k}}^{t}(\int _{t_{k}}^{t} F(\tau, s)\,d\tau)\,ds}\). Noting (3.1) and Lemma 2.8, we get
$$\begin{aligned}& \int_{t_{k}}^{t} \biggl( \int_{t_{k}}^{t} F(\tau, s)\,ds \biggr)\,d\tau \\& \quad = \int_{t_{k}}^{t}(t-\tau)^{1-\alpha} \biggl[ \int_{t_{k}}^{\tau}(\tau-s)^{\alpha-1}\mu(s)\,ds + \int_{\tau}^{t}(s-\tau)^{\alpha-1}\mu(s)\,ds \biggr]\,d\tau \\& \quad \leq \biggl(\frac{1-\sigma}{\alpha-\sigma} \biggr)^{1-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}} \int_{t_{k}}^{t}(t-\tau)^{1-\alpha}( \tau-t_{k})^{\alpha-\sigma}\,d\tau+ \int_{t_{k}}^{t} \biggl( \int_{\tau}^{t}\mu(s)\,ds \biggr)\,d\tau \\& \quad = \biggl(\frac{1-\sigma}{\alpha-\sigma} \biggr)^{1-\sigma} \Vert \mu \Vert _{L^{\frac{1}{\sigma}}}(t-t_{k})^{2-\sigma}\mathbf{B}(2-\alpha, \alpha+1- \sigma) + \int_{t_{k}}^{t} \biggl( \int_{\tau}^{t}\mu(s)\,ds \biggr)\,d\tau. \end{aligned}$$
Therefore, \(F_{1}(\tau, s)=(t-\tau)^{1-\alpha} \vert \tau-s\vert ^{\alpha-1}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s))\) is an integrable function on \([t_{k}, t]\times[t_{k}, t]\), then \({\int_{t_{k}}^{t}\,d\tau\int_{t_{k}}^{\tau }F_{1}(\tau, s)\,ds=\int_{t_{k}}^{t} \,ds \int_{s}^{t}F_{1}(\tau, s)\,d\tau}\). According to Lemmas 3.3 and 2.8, we have
$$\begin{aligned}& \bigl({}^{L} D_{t_{k}^{+}}^{\alpha}I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr) (t) \\& \quad = \frac{1}{\Gamma(2-\alpha)\Gamma(\alpha)}\frac{d^{2}}{dt^{2}} \int_{t_{k}}^{t}(t-\tau)^{1-\alpha} \biggl[ \int_{t_{k}}^{\tau}(\tau-s)^{\alpha-1}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \biggr] \,d\tau \\& \quad =\frac{1}{\Gamma(2-\alpha)\Gamma(\alpha)}\frac{d^{2}}{dt^{2}} \int_{t_{k}}^{t} \,d\tau \int_{t_{k}}^{\tau} F_{1}(\tau, s)\,ds \\& \quad =\frac{1}{\Gamma(2-\alpha)\Gamma(\alpha)}\frac{d^{2}}{dt^{2}} \int_{t_{k}}^{t} f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \int_{s}^{t}(t-\tau)^{1-\alpha}( \tau-s)^{\alpha-1}\,d\tau \\& \quad =\frac{d^{2}}{dt^{2}} \int_{t_{k}}^{t}(t-s)f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \\& \quad =f \bigl(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta}x(t) \bigr),\quad \text{a.e. } t\in[t_{k}, t_{k+1}]. \end{aligned}$$
(3.6)
Noting (3.3), we have \([I_{t_{k}^{+}}^{\alpha}f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s)) ]^{(i)}(t_{k}^{+})=0\), \(i=0,1\). Then, from Definition 2.3, with \(g(t)\) replaced by \([I_{t_{k}^{+}}^{\alpha }f(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s))](t)\) and applying (3.6), we derive
$$\bigl[ {}^{c} D_{t_{k}^{+}}^{\alpha}I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t)= \bigl[ {}^{L} D_{t_{k}^{+}}^{\alpha}I_{t_{k}^{+}}^{\alpha}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr) \bigr](t)=f \bigl(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta}x(t) \bigr). $$
This completes the proof. □

Set \({\widehat{C}=\frac{\Gamma(2-\gamma_{1})\Gamma(2-\gamma_{2})}{ \eta^{1-\gamma_{1}}\Gamma(2-\gamma_{2})+(T-t_{m})^{1-\gamma_{2}}\Gamma(2-\gamma_{1})}}\).

From Lemmas 3.3 and 3.4, we have the following result.

Lemma 3.5

Assume that (H1) holds. A function \(x\in X\) is a solution of problem (1.1)-(1.3) if and only if \(x(t)\) is a solution of the following fractional integral equation:
$$ x(t)=\textstyle\begin{cases} {(F^{\alpha}_{0}f)(t)}+ (P_{0}f)(t)+(Qf)(t),\quad t\in J_{0},\\ {(F^{\alpha}_{k}f)(t)+(P_{k} f)(t)+(Qf)(t)} ,\quad t\in J_{k}, k=1,2,\ldots,m, \end{cases} $$
(3.7)
where
$$\begin{aligned}& \begin{aligned}&\bigl(F^{\alpha}_{k} f \bigr) (t)= \int_{t_{k}}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds,\quad k=0,1, \ldots,m, \\ & \begin{aligned} (P_{k} f) (t)={}&\sum_{i=1}^{k} \bigl( \bigl(F^{\alpha}_{i-1} f \bigr) (t_{i})+I_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr)+ \sum _{i=1}^{k} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+\widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) (t-t_{i}) \\ &{} - \frac{1}{2} \bigl(F^{\alpha}_{0} f \bigr) (\eta),\quad k=1, \ldots,m, \end{aligned} \\ & \begin{aligned} (Qf) (t)={}&\widehat{C} \biggl(t-\frac{\eta}{2} \biggr) \Biggl[- \bigl(F^{\alpha-\gamma_{1}}_{0} f \bigr) (\eta)- \bigl(F^{\alpha-\gamma_{2}}_{m} f \bigr) (T) \\ &{}- \frac{(T-t_{m})^{1-\gamma_{2}}}{\Gamma(2-\gamma_{2})}\sum_{i=1}^{m} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+ \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) \Biggr], \end{aligned} \\ &(P_{0}f) (t)=-\frac{1}{2} \bigl(F^{\alpha}_{0} f \bigr) (\eta). \end{aligned} \end{aligned}$$
(3.8)

Proof

(Necessity) Let \(x\in X\) be the solution of (1.1)-(1.3). From Lemma 3.4, \({}^{c} D_{t_{k}^{+}}^{\alpha} x(t)= f(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta}x(t))\) implies \({}^{c} D_{t_{k}^{+}}^{\alpha}( x(t)-(F^{\alpha}_{k}f)(t))=0\), \(k=0,1,\ldots,m\).

If \(t\in J_{0}\), then Lemma 2.5, (3.5), Lemmas 2.6 and 2.7 imply
$$\begin{aligned}& x(t)= \bigl(F^{\alpha}_{0} f \bigr) (t)+c_{0}+c_{1}t,\qquad x'(t)= \bigl(F^{\alpha-1}_{0} f \bigr) (t)+c_{1}, \end{aligned}$$
(3.9)
$$\begin{aligned}& {}^{c} D_{0^{+}}^{\gamma_{1}}x(\eta)= \bigl(F^{\alpha-\gamma_{1}}_{0} f \bigr) (\eta)+\frac{c_{1}\eta^{1-\gamma _{1}}}{\Gamma(2-\gamma_{1})}, \\& x \bigl(t_{1}^{-} \bigr)= \bigl(F^{\alpha}_{0} f \bigr) (t_{1})+c_{0}+c_{1}t_{1},\qquad x' \bigl(t_{1}^{-} \bigr)= \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+c_{1}, \end{aligned}$$
(3.10)
for some \(c_{0},c_{1}\in\mathbb{R}\). Applying the boundary condition \({x(0)+x(\eta)=0}\), we obtain
$$\begin{aligned} c_{0}=-\frac{1}{2} \bigl(F^{\alpha}_{0} f \bigr) (\eta)-\frac{c_{1} \eta}{2}. \end{aligned}$$
(3.11)
If \(t\in J_{1}\), then Lemma 2.5 and (3.5) imply
$$x(t)= \bigl(F^{\alpha}_{1} f \bigr) (t)+c_{2}+c_{3}(t-t_{1}),\qquad x'(t)= \bigl(F^{\alpha-1}_{1} f \bigr) (t)+c_{3}, $$
for some \(c_{2},c_{3}\in\mathbb{R}\). Thus, we have \(x(t_{1}^{+})=c_{2}\), \(x'(t_{1}^{+})=c_{3}\). Applying the impulsive condition (1.2), we derive that
$$c_{2}= \bigl(F^{\alpha}_{0} f \bigr) (t_{1})+c_{0}+c_{1}t_{1}+I_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr),\qquad c_{3}= \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+ \widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr)+c_{1}. $$
Then, for \(t\in J_{1}\),
$$\begin{aligned}& x(t)= \bigl(F^{\alpha}_{1} f \bigr) (t)+ \bigl(F^{\alpha}_{0} f \bigr) (t_{1})+I_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr) + \bigl( \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+ \widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr) \bigr) (t-t_{1})+c_{0}+c_{1}t, \\& x'(t)= \bigl(F^{\alpha-1}_{1} f \bigr) (t)+ \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+ \widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr)+c_{1}, \\& x \bigl(t_{2}^{-} \bigr)= \bigl(F^{\alpha}_{1} f \bigr) (t_{2})+ \bigl(F^{\alpha}_{0} f \bigr) (t_{1})+I_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr) + \bigl( \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+ \widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr) \bigr) (t_{2}-t_{1})+c_{0}+c_{1}t_{2}, \\& x' \bigl(t_{2}^{-} \bigr)= \bigl(F^{\alpha-1}_{1} f \bigr) (t_{2}) + \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+\widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr)+c_{1}. \end{aligned}$$
If \(t\in J_{2}\), then Lemma 2.5 and (3.5) imply
$$x(t)= \bigl(F^{\alpha}_{2} f \bigr) (t)+c_{4}+c_{5}(t-t_{2}),\qquad x'(t)= \bigl(F^{\alpha-1}_{2} f \bigr) (t)+c_{5}, $$
for some \(c_{4},c_{5}\in\mathbb{R}\). Then \(x(t_{2}^{+})=c_{4}\), \(x'(t_{2}^{+})=c_{5}\). Applying the impulsive condition (1.2), we obtain
$$\begin{aligned}& c_{4}=\sum_{i=1}^{2} \bigl( \bigl(F^{\alpha}_{i-1} f \bigr) (t_{i})+I_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) + \bigl( \bigl(F^{\alpha-1}_{0} f \bigr) (t_{1})+ \widetilde{I}_{1} \bigl(x \bigl(t_{1}^{-} \bigr) \bigr) \bigr) (t_{2}-t_{1})+c_{0}+c_{1}t_{2}, \\& c_{5}=\sum_{i=1}^{2} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i}) + \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr)+c_{1}. \end{aligned}$$
Then, for \(t\in J_{2}\),
$$\begin{aligned} x(t) =& \bigl(F^{\alpha}_{2} f \bigr) (t)+ \sum _{i=1}^{2} \bigl( \bigl(F^{\alpha}_{i-1} f \bigr) (t_{i})+I_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) \\ &{} +\sum_{i=1}^{2} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+ \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) (t-t_{i})+c_{0}+c_{1}t. \end{aligned}$$
By repeating the process, for \(t\in J_{k}\), \(k=1,2,\ldots, m\), we have
$$\begin{aligned} x(t) =& \bigl(F^{\alpha}_{k} f \bigr) (t)+\sum _{i=1}^{k} \bigl( \bigl(F^{\alpha}_{i-1} f \bigr) (t_{i})+I_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr)\\ &{} +\sum_{i=1}^{k} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+ \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) (t-t_{i})+c_{0}+c_{1}t. \end{aligned}$$
By (3.11), we obtain
$$\begin{aligned} x(t) =& \bigl(F^{\alpha}_{k} f \bigr) (t)+(P_{k} f) (t) +c_{1} \biggl(t-\frac{\eta}{2} \biggr),\quad t \in J_{k}, k=1,2,\ldots, m. \end{aligned}$$
(3.12)
It follows from (2.1) and Lemma 2.7 that we have
$$\begin{aligned} {}^{c} D_{t_{m}^{+}}^{\gamma_{2}}x(T) =& \bigl(F^{\alpha-\gamma_{2}}_{m} f \bigr) (T) \\ &{} +\sum _{i=1}^{m} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+\widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) \frac{(T-t_{m})^{1-\gamma_{2}}}{\Gamma (2-\gamma_{2})}+ \frac{c_{1} (T-t_{m})^{1-\gamma_{2}}}{\Gamma(2-\gamma_{2})}. \end{aligned}$$
(3.13)
Applying the boundary condition (1.3) to (3.10) and (3.13), we get
$$\begin{aligned} c_{1} =& \widehat{C} \Biggl[- \bigl(F^{\alpha-\gamma_{1}}_{0} f \bigr) (\eta)- \bigl(F^{\alpha-\gamma_{2}}_{m} f \bigr) (T) \\ &{}- \frac{(T-t_{m})^{1-\gamma_{2}}}{\Gamma(2-\gamma_{2})}\sum_{i=1}^{m} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+ \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr) \Biggr]. \end{aligned}$$
(3.14)
Now, it is clear that (3.9)-(3.14) imply (3.7).
(Sufficiency) Let \(x(t)\) satisfy (3.7). Noting Lemmas 3.4 and 2.6, (\({}^{c}D_{t_{k}^{+}}^{\alpha}t=0\)), \(({}^{c}D_{t_{k}^{+}}^{\alpha}x)(t)\) exists and \({}^{c}D_{t_{k}^{+}}^{\alpha}x(t)=f(t, x(t), {}^{c} D_{t_{k}^{+}}^{\beta }x(t))\) for a.e. \(t\in J_{k}\) (\(k=0,1,\ldots,m\)). Moreover,
$$\begin{aligned} x \bigl(t_{k}^{+} \bigr)-x \bigl(t_{k}^{-} \bigr) =& \bigl(F^{\alpha}_{k}f \bigr) \bigl(t_{k}^{+} \bigr)+(P_{k} f) \bigl(t_{k}^{+} \bigr)+(Qf) \bigl(t_{k}^{+} \bigr) \\ &{}- \bigl[ \bigl(F^{\alpha}_{k-1}f \bigr) \bigl(t_{k}^{-} \bigr)+(P_{k-1} f) \bigl(t_{k}^{-} \bigr)+(Qf) \bigl(t_{k}^{-} \bigr) \bigr] \\ =&- \int_{t_{k-1}}^{t_{k}}\frac{(t_{k}-s)^{\alpha-1}}{\Gamma(\alpha)}f \bigl(s, x(s), {}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds+ \bigl(F^{\alpha}_{k-1}f \bigr) (t_{k})+I_{k} \bigl(x \bigl(t_{k}^{-} \bigr) \bigr) \\ =&I_{k} \bigl(x \bigl(t_{k}^{-} \bigr) \bigr), \end{aligned}$$
similarly, \(x'(t_{k}^{+})-x'(t_{k}^{-})=\widetilde{I}_{k}(x(t_{k}^{-}))\). The boundary conditions (1.3) are clearly satisfied, that is, \(x(t)\) satisfies (1.1)-(1.3). □

4 Existence result

In this section, we deal with the existence of solution for problem (1.1)-(1.3). To this end, we consider the following assumption.
  1. (H2)
    There exist positive constants \(l_{k}\), \(\widetilde{l}_{k}\) and \(\lambda_{3}\in[0, 1)\), \(\lambda_{4}\in[0, 1]\) such that
    $$\begin{aligned} \bigl\vert I_{k}(u) \bigr\vert \leq l_{k} \vert u \vert ^{\lambda_{3}},\qquad \bigl\vert \widetilde{I}_{k}(u) \bigr\vert \leq& \widetilde{l}_{k} \vert u\vert ^{\lambda_{4}},\quad u\in \mathbb{R}, k=1,2,\ldots,m. \end{aligned}$$
     
For convenience, we introduce the following denotations.
$$\begin{aligned}& \delta_{y}= \biggl(\frac{1-\sigma}{y-\sigma} \biggr)^{1-\sigma}\cdot \frac{T^{y-\sigma}}{\Gamma(y)}\Vert \mu \Vert _{L^{\frac{1}{\sigma }}},\quad y>\sigma, \\& \widetilde{C}=m \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr)\delta_{\alpha-1}+ \widehat{C}(\delta_{\alpha-\gamma_{1}}+\delta_{\alpha-\gamma_{2}}), \\& \widetilde{M}=\max \biggl\{ \biggl(m+\frac{3}{2} \biggr) \delta_{\alpha}, \delta_{\alpha-1}, \delta_{\alpha-\beta} \biggr\} +\max \biggl\{ 1, T, \frac{T^{1-\beta}}{\Gamma(2-\beta)} \biggr\} \widetilde{C}, \\& \widehat{M}= \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr)\max \biggl\{ 1, T, \frac{T^{1-\beta}}{\Gamma(2-\beta)} \biggr\} \sum_{i=1}^{m} { \widetilde{l}}_{i}. \end{aligned}$$

Theorem 4.1

Assume that (H1) and (H2) are satisfied, then problem (1.1)-(1.3) has at least one solution \(x\in X\) if \(\lambda_{4}\in[0, 1)\), or \(\lambda _{4}=1\) with \(\widehat{M}<1\).

Proof

Define an operator Λ on X as follows:
$$ (\Lambda x) (t)=\textstyle\begin{cases} {(F^{\alpha}_{0}f)(t)+ (P_{0}f)(t)+(Qf)(t)},& t\in J_{0},\\ {(F^{\alpha}_{k} f)(t)+ (P_{k}f)(t)+(Qf)(t)} ,& t\in J_{k}, k=1,2,\ldots,m, \end{cases} $$
(4.1)
then
$$ (\Lambda x)'(t)=\textstyle\begin{cases} {(F^{\alpha-1}_{0} f)(t)+(Qf)'(t)} ,\quad t\in J_{0},\\ {(F^{\alpha-1}_{k}f)(t)+(P_{k}f)'(t)+(Qf)'(t)} ,\quad t\in J_{k}, k=1,2,\ldots,m, \end{cases} $$
(4.2)
and
$$ \bigl({}^{c} D_{t_{k}^{+}}^{\beta}\Lambda x \bigr) (t)=\textstyle\begin{cases} {(F^{\alpha-\beta}_{0}f)(t)}+({}^{c} D_{0^{+}}^{\beta}Q f)(t),\quad t\in J_{0},\\ {(F^{\alpha-\beta}_{k}f)(t)+({}^{c} D_{t_{k}^{+}}^{\beta}P_{k} f)(t)+({}^{c} D_{t_{k}^{+}}^{\beta}Q f)(t)} ,& t\in J_{k}, k=1,2,\ldots,m, \end{cases} $$
(4.3)
where for \(t\in J_{k}\), \(k=1,\ldots, m\),
$$\begin{aligned}& (P_{k} f)'(t)=\sum_{i=1}^{k} \bigl( \bigl(F^{\alpha-1}_{i-1} f \bigr) (t_{i})+ \widetilde{I}_{i} \bigl(x \bigl(t_{i}^{-} \bigr) \bigr) \bigr), \\& (Qf)'(t)=\widehat{C} \biggl[- \bigl(F^{\alpha-\gamma_{1}}_{0} f \bigr) (\eta)- \bigl(F^{\alpha-\gamma_{2}}_{m} f \bigr) (T)- \frac{(T-t_{m})^{1-\gamma_{2}}}{\Gamma(2-\gamma_{2})}(P_{m} f)'(t) \biggr], \\& \bigl({}^{c} D_{t_{k}^{+}}^{\beta}P_{k} f \bigr) (t)=\frac{ (t-t_{k})^{1-\beta}}{\Gamma(2-\beta)}(P_{k} f)'(t), \\& \bigl({}^{c} D_{t_{k}^{+}}^{\beta}Q f \bigr) (t)= \frac{ (t-t_{k})^{1-\beta}}{\Gamma(2-\beta)}(Qf)'(t). \end{aligned}$$
From (H1), \(\Lambda:X\rightarrow X\) is clearly well defined. It is obvious that the fixed point of Λ is the solution of problem (1.1)-(1.3) by Lemma 3.5. Next, we split the proof into several steps to prove the existence of the fixed point of Λ.

Step 1. We prove that the operator Λ is continuous.

Let \(\{x_{n}\}\) be a sequence such that \(x_{n}\rightarrow x\) in X, then there exists \(\varepsilon>0\) such that \(\Vert x_{n}-x\Vert _{1}\leq\varepsilon\) for n sufficiently large. By (H1), we obtain
$$\bigl\vert f \bigl(t,x_{n}(t),{}^{c} D_{t_{k}^{+}}^{\beta}x_{n}(t) \bigr)-f \bigl(t,x(t),{}^{c} D_{t_{k}^{+}}^{\beta}x(t) \bigr) \bigr\vert \leq2\mu(t) \bigl[ \bigl(\varepsilon+\Vert x \Vert _{1} \bigr)^{\lambda_{1}}+ \bigl(\varepsilon+\Vert x \Vert _{1} \bigr)^{\lambda_{2}} \bigr]. $$
Moreover, f satisfies (H1), for almost every \(t\in J\), we get \(f(t,x_{n}(t),{}^{c} D_{t_{k}^{+}}^{\beta }x_{n}(t))\rightarrow f(t,x(t), {}^{c} D_{t_{k}^{+}}^{\beta}x(t))\) as \(n\rightarrow\infty\). It follows from (3.2), the Lebesgue dominated convergence theorem and the continuity of \(I_{k}\), \(\widetilde {I}_{k}\) that
$$\Vert \Lambda x_{n}-\Lambda x\Vert _{1}\rightarrow0,\quad \text{as } n\rightarrow\infty. $$
Now we can see that Λ is continuous.
Step 2. For \(r>0\), we define \(B_{r}=\{x\in X:\Vert x\Vert _{1}\leq r\} \). For \(x\in B_{r}\), \(k=0,1,2,\ldots,m\), from (3.1) and (3.8), we have
$$\begin{aligned} \bigl\vert \bigl(F^{y}_{k}f \bigr) (t) \bigr\vert \leq\delta_{y} \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr), \end{aligned}$$
(4.4)
where y can be replaced by α, \(\alpha-1\), \(\alpha-\beta\), \(\alpha-\gamma_{1}\) or \(\alpha-\gamma_{2}\).
Furthermore, for \(t\in J_{k}\), \(k=0,1,\ldots,m\), by (4.1)-(4.4), we get
$$\begin{aligned}& \bigl\vert \bigl(F^{\alpha}_{k} f \bigr) (t)+(P_{k} f) (t)+(Qf) (t) \bigr\vert \\& \quad \leq \biggl[ \biggl(m+\frac{3}{2} \biggr)\delta_{\alpha}+T \widetilde{C} \biggr] \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+\sum _{i=1}^{m} {l}_{i} r^{\lambda_{3}}+T \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr)\sum_{i=1}^{m} {\widetilde{l}}_{i} r^{\lambda_{4}}, \\& \bigl\vert \bigl(F^{\alpha-1}_{k} f \bigr) (t)+(P_{k} f)'(t)+(Qf)'(t) \bigr\vert \\& \quad \leq(\delta_{\alpha-1}+\widetilde{C}) \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+ \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr) \sum_{i=1}^{m} {\widetilde{l}}_{i} r^{\lambda_{4}}, \\& \bigl\vert \bigl(F^{\alpha-\beta}_{k}f \bigr) (t)+ \bigl({}^{c} D_{t_{k}^{+}}^{\beta}P_{k} f \bigr) (t)+ \bigl({}^{c} D_{t_{k}^{+}}^{\beta}Qf \bigr) (t) \bigr\vert \\& \quad \leq \biggl(\delta_{\alpha-\beta}+\frac{T^{1-\beta}}{\Gamma(2-\beta )}\widetilde{C} \biggr) \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+\frac{ T^{1-\beta}}{\Gamma (2-\beta)} \biggl(1+ \frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr) \sum_{i=1}^{m} { \widetilde{l}}_{i} r^{\lambda_{4}}, \end{aligned}$$
which implies
$$\Vert \Lambda x\Vert _{1}\leq\widetilde{M} \bigl(r^{\lambda _{1}}+r^{\lambda_{2}} \bigr)+r^{\lambda_{3}}\sum_{i=1}^{m} l_{i}+\widehat{M}r^{\lambda_{4}}. $$
Next, we show that there exists some \(r>0\) such that \(\Lambda B_{r}\subset B_{r}\). Suppose, on the contrary, that for each \(r>0\), there exist \(\widetilde{x}^{r}(\cdot)\in B_{r}\) and some \(\tilde{t}\in J_{k}\) such that \(\Upsilon:=\max\{\vert (\Lambda\tilde {x}^{r})(\tilde{t})\vert , \vert (\Lambda\tilde{x}^{r})'(\tilde {t})\vert , \vert {}^{c} D_{t_{k}^{+}}^{\beta}(\Lambda\tilde{x}^{r})(\tilde {t})\vert \}>r\). Then
$$\begin{aligned} r< \bigl\Vert \Lambda\widetilde{x}^{r} \bigr\Vert _{1} \leq\widetilde{M} \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+r^{\lambda_{3}} \sum_{i=1}^{m} l_{i}+ \widehat{M}r^{\lambda_{4}}. \end{aligned}$$
Dividing both sides by r and taking \(r \rightarrow\infty\), we get
$$\textstyle\begin{cases} 1\leq\lim_{r\rightarrow\infty} (\widetilde{M}(r^{\lambda _{1}-1}+r^{\lambda_{2}-1})+r^{\lambda_{3}-1}\sum_{i=1}^{m} l_{i}+\widehat {M}r^{\lambda_{4}-1} )=0 &\text{for } \lambda_{4}\in[0, 1),\\ 1\leq\lim_{r\rightarrow\infty} [\widetilde{M}(r^{\lambda _{1}-1}+r^{\lambda_{2}-1})+r^{\lambda_{3}-1}\sum_{i=1}^{m} l_{i}+\widehat{M} ]=\widehat{M} &\text{for } \lambda_{4}=1. \end{cases} $$
This is a contradiction.
Step 3. We prove that \(\Lambda B_{r}\) is equicontinuous on a finite closed sub-interval on \(J_{k}\) (\(k=0,1,\ldots,m\)). Let \(x\in B_{r}\), for any \(\tau_{2},\tau_{1}\in J_{k}\) (\(k=0, 1, 2,\ldots, m\)) and \(\tau_{2}<\tau_{1}\), clearly, we have
$$\begin{aligned}& \bigl\vert \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{1})- \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{2}) \bigr\vert \\& \quad = \biggl\vert \int_{t_{k}}^{\tau_{1}}\frac{(\tau_{1}-s)^{\alpha-1}}{\Gamma(\alpha)}f \bigl(s,x(s),{}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds - \int_{t_{k}}^{\tau_{2}}\frac{(\tau_{2}-s)^{\alpha-1}}{\Gamma(\alpha)}f \bigl(s,x(s),{}^{c} D_{t_{k}^{+}}^{\beta}x(s) \bigr)\,ds \biggr\vert \\& \quad \leq \biggl[\frac{1}{\Gamma(\alpha)} \int_{t_{k}}^{\tau_{2}} \bigl[(\tau_{1}-s)^{\alpha-1}-( \tau_{2}-s)^{\alpha-1} \bigr]\mu(s)\,ds \\& \qquad {}+\frac{1}{\Gamma(\alpha)} \int_{\tau_{2}}^{\tau_{1}}(\tau_{1}-s)^{\alpha-1} \mu(s)\,ds \biggr] \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr) \\& \quad \rightarrow 0,\quad \mbox{as } \tau_{2}\rightarrow\tau_{1}. \end{aligned}$$
Therefore,
$$\begin{aligned}& \bigl\vert (\Lambda x) (\tau_{1})-(\Lambda x) (\tau_{2}) \bigr\vert \\& \quad \leq \bigl\vert \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{1})- \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{2}) \bigr\vert + \bigl\vert (P_{k} f) ( \tau_{1})-(P_{k} f) (\tau_{2}) \bigr\vert + \bigl\vert (Qf) (\tau_{1})-(Qf) (\tau_{2}) \bigr\vert \\& \quad \leq \bigl\vert \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{1})- \bigl(F^{\alpha}_{k} f \bigr) ( \tau_{2}) \bigr\vert + \Biggl[\widetilde{C} \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+ \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr)\sum_{i=1}^{m} {\widetilde{l}}_{i} r^{\lambda_{4}} \Biggr](\tau_{1}- \tau_{2}) \\& \quad \rightarrow 0,\quad \mbox{as }\tau_{2}\rightarrow\tau_{1}. \end{aligned}$$
Similarly, by Lemma 3.2 and (3.1),
$$\begin{aligned}& \bigl\vert (\Lambda x)'(\tau_{1})-(\Lambda x)'(\tau_{2}) \bigr\vert \\& \quad = \bigl\vert \bigl(F^{\alpha-1}_{k} f \bigr) ( \tau_{1})- \bigl(F^{\alpha-1}_{k} f \bigr) ( \tau_{2}) \bigr\vert \\& \quad \leq \biggl[\frac{1}{\Gamma(\alpha)} \int_{t_{k}}^{\tau_{2}} \bigl[(\tau_{1}-s)^{\alpha-2}-( \tau_{2}-s)^{\alpha-2} \bigr]\mu(s)\,ds \\& \qquad {}+\frac{1}{\Gamma(\alpha)} \int_{\tau_{2}}^{\tau_{1}}(\tau_{1}-s)^{\alpha-2} \mu(s)\,ds \biggr] \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr) \\& \quad \rightarrow0, \quad \mbox{as }\tau_{2}\rightarrow\tau_{1}, \end{aligned}$$
and by Lemma 2.9,
$$\begin{aligned}& \bigl\vert \bigl({}^{c} D_{t_{k}^{+}}^{\beta}\Lambda x \bigr) (\tau_{1})- \bigl({}^{c} D_{t_{k}^{+}}^{\beta} \Lambda x \bigr) (\tau_{2}) \bigr\vert \\& \quad \leq \bigl\vert \bigl(F^{\alpha-\beta}_{k} f \bigr) ( \tau_{1})- \bigl(F^{\alpha-\beta}_{k} f \bigr) ( \tau_{2}) \bigr\vert \\& \qquad {}+ \frac{ ({\tau_{1}}-{\tau_{2}})^{1-\beta}}{\Gamma (2-\beta)} \Biggl[\widetilde{C} \bigl(r^{\lambda_{1}}+r^{\lambda_{2}} \bigr)+ \biggl(1+\frac{\widehat {C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr) \sum_{i=1}^{m} { \widetilde{l}}_{i} r^{\lambda_{4}} \Biggr] \\& \quad \rightarrow 0,\quad \mbox{as }\tau_{2}\rightarrow\tau_{1}. \end{aligned}$$
Hence the set \(\{(\Lambda x)(\cdot):x\in B_{r}\}\) is equicontinuous. From the above steps, it follows that Λ is completely continuous. Now, it follows from Schauder’s fixed point theorem that Λ has a fixed point \(x\in B_{r}\), which corresponds to a solution of problem (1.1)-(1.3). □

5 Application

In this section, we give an example to illustrate the usefulness of our main result.

Example 5.1

Consider the following impulsive boundary problem of fractional order:
$$ \textstyle\begin{cases} ^{c}D_{*}^{\frac{3}{2}}x(t)= {x^{\frac{1}{3}}(t)+\frac{1}{\sqrt[12]{t}}\sin \vert ^{c}D_{*}^{\frac{1}{5}}x(t)\vert ^{\frac{1}{2}},\quad \text{a.e. } t\in (0,1]\setminus\{\frac{1}{3}\}},\\ {\triangle x (\frac{1}{3} )=\frac{\vert x(\frac{1}{3}^{-})\vert ^{\frac{1}{6}}}{10+e^{\vert x(\frac{1}{3}^{-})\vert }}},\qquad {\triangle x' (\frac{1}{3} )=\frac{\vert x(\frac{1}{3}^{-})\vert ^{5}}{7+3\vert x(\frac{1}{3}^{-})\vert ^{4}}},\\ {x(0)+x(\frac{1}{4})=0},\qquad {{}^{c} D_{0^{+}}^{\frac{1}{3}}x(\frac{1}{4})+{}^{c} D_{{\frac {1}{3}}^{+}}^{\frac{1}{4}}x(1)=0}. \end{cases} $$
(5.1)
Set
$$\begin{aligned}& f \bigl(t, x(t), ^{c}D_{*}^{\frac{1}{5}}x(t) \bigr)=x^{\frac{1}{3}}(t)+ \frac{1}{\sqrt[12]{t}}\sin \bigl\vert ^{c}D_{*}^{\frac{1}{5}}x(t) \bigr\vert ^{\frac{1}{2}}, \\& I_{1} \biggl(x \biggl(\frac{1}{3}^{-} \biggr) \biggr)= \frac{\vert x(\frac{1}{3}^{-})\vert ^{\frac{1}{6}}}{10+e^{\vert x(\frac{1}{3}^{-})\vert }}, \\& \widetilde{I}_{1} \biggl(x \biggl(\frac{1}{3}^{-} \biggr) \biggr)=\frac{\vert x(\frac{1}{3}^{-})\vert ^{5}}{7+3\vert x(\frac {1}{3}^{-})\vert ^{4}}. \end{aligned}$$
Obviously,
$$\begin{aligned}& \bigl\vert f \bigl(t, x(t), ^{c}D_{*}^{\frac{1}{5}}x(t) \bigr) \bigr\vert < \mu(t) \bigl[ \bigl\vert x(t) \bigr\vert ^{\frac {1}{3}}+ \bigl\vert ^{c}D_{*}^{\frac{1}{5}}x(t) \bigr\vert ^{\frac{1}{2}} \bigr], \\& \bigl\vert I_{1}(x) \bigr\vert \leq\frac{1}{10}\vert x \vert ^{\frac{1}{6}},\qquad \bigl\vert \widetilde{I}_{1}(x) \bigr\vert \leq\frac{1}{3}\vert x\vert , \end{aligned}$$
where \({\mu(t)=\frac{1}{\sqrt[12]{t}}\in L^{\frac{1}{\sigma}} ([0, 1])}\) (\(\sigma=\frac{1}{6}\)) and \(\Vert \mu \Vert _{L^{6}}=2^{\frac{1}{6}}\). Assumptions (H1) and (H2) now hold. Noting that \(\alpha=\frac{3}{2}\), \(\beta=\frac{1}{5}\), \(\gamma_{1}=\frac{1}{3}\), \(\gamma_{2}=\frac{1}{4}\), \(\sigma=\frac{1}{6}\) and \(l_{1}=\frac{1}{10}\), \(\widetilde{l}_{1}=\frac{1}{3}\), we get
$$\begin{aligned}& \widehat{C}=\frac{\Gamma(2-\gamma_{1})\Gamma(2-\gamma_{2})}{\eta^{1-\gamma _{1}}\Gamma(2-\gamma_{2})+(T-t_{m})^{1-\gamma_{2}}\Gamma(2-\gamma_{1})} =\frac {\Gamma(\frac{5}{3})\Gamma(\frac{7}{4})}{(\frac{1}{4})^{\frac {2}{3}}\Gamma(\frac{7}{4})+(\frac{2}{3})^{\frac{3}{4}}\Gamma(\frac {5}{3})}\approx0.80, \\& \widehat{M}= \biggl(1+\frac{\widehat{C}T^{1-\gamma_{2}} }{\Gamma(2-\gamma_{2})} \biggr)\max \biggl\{ 1, T, \frac{T^{1-\beta}}{\Gamma(2-\beta)} \biggr\} \sum_{i=1}^{m} { \widetilde{l}}_{i}=\frac{1}{3\Gamma(\frac{9}{5})} \biggl(1+\frac{\widehat{C} }{\Gamma(\frac{7}{4})} \biggr)\approx0.67< 1. \end{aligned}$$
Therefore, due to the fact that all the assumptions of Theorem 4.1 hold, problem (5.1) has at least one solution.

Declarations

Acknowledgements

The authors thank the referee for the improvement of the paper. This work was supported partly by the Natural Science Foundation of China (11561077, 11471227, 11201413), the Natural Science Foundation of Yunnan Province (2013FB034) and the Reserve Talents of Young and Middle-Aged Academic and Technical Leaders of the Yunnan Province.

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.

Authors’ Affiliations

(1)
School of Mathematics, Yunnan Normal University

References

  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
  2. Hernandez, E, O’Regan, D, Balachandran, K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 73(10), 3462-3471 (2010) MathSciNetView ArticleMATHGoogle Scholar
  3. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999) MATHGoogle Scholar
  4. Mophou, GM, N’Guérékata, GM: On some classes of almost automorphic functions and applications to fractional differential equations. Comput. Math. Appl. 59, 1310-1317 (2010) MathSciNetView ArticleMATHGoogle Scholar
  5. Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (2014) View ArticleMATHGoogle Scholar
  6. 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) MathSciNetView ArticleGoogle Scholar
  7. Lan, KQ, Lin, W: Positive solutions of systems of Caputo fractional differential equations. Commun. Appl. Anal. 17(1), 61-68 (2013) MathSciNetMATHGoogle Scholar
  8. Liu, YJ, Ahmad, B: A study of impulsive multiterm fractional differential equations with single and multiple base points and applications. Sci. World J. 2014, Article ID 194346 (2014) Google Scholar
  9. Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973-1033 (2010) MathSciNetView ArticleMATHGoogle Scholar
  10. Ashyralyev, A, Sharifov, YA: Existence and uniqueness of solutions for the system of nonlinear fractional differential equations with nonlocal and integral boundary conditions. Abstr. Appl. Anal. 2012, Article ID 594802 (2012) MathSciNetMATHGoogle Scholar
  11. Liang, J, Liu, J, Xiao, T: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Math. Comput. Model. 49, 798-804 (2009) MathSciNetView ArticleMATHGoogle Scholar
  12. Bai, Z, Lu, H: Positive solutions for boundary value problem of nonlinear fractional differential equations. J. Math. Anal. Appl. 311, 459-505 (2005) MathSciNetView ArticleGoogle Scholar
  13. Kaufmann, ER, Mboumi, E: Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 3, 11 (2008) MathSciNetMATHGoogle Scholar
  14. Ahmad, B, Nieto, JJ: Existence of solutions for impulsive anti-periodic boundary value problems of fractional order. Taiwan. J. Math. 15(3), 981-993 (2011) MathSciNetMATHGoogle Scholar
  15. Wang, G, Ahmad, B, Zhang, L: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. TMA 74, 792-804 (2011) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2017