Solving first order autonomous algebraic ordinary differential equations by places (Q782683)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solving first order autonomous algebraic ordinary differential equations by places |
scientific article |
Statements
Solving first order autonomous algebraic ordinary differential equations by places (English)
0 references
28 July 2020
0 references
The authors consider differential equations of the form \(F(y,y')=0\), where \(F\) is a polynomial. They present a method for computing formal power series solutions by means of places. A place is the equivalence class of an irreducible local parametrization of the curve \(F(a,b)=0\). They 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. If a particular initial value is given, they present a second algorithm that computes all the formal power series solutions, up to a suitable degree, corresponding to it. When the ground field is the field of complex numbers, they prove that the computed formal power series solutions are all convergent in suitable neighbourhoods.
0 references
algebraic autonomous differential equation
0 references
algebraic curve
0 references
local parametrization
0 references
place
0 references
formal power series solution
0 references
analytic solution
0 references
0 references