Mesure de Mahler

La mesure de Mahler ${\displaystyle M(p)}$ d'un polynôme ${\displaystyle p(x)\in \mathbb {C} [x]}$ à coefficients réels ou complexes est par définition :

${\displaystyle M(p)=\lim _{\tau \rightarrow 0}\|p\|_{\tau }=\exp \left({\frac {1}{2\pi }}\int _{0}^{2\pi }\ln(|p(\mathrm {e} ^{\mathrm {i} \theta })|)\,d\theta \right).}$

où

${\displaystyle \|p\|_{\tau }=\left({\frac {1}{2\pi }}\int _{0}^{2\pi }|p(e^{i\theta })|^{\tau }\,d\theta \right)^{1/\tau }\,}$

est la norme ${\displaystyle L_{\tau }}$ de ${\displaystyle p}$. A l'aide de la formule de Jensen, on peut montrer que pour la factorisation :

${\displaystyle p(z)=a(z-\alpha _{1})(z-\alpha _{2})\cdots (z-\alpha _{n})}$

on obtient l'expression :

${\displaystyle M(p)=|a|\prod _{i=1}^{n}\max\{1,|\alpha _{i}|\}=|a|\prod _{|\alpha _{i}|\geq 1}|\alpha _{i}|}$.

La mesure de Mahler logarithmique d'un polynôme est définie comme

${\displaystyle m(p)=\log M(p)}$ .

La mesure de Mahler d'un nombre algébrique ${\displaystyle \alpha }$ est définie comme la mesure de Mahler du polynôme minimal de ${\displaystyle \alpha }$ sur ${\displaystyle \mathbb {Q} }$.

• La mesure de Mahler est multiplicative, c'est-à-dire : ${\displaystyle M(p\,q)=M(p)\cdot M(q).}$
• Pour les polynômes cyclotomiques et leurs produits, on a ${\displaystyle M(p)=1}$ .
• Théorème de Kronecker : Si ${\displaystyle p}$ un polynôme unitaire irréductible à coefficients entiers et ${\displaystyle M(p)=1}$ , alors soit ${\displaystyle p(z)=z}$ , soit ${\displaystyle p}$ est un polynôme cyclotomique.
• La conjecture de Lehmer (en) stipule qu'il existe une constante ${\displaystyle \mu >1}$ telle que tout polynôme irréductible ${\displaystyle p}$ à coefficients entiers est soit cyclotomique soit vérifie ${\displaystyle M(p)>\mu }$ .
• La mesure de Mahler d'un polynôme unitaire à coefficients entiers est un nombre de Perron .

Il existe de nombreuses relations, en partie conjecturées et en partie également prouvées, entre les mesures de Mahler (logarithmiques) des polynômes et des valeurs partiulières des fonctions L .

Historiquement, le premier exemple est la formule de Smyth

${\displaystyle m(1+x_{1}+x_{2})={\frac {3{\sqrt {3}}}{4\pi }}L(\chi _{-3},2)}$

où

${\displaystyle L(\chi _{-3},s)={\frac {1}{1^{s}}}-{\frac {1}{2^{s}}}+{\frac {1}{4^{s}}}-{\frac {1}{5^{s}}}+-\ldots }$ .

Une conjecture de Ted Chinburg affirme que, pour tout entier positif ${\displaystyle f}$ , il existe un polynôme de Laurent ${\displaystyle P_{f}\in \mathbb {Z} (x,y)}$ et un nombre rationnel ${\displaystyle r_{f}\in \mathbb {Q} }$ tel que

${\displaystyle m(P_{f})=r_{f}d_{F}}$

où

${\displaystyle d_{f}={\frac {f{\sqrt {f}}}{4\pi }}L(\chi _{-f},2)}$

est le discriminant du caractère ${\displaystyle \chi _{-f}(n)=\left({\frac {-f}{n}}\right)}$.

Une approche qui remonte à Boyd et Rodriguez-Villegas consiste à représenter les mesures logarithmiques de Mahler d'une certaine classe de polynômes comme des combinaisons linéaires rationnelles de valeurs du dilogarithme de Bloch-Wigner d'arguments algébriques, et de mettre ces valeurs à leur tour en relation avec le volume d'une variété hyperbolique, et en les reliant à des valeurs spécifiques de fonctions zêta via le théorème de Borel.

La mesure de Mahler ${\displaystyle M(p)}$ d'un polynôme ${\displaystyle p(x_{1},\ldots ,x_{n})\in \mathbb {C} [x_{1},\ldots ,x_{n}]}$ est défini de manière analogue par la formule

${\displaystyle M(p)=\exp \left({\frac {1}{(2\pi )^{n}}}\int _{0}^{2\pi }\int _{0}^{2\pi }\cdots \int _{0}^{2\pi }\ln \left(\left|p(\mathrm {e} ^{\mathrm {i} \theta _{1}},\mathrm {e} ^{\mathrm {i} \theta _{2}},\ldots ,\mathrm {e} ^{\mathrm {i} \theta _{n}})\right|\right)\,\mathrm {d} \theta _{1}\,\mathrm {d} \theta _{2}\cdots \mathrm {d} \theta _{n}\right).}$

On peut montrer que ${\displaystyle M(p)}$ converge (Lawton 1983).

Pour ${\displaystyle {\boldsymbol {r}}=(r_{1},\ldots ,r_{n})\in \mathbb {N} ^{n}}$, soit

${\displaystyle q({\boldsymbol {r}}):=\min\{\max\{|s_{j}|:1\leq j\leq N\}:s=(s_{1},\dots ,s_{N})\in \mathbb {Z} ^{N},s\neq (0,\dots ,0)\ {\text{and}}\ \sum _{j=1}^{N}s_{j}r_{j}=0\}}$

Alors on a :

${\displaystyle M\left(p(x_{1},\ldots ,x_{n})\right)=\lim _{{\boldsymbol {r}}\in \mathbb {N} ^{n} \atop q({\boldsymbol {r}})\to \infty }M\left(p(x^{r_{1}},x^{r_{2}},\ldots ,x^{r_{n}})\right).}$

• J. L. Jensen, « Sur un nouvel et important théorème de la théorie des fonctions », Acta Mathematica, vol. 22,‎ 1899, p. 359–364 (DOI 10.1007/BF02417878 )
• (en) Derrick Lehmer, « Factorization of certain cyclotomic functions », Annals of Mathematics (2), vol. 34, n^o 3,‎ 1933, p. 461–479.
• (en) Kurt Mahler, « On some inequalities for polynomials in several variables », J. London Math. Soc., vol. 37, n^o 2,‎ 1962, p. 341–344 (zbMATH 0105.06301).

• (en) David W. Boyd, « Speculations concerning the range of Mahler's measure », Canad. math. bull., vol. 24,‎ 1981, p. 453-469.
• (en) Wayne M. Lawton, « A problem of Boyd concerning geometric means of polynomials », J. Number Theory, vol. 16, n^o 3,‎ 1983, p. 356–362.
• (en) P. Borwein et T. Erdélyi, Polynomials and Polynomial Inequalities, New York, Springer-Verlag, 1995, §5.3.E.4 « Mahler's Measure », p. 271-272.
• (en) Klaus Schmidt, Dynamical systems of algebraic origin, Bâle, Birkhäuser Verlag, coll. « Progress in Mathematics » (n^o 128), 1995, xviii + 310 (ISBN 3-7643-5174-8). — Réimpression dans la collection Modern Birkhäuser Classics, Birkhäuser (ISBN 978-3-0348-0276-5), xviii + 310 p. (2011).
• (en) Andrzej Schinzel, Polynomials with special regard to reducibility, Cambridge University Press, coll. « Encyclopedia of Mathematics and Its Applications » (n^o 77), 2000 (ISBN 978-0-521-66225-3, zbMATH 0956.12001)
• (en) David W. Boyd et Fernando Rodriguez-Villegas, « Mahler’s measure and the dilogarithm. I », Journal canadien de mathématiques, vol. 54, n^o 3,‎ 2002, p. 468-492 (zbMATH 1032.11028).
• (en) David Boyd, « Mahler’s measure and Special Values of L-functions », Pacific Northwest Number Theory Conference, University of British Columbia, 2015.
• (en) François Brunault et Wadim Zudilin, Many variations of Mahler measures : a lasting symphony, Cambridge, United Kingdom New York, NY, Cambridge University Press, 2020 (ISBN 978-1-108-79445-9).
• (en) James McKee et Chris Smyth, Around the unit circle : Mahler measure, integer matrices and roots of unity, Cham, Springer, coll. « Universitext », 2021, xx + 438 (ISBN 978-3-030-80030-7, zbMATH 07384470).
• (en) Daniel S. Silver et Susan G. Williams, « Lehmer’s question, graph complexity growth and links », The New York Journal of Mathematics, vol. 27,‎ 2021, p. 981-1008 (lire en ligne).

• (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Mahler-Maß » (voir la liste des auteurs).

• (en) David Boyd, « Mahler measure », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)