Skip to main content


Multiple positive solutions for a coupled system of nonlinear impulsive fractional differential equations with parameters

Article metrics

  • 575 Accesses


We consider the multiplicity of positive solutions (PSs) for a coupled system involving nonlinear impulsive fractional differential equations with parameters. By employing the classical Guo–Krasnosel’skii fixed point theorem, some sufficient criteria for the existence of multiple PSs in terms of different values of parameters are derived. As an application, an example is given to illustrate the theoretical results.


The fractional calculus is an extension of the traditional integer calculus, which has the properties of an infinity memory and is hereditary. In recent decades, fractional calculus has aroused much attention and has been extensively applied to establish mathematical models in the fields of signals, viscoelastic theory, fluid dynamics, computer networking, electrical circuits, control theory and so on [1,2,3,4,5,6,7,8,9]. As a consequence, the subject of fractional differential equations (FDEs) is very popular and of importance. Especially, the investigation of the existence of the solution for FDEs has received considerable attention, the reader may refer to [10,11,12,13,14,15,16,17,18,19,20,21,22] and the references therein.

Though the theory of positive solutions (PSs) for ordinary differential equations with parameters is mature, not much has been done for FDEs with parameters [12, 13, 17, 20]. By using the Guo–Krasnosel’skii fixed point theorem on cones, some sufficient conditions for the existence of multiple PSs and eigenvalue intervals are established in [17] for the following FDEs with parameter:

$$ \textstyle\begin{cases} {} ^{c}D_{0^{+}}^{\alpha }u(t)=\lambda f (u(t) ),\quad t \in (0,1), \alpha \in (1,2), \\ u(0)+u'(0)=0, \qquad u(1)+u'(1)=0. \end{cases} $$

It should be emphasized that much work focuses on the BVPs of nonlinear FDEs with impulses [11, 16, 18, 19, 21, 22]. The authors in [21] consider the following generalized antiperiodic BVPs for impulsive FDEs:

$$ \textstyle\begin{cases} {}^{c}D_{0^{+}}^{q}u(t)= f (t,u(t) ),\quad t\in J=[0,1], t \neq t_{k}, \\ \Delta u(t_{k})=I_{k},\qquad \Delta u'(t_{k})=J_{k}, \quad k=1,\dots ,m, \\ au(0)+bu(1)=0, \qquad au'(0)+bu'(1)=0, \end{cases} $$

where \(q\in (1,2)\) and \(a\geq b>0\). Some new existence theorems of at least one solution are established via fixed point methods.

For the BVPs of a nonlinear coupled fractional differential system with parameters, the existence of PSs is considered in [20]. Some multiplicity theorems of PSs for nonlinear impulsive FDEs are presented in [16]. However, as far as we know, there is no paper to investigate the multiplicity of PSs for impulsive fractional differential coupled system with parameters. The above-mentioned work and observation inspire us to address the following coupled system of nonlinear impulsive FDEs with parameters (abbreviated by BVPs (1)):

$$ \textstyle\begin{cases} {}^{c}D_{0^{+}}^{\alpha }u(t)+\lambda f (t,u(t),v(t) )=0,\quad t\in J=[0,1], t\neq t_{k}, \\ ^{c}D_{0^{+}}^{\beta }v(t)+\mu g (t,u(t),v(t) )=0,\quad t \in J=[0,1], t\neq t_{k}, \\ \Delta u(t_{k})=I_{k}(u(t_{k})), \qquad \Delta u'(t_{k})=J_{k}(u(t_{k})), \\ \Delta v(t_{k})=P_{k}(v(t_{k})),\qquad \Delta v'(t_{k})=Q_{k}(v(t_{k})), \quad k=1,\dots ,m, \\ u(0)=au(1), \qquad u'(1)=bu'(0),\qquad v(0)=cv(1), \qquad v'(1)=dv'(0), \end{cases} $$

where \(\alpha ,\beta \in (1,2]\), \(a, b,c,d\in (1,+\infty )\), \(\lambda , \mu \in (0,+\infty )\) are parameters, \({}^{c}D_{0^{+}}^{ \alpha }({}^{c}D_{0^{+}}^{\beta })\) is the standard Caputo fractional derivative of order \(\alpha (\beta )\), \(f,g: J\times {R}^{+}\times {R}^{+}\to {R}^{+}\) are jointly continuous, \(I_{k}, J_{k},P_{k}, Q _{k}\in C({R}^{+},{R}^{-})\), \({R}^{+}=[0,+\infty )\), \({R}^{-}=(-\infty ,0]\), \(\Delta u(t_{k})=u(t_{k}^{+})-u(t_{k}^{-})\), in which \(u(t_{k}^{-})= \lim_{\theta \to 0^{-}}u(t_{k}+\theta )\) and \(u(t_{k}^{+})= \lim_{\theta \to 0^{+}}u(t_{k}+\theta )\) indicate the left and right limits of \(u(t)\) at \(t=t_{k}\), respectively, and the impulsive point set \(\{t_{k}\}_{k=1}^{m}\) satisfies \(0< t_{1}<\cdots <t_{m}<t_{m+1}=1\). Let us set \({J}_{0}=[0,t_{1}]\) and \({J}_{k}=(t_{k},t_{k+1}]\), where \(k=1,\dots ,m\). So \(J=\bigcup_{k=0}^{m}{J}_{k}\).

Due to the existence of impulsiveness in the nonlinear coupled system (1), it is challenging to deal with the existence of multiple PSs for BVPs (1). We first give the natural formulas of PSs for the nonlinear coupled system by constructing the associated Green’s function. Based on the properties of the Green’s function and some assumptions on the nonlinear functions, some sufficient criteria for the multiplicity of PSs are obtained. Meanwhile, the ranges of the parameters λ and μ of the existence for PSs are also given. The multiplicity theorems of this paper are established by applying the Guo–Krasnosel’skii fixed point theorem. Finally, an example is provided to illustrate the validity of our main results.


Definition 2.1

([1, 23])

The Riemann–Liouville fractional integral of the function \(f(t)\in C^{n}([0,\infty ),R)\) is defined as

$$ I_{0^{+}}^{\alpha }f(t)=I^{\alpha } \bigl[f(\cdot ) \bigr](t)= \int _{0}^{t}\frac{(t- \tau )^{\alpha -1}}{\varGamma (\alpha )}f(\tau )\,d\tau , $$

where \(n-1<\alpha \leq n\), \(n\in \{1,2,\ldots \}\) and \(\varGamma (\cdot )\) is the well-known Gamma function, defined as \(\varGamma (z)=\int _{0} ^{\infty }t^{z-1}e^{-t}\,dt\).

Definition 2.2

([1, 23])

The Caputo fractional derivative of the function \(f(t)\in C^{n}([0,\infty ),R)\) is defined as

$$ {}^{c}D_{0^{+}}^{\alpha }f(t)=I^{n-\alpha }f^{(n)}(t)= \int _{0}^{t}\frac{(t- \tau )^{n-\alpha -1}}{\varGamma (n-\alpha )}f^{(n)}( \tau )\,d\tau , $$

where \(n-1<\alpha \leq n\), \(n\in \{1,2,\ldots \}\).

Lemma 2.1

([1, 23])

If \(u\in C^{n}(J)\) and \({}^{c}D_{0^{+}}^{\alpha }u\in L^{1}(J)\) with a Caputo fractional derivative of order \(\alpha >0\), then

$$ I_{0^{+}}^{\alpha } {}^{c}D_{0^{+}}^{\alpha }u(t)=u(t)+ \sum_{k=0}^{n-1}c _{k}t^{k}, \quad t\in J, $$

where \(c_{k} \in {R}\) and n is the smallest integer not less than α.

Lemma 2.2

(Guo–Krasnosel’skii fixed point theorem [24])

Let \(P\subseteq E\) be a cone, \(K_{1}\) and \(K_{2}\) be two bounded open balls of the Banach space E centered at the origin with \(0\in K_{1}\) and \(\overline{K}_{1}\subset K_{2}\). Assume that \(T:P\cap ( \overline{K}_{2}\setminus K_{1})\to P\) is a completely continuous operator such that either

  1. (i)

    \(\|Tv\| \leq \|v\|\), \(v\in P\cap \partial K_{1}\) and \(\|Tv\| \geq \|v\|\), \(v\in P\cap \partial K_{2}\), or

  2. (ii)

    \(\|Tv\| \geq \|v\|\), \(v\in P\cap \partial K_{1}\) and \(\|Tv\| \leq \|v\|\), \(v\in P\cap \partial K_{2}\) hold.

Then T has at least one fixed point in \(P\cap (\overline{K}_{2} \setminus K_{1})\).

Lemma 2.3

Given \(h\in C(J)\) and \(\alpha \in (1,2]\), the unique solution of

$$ \textstyle\begin{cases} {}^{c}D_{0^{+}}^{\alpha }u(t)+ h(t)=0, \quad t\in J, t\neq t_{k}, \\ \Delta u(t_{k})=I_{k}(u), \qquad \Delta u'(t_{k})=J_{k}(u),\quad k=1,\ldots ,m, \\ u(0)=au(1), \qquad u'(1)=bu'(0),\quad a,b>1, \end{cases} $$

is \(u(t)=\int _{0}^{1}G_{\alpha }(t,s)h(s)\,ds-\sum_{i=1}^{m}G _{a,b}(t,t_{i})J_{i}(u)-\sum_{i=1}^{m}G_{a}(t,t_{i})I_{i}(u)\), \(t\in J\), where

$$\begin{aligned}& G_{\alpha }(t,s)= \textstyle\begin{cases} -\frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )}+\frac{a(1-s)^{\alpha -1}}{(a-1) \varGamma (\alpha )}+\frac{(a+(1-a)t)(1-s)^{\alpha -2}}{(a-1)(b-1)\varGamma (\alpha -1)}, & 0\leq s\leq t\leq 1, \\ \frac{a(1-s)^{\alpha -1}}{(a-1)\varGamma (\alpha )}+\frac{(a+(1-a)t)(1-s)^{ \alpha -2}}{(a-1)(b-1)\varGamma (\alpha -1)}, & 0\leq t\leq s \leq 1, \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& G_{a,b}(t,t_{i})=\textstyle\begin{cases} \frac{ab+(1-b)t_{i}+(1-a)bt}{(a-1)(b-1)}, & 0\leq t_{i}< t \leq 1, i=1,\dots ,m, \\ \frac{ab+a(1-b)t_{i}+(1-a)t}{(a-1)(b-1)}, & 0\leq t\leq t _{i}\leq 1, i=1,\dots ,m, \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& G_{a}(t,t_{i})=\textstyle\begin{cases} \frac{1}{a-1}, & 0\leq t_{i}< t\leq 1, i=1,\dots ,m, \\ \frac{a}{a-1}, & 0\leq t\leq t_{i}\leq 1, i=1,\dots ,m \end{cases}\displaystyle \end{aligned}$$


By applying Lemma 2.1, the solution of impulsive BVPs (2) can be uniquely expressed as

$$\begin{aligned} u(t)=-I_{0^{+}}^{\alpha }h(t)-c_{k}-d_{k}t, \quad t\in {J}_{k}, k=0,1, \ldots ,m. \end{aligned}$$

From (6), one has

$$\begin{aligned} u'(t)=-I_{0^{+}}^{\alpha -1}h(t)-d_{k}, \quad t\in {J}_{k}, k=0,1, \ldots ,m. \end{aligned}$$

Applying the boundary value conditions of BVPs (2), we can see from (6) and (7) that

$$\begin{aligned}& -aI_{0^{+}}^{\alpha }h(1)+c_{0}-ac_{m}-ad_{m}=0, \end{aligned}$$
$$\begin{aligned}& -I_{0^{+}}^{\alpha -1}h(1)+bd_{0}-d_{m}=0. \end{aligned}$$

It can be derived from the impulsive condition of BVPs (2) that

$$\begin{aligned}& c_{k-1}-c_{k}+J_{k}(u)t_{k}=I_{k}(u), \end{aligned}$$
$$\begin{aligned}& d_{k-1}-d_{k}=J_{k}(u), \quad k=1, \ldots ,m. \end{aligned}$$

It thus follows from (9) and (11) that

$$\begin{aligned}& d_{0}=\frac{1}{b-1}I_{0^{+}}^{\alpha -1}h(1)- \frac{1}{b-1}\sum_{i=1}^{m}J_{i}(u), \end{aligned}$$
$$\begin{aligned}& d_{m}=\frac{1}{b-1}I_{0^{+}}^{\alpha -1}h(1)- \frac{b}{b-1}\sum_{i=1}^{m}J_{i}(u). \end{aligned}$$

In the light of (11) and (12), we have

$$\begin{aligned} d_{k}&=d_{0}-\sum _{i=1}^{k}J_{i}(u) \\ &=\frac{1}{b-1}I_{0^{+}}^{ \alpha -1}h(1)- \frac{1}{b-1}\sum_{i=1}^{m}J_{i}(u) -\sum_{i=1}^{k}J_{i}(u). \end{aligned}$$

We can see from (8), (10) and (13) that

$$\begin{aligned} c_{0} &=\frac{a}{a-1} \Biggl(-I_{0^{+}}^{\alpha }h(1)-d_{m}+\sum _{i=1}^{m} \bigl(I_{i}(u)-J_{i}(u)t_{i} \bigr) \Biggr) \\ &=\frac{a}{a-1} \Biggl(-I_{0^{+}}^{\alpha }h(1)- \frac{I_{0^{+}}^{ \alpha -1}h(1)}{b-1}+\frac{b}{b-1}\sum_{i=1}^{m}J_{i}(u)+ \sum_{i=1}^{m} \bigl(I_{i}(u)-J_{i}(u)t_{i} \bigr) \Biggr), \end{aligned}$$

this together with (10) implies that

$$\begin{aligned} c_{k}={} &\frac{a}{a-1} \Biggl(-I_{0^{+}}^{\alpha }h(1)-\frac{I_{0^{+}} ^{\alpha -1}h(1)}{b-1}+\frac{b}{b-1} \sum_{i=1}^{m}J_{i}(u)+ \sum _{i=1}^{m} \bigl(I_{i}(u)-J_{i}(u)t_{i} \bigr) \Biggr) \\ &{}-\sum_{i=1}^{k} \bigl(I_{i}(u)-J_{i}(u)t_{i} \bigr), \end{aligned}$$

where \(k=1,2,\ldots ,m\). It thus follows from (14) and (16) that

$$\begin{aligned} &c_{k}+ d_{k}t \\ &\quad = \frac{a}{a-1} \Biggl(-I_{0^{+}}^{\alpha }h(1)- \frac{I_{0^{+}}^{ \alpha -1}h(1)}{b-1}+\frac{b}{b-1}\sum_{i=1}^{m}J_{i}(u)+ \sum_{i=1}^{m} \bigl(I_{i}(u)-J_{i}(u)t_{i} \bigr) \Biggr) \\ &\qquad {}+\frac{t}{b-1}I_{0^{+}}^{\alpha -1}h(1)- \frac{t}{b-1}\sum_{i=1} ^{m}J_{i}(u)- \sum_{i=1}^{k} \bigl[I_{i}(u)+J_{i}(u) (t-t_{i}) \bigr]. \end{aligned}$$

For \(t\in {J}_{k}=(t_{k},t_{k+1}]\), \(k=1,\ldots ,m\), by substituting (17) into (6), we obtain

$$\begin{aligned} u(t)={} &-I_{0^{+}}^{\alpha }h(t)+\frac{aI_{0^{+}}^{\alpha }h(1)}{a-1}+ \frac{aI _{0^{+}}^{\alpha -1}h(1)}{(a-1)(b-1)}-\frac{t}{b-1}I_{0^{+}}^{\alpha -1}h(1) \\ &{}-\frac{ab}{(a-1)(b-1)}\sum_{i=1}^{m}J_{i}(u)- \frac{a}{a-1} \sum_{i=1}^{m} \bigl[I_{i}(u)-J_{i}(u)t_{i} \bigr] \\ &{}+\frac{t}{b-1}\sum_{i=1}^{m}J_{i}(u)+ \sum_{i=1}^{k}I _{i}(u)+\sum _{i=1}^{k}(t-t_{i})J_{i}(u) \\ ={} &- \int _{0}^{t}\frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )}h(s)\,ds+ \frac{a}{a-1} \int _{0}^{1}\frac{(1-s)^{\alpha -1}}{\varGamma (\alpha )}h(s)\,ds \\ &{}+\frac{a+(1-a)t}{(a-1)(b-1)} \int _{0}^{1}\frac{(1-s)^{\alpha -2}}{ \varGamma (\alpha -1)}h(s)\,ds- \frac{a}{a-1}\sum_{i=1}^{m}I_{i}(u) \\ &{}-\sum_{i=1}^{m}\frac{ab+a(1-b)t_{i}+(1-a)t}{(a-1)(b-1)}J_{i}(u) +\sum_{i=1}^{k} \bigl[I_{i}(u)+(t-t_{i})J_{i}(u) \bigr] \\ ={} & \int _{0}^{t} \biggl[-\frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )}+ \frac{a(1-s)^{ \alpha -1}}{(a-1)\varGamma (\alpha )}+\frac{(a+(1-a)t)(1-s)^{\alpha -2}}{(a-1)(b-1) \varGamma (\alpha -1)} \biggr]h(s)\,ds \\ &{}+ \int _{t}^{1} \biggl[\frac{a(1-s)^{\alpha -1}}{(a-1)\varGamma (\alpha )}+ \frac{(a+(1-a)t)(1-s)^{ \alpha -2}}{(a-1)(b-1)\varGamma (\alpha -1)} \biggr]h(s)\,ds \\ &{}-\sum_{i=1}^{k}\frac{ab+(1-b)t_{i}+(1-a)bt}{(a-1)(b-1)}J_{i}(u) \\ &{}-\sum_{i=k+1}^{m}\frac{ab+a(1-b)t_{i}+(1-a)t}{(a-1)(b-1)}J _{i}(u) \\ &{}-\frac{1}{a-1}\sum_{i=1}^{k}I_{i}(u)- \frac{a}{a-1}\sum_{i=k+1}^{m}I_{i}(u) \\ ={} & \int _{0}^{1}G_{\alpha }(t,s)h(s)\,ds-\sum _{i=1}^{m}G_{a,b}(t,t _{i})J_{i}(u)-\sum_{i=1}^{m}G_{a}(t,t_{i})I_{i}(u), \end{aligned}$$

in which \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\) and \(G_{a}(t,t_{i})\) are defined by (3), (4) and (5), respectively.

For \(t\in {J}_{0}= [0,t_{1}]\), substituting (12) and (15) into (6) yields

$$\begin{aligned} u(t)={} &-I_{0^{+}}^{\alpha }h(t)-c_{0}-d_{0}t \\ ={} &-I_{0^{+}}^{\alpha }h(t)+\frac{a}{a-1}I_{0^{+}}^{\alpha }h(1)+ \frac{aI _{0^{+}}^{\alpha -1}h(1)}{(a-1)(b-1)}-\frac{t}{b-1}I_{0^{+}}^{\alpha -1}h(1) \\ &{}-\frac{ab\sum_{i=1}^{m}J_{i}(u)}{(a-1)(b-1)}-\frac{a}{a-1} \sum_{i=1}^{m} \bigl[I_{i}(u)-J_{i}(u)t_{i} \bigr]+ \frac{t}{b-1}\sum_{i=1}^{m}J_{i}(u) \\ ={} &- \int _{0}^{t}\frac{(t-s)^{\alpha -1}}{\varGamma (\alpha )}h(s)\,ds+ \frac{a}{a-1} \int _{0}^{1}\frac{(1-s)^{\alpha -1}}{\varGamma (\alpha )}h(s)\,ds \\ &{}+\frac{a+(1-a)t}{(a-1)(b-1)} \int _{0}^{1}\frac{(1-s)^{\alpha -2}}{ \varGamma (\alpha -1)}h(s)\,ds \\ &{}-\sum_{i=1}^{m}\frac{ab+a(1-b)t_{i}+(1-a)t}{(a-1)(b-1)}J_{i}(u)- \frac{a}{a-1}\sum_{i=1}^{m}I_{i}(u) \\ ={} & \int _{0}^{1}G_{\alpha }(t,s)h(s)\,ds-\sum _{i=1}^{m}G_{a,b}(t,t _{i})J_{i}(u)-\sum_{i=1}^{m}G_{a}(t,t_{i})I_{i}(u), \end{aligned}$$

in which \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\) and \(G_{a}(t,t_{i})\) are defined by (3), (4) and (5), respectively. The proof is thus completed. □

Lemma 2.4

Let \(a,b>1\), the functions \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\) and \(G_{a}(t,t_{i})\) are continuous and satisfy the following properties:

$$\begin{aligned} &G_{\alpha }(1,s)\leq G_{\alpha }(t,s)\leq aG_{\alpha }(1,s),\quad \forall t,s\in J, \\ &\frac{1}{(a-1)(b-1)}\leq G_{a,b}(t,t_{i})\leq \frac{ab}{(a-1)(b-1)}, \quad \forall t, t_{i}\in J, \\ &\frac{1}{a-1}\leq G_{a}(t,t_{i})\leq \frac{a}{a-1}, \quad \forall t, t_{i}\in J. \end{aligned}$$


We can see from the expressions of \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\) and \(G_{a}(t,t_{i})\) that \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\), \(G_{a}(t,t_{i})\in C(J\times J)\). For \(t,s\in J\), using (3) yields

$$ \frac{\partial }{\partial t}G_{\alpha }(t,s)= \textstyle\begin{cases} -\frac{(t-s)^{\alpha -2}}{\varGamma (\alpha -1)}-\frac{(1-s)^{\alpha -2}}{(b-1) \varGamma (\alpha -1)}, & 0\leq s\leq t\leq 1, \\ -\frac{(1-s)^{\alpha -2}}{(b-1)\varGamma (\alpha -1)}, & 0 \leq t\leq s\leq 1. \end{cases} $$

Clearly, for \(t\in J\), \(G_{\alpha }(t,s)\) is decreasing with respect to t. Therefore,

$$ G_{\alpha }(1,s)\leq G_{\alpha }(t,s)\leq G_{\alpha }(0,s)=aG_{\alpha }(1,s). $$

In view of (4) and (5), it is obviously that

$$\begin{aligned}& \frac{1}{(a-1)(b-1)}=G_{a,b}(1,1)\leq G_{a,b}(t,t_{i}) \leq G_{a,b}(0,0)= \frac{ab}{(a-1)(b-1)}, \\& \frac{1}{a-1}\leq G_{a}(t,t_{i})\leq \frac{a}{a-1},\quad \forall t, t _{i}\in J. \end{aligned}$$

The proof is thus completed. □

Similar results to Lemmas 2.3 and 2.4 can be formulated for the following BVPs (19):

$$ \textstyle\begin{cases} {}^{c}D_{0^{+}}^{\beta }v(t)+ \zeta (t)=0,\quad t\in J\backslash \{t _{1},\ldots ,t_{m}\}, \\ \Delta v(t_{k})=P_{k}(v(t_{k})), \qquad \Delta v'(t_{k})=Q_{k}(v(t_{k})), \\ v(0)=cv(1), \qquad v'(1)=dv'(0), \quad c,d>1, \end{cases} $$

where \(\beta \in (1,2]\) and \(\zeta (t)\in C(J)\), \(k=1,\ldots ,m\). We introduce \(G_{\beta }(t,s)\), \(G_{c,d}(t,t_{i})\) and \(G_{c}(t,t_{i})\), the corresponding functions for the BVPs (19) defined in a similar manner to \(G_{\alpha }(t,s)\), \(G_{a,b}(t,t_{i})\) and \(G_{a}(t,t_{i})\), respectively.

Main results

In this section, some sufficient criteria are derived to guarantee the multiplicity of PSs for BVPs (1).

Let \(E=\{(u,v):u,v\in C(J)\}\) be endowed with the norm \(\|\cdot \|\) defined as \(\|(u,v)\|=\|u\|+\|v\|\) for \((u,v)\in E\), where \(\|u\|= \max_{t\in J}|u(t)|\) and \(\|v\|=\max_{t\in J}|v(t)|\). Let the Banach space \(PC(J)\) and the cone \(K\in PC(J)\) be, respectively, defined as

$$\begin{aligned} PC(J) ={}& \bigl\{ (u,v)\in E:u,v\in C \bigl(J',{R}^{+} \bigr), u \bigl(t_{k}^{-} \bigr), u \bigl(t _{k}^{+} \bigr),v \bigl(t_{k}^{-} \bigr) \text{ and } v \bigl(t_{k}^{+} \bigr) \\ &{}\text{exist with } u \bigl(t_{k}^{-} \bigr)=u(t_{k}) \text{ and } v \bigl(t_{k}^{-} \bigr)=v(t _{k}),J'=J \backslash \{t_{1},\ldots ,t_{m}\} \bigr\} \end{aligned}$$


$$\begin{aligned} K &= \bigl\{ (u,v)\in PC(J): u+v\geq \gamma \bigl\Vert (u,v) \bigr\Vert \text{ with } \gamma =\min \bigl\{ {(ab)}^{-1},{(cd)}^{-1} \bigr\} \bigr\} . \end{aligned}$$

To begin with, we need the following assumptions to derive the main results.


\(a,b,c,d\in (1,+\infty )\) and \(\sigma _{1}, \sigma _{2}\in (0,+\infty )\) with \(\sigma _{1}=\int _{0}^{1}G_{\alpha }(1,s)\,ds\) and \(\sigma _{2}= \int _{0}^{1}G_{\beta }(1,s)\,ds\).


\(f(t,u,v), g(t,u,v)\in C(J\times {R}^{+}\times {R} ^{+},{R}^{+})\).


\(I_{k}(u), J_{k}(u),P_{k}(v), Q_{k}(v)\in C({R}^{+}, {R}^{-})\), \(k=1,\ldots ,m\).

For simplicity, some important notations and functions are introduced as follows:

$$\begin{aligned} &\eta =\max \biggl\{ - \frac{ab\sum_{i=1}^{m}J_{i}(u)}{(a-1)(b-1)}-\frac{a\sum_{i=1}^{m}I_{i}(u)}{a-1},- \frac{cd\sum_{i=1}^{m}Q_{i}(v)}{(c-1)(d-1)}-\frac{c\sum_{i=1}^{m}P_{i}(v)}{c-1} \biggr\} , \\ &\varPhi (r) =\max_{t\in J,u+v\in [\gamma r,r]} \bigl\{ f(\cdot ),g( \cdot ) \bigr\} , \qquad \phi (r) =\min_{t\in J,u+v\in [\gamma r,r]} \bigl\{ f(\cdot ),g(\cdot ) \bigr\} , \\ &f_{\delta }=\liminf_{u+v\to \delta } \min_{t\in J} \cfrac{f( \cdot )}{u+v}, \qquad g_{\delta }=\liminf_{u+v\to \delta } \min_{t\in J} \cfrac{g(\cdot )}{u+v}, \end{aligned}$$

where \(f(\cdot )=f (t,u(t),v(t) )\), \(g(\cdot )=g (t,u(t),v(t) )\) and δ denotes 0 or +∞.

Define two operators \(T_{\alpha },T_{\beta }:PC(J)\to PC(J)\) as

$$\begin{aligned} T_{\alpha }(u,v) &=\lambda \int _{0}^{1}G_{\alpha }(t,s)f(\cdot )\,ds- \sum_{i=1}^{m}G_{a,b}(t,t_{i})J_{i}(u)- \sum_{i=1}^{m}G _{a}(t,t_{i})I_{i}(u), \\ T_{\beta }(u,v) &=\mu \int _{0}^{1}G_{\beta }(t,s)g(\cdot )\,ds-\sum _{i=1}^{m}G_{c,d}(t,t_{i})Q_{i}(v)- \sum_{i=1}^{m}G_{c}(t,t _{i})P_{i}(v), \end{aligned}$$

and the operator \(T:PC(J)\to PC(J)\) as

$$\begin{aligned} T(u,v)= \bigl(T_{\alpha }(u,v),T_{\beta }(u,v) \bigr). \end{aligned}$$

It is obvious that \((u,v)\) is a pair of PSs of BVPs (1) if \((u,v)\) is a fixed point of T.

Lemma 3.1

Assume that \((B_{1})\)\((B_{3})\) hold, then \(T:K\to K\) is completely continuous.


Due to the functions \(G_{\alpha }\), \(G_{\beta }\), \(G_{a}\), \(G_{b}\), \(G_{a,b}\), \(G _{c,d}\), f, g, \(-I_{k}\), \(-J_{k}\), \(-P_{k}\) and \(-Q_{k}\) are nonnegative and continuous, λ and μ are positive parameters. It can be concluded that \(T:K\to K\) is continuous. For every \((u,v)\in PC(J)\) we have

$$\begin{aligned} &T_{\alpha }(u,v) \\ &\quad \geq \lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds- \frac{1}{(a-1)(b-1)}\sum_{i=1}^{m}J_{i}(u)- \frac{1}{a-1} \sum_{i=1}^{m}I_{i}(u) \\ &\quad \geq \frac{1}{ab} \Biggl[a\lambda \int _{0}^{1}G_{\alpha }(1,s)f( \cdot )\,ds- \frac{ab}{(a-1)(b-1)}\sum_{i=1}^{m}J_{i}(u)- \frac{a}{a-1}\sum_{i=1}^{m}I_{i}(u) \Biggr] \\ &\quad \geq \frac{1}{ab}\max_{t\in J} \bigl\vert T_{\alpha }(u,v) (t) \bigr\vert =\frac{1}{ab} \bigl\Vert T _{\alpha }(u,v) \bigr\Vert . \end{aligned}$$

Similarly, one gets \(T_{\beta }(u,v)\geq (cd)^{-1}\|T_{\beta }(u,v)\|\). Therefore

$$\begin{aligned} T_{\alpha }(u,v) (t)+T_{\beta }(u,v) (t) &\geq \min \bigl\{ (ab)^{-1},(cd)^{-1} \bigr\} \bigl( \bigl\Vert T_{\alpha }(u,v) \bigr\Vert + \bigl\Vert T_{\beta }(u,v) \bigr\Vert \bigr) \\ &=\min \bigl\{ (ab)^{-1},(cd)^{-1} \bigr\} \bigl\Vert \bigl(T_{\alpha }(u,v),T_{ \beta }(u,v) \bigr) \bigr\Vert \\ &=\gamma \bigl\Vert T(u,v) \bigr\Vert , \end{aligned}$$

namely \(T(K)\subset K\). We can further see from the Ascoli–Arzela theorem that \(T:K \to K\) is completely continuous. □

Theorem 3.1

Suppose that \((B_{1})\)\((B_{3})\) hold and there exist two constants ρ and δ with \(\rho \geq 4\eta >0\) and \(\delta >0\) such that

$$\begin{aligned} \varPhi (\rho )< \frac{\rho }{4\delta }\min \bigl\{ (a\sigma _{1})^{-1},(c\sigma _{2})^{-1} \bigr\} . \end{aligned}$$

Then, for each

$$\begin{aligned} &\lambda \in ((2\gamma )^{-1}\max \bigl\{ (\sigma _{1}f_{0})^{-1},( \sigma _{1}f_{\infty })^{-1} \bigr\} ,\delta ], \\ &\mu \in ((2\gamma )^{-1}\max \bigl\{ (\sigma _{2}g_{0})^{-1},( \sigma _{2}g_{\infty })^{-1} \bigr\} ,\delta ], \end{aligned}$$

BVPs (1) have at least two pairs of PSs \((u_{i},v_{i})\), \(i=1,2\), which satisfy

$$ 0 < \bigl\Vert (u_{1},v_{1}) \bigr\Vert < \rho < \bigl\Vert (u_{2},v_{2}) \bigr\Vert . $$


We first choose two constants r and R such that \(0< r<\rho <R\). Considering the case when \(\lambda > (2\gamma \sigma _{1}f_{0})^{-1}\) and \(\mu > (2\gamma \sigma _{2}g_{0})^{-1}\). From the definitions of \(f_{0}\) and \(g_{0}\), we can conclude that there exists \(r>0\) such that \(f(\cdot )\geq (f_{0}-\varepsilon _{1})(u+v)\) and \(g(\cdot )\geq (g _{0}-\varepsilon _{2})(u+v)\) as \(u+v\in [0,r]\) and \(t \in J\), where \(\varepsilon _{1}>0\) and \(\varepsilon _{2}>0\) satisfy \(2\lambda \gamma \sigma _{1}(f_{0}-\varepsilon _{1})\geq 1\) and \(2\mu \gamma \sigma _{2}(g _{0}-\varepsilon _{2})\geq 1\). Then for each \((u,v)\in \partial K_{r}= \{(u,v)\in K:\|(u,v)\| =r\}\) and \(t\in J\), it can be derived from Lemma 2.4 that

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert = &\max _{t\in J} \bigl\vert T_{\alpha }(u,v) (t) \bigr\vert +\max _{t\in J} \bigl\vert T_{ \beta }(u,v) (t) \bigr\vert \\ \geq & \lambda \int _{0}^{1}G_{\alpha }(t,s)f(\cdot )\,ds-\sum _{i=1}^{m}G_{a,b}(t,t_{i})J_{i}(u)- \sum_{i=1}^{m}G_{a}(t,t_{i})I _{i}(u) \\ &{}+\mu \int _{0}^{1}G_{\beta }(t,s)g(\cdot )\,ds-\sum _{i=1}^{m}G _{c,d}(t,t_{i})Q_{i}(v)- \sum_{i=1}^{m}G_{c}(t,t_{i})P_{i}(v) \\ \geq & \lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds+\mu \int _{0} ^{1}G_{\beta }(1,s)g(\cdot )\,ds \\ \geq & \lambda \int _{0}^{1}G_{\alpha }(1,s) (f_{0}-\varepsilon _{1}) (u+v)\,ds \\ &{}+\mu \int _{0}^{1}G_{\beta }(1,s) (g_{0}-\varepsilon _{2}) (u+v)\,ds \\ \geq & \lambda \int _{0}^{1}G_{\alpha }(1,s) (f_{0}-\varepsilon _{1}) \gamma \bigl\Vert (u,v) \bigr\Vert \,ds \\ &{}+\mu \int _{0}^{1}G_{\beta }(1,s) (g_{0}-\varepsilon _{2})\gamma \bigl\Vert (u,v) \bigr\Vert \,ds \\ = &\lambda \gamma \sigma _{1}(f_{0}-\varepsilon _{1}) \bigl\Vert (u,v) \bigr\Vert +\mu \gamma \sigma _{2}(g_{0}-\varepsilon _{2}) \bigl\Vert (u,v) \bigr\Vert \geq \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Next, considering the case when \(\lambda > (2\gamma \sigma _{1}f_{ \infty })^{-1}\) and \(\mu > (2\gamma \sigma _{2}g_{\infty })^{-1}\). In view of the definitions of \(f_{\infty }\) and \(g_{\infty }\), we can see that there exists \(R>0\) such that \(f(\cdot )\geq (f_{\infty }- \varepsilon _{3})(u+v)\) and \(g(\cdot )\geq (g_{\infty }-\varepsilon _{4})(u+v)\) as \(u+v\in [R,\infty )\) and \(t\in J\), where \(\varepsilon _{3},\varepsilon _{4}>0\) with \(2\lambda \gamma \sigma _{1}(f_{\infty }- \varepsilon _{3})\geq 1\) and \(2\mu \gamma \sigma _{2}(g_{\infty }- \varepsilon _{4})\geq 1\). Then, for \((u,v)\in \partial K_{R}\) and \(t\in J\), it follows from (23) that

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert \geq {}&\lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds+ \mu \int _{0}^{1}G_{\beta }(1,s)g(\cdot )\,ds \\ \geq{} & \lambda \int _{0}^{1}G_{\alpha }(1,s) (f_{\infty }-\varepsilon _{3}) (u+v)\,ds \\ &{}+\mu \int _{0}^{1}G_{\beta }(1,s) (g_{\infty }-\varepsilon _{4}) (u+v)\,ds \\ \geq {}& \lambda \gamma \sigma _{1}(f_{\infty }-\varepsilon _{3}) \bigl\Vert (u,v) \bigr\Vert +\mu \gamma \sigma _{2}(g_{0}-\varepsilon _{4}) \bigl\Vert (u,v) \bigr\Vert \geq \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Finally, we can see from (21) that

$$ f(\cdot )\leq \varPhi (\rho )< \frac{\rho }{4a\sigma _{1}\delta },\qquad g( \cdot )\leq \varPhi (\rho )< \frac{\rho }{4c\sigma _{2}\delta }, \qquad u+v \in [\gamma \rho ,\rho ],\quad t\in J. $$

Then, for each \((u,v)\in \partial K_{\rho }\) with \(\rho \geq 4\eta \), it follows from Lemma 2.4 that

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert \leq {}&a\lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds- \frac{ab \sum_{i=1}^{m}J_{i}(u)}{(a-1)(b-1)}-\frac{a\sum_{i=1} ^{m}I_{i}(u)}{a-1} \\ &{}+c\mu \int _{0}^{1}G_{\beta }(1,s)g(\cdot )\,ds- \frac{cd\sum_{i=1} ^{m}Q_{i}(v)}{(c-1)(d-1)}-\frac{c\sum_{i=1}^{m}P_{i}(v)}{c-1} \\ < {}&a\lambda \int _{0}^{1}G_{\alpha }(1,s) \frac{\rho }{4a\sigma _{1} \delta }\,ds+c\mu \int _{0}^{1}G_{\beta }(1,s) \frac{\rho }{4c\sigma _{2} \delta }\,ds+2\eta \\ ={} & \frac{(\lambda +\mu )\rho }{4\delta }+2\eta \leq \frac{\rho }{2}+\frac{ \rho }{2}= \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$


$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert < \bigl\Vert (u,v) \bigr\Vert ,\quad (u,v)\in \partial K_{\rho }. \end{aligned}$$

Thus, applying Lemma 2.2 to (23)–(25) shows that \(T(u,v)\) has the fixed point \((u_{1},v_{1})\in K\cap ( \overline{K}_{\rho }\setminus K_{r})\) and the fixed point \((u_{2},v _{2})\in K\cap (\overline{K}_{R}\setminus K_{\rho })\). In the light of (25) being a strict inequality, \(\|(u_{1},v_{1})\|\neq \rho \) and \(\|(u_{2},v_{2})\|\neq \rho \). Consequently, BVPs (1) have at least two pairs of PSs \((u_{i},v_{i})\), \(i=1,2\), satisfying (22). The proof is thus completed. □

Theorem 3.2

Suppose that \((B_{1})\)\((B_{3})\) hold and there exist three constants \(\xi _{i}\) (\(i=1,2,3\)) with \(4\eta \leq \xi _{1}<\xi _{2}<\xi _{3}\) such that either


\(\frac{\overline{\varphi }}{2\sigma _{1}}\leq \lambda \leq \frac{\xi _{2}}{4a\sigma _{1}\varPhi (\xi _{2})}\) and \(\frac{\overline{ \varphi }}{2\sigma _{2}}\leq \mu \leq \frac{\xi _{2}}{4c\sigma _{2} \varPhi (\xi _{2})}\), or


\(\frac{\xi _{2}}{2\sigma _{1}\phi (\xi _{2})}<\lambda \leq \frac{\underline{\varphi }}{4a\sigma _{1}}\) and \(\frac{\xi _{2}}{2 \sigma _{2}\phi (\xi _{2})}<\mu \leq \frac{\underline{\varphi }}{4c \sigma _{2}}\) hold,

where \(\overline{\varphi }=\max \{\xi _{1}\phi ^{-1}(\xi _{1}),\xi _{3}\phi ^{-1}(\xi _{3}) \}\) and \(\underline{\varphi }=\min \{\xi _{1}\varPhi ^{-1}(\xi _{1}),\xi _{3}\varPhi ^{-1}(\xi _{3}) \}\). Then BVPs (1) have at least two pairs of PSs \((u_{i},v_{i})\), \(i=1,2\), which satisfy

$$ \xi _{1} \leq \bigl\Vert (u_{1},v_{1}) \bigr\Vert < \xi _{2} < \bigl\Vert (u_{2},v_{2}) \bigr\Vert \leq \xi _{3}. $$


Due to the proofs of case \((H_{1})\) and case \((H_{2})\) being similar, here we prove only case \((H_{1})\). We first consider the case when \(\lambda \geq \xi _{1}(2\sigma _{1}\phi (\xi _{1}))^{-1}\) and \(\mu \geq \xi _{1}(2\sigma _{2}\phi (\xi _{1}))^{-1}\). Note that \(f(\cdot ) \geq \phi (\xi _{1})\) and \(g(\cdot )\geq \phi (\xi _{1})\) as \(u+v\in [\gamma \xi _{1},\xi _{1} ]\) and \(t \in J\). Then, for \((u,v)\in \partial K_{\xi _{1}}\) and \(t\in J\), one has

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert &\geq \lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds+ \mu \int _{0}^{1}G_{\beta }(1,s)g(\cdot )\,ds \\ & \geq \lambda \phi (\xi _{1}) \int _{0}^{1}G_{\alpha }(1,s)\,ds+\mu \phi (\xi _{1}) \int _{0}^{1}G_{\beta }(1,s)\,ds \\ &\geq \frac{\xi _{1}}{2\sigma _{1}\phi (\xi _{1})}\phi (\xi _{1})\sigma _{1}+ \frac{\xi _{1}}{2\sigma _{2}\phi (\xi _{1})}\phi (\xi _{1})\sigma _{2}=\xi _{1}= \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

For the case when \(\lambda \leq \xi _{2}(4a\sigma _{1}\varPhi (\xi _{2}))^{-1}\) and \(\mu \leq \xi _{2}(4c\sigma _{2}\varPhi (\xi _{2}))^{-1}\), noting that \(f(\cdot )\leq \varPhi (\xi _{2})\) and \(g(\cdot )\leq \varPhi (\xi _{2})\) as \(u+v\in [\gamma \xi _{2},\xi _{2} ]\) and \(t \in J\). Then for \((u,v)\in \partial K_{\xi _{2}}\), \(t\in J\), one obtains

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert &\leq a\lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds+c \mu \int _{0}^{1}G_{\beta }(1,s)g(\cdot )\,ds+2 \eta \\ &\leq \lambda a\varPhi (\xi _{2}) \int _{0}^{1}G_{\alpha }(1,s)\,ds+\mu c \varPhi ( \xi _{2}) \int _{0}^{1}G_{\beta }(1,s)\,ds+2\eta \\ & \leq \frac{\xi _{2}}{4a\sigma _{1}\varPhi (\xi _{2})}a\varPhi (\xi _{2})\sigma _{1}+\frac{\xi _{2}}{4c\sigma _{2}\varPhi (\xi _{2})}c\varPhi (\xi _{2})\sigma _{2}+\frac{\xi _{1}}{2} \\ &< \frac{\xi _{2}}{4}+\frac{\xi _{2}}{4}+\frac{\xi _{2}}{2}=\xi _{2}= \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Considering \(\lambda \geq \xi _{3}(2\sigma _{1}\phi (\xi _{3}))^{-1}\) and \(\mu \geq \xi _{3}(2\sigma _{2}\phi (\xi _{3}))^{-1}\), for \((u,v)\in \partial K_{\xi _{3}}\), \(t\in J\), we derive

$$\begin{aligned} \bigl\Vert T(u,v) \bigr\Vert &\geq \lambda \int _{0}^{1}G_{\alpha }(1,s)f(\cdot )\,ds+ \mu \int _{0}^{1}G_{\beta }(1,s)g(\cdot )\,ds \\ & \geq \lambda \phi (\xi _{3}) \int _{0}^{1}G_{\alpha }(1,s)\,ds+\mu \phi (\xi _{3}) \int _{0}^{1}G_{\beta }(1,s)\,ds \\ &\geq \frac{\xi _{3}}{2\sigma _{1}\phi (\xi _{3})}\phi (\xi _{3})\sigma _{1}+ \frac{\xi _{3}}{2\sigma _{2}\phi (\xi _{3})}\phi (\xi _{3})\sigma _{2}=\xi _{3}= \bigl\Vert (u,v) \bigr\Vert . \end{aligned}$$

Thus, applying Lemma 2.2 to (27)–(29) shows that T has the fixed point \((u_{1},v_{1})\in K\cap (\overline{K} _{\xi _{2}}\setminus K_{\xi _{1}})\) and the fixed point \((u_{2},v_{2}) \in K\cap (\overline{K}_{\xi _{3}}\setminus K_{\xi _{2}})\). In the light of (28), one gets \(\|(u_{1},v_{1})\|\neq \xi _{2}\) and \(\|(u_{2},v_{2})\|\neq \xi _{2}\). Therefore (26) holds, and the proof is thus completed. □

The following general theorem can be obtained by following a similar analysis to that of Theorem 3.2.

Theorem 3.3

Suppose that \((B_{1})\)\((B_{3})\) hold and there exist \(n+1\) constants \(\xi _{i}\) (\(i=1,2,\ldots , n+1\)) with \(4\eta \leq \xi _{1}<\xi _{2}<\cdots <\xi _{n+1}\) such that either


\(\frac{\xi _{2j-1}}{2\sigma _{1}\phi (\xi _{2j-1})}< \lambda <\frac{\xi _{2j}}{4a\sigma _{1}\varPhi (\xi _{2j})}\) and \(\frac{ \xi _{2j-1}}{2\sigma _{2}\phi (\xi _{2j-1})}<\mu <\frac{\xi _{2j}}{4c \sigma _{2}\varPhi (\xi _{2j})}\), \(j=1,2,\ldots ,[\frac{n+2}{2}]\), or


\(\frac{\xi _{2j}}{2\sigma _{1}\phi (\xi _{2j})}<\lambda <\frac{\xi _{2j-1}}{4a\sigma _{1}\varPhi (\xi _{2j-1})}\) and \(\frac{\xi _{2j}}{2 \sigma _{2}\phi (\xi _{2j})}<\mu <\frac{\xi _{2j-1}}{4c\sigma _{2}\varPhi ( \xi _{2j-1})}\), \(j=1,2,\ldots ,[\frac{n+2}{2}]\) hold.

Then BVPs (1) have at least n pairs of PSs \((u_{i},v_{i})\), \(i=1,2,\ldots ,n\), which satisfy

$$ \xi _{i} < \bigl\Vert (u_{i},v_{i}) \bigr\Vert < \xi _{i+1}. $$


When \(n=1\), we can see from the case \((H_{3})\) that \(\xi _{1}(2\sigma _{1}\phi (\xi _{1}))^{-1}<\lambda <\xi _{2}(4a\sigma _{1}\varPhi (\xi _{2}))^{-1}\) and \(\xi _{1}(2\sigma _{2}\phi (\xi _{1}))^{-1}<\mu <\xi _{2}(4c\sigma _{2}\varPhi (\xi _{2}))^{-1}\). Then it follows from (27) and (28) that \(\|T(u,v)\|>\|(u,v)\|\) for \((u,v)\in \partial K_{\xi _{1}}\) and \(\|T(u,v)\|<\|(u,v)\|\) for \((u,v)\in \partial K_{\xi _{2}}\). This together with Lemma 2.2 implies that T has a fixed point \((u_{1},v_{1})\) satisfies \(\xi _{1} < \|(u_{1},v_{1})\| < \xi _{2}\). Similarly, when \(n=2\) or \(n=3\), namely \(j=1,2\), we can further see that

$$ \textstyle\begin{cases} \Vert T(u,v) \Vert > \Vert (u,v) \Vert ,\quad (u,v)\in \partial K_{\xi _{1}}, \\ \Vert T(u,v) \Vert < \Vert (u,v) \Vert ,\quad (u,v)\in \partial K_{\xi _{2}}, \\ \Vert T(u,v) \Vert > \Vert (u,v) \Vert , \quad (u,v)\in \partial K_{\xi _{3}}, \\ \Vert T(u,v) \Vert < \Vert (u,v) \Vert , \quad (u,v)\in \partial K_{\xi _{4}}. \end{cases} $$

Thus, applying Lemma 2.2 to (31) shows that T has at least three fixed points \((u_{i},v_{i})\), \(i=1,2,3\), satisfying

$$ \xi _{1} < \bigl\Vert (u_{1},v_{1}) \bigr\Vert < \xi _{2}< \bigl\Vert (u_{2},v_{2}) \bigr\Vert < \xi _{3}< \bigl\Vert (u _{3},v_{3}) \bigr\Vert < \xi _{4}. $$

Therefore, by following the above analysis, we can see that (30) holds if \((H_{3})\) or \((H_{4})\) is satisfied. The proof is thus completed. □


Consider the BVPs of the following nonlinear coupled system with impulses:

$$ \textstyle\begin{cases} {}^{c}D_{0^{+}}^{\frac{3}{2}}u(t)= -\lambda f (t,u(t),v(t) ),\quad t\in J, t\neq \frac{1}{4}, \\ {}^{c}D_{0^{+}}^{\frac{3}{2}}v(t)= -\mu g (t,u(t),v(t) ),\quad t\in J, t\neq \frac{1}{4}, \\ \Delta u(\frac{1}{4})=I(u(\frac{1}{4})),\qquad \Delta u'(\frac{1}{4})=J(u( \frac{1}{4})), \\ \Delta v(\frac{1}{4})=P(v(\frac{1}{4})),\qquad \Delta v'(\frac{1}{4})=Q(v( \frac{1}{4})), \\ u(0)=2u(1), \qquad u'(1)=3u'(0), \qquad v(0)=2v(1), \qquad v'(1)=3v'(0), \end{cases} $$


$$\begin{aligned} f=\frac{2}{1+t} \biggl[\frac{ (1+\sin (\frac{\pi }{2}+u+v) )(u+v)}{50e ^{u+v}}+\frac{(u+v)^{3}+3(u+v)}{(u+v)^{2}+959(u+v)+1} \biggr], \end{aligned}$$

\(g=\frac{u+v}{20(5+t)} \vert \ln (u+v) \vert \), \(I(u)=- \frac{u}{15(1+u)}\), \(J(u)=-\frac{2u}{5(1+6u)}\), \(P(v)= \frac{2\cos (5v)-3}{50}\) and \(Q(v)=\frac{\sin (v)-1}{10}\). Obviously, \((B_{1})\)\((B_{3})\) hold. By simple calculation, one can easily obtain \(\eta =\frac{1}{2}\), \(\gamma =\frac{1}{6}\), \(\sigma _{1}=\sigma _{2}=\frac{10}{3\sqrt{ \pi }}\), \(f_{0}=\frac{76}{25}\), \(f_{\infty }=1\) and \(g_{0}=g_{\infty }=+\infty \). We then further see that

$$\begin{aligned} &\frac{1}{2\gamma }\max \bigl\{ (\sigma _{1}f_{0})^{-1},( \sigma _{1}f_{\infty })^{-1} \bigr\} = \frac{9\sqrt{\pi }}{10}, \\ &\frac{1}{2\gamma }\max \bigl\{ (\sigma _{2}g_{0})^{-1},( \sigma _{2}g_{\infty })^{-1} \bigr\} =0. \end{aligned}$$

Choose \(\delta =2\sqrt{\pi }\) and \(\rho =6\), then, for \(t\in J\) and \(u+v\in [1,6]\), one gets

$$\begin{aligned} &\max_{t\in J,u+v\in [1,6]}f(t,u,v)< 2\times \biggl(\frac{2\times 1}{50e}+ \frac{6^{3}+3 \times 6}{6^{2}+959\times 6+1} \biggr)\approx 0.1102, \\ &\max_{t\in J,u+v\in [1,6]}g(t,u,v)< \frac{6\ln 6}{20(5+0)}\approx 0.1075. \end{aligned}$$

Thus, one has

$$\begin{aligned} \frac{\rho }{4\delta }\min \bigl\{ (a\sigma _{1})^{-1},(c\sigma _{2})^{-1} \bigr\} = \frac{9}{80}\approx 0.1125>\varPhi (6)\approx 0.1102. \end{aligned}$$

We can see from Theorem 3.1 that, for \(\lambda \in (\frac{9\sqrt{ \pi }}{10},2\sqrt{\pi }]\) and \(\mu \in (0,2\sqrt{\pi }]\), BVPs (33) have at least two pairs of PSs.


This paper has discussed the multiplicity of PSs of impulsive BVPs for a fractional-order coupled system involving parameters. Some sufficient conditions have been derived to guarantee the existence of multiple PSs for the considered fractional-order coupled system. An example has been provided to illustrate the obtained results. Note that only a two-point BVP is considered in this paper. Similar to the work in [25], an interesting topic for future research is to deal with the multi-point even nonlocal BVP. Another interesting topic is to consider the multiplicity of the solutions for impulsive FDEs on the half-line.


  1. 1.

    Kilbas, A., Srivastava, H., Trujillo, J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

  2. 2.

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

  3. 3.

    Rossikhin, Y.A., Shitikova, M.V.: Application of fractional calculus for dynamic problems of solid mechanics: novel trends and recent result. Appl. Mech. Rev. 63, 010801 (2010)

  4. 4.

    Tarasov, V.E.: Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin (2011)

  5. 5.

    Rahimy, M.: Applications of fractional differential equations. Appl. Math. Sci. 4(50), 2453–2461 (2010)

  6. 6.

    Gong, P.: Distributed consensus of non-linear fractional-order multi-agent systems with directed topologies. IET Control Theory Appl. 10(18), 2515–2525 (2016)

  7. 7.

    Gong, P.: Distributed tracking of heterogeneous nonlinear fractional-order multi-agent systems with an unknown leader. J. Franklin Inst. 354(5), 2226–2244 (2017)

  8. 8.

    Wu, G., Baleanu, D., Huang, L.: Novel Mittag-Leffler stability of linear fractional delay difference equations with impulse. Appl. Math. Lett. 82, 71–78 (2018)

  9. 9.

    Wu, G., Baleanu, D.: Stability analysis of impulsive fractional difference equations. Fract. Calc. Appl. Anal. 21, 354–375 (2018)

  10. 10.

    Baleanu, D., Agarwal, R., Khan, H., Khan, R., Jafari, H.: On the existence of solution for fractional differential equations of order \(3<\delta _{1}\leq 4\). Adv. Differ. Equ. 2015, Article ID 362 (2015).

  11. 11.

    Anguraj, A., Karthikeyan, P., Rivero, M., Trujillo, J.: On new existence results for fractional integro-differential equations with impulsive and integral conditions. Comput. Math. Appl. 66(12), 2587–2594 (2014)

  12. 12.

    Han, Z., Lu, H., Zhang, C.: Positive solutions for eigenvalue problems of fractional differential equation with generalized p-Laplacian. Appl. Math. Comput. 257, 526–536 (2015)

  13. 13.

    Ma, T., Tian, Y., Huo, Q., Zhang, Y.: Boundary value problem for linear and nonlinear fractional differential equations. Appl. Math. Lett. 86, 1–7 (2018)

  14. 14.

    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)

  15. 15.

    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, Article ID 254 (2014).

  16. 16.

    Zhao, K., Gong, P.: Positive solutions for impulsive fractional differential equations with generalized periodic boundary value conditions. Adv. Differ. Equ. 2014, Article ID 255 (2014).

  17. 17.

    Zhao, Y., Sun, S., Han, Z., Zhang, M.: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217(16), 6950–6958 (2011)

  18. 18.

    Zhao, Y., Chen, H., Xu, C.: Nontrivial solutions for impulsive fractional differential equations via Morse theory. Appl. Math. Comput. 307, 170–179 (2017)

  19. 19.

    Lin, Z., Wang, J., Wei, W.: Multipoint BVPs for generalized impulsive fractional differential equations. Appl. Math. Comput. 258, 608–616 (2015)

  20. 20.

    Zhao, K., Gong, P.: Positive solutions of nonlocal integral BVPs for the nonlinear coupled system involving high-order fractional differential. Math. Slovaca 67, 447–466 (2017)

  21. 21.

    Li, X., Chen, F., Li, X.: Generalized anti-periodic boundary value problems of impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 18(1), 28–41 (2013)

  22. 22.

    Tian, Y., Bai, Z.: Impulsive boundary value problem for differential equations with fractional order. Differ. Equ. Dyn. Syst. 21, 253–260 (2013)

  23. 23.

    Podlubny, I., Trujillo, J.: Fractional Differential Equations. Academic Press, New York (1993)

  24. 24.

    Guo, D., Lakshmikantham, V., Liu, X.: Nonlinear Integral Equations in Abstract Spaces. Mathematics and Its Applications, vol. 373. Kluwer Academic, Dordrecht (1996)

  25. 25.

    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, Article ID 19 (2015).

Download references


The authors would like to thank the anonymous referees for their useful and valuable suggestions.


Not applicable.

Author information

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Correspondence to Ping Gong.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

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

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark


  • 26A33
  • 35A15
  • 34A08
  • 58E05


  • Impulsive
  • Caputo fractional differential
  • Coupled system
  • Multiplicity