A symplectic Kovacic's algorithm in dimension 4

DOI10.1145/3208976.3209005MaRDI QIDQ5120189zbMATH OpenOpenAlexFDO

Authors Thierry Combot, Camilo Sanabria

Publication date 9 September 2020

Published in Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

differential Galois theoryLiouvillian functionsKovacic's algorithmsymplectic differential systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear ordinary differential equations and systems (34A30) Differential algebra (12H05)

Abstract: Let $L$ be a $4$th order differential operator with coefficients in $mathbbK(z)$, with $mathbbK$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental matrix of solutions $X$ satisfies $X^{t}JX=J$ where $J$ is the standard symplectic matrix. It is called projectively symplectic when it is projectively equivalent to a symplectic operator. We design an algorithm to test if $L$ is projectively symplectic. Furthermore, based on Kovacic's algorithm, we design an algorithm that computes Liouvillian solutions of projectively symplectic operators of order $4$. Moreover, using Klein's Theorem, algebraic solutions are given as pullbacks of standard hypergeometric equations.

Recommendations

• Computing the Galois group of a linear differential equation of order four.
• On Liouvillian solutions of linear differential equations of order 4 and 5
• Note on Kovacic's algorithm
• Liouvillian solutions of linear differential equations of order three and higher
• Kovacic's algorithm and its application to some families of special functions

Cited in

(1)

• Reduced forms of linear differential systems and the intrinsic Galois-Lie algebra of Katz

This page was built for publication: A symplectic Kovacic's algorithm in dimension 4

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