Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 999

Preprint Number 999

Previous Next Preprint server

999. Richard Gustavson and Omar Leon Sanchez
Effective bounds for the consistency of differential equations
E-mail: ,

Submission date: 13 January 2016


One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the “algebraic data” associated to the system. In technical terms, this translates to the problem of determining the existence of regular realizations of differential kernels via their possible prolongations. In this paper we effectively compute an improved upper bound for the number of prolongations needed to guarantee the existence of such realizations, which ultimately produces solutions to many types of systems of partial differential equations. This bound has several applications, including an improved upper bound for the order of characteristic sets of prime differential ideals. We obtain our upper bound by proving a new result on the growth of the Hilbert-Samuel function, which may be of independent interest.

Mathematics Subject Classification: 12H05, 14Q20, 35G50.

Keywords and phrases: algebraic differential equations, antichain sequences, Hilbert-Samuel

Full text arXiv 1601.02995: pdf, ps.

Last updated: February 12 2016 17:18 Please send your corrections to: