Publications > Preprint server > Preprint Number 999
Preprint Number 999
999. Richard Gustavson and Omar Leon Sanchez
Effective bounds for the consistency of differential equations
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
|Last updated: February 12 2016 17:18||Please send your corrections to:|