Abstract
Progress and plans for the implementation of an ordinary differential equation solver in REDUCE 3.3 are reported; the aim is to incorporate the best available methods for obtaining closed-form solutions, and to aim at the ‘best possible’ alternative when this fails. It is hoped that this will become a part of the standard REDUCE program library. Elementary capabilities have already been implemented (to the level of a first course for students), i.e methods for first order differential equations of simple types (separable, ‘homogeneous’, ‘reducible to homogeneous’, linear, exact and Bernoulli) and linear equations of any order with constant coefficients. The further methods to be used include: for first-order equations, an adaptation of Shtokhamer's [1] MACSYMA program based on the results of Prelle and Singer [2]; for higher-order linear equations, factorisation of the operator where possible, and use of methods following results of Singer [3,4] and others; and for non-linear equations, the exploitation of Lie symmetries.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. Shtokhamer, “Solving first order differential equations using the Prelle-Singer algorithm”, Technical report 88-09, Center for Mathematical Computation, University of Delaware (1988).
M.J. Prelle and M.F. Singer, “Elementary first integrals of differential equations”, Trans. Amer. Math. Soc. 279, 215 (1983)
M. Singer, “Liouvillian solutions of n-th order homogeneous linear differential equations”, Amer. J. Math 103, 661 (1981).
M.F. Singer, “Solving homogeneous linear differential equations in terms of second-order linear differential equations”, Amer. J. Math. 107, 663–696 (1985).
J.P. Golden, “MACSYMA's differential equation solver”, in 1977 MACSYMA Users' conference, ed. R.J. Fateman, NASA CP-2012 (1977).
A.C. Hearn, REDUCE User's manual, version 3.3, Rand Corporation CP78, Santa Monica, CA (1987).
P.J. Olver, Applications of Lie groups to differential equations, Springer-Verlag, Berlin and Heidelberg (1986).
H. Stephani, Differential equations — their solution using symmetry, ed. M.A.H. MacCallum, Cambridge University Press, New York and London (in press, 1989).
E. Kamke, Differentialgleichungen: Lösungsmethoden und Lösungen, Chelsea Publishing, New York (1959).
W.A. Beyer, “Lie group theory for symbolic integration of first order ordinary differential equations”, in 1979 MACSYMA Users' conference ed V.E. Lewis, pp. 362–384, MIT Laboratory for Computer Science (1979).
B. Char, “Using Lie transformations to find closed form solutions to first order ordinary differential equations”, in SYMSAC 81 ed. P.S. Wang, pp. 44–50, ACM, New York (1981).
J.H. Davenport, On the integration of algebraic functions, Lect. Notes in Comp. Sci. 102, Springer-Verlag, Berlin and Heidelberg (1981).
J.H. Davenport, “Integration: what do we want from the theory?”, in EUROCA 83 ed. J.A. van Hulzen, Lect. Notes in Comp. Sci. 162, 2, Springer-Verlag, Berlin and Heidelberg (1983).
A.C. Norman, “Integration in finite terms”, in Computer algebra: symbolic and algebraic computation, ed B. Buchberger, G.E. Collins and R. Loos, Springer-Verlag, Vienna (1983).
G.E. Murphy, Ordinary differential equations and their solutions, van Nostrand, Princeton (1960).
P. Schmidt, “Substitution methods for the automatic symbolic solution of differential equations of first order and first degree,” in EUROSAM 79 ed. E. Ng, Lect. Notes in Comp. Sci. 79, 164–176, Springer-Verlag, Berlin and Heidelberg (1979).
R. Shtokhamer, N. Glinos and B.F. Caviness, Computing elementary first integrals of differential equations, University of Delaware preprint, Newark, Delaware (1987).
E.R. Kolchin, Differential algebra and algebraic groups, Academic Press, New York and London (1973).
M.F. Singer, “Algebraic relations among solutions of linear differential equations”, Trans. Amer. Math. Soc. 295, 753–762 (1986).
S. Watanabe, “An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation”, in EUROSAM 84, ed J. Fitch, Lecture Notes in Computer Science 174, 13, Springer-Verlag, Berlin and Heidelberg (1984).
J.J. Kovacic, “An algorithm for solving second order linear homogeneous differential equations”, J. Symb. Comp. 2, 3–43 (1986).
B.D. Saunders, “An implementation of Kovacic's algorithm for solving second-order linear homogeneous differential equations”, in SYMSAC 1981, ed. P.S. Wang, ACM, New York (1981).
J.H. Davenport and M.F. Singer, “Elementary and Liouvillian solutions of linear differential equations”, in EUROCAL 85 vol 2, ed. B.F. Caviness, Lecture Notes in Computer Science 204, 255, Springer-Verlag, Berlin and Heidelberg (1985).
J.H. Davenport, Y. Siret and E. Tournier, Computer algebra: systems and algorithms for algebraic computation, Academic Press, New York and London (1988).
F. Schwarz, “A REDUCE package for determining Lie symmetries of ordinary and partial differential equations”, Computer Phys. Comm. 27, 179–186 (1982).
F. Schwarz, “Automatically determining symmetries of ordinary differential equations”, in EUROCAL 83, ed. J.A. van Hulzen, Lecture Notes in Computer Science 162, 45, Springer-Verlag, Berlin and Heidelberg (1983).
F. Schwarz, “Automatically determining symmetries of partial differential equations”, Computing 34, 91–106 (1985).
T. Wolf, “Analytic solutions of differential equations with computer algebra systems”, in this volume (1989).
É. Cartan, “Les sous-groupes des groupes continus des transformations”, Annales de l'École Normale 25, 87–194 (1908). Also Oeuvres Completes vol. 2, p. 719.
É. Cartan, “Les problèmes d'équivalence”, Séminaire de Math., 11 Jan 1937 (1937). Also Oeuvres Completes vol. 2, p. 1311.
N. Kamran, “Contributions to the study of the equivalence problem of Élie Cartan and its applications to partial and ordinary differential equations”, Princeton preprint (1988).
J. Della Dora, C. di Crescenzo and E. Tournier, “An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point”, in EUROSAM 82, ed J. Calmet, Lecture Notes in Computer Science 144, 273, Springer-Verlag, Berlin and Heidelberg (1982).
B. Malm, “A program in REDUCE for finding explicit solutions to certain ordinary differential equations”, in EUROSAM 82, ed J. Calmet, Lecture Notes in Computer Science 144, 269, Springer-Verlag, Berlin and Heidelberg (1982).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
MacCallum, M.A.H. (1989). An ordinary differential equation solver for REDUCE. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_18
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive