Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
Davenport, J. H.
Annales de l'Institut Fourier, Tome 34 (1984), p. 271-276 / Harvested from Numdam

On considère le problème de déterminer les solutions d’une équation différentielle ordinaire, dite de Risch sur une courbe algébrique. En fait une généralisation assez évidente de la méthode de Risch suffit mais elle nous permet de généraliser son algorithme d’intégration à toute extension élémentairement transcendante d’une extension algébrique des fonctions rationnelles.

We consider the problem of determining the solutions of an ordinary differential equation of Risch type on an algebraic curve. In fact, a relatively straight-forward generalisation of Risch’s method gives the answer which allows us to generalise his integration algorithm to elementary transcendental extensions of algebraic extensions of the rational functions.

@article{AIF_1984__34_2_271_0,
     author = {Davenport, J. H.},
     title = {Int\'egration algorithmique des fonctions \'el\'ementairement transcendantes sur une courbe alg\'ebrique},
     journal = {Annales de l'Institut Fourier},
     volume = {34},
     year = {1984},
     pages = {271-276},
     doi = {10.5802/aif.973},
     mrnumber = {85i:12009},
     zbl = {0506.34002},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/AIF_1984__34_2_271_0}
}
Davenport, J. H. Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique. Annales de l'Institut Fourier, Tome 34 (1984) pp. 271-276. doi : 10.5802/aif.973. http://gdmltest.u-ga.fr/item/AIF_1984__34_2_271_0/

[1] C. Chevalley, Introduction to the Theory of Algebraic Functions of one Variable, A.M.S. Surveys, VI (1951). | MR 13,64a | Zbl 0045.32301

[2] J. Coates, Construction of Rational Functions on a Curve, Proc. Cam. Phil. Soc., 68 (1970), 105-113. | MR 41 #3477 | Zbl 0215.37302

[3] J. H. Davenport, On the Integration of Algebraic Functions, Springer Lecture Notes in Computer Science, 102 (1981). | MR 84k:14024 | Zbl 0471.14009

[4] J. H. Davenport. Intégration Formelle, Rapport de Recherche IMAG, Mai 1983.

[5] J. H. Davenport and B. M. Trager, Factorization over Finitely Generated Fields. Proc. SYMSAC 81 (ed. P.S. Wang), A.C.M., New York, 1981. | Zbl 0481.68040

[6] R. H. Risch. The Problem of Integration in Finite Terms, Trans. A.M.S., 139 (1969), 167-189. | MR 38 #5759 | Zbl 0184.06702

[7] R. H. Risch, The Solution of the Problem of Integration in Finite Terms, Bull. A.M.S., 76 (1970), 605-608. | MR 42 #4530 | Zbl 0196.06801

[8] B. M. Trager, Algebraic Factoring and Rational Function Integration, Proc. SYMSAC 76 (ed. R.D. Jenks), A.C.M., New York, 1976. | Zbl 0498.12005

[9] B. L. Van Der Waerden, Modern Algebra, F. Ungar, New York, 1949 (trad. de Moderne Algebra 2nd ed., Springer, Berlin, 1937).