Differential equations and algebraic relations

DOI10.1006/JSCO.1997.0195MaRDI QIDQ1264459zbMATH OpenOpenAlexFDO

Authors Elie Compoint

Publication date 5 May 1999

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

Full work available at URL https://doi.org/10.1006/jsco.1997.0195

zbMATH Keywords

algebraic independence of the values of \(E\)-functionseffective algorithmfirst integrals of linear differential equationsideal generatorsPicard-Vessiot extension

Mathematics Subject Classification ID

Algebraic independence; Gel'fond's method (11J85) Abstract differential equations (12H20) Hypergeometric integrals and functions defined by them ((E), (G), (H) and (I) functions) (33C60) Symbolic computation and algebraic computation (68W30)

Review text

Let \(L\) be a Picard-Vessiot extension of \(F\), \(R\) be a ring of Picard-Vessiot elements of \(L\) over \(F\) and \(G= \text{Gal} (L/F)\). Suppose that \(R= F[y_1,\dots,y_n]= F[y]\), \(G(V)\subset V\), where \(V\) is a linear envelope of \(y\) over the constants of \(F\), and let \(I\) be a defining ideal of \(y\) in \(F[y]\). The author presents in the paper an effective algorithm for seeking the generators of \(I\). For the partial case \(G= \text{PSL}_2\), \(F= C(x)\), these generators are obtained in an explicit form. Also described are the connections of the discussed problem with the problems of algebraic independence of the values of \(E\)-functions [see \textit{A. B. Shidlovskii}, Transcendental numbers, De Gruyter Stud. Math. 12 (1989); translation from the original, Nauka, Moscow (1987; Zbl 0629.10026)] and looking for the first integrals of linear differential equations [\textit{J. A. Weil}, Lect. Notes Comput. Sci. 948, 469-484 (1995; Zbl 0885.12005)].

Recommendations

• Algebraic Relations Among Solutions of Linear Differential Equations
• Algebraic Relations Among Solutions of Linear Differential Equations: Fano's Theorem
• Picard--Vessiot extensions for linear functional systems
• scientific article; zbMATH DE number 812603
• Computing Galois groups of completely reducible differential equations

Cited in

(8)

• Differential algebraic equations with after-effect
• A characterization of reduced forms of linear differential systems
• Schwarz maps of algebraic linear ordinary differential equations
• Differential Algebraic Equations, Indices, and Integral Algebraic Equations
• scientific article; zbMATH DE number 3905883 (Why is no real title available?)
• Algebraic Relations Among Solutions of Linear Differential Equations
• Algebraic Relations Among Solutions of Linear Differential Equations: Fano's Theorem
• scientific article; zbMATH DE number 2020257 (Why is no real title available?)

This page was built for publication: Differential equations and algebraic relations

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