Comments on Rosenlicht’s Integration in finite terms. (English) Zbl 1511.26006
Raab, Clemens G. (ed.) et al., Integration in finite terms: fundamental sources. Cham: Springer. Texts Monogr. Symb. Comput., 11-30 (2022).
Summary: In 1968, M. Rosenlicht [Am. Math. Mon. 79, 963–972 (1972; Zbl 0249.12106)] published the first purely algebraic proof of Liouville’s Theorem on Integration in Finite Terms (which we will simply refer to as “Liouville’s Theorem”). This paper, together with R. H. Risch’s paper [Trans. Am. Math. Soc. 139, 167–189 (1969; Zbl 0184.06702)], stimulated renewed interest in both the mathematical and algorithmic aspects of this area. The paper Integration in Finite Terms [M. Rosenlicht, in: Integration in finite terms: fundamental sources. Cham: Springer. 1–10 (2022; Zbl 1511.12002)] appearing in this volume presents the material of [Rosenlicht, loc. cit.] in a simplified form, suitable for an advanced undergraduate.
For the entire collection see [Zbl 1490.26001].
For the entire collection see [Zbl 1490.26001].
References:
| [1] | James Ax, On Schanuel’s conjectures, Ann. of Math. (2) 93 (1971), 252-268. MR 0277482 · Zbl 0232.10026 |
| [2] | Jamil Baddoura, A Conjecture on Integration in Finite Terms with Ele-mentary Functions and Polylogarithms, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM, 1994, pp. 158-162. · Zbl 0920.12004 |
| [3] | , A note on symbolic integration with polylogarithms, Mediterr. J. Math. 8 (2011), no. 2, 229-241. MR 2802326 · Zbl 1215.26004 |
| [4] | Manuel Bronstein, Robert M. Corless, James H. Davenport, and David J. Jeffrey, Algebraic properties of the Lambert function from a result of Rosenlicht and of Liouville, Integral Transforms Spec. Funct. 19 (2008), no. 9-10, 709-712. MR 2454730 · Zbl 1156.33004 |
| [5] | W. Dale Brownawell and Kenneth K. Kubota, The algebraic independence of Weierstrass functions and some related numbers, Acta Arith. 33 (1977), no. 2, 111-149. MR 0444582 · Zbl 0356.10027 |
| [6] | Manuel Bronstein, Symbolic integration. I Transcendental functions, Algorithms and Computation in Mathematics, vol. 1, Springer-Verlag, Berlin, 1997, With a foreword by B. F. Caviness. MR 1430096 [Bro07] , Structure theorems for parallel integration, J. Symbolic Comput. 42 (2007), no. 7, 757-769, Paper completed by Manuel Kauers. MR 2348061 · Zbl 1203.68320 |
| [7] | Bob F. Caviness, On canonical forms and simplification, J. Assoc. Comput. Mach. 17 (1970), 385-396. MR 0281386 · Zbl 0193.31302 |
| [8] | Shaoshi Chen, Hao Du, and Ziming Li, Additive decompositions in prim-itive extensions, ISSAC’18-Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2018, pp. 135-142. MR 3840374 |
| [9] | Guy W. Cherry, Integration in finite terms with special functions: the error function, J. Symbolic Comput. 1 (1985), no. 3, 283-302. MR 849037 · Zbl 0586.68030 |
| [10] | , Integration in finite terms with special functions: the logarithmic integral, SIAM J. Comput. 15 (1986), no. 1, 1-21. MR 822189 · Zbl 0612.12019 |
| [11] | , An analysis of the rational exponential integral, SIAM J. Comput. 18 (1989), no. 5, 893-905. MR 1015263 · Zbl 0677.68027 |
| [12] | Bob F. Caviness and Michael Rothstein, A Liouville theorem on integration in finite terms for line integrals, Comm. Algebra 3 (1975), no. 9, 781-795. MR 0384764 · Zbl 0339.12106 |
| [13] | James H. Davenport, On the integration of algebraic functions, Lecture Notes in Computer Science, vol. 102, Springer-Verlag, Berlin-New York, 1981. MR 617377 · Zbl 0471.14009 |
| [14] | Viacheslav Alekseevich Dobrovol’skii, Natalia Vasilevna Lokot’, and Jean-Marie Strelcyn, Mikhail Nikolaevich Lagutinskii (1871-1915): un mathématicien méconnu, Historia Math. 25 (1998), no. 3, 245-264. MR 1649949 · Zbl 0914.01023 |
| [15] | James H. Davenport and Michael F. Singer, Elementary and Liouvillian solutions of linear differential equations, J. Symbolic Comput. 2 (1986), no. 3, 237-260. MR 860538 · Zbl 0652.12016 |
| [16] | Harvey I. Epstein and Bob F. Caviness, A structure theorem for the elementary functions and its application to the identity problem, Internat. J. Comput. Inform. Sci. 8 (1979), no. 1, 9-37. MR 523633 · Zbl 0421.68043 |
| [17] | Harvey I. Epstein, A natural structure theorem for complex fields, SIAM J. Comput. 8 (1979), no. 3, 320-325. MR 539250 · Zbl 0426.68014 |
| [18] | Graham R. Everest and Alf J. van der Poorten, Factorisation in the ring of exponential polynomials, Proc. Amer. Math. Soc. 125 (1997), no. 5, 1293-1298. MR 1401740 · Zbl 1017.11009 |
| [19] | Phillip A. Griffiths, Variations on a theorem of Abel, Invent. Math. 35 (1976), 321-390. MR 0435074 · Zbl 0339.14003 |
| [20] | , The legacy of Abel in algebraic geometry, The legacy of Niels Henrik Abel, Springer, Berlin, 2004, pp. 179-205. MR 2077573 · Zbl 1072.14001 |
| [21] | Goeffry H. Hardy, The integration of functions of a single variable, Hafner Publishing Co., New York, 1971, Reprint of the second edition, 1916, Cambridge Tracts in Mathematics and Mathematical Physics, No. 2. MR 0349924 · JFM 46.1461.03 |
| [22] | Waldemar Hebisch, Integration in terms of exponential integrals and incomplete gamma functions, ACM Commun. Comput. Algebra 49 (2015), no. 3, 98-100. MR 3434590 [Heb18] , Integration in terms of polylogarithm, Preprint. arXiv:1810.05865, 2018. · Zbl 1365.68492 |
| [23] | , Symbolic integration in the spirit of Liouville, Abel and Lie, Preprint. arXiv:2104.06226, 2021. |
| [24] | C. Ward Henson, Lee A. Rubel, and Michael F. Singer, Algebraic proper-ties of the ring of general exponential polynomials, Complex Variables Theory Appl. 13 (1989), no. 1-2, 1-20. MR 1029352 · Zbl 0647.32003 |
| [25] | Joseph Johnson, Differential dimension polynomials and a fundamental theorem on differential modules, Amer. J. Math. 91 (1969), 239-248. MR 0238822 · Zbl 0179.34303 |
| [26] | , Kähler differentials and differential algebra, Ann. of Math. (2) 89 (1969), 92-98. MR 0238823 · Zbl 0179.34302 |
| [27] | Toni Kasper, Integration in finite terms: the Liouville theory, Math. Mag. 53 (1980), no. 4, 195-201. MR 600228 · Zbl 0465.12010 |
| [28] | Paul H. Knowles, Integration of a class of transcendental Liouvillian functions with error-functions. I, J. Symbolic Comput. 13 (1992), no. 5, 525-543. MR 1170095 · Zbl 0759.12001 |
| [29] | , Integration of a class of transcendental Liouvillian functions with error-functions. II, J. Symbolic Comput. 16 (1993), no. 3, 227-241. MR 1259671 · Zbl 0796.12004 |
| [30] | Leo Koenigsberger, Bermekungen zu Liouville’s Classificirung der Tran-scendenten, Math. Ann. 28 (1887), 482-492. |
| [31] | Ellis R. Kolchin, Algebraic groups and algebraic dependence, Amer. J. Math. 90 (1968), 1151-1164. MR 0240106 · Zbl 0169.36701 |
| [32] | Yashpreet Kaur and Varadharaj R. Srinivasan, Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions, J. Symbolic Comput. 94 (2019), 210-233. MR 3945065 · Zbl 1436.12007 |
| [33] | , Integration in finite terms: dilogarithmic integrals, Appl. Algebra Engrg. Comm. Comput. (2021). |
| [34] | Pierre-Simon Laplace, Théorie analytique de probabilité, 3 e ed., V Courcier, Paris, 1812. |
| [35] | Utsanee Leerawat and Vichian Laohakosol, A generalization of Liouville’s theorem on integration in finite terms, J. Korean Math. Soc. 39 (2002), no. 1, 13-30. MR 1872579 · Zbl 0997.12007 |
| [36] | Jesper Lützen, Joseph Liouville 1809-1882: master of pure and applied mathematics, Studies in the History of Mathematics and Physical Sciences, vol. 15, Springer-Verlag, New York, 1990. MR 1066463 · Zbl 0701.01015 |
| [37] | Carolla Mack, Integration of affine forms over elementary functions, Tech. report, Computer Science Department, University of Utah, 1976, VCP-39. |
| [38] | Angus Macintyre, Turing meets Schanuel, Ann. Pure Appl. Logic 167 (2016), no. 10, 901-938. MR 3522649 · Zbl 1432.03063 |
| [39] | David Masser, Integration in elementary terms, Newsletter London Math. Soc. 473 (2017), 30-36. |
| [40] | Dimitry Mordukhai-Boltovski, Researches on the integration in finite terms of differential equations of the first order, Communications de la Société Mathématique de Kharkov X (1906-1909), 34-64, 231-269 (Russian), Translation of pp. 34-64, B. Korenblum and M.J. Prelle, SIGSAM Bulletin, Vol.15, No. 2, May 1981, pp. 20-32. · Zbl 0474.34003 |
| [41] | , On the integration in finite terms of linear differential equations (in Russian) available at http://eqworld.ipmnet.ru/ru/library/ mathematics/ode.htm., Warsaw, 1910. |
| [42] | , On the integration of transcendental functions (in Russian), Warsaw, 1913. |
| [43] | , Sur la résolution des équations différentielles du premier ordre en forme finie, Rendiconti del circolo matematico di Palermo (1937), 49-72. · JFM 63.1020.05 |
| [44] | Joel Moses and Richard Zippel, An extension of Liouville’s theorem, Symbolic and algebraic computation (EUROSAM ’79, Internat. Sympos., Marseille, 1979), Lecture Notes in Comput. Sci., vol. 72, Springer, Berlin-New York, 1979, pp. 426-430. MR 575703 · Zbl 0421.68042 |
| [45] | Elana A. Marchisotto and Gholam-Ali Zakeri, An Invitation to Integration in Finite Terms, Coll. Math. J. 25 (1994), no. 4, 295-308. · Zbl 1291.26013 |
| [46] | David Masser and Umberto Zannier, Torsion points, Pell’s equation, and integration in elementary terms, Acta Math. 225 (2020), no. 2, 227-313. MR 4205408 · Zbl 1470.11163 |
| [47] | Arthur C. Norman and James H. Davenport, Symbolic integration-the dust settles?, Symbolic and algebraic computation (EUROSAM ’79, Internat. Sympos., Marseille, 1979), Lecture Notes in Comput. Sci., vol. 72, Springer, Berlin-New York, 1979, pp. 398-407. MR 575700 · Zbl 0399.68056 |
| [48] | Alexandre Ostrowski, Sur les relations algébriques entre les intégrales indéfinies, Acta Math. 78 (1946), 315-318. MR 0016764 · Zbl 0063.06062 |
| [49] | , Sur l’intégrabilité élémentaire de quelques classes d’expressions, Comment. Math. Helv. 18 (1946), 283-308. MR 0016763 · Zbl 0063.06063 |
| [50] | Myra J. Prelle and Michael F. Singer, Elementary first integrals of differential equations, Trans. Amer. Math. Soc. 279 (1983), no. 1, 215-229. MR 704611 · Zbl 0527.12016 |
| [51] | Clemens G. Raab, Definite Integration in Differential Fields, Ph.D. thesis, Johannes Kepler Univ. Linz, Austria, 2012, http://www.risc.jku. at/publications/download/risc_4583/PhD_CGR.pdf. |
| [52] | Michael Rothstein and Bob F. Caviness, A structure theorem for exponen-tial and primitive functions, SIAM J. Comput. 8 (1979), no. 3, 357-367. MR 539254 · Zbl 0432.12015 |
| [53] | Robert H. Risch, On Real Elementary Functions, SDC Document SP-2801/001/00, May 1967. |
| [54] | , The problem of integration in finite terms, Trans. Amer. Math. Soc. 139 (1969), 167-189. MR 0237477 [Ris76] , Implicitly elementary integrals, Proc. Amer. Math. Soc. 57 (1976), no. 1, 1-7. MR 0409427 [Ris79] , Algebraic properties of the elementary functions of analysis, Amer. J. Math. 101 (1979), no. 4, 743-759. MR 536040 · Zbl 0438.12016 |
| [55] | Joseph F. Ritt, On the integrals of elementary functions, Trans. Amer. Math. Soc. 25 (1923), no. 2, 211-222. MR 1501240 [Rit25] , Elementary functions and their inverses, Trans. Amer. Math. Soc. 27 (1925), no. 1, 68-90. MR 1501299 |
| [56] | , A factorization theory for functions =1 e , Trans. Amer. Math. Soc. 29 (1927), no. 3, 584-596. MR 1501406 · JFM 53.0122.06 |
| [57] | , On the integration in finite terms of linear differential equations of the second order, Bull. Amer. Math. Soc. 33 (1927), no. 1, 51-57. MR 1561321 [Rit29] , Algebraic combinations of exponentials, Trans. Amer. Math. Soc. 31 (1929), no. 4, 654-679. MR 1501505 [Rit48] , Integration in Finite Terms. Liouville’s Theory of Elementary Methods, Columbia University Press, New York, N. Y., 1948. MR 0024949 |
| [58] | Maxwell Rosenlicht, Liouville’s theorem on functions with elementary integrals, Pacific J. Math. 24 (1968), 153-161. MR 0223346 [Ros69] , On the explicit solvability of certain transcendental equations, Inst. Hautes Études Sci. Publ. Math. (1969), no. 36, 15-22. MR 0258808 [Ros72] , Integration in finite terms, Amer. Math. Monthly 79 (1972), 963-972. MR 0321914 · Zbl 0155.36702 |
| [59] | , An analogue of l’Hospital’s rule, Proc. Amer. Math. Soc. 37 (1973), 369-373. MR 0318117 [Ros76] , On Liouville’s theory of elementary functions, Pacific J. Math. 65 (1976), no. 2, 485-492. MR 0447199 · Zbl 0318.12107 |
| [60] | Maxwell Rosenlicht and Michael F. Singer, On elementary, generalized elementary, and Liouvillian extension fields, Contributions to algebra (collection of papers dedicated to Ellis Kolchin) (1977), 329-342. MR 0466093 · Zbl 0369.12016 |
| [61] | Michael F. Singer, Elementary solutions of differential equations, Pacific. J. Math. 59 (1975), no. 2, 535-547. MR 0389874 [Sin76] , Solutions of linear differential equations in function fields of one variable, Proc. Amer. Math. Soc. 54 (1976), 69-72. MR 0387260 · Zbl 0318.12106 |
| [62] | , Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc. 333 (1992), no. 2, 673-688. MR 1062869 · Zbl 0756.12006 |
| [63] | Varadharaj R. Srinivasan, Liouvillian solutions of first order nonlinear differential equations, J. Pure Appl. Algebra 221 (2017), no. 2, 411-421. MR 3545269 · Zbl 1418.34004 |
| [64] | , Corrigendum to “Liouvillian solutions of first order nonlinear differential equations” [J. Pure Appl. Algebra 221 (2) (2017) 411-421], J. Pure Appl. Algebra 222 (2018), no. 6, 1372-1374. MR 3754430 [Sri20] , Differential subfields of Liouvillian extensions, J. Algebra 550 (2020), 358-378. MR 4058220 · Zbl 1418.34004 |
| [65] | Michael F. Singer, B. David Saunders, and Bob F. Caviness, An extension of Liouville’s theorem on integration in finite terms, SIAM J. Comput. 14 (1985), no. 4, 966-990. MR 807895 · Zbl 0575.12021 |
| [66] | Marius van der Put and Michael F. Singer, Galois theory of linear differential equations, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 328, Springer-Verlag, Berlin, 2003. MR 1960772 · Zbl 1036.12008 |
| [67] | Umberto Zannier, Elementary integration of differentials in families and conjectures of Pink, Proceedings of the International Congress of Mathematicians-Seoul 2014. Vol. II, Kyung Moon Sa, Seoul, 2014, pp. 531-555. MR 3728626 · Zbl 1373.11049 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
