On the Conjecture of Lehmer, Limit Mahler Measure of Trinomials and Asymptotic Expansions
Jean-Louis Verger-Gaugry
DOI: https://doi.org/10.1515/udt-2016-0006
2016-06-01
Uniform distribution theory
Abstract:Abstract Let n ≥ 2 be an integer and denote by θ n the real root in (0, 1) of the trinomial G n ( X ) = −1 + X + X n . The sequence of Perron numbers ( θ n − 1 ) n ≥ 2 $(\theta _n^{ - 1} )_{n \ge 2} $ tends to 1. We prove that the Conjecture of Lehmer is true for { θ n − 1 | n ≥ 2 } $\{ \theta _n^{ - 1} |n \ge 2\} $ by the direct method of Poincaré asymptotic expansions (divergent formal series of functions) of the roots θ n , z j,n , of G n ( X ) lying in |z| < 1, as a function of n, j only. This method, not yet applied to Lehmer’s problem up to the knowledge of the author, is successfully introduced here. It first gives the asymptotic expansion of the Mahler measures M ( G n ) = M ( θ n ) = M ( θ n − 1 ) ${\rm{M}}(G_n ) = {\rm{M}}(\theta _n ) = {\rm{M}}(\theta _n^{ - 1} )$ of the trinomials G n as a function of n only, without invoking Smyth’s Theorem, and their unique limit point above the smallest Pisot number. Comparison is made with Smyth’s, Boyd’s and Flammang’s previous results. By this method we obtain a direct proof that the conjecture of Schinzel-Zassenhaus is true for { θ n − 1 | n ≥ 2 } $\{ \theta _n^{ - 1} |n \ge 2\} $ , with a minoration of the house , and a minoration of the Mahler measure M( G n ) better than Dobrowolski’s one. The angular regularity of the roots of G n , near the unit circle, and limit equidistribution of the conjugates, for n tending to infinity (in the sense of Bilu, Petsche, Pritsker), towards the Haar measure on the unit circle, are described in the context of the Erdős-Turán-Amoroso-Mignotte theory, with uniformly bounded discrepancy functions.