Next Article in Journal
On the Dimension of Algebraic-Geometric Trace Codes
Previous Article in Journal
Fractional Schrödinger Equation in the Presence of the Linear Potential
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Approach for Fractional Order Derivatives: Fundamentals and Analytic Properties

Department of Computer Engineering, Faculty of Engineering, İnönü University, 44280 Malatya, Turkey
Mathematics 2016, 4(2), 30; https://doi.org/10.3390/math4020030
Submission received: 25 February 2016 / Revised: 18 April 2016 / Accepted: 21 April 2016 / Published: 4 May 2016

Abstract

:
The rate of change of any function versus its independent variables was defined as a derivative. The fundamentals of the derivative concept were constructed by Newton and l’Hôpital. The followers of Newton and l’Hôpital defined fractional order derivative concepts. We express the derivative defined by Newton and l’Hôpital as an ordinary derivative, and there are also fractional order derivatives. So, the derivative concept was handled in this paper, and a new definition for derivative based on indefinite limit and l’Hôpital’s rule was expressed. This new approach illustrated that a derivative operator may be non-linear. Based on this idea, the asymptotic behaviors of functions were analyzed and it was observed that the rates of changes of any function attain maximum value at inflection points in the positive direction and minimum value (negative) at inflection points in the negative direction. This case brought out the fact that the derivative operator does not have to be linear; it may be non-linear. Another important result of this paper is the relationships between complex numbers and derivative concepts, since both concepts have directions and magnitudes.

Graphical Abstract

1. Introduction

The asymptotic behaviors of functions can be analyzed by velocities or rates of change in functions, while very small changes occur in the independent variables. The concept of rate of change in any function versus change in the independent variables was defined as a derivative, and this concept attracted many scientists and mathematicians such as Newton, l’Hôpital, Leibniz, Abel, Euler, Riemann, etc.
Isaac Newton defined the fundamentals of classical mechanics and this study contains rates of changes of functions [1]. He collected his works in Philosophiæ Naturalis Principia Mathematica, a book that includes geometrical proofs, gravitational force law, and attraction of bodies [1]. He was the first scientist who concerned himself with the concept of derivatives/fluxions. On the other hand, Newton tried to determine the change in length of distance in terms of the velocity of bodies, and the change in velocity of bodies in terms of acceleration. L’Hôpital was a follower of Newton in that he defined the concept of a derivative and generalized this concept. There are other mathematicians who dealt with the concepts of derivatives/fluxions.
The first important and detailed work in differential calculus and differential geometry was done by l’Hôpital [2,3]. L’Hôpital generalized the ideas of Newton through variations on calculus. Leibniz is another scientist who expounded on differential calculus and infinitesimal calculus [4]; he mastered the mathematics of his day and developed his own calculus over the short span of a few years [4]. Newton, l’Hôpital, and Leibniz are not the only mathematicians who dealt with variations of calculus. Some mathematicians tried to explain the ratio between the two displacements of at least two variables [5], since it is important for analyzing the asymptotic behaviors of functions.
The asymptotic behaviors of functions can be regarded as the rates of displacements of functions versus rates of displacement of independent variables—in other words, the rates of movement of functions. The term fluxion indicates motion and the idea of the fluxional calculus developed from the concept that a geometrical magnitude was the result of continuous motion of a point, line, or plane [6]. This motion, speaking of plane curves, could be considered in reference to coordinate axes as the result of two motions, one in the direction of the X-axis and the other in the direction of the Y-axis [6]. The velocity of the X-component and the Y-component were called “fluxions” by Newton [1,6]. The velocity of a point is represented by an equation involving the fluxions x and y [6].
The problems of variation of calculus are attractive to mathematicians and there are several familiar mathematicians who focused their attention on these problems such as Newton, l’Hôpital, Leibniz, Euler, Abel, Caputo, Riemann, Grünwald, Miller, Ross, et al. [7,8,9,10,11].
The problems of variation of calculus and infinitesimal calculus are not solved completely, and there are still open problems in fractional variation of calculus. There are a lot of studies about the fractional variations of calculus [11,12,13,14,15,16,17,18,19,20,21,22]. Euler, Caputo, Riemann, Abel, et al. dealt with fractional variations of calculus and fractional order calculus and systems. Karci defined the fractional order derivative concept in a different way by using indefinite limits and the l’Hôpital rule [23,24,25].
Some popular fractional order derivative methods, such as Euler, Caputo, and Riemann-Liouville, can be summarized as follows.
The Euler method is d n x m d x n = Γ ( m + 1 ) Γ ( m n + 1 ) x m n and its deficiencies can be illustrated for constant and identity functions. Assume that f(x) = cx0 where c is a constant and c R . Assume that n = 1 and α = 1 4 and:
d n x m d x n = Γ ( m + 1 ) Γ ( m n + 1 ) x m n = d 1 4 x 0 d x 1 4 = Γ ( 5 4 ) Γ ( 3 4 ) c x 1 4
The derivative of any constant function is always zero; however, the result of fractional order derivative with respect to the Euler method is different from zero. Assume that f(x) = x, n = 1 and α = 2 3 .
d 2 3 x 1 d x 2 3 = Γ ( 1 + 1 ) Γ ( 1 2 3 + 1 ) x 1 2 3 = Γ ( 2 ) Γ ( 4 3 ) x 1 3 1
The Riemann-Liouville method is for function f(t) D t α a f ( t ) = 1 Γ ( n α ) ( d d t ) n a t f ( v ) d v ( t v ) α n + 1 . The fractional order derivative also can be applied to constant and identity functions with respect to the Riemann-Liouville method.
Assuming that f(x) = cx0, c R , n = 1 and α = 2 3 ,
D t α a f ( t ) = 1 Γ ( n α ) ( d d t ) n a t f ( v ) d v ( t v ) α n + 1 = D t 2 3 a f ( t ) = 1 Γ ( 1 3 ) d d t a t c d v ( t v ) 2 3 = c Γ ( 1 3 ) ( 1 ( t a ) 2 3 ) 0
The obtained result is inconsistent, since the result is a function of x. However, the initial function is a constant function and its derivative is zero, since there is no change in the dependent variable. The same case is valid for identity functions.
D t α a f ( t ) = 1 Γ ( n α ) ( d d t ) n a t f ( v ) d v ( t v ) α n + 1 = D t 2 3 a f ( t ) = 1 Γ ( 1 3 ) d d t a t x d x ( t x ) 2 3 1 + 1 = 1 Γ ( 1 3 ) d d t a t x d x ( t x ) 2 3 = 1 Γ ( 1 3 ) ( 3 a ( t a ) 2 3 + 9 4 ( t a ) 4 3 ) 1
The Caputo method is D t α a C f ( t ) = 1 Γ ( α n ) a t f ( n ) ( v ) d v ( t v ) α + 1 n . The Caputo method does not have inconsistency for constant functions; however, it has inconsistency for identity functions. Assuming that f(x) = x, n = 1 and α = 2 3 ,
D t α a C f ( t ) = 1 Γ ( α n ) a t f ( n ) ( v ) d v ( t v ) α + 1 n = 1 Γ ( 1 3 ) a t d v ( t v ) 2 3 + 1 1 = 1 Γ ( 1 3 ) ( 3 ( t a ) 1 3 ) 1
Due to these deficiencies, there is a need for a new approach to fractional order derivatives; this paper contains such a definition and some important properties of this approach.
This paper is organized as follows. The motivation of this paper will be presented in Section 2. Section 3 illustrates the applications of rational/irrational orders of derivatives. Section 4 is the definition and details of the new approach and puts forth the analytical results of this new approach for the derivative concept. Finally, the paper is concluded in Section 5.

2. Motivation

The rate of change of functions is an important concept to examine in mathematics. For this purpose, the concept of derivatives was identified, because the rate of change of the function gives detailed information about a system modeled by that function, and the nature of the problems or systems. For this purpose, an athlete’s speed may be examined on a ski-jump ramp (Figure 1). The trajectory of movement of an athlete on the ski-jump ramp can be considered as a curve. The rate of change of the athlete’s speed increases until the inflection point (Figure 1); after that point the rate of change of the athlete’s speed will decrease. So, the rate of change has its maximum at the inflection point. The rate of change of the athlete’s speed will be zero at point E (the local extremum point). The rate of change can be determined as shown in Figure 1, where it can be seen that the rate of change has magnitude and direction. The rate of change as seen in Figure 1 is directed to positive, and the situation of rates is seen in Figure 1. This concept and the relationships with complex numbers will be discussed in detail in subsequent sections of this paper.
In order to make this situation more clear and understandable, trigonometric and polynomial functions can be used. To this end, sine and cosine and two polynomial functions can be examined as examples. The rate of change can be regarded as the velocity of function change.
In order to determine the behaviors of rate of change for any function, there will be very small increments/decrements in the independent variable (these increments/decrements are equal) and the response of the dependent variable to these small increments/decrements must be examined. Assume that f(x) = sin(x) and x [ 1 , 2 π ] . This closed interval can be divided into four closed intervals as follows:
I 1 = [ Inf 1 , E 1 ] = [ 0 , π 2 ]   I 2 = [ E 1 , Inf 2 ] = [ π 2 , π ]   I 3 = [ Inf 2 , E 2 ] = [ π , 3 π 2 ]   and   I 4 = [ E 2 , Inf 3 ] = [ 3 π 2 , 2 π ]
The first interval I1 = [Inf1, E1] can be examined for equal-length increments/decrements in the independent variable x such as Δx1 = Δx2 = … = Δxn-1 = Δxn = Δx << 1. The first point is inflection point [Inf1, E1]; assume that yinf1 = sin(xinf1) is valid.
(a)
x inf 1 [ inf 1 , E 1 ] and 1 ≤ in
x1inf1 = xinf1 + Δx
y1inf1 = yinf1 + Δy1inf1 = sin(xinf1 + Δx)
x2inf1 = x1inf1 + Δx = xinf1 + 2Δx
y2inf1 = y1inf1 + Δy2inf1 = yinf1 + Δy1inf1 + Δy2inf1 = sin(x1inf1 + Δx) = sin(xinf1 + 2Δx)
x3inf1 = x2inf1 + Δx = x1inf1 + 2Δx = xinf1 + 3Δx
y3inf1 = y2inf1 + Δy3inf1 = y1inf1 + Δy2inf1 + Δy3inf1 = sin(x2inf1 + Δx) = sin(x1inf1 + 2Δx) = sin(xinf1 + 3Δx)
……
xninf1 = x(n-1)inf1 + Δx = xinf1 + i = 1 n Δ x = x inf 1 + n Δ x
y n inf 1 = sin ( x inf 1 + i = 1 n Δ x ) = sin ( x inf 1 + n Δ x ) .
At this point, the changes in the dependent variable y = f(x) are Δy1inf1, Δy2inf1, …, Δy(n-1)inf1, Δyninf1 and inequalities for these changes are as follows: Δy1inf1 ≥ Δy2inf1 ≥ …. ≥ Δy(n-1)inf1 ≥ Δyninf1 and |Δy1inf1| ≥ |Δy2inf1| ≥ …. ≥ |Δy(n-1)inf1| ≥ |Δyninf1|. So, the velocities of change can be identified as follows:
Δ y 1 inf 1 Δ y 2 inf 1 Δ x Δ y 2 inf 1 Δ y 3 inf 1 Δ x .... Δ y ( n 2 ) inf 1 Δ y ( n 1 ) inf 1 Δ x Δ y ( n 1 ) inf 1 Δ y n inf 1 Δ x 0
(b)
The same argument can be made for the second closed interval Δ x I 2 = [ E 1 , Inf 2 ] , and y = f(x) = sin(xE1).
x1E1 = xE1 + Δx
y1E1 = yE1 + Δy1E1 = sin(xE1 + Δx)
x2E1 = x1E1 + Δx = xE1 + 2Δx
y2E1 = y1E1 + Δy2E1 = yE1 + Δy1E1 + Δy2E1 = sin(x1E1 + Δx) = sin(xE1 + 2Δx)
x3E1 = x2E1 + Δx3 = x1E1 + 2Δx = xE1 + 3Δx
y3E1 = y2E1 + Δy3E1 = y1E1 + Δy2E1 + Δy3E1 = sin(x2E1 + Δx) = sin(x1E1 + 2Δx) = sin(xE1 + 3Δx)
……
xnE1 = x(n-1)E1 + Δx = xE1 + i = 1 n Δ x = x E 1 + n Δ x
y n E 1 = sin ( x E 1 + i = 1 n Δ x ) = sin ( x E 1 + n Δ x ) .
At this point, the changes in the dependent variable y = f(x) are Δy1E1, Δy2E1, …, Δy(n-1)E1, ΔynE1 and inequalities for these changes are as follows: Δy1E1 ≥ Δy2E1 ≥ …. ≥ Δy(n-1)E1 ≥ ΔynE1 and |Δy1E1| ≤ |Δy2E1| ≤ … ≤ |Δy(n-1)E1| ≤ |ΔynE1|. So, the velocities of change can be identified as follows:
Δ y 1 E 1 Δ y 2 E 1 Δ x Δ y 2 E 1 Δ y 3 E 1 Δ x .... Δ y ( n 2 ) E 1 Δ y ( n 1 ) E 1 Δ x Δ y ( n 1 ) E 1 Δ y n E 1 Δ x 0
(c)
The same argument can be done for the second closed interval Δ x I 3 = [ Inf 2 , E 2 ] , and y = f(x) = sin(xinf2).
x1inf2 = xinf2 + Δx
y1inf2 = yinf2 + Δy1inf2 = sin(xinf2 + Δx)
x2inf2 = x1inf2 + Δx2 = xinf2 + 2Δx
y2inf2 = y1inf2 + Δy2inf2 = yinf2 + Δy1inf2 + Δy2inf2 = sin(x1inf2 + Δx) = sin(xinf2 + 2Δx)
x3inf2 = x2inf2 + Δx = x1inf2 + 2Δx = xinf2 + 3Δx
y3inf2 = y2inf2 + Δy3inf2 = y1inf2 + Δy2inf2 + Δy3inf2 = sin(x2inf2 + Δx) = sin(x1inf2 + 2Δx) = sin(xinf2 + 3Δx)
……
xninf2 = x(n-1)inf2 + Δx = xinf2 + i = 1 n Δ x = x inf 2 + n Δ x
y n inf 2 = sin ( x inf 2 + i = 1 n Δ x ) = sin ( x inf 2 + n Δ x ) .
At this point, the changes in the dependent variable y = f(x) are Δy1inf2, Δy2inf2, …, Δy(n-1)inf2, Δyninf2 and inequalities for these changes are as follows: Δy1inf2 ≤ Δy2inf2 ≤ … ≤ Δy(n-1)inf2 ≤ Δyninf2 and |Δy1inf2| ≥ |Δy2inf2| ≥ … ≥ |Δy(n-1)inf2| ≥ |Δyninf2|. So, the velocities of change can be identified as follows:
Δ y 1 inf 2 Δ y 2 inf 2 Δ x Δ y 2 inf 2 Δ y 3 inf 2 Δ x .... Δ y ( n 2 ) inf 2 Δ y ( n 1 ) inf 2 Δ x Δ y ( n 1 ) inf 2 Δ y n inf 2 Δ x 0
(d)
The same argument can be made for the second closed interval Δ x I 4 = [ E 2 , Inf 2 ] , and y = f(x) = sin(xE2).
x1E2 = xE2 + Δx
y1E2 = yE2 + Δy1E2 = sin(xE2 + Δx)
x2E2 = x1E2 + Δx = xE2 + 2Δx
y2E2 = y1E2 + Δy2E2 = yE2 + Δy1E2 + Δy2E2 = sin(x1E2 + Δx) = sin(xE2 + 2Δx)
x3E2 = x2E2 + Δx = x1E2 + 2Δx = xE2 + 3Δx
y3E2 = y2E2 + Δy3E2 = y1E2 + Δy2E2 + Δy3E2 = sin(x2E2 + Δx) = sin(x1E2 + 2Δx) = sin(xE2 + 3Δx)
……
xnE2 = x(n-1)E2 + Δx = xE2 + i = 1 n Δ x = x E 2 + n Δ x
y n E 2 = sin ( x E 2 + i = 1 n Δ x ) = sin ( x E 2 + n Δ x ) .
At this point, the changes in the dependent variable y = f(x) are Δy1E2, Δy2E2, …, Δy(n-1)E2, ΔynE2 and inequalities for these changes are as follows: Δy1E2 ≥ Δy2E2 ≥ … ≥ Δy(n-1)E2 ≥ ΔynE2 and |Δy1E2| ≥ |Δy2E2| ≥ … ≥ |Δy(n-1)E2| ≥ |ΔynE2|. So, the velocities of change can be identified as follows:
Δ y 1 E 2 Δ y 2 E 2 Δ x Δ y 2 E 2 Δ y 3 E 2 Δ x .... Δ y ( n 2 ) E 2 Δ y ( n 1 ) E 2 Δ x Δ y ( n 1 ) E 2 Δ y n E 2 Δ x 0
Similar arguments can be made for one period of a cosine function; this period was divided into four closed intervals as follows:
I 1 = [ E 1 , Inf 1 ] = [ 0 , π 2 ]   I 2 = [ Inf 1 , E 2 ] = [ π 2 , π ]   I 3 = [ E 2 , Inf 2 ] = [ π , 3 π 2 ]   and   I 4 = [ Inf 2 , E 3 ] = [ 3 π 2 , 2 π ]
The very small increments/decrements in independent variable x can be Δx1 = Δx2 = … = Δxn-1 = Δxn = Δx. First of all, the changes in the dependent variable y = f(x) = cos(x) can be examined for the closed interval I1. At this point, the changes in the dependent variable y = f(x) are Δy1E1, Δy2E1, …, Δy(n-1)E1, ΔynE1 and inequalities for these changes are as follows: Δy1E1 ≥ Δy2E1 ≥ … ≥ Δy(n-1)E1 ≥ ΔynE1 and |Δy1E1| ≤ |Δy2E1| ≤ … ≤ |Δy(n-1)E1| ≤ |ΔynE1|. So, the velocities of change can be identified as follows:
Δ y 1 E 1 Δ y 2 E 1 Δ x Δ y 2 E 1 Δ y 3 E 1 Δ x .... Δ y ( n 2 ) E 1 Δ y ( n 1 ) E 1 Δ x Δ y ( n 1 ) E 1 Δ y n E 1 Δ x 0
The very small increments/decrements in independent variable x can be Δx1 = Δx2 = …. = Δxn-1 = Δxn = Δx. The changes in the dependent variable y = f(x) = cos(x) can be examined for the closed interval I2. At this point, the changes in the dependent variable y = f(x) are Δy1inf1, Δy2inf1, …, Δy(n-1)inf1, Δyninf1 and inequalities for these changes are as follows: Δy1inf1 ≤ Δy2inf1 ≤ … ≤ Δy(n-1)inf1 ≤ Δyninf1 and |Δy1inf1| ≥ |Δy2inf1| ≥ … ≥ |Δy(n-1)inf1| ≥ |Δyninf1|. So, the velocities of change can be identified as follows:
Δ y 1 inf 1 Δ y 2 inf 1 Δ x Δ y 2 inf 1 Δ y 3 inf 1 Δ x .... Δ y ( n 2 ) inf 1 Δ y ( n 1 ) inf 1 Δ x Δ y ( n 1 ) inf 1 Δ y n inf 1 Δ x 0
The changes in the dependent variable y = f(x) = cos(x) can be examined for the closed interval I3. At this point, the changes in the dependent variable y = f(x) are Δy1E2, Δy2E2, …., Δy(n-1)E2, ≤ ΔynE2 and inequalities for these changes are as follows: Δy1E2 ≤ Δy2E2 ≤ … ≤ Δy(n-1)E2 ≤ ΔynE2 and |Δy1E2| ≤ |Δy2E2| ≤ … ≤ |Δy(n-1)E2| ≤ |ΔynE2|. So, the velocities of change can be identified as follows:
Δ y 1 E 2 Δ y 2 E 2 Δ x Δ y 2 E 2 Δ y 3 E 2 Δ x .... Δ y ( n 2 ) E 2 Δ y ( n 1 ) E 2 Δ x Δ y ( n 1 ) E 2 Δ y n E 2 Δ x 0
The changes in the dependent variable y = f(x) = cos(x) can be examined for the closed interval I4. At this point, the changes in the dependent variable y = f(x) are Δy1inf2, Δy2inf2, …, Δy(n-1)inf2, Δyninf2 and inequalities for these changes are as follows: Δy1inf2 ≥ Δy2inf2 ≥ … ≥ Δy(n-1)inf2 ≥ Δyninf2 and |Δy1inf2| ≥ |Δy2inf2| ≥ … ≥ |Δy(n-1)inf2| ≥ |Δyninf2|. So, the velocities of change can be identified as follows:
Δ y 1 inf 2 Δ y 2 inf 2 Δ x Δ y 2 inf 2 Δ y 3 inf 2 Δ x .... Δ y ( n 2 ) inf 2 Δ y ( n 1 ) inf 2 Δ x Δ y ( n 1 ) inf 2 Δ y n inf 2 Δ x 0

3. Applications of Rational/Irrational Orders

The theoretical information given in Section 2 can be verified by applications of trigonometric and polynomial functions. To this end, sine, cosine, and increasing and decreasing polynomial functions are selected. These functions are sin(x) for x [ 0 , 2 π ] , cos(x) for x [ 0 , 2 π ] , x3 − 7x2 for x [ 1000 , 1000 ] and −x3 − 7x2 for x [ 1000 , 1000 ] .
Figure 2 and Figure 3 show the rates of changes for sine functions and the obtained results support the claims of Figure 1. The red circles in both figures depict the inflection points. Figure 4 and Figure 5 depict the same cases for the cosine function. In the case of Figure 3 and Figure 5, while power is equal to 1, the rate of change is the same as an ordinary derivative. The domains of sine and cosine functions were determined as a period of functions. The inflection points for sine function are {(0, 0), (0, π), (0, 2π)} and large changes occur at these points for sine function (Figure 2 and Figure 3). The inflection points for cosine function are {(π/2, 0), (3π/2, 0} and large changes occur at these points for cosine function (Figure 4 and Figure 5).
The same idea can be argued for polynomial functions, specifically functions f(x) = x3 − 7x2 for x [ 1000 , 1000 ] and f(x) = −x3 − 7x2 for x [ 1000 , 1000 ] . The domains for these functions were selected to cover the inflection points and extremum points. The inflection point for f(x) = x3 − 7x2 is (7/3, 1372/27); it is illustrated by a red circle. The inflection point for f(x) = −x3 − 7x2 is (−7/3, −686/27); it is also illustrated by a red circle. The black diamond points are extremum points for both functions. The approach in Section 2 was verified by applications for polynomials as seen in Figure 6, Figure 7, Figure 8 and Figure 9.
A similar case can be considered for negative order, and to this end, sine function was selected for illustration. Figure 10 illustrates that in the case of negative orders, the same comments can be made for fractional order derivatives. The negative order reverses the direction of the increase/decrease, so the inequalities in Section 2 can be rephrased.

4. Analytical Approach and Results

The meaning of derivative is the rate of change or velocity of change in the dependent variable versus the changes in the independent variables [23,24,25]. Thus, the derivative of f(x) = cx0 is:
lim h 0 f ( x + h ) f ( x ) ( x + h ) x = lim h 0 c c h = 0
In the case of an identity function, it is:
lim h 0 f ( x + h ) f ( x ) ( x + h ) x = lim h 0 ( x + h ) x ( x + h ) x = 1
So, the definition for rational/irrational order derivative can be considered as follows.
Definition 1. 
f(x): R → R is a function, α R and the rational/irrational order derivative can be considered as follows:
f ( α ) ( x ) = lim h 0 f α ( x + h ) f α ( x ) ( x + h ) α x α
Before handling applications, the new definitions for rational/irrational order derivatives must be rephrased. Definition 1 is a classical definition of derivative, and it has an indefinite limit such that 0 0 , while h = 0. In this case, Definition 1 can be rephrased as seen in Definition 2.
Definition 2. 
Assume that f(x): R → R is a function, α R and L(.) is a l’Hôpital process. The rational/irrational order derivative of f(x) is:
f ( α ) ( x ) = lim h 0 L ( f α ( x + h ) f α ( x ) ( x + h ) α x α ) = lim h 0 d ( f α ( x + h ) f α ( x ) ) d h d ( ( x + h ) α x α ) d h = f ( x ) f α 1 ( x ) x α 1
The new definition of rational/irrational order derivative (Definition 2) can be applied to some specific functions such as constant, identity, sine, and cosine functions. The velocity of change for a constant function is zero whatever the independent variable changes. The velocity of change for an identity function is 1 whatever the order of derivative and change of independent variable. The derivatives of sine, cosine, and polynomial functions for different orders are illustrated in Figure 2, Figure 3, Figure 4, Figure 5, Figure 6, Figure 7, Figure 8 and Figure 9.
These results demonstrated that the new definition obeys velocities of change of functions in extremum points, inflection points, etc.
The comments and descriptions in Section 2 can be supported with analytical results. The velocities of change of any functions can be expressed by derivatives. The point of this study is to analyze the powers of derivative with respect to all real powers.
Theorem 4.1. 
Assume that f(x) is any function such that f(x): R → R, and α1, α2, …, α n R + . Let f(x) be a positive, monotonically increasing/decreasing function in which the following conditions hold:
(a) 
If α1, α2, …, α n R + , α1 ≤ α2 ≤ … ≤ αn and f(x) is positive and monotonically increasing, then f ( α 1 ) ( x ) f ( α 2 ) ( x ) ..... f ( α n 1 ) ( x ) f ( α n ) ( x ) .
(b) 
If α1, α2, …, α n R + , α1 ≤ α2 ≤ … ≤ αn, and f(x) is positive and monotonically decreasing, then f ( α 1 ) ( x ) f ( α 2 ) ( x ) ..... f ( α n 1 ) ( x ) f ( α n ) ( x ) .
Proof. 
(a)
f(x) is a monotonically increasing function, so f(xi) ≤ f(xj) for xixj, x i , x j R . Then f α i ( x k + h ) f α j ( x k + h ) and f α i ( x k ) f α j ( x k ) where 1 ≤ i < jn, k is any index, αi, αj are two constants and αi ≤ αj. This case implies that f ( α i ) ( x k + h ) f ( α i ) ( x k ) f α j ( x k + h ) f ( α j ) ( x k ) and ( x k + h ) α i x k α i ( x k + h ) α j x k α j . So, this implies the following quotient:
lim h 0 L ( f α i ( x k + h ) f α i ( x k ) ( x k + h ) α i x k α i ) lim h 0 L ( f α j ( x k + h ) f α j ( x k ) ( x k + h ) α j x k α j )
This implies the following important relations.
Step 1. 
Assuming that n = 2, there are two rational/irrational powers of functions such as α1, α 2 R + , α1 ≤ α2. Then:
lim h 0 L ( f α 1 ( x k + h ) f α 1 ( x k ) ( x k + h ) α 1 x k α 1 ) lim h 0 L ( f α 2 ( x k + h ) f α 2 ( x k ) ( x k + h ) α 2 x k α 2 )
Step 2. 
Assuming that there are n − 1 rational/irrational powers of rates of change, there are n − 1 rational/irrational powers of functions such as α1, α2, …, α n 1 R + , α1 ≤ α2… ≤ αn-1. Then:
lim h 0 L ( f α 1 ( x k + h ) f α 1 ( x k ) ( x k + h ) α 1 x k α 1 ) lim h 0 L ( f α 2 ( x k + h ) f α 2 ( x k ) ( x k + h ) α 2 x k α 2 ) ... lim h 0 L ( f α n 1 ( x k + h ) f α n 1 ( x k ) ( x k + h ) α n 1 x k α n 1 )
Step 3. 
Assuming that α1, α2, …, α n R + , α1 ≤ α2 ≤ … ≤ αn, the following inequality holds:
f ( n 1 ) ( x ) = lim h 0 L ( f α n 1 ( x k + h ) f α n 1 ( x k ) ( x k + h ) α n 1 x k α n 1 ) lim h 0 L ( f α n ( x k + h ) f α n ( x k ) ( x k + h ) α n x k α n ) = f ( n ) ( x ) .
This means that f ( α n 1 ) ( x ) f ( α n ) ( x ) and f ( α i ) ( x ) f ( α n ) ( x ) for 1 ≤ in − 1.
(b)
f(x) is a monotonically decreasing function, so f(xi) ≥ f(xj) for xixj, x i , x j R . Then f α i ( x k + h ) f α j ( x k + h ) and f α i ( x k ) f α j ( x k ) where 1 ≤ i < jn, k is any index, αi, αj are two constants and αi ≤ αj. This case implies that f ( α i ) ( x k + h ) f ( α i ) ( x k ) f α j ( x k + h ) f ( α j ) ( x k ) and ( x k + h ) α i x k α i ( x k + h ) α j x k α j . So, this implies the following quotient:
lim h 0 L ( f α i ( x k + h ) f α i ( x k ) ( x k + h ) α i x k α i ) lim h 0 L ( f α j ( x k + h ) f α j ( x k ) ( x k + h ) α j x k α j )
This implies the following important relations.
Step 1. 
Assuming that n = 2, there are two rational/irrational powers of functions such as α1, α 2 R + , α1 ≤ α2. Then:
lim h 0 L ( f α 1 ( x k + h ) f α 1 ( x k ) ( x k + h ) α 1 x k α 1 ) lim h 0 L ( f α 2 ( x k + h ) f α 2 ( x k ) ( x k + h ) α 2 x k α 2 )
Step 2. 
Assuming that there are n − 1 rational/irrational powers of rates of changes, then there are n − 1 rational/irrational powers of functions such as α1, α2, …, α n 1 R + , α1 ≤ α2…. ≤ αn-1. Then:
lim h 0 L ( f α 1 ( x k + h ) f α 1 ( x k ) ( x k + h ) α 1 x k α 1 ) lim h 0 L ( f α 2 ( x k + h ) f α 2 ( x k ) ( x k + h ) α 2 x k α 2 ) ... lim h 0 L ( f α n 1 ( x k + h ) f α n 1 ( x k ) ( x k + h ) α n 1 x k α n 1 )
Step 3. 
Assuming that α1, α2, …, α n R + , α1 ≤ α2 ≤ … ≤ αn, the following inequality holds:
f ( n 1 ) ( x ) = lim h 0 L ( f α n 1 ( x k + h ) f α n 1 ( x k ) ( x k + h ) α n 1 x k α n 1 ) lim h 0 L ( f α n ( x k + h ) f α n ( x k ) ( x k + h ) α n x k α n ) = f ( n ) ( x )
This means that f ( α n 1 ) ( x ) f ( α n ) ( x ) and f ( α i ) ( x ) f ( α n ) ( x ) for 1 ≤ in − 1.
Theorem 4.2. 
Assume that f(x) is any function such that f(x): R → R, and α1, α2, …, α n R . Let f(x) be a positive, monotonically increasing/decreasing function in which the following conditions hold:
(a) 
If α1, α2, …, α n R , α1 ≥ α2 ≥ … ≥ αn and f(x) is positive and monotonically increasing, then f ( α 1 ) ( x ) f ( α 2 ) ( x ) ... f ( α n 1 ) ( x ) f ( α n ) ( x ) .
(b) 
If α1, α2, …, α n R , α1 ≥ α2 ≥ … ≥ αn, and f(x) is positive and monotonically decreasing, then f ( α 1 ) ( x ) f ( α 2 ) ( x ) ..... f ( α n 1 ) ( x ) f ( α n ) ( x ) .
Proof. 
The proof can be handled in two steps: increasing function and decreasing function.
(a)
f(x) is a positive, monotonically increasing function, so f(xi) ≤ f(xj) for xixj, x i , x j R , and α1, α 2 R and α1 ≤ α2. Then f α 1 ( x + h ) f α 2 ( x + h ) and f α 1 ( x ) f α 2 ( x ) , |α1| ≥ |α2|.
A = lim h 0 L ( f α 1 ( x i + h ) f α 1 ( x i ) ( x i + h ) α 1 x i α 1 ) = d d h ( f | α 1 | ( x ) f | α 1 | ( x + h ) ) f | α 1 | ( x ) f | α 1 | ( x + h ) d d h x | α 1 | ( x + h ) | α 1 | x | α 1 | ( x + h ) | α 1 | = f ( x ) ( x ) | α 1 | + 1 f | α 1 | + 1 ( x )
and,
B = lim h 0 L ( f α 2 ( x i + h ) f α 2 ( x i ) ( x i + h ) α 2 x i α 2 ) = d d h ( f | α 2 | ( x ) f | α 2 | ( x + h ) ) f | α 2 | ( x ) f | α 2 | ( x + h ) d d h x | α 2 | ( x + h ) | α 2 | x | α 2 | ( x + h ) | α 2 | = f ( x ) ( x ) | α 2 | + 1 f | α 2 | + 1 ( x )
where f | α 1 | + 1 ( x ) f | α 2 | + 1 ( x ) and x | α 1 | + 1 x | α 2 | + 1 . This case implies the following inequality:
A B f ( x ) ( x ) | α 1 | + 1 f | α 1 | + 1 ( x ) f ( x ) ( x ) | α 2 | + 1 f | α 2 | + 1 ( x ) ( x ) | α 1 | + 1 f | α 1 | + 1 ( x ) ( x ) | α 2 | + 1 f | α 2 | + 1 ( x )
This case is for two orders, and it can be enlarged to other orders. For α1 ≥ α2 ≥ … ≥ αn and |α1| ≤ |α2| ≤ … ≤ |αn|,
f ( x ) ( x ) | α 1 | + 1 f | α 1 | + 1 ( x ) f ( x ) ( x ) | α 2 | + 1 f | α 2 | + 1 ( x ) ... ( x ) | α n 1 | + 1 f | α n 1 | + 1 ( x ) ( x ) | α n | + 1 f | α n | + 1 ( x )
(b)
g(x) is a positive, monotonically decreasing function, so g(xi) ≥ g(xj) for xixj, x i , x j R , and α1, α 2 R and α1 ≤ α2. Then g α 1 ( x + h ) g α 2 ( x + h ) and g α 1 ( x ) g α 2 ( x ) , |α1| ≥ |α2|. Assuming that f(x) is a positive, monotonically increasing function, g ( x ) = 1 f ( x ) is a positive, monotonically decreasing function:
A = lim h 0 L ( g α 1 ( x i + h ) g α 1 ( x i ) ( x i + h ) α 1 x i α 1 ) = d d h ( f | α 1 | ( x + h ) f | α 1 | ( x ) ) d d h x | α 1 | ( x + h ) | α 1 | x | α 1 | ( x + h ) | α 1 | = f ( x ) f | α 1 | 1 ( x ) x 3 | α 1 | 1
and,
B = lim h 0 L ( g α 2 ( x i + h ) g α 2 ( x i ) ( x i + h ) α 2 x i α 2 ) = d d h ( f | α 2 | ( x + h ) f | α 2 | ( x ) ) d d h x | α 2 | ( x + h ) | α 2 | x | α 2 | ( x + h ) | α 2 | = f ( x ) f | α 2 | 1 ( x ) x 3 | α 2 | 1
where f | α 2 | 1 ( x ) f | α 1 | 1 ( x ) and x 3 | α 2 | 1 x 3 | α 1 | 1 . This case implies the following inequality.
A B f ( x ) f | α 1 | 1 ( x ) x 3 | α 1 | 1 f ( x ) f | α 2 | 1 ( x ) x 3 | α 2 | 1 f ( x ) f | α 1 | 1 ( x ) x 3 | α 1 | 1 f ( x ) f | α 2 | 1 ( x ) x 3 | α 2 | 1
This case is for two orders, and it can be enlarged to other orders. For α1 ≥ α2 ≥ … ≥ αn and |α1| ≤ |α2| ≤ … ≤ |αn|,
f ( x ) ( x ) | α 1 | 1 f | α 1 | 1 ( x ) f ( x ) ( x ) | α 2 | 1 f | α 2 | 1 ( x ) ... ( x ) | α n 1 | 1 f | α n 1 | 1 ( x ) ( x ) | α n | 1 f | α n | 1 ( x )
Any complex number has direction and magnitude. It is known that derivative has direction and magnitude. So the relationship between complex numbers and derivatives must be verified.
Theorem 4.3. 
Assuming that f(x) is a function such as f: R → R and α R , f(α)(x) is a function of complex variables.
Proof. 
Assume that α = β δ and δ ≠ 0. If f(x) ≥ 0, the obtained results are positive, and they constitute the real part of complex numbers. The rational/irrational order derivative of f(x) is:
f ( α ) = f ( x ) f α 1 ( x ) x α 1 = f ( x ) f β δ ( x ) x β δ δ = f ( x ) ( f ( x ) x ) β δ δ
If the rational/irrational derivative is a function of complex variables, then f(α)(x) = g(x) + ih(x), where i = 1 .
If f(x) < 0, there will be two cases:
Case 1: 
Assume that δ is odd.
If ( f ( x ) x ) β δ 0 or ( f ( x ) x ) β δ < 0 , then the obtained function f(α)(x) is a real function and h(x) = 0 for both cases since the multiplication of any negative number in odd steps yields a negative number.
Case 2: 
Assume that δ is even.
If ( f ( x ) x ) β δ 0 , then h(x) = 0 and f(α)(x) is a real function.
If ( f ( x ) x ) β δ < 0 , then the multiplication of any number in even steps yields a positive number for real numbers. However, it yields a negative result for complex numbers, so, h(x) ≠ 0. This means that f(α)(x) is a complex function.
In fact, f(α)(x) is a complex function for both cases because h(x) = 0 for some situations.
Problem 1. 
The derivative operator D is a linear operator. The theoretical and application results presented in the previous sections demonstrated that the derivative operator does not have to be linear. The ordinary derivative operator D is linear; however, the rate of change of any function versus its independent variables does not have to be linear. This is in need of theoretical verification.
Problem 2. 
A new approach for derivatives was expressed in this paper. This new approach has the potential to change the integration rules in the case of orders of derivatives different from 1. The new rules for integration should be defined.
Problem 3. 
The geometrical meanings of ordinary derivatives are known. The geometrical meanings of this new approach for derivatives in the case of rational and irrational orders of derivatives are still unknown.

5. Conclusions

The ordinary definition of a derivative from Newton and l’Hôpital can be considered as order = 1; in this case, the derivative operator D is linear. This paper includes a new approach for the derivative concept in which the derivative operator is not linear. The following consequences can be put forth:
(a)
All functions have maximum rates of changes at inflection points in the positive direction.
(b)
All functions have minimum rates of changes at inflection points in the negative direction.
(c)
The derivative operator does not have to be linear, since the rates of changes of functions are not linear.
(d)
This new approach needs to prove geometrical meaning for derivative orders different from 1.
(e)
This new approach brought out a new problem: how to handle the integration in cases of derivative orders different from 1.
(f)
This new approach reveals that derivative and complex numbers have relationships.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Newton, I. Philosophiæ Naturalis Principia Mathematica; Jussu Societatis Regiae ac Typis Joseph Streater. Prostat apud plures bibliopolas: London, UK, 1687. [Google Scholar]
  2. L’Hôpital, G. Analyse des Infiniment Petits pour l’Intelligence des Lignes Courbes (Infinitesimal Calculus with Applications to Curved Lines); François Montalant: Paris, France, 1696. [Google Scholar]
  3. L’Hôpital, G. Analyse des Infinement Petits; Relnk Books: Paris, France, 1715. [Google Scholar]
  4. Goldenbaum, U.; Jesseph, D. Infinitesimal Differences: Controversies between Leibniz and His Contemporaries; Walter de Gruyter: New York, NY, USA, 2008. [Google Scholar]
  5. Baron, M.E. The Origin of the Infinitesimal Calculus; Dover Publications: New York, NY, USA, 1969. [Google Scholar]
  6. Wren, F.L.; Garrett, J.A. The development of the fundamental concepts of infinitesimal analysis. Am. Math. Mon. 1933, 40, 269–291. [Google Scholar] [CrossRef]
  7. Bliss, G.A. The evolution of problems of the calculus of variations. Am. Math. Mon. 1936, 43, 598–609. [Google Scholar] [CrossRef]
  8. Taylor, A.E. L’Hôpital rule. Am. Math. Mon. 1952, 59, 20–24. [Google Scholar] [CrossRef]
  9. Stewart, J.K. Another variation of Newton’s method. Am. Math. Mon. 1951, 58, 331–334. [Google Scholar] [CrossRef]
  10. Leibniz, G.F. Correspondence with l’Hôpital. Personal letter, 1695. [Google Scholar]
  11. Das, S. Functional Fractional Calculus; Springer-Verlag Berlin Heidelberg: Berlin, Germany, 2011. [Google Scholar]
  12. Herrmann, R. Fractional Calculus: An Introduction for Physicists; World Scientific: GigaHedron, Germany, 2011. [Google Scholar]
  13. Oldham, K.B.; Spanier, J. The Fractional Calculus; Academic Press: New York, NY, USA, 1974. [Google Scholar]
  14. Samko, S.G.; Ross, B. Integration and differentiation to a variable fractional order. Integral Transform. Spec. Funct. 1993, 1, 277–300. [Google Scholar] [CrossRef]
  15. Kiryakova, V.S. Generalized Fractional Calculus and Applications; Wiley and Sons: New York, NY, USA, 1994. [Google Scholar]
  16. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives Translated from the 1987 Russian Original; Gordon and Breach: Yverdon, Switzerland, 1993. [Google Scholar]
  17. Rubin, B. Fractional integrals and potentials. In Pitman Monographs and Surveys in Pure and Applied Mathematics; Longman: Harlow, UK, 1996; Volume 82. [Google Scholar]
  18. Gorenflo, R.; Mainardi, F. Fractional oscillations and Mittag-Leffler functions. In Proceedings of the RAAM 1996, Kuwait University, Kuwait, Kuwait, 4–7 May 1996; pp. 193–208.
  19. Mainardi, F.; Gorenflo, R. On Mittag-Leffler-type functions in fractional evolution processes. J. Comput. Appl. Math. 2000, 118, 283–299. [Google Scholar] [CrossRef]
  20. Mainardi, F. Fractional Calculus and Waves in Linear Viscoelasticity: An Introduction to Mathematical Models; World Scientific: Singapore, 2010. [Google Scholar]
  21. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  22. Podlubny, I. Geometric and physical interpretation of fractional integration and fractional differentiation. Fract. Calc. Appl. Anal. 2002, 5, 367–386. [Google Scholar]
  23. Karcı, A. Kesirli Türev için Yapılan Tanımlamaların Eksiklikleri ve Yeni Yaklaşım. In Proceeedings of the TOK-2013 Turkish Automatic Control National Meeting and Exhibition, Malatya, Turkey, 26–28 September 2003; pp. 1040–1045.
  24. Karcı, A.; Karadoğan, A. Fractional order derivative and relationship between derivative and complex functions. In Proceeedings of the IECMSA-2013: 2nd International Eurasian Conference on Mathematical Sciences and Applications, Sarajevo, Bosnia and Herzogovina, 26–29 August 2013; pp. 55–56.
  25. Karcı, A. A New approach for fractional order derivative and its applications. Univers. J. Eng. Sci. 2013, 1, 110–117. [Google Scholar]
Figure 1. The movement of an athlete on the ski-jump ramp and the rates of change.
Figure 1. The movement of an athlete on the ski-jump ramp and the rates of change.
Mathematics 04 00030 g001
Figure 2. The rational orders of rates of change for the sine function (Orders are 0, 1/5, 2/5).
Figure 2. The rational orders of rates of change for the sine function (Orders are 0, 1/5, 2/5).
Mathematics 04 00030 g002
Figure 3. The rational orders of rates of change for the sine function (Orders are 3/5, 4/5, 1).
Figure 3. The rational orders of rates of change for the sine function (Orders are 3/5, 4/5, 1).
Mathematics 04 00030 g003
Figure 4. The rational orders of rates of change for the cosine function (Orders are 0, 1/5, 2/5).
Figure 4. The rational orders of rates of change for the cosine function (Orders are 0, 1/5, 2/5).
Mathematics 04 00030 g004
Figure 5. The rational orders of rates of change for the cosine function (Orders are 3/5, 4/5, 1).
Figure 5. The rational orders of rates of change for the cosine function (Orders are 3/5, 4/5, 1).
Mathematics 04 00030 g005
Figure 6. The rates of change for f(x) = x3 − 7x2 orders {0, 1/5, 2/5}.
Figure 6. The rates of change for f(x) = x3 − 7x2 orders {0, 1/5, 2/5}.
Mathematics 04 00030 g006
Figure 7. The rates of change for f(x) = x3 − 7x2 orders {3/5, 4/5, 1}.
Figure 7. The rates of change for f(x) = x3 − 7x2 orders {3/5, 4/5, 1}.
Mathematics 04 00030 g007
Figure 8. The rates of change for f(x) = −x3 − 7x2 orders {0, 1/5, 2/5}.
Figure 8. The rates of change for f(x) = −x3 − 7x2 orders {0, 1/5, 2/5}.
Mathematics 04 00030 g008
Figure 9. The rates of change for f(x) = x3 − 7x2 orders {3/5, 4/5, 1}.
Figure 9. The rates of change for f(x) = x3 − 7x2 orders {3/5, 4/5, 1}.
Mathematics 04 00030 g009
Figure 10. The rates of change for f(x) = sin(x) for orders {−1, −0.8, −0.6}.
Figure 10. The rates of change for f(x) = sin(x) for orders {−1, −0.8, −0.6}.
Mathematics 04 00030 g010

Share and Cite

MDPI and ACS Style

Karcı, A. New Approach for Fractional Order Derivatives: Fundamentals and Analytic Properties. Mathematics 2016, 4, 30. https://doi.org/10.3390/math4020030

AMA Style

Karcı A. New Approach for Fractional Order Derivatives: Fundamentals and Analytic Properties. Mathematics. 2016; 4(2):30. https://doi.org/10.3390/math4020030

Chicago/Turabian Style

Karcı, Ali. 2016. "New Approach for Fractional Order Derivatives: Fundamentals and Analytic Properties" Mathematics 4, no. 2: 30. https://doi.org/10.3390/math4020030

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop