Derrick Lehmer

Derrick Lehmer en 1984 (coll. MFO).

Biographie
Naissance	23 février 1905 Berkeley
Décès	22 mai 1991 (à 86 ans) Berkeley
Nationalité	américaine
Formation	Université de Californie à Berkeley (jusqu'en 1927) Université de Chicago (1927-1928) Université Brown (1928-1930)
Activités	Mathématicien, professeur d'université
Père	Derrick Norman Lehmer
Conjoint	Emma Lehmer

Autres informations
A travaillé pour	Université de Californie à Berkeley (1940-1972) Université Lehigh (1932-1940) Université Stanford (1931-1932)
Directeur de thèse	Jacob Tamarkin
Distinctions	Bourse Guggenheim (1938) Conférence Gibbs (1965)
Archives conservées par	Bancroft Library (en) (MSS 2000/71)

Œuvres principales
Test de Lucas-Lehmer-Riesel (d), test de primalité de Lucas-Lehmer, test de primalité de Lucas-Lehmer pour les nombres de Mersenne, Meissel–Lehmer algorithm (d), algorithme de Lehmer-Schur

Derrick Henry Lehmer est un mathématicien américain, spécialiste de théorie des nombres connu pour ses tests de primalité, né le 23 février 1905 à Berkeley (Californie) où il est mort 22 mai 1991. Il a aussi posé le problème qui porte son nom (problème de Lehmer) : si n ≡ 1 mod φ(n), n est-il nécessairement premier ?

Biographie modifier

Son père Derrick Norman Lehmer (1867–1938) a créé des tables de nombres premiers et des tables de factorisations à l'aide de calculatrices mécaniques. Lui-même étudie d'abord la physique à l'université de Californie à Berkeley, où son père est professeur de mathématiques. En tant qu'étudiant, il travaille sur la mise en œuvre d'algorithmes de factorisation pour son père à l'aide de calculatrices à cartes perforées, assisté de sa future épouse, Emma Markovna Trotskaya, qui étudie également à Berkeley. En 1927, il obtient son BA en physique et commence à travailler à un doctorat avec Leonard Eugene Dickson à Chicago, mais il change de directeur de recherche pour Jacob David Tamarkin à l'université Brown à Rhode Island, où il obtient son doctorat en 1930.

Il est ensuite au California Institute of Technology avec une bourse d'État en 1930/31, puis à l'université Stanford et à l'Institute for Advanced Study de Princeton (New Jersey) pendant un an avant d'obtenir un poste de professeur associé à l'université Lehigh. À l'exception d'une visite en Angleterre en 1938/39 où il rend visite à Godfrey Harold Hardy, John Edensor Littlewood, Harold Davenport, Kurt Mahler, Louis Mordell et Paul Erdős, lui et sa femme restent à Lehigh jusqu'en 1940 , lorsqu'il obtient un poste à son université d'origine, Berkeley. Pendant les années de guerre, sa femme et lui travaillent comme opérateurs de l'ENIAC sur le Aberdeen Proving Ground de l'armée américaine : le jour pour les calculs balistiques, la nuit pour des calculs en théorie des nombres. Lorsqu'il refuse le serment de loyauté imposé par Joseph McCarthy à Berkeley en 1950, il perd brièvement son emploi, qu'il remplace en travaillant pour le National Institute of Standards and Technology. Après sa réintégration, il reçoit divers distinctions : il est vice-président de l'American Mathematical Society et « gouverneur en général » de l'Association for Computing Machinery 1953-1954.

De 1954 à 1957, Lehmer dirige le département de mathématiques de l'université de Californie à Berkeley. En 1958, il est conférencier invité au Congrès international des mathématiciens d'Édimbourg (Discrete variable methods in numerical analysis). En 1972, il prend sa retraite. Il a reçu un doctorat honorifique de l'Université Brown en 1980.

Recherche modifier

Lehmer est un pionnier dans l'utilisation des ordinateurs et des méthodes numériques générales en théorie des nombres. Certaines de ses contributions sont listées ci-dessous.

Test de primalité modifier

Il a amélioré le test de primalité de Lucas d'Édouard Lucas et d'autres méthodes pour prouver la primalité des entiers naturels : c'est le « test de primalité de Lucas-Lehmer pour les nombres de Mersenne », lequel porte leur nom^[1]^,^[2].

Paires de Lehmer modifier

Il a également été l'un des premiers à tester électroniquement l'hypothèse de Riemann. Ce faisant, il découvre des zéros étroitement voisins de la fonction zêta de Riemann, qui sont maintenant appelés paires de Lehmer^[3].

Machines de criblage modifier

À la suite de son père^[4], Lehmer construit divers dispositifs^[5] pour les méthodes de crible afin de calculer une solution de certaines congruences en théorie des nombres, principalement pour l'analyse des facteurs premiers ; les premières constructions sont faites en 1926 avec des chaînes de vélo, en 1932 avec des engrenages optiques (dispositif exposé à l'Exposition universelle de 1933 à Chicago en 1933-34), en 1936 avec des bandes de pellicule de 16 mm, en 1966 un dispositif plus élaboré appelé « Delay Line Sieve » (aussi « Dick Lehmer's Sieve ») DLS-127, 1969 DLS-157, 1975 Shift Register Sieve SRS-181, et il programme les méthodes du crible sur les ordinateurs SWAC, IBM 7094 et ILLIAC IV.

Algorithme d'Euclide modifier

En 1938, il développe une version accélérée de l'algorithme d'Euclide pour les très grands entiers^[6]. En 1959, il améliore la formule de l'astronome Ernst Meissel pour le nombre de nombres premiers $\pi (x)$ inférieurs à $x$ et calcule avec sa méthode le nombre $\pi (10^{10})$ . Il s'avère que sa valeur est trop grande d'une unité^[7].

Développement cotangent et constante de Lehmer modifier

Article détaillé : Développement en cotangente continue de Lehmer.

Lehmer établit en 1938 que tout nombre réel positif $x$ , il existe une unique suite d'entiers positifs $(b k) k$ vérifiant^[8]^,^[9]

b_{k}\geqslant b_{k-1}^{2}+b_{k-1}+1

telle que :

x=\cot \left(\sum _{k=0}^{+\infty }(-1)^{k}\operatorname {arccot}(b_{k})\right).

Cette série est appelée développement en cotangente continue de Lehmer.

La constante de Lehmer $0{,}5926327182...$ est le nombre réel dont le développement en cotangente continue de Lehmer converge le plus lentement ; il correspond au cas $b 0 = 0$ et où la condition sur les entiers est dans le cas d'égalité.

Fonction tau de Ramanujan modifier

Lehmer a étudié la fonction tau de Ramanujan qui est la fonction $\tau$ de Srinivasa Ramanujan définie par

\sum _{n=1}^{\infty }\tau (n)x^{n}=x((1-x)(1-x^{2})(1-x^{3})...)^{24}

et formule en 1947 la conjecture de Lehmer selon laquelle $\tau (n)$ ne s'annule pour aucun entier naturel $n$ ^[10].

Algorithme de Lehmer-Schur modifier

L'algorithme de Lehmer-Schur est une méthode pour isoler les zéros d'un polynôme dans le plan complexe^[11]. Elle repose sur un critère pour déterminer le nombre de zéros du polynôme dans un disque de centre et de rayon donnés et sur une généralisation systématique de l'imbrication d'intervalles^[12].

Moyenne de Lehmer modifier

Une méthode paramétrique de calcul de la moyenne de nombres non négatifs qui fournit certaines des moyennes les plus courantes dans des cas particuliers est appelée moyenne de Lehmer.

Problème de Lehmer modifier

Le problème de Lehmer^[13] est un problème encore non résolu qui concerne les zéros d'un polynôme. Il se formule ainsi : pour tout polynôme à coefficients entiers, dont tous les zéros sont à l'extérieur du cercle unité, existe-t-il une borne inférieure $C>1$ où $C$ est la mesure de Mahler ?

La plus petite mesure trouvée à ce jour concerne un polynôme de degré 10 et vaut $1{,}17628$ . Ce nombre s'appelle le nombre de Lehmer^[14].

Problème du totient modifier

Le problème du totient de Lehmer^[15]^,^[16] fait aussi partie des questions faciles à formuler mais encore ouvertes : Existe-t-il un entier naturel composé $n$ tel que l'indicatrice d'Euler $\varphi$ vérifie $\varphi (n)|(n-1)$ ? Un tel entier $n$ serait un nombre pseudo-premier remarquable, en revanche l'inexistence d'un tel entier aurait pour conséquence la validité du critère $\,n\equiv 1\mod \varphi (n)\,$ pour les nombres premiers.

Matrices de Lehmer modifier

Les matrices symétriques à éléments rationnels, appelées matrices de Lehmer^[17] sont des matrices dont les inverses sont des matrices tridiagonales avec des éléments strictement négatifs sur les deux diagonales non principales. Elles peuvent être spécifiés analytiquement et peuvent être utilisés pour tester des programmes d'inversion numérique.

Code de Lehmer modifier

Une bijection entre une permutation et un entier positif dans un système de numération factorielle est appelée code de Lehmer^[18].

Les « Cinq de Lehmer » modifier

Les cinq de Lehmer sont les cinq nombres naturels 276, 552, 564, 660, 966 inférieurs à 1 000 pour lesquels le comportement asymptotique de leur suite aliquote (la suite de la somme itérée de tous leurs diviseurs propres) n'est pas encore déterminée^[19].

Chaînes de Cunningham modifier

La recherche de chaînes de Cunningham remonte également à Lehmer. Ce sont des suites de nombres premiers dans lesquelles des éléments consécutifs vérifient $p_{i}=2\cdot p_{i-1}+1$ . La motivation vient des tests de primalité de type Lucas, où pour tester si $p$ est premier, on doit factoriser $(p-1)$ . Lehmer a trouvé trois de ces chaînes de sept nombres premiers où le plus petit nombre premier est inférieur à $10^{7}$ ^[20].

Direction de thèses modifier

Lehmer a été directeur de thèse de Tom Apostol, John Brillhart, Ronald Graham, David Singmaster, Harold Stark et Peter Weinberger, entre autres.

Publications complémentaires modifier

Guide to Tables in the Theory of Numbers Washington. 1941, réimpression 1961.
Selected papers of D. H. Lehmer, 1981.
avec John Brillhart, John L. Selfridge, Bryant Tuckerman, S. S. Wagstaff Jr., « Factorizations of $b^{n}$ ± 1, b = 2, 3, 5, 6, 7, 10, 11, 12 up to high powers », American Mathematical Society 1983, 3^e édition, 2002^[21].
« An extended theory of Lucas’ functions », Annals of Mathematics, vol. 31 (1930), p. 419–448
« A machine for combining sets of linear congruences », Mathematische Annalen, vol. 109 (1934), p. 661–667.
« The Vanishing of Ramanujan’s Function tau(n) », Duke Math. J., vol. 14 (1947), p. 429–433
« Mechanized mathematics », Bulletin of the American Mathematical Society, 1966.

Notes et références modifier

↑ (en) Derrick H. Lehmer, « An extended theory of Lucas' functions », Ann. Math., 2^e série, vol. 31,‎ 1930, p. 419-448 (JSTOR 1968235).
↑ (en) Derrick H. Lehmer, « On Lucas' test for the primality of Mersenne numbers », J. London Math. Soc., vol. 10,‎ 1935, p. 162-165 (lire en ligne).
↑ George Csordas, Wayne Smith et Richard S. Varga, « Lehmer pairs of zeroes and the Riemann $\zeta$ -function », Procedings of Symposia in Applied Mathematics, American Mathematical Society, vol. 48,‎ 1994, p. 553-556.
↑ Derrick N. Lehmer, « Hunting big game in the theory of numbers », Scripta Mathematica, vol. 1,‎ 1933, p. 229–235 (lire en ligne).
↑ Michael R. Williams, « Lehmer Sieves »
↑ Derrick H. Lehmer, « Euclid’s algorithm for large numbers », Amer. Math. Monthly, vol. 45,‎ 1938, p. 227–233.
↑ Eric Bach et Jeffrey Shallit, Algorithmic Number Theory, Vol. I, MIT Press, 1996, p. 300
↑ (en) Derrick H. Lehmer, « A cotangent analogue of continued fractions », Duke Mathematical Journal, vol. 4, n^o 2,‎ juin 1938, p. 323-340 (DOI 10.1215/S0012-7094-38-00424-7)
↑ T. Rivoal, « Propriétés diophantiennes du développement en cotangente continue de Lehmer », Monatshefte für Mathematik, vol. 150,‎ 2007, p. 49–71 (lire en ligne)
↑ Derrick H. Lehmer, « The vanishing of Ramanujan's function τ(n) », Duke Math. J., vol. 14, n^o 2,‎ 1947, p. 429–433 (DOI 10.1215/s0012-7094-47-01436-1, zbMATH 0029.34502).
↑ Derrick H. Lehmer, « A machine method for solving polynomial equations », Journal of the ACM, vol. 8,‎ 1961, p. 151-162 .
↑ Issai Schur, « Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind », Journal Reine Angew. Math., vol. 148,‎ 1918, p. 122–145 (notamment p. 134) (lire en ligne).
↑ Michael Mossinghoff, « Lehmer's Problem ».
↑ Eriko Hironaka, « What is Lehmer’s number? », Notices of the AMS, vol. 56, n^o 3,‎ 2009, p. 374-375 (lire en ligne).
↑ William D. Banks, C. Wesley Nevans et Carl Pomerance, « A remark on Giuga’s conjecture and Lehmer’s totient problem », Albanian J. Math., vol. 3, n^o 2,‎ 2009, p. 81-85 (zbMATH 1219.11003, lire en ligne).
↑ Richard G. E. Pinch; A note on Lehmer’s totient problem Poster à la conférence ANTS VII (2006).
↑ Derrick H. Lehmer, « Matrix paraphrases », Linear and Multilinear Algebra, vol. 28, n^o 4,‎ 1991, p. 251–264.
↑ Roberto Mantaci et Fanja Rakotondrajao, « A permutation representation that knows what “Eulerian” means », Discrete Mathematics and Theoretical Computer Science, vol. 4,‎ 2001, p. 101–108 (lire en ligne).
↑ « Lehmer Five ».
↑ Richard K. Guy, Unsolved Problems in Number Theory, Springer, 1994, p. 18.
↑ présentation en ligne.

Voir aussi modifier

Articles connexes modifier

Liens externes modifier

(en) John J. O'Connor et Edmund F. Robertson, « Derrick Henry Lehmer », sur MacTutor, université de St Andrews
Autres photos

Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Deutsche Biographie
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- NUKAT
- Norvège
- WorldCat

[1] (en) Derrick H. Lehmer, « An extended theory of Lucas' functions », Ann. Math., 2^e série, vol. 31,‎ 1930, p. 419-448 (JSTOR 1968235).

[2] (en) Derrick H. Lehmer, « On Lucas' test for the primality of Mersenne numbers », J. London Math. Soc., vol. 10,‎ 1935, p. 162-165 (lire en ligne).

[3] George Csordas, Wayne Smith et Richard S. Varga, « Lehmer pairs of zeroes and the Riemann $\zeta$ -function », Procedings of Symposia in Applied Mathematics, American Mathematical Society, vol. 48,‎ 1994, p. 553-556.

[4] Derrick N. Lehmer, « Hunting big game in the theory of numbers », Scripta Mathematica, vol. 1,‎ 1933, p. 229–235 (lire en ligne).

[5] Michael R. Williams, « Lehmer Sieves »

[6] Derrick H. Lehmer, « Euclid’s algorithm for large numbers », Amer. Math. Monthly, vol. 45,‎ 1938, p. 227–233.

[7] Eric Bach et Jeffrey Shallit, Algorithmic Number Theory, Vol. I, MIT Press, 1996, p. 300

[8] (en) Derrick H. Lehmer, « A cotangent analogue of continued fractions », Duke Mathematical Journal, vol. 4, n^o 2,‎ juin 1938, p. 323-340 (DOI 10.1215/S0012-7094-38-00424-7)

[9] T. Rivoal, « Propriétés diophantiennes du développement en cotangente continue de Lehmer », Monatshefte für Mathematik, vol. 150,‎ 2007, p. 49–71 (lire en ligne)

[10] Derrick H. Lehmer, « The vanishing of Ramanujan's function τ(n) », Duke Math. J., vol. 14, n^o 2,‎ 1947, p. 429–433 (DOI 10.1215/s0012-7094-47-01436-1, zbMATH 0029.34502).

[11] Derrick H. Lehmer, « A machine method for solving polynomial equations », Journal of the ACM, vol. 8,‎ 1961, p. 151-162 .

[12] Issai Schur, « Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind », Journal Reine Angew. Math., vol. 148,‎ 1918, p. 122–145 (notamment p. 134) (lire en ligne).

[13] Michael Mossinghoff, « Lehmer's Problem ».

[14] Eriko Hironaka, « What is Lehmer’s number? », Notices of the AMS, vol. 56, n^o 3,‎ 2009, p. 374-375 (lire en ligne).

[15] William D. Banks, C. Wesley Nevans et Carl Pomerance, « A remark on Giuga’s conjecture and Lehmer’s totient problem », Albanian J. Math., vol. 3, n^o 2,‎ 2009, p. 81-85 (zbMATH 1219.11003, lire en ligne).

[16] Richard G. E. Pinch; A note on Lehmer’s totient problem Poster à la conférence ANTS VII (2006).

[17] Derrick H. Lehmer, « Matrix paraphrases », Linear and Multilinear Algebra, vol. 28, n^o 4,‎ 1991, p. 251–264.

[18] Roberto Mantaci et Fanja Rakotondrajao, « A permutation representation that knows what “Eulerian” means », Discrete Mathematics and Theoretical Computer Science, vol. 4,‎ 2001, p. 101–108 (lire en ligne).

[19] « Lehmer Five ».

[20] Richard K. Guy, Unsolved Problems in Number Theory, Springer, 1994, p. 18.

[21] résentation en ligne.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]