Skip to main content

Theory and Modern Applications

Computation of iterative solutions along with stability analysis to a coupled system of fractional order differential equations

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.

1 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:

$$ \textstyle\begin{cases} \mathbb{D}^{\alpha } \theta (\xi )+f (\xi , \theta (\xi ))=0, & \xi \in (0,1), 1< \alpha < 2, \\ \theta ^{\prime }(0)=0,\qquad \theta (1)=\xi \theta (\varrho ), \end{cases} $$

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:

$$ \textstyle\begin{cases} \mathbb{D}^{p} \theta (\xi )+\varPhi \bigl(\xi ,\vartheta (\xi )\bigr)=0, \quad \xi \in [0,1], \\ \mathbb{D}^{q} \vartheta (\xi )+\varPsi \bigl(\xi ,\theta (\xi ) \bigr)=0,\quad \xi \in [0,1], \\ \theta (1)=\theta '(0)=\theta ''(0)= \cdots =\theta ^{(n-2)}(0)= \theta ^{(n-1)}(0)=0, \\ \vartheta (1)=\vartheta '(0)=\vartheta ''(0)= \cdots =\vartheta ^{(n-2)}(0)= \vartheta ^{(n-1)}(0)=0, \end{cases} $$
(1)

where \(n=2,3,4,\ldots \) , \(n-1< 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.

2 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

$$ I^{\delta }\theta (\xi )=\frac{1}{\varGamma (\delta )} \int _{0}^{\xi }( \xi -\sigma )^{\delta -1} \theta ( \sigma )\,d\sigma , $$

provided that the integral is pointwise defined on the right-hand side.

Definition 2.2

([3])

The Caputo derivative of fractional order p of function \(\theta (\xi )\) is defined by

$$ \mathbb{D}^{p}\theta (\xi ) = \frac{1}{\varGamma (n-p)} \int _{0}^{\xi }( \xi -\sigma )^{n-p-1}\theta ^{(n)}(\sigma )\,d\sigma , $$

provided that the integral on the right-hand 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

([3, 49])

Let \(p>0\), then the FDE

$$ {\mathbb{D}^{p} }\theta (\xi ) = 0 $$

has the solution in the form of

$$ \theta (\xi ) = \sum_{i = 0}^{[p] } { \frac{{{\theta ^{(i)}}( 0 )}}{ {i!}}{t^{i}}}. $$

Lemma 2.7

([3, 49])

Let \(p>0\), then

$$ {I^{p} }\bigl[{\mathbb{D}^{p} }\theta (\xi )\bigr] = \theta (\xi ) - \sum_{i = 0}^{[p] } { \frac{{{\theta ^{(i)}}( 0)}}{{i!}}{t^{i}}}. $$

3 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 real-valued 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

$$ \begin{aligned} & \mathbb{D}^{p}\theta (\xi )+h(\xi )=0,\quad \xi \in [0, 1], (n-1)< p\leq n, \\ & \theta (1)=\theta '(0)=\theta ''(0)= \cdots =\theta ^{(n-2)}(0)= \theta ^{(n-1)}(0)=0 \end{aligned} $$
(2)

has the solution defined by

$$ \theta (\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )h(\sigma )\,d\sigma , $$
(3)

where \(\mathbb{G}_{1}(\xi , \sigma )\) is given by

$$ {\mathbb{G}_{1}} ( {\xi ,\sigma } ) = \frac{1}{\varGamma (p)}\textstyle\begin{cases} ( {1 - \sigma } )^{p - 1} - ( {\xi - \sigma } ) ^{p - 1}, & 0 \le \sigma \le \xi \le 1, \\ ( {1 - \sigma } )^{p - 1}, & 0 \le \xi \le \sigma \le 1. \end{cases} $$
(4)

\(\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

$$ \theta (\xi ) = C_{1}+C_{2}\xi +\cdots +C_{n}\xi ^{n-1} - {I^{p}}h( \xi ). $$
(5)

We face singularity by using the conditions \(\theta '(0)=\theta ''(0)= \cdots =\theta ^{(n-2)}(0)=\theta ^{(n-1)}(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

$$ \theta (\xi ) = \int _{0}^{1} {\frac{{{{( {1 - \sigma })}^{p - 1}}}}{ {\varGamma ( p )}}h} ( {\sigma })\,d\sigma - \int _{0}^{\xi }{\frac{ {{{({\xi - \sigma })}^{p - 1}}}}{{\varGamma (p)}}} h( {\sigma })\,d\sigma . $$
(6)

Hence, we obtain the result from (6) that is

$$ \theta (\xi ) = \int _{0}^{1} {{\mathbb{G}_{1}}( {\xi , \sigma } )h} ( {\sigma } )\,d\sigma . $$

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

$$ \textstyle\begin{cases} \theta (\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi (\sigma , \vartheta (\sigma ))\,d\sigma , \quad \xi \in [0,1], \\ \vartheta (\xi )= \int _{0}^{1}\mathbb{G}_{2}(\xi ,\sigma )\varPsi ( \sigma ,\theta (\sigma ))\,d\sigma , \quad \xi \in [0,1], \end{cases} $$
(7)

where \(\mathbb{G}_{1}(\xi ,\sigma )\) is given in (4) and

$$ {\mathbb{G}_{2}} ( {\xi ,\sigma } ) = \textstyle\begin{cases} \frac{{{{ ( {1 - \sigma } )}^{q - 1}} - {{ ( {\xi - \sigma } )}^{q - 1}}}}{{\varGamma (q)}}, & 0 \le \sigma \le \xi \le 1, \\ \frac{{{{ ( {1 - \sigma } )}^{q - 1}}}}{{\varGamma (q)}}, & 0 \le \xi \le \sigma \le 1. \end{cases} $$

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:

$$ \int _{0}^{1} \bigl\vert \mathbb{G}_{1}( \xi ,\sigma )\bigr\vert \,d \sigma \leq \frac{1}{ \varGamma (p+1)},\qquad \int _{0}^{1} \bigl\vert \mathbb{G}_{2}( \xi ,\sigma ) \bigr\vert \,d\sigma \leq \frac{1}{\varGamma (q+1)} \quad \textit{for all } \xi \in [0,1]. $$

Proof

As

$$ \frac{{{{ ( {1 - \sigma } )}^{p - 1}} - {{ ( {\xi - \sigma } )}^{p - 1}}}}{{\varGamma ( p )}} \le \frac{ {{{ ( {1 - \sigma } )}^{p - 1}}}}{{\varGamma ( p )}} $$

implies that

$$ \mathbb{G}_{1}(\xi ,\sigma ) \le \frac{{{{ ( {1 - \sigma } )} ^{p - 1}}}}{{\varGamma ( p )}}, $$

thus

$$ \bigl\vert \mathbb{G}_{1}(\xi ,\sigma ) \bigr\vert \leq \frac{ (1-\sigma )^{p-1}}{ \varGamma (p )}, $$

from which we have

$$ \int _{0}^{1} \bigl\vert \mathbb{G}_{1}( \xi ,\sigma ) \bigr\vert \,d\sigma \leq \frac{1}{ \varGamma (p+1)}. $$

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

$$ \begin{aligned}[b] \theta (\xi )&= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \bigl(\sigma , \vartheta (\sigma )\bigr)\,d\sigma \\ &= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma ) \varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl( \varrho ,\theta (\varrho )\bigr)\,d\varrho \biggr)\,d\sigma . \end{aligned} $$
(8)

Further, we define \(\mathbb{T}:W\rightarrow \mathcal{U}\) is an operator by

$$ \mathbb{T}\bigl(\theta (\xi )\bigr)= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma ) \varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl( \varrho ,\theta (\varrho )\bigr)\,d\varrho \biggr)\,d\sigma . $$
(9)

Thanks to equation (8) and equation (9), we obtain the equation

$$ \bigl[I-\mathbb{T}\bigl(\theta (\xi )\bigr)\bigr]=0,\quad \xi \in [0,1]. $$
(10)

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

$$ \begin{aligned}[b] \mathbb{T}\bigl(\theta (\xi )\bigr) &= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma ) \varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl( \varrho ,\theta (\varrho )\bigr)\,d\varrho \biggr)\,d\sigma \\ &\leq \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho ,\theta ^{*}( \varrho )\bigr)\,d\varrho \biggr)\,d\sigma =\mathbb{T}\bigl(\theta ^{*}(\xi )\bigr) \end{aligned} $$
(11)

implies that

$$ \mathbb{T}\bigl(\theta (\xi )\bigr) \leq \mathbb{T}\bigl(\theta ^{*}( \xi )\bigr), $$

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\)

$$ \begin{aligned}[b] & \bigl\vert \mathbb{T}\bigl(\theta _{i}(\xi )\bigr)-\mathbb{T}\bigl(\theta _{j}(\xi )\bigr) \bigr\vert \\ &\quad = \biggl\vert \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho ,\theta _{i}( \varrho )\bigr)\,d\varrho \biggr)\,d\sigma \\ &\qquad {}- \int _{0}^{1}\mathbb{G}_{1}(\xi , \sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho ,\theta _{j}(\varrho )\bigr)\,d\varrho \biggr)\,d\sigma \biggr\vert \\ &\quad \leq \int _{0}^{1} \mathbb{G}_{1}(\xi ,\sigma ) \biggl\vert \varPhi \biggl( \sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho , \theta _{i}(\varrho )\bigr)\,d\varrho \biggr)\\ &\qquad {}-\varPhi \biggl(\sigma , \int _{0}^{1} \mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho ,\theta _{j}(\varrho )\bigr)\,d\varrho \biggr) \biggr\vert \,d\sigma \\ &\quad \leq \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma ) \mathbb{A} \int _{0} ^{1}\mathbb{G}_{2}(\sigma , \varrho ) \bigl\vert \varPsi \bigl(\varrho ,\theta _{i}(\varrho ) \bigr)-\varPsi \bigl(\varrho ,\theta _{j}(\varrho )\bigr) \bigr\vert \,d\varrho \,d\sigma \\ &\quad \leq \frac{\mathbb{A}\mathbb{B}}{\varGamma (q+1)}\varGamma (p+1) \Vert \theta _{i}-\theta _{j} \Vert =\nabla \Vert \theta _{i}-\theta _{j} \Vert , \quad \text{where } \nabla =\frac{\mathbb{A}\mathbb{B}}{\varGamma (q+1)}\varGamma (p+1). \end{aligned} $$
(12)

Therefore, the operator \(\mathbb{T}\) is continuous. Further, it is obvious that \(\mathbb{T}\) is also equi-continuous and uniformly bounded. Arzelá–Ascoli theorem which states that “If M is a family (finite or infinite) of an equi-continuous, uniformly bounded real-valued 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

$$ \theta _{0}\leq \beta . $$

As \(\mathbb{T}\) is an increasing operator, then we obtain

$$ \theta _{0}\leq \mathbb{T}\theta _{0}\leq \mathbb{T}\beta \leq \beta ,\quad \text{that is, }\theta _{0}\leq \theta _{1}\leq \beta \text{ on the interval } [0,1], $$

where \(\theta _{1}=\mathbb{T}\theta _{0}\) is an iterative solution of integral equation (10). By applying \(\mathbb{T}\), we obtain

$$ \mathbb{T}\theta _{0}\leq \mathbb{T}\theta _{1}\leq \mathbb{T}\beta \leq \beta ,\quad \text{that is, }\theta _{1}\leq \theta _{2}\leq \beta \text{ on }[0,1], $$

where \(\theta _{2}=\mathbb{T}\theta _{1}\). Consequently, we obtain a bounded monotone sequence \(\{\theta _{n}\}\) which is

$$ \theta _{0}\leq \theta _{1}\leq \theta _{2}\leq \cdots\leq \theta _{n-1} \leq \theta _{n}\leq \beta\quad \text{on }[0,1], $$
(13)

where \(\theta _{n}=\mathbb{T}\theta _{n-1}\) 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

$$ \theta (\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl( \sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho , \theta (\varrho )\bigr)\,d\varrho \biggr)\,d\sigma , \quad \xi \in [0,1]. $$

Hence, in view of (13) and (12), we get

$$ \begin{aligned} & \Vert \theta _{2}-\theta _{1} \Vert = \Vert \mathbb{T}\theta _{1}-\mathbb{T}\theta _{0} \Vert \leq \nabla e_{1}, \\ & \Vert \theta _{3}-\theta _{2} \Vert = \Vert \mathbb{T}\theta _{2}-\mathbb{T}\theta _{1} \Vert \leq \nabla ^{2}e_{1}, \\ & \Vert \theta _{4}-\theta _{3} \Vert = \Vert \mathbb{T}\theta _{3}-\mathbb{T}\theta _{2} \Vert \leq \nabla ^{3}e_{1}, \\ & \vdots \\ & \Vert \theta _{n+1}-\theta _{n} \Vert = \Vert \mathbb{T}\theta _{n}-\mathbb{T} \theta _{n-1} \Vert \leq \nabla ^{n}e_{1}. \end{aligned} $$

Consequently, for positive integers \(m \text{and} n\), we have

$$\begin{aligned} \Vert \theta _{m+n}-\theta _{n} \Vert &\leq \Vert \theta _{n+m}-\theta _{n+m-1} \Vert + \Vert \theta _{n+m-1}-\theta _{n+m-2} \Vert +\cdots +\Vert \theta _{n+1}-\theta _{n} \Vert \\ &\leq \nabla ^{n} \frac{1-\nabla ^{m}}{1-\nabla } e_{1}. \end{aligned}$$
(14)

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

$$ e_{n}= \bigl\Vert \theta ^{*}-\theta _{n} \bigr\Vert \leq \frac{\nabla ^{n}}{1-\nabla } e _{1},\quad \text{where } e_{1}= \Vert \theta _{1}-\theta _{0} \Vert . $$

 □

Remark

Let us choose \(\theta _{0}=\beta \), we have a sequence \(\{\theta _{n}\}\) so that

$$ \theta _{0}\geq \theta _{1}\geq \theta _{2}\geq \cdots \geq\theta _{n-1} \geq \theta _{n}\geq \alpha \quad \text{on } [0,1], $$

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:

$$ \begin{aligned} & \theta _{n}(\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl(\varrho , \theta _{n-1}(\varrho )\bigr)\,d\varrho \biggr)\,d\sigma ,\quad n\geq 1, \\ & \theta ^{*}_{n}(\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\sigma , \varrho )\varPsi \bigl( \varrho , \theta ^{*}_{n-1}(\varrho ) \bigr)\,d\varrho \biggr)\,d\sigma ,\quad n \geq 1. \end{aligned} $$

Hence, we have

$$\begin{aligned} &\theta ^{*}(\xi )=\lim_{n\rightarrow \infty } \theta _{n}(\xi ),\ \vartheta ^{*}(\xi )= \int _{0}^{1}\mathbb{G}_{2}( \xi ,\sigma )\varPsi \bigl(\sigma , \theta ^{*}(\sigma )\bigr)\,d\sigma , \\ & \bar{\theta }^{*}(\xi )=\lim_{n\rightarrow \infty }\theta ^{*}_{n}( \xi ),\ \bar{\vartheta }^{*}(\xi )= \int _{0}^{1}\mathbb{G}_{2}(\xi , \sigma )\varPsi \bigl(\sigma , \bar{\theta }^{*}(\sigma )\bigr)\,d\sigma . \end{aligned}$$

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. □

4 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

$$ \begin{aligned} \bigl\vert \mathbb{D}^{p} \theta (\xi )-\varPhi \bigl(\xi , \vartheta (\xi )\bigr) \bigr\vert \leq \varepsilon _{1},\quad \xi \in [0,1], \\ \bigl\vert \mathbb{D}^{q}\vartheta (\xi )-\varPsi \bigl(\xi , \theta (\xi )\bigr) \bigr\vert \leq \varepsilon _{2},\quad \xi \in [0,1], \end{aligned} $$
(15)

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

$$ \bigl\Vert ( \theta ,\vartheta )-( \tilde{\theta },\tilde{\vartheta }) \bigr\Vert \leq \hat{C}_{\varPhi , \varPsi } \varepsilon ,\quad \xi \in [0, 1]. $$

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

$$ \begin{aligned} \bigl\vert \mathbb{D}^{p}\theta (\xi )- \varPhi \bigl(\xi , \vartheta (\xi )\bigr) \bigr\vert \leq \varepsilon _{1}, \quad \xi \in [0,1], \\ \bigl\vert \mathbb{D}^{q}\vartheta (\xi )-\varPsi \bigl(\xi , \theta (\xi )\bigr) \bigr\vert \leq \varepsilon _{2}, \quad \xi \in [0,1], \end{aligned} $$

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

$$ \bigl\Vert (\theta ,\vartheta )-(\tilde{\theta },\tilde{\vartheta }) \bigr\Vert \leq \hat{C}_{\varPhi ,\varPsi } \varTheta _{\varPhi , \varPsi }(\xi ),\quad \xi \in [0, 1]. $$

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

  1. (i)

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

  2. (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

$$ \textstyle\begin{cases} \mathbb{D}^{p} \theta (\xi )+\varPhi (\xi ,\vartheta (\xi ))=\alpha ( \xi ), \quad \xi \in [0,1], \\ \mathbb{D}^{q} \vartheta (\xi )+\varPsi (\xi ,\theta (\xi ))=\beta ( \xi ), \quad \xi \in [0,1], \\ \theta (1)=\theta '(0)=\theta ''(0)=\cdots=\theta ^{(n-2)}(0)= \theta ^{(n-1)}(0)=0, \\ \vartheta (1)=\vartheta '(0)=\vartheta ''(0)=\cdots=\vartheta ^{(n-2)}(0)= \vartheta ^{(n-1)}(0)=0, \end{cases} $$

given by

$$\begin{aligned}& \begin{aligned} & \theta (\xi )= \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl( \sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi ,\varrho )\varPsi \bigl(\varrho , \theta (\varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{2}(\xi , \varrho )\beta ( \varrho )\,d\varrho \biggr)\,d\sigma \\ & \hphantom{\theta (\xi )=}{}+ \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\alpha (\sigma )\,d\sigma , \quad \xi \in [0,1], \\ & \vartheta (\xi )= \int _{0}^{1}\mathbb{G}_{2}(\xi ,\sigma )\varPsi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{1}(\xi ,\varrho )\varPhi \bigl(\varrho ,\vartheta (\varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{1}(\xi , \varrho ) \alpha (\varrho )\,d\varrho \biggr)\,d\sigma \\ & \hphantom{\vartheta (\xi )=}{} +\int _{0}^{1}\mathbb{G}_{2}(\xi ,\sigma )\beta (\sigma )\,d\sigma , \quad \xi \in [0,1], \end{aligned} \end{aligned}$$
(16)

satisfies the following inequality:

$$ \begin{aligned}[b] & \biggl\vert \theta (\xi )- \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi ,\varrho )\varPsi \bigl(\varrho ,\theta (\varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{2}(\xi , \varrho )\beta (\varrho )\,d\varrho \biggr)\,d\sigma \biggr\vert \\ & \quad \leq \frac{\varepsilon _{2}}{\varGamma (p+1)}, \quad \xi \in [0, 1], \end{aligned} $$
(17)

and

$$ \begin{aligned}[b] & \biggl\vert \vartheta (\xi )- \int _{0}^{1}\mathbb{G}_{2}(\xi ,\sigma )\varPsi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{1}(\xi ,\varrho )\varPhi \bigl(\varrho ,\vartheta (\varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{1}(\xi , \varrho ) \alpha (\varrho )\,d\varrho \biggr)\,d\sigma \biggr\vert \\ &\quad \leq \frac{\varepsilon _{1}}{\varGamma (q+1)}. \end{aligned} $$
(18)

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

$$\begin{aligned}& \vert \theta -\bar{\theta } \vert \\& \quad = \biggl\vert \theta - \int _{0}^{1}\mathbb{G}_{1}( \xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi , \varrho )\varPsi \bigl(\varrho ,\bar{\theta }(\varrho )\bigr)\,d\varrho + \int _{0} ^{1} K_{2}(\xi , \varrho ) \beta (\varrho )\,d\varrho \biggr)\,d\sigma \biggr\vert \\& \quad \leq \biggl\vert \theta - \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi ,\varrho )\varPsi \bigl(\varrho , \theta (\varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{2}(\xi , \varrho ) \beta (\varrho )\,d\varrho \biggr)\,d\sigma \biggr\vert \\& \qquad {}+ \biggl\vert \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi ,\varrho )\varPsi \bigl(\varrho , \theta ( \varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{2}(\xi , \varrho )\beta (\varrho )\,d\varrho \biggr)\,d\sigma \\& \qquad {}- \int _{0}^{1}\mathbb{G}_{1}(\xi ,\sigma )\varPhi \biggl(\sigma , \int _{0}^{1}\mathbb{G}_{2}(\xi ,\varrho )\varPsi \bigl(\varrho , \bar{\theta }( \varrho )\bigr)\,d\varrho + \int _{0}^{1} K_{2}(\xi , \varrho )\beta (\varrho )\,d\varrho \biggr)\,d\sigma \biggr\vert . \end{aligned}$$
(19)

Therefore from inequality (19)

$$\begin{aligned} \begin{aligned} & \Vert \theta -\bar{\theta } \Vert \leq \frac{\varepsilon _{2}}{\varGamma (p+1)}+ \nabla \Vert \theta -\bar{\theta } \Vert , \\ &\Vert \theta -\bar{\theta } \Vert \leq \varepsilon _{2} \hat{C}_{\varPhi , \varPsi },\quad \hat{C}_{\varPhi ,\varPsi }=\frac{1}{(1-\nabla )\varGamma (p+1)}>0. \end{aligned} \end{aligned}$$
(20)

In the same manner, it is easy to prove that

$$\begin{aligned} \Vert \vartheta -\bar{\vartheta } \Vert \leq & \varepsilon _{1} \hat{C}_{ \varPsi },\quad \hat{C}_{\varPsi }= \frac{1}{(1-\nabla )\varGamma (q+1)}>0. \end{aligned}$$
(21)

Therefore, from inequalities (20) and (21), we have

$$\begin{aligned} \bigl\Vert (\theta ,\vartheta )-(\bar{\theta },\bar{ \vartheta }) \bigr\Vert \leq & \max \{\varepsilon _{1} \hat{C}_{\varPhi }, \varepsilon _{2} \hat{C}_{\varPsi } \}=\varepsilon \hat{C}_{\varPhi ,\varPsi }. \end{aligned}$$
(22)

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

$$\begin{aligned} \bigl\Vert (\theta , \vartheta )-(\bar{\theta }, \bar{\vartheta }) \bigr\Vert \leq & \hat{C}_{\varPhi ,\varPsi }\varTheta _{\varPhi , \varPsi }(\varepsilon ). \end{aligned}$$
(23)

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\). □

5 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:

$$ \begin{gathered} {\mathbb{D}^{\frac{5}{2}}}\theta (\xi ) + \frac{{{t^{ \frac{7}{2}}}\vartheta (\xi ) ( {56\mbox{,}754{\vartheta ^{2}} (\xi ) + 160} )}}{{1 + {\vartheta ^{2}} (\xi )}} = 0, \quad 0 \le \xi \le 1, \\ {\mathbb{D}^{\frac{{27}}{{10}}}}\vartheta (\xi ) + \frac{ {{t^{\frac{9}{2}}}\theta (\xi ) ( {\theta (\xi ) + 1} ) ( {23\mbox{,}471{e^{ ( {- \theta (\xi )} )}} + 120} )}}{{2 + \theta (\xi )}} = 0, \quad 0 \le \xi \le 1, \end{gathered} $$
(24)

under the boundary condition given by

$$ \begin{aligned} \theta (1)=\theta '(0)=\theta ''(0)=0,\qquad \vartheta (1)=\vartheta '(0)= \vartheta ''(0)=0. \end{aligned} $$
(25)

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:

$$ \begin{aligned} & \theta ^{*}(\xi )=\theta _{3}( \xi ),\\ & \vartheta ^{*}(\xi )= \int _{0} ^{1} \mathbb{G}_{2}(\xi , \sigma )\frac{{{\sigma ^{\frac{9}{2}}}\theta _{2} ( \sigma ) ( {\theta _{2} ( \sigma ) + 1} ) ( {23\mbox{,}471{e^{{ - \theta _{2} ( \sigma )} }} + 120} )}}{{1 + \theta _{2} ( \sigma )}}\,d\sigma , \\ & \bar{\theta }^{*}(\xi )=\theta ^{*}_{3}(\xi ),\\ & \bar{\vartheta }^{*}( \xi )= \int _{0}^{1} \mathbb{G}_{2}(\xi ,\sigma )\frac{{{\sigma ^{\frac{9}{2}}} \theta ^{*}_{2} ( \sigma ) ( {\theta ^{*}_{2} ( \sigma ) + 1} ) ( {23\mbox{,}471{e^{ { - \theta ^{*}_{2} ( \sigma )}}} + 120} )}}{{1 + \theta ^{*}_{2} ( \sigma )}}\,d\sigma . \end{aligned} $$
(26)

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:

$$ \begin{aligned}e_{3}&= \Vert \theta -\theta _{3} \Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e_{1}\leq 3.7554292227e^{-28}\times \max_{\xi \in [0,1]} \bigl\vert \theta _{1}( \xi )+0.01 \bigr\vert \\ & \simeq 5.66292592845e^{-24}, \\ e^{*}_{3}&= \bigl\Vert \theta -\theta ^{*}_{3} \bigr\Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e^{*}_{1}\leq 3.7554292227e^{-28}\times \max _{\xi \in [0,1]} \bigl\vert 0.01- \theta ^{*}_{1}( \xi ) \bigr\vert \\ &\simeq 5.60233983913e^{-24}. \end{aligned} $$

The iterative solutions of minimal and maximal of Example 5.1 are plotted in Figs. 12 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.

Figure 1
figure 1

A line graph of the solutions of Example 5.1

Figure 2
figure 2

A line graph of the solutions of Example 5.1, when \(p=\frac{11}{5}\) and \(q=\frac{15}{7}\)

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. 12.

Example 5.2

To strengthen our results, we provide another example as follows:

$$ \begin{gathered} {\mathbb{D}^{\frac{19}{5}}}\theta (\xi ) + \sqrt{1 + {\vartheta ^{2}} (\xi )} \bigl( {{\vartheta ^{1.1}} (\xi ) + {\vartheta ^{2.3}} (\xi )} \bigr) = 0, \quad 0 \le \xi \le 1, \\ {\mathbb{D}^{\frac{{7}}{{2}}}}\vartheta (\xi ) + \sqrt{ \theta (\xi )} \bigl( {{ \theta ^{2.3}} (\xi ) + {\theta ^{1.1}} (\xi )} \bigr) = 0, \quad 0 \le \xi \le 1, \end{gathered} $$
(27)

subject to boundary conditions given as

$$ \begin{aligned} & \theta (1)=\theta '(0)=\theta ''(0)=\theta '''(0)=0, \qquad \vartheta (1)= \vartheta '(0)=\vartheta ''(0)= \vartheta '''(0)=0. \end{aligned} $$
(28)

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:

$$ \begin{aligned} & \theta ^{*}(\xi )=\theta _{3}( \xi ),\qquad \vartheta ^{*}(\xi )= \int _{0} ^{1} \mathbb{G}_{2}(\xi , \sigma ) \sqrt{\theta _{2} ( \sigma )} \bigl( {{\theta _{2}^{2.3}} ( \sigma ) + {\theta _{2}^{1.1}} ( \sigma )} \bigr)\,d\sigma , \\ & \bar{\theta }^{*}(\xi )=\theta ^{*}_{3}(\xi ),\qquad \bar{\vartheta }^{*}( \xi )= \int _{0}^{1} \mathbb{G}_{2}(\xi ,\sigma )\sqrt{\theta ^{*}_{2} ( \sigma )} \bigl( {{ \bigl(\theta _{2}^{*} ( \sigma ) \bigr)^{2.3}} + { \bigl(\theta _{2}^{*} ( \sigma ) \bigr)^{1.1}}} \bigr)\,d\sigma . \end{aligned} $$
(29)

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:

$$ \begin{aligned} e_{3}&= \Vert \theta -\theta _{3} \Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e_{1}\leq 1.62914414119e^{-18} \times \max_{\xi \in [0,1]} \bigl\vert \theta _{1}( \xi )+3 \bigr\vert \\ & \simeq 5.03862710112e^{-18}, \\ e^{*}_{3}&= \bigl\Vert \theta -\theta ^{*}_{3} \bigr\Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e^{*}_{1}\leq 1.62914414119e^{-18}\times \max _{\xi \in [0,1]} \bigl\vert 3- \theta ^{*}_{1}(\xi ) \bigr\vert \\ &\simeq 4.88743242358e^{-18}. \end{aligned} $$

The iterative solutions of minimal and maximal of Example 5.2 are plotted in Figs. 34, 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.

Figure 3
figure 3

A line graph of the solutions of Example 5.2

Figure 4
figure 4

A line graph of the solutions of Example 5.2, when \(p=\frac{17}{5}\) and \(q=\frac{10}{3}\)

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. 34.

Example 5.3

Consider the following coupled system of BVPs of FDEs:

$$ \begin{gathered} {\mathbb{D}^{\frac{{21}}{5}}}\theta (\xi ) + \frac{{{t ^{\frac{{15}}{4}}}\vartheta (\xi ) ( {{\vartheta ^{2}} (\xi ) + 160} )}}{{{{ ( {1 + {\vartheta ^{2}} (\xi )} )}^{2}}}} = 0, \quad 0 \le \xi \le 1, \\ {\mathbb{D}^{\frac{9}{2}}}\vartheta (\xi ) + \frac{{{t ^{\frac{{19}}{4}}}\theta (\xi ) ( {\theta (\xi ) + 1} ) ( {\theta (\xi ) + 9} ) ( {{e^{ - 2\theta (\xi )}} + 120} )}}{{{{ ( {2 + \theta (\xi )} )}^{2}}}} = 0, \quad 0 \le \xi \le 1, \end{gathered} $$
(30)

with the given boundary condition

$$ \begin{aligned} & \theta (1)=\theta '(0)=\theta ''(0)=\theta '''(0)= \theta ''''(0)=0, \\ & \vartheta (1)=\vartheta '(0)=\vartheta ''(0)= \vartheta '''(0)= \vartheta ''''(0)=0. \end{aligned} $$
(31)

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

$$ \begin{aligned} \theta ^{*}(\xi )&=\theta _{3}( \xi ),\\ \vartheta ^{*}(\xi )&= \int _{0} ^{1} \mathbb{G}_{2}(\xi , \sigma )\frac{{{\sigma ^{\frac{{19}}{4}}} \theta _{2} ( \sigma ) ( {\theta _{2} ( \sigma ) + 1} ) ( {\theta _{2} ( \sigma ) + 9} ) ( {{e^{ - 2\theta _{2} ( \sigma )}} + 120} )}}{{{{ ( {2 + \theta _{2} ( \sigma )} )} ^{2}}}}\,d\sigma , \\ \bar{\theta }^{*}(\xi )&=\theta ^{*}_{3}(\xi ),\\\bar{\vartheta }^{*}( \xi )&= \int _{0}^{1} \mathbb{G}_{2}(\xi ,\sigma )\frac{{{t^{ \frac{{19}}{4}}}\theta ^{*}_{2} ( \sigma ) ( {\theta ^{*}_{2} ( \sigma ) + 1} ) ( {\theta ^{*}_{2} ( \sigma ) + 9} ) ( {{e^{ - 2\theta ^{*}_{2} ( \sigma )}} + 120} )}}{{{{ ( {2 + \theta ^{*}_{2} ( \sigma )} )}^{2}}}}\,d\sigma , \end{aligned} $$
(32)

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

$$ \begin{aligned} e_{3}&= \Vert \theta -\theta _{3} \Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e_{1}\leq 2.93476154975e^{-21}\times \max_{\xi \in [0,1]} \bigl\vert \theta _{1}( \xi )+0.1 \bigr\vert \\ &\simeq 2.93476154975e^{-22}, \\ e^{*}_{3}&= \bigl\Vert \theta -\theta ^{*}_{3} \bigr\Vert \leq \frac{\nabla ^{3}}{1-\nabla }\times e^{*}_{1}\leq 2.93476154975e^{-21}\times \max _{\xi \in [0,1]} \bigl\vert 0.1- \theta ^{*}_{1}( \xi ) \bigr\vert \\ &\simeq 2.93476154975e^{-22}. \end{aligned} $$

Physical behavior of the approximate maximal and minimal solutions has also been demonstrated by providing Figs. 56, wherein, for the simple execution of Matlab code, we have replaced \((\theta ,\vartheta )\) by \((w,z)\) and \((\theta ^{*},\vartheta ^{*})\) by \((w^{*}, z^{*})\).

Figure 5
figure 5

A line graph of the solutions of Example 5.3

Figure 6
figure 6

A line graph of the solutions of Example 5.3, when \(p=\frac{23}{5}\) and \(q=\frac{13}{3}\)

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. 56.

Figures discussion: We have plotted the iterative solutions of three considered examples of system (1). These plots are provided in Figs. 16. 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.

6 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)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  3. Podlubny, I.: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)

    MATH  Google Scholar 

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

    Book  Google Scholar 

  5. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  9. Abbas, S., Benchohra, M.: Topics in Fractional Differential Equations. Springer, Berlin (2012) 12 pages

    Book  Google Scholar 

  10. Benchohra, M., Graef, J.R., Hamani, S.: Existence results for boundary value problems with non-linear fractional differential equations. Appl. Anal. 87(7), 851–863 (2008)

    Article  MathSciNet  Google Scholar 

  11. Isaia, F.: On a nonlinear integral equation without compactness. Acta Math. Univ. Comen. iv, 233–240 (2006)

    MathSciNet  MATH  Google Scholar 

  12. Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives (Theory and Applications). Gordon and Breach, Switzerland (1993)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  14. Timoshenko, S.P.: Theory of Elastic Stability. McGraw-Hill, New York (1961)

    Google Scholar 

  15. Soedel, W.: Vibrations of Shells and Plates. Dekker, New York (1993)

    MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  20. Zeidler, E.: Nonlinear Functional Analysis and Its Applications, Part II/B: Nonlinear Monotone Operators. Springer, New York (1989)

    Google Scholar 

  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)

    MathSciNet  Google Scholar 

  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)

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  24. Gafiychuk, V., Datsko, B., Meleshko, V., Blackmore, D.: Analysis of the solutions of coupled nonlinear fractional reaction-diffusion equations. Chaos Solitons Fractals 41, 1095–1104 (2009)

    Article  MathSciNet  Google Scholar 

  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 fractional-order differential equations. Adv. Differ. Equ. 2019, 101 (2019)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  32. Ladde, G.S., Lakshmikantham, V., Vatsala, A.S.: Monotone Iterative Technique for Nonlinear Differential Equations. Pitman Publishing Inc., Boston (1985)

    MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  35. Mcrae, F.A.: Monotone iterative technique and existence results for fractional differential equations. Nonlinear Anal., Theory Methods Appl. 71(12), 6093–6096 (2009)

    Article  MathSciNet  Google Scholar 

  36. Al-Refai, 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)

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  38. Liu, X., Jia, M.: Multiple solutions for fractional differential equations with nonlinear boundary conditions. Comput. Math. Appl. 59, 2880–2886 (2010)

    Article  MathSciNet  Google Scholar 

  39. He, Z., He, X.: Monotone iterative technique for impulsive integro-differential equations with periodic boundary conditions. Comput. Math. Appl. 48, 73–84 (2004)

    Article  MathSciNet  Google Scholar 

  40. De Coster, C., Habets, P.: Two-Point Boundary Value Problems: Lower and Upper Solutions. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  41. Li, F., Jia, M., Liu, X., Li, C., Li, G.: Existence and uniqueness of solutions of second-order three-point boundary value problems with upper and lower solutions in the reverse order. Nonlinear Anal., Theory Methods Appl. 68, 2381–2388 (2008)

    Article  Google Scholar 

  42. Hirstova, S., Tunç, C.: Stability of nonlinear Volterra integro-differential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 30, 1 (2019)

    MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  44. Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)

    MathSciNet  MATH  Google Scholar 

  45. Rassias, T.M.: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)

    Article  MathSciNet  Google Scholar 

  46. Rassias, T.M.: On the stability of functional equations and a problem of Ulam. Acta Appl. Math. 26, 23–130 (2000)

    Article  MathSciNet  Google Scholar 

  47. Hirstova, S., Tunç, C.: Stability of nonlinear Volterra integro-differential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 30, 1 (2019)

    MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

Download references

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 RG-DES-2017-01-17.

Author information

Authors and Affiliations

Authors

Contributions

All authors have done equal contribution in this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Kamal Shah.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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/s13662-019-2151-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2151-z

Keywords