Estimates for the coefficients of differential dimension polynomials
HTML articles powered by AMS MathViewer
- by Omar León Sánchez HTML | PDF
- Math. Comp. 88 (2019), 2959-2985 Request permission
Abstract:
We answer the following longstanding question of Kolchin: given a system of algebraic-differential equations $\Sigma (x_1,\dots ,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound that only depends on the order of the system (and on the fixed data $m$ and $n$) for the typical differential dimension of any prime component of $\Sigma$? We give a positive answer in a strong form; that is, we compute a (lower and upper) bound for all the coefficients of the Kolchin polynomial of every such prime component. We then show that, if we look at those components of a specified differential type, we can compute a significantly better bound for the typical differential dimension. This latter improvement comes from new combinatorial results on characteristic sets, in combination with the classical theorems of Macaulay and Gotzmann on the growth of Hilbert-Samuel functions.References
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- Albert Einstein, Supplement to Appendix II of “The meaning of relativity, 4th ed.”, Princeton University Press, Princeton, N.J., 1953. MR 0058336
- J. Freitag, Bounds and finiteness principles in differential algebra, in preparation.
- Dima Grigoriev, Weak Bézout inequality for D-modules, J. Complexity 21 (2005), no. 4, 532–542. MR 2152720, DOI 10.1016/j.jco.2004.09.006
- Richard Gustavson and Omar León Sánchez, Effective bounds for the consistency of differential equations, J. Symbolic Comput. 89 (2018), 41–72. MR 3804806, DOI 10.1016/j.jsc.2017.11.003
- E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
- M. V. Kondrat′eva, An upper bound for minimizing coefficients of the Kolchin dimension polynomial, Programmirovanie 2 (2010), 31–35 (Russian, with Russian summary); English transl., Program. Comput. Softw. 36 (2010), no. 2, 83–86. MR 2731144, DOI 10.1134/S0361768810020052
- M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev, Differential and difference dimension polynomials, Mathematics and its Applications, vol. 461, Kluwer Academic Publishers, Dordrecht, 1999. MR 1676955, DOI 10.1007/978-94-017-1257-6
- Omar León Sánchez and Alexey Ovchinnikov, On bounds for the effective differential Nullstellensatz, J. Algebra 449 (2016), 1–21. MR 3448164, DOI 10.1016/j.jalgebra.2015.10.009
- A. V. Mikhalev and E. V. Pankratev, Differential dimension polynomial of a system of differential equations, Algebra (collection of papers), Moscow State University, Moscow, 1980, pp. 57–67.
- Guillermo Moreno Socías, Length of polynomial ascending chains and primitive recursiveness, Math. Scand. 71 (1992), no. 2, 181–205. MR 1212703, DOI 10.7146/math.scand.a-12421
- Joseph Fels Ritt, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, N. Y., 1950. MR 0035763
Additional Information
- Omar León Sánchez
- Affiliation: School of Mathematics, University of Manchester, Oxford Road, Manchester, M13 9PL, United Kingdom
- Email: omar.sanchez@manchester.ac.uk
- Received by editor(s): March 1, 2017
- Received by editor(s) in revised form: August 10, 2017, April 27, 2018, and January 24, 2019
- Published electronically: March 28, 2019
- © Copyright 2019 American Mathematical Society
- Journal: Math. Comp. 88 (2019), 2959-2985
- MSC (2010): Primary 12H05, 14Q20
- DOI: https://doi.org/10.1090/mcom/3429
- MathSciNet review: 3985483