Solving first order autonomous algebraic ordinary differential equations by places

Given a first order autonomous algebraic ordinary differential equation, we present a method for computing formal power series solutions by means of places. We provide an algorithm for computing a full characterization of possible initial values, classified in terms of the number of distinct formal...

Descripción completa

Detalles Bibliográficos
Autores: Falkensteiner, Sebastian, Sendra Pons, Juan Rafael|||0000-0003-2568-1159
Tipo de recurso: artículo
Fecha de publicación:2019
País:España
Institución:Universidad de Alcalá (UAH)
Repositorio:e_Buah Biblioteca Digital Universidad de Alcalá
Idioma:inglés
OAI Identifier:oai:ebuah.uah.es:10017/55321
Acceso en línea:http://hdl.handle.net/10017/55321
https://dx.doi.org/10.1007/s11786-019-00431-6
Access Level:acceso abierto
Palabra clave:Algebraic autonomous differential equation
Algebraic curve
Local para-metrization
Place
Formal power series solution
Analytic solution
Matemáticas
Mathematics
Descripción
Sumario:Given a first order autonomous algebraic ordinary differential equation, we present a method for computing formal power series solutions by means of places. We provide an algorithm for computing a full characterization of possible initial values, classified in terms of the number of distinct formal power series solutions extending them. In addition, if a particular initial value is given, we present a second algorithm that computes all the formal power series solutions, up to a suitable degree, corresponding to it. Furthermore, when the ground field is the field of the complex numbers, we prove that the computed formal power series solutions are all convergent in suitable neighborhoods.