Singularities of algebraic differential equations

DOI10.1016/J.AAM.2021.102266zbMATH Open1484.34052arXiv2002.11597OpenAlexW3204360399WikidataQ115362381 ScholiaQ115362381MaRDI QIDQ820936FDOQ820936

Matthias Seiß, Daniel Robertz, Markus Lange-Hegermann, Werner M. Seiler

Publication date: 29 September 2021

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Abstract: There exists a well established differential topological theory of singularities of ordinary differential equations. It has mainly studied scalar equations of low order. We propose an extension of the key concepts to arbitrary systems of ordinary or partial differential equations. Furthermore, we show how a combination of this geometric theory with (differential) algebraic tools allows us to make parts of the theory algorithmic. Our three main results are firstly a proof that even in the case of partial differential equations regular points are generic. Secondly, we present an algorithm for the effective detection of all singularities at a given order or, more precisely, for the determination of a regularity decomposition. Finally, we give a rigorous definition of a regular differential equation, a notoriously difficult notion ubiquitous in the geometric theory of differential equations, and show that our algorithm extracts from each prime component a regular differential equation. Our main tools are on the one hand the algebraic resp. differential Thomas decomposition and on the other hand the Vessiot theory of differential equations.

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

zbMATH Keywords

differential idealalgebraic differential equationThomas decompositiongeometric singularityVessiot distributionalgebraic singularityregularity decomposition

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Local complex singularities (32S05) Implicit ordinary differential equations, differential-algebraic equations (34A09) Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms (34M35) Singularity in context of PDEs (35A21) Differential algebra (12H05) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Associative differential operations
• Involution. The formal theory of differential equations and its applications in computer algebra
• Singularities of multivalued solutions of nonlinear differential equations, and nonlinear phenomena
• Geometry of differential equations
• Theoretical and numerical analysis of differential-algebraic equations
• Computing representations for radicals of finitely generated differential ideals
• Power series solutions of algebraic differential equations
• Counting solutions of polynomial systems via iterated fibrations
• Multidimensional Poincaré construction and singularities of lifted fields for implicit differential equations
• Algorithmic Thomas decomposition of algebraic and differential systems
• On decomposition of algebraic PDE systems into simple subsystems
• Generic singularities of implicit systems of first order differential equations on the plane
• Formal algorithmic elimination for PDEs
• ON THE SERIES DEFINED BY DIFFERENTIAL EQUATIONS, WITH AN EXTENSION OF THE PUISEUX POLYGON CONSTRUCTION TO THESE EQUATIONS
• The Differential Dimension Polynomial for Characterizable Differential Ideals
• Singularities of Implicit Differential Equations and Static Bifurcations
• On the resolution of singularities of ordinary differential systems
• The differential counting polynomial
• The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
• On the numerical analysis and visualisation of implicit ordinary differential equations
• Solving first order autonomous algebraic ordinary differential equations by places
• Existence and construction of Vessiot connections
• Detecting degenerate behaviors in first order algebraic differential equations
• Symbolic and numerical scientific computation. Second international conference, SNSC 2001, Hagenberg, Austria, September 12--14, 2001. Revised papers
• Whitney singularities of solutions of partial differential equations
• A logic based approach to finding real singularities of implicit ordinary differential equations
• Singularities in the geometric theory of differential equations
• Singular initial value problems for scalar quasi-linear ordinary differential equations
• Algebraic Theory of Linear Systems: A Survey

Cited In (11)

• Existence of non-algebraic singularities of differential equation
• On existence and classification of singular points for higher order differential algebraic equations
• Algebras of the singularities of singular solutions to first-order quasi-linear strictly hyperbolic systems
• On boundary conditions parametrized by analytic functions
• Singularities of Integrable Systems and Algebraic Curves
• A theorem of Painlevé on parametric singularities of algebraic differential equations of the first order
• Title not available (Why is that?)
• Identifying Markov chain models from time-to-event data: an algebraic approach
• Title not available (Why is that?)
• Polygons of Petrović and Fine, algebraic ODEs, and contemporary mathematics
• Singularities of quasi-linear differential equations

Uses Software

• DifferentialThomas
• AlgebraicThomas
• TDDS

This page was built for publication: Singularities of algebraic differential equations

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