Related papers: M\'ethode de Mahler, transcendance et relations li…

This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and…

In this paper, we show the existence of a transcendental function $f\in\mathbb{Z}\{z\}$ with coefficients that are almost all bounded such that $f$ and all its derivatives assume algebraic values at algebraic points. Furthermore, we…

We give two tests for transcendence of Mahler functions. For our first, we introduce the notion of the eigenvalue $\lambda_F$ of a Mahler function $F(z)$, and develop a quick test for the transcendence of $F(z)$ over $\mathbb{C}(z)$, which…

E. Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Kurt Mahler is to investigate whether there exist entire transcendental functions…

In 1902, P. St\"{a}ckel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…

We prove the existence of transcendental entire functions $f$ having a property studied by Mahler, namely that $f(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$ and $f^{-1}(\overline{\mathbb{Q}})\subseteq \overline{\mathbb{Q}}$, and…

In 1902, P. St\"ackel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…

Suppose that $F(x)\in\mathbb{Z}[[x]]$ is a Mahler function and that $1/b$ is in the radius of convergence of $F(x)$. In this paper, we consider the approximation of $F(1/b)$ by algebraic numbers. In particular, we prove that $F(1/b)$ cannot…

In 1902, Paul St\"ackel constructed an analytic function $f(z)$ in a neighborhood of the origin, which was transcendental, and with the property that both $f(z)$ and its inverse, as well as its derivatives, assumed algebraic values at all…

We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…

About fifty years ago Mahler proved that if $\alpha>1$ is rational but not an integer and if $0<l<1$ then the fractional part of $\alpha^n$ is $>l^n$ apart from a finite set of integers $n$ depending on $\alpha$ and $l$. Answering…

In this note, the main focus is on a question about transcendental entire functions mapping $\mathbb{Q}$ into $\mathbb{Q}$ (which is related to a Mahler's problem). In particular, we prove that, for any $t>0$, there is no a transcendental…

Let $\mathbb{K}$ be a function field of characteristic $p>0$. We recently established the analogue of a theorem of Ku. Nishioka for linear Mahler systems defined over $\mathbb{K}(z)$. This paper is dedicated to proving the following…

We give a new proof of Fatou's theorem: {\em if an algebraic function has a power series expansion with bounded integer coefficients, then it must be a rational function.} This result is applied to show that for any non--trivial completely…

We prove transcendence of the Hecke-Mahler series $\sum_{n=0}^\infty f(\lfloor n\theta+\alpha \rfloor) \beta^{-n}$, where $f(x) \in \mathbb{Z}[x]$ is a non-constant polynomial $\alpha$ is a real number, $\theta$ is an irrational real…

To decide upon the arithmetic nature of some numbers may be a non-trivial problem. Some cases are well know, for example exp(1) and W(1), where W is the Lambert function, are transcendental numbers. The Tsallis q-exponential, e_q (z), and…

In 1906, Maillet proved that given a non-constant rational function $f$, with rational coefficients, if $\xi$ is a Liouville number, then so is $f(\xi)$. Motivated by this fact, in 1984, Mahler raised the question about the existence of…

Let $\alpha$ and $\beta$ be positive real numbers. Let $F(x) \in K[[x^\Gamma]]$ be a Hahn series. We prove that if $F(x)$ is both $\alpha$-Mahler and $\beta$-Mahler then it must be a rational function, $F(x) \in K(x)$, assuming some…

This is the second part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. From the lifting theorem obtained in the first part, we first derive a…

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…