Science Fair Project Encyclopedia

Science Fair Project Encyclopedia Contents Page

Fractional calculus

In mathematics, fractional calculus is a branch of mathematical analysis, studying the possibility of taking real number powers of the differential operator

D = d/dx

and the integration operator I. By powers we refer to iteration, for example in the sense that f²(x) = f(f(x)). For example, one may pose the question of interpreting meaningfully

√D = D^1/2

as a square root of the differentiation operator, qua operator (an operator half iterate). That means, some operator that when applied twice to a function, will have the same effect as differentiation. More generally, one can look at the question of defining

D^s

for real number values of s, in such a way that when s takes an integer value n, the usual power of n-fold differentiation is recovered for n > 0, and the −nth power of I when n < 0.

There are various possible reasons for looking at this question. One is that in this way the semigroup of powers Dⁿ in the discrete variable n is seen inside a continuous semigroup (one hopes) with parameter s which is a real number. Continuous semigroups are prevalent in mathematics, and have an interesting theory. Notice here that fraction is then a misnomer for the exponent, since it need not be rational, but the fractional calculus name has become traditional.

Contents

1 Fractional derivative

2 Heuristics

3 Riemann-Liouville differintegral

4 Functional calculus

5 See also

6 External links

7 Resource books

Fractional derivative

As far as the existence of such a theory is concerned, the foundations of the subject were laid by Liouville in a paper from 1832. The fractional derivative of a function to order a is often now defined by means of the Fourier or Mellin integral transforms. An important point is that the fractional derivative at a point x is a local property only when a is an integer; in non-integral cases we can not say that the fractional derivative at x of a function f depends only on the graph of f very near x, in the way that integer-power derivatives certainly do. Therefore it is expected that the theory involves some sort of boundary conditions, involving information on the function further out. To use a metaphor, the fractional derivative requires some peripheral vision.

Heuristics

A fairly natural question is to ask, does there exist an operator $H$ , or half-derivative, such that

$H^2 f(x) = D f(x) = \frac{d}{dx} f(x) = f'(x)$ ?

It turns out that there is such an operator, and indeed for any $a > 0$ , there exists an operator $P$ such that

(P a f)(x) = f'(x)

or to put it another way, $\frac{d^ny}{dx^n}$ is well-defined for all real values of n > 0. A similar result applies to integration.

To delve into a little detail, we start by remembering that $n! = Γ(n + 1)$ , where $Γ$ is the well known Gamma function.

Let's assume a function $f (x)$ that's well defined where $x > 0$ . We can form the indefinite integral from 0 to x. Let's call this

$( I f ) ( x ) = \int_0^x f(t) \; dt$ .

Repeating this process obviously gives

$( I^2 f ) ( x ) = \int_0^x ( I f ) ( t ) dt = \int_0^x \left( \int_0^t f(s) \; ds \right) \; dt$ , and this obviously extends arbitrarily.

An important result from Cauchy gave a generalization of this series. To wit

$(I^n f) ( x ) = { 1 \over (n-1) ! } \int_0^x (x-t)^{n-1} f(t) \; dt.$

This leads us in a very straightforward way to generalizing for real n.

Simply using the Gamma function to remove the discrete nature of the factorial function gives us a natural candidate for fractional applications of the integral operator.

$(I^\alpha f) ( x ) = { 1 \over \Gamma ( \alpha ) } \int_0^x (x-t)^{\alpha-1} f(t) \; dt$

This is in fact a well-defined operator.

It also turns that out that the I operator is both commutative and additive. That is,

$(I^\alpha) (I^\beta) f = (I^\beta) (I^\alpha) f = (I^{\alpha+\beta} ) f = { 1 \over \Gamma ( \alpha + \beta) } \int_0^x (x-t)^{\alpha+\beta-1} f(t) \; dt$

Unfortunately the comparable process for the derivative operator D is significantly more complex. It turns out that D is neither commutative, nor additive in general. To sketch the process for a subset of functions, let us assume that $f (x)$ is a polynomial of the form

$f(x) = x^k\;.$

The first derivative is as usual

$f'(x) = {d \over dx } f(x) = k x^{k-1}\;.$

Repeating this fairly naturally gives the more general result that

${d^a \over dx^a } x^k = { k! \over (k - a) ! } x^{k-a}\;,$

which, with the usual application of the Gamma function, leads us to

${d^a \over dx^a } x^k = { \Gamma(k+1) \over \Gamma(k - a + 1) } x^{k-a}\;.$

For example, the half-derivative of $x$ is

${ d^{1 \over 2} \over dx^{1 \over 2} } x = { \Gamma(1 + 1) \over \Gamma ( 1 - {1 \over 2} + 1 ) } x^{1-{1 \over 2}} = { \Gamma( 2 ) \over \Gamma ( { 3 \over 2 } ) } x^{1 \over 2} = {2 \pi^{-{1 \over 2}}} x^{1 \over 2}\;.$

Repeating this process gives

${ d^{1 \over 2} \over dx^{1 \over 2} } {2 \pi^{-{1 \over 2}}} x^{1 \over 2} = {2 \pi^{-{1 \over 2}}} { \Gamma ( 1 + {1 \over 2} ) \over \Gamma ( {1 \over 2} - { 1 \over 2 } + 1 ) } x^{{1 \over 2} - {1 \over 2}} = {2 \pi^{-{1 \over 2}}} { \Gamma( { 3 \over 2 } ) \over \Gamma ( 1 ) } x^0 = { 1 \over \Gamma (1) } = 1\;,$

which is indeed the expected result of

${ d^{1 \over 2} \over dx^{1 \over 2} } { d^{1 \over 2} \over dx^{1 \over 2} } x = { d \over dx } x = 1\;.$

Riemann-Liouville differintegral

The classical form of fractional calculus is given by the Riemann-Liouville differintegral. The theory for periodic functions, therefore including the 'boundary condition' of repeating after a period, is the Weyl differintegral . It is defined on Fourier series, and requires the constant Fourier coefficient to vanish (so, applies to functions on the unit circle integrating to 0).

Functional calculus

In the context of functional analysis, functions f(D) more general than powers are studied in the functional calculus of spectral theory. The theory of pseudo-differential operators also allows one to consider powers of D. The operators arising are examples of singular integral operators ; and the generalisation of the classical theory to higher dimensions is called the theory of Riesz potentials . So there are a number of contemporary theories available, within which fractional calculus can be discussed. See also Erdelyi-Kober operator , important in special function theory.

For possible geometric and physical interpretation of fractional-order integration and fractional-order differentiation, see:

Podlubny, I., Geometric and physical interpretation of fractional integration and fractional differentiation. Fractional Calculus and Applied Analysis, vol. 5, no. 4, 2002, 367–386. (available as original article, or preprint at Arxiv.org)

External links

Resource books

"An Introduction to the Fractional Calculus and Fractional Differential Equations"

by Kenneth S. Miller, Bertram Ross (Editor)

Hardcover: 384 pages ; Dimensions (in inches): 1.00 x 9.75 x 6.50

Publisher: John Wiley & Sons; 1 edition (May 19, 1993)

ISBN 0471588849

"The Fractional Calculus; Theory and Applications of Differentiation and Integration to Arbitrary Order (Mathematics in Science and Engineering, V)"

by Keith B. Oldham, Jerome Spanier

Hardcover

Publisher: Academic Press; (November 1974)

ISBN 0125255500

"Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, Some Methods of Their Solution and Some of Their Applications." (Mathematics in Science and Engineering, vol. 198)

by Igor Podlubny

Hardcover

Publisher: Academic Press; (October 1998)

ISBN 0125588402

"Fractals and Fractional Calculus in Continuum Mechanics"

by A. Carpinteri (Editor), F. Mainardi (Editor)

Paperback: 348 pages

Publisher: Springer-Verlag Telos; (January 1998)

ISBN 321182913X

"Physics of Fractal Operators"

by Bruce J. West, Mauro Bologna, Paolo Grigolini

Hardcover: 368 pages

Publisher: Springer Verlag; (January 14, 2003)

ISBN 0387955542

Categories: Mathematical analysis

Last updated: 05-27-2005 08:39:23

Science Fair Project Encyclopedia Contents Page

10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details

All Science Fair Projects