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

Details:

   
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
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717106000745
LanguageEnglish
JournalJournal of Symbolic Computation
Volume42
Number1–2
Pages236 - 264
Year2007
NoteEffective Methods in Algebraic Geometry (MEGA 2005)
Edition0
Translation No
Refereed No
Webmaster