Power series solutions of algebraic differential equations

DOI10.1007/BF01579200zbMath0518.12015MaRDI QIDQ1053752

Jan Denef, Leonard Lipshitz

Publication date: 1984

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/163890

zbMATH Keywords

algorithmundecidabilityalgebraic differential equationsdecidabilityArtin approximation theoremADE

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Nonlinear differential equations in abstract spaces (34G20) Decidability of theories and sets of sentences (03B25) Abstract differential equations (12H20) Modules of differentials (13N05) Power series rings (13J05) Local deformation theory, Artin approximation, etc. (14B12)

Related Items (37)

Singularities of algebraic differential equations ⋮ Counting coloured planar maps: differential equations ⋮ On the relationship between differential algebra and tropical differential algebraic geometry ⋮ Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions ⋮ Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables ⋮ Differential and difference algebra ⋮ Initial forms and a notion of basis for tropical differential equations ⋮ Toward a model theory for transseries ⋮ On initials and the fundamental theorem of tropical partial differential algebraic geometry ⋮ The classical Artin approximation theorems ⋮ Exploring tropical differential equations ⋮ Effective power series computations ⋮ Formulae and Asymptotics for Coefficients of Algebraic Functions ⋮ On testing the existence of universal denominators for partial differential and difference equations ⋮ Effective analytic functions ⋮ Computing with D-algebraic power series ⋮ On ramification indices of formal solutions of constructive linear ordinary differential systems ⋮ The differential counting polynomial ⋮ On generating series of finitely presented operads ⋮ On rational solutions of linear partial differential or difference equations ⋮ Checking existence of solutions of partial differential equations in the fields of Laurent series ⋮ Remarks on Artin approximation with constraints ⋮ Mappings of Real Algebraic Hypersurfaces ⋮ Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ The uniform companion for large differential fields of characteristic 0 ⋮ What can and cannot be done with Diophantine problems ⋮ Combinatorial resolution of systems of differential equations. III: A special class of differentially algebraic series ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Decision problems for differential equations ⋮ Digital simulation of analog computation and Church's thesis ⋮ Solving first order autonomous algebraic ordinary differential equations by places ⋮ Formal solutions of differential equations ⋮ The reciprocals of solutions of linear ordinary differential equations ⋮ On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ultraproducts and approximation in local rings. I
• The wave equation with computable initial data such that its unique solution is not computable
• Arithmetic properties of power series solutions of algebraic differential equations
• Sur les points singuliers des équations différentielles
• Lectures on transcendental numbers. Edited and completed by B. Diviš and W. J. LeVeque
• The model theory of differential fields revisited
• On the solutions of analytic equations
• Algebraic approximation of structures over complete local rings
• Diophantine problems over local fields. III: Decidable fields
• Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
• A computable ordinary differential equation which possesses no computable solution
• The model theory of ordered differential fields
• The Diophantine Problem for Polynomial Rings and Fields of Rational Functions
• Rational points in Henselian discrete valuation rings
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• A CRITERION FOR THE p-ADIC SOLUBILITY OF DIOPHANTINE EQUATIONS
• Further Pathologies in Algebraic Geometry

This page was built for publication: Power series solutions of algebraic differential equations