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

DOI10.1007/S00009-022-01984-WzbMATH Open1492.34015arXiv1803.09646OpenAlexW3181346485WikidataQ115390231 ScholiaQ115390231MaRDI QIDQ2113584FDOQ2113584

Authors: Yanyan Li 

Publication date: 14 March 2022

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

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.

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

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

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)

Cites Work

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

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)