We prove that for any infinite sets of nonnegative integers $\mathcal {A}$ and $\mathcal {B}$ , there exist transcendental analytic functions $f\in \mathbb {Z}\{z\}$ whose coefficients vanish for any indexes $n\not \in \mathcal {A}+\mathcal {B}$ and for which $f(z)$ is algebraic whenever z is algebraic and $|z|<1$ . As a consequence, we provide an affirmative answer for an asymptotic version of Mahler’s problem A.

Let $\unicode[STIX]{x1D70C}\in (0,\infty ]$ be a real number. In this short note, we extend a recent result of Marques and Ramirez [‘On exceptional sets: the solution of a problem posed by K. Mahler’, Bull. Aust. Math. Soc.94 (2016), 15–19] by proving that any subset of $\overline{\mathbb{Q}}\cap B(0,\unicode[STIX]{x1D70C})$, which is closed under complex conjugation and contains $0$, is the exceptional set of uncountably many analytic transcendental functions with rational coefficients and radius of convergence $\unicode[STIX]{x1D70C}$. This solves the question posed by K. Mahler completely.

In this paper, we shall prove that any subset of $\overline{\mathbb{Q}}$, which is closed under complex conjugation, is the exceptional set of uncountably many transcendental entire functions with rational coefficients. This solves an old question proposed by Mahler [Lectures on Transcendental Numbers, Lecture Notes in Mathematics, 546 (Springer, Berlin, 1976)].

Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Mahler is to investigate whether there exist entire transcendental functions with this property or not. For large parametrized classes of Liouville numbers, we construct such functions and moreover we show that they can be constructed such that all their derivatives share this property. We use a completely different approach than in a recent paper, where functions with a different invariant subclass of Liouville numbers were constructed (though with no information on derivatives). More generally, we study the image of Liouville numbers under analytic functions, with particular attention to $f(z)=z^{q}$, where $q$ is a rational number.

In this note we shall prove the existence of an uncountable subset of Liouville numbers (which we call the set of ultra-Liouville numbers) for which there exist uncountably many transcendental analytic functions mapping the subset into itself.

The paper describes entire solutions to the eiconal type non-linear partial differential equations, which include the eiconal equations ${{({{X}_{1}}(u))}^{2}}\,+\,{{({{X}_{2}}(u))}^{2}}\,=\,1$ as special cases, where ${{X}_{1}}\,=\,{{p}_{1}}\partial /\partial {{z}_{1}}\,+\,{{p}_{2}}\partial /\partial {{z}_{2}},\,{{X}_{2}}\,=\,{{p}_{3}}\partial /\partial {{z}_{1}}\,+\,{{p}_{4}}\partial /\partial {{z}_{2}}$ are linearly independent operators with ${{p}_{j}}$ being arbitrary polynomials in ${{\mathbf{C}}^{2}}$.