Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleAround the numeric–symbolic computation of differential Galois groups
Author(s) Joris van der Hoeven
TypeArticle in Journal
AbstractLet L ∈ K ( z ) [ ∂ ] be a linear differential operator, where K is an effective algebraically closed subfield of  C . It can be shown that the differential Galois group of  L is generated (as a closed algebraic group) by a finite number of monodromy matrices, Stokes matrices and matrices in local exponential groups. Moreover, there exist fast algorithms for the approximation of the entries of these matrices. In this paper, we present a numeric–symbolic algorithm for the computation of the closed algebraic subgroup generated by a finite number of invertible matrices. Using the above results, this yields an algorithm for the computation of differential Galois groups, when computing with a sufficient precision. Even though there is no straightforward way to find a “sufficient precision” for guaranteeing the correctness of the end result, it is often possible to check a posteriori whether the end result is correct. In particular, we present a non-heuristic algorithm for the factorization of linear differential operators.
KeywordsDifferential Galois group, Algebraic group, Algorithm, Accelero-summation, Stokes multipliers
URL http://www.sciencedirect.com/science/article/pii/S0747717106000745
JournalJournal of Symbolic Computation
Pages236 - 264
NoteEffective Methods in Algebraic Geometry (MEGA 2005)
Translation No
Refereed No