A remark on local fractional calculus and ordinary derivatives

Abstract In this short note we present a new general definition of local fractional derivative, that depends on an unknown kernel. For some appropriate choices of the kernel we obtain some known cases. We establish a relation between this new concept and ordinary differentiation. Using such formula, most of the fundamental properties of the fractional derivative can be derived directly.


Introduction
Fractional calculus is a generalization of ordinary calculus, where derivatives and integrals of arbitrary real or complex order are defined. These fractional operators may model more efficiently certain real world phenomena, especially when the dynamics is affected by constraints inherent to the system. There exist several definitions for fractional derivatives and fractional integrals, like the Riemann-Liouville, Caputo, Hadamard, Riesz, Grünwald-Letnikov, Marchaud, etc. (see e.g., [14,17] and references therein). Although most of them are already well-studied, some of the usual features concerning the differentiation of functions fail, like the Leibniz rule, the chain rule, the semigroup property, to name a few. As it was mentioned in [6], "These definitions, however, are non-local in nature, which makes them unsuitable for investigating properties related to local scaling or fractional differentiability". Recently, the concept of local fractional derivatives have gained relevance, namely because they kept some of the properties of ordinary derivatives, although they loss the memory condition inherent to the usual fractional derivatives. For example, in [9], a concept similar to the Caputo fractional derivative is presented, but the firstorder derivative f 0 .t / is replaced by another operator: lim !0 .f .x C t / f .x//= ˛; in [12], the local fractional derivative is given by f .˛/ .t / D lim !0 .f .t exp. t ˛/ f .t ///= , and some fundamental properties like the algebraic rules or the mean value theorem are obtained; later, in [3], the same concept of local fractional derivative is considered and an anti-derivative operator is defined, as well some applications to quantum mechanics; in [15,16], the local fractional derivative is defined by where D˛denotes the Riemann-Liouville fractional derivative, and it is proven that the Weierstrass Function is˛-differentiable. One question is what is the best local fractional derivative definition that we should consider, and the answer is not unique. Similarly to what happens to the classical definitions of fractional operators, the best choice depends on the experimental data that fits better in the theoretical model, and because of this we find already a vast number of definitions for local fractional derivatives.

Local fractional derivative
We present a definition of local fractional derivative using kernels. Definition 2.1. Let k W OEa; b ! R be a continuous nonnegative map such that k.t / 6 D 0, whenever t > a. Given a function f W OEa; b ! R and˛2 .0; 1/ a real, we say that f is˛-differentiable at t > a, with respect to kernel k, if the limit exists. The˛-derivative at t D a is defined by if the limit exists.
Consider the limit˛! 1 . In this case, for t > a, we obtain the classical definition for derivative of a function, Our definition is a more general concept, compared to others that we find in the literature. For example, taking k.t/ D t and a D 0, we get the definition from [7,8,10,11,13] (also called conformable fractional derivative); when k.t / D t a, the one from [1,2,18]; for k.t / D t C 1= .˛/, the definition in [4,5].
The following result is trivial, and we omit the proof. Proof. It follows from Of course we can not conclude anything at the initial point t D a, as was discussed before. Combining the two previous results, we have the main result of our paper.

Conclusion
In this short note we show that some of the existent notions about local fractional derivative are very close related to the usual derivative function. In fact, the˛-derivative of a function is equal to the first-order derivative, multiplied by a continuous function. Also, using formula (2), most of the results concerning˛-differentiation can be deduced trivially from the ordinary ones. In the authors opinion, local fractional calculus is an interesting idea and deserves further research, but definitions like (1) are not the best ones and a different path should be followed.