 Research
 Open Access
 Published:
Existence and numerical solutions of a coupled system of integral BVP for fractional differential equations
Advances in Difference Equations volume 2018, Article number: 149 (2018)
Abstract
This paper is devoted to establishing the existence theory for at least one solution to a coupled system of fractional order differential equations (FDEs). The problem under consideration is subjected to movable type integral boundary conditions over a finite time interval. Furthermore, we investigate the approximate solutions to the considered problem with the help of the differential transform. Moreover, some necessary conditions for the Hyers–Ulam type stability to the solution of the proposed problem are developed. The whole investigation has been illustrated by providing some suitable examples.
Introduction
The study of FDEs is a vital area for research both theoretically and in application point of view. For the recent applications of FDEs in the field of physics, biophysics, bioengineering, control theory, aerodynamics, biochemistry viscoelasticity, electrochemistry, mathematical biology, economic, signal and image processing etc. (see [1–6]). In last few decades the area related to the existence theory of solutions/positive solutions of the aforesaid equations has been got much attentions from researchers. Plenty of results can be traced out in literature concerning with existence theory for solutions to FDEs, for more discussion and results see [7–21]. Since most of the applied phenomenons and process can be modeled in the form of coupled systems of classical/noninteger order differential equations. Therefore, many authors have been concentrated to establish the existence theory of solutions for the mentioned systems. In this regard, plenty of research articles can be found in literature, few of them are [22–28]. Recently, Sudsutad and Tariboon [22], studied the following class with three point integral boundary conditions:
Here \(\alpha\in(1, 2]\), \(\eta, \delta\in(0, 1)\) and we have the nonlinear functions \(\phi\in(\mathcal{J}\times \mathbf{R}, \mathbf{R}^{+})\); \(^{C}\mathcal{D}\) is the Caputo fractional derivative. Sufficient conditions for existence of solutions were formed to the class (1) of FDEs.
Recently another aspects devoted to the stability and numerical analysis of FDEs have been attracted by many researchers. Since in most of the situations, to find exact solutions to nonlinear problems is a challenging task and often it is quite difficult job to search out the exact solution. Therefore, strong motivations have been observed from the researchers to find best approximate solutions to nonlinear problems. For the mentioned task, they used different techniques like decomposition methods [29], homotopy methods [30], and integral transform methods [31], etc. One of the most powerful tools for numerical solutions to nonlinear and linear problems of (DEs) and FDEs is devoted to the generalized differential transform method (GDTM). The mentioned transform has been applied in various articles to treat nonlinear problems of FDEs for numerical solutions; see [32–35]. It is to be noted that there is no classical method to handle the nonlinear problems of FDEs for getting explicit solutions. This is due to the complexity of fractional calculus involved in the considered problems. Therefore, we need a reliable approach to find approximate solutions in the form of series to the proposed problems. On the other hand it is also important and interesting task if corresponding to the approximate solutions stability is achieved. Very recently stability analysis of FDEs has attracted great attention. Various type of stability analysis like Lyapunov type stability, Mittag Leffler type stability has been considered in many papers; see [36–38]. In last few years Hyers–Ulam type stability has given much attention. Because, it is quit useful in many applications like as numerical analysis, optimization, biology, economics, physics, dynamics, where finding the exact solution is quite difficult. For more information about Hyers–Ulam stability, we refer [39–45].
The class of FDEs devoted to integral boundary conditions has been studied by many authors; see [46–48]. This is due to the fact that integral boundary conditions have various applications in applied fields including blood flow problems, chemical engineering, thermoelasticity, underground water flow, population dynamics, and so forth. Further the concerned differential equations under movable type integral boundary conditions are connected with mathematical physics, mechanics, engineering, economics and so on. They come up when values of the function on the boundary are connected to its value inside the domain. Sometimes, it is better to impose integral conditions because they lead to more precise measure than the local conditions. Therefore in last few years many authors have paid more and more attention to investigate the existence of solutions to FDEs under movable type boundary conditions; see [49–51]. For FDEs with integral boundary conditions and comments on their importance, we refer the reader to [52, 53] and the references therein.
Inspired from the aforesaid work, the aims and objectives of this paper is concerning to establish the existence theory to the following movable type boundary value problem of FDEs:
where \(\alpha, \beta\in(1, 2]\) and \(\eta, \xi\in(0, 1)\) and \(\phi, \psi\in(\mathcal{J}\times[0, \infty), [0, \infty))\). It is to be noted that boundary conditions in system (2) are movable over the interval \(\mathcal{J}\). Then by using various tools of fixed point theory to obtain sufficient conditions for existence and uniqueness of positive solution. Furthermore, the approximate solutions are obtained by using (GDTM). Also, the Hyers–Ulam stability analysis is carried out for the corresponding numerical solutions about an exact (unique) solution. The established analysis and theory is demonstrated by providing examples. Further we remark that the considered coupled system include two, three, multi point, and nonlocal boundary value problems as special cases.
Background materials
In this section, we recall some basic results needed for our investigations.
Definition 2.1
The fractional integral of order \(q\in\mathbf{R_{+}}\) of a function \(x: (0, \infty)\rightarrow \mathbf{R}\) is defined as
provided the integral converges on \(\mathbf{R}^{+}\).
Definition 2.2
The derivative for a function \(x\in\mathbf{R}^{+}\rightarrow \mathbf{R}\) defined by
where \(m=[q]+1\) and \([q]\) represents the integer part of q, is called Caputo fractional derivative.
Lemma 2.3
The solution of the homogeneous FDE
is given by
such that \(k_{i}\in\mathbf{R}\), \(j=0,1,2,\dots,m1\). In view of this result, the solutions of the nonhomogeneous FDE
is given by
for some \(k_{i}\in\mathbf{R}\), \(j=0,1,2,\dots,m1\).
Lemma 2.4
For \(q>0\), the following result holds:
where \(k_{i}\in\mathbf{R}\), \(j=0,1,2,\dots,m1\).
Definition 2.5
For a function \(x(t)\), the generalized differential transform (GDT) is defined by
The inverse differential transform of \(x(k)\) is given by
In real world problems, the solution \(x(t)\) is formulated in the finite series form as
Let \(\mathbf{E}= \{u(t): u(t)\in C(\mathcal{J})\}\) be the Banach space endowed with norm \(\Vert u \Vert _{\mathbf{E}}= \max_{t\in\mathcal{J}} \vert u(t) \vert \). Then obviously the product \(\mathbf{E} \times\mathbf{E}\) is also a Banach space endowed with a norm \(\Vert (u,v) \Vert _{\mathbf{E} \times\mathbf{E} }=\max\{ \Vert u \Vert _{\mathbf{E}}, \Vert v \Vert _{\mathbf{E}}\}\).
Definition 2.6
Let E be a Banach space and \(\mathcal{N}:\mathbf {E}\rightarrow\mathbf{E}\) be an operator. Then the operator equation given by
is said to be Hyers–Ulam stable if for the inequality given as
there exists a constant \(\mathcal{K}_{\mathcal{N}}>0\) such that for each solution \(x\in C(\mathcal{J}, \mathbf{R})\), of (3), we have a unique solution \(z\in C(\mathcal{J}, \mathbf{R})\) of the operator equation (3) satisfying the given relation
Consider \(\mathcal{N}_{i}:\mathbf{E}\rightarrow\mathbf{E}\), for \(i=1,2\) be two operators, then in view of Definition 2.6, the coupled system of operators equations given as
is said to be Hyers–Ulam stable if for the system of inequalities
there exist constants \(\varepsilon_{1},\varepsilon_{2}\), such that for any solution \((u, v)\) of (4) there is a unique solution \((x, y)\) of system (4) with \(K_{\mathcal{N}_{1}}>0\), \(K_{\mathcal {N}_{2}}>0\), which satisfy the following result:
Existence results
In this section we obtain the equivalent coupled system of integral equations of the considered problem (2). Further we also establish the required conditions for the existence of at least one solution for the proposed problem.
Theorem 3.1
For \(h\in C(\mathcal{J}, \textbf{R})\), the linear fractional order boundary value problem
has a solution given by
Proof
Thanks to Lemma 2.4 and upon application of \(\mathcal{I}^{\alpha }\) on both sides of (6) yields
From which we get
In view of condition \(u(0)=0\) from (9), we get \(k_{0}=0\). Further using the boundary condition \(u(1)=\int_{0}^{\eta}u(s) \,ds\), then (9) produces
Plugging the values of \(k_{0}\) and \(k_{1}\) in (8), we receive the solution (7) of linear boundary value problems (6). □
In view of Theorem 3.1, we get the following lemma.
Lemma 3.2
The system of boundary value problems (2) under consideration is equivalent to the following coupled system of nonlinear integral equations:
Further, define \(\mathcal{N}_{1} :\mathbf{E}\rightarrow\mathbf{E}\) and \(\mathcal{N}_{2}:\mathbf{E}\rightarrow\mathbf{E} \) by
Thanks to Lemma 3.2, the corresponding coupled system of operators equations to coupled system (10) of integral equations is
Therefore, we define \(\mathcal{N}: \mathbf{E}\times\mathbf {E}\rightarrow\mathbf{E}\times\mathbf{E} \) by \(\mathcal{N}(u,v)=(\mathcal{N}_{1}v,\mathcal{N}_{2}u)\). Therefore we investigate the fixed points of the operator \(\mathcal{N}\) which are the corresponding solutions of the proposed problem (10).
Lemma 3.3
(Krasnoselskii’s fixed point theorem)
If \(\mathbf{C}\subset\mathbf{E}\) be a closed convex and nonempty set and \(\mathbf{T}, \mathbf{S}\) be two operators such that

(i)
\(\mathbf{T}w_{1}+\mathbf{S}w_{2} \in\mathbf{C} \) for every \(w_{1}, w_{2} \in\mathbf{C}\);

(ii)
T is compact and continuous;

(iii)
S is contraction mapping,
then one can find at least one \(w \in\mathbf{C}\) with \(w=\mathbf {T}w+\mathbf{S}w\).
The given notations are adopted for easiness
We assume that the following hypotheses hold:
 \((C_{1})\) :

\(\phi, \psi: \mathcal{J} \times[0, \infty)\rightarrow [0, \infty)\) are continuous, for \(t \in\mathcal{J}, u, v, \bar{u}, \bar{v} \in\mathbf{R}\);
 \((C_{2})\) :

There exists a constant \(\Lambda_{\phi}>0\) such that
$$\bigl\lvert \phi(t,u)\phi(t,\bar{u})\bigr\rvert \leq\Lambda_{\phi}\lvert u\bar {u}\rvert, $$for \(t \in\mathcal{J}, u,\bar{u} \in\mathbf{R}\);
 \((C_{3})\) :

There exists a constant \(\Lambda_{\psi}>0\) such that
$$\bigl\lvert \psi(t,v)\psi(t,\bar{v})\bigr\rvert \leq\Lambda_{\psi}\lvert v\bar{v} \rvert, $$for \(t \in\mathcal{J}, v,\bar{v} \in\mathbf{R}\).
Fist of all, we prove uniqueness of the solutions via the Banach contraction theorem.
Theorem 3.4
If assumptions \((C_{1})\)–\((C_{3})\) hold together with \(\Delta_{1}\Lambda _{\phi}<1\) and \(\Delta_{2}\Lambda_{\psi}<1\), then the BVP (2) under our consideration has a unique solution.
Proof
Let us take \(\mathbf{A}=\max_{t \in\mathcal{J}} \vert \phi(t,0) \vert \text{ and } \mathbf{B}=\max_{t \in \mathcal{J}} \vert \psi(t,0) \vert \) and choose
Let
be a closed bounded and convex set. Then, under the assumptions \((C_{1})\) and \((C_{2})\), taking \((u,v)\in\mathbf{C}\), we have
which yields
Therefore, on using \(t\leq1\), we have
Along the same lines, one has
Thus taking (13) and (14) together, we get
Also, taking \((u,v), (\bar{u}, \bar{v}) \in\mathbf{C}\), \(t\in\mathcal {J}\), we consider
which implies that
In the same fashion, we can also get
Thanks to the conditions \(\Delta_{1}\Lambda_{\phi}<1\) and \(\Delta_{2}\Lambda _{\psi}<1\)
Thus \(\mathcal{N}\) is a contraction operator. In view of the Banach contraction theorem, the considered BVP (2) has a unique solution. □
Further, we define the operators \(\mathbf{T}_{1}, \mathbf{S}_{1} :\mathbf {E}\rightarrow\mathbf{E}\) and \(\mathbf{T}_{2}, \mathbf{S}_{2} :\mathbf{E}\rightarrow\mathbf{E}\) by
In view of (16), we may write \(\mathcal{N}_{1}=\mathbf{T}_{1}+\mathbf {S}_{1}\), \(\mathcal{N}_{2}=\mathbf{T}_{2}+\mathbf{S}_{2}\) and, consequently, the operator N can be expressed as
Assume that for the positive constants \(\mathcal{M}_{\phi}\), \(\mathcal {M}_{\psi}\), \(\Omega_{\phi}\), \(\Omega_{\psi}\), the growth conditions provided by
 \((C_{4})\) :

\(\vert \phi(t,v(t)) \vert \leq\mathcal{M}_{\phi} \Vert v \Vert _{\mathbf{E}}+\Omega_{\phi}\) over \(\mathcal{J}\times\mathbf{E}\) and \(\vert \psi(t,u(t)) \vert \leq\mathcal{M}_{\psi} \Vert u \Vert _{\mathbf{E}}+\Omega_{\psi}\) over \(\mathcal{J}\times\mathbf{E}\) are satisfied.
Theorem 3.5
Under the hypotheses \((C_{1}), (C_{4})\) and conditions
hold. Then the BVP (2) proposed by us has at least one solution.
Proof
The continuity of ϕ and ψ implies that the operator \(\mathcal{N}\) is continuous. Let \(\mathbf{D}\subset\mathbf{C} \subseteq\mathbf{E}\times \mathbf{E}\) be bounded set. Then, for all \((u,v)\in\mathbf{D}\) and using \((C_{4})\), one has
which implies that
In the same fashion, we get
Therefore the boundedness of \(\mathbf{T}(\mathbf{D})\) follows.
To show that S is equicontinuous, let \(t, \hat{t}\in[0,1]\) with \(t <\hat{t}\) and any \((u,v)\in\mathbf{E}\times\mathbf{E}\), we have
which implies that
Repeating the same arguments, we have
As in the right hand sides of (17) and (18), when \(t\rightarrow\hat{t}\), then the right hand sides of the mentioned relations approach to zero. Therefore using Arzela–Ascoli’s theorem, T is equicontinuous and compact.
Further, we need to prove that S is a contraction. Taking \(v, \bar{v} \in\mathbf{E}\), we get
which yields \(\Vert \mathbf{S}_{1}v\mathbf{S}_{1}\bar{v} \Vert _{\mathbf{E}} \leq \frac{2\Lambda_{\phi}(\alpha+1+\eta^{\alpha+1})}{(2\eta^{2})\Gamma(\alpha +2)} \Vert v\bar{v} \Vert _{\mathbf{E}}\). Along the same lines, one can get
Therefore S is a contraction, using Lemma 3.3, we see that \(\mathcal{N}\) has at least one fixed point which is the corresponding solution of (2). □
Numerical solutions for the problem (2)
Numerical methods play a key role in the area of nonlinear mathematics. To find an exact solution to every BVP of classical nonlinear differential equations is nearly impossible. Thus, it would be quite impossible to solve BVPs of nonlinear FDEs equations for their exact solutions. Therefore without implementing numerical methods it is not possible to obtain good numerical solution to a BVP of FDEs. Further numerical methods are powerful tools to be used to find approximate solutions of aforementioned problems. Some of these methods use transformation in order to reduce equations into simpler equations or systems of equations and some other methods give the solution in a series form which converges to the exact solution of an equation or system of equations. There are large number of numerical methods which have been used to find approximate solutions to nonlinear BVPs of DEs and FDEs in literature. One of them is the differential transform method. The said method was first introduced by Zhou [54] who solved linear and nonlinear initial value problems in electric circuit analysis. Further the aforesaid transform was extended to generalized form in [55]. The authors named this new version the generalized differential transform (GDTM). With the help of this method one constructs an analytical solution in the form of a polynomial. It is different from the traditional higher order Taylor series method, which requires symbolic computation of the necessary derivatives of the data functions. The Taylor series method computationally takes a long time for large orders and its computational cost is also high. The GDTM is an iterative procedure for obtaining analytic Taylor series solutions to FDEs with boundary or initial conditions. Keeping in mind the mentioned point, we will use generalized differential transform (GDTM) to obtain numerical solutions to the considered BVP (2). In view of (GDTM), the kth order approximate solution of the proposed problem is given as
Here σ is the order of the differential transform. σ must be selected such that it is compatible with both orders α, β, that is, there exist l, \(m,n\in\mathbf{N}\) such that \(l\sigma=1\), \(m\sigma=\alpha\), and \(n\sigma=\beta\). \(U(k)\) and \(V(k)\) are the generalized differential transforms of \(u(t)\) and \(v(t)\), and satisfies the relation
Here \(F(k,V(k))\) and \(G(k,U(k))\) are the sigma order differential transform of \(\phi(t,v(t)\) and \(\psi(t,u(t)\), respectively, and can be calculated using theorems developed in [32].
Using the first initial condition, we have \(U(0)=0\) and \(V(0) =0\). Further, for initial conditions, we have
Here \(c_{1}\) and \(c_{2}\) are unknown constants, which can be obtained using the moving boundary conditions. Using the recurrence relation (20), we can obtain a solution in the following form:
Here \(U_{(c_{1},c_{2})}(k),V_{(c_{1},c_{2})}(k)\) are coefficients still depending on \(c_{1}\) and \(c_{2}\). Using the moving boundary conditions, we may write
From (23), we can easily get two relations of the unknown \(c_{1}\) and \(c_{2}\) in the form
Equation (24) can be solved for \(c_{1}\) and \(c_{2}\) and using the values of \(c_{1}\) and \(c_{2}\) in Eq. (22), we get the approximate solution of the proposed problem (2).
Hyers–Ulam stability
In this section, we provide some sufficient conditions for Hyers–Ulam type stability results to the solutions of BVPs (2) with movable type integral boundary conditions. The method which was provided by Hyers, and which produces the additive mapping is called a direct method. This method is the most important and most powerful tool for studying the stability of various differential, functional and integral equations. The classical concept of Hyers–Ulam stability has applicable significance since it means that if we are dealing with Hyers–Ulam stable system then one does not seek the exact solution. All what is required is to find a function which satisfies a suitable approximation inequations. It is quite remarkable that Hyers–Ulam stability concept is very useful in many applications, such as numerical analysis, optimization, etc., where finding the exact solution is quite difficult or impossible for a problem of differential and integral equations. We find sufficient conditions to guarantee the movable integrable sample path is Hyers–Ulam stable. To derive the formal results about the Hyers–Ulam stability for BVPs (2), we give the following conditions first.
Let there exist functions \(w,z \in C(\mathcal{J}, \mathbf{R})\) which depend upon \(u, v\), respectively, such that

(i)
\(\vert w(t) \vert \leq\varepsilon_{1}\), \(\vert z(t) \vert \leq\varepsilon_{2}\), \(t\in\mathcal{J}\);

(ii)
\(\left \{ \begin{array}{ll} {}^{C}\mathcal{D}^{\alpha}u(t)=\phi(t, v(t))+w(t),\ t\in\mathcal{J,} \\ {}^{C}\mathcal{D}^{\beta}v(t)=\psi(t, u(t))+z(t),\ t\in\mathcal{J}. \end{array} \right .\)
Lemma 5.1
Let \((u, v)\in C(\mathcal{J}, \mathbf{R})\times C(\mathcal{J}, \mathbf{R})\) be any solution of the system of inequalities (5), then the following inequalities hold for \(K_{1}=\frac{\varepsilon_{1}[(2\eta^{2})(\alpha+1)+2]}{(2\eta^{2})\Gamma (\alpha+1)},\ K_{2}=\frac{\varepsilon_{2}[(2\xi^{2})(\beta+1)+2]}{(2\xi ^{2})\Gamma(\beta+1)}\):
where \(\mathcal{N}_{1}v(t)\), \(\mathcal{N}_{2}u(t)\) are given in (11).
Proof
From the Condition (ii), we have
Then, in view of Lemma 3.2, the solution of (25) is given by
From the first equation of system (26) and \(\eta^{\alpha+1}<1\), \(t\leq1\), we have
from which we have
Along the same lines, we can also obtain
which yields
□
Theorem 5.2
Under the assumptions \((C_{2})\), \((C_{3})\), the solutions of the coupled system (10) is Hyers–Ulam stable if
where \(\Delta_{1}\Delta_{2}\lambda_{\phi}\Lambda_{\psi}\neq1\).
Proof
Let \((u, v)\in C(\mathcal{J}, \mathbf{R})\times C(\mathcal{J}, \mathbf {R})\) be any solution of the system of inequalities given by
and \((x,y)\in C(\mathcal{J}, \mathbf{R})\times C(\mathcal{J}, \mathbf {R})\) be the unique solution of the following coupled system:
Then, in view of Lemma 3.2 and (11), the solutions of (30) can be written as
Thanks to Lemma 5.1, we consider
This, upon computation, yields
Repeating in the same fashion the second part of the system (31), we have
Rearranging and writing inequations (32) and (33) as
After computation, and using \(\Delta=1\Delta_{1}\Delta_{2}\Lambda_{\phi}\Lambda_{\psi}\), (34) implies that
from which we have
Hence the solution of the coupled system (10) is Hyers–Ulam stable. □
Examples
Example 6.1
Taking the given BVP with integral boundary conditions
We have \(\phi(t,v)=\frac{ \vert v(t) \vert }{(t+3)^{3}(1+ \vert v(t) \vert )}, \psi(t,u)=\frac {9 \vert u(t) \vert }{32\pi(1+4 \vert u(t) \vert )}, \alpha=\frac{7}{4}, \beta=\frac{3}{2}\). Now,
Therefore, for all \(\eta, \xi\in(0, 1)\), we have
where \(\Lambda_{\phi}=\frac{1}{27}\), \(\Lambda_{\psi}=\frac{9}{32\pi}\). Therefore, by using Lemma 3.4, the BVP (37) has unique solution.
We find the approximate solutions of the problem using the method developed in Sect. 4. We select \(\sigma=1/4\), which implies that \(l=4\), \(m=7\), and \(n=6\). The recurrence relations corresponding to BVP (37) are given as
F and G are differential transform of \(\phi,\psi\). The initial conditions become
After calculating recurrence relation and calculating the values of \(c_{1}\) and \(c_{2}\), we get \(u(t)\) and \(v(t)\) as given (note that here we truncate the relation at \(k=20\)). The approximate solution is given by
Since \((0, 0)\) is the unique solution of Example 6.1. It is easy to prove that the conditions of Theorem 5.2 are fulfilled for the approximate solution \((u, v)\) obtained in (40) for different \(t\in(0, 1)\). Therefore solution \((u, v)\) is Hyers–Ulam stable corresponding to the unique solution \((0, 0)\). The plots of the approximate solutions at different choices of parameters η and ξ are displayed in Fig. 1. In order to verify the accuracy of the boundary conditions, we simulate the scheme for different sets of η and ξ, and measure the absolute difference in boundary conditions using the relations as
For different choices of η and ξ and different scale level k, the absolute difference in boundary conditions of \(u(t)\) is displayed in Table 1. In Table 2 the absolute difference in boundary conditions of \(v(t)\) are displayed.
Example 6.2
Consider the given coupled system of BVP
Since
as \(\Lambda_{\phi}=\frac{1}{10}\), \(\Lambda_{\psi}=\frac{5}{16\pi}\), \(\alpha =\beta=\frac{3}{2}\), then one can easily check that \(\Delta_{1}\Lambda _{\phi}<1\), \(\Delta_{2}\Lambda_{\psi}<1\), for all \(\eta, \xi\in(0, 1)\). Thanks to Lemma 3.4, the system of BVP (6.2) has a unique solution. Further, we approximate the solution of this problem with the proposed method. The error in the boundaries are given in Tables 3 and 4, respectively. The approximate solutions are displayed in Fig. 2. One can easily see from these tables that the absolute error at boundaries is much more less than 10^{−17}. Obviously \((0, 0)\) is the unique solution and computing its approximate solution through (GDTM), one has
In view of Theorem 5.2, the approximate solution (43) is Hyers–Ulam stable corresponding to the unique solution \((0, 0)\).
Conclusion
We have derived some necessary conditions for the existence, uniqueness and Hyers–Ulam stability for the solutions of the considered BVP (2). The required results have been obtained by using classical fixed point theory due to Banach and Krasnoselskii. Moreover, an effort based on generalized differential transform has been made to find approximate solutions of the considered problem. As compared to the present literature devoted to the investigation of FDEs, our paper is different in few ways. We have investigated approximate solutions to highly nonlinear BVPs of FDEs by using GDTM together with the existence theory. The relevant aspect for such type of nonlinear problems has very rarely investigated. Furthermore we have also established some adequate conditions for the Hyers–Ulam type stability to the solutions of the proposed problem. For the justification, we have provided interesting examples. From the experimental results we observe that the approximate solution satisfies the moving point boundary conditions with a great accuracy and also the corresponding solutions are Hyers–Ulam stable.
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.
Ahmad, B., Sivasaundaram, S.: On fourpoint nonlocal boundary value problems of nonlinear integrodifferential equations of fractional order. Appl. Math. Comput. 217, 480–487 (2010)
 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 (2010)
 9.
Wang, J., Li, X.: A uniformed method to Ulam–Hyers stability for some linear fractional equations. Mediterr. J. Math. 13, 625–635 (2016)
 10.
Wang, J., Ibrahim, A.G., Fečkan, M.: Nonlocal impulsive fractional differential inclusions with fractional sectorial operators on Banach spaces. Appl. Math. Comput. 257, 103–118 (2015)
 11.
Wang, J., Fečkan, M., Zhou, Y.: A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 19, 806–831 (2016)
 12.
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)
 13.
Wang, J., Zhou, Y., Fečkan, M.: Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 64, 3389–3405 (2012)
 14.
Yang, D., Wang, J., O’Regan, D.: On the orbital Hausdorff dependence of differential equations with noninstantaneous impulses. C. R. Acad. Sci. Paris, Ser. I. 356, 150–171 (2018)
 15.
Bai, Z., Dong, X., Yin, C.: Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, 63 (2016)
 16.
Shah, K., Khan, R.A.: Existence and uniqueness of positive solutions to a coupled system of nonlinear fractional order differential equations with antiperiodic boundary conditions. Differ. Equ. Appl. 7, 245–262 (2015)
 17.
Shah, K., Khalil, H., Khan, R.A.: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solitons Fractals 77, 240–246 (2015)
 18.
Wang, Y., Liu, L., Wu, Y.: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 74, 3599–3605 (2011)
 19.
Zhang, X., Liu, L., Wu, Y.: Existence results for multiple positive solutions of nonlinear higher order perturbed fractional differential equations with derivatives. Appl. Math. Comput. 219, 1420–1433 (2012)
 20.
Zhang, X., Mao, C., Liu, L., Wu, Y.: Exact iterative solution for an abstract fractional dynamic system model for bioprocess. Qual. Theory Dyn. Syst. 16, 205–222 (2017)
 21.
Zhou, Y., Vijayakumar, V., Murugesu, R.: Controllability for fractional evolution inclusions without compactness. Evol. Equ. Control Theory 4, 507–524 (2015)
 22.
Sudsutad, W., Tariboon, J.: Boundary value problems for fractional differential equations with threepoint fractional integral boundary conditions. Adv. Differ. Equ. 2012 (2012) 10 pp.
 23.
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)
 24.
Shah, K., Khan, R.A.: Iterative scheme for a coupled system of fractionalorder differential equations with threepoint boundary conditions. Math. Methods Appl. Sci. 2016 (2016) 7 pp.
 25.
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)
 26.
Dong, X., Bai, Z., Zhang, S.: Positive solutions to boundary value problems of pLaplacian with fractional derivative. Bound. Value Probl. 2017, 5 (2017)
 27.
Bai, Z., Zhang, S., Sun, S., Yin, C.: Monotone iterative method for fractional differential equations. Electron. J. Differ. Equ. 2016, 6 (2016)
 28.
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)
 29.
DaftardarGejji, V., Jafari, H.: Adomian decomposition: a tool for solving a system of fractional differential equations. J. Math. Anal. Appl. 301, 508–518 (2005)
 30.
He, J.H.: Homotopy perturbation method for solving boundary value problems. Phys. Lett. A 350, 87–88 (2006)
 31.
Naghipour, A., Manafian, J.: Application of the Laplace Adomian decomposition and implicit methods for solving Burgers’ equation. TWMS J. Pure Appl. Math. 6, 68–77 (2015)
 32.
Elsaid, A.: Adomian polynomials: a powerful tools for iterative methods of series solutions of nonlinear equations. J. Appl. Anal. Comput. 4, 381–394 (2012)
 33.
Freihat, A., Momani, S.: Application of multistep generalized differential transform method for the solutions of the fractionalorder Chua’s system. Discrete Dyn. Nat. Soc. 2012 (2012) 10 pp.
 34.
Arikoglu, A., Ozkol, I.: Solution of fractional integrodifferential equations by using fractional differential transform method. Chaos Solitons Fractals 40, 521–529 (2009)
 35.
Arikoglu, A., Ozkol, I.: Solutions of integral and integrodifferential equation systems by using differential transform method. Comput. Math. Appl. 56, 2411–2417 (2008)
 36.
Lakshmikantham, V., Leela, S., Sambandham, M.: Lyapunov theory for fractional differential equations. Commun. Appl. Anal. 12, 365–376 (2008)
 37.
Li, Y., Chen, Y., Podlubny, I.: Stability of fractionalorder nonlinear dynamic systems: Lyapunov direct method and generalized MittagLeffler stability. Comput. Math. Appl. 59, 1810–1821 (2010)
 38.
Li, C.P., Zhang, F.R.: A survey on the stability of fractional differential equations. Eur. Phys. J. Spec. Top. 193, 27–47 (2011)
 39.
Ulam, S.M.: Problems in Modern Mathematics, Chapter 6. Wiley, New York (1940)
 40.
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. 27, 222–224 (1941)
 41.
Rus, I.A.: Ulam stabilities of ordinary differential equations in a Banach space. Carpath. J. Math. 26, 103–107 (2010)
 42.
Wang, J., Fečkan, M., Zhou, Y.: Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 395, 258–264 (2012)
 43.
Wang, J., Fečkan, M., Tian, Y.: Stability analysis for a general class of noninstantaneous impulsive differential equations. Mediterr. J. Math. 14, Article ID 46 (2017)
 44.
Wang, J., Fečkan, M.: A general class of impulsive evolution equations. Topol. Methods Nonlinear Anal. 46, 915–934 (2015)
 45.
Wang, J., Li, X.: Ulam–Hyers stability of fractional Langevin equations. Appl. Math. Comput. 258, 72–83 (2015)
 46.
Wang, G.: Boundary value problems for systems of nonlinear integrodifferential equations with deviating arguments. J. Comput. Appl. Math. 234, 1356–1363 (2010)
 47.
Jiang, J.Q., Liu, L.S., Wu, Y.H.: Secondorder nonlinear singular Sturm–Liouville problems with integral boundary conditions. Appl. Math. Comput. 215, 1573–1582 (2009)
 48.
Sudsutad, W., Tariboon, J.: Boundary value problems for fractional differential equations with threepoint fractional integral boundary conditions. Adv. Differ. Equ. 2012, 93 (2012)
 49.
Wang, Y., Yang, Y.: Positive solutions for a highorder semipositone fractional differential equation with integral boundary conditions. J. Appl. Math. Comput. 45, 99–109 (2014)
 50.
Wang, X., Wang, L., Zeng, Q.: Fractional differential equations with integral boundary conditions. J. Nonlinear Sci. Appl. 8, 309–314 (2015)
 51.
Cabada, A., Hamdi, Z.: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251–257 (2014)
 52.
Li, Y., Shah, K., Khan, R.A.: Iterative technique for coupled integral boundary value problem of noninteger order differential equations. Adv. Differ. Equ. 2017, 251 (2017)
 53.
Li, Y., Sang, Y., Zhang, H.: Solvability of a coupled system of nonlinear fractional differential equations with fractional integral conditions. J. Appl. Math. Comput. 50, 73–91 (2016)
 54.
Zhou, J.K.: Differential Transformation and Its Applications for Electrical Circuits. Huazhong Univ. Press, Wuhan (1986) (in Chinese)
 55.
Odibat, Z., Momani, S.: Generalized differential transform method for linear partial differential equations of fractional order. Appl. Math. Lett. 21, 194–199 (2008)
Acknowledgements
We are thankful to the reviewers for their useful comments, which improved the quality of this paper. This work is partially supported by National Natural Science Foundation of China (11661016).
Author information
Affiliations
Contributions
All authors equally contributed this paper. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Jinrong Wang.
Ethics declarations
Competing interests
We declare that no competing interest exist regarding this paper.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (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
Shah, K., Wang, J., Khalil, H. et al. Existence and numerical solutions of a coupled system of integral BVP for fractional differential equations. Adv Differ Equ 2018, 149 (2018). https://doi.org/10.1186/s1366201816031
Received:
Accepted:
Published:
Keywords
 Fractional differential system
 Integral boundary value problem
 Numerical solutions
 Differential transform
 Hyers–Ulam stability