Computing the differential Galois group of a one-parameter family of second order linear differential equations

Abstract

We develop algorithms to compute the differential Galois group corresponding to a one-parameter family of second order homogeneous ordinary linear differential equations with rational function coefficients. More precisely, we consider equations of the form \frac{\partial^2Y}{\partial x^2}+ r_1\frac{\partial Y}{\partial x} +r_2Y=0, where $r_1,r_2\in C(x,t)$ and $C$ is an algebraically closed field of characteristic zero. We work in the setting of parameterized Picard-Vessiot theory, which attaches a linear differential algebraic group to such an equation, that is, a group of invertible matrices whose entries satisfy a system of polynomial differential equations, with respect to the derivation in the parameter-space. We will compute the $\frac{\partial }{\partial t}$-differential-polynomial equations that define the corresponding parameterized Picard-Vessiot group as a differential algebraic subgroup of ${\mathrm{GL}}_2$.

arXiv comment29 pages

Cited by in corpus (6)

• Reductive linear differential algebraic groups and the Galois groups of parameterized linear differential equations
• Isomonodromic differential equations and differential categories
• A Galois-theoretic proof of the differential transcendence of the incomplete Gamma function
• Computing the differential Galois group of a parameterized second-order linear differential equation
• Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation
• Parallel Telescoping and Parameterized Picard--Vessiot Theory