Abstract
This paper studies rational and Liouvillian first integrals of homogeneous linear differential systems Y′=AY over a differential field k. Following [26], our strategy to compute them is to compute the Darboux polynomials associated with the system. We show how to explicitly interpret the coefficients of the Darboux polynomials as functions on the solutions of the system; this provides a correspondence between Darboux polynomials and semi-invariants of the differential Galois groups, which in turn gives indications regarding the possible degrees for Darboux polynomials (particularly in the completely reducible cases). The algorithm is implemented and we give some examples of computations.
Research supported by the École Polytechnique, the CNRS GDR 1026 (MEDICIS), the GDR-PRC 967 (Math-Info), and the CEC ESPRIT BRA contract 6846 (POSSO). The computations have been performed on the machines supplied by MEDICIS.
Preview
Unable to display preview. Download preview PDF.
References
Barkatou A.. An algorithm for computing a companion block diagonal form for a system of linear differential equations, Journal of Appl. Alg. in Eng. Comm. and Comp., vol 4 (1993), pp. 185–195.
Bertrand D. Théorie de Galois différentielle Cours de DEA, Notes rédigées par R. Lardon, Université de Paris VI, 1986
Beukers F & Brownawell D & Heckmann G. Siegel Normality Annals of Math, vol 127 (1998), pp. 279–308
Bronstein M.Solutions of linear differential equations in their coefficient field J.Symb.Comp 13, 1992, p 413–439.
Fakler W. Algorithmen zur symbolischen lösung homogener linearer differentialgleichungen Diplomarbeit, Universität Karlsruhe, Mai 1994.
Kaplansky I.An introduction to differential algebra Second edition, Hermann, Paris 1976.
Kolchin E. R.Existence theorems connected with the Picard-Vessiot theory of homogeneous linear ordinary differential equations, Bull. Amer. Math. Soc, vol 54 (1948), pp 927–932
Kolchin E. R. Differential algebra and algebraic groups Academic Press, 1973.
Lang S. Algebra Third edition, Addison-Wesley, 1992.
Morales J.J. Non integrability of Hamiltonian systems and Stokes multipliers Preprint, University of Barcelona, april 94.
Martinet J. & Ramis J.P.Généralités sur la théorie de Galois différentielle In Computer Algebra and Differential Equations, Ed. E. Tournier, New York: Academic Press. (1990)
Moulin-Ollagnier J & Nowicki A & Strelcyn J.M. On the non-existence of constants of derivations: the proof of a theorem of Jouanolou and is developpment, preprint, September 1993, to appear.
Poole E.G.C.Introduction to the theory of linear differential equations Clarendon Press, Oxford, 1936 (reprint: Dover, 1960)
Singer M.F.Liouvillian solutions of n-th order homogeneous linear differential equations Amer. J.Mat. 103 (1981) pp 661–682.
Singer M.F.An outline of differential Galois theory In Computer Algebra and Differential Equations, Ed. E. Tournier, New York: Academic Press. (1990)
Singer M.F.Liouvillian solutions of linear differential equations with liouvillian coefficients J.Symb.Comp (1991) vol 11, pp 251–273.
Singer M.F.Liouvillian first integrals of differential equations Trans. Amer. Math. Soc, 333 (1992) Number 2, pp 673–687.
Singer M.F. Reducibility of differential operators: a group theoretic perspective Preprint, University of North Carolina, 1994 (to appear in Journal of Appl. Alg. in Eng. Comm. and Comp.)
Singer M.F. & Ulmer F.Galois groups of second and third order linear differential equations J.Symb.Comp (1993) vol 16, pp 1–36.
Singer M.F. & Ulmer F.Liouvillian and algebraic solutions of second and third order linear differential equations J.Symb.Comp (1993) vol 16, pp 37–73.
Singer M.F. & Ulmer F.On a third order equation whose differential Galois group is the simple group of 168 elements Proceedings of AAECC-10 (Porto-Rico) Ed. Mora & Moreno, Lecture Notes in Computer Science, Springer, 1994.
Springer T.A. Invariant theory Lect. Notes in Math. 585, Springer 1977. 1981
Ulmer F On liouvillian solutions of differential equations, Journal of Appl. Alg. in Eng. Comm. and Comp. vol 2, (1992).
Ulmer F & Weil J.A. Note on Kovacic's algorithm Prepublication IRMAR 94-13, Rennes Juillet 94.
Weber H.Traité d'algèbre supérieure Gauthiers-Villard, Paris, 1898.
Weil J.A. The use of the Special semi-groups for solving quasi-linear differential equations Proceedings ISSAC 94, ACM press 1994.
Weil J.A.Constantes et polynômes de Darboux en algèbre différentielle PhD dissertation, École Polytechnique, Paris, spring 1995 (To appear).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weil, JA. (1995). First integrals and Darboux polynomials of homogeneous linear differential systems. In: Cohen, G., Giusti, M., Mora, T. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1995. Lecture Notes in Computer Science, vol 948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60114-7_37
Download citation
DOI: https://doi.org/10.1007/3-540-60114-7_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60114-2
Online ISBN: 978-3-540-49440-9
eBook Packages: Springer Book Archive