Skip to main content
Log in

Integration in finite terms: dilogarithmic integrals

  • Original Paper
  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. We no longer require that \(C_F\) is an algebraically closed field or that F is a liouvillian extension of \(C_F\).

  2. We thank the anonymous referee of [3] for pointing this out to us.

References

  1. Baddoura, J.: Integration in finite terms with elementary functions and dilogarithms. J. Symb. Comput. 41(8), 909–942 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  2. Hebisch, W.: Integration in terms of polylogarithm. arXiv:1810.05865

  3. Kaur, Y., Srinivasan, V.: Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions. J. Symb. Comput. 94, 210–233 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  4. Kolchin, E.R.: Algebraic groups and algebraic dependence. Am. J. Math. 90(4), 1151–1164 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ritt, J.F.: Integration in Finite Terms. Columbia University Press, New York (1948)

    Book  MATH  Google Scholar 

  6. Rosenlicht, M.: Liouville’s theorem on functions with elementary integrals. Pac. J. Math. 24, 153–161 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  7. Rubel, L., Singer, M.: Autonomous functions. J. Differ. Equ. 75, 354–370 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  8. 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Varadharaj R. Srinivasan.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-021-00518-3

Keywords

Navigation