A symplectic Kovacic's algorithm in dimension 4

DOI10.1145/3208976.3209005zbMATH Open1467.34013arXiv1802.01023OpenAlexW2963589277MaRDI QIDQ5120189FDOQ5120189

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)

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.

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

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

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)

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)