Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Manuel Bronstein, Integration of Elementary Functions ,University of California, Berkeley, California (1987). (Ph.D. thesis)
G. Cherry, Integration in Finite Terms with Special Functions: The Error Function, Journal of Symbolic Computation 1 pp. 283–302 (Sept. 1985).
G. Cherry, Integration in Finite Terms with Special Functions: The Logarithmic Integral, SLAM J. of Computing 15 pp. 1–21 (Feb. 1986).
I.S. Gradshteyn and I.M. Ryzhik, Tables of Integrals, Series, and Products ,Academic Press, New York (1965). (4th edition)
K.S. Kolbig, Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms, Journal of Symbolic Computation 1 pp. 109–114 (Mar. 1985).
R.H. Risch, The problem of integration in finite terms, Trans. Am. Math. Soc. 139 pp. 167–189 (1969).
Barry M. Trager, Integration of Algebraic Functions ,Massachusetts Institute of Technology, Cambridge, Mass. (1984). (Ph.D. thesis)
P.S. Wang, Evaluation of Definite Integrals by Symbolic Manipulation ,Massachusetts Institute of Technology, Cambridge, Mass. (1971). (Ph.D thesis).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag New York Inc.
About this paper
Cite this paper
Geddes, K.O., Scott, T.C. (1989). Recipes for Classes of Definite Integrals Involving Exponentials and Logarithms. In: Kaltofen, E., Watt, S.M. (eds) Computers and Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9647-5_24
Download citation
DOI: https://doi.org/10.1007/978-1-4613-9647-5_24
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97019-6
Online ISBN: 978-1-4613-9647-5
eBook Packages: Springer Book Archive