A logic based approach to finding real singularities of implicit ordinary differential equations

Differential algebra (12H05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Implicit ordinary differential equations, differential-algebraic equations (34A09) Geometric methods in ordinary differential equations (34A26) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Symbolic computation and algebraic computation (68W30)

Abstract: We discuss the effective computation of geometric singularities of implicit ordinary differential equations over the real numbers using methods from logic. Via the Vessiot theory of differential equations, geometric singularities can be characterised as points where the behaviour of a certain linear system of equations changes. These points can be discovered using a specifically adapted parametric generalisation of Gaussian elimination combined with heuristic simplification techniques and real quantifier elimination methods. We demonstrate the relevance and applicability of our approach with computational experiments using a prototypical implementation in Reduce.

Recommendations

Cites work

Cited in

(3)

Describes a project that uses

Uses Software

This page was built for publication: A logic based approach to finding real singularities of implicit ordinary differential equations

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