On symmetric powers of differential operators

We present alternative algorithms for computing symmetric powers of linear ordinary differential operators. Our algorithms are applicable to operators with coefficients in arbitrary integral domains and become faster than the traditional methods for symmetric powers of sufficiently large order, or over sufficiently complicated coefficient domains. The basic ideaa are also applicable to other computations involving cyclic vector techniques, such as exterior powers of differential or difference operators.

[1]  Michael T. McClellan,et al.  The Exact Solution of Systems of Linear Equations with Polynomial Coefficients , 1973, JACM.

[2]  Jacob T. Schwartz,et al.  Fast Probabilistic Algorithms for Verification of Polynomial Identities , 1980, J. ACM.

[3]  M. Singer.  Liouvillian Solutions of n-th Order Homogeneous Linear Differential Equations , 1981 .

[4]  Bruce W. Char,et al.  Maple V Library Reference Manual , 1992, Springer New York.

[5]  Richard D. Jenks,et al.  AXIOM: the scientific computation system , 1992 .

[6]  Michael F. Singer,et al.  Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations , 1993, J. Symb. Comput..

[7]  Michael F. Singer,et al.  Galois Groups of Second and Third Order Linear Differential Equations , 1993, J. Symb. Comput..

[8]  Felix Ulmer,et al.  Note on Kovacic's algorithm , 1995, SIGS.

[9]  Manuel Bronstein,et al.  { a Strongly-typed Embeddable Computer Algebra Library , 1996 .

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

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

[12]  Manuel Bronstein,et al.  SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library , 1996, DISCO.

[13]  Mark van Hoeij,et al.  An algorithm for computing invariants of differential Galois groups , 1997 .

[14]  Michael F. Singer,et al.  Linear differential equations and products of linear forms , 1997 .

[15]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.