Gröbner bases in difference-differential modules and difference-differential dimension polynomials (Q2519332)

Applications of Gröbner-Shirshov bases in mathematics and computer science are now well established. Particularly, the notion of Gröbner-Shirshov bases is a powerful tool to solve various problems of linear partial differential equations and linear difference-differential equations. In 1989, by classical Gröbner-Shirshov bases theory for commutative algebras, Mikhalev and Pankratev proved the existence of difference-differential dimension polynomials associated with a difference-differential module [\textit{A. V. Mikhalev} and \textit{E. V. Pankratev}, Computer algebra. Computations in differential and difference algebra. Moskva: Izd. Mosk. Univ. (1989; Zbl 0743.13015)]. However, a similar approach to difference-differential dimension polynomials in two variables is unsuccessful. Even after the investigation of \textit{A. Levin} by using the characteristic set [J. Symb. Comput. 30, No.4, 357-382 (2000; Zbl 0994.13009)], there is no general algorithm for computing this set. The purpose of this paper is to extend the Gröbner-Shirshov bases theory to difference-differential modules and give a new approach, which is based on Gröbner-Shirshov bases theory for the ring of difference-differential operators, for algorithmic computing the difference-differential dimension polynomials of a difference-differential module and of a system of linear partial difference-differential equations. The authors concentrate their attention on the generated term ordering on \(\mathbb{N}^m\times\mathbb{Z}^n\) and the compositions (S-polynomials). The exposition starts with the generalized term ordering and its properties. Then the authors consider the reduction algorithm, the definition of the Gröbner basis and the S-polynomials. Finally they give an approach to computing difference-differential dimension polynomials associated with a module over the ring of difference-differential operators via the Gröbner basis.