Solving order 3 difference equations

DOI10.1016/J.JSC.2025.102419MaRDI QIDQ7030679zbMATH OpenFDO

Authors Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui

Publication date 7 February 2025

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JSC.2025.102419

zbMATH Keywords

difference algebradifference Galois theorylinear recurrence equation

Mathematics Subject Classification ID

Difference algebra (12H10) Linear difference equations (39A06)

Review text

In this paper the authors generalize the concepts of Liouvillian sequences and Liouville solutions of difference operators introduced in [\textit{P. A. Hendriks} and \textit{M. F. Singer}, J. Symb. Comput. 27, No. 3, 239--259 (1999; Zbl 0930.39004)] to the case of order \(2\) difference operators in \(F[\Phi, \Phi^{-1}]\) over the inversive ordinary difference field \((F, \phi) = (\mathbb{C}(x), \phi:x\mapsto x+1)\) (\(\Phi\circ f = \phi(f)\circ \Phi\) for any \(f\in\mathbb{C}(x)\)) and define \(2\)-expressible sequences in a similar way to the Eulerian solutions considered in [\textit{M. F. Singer}, Am. J. Math. 107, 663--696 (1985; Zbl 0564.12022)]. Similar to how Hendriks and Singer classified difference operators with Liouvillian solutions in the above mentioned paper, the paper under review classifies operators with \(2\)-expressible solutions. Furthermore, the authors introduce the concept of absolute irreducibility for difference modules, study its properties and classify difference modules of arbitrary dimension that are irreducible but not absolutely irreducible. Using the obtained results, the authors classify order \(3\) linear difference operators over \(\mathbb{C}(x)\) that are solvable in terms of lower order difference operators.

Cites work

• Algebraic Relations Among Solutions of Linear Differential Equations: Fano's Theorem
• An algorithm for solving second order linear homogeneous differential equations
• Computing the Galois group of a linear differential equation of order four.
• Descent for differential modules and skew fields
• Galois theory of difference equations
• scientific article; zbMATH DE number 2132158 (Why is no real title available?)
• scientific article; zbMATH DE number 3135927 (Why is no real title available?)
• scientific article; zbMATH DE number 3552764 (Why is no real title available?)
• scientific article; zbMATH DE number 1860838 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• Jordan algebras and algebraic groups.
• On \(d\)-solvability for linear differential equations
• Solving difference equations in finite terms
• Solving Homogeneous Linear Differential Equations in Terms of Second Order Linear Differential Equations
• Solving linear differential equations
• Solving recurrence relations using local invariants
• Solving third order linear difference equations in terms of second order equations
• Solving third order linear differential equations in terms of second order equations
• Trivial source character tables of , part II

Cited in

(1)

• Algorithms for 2-solvable difference equations

This page was built for publication: Solving order 3 difference equations

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