Polynomials involving the floor function

Inger Johanne Håland,Donald E. Knuth
DOI: https://doi.org/10.48550/arXiv.math/9504229
1995-04-01
Abstract:Some identities are presented that generalize the formula x^3 = 3x floor(x floor(x)) - 3 floor(x) floor(x floor(x)) + floor(x)^3 + 3 frac(x) frac(x floor(x)) + frac(x)^3 to a representation of the product x_0x_1 ... x_{n-1}.
Number Theory
What problem does this paper attempt to address?
\(\)The problem that this paper attempts to solve is about the generalization of identities of polynomials involving the floor function and its applications in number theory, especially the study of the distribution properties of sequences of the form \(\alpha_1 n \lfloor \alpha_2 n \lfloor \ldots \lfloor \alpha_k n \rfloor \ldots \rfloor \rfloor\). Specifically, the main objectives of the paper include: 1. **Generalize known formulas**: Starting from the known formula \[ x^3 = 3x \left\lfloor x \left\lfloor x \right\rfloor \right\rfloor - 3 \left\lfloor x \right\rfloor \left\lfloor x \left\lfloor x \right\rfloor \right\rfloor + \left\lfloor x \right\rfloor^3 + 3 \{x\} \{x \left\lfloor x \right\rfloor\} + \{x\}^3 \] the author generalizes it to the representation form of higher - order products \(x_0 x_1 \ldots x_{n - 1}\). By introducing new symbols and expressions, the author derives a general formula with \(2^{n+1}-n - 2\) terms to represent \(x_0 x_1 \ldots x_{n-1}\). 2. **Study the distribution of specific sequences**: The paper explores the modulo 1 distribution properties of sequences of the form \[ \alpha_1 n \lfloor \alpha_2 n \lfloor \ldots \lfloor \alpha_k n \rfloor \ldots \rfloor \rfloor, \quad n = 1,2,\ldots \] In particular, the author proves that when \(\alpha_1=\alpha_2=\cdots=\alpha_k = \alpha\) and \(k\) is a prime number, this sequence is uniformly distributed modulo 1 if and only if \(\alpha\) is an irrational number. 3. **Compare with other related sequences**: The paper also compares sequences of a similar but slightly different form: \[ \alpha_0 \lfloor \alpha_1 n \rfloor \lfloor \alpha_2 n \rfloor \ldots \lfloor \alpha_k n \rfloor, \quad n = 1,2,\ldots \] and points out that when \(k\geq3\), this sequence is uniformly distributed modulo 1 if and only if \(\alpha_0\) is an irrational number. Through these studies, the paper not only expands the understanding of the floor function, but also provides new insights into the distribution properties of certain sequences in number theory.\(\)