Applications of Some Formulae by Hermite to the Approximation of Exponentials and Logarithms

To C. L. Siegel on his 70th birthday
  • K. Mahler
Chapter

Abstract

While Liouville gave the first examples of transcendental numbers, the modern theory of proofs of transcendency started with Hermite’s beautiful paper “Sur la fonction exponentielle” (Hermite, 1873). In this paper, for a given system of distinct complex numbers ω 0 , ω 1 ...,ω m and of positive integers ϱ 0 , ϱ 1 ..., ϱ m with the sum σ, Hermite constructed a set of m + 1 polynomials
$$ \mathfrak{A}o(z),{\mathfrak{A}_1}(z),...,{\mathfrak{A}_m}(z) $$
of degrees not exceeding σ-ϱ0, σ-ϱ1,..., σ-ϱm respectively, such that all the functions
$$ {\mathfrak{A}_k}(z){e^{{\omega _1}z}},{\mathfrak{A}_l}(z){e^{{\omega _k}z}}\;(0\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{ \leqslant } k < l\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{ \leqslant } m) $$
vanish at z = 0 at least to the order σ + 1. On putting z = 1, these formulae produce simultaneous rational approximations of the numbers 1, e, e 2 ,..., e m that are so good that they imply the linear independence of these numbers and hence the transcendency of e.

Keywords

Positive Integer Integral Coefficient Transcendental Number Positive Absolute Constant Gaussian Integer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ch. Hermite 1873, Oeuvres, t. III, 151–181.Google Scholar
  2. Ch. Hermite 1893, Oeuvres, t. IV, 357–377.Google Scholar
  3. K. Mahler 1931, J. reine angew. Math., 166, 118–137.Google Scholar
  4. K. Mahler 1953, Phil. Trans. Royal Soc., A, 245, 371–398.CrossRefMATHMathSciNetGoogle Scholar
  5. K. Mahler 1953a, Proc. Acad. Amsterdam, A, 56, 30–42.MathSciNetGoogle Scholar
  6. Rosser and Schoenfeld 1962, Illinois J. of Math., 6, 64–94.MATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2004

Authors and Affiliations

  • K. Mahler
    • 1
  1. 1.Institute of Advanced StudiesAustralian National UniversityCanberraAustralia

Personalised recommendations