Another way to define fractional derivatives

There are many ways to define fractional derivatives, and in general they coincide on nice classes of functions. A long time ago I wrote about one way to define fractional derivatives using Fourier transforms. From that post:

Here's one way fractional derivatives could be defined. Suppose the Fourier transform of f(x) is g(I3/4). Then for positive integer n, the n^th derivative of f(x) has Fourier transform (2I i I3/4)ⁿ g(I3/4). So you could take the n^th derivative of f(x) as follows: take the Fourier transform, multiply by (2I i I3/4)ⁿ, and take the inverse Fourier transform. This suggests the same procedure could be used to define the n^th derivative when n is not an integer.

Here's another way to define fractional derivatives that doesn't use Fourier transforms, the Gri1/4nwald-Letnikov derivative. It's a fairly direct approach.

The starting point is to note that for positive integer n, the nth derivative can be written as

where

and I"ⁿ iterates I". For example,

In general, for positive integer n, we have

We could set the upper limit of the sum to n, but there's no harm in setting it to a because the binomial coefficients will be zero for k larger than n. And in this form, we can replace n with the integer n with any positive real number I to define the Ith derivative. That is, the Gri1/4nwald-Letnikov derivative of f is given by

See these notes for the definition of binomial coefficients for possibly non-integer arguments and for an explanation why for integer n the coefficients are eventually zero.

Notice that fractional derivatives require non-local information. Ordinary derivatives at a point are determined by the values of the function in an arbitrarily small neighborhood of that point. But notice how the fractional derivative, as defined in this post, depends on the values of the function at an evenly spaced infinite sequence of points. If we define fractional derivatives via Fourier transform, the non-local nature is more apparent since the Fourier transform at any point depends on the values of the function everywhere.

This non-local feature can be good or bad. If you want to model a phenomena with non-local dependence, fractional differential equations might be a good way to go. But if your phenomena is locally determined, fractional differential equations might be a poor fit.

Related post: Mittag-Leffler functions

Update: Yet another way to define fractional derivatives, this time via fractional integrals, which can be defined in terms of ordinary integrals