Algebraic independence of Mahler functions via radial asymptotics (original) (raw)

View PDF

Abstract:We present a new method for algebraic independence results in the context of Mahler's method. In particular, our method uses the asymptotic behaviour of a Mahler function f(z)f(z)f(z) as zzz goes radially to a root of unity to deduce algebraic independence results about the values of f(z)f(z)f(z) at algebraic numbers. We apply our method to the canonical example of a degree two Mahler function; that is, we apply it to F(z)F(z)F(z), the power series solution to the functional equation F(z)−(1+z+z2)F(z4)+z4F(z16)=0F(z)-(1+z+z^2)F(z^4)+z^4F(z^{16})=0F(z)−(1+z+z2)F(z4)+z4F(z16)=0. Specifically, we prove that the functions F(z)F(z)F(z), F(z4)F(z^4)F(z4), F′(z)F'(z)F′(z), and F′(z4)F'(z^4)F′(z4) are algebraically independent over mathbbC(z)\mathbb{C}(z)mathbbC(z). An application of a celebrated result of Nishioka then allows one to replace mathbbC(z)\mathbb{C}(z)mathbbC(z) by mathbbQ\mathbb{Q}mathbbQ when evaluating these functions at a nonzero algebraic number alpha\alphaalpha in the unit disc.

Submission history

From: Wadim Zudilin [view email]
[v1] Fri, 26 Dec 2014 07:31:55 UTC (49 KB)
[v2] Sat, 4 Apr 2015 11:47:56 UTC (49 KB)