Abstract
In this work, we establish some necessary results about existence theory to a class of boundary value problems (BVPs) of hybrid fractional differential equations (HFDEs) in the frame of Atangana–Baleanu–Caputo (ABC) fractional derivative. Making use of Krasnoselskii and Banach theorems, we obtain the required conditions. Some appropriate results of Hyers–Ulam (H–U) stability corresponding to the considered problem are also established. Also a pertinent example is given to demonstrate the results.
Similar content being viewed by others
1 Introduction
In previous decades, the area of fractional calculus got much attention from researchers. This is because of numerous applications of fractional order differential equations (FDEs) in mathematical modeling of real world phenomena (see [1–5]). The researchers therefore considered FODEs in their research a lot in the last many years. They established various analyses for the mentioned area including qualitative results for the existence of solution, numerical and stability results, etc. For the respective analysis of FODEs, the researchers used different tools like fixed point approach, Picard type theory, etc. In this respect, huge research work has been established, for details we refer to [6–9].
Here we remark that a class formed from quadratic perturbations of nonlinear differential equations called hybrid differential equations has got proper attention. In this regard, Dhage and Lakshmikantham [10] established significant results and theories. The respective existence theory of solution to the mentioned area is very important and can be established by using hybrid type fixed point approach. As it is known, fractional calculus is more realistic to describe many real world problems including memory and hereditary properties of various materials and processes as compared to classical calculus. Therefore researchers have extended the idea of fractional calculus to investigate H-FDEs from different aspects including existence results and stability theory. In this regard, various interesting results have been established in the literature (see [11–18]). Nowadays, fractional partial differential equations have received a great deal of attention in both analysis and application, and they are used to model various phenomena in diverse areas of science, for instance, chemistry, biology, physics, control theory, and engineering (see [17, 19–21]).
Fractional order derivative has been defined in various ways. Since the mentioned derivative is in fact a definite integral, including its integer counterpart is a special case. Therefore various definitions have been given in the literature in the last decades. Among these definitions, the Riemann–Liouville and Caputo ones have been used in plenty of research articles. Since these definitions involve a singular type kernel, it often makes some complication in numerical treatment of some problems. Therefore very recently Caputo and Fabrizio have defined a new differential operator by replacing singular kernel with nonsingular (exponential type) kernel (we refer to [22]). In subsequent years Atangana and Baleanu introduced a more general definition than Caputo–Fabrizio by including Mittag-Leffler (ML) type kernel (abbreviated as ABC derivative of fractional order). The concerned derivative got much attention and has been used in plenty of research works (see [23–26]). Using the ABC derivative of fractional order, various problems have been studied for existence and stability results, we refer to [27, 28]. In addition, generalized ML kernel operators have been studied by many researchers in applied fields of engineering and sciences. Such kernel types of operators are nonsingular ML kernels with one parameter and also arbitrary ML kernel parameters studied in [29]. Furthermore, some fractional operators have been studied with ML kernels (see [30]). On the other hand, intuitively, fixed point theory can be used in various fields of science and engineering as an authoritative modeling tool to obtain experimental solutions and results. From a broader point of view, the fixed point theory can also be seen as an attempt to link the biological or computational science research on innumerable abstract spaces, on convergence analysis, and on compactness [31]. Further, fixed point theorems are the main core for obtaining the necessary and sufficient conditions for the existence and uniqueness of fractional differential equations. In particular, Banach’s fixed point theorem is essential for the uniqueness of the solution, but it needs a strong hypothesis to be applied (see [32, 33]). Some authors may use a priori limits in system solutions to prove the existence of solutions (see [34, 35]).
Motivated by the aforementioned work, in this article we investigate the following BVP of H-FDEs under the ABC derivative of fractional order:
where
Here we state that the considered problem is subjected to the nonlinear integral boundary condition (IBC). The BVPs have many applications which can be traced out in the applied mathematical sciences. For instance, in the theory of thermal ignition of gases, nonlinear diffusion generated by nonlinear sources, and concentration in chemical or biological problems. Further BVPs under IBCs have various applications of mathematical modeling in thermal conduction process, hemic conduction procedure, and hydrodynamics problems, see [36, 37]. Keeping in mind the importance of integral BVPs, in this paper, we study the aforesaid considered problem (1) for qualitative analysis of existence and stability results of Ulam type. The concerned H–U stability has been investigated for usual FODEs in detail, see [38–40]. So far the mentioned stability has been very rarely considered for H-FODEs under ABC derivative of fractional order. We use fixed point approach due to Krasnoselskii [41] and Banach’s contraction principle to derive sufficient results for the existence of at least one solution and unique solution. Further, using the concepts of nonlinear analysis, we also establish stability results of H–U type. Finally, a pertinent example is given to justify the results.
This paper is organized as follows: The first part contains a detailed introduction. The second part contains basic results. The third portion is devoted to existence results. Portion four is related to stability results. In the fifth portion, we give an example, and the last part is related to brief conclusion.
2 Axillary results
In this section, we study some fundamental results, which are used in our main work.
Definition 1
([42])
Let \(w\in H^{1}(0, \xi )\) with \(\omega \in (0, 1]\), the ABC derivative of fractional order is defined as
where \(\mathscr{E}_{\omega }=\sum_{i=0}^{\infty } \frac{t^{i\omega }}{\Gamma (\omega i+1)}\) is a Mittag-Leffler function. Also \(\mathcal{N}(\omega )\) is called normalization function.
Definition 2
([43])
The corresponding integral is expressed for w as
Lemma 1
([44])
The solution of
with the conditions such that the right-hand side vanishes at \(t=0\) is given by
Here we denote by \(\mathscr{Z}=AC(\mathscr{J})\) the Banach space under the norm \(\|\phi \|_{Z}= \max_{t\in \mathscr{J}} |\phi (t)|\).
Theorem 1
([45])
Let for a convex set \(\mathscr{B}\) of \(\mathscr{Z}\) with a mapping \(\mathscr{A}w=Fw+Gu\) such that
-
1.
\(Fw+Gu\) for every \(u, w\in \mathscr{B}\);
-
2.
F is compact and continuous;
-
3.
G is contraction,
then \(\mathscr{A}\) has at least one fixed point.
3 Main results
In this part, we investigate conditions for the existence of at least one solution to H-FDEs (1).
Lemma 2
If \(\kappa \in L(\mathscr{J})\), then the solution \(\phi \in AC(\mathscr{J})\) of linear BVPs with nonlinear integral BCs
is given by
Proof 1
Thanks to Lemma 1, we can easily obtain result (2).
Corollary 1
In view of Lemma 2, the solution of nonlinear integral BVPs (1) is given by
To derive the interrelated results, we need the following hypothesis to hold:
- \((A_{1})\):
-
For constants \(L_{\mathscr{F}}, L_{\mathscr{G}}, L_{\mathscr{H}}>0\), we have for any \(\phi , \bar{\phi }\in \mathscr{Z}\)
$$\begin{aligned}& \bigl\vert \mathscr{F} \bigl(t,\phi (t) \bigr)-\mathscr{F} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{F}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert , \\& \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr)-\mathscr{G} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{G}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert , \end{aligned}$$and
$$ \bigl\vert \mathscr{H} \bigl(t,\phi (t) \bigr)-\mathscr{H} \bigl(t,\bar{\phi }(t) \bigr) \bigr\vert \leq L_{ \mathscr{H}} \bigl\vert \phi (t)-\bar{\phi }(t) \bigr\vert . $$ - \((A_{2})\):
-
For any real constants \(C_{\mathscr{G}}, M_{\mathscr{G}}>0\), we have
$$ \bigl\vert \mathscr{G} \bigl(t,\phi (t) \bigr) \bigr\vert \leq C_{\mathscr{G}} \bigl\vert \phi (t) \bigr\vert +M_{ \mathscr{G}}. $$ - \((A_{3})\):
-
Also, for real constants \(C_{\mathscr{H}}>0\), \(M_{\mathscr{H}}>0\), we have
$$ \bigl\vert \mathscr{H} \bigl(t,\phi (t) \bigr) \bigr\vert \leq C_{\mathscr{H}} \bigl\vert \phi (t) \bigr\vert +M_{ \mathscr{H}}. $$
On using (3), we define the operator \(\mathscr{A}: \mathscr{Z}\rightarrow \mathscr{Z}\) by
Theorem 2
Under hypothesis \((A_{1})\), the considered problem (1) has a unique solution if
Proof 2
If \(\phi , \bar{\phi }\in \mathscr{Z}\), from (4) we have
Hence, we obtain
Thus we get
Therefore, \(\mathscr{A}\) is a contraction and the said problem (1) has unique solutions.
Thanks to Theorem 1, we derive the next result.
Theorem 3
Thanks to hypotheses \((A_{1})\) and \((A_{2})\), the H-FDE (1) has at least one solution if
Proof 3
Here we define two operators F and G from (4) as
Step 1. Let \(\phi ,\bar{\phi }\in \mathscr{Z}\), we have from (6)
On simplification, we obtain
We have
Thus F is contraction.
Step 2. To derive the required condition in respect of G, let \(\mathscr{B}=\{\phi \in \mathscr{Z}; \|\phi \|_{\mathscr{Z}}\leq \rho \}\), then from (6) we can do
Thus G is bounded. Further, as \(\mathscr{H}\), \(\mathscr{G}\) are continuous, therefore G is also.
Step 3. For equicontinuity, let \({t}_{1}<{t}_{2}\in \mathscr{J}\), we have
Obviously, from (7), we see that \(t_{1}\rightarrow t_{2}\), the right-hand side of the above inequality goes to zero, therefore \(\|G\phi (t_{2})-G\phi (t_{1})\|_{\mathscr{Z}}\rightarrow 0\) as \(t_{1}\rightarrow t_{2}\). As the operator Gϕ is continuous and bounded, so it is uniformly continuous. Also \(G(\mathscr{B})\subset \mathscr{B}\) is compact. Thanks to Arzelá–Ascoli theorem, the operator G fulfills all the conditions of complete continuity. Hence H-FDE (1) has at least one solution.
4 Stability results
This portion is devoted to establishing results about H–U stability for considered H-FDE (1).
Definition 3
H-FDE (1) is H–U stable if, for any \(\varepsilon >0\), for the given inequality
there exists the unique solution ϕ̄ with a constant \(\mathscr{W}_{\mathscr{F}}\) such that
Further, H-FDE problem (1) will be generalized H–U stable if there exists a nondecreasing function \(\varphi :(0, 1)\rightarrow (0, \infty )\) such that
with \(\varphi (0)=0\).
The given result is needed.
Remark 1
If we have a function ψ independent of \(\phi \in \mathscr{Z}\) with \(\psi (0)=0\) and \(\psi (\xi )=0\) with
-
1.
\(|\psi (t)|\leq \varepsilon\) for every \(t\in \mathscr{J}\);
-
2.
\({}_{0}^{\mathit{ABC}}\mathrm{D}^{\omega }_{t}[\phi (t)-\mathscr{F}(t, \phi (t))]= \mathscr{G}(t,\phi (t))+\psi (t)\) for all \(t\in \mathscr{J}\).
Lemma 3
The solution of the given H-FDE problem
is
Moreover, from (9), we have
Proof 4
Thanks to Lemma 2, we obtain solution (9). Further, thanks to Remark 1, result (10) is obvious.
Theorem 4
Under Lemma 3, the solution of considered H-FDE (1) is H–U and generalized H–U stable if \(\Upsilon <1\) exists.
Proof 5
If \(\phi \in \mathscr{Z}\) is any solution of problem (1) and \(\bar{\phi }\in \mathscr{Z}\) is at most one result of (1), then consider
Hence we get on using \(\Omega _{1}=\frac{(1-\omega )}{\mathcal{N}(\omega )}+ \frac{\omega \xi ^{\omega }}{\mathcal{N}(\omega )\Gamma (\omega +1)}\)
Using hypothesis \((A_{1})\), after some simplification in (12), we obtain by using Lemma 3
Hence, we get from (13)
Thus, the solution is H–U stable. Further, for generalized H–U stability, we have
and there exists a nondecreasing function \(\varphi \in C((0, 1),(0,\infty ))\). Then from (14) we get
So the required result for generalized H–U stability is received.
5 Example of our analysis
In this part, we justify our results via examples as follows.
Example 1
Consider the given H-FDE
where
and \(\mathscr{H}(t,\phi (t))= \frac{1}{25}\exp (-\phi (t))\). As \(\xi =1\) and \(\omega =\frac{1}{2}\), let \(\phi , \bar{\phi }\in \mathscr{Z}\), one has
and
Thus we have \({L}_{f}=\frac{1}{35} \), \({L}_{g}=\frac{1}{45}\), and \({L}_{h}=\frac{1}{25}\). Now we check the conditions of the theorems and obtain
Thus, the condition of Theorem 2 is satisfied. Therefore, problem (15) has a unique solution. Next
Thus, the condition of Theorem 3 is also satisfied, hence the given problem (15) has at least one solution. Also for H–U stability
Thus problem (15) is H–U and generalized H–U stable.
6 Conclusion
This work has successfully developed existence and stability results for the integral BVP of H-FDEs under nonsingular kernel type derivative. The concerned BC is nonlinear of integral type. Such problems have many applications in mathematical modeling of thermal and hydrodynamical problems. Based on fixed point approach, we have established some adequate results for at least one solution. Also some interesting results for H–U type stability have been derived. The aforesaid derived results have been justified by providing a suitable problem. In the future, the aforesaid analysis can be extended to a nonlinear coupled system with integral BCs involving a Mittag-Leffler type derivative.
Availability of data and materials
Not applicable.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Academic Press, New York (1998)
Abbas, S., Benchohra, M., N’Guérékata, G.M.: Topics in Fractional Differential Equations. Springer, New York (2012)
Rahimy, M.: Applications of fractional differential equations. Appl. Math. Sci. 4(50), 2453–2461 (2010)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapor (2000)
Dalir, M., Bashour, M.: Applications of fractional calculus. Appl. Math. Sci. 4(21), 1021–1032 (2010)
Lakshmikantham, V., Vatsala, A.S.: Basic theory of fractional differential equations. Nonlinear Anal., Theory Methods Appl. 69(8), 2677–2682 (2008)
Shah, K., Ali, A., Bushnaq, S.: Hyers–Ulam stability analysis to implicit Cauchy problem of fractional differential equations with impulsive conditions. Math. Methods Appl. Sci. 41(17), 8329–8343 (2018)
Ahmad, B., Luca, R.: Existence of solutions for a system of fractional differential equations with coupled nonlocal boundary conditions. Fract. Calc. Appl. Anal. 21(2), 423–441 (2018)
Dhage, B.C., Lakshmikantham, V.: Quadratic perturbations of periodic boundary value problems of second order ordinary differential equations. Differ. Equ. Appl. 2(4), 465–486 (2010)
Lakshmikantham, V., Vasundhara, D.J.: Theory of fractional differential equations in Banach space. Eur. J. Pure Appl. Math. 1(45), 38–45 (2008)
Hilal, K., Kajouni, A.: Boundary value problems for hybrid differential equations with fractional order. Adv. Differ. Equ. 2015, 183 (2015)
Hosseinnia, S.H., et al.: Experimental application of hybrid fractional-order adaptive cruise control at low speed. IEEE Trans. Control Syst. Technol. 22(6), 2329–2336 (2014)
Nouri, K., Baleanu, D., Torkzadeh, L.: Study on application of hybrid functions to fractional differential equations. Iran. J. Sci. Technol. Trans. A, Sci. 42(3), 1343–1350 (2018)
Houas, M.: Existence of solutions for a coupled system of Caputo–Hadamard type fractional differential equations with Hadamard fractional integral conditions. Adv. Theory Nonlinear Anal. Appl. 5(3), 316–329 (2021)
Nghia, B.: Existence of a mild solution to fractional differential equations with ψ-Caputo derivative and its ψ-Hölder continuity. Adv. Theory Nonlinear Anal. Appl. 5(3), 337–350 (2021)
Baitichea, Z., Derbazia, C., Benchohra, M.: ψ-Caputo fractional differential equations with multi-point boundary conditions by topological degree theory. Res. Nonlinear Anal. 3(4), 167–178 (2020)
Jarad, F., Abdeljawad, T.: A modified Laplace transform for certain generalized fractional operators. Res. Nonlinear Anal. 1(2), 88–98 (2018)
Tuan, N.H., Baleanu, D., Thach, T.N.: Final value problem for nonlinear time fractional reaction–diffusion equation with discrete data. J. Comput. Appl. Math. 376, 112–883 (2020)
Hunga, N.N., Binhb, H.D., et al.: Stochastic sub-diffusion equation with conformable derivative driven by standard Brownian motion. Adv. Theory Nonlinear Anal. Appl. 5, 287–299 (2021)
Tuan, N.H., Huynh, L.N., Baleanu, D., Can, N.H.: On a terminal value problem for a generalization of the fractional diffusion equation with hyper-Bessel operator. Math. Methods Appl. Sci. 43(34), 2858–2882 (2020)
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 1–13 (2015)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model. Therm. Sci. 20, 763–769 (2016)
Algahtani, O.: Comparing the Atangana–Baleanu and Caputo–Fabrizio derivative with fractional order Allen Cahn model. Chaos Solitons Fractals 89(23), 552–559 (2016)
Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017)
Tarasov, V.E.: Caputo–Fabrizio operator in terms of integer derivatives: memory or distributed lag. Comput. Appl. Math. 38(3), 113 (2019)
Shah, K., et al.: Semi-analytical study of Pine Wilt Disease model with convex rate under Caputo–Fabrizio fractional order derivative. Chaos Solitons Fractals 135, 109–754 (2020)
Wang, G., Pei, K., Chen, Y.: Stability analysis of nonlinear Hadamard fractional differential system. J. Franklin Inst. 356, 6538–6546 (2019)
Abdeljawad, T.: Fractional operators with generalized Mittag-Leffler kernels and their iterated differintegrals. Chaos 29, 023102 (2019). https://doi.org/10.1063/1.5085726
Yavuz, M., Sulaiman, T.A., Yusuf, A., Abdeljawad, T.: The Schrodinger–KdV equation of fractional order with Mittag-Leffler nonsingular kernel. Alex. Eng. J. 60(2), 2715–2724 (2021)
Panda, S.K., Abdeljawad, T., Ravichandran, C.: Novel fixed point approach to Atangana–Baleanu fractional and \(L^{p}\)-Fredholm integral equations. Alex. Eng. J. 59(4), 1959–1970 (2020)
Miller, K., Ross, B.: Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Tisdell, C.C.: Basic existence and a priori bound results for solutions to systems of boundary value problems for fractional differential equations. Electron. J. Differ. Equ. 2016, 84 (2016)
Ahmad, B., Nieto, J.J.: Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray–Schauder degree theory. Topol. Methods Nonlinear Anal. 35(2), 295–304 (2010)
Infante, G.: Eigenvalues and positive solutions of ODEs involving integral boundary conditions. Discrete Contin. Dyn. Syst. 2005, 436–442 (2005)
Ionkin, N.I.: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294–304 (1977)
Wang, J., Zhang, Y.: Ulam–Hyers–Mittag-Leffler stability of fractional-order delay differential equations. Fract. Syst. Optim. 63(8), 1181–1190 (2014)
Liu, K., Wang, J., O’Regan, D.: Ulam–Hyers–Mittag-Leffler stability for ψ-Hilfer fractional-order delay differential equations. Adv. Differ. Equ. 2019, 50 (2019)
Kumama, 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. 10(6), 2986–2997 (2017)
Burton, T.A.: Krasnoselskii N-tupled fixed point theorem with applications to fractional nonlinear dynamical system. Adv. Math. Phys. 10(6), 2986–2997 (2019)
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 (2018)
Ravichandran, C., Logeswari, K., Jarad, F.: New results on existence in the framework of Atangana–Baleanu derivative for fractional integro-differential equations. Chaos Solitons Fractals 125, 194–200 (2019)
Abdeljawad, T., Baleanu, D.: Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels. Adv. Differ. Equ. 2016, 232 (2016). https://doi.org/10.1186/s13662-016-0949-5
Burton, T.A.: A fixed-point theorem of Krasnoselskii. Appl. Math. Lett. 11(1), 85–88 (1998)
Acknowledgements
This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program.
Funding
This research was funded by Princess Nourah bint Abdulrahman University.
Author information
Authors and Affiliations
Contributions
All authors made equal contributions, read and supported the last original copy. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gul, R., Shah, K., Khan, Z.A. et al. On a class of boundary value problems under ABC fractional derivative. Adv Differ Equ 2021, 437 (2021). https://doi.org/10.1186/s13662-021-03595-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03595-3