Contraction of Ore Ideals with Applications

Ore operators form a common algebraic abstraction of linear ordinary differential and recurrence equations. Given an Ore operator L with polynomial coefficients in x, it generates a left ideal I in the Ore algebra over the field k(x) of rational functions. We present an algorithm for computing a basis of the contraction ideal of I in the Ore algebra over the ring R[x] of polynomials, where~$R$ may be either k or a domain with k as its fraction field. This algorithm is based on recent work on desingularization for Ore operators by Chen, Jaroschek, Kauers and Singer. Using a basis of the contraction ideal, we compute a completely desingularized operator for L whose leading coefficient not only has minimal degree in x but also has minimal content. Completely desingularized operators have interesting applications such as certifying integer sequences and checking special cases of a conjecture of Krattenthaler.

[1]  Manuel Bronstein,et al.  An Introduction to Pseudo-Linear Algebra , 1996, Theor. Comput. Sci..

[2]  Moulay A. Barkatou,et al.  Apparent singularities of linear difference equations with polynomial coefficients , 2005, Applicable Algebra in Engineering, Communication and Computing.

[3]  Volker Weispfenning,et al.  Non-Commutative Gröbner Bases in Algebras of Solvable Type , 1990, J. Symb. Comput..

[4]  Harrison Tsai,et al.  Weyl Closure of a Linear Differential Operator , 2000, J. Symb. Comput..

[5]  O. Ore.  Theory of Non-Commutative Polynomials , 1933 .

[6]  Mark van Hoeij,et al.  Desingularization of linear difference operators with polynomial coefficients , 1999, ISSAC '99.

[7]  Yang Zhang,et al.  Irreducibility criteria for skew polynomials , 2009 .

[8]  B. Sturmfels,et al.  Grbner Deformations of Hypergeometric Differential Equations , 2000 .

[9]  Hans Schönemann,et al.  SINGULAR: a computer algebra system for polynomial computations , 2001, ACCA.

[10]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[11]  Manuel Kauers,et al.  Desingularization of Ore operators , 2014, J. Symb. Comput..

[12]  W. T. Tutte,et al.  Encyclopedia of Mathematics and its Applications , 2001 .

[13]  José Gómez-Torrecillas,et al.  Algorithmic Methods in Non-Commutative Algebra , 2003 .

[14]  Johannes Middeke,et al.  A computational view on normal forms of matrices of Ore polynomials , 2012, ACCA.

[15]  Deepak Kapur,et al.  Computing a Gröbner Basis of a Polynomial Ideal over a Euclidean Domain , 1988, J. Symb. Comput..

[16]  F. Leon Pritchard,et al.  The Ideal Membership Problem in Non-Commutative Polynomial Rings , 1996, J. Symb. Comput..

[17]  Michela Ceria,et al.  Buchberger-Zacharias Theory of multivariate Ore extensions , 2017, 1701.01899.

[18]  Bruno Salvy,et al.  Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities , 1998, J. Symb. Comput..

[19]  Manuel Kauers,et al.  Desingularization explains order-degree curves for ore operators , 2013, ISSAC '13.

[20]  A. Storjohann.  Algorithms for matrix canonical forms , 2000 .

[21]  Christoph Koutschan,et al.  Advanced applications of the holonomic systems approach , 2010, ACCA.

[22]  J. Kovacic,et al.  An Eisenstein criterion for noncommutative polynomials , 1972 .

[23]  Yiu-Kwong Man,et al.  Fast polynomial dispersion computation and its application to indefinite summation , 1994, ISSAC '94.

[24]  Moulay A. Barkatou,et al.  Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients , 2011, ISSAC.

[25]  At Linz,et al.  Removable Singularities of Ore Operators , 2013 .