Computing the Lie algebra of the differential Galois group: the reducible case
From MaRDI portal
Publication:2117432
DOI10.1016/J.JSC.2022.01.006zbMATH Open1493.34233arXiv1904.07925OpenAlexW2939598645WikidataQ115345217 ScholiaQ115345217MaRDI QIDQ2117432FDOQ2117432
Jacques-Arthur Weil, Thomas Dreyfus
Publication date: 21 March 2022
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Abstract: In this paper, we explain how to compute the Lie algebra of the differential Galois group of a reducible linear differential system. We achieve this by showing how to transform a block-triangular linear differential system into a Kolchin-Kovacic reduced form. We combine this with other reduction results to propose a general algorithm for computing a reduced form of a general linear differential system. In particular, this provides directly the Lie algebra of the differential Galois group without an a priori computation of this Galois group.
Full work available at URL: https://arxiv.org/abs/1904.07925
Recommendations
- Computing the Lie algebra of the differential Galois group of a linear differential system
- Differential Galois theory and integration
- Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
- A characterization of reduced forms of linear differential systems
- Calculating the Galois group of \(Y'=AY+B\), \(Y'=AY\) completely reducible
Symbolic computation and algebraic computation (68W30) Lie algebras of linear algebraic groups (17B45) Linear ordinary differential equations and systems in the complex domain (34M03) Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15)
Cites Work
- Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra
- An algorithm for solving second order linear homogeneous differential equations
- Galois groups of second and third order linear differential equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Picard-Vessiot Extensions of Real Differential Fields
- Title not available (Why is that?)
- Lie Algebraic Solution of Linear Differential Equations
- Advanced Statistical Mechanics
- On rational solutions of systems of linear differential equations
- Computing closed form solutions of integrable connections
- Curvatures, generic Galois groups and \(D\)-groupoid of a \(q\)-difference system
- Computing Galois groups of completely reducible differential equations
- A Reduction Method for Higher Order Variational Equations of Hamiltonian Systems
- Computing the Galois group of a linear differential equation
- Title not available (Why is that?)
- A reduced form for linear differential systems and its application to integrability of Hamiltonian systems
- Constructing algebraic groups from their Lie algebras.
- A characterization of reduced forms of linear differential systems
- Differential Galois Theory of Algebraic Lie-Vessiot Systems
- Introduction to the Galois theory of linear differential equations
- Title not available (Why is that?)
- Morales-Ramis theorems via Malgrange pseudogroup
- Testing reducibility of linear differential operators: A group theoretic perspective
- Solving second order linear differential equations with Klein's theorem
- Solvable-by-finite groups as differential Galois groups
- Factoring partial differential systems in positive characteristic. With an appendix by M. van der Put: Classification of partial differential modules in positive characteristic
- Liouvillian and algebraic solutions of second and third order linear differential equations
- Globally nilpotent differential operators and the square Ising model
- Unipotent radicals of differential Galois group and integrals of solutions of inhomogeneous equations
- Liouvillian solutions of linear differential equations with Liouvillian coefficients
- Calculating the Galois group of \(L_1(L_2(y))=0,\) \(L_1, L_2\) completely reducible operators
- Calculating the Galois group of \(Y'=AY+B\), \(Y'=AY\) completely reducible
- The inverse problem in the Galois theory of differential fields
- On the inverse problem in the Galois theory of differential fields. II
- Liouville integrability: an effective Morales-Ramis-Simó theorem
- Linear relations between the solutions of a differential equation
- Quantum automata and algebraic groups
- Around the numeric-symbolic computation of differential Galois groups
- Lie's reduction method and differential Galois theory in the complex analytic context
- Hrushovski's algorithm for computing the Galois group of a linear differential equation
- The Ising model: from elliptic curves to modular forms and Calabi–Yau equations
- Linear differential equations and products of linear forms
- Absolute reducibility of differential operators and Galois groups
- Solving linear differential equations
- Finding Integral Linear Dependencies of Algebraic Numbers and Algebraic Lie Algebras
- Galoisian methods for testing irreducibility of order two nonlinear differential equations
- Formal reduction of singular linear differential systems using eigenrings: a refined approach
- Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System
- A new bound on Hrushovski’s algorithm for computing the Galois group of a linear differential equation
- Differential Galois Theory and Integration
Cited In (5)
- Galois groups of linear difference-differential equations
- Effective algebraic independence of values of \(E\)-functions
- Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz
- Local differental Galois group and adjoint representation.
- Computing Galois groups of completely reducible differential equations
Uses Software
This page was built for publication: Computing the Lie algebra of the differential Galois group: the reducible case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117432)
