Fractional calculus is a branch of
mathematical analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series ( ...
that studies the several different possibilities of defining
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
powers or
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
powers of the
differentiation operator
and of the
integration operator
[The symbol is commonly used instead of the intuitive in order to avoid confusion with other concepts identified by similar ]glyph
A glyph ( ) is any kind of purposeful mark. In typography, a glyph is "the specific shape, design, or representation of a character". It is a particular graphical representation, in a particular typeface, of an element of written language. A ...
s, such as identities.
and developing a
calculus
Calculus is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithmetic operations.
Originally called infinitesimal calculus or "the ...
for such operators generalizing the classical one.
In this context, the term ''powers'' refers to iterative application of a
linear operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
to a
function that is, repeatedly
composing with itself, as in
For example, one may ask for a meaningful interpretation of
as an analogue of the
functional square root for the differentiation operator, that is, an expression for some linear operator that, when applied to any function, will have the same effect as
differentiation. More generally, one can look at the question of defining a linear operator
for every real number
in such a way that, when
takes an
integer
An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative in ...
value it coincides with the usual differentiation
if and with the power of
when
One of the motivations behind the introduction and study of these sorts of extensions of the differentiation operator
is that the
sets of operator powers
defined in this way are ''continuous''
semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplicatively (just notation, not necessarily th ...
s with parameter of which the original ''discrete'' semigroup of
for integer
is a
denumerable subgroup: since continuous semigroups have a well developed mathematical theory, they can be applied to other branches of mathematics.
Fractional
differential equations, also known as extraordinary differential equations,
are a generalization of differential equations through the application of fractional calculus.
Historical notes
In
applied mathematics
Applied mathematics is the application of mathematics, mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and Industrial sector, industry. Thus, applied mathematics is a ...
and mathematical analysis, a fractional derivative is a derivative of any arbitrary order, real or complex. Its first appearance is in a letter written to
Guillaume de l'Hôpital
Guillaume François Antoine, Marquis de l'Hôpital (; sometimes spelled L'Hospital; 7 June 1661 – 2 February 1704) was a French mathematician. His name is firmly associated with l'Hôpital's rule for calculating limits involving indetermin ...
by
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (or Leibnitz; – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who is credited, alongside Sir Isaac Newton, with the creation of calculus in addition to ...
in 1695.
Around the same time, Leibniz wrote to
Johann Bernoulli
Johann Bernoulli (also known as Jean in French or John in English; – 1 January 1748) was a Swiss people, Swiss mathematician and was one of the many prominent mathematicians in the Bernoulli family. He is known for his contributions to infin ...
about derivatives of "general order".
In the correspondence between Leibniz and
John Wallis
John Wallis (; ; ) was an English clergyman and mathematician, who is given partial credit for the development of infinitesimal calculus.
Between 1643 and 1689 Wallis served as chief cryptographer for Parliament and, later, the royal court. ...
in 1697, Wallis's infinite product for
is discussed. Leibniz suggested using differential calculus to achieve this result. Leibniz further used the notation
to denote the derivative of order .
Fractional calculus was introduced in one of
Niels Henrik Abel
Niels Henrik Abel ( , ; 5 August 1802 – 6 April 1829) was a Norwegian mathematician who made pioneering contributions in a variety of fields. His most famous single result is the first complete proof demonstrating the impossibility of solvin ...
's early papers where all the elements can be found: the idea of fractional-order integration and differentiation, the mutually inverse relationship between them, the understanding that fractional-order differentiation and integration can be considered as the same generalized operation, and the unified notation for differentiation and integration of arbitrary real order.
Independently, the foundations of the subject were laid by
Liouville in a paper from 1832.
Oliver Heaviside
Oliver Heaviside ( ; 18 May 1850 – 3 February 1925) was an English mathematician and physicist who invented a new technique for solving differential equations (equivalent to the Laplace transform), independently developed vector calculus, an ...
introduced the practical use of
fractional differential operators in electrical transmission line analysis circa 1890. The theory and applications of fractional calculus expanded greatly over the 19th and 20th centuries, and numerous contributors have given different definitions for fractional derivatives and integrals.
Computing the fractional integral
Let
be a function defined for
. Form the definite integral from 0 to
. Call this
Repeating this process gives
and this can be extended arbitrarily.
The
Cauchy formula for repeated integration, namely
leads in a straightforward way to a generalization for real : using the
gamma function
In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
to remove the discrete nature of the factorial function gives us a natural candidate for applications of the fractional integral operator as
This is in fact a well-defined operator.
It is straightforward to show that the operator satisfies
where in the last step we exchanged the order of integration and pulled out the factor from the integration.
Changing variables to defined by ,
The inner integral is the
beta function
In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral
: \Beta(z_1,z_2) = \int_0^1 t^ ...
which satisfies the following property:
Substituting back into the equation:
Interchanging and shows that the order in which the operator is applied is irrelevant and completes the proof.
This relationship is called the semigroup property of fractional
differintegral
In fractional calculus, an area of mathematical analysis, the differintegral is a combined differentiation/ integration operator. Applied to a function ƒ, the ''q''-differintegral of ''f'', here denoted by
:\mathbb^q f
is the fractional deri ...
operators.
Riemann–Liouville fractional integral
The classical form of fractional calculus is given by the
Riemann–Liouville integral
In mathematics, the Riemann–Liouville integral associates with a real function f: \mathbb \rightarrow \mathbb another function of the same kind for each value of the parameter . The integral is a manner of generalization of the repeated antid ...
, which is essentially what has been described above. The theory of fractional integration for
periodic function
A periodic function, also called a periodic waveform (or simply periodic wave), is a function that repeats its values at regular intervals or periods. The repeatable part of the function or waveform is called a ''cycle''. For example, the t ...
s (therefore including the "boundary condition" of repeating after a period) is given by the
Weyl integral. It is defined on
Fourier series
A Fourier series () is an Series expansion, expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series. By expressing a function as a sum of sines and cosines, many problems ...
, and requires the constant Fourier coefficient to vanish (thus, it applies to functions on the
unit circle
In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucli ...
whose integrals evaluate to zero). The Riemann–Liouville integral exists in two forms, upper and lower. Considering the interval , the integrals are defined as
Where the former is valid for and the latter is valid for .
It has been suggested
[ that the integral on the positive real axis (i.e. ) would be more appropriately named the Abel–Riemann integral, on the basis of history of discovery and use, and in the same vein the integral over the entire real line be named Liouville–Weyl integral.
By contrast the Grünwald–Letnikov derivative starts with the derivative instead of the integral.
]
Hadamard fractional integral
The ''Hadamard fractional integral'' was introduced by Jacques Hadamard
Jacques Salomon Hadamard (; 8 December 1865 – 17 October 1963) was a French mathematician who made major contributions in number theory, complex analysis, differential geometry, and partial differential equations.
Biography
The son of a tea ...
and is given by the following formula,
Atangana–Baleanu fractional integral (AB fractional integral)
The Atangana–Baleanu fractional integral of a continuous function is defined as:
Fractional derivatives
Unfortunately, the comparable process for the derivative operator is significantly more complex, but it can be shown that is neither commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a pr ...
nor additive
Additive may refer to:
Mathematics
* Additive function, a function in number theory
* Additive map, a function that preserves the addition operation
* Additive set-function see Sigma additivity
* Additive category, a preadditive category with fin ...
in general.
Unlike classical Newtonian derivatives, fractional derivatives can be defined in a variety of different ways that often do not all lead to the same result even for smooth functions. Some of these are defined via a fractional integral. Because of the incompatibility of definitions, it is frequently necessary to be explicit about which definition is used.
Riemann–Liouville fractional derivative
The corresponding derivative is calculated using Lagrange's rule for differential operators. To find the th order derivative, the th order derivative of the integral of order is computed, where is the smallest integer greater than (that is, ). The Riemann–Liouville fractional derivative and integral has multiple applications such as in case of solutions to the equation in the case of multiple systems such as the tokamak systems, and Variable order fractional parameter. Similar to the definitions for the Riemann–Liouville integral, the derivative has upper and lower variants.
Caputo fractional derivative
Another option for computing fractional derivatives is the Caputo fractional derivative
In mathematics, the Caputo fractional derivative, also called Caputo-type fractional derivative, is a generalization of derivatives for non-integer orders named after Michele Caputo. Caputo first defined this form of fractional derivative in 1967 ...
. It was introduced by Michele Caputo in his 1967 paper. In contrast to the Riemann–Liouville fractional derivative, when solving differential equations using Caputo's definition, it is not necessary to define the fractional order initial conditions. Caputo's definition is illustrated as follows, where again :
There is the Caputo fractional derivative defined as: