On a stronger version of a question proposed by K. Mahler
type: Item
instance of: scholarly article
title: On a stronger version of a question proposed by K. Mahler
zbMATH Open document ID: 1442.11108
author: Diego Marques
author: C. Moreira
published in: Journal of Number Theory
publication date: 2018-10-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/1708.09271
review text: Let \({\overline{\mathbb{Q}}}\) be the field of algebraic numbers. In a previous paper [\textit{D. Marques} and \textit{C. G. Moreira}, Math. Ann. 368, No. 3--4, 1059--1062 (2017; Zbl 1387.11056)], answering a question of [\textit{K. Mahler}, Proc. Symp. Pure Math. 20, 248--274 (1971; Zbl 0213.32703)] the authors proved that there exist uncountably many transcendental entire functions \(f(z)=\sum_{n\ge 0} a_n z^n\) with rational coefficients \(a_n\) such that the image \(f({\overline{\mathbb{Q}}})\) and the preimage \(f^{-1}({\overline{\mathbb{Q}}})\) of \({\overline{\mathbb{Q}}}\) under \(f\) are subsets of \({\overline{\mathbb{Q}}}\). The main result of the paper under review is the following generalization. Let \(X\) and \(Y\) be countable subsets of \({\mathbb{C}}\) that are dense and closed for complex conjugation. Suppose that either both \(X\cap {\mathbb{R}}\) and \(Y \cap {\mathbb{R}}\) are dense in \( {\mathbb{R}}\) or both intersections are the empty set. Assume also that if \(0 \in X\) , then \(Y \cap {\mathbb{Q}}\ne \emptyset\). Then, there are uncountably many transcendental entire functions \(f(z)=\sum_{n\ge 0} a_n z^n\) with rational coefficients \(a_n\) and such that \(f(X) = Y\), \(f^{-1}(Y ) = X\) and \(f'(\alpha)\ne 0\), for all \(\alpha\in X\).
reviewed by: Michel Waldschmidt
Mathematics Subject Classification ID: 11J81
Mathematics Subject Classification ID: 30D05
Mathematics Subject Classification ID: 30D10
Mathematics Subject Classification ID: 30D15
zbMATH DE Number: 6948421
zbMATH Keywords: Mahler problem
zbMATH Keywords: Rouché's theorem
zbMATH Keywords: transcendental function
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2962838523
arXiv ID: 1708.09271
cites work: Rational Values of Entire Functions of Finite Order
cites work: On the analytic bijections of the rationals in \([0,1]\)
cites work: Q5615451
cites work: A positive answer for a question proposed by K. Mahler
cites work: Transcendental entire functions mapping every algebraic number field into itself
cites work: Algebraic values of analytic functions.
DOI: 10.1016/J.JNT.2018.06.019
Wikidata QID: Q129481929
description: scientific article