Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach

The notion of irreducible forms of systems of linear differential equations as defined by Moser [14 ] and its generalisation, the super-irreducible forms introduced by Hilali/Wazner in [9 ] are important concepts in the context of the symbolic resolution of systems of linear differential equations [3,15,16 ]. In this paper, we give a new algorithm for computing, given an arbitrary linear differential system with formal power series coefficients as input, an equivalent system which is super-irreducible. Our algorithm is optimal in the sense that it computes transformation matrices which obtain a maximal reduction of rank in each step of the algorithm. This distinguishes it from the algorithms in [9,14,2] and generalises [7].

[1]  M. Barkatou.  On super-irreducible forms of linear differential systems with rational function coefficients , 2004 .

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

[3]  Moulay A. Barkatou,et al.  An algorithm for computing a companion block diagonal form for a system of linear differential equations , 1993, Applicable Algebra in Engineering, Communication and Computing.

[4]  Volker Dietrich.  Zur Reduktion von linearen Differentialgleichungssystemen , 1978 .

[5]  A. Hilali,et al.  Formes super-irréductibles des systèmes différentiels linéaires , 1986 .

[6]  Claude-Pierre Jeannerod,et al.  An algorithm for the eigenvalue perturbation problem: reduction of a κ-matrix to a Lidskii matrix , 2000, ISSAC.

[7]  Mark Giesbrecht,et al.  Computing Rational Forms of Integer Matrices , 2002, J. Symb. Comput..

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

[9]  Guoting Chen,et al.  An algorithm for computing the formal solutions of differential systems in the neighborhood of an irregular singular point , 1990, ISSAC '90.

[10]  Claude-Pierre Jeannerod.  Formes normales de perturbations de matrices : étude et calcul exact. (Studies in matrix perturbations : algebraic computation of normal forms) , 2000 .

[11]  V. Lidskii.  Perturbation theory of non-conjugate operators , 1966 .

[12]  Eckhard Pflügel,et al.  Effective Formal Reduction of Linear Differential Systems , 2000, Applicable Algebra in Engineering, Communication and Computing.

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

[14]  Moulay A. Barkatou,et al.  An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system , 2009, Applicable Algebra in Engineering, Communication and Computing.

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