Algebraic independence of Mahler functions and their values
type: Item
instance of: scholarly article
title: Algebraic independence of Mahler functions and their values
zbMATH Open document ID: 0852.11036
author: Kumiko Nishioka
published in: Tôhoku Mathematical Journal. Second Series
publication date: 1996-12-05T00:00:00Z
review text: The paper deals with the algebraic independence of a special class of Mahler functions in several complex variables, namely functions \(f(z)= (f_1 (z), \dots, f_m (z))\) satisfying a functional equation \(f(z)= Af(\Omega z)+ b(z)\), where \(A\) is a constant matrix, the entries of \(b(z)\) are rational functions and everything is defined over a number field \(K\). The transformation \(\Omega\) on \(z= (z_1, \dots, z_n)\) is defined by \((\Omega z)_i= \prod^n_{j=1} z_j^{\omega_{ij}}\). Assume that \(\alpha\) is an algebraic point, \(\Omega^k \alpha\to 0\) as \(k\to \infty\) at the correct rate and \(f(\Omega^k \alpha) \neq 0\) for infinitely many \(k\). Then (1) If \(f_1, \dots, f_m\) are algebraically dependent over \(\mathbb{C}(z_1, \dots, z_n)\) there are constants \(c_1, \dots, c_m\) such that \(c_1 f_1+ \dots+ c_m f_m\) is in \(\mathbb{C}(z_1, \dots, z_n)\). (2) If \(f_1, \dots, f_m\) are algebraically independent then so are \(f_1 (\alpha), \dots, f_m (\alpha)\). The arguments are similar to those in the original papers of Mahler. As an interesting example in one variable, let \(g(z)= \sum^\infty_{k=0} \alpha^{d^k} x^k\) where \(d\) is an integer greater than 1 and \(\alpha\) is a non-zero algebraic number with absolute value less than 1. Then the numbers \(g^{(l)} (\beta)\) for \(l= 0, 1, 2, \dots\) and \(\beta\) non-zero algebraic are algebraically independent. Mahler's example \(F_\omega (z_1, z_2)= \sum^\infty_{h_1= 1} \sum_{h_2= 1}^{[ h_1 \omega]} z_1^{h_1} z_2^{h_2}\) leads similarly to the algebraic independence of the numbers \({{\partial^{l_1+ l_2}} \over {\partial z_1^{l_1} \partial z_2^{l_2}}} F_\omega (\alpha_1, \alpha_2)\).
Mathematics Subject Classification ID: 11J85
Mathematics Subject Classification ID: 39B32
zbMATH DE Number: 889575
zbMATH Keywords: algebraic independence
zbMATH Keywords: Mahler functions in several complex variables
reviewed by: John H. Loxton
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2748/tmj/1178225412
OpenAlex ID: W1987467476
cites work: Q3254327
cites work: On the algebraic independence of holomorphic solutions of certain functional equations and their values
cites work: Q4106275
cites work: A class of hypertranscendental functions
cites work: A vanishing theorem for power series
cites work: Algebraic independence of certain power series of algebraic numbers
cites work: New approach in Mahler's method.
cites work: Note on a paper by Mahler
cites work: An axiomatization of Nesterenko's method and applications on Mahler functions
DOI: 10.2748/TMJ/1178225412
description: scientific article; zbMATH DE number 889575