On k-simple forms of first-order linear differential systems and their computation

Moulay A. Barkatou (1) , Carole El Bacha (1)

1 XLIM-DMI - DMI

In this paper, we develop a direct method for computing a k-simple form (see Pflügel, 2000) of a singular linear differential system of first-order. The k-simple forms give information on the integer slopes of the Newton polygon of the system and are useful in the construction of its formal solutions (see Barkatou and Pflügel, 1998 and Pflügel, 2000). We study the arithmetic complexity of our algorithm which has been implemented in Maple and we illustrate it with some examples. Finally, we show how using this algorithm one can find the minimal Poincaré-rank and the formal invariants of the system.

Mots clés: First-order linear differential systems; k-simple forms; Formal solutions; Super-reduction; Local invariants; Newton polygon; Regular/irregular singularities; Minimal Poincaré-rank

Moulay A. Barkatou, Carole El Bacha. On k-simple forms of first-order linear differential systems and their computation. Journal of Symbolic Computation, 2013, 54, pp.36-58. ⟨10.1016/j.jsc.2013.01.003⟩. ⟨hal-00913464⟩