Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms
There are many classes of definite integrals for which the corresponding indefinite integral cannot be expressed in closed form whereas the definite integral can be expressed (often in terms of special functions). A computer algebra system should be capable of recognizing a wide variety of definite integrals and, in order to achieve a broad coverage, it is desirable to encode this knowledge in programs which are more general than simple table look-up. By exploiting integral definitions of the various special functions of mathematics and by generalization and differentiation, we are able to derive closed-form solutions for broad classes of definite integrals. In this paper we treat integrals involving exponentials and logarithms. The resulting programs, based on pattern matching and differentiation, are very efficient.
Unable to display preview. Download preview PDF.
- Abr66.M. Abramowitz and IA. Stegun, Handbook of Mathematical Functions ,Nat. Bur. Standards Appl. Math. Series 55, US Government Printing Office, Washington, D.C. (1966). (5th printing)Google Scholar
- Bro87.Manuel Bronstein, Integration of Elementary Functions ,University of California, Berkeley, California (1987). (Ph.D. thesis)Google Scholar
- Gra65.I.S. Gradshteyn and I.M. Ryzhik, Tables of Integrals, Series, and Products ,Academic Press, New York (1965). (4th edition)Google Scholar
- Tra84.Barry M. Trager, Integration of Algebraic Functions ,Massachusetts Institute of Technology, Cambridge, Mass. (1984). (Ph.D. thesis)Google Scholar
- Wan71.P.S. Wang, Evaluation of Definite Integrals by Symbolic Manipulation ,Massachusetts Institute of Technology, Cambridge, Mass. (1971). (Ph.D thesis).Google Scholar