Nonelementary integral
In mathematics, a nonelementary antiderivative of a given elementary function is an antiderivative (or indefinite integral) that is, itself, not an elementary function (i.e. a function constructed from a finite number of quotients of constant, algebraic, exponential, trigonometric, and logarithmic functions using field operations).[1] A theorem by Liouville in 1835 provided the first proof that nonelementary antiderivatives exist.[2] This theorem also provides a basis for the Risch algorithm for determining (with difficulty) which elementary functions have elementary antiderivatives.
Examples
Examples of functions with nonelementary antiderivatives include:
- [math]\displaystyle{ \sqrt{1 - x^4} }[/math][1] (elliptic integral)
- [math]\displaystyle{ \frac{1}{\ln x} }[/math][3] (logarithmic integral)
- [math]\displaystyle{ e^{-x^2} }[/math][1] (error function, Gaussian integral)
- [math]\displaystyle{ \sin(x^2) }[/math] and [math]\displaystyle{ \cos(x^2) }[/math] (Fresnel integral)
- [math]\displaystyle{ \frac{\sin(x)}{x} = \operatorname{sinc}(x) }[/math] (sine integral, Dirichlet integral)
- [math]\displaystyle{ \frac{e^{-x}}{x} }[/math] (exponential integral)
- [math]\displaystyle{ e^{e^x} \, }[/math](in terms of the exponential integral)
- [math]\displaystyle{ \ln(\ln x) \, }[/math](in terms of the logarithmic integral)
- [math]\displaystyle{ {x^{c-1}}e^{-x} }[/math] (incomplete gamma function); for [math]\displaystyle{ c = 0, }[/math] the antiderivative can be written in terms of the exponential integral; for [math]\displaystyle{ c = \tfrac{1}{2}, }[/math] in terms of the error function; for [math]\displaystyle{ c = }[/math] any positive integer, the antiderivative is elementary.
Some common non-elementary antiderivative functions are given names, defining so-called special functions, and formulas involving these new functions can express a larger class of non-elementary antiderivatives. The examples above name the corresponding special functions in parentheses.
Properties
Nonelementary antiderivatives can often be evaluated using Taylor series. Even if a function has no elementary antiderivative, its Taylor series can always be integrated term-by-term like a polynomial, giving the antiderivative function as a Taylor series with the same radius of convergence. However, even if the integrand has a convergent Taylor series, its sequence of coefficients often has no elementary formula and must be evaluated term by term, with the same limitation for the integral Taylor series.
Even if it is not possible to evaluate an indefinite integral (antiderivative) in elementary terms, one can always approximate a corresponding definite integral by numerical integration. There are also cases where there is no elementary antiderivative, but specific definite integrals (often improper integrals over unbounded intervals) can be evaluated in elementary terms: most famously the Gaussian integral [math]\displaystyle{ \int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt \pi. }[/math]
The closure under integration of the set of the elementary functions is the set of the Liouvillian functions.
See also
- Algebraic function – Mathematical function
- Closed-form expression – Mathematical formula involving a given set of operations
- Derivative – Instantaneous rate of change (mathematics)
- Differential algebra – Algebraic study of differential equations
- Lists of integrals – None
- Liouville's theorem (differential algebra)
- Richardson's theorem – Undecidability of equality of real numbers
- Symbolic integration – In mathematics, computation of an antiderivative in a closed form
- Organization:Tarski's high school algebra problem – Mathematical problem
- Transcendental function – Analytic function that does not satisfy a polynomial equation
References
- ↑ 1.0 1.1 1.2 Weisstein, Eric W. "Elementary Function." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/ElementaryFunction.html From MathWorld Accessed 24 Apr 2017.
- ↑ Dunham, William (2005). The Calculus Gallery. Princeton. p. 119. ISBN 978-0-691-13626-4.
- ↑ Impossibility theorems for elementary integration; Brian Conrad. Clay Mathematics Institute: 2005 Academy Colloquium Series. Accessed 14 Jul 2014.
- Integration of Nonelementary Functions, S.O.S MATHematics.com; accessed 7 Dec 2012.
Further reading
- Williams, Dana P., NONELEMENTARY ANTIDERIVATIVES, 1 Dec 1993. Accessed January 24, 2014.
 |  |
