Abstract
Differential equations with fractional derivative are being extensively used in the modelling of the transmission of many infective diseases like HIV, Ebola, and COVID-19. Analytical solutions are unreachable for a wide range of such kind of equations. Stability theory in the sense of Ulam is essential as it provides approximate analytical solutions. In this article, we utilize some fixed point theorem (FPT) to investigate the stability of fractional neutral integrodifferential equations with delay in the sense of Ulam-Hyers-Rassias (UHR). This work is a generalized version of recent interesting works. Finally, two examples are given to prove the applicability of our results.
1. Introduction
Fractional calculus (FC) has proved to be an efficient tool in many domains like biology, mechanics, electricity, signal processing, chemistry, economics, polymer rheology, aerodynamics, and other areas of interest problems (see, e.g., [1–8] and the references therein). This is because of the powerful tools (see, e.g., [5]) that are not available in the classical calculus. In particular, FC enable researches to model in an efficient way many complicated real-world problems like COVID-19 (see [9]), HIV (see [10]), Rubella disease (see [11]), Ebola virus (see [12]), and HBV infection (see [13]).
Neutral FDEs (NFDEs) play an essential role in many applications. For instance, NFDEs with delay model have electrical networks containing lossless transmission lines (see, e.g., [14]).
As a consequence of the importance and applications of this class of equations, numerous numerical and approximate tools have been proposed to solve such kind of equations. One of such tools that provide close exact analytical solutions is the theory of stability. Stability theory popped up as a result of Ulam’s famous question (see, e.g., [15]). Various answers have been introduced for Ulam’s problem by many mathematicians. For instance, in 1941, D. H. Hyers (see [15]) presented a positive answer to the Ulam question and the stability problem is called Ulam-Hyers or Hyers-Ulam stability problem. The most important result after Hyers, Aoki, and Bourgin answer (see [16, 17]) was that of Rassias in 1978 (see [18]). The idea of Rassias is a generalization of the result of Hyers. The result introduced by Rassias in [18] is now known as the UHR stability.
During the last seventy years, the stability subject for many kinds of equations has been a common issue of investigations in many directions and there are a lot of articles as well as books published in this subject (see, e.g., [19, 20] for further references). Obloza in 1993 (see [21]) is the first who investigated the Ulam stability of differential equations (see also [22]). Alsina and Ger in 1998 (see [23]) studied the Ulam-Hyers stability (UHS) of the ordinary differential equation and end up with the estimation , where is a solution of the equation, and some is a differentiable mapping satisfying the corresponding differential inequality with some interval . Takahasi et al. in 2002 (see [24]) extended the result of Alsina and Ger. In particular, Takahasi et al. studied the stability of the differential equation in Banach spaces. Miura et al. in 2003 (see [25, 26]) generalized the work of Alsina and Ger to higher order differential equations.
As a consequence of the interesting results presented in this direction, many articles devoted to this subject have been introduced (see, e.g., [27, 28]). For instance, Jung in 2010 (see [29]) used some FPT to study the stability of the equation . It should be remarked that Jung in [29] generalized the work of Alsina and Ger (in [23]) to the nonlinear case. Bojor in 2012 (see [30]) used different assumptions to study the stability of the equation and improved the result of Jung in [29]. Tunç and Biçer in 2015 (see [31]) improved the approach of Jung in [29] for the equation
Huang et al. in 2015 (see [32]) studied the stability of some general form of a nonlinear differential equation. Popa and Pugna in 2016 (see [33]) studied the Hyers-Ulam stability of Euler’s equation. Shen in 2017 (see [34]) introduced Ulam stability results for differential equations on time scales.
Rahim and Akbar in 2018 (see [27]) used a FPT-based approach to study the stability of a delay Volterra integrodifferential equation. Shikhare and Kucche in 2019 (see [35]) employed weakly Picard operator to investigate the UHS of some kind of equations. Furthermore, they obtained stability in the sense of UHR for such kind of equations via Pachpatte’s integral inequalities. Also, Shah and Zada in 2019 (see [36]) used some FPT to investigate the stability of impulsive Volterra integral equation. In 2020, the authors in [37] investigated the stability of some general equation using FPT. In [38], the authors studied the stability of some Caputo fractional differential equations using FPT (see also [39, 40]).
A great number of research articles have been introduced to study the stability of fractional differential equations. For instance, in [41], the authors studied the Ulam stability for some fractional differential equations in complex domain. In [42], Ulam-Hyers stability for Cauchy fractional differential equation in the unit disk is investigated. In [43], the authors investigated the existence of Ulam stability for iterative fractional differential equations based on fractional entropy. In [44], Mittag-Leffler-Ulam stabilities of fractional evolution equations have been introduced. The author in [45] investigated the generalized Ulam-Hyers stability for the following fractional differential equation in a complex Banach space. In [46], the authors investigated Ulam stability for nonlinear Hilfer fractional stochastic differential systems in finite dimensional stochastic setting. In [47], the authors studied the existence of a mild solution and exponential stability for a class of second-order impulsive fractional neutral stochastic differential equations. In [48], the authors employed some fixed point theory to study the existence of mild solution for the analysis of the moment stability of fractional stochastic differential inclusions driven by the Rosenblatt process and Poisson jumps with impulses in a Hilbert space. As far as we know, there is no existing work using the fixed point approach to investigate the stability of fractional neutral integrodifferential equations with delay in the sense of Ulam-Hyers-Rassias (UHR).
The main contributions of our paper are as follows: (1)Investigating the stability of fractional neutral integrodifferential equations with delay in the sense of Ulam-Hyers-Rassias (UHR)(2)Extending some interesting work by adding the neutral term and the fixed point theorem (see [27, 38])
The article is divided into three sections. In the next section, we recall some preliminaries; in Section 3, we present the stability results in UHR sense; in Section 4, we illustrate our results with two examples; and in Section 5, we present the conclusion.
2. Preliminaries
Definition 1 (see [8]). The Hadamard fractional integral of order for a function is defined as provided the integral exists.
Definition 2 (see [8]). The Hadamard derivative of fractional order for a function is defined as
Definition 3 (see [8]). The Riemann-Liouville fractional integral of order for a function is defined as provided the integral exists.
Definition 4. Let , . The Mittag-Leffler function (see, e.g., [36]) is defined as
Remark 1. The function satisfies , where .
Theorem 1 (see [49]). Suppose is a complete metric space and satisfies (with ) for all . Assume that , and . Then, there is a unique with . Moreover,
The goal of the article is to investigate the stability of the solution of the following fractional order differential equations: with initial conditions , where , with , , are given functions.
For any function defined on and any , we denote by the element of defined by with norm .
3. Stability Results
In this section, we present our main results.
Theorem 2. Suppose that , for satisfy
for all and for some .
If satisfies and
for all , where and is a nondecreasing, continuous, positive function, then there is a solution of (9) with , such that
where and , are some positive constants such that
Proof. Consider the metric on by
with for and for and for and for .
We consider the operator such that for , and
for .
Let we have , for all .
For , we get
For , there is such that . Then,
Therefore,
By using the change of variable , we get
Using the inequality (17) and Remark 1, we get
Thus, is contractive.
For , we have .
We have
By using Lemma 2.1 in [50], we get
Hence,
then
Using Theorem 1, there is a solution of (9) such that
so that
for all
The following theorem represents the UHS of (9).
Theorem 3. Suppose that , for satisfy
for all and for some .
If satisfies and
for all , where , then there is a solution of (9) with , such that
where and , are some positive constants such that
Proof. The proof is similar to Theorem 2.
Remark 2. Note that the author in [51] has studied the existence and uniqueness of (9), where he assumes some conditions on .
4. Examples
Example 1. Consider equation (9) for , , , , , and .
We have
Then, and .
Suppose that satisfies and
for all .
Here, and . By Theorem 2 there is a solution of equation (9) and such that
Example 2. Consider equation (9) for , , , , , , , and .
We have
Then, , , and .
Suppose that satisfies and
for all .
Here, . By Theorem 3, there is a solution of equation (9) and such that
5. Conclusion
We managed to utilize some version of Banach FPT to show that according to certain conditions, functions that fulfill some neutral fractional integrodifferential delay equations (NFIDDE) approximately are close in some sense to the exact solutions of such problems. In fact, we present UHR stability results for some NFIDDE. To illustrate our results, we presented two examples. We think that this work can be extended for various types of differential equations. Potential future work could be to invent a new method to obtain such stability results or to investigate the stability of much more complicated differential equations.
Data Availability
No data were used to support this study.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The authors extend their appreciation to the Deanship of Scientific Research at Jouf University for funding this work through research grant no. DSR-2021-03-0217.