On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters. (July 2016)

• Record Type: Journal Article
• Authors: Arreche, Carlos E.
• Is Part Of: Journal of symbolic computation. Volume 75(2016)
• Page Start: 25
• Page End: 55
• Publication Date: 2016-07
• Subjects: 12H20 -- 34M15 -- 34M03 -- 20H20 -- 13N10 -- 33F10 -- 37K20; Parameterized differential equation -- Parameterized Picard–Vessiot theory -- Linear differential algebraic group -- Unipotent radical -- Creative telescoping; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2015.11.006
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We present algorithms to compute the differential Galois group G associated via the parameterized Picard–Vessiot theory to a parameterized second-order linear differential equation ∂ 2 ∂ x 2 Y + r 1 ∂ ∂ x Y + r 0 Y = 0, where the coefficients r 1 and r 0 belong to the field of rational functions F ( x ) over a computable Π-field F of characteristic zero, and the finite set of commuting derivations Π is thought of as consisting of derivations with respect to parameters. This work relies on earlier procedures developed by Dreyfus and by the present author to compute G under the assumption that r 1 = 0, which guarantees that G is unimodular. When r 1 ≠ 0, we reinterpret a classical change-of-variables procedure in Galois-theoretic terms in order to reduce the computation of G to the computation of an associated unimodular differential Galois group H . We establish a parameterized version of the Kolchin–Ostrowski theorem and apply it to give more direct proofs than those found in the literature of the fact that the required computations can be performed effectively. We then extract from these algorithms a complete set of criteria to decide whether any of the solutions to a parameterized second-order linear differential equation is Π-transcendental over the underlying Π-field of F ( x ) . We give various examples of computation and some applications to differential transcendence.