A characterization of reduced forms of linear differential systems

DOI10.1016/J.JPAA.2012.11.007zbMATH Open1272.12016arXiv1206.6661OpenAlexW2962846462MaRDI QIDQ2376589FDOQ2376589

Authors: Ainhoa Aparicio Monforte, Elie Compoint, Jacques-Arthur Weil 

Publication date: 24 June 2013

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: A differential system $[A]:;Y^{\prime }=AY$, with $$ is said to be in reduced form if $$ where $mathfrakg$ is the Lie algebra of the differential Galois group $G$ of $[A]$. In this article, we give a constructive criterion for a system to be in reduced form. When $G$ is reductive and unimodular, the system $[A]$ 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 $G$ is non-reductive, we give a similar characterization via the semi-invariants of $G$. 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.

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

Recommendations

• Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
• Differential Galois theory and integration
• Formal reduction theory of meromorphic differential equations: a group theoretic view
• Computing the Lie algebra of the differential Galois group: the reducible case
• scientific article; zbMATH DE number 1555430

zbMATH Keywords

differential Galois theoryPicard-Vessiot theorydifferential Galois cohomologygauge matrix

Mathematics Subject Classification ID

Explicit solutions, first integrals of ordinary differential equations (34A05) Differential algebra (12H05) Linear ordinary differential equations and systems in the complex domain (34M03)

Cites Work

• Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear algebraic groups.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lie Algebraic Solution of Linear Differential Equations
• Title not available (Why is that?)
• Computing closed form solutions of integrable connections
• An algorithm for computing invariants of differential Galois groups
• Computing Galois groups of completely reducible differential equations
• Effective descent for differential operators
• A reduction method for higher order variational equations of Hamiltonian systems
• Title not available (Why is that?)
• Computing the Galois group of a linear differential equation
• Abstract Differential Algebra and the Analytic Case
• Abstract Differential Algebra and the Analytic Case. II
• On Global Representations of the Solutions of Linear Differential Equations as a Product of Exponentials
• A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
• Solvable-by-finite groups as differential Galois groups
• Liouvillian and algebraic solutions of second and third order linear differential equations
• Liouvillian solutions of linear differential equations of order three and higher
• Descent for differential modules and skew fields
• Around the numeric-symbolic computation of differential Galois groups
• Solving Homogeneous Linear Differential Equations in Terms of Second Order Linear Differential Equations
• Linear differential equations and products of linear forms
• Absolute reducibility of differential operators and Galois groups
• Solving linear differential equations
• Solving third order linear differential equations in terms of second order equations
• On \(d\)-solvability for linear differential equations
• Finding integral linear dependencies of algebraic numbers and algebraic Lie algebras
• Differential equations and algebraic relations
• Title not available (Why is that?)
• Solving conics over functions fields

Cited In (14)

• Calculating the Galois group of \(Y'=AY+B\), \(Y'=AY\) completely reducible
• Darboux transformations for orthogonal differential systems and differential Galois theory
• Galoisian methods for testing irreducibility of order two nonlinear differential equations
• Effective formal reduction of linear differential systems
• Title not available (Why is that?)
• Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
• Picard-Vessiot theory and integrability
• A note on the reduction formulas for some systems of linear operator equations
• Differential Galois Theory and Integration
• Title not available (Why is that?)
• Arnold normal form and formal reduction of system of linear difference equations
• Title not available (Why is that?)
• Liouville integrability: an effective Morales-Ramis-Simó theorem
• Computing the Lie algebra of the differential Galois group: the reducible case

This page was built for publication: A characterization of reduced forms of linear differential systems

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