Integration in finite terms with elementary functions and dilogarithms
In this paper, 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. (c) 2006 Elsevier Ltd. All rights reserved.
integration in finite terms elementary functions dilogarithms differential algebra