Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation

DOI10.1016/J.AAM.2014.03.001MaRDI QIDQ403160zbMATHOpenAlexWikidataFDO

Authors Carlos E. Arreche

Publication date 29 August 2014

Published in Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.6144

zbMATH Keywords

unipotent radicalcreative telescopinglinear differential algebraic groupparameterized linear differential equationparameterized Picard-Vessiot theory

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Geometric methods in ordinary differential equations (34A26) Linear ordinary differential equations and systems (34A30) Abstract differential equations (12H20) Relations of infinite-dimensional Hamiltonian and Lagrangian dynamical systems with algebraic geometry, complex analysis, and special functions (37K20) Other matrix groups over fields (20H20)

Abstract: We propose a new method to compute the unipotent radical $R_u(H)$ of the differential Galois group $H$ associated to a parameterized second-order homogeneous linear differential equation of the form [ frac{partial^2}{partial x^2}Y-qY=0,] where $qinF(x)$ is a rational function in $x$ with coefficients in a $Pi$-field $F$ of characteristic zero, and $Pi$ is a commuting set of parametric derivations. The procedure developed by Dreyfus reduces the computation of $R_u(H)$ to solving a creative telescoping problem, whose effective solution requires the assumption that the maximal reductive quotient $H/R_u(H)$ is a $Pi$-constant linear differential algebraic group. When this condition is not satisfied, we compute a new set of parametric derivations $P{i}^{\prime }$ such that the associated differential Galois group $H^{\prime }$ has the property that $H^{\prime }/R_u(H^{\prime })$ is $P{i}^{\prime }$-constant, and such that $R_u(H)$ is defined by the same differential equations as $R_u(H^{\prime })$. Thus the computation of $R_u(H)$ is reduced to the effective computation of $R_u(H^{\prime })$. 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.

Recommendations

• Computing the differential Galois group of a parameterized second-order linear differential equation
• On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
• Computing the Galois group of some parameterized linear differential equation of order two
• Calculating Galois groups of third-order linear differential equations with parameters
• Unipotent differential algebraic groups as parameterized differential Galois groups

Cites work

• scientific article; zbMATH DE number 3886021 (Why is no real title available?)
• scientific article; zbMATH DE number 1860838 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• A Galois-theoretic proof of the differential transcendence of the incomplete gamma function
• Algebraic Groups and Algebraic Dependence
• Algebraic matric groups and the Picard-Vessiot theory of homogeneous linear ordinary differential equations
• An algorithm for solving second order linear homogeneous differential equations
• Computing the Galois group of some parameterized linear differential equation of order two
• Computing the differential Galois group of a parameterized second-order linear differential equation
• Constrained extensions of differential fields
• Differential Algebraic Groups
• Differential Algebraic Subgroups of SL(2) and Strong Normality in Simple Extensions
• Differential Galois theory of linear difference equations
• Differential Tannakian categories
• Existence of \(\partial\)-parameterized Picard-Vessiot extensions over fields with algebraically closed constants
• Galois theory of parameterized differential equations and linear differential algebraic groups
• Generalized differential Galois theory
• Hermite reduction and creative telescoping for hyperexponential functions
• Isomonodromic differential equations and differential categories
• Linear algebraic groups as parameterized Picard-Vessiot Galois groups
• Parallel telescoping and parameterized Picard-Vessiot theory
• Parameterized Picard-Vessiot extensions and Atiyah extensions
• Residues and telescopers for bivariate rational functions
• Some counterexamples to separation of variables
• Splitting fields and general differential Galois theory
• Telescopers for rational and algebraic functions via residues
• Unipotent differential algebraic groups as parameterized differential Galois groups

Cited in

(5)

• Computing differential Galois groups of second-order linear \(q\)-difference equations
• Computation of the difference-differential Galois group and differential relations among solutions for a second-order linear difference equation
• On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
• Unipotent radicals of differential Galois group and integrals of solutions of inhomogeneous equations
• Computing the differential Galois group of a parameterized second-order linear differential equation

This page was built for publication: Computation of the unipotent radical of the differential Galois group for a parameterized second-order linear differential equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q403160)