3,856 research outputs found
Extensions of differential representations of SL(2) and tori
Linear differential algebraic groups (LDAGs) measure differential algebraic
dependencies among solutions of linear differential and difference equations
with parameters, for which LDAGs are Galois groups. The differential
representation theory is a key to developing algorithms computing these groups.
In the rational representation theory of algebraic groups, one starts with
SL(2) and tori to develop the rest of the theory. In this paper, we give an
explicit description of differential representations of tori and differential
extensions of irreducible representation of SL(2). In these extensions, the two
irreducible representations can be non-isomorphic. This is in contrast to
differential representations of tori, which turn out to be direct sums of
isotypic representations.Comment: 21 pages; few misprints corrected; Lemma 4.6 adde
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
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
A Characterization of Reduced Forms of Linear Differential Systems
A differential system , with
is said to be in reduced form if where
is the Lie algebra of the differential Galois group of
. In this article, we give a constructive criterion for a system to be in
reduced form. When is reductive and unimodular, the system is in
reduced form if and only if all of its invariants (rational solutions of
appropriate symmetric powers) have constant coefficients (instead of rational
functions). When is non-reductive, we give a similar characterization via
the semi-invariants of . In the reductive case, we propose a decision
procedure for putting the system into reduced form which, in turn, gives a
constructive proof of the classical Kolchin-Kovacic reduction theorem.Comment: To appear in : Journal of Pure and Applied Algebr
Differential transcendence criteria for second-order linear difference equations and elliptic hypergeometric functions
We develop general criteria that ensure that any non-zero solution of a given
second-order difference equation is differentially transcendental, which apply
uniformly in particular cases of interest, such as shift difference equations,
q-dilation difference equations, Mahler difference equations, and elliptic
difference equations. These criteria are obtained as an application of
differential Galois theory for difference equations. We apply our criteria to
prove a new result to the effect that most elliptic hypergeometric functions
are differentially transcendental
- …