Difference integrability conditions for parameterized linear difference and differential equations

DOI10.1016/J.AAM.2013.09.007MaRDI QIDQ395250zbMATH OpenOpenAlexFDO

Authors Alexey Ovchinnikov

Publication date 29 January 2014

Published in Advances in Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

difference algebradifference Galois theorydifferential algebradifferential Galois theoryintegrability conditions

Mathematics Subject Classification ID

Differential algebra (12H05) Difference algebra (12H10) Difference equations, scaling ((q)-differences) (39A13)

Abstract: This paper is devoted to integrability conditions for systems of linear difference and differential equations with difference parameters. It is shown that such a system is difference isomonodromic if and only if it is difference isomonodromic with respect to each parameter separately. Due to this result, it is no longer necessary to solve non-linear difference equations to verify isomonodromicity, which will improve efficiency of computation with these systems.

Review text

Let \(K\) be a partial differential field of characteristic zero with a set of derivations \(\Delta =\{\delta_1,\ldots,\delta_m\}\) and a set \(\Phi =\{\phi_1,\ldots,\phi_p\}\) of commuting differential automorphisms of \(K\) The paper deals with the system of linear difference-differential equations of the following form NEWLINE\[NEWLINE(\text{a})\;\phi _1Y=A_1Y,\ldots,\phi_pY=A_pY\qquad (\text{b})\;\delta_1=B_1Y,\ldots,\delta_m=B_mY,NEWLINE\]NEWLINE where \(A_1,\ldots,A_p\in\mathrm{GL}_K(n)\) and \(B_1,\ldots,B_m\in M_K(n)\). The system (ab) is called integrable if there exists a partial differential field extension \(L\) of \(K\) corresponding to the system (ab). The integrability of the system requires the following relations between its coefficientsNEWLINENEWLINE(1) \(\quad (\phi_j A_i) A_j=(\phi_i A_j) A_i,\;1\leq i,j\leq p\), NEWLINENEWLINENEWLINE (2) \(\quad (\phi_j B_i) A_j=\delta_i A_j+A_j,\;1\leq j\leq p,\;1\leq i\leq m\), NEWLINENEWLINENEWLINE (3) \(\quad \delta_i B_j-\delta_j B_i=[B_i,B_j],\;\;1\leq i,j\leq m\).NEWLINENEWLINE NEWLINEThe author claims (the main theorem) that if one supplements the set \(\Phi \) with additional automorphisms, the test of conditions (1) can do not completely. This suggests that perhaps all systems of (ab) type are constructed as follows. Let \(C\) be an algebraically closed field of characteristic zero, \(G\) be a connected commutative algebraic group defined over \(C\), \(L\) be a partial differential field with \(\mathrm{Gal}(L/C)=G\) and a set of derivations \(\Delta =\{\delta_1,\ldots,\delta_m\}\), \(\psi \colon G\to \mathrm{GL}_C(n)\) be a nontrivial representation, \(H=\mathrm{ker}(\psi),K=L^H\) and \(A\in \mathrm{GL}_K(n)\). Since the field \(C\) is algebraically closed, then \(L\) is a \(G\)-primitive extension of \(C\), i.e, there is \(g\in G_L\) such that\(L=C<g>\). Let \(Y=A\psi (g)\) thenNEWLINENEWLINENEWLINE(c) \(\quad \forall (\phi \in G\backslash H)\;\phi Y=A_\phi Y,\;A_\phi\in \mathrm{GL}_K(n)\),NEWLINENEWLINENEWLINE(d) \(\quad \forall (\delta \in \Delta )\;\delta Y=B_\delta Y,\;B_\delta\in M_K(n)\) and according to the definitions the system (cd) is a substantial system of linear difference-differential equations.

Recommendations

• Integrability conditions for parameterized linear difference equations
• Isomonodromic differential equations and differential categories
• Isomonodromy transformations of linear systems of difference equations
• On the extension of the Painlevé property to difference equations
• scientific article; zbMATH DE number 1895701

Cites work

• Computing closed form solutions of integrable connections
• Curvatures, generic Galois groups and \(D\)-groupoid of a \(q\)-difference system
• Deformation of linear ordinary differential equations. I
• Descent for differential Galois theory of difference equations: confluence and q-dependence
• Differential Galois theory of linear difference equations
• Exact solutions of a \(q\)-discrete second Painlevé equation from its iso-monodromy deformation problem. II: Hypergeometric solutions
• Exact solutions of a q-discrete second Painlevé equation from its iso-monodromy deformation problem: I. Rational solutions
• Factorization of polynomials and GCD computations for finding universal denominators
• Galois theory of parameterized differential equations and linear differential algebraic groups
• scientific article; zbMATH DE number 48899 (Why is no real title available?)
• scientific article; zbMATH DE number 3464139 (Why is no real title available?)
• scientific article; zbMATH DE number 2124950 (Why is no real title available?)
• Hypertranscendance des systèmes aux différences diagonaux
• Integrability conditions for parameterized linear difference equations
• Linear Recurrences with Polynomial Coefficients and Application to Integer Factorization and Cartier–Manin Operator
• Low complexity algorithms for linear recurrences
• Monodromy preserving deformation of linear ordinary differential equations with rational coefficients. I: General theory and \(\tau \)-function
• Parameterized Picard-Vessiot extensions and Atiyah extensions
• Rational solutions of linear difference equations: universal denominators and denominator bounds
• The work of Andrey Bolibrukh on isomonodromic deformations
• Unipotent differential algebraic groups as parameterized differential Galois groups

Cited in

(4)

• On the computation of parameter derivatives of solutions of linear difference equations
• Laguerre collocation method for solving Fredholm integro-differential equations with functional arguments
• Integrability conditions for parameterized linear difference equations
• scientific article; zbMATH DE number 5972457 (Why is no real title available?)

This page was built for publication: Difference integrability conditions for parameterized linear difference and differential equations

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