#### Abstract

This paper presents some new formulas and properties of the generalized fractional derivative with non-singular kernel that covers various types of fractional derivatives such as the Caputo–Fabrizio fractional derivative, the Atangana–Baleanu fractional derivative, and the weighted Atangana–Baleanu fractional derivative. These new properties extend many recent results existing in the literature. Furthermore, the paper proposes some interesting inequalities that estimate the generalized fractional derivatives of some specific functions. These inequalities can be used to construct Lyapunov functions with the aim to study the global asymptotic stability of several fractional-order systems arising from diverse fields of science and engineering.

#### 1. Introduction

In the literature, there exist manifold types of fractional derivatives which are used to solve several mathematical and engineering problems as well as to model the dynamics of many systems existing in various fields of science such as mechanics, chemistry, finance, ecology, biology, and control theory. For instance, Caputo and Fabrizio [1] proposed a fractional derivative with non-singular kernel to describe the material heterogeneities and the fluctuations of different scales, which cannot be well described by classical local theories or by fractional models with singular kernel. An extension of [1] was proposed by Atangana and Baleanu [2] by using Mittag-Lefler function with one parameter. Due to the importance of weighted fractional derivatives to solve several types of integral equations with elegant ways, Al-Refai [3] introduced the weighted Atangana–Baleanu fractional operators and he studied their properties. A generalized version of all previous fractional derivative operators with non-singular kernel was recently proposed in [4].

The objective of this study is to establish some properties and formulas of the new generalized fractional derivative introduced in [4] in order to extend several results presented in recent works. To achieve this goal, the remainder of this article is outlined as follows. The next section deals with preliminaries and fractional derivatives of some specific functions. The estimates of the generalized fractional derivatives of these specific functions can be applied to find Lyapunov candidate functions for demonstrating the global stability of many fractional-order systems. Section 3 is devoted to the new formulas and properties of the generalized fractional derivative with non-singular kernel. The paper ends with a conclusion in Section 4.

#### 2. Preliminaries and Fractional Derivatives of Some Specific Functions

In this section, we first recall the definition and special cases of the new generalized fractional derivative with non-singular kernel. After, we present new properties for this fractional derivative that can be used to prove the global dynamics of several fractional-order systems.

*Definition 1 (see [4]). *Let , , and . The new generalized fractional derivative of order of 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 importance of the fractional derivative given in the above definition is the generalization of most cases existing in the literature. These particular cases can be summarized in the following remark.

*Remark 1. *(i)If and , then (1) is reduced to the Caputo–Fabrizio fractional derivative [1] given by(ii)If and , then (1) is reduced to the Atangana–Baleanu fractional derivative [2] given by(iii)If , then (1) is reduced to the weighted Atangana–Baleanu fractional derivative [3] given by

Now, we establish new properties for the generalized fractional derivative. We begin with the following result.

Theorem 1. *Let be a continuous function and be a continuously differentiable function. For any constant c, the new generalized fractional derivative of the function defined bysatisfies the following property:where*

*Moreover, we have the following inequalities:*(i)

*If is a increasing function, then*(ii)

*If is a decreasing function, then*

*Proof. *By using Definition 1, we haveLetThen,Obviously, and . Integrating by parts the last integral, we findSince , we haveNow, we consider the following function:It is clear that . If is a increasing function, then the function is decreasing on the interval and increasing on with . Hence, has the global minimum at . So,Since , we have for all . This proves (i). In the same way, we can easily prove (ii).

Corollary 1. *Let be a continuously differentiable function. Then, for any time , we have*

*Proof. *Applying (i) of Theorem 1 to the function , we getThis completes the proof.

*Remark 2. *Corollary 1 extends the result presented in Lemma 3.1 of [5] for the new generalized fractional derivative. In fact, it suffices to take in inequality (17).

Now, we extend the recent result presented in Lemma 3.2 of [5] by proposing the following corollary.

Corollary 2. *Let be a continuously differentiable function and . Then, for any time , we have*

*Proof. *The application of Theorem 1 (ii) to the function leads to the following:The proof of Corollary 2 is completed.

#### 3. New Formulas and Properties

For simplicity, we denote by . According to [4], we have the following definition.

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

*Remark 3. *The Atangana–Baleanu fractional integral operator is a special case of (21), and it suffices to take and .

Lemma 1. *The fractional derivative can be expressed as follows:**This series converges locally and uniformly in for any , , , , and satisfying the conditions from Definition 1.*

*Proof. *The Mittag-Leffler function is a sum of an entire series. This series converges locally and uniformly in the whole complex plane. Hence, we can rewrite the fractional derivative as follows:This completes the proof.

Theorem 2. *Let , , and . Then,*(i)*.*(ii)*.**This means that the generalized fractional integrals and derivatives are commutative operators.*

*Proof. *First, we prove (i). By applying Lemma 1, we getSince the last expression is symmetric in and and also in and , we easily deduce (i).

For (ii), we haveThis shows (ii).

Theorem 3. *Let , , and . Then,*(i)*.*(ii)*.*

*Proof. *According Definition 2 and Lemma 1, we haveHence,Now, we demonstrate (ii). From Lemma 1, we obtainThus,This completes the proof.

By applying Theorem 3 for , we get the following important result that extends the Newton–Leibniz formula presented in [6, 7].

Corollary 3. *The generalized fractional integral and the generalized fractional derivative satisfy the following Newton–Leibniz formula:*

#### 4. Conclusion

In many fields of science like mathematical biology, the method of constructing Lyapunov functions is often based on quadratic and Volterra-type functions. So, the first aim of this work was to estimate the generalized fractional derivatives of these specific functions. The obtained results extend many elementary lemmas existing in the recent literature for other types of fractional derivatives. Furthermore, the second purpose of this work was to establish a new formula for the generalized fractional derivative in the form of a series of weighted Riemann–Liouville fractional integrals. By means of this formula, various properties of the generalized fractional derivatives and integrals operators have been carefully established. Moreover, the Newton–Leibniz formula has been rigorously extended.

The results presented in this study form a fundamental basis for extending the classical Lyapunov theorems [8–10] and LaSalle’s invariance principle [11] to the case of the new generalized fractional derivative. This issue will be the first direction of our future works.

#### Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

#### Conflicts of Interest

The author declares that he has no conflicts of interest.