Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms

  • K. O. Geddes
  • T. C. Scott


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.

Unable to display preview. Download preview PDF.


  1. 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
  2. Bro87.
    Manuel Bronstein, Integration of Elementary Functions ,University of California, Berkeley, California (1987). (Ph.D. thesis)Google Scholar
  3. Che85.
    G. Cherry, Integration in Finite Terms with Special Functions: The Error Function, Journal of Symbolic Computation 1 pp. 283–302 (Sept. 1985).CrossRefzbMATHMathSciNetGoogle Scholar
  4. Che86.
    G. Cherry, Integration in Finite Terms with Special Functions: The Logarithmic Integral, SLAM J. of Computing 15 pp. 1–21 (Feb. 1986).CrossRefzbMATHMathSciNetGoogle Scholar
  5. Gra65.
    I.S. Gradshteyn and I.M. Ryzhik, Tables of Integrals, Series, and Products ,Academic Press, New York (1965). (4th edition)Google Scholar
  6. Kol85.
    K.S. Kolbig, Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms, Journal of Symbolic Computation 1 pp. 109–114 (Mar. 1985).CrossRefMathSciNetGoogle Scholar
  7. Ris69.
    R.H. Risch, The problem of integration in finite terms, Trans. Am. Math. Soc. 139 pp. 167–189 (1969).CrossRefzbMATHMathSciNetGoogle Scholar
  8. Tra84.
    Barry M. Trager, Integration of Algebraic Functions ,Massachusetts Institute of Technology, Cambridge, Mass. (1984). (Ph.D. thesis)Google Scholar
  9. Wan71.
    P.S. Wang, Evaluation of Definite Integrals by Symbolic Manipulation ,Massachusetts Institute of Technology, Cambridge, Mass. (1971). (Ph.D thesis).Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1989

Authors and Affiliations

  • K. O. Geddes
    • 1
  • T. C. Scott
    • 2
  1. 1.Department of Computer ScienceUniversity of WaterlooWaterlooCanada
  2. 2.Department of PhysicsUniversity of WaterlooWaterlooCanada

Personalised recommendations