×

Integration in finite terms with elementary functions and dilogarithms. (English) Zbl 1158.12301

Summary: We report on a new theorem that generalizes Liouville’s theorem on integration in finite terms. The new theorem allows dilogarithms to occur in the integral in addition to transcendental elementary functions. The proof is based on two identities for the dilogarithm, that characterize all the possible algebraic relations among dilogarithms of functions that are built up from the rational functions by taking transcendental exponentials, dilogarithms, and logarithms. This means that we assume the integral lies in a transcendental tower.

MSC:

12H05 Differential algebra
33B10 Exponential and trigonometric functions
33F10 Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baddoura, J., 1987. A dilogarithmic extension of Liouville’s theorem on integration in finite terms. Technical report submitted to the Air Force Office of Scientific Research, AFOSR-85-0264, ADA 190149, TR-87-2039; Baddoura, J., 1987. A dilogarithmic extension of Liouville’s theorem on integration in finite terms. Technical report submitted to the Air Force Office of Scientific Research, AFOSR-85-0264, ADA 190149, TR-87-2039
[2] Baddoura, M.J., 1994. Integration in finite terms with elementary functions and dilogarithms, MIT Ph.D. Thesis, Department of Mathematics; Baddoura, M.J., 1994. Integration in finite terms with elementary functions and dilogarithms, MIT Ph.D. Thesis, Department of Mathematics · Zbl 0920.12004
[3] Coleman, R., Dilogarithms, regulators and p-adic L-functions, Invent. Math., 171-208 (1982) · Zbl 0516.12017
[4] Kolchin, E., Algebraic groups and algebraic independence, Amer. J. Math., 90, 1151-1164 (1968) · Zbl 0169.36701
[5] Moses, J., Towards a general theory of special functions, Comm. ACM, 15, 550-554 (1972) · Zbl 0245.65007
[6] Ostrowski, A., Sur les relations algebrique entre les integrales indefinies, Acta Math., 78, 315-318 (1946) · Zbl 0063.06062
[7] Rosenlicht, M., Liouville’s theorem on functions with elementary integrals, Pacific J. Math., 24, 153-161 (1968) · Zbl 0155.36702
[8] Rosenlicht, M.; Singer, M. F., On elementary, generalized elementary and liouvillian extension fields, (Bass; Cassidy; Kovaic, Contributions to Algebra (1977), Academic Press: Academic Press New York), 329-342
[9] Singer, M.; Saunders, B.; Caviness, B. F., An extension of Liouville’s theorem on integration in finite terms, SIAM J. Comput., 966-990 (1985) · Zbl 0575.12021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.