In ordinary, single variable differential calculus one is used to seeing the symbolism:

d ^{n }f/ dx^{n}^{ }

For the nth derivative of a function f with respect to x when n is a non-negative integer. We know integration and differentiation are inverse processes so it is natural to associate the particular symbolism

d ^{ -1 }f/ [dx]^{-1}^{ }

with the indefinite integration of f with respect to x. However. one must stipulate a lower limit of integration in order that the indefinite integral be completely specified. For the purpose of this blog post I will associate the following:

d ^{ -1 }f/ [dx]^{-1}^{ } = ò** **^{x }_{o } f(y) dy

The preceding can be generalized to the case of multiple integration, whereby, for example:

d ^{ -2 }f/ [dx]^{-2}^{ } = ò** **^{x }_{o } dx^{ }_{1 }ò** **^{x1 }_{o } f(x^{ }_{o}) dx^{ }_{o}

d ^{ -n }f/ [dx]^{-n}^{ }= ò** **^{x }_{o } dx^{ }_{n-1 }ò** **^{xn-1 }_{o }dx^{ }_{n-2} .....ò** **^{x2 }_{o } dx^{ }_{1 }ò** **^{x1 }_{o } f(x^{ }_{o}) dx^{ }_{o}

_{}

And use is made of the identity:

ò** **^{x }_{a } f(y) dy = ò** **^{x-a }_{0 } f(y + a) dy

To extend the formalism to lower limits, i.e. other than zero. Thus we may define:

d ^{ -1 }f/ [d(x - a) ]^{-1}^{ } __=__ ò** **^{x }_{a } f(y) dy

d ^{ -n }f/ [d(x - a) ]^{-n}^{ } __=__

ò** **^{x }_{a } dx^{ }_{n-1 }ò** **^{xn-1 }_{o }dx^{ }_{n-2 }ò** **^{x2 }_{o } dx^{ }_{1 }ò** **^{x1 }_{o } f(x^{ }_{o}) dx^{ }_{o}

_{}

And caution obviously needs to be exercised when applying the contracted equivalent form, e.g.

d ^{n }f/ [d(x - a) ]^{n}^{ } = d ^{n}/ dx^{n}^{ }

characteristic of a local operator to negative orders, or to *fractional* orders of either sign, given:

d ^{-n }/ [d(x - a) ]^{- n}^{ }**≠** d ^{-n}/ [dx] ^{-n}^{ }

The key point to bear in mind here is that the appearance of fractional orders is what defines fractional calculus. This use also marks the emergence of what we call *differintegrals*. From the simplistic basis provided here it is then possible to venture into the realm of differintegral operators and their application. This in turn will introduce the differintegration of assorted functions which we will examine over time. In the case of fractional calculus it is best not to try to imbibe too much at once. But ultimately - perhaps by sometime next year- we will want to look at the most powerful application of the theory. That would be in the diffusive transport in a semi-infinite medium. Before that, we will also be going into the role of the gamma function, and see how it applies to differintegration.

In the meantime, we can at least have a sampling of what awaits. In particular, the symbol f ^{(n)} finds frequent use in fractional calculus as an abbreviation for d ^{n }f/[dx] ^{n} . This affords the benefit of brevity and in fractional calculus we look for such economy wherever we can find it. Similarly, f ^{(-n)} will occasionally be used to represent the n-fold integration of f, with respect to x, the lower limits being unspecified. Thus,

f ^{(-n)} = ò** **^{x }_{an } dx^{ }_{n-1 }ò** **^{xn-1 }_{an -1 }dx^{ }_{n-2 .... }ò** **^{x2 }_{a2 } dx^{ }_{1 }ò** **^{x1 }_{a1 } f(x^{ }_{o}) dx^{ }_{o}

where a^{ }_{1}, a^{ }_{2} , a _{n} are completely arbitrary. Note, however, that when we write a difference, e.g.

f ^{(-n)} (x) - f ^{(-n)} (a) we intend that the *same* lower limits (a^{ }_{1}, a^{ }_{2} , a _{n}) attach to each integral.

Finally, note that d ^{ -1 }f/ [d(x - a) ]^{-1} has been used instead of

d ^{ -1 }f/ [d(x - a) ]^{-1} (x)

since f and d ^{ -1 }f/ [d(x - a) ]^{-1} are understood to be functions of the independent variable x. If it is necessary to specify the value of x at which a function is to be evaluated, we simply write: f(a) or:

[d ^{ -1 }f/ [d(x - a) ]^{-1}]x= xo

* Suggested problem*:

Write the multiple integral form for d ^{ -3 }f/ [dx]^{-3}^{ }

## No comments:

Post a Comment