Integration of Nonelementary Functions

This page was motivated by many discussions on the cyberboard regarding

$$\int$$e^-x2dx

Liouville first proved (in 1835) that if f (x) and g(x) are rational functions (where g(x) is not a constant), then $\int$f (x)e^g(x)dx is elementary if and only if there exists a rational function R(x) such that

f (x) = R'(x) + R(x)g(x).

You should be able to use this theorem to easily show that $\int$e^-x2dx is NOT elementary.

This theorem can also be used to prove that integrals like

$$\int$$x^xdx,    $$\int$$$${\frac{{\sqrt{\sin x}}}{{x}}}$$dx,    $$\int$$$${\frac{{e^x}}{{x}}}$$dx,    $$\int$$$${\frac{{\sin x}}{{x}}}$$dx

are NOT elementary.

See KASPER T. (1980): "Integration in Finite Terms: the Liouville Theory", Mathematics Magazine 53 pp 195 - 201.
See also papers by Maxwell Rosenlicht in the Pacific Journal of Mathematics 54 (1968) pp 153 - 161 and 65 (1976) pp 485 - 492.

Alternatively, Ritt (in his textbook Integration in Finite Terms, New York: Columbia University Press 1948) has the wicked result that if $\int$f (x)e^g(x)dx can be integrated in a finite number of terms using elementary functions, then the primitive must be R(x)e^g(x) for some rational function R(x).

So by taking the derivatives of both sides of

$$\int$$f (x)e^-x2dx = R(x)e^-x2

and matching powers, you can show that $\int$e^-x2dx cannot be integrated in a finite number of elementary terms.

Additionally, Chebyshev first proved that $\int$x^p(a + bx^r)^qdx can be integrated in a finite number of elementary terms if and only if at least one of $${\frac{{p + 1}}{{r}}}$$, q or $${\frac{{p + 1}}{{r}}}$$ + q is an integer.

See MARCHISOTO and ZAKERI (1994): "An Invitation to Integration in Finite Terms", The College Mathematics Journal 25 No. 4 Sept. pp 295 - 308.

A good reference on non-elementary integrals is MEAD D. G. (1961): "Integration", American Mathematical Monthly Feb. pp 152 - 156.
Another paper to look at is FITT A. D. and HOARE G. T. Q. (1993): "The Closed-Form integration of Arbitrary Functions" Mathematical Gazette pp 227 - 236.

[Calculus] [Geometry] [Algebra] [Trigonometry ] [Differential Equations] [Complex Variables] [Matrix Algebra]

S.O.S MATHematics home page

Do you need more help? Please post your question on our S.O.S. Mathematics CyberBoard.

Copyright © 1999-2023 MathMedics, LLC. All rights reserved.
Contact us
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA
users online during the last hour