In mathematics, a nonelementary antiderivative of a given elementary function is an antiderivative 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). A theorem by Liouville in 1835 provided the first proof that nonelementary antiderivatives exist. This theorem also provides a basis for the Risch algorithm for determining (with difficulty) which elementary functions have elementary antiderivatives. It can be shown that, if one is given a function of any complexity, the probability that it will have an elementary antiderivative is very low.
Some examples of such functions are:
- (see Elliptic integral)
- (see Logarithmic integral)
- (see Exponential integral)
- (see Error function and Gaussian integral)
- and (see Fresnel integral)
- (see Sine integral and Dirichlet integral)
The evaluation of nonelementary antiderivatives can often be done using Taylor series. This is because Taylor series can always be integrated as one would an ordinary polynomial (using the fact that any Taylor series is uniformly convergent within its radius of convergence), even if there is no elementary antiderivative of the function that generated the Taylor series.
However, in some cases it is not possible to rely on Taylor series. For example, if the function is not infinitely differentiable, one cannot generate a Taylor series. Even if a Taylor series can be generated, there is a good possibility that it will diverge and not represent the function one is attempting to antidifferentiate; there even exist non-analytic but infinitely differentiable real-valued functions (see bump function). Many functions which are infinitely differentiable have higher order derivatives that are unmanageable by hand. In these cases, it is not possible to evaluate indefinite integrals, but definite integrals can be evaluated numerically, for instance by Simpson's rule. There are yet other cases (such as the Gaussian integral) where definite integrals can be evaluated exactly without numerical methods, but indefinite integrals cannot, for lack of an elementary antiderivative.
The integrals for many of these functions can be written down if one allows so-called “special” (nonelementary) functions. For example, the first example's integral is expressible using incomplete elliptic integrals of the first kind, the second and third use the logarithmic integral, the fourth the exponential integral, and the sixth the error function. Still, there exist functions, such as and for which no notation currently exists to describe their integrals (other than the use of the integrals themselves).
The closure under integration of the set of the elementary functions is the set of the Liouvillian functions.
- 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.
- Williams, Dana P., NONELEMENTARY ANTIDERIVATIVES, 1 Dec 1993. Accessed January 24, 2014.