Liouville numbers are real numbers that can be approximated by rational numbers extraordinarily well, far better than ordinary irrational numbers like the square root of 2. They form a classic and somewhat exotic set in mathematics, and a natural question is: which functions send Liouville numbers to Liouville numbers? In 1984, the mathematician Kurt Mahler posed this question for analytic functions. A previous paper by the same authors established that any real-analytic function with this property must actually be a rational function, meaning a ratio of two polynomials.
This paper completes the picture for rational functions specifically. The authors identify a special field of real numbers, called L, which plays the role of the "right" set of coefficients. A rational function maps Liouville numbers to Liouville numbers on an open interval if and only if two conditions hold: its coefficients come from this special field L, and the function never sends a Liouville number in that interval to a rational number. A slightly weaker condition, where the outputs are allowed to be either Liouville or rational, holds exactly when the coefficients come from L alone. If the coefficients do not come from L, then there is always a large, structured set of Liouville numbers (technically a Cantor set) whose images under the function are irrational but decidedly not Liouville, in the sense that their approximability by rationals is provably limited.
The paper also constructs an uncountably large family of special Liouville numbers with a remarkable multiplicative property: multiplying any of them by a variable raised to any integer power of two or more still produces a function that preserves Liouville numbers. These examples are carefully built so that whenever the function hits a rational value, the preimage has a very specific and well-understood structure. Together, the results give a nearly complete characterization of which rational functions respect the exotic approximation properties that define Liouville numbers.