Abstract
In this paper, we establish sufficient conditions for the existence, uniqueness and Ulam–Hyers stability of the solutions of a coupled system of nonlinear fractional impulsive differential equations. The existence and uniqueness results are carried out via Banach contraction principle and Schauder’s fixed point theorem. The main theoretical results are well illustrated with the help of an example.
1. Introduction
Fractional differential equations (FDEs) provide an excellent tool for the description of memory and hereditary properties of different processes and materials. Thus, contrary to the classical derivative, the fractional derivative is nonlocal. Fractional calculus has played a very important role in enhancing the mathematical modeling of several phenomena occurring in engineering and scientific disciplines, such as blood flow systems, control theory, aerodynamics, the nonlinear oscillation of earthquake, the fluid-dynamic traffic model, polymer rheology, regular variation in thermodynamics, etc. FDEs are more accurate than the integer-order derivatives. Therefore, in the last few decades, fractional calculus has received great attention from researchers [1,2,3,4,5,6,7,8,9,10,11,12,13]. On the other hand, it is impossible to describe the complicated systems and processes with a single differential equation. Therefore, the coupled systems involving FDEs have also received incredible attention; consequently, many results are devoted to them [14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31].
It is well known that the effects of a pulse cannot be ignored in many processes and phenomena. For example, in biological systems such as heart beats, blood flows, mechanical systems with impact, population dynamical systems and so on. Thus, researchers used differential equations with impulses to describe the aforesaid kinds of phenomena. Therefore, many mathematicians studied impulsive FDEs with different boundary conditions; see [32,33,34,35,36,37,38,39,40] and references cited therein.
In fields such as numerical analysis, optimization theory, and nonlinear analysis, we mostly deal with the approximate solutions and hence we need to check how close these solutions are to the actual solutions of the related system. For this purpose, many approaches can be used, but the approach of Ulam–Hyers stability is a simple and easy one. The aforesaid stability was first initiated by Ulam in 1940 and then was confirmed by Hyers in 1941 [41,42]. That’s why this stability is known as Ulam–Hyers stability. In 1978 [43], Rassias generalized the Ulam–Hyers stability by considering variables. Thereafter, mathematicians extended the work mentioned above to functional, differential, integrals and FDEs; for more information about the topic, the reader is recommended to [44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59].
Inspired from the above discussion, in this article, we study the existence, uniqueness and stability analysis of a coupled system of nonlinear FDEs with impulses of the form:
where stands for Caputo fractional derivative and are continuous functions. and satisfied , , , , , , , , and represent the right and left limits of , respectively, at .
The remaining article is organized as follows: In Section 2, we give some definitions and lemmas related to fractional calculus. In Section 3, we establish our main results about the existence and uniqueness of solutions for the proposed system (1). In Section 4, we study the Ulam–Hyers stability. In Section 5, we provide an example to support our main results.
2. Background Materials
In this section, we give some basic definitions of fractional calculus that will be used throughout the article.
Definition 1.
(see [60]) If and then the Caputo fractional derivative of order α is defined as
where denotes the integer part of real number provided that the right side is pointwise defined on
Definition 2.
(see [60]) The Riemann–Liouville fractional integral of order for a function is defined as
provided that the right side is pointwise defined on , where Γ is the Euler Gamma function.
Lemma 1.
(see [60]) The solution of the differential equations involving Caputo derivative has the form:
for some .
Lemma 2.
(see [60]) If then, for , we have
Lemma 3.
(Banach contraction principle, see [59]) If X is real Banach space and is a contraction mapping, then has a unique fixed point in X.
Theorem 1.
(Schauder fixed point theorem, see [59]) If ω is a closed bounded convex subset of a Banach space X and is completely continuous, then has at least one fixed point in ω.
For the sake of convenience, we introduce the Banach space as follows:
Let . Define the set by
It is easy to verify that X is a Banach space equipped with the norm:
Similarly, we can define a set , which is a Banach space endowed with the defined norm:
Furthermore, we define the Banach space with the norms and
Definition 3.
Lemma 4.
Assume that . A function is a solution of the boundary value system
if and only if is the solution of integral equation
where ,
Proof.
Applying Lemma 1, for some constants , we have
Then, we obtain
When , we have
where are arbitrary constants, from (4)–(6), we can find
Furthermore, , and (7)–(9) give us:
Plugging into the first equation of (6) for , we have
Repeating the same process for such that , then we can write
Furthermore, we have
By utilizing conditions in (4), we get In addition, it follows from (11) that
In view of such that , we have
By applying result (5), we get
Since thus (13) and (14) gives
Similarly as in Lemma 4, we can prove the following:
Lemma 5.
Let . A function is the solution of
if and only if is the solution of the integral equation
where such that , and
3. Main Results
In this section, we use fixed point theorems to prove the existence of solutions to problem (1). According to Lemmas 4 and 5, we define operator by
where
and
with
where and Thus, solving problem (1) is equivalent to obtain a fixed point of the operator . Next, we have to prove the uniqueness of solutions of problem (1).
Theorem 2.
and
For all and there exists some positive constants such that
For all , there exist some positive constants such that
Proof.
Theorem 3.
Proof.
For the sake of simplicity, let us denote
and . Define the operator , as in (17), and a closed ball of Banach space as follows:
Similar to (18)–(22), we easily show that by applying . indicates that is uniformly bounded in . The continuity of the operator is follows from the continuity of and . Now, we need to prove that is equicontinuous. Let and with . When , similar to Equation (18), we have
In the same fashion, we obtain
In addition, we obtain the same result when similar to (20)
and
Thus, it follows from (24)–(27) that, for any there exists a positive constant independent of and such that , whenever . Thereby, is equicontinuous. By the Arzela–Ascoli theorem, we know that is completely continuous. In view of Theorem 1, has a unique fixed point which is a solution of system (1). □
4. Ulam–Hyers Stability
In this section, we are interested in Ulam–Hyers stability and its types for the solution of (1).
Definition 4.
Definition 5.
Definition 6.
Definition 7.
Remark 1.
A function is a solution of the inequality (28), if and only if there exist functions and a sequence depending on , such that
Remark 2.
A function is a solution of the inequality (29), if and only if there exist functions and a sequence depending on , such that
Similarly, one can easily state such a remark for the inequality (30).
Theorem 4.
Proof.
Let be any solution of the inequality (28) and let be the unique solution of the following:
By Lemma 2.4, we have
Since is a solution of the inequality (28) and ; hence, by Remark 1, we obtain
where
For we have
For computational convenience, we use for the sum of terms which are free of ; then, (34) becomes
By utilizing Remark 1, we get
Let
Thus, (35) becomes
Let
Utilizing and , we get
In addition, for we have
For computational convenience, we use for the sum of terms which are free of , so we have
By utilizing Remark 1, we get
For computational convenience, let
Thus, (40) becomes
Let
Using and , we have
On the similar fashion, for and utilizing , we can find
where are those terms which are free of and
and
where
In addition, for , we can get
where are those terms which are free of and
In addition,
where
Solving the above inequality, we get
where
Further simplification of the above system gives
from which we have
Let then, from (49), we get
which implies that
where
: Let be nondecreasing functions; then, for , there are such that
Similarly,
Theorem 5.
Assume that and are satisfied; then, by Definition 6 and Definition 7, Problem (1) is Ulam–Hyers–Rassias stable with respect to , as well as generalized Ulam–Hyers– Rassias stable.
5. Example
To substantiate the aforemention demonstrated theory, we supply the following problem:
Take , , , , . By direct computation, we have , ,
Similarly,
6. Conclusions
In the above study, we have successfully built up existence theory for the solutions of system (1). The required analysis has been developed with the help of the Banach contraction principle and Schauder fixed point theorem. We found that the fractional order coupled system is additionally complicated and challenging as compared to the single FDEs. We also concluded that, if we increase the order or boundary conditions, then the end result turns into extra accurate. Our results are new and fascinating. Our methods can be used to study the existence of solutions for the high order or multiple-point boundary value systems of a nonlinear coupled system of FDEs. Furthermore, we have presented different kinds of Ulam–Hyers stability results for the solution of the considered system (1). In addition, we have presented our main theoretical results with the help of an example. In the future, this concept can be extended to more applied and complicated problems of applied nature. The obtained results can be used in fields like numerical analysis and managerial sciences including business mathematics and economics, etc.
Author Contributions
S.F. and Z.A. contributed equally in writing this article; supervision, A.Z., J.X. and Y.C. All authors read and approved the final manuscript.
Funding
This work is supported by the Talent Project of Chongqing Normal University (Grant No. 02030307-0040), the National Natural Science Foundation of China (Grant No. 11601048, 11571207), the Natural Science Foundation of Chongqing Normal University (Grant No. 16XYY24), the Shandong Natural Science Foundation (ZR2018MA011), and the Tai’shan Scholar Engineering Construction Fund of Shandong Province of China.
Conflicts of Interest
The authors declare that they have no competing interests.
References
- Brikaa, M. Existence results for a couple system of nonlinear fractional differential equation with three point boundary conditions. J. Fract. Calc. Appl. 2015, 3, 1–10. [Google Scholar]
- Henderson, J.; Luca, R. Positive solutions for a system of fractional differential equations with coupled integral boundary conditions. Appl. Math. Comput. 2014, 249, 182–197. [Google Scholar] [CrossRef]
- Kilbas, A.; Srivastava, H.; Trujillo, J. Theory and Applications of Fractional Differential Equations. In North–Holland Mathematics Studies; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
- Klafter, J.; Lim, S.C. Fractional Dynamics in Physics; Metzler, R., Ed.; World Scientific: Singapore, 2011. [Google Scholar]
- Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
- Yang, W. Positive solutions for a coupled system of nonlinear fractional differential equations with integral boundary conditions. Comput. Math. Appl. 2012, 63, 288–297. [Google Scholar] [CrossRef][Green Version]
- Zhang, K.; Fu, Z. Solutions for a class of Hadamard fractional boundary value problems with sign-changing nonlinearity. J. Funct. Spaces 2019, 2019, 9046472. [Google Scholar] [CrossRef]
- Zhang, K.; Wang, J.; Ma, W. Solutions for integral boundary value problems of nonlinear Hadamard fractional differential equations. J. Funct. Spaces 2018, 2018, 2193234. [Google Scholar] [CrossRef]
- Zou, Y.; He, G. On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 2017, 74, 68–73. [Google Scholar] [CrossRef]
- Yue, Z.; Zou, Y. New uniqueness results for fractional differential equation with dependence on the first order derivative. Adv. Differ. Equ. 2019, 2019, 38. [Google Scholar] [CrossRef]
- Fu, Z.; Bai, S.; O’Regan, D.; Xu, J. Nontrivial solutions for an integral boundary value problem involving Riemann–Liouville fractional derivatives. J. Inequal. Appl. 2019, 2019, 104. [Google Scholar] [CrossRef]
- Zhang, K.; O’Regan, D.; Xu, J.; Fu, Z. Nontrivial solutions for a higher order nonlinear fractional boundary value problem involving Riemann–Liouville fractional derivatives. J. Funct. Spaces 2019, 2019, 2381530. [Google Scholar] [CrossRef]
- Pu, R.; Zhang, X.; Cui, Y.; Li, P.; Wang, W. Positive solutions for singular semipositone fractional differential equation subject to multipoint boundary conditions. J. Funct. Spaces 2017, 2017, 5892616. [Google Scholar] [CrossRef]
- Zhang, Y. Existence results for a coupled system of nonlinear fractional multi-point boundary value problems at resonance. J. Inequal. Appl. 2018, 2018, 198. [Google Scholar] [CrossRef] [PubMed]
- Zhang, Y.; Bai, Z.; Feng, T. Existence results for a coupled system of nonlinear fractional three-point boundary value problems at resonance. Comput. Math. Appl. 2011, 61, 1032–1047. [Google Scholar] [CrossRef]
- Qi, T.; Liu, Y.; Zou, Y. Existence result for a class of coupled fractional differential systems with integral boundary value conditions. J. Nonlinear Sci. Appl. 2017, 10, 4034–4045. [Google Scholar] [CrossRef]
- Qi, T.; Liu, Y.; Cui, Y. Existence of solutions for a class of coupled fractional differential systems with nonlocal boundary conditions. J. Funct. Spaces 2017, 2017, 6703860. [Google Scholar] [CrossRef]
- Xu, J.; Goodrich, C.S.; Cui, Y. Positive solutions for a system of first-order discrete fractional boundary value problems with semipositone nonlinearities. Revista de la Real Academia de Ciencias Exactas Físicas y Naturales Serie A Matemáticas 2019, 113, 1343–1358. [Google Scholar] [CrossRef]
- Cheng, W.; Xu, J.; Cui, Y.; Ge, Q. Positive solutions for a class of fractional difference systems with coupled boundary conditions. Adv. Differ. Equ. 2019, 2019, 249. [Google Scholar] [CrossRef]
- Cheng, W.; Xu, J.; Cui, Y. Positive solutions for a system of nonlinear semipositone fractional q-difference equations with q-integral boundary conditions. J. Nonlinear Sci. Appl. 2017, 10, 4430–4440. [Google Scholar] [CrossRef][Green Version]
- Wang, F.; Cui, Y. Positive solutions for an infinite system of fractional order boundary value problems. Adv. Differ. Equ. 2019, 2019, 169. [Google Scholar] [CrossRef]
- Qiu, X.; Xu, J.; O’Regan, D.; Cui, Y. Positive solutions for a system of nonlinear semipositone boundary value problems with Riemann–Liouville fractional derivatives. J. Funct. Spaces 2018, 2018, 7351653. [Google Scholar] [CrossRef]
- Hao, X.; Wang, H.; Liu, L.; Cui, Y. Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017, 2017, 182. [Google Scholar] [CrossRef]
- Zhang, X.; Liu, L.; Zou, Y. Fixed-point theorems for systems of operator equations and their applications to the fractional differential equations. J. Funct. Spaces 2018, 2018, 7469868. [Google Scholar] [CrossRef]
- Zhang, X.; Liu, L.; Wu, Y.; Zou, Y. Existence and uniqueness of solutions for systems of fractional differential equations with Riemann-Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 2018, 204. [Google Scholar] [CrossRef]
- Li, H.; Zhang, J. Positive solutions for a system of fractional differential equations with two parameters. J. Funct. Spaces 2018, 2018, 1462505. [Google Scholar] [CrossRef]
- Zhao, Y.; Hou, X.; Sun, Y.; Bai, Z. Solvability for some class of multi-order nonlinear fractional systems. Adv. Differ. Equ. 2019, 2019, 23. [Google Scholar] [CrossRef]
- Zhao, Y.; Sun, Y.; Wang, Y.; Bai, Z. Asymptotical stabilization of the nonlinear upper triangular fractional-order systems. Adv. Differ. Equ. 2019, 2019, 157. [Google Scholar] [CrossRef]
- Cui, Y. Multiplicity results for positive solutions to differential systems of singular coupled integral boundary value problems. Math. Probl. Eng. 2017, 2017, 3608352. [Google Scholar] [CrossRef]
- Jiang, J.; O’Regan, D.; Xu, J.; Fu, Z. Positive solutions for a system of nonlinear Hadamard fractional differential equations involving coupled integral boundary conditions. J. Inequal. Appl. 2019, 2019, 204. [Google Scholar] [CrossRef]
- Zhai, C.; Wang, W.; Li, H. A uniqueness method to a new Hadamard fractional differential system with four-point boundary conditions. J. Inequal. Appl. 2018, 2018, 207. [Google Scholar] [CrossRef]
- Wang, J.; Fečkan, M.; Zhou, Y. A survey on impulsive fractional differential equations. Fract. Calc. Appl. Anal. 2016, 19, 806–831. [Google Scholar] [CrossRef]
- Yukunthorn, W.; Ahmad, B.; Ntouyas, S.; Tariboon, J. On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. 2016, 19, 77–92. [Google Scholar] [CrossRef]
- Zhao, K.; Liang, J. Solvability of triple-point integral boundary value problems for a class of impulsive fractional differential equations. Adv. Differ. Equ. 2017, 2017, 50. [Google Scholar] [CrossRef]
- Fu, X.; Bao, X. Some existence results for nonlinear fractional differential equations with impulsive and fractional integral boundary conditions. Adv. Differ. Equ. 2014, 2014, 129. [Google Scholar] [CrossRef][Green Version]
- Zhao, K. Multiple positive solutions of integral BVPs for high-order nonlinear fractional differential equations with impulses and distributed delays. Dyn. Syst. 2015, 30, 208–223. [Google Scholar] [CrossRef]
- Zhao, K. Impulsive boundary value problems for two classes of fractional differential equation with two different Caputo fractional derivatives. Mediterr. J. Math. 2016, 13, 1033–1050. [Google Scholar] [CrossRef]
- Wang, Y.; Liu, Y.; Cui, Y. Infinitely many solutions for impulsive fractional boundary value problem with p-Laplacian. Bound. Value Probl. 2018, 2018, 94. [Google Scholar] [CrossRef]
- Zuo, M.; Hao, X.; Liu, L.; Cui, Y. Existence results for impulsive fractional integro-differential equation of mixed type with constant coefficient and antiperiodic boundary conditions. Bound. Value Probl. 2017, 2017, 161. [Google Scholar] [CrossRef]
- Bai, Z.; Dong, X.; Yin, C. Existence results for impulsive nonlinear fractional differential equation with mixed boundary conditions. Bound. Value Probl. 2016, 2016, 63. [Google Scholar] [CrossRef]
- Ulam, S.M. Problems in Modern Mathematics; John Wiley and Sons: New York, NY, USA, 1940. [Google Scholar]
- Ulam, S.M. A Collection of Mathematical Problems; Interscience: New York, NY, USA, 1960. [Google Scholar]
- Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1978, 72, 297–300. [Google Scholar] [CrossRef]
- Ali, Z.; Zada, A.; Shah, K. Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem. Bound. Value Probl. 2018, 2018, 175. [Google Scholar] [CrossRef]
- Ali, Z.; Zada, A.; Shah, K. On Ulam’s stability for a coupled systems of nonlinear implicit fractional differential equations. Bull. Malays. Math. Sci. Soc. 2019, 42, 2681–2699. [Google Scholar] [CrossRef]
- Ahmad, N.; Ali, Z.; Shah, K.; Zada, A.; Rahman, G. Analysis of implicit type nonlinear dynamical problem of impulsive fractional differential equations. Complexity 2018, 2018, 6423974. [Google Scholar] [CrossRef]
- Zada, A.; Shah, S.O.; Shah, R. Hyers–Ulam stability of non-autonomous systems in terms of boundedness of Cauchy problem. Appl. Math. Comput. 2015, 271, 512–518. [Google Scholar] [CrossRef]
- Shah, S.O.; Zada, A. Existence, uniqueness and stability of solution to mixed integral dynamic systems with instantaneous and noninstantaneous impulses on time scales. Appl. Math. Comput. 2019, 359, 202–213. [Google Scholar] [CrossRef]
- Zada, A.; Mashal, A. Stability analysis of nth order nonlinear impulsive differential equations in Quasi-Banach space. Numer. Funct. Anal. Optim. 2019. [Google Scholar] [CrossRef]
- Ali, A.; Rabiei, F.; Shah, K. On Ulam’s type stability for a class of impulsive fractional differential equations with nonlinear integral boundary conditions. J. Nonlinear Sci. Appl. 2017, 10, 4760–4775. [Google Scholar] [CrossRef]
- Riaz, U.; Zada, A.; Ali, Z.; Ahmad, M.; Xu, J.; Fu, Z. Analysis of nonlinear coupled systems of impulsive fractional differential equations with Hadamard derivatives. Math. Probl. Eng. 2019, 2019, 5093572. [Google Scholar] [CrossRef]
- Riaz, U.; Zada, A.; Ali, Z.; Cui, Y.; Xu, J. Analysis of coupled systems of implicit impulsive fractional differential equations involving Hadamard derivatives. Adv. Differ. Equ. 2019, 2019, 226. [Google Scholar] [CrossRef]
- Ali, Z.; Kumam, P.; Shah, K.; Zada, A. Investigation of Ulam stability results of a coupled system of nonlinear implicit fractional differential equations. Mathematics 2019, 7, 341. [Google Scholar] [CrossRef]
- Wang, J.; Zada, A.; Waheed, H. Stability analysis of a coupled system of nonlinear implicit fractional anti-periodic boundary value problem. Math. Meth. App. Sci. 2019. [Google Scholar] [CrossRef]
- Shah, K.; Shah, L.; Ahmad, S.; Rassias, J.M.; Li, Y. Monotone iterative techniques together with Hyers-Ulam-Rassias stability. Math. Meth. Appl. Sci. 2019, 1–18. [Google Scholar] [CrossRef]
- Zada, A.; Ali, W.; Park, C. Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Grönwall–Bellman–Bihari’s type. Appl. Math. Comput. 2019, 350, 60–65. [Google Scholar]
- Jung, S.M. Hyers–Ulam–Rassias Stability of Functional Equations in Nonlinear Analysis; Springer: New York, NY, USA, 2011. [Google Scholar]
- Kumam, P.; Ali, A.; Shah, K.; Khan, R.A. Existence results and Hyers–Ulam stability to a class of nonlinear arbitrary order differential equations. J. Nonlinear Sci. Appl. 2017, 10, 2986–2997. [Google Scholar] [CrossRef]
- Guo, D.; Lakshmikantham, V. Nonlinear Problems in Abstract Cone; Academic Press: Orlando, FL, USA, 1988. [Google Scholar]
- Miller, K.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; Wiley: New York, NY, USA, 1993. [Google Scholar]
- Rus, I.A. Ulam stabilities of ordinary differential equations in a Banachspace. Carpathian J. Math. 2010, 26, 103–107. [Google Scholar]
© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).