Estimates for the coefficients of differential dimension polynomials

DOI10.1090/MCOM/3429MaRDI QIDQ5226667zbMATH OpenOpenAlexWikidataFDO

Authors Omar León Sánchez

Publication date 1 August 2019

Published in Mathematics of Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1703.00509

zbMATH Keywords

Hilbert-Samuel functionsKolchin polynomialtypical differential dimension

Mathematics Subject Classification ID

Differential algebra (12H05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Abstract: We answer the following long-standing 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.

Recommendations

• A bound for a typical differential dimension of systems of linear differential equations
• An upper bound for minimizing coefficients of the Kolchin dimension polynomial
• On bounds for the effective differential Nullstellensatz
• Some properties of coefficients of the Kolchin dimension polynomial
• The differential dimension polynomial for characterizable differential ideals

Cites work

• scientific article; zbMATH DE number 3785026 (Why is no real title available?)
• scientific article; zbMATH DE number 1252509 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• scientific article; zbMATH DE number 3079324 (Why is no real title available?)
• An upper bound for minimizing coefficients of the Kolchin dimension polynomial
• Completeness in partial differential algebraic geometry
• Effective bounds for the consistency of differential equations
• Length of Polynomial Ascending Chains and Primitive Recursiveness.
• On bounds for the effective differential Nullstellensatz
• Weak Bézout inequality for D-modules

Cited in

(10)

• scientific article; zbMATH DE number 5220625 (Why is no real title available?)
• Some properties of coefficients of the Kolchin dimension polynomial
• A bound for a typical differential dimension of systems of linear differential equations
• Algorithms yield upper bounds in differential algebra
• Effective bounds for the consistency of differential equations
• The typical dimension of a system of first-order differential equations
• An upper bound for minimizing coefficients of the Kolchin dimension polynomial
• Effective definability of Kolchin polynomials
• Elimination of unknowns for systems of algebraic differential-difference equations
• A bound for the orders of the components of a system of algebraic difference equations

This page was built for publication: Estimates for the coefficients of differential dimension polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5226667)