Skip to main content

A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions

Abstract

In this paper, we introduce a new concept of coupled non-separated boundary conditions and solve a coupled system of fractional differential equations supplemented with these conditions. The existence results obtained in the given configuration are not only new but also yield some new special results corresponding to particular values of the parameters involved in the problem. For the illustration of the existence and uniqueness result, an example is constructed.

1 Introduction

Fractional differential equations have gained considerable importance due to their varied applications in many problems of physics, chemistry, biology, applied sciences and engineering. The tools of fractional calculus are found to be of great support in developing a more realistic mathematical modeling of the applied problems in terms of fractional differential equations. Fractional-order models are regarded as better than the classical ones (based on differential equations) as fractional derivatives can take care of the hereditary properties of materials and processes involved in the problem at hand. For details and explanations, we refer the reader to the texts [1–4]. In particular, a great interest has been shown by many authors in the subject of fractional-order boundary value problems (BVPs), and a variety of results for BVPs equipped with different kinds of boundary conditions have been obtained, for instance, see [5–13] and the references cited therein.

Coupled systems of fractional-order differential equations constitute an interesting and important field of research in view of their applications in many real world problems such as anomalous diffusion [14], disease models [15–17], ecological models [18], synchronization of chaotic systems [19–21], etc. For some theoretical works on coupled systems of fractional-order differential equations, we refer the reader to a series of papers [22–27].

In this paper, we consider a new boundary value problem of coupled Caputo type fractional differential equations:

$$ \textstyle\begin{cases} {}^{\mathrm{c}}D^{\alpha} x(t) =f(t, x(t), y(t)), \quad t\in[0,T], 1< \alpha\leq2 \\ {}^{\mathrm{c}}D^{\beta} y(t) =g(t,x(t), y(t)), \quad t\in[0,T], 1< \beta\leq 2, \end{cases} $$
(1.1)

subject to the following non-separated coupled boundary conditions:

$$ \textstyle\begin{cases} x(0)=\lambda_{1} y(T),\qquad x'(0)=\lambda_{2} y'(T), \\ y(0)=\mu_{1} x(T), \qquad y'(0)=\mu_{2} x'(T), \end{cases} $$
(1.2)

where \({}^{\mathrm{c}}D^{\alpha}\), \({}^{\mathrm{c}}D^{\beta}\) denote the Caputo fractional derivatives of order α and β, respectively, \(f,g : [0,T] \times\mathbb{R}\times\mathbb{R} \to\mathbb{R}\) are appropriately chosen functions, and \(\lambda_{i}\), \(\mu_{i}\), \(i=1,2\), are real constants with \(\lambda_{i}\mu_{i}\ne1\), \(i=1,2\).

Here we emphasize that our problem is new in the sense of non-separated coupled boundary conditions introduced here. To the best of our knowledge, fractional-order coupled system (1.1) has yet to be studied with the boundary conditions (1.2). In consequence, our findings of the present work will be a useful contribution to the existing literature on the topic. The existence and uniqueness results for the given problem are new, though they are proved by applying the well-known method based on Banach’s contraction principle and Leray-Schauder’s alternative.

The rest of the contents of the paper is organized as follows. In Section 2, we recall some basic definitions of fractional calculus and present an auxiliary lemma, which plays a pivotal role in obtaining the main results presented in Section 3. We also discuss an example for illustration of the existence-uniqueness result. The paper concludes with some interesting observations.

2 Preliminaries

First of all, we recall some basic definitions of fractional calculus.

Definition 2.1

The fractional integral of order r with the lower limit zero for a function f is defined as

$$I^{r} f(t)= \frac{1}{\Gamma(r)} \int_{0}^{t}\frac{f(s)}{(t-s)^{1-r}}\,ds,\quad t>0, r>0, $$

provided the right-hand side is point-wise defined on \([0,\infty)\), where \(\Gamma(\cdot)\) is the gamma function, which is defined by \(\Gamma(r)=\int_{0}^{\infty}t^{r-1}e^{-t}\,dt\).

Definition 2.2

The Riemann-Liouville fractional derivative of order \(r>0\), \(n-1< r< n\), \(n\in{\mathbb {N}}\), is defined as

$$D_{0+}^{r}f(t)=\frac{1}{\Gamma(n-r)} \biggl(\frac{d}{dt} \biggr)^{n} \int_{0}^{t} (t-s)^{n-r-1}f(s)\,ds, $$

where the function \(f(t)\) has an absolutely continuous derivative up to order \((n-1)\).

Definition 2.3

The Caputo derivative of order r for a function \(f:[0,\infty)\to {\mathbb {R}}\) can be written as

$$ {}^{\mathrm{c}}D^{r} f(t)= D_{0+}^{r} \Biggl(f(t)-\sum_{k=0}^{n-1} \frac{t^{k}}{k!}f^{(k)}(0) \Biggr),\quad t>0, n-1< r< n. $$

Remark 2.4

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

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

Now we present an auxiliary lemma which plays a key role in the sequel.

Lemma 2.5

Let \(\phi,h\in C([0,T], {\mathbb {R}})\) and \(\lambda_{i}\mu_{i}\ne1\), \(i=1,2\). Then the solution of the linear fractional differential system

$$ \textstyle\begin{cases} {}^{\mathrm{c}}D^{\alpha} x(t) =\phi(t),\quad t\in[0,T], 1< \alpha\leq2, \\ {}^{\mathrm{c}}D^{\beta} y(t) =h(t), \quad t\in[0,T], 1< \beta\leq2, \\ x(0)=\lambda_{1} y(T), \qquad x'(0)=\lambda_{2} y'(T), \\ y(0)=\mu_{1} x(T), \qquad y'(0)=\mu_{2} x'(T), \end{cases} $$
(2.1)

is equivalent to the system of integral equations

$$\begin{aligned} x(t) =& \frac{\mu_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{\lambda_{1}T(\mu _{1}\lambda_{2}+1)}{1-\lambda_{1}\mu_{1}}+ \lambda_{2} t \biggr)B_{2} +\frac{\lambda_{2}}{1-\lambda_{2}\mu_{2}} \biggl( \frac{T(\mu_{1}+\mu _{2})\lambda_{1}}{1-\lambda_{1}\mu_{1}}+t \biggr)A_{2} \\ &{}+\frac{\lambda_{1}}{1-\lambda_{1}\mu_{1}}(A_{1}+ \mu_{1} B_{1})+ \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\phi(s)\,ds \end{aligned}$$
(2.2)

and

$$\begin{aligned} y(t) =& \frac{\mu_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{T\mu_{1}(\lambda _{1}+\lambda_{2})}{1-\lambda_{1}\mu_{1}}+t \biggr)B_{2}+ \frac{\lambda_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{T\mu_{1}(\lambda _{1}\mu_{2}+1)}{1-\lambda_{1}\mu_{1}}+ \mu_{2}t \biggr)A_{2} \\ &{}+\frac{\mu_{1}}{1-\lambda_{1}\mu_{1}}(\lambda_{1}A_{1}+B_{1})+ \int_{0}^{t}\frac {(t-s)^{\beta-1}}{\Gamma(\beta)}h(s)\,ds, \end{aligned}$$
(2.3)

where

$$\begin{aligned}& A_{1} = \int_{0}^{T}\frac{(T-s)^{\beta-1}}{\Gamma(\beta)}h(s)\,ds,\qquad B_{1}= \int_{0}^{T}\frac{(T-s)^{\alpha-1}}{\Gamma(\alpha)}\phi(s)\,ds, \\& A_{2} = \int_{0}^{T}\frac{(T-s)^{\beta-2}}{\Gamma(\beta-1)}h(s)\,ds,\qquad B_{2}= \int_{0}^{T}\frac{(T-s)^{\alpha-2}}{\Gamma(\alpha-1)}\phi(s)\,ds. \end{aligned}$$

Proof

We know that the general solution of fractional differential equations in (2.1) can be written as

$$\begin{aligned}& x(t)=a_{0}+a_{1}t+ \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}\phi(s)\,ds, \end{aligned}$$
(2.4)
$$\begin{aligned}& y(t)=b_{0}+b_{1}t+ \int_{0}^{t}\frac{(t-s)^{\beta-1}}{\Gamma(\beta)}h(s)\,ds, \end{aligned}$$
(2.5)

where \(a_{i}\), \(b_{1}\), \(i=0,1\), are arbitrary real constants.

Using the boundary conditions in (2.4) and (2.5), we have

$$\begin{aligned}& x(0) = \lambda_{1} y(T)\quad \Rightarrow \quad a_{0}= \lambda_{1}(b_{0}+b_{1}T+A_{1}), \\& y(0) = \mu_{1} x(T)\quad \Rightarrow\quad b_{0}= \mu_{1}(a_{0}+a_{1}T+B_{1}), \\& x'(0) = \lambda_{2} y'(T)\quad \Rightarrow \quad a_{1}=\lambda_{2}(b_{1}+A_{2}), \\& y'(0) = \mu_{2} x'(T)\quad \Rightarrow \quad b_{1}=\mu_{2}(a_{1}+B_{2}). \end{aligned}$$

From the last two relations we find

$$a_{1}=\frac{\lambda_{2}}{1-\lambda_{2} \mu_{2}}(\mu_{2}B_{2}+A_{2}) \quad \mbox{and}\quad b_{1}=\frac{\mu_{2}}{1-\lambda_{2}\mu_{2}}(B_{2}+ \lambda_{2} A_{2}). $$

Substituting \(a_{1}\) and \(b_{1}\) in the first two relations, we find

$$\begin{aligned} a_{0} =&\frac{\lambda_{1}}{1-\lambda_{1}\mu_{1}}[\mu_{1}Ta_{1}+\mu _{1}B_{1}+Tb_{1}+A_{1}] \\ =&\frac{\lambda_{1}}{1-\lambda_{1}\mu_{1}} \biggl[\frac{\mu_{1}T\lambda _{2}}{1-\lambda_{2}\mu_{2}}(\mu_{2}B_{2}+A_{2})+ \mu_{1}B_{1f}+A_{1}+\frac{T\mu _{2}}{1-\lambda_{2}\mu_{2}} (B_{2}+\lambda_{2} A_{2}) \biggr] \\ =&\frac{\lambda_{1}}{1-\lambda_{1}\mu_{1}} \biggl[\frac{T\mu_{2}(\mu _{1}\lambda_{2}+1)}{1-\lambda_{2}\mu_{2}}B_{2}+ \frac{T\lambda_{2}(\mu_{1}+\mu _{2})}{1-\lambda_{2}\mu_{2}}A_{2}+A_{1}+\mu_{1}B_{1} \biggr], \end{aligned}$$

and

$$\begin{aligned} b_{0} =&\mu_{1}a_{0}+\mu_{1}a_{1}T+ \mu_{1}B_{1} \\ =&\frac{\lambda_{1}\mu_{1}}{1-\lambda_{1}\mu_{1}} \biggl[\frac{T\mu _{2}(\mu_{1}\lambda_{2}+1)}{1-\lambda_{2}\mu_{2}}B_{2}+ \frac{T\lambda_{2}(\mu _{1}+\mu_{2})}{1-\lambda_{2}\mu_{2}}A_{2}+A_{1}+\mu_{1}B_{1} \biggr] \\ &{}+\frac{\mu_{1}T\lambda_{2}}{1-\lambda_{2}\mu_{2}}[\mu_{2}B_{2}+A_{2}]+\mu _{1}B_{1} \\ =&\frac{T\mu_{1}\mu_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{\lambda _{1}+\lambda_{2}}{1-\lambda_{1}\mu_{1}} \biggr)B_{2} + \frac{T\mu_{1}\lambda _{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{\lambda_{1}\mu_{2}+1}{1-\lambda _{1}\mu_{1}} \biggr)A_{2} \\ &{}+\frac{\lambda_{1}\mu_{1}}{1-\lambda_{1}\mu_{1}}A_{1}+\frac{\mu _{1}}{1-\lambda_{1}\mu_{1}}B_{1}. \end{aligned}$$

Inserting the values of \(a_{i}\), \(b_{i}\), \(i=0,1\), in (2.4) and (2.5), we get solutions (2.2) and (2.3). The converse follows by direct computation. This completes the proof. □

3 Main results

Let us introduce the space \(X=\{u(t)|u(t)\in C([0,T], {\mathbb {R}})\}\) endowed with the norm \(\|u\|=\sup\{|u(t)|, t\in[0,T]\}\). Obviously, \((X,\|\cdot\|)\) is a Banach space. Then the product space \((X\times X, \|(u,v)\|)\) is also a Banach space equipped with the norm \(\|(u,v)\|=\| u\|+\|v\|\).

In view of Lemma 2.5, we define the operator \(T: X\times X\to X\times X\) by

$$T(u,v) (t)=\left ( \textstyle\begin{array}{@{}c@{}} T_{1}(u,v)(t) \\ T_{2}(u,v)(t) \end{array}\displaystyle \right ), $$

where

$$\begin{aligned} \begin{aligned} &T_{1}(u,v) (t) \\ &\quad = \frac{\mu_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{\lambda_{1}T(\mu _{1}\lambda_{2}+1)}{1-\lambda_{1}\mu_{1}}+\lambda_{2} t \biggr)B_{2f} +\frac{\lambda_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{T(\mu_{1}+\mu _{2})\lambda_{1}}{1-\lambda_{1}\mu_{1}}+t \biggr)A_{2g} \\ &\qquad {} +\frac{\lambda_{1}}{1-\lambda_{1}\mu_{1}}(A_{1g}+ \mu_{1} B_{1f})+ \int_{0}^{t}\frac{(t-s)^{\alpha-1}}{\Gamma(\alpha)}f\bigl(s,x(s), y(s) \bigr)\,ds, \end{aligned} \end{aligned}$$

and

$$\begin{aligned}& T_{2}(u,v) (t) \\& \quad = \frac{\mu_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{T\mu_{1}(\lambda _{1}+\lambda_{2})}{1-\lambda_{1}\mu_{1}}+t \biggr)B_{2f}+ \frac{\lambda_{2}}{1-\lambda_{2}\mu_{2}} \biggl(\frac{T\mu_{1}(\lambda _{1}\mu_{2}+1)}{1-\lambda_{1}\mu_{1}}+\mu_{2}t \biggr)A_{2g} \\& \qquad {} +\frac{\mu_{1}}{1-\lambda_{1}\mu_{1}}(\lambda_{1}A_{1g}+B_{1f})+ \int _{0}^{t}\frac{(t-s)^{\beta-1}}{\Gamma(\beta)}g\bigl(s,x(s), y(s) \bigr)\,ds, \\& A_{1g} = \int_{0}^{T}\frac{(T-s)^{\beta-1}}{\Gamma(\beta)}g\bigl(s, x(s), y(s) \bigr)\,ds, \qquad B_{1f}= \int_{0}^{T}\frac{(T-s)^{\alpha-1}}{\Gamma(\alpha )}f\bigl(s, x(s), y(s) \bigr)\,ds, \\& A_{2g} = \int_{0}^{T}\frac{(T-s)^{\beta-2}}{\Gamma(\beta-1)}g\bigl(s, x(s), y(s) \bigr)\,ds,\qquad B_{2f}= \int_{0}^{T}\frac{(T-s)^{\alpha-2}}{\Gamma(\alpha-1)}f\bigl(s, x(s), y(s) \bigr)\,ds. \end{aligned}$$

For convenience, we put

$$\begin{aligned}& M_{1} = \frac{|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\lambda _{1}|(|\mu_{1}||\lambda_{2}|+1)}{|1-\lambda_{1}\mu_{1}|}+| \lambda_{2}| \biggr)\frac{T^{\alpha}}{\Gamma(\alpha)} \\& \hphantom{M_{1} ={}}{}+ \biggl(\frac{|\lambda_{1}||\mu_{1}|}{|1-\lambda_{1}\mu_{1}|}+1 \biggr)\frac{T^{\alpha}}{\Gamma(\alpha+1)}, \end{aligned}$$
(3.1)
$$\begin{aligned}& M_{2} = \frac{|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{(|\mu _{1}|+|\mu_{2}|)|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|}+1 \biggr) \frac {T^{\beta}}{\Gamma(\beta)}+\frac{|\lambda_{1}|}{|1-\lambda_{1}\mu _{1}|}\frac{T^{\beta}}{\Gamma(\beta+1)}, \end{aligned}$$
(3.2)
$$\begin{aligned}& M_{3} = \frac{|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\mu _{1}|(|\lambda_{1}|+|\lambda_{2}|)}{|1-\lambda_{1}\mu_{1}|}+1 \biggr) \frac {T^{\alpha}}{\Gamma(\alpha)}+\frac{|\mu_{1}|}{|1-\lambda_{1}\mu _{1}|}\frac{T^{\alpha}}{\Gamma(\alpha+1)}, \end{aligned}$$
(3.3)
$$\begin{aligned}& M_{4} = \frac{|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\mu _{1}|(|\lambda_{1}||\mu_{2}|+1)}{|1-\lambda_{1}\mu_{1}|}+| \mu_{2}| \biggr)\frac {T^{\beta}}{\Gamma(\beta)} \\& \hphantom{M_{4} ={}}{}+ \biggl(\frac{|\lambda_{1}||\mu_{1}|}{|1-\lambda_{1}\mu_{1}|} +1 \biggr)\frac{T^{\beta}}{\Gamma(\beta+1)}. \end{aligned}$$
(3.4)

In the first result, we prove the existence and uniqueness of solutions of boundary value problem (1.1)-(1.2) via Banach’s contraction principle.

Theorem 3.1

Assume that:

(H1):

\(f,g:[0,T]\times\mathbb{R}\times\mathbb {R}\rightarrow\mathbb{R}\) are continuous functions and there exist positive constants \(\ell_{1}\) and \(\ell_{2}\) such that for all \(t\in[0,T]\) and \(x_{i},y_{i}\in\mathbb{R}\), \(i=1,2\), we have

$$\begin{aligned}& \bigl\vert f(t,x_{1},x_{2})-f(t,y_{1},y_{2}) \bigr\vert \leq\ell_{1} \bigl( \vert x_{1}-y_{1} \vert + \vert x_{2}-y_{2} \vert \bigr), \\& \bigl\vert g(t,x_{1},x_{2})-g(t,y_{1},y_{2}) \bigr\vert \leq\ell_{2} \bigl( \vert x_{1}-y_{1} \vert + \vert x_{2}-y_{2} \vert \bigr). \end{aligned}$$

If

$$(M_{1}+M_{3})\ell_{1}+(M_{2}+M_{4}) \ell_{2}< 1, $$

where \(M_{i}\), \(i=1,2,3,4\), are given by (3.1)-(3.4), then system (1.1)-(1.2) has a unique solution.

Proof

Define \(\sup_{t\in[0,T]}f(t,0,0)=N_{1}<\infty\) and \(\sup_{t\in[0,T]}g(t,0,0)=N_{2}<\infty\) and \(r>0\) such that

$$r>\frac{(M_{1}+M_{3})N_{1}+(M_{2}+M_{4})N_{2}}{1-(M_{1}+M_{3})\ell_{1}-(M_{2}+M_{4})\ell_{2}}. $$

We show that \(TB_{r}\subset B_{r}\), where \(B_{r}=\{(u,v)\in X\times X: \| (u,v)\|\le r\}\).

By assumption (H1), for \((u,v)\in B_{r}\), \(t\in[0,T]\), we have

$$\begin{aligned} \bigl\vert f\bigl(t,u(t),v(t)\bigr) \bigr\vert \leq& \bigl\vert f \bigl(t,u(t),v(t)\bigr)-f(t,0,0) \bigr\vert + \bigl\vert f(t,0,0) \bigr\vert \\ \leq& \ell_{1} \bigl( \bigl\vert u(t) \bigr\vert + \bigl\vert v(t) \bigr\vert \bigr)+N_{1} \\ \leq&\ell_{1} \bigl( \Vert u \Vert + \Vert v \Vert \bigr)+N_{1} \leq \ell_{1} r + N_{1}, \end{aligned}$$

and

$$ \bigl\vert g\bigl(t,u(t),v(t)\bigr) \bigr\vert \leq\ell_{2} \bigl( \Vert u \Vert + \Vert v \Vert \bigr)+N_{2} \leq \ell_{2} r +N_{2}, $$

which lead to

$$\begin{aligned} \bigl\vert T_{1}(u, v) (t) \bigr\vert \le& \frac{|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\lambda _{1}|(|\mu_{1}||\lambda_{2}|+1)}{|1-\lambda_{1}\mu_{1}|}+|\lambda_{2}| \biggr)\frac{T^{\alpha}}{\Gamma(\alpha)}( \ell_{1} r + N_{1}) \\ &{}+\frac{|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{(|\mu _{1}|+|\mu_{2}|)|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|}+1 \biggr)\frac {T^{\beta}}{\Gamma(\beta)}( \ell_{2} r +N_{2}) \\ &{}+\frac{|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|} \biggl(\frac{T^{\beta }}{\Gamma(\beta+1)}( \ell_{2} r +N_{2})+ |\mu_{1}| \frac{T^{\alpha}}{\Gamma(\alpha+1)}(\ell_{1} r + N_{1}) \biggr) \\ &{}+\frac{T^{\alpha}}{\Gamma(\alpha+1)}(\ell_{1} r + N_{1}) \\ =& (M_{1}\ell_{1}+M_{2}\ell_{2})r+M_{1}N_{1}+M_{2}N_{2}. \end{aligned}$$

Hence

$$\bigl\Vert T_{1}(u,v) \bigr\Vert \le(M_{1} \ell_{1}+M_{2}\ell_{2})r+M_{1}N_{1}+M_{2}N_{2}. $$

In the same way, we can obtain that

$$\bigl\Vert T_{2}(u,v) \bigr\Vert \le(M_{3} \ell_{1}+M_{4}\ell_{2})r+M_{3}N_{1}+M_{4}N_{2}. $$

Consequently,

$$\bigl\Vert T(u,v) \bigr\Vert \le\bigl[(M_{1}+M_{3}) \ell_{1}+(M_{2}+M_{4})\ell _{2} \bigr]r+(M_{1}+M_{3})N_{1}+(M_{2}+M_{4})N_{2} \le r. $$

Now, for \((u_{2},v_{2}), (u_{1},v_{1})\in X\times X\) and for any \(t\in[0,T]\), we get

$$\begin{aligned}& \bigl\vert T_{1}(u_{2},v_{2}) (t)-T_{1}(u_{1},v_{1}) (t) \bigr\vert \\& \quad \le \frac{|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\lambda _{1}|(|\mu_{1}||\lambda_{2}|+1)}{|1-\lambda_{1}\mu_{1}|}+|\lambda_{2}| \biggr)\frac{T^{\alpha}}{\Gamma(\alpha)}\ell_{1}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\& \qquad {} +\frac{|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{(|\mu _{1}|+|\mu_{2}|)|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|}+1 \biggr) \frac {T^{\beta}}{\Gamma(\beta)}\ell_{2}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\& \qquad {} +\frac{|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|}\frac{T^{\beta}}{\Gamma (\beta+1)}\ell_{2}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\& \qquad {} + \frac{|\lambda_{1}||\mu_{1}|}{|1-\lambda_{1}\mu_{1}|} \frac{T^{\alpha}}{\Gamma(\alpha+1)}\ell_{1}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\& \qquad {} +\frac{T^{\alpha}}{\Gamma(\alpha+1)}\ell_{1}\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr) \\& \quad = ( M_{1} \ell_{1}+ M_{2} \ell_{2}) \bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr), \end{aligned}$$

and consequently we obtain

$$ \bigl\Vert T_{1}(u_{2},v_{2})-T_{1}(u_{1},v_{1}) \bigr\Vert \le( M_{1} \ell _{1}+ M_{2} \ell_{2}) \bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr). $$
(3.5)

Similarly,

$$ \bigl\Vert T_{2}(u_{2},v_{2}) (t)-T_{2}(u_{1},v_{1}) \bigr\Vert \le( M_{3} \ell_{1}+ M_{4} \ell_{2}) \bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr). $$
(3.6)

It follows from (3.5) and (3.6) that

$$\bigl\Vert T(u_{2},v_{2})-T(u_{1},v_{1}) \bigr\Vert \le\bigl[(M_{1}+M_{3})\ell_{1}+(M_{2}+M_{4}) \ell_{2}\bigr]\bigl( \Vert u_{2}-u_{1} \Vert + \Vert v_{2}-v_{1} \Vert \bigr). $$

Since \((M_{1}+M_{3})\ell_{1}+(M_{2}+M_{4})\ell_{2}<1\), therefore, T is a contraction operator. So, by Banach’s fixed point theorem, the operator T has a unique fixed point, which is the unique solution of problem (1.1)-(1.2). This completes the proof. □

The second result is based on the Leray-Schauder alternative.

Lemma 3.2

Leray-Schauder alternative [28], p.4

Let \(F: E\to E\) be a completely continuous operator (i.e., a map restricted to any bounded set in E is compact). Let

$${\mathcal {E}}(F)=\bigl\{ x\in E: x=\lambda F(x) \textit{ for some } 0< \lambda< 1 \bigr\} . $$

Then either the set \({\mathcal {E}}(F)\) is unbounded or F has at least one fixed point.

Theorem 3.3

Assume that:

(H3):

\(f,g:[0,T]\times\mathbb{R}\times\mathbb {R}\rightarrow\mathbb{R}\) are continuous functions and there exist real constants \(k_{i},\gamma_{i}\geq0\) (\(i=0,1,2\)) and \(k_{0}>0\), \(\gamma_{0}>0 \) such that \(\forall x_{i}\in\mathbb{R}\) (\(i=1,2\)), we have

$$\begin{aligned}& \bigl\vert f(t,x_{1},x_{2}) \bigr\vert \leq k_{0} + k_{1} \vert x_{1} \vert +k_{2} \vert x_{2} \vert , \\& \bigl\vert g(t,x_{1},x_{2}) \bigr\vert \leq \gamma_{0}+\gamma_{1} \vert x_{1} \vert + \gamma_{2} \vert x_{2} \vert . \end{aligned}$$

If

$$(M_{1}+M_{3})k_{1}+(M_{2}+M_{4}) \gamma_{1}< 1 \quad \textit {and}\quad (M_{1}+M_{3})k_{2}+(M_{2}+M_{4}) \gamma_{2}< 1, $$

where \(M_{i}\), \(i=1,2,3,4\), are given by (3.1)-(3.4), then system (1.1)-(1.2) has at least one solution.

Proof

First we show that the operator \(T:X\times X\to X\times X\) is completely continuous. By the continuity of functions f and g, the operator T is continuous.

Let \(\Omega\subset X\times X\) be bounded. Then there exist positive constants \(L_{1}\) and \(L_{2}\) such that

$$\bigl\vert f\bigl(t, u(t), v(t)\bigr) \bigr\vert \le L_{1}, \qquad \bigl\vert h\bigl(t, u(t), v(t)\bigr) \bigr\vert \le L_{2}, \quad \forall (u,v)\in\Omega. $$

Then, for any \((u,v)\in\Omega\), we have

$$\begin{aligned} \bigl\vert T_{1}(u, v) (t) \bigr\vert \le& \frac{|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{|\lambda_{1}|(|\mu _{1}||\lambda_{2}|+1)}{|1-\lambda_{1}\mu_{1}|}+|\lambda_{2}| \biggr)\frac {T^{\alpha}}{\Gamma(\alpha)}L_{1} \\ &{}+\frac{|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|} \biggl(\frac{(|\mu _{1}|+|\mu_{2}|)|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|}+1 \biggr)\frac {T^{\beta}}{\Gamma(\beta)}L_{2} \\ &{}+\frac{|\lambda_{1}|}{|1-\lambda_{1}\mu_{1}|} \biggl(\frac{T^{\beta }}{\Gamma(\beta+1)}L_{2}+ | \mu_{1}| \frac{T^{\alpha}}{\Gamma(\alpha+1)}L_{1} \biggr)+ \frac{T^{\alpha }}{\Gamma(\alpha+1)}L_{1} \\ =& M_{1}L_{1}+M_{2}L_{2}, \end{aligned}$$

which implies that

$$\bigl\Vert T_{1}(u,v) \bigr\Vert \le M_{1}L_{1}+M_{2}L_{2}. $$

Similarly, we get

$$\bigl\Vert T_{2}(u,v) \bigr\Vert \le M_{3}L_{1}+M_{4}L_{2}. $$

Thus, it follows from the above inequalities that the operator T is uniformly bounded, since \(\|T(u,v)\|\le (M_{1}+M_{3})L_{1}+(M_{2}+M_{4})L_{2}\).

Next, we show that T is equicontinuous. Let \(t_{1}, t_{2} \in[0,T]\) with \(t_{1}< t_{2}\). Then we have

$$\begin{aligned}& \bigl\vert T_{1}\bigl(u(t_{2}),v(t_{2}) \bigr)-T_{1}\bigl(u(t_{1}),v(t_{1})\bigr) \bigr\vert \\& \quad \le \frac{L_{1}|\lambda_{2}||\mu_{2}|}{|1-\lambda_{2}\mu _{2}|}(t_{2}-t_{1})+ \frac{L_{2}|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|}(t_{2}-t_{1}) \\& \qquad {}+L_{1} \biggl\vert \frac{1}{\Gamma(\alpha)} \int_{0}^{t_{2}} (t_{2}-s)^{\alpha-1} \,ds-\frac{1}{\Gamma(\alpha)} \int_{0}^{t_{1}} (t_{1}-s)^{\alpha-1} \,ds \biggr\vert \\& \quad \le \frac{L_{1}|\lambda_{2}||\mu_{2}|}{|1-\lambda_{2}\mu _{2}|}(t_{2}-t_{1})+ \frac{L_{2}|\lambda_{2}|}{|1-\lambda_{2}\mu_{2}|}(t_{2}-t_{1}) \\& \qquad {}+L_{1} \biggl\{ \frac{1}{\Gamma(\alpha)} \int_{0}^{t_{1}} \bigl[(t_{2}-s)^{\alpha-1}-(t_{1}-s)^{\alpha-1} \bigr] \,ds+ \frac{1}{\Gamma(q)} \int _{t_{1}}^{t_{2}}(t_{2}-s)^{q-1} \,ds \biggr\} \\& \quad \le \frac{L_{1}|\lambda_{2}||\mu_{2}|}{|1-\lambda_{2}\mu _{2}|}(t_{2}-t_{1})+ \frac{L_{2}|\lambda_{2}|}{|1-\lambda_{2}\mu _{2}|}(t_{2}-t_{1}) \\& \qquad {}+\frac{L_{1}}{\Gamma(\alpha+1)} \bigl[2(t_{2}-t_{1})^{\alpha}+\bigl|t_{2}^{\alpha}-t_{1}^{\alpha}\bigr| \bigr]. \end{aligned}$$

Analogously, we can obtain

$$\begin{aligned} \begin{aligned} &\bigl\vert T_{2}\bigl(u(t_{2}),v(t_{2}) \bigr)-T_{2}\bigl(u(t_{1}),v(t_{1})\bigr) \bigr\vert \\ &\quad \le\frac{L_{1}|\mu_{2}|}{|1-\lambda_{2}\mu_{2}|}(t_{2}-t_{1})+ \frac {L_{2}|\lambda_{2}||\mu_{2}|}{|1-\lambda_{2}\mu_{2}|}(t_{2}-t_{1})+\frac {L_{2}}{\Gamma(\beta+1)} \bigl[2(t_{2}-t_{1})^{\beta}+ \bigl\vert t_{2}^{\beta}-t_{1}^{\beta}\bigr\vert \bigr]. \end{aligned} \end{aligned}$$

Therefore, the operator \(T(u,v)\) is equicontinuous, and thus the operator \(T(u,v)\) is completely continuous.

Finally, it will be verified that the set \({\mathcal {E}}=\{(u,v)\in X\times X| (u,v)=\lambda T(u,v), 0\le\lambda\le1\}\) is bounded. Let \((u,v)\in{\mathcal {E}}\), with \((u,v)=\lambda T(u,v)\). For any \(t\in [0,T]\), we have

$$u(t)=\lambda T_{1}(u,v) (t), \qquad v(t)=\lambda T_{2}(u,v) (t). $$

Then

$$\begin{aligned} \bigl\vert u(t) \bigr\vert \le& M_{1}\bigl(k_{0}+k_{1} \vert u \vert +k_{2} \vert v \vert \bigr)+M_{2}\bigl( \gamma_{0}+\gamma_{1} \vert u \vert + \gamma_{2} \vert v \vert \bigr) \\ =&M_{1}k_{0}+M_{2}\gamma_{0}+(M_{1}k_{1}+M_{2} \gamma_{1}) \vert u \vert +(M_{1}k_{2}+M_{2} \gamma_{2}) \vert v \vert \end{aligned}$$

and

$$\begin{aligned} \bigl\vert v(t) \bigr\vert \le& M_{3}\bigl(k_{0}+k_{1} \vert u \vert +k_{2} \vert v \vert \bigr)+M_{4} \bigl(\gamma_{0}+\gamma_{1} \vert u \vert + \gamma_{2} \vert v \vert \bigr) \\ =&M_{3}k_{0}+M_{4}\gamma_{0}+(M_{3}k_{1}+M_{4} \gamma_{1}) \vert u \vert +(M_{3}k_{2}+M_{4} \gamma_{2}) \vert v \vert . \end{aligned}$$

Hence we have

$$\|u\|\le M_{1}k_{0}+M_{2}\gamma_{0}+(M_{1}k_{1}+M_{2} \gamma_{1})\|u\| +(M_{1}k_{2}+M_{2} \gamma_{2})\|v\| $$

and

$$\|v\|\le M_{3}k_{0}+M_{4}\gamma_{0}+(M_{3}k_{1}+M_{4} \gamma_{1})\|u\| +(M_{3}k_{2}+M_{4} \gamma_{2})\|v\|, $$

which imply that

$$\begin{aligned} \|u\|+\|v\| \le& (M_{1}+M_{3})k_{0}+ (M_{2}+M_{4})\gamma_{0} +\bigl[(M_{1}+M_{3})k_{1}+(M_{2}+M_{4}) \gamma_{1}\bigr] \| u\| \\ &{}+\bigl[(M_{1}+M_{3})k_{2}+(M_{2}+M_{4}) \gamma_{2}\bigr]\|v\|. \end{aligned}$$

Consequently,

$$\bigl\Vert (u,v) \bigr\Vert \le\frac{(M_{1}+M_{3})k_{0}+ (M_{2}+M_{4})\gamma_{0}}{M_{0}}, $$

where \(M_{0}=\min\{1-[(M_{1}+M_{3})k_{1}+(M_{2}+M_{4})\gamma_{1}], 1-[(M_{1}+M_{3})k_{2}+(M_{2}+M_{4})\gamma_{2}]\}\), which proves that \({\mathcal {E}}\) is bounded. Thus, by Lemma 3.2, the operator T has at least one fixed point. Hence boundary value problem (1.1)-(1.2) has at least one solution. The proof is complete. □

Example 3.4

Consider the following system of fractional boundary value problem:

$$ \textstyle\begin{cases} {}^{\mathrm{c}}D^{3/2}x(t) = \frac{1}{4(t+2)^{2}}\frac{|x(t)|}{1+|x(t)|}+1+\frac{1}{32}\sin ^{2}y(t)+\frac{1}{\sqrt{t^{2}+1}},\quad t\in[0,1], \\ {}^{\mathrm{c}}D^{3/2}y(t) = \frac{1}{32 \pi}\sin(2 \pi x(t))+\frac{|y(t)|}{16(1+|y(t)|)}+\frac{1}{2},\quad t\in[0,1], \\ x(0)= \frac{1}{2}y(1), \qquad x'(0)=\frac{1}{3}y'(1), \\ y(0)= \frac{4}{5}x(1), \qquad y'(0)=\frac{3}{4}x'(1). \end{cases} $$
(3.7)

Here \(\alpha=\beta=3/2\), \(\lambda_{1}=1/2\), \(\lambda_{2}=1/3\), \(\mu_{1}=4/5\), \(\mu_{2}=3/4\), \(f(t,u,v)= \frac{1}{4(t+2)^{2}}\frac{|u|}{1+|u|}+1+\frac {1}{32}\sin^{2}v\), and \(h(t,u,v)=\frac {1}{32\pi}\sin(2\pi u)+\frac {|v|}{16(1+|v|)}+\frac{1}{2}\). With the given data, we find that \(M_{1}\approx2.8216701\), \(M_{2}\approx1.4892147\), \(M_{3}\approx3.3860044\), \(M_{4}\approx2.5499538\). Note that \(|f(t,u_{1},u_{2})-f(t,v_{1},v_{2})| \le\frac{1}{16} |u_{1}-u_{2}|+\frac{1}{16}|v_{1}-v_{2}|\), \(|g(t,u_{1},u_{2})-g(t,v_{1},v_{2})| \le\frac{1}{16} |u_{1}-u_{2}|+\frac{1}{16}|v_{1}-v_{2}|\), and \((M_{1}+M_{3})\ell_{1}+(M_{2}+M_{4})\ell_{2} \approx0.6404276<1\). Thus all the conditions of Theorem 3.1 are satisfied, and consequently, its conclusion applies to problem (3.7).

4 Conclusions

In this work, we have established the existence and uniqueness results for a nonlinear coupled system of Caputo type fractional differential equations supplemented with non-separated coupled boundary conditions. Our results are not only new in the given setting but also lead to some new interesting situations for specific values of the parameters involved in the problem. For instance, if we choose \(\lambda_{1}=1=\lambda_{2}\) and \(\mu_{1}=-1=\mu_{2}\) or vice versa, our results correspond to a boundary value problem of nonlinear coupled fractional differential equations subject to a combination of coupled periodic and anti-periodic boundary conditions of the form: \(x(0) = y(T)\), \(x'(0)= y'(T)\), \(y(0)=- x(T)\), \(y'(0)= -x'(T)\) or \(x(0) = - y(T)\), \(x'(0)= -y'(T)\), \(y(0)= x(T)\), \(y'(0)= x'(T)\). Further, by taking \(\lambda_{1}=1=-\lambda_{2}\) and \(-\mu_{1} = 1= \mu_{2}\), we obtain the results for the coupled system with the boundary conditions: \(x(0) = y(T)\), \(x'(0)= -y'(T)\), \(y(0)=- x(T)\), \(y'(0)= x'(T)\), while the results for the boundary conditions \(x(0) = -y(T)\), \(x'(0)= y'(T)\), \(y(0)= x(T)\), \(y'(0)= -x'(T)\) can be obtained by letting \(-\lambda_{1}=1=\lambda_{2}\) and \(\mu_{1}=1=-\mu_{2}\). In the case of \(x(0) = 0\), \(y(0)=0\) (\(\lambda _{1}=0=\mu_{1}\)), \(x'(0)=\lambda_{2} y'(T)\), \(y'(0)= \mu_{2} x'(T)\), our results correspond to a problem with coupled flux type conditions. Thus, the work established in this article is of quite a general nature and covers a variety of special cases associated with particular values of the parameters involved in the problem.

References

  1. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  2. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  3. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  4. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    MATH  Google Scholar 

  5. Liang, S, Zhang, J: Existence of multiple positive solutions for m-point fractional boundary value problems on an infinite interval. Math. Comput. Model. 54, 1334-1346 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  6. Goodrich, C: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 61, 191-202 (2011)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  8. Ahmad, B: On nonlocal boundary value problems for nonlinear integro-differential equations of arbitrary fractional order. Results Math. 63, 183-194 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Zhai, C, Xu, L: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820-2827 (2014)

    Article  MathSciNet  Google Scholar 

  10. Henderson, J, Kosmatov, N: Eigenvalue comparison for fractional boundary value problems with the Caputo derivative. Fract. Calc. Appl. Anal. 17, 872-880 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ding, Y, Wei, Z, Xu, J, O’Regan, D: Extremal solutions for nonlinear fractional boundary value problems with p-Laplacian. J. Comput. Appl. Math. 288, 151-158 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  12. Wang, H: Existence of solutions for fractional anti-periodic BVP. Results Math. 68, 227-245 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ahmad, B, Ntouyas, SK: Some fractional-order one-dimensional semi-linear problems under nonlocal integral boundary conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 110, 159-172 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  14. Sokolov, IM, Klafter, J, Blumen, A: Fractional kinetics. Phys. Today 55, 48-54 (2002)

    Article  Google Scholar 

  15. Petras, I, Magin, RL: Simulation of drug uptake in a two compartmental fractional model for a biological system. Commun. Nonlinear Sci. Numer. Simul. 16, 4588-4595 (2011)

    Article  MATH  Google Scholar 

  16. Ding, Y, Wang, Z, Ye, H: Optimal control of a fractional-order HIV-immune system with memory. IEEE Trans. Control Syst. Technol. 20, 763-769 (2012)

    Article  Google Scholar 

  17. Carvalho, A, Pinto, CMA: A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int. J. Dyn. Control (2016). doi:10.1007/s40435-016-0224-3

    Google Scholar 

  18. Javidi, M, Ahmad, B: Dynamic analysis of time fractional order phytoplankton-toxic phytoplankton-zooplankton system. Ecol. Model. 318, 8-18 (2015)

    Article  Google Scholar 

  19. Ge, ZM, Ou, CY: Chaos synchronization of fractional order modified Duffing systems with parameters excited by a chaotic signal. Chaos Solitons Fractals 35, 705-717 (2008)

    Article  Google Scholar 

  20. Faieghi, M, Kuntanapreeda, S, Delavari, H, Baleanu, D: LMI-based stabilization of a class of fractional-order chaotic systems. Nonlinear Dyn. 72, 301-309 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  21. Zhang, F, Chen, G, Li, C, Kurths, J: Chaos synchronization in fractional differential systems. Philos. Trans. R. Soc. Lond. A 371, 20120155 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  22. Senol, B, Yeroglu, C: Frequency boundary of fractional order systems with nonlinear uncertainties. J. Franklin Inst. 350, 1908-1925 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  23. Henderson, J, Luca, R: Nonexistence of positive solutions for a system of coupled fractional boundary value problems. Bound. Value Probl. 2015, 138 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  24. Ahmad, B, Ntouyas, SK: Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Appl. Math. Comput. 266, 615-622 (2015)

    MathSciNet  Google Scholar 

  25. Wang, JR, Zhang, Y: Analysis of fractional order differential coupled systems. Math. Methods Appl. Sci. 38, 3322-3338 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  26. Tariboon, J, Ntouyas, SK, Sudsutad, W: Coupled systems of Riemann-Liouville fractional differential equations with Hadamard fractional integral boundary conditions. J. Nonlinear Sci. Appl. 9, 295-308 (2016)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  28. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)

    MATH  Google Scholar 

Download references

Acknowledgements

This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant No. (14-130-36-RG). The authors, therefore, acknowledge with thanks DSR for technical and financial support. We also thank the reviewers for their useful comments that led to the improvement of the original manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Funding

This research was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant No. (14-130-36-RG).

Ethics approval and consent to participate

The research has been carried out within an appropriate ethical framework and each of the authors, HHA, SKN, RPA, BA and AA, participated in this research work.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Each of the authors, HHA, SKN, RPA, BA and AA, approved the final version of the manuscript for publication.

Authors’ contributions

Each of the authors, HHA, SKN, RPA, BA and AA, contributed to each part of this work equally. All authors read and approved the final manuscript.

Publisher’s Note

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

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alsulami, H.H., Ntouyas, S.K., Agarwal, R.P. et al. A study of fractional-order coupled systems with a new concept of coupled non-separated boundary conditions. Bound Value Probl 2017, 68 (2017). https://doi.org/10.1186/s13661-017-0801-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-017-0801-1

MSC

Keywords