Factoring linear differential operators in n variables

In this paper, we present a new algorithm and an experimental implementation for factoring elements in the polynomial nth Weyl algebra, the polynomial nth shift algebra, and Zn-graded polynomials in the nth <u>q</u>-Weyl algebra. The most unexpected result is that this noncommutative problem of factoring partial differential operators can be approached effectively by reducing it to the problem of solving systems of polynomial equations over a commutative ring. In the case where a given polynomial is Zn-graded, we can reduce the problem completely to factoring an element in a commutative multivariate polynomial ring. The implementation in Singular is effective on a broad range of polynomials and increases the ability of computer algebra systems to address this important problem. We compare the performance and output of our algorithm with other implementations in major computer algebra systems on nontrivial examples.

[1]  Mark van Hoeij,et al.  Finding all bessel type solutions for linear differential equations with rational function coefficients , 2010, ISSAC.

[2]  Alfred Loewy,et al.  Über reduzible lineare homogene Differentialgleichungen , 1903 .

[3]  Ekaterina Shemyakova,et al.  Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the Plane , 2007, Math. Comput. Sci..

[4]  D. Grigor'ev,et al.  Complexity of factoring and calculating the GCD of linear ordinary differential operators , 1990 .

[5]  Viktor Levandovskyy,et al.  Factorization of polynomials in Z-graded skew polynomial rings , 2011, ACCA.

[6]  Mark van Hoeij,et al.  Factorization of Differential Operators with Rational Functions Coefficients , 1997, J. Symb. Comput..

[7]  Richard Beals,et al.  Constructively Factoring Linear Partial Differential Operators in Two Variables , 2005 .

[8]  Sergei A. Abramov,et al.  On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations , 2012, CASC.

[9]  Viktor Levandovskyy,et al.  SymbolicData: SDEval - Benchmarking for Everyone , 2013, ArXiv.

[10]  Ekaterina Shemyakova,et al.  Multiple Factorizations of Bivariate Linear Partial Differential Operators , 2009, CASC.

[11]  I. M. Gelfand,et al.  Sur les Corps Liés Aux Algèbres Enveloppantes des Algèbres de Lie , 1966 .

[12]  Masaki Kashiwara,et al.  Vanishing cycle sheaves and holonomic systems of differential equations , 1983 .

[13]  Viktor Levandovskyy,et al.  Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra , 2013, ArXiv.

[14]  Manuel Bronstein,et al.  On polynomial solutions of linear operator equations , 1995, ISSAC '95.

[15]  Fritz Schwarz,et al.  A factorization algorithm for linear ordinary differential equations , 1989, ISSAC '89.

[16]  Mark van Hoeij,et al.  Formal Solutions and Factorization of Differential Operators with Power Series Coefficients , 1997, J. Symb. Comput..

[17]  Eva Zerz,et al.  Noncommutative computer algebra with applications in algebraic analysis , 2014 .

[18]  Wolfram Koepf,et al.  Hypergeometric Summation : An Algorithmic Approach to Summation and Special Function Identities , 1998 .

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

[20]  Wolfram Koepf,et al.  Factorization of fourth-order differential equations for perturbed classical orthogonal polynomials , 2004 .

[21]  M. V. Hoeij,et al.  Factorization of linear differential operators , 1996 .

[22]  Bruno Buchberger,et al.  Introduction to Groebner Bases , 1997 .

[23]  Sergey P. Tsarev,et al.  Problems that appear during factorization of ordinary linear differential operators , 1994 .

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

[25]  Alfred Loewy,et al.  Über vollständig reduzible lineare homogene Differentialgleichungen , 1906 .

[26]  Dima Grigoriev,et al.  Factoring and Solving Linear Partial Differential Equations , 2004, Computing.

[27]  Serguei P. Tsarev,et al.  An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator , 1996, ISSAC '96.

[28]  José Gómez-Torrecillas,et al.  Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups , 2003 .

[29]  Ekaterina Shemyakova,et al.  Refinement of Two-Factor Factorizations of a Linear Partial Differential Operator of Arbitrary Order and Dimension , 2010, Mathematics and Computer Science.

[30]  Herbert Melenk,et al.  REDUCE package NCPOLY: Computation in non-commutative polynomial ideals , 1994 .