Theory and Modern Applications

# Local uniqueness of positive solutions for a coupled system of fractional differential equations with integral boundary conditions

## Abstract

In this paper, we study a coupled system of fractional boundary value problems subject to integral boundary conditions. By applying a recent fixed point theorem in ordered Banach spaces, we investigate the local existence and uniqueness of positive solutions for the coupled system. We show that the unique positive solution can be found in a product set, and that it can be approximated by constructing iterative sequences for any given initial point of the product set. As an application, an interesting example is presented to illustrate our main result.

## 1 Introduction

In this paper we discuss the local existence and uniqueness of positive solutions for the following coupled system of fractional boundary value problem subject to integral boundary conditions:

$$\textstyle\begin{cases} D^{\alpha}u(t)+f(t,v(t))=0,\qquad D^{\beta}v(t)+g(t,u(t))=0,\quad 0< t< 1,\\ u(0)=0,\qquad u(1)=\int_{0}^{1} \phi(t)u(t)\,dt,\qquad v(0)=0,\qquad v(1)=\int_{0}^{1} \psi (t)v(t)\,dt, \end{cases}$$
(1.1)

where $$1< \alpha$$, $$\beta\le2$$, $$\phi,\psi\in L^{1}[0,1]$$ are nonnegative and $$f,g \in C([0,1]\times[0,+\infty),[0,+\infty))$$ and D is the standard Riemann-Liouville fractional derivative. By a positive solution of the problem (1.1), we mean a pair of functions $$(u,v)\in C([0,1])\times C([0,1])$$ satisfying (1.1) with $$u(t)\ge0$$, $$v(t)\ge 0$$, $$t\in[0,1]$$ and $$(u,v) \neq(0,0)$$. The functions $$\phi(t)$$, $$\psi(t)$$ satisfy the following conditions:

\begin{aligned} &(Q)\quad\phi,\psi:[0,1]\rightarrow[0,+\infty)\quad \mbox{with }\phi,\psi\in L^{1}[0,1]\quad \mbox{and} \\ &\sigma_{1}:= \int^{1}_{0} \phi(t)t^{\alpha-1}\,dt,\qquad \sigma_{2}:= \int^{1}_{0} \psi (t)t^{\beta-1}\,dt \in(0,1); \\ & \sigma_{3}:= \int^{1}_{0} t^{\alpha-1}(1-t)\phi(t)\,dt,\qquad \sigma_{4}:= \int^{1}_{0} t^{\beta-1}(1-t)\psi(t)\,dt >0. \end{aligned}

Recently, coupled systems of fractional differential equations with a variety of boundary value conditions have been studied by many people; see [1â€“28] and the references therein. As is well known, coupled systems with boundary conditions appear in the investigations of many problems such as reaction-diffusion equations and Sturm-Liouville problems (see [29, 30]), and they have many applications in different fields of sciences and engineering (see heat equations [31â€“33], steady-state heat flow and beam deformation [34, 35] for example), mathematical biology (see [36, 37]) and so on. So the subject of coupled systems is gaining much attention and importance. From the literature, we can see that there are a large number of articles dealing with the existence or multiplicity of solutions or positive solutions for some nonlinear coupled systems with boundary conditions; see [2, 3, 5, 8, 10â€“13, 16, 17, 19, 22â€“24, 26â€“28] for details.

In [19], Su considered the following two-point boundary value problem for a coupled system of fractional differential equations:

$$\textstyle\begin{cases} D^{\alpha}u(t)=f(t,v(t),D^{\mu}v(t)),\qquad D^{\beta}v(t)=g(t,u(t),D^{\nu}u(t)),\quad0< t< 1,\\ u(0)=u(1)=v(0)=v(1)=0, \end{cases}$$
(1.2)

where $$1<\alpha,\beta<2,\mu,\nu>0,\alpha-\nu\ge1,\beta-\mu\ge 1,f,g:[0,1]\times\mathbf{R} \times\mathbf{R}\rightarrow\mathbf{R}$$ are given functions, and D is also the standard Riemann-Liouville fractional derivative. By applying Schauder fixed point theorem, the author established sufficient conditions for the existence of solutions for the problem (1.2). By using the same method, Ahmad and Nieto [2] extended the results of [19] to a three-point boundary value problem for a coupled system of fractional differential equations. By using Banach fixed point theorem and nonlinear alternative of Leray-Schauder type, Wang et al. [21] gave the existence and uniqueness of positive solutions to the following boundary values problem for a coupled system of nonlinear fractional differential equations:

$$\textstyle\begin{cases} D^{\alpha}u(t)=f(t,v(t)),\qquad D^{\beta}v(t)=g(t,u(t)),\quad 0< t< 1,\\ u(0)=0,\qquad u(1)=au(\xi),\qquad v(0)=0,\qquad v(1)=bv(\xi), \end{cases}$$

where $$1<\alpha,\beta<2,0\le a,b \le1,0<\xi<1,f,g:[0,1]\times\mathbf{R}\times\mathbf{R}\rightarrow\mathbf{R}$$ are given functions, and D is also the standard Riemann-Liouville fractional derivative.

In [23], Yang studied the boundary values problem for a coupled system of nonlinear fractional differential equations as follows:

$$\textstyle\begin{cases} D^{\alpha}u(t)+a(t)f(t,v(t))=0,\qquad D^{\beta }v(t)+b(t)g(t,u(t))=0,\quad0< t< 1,\\ u(0)=0,\qquad u(1)=\int^{1}_{0} \phi(t)u(t)\,dt,\qquad v(0)=0,\qquad v(1)=\int^{1}_{0} \psi(t)v(t)\,dt, \end{cases}$$
(1.3)

where $$1<\alpha,\beta\le2,a,b \in C((0,1),[0,+\infty)),\phi,\psi\in L^{1} [0,1]$$ are nonnegative and $$f,g \in C([0,1]\times[0,+\infty ),[0,+\infty))$$, and D is also the standard Riemann-Liouville fractional derivative. The existence and nonexistence of positive solutions were shown by applying Banach fixed point theorem, nonlinear alternative of Leray-Schauder type and the fixed point theorems of cone expansion and compression of norm type. Very recently, in [38], the authors studied a boundary value problem of coupled systems of nonlinear Riemann-Liouvillle fractional integro-differential equations supplemented with nonlocal Riemann-Liouvillle fractional integro-differential boundary conditions. And in [39], the authors introduced a new concept of coupled non-separated boundary conditions and solved a coupled system of fractional differential equations supplemented with these conditions. By using Banachâ€™s contraction principle and Leray-Schauderâ€™s alternative, the authors gave some new existence and uniqueness results in [38, 39]. To the best of our knowledge, there are still very few papers (such as [20, 21]) considered the uniqueness of positive solutions of boundary value problems with fractional coupled systems.

Motivated greatly by the above mentioned work and [23, 40], we consider the local existence and uniqueness of positive solutions for the coupled system (1.1). To prove our main results, we present some definitions, notations and lemmas in Section 2. And we give some new properties of the corresponding Greenâ€™s function for the system (1.1). In Section 3, we give sufficient conditions for the local existence and uniqueness of positive solutions for the system (1.1) by using a recent fixed point theorem in ordered Banach spaces. To demonstrate our result, we give an interesting example in Section 4.

## 2 Preliminaries

### Definition 2.1

See [41, 42]

The fractional integral of order q with the lower limit a for a function f is given as

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

provided the right-hand side is pointwise defined on $$[a,\infty)$$, here $$f\in C[a,b]$$ and Î“ is the gamma function. For $$a=0$$, the fractional integral (2.1) can be written by $$I_{0^{+}}^{\alpha} h(t)=h(t)* \varphi_{\alpha}(t)$$, here $$\varphi_{\alpha}(t)=t^{\alpha -1}/ \Gamma(\alpha)$$ for $$t>0$$ and $$\varphi_{\alpha}(t)=0$$ for $$t\le 0$$.

### Definition 2.2

See [41, 42]

Riemann-Liouville derivative of order q with the lower limit a for a function $$f:[a,\infty )\rightarrow\mathbf{R}$$ is defined as

$$D_{a^{+}}^{q} f(t)=\frac{1}{\Gamma(n-q)}\,\frac{d^{n}}{dt^{n}} \int_{a}^{t} (t-s)^{n-q-1}f(s)\,ds,\quad t>a,n-1< q< n.$$

### Lemma 2.1

See [10]

If $$\int_{0}^{1} \phi(t)t^{\alpha-1}\,dt \neq1$$, then, for any $$\sigma\in C[0,1]$$, the unique solution of the following boundary value problem:

$$\textstyle\begin{cases} D^{\alpha}u(t)+\sigma(t)=0,\quad0< t< 1,\\ u(0)=0,\qquad u(1)=\int^{1}_{0} \phi(t)u(t)\,dt, \end{cases}$$

is given by

$$u(t)= \int_{0}^{1} G_{1\alpha}(t,s)\sigma(s)\,ds,$$

where

\begin{aligned} &G_{1\alpha}(t,s)=G_{2\alpha}(t,s)+G_{3\alpha}(t,s), \\ &G_{2\alpha}(t,s)= \textstyle\begin{cases} \frac{t^{\alpha-1}(1-s)^{\alpha-1}-(t-s)^{\alpha-1}}{\Gamma(\alpha )},&0\le s\le t\le1,\\ \frac{t^{\alpha-1}(1-s)^{\alpha-1}}{\Gamma(\alpha)},&0\le t\le s \le1, \end{cases}\displaystyle \\ &G_{3\alpha}(t,s)=\frac{t^{\alpha-1}}{1-\int_{0}^{1} \phi(t)t^{\alpha -1}\,dt} \int_{0}^{1} \phi(t)G_{2\alpha}(t,s)\,dt. \end{aligned}
(2.2)

Then $$G(t,s)=(G_{1\alpha}(t,s),G_{1\beta}(t,s))$$ is called the Greenâ€™s function of the system (1.1).

### Lemma 2.2

See [10]

If $$\int_{0}^{1} \phi(t)t^{\alpha-1}\,dt\in [0,1)$$, then $$G_{1\alpha}(t,s)$$ given by (2.2) satisfies $$G_{1\alpha}(t,s)\ge0$$ is continuous for all $$t,s\in[0,1]$$, $$G_{1\alpha }(t,s)>0$$ for all $$t,s \in(0,1)$$.

### Lemma 2.3

The function $$G_{2\alpha}(t,s)$$ has the following properties:

\begin{aligned} &G_{2\alpha}(t,s)\ge\frac{\alpha-1}{\Gamma(\alpha)}t^{\alpha -1}(1-t) (1-s)^{\alpha-1}s,\quad t,s\in[0,1]\ (\textit{Theorem }1.1\textit{ of }\mbox{[43]}); \\ &G_{2\alpha}(t,s)\le\frac{t^{\alpha-1}(1-s)^{\alpha-1}}{\Gamma(\alpha )},\quad t,s\in[0,1]. \end{aligned}

### Proof

The second inequality is obvious.â€ƒâ–¡

### Lemma 2.4

Let $$\alpha,\beta\in(1,2]$$. Assume that $$(Q)$$ holds. Then the functions $$G_{1\alpha}(t,s)$$, $$G_{1\beta}(t,s)$$ have the following properties:

\begin{aligned} &\frac{(\alpha-1)\sigma_{3} s(1-s)^{\alpha-1}t^{\alpha-1}}{(1-\sigma _{1})\Gamma(\alpha)}\le G_{1\alpha}\le\frac{(1-s)^{\alpha-1}t^{\alpha -1}}{\Gamma(\alpha)(1-\sigma_{1})},\quad t,s\in[0,1]; \\ &\frac{(\beta-1)\sigma_{4} s(1-s)^{\beta-1}t^{\beta-1}}{(1-\sigma_{2})\Gamma (\beta)}\le G_{1\beta}\le\frac{(1-s)^{\beta-1}t^{\beta-1}}{\Gamma (\beta)(1-\sigma_{2})},\quad t,s\in[0,1]. \end{aligned}

### Proof

We only prove the first inequality. From Lemma 2.1 and Lemma 2.3,

\begin{aligned} G_{1\alpha}(t,s) =& G_{2\alpha}(t,s)+G_{3\alpha}(t,s)\ge G_{3\alpha }(t,s)=\frac{t^{\alpha-1}}{1-\sigma_{1}} \int_{0}^{1} \phi(t)G_{2\alpha }(t,s)\,dt \\ \ge& \frac{t^{\alpha-1}}{1-\sigma_{1}} \int_{0}^{1} \phi(t)\cdot\frac{\alpha -1}{\Gamma(\alpha)}t^{\alpha-1}(1-t) (1-s)^{\alpha-1}s\, dt \\ =& \frac{(\alpha-1)t^{\alpha-1}s(1-s)^{\alpha-1}}{(1-\sigma_{1})\Gamma (\alpha)} \int_{0}^{1} t^{\alpha-1}(1-t)\phi(t)\,dt= \frac{(\alpha-1)\sigma_{3} s(1-s)^{\alpha-1}t^{\alpha-1}}{(1-\sigma_{1})\Gamma(\alpha)}. \end{aligned}

Also, from Lemma 2.3,

\begin{aligned} G_{1\alpha}(t,s) =& G_{2\alpha}(t,s)+G_{3\alpha}(t,s)\le \frac {t^{\alpha-1}(1-s)^{\alpha-1}}{\Gamma(\alpha)}+\frac{t^{\alpha -1}}{1-\sigma_{1}} \int_{0}^{1} \phi(t)\frac{t^{\alpha-1}(1-s)^{\alpha -1}}{\Gamma(\alpha)}\,dt \\ =& \frac{t^{\alpha-1}}{\Gamma(\alpha)} \biggl[(1-s)^{\alpha-1}+\frac {(1-s)^{\alpha-1}}{1-\sigma_{1}} \int_{0}^{1} t^{\alpha-1}\phi(t)\,dt \biggr] \\ =& \frac{t^{\alpha-1}}{\Gamma(\alpha)} \biggl[(1-s)^{\alpha-1}+\frac {(1-s)^{\alpha-1}\sigma_{1}}{1-\sigma_{1}} \biggr]= \frac{(1-s)^{\alpha -1}t^{\alpha-1}}{\Gamma(\alpha)(1-\sigma_{1})}. \end{aligned}

â€ƒâ–¡

In the sequel, we list some definitions, notations in ordered Banach spaces and preliminary facts which will be used later. For details, see [40, 44â€“46].

Let $$(E,\parallel\cdot\parallel)$$ be a real Banach space which is partially ordered by a cone $$P \subset E$$, i.e., $$x \leq y$$ if and only if $$y-x \in P$$. Î¸ is the zero element of E. If there is a constant $$N > 0$$ such that, for all $$x,y \in E$$, $$\theta\leq x \leq y$$ implies $$\parallel x \parallel\leq N \parallel y \parallel$$, then P is called normal, in this case N is the infimum of such constants, it is called the normality constant of P. We say that an operator $$A:E \rightarrow E$$ is increasing if $$x \leq y$$ implies $$Ax \leq Ay$$.

For all $$x,y \in E$$, the notation $$x\sim y$$ means that there exist $$\lambda> 0$$ and $$\mu> 0$$ such that $$\lambda x \leq y \leq\mu x$$. Clearly, âˆ¼ is an equivalence relation. Given $$h > \theta$$ (i.e., $$h \geq\theta$$ and $$h \neq\theta$$), we define the set $$P_{h}=\{ x \in E \mid x \sim h \}$$. It is easy to see that $$P_{h} \subset P$$.

Let Î¦ denote the class of those functions $$\varphi :(0,1)\rightarrow(0,1)$$ which satisfies the condition $$\varphi(t)>t$$ for $$t\in(0,1)$$.

### Lemma 2.5

Theorem 2.1 of [40]

Let P be a normal cone in a real Banach space E, $$h>\theta$$. $$T:P\rightarrow P$$ is an increasing operator which satisfies:

1. (i)

there is $$h_{0}\in P_{h}$$ such that $$Th_{0}\in P_{h}$$;

2. (ii)

for any $$x\in P$$ and $$t\in(0,1)$$, there exists $$\varphi\in\boldsymbol {\Phi}$$ such that $$T(tx)\geq\varphi(t)Tx$$.

Then:

1. (1)

the operator T has a unique fixed point $$x^{*}$$ in $$P_{h}$$;

2. (2)

for any initial value $$x_{0}\in P_{h}$$, constructing successively the sequence $$x_{n}=Tx_{n-1}$$, $$n=1,2,\ldots$$â€‰, we have $$x_{n}\rightarrow x^{*}$$ as $$n\rightarrow\infty$$.

## 3 Local existence and uniqueness of positive solutions

Throughout this section, we work in the product space $$X \times X$$, where $$X=\{u(t)|u(t)\in C[0,1]\}$$ endowed with the norm $$\|u\|_{X} =\max_{t\in[0,1]} |u(t)|$$. For $$(u,v)\in X \times X$$, let $$\|(u,v)\| _{X\times X}=\max\{\|u\|_{X},\|v\|_{X}\}$$. Evidently, $$(X\times X,\|(u,v)\| _{X\times X})$$ is a Banach space. Define $$K = \{(u,v)\in X\times X| u(t)\ge0,v(t)\ge0\}$$, $$P=\{u\in X|u(t)\ge0, t\in[0,1]\}$$, then the cone $$K\subset X\times X$$ and $$K=P\times P$$ is normal, and the space $$X\times X$$ can be equipped with a partial order:

$$(u_{1},v_{1})\le(u_{2},v_{2}) \Leftrightarrow u_{1}(t)\le u_{2}(t),\quad v_{1}(t)\le v_{2}(t), t\in[0,1].$$

From Lemma 2.1 and the discussion of [23], we can obtain the following fact.

### Lemma 3.1

Assume that $$(Q)$$ holds and $$f(t,x), g(t,x)$$ are continuous, then $$(u,v)\in X\times X$$ is a solution of the system (1.1) if and only if $$(u,v)\in X\times X$$ is a solution of the integral equations

$$\textstyle\begin{cases} u(t)=\int_{0}^{1} G_{1\alpha}(t,s)f(s,v(s))\,ds,\\ v(t)=\int_{0}^{1} G_{1\beta}(t,s)g(s,u(s))\,ds. \end{cases}$$

For $$(u,v)\in X\times X$$, define operators $$T_{1}$$, $$T_{2}$$ and T by

\begin{aligned} &T_{1} u(t)= \int_{0}^{1} G_{1\alpha} (t,s)f\bigl(s,v(s) \bigr)\,ds,\qquad T_{2} v(t)= \int_{0}^{1} G_{1\beta}(t,s)g\bigl(s,u(s) \bigr)\,ds, \\ &T(u,v) (t)= \biggl( \int_{0}^{1} G_{1\alpha}(t,s)f\bigl(s,v(s) \bigr)\,ds, \int_{0}^{1} G_{1\beta }(t,s)g\bigl(s,u(s) \bigr)\,ds \biggr). \end{aligned}

Then $$T_{1},T_{2}:X\rightarrow X$$ and $$T:X\times X\rightarrow X\times X$$. Moreover,

$$T(u,v) (t)=\bigl(T_{1} u(t),T_{2} v(t)\bigr).$$
(3.1)

It follows from Lemma 3.1 that the fixed point of operator T coincides with the solution of the system (1.1).

### Theorem 3.1

Assume that $$(Q)$$ and the following conditions hold:

$$(H_{1})$$ :

$$f,g\in C([0,1]\times[0,+\infty),[0,+\infty))$$ and $$f(t,0),g(t,0)\not\equiv0$$;

$$(H_{2})$$ :

$$f(t,u_{1})\le f(t,u_{2})$$, $$g(t,u_{1})\le g(t,u_{2})$$ for any $$t\in [0,1]$$, $$u_{2}\ge u_{1}\ge0$$;

$$(H_{3})$$ :

there exist $$\varphi_{1},\varphi_{2}\in\boldsymbol{\Phi}$$ such that

$$f(t,\lambda u)\ge\varphi_{1}(\lambda)f(t,u),\qquad g(t,\lambda u)\ge\varphi _{2}(\lambda)g(t,u)$$

for $$t\in[0,1],u\in[0,+\infty)$$, where $$\lambda\in(0,1)$$.

Then the problem (1.1) has a unique positive solution $$(u^{*},v^{*})$$ in $$K_{h}$$, where

$$h(t)=\bigl(h_{1}(t),h_{2}(t)\bigr)=\bigl(t^{\alpha-1},t^{\beta-1} \bigr),\quad t\in[0,1].$$

Moreover, for $$(u_{0},v_{0})\in K_{h}$$, the sequences $$\{u_{n}\}$$ and $$\{v_{n}\}$$ converge to $$u^{*}$$ and $$v^{*}$$, respectively, where

\begin{aligned} &u_{n+1}(t)= \int_{0}^{1} G_{1\alpha}(t,s)f \bigl(s,v_{n}(s)\bigr)\,ds,\\ &v_{n+1}(t)= \int_{0}^{1} G_{1\beta}(t,s)g \bigl(s,u_{n}(s)\bigr)\,ds,\quad n=1,2,\ldots, \end{aligned}

we have $$u_{n+1}(t)\rightarrow u^{*}(t),v_{n+1}(t)\rightarrow v^{*}(t)$$ as $$n\rightarrow\infty$$.

### Lemma 3.2

$$K_{h}=P_{h_{1}}\times P_{h_{2}}$$, where $$h=(h_{1},h_{2})$$.

### Proof

From Section 2, we know that

$$K_{h}=\bigl\{ (x,y) : \mbox{there exist } \lambda(x,y),\mu(x,y) >0 \mbox{ such that } \lambda(h_{1},h_{2})\leq(x,y) \leq \mu(h_{1},h_{2}) \bigr\} .$$

For $$(x,y) \in P_{h_{1}}\times P_{h_{2}}$$, we know $$x \in P_{h_{1}},y \in P_{h_{2}}$$. Then there exist $$\lambda_{1},\lambda_{2},\mu_{1},\mu_{2} >0$$, such that $$\lambda_{1}h_{1}\leq x \leq\mu_{1}h_{1},\lambda_{2}h_{2}\leq y \leq \mu_{2}h_{2}$$. Let $$\lambda=\min\{\lambda_{1},\lambda_{2}\}, \mu=\max\{ \mu_{1},\mu_{2} \}$$. Then

$$\lambda(h_{1},h_{2})=(\lambda h_{1},\lambda h_{2})\leq(x,y) \leq (\mu_{1}h_{1}, \mu_{2} h_{2}) \leq(\mu h_{1},\mu h_{2})= \mu(h_{1},h_{2}).$$

That is, $$(x,y)\in K_{h}$$ and thus $$P_{h_{1}}\times P_{h_{2}} \subset K_{h}$$.

Conversely, for $$(x,y)\in K_{h}$$, there exist $$\lambda,\mu>0$$ such that $$\lambda h\leq(x,y)\leq\mu h$$. That is,

$$(\lambda h_{1},\lambda h_{2})=\lambda(h_{1},h_{2}) \leq(x,y) \leq\mu(h_{1},h_{2})=(\mu h_{1},\mu h_{2}).$$

So we have $$\lambda h_{1} \leq x \leq\mu h_{1}, \lambda h_{2} \leq y \leq\mu h_{2}$$. That is, $$x\in P_{h_{1}}, y \in P_{h_{2}}$$. Hence, $$(x,y) \in P_{h_{1}}\times P_{h_{2}}$$. Consequently, $$K_{h} \subset P_{h_{1}}\times P_{h_{2}}$$. Therefore, $$K_{h}=P_{h_{1}}\times P_{h_{2}}$$.â€ƒâ–¡

### Proof of Theorem 3.1

Consider the operator T defined in (3.1). From Lemma 3.1, we know that $$(u,v)\in K$$ is a positive solution of (1.1) if and only if $$(u,v)$$ is a positive fixed point of T. By using Lemma 2.2 and $$(H_{1})$$, we get $$T_{1}:P\rightarrow P$$, $$T_{2}:P\rightarrow P$$. And thus $$T:K\rightarrow K$$.

Firstly, we prove that $$T:K\rightarrow K$$ is increasing. For $$(u_{1},v_{1}),(u_{2},v_{2})\in K$$ with $$(u_{1},v_{1})\le(u_{2},v_{2})$$, we know that $$u_{1}(t)\le u_{2} (t)$$, $$v_{1}(t)\le v_{2}(t)$$, and by using Lemma 2.2 and $$(H_{2})$$,

\begin{aligned} &T_{1}u_{1}(t)= \int_{0}^{1} G_{1\alpha}(t,s)f \bigl(s,v_{1}(s)\bigr)\,ds\le \int_{0}^{1} G_{1\alpha }(t,s)f \bigl(s,v_{2}(s)\bigr)\,ds=T_{1}u_{2}(t), \\ &T_{2}v_{1}(t)= \int_{0}^{1} G_{1\beta}(t,s)g \bigl(s,u_{1}(s)\bigr)\,ds\le \int_{0}^{1} G_{1\beta }(t,s)g \bigl(s,u_{2}(s)\bigr)\,ds=T_{2}v_{2}(t). \end{aligned}

Thus,

$$T(u_{1},v_{1}) (t)=\bigl(T_{1}u_{1}(t),T_{2}v_{1}(t) \bigr)\le\bigl(T_{1} u_{2}(t),T_{2}v_{2}(t) \bigr)=T(u_{2},v_{2}) (t).$$

So that $$T:K\rightarrow K$$ is increasing.

In the sequel, we show that T satisfies the two conditions of Lemma 2.5. From $$(H_{3})$$, for any $$\lambda\in(0,1)$$ and $$(u,v)\in K$$, we have

\begin{aligned} &T_{1}(\lambda u) (t)= \int_{0}^{1} G_{1\alpha}(t,s)f\bigl(s,\lambda v(s)\bigr)\,ds \ge \varphi_{1}(\lambda) \int_{0}^{1} G_{1\alpha}(t,s)f\bigl(s,v(s) \bigr)\,ds=\varphi_{1}(\lambda )T_{1}u(t), \\ &T_{2}(\lambda v) (t)= \int_{0}^{1} G_{1,\beta}(t,s)g\bigl(s,\lambda u(s)\bigr)\,ds\ge \varphi_{2} (\lambda) \int_{0}^{1} G_{1\beta}(t,s)g\bigl(s,u(s) \bigr)\,ds=\varphi_{2}(\lambda )T_{2}v(t), \end{aligned}

and thus

$$T\bigl(\lambda(u,v)\bigr) (t)=T(\lambda u,\lambda v) (t)=\bigl(T_{1}( \lambda u) (t),T_{2}(\lambda v) (t)\bigr)\ge\bigl(\varphi_{1}( \lambda)T_{1} u(t),\varphi _{2}(\lambda)T_{2}v(t) \bigr).$$

Let $$\varphi(t)=\min\{\varphi_{1}(t),\varphi_{2}(t)\},t\in(0,1)$$. Then $$\varphi\in\boldsymbol{\Phi}$$ and

$$T\bigl(\lambda(u,v)\bigr)\ge\bigl(\varphi(\lambda)T_{1}u,\varphi( \lambda)T_{2} v\bigr)=\varphi (\lambda) (T_{1}u,T_{2}v)= \varphi(\lambda)T(u,v),\quad \lambda\in(0,1).$$

Hence, the second condition of Lemma 2.5 holds.

Next we prove that the first condition of Lemma 2.5 also holds. To this aim, we take $$h_{0}(t)=h(t)=(h_{1}(t),h_{2}(t))$$, where $$h_{1}(t)=t^{\alpha -1}$$, $$h_{2}(t)=t^{\beta-1}$$, $$t\in[0,1]$$. From Lemma 3.2, we only need prove $$T_{1}h_{1}\in P_{h_{1}}$$, $$T_{2}h_{2}\in P_{h_{2}}$$. By using Lemma 2.4 and $$(H_{1})$$, $$(H_{2})$$,

\begin{aligned} T_{1}h_{1}(t) =& \int_{0}^{1} G_{1\alpha} (t,s)f \bigl(s,h_{2}(s)\bigr)\,ds \\ \ge& \int_{0}^{1} \frac{(\alpha-1)\sigma_{3} s(1-s)^{\alpha-1}}{(1-\sigma _{1})\Gamma(\alpha)}t^{\alpha-1}f \bigl(s,s^{\beta-1}\bigr)\,ds \\ \ge& \frac{(\alpha-1)\sigma_{3}}{(1-\sigma_{1})\Gamma(\alpha)}h_{1}(t) \int _{0}^{1} s(1-s)^{\alpha-1}f(s,0)\,ds \end{aligned}

and

\begin{aligned} T_{1}h_{1}(t) \le& \int_{0}^{1} \frac{(1-s)^{\alpha-1}t^{\alpha-1}}{\Gamma (\alpha)(1-\sigma_{1})}f(s,1)\,ds \\ =&\frac{1}{\Gamma(\alpha)(1-\sigma_{1})}h_{1}(t) \int_{0}^{1}(1-s)^{\alpha-1}f(s,1)\,ds. \end{aligned}

From $$(H_{2})$$, we obtain $$f(s,1)\ge f(s,0)\ge0$$, $$s \in[0,1]$$. Because $$f(s,0) \not\equiv0$$, we have

$$s(1-s)^{\alpha-1}f(s,0)\not\equiv0,\qquad (1-s)^{\alpha-1}f(s,1)\not \equiv0.$$

Hence,

$$\int_{0}^{1} (1-s)^{\alpha-1}f(s,1)\,ds\ge \int_{0}^{1} s(1-s)^{\alpha-1} f(s,0)\,ds>0.$$

Note that $$\sigma_{3}\le\sigma_{1}<1$$ and $$\alpha-1\le1$$, we get

$$l_{1}:= \frac{(\alpha-1)\sigma_{3}}{(1-\sigma_{1})\Gamma(\alpha)} \int_{0}^{1} s(1-s)^{\alpha-1}f(s,0)\,ds\le l_{2}:=\frac{1}{(1-\sigma_{1})\Gamma(\alpha )} \int_{0}^{1} (1-s)^{\alpha-1}f(s,1)\,ds.$$

So we have $$l_{2}\ge l_{1}>0$$ and $$l_{1}h_{1}(t)\le T_{1}h_{1}(t)\le l_{2}h_{1}(t),t\in [0,1]$$; and thus $$T_{1}h_{1}\in P_{h_{1}}$$. Similarly, by using Lemma 2.4 and $$(H_{1})$$, $$(H_{2})$$, we also can prove $$T_{2}h_{2}\in P_{h_{2}}$$. Therefore,

$$Th=T(h_{1},h_{2})=(T_{1}h_{1},T_{2}h_{2}) \in P_{h_{1}}\times P_{h_{2}}=K_{h}.$$

Consequently, by Lemma 2.5, there exists a unique $$x^{*}\in K_{h}$$ such that $$Tx^{*}=x^{*}$$, and for any $$x_{0}\in K_{h}$$, construct a sequence $$x_{n+1}=Tx_{n}$$, $$n=0,1,2,\ldots$$â€‰, we have $$x_{n}\rightarrow x^{*}$$ as $$n\rightarrow\infty$$.

Set $$x^{*}=(u^{*},v^{*})$$, $$x_{0}=(u_{0},v_{0})$$. Then we see that $$(u^{*},v^{*})$$ is the unique positive solution of the system (1.1) in $$K_{h}$$, and the sequences

\begin{aligned} &u_{n+1}(t)= \int_{0}^{1} G_{1\alpha}(t,s)f \bigl(s,v_{n}(s)\bigr)\,ds\rightarrow u^{*}(t), \\ &v_{n+1}(t)= \int_{0}^{1} G_{1\beta}(t,s)g \bigl(s,u_{n}(s)\bigr)\,ds\rightarrow v^{*}(t), \end{aligned}

as $$n\rightarrow\infty$$.â€ƒâ–¡

## 4 An example

### Example 4.1

Consider the following coupled system of fractional differential equations:

$$\textstyle\begin{cases} D^{\frac{3}{2}}u(t)+[v(t)]^{\tau_{1}}+a_{1}(t)=0,\qquad D^{\frac{4}{3}}v(t)+[u(t)]^{\tau_{2}}+a_{2}(t)=0,\quad0< t< 1,\\ u(0)=0,\qquad u(1)=\int_{0}^{1} t^{2} u(t)\,dt,\qquad v(0)=0,\qquad v(1)=\int_{0}^{1} tv(t)\,dt, \end{cases}$$
(4.1)

where $$\tau_{1},\tau_{2} \in(0,1)$$, $$a_{1},a_{2}:[0,1]\rightarrow[0,+\infty)$$ are continuous with $$a_{i} \not\equiv0$$. In this example, $$\alpha=\frac{3}{2}$$, $$\beta=\frac{4}{3}$$ and

$$f(t,x)=x^{\tau_{1}}+a_{1}(t),\qquad g(t,x)=x^{\tau_{2}}+a_{2}(t), \qquad \phi(t)=t^{2},\qquad \psi(t)=t.$$

After a simple computation, we have

\begin{aligned} &\sigma_{1}= \int_{0}^{1} t^{\alpha-1}\phi(t)\,dt= \int_{0}^{1}t^{\frac{1}{2}}\cdot t^{2} \,dt= \int_{0}^{1}t^{\frac{5}{2}}\,dt=\frac{2}{7}, \\ &\sigma_{2}= \int_{0}^{1} t^{\beta-1}\psi(t)\,dt= \int_{0}^{1} t^{\frac{1}{3}}\cdot t\,dt= \int_{0}^{1}t^{\frac{4}{3}}\,dt=\frac{3}{7}, \\ &\sigma_{3}= \int_{0}^{1} t^{\frac{1}{2}}(1-t)t^{2} \,dt= \int_{0}^{1}\bigl(t^{\frac{5}{2}}-t^{\frac{7}{2}} \bigr)\,dt=\frac{4}{63}, \\ &\sigma_{4}= \int_{0}^{1} t^{\frac{1}{3}}(1-t)t\,dt= \int_{0}^{1}\bigl(t^{\frac{4}{3}}-t^{\frac{7}{3}} \bigr)\,dt=\frac{9}{70}. \end{aligned}

Evidently, $$\sigma_{1},\sigma_{2}\in(0,1)$$, $$\sigma_{3},\sigma_{4}>0$$. $$f,g \in C([0,1]\times[0,+\infty),[0,+\infty))$$ and $$f(t,0)=a_{1}(t)\not\equiv 0$$, $$g(t,0)=a_{2}(t)\not\equiv0$$. Note that $$x^{\tau_{i}}$$ ($$i=1,2$$) are increasing in $$[0,+\infty)$$, we have $$f(t,x)$$, $$g(t,x)$$ are increasing in $$x\in[0,+\infty)$$. Hence, $$(H_{1})$$, $$(H_{2})$$ are satisfied. In addition, let

$$\varphi_{1}(t)=t^{\tau_{1}},\qquad \varphi_{2}(t)=t^{\tau_{2}}, \quad t\in(0,1).$$

Then $$\varphi_{1},\varphi_{2}\in\boldsymbol{\Phi}$$ and, for $$\lambda\in(0,1)$$ and $$x\in[0,+\infty)$$,

\begin{aligned} &f(t,\lambda x)=\lambda^{\tau_{1}}x^{\tau_{1}}+a_{1}(t)\ge \lambda^{\tau _{1}}\bigl[x^{\tau_{1}}+a_{1}(t)\bigr]= \varphi_{1}(\lambda)f(t,x); \\ &g(t,\lambda x)=\lambda^{\tau_{2}}x^{\tau_{2}}+a_{2}(t)\ge \lambda^{\tau _{2}}\bigl[x^{\tau_{2}}+a_{2}(t)\bigr]= \varphi_{2}(\lambda)g(t,x). \end{aligned}

The condition $$(H_{3})$$ in Theorem 3.1 also holds. Therefore, by Theorem 3.1, the boundary value problem (4.1) has a unique positive solution $$(u^{*},v^{*})$$ in $$k_{h}$$, where

$$h(t)=\bigl(h_{1}(t),h_{2}(t)\bigr)=\bigl(t^{\frac{1}{2}},t^{\frac{1}{3}} \bigr),\quad t\in[0,1],$$

and for any given $$(u_{0},v_{0})\in k_{h}$$, making the sequences

\begin{aligned} &u_{n+1}(t)= \int_{0}^{1} G_{1\alpha}(t,s) \bigl\{ \bigl[v_{n}(s)\bigr]^{\tau _{1}}+a_{1}(s) \bigr\} \,ds, \\ &v_{n+1}(t)= \int_{0}^{1} G_{1\beta}(t,s) \bigl\{ \bigl[u_{n}(s)\bigr]^{\tau_{2}}+a_{2}(s) \bigr\} \,ds, \end{aligned}

$$n=1,2,\ldots$$â€‰, then we obtain $$u_{n}(t)\rightarrow u^{*}(t)$$, $$v_{n}(t)\rightarrow v^{*}(t)$$ as $$n\rightarrow\infty$$, where

\begin{aligned} &G_{1\alpha}(t,s)=G_{2\alpha}(t,s)+G_{3\alpha}(t,s),G_{1\beta }(t,s)=G_{2\beta}(t,s)+G_{3\beta}(t,s), \\ &G_{2\alpha}(t,s)= \textstyle\begin{cases} \frac{t^{\frac{1}{2}}(1-s)^{\frac{1}{2}}-(t-s)^{\frac{1}{2}}}{\Gamma(\frac{3}{2})},& s\le t,\\ \frac{t^{\frac{1}{2}}(1-s)^{\frac{1}{2}}}{\Gamma(\frac{3}{2})}, & t\le s, \end{cases}\displaystyle \\ &G_{2\beta}(t,s)= \textstyle\begin{cases} \frac{t^{\frac{1}{3}}(1-s)^{\frac{1}{3}}-(t-s)^{\frac{1}{3}}}{\Gamma(\frac{4}{3})},& s\le t,\\ \frac{t^{\frac{1}{3}}(1-s)^{\frac{1}{3}}}{\Gamma(\frac{4}{3})}, & t\le s, \end{cases}\displaystyle \\ &\begin{aligned} G_{3\alpha}(t,s)&= \frac{t^{\frac{1}{2}}}{1-\sigma_{1}} \int_{0}^{1} t^{2} G_{2\alpha}(t,s) \,dt \\ &= \frac{t^{\frac{1}{2}}}{\frac{5}{7} \Gamma(\frac{3}{2})} \biggl\{ \int_{0}^{s} t^{2}\cdot t^{\frac{1}{2}}(1-s)^{\frac{1}{2}}\,dt+ \int_{s}^{1} t^{2} \cdot \bigl[t^{\frac{1}{2}}(1-s)^{\frac{1}{2}}-(t-s)^{\frac{1}{2}} \bigr]\,dt \biggr\} \\ &= \frac{7t^{\frac{1}{2}}}{5\Gamma(\frac{2}{3})} \biggl[\frac{2}{7} (1-s)^{\frac{1}{2}}- \frac{2}{3} (1-s)^{\frac{3}{2}}+\frac{8}{15}(1-s)^{\frac{5}{2}}- \frac{16}{105}(1-s)^{\frac{7}{2}} \biggr] \\ &= \frac{2t^{\frac{1}{2}}}{75\Gamma(\frac{3}{2})} \bigl[15(1-s)^{\frac{1}{2}}-35(1-s)^{\frac{3}{2}}+28(1-s)^{\frac{5}{2}}-8(1-s)^{\frac{7}{2}} \bigr], \end{aligned} \end{aligned}

and

\begin{aligned} G_{3\beta}(t,s) =& \frac{t^{\frac{1}{3}}}{1-\sigma_{2}} \int_{0}^{1} tG_{2\beta }(t,s)\,dt \\ =& \frac{t^{\frac{1}{3}}}{\frac{4}{7} \Gamma(\frac{4}{3})} \biggl\{ \int_{0}^{s} t\cdot t^{\frac{1}{3}}(1-s)^{\frac{1}{3}} \,dt+ \int_{s}^{1} t \bigl[t^{\frac{1}{3} } (1-s)^{\frac{1}{3}}-(t-s)^{\frac{1}{3}} \bigr]\,dt \biggr\} \\ =& \frac{7t^{\frac{1}{3}}}{4\Gamma(\frac{4}{3})} \biggl[\frac{3}{7} (1-s)^{\frac{1}{3}}- \frac{3}{4}(1-s)^{\frac{4}{3}}+\frac{9}{28}(1-s)^{\frac{7}{3}} \biggr] \\ =& \frac{3t^{\frac{1}{3}}}{16 \Gamma(\frac{4}{3})} \bigl[4(1-s)^{\frac{1}{3}}-7(1-s)^{\frac{4}{3}}+3(1-s)^{\frac{7}{3}} \bigr]. \end{aligned}

### Remark 4.1

In Example 4.1, we replace f, g by $$f\equiv g\equiv 1$$. Then the problem (4.1) has a unique solution $$(u^{*},v^{*})$$, where

\begin{aligned} &u^{*}(t)= \int_{0}^{1} G_{1\alpha}(t,s)\,ds= \frac{2}{135\Gamma(\frac{3}{2})} \bigl(49t^{\frac{1}{2}}-45t^{\frac{2}{3}} \bigr),\quad t \in[0,1], \\ &v^{*}(t)= \int_{0}^{1} G_{1\beta}(t,s)\,ds= \frac{3}{160\Gamma(\frac{4}{3})} \bigl(49t^{\frac{1}{3}}-40t^{\frac{4}{3}} \bigr),\quad t \in[0,1]. \end{aligned}

Further, we can easily obtain

\begin{aligned} &\frac{8}{135 \Gamma(\frac{3}{2})}t^{\frac{1}{2}}\le u^{*}(t)\le\frac{98}{135 \Gamma(\frac{3}{2})}t^{\frac{1}{2}}, \quad t\in[0,1], \\ &\frac{27}{160\Gamma(\frac{4}{3})}t^{\frac{1}{3}}\le v^{*}(t)\le\frac {147}{160\Gamma(\frac{4}{3})}t^{\frac{1}{3}}, \quad t\in[0,1]. \end{aligned}

So the unique solution $$(u^{*},v^{*})$$ is a positive solution and satisfies $$(u^{*},v^{*})\in K_{(t^{\frac{1}{2}},t^{\frac{1}{3}})}$$.

## References

1. Ahmad, B: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17(2), 348-360 (2014)

2. Ahmad, B, Nieto, J: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838-1843 (2009)

3. Ahmad, B, Ntouyas, SK, Alsaedi, A: On a coupled system of fractional differential equations with coupled nonlocal and integral boundary conditions. Chaos Solitons Fractals 83, 234-241 (2016)

4. Aljoudi, S, Ahmad, B, Nieto, JJ, Alsaedi, A: A coupled system of Hadamard type sequential fractional differential equations with coupled strip conditions. Chaos Solitons Fractals 91, 39-46 (2016)

5. Bai, C, Fang, J: The existence of a positive solution for a singular coupled system of nonlinear fractional differential equations. Appl. Math. Comput. 150, 611-621 (2004)

6. Bhrawy, AH, Zaky, MA: Shifted fractional-order Jacobi orthogonal functions: application to a system of fractional differential equations. Appl. Math. Model. 40, 832-845 (2016)

7. Butera, S, Paola, MD: Mellin transform approach for the solution of coupled systems of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 20, 32-38 (2015)

8. Daftardar-Gejji, V: Positive solutions of a system of non-autonomous fractional differential equations. J. Math. Anal. Appl. 302, 56-64 (2005)

9. ErtÃ¼rk, VS, Momani, S: Solving systems of fractional differential equations using differential transform method. J.Â Comput. Appl. Math. 215, 142-151 (2008)

10. Feng, M, Zhang, X, Ge, W: New existence results for higher-order nonlinear fractional differential equation with integral boundary conditions. Bound. Value Probl. 2011, Article ID 720702 (2011)

11. Hao, M, Zhai, C: Application of Schauder fixed point theorem to a coupled system of differential equations of fractional order. J. Nonlinear Sci. Appl. 7, 131-137 (2014)

12. Henderson, J, Luca, R: Positive solutions for a system of fractional differential equations with coupled integral boundary conditions. Appl. Math. Comput. 249, 182-197 (2014)

13. Henderson, J, Ntouyas, SK, Purnaras, IK: Positive solutions for systems of generalized three-point nonlinear boundary value problems. Comment. Math. Univ. Carol. 49, 79-91 (2008)

14. Khader, MM, EI Danaf, TS, Hendy, AS: A computational matrix method for solving systems of high order fractional differential equations. Appl. Math. Model. 37, 4035-4050 (2013)

15. Li, H, Liang, Y, Wang, Z, Zhang, L, Teng, Z: Global Mittag-Leffler stability of coupled system of fractional-order differential equations on network. Appl. Math. Comput. 270, 269-277 (2015)

16. Liu, S, Wang, G, Zhang, L: Existence results for a coupled system of nonlinear neutral fractional differential equations. Appl. Math. Lett. 26, 1120-1124 (2013)

17. Salem, H: On the existence of continuous solutions for a singular system of nonlinear fractional differential equations. Appl. Math. Comput. 198, 445-452 (2008)

18. Rehman, M, Khan, R: A note on boundary value problems for a coupled system of fractional differential equations. Comput. Math. Appl. 61, 2630-2637 (2011)

19. Su, X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64-69 (2009)

20. Sun, S, Li, Q, Li, Y: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 64, 3310-3320 (2012)

21. Wang, J, Xiang, H, Liu, Z: Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations. Int. J. Differ. Equ. 2010, Article ID 186928 (2010)

22. Xu, N, Liu, W: Iterative solutions for a coupled system of fractional differential-integral equations with two-point boundary conditions. Appl. Math. Comput. 244, 903-911 (2014)

23. Yang, W: Positive solutions for a coupled system of nonlinear fractional differential equations with integral boundary conditions. Comput. Math. Appl. 63, 288-297 (2012)

24. Yang, W: Positive solutions for nonlinear semipositone q-difference system with coupled integral boundary conditions. Appl. Math. Comput. 244, 702-725 (2014)

25. Yang, X, Li, C, Huang, T, Song, Q: Mittag-Leffler stability analysis of nonlinear fractional-order systems with impulses. Appl. Math. Comput. 293, 416-422 (2017)

26. Yuan, C, Jiang, D, Oâ€™Regan, D, Agarwal, RP: Multiple positive solutions to systems of nonlinear semipositone fractional differential equations with coupled boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2012, 13 (2012)

27. Zhai, C, Hao, M: Multiple positive solutions to nonlinear boundary value problems of a system for fractional differential equations. Sci. World J. 2014, Article ID 817542 (2014)

28. Zhao, Y, Qin, HC: Multiple solutions for a coupled system of nonlinear fractional differential equations via variational methods. Appl. Math. Comput. 257, 417-427 (2015)

29. Amman, H: Parabolic evolution equations with nonlinear boundary conditions. In: Proc. Sympos. Pure Math., vol.Â 45, pp.Â 17-27. Amer. Math. Soc., Providence (1986)

30. Amman, H: Parabolic evolution equations and nonlinear boundary conditions. J. Differ. Equ. 72, 201-269 (1998)

31. Deng, K: Blow-up rates for parabolic systems. Z. Angew. Math. Phys. 47, 132-143 (1996)

32. Deng, K: Global existence and blow-up for a system of heat equations with nonlinear boundary condition. Math. Methods Appl. Sci. 18, 307-315 (1995)

33. Lin, ZG, Xie, CH: The blow-up rate for a system of heat equations with nonlinear boundary condition. Nonlinear Anal. 34, 767-778 (1998)

34. Infante, G: Nonlocal boundary value problems with two nonlinear boundary conditions. Commun. Appl. Anal. 12, 279-288 (2008)

35. Infante, G, Pietramala, P: Multiple nonnegative solutions of systems with coupled nonlinear boundary conditions. Math. Methods Appl. Sci. 37, 2080-2090 (2014)

36. Aronson, DG: A comparison method for stability analysis of nonlinear parabolic problems. SIAM Rev. 20, 245-264 (1978)

37. Pedersen, M, Lin, Z: Blow-up analysis for a system of heat equations coupled through a nonlinear boundary condition. Appl. Math. Lett. 14, 171-176 (2001)

38. Alsaedi, A, Aljoudi, S, Ahmad, B: Existence of solutions for Riemann-Liouville type coupled systems of fractional integro-differential equations and boundary conditions. Electron. J. Differ. Equ. 2016, 211 (2016)

39. Alsulami, HH, Ntouyas, SK, Agarwal, RP, Ahmad, B, Alsaedi, A: A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions. Bound. Value Probl. 2017, 68 (2017)

40. Zhai, C, Wang, F: Properties of positive solutions for the operator equation $$Ax=\lambda x$$ and applications to fractional differential equations with integral boundary conditions. Adv. Differ. Equ. 2015, 366 (2015)

41. Kilbas, A, Srivastava, H, Trujillo, J: Theory and applications of fractional differential equations. In: North-Holland Mathematics Studies, vol.Â 204. Elsevier, Amsterdam (2006)

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

43. Jiang, D, Yuan, C: The positive properties of the Green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application. Nonlinear Anal. 72, 710-719 (2010)

44. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)

45. Krasnoselskii, MA: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)

46. Zhai, C, Yang, C, Zhang, X: Positive solutions for nonlinear operator equations and several classes of applications. Math. Z. 266, 43-63 (2010)

## Acknowledgements

The first author was supported by the Science Foundation of Shanxi Province (2013011003-3). The second author was partially supported by the Youth Science Foundation of China (11201272) and Shanxi Province Science Foundation (2015011005), 131 Talents Project of Shanxi (2015).

## Author information

Authors

### Corresponding author

Correspondence to Chengbo Zhai.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

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

### Publisherâ€™s Note

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

## Rights and permissions

Reprints and permissions

Yang, C., Zhai, C. & Zhang, L. Local uniqueness of positive solutions for a coupled system of fractional differential equations with integral boundary conditions. Adv Differ Equ 2017, 282 (2017). https://doi.org/10.1186/s13662-017-1343-7