The problem of integration in finite terms
The problem of integration in finite terms is a scholarly work by Robert Risch, published in 1969 in ''Transactions of the American Mathematical Society''. The main subjects of the publication include field, mathematics, logarithm, algebraic function, pure mathematics, ordinary differential equation, algebra over a field, exponentiation, calculus, finite field, elementary function, generalized function, algebraic number, terminology, and biological function. The paper deals with the problem of telling whether a given elementary function, in the sense of analysis, has an elementary indefinite integral.In §1 of this work, authors give a precise definition of the elementary functions and develop the theory of integration of functions of a single variai ¿.By using functions of a complex, rather than a real variable, authors can limit ourselves to exponentiation, taking logs, and algebraic operations in defining the elementary functions, since sin, tan"1, etc., can be expressed in terms of these three.Following Ostrowski 9, authors use the concept of a differential field.We strengthen the classical Liouville theorem and derive a number of consequences.§2 uses the terminology of mathematical logic to discuss formulations of the problem of integration in finite terms.§3 (the major part of this paper) uses the previously developed theory to give an algorithm for determining the elementary integrability of those elementary functions which can be built up (roughly speaking) using only the rational operations, exponentiation and taking logarithms; however, if these exponentiations and logarithms can be replaced by adjoining constants and performing algebraic operations, the algorithm, as it is presented here, cannot be applied.The man who established integration in finite terms as a mathematical discipline was Joseph Liouville (1809-1882), whose work on this subject appeared in the years 1833-1841.The Russian mathematician D.