Existence and convergence of Puiseux series solutions for autonomous first order differential equations

DOI10.1016/J.JSC.2020.06.010MaRDI QIDQ2048161zbMATH OpenOpenAlexWikidataFDO

Authors J. Cano, Sebastian Falkensteiner, J. Rafael Sendra

Publication date 5 August 2021

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.09196

zbMATH Keywords

algebraic curvealgebraic differential equationconvergent solutionformal Puiseux series solutionplace

Mathematics Subject Classification ID

Implicit ordinary differential equations, differential-algebraic equations (34A09) Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25)

Abstract: Given an autonomous first order algebraic ordinary differential equation F(y,y')=0, we prove that every formal Puiseux series solution, expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide an algorithm to describe all such Puiseux series solutions. Moreover, we show that for any point in the complex plane there exists a solution of the differential equation which defines an analytic curve passing through this point.

Recommendations

• Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
• scientific article; zbMATH DE number 1466293
• Solving first order autonomous algebraic ordinary differential equations by places
• Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
• Puiseux series solutions of ordinary polynomial differential equations: complexity study

Cites work

• A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs
• Algebraic general solutions of algebraic ordinary differential equations
• An extension of the Newton-Puiseux polygon construction to give solutions of Pfaffian forms
• Computer Algebra and Geometric Algebra with Applications
• Deciding the existence of rational general solutions for first-order algebraic ODEs
• scientific article; zbMATH DE number 4146129 (Why is no real title available?)
• scientific article; zbMATH DE number 1253998 (Why is no real title available?)
• scientific article; zbMATH DE number 1420929 (Why is no real title available?)
• scientific article; zbMATH DE number 3059981 (Why is no real title available?)
• scientific article; zbMATH DE number 3104956 (Why is no real title available?)
• Rational general solutions of algebraic ordinary differential equations
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents

Cited in

(8)

• Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
• On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations
• Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
• scientific article; zbMATH DE number 1466293 (Why is no real title available?)
• The algebro-geometric method: Solving algebraic differential equations by parametrizations
• The asymptotic solutions of two-term linear fractional differential equations via Laplace transform
• From formal to actual Puiseux series solutions of algebraic differential equations of first order
• Rational solutions of parametric first-order algebraic differential equations

This page was built for publication: Existence and convergence of Puiseux series solutions for autonomous first order differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2048161)