- Research
- Open access
- Published:
On existence and stability results to a class of boundary value problems under Mittag-Leffler power law
Advances in Difference Equations volume 2020, Article number: 407 (2020)
Abstract
Some essential conditions for existence theory and stability analysis to a class of boundary value problems of fractional delay differential equations involving Atangana–Baleanu-Caputo derivative are established. The deserted results are derived by using the Banach contraction and Krasnoselskii’s fixed point theorems. Moreover, different kinds of stability theory including Hyers–Ulam, generalized Hyers–Ulam, Hyers–Ulam-Rassias and generalized Hyers–Ulam–Rassias stability are also developed for the problem under consideration. Appropriate examples are given for illustrative purposes.
1 Introduction
Fractional-order differential equations (FDEs) have large numbers of application in modeling various real-world processes and phenomena. Due to this researchers have taken a keen interest in the development of the concerned area of research. A valuable contribution in the development of the theory was made by different researchers; see [1–3] and in the references therein. The real-world problems involving the memory effects is one of the biggest challenges for the researchers. Therefore to overcome this deficiency, some new techniques and tools were developed by different researchers to furnish the theory further. The phenomena related to dynamics, thermodynamics, control theory, biophysics, biomedical, computer networking, electrostatics, image and signal processing and economics are commonly modeled via the aforementioned equations [2, 3]. Due to the reliability, a great degree of freedom and global nature of FDEs as compared to traditional differential equations (DEs), researchers paid more attention to the concerned area. In this connection, we refer to [4–9]. The researchers studied different aspects of FDEs. Of course an important aspect of FDEs is the existence of a solution, its uniqueness and stability analysis. They used fixed point theory and different techniques of analysis to investigate the stability and existence of solutions for FDEs. In this connection, the researchers published a variety of books and articles [10].
Another important type of DEs is known as delay DEs (DDEs). There are various kinds of DDEs: continuous delay, discrete type delay and proportional type delay. Each delay has its own characteristics in the modeling of real-world problems. The proportional type DDEs constitute an important class and have a large number of applications in dynamical systems and their uses [11]. It frequently occurred in technological control or natural problems. In such a system, the monitoring and adjustment to the system are observed by the controller. As a result, as regards the arising time delay in between the observation and action control, these adjustments of concern cannot be made immediately. Perfect real-life examples that reflect time delay are one of the important tools to determine the dynamics and an essential part of the system is natural networking. Specifically, a time delay occurs in the communication between neurons. It has been observed that the use of time delay in the model of such a system directs to a convoluted dynamics and even disorder [12]. Furthermore, fractional-order DDEs have a variety of applications in diverse fields, such as hydraulic network systems, automatic control systems, transmission lines, economy, and biology (see [13]). The concerned equations have gotten considerable attention of researchers because these described accurately almost all the electro-dynamic and other real-world situations.
There are different types of differential operators, such as the Riemann–Liouville (RL), Caputo, Hadamard, Caputo–Fabrizo (CF), and Atangana–Baleanu–Caputo (ABC) types. The benefits of these various derivatives, which give the freedom of selection to the researchers to choose the best one of them, is that they will accurately describe the situation. The derivatives in the sense of Riemann–Liouville and Caputo are vastly used and have been well explored by different researchers; see [14, 15]. Probably, the classical fractional derivatives involving a singular kernel cannot determine the non-local dynamics always. Therefore researchers introduced some new class of fractional differential operators known as nonsingular derivatives. In 2016, a nonsingular derivative involving an exponential function was introduced by Caputo and Fabrizo. In subsequent years the concerned derivative were generalized by Atangana–Baleanu–Caputo and was named the \(ABC\) fractional derivative. The concerned operator has recently been construed non-locally, without singular kernel and reliable differential operator, as applied in modeling of various real-world phenomena [16] regularly. The complex situations due to singular kernel have been replaced by involving exponential and power decay law; for details see [17, 18]. The problems under \(ABC\) derivative have been studied for iterative solutions mostly by using some integral transform, but very rarely have been investigated as regards qualitative aspects.
On the other hand, sometimes it was too complex to obtain an exact solution of a nonlinear FDEs, in such a situation stability analysis plays a vital role in the investigation. There are varieties of stabilities presented in the literature in the past, such as Lyapunov stability, exponential stability, asymptotic stability, and Mittag-Leffler stability [19–21]. Probably, the most reliable stabilities are those known as Hyers–Ulam (HU) stability. The concerned stability was modified to generalized HU stability (see [22–25]). In 1970, the aforementioned stability was further generalized by Rassias [26]. The concerned areas of existence and stability analysis are well furnished for FDEs involving Caputo and Riemann–Liouville operators [27–30]. But in the case of \(ABC\) derivative, the very high relay version was investigated. For a pantograph type problem it has not been properly investigated yet. Inspired by the aforementioned literature, we investigate the following fractional DDEs under inhomogeneous boundary conditions:
where \({}^{ABC}_{0}\mathrm{D}_{t}^{\alpha }\) represents the \(ABC\) derivative, \(f:J\times \mathrm{R}\times \mathrm{R}\rightarrow \mathrm{R}\) is a continuous function and \(J=[0,T]\). Ordinary classes of FDEs are well studied and explored as regards the existence and stability analysis via different methods. But pantograph type fractional DDEs are relay versions to be investigated from this point of view. The aforementioned fractional DDEs is to be investigated with the help of \(ABC\) fractional-order derivatives. Therefore, we develop conditions for the existence and different types of stabilities with the help of results of nonlinear analysis and fixed point theory. Further we investigate the boundary value problem (BVP) which has many applications in mathematical modeling of numerous processes and phenomena in engineering, physics and dynamics systems. To illustrate the results we give some examples.
2 Background materials
This section consist of some basic definitions and lemmas, which are required in this article. Let \(X=C[J,\mathrm{R}]\) be a Banach space with norm \(\|\omega \|=\max_{t\in J}|\omega (t)|\).
Definition 1
Let \(\omega \in H^{1} ( a, b )\), \(a < b \) and \(\alpha \in [0, 1] \). The \(ABC\) fractional derivative of ω of order α is defined as
We use in our paper this definition. And in the Riemann–Liouville sense we define
Here \(\mathbb{M}(\alpha )>0\) is a normalization function with the property \(\mathbb{M}(0)= \mathbb{M}(1)=1\) and \(\mathrm{E}_{\alpha }\) is the Mittag-Liffler function.
Definition 2
The Atangana–Baleanu fractional integral of ω of order α is given by
Lemma 1
([31])
TheABfractional integral and derivative of order\(\alpha \in (0,1) \)of the functionω, satisfy
Definition 3
([31])
Let ω be a function such that \(\omega ^{n}\in H^{1}(a,b) \) and \(n< \alpha \leq n+1\). Then the \(ABC\) derivative is
And the associated integral is given as
Here \(\beta =\alpha -n \).
Lemma 2
([31])
TheABfractional integral and derivative of order\(\alpha \in (n,n+1) \)of the functionω, satisfy
Theorem 1
(Krasnoselskii’s fixed-point theorem [32])
If\(V\subset X \)be a convex and closed non-empty subset, there exist two operatorsF, Gsuch that
-
\(Fv_{1}+ Gv_{2} \in V\)for all\(v_{1}, v_{2} \in V\),
-
Fis a condensing operator,
-
Gis continuous and compact,
then there exists at least one solution\(v \in E\)such that
3 Main results
In this section, we examine the existence and uniqueness of solutions of our proposed problem (1).
Lemma 3
Let\(y\in J\), then the solution of the problem
is given by
Proof
By applying the integral \({}^{AB}_{0}I_{t}^{\alpha }\) to (5), we have
Using \(w(0)=w_{0}\) and \(w(T)=w_{1}\) in (6) implies \(c_{0}=w_{0}\) and
By putting the value of \(c_{0}\) and \(c_{1}\) in (6), we get
□
Corollary 1
In view of Lemma 3, our considered problem (1) is equal to the following integral equation:
For the existence and uniqueness of our propose problem (1), we consider the following assumptions to hold:
- \((B_{1})\):
-
There exists a constant \(K_{f}>0 \) such that, for any \(u,w,\bar{u},\bar{w} \in J \), one has
$$ \bigl\vert f(t,u,w)-f(t,\bar{u},\bar{w}) \bigr\vert \leq K_{f} \bigl\{ \vert u-\bar{u} \vert + \vert w-\bar{w} \vert \bigr\} . $$ - \((B_{2})\):
-
There exist constants \(l_{f},m_{f},n_{f}>0\) such that
$$ \bigl\vert f \bigl(t,w(t),w(\nu t) \bigr) \bigr\vert \leq l_{f}+m_{f} \bigl\vert w(t) \bigr\vert +n_{f} \bigl\vert w(\nu t) \bigr\vert . $$
Theorem 2
In view of assumption\((B_{1})\), the BVP (1) has a unique solution if
Proof
Let the operator \(\mathbf{F} : X\rightarrow X\) be defined as
To show that F is a condensing operator, letting \(\omega , \bar{\omega }\in X\), one has
This shows that F is a condensing map, so it has a unique fixed point. Consequently, our considered problem (1) has a unique solution. □
Now consider the operators defined as
Theorem 3
If the assumptions\((B_{1})\), \((B_{2})\)and\(0 < \frac{2K_{f}(T\varGamma (\alpha +1)+T^{\alpha })}{\mathbb{M}(\alpha -1)\varGamma {\alpha +1}}< 1\)hold, then the proposed problem (1) has at least one solution.
Proof
Consider the set \(V=\{ \omega \in X:\|\omega \|\leq \mathrm{b}\}\). The continuity of f implies that G is continuous. Now for any \(\omega , \bar{\omega } \in V\), one has
This shows that G is a contraction. Now for the continuity and compactness of H, considering any \(w\in V\), one has
Hence G is bounded. For continuity letting \(t_{1}< t_{2} \in J\), we have
This implies that \(|\mathbf{H}\omega (t_{2})-\mathbf{H}\omega (t_{1})|\rightarrow 0\) as \(t_{2}\rightarrow t_{1}\). Also H is continuous and bounded. Therefore we have \(\|\mathbf{H}\omega (t_{2})-\mathbf{H}\omega (t_{1})\|\rightarrow 0\) as \(t_{2}\rightarrow t_{1}\). Thus H is completely continuous by the Arzelá–Ascoli theorem. Thus all the requirements of Theorem 1 are obtained so our proposed problem (1) has at least one solution in V. □
4 Stability analysis
This section is concerned with the Ulam type stability for our proposed problem. To achieve the goal, we give some definitions and notions.
Definition 4
The solution of our considered problem (1) is HU stable if there exists a positive number \(C_{f}\), such that, for each \(\varepsilon >0\) and for each \(\omega \in X\) of the inequality
one has a unique solution \(\omega ^{*} \in X\) of the considered BVP (1) such that
It will be generalized Hyers–Ulam (GHU) stable, if we can find
such that
Remark 1
Let \(\omega \in X\) be the solution of inequality given in (7) if and only if we have a function \(\beta \in C[0, T]\) which depends on ω and for each \(0\leq t\leq T\)
-
(i)
\(|\beta (t)|\leq \varepsilon \);
-
(ii)
\({}^{ABC}_{0}\mathrm{D}_{t}^{\alpha } \omega (t)=f(t,\omega (t),\omega ( \nu t))+\beta (t)\).
Definition 5
The solution \(\omega \in X\) of our proposed problem (1) is Hyers–Ulam–Rassias (HUR) stable with respect to \(\psi \in X\) if we can find a real constant \(C_{f}>0\) with the property that, for every \(\varepsilon >0\) and for each \(\omega \in X\) of the inequality
one has a unique solution \(\omega ^{*} \in X\) of the considered BVP (1) such that
It will be generalized Hyers–Ulam–Rassias (GHUR) stable, if
Remark 2
\(\omega \in X\) is said to be the solution of the inequality given in (8) if and only if we have a function \(\beta \in C[0, T]\) which is depending on ω and for each \(0\leq t\leq T\)
-
(i)
\(|\beta (t)|\leq \varepsilon \psi (t)\);
-
(ii)
\({}^{ABC}_{0}\mathrm{D}_{t}^{\alpha } \omega (t)=f(t,\omega (t),\omega ( \nu t))+\beta (t)\).
Lemma 4
Under the Remark 1, the function\(\omega \in X\)corresponding to the given problem
satisfies the relation given by
where
and
Proof
With the help of Lemma 3, the corresponding problem (9) becomes
This implies
□
Theorem 4
Under the assumption\((A_{1})\)along with Lemma 4, the solution of our proposed problem (1) is HU and GHU stable if\(1\neq \mathbf{C}_{\alpha ,T}\)holds.
Proof
If ω is any solution and \(\omega ^{*}\) is a unique solution of problem (1), then one has
This further implies that
Let \(C_{f}=\frac{\mathbf{C}_{\alpha ,T}}{1-2K_{f}\mathbf{C}_{\alpha ,T}}\), then the solution of the proposed problem (1) is HU stable. Furthermore, if \(\varPhi (\varepsilon )=\varepsilon \), then the solution is GHU stable. □
Lemma 5
For the BVP (9), the following inequality holds:
Proof
We omit the proof as it is straightforward and may be derived like Lemma 4 by using Remark 2. □
Theorem 5
Under the assumption\((A_{1})\)together with Lemma 5, the solution of the proposed problem (1) is HUR and GHUR stable if the condition\(1\neq \mathbf{C}_{\alpha ,T}\)holds.
Proof
One can easily derive the proof like the proof of Theorem 4. □
5 Examples
In this section, we discuss our result with the help of the following examples.
Example 1
Consider the Dirichlet BVP
clearly \(T=1\) and \(f(t,\omega (t),\omega ( \frac{1}{3} t)) = \frac{\mathit{e}^{-t}}{10}+ \frac{\mathit{e}^{-\sin (t)}}{40(\omega (t)+1)}+ \frac{\mathit{e}^{t-\cos (t)}}{40[\omega (\frac{t}{3})+2]}\) is a continuous function ∀ \(t\in [0, 1]\). Furthermore, let \(\omega ,\bar{\omega }\in C[J, \mathrel{R}]\), then one has
So we have \(K_{f}=\frac{1}{40}\), and \(\alpha =\frac{3}{2}\). Furthermore,
Here, \(l_{f}=\frac{1}{10}\), \(m_{f}=\frac{1}{40}\), \(n_{f}=\frac{1}{40}\) and \(T=1\).
Now
Therefore, the conditions of Theorem 2 are satisfied. Thus, the problem (11) has a unique solution. Furthermore,
Hence, the conditions of Theorem 3 also hold. Therefore, (11) has at least one solution. Furthermore, proceeding to verify the stability results, we see that \(\mathbf{C}_{\alpha , T}=0.1322\neq 1\), thus the solution of the mentioned problem (11) is HU stable and consequently GHU stable. Analogously, the conditions of HUR and GHUR stability may be easily derived by taking a nondecreasing function \(\varPsi (t)=t \in [0, 1]\).
Example 2
Consider the inhomogeneous BVP
\(f(t,\omega (t),\omega (\frac{1}{2}t))= \frac{t^{2}+\mathit{e}^{t}}{15}+ \frac{\mathit{e}^{-\pi t}\cos (t)}{50+\omega (t)} + \frac{\mathit{e}^{\frac{-t}{2}}}{50+\omega (\frac{t}{2})}\) is a continuous function for all \(t\in [0, 1]\). Furthermore, let \(\omega ,\bar{\omega }\in C[J, \mathrel{R}]\), then we have
Thus from the above, one has \(L_{f}=\frac{1}{50}\) and \(\alpha =\frac{4}{3}\). Moreover, we have
where \(l_{f}=\frac{1}{15}\), \(m_{f}= n_{f}=\frac{1}{50}\) and \(T=1\). We obtain
Therefore, the conditions of Theorem 2 are satisfied. Thus, the problem (12) has a unique solution. Furthermore,
Hence, the conditions of Theorem 3 also hold. Therefore, (12) has at least one solution. Furthermore, we observed that \(\mathbf{C}_{\alpha , T}\neq 1\), hence the solution of the mentioned problem (12) is HU stable and consequently GHU stable. Along the same line, taking a nondecreasing function \(\varPsi (t)=1+t \), the condition of HUR and GHUR stability can be derived for the solution of (12).
6 Conclusion
We have successfully attained several essential conditions for the existence and stability theory for a class of BVPs involving \(ABC\) fractional derivative. By classical fixed point theory like Banach contraction and Krasnoselskii’s fixed point theorems, the required results have been established. Furthermore, on using nonlinear analysis some adequate results for different kinds of HU stability have been developed. Providing pertinent examples, the results have been justified.
References
Ishteva, M.K.: Properties and application of the Caputo Fractional operator. Dept. Math. Univ. Karlsruhe (2005)
Zhou, Y.: Basic Theory of Fractional Differential Equations. World Scientific, Singapore (1964)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations, Wiley-Interscience Publications. Wiley, New York (1993)
Podlubny, I.: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)
Caputo, M.: Linear models of dissipation whose Q is almost frequency independent. Geophys. J. Int. 13, 529–539 (1967)
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Kilbas, A.A., Marichev, O.I., Samko, S.G.: Fractional Integrals and Derivatives. Gordon & Breach, Yverdon (1993)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Lakshmikantham, V., Leela, S., Vasundhara, J.: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)
Wu, R.C., Hei, X.D., Chen, L.P.: Finite-time stability of fractional-order neural networks with delay. Commun. Theor. Phys. 60, 189–193 (2013)
Buhmann, M., Iserles, A.: Stability of the discretized pantograph differential equation. Math. Comput. 60(202), 575–589 (1993)
Cao, J., Lu, J.: Adaptive synchronization of neural networks with or without time-varying delay. Chaos 16(1), 013133 (2006)
Magin, R.L.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)
Tunç, C., Golmankhaneh, A.K., Branch, U.: On stability of a class of second alpha-order fractal differential equations. AIMS Math. 5(3), 2126–2142 (2020)
Khan, R.A., Shah, K.: Existence and uniqueness of solutions to fractional order multi-point boundary value problems. Commun. Appl. Anal. 19, 515–526 (2015)
Atangana, A., Baleanu, D.: New fractional derivatives with nonlocal and non-singular kernel. Theor. Appl. Heat Transf. Model, Therm. Sci. 20, 763–769 (2016)
Djida, J.D., Atangana, A., Area, I.: Numerical computation of a fractional derivative with non-local and non-singular kernel. Math. Model. Nat. Phenom. 12(3), 4–13 (2017)
Algahtani, O.: Comparing the Atangana–Baleanu and Caputo–Fabrizio derivative with fractional order Allen Cahn model. Chaos Solitons Fractals 89, 552–559 (2016)
Trigeassou, J.C., et al.: A Lyapunov approach to the stability of fractional differential equations. Signal Process. 91(3), 437–445 (2011)
Lijun, G., Wang, D., Wang, G.: Further results on exponential stability for impulsive switched nonlinear time-delay systems with delayed impulse effects. Appl. Math. Comput. 268, 186–200 (2015)
Stamova, I.: Mittag-Leffler stability of impulsive differential equations of fractional order. Q. Appl. Math. 73(3), 525–535 (2015)
Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1940)
Tunç, C., Biçer, E.: Hyers–Ulam–Rassias stability for a first order functional differential equation. J. Math. Fund. Sci. 47(2), 143–153 (2015)
Ulam, S.M.: Problems in Modern Mathematics. Wiley, New York (1940)
Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1960)
Hristova, S., Tunç, C.: Stability of nonlinear Volterra integro-differential equations with Caputo fractional derivative and bounded delays. Electron. J. Differ. Equ. 30(1), 1 (2019)
Ali, A., Shah, K., Abdeljawad, T.: Study of implicit delay fractional differential equations under anti-periodic boundary conditions. Adv. Differ. Equ. 2020(1), 1 (2020)
Coronel-Escamilla, A., Gómez-Aguilar, J.F.: A novel predictor–corrector scheme for solving variable-order fractional delay differential equations involving operators with Mittag-Leffler kernel. Discrete Contin. Dyn. Syst., Ser. S 13(3), 561–574 (2020)
Balachandran, K., Kiruthika, S., Trujillo, J.J.: Existence of solution of nonlinear fractional pantograph equations. Acta Math. Sci. 33(3), 712–720 (2013)
Tohidi, E., Bhrawy, A.H., Erfani, K.: A collocation method based on Bernoulli operational matrix for numerical solution of generalized pantograph equation. Appl. Math. Model. 37(6), 4283–4294 (2013)
Abdeljawad, T.: A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel. J. Inequal. Appl. 2017, 130 (2017)
Burton, T.A.: A fixed point theorem of Krasnoselskii. Appl. Math. Lett. 11, 85–88 (1998)
Acknowledgements
All authors are very thankful to the reviewers for their useful suggestions. The second author would like to thank Prince Sultan University for funding this research work.
Availability of data and materials
Data sharing is not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
Prince Sultan University will provide funding to support this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
Author information
Authors and Affiliations
Contributions
All authos equally contributed to this manuscript and approved the final version.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Ali, G., Shah, K., Abdeljawad, T. et al. On existence and stability results to a class of boundary value problems under Mittag-Leffler power law. Adv Differ Equ 2020, 407 (2020). https://doi.org/10.1186/s13662-020-02866-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02866-9