Abstract
Siegel's results [Siegel, C. L. (1929) Abh. Preuss. Akad. Wiss. Phys.-Math. Kl. 1] on the transcendence and algebraic independence of values of E-functions are refined to obtain the best possible bound for the measures of irrationality and linear independence of values of arbitrary E-functions at rational points. Our results show that values of E-functions at rational points have measures of diophantine approximations typical to “almost all” numbers. In particular, any such number has the “2 + ε” exponent of irrationality: ǀΘ - p/qǀ > ǀqǀ-2-ε for relatively prime rational integers p,q, with q ≥ q0 (Θ, ε). These results answer some problems posed by Lang. The methods used here are based on the introduction of graded Padé approximations to systems of functions satisfying linear differential equations with rational function coefficients. The constructions and proofs of this paper were used in the functional (nonarithmetic case) in a previous paper [Chudnovsky, D. V. & Chudnovsky, G. V. (1983) Proc. Natl. Acad. Sci. USA 80, 5158-5162].
Keywords: Padé approximations, linear differential equations, E-functions, measure of rational approximations
Full text
PDF
Selected References
These references are in PubMed. This may not be the complete list of references from this article.
- Chudnovsky D. V., Chudnovsky G. V. Rational approximations to solutions of linear differential equations. Proc Natl Acad Sci U S A. 1983 Aug;80(16):5158–5162. doi: 10.1073/pnas.80.16.5158. [DOI] [PMC free article] [PubMed] [Google Scholar]
- Chudnovsky G. V. Rational approximations to linear forms of exponentials and binomials. Proc Natl Acad Sci U S A. 1983 May;80(10):3138–3141. doi: 10.1073/pnas.80.10.3138. [DOI] [PMC free article] [PubMed] [Google Scholar]