Riemann–Liouville integral

Part of a series of articles about
Calculus
Fundamental theorem Leibniz integral rule Limits of functions Continuity Mean value theorem Rolle's theorem
show Differential Definitions Derivative (generalizations) Differential infinitesimal of a function total Concepts Differentiation notation Second derivative Implicit differentiation Logarithmic differentiation Related rates Taylor's theorem Rules and identities Sum Product Chain Power Quotient L'Hôpital's rule Inverse General Leibniz Faà di Bruno's formula Reynolds
show Integral Lists of integrals Integral transform Definitions Antiderivative Integral (improper) Riemann integral Lebesgue integration Contour integration Integral of inverse functions Integration by Parts Discs Cylindrical shells Substitution (trigonometric, Weierstrass, Euler) Euler's formula Partial fractions Changing order Reduction formulae Differentiating under the integral sign Risch algorithm
show Series Geometric (arithmetico-geometric) Harmonic Alternating Power Binomial Taylor Convergence tests Summand limit (term test) Ratio Root Integral Direct comparison Limit comparison Alternating series Cauchy condensation Dirichlet Abel
show Vector Gradient Divergence Curl Laplacian Directional derivative Identities Theorems Gradient Green's Stokes' Divergence generalized Stokes
show Multivariable Formalisms Matrix Tensor Exterior Geometric Definitions Partial derivative Multiple integral Line integral Surface integral Volume integral Jacobian Hessian
show Specialized Fractional Malliavin Stochastic Variations
show Miscellaneous Precalculus History Glossary List of topics Integration Bee Analysis
v t

In mathematics, the Riemann–Liouville integral associates with a real function ${\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} }$ 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 antiderivative of f in the sense that for positive integer values of α, I^α f is an iterated antiderivative of f of order α. The Riemann–Liouville integral is named for Bernhard Riemann and Joseph Liouville, the latter of whom was the first to consider the possibility of fractional calculus in 1832.^[1][2][3][4] The operator agrees with the Euler transform, after Leonhard Euler, when applied to analytic functions.^[5] It was generalized to arbitrary dimensions by Marcel Riesz, who introduced the Riesz potential.

Definition[]

The Riemann–Liouville integral is defined by

${\displaystyle I^{\alpha }f(x)={\frac {1}{\Gamma (\alpha )}}\int _{a}^{x}f(t)(x-t)^{\alpha -1}\,dt}$

where Γ is the gamma function and a is an arbitrary but fixed base point. The integral is well-defined provided f is a locally integrable function, and α is a complex number in the half-plane Re(α) > 0. The dependence on the base-point a is often suppressed, and represents a freedom in constant of integration. Clearly I¹ f 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]

${\displaystyle {}_{a}D_{x}^{-\alpha }f(x)={\frac {1}{\Gamma (\alpha )}}\int _{a}^{x}f(t)(x-t)^{\alpha -1}\,dt.}$

This also makes sense if a = −∞, with suitable restrictions on f.

The fundamental relations hold

${\displaystyle {\frac {d}{dx}}I^{\alpha +1}f(x)=I^{\alpha }f(x),\quad I^{\alpha }(I^{\beta }f)=I^{\alpha +\beta }f,}$

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 integrable function f on (a,b) the function I^α f on (a,b) which is also integrable by Fubini's theorem. Thus I^α defines a linear operator on L¹(a,b):

${\displaystyle I^{\alpha }:L^{1}(a,b)\to L^{1}(a,b).}$

Fubini's theorem also shows that this operator is continuous with respect to the Banach space structure on L¹, and that the following inequality holds:

${\displaystyle \left\|I^{\alpha }f\right\|_{1}\leq {\frac {|b-a|^{\Re (\alpha )}}{\Re (\alpha )|\Gamma (\alpha )|}}\|f\|_{1}.}$

Here ‖ · ‖₁ denotes the norm on L¹(a,b).

More generally, by Hölder's inequality, it follows that if f ∈ L^p(a, b), then I^α f ∈ L^p(a, b) as well, and the analogous inequality holds

${\displaystyle \left\|I^{\alpha }f\right\|_{p}\leq {\frac {|b-a|^{\frac {\Re (\alpha )}{p}}}{\Re (\alpha )|\Gamma (\alpha )|}}\|f\|_{p}}$

where ‖ · ‖_p is the L^p norm on the interval (a,b). Thus we have a bounded linear operator I^α : L^p(a, b) → L^p(a, b). Furthermore, I^α f → f in the L^p sense as α → 0 along the real axis. That is

${\displaystyle {\underset {\alpha >0}{\lim _{\alpha \to 0}}}\|I^{\alpha }f-f\|_{p}=0}$

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 ${\displaystyle \mathbb {R} }$. It defines a bounded transformation on any of the Banach spaces of functions of exponential type ${\displaystyle X_{\sigma }=L^{1}(e^{-\sigma |t|}dt),}$ consisting of locally integrable functions for which the norm

${\displaystyle \|f\|=\int _{-\infty }^{\infty }|f(t)|e^{-\sigma |t|}\,dt}$

is finite. For f ∈ X_σ, the Laplace transform of I^α f takes the particularly simple form

${\displaystyle ({\mathcal {L}}I^{\alpha }f)(s)=s^{-\alpha }F(s)}$

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

${\displaystyle {\frac {d^{\alpha }}{dx^{\alpha }}}f{\overset {\text{def}}{=}}{\frac {d^{\lceil \alpha \rceil }}{dx^{\lceil \alpha \rceil }}}I^{\lceil \alpha \rceil -\alpha }f}$

where ⌈ · ⌉ denotes the ceiling function. One also obtains a differintegral interpolating between differentiation and integration by defining

${\displaystyle D_{x}^{\alpha }f(x)={\begin{cases}{\frac {d^{\lceil \alpha \rceil }}{dx^{\lceil \alpha \rceil }}}I^{\lceil \alpha \rceil -\alpha }f(x)&\alpha >0\\f(x)&\alpha =0\\I^{-\alpha }f(x)&\alpha <0.\end{cases}}}$

An alternative fractional derivative was introduced by Caputo in 1967,^[7] and produces a derivative that has different properties: it produces zero from constant functions and, more importantly, the initial value terms of the 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:

${\displaystyle D_{x}^{\alpha }f(y)={\frac {1}{\Gamma (1-\alpha )}}\int _{x}^{y}f'(y-u)(u-x)^{-\alpha }du.}$

Another representation is:

${\displaystyle {}_{a}{\tilde {D}}_{x}^{\alpha }f(x)=I^{\lceil \alpha \rceil -\alpha }\left({\frac {d^{\lceil \alpha \rceil }f}{dx^{\lceil \alpha \rceil }}}\right).}$

Notes[]

References[]

• Brychkov, Yu.A.; Prudnikov, A.P. (2001) [1994], "Euler transformation", Encyclopedia of Mathematics, EMS Press.
• Caputo, Michele (1967), "Linear model of dissipation whose Q is almost frequency independent. II", Geophysical Journal International, 13 (5): 529–539, Bibcode:1967GeoJ...13..529C, doi:10.1111/j.1365-246x.1967.tb02303.x.
• Hille, Einar; Phillips, Ralph S. (1974), Functional analysis and semi-groups, Providence, R.I.: American Mathematical Society, MR 0423094.
• Lizorkin, P.I. (2001) [1994], "Fractional integration and differentiation", Encyclopedia of Mathematics, EMS Press.
• Loverro, Adam (2004-05-08), Fractional Calculus: History, Definitions and Applications for the Engineer (PDF), Notre Dame, IN: University of Notre Dame
• Miller, Kenneth S.; Ross, Bertram (1993), An Introduction to the Fractional Calculus and Fractional Differential Equations, John Wiley & Sons, ISBN 0-471-58884-9.
• Riesz, Marcel (1949), "L'intégrale de Riemann-Liouville et le problème de Cauchy", Acta Mathematica, 81 (1): 1–223, doi:10.1007/BF02395016, ISSN 0001-5962, MR 0030102.

External links[]

• Alan Beardon (2000). "Fractional calculus II". University of Cambridge.
• Alan Beardon (2000). "Fractional calculus III". University of Cambridge.