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.
Publication Date
2020-02-26
Publisher
ArXiv
Embargo Period
2024-11-22
Additional Links
http://arxiv.org/abs/2002.11597v3
Keywords
math.AC, math.AC, math.AG, 12H05, 13P10, 34A09, 34C05, 34M35, 35A20, 57R45, 68W30
Recommended Citation
Lange-Hegermann, M., Robertz, D., Seiler, W., & Seiss, M. (2020) 'Singularities of Algebraic Differential Equations', ArXiv: Retrieved from https://pearl.plymouth.ac.uk/secam-research/1788
Comments
45 pages, 5 figures. The paper has been restructured and the presentation has been improved