Auxiliary functions in transcendence proofs - Université Pierre et Marie Curie Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2009

Auxiliary functions in transcendence proofs

Michel Waldschmidt
  • Fonction : Auteur
  • PersonId : 862020

Résumé

We discuss the role of auxiliary functions in the development of transcendental number theory. Earlier auxiliary functions were completely explicit. The earliest transcendence proof is due to Liouville, who produced the first explicit examples of transcendental numbers at a time where their existence was not yet known; in his proof, the auxiliary function is just a polynomial in one variable. Hermite's proof of the transcendence of $e$(1873) is much more involved, the auxiliary function he builds is the first example of the Padé approximants, which can be viewed as a far reaching generalization of continued fraction expansion. Hypergeometric functions are among the best candidates for using Padé approximations techniques. Another tool which plays the role of auxiliary functions is produced by interpolation formulae. They occurred in the theory after a question by Weierstrass on the so-called exceptional set $S_f$ of a transcendental function $f$, which is the set of algebraic numbers $\alpha$ such that $f(\alpha)$ is algebraic. The answer to his question is that any set of algebraic numbers is the exceptional set of some transcendental function $f$; this shows that one should add further conditions in order to get transcendence criteria. One way is to replace algebraic number by rational integer: this gives rise to the study of integer--valued entire functions with the works of G.~Pólya (1915), A.O.~Gel'fond (1929) and many others. The connexion with transcendental number theory may not have been clear until the solution by A.O.~Gel'fond in 1929 of the question of the transcendence of $e^\pi$, a special case of Hilbert's seventh problem. Along these lines, recent developments are due to T.~Rivoal, who renewed forgotten rational interpolation formulae (1935) of R.~Lagrange. The simple (but powerful) construction by Liouville was extended to several variables by A.~Thue, who introduced the Dirichlet's box principle (pigeonhole principle) into the topic of Diophantine approximation in the early 1900's. In the 1920's, Siegel developed this idea and applied it in 1932 to transcendental number theory. This gave rise to the Gel'fond--Schneider which produces the Schneider--Lang Criterion in one or several variables. Among many developments of this method are results on modular functions. Variants of the auxiliary functions produced by Dirichlet's Box Principle are universal auxiliary functions, which have small Taylor coefficients at the origin. Another approach, due to K.~Mahler, involves auxiliary functions whose existence is deduced from linear algebra instead of Thue--Siegel Lemma. In 1991 M.~Laurent introduced interpolation determinants.Two years later J.B.~Bost used Arakhelov theory to prove slope inequalities, which dispenses of the choice of bases.
Fichier principal
Vignette du fichier
AuxiliaryFnsHAL072009.pdf (339.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00405120 , version 1 (24-07-2009)

Identifiants

  • HAL Id : hal-00405120 , version 1

Citer

Michel Waldschmidt. Auxiliary functions in transcendence proofs. 2009. ⟨hal-00405120⟩
305 Consultations
874 Téléchargements

Partager

Gmail Facebook X LinkedIn More