Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants K of characteristic 0. Let x be a set of n differential variables, f a finite family of differential polynomials in the ring K{x} and fεK{x} anoth...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/93869 |
| Acceso en línea: | http://hdl.handle.net/11336/93869 |
| Access Level: | acceso abierto |
| Palabra clave: | DAE SYSTEMS DIFFERENTIAL ALGEBRA DIFFERENTIAL ELIMINATION DIFFERENTIAL HILBERT NULLSTELLENSATZ https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants K of characteristic 0. Let x be a set of n differential variables, f a finite family of differential polynomials in the ring K{x} and fεK{x} another polynomial which vanishes at every solution of the differential equation system f=0 in any differentially closed field containing K. Let d max{deg(f),deg(f)} and max{2,ord(f),ord(f)}. We show that fM belongs to the algebraic ideal generated by the successive derivatives of f of order at most L=(nd)2c(n)3, for a suitable universal constant c>0, and M=dn(+L+1). The previously known bounds for L and M are not elementary recursive. |
|---|