Abstract

The conformable derivative and its properties have been recently introduced. In this research work, we propose and prove some new results on the conformable calculus. By using the definitions and results on conformable derivatives of higher order, we generalize the theorems of the mean value which follow the same argument as in the classical calculus. The value of conformable Taylor remainder is obtained through the generalized conformable theorem of the mean value. Finally, we introduce the conformable version of two interesting results of classical multivariable calculus via the conformable formula of finite increments.

1. Introduction

The history of fractional calculus goes back to the late seventeenth century when L’Hospital proposed the fractional-order derivative. With the introduction of fractional calculus, various newly proposed definitions have been introduced. Some of the common definitions are the Caputo, Riesz, Riesz-Caputo, and Riemann-Liouville fractional ones (refer to [1, 2] for more information about fractional definitions, and see [3, 4] for research studies on the mathematical analysis of fractional calculus). A new local-type fractional definition [5] of derivative and integral has been recently proposed by Khalil et al. in [6]. Conformable derivative is basically considered as a natural extension of the classical derivative that satisfies the properties of usual derivative. In addition, conformable derivative is a generalized version of q-derivative or fractal derivative (refer to the introduction section in [7] for discussion about this relationship). Almeida et al. (2016) discussed in [8] that conformable derivative is an interesting topic of research that deserves to be studied further. In addition, both Zhao & Luo (2017) and Khalil et al. (2019) presented the physical and geometrical meaning of conformable derivative in [9, 10], respectively. Tuan et al. [11] investigated the mild solutions’ existence and regularity of the proposed initial value problem for time diffusion equation in the sense of conformable derivative. This main goal of this newly introduced definition is to overcome the difficulties associated with obtaining the solutions for the equations formulated in the sense of nonlocal fractional definitions [12]. Motivated by the introduction of this definition, several research works have been conducted on the mathematical analysis of functions of a real variable formulated in the sense of conformable definition such as chain rule, mean value theorem, Rolle’s theorem, power series expansion, and integration by parts formulas [6, 1214]. The conformable partial derivative of the order of the real-valued functions of several variables and the conformable gradient vector has been defined as well as the conformable Clairaut’s theorem for partial derivative has also been studied in [15]. The conformable Jacobian matrix has been proposed in [16], and the chain rule for multivariable conformable derivative has also been proposed. The conformable Euler’s theorem on homogeneous has been successfully defined in [17].

Furthermore, many research studies have been conducted on the theoretical and practical elements of conformable differential equations shortly after the proposition of this new definition [5, 7, 12, 1835]. Conformable derivative has also been applied in modeling and investigating phenomena in applied sciences and engineering [12] such as the nonlinear Boussinesq equation’s travelling wave solutions [36], the coupled nonlinear Schrödinger equations [34] and regularized long wave Burgers equation [35] deterministic and stochastics forms, the approximate long water wave equation’s exact solutions [37], the (1 + 3)-Zakharov-Kuznetsov equation with power-law nonlinearity analytical and numerical solutions [38], the (2 + 1)-dimensional Zoomeron equation [39, 40] and 3rd-order modified KdV equation analytical solutions [39], and the exact solutions for Whitham-Broer-Kaup equation’s three various models in shallow water [41].

The paper is organized as follows: The main concepts of the conformable calculus are presented in the next section. After that, with the help of the definitions and results on conformable derivatives of higher order, the theorems of the mean value are generalized which follow the same argument as in the classical calculus. We also introduce the value of conformable Taylor remainder via the generalized conformable theorems of the mean value. Finally, we characterize the functions of several variables in which one of their conformable partial derivatives is null, and we also obtain the first conformable formula of finite increments.

2. Basic Definitions and Tools

Definition 1. Given a function . Then, the conformable derivative of order [6] is defined byfor all , . If is differentiable in some , , and exists, then it is defined as

Theorem 1 (see [6]). If a function is -differentiable at , , then is continuous at .

Theorem 2 (see [6]). Let and let be differentiable at a point . Then, we have(i), .(ii), .(iii), for all constant functions .(iv).(v).(vi)If, in addition, is differentiable, then .

 The conformable derivative of certain functions using the above definition is given as follows:(i).(ii).(iii).(iv), .

Definition 2. The (left) conformable derivative starting from of a given function of order [13] is defined byWhen , it is expressed as . If is differentiable in some , then the following can be defined as

Theorem 3. Chain Rule (see [13]). Assume be (left) differentiable functions, where . By letting , is differentiable for all and ; therefore, we have the following:If , then we obtain

Theorem 4. Rolle’s Theorem (see [6]). Let , , and be a given function that satisfies(i)- is continuous on .(ii) is -differentiable on .(iii)-.

Then, there exists such that .

Corollary 1. (see [14]). Let , , and be a given function that satisfies(i)- is differentiable on .(ii)- for certain .

Then, there exists , such that .

Theorem 5. Mean Value Theorem (see [6]). Let , , and be a given function that satisfies(i) is continuous on .(ii)- is differentiable on .

Then, there exists , such that

Theorem 6 (see [14]). Let , , and be a given function that satisfies(i) is continuous on .(ii)- is differentiable on .

If for all , then is a constant on .

Corollary 2 (see [14]). Let , , and be functions such that for all . Then, there exists a constant such that

Theorem 7 Extended Mean Value Theorem (see [14]). Let , , and be functions that satisfy(i) are continuous on .(ii) are differentiable on .(iii) for all .(iv).(v) and not annulled simultaneously on .

Then, there exists , such that

Remark 1. Observe that Theorem 5 is a special case of this theorem for .

Theorem 8. (see [14]). Let , , and be a given function that satisfies(i) is continuous on .(ii) is -differentiable on .

Then, we have the following:(i)If for all , then is increasing on.(ii)If for all , then is decreasing on.

Theorem 9 (see [13]). Assume is infinitely differentiable function, for some at the neighborhood of a point . Then, has the following fractional power series expansion:

Here, means the application of the conformable derivative times.

Finally, the conformable partial derivative of a real-valued function with several variables is defined as follows.

Definition 3. (see [15, 16]). Let be a real-valued function with variables and be a point whose component is positive. Then, the limit can be expressed as followsif the above limit exists, then we have the conformable partial derivative of of the order at , denoted by .

3. Main Results

From the definitions and results on conformable derivatives of higher order, the theorems of the mean value are easily generalized which follow the same argument as in the classical calculus [42].

Theorem 10. Let , , and be functions that satisfy(i)-.(ii)- and exist for all in .In addition, the following equations are assumed:

Then, there exists , such that

Proof. Consider the following function:Since is continuous on , differentiable on , and , then by Theorem 4, there exists such thatLet us now consider the following function:which is continuous on , differentiable on , and it is null at the extremes of interval , by virtue of the above equation and hypothesis. Then, by Theorem 4, there exists such thatSo, we reiterate this process until we obtain the following equality:Then, we consider functions: and , that are continuous on , and differentiable on . So, by Theorem 7, there exists withThis completes the proof of the theorem.

Remark 2. The generalized conformable formula of extended mean value theorem is derived from previous theorem by taking .

Theorem 11. Let , , and be a function that satisfies(i) is continuous on .(ii)- is times differentiable on .(iii)- exist for all in .In addition, the following equations are assumed:

Then, there exists , such that

Remark 3. A generalization of the conformable formula of mean value of Cauchy is also obtained.

Theorem 12. Let , , , and be functions that satisfy(i) are continuous on .(ii) are times differentiable on .(iii) and exist for all in .(iv)- .In addition, the following equations are assumed:

Then, there exists , such that

Proof. Using the formula (21) and the fact that , it follows that .
Dividing the two members of equalityby the product , the desired result is obtained.
We end this section by obtaining the value of conformable Taylor remainder through the generalized conformable theorems of the mean value.

Definition 4. Let an open set , , , and be a function that satisfies(i)- is times differentiable on a neighborhood of a point .(ii)- exists.Then, the conformable Taylor remainder is defined by

Theorem 13. Let an open set , , , and . If is times differentiable on , Then, there exists , such thatwhere is called the conformable Lagrange form of the remainder.

Proof. By applying Theorem 12 to a function and using the fact that and for , our result is followed.

4. Applications to Multivariable Calculus

In this section, we will introduce the conformable version of two interesting classical results on functions of several variables [42]. Using the conformable formula of finite increments [16], these results will be proven.

Theorem 14. Let , be a real-valued function defined in an open and convex set , such that for all , each . If the conformable partial derivative of with respect to exists and is null on , then for any points , for .

Proof. Since is a convex set and , all points of the line segment are also in , so the function is defined in the interval of endpoints and :This function is differentiable on the above interval, and its derivative at a point is given byTherefore, by applying Theorem 5, there is a point between and , such thatSince point ; therefore, , and the above equality leads tothen , for , as we wanted to prove.
Finally, we introduce the first formula of finite increments for functions of several variables, involving conformable partial derivatives.

Theorem 15. Let , be points (note that and ), and line segment , for . Let , and be a real-valued function defined in an open set containing line segments , such that for all , each . If the conformable partial derivative of with respect to exists on , then there is a point between and , for , such that

Proof. First, we will express the difference as follows:Let us now consider, for , the real function of the real variable , defined on the closed interval of endpoints and , bySince the conformable partial derivative of with respect to exists on and , then is differentiable on the above interval, and its derivative at a point , is given byTherefore, by applying Theorem 5, there is a point between and , such thatThen, it is verified thatBy taking the above expression to equation (32), our result is followed.

5. Conclusion

In this research work, some new results regarding the conformable mean value theorems have been proposed. As in classical calculus, higher-order derivatives have been applied to generalize the mean value theorems. Likewise, the Lagrange expression has been established for the Taylor conformable remainder. In the context of the calculus of functions of several variables, according to the conformable mean value theorem, the functions in which one of its conformable partial derivatives is null have been characterized, and the first conformable formula of finite increments has been obtained. The findings of this investigation indicate that the results obtained in the sense of the conformable derivative coincide with the results obtained in the classical case of integer order. Finally, our obtained results, in addition to a theoretical interest, show great potential to be applied in a future research work concerning various applications in the field of natural sciences and engineering.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.