scholarly journals Unipotent differential algebraic groups as parameterized differential Galois groups

2013 ◽  
Vol 13 (4) ◽  
pp. 671-700 ◽  
Author(s):  
Andrey Minchenko ◽  
Alexey Ovchinnikov ◽  
Michael F. Singer

AbstractWe deal with aspects of direct and inverse problems in parameterized Picard–Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) $G$ is a PPV Galois group over these fields if and only if $G$ contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs $G$, including unipotent groups, $G$ is such a group if and only if it has differential type $0$. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type $0$.

2018 ◽  
Vol 20 (04) ◽  
pp. 1750038
Author(s):  
Andrei Minchenko ◽  
Alexey Ovchinnikov

Motivated by developing algorithms that decide hypertranscendence of solutions of extensions of the Bessel differential equation, algorithms computing the unipotent radical of a parameterized differential Galois group have been recently developed. Extensions of Bessel’s equation, such as the Lommel equation, can be viewed as homogeneous parameterized linear differential equations of the third order. In this paper, we give the first known algorithm that calculates the differential Galois group of a third-order parameterized linear differential equation.


Author(s):  
Michael Wibmer

Abstract We establish several finiteness properties of groups defined by algebraic difference equations. One of our main results is that a subgroup of the general linear group defined by possibly infinitely many algebraic difference equations in the matrix entries can indeed be defined by finitely many such equations. As an application, we show that the difference ideal of all difference algebraic relations among the solutions of a linear differential equation is finitely generated.


Sign in / Sign up

Export Citation Format

Share Document