Fractional Calculus is the branch of calculus that generalizes the derivative of a function to noninteger order, allowing calculations such as deriving a function to 1/2 order. Despite "generalized" would be a better option, the name "fractional" is used for denoting this kind of derivative.

Note:
These notes are not a summary of standard methods or an academic text, so some conventional developments are omitted while some other are introduced. The same happens with notation.


The derivative of a function f is defined as
 (1.1)  
Iterating this operation yields an expression for the nst derivative of a function. As can be easily seen and proved by induction for any natural number n,
 (1.2)  
where
 (1.3)  
or equivalently,
 (1.4)  
The case of n=0 can be included as well.
Such an expression could be valuable for instance in a simple program for plotting the nst derivative of a function.
Viewing this expression one asks immediately if it can be generalized to any noninteger, real or complex number n. There are some reasons that can make us think so,
 The fact that for any natural number n the calculation of the nst derivative is given by an explicit formula (1.2) or (1.4).
 That the generalization of the factorial by the gamma function allows
 (1.5)  
which also is valid for noninteger values.
 The likeness of (1.2) to the binomial formula
 (1.6)  
which can be generalized to any complex number a by
 (1.7)  
which is convergent if
 (1.8)  
There are some desirable properties that could be required to the fractional derivative,
 Existance and continuity for m times derivable functions, for any n which modulus is equal or less than m.
 For n=0 the result should be the function itself; for n>0 integer values it should be equal to the ordinary derivative and for n<0 integer values it should be equal to ordinary integration regardless the integration constant.
 Iterating should not give problems,
 (1.9)  
 Linearity,
 (1.10)  
 Allowing Taylor's expansion in some other way.
 Its characteristic property should be preserved for the exponential function,
 (1.11)  
