Exceptional values of E-functions at algebraic points
From MaRDI portal
(Redirected from Publication:4583636)
Transcendence (general theory) (11J81) Transcendence theory of other special functions (11J91) Other functions coming from differential, difference and integral equations (33E30) Entire and meromorphic solutions to ordinary differential equations in the complex domain (34M05) Symbolic computation and algebraic computation (68W30)
Abstract: E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with rational functions coefficients. They were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function, and studied further by Shidlovskii in 1956. The celebrated Siegel-Shidlovskii Theorem deals with the algebraic (in)dependence of values at algebraic points of E-functions solutions of a differential system. However, somewhat paradoxically, this deep result may fail to decide whether a given E-fuction assumes an algebraic or a transcendental value at some given algebraic point. Building upon Andr'e's theory of E-operators, Beukers refined in 2006 the Siegel-Shidlovskii Theorem in an optimal way. In this paper, we use Beukers' work to prove the following result: there exists an algorithm which, given a transcendental E-function as input, outputs the finite list of all exceptional algebraic points such that is also algebraic, together with the corresponding list of values . This result solves the problem of deciding whether values of E-functions at algebraic points are transcendental.
Recommendations
- Undecidable arithmetic properties of solutions of Fredholm integral equations
- On Siegel's problem for \(E\)-functions
- Effective algebraic independence of values of E-functions
- Algebraic properties of Э-functions
- A non-hypergeometric \(E\)-function
- Critère de reconnaissabilité de fonctions analytiques et fonctions entières arithmétiques
- scientific article; zbMATH DE number 3871476
- A Survey of Transcendentally Transcendental Functions
- Algebraic independence of values of E-functions at algebraic points
- scientific article; zbMATH DE number 3337787
Cited in
(19)- Algebraic properties of Э-functions
- Linear independence of values of G-functions. II: Outside the disk of convergence
- Exceptional values of algebroid functions on annuli
- Undecidable arithmetic properties of solutions of Fredholm integral equations
- Factors of \(E\)-operators with an \(\eta\)-apparent singularity at zero
- Entire functions with undecidable arithmetic properties
- scientific article; zbMATH DE number 468751 (Why is no real title available?)
- Mahler's method in positive characteristic: an analog of Ku. Nishioka's theorem
- Explicit degree bounds for right factors of linear differential operators
- Regular extensions and algebraic relations between values of Mahler functions in positive characteristic
- Effective algebraic independence of values of E-functions
- Values of \(E\)-functions are not Liouville numbers
- Minimization of differential equations and algebraic values of 𝐸-functions
- Algebraic solutions of linear differential equations: an arithmetic approach
- Algebraic relations between values of Siegel \(E\)-functions and Mahler \(M\)-functions
- Development of Siegel-Shidlovskii method in transcendental number theory
- Transcendence of values of logarithms of E-functions
- A Lindemann-Weierstrass theorem for E-functions
- Zeros of \(E\)-functions and of exponential polynomials defined over \(\overline{{\mathbb{Q}}}\)
This page was built for publication: Exceptional values of E-functions at algebraic points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583636)
