Submission date: 13 January 2016

Abstract:

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.