Testing reducibility of linear differential operators: A group theoretic perspective

Abstract

Let k[D] be the ring of differential operators with coefficients in a differential fieldk. We say that an elementL ofk[D] isreducible ifL=L 1·L 2 forL 1,L 2gEk[D],L 1,L 2∉k. We show that for a certain class of differential operators (completely reducible operators) there exists a Berlekamp-style algorithm for factorization. Furthermore, we show that operators outside this class can never be irreducible and give an algorithm to test if an operator belongs to the above class. This yields a new reducibility test for linear differential operators. We also give applications of our algorithm to the question of determining Galois groups of linear differential equations.