On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations

DOI10.1007/S00009-022-01984-WMaRDI QIDQ2113584zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 14 March 2022

Published in Mediterranean Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

formal power seriesalgebraic differential equation

Mathematics Subject Classification ID

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

Abstract: Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or on the initial values is fulfilled, we compute all of the solutions. Moreover, when the existence is confirmed, we present the algebraic structure of the set of all formal power series solutions.

Recommendations

• Solving first order autonomous algebraic ordinary differential equations by places
• The space of generalized formal power series solutions of an ordinary differential equation
• The algebro-geometric method: Solving algebraic differential equations by parametrizations
• Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one
• Towards the convergence of generalized power series solutions of algebraic ODEs

Cites work

• scientific article; zbMATH DE number 1253998 (Why is no real title available?)
• scientific article; zbMATH DE number 1508543 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• About the cover: The Fine–Petrović Polygons and the Newton–Puiseux Method for Algebraic Ordinary Differential Equations
• Asymptotic behaviour and expansions of solutions of an ordinary differential equation
• Asymptotic differential algebra and model theory of transseries
• Computer Algebra and Geometric Algebra with Applications
• Computing with D-algebraic power series
• Effective power series computations
• Existence and convergence of Puiseux series solutions for autonomous first order differential equations
• Fast Algorithms for Manipulating Formal Power Series
• Fast computation of power series solutions of systems of differential equations
• Fast on-line integer multiplication
• Faster relaxed multiplication
• Generalized separants of differential polynomials
• Power series solutions of algebraic differential equations
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents
• Solving first order autonomous algebraic ordinary differential equations by places
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The space of generalized formal power series solutions of an ordinary differential equation
• Transseries and real differential algebra

Cited in

(3)

• Taylor series solutions of explicit ODE's in a strongly typed algebra system
• On the convergence of formal exotic series solutions of an ODE
• The space of generalized formal power series solutions of an ordinary differential equation

This page was built for publication: On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations

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