Computer Algebra Solving of First Order ODEs Using Symmetry Methods

Abstract

A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the explicit determination of the coefficients of the infinitesimal symmetry generator; the construction of the most general invariant 1st. order ODE under given symmetries; the determination of the canonical coordinates of the underlying invariant group; and the testing of the returned results.

14 pages, LaTeX, submitted to Computer Physics Communications. Soft-package (On-Line Help) and sample MapleV session available at: http://dft.if.uerj.br/symbcomp.htm or ftp://dft.if.uerj.br/pdetools

References in corpus (1)

• Computer Algebra Solving of First Order ODEs Using Symmetry Methods

Cited by in corpus (21)

• Abel ODEs: Equivalence and Integrable Classes
• Computer Algebra Solving of First Order ODEs Using Symmetry Methods
• Computer Algebra Solving of Second Order ODEs Using Symmetry Methods
• A Method to Tackle First Order Differential Equations with Liouvillian Functions in the Solution
• Determining Liouvillian First Integrals for Dynamical Systems in the Plane
• Dealing with Rational Second Order Ordinary Differential Equations where both Darboux and Lie Find It Difficult: The $S$-function Method
• Computing ODE Symmetries as Abnormal Variational Symmetries
• Spherically symmetric massive scalar fields in GR
• First order ODEs, Symmetries and Linear Transformations
• Discovering Symmetries of ODEs by Symbolic Regression
• Solving second order equations by extending the PS method
• Prelle-Singer Approach and Liouvillian Solutions: An Important Result
• Integrating Factors and ODE Patterns
• Finding Elementary First Integrals for Rational Second Order Ordinary Differential Equations
• An Algorithm for Detecting "Linear" Solutions of Nonlinear Polynomial Differential Equations
• Improving a family of Darboux methods for rational second order ordinary differential equations
• A Semi-Algorithmic Search for Lie Symmetries
• Solving 1ODEs with functions
• Towards a New ODE Solver Based on Cartan's Equivalence Method
• Implementation of the Prelle-Singer Method for 1ODEs
• Integrating factors for second order ODEs