Journal of Function Spaces
Volume 2017 (2017), Article ID 3046013, 8 pages
https://doi.org/10.1155/2017/3046013

Research Article

Ulam Type Stability for a Coupled System of Boundary Value Problems of Nonlinear Fractional Differential Equations

Aziz Khan,¹ Kamal Shah,² Yongjin Li,³ and Tahir Saeed Khan¹

¹Department of Mathematics, University of Peshawar, Peshawar, Khyber Pakhtunkhwa, Pakistan
²Department of Mathematics, University of Malakand, Chakdara Dir (L), Khyber Pakhtunkhwa, Pakistan
³Department of Mathematics, Sun Yat-sen University, Guangzhou, China

Correspondence should be addressed to Yongjin Li; stslyj@mail.sysu.edu.cn

Received 11 May 2017; Accepted 5 September 2017; Published 11 October 2017

Academic Editor: Hua Su

Copyright © 2017 Aziz Khan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We discuss existence, uniqueness, and Hyers-Ulam stability of solutions for coupled nonlinear fractional order differential equations (FODEs) with boundary conditions. Using generalized metric space, we obtain some relaxed conditions for uniqueness of positive solutions for the mentioned problem by using Perov’s fixed point theorem. Moreover, necessary and sufficient conditions are obtained for existence of at least one solution by Leray-Schauder-type fixed point theorem. Further, we also develop some conditions for Hyers-Ulam stability. To demonstrate our main result, we provide a proper example.

1. Introduction

In last few decades, FODEs become area of interest for the researcher because of high quality accuracy and usability in various fields of science and technology. A lot of physical and natural phenomena can be modeled through FODEs which provide better result than integer order differential equations. Due to this, FODEs are regarded as a special tool for molding. Numerous applications of FODEs can be studied in various disciplines like chemical technology, viscoelasticity, industrial robotics, mathematical economy, turbulent filtration in porous media, fractals theory, ecology, economics, plasma physics, metallurgy, electromagnetic theory, biology, signal and image processing, control theory, electric technology, chemical reaction design, potential theory, radio physics, aerodynamics, pharmacokinetics, and so on; further details are available in literature [1–7]. In last few decades, the existence theory has been given great attention by the researchers. In the concerned theory, they studied existence, uniqueness, and multiplicity of solutions by using different techniques of nonlinear analysis. Therefore, theory on existence and uniqueness of solutions to nonlinear FODEs has been explored very well; see [8–12]. Systems of FODEs have been considered in large numbers of research articles, because most of physical, biological, and chemical phenomena can be modeled in the form of systems of FODEs. For example, Su [13] studied existence of solutions for coupled system of fractional differential equations with two-point boundary value problems given as

where , and denote Riemann-Liouville derivatives, , are continuous functions, and satisfy and . Wang et al. [14] investigate existence and uniqueness of positive solutions to a coupled system of fractional differential equations with three-point boundary conditions. The corresponding problem is given as follows:

where functions are continuous, , and represent Riemann-Liouville derivatives. Liu et al. [15] studied existence of positive solutions to a coupled system of nonlinear FODEs with integral boundary conditions. The considered problem is given in the following sequel:

where are in sense of Riemann-Liouville derivatives, , and are nonlocal functions. The existence and uniqueness of solutions of FODEs are an active area of research for the last few decades. For some remarkable work, we refer the reader to [8, 9, 13, 16–20].

Another qualitative aspect which is very important from the numerical and optimization point of view is devoted to stability analysis of FODEs. The stability of fractional differential equations has gained great attention from the researchers very recently. Different kinds of stability include exponential, Mittag-Leffler, and Lyapunov stabilities; see [21–23]. One of the most relaxed methods for stability for functional equations was introduced by Ulam [24] and Hyers [25] which is known as Hyers-Ulam stability. The aforesaid stability has been very well investigated for ordinary differential and integral equations as well as functional equations; see [26–29]. But for FODEs, the concerned stability is not properly investigated. Very few papers can be found in literature in which some initial and boundary value problems of FODEs have been considered; see [7, 23, 30–32].

Motivated by the aforementioned contributions of researchers, we discuss the existence and uniqueness of solutions for coupled system of nonlinear FODEs with boundary conditions involving fractional integral and derivative. Further, we also investigate the Hyers-Ulam stability for the proposed problem designed by

where the derivative is in sense of Riemann-Liouville, , and the functions are continuous. We use Perov’s fixed point theorem [33] and Leray-Schauder fixed point theorem to develop some results for existence of at least one solution for our proposed coupled nonlinear FODEs with boundary conditions. Further, we establish some conditions for Hyers-Ulam type stability to the considered problem. The whole analysis is then demonstrated by providing a proper example.

2. Preliminaries

Here we provide some results and definitions for our proposed coupled nonlinear FODEs with boundary conditions from literature [1–3].

Definition 1. The fractional integral of order of a function is defined by

provided that the integral on right is converging.

Definition 2. The Riemann-Liouville fractional order derivative of a function is defined by

where and represents the integer part of , provided that the right side is pointwise defined on .

Lemma 3. The following result holds for fractional derivative and integral:

for arbitrary .

Lemma 4 (see [20]). Let be a Banach space with closed and convex. Let be a relatively open subset of with and be a continuous and compact (completely continuous) mapping. Then either

(1)the mapping has a fixed point in or(2)there exist and with

Definition 5. For a nonempty set , a mapping is called a generalized metric on if the following conditions hold:

() (), (symmetric property).() (tetrahedral inequality).

Note. The properties such as convergent sequence, cauchy sequence, and open/closed subset are the same for generalized metric spaces as held for the usual metric spaces.

Definition 6. For an matrix , the spectral radius is defined by , where are the eigenvalues of matrix .

Lemma 7 (see [33]). Let be a complete generalized metric space and let be an operator such that there exists a matrix with . If , then has a fixed point ; further for any the iterative sequence converges to .

Definition 8. Consider a Banach space such that be two operators. Then the operatorial system provided by

is called Hyers-Ulam stable if we can find , such that, for each and for each solution of the inequalities given by

there exists a solution of system (8) which satisfies

Theorem 9 (see [26]). Considering a Banach space with being two operators such that

and if the matrix converges to zero, then the operatorial system (8) is Hyers-Ulam stable.

Lemma 10. An equivalent Fredholm integral representation of the system of boundary value problems (4) is given by

where are Green’s functions given by

Proof. Applying the operator on the first equation of (4) and using Lemma 3, we have

The boundary conditions and they yield due to singularity and . Hence, (14) takes the form

Similarly, by the same process with the second equation of the system, we obtain the second part of (12).

Lemma 11 (see [18]). Green’s function of system (12) has the following properties:

() is continuous function on the unit square for all .() for all and for all .().() There exists a constant such that

3. Existence and Hyers-Ulam Stability

Define endowed with the Chebyshev norm . Further, define the norms and . Then, the product spaces are Banach spaces. Define the cones by and , where .

Lemma 12. Assume that are continuous. Then is a solution of (12), if and only if is a solution of system of Fredholm integral equations (4).

Proof. The proof of Lemma 12 is similar to proof of Lemma in [18].

Define by

By Lemma 12 the problem of existence of solutions of the integral equations (12) coincides with the problem of existence of fixed points of .

Lemma 13. Assume that are continuous. Then and , where is defined by (17).

Proof. The relation easily follows from the properties and of Lemma 11 and all we need to show is that holds. For , we have and in view of property of Lemma 11, for all , we obtain

Hence, it follows that

Similarly, we obtain

It follows that

which implies that .

Lemma 14. Assume that are continuous; then is completely continuous.

Proof. We omit the proof, because it is similar to the proof of Lemma in [18].

Lemma 15. Assume that and are continuous on and there exist such that the following hold:

(), for ;(), for (), where the matrix is defined by

Then system (12) has a unique positive solution .

Proof. In view of Definition 5, we define the generalized metric by

Obviously is a generalized complete metric space. For any using properties and , we obtain

which implies that

Similarly, we obtain

Hence, it follows that

where

By , . Hence by Lemma 7, system (12) has a unique positive solution.

Lemma 16. Let and be continuous on and there exist satisfying

();();();().

Then system (12) has at least one positive solution in

Proof. Choose and define . By Lemma 14, the operator is completely continuous. Choose and such that . Then, by properties , , and , we obtain for all

Similarly, we obtain ; hence , which shows that . Thus, by Schauder fixed point theorem, has at least one fixed point in .

4. Hyers-Ulam Stability of (12)

In this section, we obtain some appropriate conditions under which the toppled system under our consideration is Hyers-Ulam stable.

Let the following assumption hold:

() There exist constants , such that

Theorem 17. Assume that hypothesis holds and such that

for all solutions , with

converges to zero. Then the solution of coupled system (4) is Hyers-Ulam stable.

Proof. Consider

which implies that
According to the previous sentence, . Similarly, we can also get

where Therefore from (34) and (35), we have the following system of inequalities:

where which converges to zero. Thus, in view of Theorem 9, the solution of coupled system (4) is Hyers-Ulam stable.

5. Examples

Example 1. Consider the following coupled nonlinear FODEs of boundary conditions:

Here and . Moreover

Here, ; hence by Lemma 15 the BVP (37) has a unique solution. For and , we have and, by simple calculation, we obtain

Hence, by using Lemma 16, BVP (37) has at least one positive solution. Further, it is easy to compute the matrix which converges to zero and so the solution is Hyers-Ulam stable by using Theorem 17.

6. Conclusion

In this paper, we investigate existence and uniqueness of solutions for the nonlinear FODEs with boundary conditions and also investigate Hyers-Ulam stability for the mentioned problem. We use Perov’s fixed point theorem [33] and Leray-Schauder fixed point theorem to develop some results for existence of at least one solution for our proposed coupled nonlinear FODEs with boundary conditions. Further, we establish some conditions for Hyers-Ulam type stability to the considered problem. The whole paper is very easy because of relaxed methods and conditions.

Conflicts of Interest

The authors declare that no conflicts of interest exist regarding this manuscript.

Authors’ Contributions

All authors equally contributed to this paper and approved the final version.

Acknowledgments

This work has been supported by the National Natural Science Foundation of China (11571378).

References

I. Podlubny, Fractional Differential Equations, Academic Press, New York, NY, USA, 1999.

R. Hilfer, Applications of Fractional Calculus in Physics, World Scientific, Singapore, 2000.

K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993.

K. B. Oldham, “Fractional differential equations in electrochemistry,” Advances in Engineering Software, vol. 41, no. 1, pp. 9–12, 2010.

L. Diening, Lindqvist P., and B. Kawohl, “Mini-Workshop: the p-laplacian operator and applications,” Oberwolfach Reports, vol. 10, no. 1, pp. 433–482, 2013.

J. Liang and H. Yang, “Controllability of fractional integro-differential evolution equations with nonlocal conditions,” Applied Mathematics and Computation, vol. 254, pp. 20–29, 2015.

K. Shah and R. A. Khan, “Study of Solution to a Toppled SYStem of Fractional Differential Equations with Integral Boundary Conditions,” International Journal of Applied and Computational Mathematics, vol. 3, no. 3, pp. 2369–2388, 2017.

M. Benchohra, J. R. Graef, and S. Hamani, “Existence results for boundary value problems with non-linear fractional differential equations,” Applicable Analysis. An International Journal, vol. 87, no. 7, pp. 851–863, 2008.

B. Ahmad and S. Sivasundaram, “On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order,” Applied Mathematics and Computation, vol. 217, no. 2, pp. 480–487, 2010.

N. Ali, K. Shah, D. Baleanu, M. Arif, and R. A. Khan, “Study of a class of arbitrary order differential equations by a coincidence degree method,” Boundary Value Problems, 12 pages, 2017.

H. Yang, R. P. Agarwal, and H. K. Nashine, “Coupled fixed point theorems with applications to fractional evolution equations,” Advances in Difference Equations, 16 pages, 2017.

B. Li and H. Gou, “Existence of solutions for impulsive fractional evolution equations with periodic boundary condition,” Advances in Difference Equations, 22 pages, 2017.

X. Su, “Boundary value problem for a coupled system of nonlinear fractional differential equations,” Applied Mathematics Letters, vol. 22, no. 1, pp. 64–69, 2009.

J. Wang, H. Xiang, and Z. Liu, “Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations,” International Journal of Differential Equations, vol. 2010, Article ID 186928, 2010.

W. Liu, X. Yan, and W. Qi, “Positive solutions for coupled nonlinear fractional differential equations,” Journal of Applied Mathematics, vol. 2014, Article ID 790862, 7 pages, 2014.

M. ur Rehman and R. A. Khan, “Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations,” Applied Mathematics Letters. An International Journal of Rapid Publication, vol. 23, no. 9, pp. 1038–1044, 2010.

S. Zhang, “Positive solutions to singular boundary value problem for nonlinear fractional differential equation,” Computers & Mathematics with Applications, vol. 59, no. 3, pp. 1300–1309, 2010.

B. Ahmad and J. J. Nieto, “Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions,” Computers & Mathematics with Applications, vol. 58, no. 9, pp. 1838–1843, 2009.

M. Iqbal, Y. Li, K. Shah, and R. A. Khan, “Application of topological degree method for solutions of coupled systems of multipoints boundary value problems of fractional order hybrid differential equations,” Complexity, vol. 2017, Article ID 7676814, 9 pages, 2017.

V. Gafiychuk, B. Datsko, V. Meleshko, and D. Blackmore, “Analysis of the solutions of coupled nonlinear fractional reaction-diffusion equations,” Chaos, Solitons & Fractals, vol. 41, no. 3, pp. 1095–1104, 2009.

L. Gao, D. Wang, and G. Wang, “Further results on exponential stability for impulsive switched nonlinear time-delay systems with delayed impulse effects,” Applied Mathematics and Computation, vol. 268, pp. 186–200, 2015.

I. M. Stamova, “Mittag-Leffler stability of impulsive differential equations of fractional order,” Quarterly of Applied Mathematics, vol. 73, no. 3, pp. 525–535, 2015.

M. Benchohra and J. E. Lazreg, “On stability for nonlinear implicit fractional differential equations,” Le Matematiche, vol. 70, no. 2, pp. 49–61, 2015.

S. M. Ulam, Problems in Modern Mathematics, John Wiley and sons, New York, NY, USA, 1940.

D. H. Hyers, “On the stability of the linear functional equation,” Proceedings of the National Academy of Sciences of the United States of America, vol. 27, pp. 222–224, 1941.

C. Urs, “Coupled fixed point theorems and applications to periodic boundary value problems,” Miskolc Mathematical Notes, vol. 14, no. 1, pp. 323–333, 2013.

S.-M. Jung, “On the Hyers-Ulam stability of the functional equations that have the quadratic property,” Journal of Mathematical Analysis and Applications, vol. 222, no. 1, pp. 126–137, 1998.

I. A. Rus, “Ulam stabilities of ordinary differential equations in a Banach space,” Carpathian Journal of Mathematics, vol. 26, no. 1, pp. 103–107, 2010.

M. Gachpazan and O. Baghani, “Hyers Ulam stability of Volterra integral equation,” Journal of Nonlinear Analysis and Application, pp. 19–25, 2010.

Z. Ali, A. Zada, and K. Shah, “Existence and stability analysis of three point boundary value problem,” International Journal of Applied and Computational Mathematic, vol. 2017, p. 14, 2017.

P. Kumam, A. Ali, K. Shah, and R. . Khan, “Existence results and Hyers-Ulam stability to a class of nonlinear arbitrary order differential equations,” Journal of Nonlinear Science and its Applications. JNSA, vol. 10, no. 6, pp. 2986–2997, 2017.

J. Wang and X. Li, “Ulam-Hyers stability of fractional Langevin equations,” Applied Mathematics and Computation, vol. 258, pp. 72–83, 2015.

A. I. Perov, “On the Cauchy problem for a system of ordinary differential equations,” vol. 2, pp. 115–134, 1964.