 Research
 Open Access
 Published:
Computation of iterative solutions along with stability analysis to a coupled system of fractional order differential equations
Advances in Difference Equations volume 2019, Article number: 215 (2019)
Abstract
In this research article, we investigate sufficient results for the existence, uniqueness and stability analysis of iterative solutions to a coupled system of the nonlinear fractional differential equations (FDEs) with highier order boundary conditions. The foundation of these sufficient techniques is a combination of the scheme of lower and upper solutions together with the method of monotone iterative technique. With the help of the proposed procedure, the convergence criteria for extremal solutions are smoothly achieved. Furthermore, a major aspect is devoted to the investigation of Ulam–Hyers type stability analysis which is also established. For the verification of our work, we provide some suitable examples along with their graphical represntation and errors estimates.
Introduction
FDEs and their systems are the core purpose of most of the researchers because they have many important applications in various fields of advanced technology and science. There are many books and articles which have been written on the topic, see the works of Mainardi and Podlubny. Some applications where FDEs have been used are as follows:

Modeling materials or systems which are dependent on past history (memory) such as nonlocal elasticity, biological tissues, propagation in complex medium, earth sediments, polymers, and expansion of the universe.

Strong connection with fractal geometry.

Can be derived even from probabilistic approaches.
Moreover, classical DEs are just discrete aspects of the whole spectrum of DEs, while FDEs give the total spectrum.
Although some phenomena have been produced in the form of integral order differential equations, in general, every phenomenon cannot be produced accurately in the form of integral order differential equations like the phenomena of electrochemistry, rheology, porous media, geology, electromagnetism, optics, medicine, bioscience, bioengineering, probability, and statistics. In this concern, most of the researchers prefer nonlinear FDEs, which are powerful tools, instead of the integral order differential equations for mathematical modeling of the aforesaid phenomena. Therefore, plenty of the research items have been written on nonlinear FDEs, see [1,2,3,4,5,6,7,8] to explore more of their features for modeling purposes. Numerous properties and useful features of mathematical modeling of FDEs have been established by many authors in almost every field of science and technology such as ecology, control theory, seepage flow in porous media, and nonlinear oscillations due to earthquake (for details, see [9,10,11,12,13,14,15]). Furthermore, many researchers have devoted their works to the uniqueness and existence of solutions to FDEs; for reading, see [16,17,18,19,20]. As far as we know, the aforesaid area of fractional calculus has been greatly developed. The field of a coupled system of fractional differential equations is the main research field of most of the authors. It is the cascading form of single fractional differential equation. The handling of a coupled system of FDEs is a difficult task as compared with single fractional differential equation. In concern to the establishment of various aspects of the coupled system of FDEs is the need of science and technology because some phenomena describe more than one required task (solution) to be found. These phenomena can be expressed as a system of FDEs instead of DE/FDE. In this regard, some authors have devoted their treasured work to basic features and properties of the coupled systems of FDEs; for reading, see [21,22,23,24].
Existence and uniqueness of differential equations involving fractional derivatives have been considered in many works. For details on these works, we refer the readers to [25,26,27,28,29,30,31] and the works cited therein. Recently, the existence and uniqueness of lower and upper solutions of FDEs have attracted the focus of most of researchers. Although some authors have well studied lower and upper solutions of integral order partial and ordinary differential equations using iterative techniques (see [32,33,34,35,36,37,38,39,40,41,42]), the iterative techniques have been rarely studied for the lower and upper solutions of FDEs as well as coupled systems of FDEs. It is a useful tool for the existence of approximation to the solutions of many applied problems of integral and differential equations of arbitrary order. The aforementioned scheme has been studied by some authors for FDEs. Quite recently, Ali [43] has considered this scheme (technique) for the following fractional differential equations:
where \(\xi , \varrho \in (0, 1)\).
As far as we know, the aforementioned scheme for the coupled system of FDEs is in its initial stage.
On the other hand, stability aspect is the most popular topic in the discussion among most of the researchers. It has been well studied in major research articles for the classical differential equations. Some types of stability analysis for both classical differential equations and FDEs, like Lyapunov, exponential and Ulam–Hyers type stability, etc., have been developed. Among them, Ulam–Hyers type stability is fundamental and very important stability analysis. It has been verified in many articles for the classical differential equations as well as fractional differential equations. Ulam–Hyers stability analysis has been well studied for the initial value problems of fractional differential equations. As far as we know, it has been rarely investigated for the boundary value problems of fractional differential equations; for reading, see [44,45,46,47,48].
The aim of our manuscript is to extend the scheme of Ali [43] to coupled systems of FDEs. We consider the following class of nonlinear fractional coupled system of higher order boundary conditions:
where \(n=2,3,4,\ldots \) , \(n1< q,p\leq n\), \(\theta ,y \in C[0,1]\).
\(\mathbb{D}\) is considered in the sense of Caputo derivative assuming that \(\varPhi , \varPsi :I\times \mathbb{R}\rightarrow \mathbb{R}\).
This manuscript has the following main contributions:

To extend and develop the iterative scheme while combining the method of lower and upper solutions for the nonlinear fractional coupled system of higher order boundary conditions.

Existence of lower and upper solutions of the nonlinear fractional coupled system of higher order boundary conditions.

The investigation of Ulam–Hyers stability for the coupled system of nonlinear FDEs of higher order boundary conditions.

Approximations of extremal solutions of the nonlinear fractional coupled system of higher order boundary conditions.

Provision of maximum errors estimate of extremal solutions of the nonlinear fractional coupled system of higher order boundary conditions.

The presentation of lower and upper solutions of the nonlinear fractional coupled system of higher order boundary conditions via plots using Matlab software.
Three illustrative examples are provided to demonstrate the obtained results. Further we remark that Caputo type fractional order derivative is considered throughout this paper.
Background materials
In the present section of our work, we mention supportive basic definitions with useful lemmas from fractional calculus as well as measure theory and functional analysis; for reading, see [2,3,4,5, 19, 20, 37].
Definition 2.1
Let \(\theta (\xi )\in L([0,1], \mathbb{R})\) be a function. Then the Riemann–Liouville integral of fractional order \(\delta \in \mathbb{R_{+}}\) of function \(\theta (\xi )\) is given by
provided that the integral is pointwise defined on the righthand side.
Definition 2.2
([3])
The Caputo derivative of fractional order p of function \(\theta (\xi )\) is defined by
provided that the integral on the righthand side is pointwise defined on \((0, \infty )\), where \(n=[p]+1\) and \([p]\) denotes the integer part of the real number p.
Definition 2.3
As in [21, 43], “Let \(\mathcal{U}=C[0,1]\) be the Banach space endowed with \(\\theta \=\max_{\xi \in [0,1]}\theta (\xi )\) which satisfies the partial ordering, and let \(W=[\theta _{1}, \theta _{2}]\) with \(\theta _{1}\leq \theta _{2}\) be a set such that \(W\subset \mathcal{U}\), then the operator \(\mathbb{T}:W\rightarrow \mathcal{U} \) is known as increasing function if for each \(\theta _{1},\theta _{2} \in W\) and \(\theta _{1}\leq \theta _{2}\) gives \(\mathbb{T}\theta _{1} \leq \mathbb{T}\theta _{2}\). The operator \(\mathbb{T}\) is known as decreasing function if for each \(\theta _{1},\theta _{2} \in W\) gives \(\mathbb{T}\theta _{1} \geq \mathbb{T}\theta _{2}\).”
Definition 2.4
As in [21, 43], “Let I be an identity operator. If \((I\mathbb{T})\theta _{1}\leq 0\), then the function \(\theta _{1}\in W\) is known as a minimal solution of \((I\mathbb{T})\theta =0\) and if \((I\mathbb{T})\theta _{2}\geq 0\), then the function \(\theta _{2}\in W\) is known as a maximal solution of \((I\mathbb{T})\theta =0\).”
Lemma 2.5
([20])
For the Banach space \(\mathcal{U}\) which partially satisfies order with \(W\subset \mathcal{U}\) and \(\theta _{n},\theta ^{*}_{n}\in W\) such that \(\theta _{n}\leq \theta ^{*}_{n}\), \(n\in Z^{+}\). If \(\theta _{n}\rightarrow \theta \) and \(\theta ^{*}_{n}\rightarrow \theta ^{*}\), then \(\theta \leq \theta ^{*}\).
Lemma 2.6
Let \(p>0\), then the FDE
has the solution in the form of
Lemma 2.7
Let \(p>0\), then
Iterative solutions
This section is committed to the existence theory, approximation and error estimates to the extremal solution of system (1). In the first attempt we transfer system (1) to the equivalent system of integral equations. It is to be noted that the integral representation of the coupled system is very useful for onward computations. Green’s function in the integral representation is also necessary to be computed for iterative solution. The next step after the integral representation is establishing sufficient conditions for the existence of extremal solutions to system (1). We also provide iterative approximation to extremal solution of the system by a monotone iterative scheme coupled with the lower and upper solutions method. Further, by the convergent property of monotonic sequence, we consequently compute the error estimates for the iterative solution to extremal solutions of system (1). For the aforesaid concerns and computations, the following assumptions are considered:
 \((C_{1})\) :

The realvalued functions \(\varPhi ,\varPsi :[0,1]\times \mathbb{R}\rightarrow \mathbb{R}\) satisfy the Carathéodory lemma (for reading, see the preliminary section of [20]).
 \((C_{2})\) :

The functions \(\varPhi (\xi ,\theta )\) and \(\varPsi ( \xi ,\vartheta )\) are increasing in θ and ϑ for every \(\xi \in [0,1]\) respectively.
 \((C_{3})\) :

The existence of the constants \(\mathbb{A}, \mathbb{B}>0\) such that \(0\leq \varPhi (\xi , \theta _{1}(\xi ))\varPhi ( \xi , \theta _{2}(\xi )\leq \mathbb{A}(\theta _{1}\theta _{2})\) and \(0\leq \varPsi (\xi , \vartheta _{1}(\xi ))\varPsi (\xi , \vartheta _{2}( \xi )\leq \mathbb{B}(\vartheta _{1}\vartheta _{2})\).
Lemma 3.1
In view of \(C_{1}\) with \(h \in C([0, 1], \mathbb{R})\), then the fractional differential equation
has the solution defined by
where \(\mathbb{G}_{1}(\xi , \sigma )\) is given by
\(\mathbb{G}_{1}(\xi , \sigma )\) is known as Green’s function.
Proof
In view of Lemma 2.7 and derivative considered in the sense of Caputo derivative, the linear BVP (2) yields that
We face singularity by using the conditions \(\theta '(0)=\theta ''(0)= \cdots =\theta ^{(n2)}(0)=\theta ^{(n1)}(0)=0\). Therefore to avoid singularity, here we have \(C_{2}=C_{3}=C_{4}=\cdots =C_{n}=0\). Further, as \(\theta ( 1) = 0\), then we have \(C_{1}=I^{p}h(1)\). Therefore, we deduce from (5) that
Hence, we obtain the result from (6) that is
This is the end of the proof. □
Lemma 3.2
Let \(W=C [0,1 ]\) be the Banach space with \(\\theta \= \max_{\xi \in [0,1]}\theta (\xi )\). Then the coupled system (1) has the integral representation
where \(\mathbb{G}_{1}(\xi ,\sigma )\) is given in (4) and
Clearly, \(\mathbb{G}_{1}(\xi ,\sigma ) \geq 0\), \(\mathbb{G}_{2}(\xi , \sigma ) \geq 0\text{ for all } \xi \), \(\sigma \in [0,1]\).
Lemma 3.3
The functions \(\mathbb{G}_{1}\), \(\mathbb{G}_{2}\) satisfy the following property:
Proof
As
implies that
thus
from which we have
Similarly, we can prove that \(\int _{0}^{1}\mathbb{G}_{2}(\xi ,\sigma )\,d\sigma \leq \frac{1}{\varGamma (q+1)}\).
Hence, the proof is completed. □
We write the coupled system (7) of integral equations as
Further, we define \(\mathbb{T}:W\rightarrow \mathcal{U}\) is an operator by
Thanks to equation (8) and equation (9), we obtain the equation
It is to be noted that equations (8) and (10) have the same solutions that are fixed points of \(\mathbb{T}\). As in \(C_{2}\), we have that, for \(\theta ,\theta ^{*}\in W\) with \(\theta \leq \theta ^{*}\), we obtain
implies that
thus \(\mathbb{T}\) is an increasing operator.
 \((C_{4})\) :

Assume that the lower and upper solutions of (10) are α and β ∈W. Then the inequality \(\alpha \leq \beta \) on \([0,1]\) holds.
Lemma 3.4
Consider all the assumptions \((C_{1})\) to \((C_{4})\). Then the solutions of linear problems are an iterative convergent sequence which converges to solution of the integral equation (8).
Proof
Under assumptions \((C_{1})\), \((C_{2})\), \(\text{and} (C_{4})\), let \(\theta _{i}, \theta _{j} \in W\subset \mathcal{U}\), where \(i,j=1,2,3, \ldots ,n\)
Therefore, the operator \(\mathbb{T}\) is continuous. Further, it is obvious that \(\mathbb{T}\) is also equicontinuous and uniformly bounded. Arzelá–Ascoli theorem which states that “If M is a family (finite or infinite) of an equicontinuous, uniformly bounded realvalued functions θ on an interval \([0, 1]\), then M contains a uniformly convergent sequence of functions \(\theta _{n}\), converging to a function θ in W as \(n\rightarrow \infty \), where W denotes the space of all continuous bounded functions on \([0,1]\). Thus any sequence in M contains a uniformly bounded convergent subsequence on \([0, 1]\) and consequently M has a compact closure in W.” Hence, in view of the Arzelá–Ascoli theorem, \(\mathbb{T}\) is also a compact operator. Let the lower solution of integral equation (10) be \(\theta _{0}=\alpha \). Then, in view of condition \((C_{4})\), we obtain
As \(\mathbb{T}\) is an increasing operator, then we obtain
where \(\theta _{1}=\mathbb{T}\theta _{0}\) is an iterative solution of integral equation (10). By applying \(\mathbb{T}\), we obtain
where \(\theta _{2}=\mathbb{T}\theta _{1}\). Consequently, we obtain a bounded monotone sequence \(\{\theta _{n}\}\) which is
where \(\theta _{n}=\mathbb{T}\theta _{n1}\) is solution of equation (10). Thus, in view of the bounded monotone sequence \(\{\theta _{n}\}\), there exists \(\theta \in W\) so that \(\theta _{n}\rightarrow \theta \) as \(n\rightarrow \infty \). Therefore \(\theta =\mathbb{T} \theta \), which is the solution of integral equation (8) defined by
Hence, in view of (13) and (12), we get
Consequently, for positive integers \(m \text{and} n\), we have
It is obvious that \(\nabla <1\), which implies that \(\\theta _{m+n} \theta _{n}\\rightarrow 0\) when \(n\rightarrow \infty \). Thus \({\theta _{n}}\) is a Cauchy sequence in W. Let \(\theta ^{*}(\xi )= \lim_{n\rightarrow \infty } \theta _{n}(\xi ) \), thus \(\mathbb{T}\theta ^{*}=\theta ^{*}\). Therefore, if \(m\rightarrow \infty \) in (14), then error estimate for the lower solution is
□
Remark
Let us choose \(\theta _{0}=\beta \), we have a sequence \(\{\theta _{n}\}\) so that
which converges to a solution of the integral equation (8). Therefore, we can obtain the estimate error for the maximal solution which is given by \(e^{*}_{n}=\\theta ^{*}_{n}\bar{\theta }^{*}\ \leq \frac{\nabla ^{n}}{1\nabla } e^{*}_{1}\), \(\text{where}\ e^{*}_{1}= \\theta ^{*}_{0}\theta ^{*}_{1}\\). Further, we use Lemma 3.4, the iterative sequences for lower and upper solutions of system (1) are:
Hence, we have
Theorem 3.5
Consider conditions \((C_{1})\), \((C_{2})\), and \((C_{3})\) and \(\nabla <1\). Then the coupled system of BVPs (1) has unique minimal and maximal solutions respectively.
Proof
We prove that \((\theta ^{*}, \vartheta ^{*})\) and \((\bar{\theta ^{*}}, \bar{ \vartheta ^{*}})\) are the minimal and maximal solutions of (7). Let for any \(u(\xi )\in W\) with \(\mathbb{T}u=u\) and \(\theta _{n}\leq u \leq \theta ^{*}_{n}\), due to the increasing behavior of \(\mathbb{T}\) and using Lemma 3.4, we have \(\theta ^{*}(\xi )\leq u(\xi )\leq \bar{ \theta ^{*}(\xi )}\) that \(\theta ^{*}(\xi )\) and \(\bar{\theta ^{*}( \xi )}\) are the minimal and maximal fixed points of \(\mathbb{T}\) respectively. Therefore \((\theta ^{*}, \vartheta ^{*})\) and \((\bar{ \theta ^{*}}, \bar{\vartheta ^{*}})\) are the minimal and maximal solution of (7) respectively.
Next, for the concern of uniqueness of minimal and maximal solutions of system (7), let \(\alpha , \beta \in W\) be the lower and upper solutions of \(\mathbb{T}\theta =\theta \) respectively. Then \(\alpha \leq \mathbb{T}\alpha \), \(\beta \geq \mathbb{T}\beta \), \(\xi \in [0,1]\). We use \(\alpha \text{and} \beta \) as initial iterations respectively so that \(\alpha _{n} \rightarrow \alpha ^{*} \) and \(\beta _{n}\rightarrow \beta ^{*}\), \(n\rightarrow \infty \). We also have \(\mathbb{T}\alpha ^{*}=\alpha ^{*}\), \(\mathbb{T}\beta ^{*}=\beta ^{*}\). To prove \(\alpha ^{*}=\theta ^{*}\), observe that \(\theta _{0}\leq \alpha ^{*}\) and \(\mathbb{T}\) is increasing, so we have \(\theta _{n}= \mathbb{T}^{n} \theta _{0}\leq \mathbb{T}^{n} \alpha ^{*}\) for each \(n\in \{1, 2,3,\dots \}\). Then \(\theta _{0}\leq \theta _{1}\leq \theta _{2}\leq \cdots \leq \theta _{n}\leq \cdots \leq \alpha ^{*}\). Therefore from (12) and mathematical induction, it is obvious that \(\\alpha ^{*}\theta _{n}\=\\mathbb{T}^{n} \alpha ^{*}\mathbb{T}^{n} \theta _{0}\\leq \nabla ^{n}\\alpha ^{*}\theta _{0}\\rightarrow 0\) as \(n\rightarrow \infty \). Therefore \(\\alpha ^{*}\theta ^{*} \\rightarrow 0 \) as \(n\rightarrow \infty \), which gives \(\theta ^{*}=\alpha ^{*}\). In the same manner, we obtain that \(\bar{\theta ^{*}}=\beta ^{*}\). Thus, the minimal and maximal solutions of the coupled system (7) are unique. □
Generalized Ulam–Hyers stability of the solutions of BVPs (1)
This section is devoted to the investigation of more general stability analysis for the system of fractional differential equations. The stability analysis is an important aspect of fractional calculus for the ordinary and partial differential equations of fractional order. As far as we know, it is in the initial stage for a coupled system. Therefore the aim of this section is to investigate some sufficient conditions for a system of fractional differential equations. In this concern, we study Ulam–Hyers and generalized Ulam–Hyers stability for a coupled system of BVPs (1) of the nonlinear FDEs. For this concern, we require the following auxiliary definitions.
Definition 4.1
The considered problem (1) is Ulam–Hyers stable if we can find a real number \(\hat{C}_{\varPhi , \varPsi }>0\) with the property that, for every \(\varepsilon =\max \{\varepsilon _{1}, \varepsilon _{2}\}>0 \) with \(\varepsilon _{1}>0\) and \(\varepsilon _{2}>0\) and for every solution \(( \theta ,\vartheta ) \in C([0, 1], \mathbf{R})\times C([0,1],\mathbf{R})\) of the inequality
there exists a unique solution \(( \tilde{\theta }, \tilde{\vartheta })\in C([0, 1], \mathbf{R})\times C([0,1],\mathbf{R})\) of the proposed BVPs (1) with
Definition 4.2
The proposed BVPs (1) is called to be generalized Ulam–Hyers stable if we can find \(\varTheta _{\varPhi , \varPsi }: (0, \infty ) \rightarrow \mathbf{R}^{+}\ \text{with}\ \varTheta _{\varPhi , \varPsi }(0)=0\), with the property that, for every \(\varepsilon =\max \{\varepsilon _{1},\varepsilon _{2}\}>0 \) with \(\varepsilon _{1}>0\) and \(\varepsilon _{2}>0\) and for every solution \(( \theta ,\vartheta )\in C([0, 1], \mathbf{R})\times C([0,1],\mathbf{R})\) of the inequality
there exists a unique solution \(( \tilde{\theta }, \tilde{\vartheta })\in C([0, 1], \mathbf{R})\times C([0,1],\mathbf{R})\) of the proposed BVPs (1) with
Remark 4.3
The \((\theta , \vartheta ) \in C([0, 1], \mathbb{R})\) is said to be the solution of BVPs (1) and satisfy the inequality given in (15) if and only if we can find a function \(\alpha , \beta \in C([0, 1], \mathbb{R})\) depending only on \((\theta , \vartheta )\) respectively, then

(i)
\(\alpha (\xi )\leq \varepsilon _{1}\), \(\beta (\xi ) \leq \varepsilon _{2}\), for all \(\xi \in [0, 1]\);

(ii)
\({\mathbb{D}}^{p}\theta (\xi )+\varPhi (\xi ,\vartheta ( \xi ))=\alpha (\xi )\), for all \(\xi \in [0, 1]\), \({\mathbb{D}}^{q}\vartheta (\xi )+\varPsi (\xi ,\theta (\xi ))=\beta ( \xi )\), for all \(\xi \in [0, 1]\).
Thanks to Remark 4.3 and assumption \((C_{3})\) for \(\xi \in ([0, 1])\), the considered solution \((\theta , \vartheta )\) of the problem
given by
satisfies the following inequality:
and
Theorem 4.4
Let \(\nabla <1\) and assumption \((C_{3})\) hold. Then solutions of the considered coupled system (1) are Ulam–Hyers stable and consequently generalized Ulam–Hyers stable.
Proof
Let \((\theta , \vartheta )\) be any solution of BVPs (1)and satisfy inequality (15), and let \((\bar{\theta }, \bar{\vartheta })\) be the unique solution of the considered BVPs problem, then consider
Therefore from inequality (19)
In the same manner, it is easy to prove that
Therefore, from inequalities (20) and (21), we have
Therefore the solutions of a coupled system of BVPs (1) are Ulam–Hyers stable. Further, if \(\varTheta _{\varPhi , \varPsi }(\varepsilon )=\varepsilon \), hence (22) can be expressed as
Therefore, \(\varTheta _{\varPhi , \varPsi }(0)=0\) in (23) holds. Thus, solutions of the system of BVP (1) are generalized Ulam–Hyers stable. Thus we have investigated sufficient condition for Ulam–Hyers stability generalized Ulam–Hyers stability, that is, \(\nabla <1\). □
Examples
In this section, we provide some examples of the coupled system (1). We compute the iterative approximation for the extremal solution of the corresponding examples. We also provide error estimates for the extremal solutions. Furthermore, the stability analysis under the sufficient conditions for the examples of system (1) is also the concern of this section. We also provide the plots of each example of system (1) in the frame figures.
Example 5.1
Consider the following coupled system of BVPs of FDEs:
under the boundary condition given by
As for \(\mathbb{A}=\mathbb{B}=0.0001\), we have \(\nabla =7.2147e^{10}<1\). When \(n=3\) is large enough, iterative sequences for the approximate minimal and maximal solutions \(\theta _{n}\) and \(\bar{\theta }^{*}_{n}\) respectively are:
Let \((\theta _{0}, \vartheta _{0})=(0.01, 0.01)\), \((\theta ^{*}_{0}, \vartheta ^{*}_{0})=(0.01,0.01)\) be the minimal and maximal solutions of Example 5.1 respectively, then we have their corresponding maximum error estimates:
The iterative solutions of minimal and maximal of Example 5.1 are plotted in Figs. 1–2 wherein for the simple execution of Matlab code, we have replaced \((\theta ,\vartheta )\) by \((w,z)\) and \((\theta ^{*},\vartheta ^{*})\) by \((w^{*}, z^{*})\). Each plot in the figures has the demonstration of physical behavior of the approximate solutions.
Further, as \(\nabla <1\), therefore, the Ulam–Hyers stability and generalized Ulam–Hyers stability are obvious. The stability of the iterative solutions can also be observed from Figs. 1–2.
Example 5.2
To strengthen our results, we provide another example as follows:
subject to boundary conditions given as
As for \(\mathbb{A}=\mathbb{B}=\frac{1}{64}\), we have \(\nabla =1.1767e ^{6}<1\). When \(n=3\) is large enough, iterative sequences for the approximate minimal and maximal solutions \(\theta _{n}\) and \(\bar{ \theta }^{*}_{n}\) respectively are:
Let \((\theta _{0}, \vartheta _{0})=(3, 3)\), \((\theta ^{*}_{0}, \vartheta ^{*}_{0})=(3,3)\) be the maximal and minimal solutions of Example 5.2 respectively, then the error estimates are:
The iterative solutions of minimal and maximal of Example 5.2 are plotted in Figs. 3–4, wherein for the simple execution of Matlab code, we have replaced \((\theta ,\vartheta )\) by \((w,z)\) and \((\theta ^{*},\vartheta ^{*})\) by \((w^{*}, z^{*})\). Each plot in the figures has the demonstration of physical behavior of the approximate solutions.
Further, as \(\nabla <1\), therefore, the Ulam–Hyers stability and generalized Ulam–Hyers stability are obvious. The stability of the iterative solutions can also be observed from Figs. 3–4.
Example 5.3
Consider the following coupled system of BVPs of FDEs:
with the given boundary condition
Obviously, \(\mathbb{A}=\mathbb{B}=\frac{1}{64}\), from which it is easy to see that \(\nabla = 1.4317e^{7}<1\). For taking \(n=3\) is large enough, we have the iterative sequences for approximate minimal and maximal solutions \(\theta _{n}\) and \(\bar{\theta }^{*}_{n}\) as given by
respectively. Let \((\theta _{0}, \vartheta _{0})=(0.1, 0.1)\), \((\theta ^{*}_{0}, \vartheta ^{*}_{0})=(0.1,0.1)\) be maximal and minimal solutions respectively of Example 5.3, then
Physical behavior of the approximate maximal and minimal solutions has also been demonstrated by providing Figs. 5–6, wherein, for the simple execution of Matlab code, we have replaced \((\theta ,\vartheta )\) by \((w,z)\) and \((\theta ^{*},\vartheta ^{*})\) by \((w^{*}, z^{*})\).
It is easy to obtain the conditions of various types of Ulam–Hyers stabilities for the solutions. The stability of iterative solutions is also obvious from Figs. 5–6.
Figures discussion: We have plotted the iterative solutions of three considered examples of system (1). These plots are provided in Figs. 1–6. For the sketch of plots, we have used the subplot command in the Matlab software. Each plot of numerical results shows a meaningful behavior of the extremal solutions of the coupled system of fractional differential equations. The different visualizations of each upper and lower solutions are very clear.
Conclusion
We have developed sufficient conditions for the existence of extremal solutions to a coupled system of FDEs with highier order boundary conditions. We have successfully provided these sufficient conditions on the basis of combining the method of upper and lower solutions together with the method of monotone iterative technique. We have constructed two monotonic sequences corresponding to upper and lower solutions such that a monotonically increasing sequence converged to the maximal solutions and the monotonically decreasing sequence converged to the minimal solutions of the system under consideration. Finally, an error estimate has been established, which provided the efficiency of the method.
References
 1.
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)
 2.
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
 3.
Podlubny, I.: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)
 4.
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
 5.
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
 6.
Benchohra, M., Graef, J.R., Hamani, S.: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87, 851–863 (2008)
 7.
Agarwal, R.P., Belmekki, M., Benchohra, M.: A survey on semilinear differential equations and inclusions involving Riemann–Liouville fractional derivative. Adv. Differ. Equ. 2009, Article ID 981728 (2009)
 8.
Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973–1033 (2012)
 9.
Abbas, S., Benchohra, M.: Topics in Fractional Differential Equations. Springer, Berlin (2012) 12 pages
 10.
Benchohra, M., Graef, J.R., Hamani, S.: Existence results for boundary value problems with nonlinear fractional differential equations. Appl. Anal. 87(7), 851–863 (2008)
 11.
Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. iv, 233–240 (2006)
 12.
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)
 13.
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
 14.
Timoshenko, S.P.: Theory of Elastic Stability. McGrawHill, New York (1961)
 15.
Soedel, W.: Vibrations of Shells and Plates. Dekker, New York (1993)
 16.
Yang, W.: Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations. Comput. Math. Appl. 63, 288–297 (2012)
 17.
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)
 18.
Su, X.: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 22, 64–69 (2009)
 19.
Wang, G., Agarwal, R.P., Cabada, A.: Existence results and the monotone iterative technique for systems of nonlinear fractional differential equations. Appl. Math. Lett. 25(6), 1019–1024 (2012)
 20.
Zeidler, E.: Nonlinear Functional Analysis and Its Applications, Part II/B: Nonlinear Monotone Operators. Springer, New York (1989)
 21.
Shah, K., Khan, R.A.: Iterative solutions to a coupled system of nonlinear fractional differential equations. J. Fract. Calc. Appl. 7(2), 40–50 (2016)
 22.
Shah, K., Khalil, H., Khan, R.A.: Upper and lower solutions to a coupled system of nonlinear fractional differential equations. Prog. Fract. Differ. Appl. 1(1), 1–10 (2016)
 23.
Ahmad, B., Nieto, J.J.: Existence results for a coupled system of nonlinear fractional differential equations with threepoint boundary conditions. Comput. Math. Appl. 58, 1838–1843 (2009)
 24.
Gafiychuk, V., Datsko, B., Meleshko, V., Blackmore, D.: Analysis of the solutions of coupled nonlinear fractional reactiondiffusion equations. Chaos Solitons Fractals 41, 1095–1104 (2009)
 25.
Arshad, A., Shah, K., Jarad, F., Gupta, V., Abdeljawad, T.: Existence and stability analysis to a coupled system of implicit type impulsive boundary value problems of fractionalorder differential equations. Adv. Differ. Equ. 2019, 101 (2019)
 26.
Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2019)
 27.
Gambo, Y.Y., Ameen, R., Jarad, F., Abdeljawad, T.: Existence and uniqueness of solutions to fractional differential equations in the frame of generalized Caputo fractional derivatives. Adv. Differ. Equ. 2018, 134 (2018)
 28.
Ameen, R., Jarad, F., Abdeljawad, T.: Ulam stability for delay fractional differential equations with a generalized Caputo derivative. Filomat 32(15), 5265–5274 (2018)
 29.
Adjabi, Y., Jarad, F., Baleanu, D., Abdeljawad, T.: On Cauchy problems with Caputo Hadamard fractional derivatives. J. Comput. Anal. Appl. 21(4), 661–681 (2016)
 30.
Abdeljawad, T., Jarad, F., Baleanu, D.: On the existence and the uniqueness theorem for fractional differential equations with bounded delay within Caputo derivatives. Sci. China Ser. A, Math. 51(10), 1775–1786 (2008)
 31.
Abdeljawad, T., Baleanu, D., Jarad, F.: Existence and uniqueness theorem for a class of delay differential equations with left and right Caputo fractional derivatives. J. Math. Phys. 49(8), Article ID 083507 (2008)
 32.
Ladde, G.S., Lakshmikantham, V., Vatsala, A.S.: Monotone Iterative Technique for Nonlinear Differential Equations. Pitman Publishing Inc., Boston (1985)
 33.
Bai, C., Fang, J.: The existence of a positive solution for a singular coupled system of nonlinear fractional differential equations. Comput. Math. Appl. 150, 611–621 (2004)
 34.
Zhang, S.: Monotone iterative method for initial value problem involving Riemann–Liouville fractional derivatives. Nonlinear Anal., Theory Methods Appl. 71(5), 2087–2093 (2009)
 35.
Mcrae, F.A.: Monotone iterative technique and existence results for fractional differential equations. Nonlinear Anal., Theory Methods Appl. 71(12), 6093–6096 (2009)
 36.
AlRefai, M., Ali Hajji, M.: Monotone iterative sequences for nonlinear boundary value problems of fractional order. Nonlinear Anal., Theory Methods Appl. 74(11), 3531–3539 (2011)
 37.
Xu, N., Liu, W.: Iterative solutions for a coupled system of fractional differentialintegral equations with twopoint boundary conditions. Appl. Math. Comput. 244, 903–911 (2014)
 38.
Liu, X., Jia, M.: Multiple solutions for fractional differential equations with nonlinear boundary conditions. Comput. Math. Appl. 59, 2880–2886 (2010)
 39.
He, Z., He, X.: Monotone iterative technique for impulsive integrodifferential equations with periodic boundary conditions. Comput. Math. Appl. 48, 73–84 (2004)
 40.
De Coster, C., Habets, P.: TwoPoint Boundary Value Problems: Lower and Upper Solutions. Elsevier, Amsterdam (2006)
 41.
Li, F., Jia, M., Liu, X., Li, C., Li, G.: Existence and uniqueness of solutions of secondorder threepoint boundary value problems with upper and lower solutions in the reverse order. Nonlinear Anal., Theory Methods Appl. 68, 2381–2388 (2008)
 42.
Hirstova, S., Tunç, C.: Stability of nonlinear Volterra integrodifferential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 30, 1 (2019)
 43.
Ali, S., Shah, K., Jarad, F.: On stable iterative solutions for a class of boundary value problem of nonlinear fractional order differential equations. Math. Methods Appl. Sci. 42(3), 969–981 (2019)
 44.
Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)
 45.
Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)
 46.
Rassias, T.M.: On the stability of functional equations and a problem of Ulam. Acta Appl. Math. 26, 23–130 (2000)
 47.
Hirstova, S., Tunç, C.: Stability of nonlinear Volterra integrodifferential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 30, 1 (2019)
 48.
Wang, J., Fečkan, M., Zhou, Y.: Fractional order differential switched systems with coupled nonlocal initial and impulsive conditions. Bull. Sci. Math. 141, 727–746 (2017)
 49.
Cabada, A., Wang, G.: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403–411 (2012)
Acknowledgements
Further we are thankful to the anonymous referee for useful suggestions.
Availability of data and materials
Not applicable.
Funding
The second author would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), group number RGDES20170117.
Author information
Affiliations
Contributions
All authors have done equal contribution in this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
There does not exist any competing interest regarding this article.
Additional information
Abbreviations
FDEs; BVPs
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.
About this article
Cite this article
Ali, S., Abdeljawad, T., Shah, K. et al. Computation of iterative solutions along with stability analysis to a coupled system of fractional order differential equations. Adv Differ Equ 2019, 215 (2019). https://doi.org/10.1186/s136620192151z
Received:
Accepted:
Published:
Keywords
 Monotone iterative technique
 Fractional differential equations
 Extremal solutions
 Ulam stability