Back to Search
Start Over
Effective difference elimination and Nullstellensatz.
- Source :
-
Journal of the European Mathematical Society (EMS Publishing) . 2020, Vol. 22 Issue 8, p2419-2452. 34p. - Publication Year :
- 2020
-
Abstract
- We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these geometric quantities may themselves be bounded by a function of the number of variables, the order of the equations, and the degrees of the equations) so that for any system of difference equations in variables x = (x1, ..., xm) and u = (u1, ..., ur), if these equations have any nontrivial consequences in the x variables, then such a consequence may be seen algebraically considering transforms up to the order of our bound. Specializing to the case of m = 0, we obtain an effective method to test whether a given system of difference equations is consistent. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 14359855
- Volume :
- 22
- Issue :
- 8
- Database :
- Academic Search Index
- Journal :
- Journal of the European Mathematical Society (EMS Publishing)
- Publication Type :
- Academic Journal
- Accession number :
- 157509851
- Full Text :
- https://doi.org/10.4171/JEMS/968