A bound for orders in differential Nullstellensatz Export

@article{citeulike:5294722, abstract = {We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed in [A. Seidenberg, An elimination theory for differential algebra, Univ. of California Publ. in Math. III (2) (1956) 31–66] but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstellensatz [G. Hermann, Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1) (1926) 736–788; E.W. Mayr, A.W. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. Math. 46 (3) (1982) 305–329; W.D. Brownawell, Bounds for the degrees in the Nullstellensatz, Ann. of Math. 126 (3) (1987) 577–591; J. Koll\'{a}r, Sharp effective Nullstellensatz, J. Amer. Math. Soc. 1 (4) (1988) 963–975; L. Caniglia, A. Galligo, J. Heintz, Some new effectivity bounds in computational geometry, in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Rome, 1988, in: Lecture Notes in Comput. Sci., vol. 357, Springer, Berlin, 1989, pp. 131–151; N. Fitchas, A. Galligo, Nullstellensatz effectif et conjecture de Serre (th\'{e}or\`{e}me de Quillen–Suslin) pour le calcul formel, Math. Nachr. 149 (1990) 231–253; T. Krick, L.M. Pardo, M. Sombra, Sharp estimates for the arithmetic Nullstellensatz, Duke Math. J. 109 (3) (2001) 521–598; Z. Jelonek, On the effective Nullstellensatz, Invent. Math. 162 (1) (2005) 1–17; T. Dub\'{e}, A combinatorial proof of the effective Nullstellensatz, J. Symbolic Comput. 15 (3) (1993) 277–296]. This paper is dedicated to the memory of Eugeny Pankratiev, who was the advisor of the first three authors at Moscow State University.}, author = {Golubitsky, Oleg and Kondratieva, Marina and Ovchinnikov, Alexey and Szanto, Agnes}, citeulike-article-id = {5294722}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.jalgebra.2009.05.032}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S0021869309003354}, day = {01}, doi = {10.1016/j.jalgebra.2009.05.032}, issn = {00218693}, journal = {Journal of Algebra}, keywords = {commutative\_algebra, galois\_theory}, month = {December}, number = {11}, pages = {3852--3877}, posted-at = {2009-10-22 07:33:34}, priority = {2}, title = {A bound for orders in differential Nullstellensatz}, url = {http://dx.doi.org/10.1016/j.jalgebra.2009.05.032}, volume = {322}, year = {2009} }

TY - JOUR ID - citeulike:5294722 L3 - citeulike-article-id:5294722 N2 - We give the first known bound for orders of differentiations in differential Nullstellensatz for both partial and ordinary algebraic differential equations. This problem was previously addressed in [A. Seidenberg, An elimination theory for differential algebra, Univ. of California Publ. in Math. III (2) (1956) 31–66] but no complete solution was given. Our result is a complement to the corresponding result in algebraic geometry, which gives a bound on degrees of polynomial coefficients in effective Nullstellensatz [G. Hermann, Die Frage der endlich vielen Schritte in der Theorie der Polynomideale, Math. Ann. 95 (1) (1926) 736–788; E.W. Mayr, A.W. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. Math. 46 (3) (1982) 305–329; W.D. Brownawell, Bounds for the degrees in the Nullstellensatz, Ann. of Math. 126 (3) (1987) 577–591; J. Kollár, Sharp effective Nullstellensatz, J. Amer. Math. Soc. 1 (4) (1988) 963–975; L. Caniglia, A. Galligo, J. Heintz, Some new effectivity bounds in computational geometry, in: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Rome, 1988, in: Lecture Notes in Comput. Sci., vol. 357, Springer, Berlin, 1989, pp. 131–151; N. Fitchas, A. Galligo, Nullstellensatz effectif et conjecture de Serre (théorème de Quillen–Suslin) pour le calcul formel, Math. Nachr. 149 (1990) 231–253; T. Krick, L.M. Pardo, M. Sombra, Sharp estimates for the arithmetic Nullstellensatz, Duke Math. J. 109 (3) (2001) 521–598; Z. Jelonek, On the effective Nullstellensatz, Invent. Math. 162 (1) (2005) 1–17; T. Dubé, A combinatorial proof of the effective Nullstellensatz, J. Symbolic Comput. 15 (3) (1993) 277–296]. This paper is dedicated to the memory of Eugeny Pankratiev, who was the advisor of the first three authors at Moscow State University. IS - 11 JF - Journal of Algebra SN - 00218693 EP - 3877 TI - A bound for orders in differential Nullstellensatz VL - 322 SP - 3852 KW - commutative_algebra KW - galois_theory AU - Golubitsky, Oleg AU - Kondratieva, Marina AU - Ovchinnikov, Alexey AU - Szanto, Agnes PY - 2009/12/01/ UR - http://dx.doi.org/10.1016/j.jalgebra.2009.05.032 ER -