4 research outputs found
Computing the differential Galois group of a parameterized second-order linear differential equation
We develop algorithms to compute the differential Galois group associated
to a parameterized second-order homogeneous linear differential equation of the
form where the coefficients are rational
functions in with coefficients in a partial differential field of
characteristic zero. Our work relies on the procedure developed by Dreyfus to
compute under the assumption that . We show how to complete this
procedure to cover the cases where , by reinterpreting a classical
change of variables procedure in Galois-theoretic terms.Comment: 14 page
Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
We propose a new method to compute the unipotent radical of the
differential Galois group associated to a parameterized second-order
homogeneous linear differential equation of the form
where is a rational
function in with coefficients in a -field of characteristic zero,
and is a commuting set of parametric derivations. The procedure developed
by Dreyfus reduces the computation of to solving a creative
telescoping problem, whose effective solution requires the assumption that the
maximal reductive quotient is a -constant linear differential
algebraic group. When this condition is not satisfied, we compute a new set of
parametric derivations such that the associated differential Galois
group has the property that is -constant, and such
that is defined by the same differential equations as . Thus
the computation of is reduced to the effective computation of
. We expect that an elaboration of this method will be successful in
extending the applicability of some recent algorithms developed by Minchenko,
Ovchinnikov, and Singer to compute unipotent radicals for higher order
equations.Comment: 12 page