ISSN:
1432-0622
Keywords:
Linear differential operator
;
Factorization
;
Berlekamp algorithm
;
Differential Galois theory
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
,
Technology
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01191378
Permalink