# 2009, English, Article edition: Auxiliary functions in transcendence proofs Waldschmidt, Michel

#### User activity

##### Share to:

Bookmark: http://trove.nla.gov.au/version/205693
Physical Description
• text
Published
• HAL - CCSD
• 2009
Language
• English

### Edition details

Title
• Auxiliary functions in transcendence proofs
Author
• Waldschmidt, Michel
Published
• HAL - CCSD
• 2009
Physical Description
• text
Subjects
Notes
• 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\'olya (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.
• HAL:hal-00405120, version 1
• HAL:http:/​/​hal.archives-ouvertes.fr/​hal-00405120/​en/​
Language
• English
Contributed by
OAIster

## Freely available

• Set up My libraries

### How do I set up "My libraries"?

In order to set up a list of libraries that you have access to, you must first login or sign up. Then set up a personal list of libraries from your profile page by clicking on your user name at the top right of any screen.

• All (1)
• Unknown (1)
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.
None of your libraries hold this item.

## User activity

#### Tags

What are tags? Add a tag

e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition