, 2019:36

# Existence results of nonlocal boundary value problem for a nonlinear fractional differential coupled system involving fractional order impulses

• Kaihong Zhao
• Hui Huang
Open Access
Research

## Abstract

In this paper, we study the nonlocal boundary value problem for a nonlinear fractional differential coupled system with fractional order impulses. Applying Nonlinear Alternative of Leray–Schauder, we obtain some new existence results for this system. As application, an interesting example is given to illustrate the effectiveness of our main result.

## Keywords

Fractional differential coupled system Nonlocal boundary value conditions Impulses Fixed point theorem

## MSC

34B10 34B15 34B37

## 1 Introduction

In describing some phenomena and processes of many fields such as physics, chemistry, aerodynamics, electrodynamics of a complex medium, polymer rheology, capacitor theory, electrical circuits, biology, control theory, fitting of experimental data, and so on, the fractional order calculus is an excellent and more accurate tool than the integral order calculus. For example, in physics, we use Newtons’ law $$\eta \varepsilon '(t)=\sigma (t)$$ to describe the mechanics of viscous fluids, where $$\sigma (t)$$ and $$\varepsilon (t)$$ denote stress and strain at time t, respectively, and η is the viscosity of the material. However, we need to employ Nuttings’ law [1] $$\eta D_{0^{+}} ^{k}\varepsilon '(t)=\sigma (t)$$ ($$k\in (n-1,n)$$, $$n\in \mathbb{N}$$) to deal with the mechanics of viscous fluids involving some possible interpolation properties. As a consequence, the subject of fractional differential equations is gaining much importance and attention. There have been many papers focused on boundary value problems of fractional ordinary differential equations (see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31]). Especially, the nonlocal boundary value problems have been widely studied by many scholars because of their extensive applications in, e.g., blood flow problems, chemical engineering, thermo-elasticity, underground water flow, population dynamics, and so forth. The nonlocal boundary value problems of fractional-order differential equations constitute a class of very interesting and important problems. Such boundary value problems have been investigated in [8, 9, 10, 11, 12, 13, 14, 24, 25, 30].

In addition, the theory of impulse differential equations has seen significant development in recent years and played a very important role in modern applied mathematical models of real processes arising in phenomena studied in physics, population dynamics, chemical technology and biotechnology. Recently, some scholars have begun to study the boundary value problems for impulsive fractional differential equations (see [1, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 30, 32]). As is well known, the study on fractional differential coupled systems is more complicated and challenged than the study on a single fractional differential equation. Recently, some scholars began to investigate fractional differential coupled systems and obtained some good results (see [8, 12, 13, 24, 26, 31]). However, there are few papers on the impulsive fractional order coupled systems with nonlocal boundary conditions and impulses. Therefore, in this paper, we consider the following four-point boundary value problem for nonlinear fractional differential coupling system with fractional order impulses of the form
\begin{aligned} \textstyle\begin{cases} {}^{C}D_{0^{+}}^{\alpha }x(t)=f(t,x(t), {}^{C}D_{0^{+}}^{p}y(t)), \quad t\in J, t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\beta }y(t)=g(t, {}^{C}D_{0^{+}}^{q}x(t),y(t)), \quad t\in J, t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{-})=J_{1k}(x(t_{k})), \quad k=1,\ldots ,n, \\ {}^{C}D_{0^{+}}^{\gamma _{2}}y(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{2}}y(t _{k}^{-})=J_{2k}(y(t_{k})), \quad k=1,\ldots ,n, \\ x(0)=y(0)=0,\qquad {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}x(z)=x(1),\qquad {}^{\mathrm{LR}}D_{0^{+}} ^{\delta _{2}}y(w)=y(1), \end{cases}\displaystyle \end{aligned}
(1.1)
where $$J=[0,1]$$, $$1<\alpha$$, $$\beta <2$$, $$0< p$$, $$q,\gamma _{1},\gamma _{2}, \delta _{1},\delta _{2},z,w<1$$, $${}^{C}D_{0^{+}}^{\alpha }$$, $${}^{C}D_{0^{+}} ^{\beta }$$, $${}^{C}D_{0^{+}}^{p}$$, $${}^{C}D_{0^{+}}^{q}$$, $${}^{C}D_{0^{+}} ^{\gamma _{1}}$$, and $${}^{C}D_{0^{+}}^{\gamma _{2}}$$ are the Caputo fractional derivatives; $${}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}$$ and $${}^{\mathrm{LR}}D_{0^{+}} ^{\delta _{2}}$$ are the Riemann–Liouville fractional derivatives; $$f,g\in C(J\times R^{2},R)$$, $$J_{1k},J_{2k}\in C(R,R)$$, and $$\{t_{k}\}$$ satisfies $$0=t_{0}< t_{1}<\cdots <t_{n}<t_{n+1}=1$$, $${}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k}^{+})$$, $${}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{-})$$, $${}^{C}D_{0^{+}}^{\gamma _{2}}y(t_{k}^{+})$$, $${}^{C}D_{0^{+}} ^{\gamma _{2}}y(t_{k}^{-})$$ all exist, $${}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{-})= {}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k})$$, $${}^{C}D_{0^{+}}^{ \gamma _{2}}y(t_{k}^{-})= {}^{C}D_{0^{+}}^{\gamma _{1}}y(t_{k})$$, $$k=1,2,\ldots ,n$$.

The rest of this paper is organized as follows. In Sect. 2, we recall some definitions and lemmas of the Caputo and Riemann–Liouville fractional calculus. In Sect. 3, we shall prove the existence of solutions for system (1.1). In Sect. 4, some examples are given to demonstrate the application of our main results. Finally, conclusions are given in Sect. 5 to simply recall our studies and results obtained.

## 2 Preliminaries

Let $$C(J)$$ be the Banach space of continuous functions from J to $$\mathbb{R}$$ with the norm $$\|\psi \|_{C}=\sup_{t\in J}|\psi (t)|$$. Define the function space $$\mathrm{PC}(J)$$ by
\begin{aligned} \mathrm{PC}(J)&= \bigl\{ \psi (t):\psi (t), {}^{C}D_{0^{+}}^{p} \psi (t), {}^{C}D _{0^{+}}^{q}\psi (t), {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}\psi (t), {}^{\mathrm{LR}}D _{0^{+}}^{\delta _{2}}\psi (t)\in C(J), {}^{C}D_{0^{+}}^{\gamma _{1}} \psi \bigl(t_{k}^{+}\bigr), \\ &\quad {}^{C}D_{0^{+}}^{\gamma _{1}}\psi \bigl(t_{k}^{-} \bigr), {}^{C}D_{0^{+}}^{\gamma _{2}}\psi \bigl(t_{k}^{+} \bigr) \text{ and } {}^{C}D_{0^{+}}^{\gamma _{2}}\psi \bigl(t_{k}^{-}\bigr) \text{ all exist, and satisfy }\\ &\quad {}^{C}D_{0^{+}}^{\gamma _{1}}\psi \bigl(t_{k}^{-} \bigr)= {}^{C}D_{0^{+}}^{\gamma _{1}}\psi (t_{k}),^{C}D_{0^{+}}^{\gamma _{2}}\psi \bigl(t_{k}^{-} \bigr)= {}^{C}D_{0^{+}}^{\gamma _{2}}\psi (t_{k}), \\ &\quad {} 0< p,q,\delta _{1},\delta _{2},\gamma _{1},\gamma _{2}< 1, 1\leq k\leq n \bigr\} . \end{aligned}
Obviously, $$\mathrm{PC}(J)$$ is a real Banach space equipped with the norm
\begin{aligned} \Vert \psi \Vert _{\mathrm{PC}}=\max \bigl\{ \Vert \psi \Vert _{C}, \bigl\Vert ^{c}D_{0^{+}}^{p} \psi \bigr\Vert _{C}, \bigl\Vert ^{c}D_{0^{+}}^{q} \psi \bigr\Vert _{C} \bigr\} , \quad \forall \psi \in \mathrm{PC}(J). \end{aligned}
Let $$X=\mathrm{PC}(J)\times \mathrm{PC}(J)$$. It is easily to verify that X is a Banach space with the norm $$\|(u,v)\|=\max \{\|u\|_{\mathrm{PC}}, \|v\|_{\mathrm{PC}}\}$$, $$(u,v)\in X$$.

For the readers’ convenience, we introduce some necessary definitions and lemmas. These definitions and properties can be found in the literature.

### Definition 2.1

([32, 33])

The Riemann–Liouville fractional integral of order $$\alpha >0$$ of a continuous function $$f: (a,\infty )\rightarrow R$$ is defined by
\begin{aligned} I_{a^{+}}^{\alpha }f(t)=\frac{1}{\varGamma (\alpha )} \int _{a}^{t}(t-s)^{ \alpha -1}f(s)\,ds, \end{aligned}
provided that the right-hand side is pointwise defined on $$(a,\infty )$$.

### Definition 2.2

([33])

The Riemann–Liouville fractional derivative of order $$\alpha >0$$ of a continuous function $$f: (a,\infty )\rightarrow R$$ is defined by
\begin{aligned} {}^{\mathrm{LR}}D_{a^{+}}^{\alpha }f(t)=\frac{1}{\varGamma (n-\alpha )} \frac{d^{n}}{dt ^{n}} \int _{0}^{t}(t-s)^{n-\alpha -1}f(s)\,ds, \end{aligned}
where $$n-1<\alpha \leq n$$, provided that the right-hand side is pointwise defined on $$(a,\infty )$$.

### Definition 2.3

([32, 33])

If $$f\in C^{n}((a,\infty ),R)$$ and $$\alpha >0$$, then the Caputo fractional derivative of order α is defined as
\begin{aligned} {}^{C}D_{a^{+}}^{\alpha }f(t)=\frac{1}{\varGamma (n-\alpha )} \int _{a}^{t}(t-s)^{n- \alpha -1}f^{(n)}(s)\,ds, \end{aligned}
where $$n-1<\alpha \leq n$$, provided that the right-hand side is pointwise defined on $$(a,\infty )$$.

### Lemma 2.1

([33])

If$$u\in C^{n}[0,1]$$, and$$\delta >0$$, then
\begin{aligned} I_{0^{+}}^{\delta } {}^{C}D_{0^{+}}^{\delta }u(t)=u(t)- \sum_{k=0} ^{n-1}\frac{u^{(k)}(0)}{k!}t^{k}, \end{aligned}
where$$n=-[-\delta ]$$and$$[-\delta ]$$denotes the integer part of the real numberδ.

### Lemma 2.2

([32, 33])

If$$\alpha ,\beta >0$$, $$t\in [a,b]$$and$$u(t)\in L[a,b]$$, then
\begin{aligned} {}^{C}D_{a^{+}}^{\alpha }I_{a^{+}}^{\alpha }u(t)=u(t), \qquad I_{a^{+}}^{\alpha }I_{a^{+}}^{\beta }u(t)=I_{a^{+}}^{\alpha +\beta }u(t). \end{aligned}

### Lemma 2.3

(see [34], pp. 36–39)

Let$$\alpha >0$$and supposendenotes the smallest integer greater than or equal toα. Then the following assertions hold:
1. (i)
If$$\lambda >-1$$, $$\lambda \neq \alpha -i$$, $$i=1, 2, \ldots , n+1$$, then for$$t\in [a,b]$$,
\begin{aligned} {}^{\mathrm{LR}}D_{a^{+}}^{\alpha }(t-a)^{\lambda }= \frac{\varGamma (\lambda +1)}{ \varGamma (\lambda -\alpha +1)}(t-a)^{\lambda -\alpha }. \end{aligned}

2. (ii)

$${}^{\mathrm{LR}}D_{a^{+}}^{\alpha }(t-a)^{\alpha -i}=0$$, $$i=1, 2, \ldots , n$$.

3. (iii)

$${}^{\mathrm{LR}}D_{a^{+}}^{\beta }I_{a^{+}}^{\alpha }u(t)=I _{a^{+}}^{\alpha }u(t)$$, for all$$t\in [a,b]$$, $$\alpha \geq \beta \geq 0$$.

### Lemma 2.4

(Nonlinear Alternative Of Leray–Schauder [35])

LetXbe a Banach space, Cbe a nonempty convex subset ofX, Ωbe an open subset ofCwith$$\theta \in {\varOmega }$$. Suppose that$$T: \overline{ \varOmega }{\rightarrow }C$$is a completely continuous mapping. Then either
1. (i)

the mappingThas a fixed point inΩ̅, or

2. (ii)

there exists a$${u}\in \partial {\varOmega }$$and$$\lambda \in (0,1)$$with$$u=\lambda Tu$$.

### Lemma 2.5

Let$$h_{1}\in C(J)$$. If$$\Delta _{1}\triangleq \frac{z^{1-\delta _{1}}}{ \varGamma (2-\delta _{1})}\neq 1$$, then a function$$x\in \mathrm{PC}(J)$$is a solution of the boundary value problem
\begin{aligned} \textstyle\begin{cases} {}^{C}D_{0^{+}}^{\alpha }x(t)=h_{1}(t), \quad 1< \alpha < 2, t\in J, t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{-})=J_{1k}(x(t_{k})), \quad 0< \gamma _{1}< 1, k=1,2,\ldots ,n, \\ x(0)=0, \qquad {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}x(z)=x(1),\qquad 0< {\delta }_{1}< 1,\qquad 0< z< 1, \end{cases}\displaystyle \end{aligned}
(2.1)
if and only if$$x\in \mathrm{PC}(J)$$is a solution of the integral equation
\begin{aligned} x(t)&= I_{0^{+}}^{\alpha }h_{1}(t) + \Biggl(\frac{I_{0^{+}}^{\alpha - \delta _{1}}h_{1}(z)-I_{0^{+}}^{\alpha }h_{1}(1)+C_{1}}{1-\Delta _{1}}+ \sum_{i=1}^{k} \frac{\varGamma (2-\gamma _{1})}{t_{i}^{1-\gamma _{1}}}J_{1i}\bigl(x(t _{i})\bigr) \Biggr)t \\ &\quad {}- \varGamma (2-\gamma _{1})t_{k}^{\gamma _{1}}J_{1k} \bigl(x(t_{k})\bigr), \quad t\in (t_{k},t_{k+1}], k=0,1,\ldots ,n, \end{aligned}
(2.2)
where
\begin{aligned} C_{1}&= \Delta _{1}\varGamma (2-\gamma _{1}) \sum_{i=1}^{j}\frac{J_{1i}(x(t _{i}))}{t_{i}^{1-\gamma _{1}}} - \frac{z^{-\delta _{1}}t_{j}^{\gamma _{1}} \varGamma (2-\gamma _{1})}{\varGamma (1-\delta _{1})}J_{1j}\bigl(x(t_{j})\bigr) +t_{n} ^{\gamma _{1}}\varGamma (2-\gamma _{1})J_{1n} \bigl(x(t_{n})\bigr) \\ &\quad {}-\varGamma (2-\gamma _{1})\sum_{i=1}^{n} \frac{J_{1i}(x(t_{i}))}{t_{i} ^{1-\gamma _{1}}},\quad t_{j}< z\leq t_{j+1}, j\in \{0,1,2, \ldots ,n\}. \end{aligned}

### Proof

When $$t\in [0,t_{1}]$$, from Lemma 2.1, we have
\begin{aligned} x(t)=I_{0^{+}}^{\alpha }h_{1}(t)+u_{10}+u_{11}t= \frac{1}{\varGamma ( \alpha )} \int _{0}^{t}(t-s)^{\alpha -1}h_{1}(s)\,ds+u_{10}+u_{11}t. \end{aligned}
(2.3)
By $$x(0)=0$$, we get $$u_{10}=0$$. And it follows from (2.3) that
\begin{aligned} {}^{C}D_{0^{+}}^{\gamma _{1}}x(t)= \frac{u_{11}t^{1-\gamma _{1}}}{\varGamma (2- \gamma _{1})}+ \frac{1}{\varGamma (\alpha -\gamma _{1})} \int _{0}^{t}(t-s)^{ \alpha -\gamma _{1}-1}h_{1}(s)\,ds, \end{aligned}
(2.4)
and
\begin{aligned} {}^{C}D_{0^{+}}^{\gamma _{1}}x \bigl(t_{1}^{-}\bigr)= {}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{1}) =\frac{u_{11}t_{1}^{1-\gamma _{1}}}{\varGamma (2-\gamma _{1})}+ \frac{1}{ \varGamma (\alpha -\gamma _{1})} \int _{0}^{t_{1}}(t_{1}-s)^{\alpha -\gamma _{1}-1}h_{1}(s)\,ds. \end{aligned}
(2.5)
When $$t\in (t_{1},t_{2}]$$, we similarly have
\begin{aligned}& x(t)=I_{0^{+}}^{\alpha }h_{1}(t)+u_{20}+u_{21}t= \frac{1}{\varGamma ( \alpha )} \int _{0}^{t}(t-s)^{\alpha -1}h_{1}(s)\,ds+u_{20}+u_{21}t, \end{aligned}
(2.6)
\begin{aligned}& {}^{C}D_{0^{+}}^{\gamma _{1}}x(t)= \frac{u_{21}t^{1-\gamma _{1}}}{\varGamma (2- \gamma _{1})}+ \frac{1}{\varGamma (\alpha -\gamma _{1})} \int _{0}^{t}(t-s)^{ \alpha -\gamma _{1}-1}h_{1}(s)\,ds, \end{aligned}
(2.7)
and
\begin{aligned} {}^{C}D_{0^{+}}^{\gamma _{1}}x \bigl(t_{1}^{+}\bigr) =\frac{u_{21}t_{1}^{1-\gamma _{1}}}{\varGamma (2-\gamma _{1})}+ \frac{1}{\varGamma (\alpha -\gamma _{1})} \int _{0}^{t_{1}}(t_{1}-s)^{\alpha -\gamma _{1}-1}h_{1}(s)\,ds. \end{aligned}
(2.8)
By (2.5), (2.8) and $${}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k}^{-})=J_{1k}(x(t_{k}))$$, we obtain
\begin{aligned} u_{21}-u_{11}=\frac{\varGamma (2-\gamma _{1})}{t_{1}^{1-\gamma _{1}}}J_{11} \bigl(x(t _{1})\bigr). \end{aligned}
(2.9)
In view of the continuity of x at $$t_{1}$$, we have
\begin{aligned} u_{20}=-(u_{21}-u_{11})t_{1}=- \varGamma (2-\gamma _{1})t_{1}^{\gamma _{1}}J _{11}\bigl(x(t_{1})\bigr). \end{aligned}
(2.10)
When $$t\in (t_{k},t_{k+1}]$$, $$k=2,3,\ldots ,n$$, repeating the above calculation, we get
\begin{aligned} x(t)=\frac{1}{\varGamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}h_{1}(s)\,ds+u _{k+1,0}+u_{k+1,1}t, \end{aligned}
(2.11)
and
\begin{aligned} u_{k+1,1}-u_{k1}=\frac{\varGamma (2-\gamma _{1})}{t_{k}^{1-\gamma _{1}}}J _{1k}\bigl(x(t_{k})\bigr), \qquad u_{k+1,0}=-\varGamma (2-\gamma _{1})t_{k}^{\gamma _{1}}J_{1k} \bigl(x(t_{k})\bigr). \end{aligned}
(2.12)
From (2.11) and (2.12), we have
\begin{aligned} x(1)=\frac{1}{\varGamma (\alpha )} \int _{0}^{1}(1-s)^{\alpha -1}h_{1}(s)\,ds- \varGamma (2-\gamma _{1})t_{n}^{\gamma _{1}}J_{1n} \bigl(x(t_{n})\bigr)+u_{n+1,1}. \end{aligned}
(2.13)
Equations (2.9) and (2.12) give
\begin{aligned} u_{k+1,1}=u_{11}+\sum _{i=1}^{k}\frac{\varGamma (2-\gamma _{1})}{t_{i}^{1- \gamma _{1}}}J_{1i} \bigl(x(t_{i})\bigr), \quad k=1,2,\ldots ,n. \end{aligned}
(2.14)
Denoting $$t_{0}=0$$, $$t_{n+1}=1$$, and noticing $$0< z<1$$, we know that there exists $$j\in \{0,1,\ldots ,n\}$$ such that $$z\in (t_{j},t_{j+1}]$$ and
\begin{aligned} x(z)=\frac{1}{\varGamma (\alpha )} \int _{0}^{z}(z-s)^{\alpha -1}h_{1}(s)\,ds+u _{j+1,0}+u_{j+1,1}z =I_{0^{+}}^{\alpha }h_{1}(z)+u_{j+1,0}+u_{j+1,1}z. \end{aligned}
(2.15)
Applying Lemmas 2.22.3 and (2.15), we obtain
\begin{aligned} {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}x(z)= \frac{1}{\varGamma (\alpha -\delta _{1})} \int _{0}^{z}(z-s)^{\alpha -\delta _{1}-1}h_{1}(s)\,ds +\frac{u_{j+1,1}\varGamma (2)z^{1-\delta _{1}}}{\varGamma (2-\delta _{1})}+ \frac{u_{j+1,0}z^{-\delta _{1}}}{\varGamma (1-\delta _{1})}. \end{aligned}
(2.16)
Using $${}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}x(z)=x(1)$$, (2.12), (2.13), (2.14) and (2.16), we derive
\begin{aligned} u_{11}&= \frac{1}{(1-\Delta _{1})\varGamma (\alpha -\delta _{1})} \int _{0} ^{z}(z-s)^{\alpha -\delta _{1}-1}h_{1}(s)\,ds +\frac{\Delta _{1}\varGamma (2- \gamma _{1})}{1-\Delta _{1}}\sum_{i=1}^{j} \frac{J_{1i}(x(t_{i}))}{t_{i} ^{1-\gamma _{1}}} \\ &\quad {}-\frac{z^{-\delta _{1}}t_{j}^{\gamma _{1}}\varGamma (2-\gamma _{1})}{(1- \Delta _{1})\varGamma (1-\delta _{1})}J_{1j}\bigl(x(t_{j}) \bigr) -\frac{1}{(1-\Delta _{1})\varGamma (\alpha )} \int _{0}^{1}(1-s)^{\alpha -1}h_{1}(s)\,ds \\ &\quad{} +\frac{t_{n}^{\gamma _{1}}\varGamma (2-\gamma _{1})}{1-\Delta _{1}}J_{1n}\bigl(x(t _{n}) \bigr) -\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}}\sum_{i=1}^{n} \frac{J _{1i}(x(t_{i}))}{t_{i}^{1-\gamma _{1}}} \\ &= \frac{1}{1-\Delta _{1}} \Biggl[I_{0^{+}}^{\alpha -\delta _{1}}h_{1}(z)-I _{0^{+}}^{\alpha }h_{1}(1) +\Delta _{1}\varGamma (2-\gamma _{1})\sum_{i=1} ^{j} \frac{J_{1i}(x(t_{i}))}{t_{i}^{1-\gamma _{1}}} -\frac{z^{-\delta _{1}}t_{j}^{\gamma _{1}}\varGamma (2-\gamma _{1})}{\varGamma (1-\delta _{1})} \\ &\quad {}\times J_{1j}\bigl(x(t_{j})\bigr) +t_{n}^{\gamma _{1}}\varGamma (2-\gamma _{1})J _{1n}\bigl(x(t_{n})\bigr) -\varGamma (2-\gamma _{1})\sum_{i=1}^{n} \frac{J_{1i}(x(t _{i}))}{t_{i}^{1-\gamma _{1}}} \Biggr] \\ &=\frac{A_{1}}{1-\Delta _{1}}. \end{aligned}
(2.17)
Thus, for $$(t_{k},t_{k+1}]$$, $$k=0,1,2,\ldots ,n$$, we have
\begin{aligned} x(t)&=\frac{1}{\varGamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}h_{1}(s)\,ds+u _{k+1,0}+u_{k+1,1}t \\ &=I_{0^{+}}^{\alpha }h_{1}(t)-\varGamma (2-\gamma _{1})t_{k}^{\gamma _{1}}J _{1k} \bigl(x(t_{k})\bigr) + \Biggl(u_{11}+\sum _{i=1}^{k}\frac{\varGamma (2-\gamma _{1})}{t_{i}^{1-\gamma _{1}}}J_{1i} \bigl(x(t_{i})\bigr) \Biggr)t. \end{aligned}
(2.18)
Substituting (2.17) into (2.18), one can easily obtain (2.2). The proof is completed. □

Similarly, we conclude the following lemma.

### Lemma 2.6

Let$$h_{2}\in \mathrm{PC}(J)$$. If$$\Delta _{2}\triangleq \frac{w^{1-\delta _{2}}}{ \varGamma (2-\delta _{2})}\neq 1$$, then a function$$y\in \mathrm{PC}(J)$$is a solution of the boundary value problem
\begin{aligned} \textstyle\begin{cases} {}^{C}D_{0^{+}}^{\beta }y(t)=h_{2}(t), \quad 1< \beta < 2, t\in J, t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\gamma _{2}}y(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{2}}y(t _{k}^{-})=J_{2k}(y(t_{k})), \quad 0< \gamma _{2}< 1, k=1,2,\ldots ,n, \\ y(0)=0, \qquad {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{2}}y(w)=y(1), \qquad 0< {\delta }_{2}< 1, \qquad 0< w< 1, \end{cases}\displaystyle \end{aligned}
(2.19)
if and only if$$y\in \mathrm{PC}(J)$$is a solution of the integral equation
\begin{aligned} x(t)&=I_{0^{+}}^{\beta }h_{2}(t) + \Biggl(\frac{I_{0^{+}}^{\beta -\delta _{2}}h_{2}(w)-I_{0^{+}}^{\beta }h_{2}(1)+C_{2}}{1-\Delta _{2}}+\sum_{i=1}^{k} \frac{\varGamma (2-\gamma _{2})}{t_{i}^{1-\gamma _{2}}}J_{2i}\bigl(y(t _{i})\bigr) \Biggr)t \\ &\quad{}-\varGamma (2-\gamma _{2})t_{k}^{\gamma _{2}}J_{2k} \bigl(y(t_{k})\bigr), \quad t\in (t_{k},t_{k+1}], k=0,1,\ldots ,n, \end{aligned}
(2.20)
where
\begin{aligned} C_{2}&= \Delta _{2}\varGamma (2-\gamma _{2}) \sum_{i=1}^{l}\frac{J_{2i}(y(t _{i}))}{t_{i}^{1-\gamma _{2}}} - \frac{w^{-\delta _{2}}t_{l}^{\gamma _{2}} \varGamma (2-\gamma _{2})}{\varGamma (1-\delta _{2})}J_{2l}\bigl(y(t_{l})\bigr) +t_{n} ^{\gamma _{2}}\varGamma (2-\gamma _{2})J_{2n} \bigl(y(t_{n})\bigr) \\ &\quad{}-\varGamma (2-\gamma _{2})\sum_{i=1}^{n} \frac{J_{2i}(y(t_{i}))}{t_{i} ^{1-\gamma _{2}}},\quad t_{l}< w\leq t_{l+1}, l\in \{0,1,2,\ldots ,n\}. \end{aligned}

## 3 Main results

In this section, we shall investigate the existence of solution for system (1.1) by employing the nonlinear alternative of Leray–Schauder.

### Theorem 3.1

If the following conditions$$(H_{1})$$$$(H_{6})$$hold, then the boundary value problem (1.1) has at least a pair of solutions. The conditions are:
$$(H_{1})$$

The functions$$f,g \in C(J\times R^{2},R)$$, and$$J_{1k}, J_{2k}\in C(R,R)$$, $$k=1,2,\ldots ,n$$.

$$(H_{2})$$
For all$$u_{i},v_{i}\in R$$ ($$i=1,2$$), $$t\in R$$, there exist some constants$$L_{i}, \hat{L}_{i}>0$$ ($$i=1,2$$) such that
\begin{aligned} & \bigl\vert f(t,u_{1},v_{1})-f(t,u_{2},v_{2}) \bigr\vert \leq L_{1} \vert u_{1}-u_{2} \vert +L_{2} \vert v _{1}-v_{2} \vert , \\ & \bigl\vert g(t,u_{1},v_{1})-g(t,u_{2},v_{2}) \bigr\vert \leq \hat{L}_{1} \vert u_{1}-u_{2} \vert + \hat{L}_{2} \vert v_{1}-v_{2} \vert . \end{aligned}
$$(H_{3})$$

$$N\triangleq \sup_{t\in [0,1]}|f(t,0,0)|$$and$$\hat{N}\triangleq \sup_{t\in [0,1]}|g(t,0,0)|$$all exist.

$$(H_{4})$$

$$0<\Delta _{1}=\frac{z^{1-\delta _{1}}}{\varGamma (2- \delta _{1})}<1$$, $$0<\Delta _{2}=\frac{w^{1-\delta _{2}}}{\varGamma (2- \delta _{2})}<1$$.

$$(H_{5})$$
For any$$u, v\in R$$, there exist some constants$$M_{k}, \hat{M}_{k}>0$$, $$k=1,2,\ldots ,n$$, such that
\begin{aligned} \bigl\vert J_{1k}(u) \bigr\vert \leq M_{k} \vert u \vert , \qquad \bigl\vert J_{2k}(v) \bigr\vert \leq \hat{M}_{k} \vert v \vert . \end{aligned}
$$(H_{6})$$
$$\kappa _{1}\triangleq \mathcal{M}_{1}+\mathcal{N} _{1}<1$$and$$\kappa _{2}\triangleq \mathcal{M}_{2}+\mathcal{N}_{2}<1$$, where
\begin{aligned} &\mathcal{M}_{1}=(L_{1}+L_{2}) \biggl( \frac{1}{\varGamma (\alpha +1)}+\frac{1}{(1- \Delta _{1})\varGamma (\alpha -\delta _{1}+1)} +\frac{1}{(1-\Delta _{1}) \varGamma (\alpha +1)} \biggr), \\ &\mathcal{N}_{1}=\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl(\frac{2}{t _{1}^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+2- \Delta _{1} \biggr) \sum _{i=1}^{n}M_{i}, \\ &\mathcal{M}_{2}=(\hat{L}_{1}+\hat{L}_{2}) \biggl(\frac{1}{\varGamma ( \beta +1)}+\frac{1}{(1-\Delta _{2})\varGamma (\beta -\delta _{2}+1)} +\frac{1}{(1- \Delta _{2})\varGamma (\beta +1)} \biggr), \\ &\mathcal{N}_{2}=\frac{\varGamma (2-\gamma _{2})}{1-\Delta _{2}} \biggl(\frac{2}{t _{1}^{1-\gamma _{2}}}+ \frac{1}{w^{\delta _{2}}\varGamma (1-\delta _{2})}+2- \Delta _{2} \biggr) \sum _{i=1}^{n}\hat{M}_{i}. \end{aligned}

### Proof

Let $$\varOmega =\{(x,y)\in X: \|(x,y)\|< r\}$$, where $$X=\mathrm{PC}(J)\times \mathrm{PC}(J)$$ and $$r\geq \max \{\frac{N\mathcal{M}_{1}}{1-\kappa _{1}},\frac{ \hat{N}\mathcal{M}_{2}}{1-\kappa _{2}} \}$$. Then $$\overline{\varOmega }=\{(x,y)\in X: \|(x,y)\|\leq r\}$$, $$\partial \varOmega =\{(x,y)\in X: \|(x,y)\|=r\}$$. According to Lemmas 2.52.6, we define the operator $$T:\overline{\varOmega }{\rightarrow }X$$ as follows:
\begin{aligned} T(x,y) (t)=\bigl(T_{1}(x,y) (t), T_{2}(x,y) (t)\bigr)^{T}, \quad \forall (x,y)\in X, t\in J, \end{aligned}
(3.1)
where
\begin{aligned}& \begin{aligned}[b] T_{1}(x,y) (t)&=I_{0^{+}}^{\alpha }f \bigl(t,x(t), {}^{C}D_{0^{+}}^{p}y(t)\bigr) \\&\quad{}+ \frac{I _{0^{+}}^{\alpha -\delta _{1}}f(z,x(z), {}^{C}D_{0^{+}}^{p}y(z))-I_{0^{+}} ^{\alpha }f(1,x(1), {}^{C}D_{0^{+}}^{p}y(1))}{1-\Delta _{1}}t \\ &\quad{}+ \Biggl(\frac{C_{1}}{1-\Delta _{1}}+\sum_{i=1}^{k} \frac{\varGamma (2- \gamma _{1})}{t_{i}^{1-\gamma _{1}}}J_{1i}\bigl(x(t_{i})\bigr) \Biggr)t - \varGamma (2- \gamma _{1})t_{k}^{\gamma _{1}}J_{1k} \bigl(x(t_{k})\bigr), \\ &\quad t\in (t_{k},t_{k+1}], k=0,1,\ldots ,n, \end{aligned} \end{aligned}
(3.2)
\begin{aligned}& \begin{aligned}[b] T_{2}(x,y) (t)&=I_{0^{+}}^{\beta }g \bigl(t, {}^{C}D_{0^{+}}^{q}x(t),y(t)\bigr)\\&\quad{} + \frac{I _{0^{+}}^{\beta -\delta _{2}}g(w, {}^{C}D_{0^{+}}^{q}x(w),y(w))-I_{0^{+}} ^{\beta }g(1, {}^{C}D_{0^{+}}^{q}x(1),y(1))}{1-\Delta _{2}}t \\ &\quad{}+ \Biggl(\frac{C_{2}}{1-\Delta _{2}}+\sum_{i=1}^{k} \frac{\varGamma (2- \gamma _{2})}{t_{i}^{1-\gamma _{2}}}J_{2i}\bigl(y(t_{i})\bigr) \Biggr)t - \varGamma (2- \gamma _{2})t_{k}^{\gamma _{2}}J_{2k} \bigl(y(t_{k})\bigr), \\ &\quad t\in (t_{k},t_{k+1}], k=0,1,\ldots ,n, \end{aligned} \end{aligned}
(3.3)
\begin{aligned}& \begin{aligned}[b] C_{1}&= \Delta _{1} \varGamma (2-\gamma _{1})\sum_{i=1}^{j} \frac{J_{1i}(x(t _{i}))}{t_{i}^{1-\gamma _{1}}} -\frac{z^{-\delta _{1}}t_{j}^{\gamma _{1}} \varGamma (2-\gamma _{1})}{\varGamma (1-\delta _{1})}J_{1j}\bigl(x(t_{j}) \bigr) \\ &\quad{}+t_{n} ^{\gamma _{1}}\varGamma (2-\gamma _{1})J_{1n} \bigl(x(t_{n})\bigr)-\varGamma (2-\gamma _{1})\sum_{i=1}^{n} \frac{J_{1i}(x(t_{i}))}{t_{i} ^{1-\gamma _{1}}},\\ &\quad t_{j}< z\leq t_{j+1}, j\in \{0,1,2,\ldots ,n\}, \end{aligned} \end{aligned}
(3.4)
and
\begin{aligned} C_{2}&= \Delta _{2}\varGamma (2- \gamma _{2})\sum_{i=1}^{l} \frac{J_{2i}(y(t _{i}))}{t_{i}^{1-\gamma _{2}}} -\frac{w^{-\delta _{2}}t_{l}^{\gamma _{2}} \varGamma (2-\gamma _{2})}{\varGamma (1-\delta _{2})}J_{2l}\bigl(y(t_{l}) \bigr) \\ &\quad{}+t_{n} ^{\gamma _{2}}\varGamma (2-\gamma _{2})J_{2n} \bigl(y(t_{n})\bigr)-\varGamma (2-\gamma _{2})\sum_{i=1}^{n} \frac{J_{2i}(y(t_{i}))}{t_{i} ^{1-\gamma _{2}}}, \\ &\quad t_{l}< w\leq t_{l+1}, l\in \{0,1,2,\ldots ,n\}. \end{aligned}
(3.5)
Thus, the existence of solution for system (1.1) is equivalent to the existence of a fixed point for the operator T defined by (3.1)–(3.5). Now we shall apply Lemma 2.4 to prove that T has a fixed point $$(x^{*}(t),y^{*}(t))\in \overline{ \varOmega }$$. Firstly, we need to show that $$T:\overline{\varOmega }{\rightarrow }X$$ is completely continuous. In fact, for all $$(x,y)\in \overline{ \varOmega }$$, $$t\in J=[0,1]$$, from conditions $$(H_{1})$$$$(H_{5})$$, we have
\begin{aligned} & \bigl\vert T_{1}(x,y) (t) \bigr\vert \\ &\quad \leq I_{0^{+}}^{\alpha } \bigl\vert f\bigl(t,x(t), {}^{C}D_{0^{+}} ^{p}y(t)\bigr) \bigr\vert \\ &\qquad{}+\frac{I_{0^{+}}^{\alpha -\delta _{1}} \vert f(z,x(z), {}^{C}D_{0^{+}}^{p}y(z)) \vert +I _{0^{+}}^{\alpha } \vert f(1,x(1), {}^{C}D_{0^{+}}^{p}y(1)) \vert }{1-\Delta _{1}} \\ &\qquad{}+\frac{ \vert C_{1} \vert }{1-\Delta _{1}}+\sum_{i=1}^{k} \frac{\varGamma (2-\gamma _{1})}{t_{i}^{1-\gamma _{1}}} \bigl\vert J_{1i}\bigl(x(t_{i})\bigr) \bigr\vert +\varGamma (2-\gamma _{1})t _{k}^{\gamma _{1}} \bigl\vert J_{1k}\bigl(x(t_{k})\bigr) \bigr\vert \\ &\quad \leq I_{0^{+}}^{\alpha } \bigl\vert f\bigl(t,x(t), {}^{C}D_{0^{+}}^{p}y(t)\bigr)-f(t,0,0) \bigr\vert +I _{0^{+}}^{\alpha } \bigl\vert f(t,0,0) \bigr\vert \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \bigl[I_{0^{+}}^{\alpha -\delta _{1}} \bigl\vert f\bigl(z,x(z), {}^{C}D_{0^{+}}^{p}y(z) \bigr)-f(z,0,0) \bigr\vert +I_{0^{+}}^{\alpha -\delta _{1}} \bigl\vert f(z,0,0) \bigr\vert \bigr] \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \bigl[I_{0^{+}}^{\alpha } \bigl\vert f\bigl(1,x(1), {}^{C}D _{0^{+}}^{p}y(1) \bigr)-f(1,0,0) \bigr\vert +I_{0^{+}}^{\alpha } \bigl\vert f(1,0,0) \bigr\vert \bigr] \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \Biggl[\Delta _{1}\varGamma (2- \gamma _{1})\sum_{i=1}^{j} \frac{ \vert J_{1i}(x(t_{i})) \vert }{t_{i}^{1-\gamma _{1}}} +\frac{z ^{-\delta _{1}}t_{j}^{\gamma _{1}}\varGamma (2-\gamma _{1})}{\varGamma (1- \delta _{1})} \bigl\vert J_{1j} \bigl(x(t_{j})\bigr) \bigr\vert \\ &\qquad{}+t_{n}^{\gamma _{1}}\varGamma (2-\gamma _{1}) \bigl\vert J_{1n}\bigl(x(t_{n})\bigr) \bigr\vert +\varGamma (2-\gamma _{1})\sum _{i=1}^{n}\frac{ \vert J_{1i}(x(t_{i})) \vert }{t_{i}^{1-\gamma _{1}}} \Biggr] \\ &\qquad{}+\sum_{i=1}^{k} \frac{\varGamma (2-\gamma _{1})}{t_{i}^{1-\gamma _{1}}} \bigl\vert J _{1i}\bigl(x(t_{i})\bigr) \bigr\vert +\varGamma (2-\gamma _{1})t_{k}^{\gamma _{1}} \bigl\vert J_{1k}\bigl(x(t _{k})\bigr) \bigr\vert \\ &\quad \leq I_{0^{+}}^{\alpha } \bigl(L_{1} \bigl\vert x(t) \bigr\vert +L_{2} \bigl\vert {}^{C}D_{0^{+}}^{p}y(t) \bigr\vert \bigr)+I_{0^{+}}^{\alpha }\sup_{0\leq t\leq 1} \bigl\vert f(t,0,0) \bigr\vert \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \Bigl[I_{0^{+}}^{\alpha -\delta _{1}} \bigl(L _{1} \bigl\vert x(z) \bigr\vert +L_{2} \bigl\vert {}^{C}D_{0^{+}}^{p}y(z)\bigr) \bigr\vert ) +I_{0^{+}}^{\alpha - \delta _{1}}\sup_{0\leq t\leq 1} \bigl\vert f(t,0,0) \bigr\vert \Bigr] \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \Bigl[I_{0^{+}}^{\alpha } \bigl(L_{1} \bigl\vert x(1) \bigr\vert +L _{2} \bigl\vert {}^{C}D_{0^{+}}^{p}y(1) \bigr\vert \bigr) +I_{0^{+}}^{\alpha } \sup_{0\leq t\leq 1} \bigl\vert f(t,0,0) \bigr\vert \Bigr] \\ &\qquad{}+\frac{1}{1-\Delta _{1}} \Biggl[\Delta _{1}\varGamma (2- \gamma _{1})\sum_{i=1}^{j} \frac{M_{i} \vert x(t_{i}) \vert }{t_{i}^{1-\gamma _{1}}} +\frac{z^{- \delta _{1}}t_{j}^{\gamma _{1}}\varGamma (2-\gamma _{1})}{\varGamma (1-\delta _{1})}M_{j} \bigl\vert x(t_{j}) \bigr\vert \\ &\qquad{}+t_{n}^{\gamma _{1}}\varGamma (2-\gamma _{1})M_{n} \bigl\vert x(t_{n}) \bigr\vert + \varGamma (2- \gamma _{1})\sum_{i=1}^{n} \frac{M_{i} \vert x(t_{i}) \vert }{t_{i}^{1-\gamma _{1}}} \Biggr] \\ &\qquad{}+\sum_{i=1}^{k} \frac{\varGamma (2-\gamma _{1})}{t_{i}^{1-\gamma _{1}}}M _{i} \bigl\vert x(t_{i}) \bigr\vert +\varGamma (2-\gamma _{1})t_{k}^{\gamma _{1}}M_{k} \bigl\vert x(t_{k}) \bigr\vert \\ &\quad \leq \frac{1}{\varGamma (\alpha +1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L_{2} \Vert y \Vert _{\mathrm{PC}}+N \bigr) \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha -\delta _{1}+1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L_{2} \Vert y \Vert _{\mathrm{PC}} +N \bigr) \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L _{2} \Vert y \Vert _{\mathrm{PC}} +N \bigr) \\ &\qquad{}+\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl[\frac{2}{t_{1} ^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+2- \Delta _{1} \biggr] \sum _{i=1}^{n}M_{i}\cdot \Vert x \Vert _{\mathrm{PC}} \\ &\quad \leq \Biggl[(L_{1}+L_{2}) \biggl( \frac{1}{\varGamma (\alpha +1)}+\frac{1}{(1- \Delta _{1})\varGamma (\alpha -\delta _{1}+1)} +\frac{1}{(1-\Delta _{1}) \varGamma (\alpha +1)} \biggr) \\ &\qquad{}+\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl(\frac{2}{t_{1} ^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+2- \Delta _{1} \biggr) \sum _{i=1}^{n}M_{i} \Biggr] \Vert x \Vert _{\mathrm{PC}} \\ &\qquad{}+N(L_{1}+L_{2}) \biggl( \frac{1}{\varGamma (\alpha +1)}+\frac{1}{(1- \Delta _{1})\varGamma (\alpha -\delta _{1}+1)} +\frac{1}{(1-\Delta _{1}) \varGamma (\alpha +1)} \biggr) \\ &\quad \leq (\mathcal{M}_{1}+\mathcal{N}_{1})r+N \mathcal{M}_{1}=\kappa _{1}r+N \mathcal{M}_{1} \leq r. \end{aligned}
(3.6)
Similarly, we also have
\begin{aligned} \bigl\vert T_{2}(x,y) (t) \bigr\vert \leq \kappa _{2}r+\hat{N}\mathcal{M}_{2}\leq r. \end{aligned}
(3.7)
Estimates (3.6) and (3.7) indicate that T is uniformly bounded and $$T(\overline{\varOmega })\subset \overline{\varOmega }$$.
Next, we show that operator T is equicontinuous, that is, for any $$\epsilon >0$$, $$\tau _{2},\tau _{1}\in J=[0,1]$$, $$(x,y)\in \overline{ \varOmega }$$, there exists $$\delta =\delta (\epsilon )>0$$ such that, when $$|\tau _{2}-\tau _{1}|<\delta$$, we have $$\|T(x,y)(\tau _{2})-T(x,y)(\tau _{1})\|<\epsilon$$. Indeed, for any $$\tau _{1},\tau _{2}\in [0,1]$$, without loss of generality, let $$\tau _{1}<\tau _{2}$$ and $$|\tau _{2}- \tau _{1}|<\xi$$, where $$\xi =\min_{0\leq i\leq n}\{t_{i+1}-t_{i}\}$$, $$t_{0}=0$$, $$t_{n+1}=1$$. Similar to (3.6), we have
\begin{aligned} & \bigl\vert T_{1}(x,y) (\tau _{2})-T_{1}(x,y) (\tau _{1}) \bigr\vert \\ &\quad \leq \bigl\vert I_{0^{+}}^{ \alpha }f \bigl(\tau _{2},x(\tau _{2}), {}^{C}D_{0^{+}}^{p}y( \tau _{2})\bigr)-I_{0^{+}} ^{\alpha }f\bigl(\tau _{1},x(\tau _{1}), {}^{C}D_{0^{+}}^{p}y( \tau _{1})\bigr) \bigr\vert \\ &\qquad{}+\frac{I_{0^{+}}^{\alpha -\delta _{1}} \vert f(z,x(z), {}^{C}D_{0^{+}}^{p}y(z)) \vert +I _{0^{+}}^{\alpha } \vert f(1,x(1), {}^{C}D_{0^{+}}^{p}y(1)) \vert }{1-\Delta _{1}} \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+ \Biggl[\frac{ \vert C_{1} \vert }{1-\Delta _{1}}+\sum_{i=1}^{k} \frac{\varGamma (2- \gamma _{1})}{t_{i}^{1-\gamma _{1}}} \bigl\vert J_{1i}\bigl(x(t_{i})\bigr) \bigr\vert \Biggr] \vert \tau _{2}- \tau _{1} \vert \\ &\quad \leq \frac{1}{\varGamma (\alpha )} \int _{0}^{\tau _{1}} \bigl[(\tau _{2}-s)^{ \alpha -1}-( \tau _{1}-s)^{\alpha -1} \bigr] \bigl\vert f\bigl(s,x(s), {}^{C}D_{0^{+}}^{p}y(s)\bigr) \bigr\vert \,ds \\ &\qquad{}+\frac{1}{\varGamma (\alpha )} \int _{\tau _{1}}^{\tau _{2}}(\tau _{2}-s)^{ \alpha -1} \bigl\vert f\bigl(s,x(s), {}^{C}D_{0^{+}}^{p}y(s) \bigr) \bigr\vert \,ds \\ &\qquad{}+\frac{I_{0^{+}}^{\alpha -\delta _{1}} \vert f(z,x(z), {}^{C}D_{0^{+}}^{p}y(z)) \vert +I _{0^{+}}^{\alpha } \vert f(1,x(1), {}^{C}D_{0^{+}}^{p}y(1)) \vert }{1-\Delta _{1}} \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+ \Biggl[\frac{ \vert C_{1} \vert }{1-\Delta _{1}}+\sum_{i=1}^{k} \frac{\varGamma (2- \gamma _{1})}{t_{i}^{1-\gamma _{1}}} \bigl\vert J_{1i}\bigl(x(t_{i})\bigr) \bigr\vert \Biggr] \vert \tau _{2}- \tau _{1} \vert \\ &\quad \leq \frac{1}{\varGamma (\alpha +1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L_{2} \Vert y \Vert _{\mathrm{PC}}+N \bigr) \bigl(\tau _{2}^{\alpha }-\tau _{1}^{\alpha }-(\tau _{2}-\tau _{1})^{\alpha } \bigr) \\ &\qquad{}+\frac{1}{\varGamma (\alpha +1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L_{2} \Vert y \Vert _{\mathrm{PC}}+N \bigr) (\tau _{2}-\tau _{1} )^{\alpha } \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha -\delta _{1}+1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L_{2} \Vert y \Vert _{\mathrm{PC}} +N \bigr) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} \bigl(L_{1} \Vert x \Vert _{\mathrm{PC}}+L _{2} \Vert y \Vert _{\mathrm{PC}} +N \bigr) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl[\frac{2}{t_{1} ^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+1 \biggr] \sum_{i=1}^{n}M_{i} \cdot \Vert x \Vert _{\mathrm{PC}}\cdot \vert \tau _{2}-\tau _{1} \vert \\ &\quad \leq \frac{1}{\varGamma (\alpha +1)} (L_{1}r+L_{2}r+N ) \bigl(\tau _{2}^{\alpha }-\tau _{1}^{\alpha } \bigr)\\ &\qquad {} +\frac{1}{(1-\Delta _{1})\varGamma (\alpha -\delta _{1}+1)} (L_{1}r+L_{2}r +N ) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} (L_{1}r+L_{2}r +N ) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl[\frac{2}{t_{1} ^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+1 \biggr] \sum_{i=1}^{n}M_{i} \cdot r\cdot \vert \tau _{2}-\tau _{1} \vert \\ &\quad = \frac{1}{\varGamma (\alpha )} (L_{1}r+L_{2}r+N )\eta ^{\alpha -1} \vert \tau _{2}-\tau _{1} \vert \\ &\qquad {}+ \frac{1}{(1-\Delta _{1})\varGamma (\alpha -\delta _{1}+1)} (L_{1}r+L _{2}r +N ) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} (L_{1}r+L_{2}r +N ) \vert \tau _{2}-\tau _{1} \vert \\ &\qquad{}+\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl[\frac{2}{t_{1} ^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+1 \biggr] \sum_{i=1}^{n}M_{i} \cdot r\cdot \vert \tau _{2}-\tau _{1} \vert \\ &\quad \leq \Biggl[ (L_{1}r+L_{2}r+N ) \biggl( \frac{1}{\varGamma (\alpha )} +\frac{1}{(1-\Delta _{1})\varGamma (\alpha - \delta _{1}+1)} +\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} \biggr) \\ &\qquad{}+\frac{r\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl(\frac{2}{t_{1} ^{1-\gamma _{1}}}+\frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+1 \biggr) \sum_{i=1}^{n}M_{i} \Biggr] \vert \tau _{2}-\tau _{1} \vert \\ &\quad =\rho _{1} \vert \tau _{2}- \tau _{1} \vert , \end{aligned}
(3.8)
where $$\tau _{1}<\eta <\tau _{2}$$, $$\rho _{1}= (L_{1}r+L_{2}r+N ) (\frac{1}{\varGamma (\alpha )} +\frac{1}{(1-\Delta _{1})\varGamma ( \alpha -\delta _{1}+1)} +\frac{1}{(1-\Delta _{1})\varGamma (\alpha +1)} ) +\frac{r\varGamma (2-\gamma _{1})}{1-\Delta _{1}} (\frac{2}{t_{1} ^{1-\gamma _{1}}}+\frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+1 ) \sum_{i=1}^{n}M_{i}$$. Similar to (3.8), one has
\begin{aligned} \bigl\vert T_{2}(x,y) (\tau _{2})-T_{1}(x,y) (\tau _{1}) \bigr\vert \leq \rho _{2} \vert \tau _{2}-\tau _{1} \vert , \end{aligned}
(3.9)
where $$\rho _{2}= (\hat{L}_{1}r+\hat{L}_{2}r+\hat{N} ) (\frac{1}{ \varGamma (\beta )} + \frac{1}{(1-\Delta _{2})\varGamma (\beta -\delta _{2}+1)} +\frac{1}{(1- \Delta _{2})\varGamma (\beta +1)} ) +\frac{r\varGamma (2-\gamma _{2})}{1- \Delta _{2}} (\frac{2}{t_{1}^{1-\gamma _{2}}}+\frac{1}{w^{\delta _{2}} \varGamma (1-\delta _{2})}+1 ) \sum_{i=1}^{n}\hat{M}_{i}$$.

Take $$\delta =\min \{\xi ,\frac{\epsilon }{\rho _{1}},\frac{\epsilon }{ \rho _{1}}\}$$. According to (3.8) and (3.9), we conclude that, for any $$\epsilon >0$$, $$\tau _{2},\tau _{1}\in J=[0,1]$$, $$(x,y)\in \overline{\varOmega }$$, there exists $$\delta >0$$ such that $$\|T(x,y)(\tau _{2})-T(x,y)(\tau _{1})\|<\epsilon$$ if $$|\tau _{2}-\tau _{1}|<\delta$$, namely, operator T is equicontinuous. Hence, by the Arzela–Ascoli theorem, we know that $$T:\overline{\varOmega }{\rightarrow }\overline{\varOmega }$$ is completely continuous.

Finally, we prove that condition (ii) of Lemma 2.4 is not true. In fact, for all $$(\overline{x}, \overline{y})\in \partial \varOmega$$, $$0<\lambda <1$$ and $$t\in [0,1]$$, analogous to (3.6) and (3.7), we have
\begin{aligned} \bigl\vert \lambda T_{1}(\overline{x},\overline{y}) (t) \bigr\vert \leq \lambda \bigl(\kappa _{1} \Vert \overline{x} \Vert _{\mathrm{PC}}+N\mathcal{M}_{1}\bigr)< \bigl\Vert ( \overline{x},\overline{y}) \bigr\Vert =r \end{aligned}
(3.10)
and
\begin{aligned} \bigl\vert \lambda T_{2}(\overline{x},\overline{y}) (t) \bigr\vert \leq \lambda \bigl(\kappa _{2} \Vert \overline{x} \Vert _{\mathrm{PC}}+\hat{N}\mathcal{M}_{2}\bigr)< \bigl\Vert ( \overline{x}, \overline{y}) \bigr\Vert =r. \end{aligned}
(3.11)
Estimates (3.10) and (3.11) imply that $$\|\lambda T( \overline{x},\overline{y})\|<\|(\overline{x},\overline{y})\|=r$$, that is, $$(\overline{x},\overline{y})\neq \lambda T(\overline{x}, \overline{y})$$, for all $$(\overline{x},\overline{y})\in \partial \varOmega$$. According to Lemma 2.4, we know that the boundary value problem (1.1) has a pair of solutions $$(x^{*},y^{*}) \in \overline{\varOmega }$$. The proof is completed. □

## 4 Illustrative examples

Consider the following four-point boundary value problem for nonlinear fractional differential coupling system with fractional order impulses:
\begin{aligned} \textstyle\begin{cases} {}^{C}D_{0^{+}}^{\alpha }x(t)=f(t,x(t), {}^{C}D_{0^{+}}^{p}y(t)), \quad t\in J=[0,1], t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\beta }y(t)=g(t, {}^{C}D_{0^{+}}^{q}x(t),y(t)), \quad t\in J=[0,1], t\neq t_{k}, \\ {}^{C}D_{0^{+}}^{\gamma _{1}}x(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{1}}x(t _{k}^{-})=J_{1k}(x(t_{k})), \quad k=1,\ldots ,n, \\ {}^{C}D_{0^{+}}^{\gamma _{2}}y(t_{k}^{+})- {}^{C}D_{0^{+}}^{\gamma _{2}}y(t _{k}^{-})=J_{2k}(y(t_{k})), \quad k=1,\ldots ,n, \\ x(0)=y(0)=0,\qquad {}^{\mathrm{LR}}D_{0^{+}}^{\delta _{1}}x(z)=x(1),\qquad {}^{\mathrm{LR}}D_{0^{+}} ^{\delta _{2}}y(w)=y(1). \end{cases}\displaystyle \end{aligned}
(4.1)
Take $$\alpha =\frac{5}{4}$$, $$\beta =\frac{7}{4}$$, $$p=\frac{1}{2}$$, $$q=\frac{3}{4}$$, $$\gamma _{1}=\frac{1}{3}$$, $$\gamma _{2}=\frac{2}{3}$$, $$\delta _{1}=\frac{1}{5}$$, $$\delta _{2}=\frac{3}{5}$$, $$n=2$$, $$t_{1}= \frac{1}{6}$$, $$t_{2}=\frac{5}{6}$$, $$z=\frac{1}{7}$$, $$w=\frac{4}{7}$$, $$f(t,u,v)=\frac{\sin (\pi t)+u+v}{100}$$, $$g(t,u,v)=\frac{e^{t}+\arctan (u^{2}+v^{2})}{100}$$, $$J_{11}(u)=J_{22}(u)=\frac{u^{2}}{200}$$, $$J_{12}(u)=J_{21}(u)=\frac{\sqrt[3]{u}}{100}$$. Obviously, $$f,g\in C(J \times R^{2},R)$$, $$J_{11}, J_{12}, J_{21}, J_{22}\in C(R,R)$$. By a simple calculation, we have
\begin{aligned} & \bigl\vert f(t,u_{1},v_{1})-f(t,u_{2},v_{2}) \bigr\vert \leq \frac{1}{100} \vert u_{1}-u_{2} \vert + \frac{1}{100} \vert v_{1}-v_{2} \vert , \\ & \bigl\vert g(t,u_{1},v_{1})-g(t,u_{2},v_{2}) \bigr\vert \leq \frac{1}{100} \vert u_{1}-u_{2} \vert + \frac{1}{100} \vert v_{1}-v_{2} \vert , \\ & \bigl\vert J_{11}(u) \bigr\vert = \bigl\vert J_{22}(u) \bigr\vert \leq \frac{1}{50} \vert u \vert , \qquad \bigl\vert J_{12}(u) \bigr\vert = \bigl\vert J_{21}(u) \bigr\vert \leq \frac{1}{300} \vert u \vert , \\ &\sup_{t\in [0,1]} \bigl\vert f(t,0,0) \bigr\vert = \frac{1}{100}, \qquad \sup_{t\in [0,1]} \bigl\vert g(t,0,0) \bigr\vert =\frac{e}{100}, \end{aligned}
that is, $$L_{1}=L_{2}=\hat{L}_{1}=\hat{L}_{2}=\frac{1}{100}$$, $$M_{1}=\hat{M}_{2}=\frac{1}{100}$$, $$M_{2}=\hat{M}_{1}=\frac{1}{300}$$, $$N=\frac{1}{100}$$, $$\hat{N}=\frac{e}{100}$$. Therefore, we obtain
\begin{aligned} &0< \Delta _{1}=\frac{z^{1-\delta _{1}}}{\varGamma (2-\delta _{1})}\approx 0.2264< 1, \qquad 0< \Delta _{2}=\frac{w^{1-\delta _{2}}}{\varGamma (2-\delta _{2})}\approx 0.9010< 1, \\ &\mathcal{M}_{1}=(L_{1}+L_{2}) \biggl( \frac{1}{\varGamma (\alpha +1)}+\frac{1}{(1- \Delta _{1})\varGamma (\alpha -\delta _{1}+1)} +\frac{1}{(1-\Delta _{1}) \varGamma (\alpha +1)} \biggr)\approx 0.0658, \\ &\mathcal{N}_{1}=\frac{\varGamma (2-\gamma _{1})}{1-\Delta _{1}} \biggl(\frac{2}{t _{1}^{1-\gamma _{1}}}+ \frac{1}{z^{\delta _{1}}\varGamma (1-\delta _{1})}+2- \Delta _{1} \biggr) \sum _{i=1}^{n}M_{i}\approx 0.1501, \\ &\mathcal{M}_{2}=(\hat{L}_{1}+\hat{L}_{2}) \biggl(\frac{1}{\varGamma ( \beta +1)}+\frac{1}{(1-\Delta _{2})\varGamma (\beta -\delta _{2}+1)} +\frac{1}{(1- \Delta _{2})\varGamma (\beta +1)} \biggr)\approx 0.3263, \\ & \mathcal{N}_{2}=\frac{\varGamma (2-\gamma _{2})}{1-\Delta _{2}} \biggl(\frac{2}{t _{1}^{1-\gamma _{2}}}+ \frac{1}{w^{\delta _{2}}\varGamma (1-\delta _{2})}+2- \Delta _{2} \biggr) \sum _{i=1}^{n}\hat{M}_{i}\approx 0.6451, \\ &\kappa _{1}=\mathcal{M}_{1}+\mathcal{N}_{1} \approx 0.2159< 1, \qquad \kappa _{2}=\mathcal{M}_{2}+ \mathcal{N}_{2}\approx 0.9714< 1. \end{aligned}
Thus, conditions $$(H_{1})$$$$(H_{6})$$ of Theorem 3.1 hold. Then (4.1) has at least a pair of solutions.

## 5 Conclusions

In describing some phenomena and processes of many fields such as physics, chemistry, aerodynamics, electrodynamics of a complex medium, polymer rheology, capacitor theory, electrical circuits, biology, control theory, fitting of experimental data, and so on, the fractional differential equation is better and more accurate than the integral-order differential equations. So the study of fractional differential equations has attracted the eyes of many scholars. Especially, the nonlocal boundary value problems have been widely studied by many researchers because of their extensive applications in, e.g., blood flow problems, chemical engineering, thermo-elasticity, underground water flow, population dynamics, and so forth. In this paper, we consider the nonlocal boundary value problem for a nonlinear fractional differential coupled system with fractional order impulses. We obtain some new sufficient criteria for the existence of solutions by use of the Leray–Schauder alternative theorem.

## Notes

### Acknowledgements

The authors thank the referees for a number of suggestions which have improved many aspects of this article.

Not applicable.

### Authors’ contributions

The authors read and approved the final manuscript.

### Funding

This work was supported by the National Natural Sciences Foundation of Peoples Republic of China under Grant (Nos. 11161025, 11661047).

### Competing interests

The authors declare to have no competing interests.

## References

1. 1.
Li, X., Chen, F., Li, X.: Generalized anti-periodic boundary value problems of impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 18, 28–41 (2013)
2. 2.
Ahmad, B., Nieto, J.: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Bound. Value Probl. 2009, Article ID 708576 (2009)
3. 3.
Ahmad, B.: Nonlinear fractional differential equations with anti-periodic type fractional boundary conditions. Differ. Equ. Dyn. Syst. 21(4), 387–401 (2013)
4. 4.
Zhao, K., Gong, P.: Existence of positive solutions for a class of higher-order Caputo fractional differential equation. Qual. Theory Dyn. Syst. 14(1), 157–171 (2015)
5. 5.
Guezane-Lakoud, A., Khaldi, R.: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal. 75, 2692–2700 (2012)
6. 6.
Zhao, K.: Triple positive solutions for two classes of delayed nonlinear fractional FDEs with nonlinear integral boundary value conditions. Bound. Value Probl. 2015, 181 (2015)
7. 7.
Wang, J., Lv, L., Zhou, Y.: Boundary value problems for fractional differential equations involving Caputo derivative in Banach spaces. J. Appl. Math. Comput. 38, 209–224 (2012)
8. 8.
Zhao, K., Gong, P.: Positive solutions of Riemann–Stieltjes integral boundary problems for the nonlinear coupling system involving fractional-order differential. Adv. Differ. Equ. 2014, 254 (2014)
9. 9.
Zhao, K., Wang, K.: Existence of solutions for the delayed nonlinear fractional functional differential equations with three-point integral boundary value conditions. Adv. Differ. Equ. 2016, 284 (2016)
10. 10.
Ahmad, B., Alsaedi, A.: Nonlinear fractional differential equations with nonlocal fractional integro-differential boundary conditions. Bound. Value Probl. 2012, Article ID 691721 (2012)
11. 11.
Zhao, K., Gong, P.: Positive solutions of m-point multi-term fractional integral BVP involving time-delay for fractional differential equations. Bound. Value Probl. 2015, 19 (2015)
12. 12.
Zhang, Y., Bai, Z., Feng, T.: Existence results for a coupled system of nonlinear fractional three-point boundary value problems at resonance. Comput. Math. Appl. 61, 1032–1047 (2011)
13. 13.
Ahmad, B., Sotiris, K., Ahmed, A.: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234–241 (2016)
14. 14.
Zhao, K., Gong, P.: Positive solutions of nonlocal integral BVPs for the nonlinear coupled system involving high-order fractional differential. Math. Slovaca 67(2), 447–466 (2017)
15. 15.
Shu, X., Lai, Y., Chen, Y.: The existence of mild solutions for impulsive fractional partial differential equations. Nonlinear Anal., Theory Methods Appl. 74(5), 2003–2011 (2011)
16. 16.
Wang, J., Zhou, Y., Fĕckan, M.: On recent developments in the theory of boundary value problem for impulsive fractional differential equations. Comput. Math. Appl. 64(10), 3008–3020 (2012)
17. 17.
Tian, Y., Ge, W.: Variational methods to Sturm–Liouville boundary value problem for impulsive differential equations. Nonlinear Anal., Theory Methods Appl. 72, 277–287 (2010)
18. 18.
Zhao, K., Gong, P.: Positive solutions for impulsive fractional differential equations with generalized periodic boundary value conditions. Adv. Differ. Equ. 2014, 255 (2014)
19. 19.
Agarwal, R., Benchohra, M., Slimani, B.: Existence results for differential equations with fractional order and impulses. Mem. Differ. Equ. Math. Phys. 44, 1–21 (2008)
20. 20.
Zhao, K.: Impulsive boundary value problems for two classes of fractional differential equation with two different Caputo fractional derivatives. Mediterr. J. Math. 13, 1033–1050 (2016)
21. 21.
Ahmad, B., Sivasundaram, S.: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal. Hybrid Syst. 4, 134–141 (2010)
22. 22.
Benchohra, M., Slimani, B.: Existence and uniqueness of solutions to impulsive fractional differential equations. Electron. J. Differ. Equ. 2009, Article ID 10 (2009)
23. 23.
Zhao, K.: Multiple positive solutions of integral BVPs for high-order nonlinear fractional differential equations with impulses and distributed delays. Dyn. Syst. 30(2), 208–223 (2015)
24. 24.
Zhao, K., Suo, L.: Solvability of nonlocal boundary value problem for a class of nonlinear fractional differential coupled system with impulse. Adv. Differ. Equ. 2018, 21 (2018)
25. 25.
Zhao, K., Liang, J.: Solvability of triple-point integral boundary value problems for a class of impulsive fractional differential equations. Adv. Differ. Equ. 2017, 50 (2017)
26. 26.
Zhang, X., Zhu, C., Wu, Z.: Solvability for a coupled system of fractional differential equations with impulses at resonance. Bound. Value Probl. 2013, 80 (2013)
27. 27.
Song, Q., Bai, Z.: Positive solutions of fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 183 (2018)
28. 28.
Bai, Z., Chen, Y., Lian, H., Sun, S.: On the existence of blow up solutions for a class of fractional differential equations. Fract. Calc. Appl. Anal. 17(4), 1175–1187 (2014)
29. 29.
Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary-value problems with p-Laplacian on time scales. Bound. Value Probl. 2018, 70 (2018)
30. 30.
Tian, Y., Bai, Z.: Existence results for the three-point impulsive boundary value problem involving fractional differential equations. Comput. Math. Appl. 59(8), 2601–2609 (2010)
31. 31.
Zhang, Y.: Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. 2018, 198 (2018)
32. 32.
Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
33. 33.
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1993)
34. 34.
Diethelm, K.: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
35. 35.
Zeidler, E.: Nonlinear Functional Analysis and Applications I: Fixed Point Theorems. Springer, New York (1986)