In mathematics, the Riemann–Liouville integral associates with a real function another function Iαf of the same kind for each value of the parameter α > 0. The integral is a manner of generalization of the repeated
The Riemann-Liouville integral is motivated from Cauchy formula for repeated integration. Let f be continuous on [α,x], then Cauchy repeated integration formula states that
Now, this formula can be generalized to any positive real number by replacing positive integer n with α, Therefore we obtain the definition of Riemann-Liouville fractional Integral by
Definition
The Riemann–Liouville integral is defined by
where Γ is the
half-plane Re(α) > 0. The dependence on the base-point a is often suppressed, and represents a freedom in constant of integration. Clearly I1f is an antiderivative of f (of first order), and for positive integer values of α, Iαf is an antiderivative of order α by Cauchy formula for repeated integration. Another notation, which emphasizes the base point, is[6]
This also makes sense if a = −∞, with suitable restrictions on f.
The fundamental relations hold
the latter of which is a semigroup property.[1] These properties make possible not only the definition of fractional integration, but also of fractional differentiation, by taking enough derivatives of Iαf.
Properties
Fix a bounded interval (a,b). The operator Iα associates to each
Fubini's theorem also shows that this operator is continuous with respect to the Banach space structure on L1, and that the following inequality holds:
More generally, by Hölder's inequality, it follows that if f ∈ Lp(a, b), then Iαf ∈ Lp(a, b) as well, and the analogous inequality holds
where ‖ · ‖p is the Lp norm on the interval (a,b). Thus we have a bounded linear operator Iα : Lp(a, b) → Lp(a, b). Furthermore, Iαf → f in the Lp sense as α → 0 along the real axis. That is
for all p ≥ 1. Moreover, by estimating the maximal function of I, one can show that the limit Iαf → f holds pointwise almost everywhere.
The operator Iα is well-defined on the set of locally integrable function on the whole real line . It defines a bounded transformation on any of the Banach spaces of functions of exponential type consisting of locally integrable functions for which the norm
is finite. For f ∈ Xσ, the Laplace transform of Iαf takes the particularly simple form
for Re(s) > σ. Here F(s) denotes the Laplace transform of f, and this property expresses that Iα is a
Fourier multiplier
.
Fractional derivatives
One can define fractional-order derivatives of f as well by
interpolating between differentiation and integration by defining
An alternative fractional derivative was introduced by Caputo in 1967,
Laplace Transform are expressed by means of the values of that function and of its derivative of integer order rather than the derivatives of fractional order as in the Riemann–Liouville derivative.[8]
The Caputo fractional derivative with base point x, is then:
For k = 1 and a = 1/2, we obtain the half-derivative of the function as
To demonstrate that this is, in fact, the "half derivative" (where H2f(x) = Df(x)), we repeat the process to get:
(because and Γ(1) = 1) which is indeed the expected result of
For negative integer power k, 1/ is 0, so it is convenient to use the following relation:[9]
This extension of the above differential operator need not be constrained only to real powers; it also applies for complex powers. For example, the (1 + i)-th derivative of the (1 − i)-th derivative yields the second derivative. Also setting negative values for a yields integrals.
For a general function f(x) and 0 < α < 1, the complete fractional derivative is
For arbitrary α, since the gamma function is infinite for negative (real) integers, it is necessary to apply the fractional derivative after the integer derivative has been performed. For example,