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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references