Title
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Abstract
In this paper we study systems of autonomous algebraic ODEs in several differential indeterminates. We develop a notion of algebraic dimension of such systems by considering them as algebraic systems. Afterwards we apply differential elimination and analyze the behavior of the dimension in the resulting Thomas decomposition. For such systems of algebraic dimension one, we show that all formal Puiseux series solutions can be approximated up to an arbitrary order by convergent solutions. We show that the existence of Puiseux series and algebraic solutions can be decided algorithmically. Moreover, we present a symbolic algorithm to compute all algebraic solutions. The output can either be represented by triangular systems or by their minimal polynomials.
Year
DOI
Venue
2023
10.1016/j.jsc.2022.04.012
Journal of Symbolic Computation
Keywords
DocType
Volume
Algebraic autonomous ordinary differential equation,Puiseux series solution,Convergent solution,Artin approximation,Algebraic solution,Thomas decomposition
Journal
114
ISSN
Citations 
PageRank 
0747-7171
0
0.34
References 
Authors
3
4
Name
Order
Citations
PageRank
Jose Cano100.34
Sebastian Falkensteiner211.11
Daniel Robertz300.34
J. Rafael Sendra462168.33