This paper aims to study the stability of fractional differential equations involving the new generalized Hattaf fractional derivative which includes the most types of fractional derivatives with nonsingular kernels. The stability analysis is obtained by means of the Lyapunov direct method. First, some fundamental results and lemmas are established in order to achieve the goal of this study. Furthermore, the results related to exponential and Mittag–Leffler stability existing in recent studies are extended and generalized. Finally, illustrative examples are presented to show the applicability of our main results in some areas of science and engineering.

1. Introduction

Fractional differential equations (FDEs) are recently developed in order to describe and model the dynamics of systems having memory or hereditary properties. These types of equations have been used and applied in various areas of science and engineering such as epidemiology [1], cancerology [2], viral immunology [3, 4], and viscoelastic fluid flows [5], as well as adaptive control engineering [6].

It is well known that there are two main methods to analyze the stability of ordinary differential equations (ODEs). The first one is called the Lyapunov indirect method that aims to study the local stability by means of the linearization of a system around its steady state (equilibrium point). The second method called the Lyapunov direct method consists to find or construct an appropriate auxiliary function, named a Lyapunov candidate function. Furthermore, the Lyapunov direct method provides a substantial tool for stability analysis of nonlinear systems. It can be used to determine the global dynamical behaviors of these systems without the need to solve explicitly the solutions of ODEs.

The stability of FDEs has attracted the attention of several researchers. In 2010, Li et al. [7] studied the stability of nonlinear systems of FDEs involving the Caputo fractional derivative with singular kernel [8]. They extended the Lyapunov direct method to the case of FDEs. In the same year, Sadati et al. [9] extended the Mittag–Leffler stability theorem for fractional nonlinear systems of FDEs with delay. The stability of a class of nonlinear systems of FDEs involving the Hadamard fractional derivative [10] was investigated in [11] by using a fractional comparison principle.

The theory of the stability of FDEs involving fractional derivatives with nonsingular kernels is new, and it requires an important development in order to study the dynamical behaviors of several systems available in the literature and using such derivatives. For these reasons, the main purpose of this paper is to extend the Lyapunov direct method for systems of FDEs involving the new generalized Hattaf fractional (GHF) derivative [12], which covers the most famous fractional derivatives with nonsingular kernels existing in the literature such as the Caputo–Fabrizio fractional derivative [13], the Atangana–Baleanu fractional derivative [14], and the weighted Atangana–Baleanu fractional derivative [15].

The main advantage of using the GHF derivative is that it is a nonlocal operator and it has a nonsingular kernel formulated by the Mittag–Leffler function with a parameter different to the order of the fractional derivative. Furthermore, this operator is a weighted fractional derivative which can be used to solve various types of integral equations with elegant ways as in [1618]. On the other hand, the novelties of this article are the study of the stability of FDEs with the new GHF operator by means of the Lyapunov direct method and the extension and generalization of the results related to exponential and Mittag–Leffler stability presented in [7, 19], as well as the establishment of some interesting properties and inequalities of GHF derivative in order to easily prove the Lyapunov stability theorems and construct Lyapunov candidate functions of quadratic-type, which are frequently used for demonstrating the global stability of many fractional order systems.

The outline of this paper is organized as follows. After an introductory part, Section 2 introduces the basic definitions and provides some lemmas and fundamental properties of the GHF derivative with nonsingular kernel in Caputo sense necessary to achieve the objective of this study. Section 3 is devoted to stability analysis. Finally, Section 4 presents some applications of our main results in the field of epidemiology as well as in the fractional linear systems theory.

2. Fundamental Results

In this section of the paper, we present the definitions and provide some fundamental results related to the GHF derivative with nonsingular kernel.

Definition 1 (see [12]). Let , , and . The GHF derivative of order in Caputo sense of the function with respect to the weight function is defined as follows:where , on [a, b], is a normalization function obeying , , and is the Mittag–Leffler function of parameter .
The GHF derivative introduced in the above definition generalizes and extends many special cases available in the literature. For instance, when and , (1) reduced to the Caputo–Fabrizio fractional derivative [13] given byWhen and , (1) reduced to the Atangana–Baleanu fractional derivative [14] given byFurthermore, the weighted Atangana–Baleanu fractional derivative [15], given byis a special case of GHF derivative; it suffices to take .
Considering the importance of weighted fractional derivatives to write and solve many integral equations in an elegant way, the function has been introduced in equation (1). For instance, we consider the following integral equation:where . In terms of the GHF operator, this equation can be written as follows:where , , , , and . Similar to the example of HIV infection presented in [12], the solution of the above integral equation when is given bywhere .
In various areas of science and engineering, the method of constructing Lyapunov functions is often based on quadratic-type functions. So, we provide the following lemma that estimates the GHF derivative of these types of Lyapunov candidate functions.

Lemma 1. Let be a continuously differentiable function and be a symmetric positive definite matrix. Then, for any time , we have

Proof. Similar to [19, 20], we consider the following function:Then,where . Integrating by parts, we obtainSince , we haveThis follows that , for all , and the proof is completed.

Remark 1. It is important to note that the above lemma extends the recent results presented in Lemma 2 of [19] and Corollary 1 of [20]. Moreover, the results presented in Lemma 3.1 of [21] to estimate the Atangana–Baleanu Caputo derivative of quadratic Lyapunov functions is extended to the case of GHF derivative.
For simplicity, denote by . By [12], the generalized fractional integral associated to is given by the following definition.

Definition 2 (see [12]). The generalized fractional integral operator associated to is defined bywhere is the standard weighted Riemann–Liouville fractional integral of order defined

Remark 2. The Atangana–Baleanu fractional integral operator is a particular case of (7), and it suffices to take and .
Now, we recall an important theorem that we will need in the following. This theorem extends the Newton–Leibniz formula introduced in [22, 23].

Theorem 1 (see [20]). Let , , and . Then, we have the following properties:

On the contrary, we need the following results.

Lemma 2. Let . The solution of the following Cauchy problemwith initial boundary condition , is given bywhere and .

Proof. By (11), we haveBy applying Laplace transform and using Theorem 2 in [12], we obtainThen,The passage to the inverse Laplace givesFrom integration by parts, we haveHence,This completes the proof.

Remark 3. By using (12), the solution of (11) can be rewritten as follows:

Corollary 1. Let and be a function satisfying the following inequality:


Proof. From (14), we deduce that there exists a nonnegative function such thatBy applying Lemma 2, we obtainThen,Since and , we easily have (27).

3. Stability Analysis

In this section, we focus on the stability analysis of the fractional differential equations with the GHF derivative.

Consider the following fractional differential nonautonomous equation:where is the state variable and is a continuous locally Lipschitz function and is a domain of containing the origin .

System (31) is said to be autonomous if . In this case, (31) becomes

First, we give some definitions that we will need in the following.

Definition 3. The trivial equilibrium point of (31) is said to be stable if, for each , there exists a such that, for any initial condition satisfying , the solution of (31) satisfies , for all . Furthermore, is said to be asymptotically stable if it is stable and .

Definition 4. A scalar function is called a Lyapunov candidate function of autonomous system (32) if it is a positive definite in a neighborhood of the origin, i.e., and , for all . In addition, a scalar function is a Lyapunov candidate function of nonautonomous system (31) if it is positive definite, i.e., , for all , and if there is a time-invariant function which is positive definite such that , for all .
Also, we introduce the definition of stability in the Mittag–Leffler sense.

Definition 5. The trivial solution of (31) is called Mittag–Leffler stable ifwhere is the initial time, , , , , and is locally Lipschitz on with the Lipschitz constant .

Remark 4. Mittag–Leffler stability generalizes the exponential stability and it implies asymptotic stability.

Theorem 2. Let be an equilibrium point for system (31). Let be a continuously differentiable function and locally Lipschitz with respect to such thatwhere , , and , , and are arbitrary positive constants. Then, is Mittag–Leffler stable. If (34) and (35) hold globally on , then is globally Mittag–Leffler stable.

Proof. From (35) and according to Corollary 1, we deduce thatFrom (34), we obtainwhich leads towhere and . Clearly, and . Since is locally Lipschitz with respect to , we deduce that is locally Lipschitz on . Therefore, the equilibrium is globally Mittag–Leffler stable.

Remark 5. Theorem 2 generalizes the result of the exponential stability presented in Theorem 2 of [19]. Indeed, it suffices to take , , and .

Theorem 3. Let be an equilibrium point for system (31). Let be a continuously differentiable function and locally Lipschitz with respect to such thatwhere , , and , , , , and are arbitrary positive constants. Then, is Mittag–Leffler stable. If (39) and (40) hold globally on , then is globally Mittag–Leffler stable.

Proof. According to (39) and (40), we haveBy applying Corollary 1, we havewhere . By (39), we obtainwhich implies thatwhere . This completes the proof.

Remark 6. Theorem 3 extends the result of the Mittag–Leffler stability presented in Theorem 5.1 of [7] for the GHF derivative with nonsingular kernel. Moreover, the result given in Theorem 4 of [19] for Caputo–Fabrizio fractional derivative is recovered when , , , and .

4. Applications

In this section, we apply the main results obtained in this paper to investigate the stability of the following examples of fractional systems.

Example 1. Consider the following fractional linear system:where is the state variable and .
To establish the stability of (45), we define the Lyapunov candidate function as follows:where is a symmetric positive definite matrix. Hence,where and are the minimum and the maximum eigenvalues of the matrix , respectively. Since is positive definite, we have and .
According to Lemma 1, the GHF derivative of the Lyapunov function along the trajectories of (45) satisfieswhere . It is obvious that is a symmetric matrix. Assume that is a positive definite matrix and let be the minimum of its positive eigenvalues. Then, we haveBy applying Theorem 3, we deduce that the trivial solution of system (45) is globally Mittag–Leffler stable under the condition that is positive definite. This condition is satisfied when is Hurwitz, i.e., all the eigenvalues of have negative real parts.

Example 2. Consider the following fractional epidemic model:where , , and are the susceptible, infected, and recovered individuals at time , respectively. Here, the susceptible individuals are recruited at a constant rate and become infected by effective contact with infected individuals at rate . The natural death rate in all classes is denoted by , while is the death rate due to the disease. Furthermore, is the recovery rate of the infected individuals.
Obviously, the first two equations of (50) do not depend on the variable . Then, model (50) can be rewritten by the following system:As in [24], we assume that the general incidence is continuously differentiable in the interior of and satisfies the following conditions:It is clear that is the disease-free equilibrium of (51), where . Then, the basic reproduction number of (51) is defined as follows:which epidemiologically represents the number of secondary infections produced by a single infected individual throughout the period of infection when all individuals are uninfected. Based on the same technique in [24], we can easily prove that model (51) has another equilibrium when .
Let . Assume that and consider the following Lyapunov function:where . Obviously, is a candidate Lyapunov function. Indeed, we have and , for all . Moreover, we havewhere . Hence,where .
Let with the norm . Then,where . By applying Theorem 2, we conclude that the disease-free equilibrium of (51) is Mittag–Leffler stable in when .

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that he has no conflicts of interest.