Abstract
We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension generated by transcendental elementary functions and dilogarithmic integrals.
Similar content being viewed by others
Notes
We no longer require that \(C_F\) is an algebraically closed field or that F is a liouvillian extension of \(C_F\).
We thank the anonymous referee of [3] for pointing this out to us.
References
Baddoura, J.: Integration in finite terms with elementary functions and dilogarithms. J. Symb. Comput. 41(8), 909–942 (2006)
Hebisch, W.: Integration in terms of polylogarithm. arXiv:1810.05865
Kaur, Y., Srinivasan, V.: Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions. J. Symb. Comput. 94, 210–233 (2019)
Kolchin, E.R.: Algebraic groups and algebraic dependence. Am. J. Math. 90(4), 1151–1164 (1968)
Ritt, J.F.: Integration in Finite Terms. Columbia University Press, New York (1948)
Rosenlicht, M.: Liouville’s theorem on functions with elementary integrals. Pac. J. Math. 24, 153–161 (1968)
Rubel, L., Singer, M.: Autonomous functions. J. Differ. Equ. 75, 354–370 (1988)
Singer, M., Saunders, B., Caviness, B.: An extension of Liouville’s theorem on integration in finite terms. SIAM J. Comput. 14(4), 966–990 (1985)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kaur, Y., Srinivasan, V.R. Integration in finite terms: dilogarithmic integrals. AAECC 34, 539–551 (2023). https://doi.org/10.1007/s00200-021-00518-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-021-00518-3