Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System

被引：9

作者：

Barkatou, Moulay ^{[1
]}

Cluzeau, Thomas ^{[1
]}

Weil, Jacques-Arthur ^{[1
]}

Di Vizio, Lucia ^{[2
]}

机构：

[1] Univ Limoges, CNRS, XLIM UMR 7252, 123 Av Albert Thomas, F-87060 Limoges, France

[2] Univ Versailles St Quentin En Yvelines, Math Lab, UMR 8100, 45 Av Etats Unis, F-78035 Versailles, France

来源：

PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016) | 2016年

关键词：

Computer algebra; Algorithms; Linear differential systems; Differential Galois theory; Lie algebras; Grothendieck-Katz p-curvature conjecture; Eigenrings; Reduced forms; REDUCIBILITY; OPERATORS;

D O I：

10.1145/2930889.2930932

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We consider a linear differential system [A] : y' = A y with coefficients in C(x). The differential Galois group G of [A] is a linear algebraic group which measures the algebraic relations among solutions. Although there exist general algorithms to compute G, none of them is either practical or implemented. This paper proposes an algorithm to compute the Lie algebra g of G when [A] is absolutely irreducible. The algorithm is implemented in Maple.

引用

页码：63 / 70

页数：8

共 50 条

[1] Computing the Lie algebra of the differential Galois group: The reducible case
Dreyfus, Thomas
Weil, Jacques-Arthur
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2022, 112 : 122 - 163
[2] Computing the Galois group of a linear differential equation of order four
Hessinger, SA
[J]. APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2001, 11 (06) : 489 - 536
[3] Computing the Galois Group of a Linear Differential Equation of Order Four
Sabrina A. Hessinger
[J]. Applicable Algebra in Engineering, Communication and Computing, 2001, 11 : 489 - 536
[4] Reduced Forms of Linear Differential Systems and the Intrinsic Galois-Lie Algebra of Katz
Barkatou, Moulay
Cluzeau, Thomas
Di Vizio, Lucia
Weil, Jacques-Arthur
[J]. SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS, 2020, 16
[5] Hrushovski's algorithm for computing the Galois group of a linear differential equation
Feng, Ruyong
[J]. ADVANCES IN APPLIED MATHEMATICS, 2015, 65 : 1 - 37
[6] Linear differential equations with finite differential Galois group
van der Put, M.
Sanabria Malagon, C.
Top, J.
[J]. JOURNAL OF ALGEBRA, 2020, 553 : 1 - 25
[7] Lie symmetries and differential galois groups of linear equations
Oudshoorn, WR
Van der Put, M
[J]. MATHEMATICS OF COMPUTATION, 2002, 71 (237) : 349 - 361
[8] Linear autonomy conditions for the basic Lie algebra of a system of linear differential equations
Chirkunov, Yu. A.
[J]. DOKLADY MATHEMATICS, 2009, 79 (03) : 415 - 417
[9] Shuffle algebra and differential Galois group of colored polylogarithms
Minh, HN
[J]. NUCLEAR PHYSICS B-PROCEEDINGS SUPPLEMENTS, 2004, 135 : 220 - 224
[10] Linear autonomy conditions for the basic Lie algebra of a system of linear differential equations
Yu. A. Chirkunov
[J]. Doklady Mathematics, 2009, 79 : 415 - 417

← 1 2 3 4 5 →