Skip to Main content Skip to Navigation
Conference papers

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package

Abstract : There exist several methods for computing exact solutions of algebraic differential equations. Most of the methods, however, do not ensure existence and uniqueness of the solutions and might fail after several steps, or are restricted to linear equations. The authors have presented in previous works a method to overcome this problem for autonomous first order algebraic ordinary differential equations and formal Puiseux series solutions and algebraic solutions. In the first case, all solutions can uniquely be represented by a sufficiently large truncation and in the latter case by its minimal polynomial. The main contribution of this paper is the implementation, in a MAPLE-package named FirstOrderSolve, of the algorithmic ideas presented therein. More precisely, all formal Puiseux series and algebraic solutions, including the generic and singular solutions, are computed and described uniquely. The computation strategy is to reduce the given differential equation to a simpler one by using local parametrizations and the already known degree bounds.
Document type :
Conference papers
Complete list of metadata
Contributor : François Boulier Connect in order to contact the contributor
Submitted on : Friday, March 12, 2021 - 11:42:26 AM
Last modification on : Tuesday, January 4, 2022 - 6:50:51 AM

Links full text


  • HAL Id : hal-03167642, version 1
  • ARXIV : 2103.03646



François Boulier, Jose Cano, Sebastian Falkensteiner, Rafael Sendra. Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package. Proceedings of the Maple Conference 2020, Nov 2020, Waterloo, Canada. ⟨hal-03167642⟩



Les métriques sont temporairement indisponibles