Puiseux series solutions of ODEs

In this article, we will determine Puiseux series solutions of ordinary polynomial differential equations. We also study the binary complexity of computing such solutions. We will prove that this complexity bound is single exponential in the number of terms in the series. Our algorithm is based...

Full description

Bibliographic Details
Main Authors: Ali Ayad, Ali Fares, Youssef Ayyad, Raafat Tarraf
Format: Article
Language:English
Published: Texas State University 2015-05-01
Series:Electronic Journal of Differential Equations
Subjects:
Online Access:http://ejde.math.txstate.edu/Volumes/2015/135/abstr.html
Description
Summary:In this article, we will determine Puiseux series solutions of ordinary polynomial differential equations. We also study the binary complexity of computing such solutions. We will prove that this complexity bound is single exponential in the number of terms in the series. Our algorithm is based on a differential version of the Newton-Puiseux procedure for algebraic equations.
ISSN:1072-6691