In 1929, K. Mahler [a1] started the study of transcendence properties of the values of analytic functions satisfying certain functional equations. A simple example is , where is a polynomial with algebraic coefficients and an integer. For instance, the function , which is analytic in the unit disc of (cf. also Analytic function), satisfies , and Mahler proved that is transcendental (cf. also Transcendental number) whenever is an algebraic number satisfying .
The functional equation is used to derive many points from the starting one (in the previous example the points are ), and this iteration yields points close to the origin.
Mahler's proof involves the construction of an auxiliary polynomial. This construction is different from Hermite's one, since the polynomial is not explicit, and also different from Siegel's, Gel'fond's or Schneider's ones (cf. also Gel'fond–Schneider method; Schneider method), since it rests on an argument of linear algebra rather than on the Thue–Siegel lemma (cf. also Dirichlet principle): No bound for the height of the coefficients is required.
The topic was somehow forgotten until 1969 [a4]. Thanks to the work of several mathematicians, including J.H. Loxton, A.J. van der Poorten, K.K. Kubota, K. Nishioka, P.G. Becker, M. Amou, and T. Töpfer (see [a5]), general results are now available for the transcendence and algebraic independence of values of such functions, in one or several variables. This method turns out to be one of the most efficient ones for proving strong results of algebraic independence. Here is an example.
Let , be positive integers with and an algebraic number with . For , let be a sequence of algebraic numbers satisfying a linear recurrence relation. Assume are linearly independent. Then the numbers
are algebraically independent.
Also, sharp estimates of Diophantine approximations (transcendence measures as well as measures of algebraic independence) have been obtained. A far-reaching extension of Mahler's vanishing theorem was given by D.W. Masser in 1982.
Mahler's early paper [a1] contains the transcendence of the Thue–Morse number, whose binary expansion is given by the fixed point starting with of the substitution and (the related functional equation is ). More generally, Mahler's method has interesting deep connections with automata theory (cf. also Formal languages and automata). It is conjectured that a number whose expansion in an integral basis is given by an automaton is either rational or else transcendental.
One of Mahler's goals (see [a4]) was to derive from his method the transcendence of for algebraic with . Here, is the modular function, which satisfies indeed functional equations, namely the modular equations relating and for any . This conjecture was proved only in 1995 (see Gel'fond–Schneider method).
|[a1]||K. Mahler, "Arithmetische Eigenschaften der Lösungen einer Klasse von Funktionalgleichung" Math. Ann. , 101 (1929) pp. 342–366 (Corrigendum: 103 (1930), 532)|
|[a2]||K. Mahler, "Über das Verschwinden von Potenzreihen mehrerer Veränderlichen in speziellen Punktfolgen" Math. Ann. , 103 (1930) pp. 573–587|
|[a3]||K. Mahler, "Arithmetische Eigenschaften einer Klasse transzendental-transzendenter Funktionen" Math. Z. , 32 (1930) pp. 545–585|
|[a4]||K. Mahler, "Remarks on a paper by W. Schwarz" J. Number Theory , 1 (1969) pp. 512–521|
|[a5]||K. Nishioka, "Mahler functions and transcendence" , Lecture Notes in Mathematics , 1631 , Springer (1996)|
Mahler method. Michel Waldschmidt (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Mahler_method&oldid=16978