On the equivalence problem of linear differential systems and its application for factoring completely reducible systems

Given two linear di erential systems with rational function coe cients, we give an algorithm to decide whether these two systems are equivalent and to compute the corresponding transformation matrices. In the second part of the paper, we use this for computing factorizations of completely reducible systems. In [20] algorithms for solving these problems in the case of scalar di erential equations have been given. They are based upon the local analysis of the singularities of the equation. Our method uses local methods as well, but it avoids converting to the scalar case. The algorithms are implemented and available.

[1]  M. Singer,et al.  Calculating the Galois group of L1(L2(y))=0,L1,L2 completely reducible operators , 1999 .

[2]  W. Wasow.  Asymptotic expansions for ordinary differential equations , 1965 .

[3]  Dima Grigoriev,et al.  Complexity of irreducibility testing for a system of linear ordinary differential equations , 1990, ISSAC '90.

[4]  P. Deligne,et al.  Equations differentielles à points singuliers reguliers , 1970 .

[5]  Eckhard Pflügel,et al.  An algorithm for computing exponential solutions of first order linear differential systems , 1997, ISSAC.

[6]  Moulay A. Barkatou,et al.  A rational version of Moser's algorithm , 1995, ISSAC '95.

[7]  Oystein Ore.  Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil). , 1932 .

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

[9]  Mark van Hoeij,et al.  Rational Solutions of the Mixed Differential Equation and Its Application to Factorization of Differential Operators , 1996, ISSAC.

[10]  J. Moser,et al.  The order of a singularity in Fuchs' theory , 1959 .

[11]  A. Hilali.  Calcul des invariants de Malgrange et de Gérard-Levelt d'un système différentiel linéaire en un point singulier irrégulier , 1987 .

[12]  H. L. Turrittin.  Convergent solutions of ordinary linear homogeneous differential equations in the neighborhood of an irregular singular point , 1955 .

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

[14]  Pamela B. Lawhead,et al.  Super-irreducible form of linear differential systems , 1986 .

[15]  Moulay A. Barkatou,et al.  On Rational Solutions of Systems of Linear Differential Equations , 1999, J. Symb. Comput..

[16]  Moulay A. Barkatou,et al.  An Algorithm Computing the Regular Formal Solutions of a System of Linear Differential Equations , 1999, J. Symb. Comput..