Abstract
We generalize Liouville's theory of elementary functions to a larger class of differential extensions. Elementary, Liouvillian and trigonometric extensions are all special cases of our extensions. In the transcendental case, we show how the rational techniques of integration theory can be applied to our extensions, and we give a unified presentation which does not require separate cases for different monomials.
Similar content being viewed by others
Explore related subjects
Discover the latest articles and news from researchers in related subjects, suggested using machine learning.References
Bronstein, M: The transcendental Risch differential equation. J. Symb. Comput.9, 49–60 (1990a)
Bronstein, M.: Integration of elementary functions. J. Symb. Comput.9, 117–173 (1990b)
Cherry: Integration in finite terms with special functions: the error function. J. Symb. Comput.1, 283–302 (1985)
Cherry: Integration in finite terms with special functions: the logarithmic integral. SIAM J. Comput.15, 1–21 (1986)
Davenport, J. H.: Intégration formelle. IMAG Research Report No. 375, Grenoble 1983
Davenport, J. H.: The Risch differential equation problem. SIAM J. Computing15, 903–918 (1986). Also Technical Report 83-4, Department of Computer and Information Sciences, University of Delaware
Geddes, K. O., Stefanus, L. Y.: On the Risch-Norman integration method and its implementation in MAPLE. In Procedings ISSAC'89, pp. 212–217 (1989)
Hermite, E.: Sur l'intégration des fractions rationelles, Nouvelles Ann. Mathématiques 2me Sére11, 145–148 (1872)
Knowles, P.: Symbolic integration in terms of error functions and logarithmic integrals. Ph.D. thesis, North Carolina State University 1986
Risch, R.: The problem of integration in finite terms. Trans. Am. Math. Soc.139, 167–189 (1969)
Risch, R.: The solution of the problem of integration in finite terms. Bull. Am. Math. Soc.76, 605–608 (1970)
Rosenlicht, M.: Integration in finite terms. Am. Math. Monthly79, 963–972 (1972)
Rothstein, M.: Aspects of symbolic integration and simplification of exponential and primitive functions. Ph.D. thesis, University of Wisconsin, Madison 1976
Singer, M. F.: Liouvillian solutions of linear differential equations with Liouvillian coefficients. J. Symb. Comput. (to appear) 1988
Trager, B: Algebraic factoring and rational function integration. In: Proceedings SYMSAC'76, pp. 219–226 (1976)
Trager, B. M.: Integration of algebraic functions. Ph.D. thesis, Department of EECS, Mass. Inst. of Tech. 1984
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bronstein, M. A unification of Liouvillian extensions. AAECC 1, 5–24 (1990). https://doi.org/10.1007/BF01810844
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01810844