Sur le nombre de nombres premiers inférieurs à une taille donnée (Riemann, trad. Laugel)
LE NOMBRE DES NOMBRES PREMIERS
INFÉRIEURS À UNE GRANDEUR DONNÉE.
Œuvres de Riemann, 2e édition, pages 145-155.
Je ne crois pouvoir mieux exprimer mes remerciements à l’Académie pour la distinction à laquelle elle m’a fait participer en m’admettant au nombre de ses Correspondants qu’en faisant immédiatement usage du privilège attaché à ce titre pour lui communiquer une étude sur la fréquence des nombres premiers. C’est un sujet qui, par l’intérêt que Gauss et Dirichlet lui ont voué pendant de longues années, ne me semble peut-être pas indigne de faire l’objet d’une telle Communication.
Je prendrai pour point de départ dans cette étude la remarque faite par Euler[1] que le produit
lorsque prend pour valeur tous les nombres premiers et tous
les nombres entiers. La fonction de la variable complexe , qui
sera représentée par ces deux expressions, tant qu’elles convergent,
je la désignerai par . Toutes deux ne convergent qu’autant
que la partie réelle de est supérieure à 1. Néanmoins il est facile de trouver pour la fonction une expression qui reste toujours valable.
En faisant usage de l’équation
on obtient d’abord
Si maintenant l’on considère l’intégrale
prise dans le sens positif de à et autour d’un domaine
de grandeurs qui contient à son intérieur la valeur 0, mais qui ne
contient aucune autre valeur de discontinuité de la fonction sous
le signe d’intégration, on obtient aisément pour la valeur de cette intégrale
en faisant l’hypothèse que, dans la fonction multiforme
le logarithme de est déterminé de telle sorte qu’il soit réel
pour négatif. On aura donc
l’intégrale étant définie de la manière indiquée ci-dessus.
Cette équation donne maintenant la valeur de la fonction pour chaque valeur complexe de et nous enseigne que cette fonction est uniforme, qu’elle est finie pour toutes les valeurs finies de , sauf 1, et aussi qu’elle s’évanouit lorsque est égal à un entier pair négatif[2].
Lorsque la partie réelle de est négative, l’intégrale, au lieu d’être prise dans le sens positif autour du domaine de grandeurs assigné, peut être prise dans le sens négatif autour du domaine de grandeurs qui contient toutes les grandeurs complexes restantes, car l’intégrale, pour des valeurs dont le module est infiniment grand est alors infiniment petite. Mais, à l’intérieur de ce domaine, la fonction sous le signe d’intégration ne devient discontinue que lorsque est égal à un multiple entier de et l’intégrale, par conséquent, est égale à la somme des intégrales prises dans le sens négatif autour de ces valeurs. Mais l’intégrale relative à la valeur égale ; on obtient donc
c’est-à-dire une relation entre et qui, en vertu de
propriétés connues de la fonction peut aussi s’exprimer ainsi :
la quantité
reste inaltérée lorsque est remplacé par .
Cette propriété de la fonction m’a engagé à introduire, au lieu de l’intégrale , l’intégrale dans le terme général de la série , ce qui fournit une expression très commode de la fonction . On a en effet
et, par conséquent, si l’on pose
on a
ou bien, puisque
Je pose maintenant
et
en sorte que
ou encore
Cette fonction est finie pour toutes les valeurs finies de et peut être développée suivant les puissances de en une série qui converge très rapidement. Puisque, pour une valeur de dont la partie réelle est plus grande que 1, reste fini et que ce même fait a lieu pour les logarithmes des facteurs restants de , la fonction peut seulement s’évanouir lorsque la partie imaginaire de se trouve comprise entre et . Le nombre de racines de dont les parties réelles sont comprises entre 0 et est environ égal à
car l’intégrale prise le long d’un contour décrit dans
le sens positif, comprenant à son intérieur l’ensemble des valeurs
de dont les parties imaginaires sont comprises entre et et les parties réelles entre 0 et est égale (abstraction faite
d’une partie fractionnaire de même ordre de grandeur que la grandeur ) à
; or cette intégrale est égale au nombre de racines
de situées dans ce domaine, multiplié par .
On trouve, en effet, entre ces limites un nombre environ égal à
celui-ci, de racines réelles, et il est très probable que toutes les
racines sont réelles[4].
Il serait à désirer, sans doute, que l’on eût une démonstration rigoureuse de cette proposition ; néanmoins j’ai laissé cette recherche de côté pour le moment après quelques rapides essais infructueux, car elle paraît superflue pour le but immédiat de mon étude.
Si l’on désigne par toute racine de l’équation , on peut exprimer par
En effet, puisque la densité des racines de grandeur augmente seulement avec comme le fait , cette expression converge et pour infini ne devient infinie que comme l’est ; elle diffère de par conséquent d’une fonction de qui, pour fini, reste finie et continue et qui, divisée par , sera infiniment petite pour infini.
Cette différence, par suite, est une constante dont la valeur peut être déterminée en posant .
À l’aide de ces principes auxiliaires, nous pouvons maintenant déterminer le nombre des nombres premiers qui sont inférieurs à .
Soit ce nombre lorsque n’est pas exactement égal à un nombre premier, et soit ce nombre augmenté de lorsque est premier, de telle sorte que, pour une valeur de pour laquelle varie par un saut brusque, on ait,
Si, maintenant, dans l’expression
on remplace par , = , on obtient
où l’on a désigné par l’expression
Cette équation a lieu pour toute valeur complexe de , pourvu que . Mais lorsque, sous ces hypothèses, l’équation suivante
a lieu, l’on peut, à l’aide du théorème de Fourier, exprimer la
fonction par la fonction . Cette équation, quand est réel
et que
se décompose en les deux suivantes :
Lorsque l’on multiplie les deux équations par
et que l’on intègre de à , l’on obtient, en vertu du théorème
de Fourier, dans les seconds membres des deux équations
, et, par conséquent, en ajoutant les deux équations et
multipliant par , on a
où l’intégration doit être prise de telle sorte que la partie réelle de reste constante[5].
Cette intégrale représente, pour une valeur de pour laquelle a lieu une variation par saut brusque de la fonction, la valeur moyenne des valeurs de la fonction de chaque côté du saut. Avec les modes de détermination exposés ci-dessus, la fonction possède cette même propriété, et l’on a donc, d’une manière générale,
On peut maintenant substituer à , l’expression trouvée précédemment
Mais les intégrales de chaque terme de cette expression, prises jusqu’à l’infini, ne convergent pas ; il sera donc convenable de transformer l’équation précédente à l’aide d’une intégration par parties en
Comme
pour , et que, par suite
tous les termes de l’expression de , à l’exception de
prennent alors la forme
Mais on a maintenant
et, lorsque la partie réelle de est plus grande que la partie réelle de ,
ou bien
selon que la partie réelle de est négative ou positive. On a donc, dans le premier cas,
et, dans le second cas,
Dans le premier cas, la constante d’intégration peut être déterminée en faisant tendre la partie réelle de vers l’infini négatif.
Dans le second cas, l’intégrale de à prend des valeurs qui diffèrent de , lorsque l’intégrale relative à des valeurs complexes est prise dans le sens positif ou dans le sens négatif, et elle sera, prise dans ce dernier sens, infiniment petite lorsque le coefficient de dans la valeur de est égal à l’infiniment grand positif ; mais ce fait aura lieu, dans le premier cas, lorsque le coefficient est égal à l’infiniment grand négatif.
Ceci nous enseigne comment doit être déterminé dans le premier membre de manière à faire disparaître la constante d’intégration.
En portant ces valeurs dans l’expression de on obtient
où, dans la série on donnera à pour valeurs toutes les racines
positives (ou à parties réelles positives) de l’équation en
les rangeant par ordre de grandeur. On peut alors, après une discussion
plus approfondie de la fonction , démontrer aisément
que lorsque les termes sont rangés, comme il est prescrit ci-dessus,
dans la série
celle-ci converge vers la même limite que l’expression
lorsque la grandeur croît sans limites. Mais, si l’on changeait
cet ordre des termes de la série, on pourrait obtenir pour résultat
n’importe quelle valeur réelle.
À l’aide de l’on obtient par inversion de la relation
ce qui donne l’équation
où doit être remplacé successivement par tous les nombres qui
ne sont divisibles par aucun carré excepté et où désigne le
nombre des facteurs premiers de .
Si on limite à un nombre fini de termes, la dérivée de l’expression c’est-à-dire, abstraction faite d’une partie qui décroît très rapidement lorsque croît,
fournit une expression approchée pour la densité des entiers premiers
la moitié de la densité des carrés, le tiers de celle
des cubes, des entiers premiers inférieurs à
La formule approchée connue n’est, par conséquent, exacte qu’aux grandeurs près de l’ordre de et fournit une valeur un peu trop grande ; car les termes non périodiques[9] dans l’expression de sont, abstraction faite de grandeurs qui ne croissent pas indéfiniment avec
Du reste, la comparaison, entreprise par Gauss et Goldschmidt[10],
de avec le nombre de nombres premiers inférieurs à et
poursuivie jusqu’à trois millions a révélé que ce nombre, à partir
de la première centaine de mille, est toujours inférieur à
et que la différence des valeurs, soumises à maintes oscillations,
croît néanmoins toujours avec [11]. Mais la fréquence et la réunion
plus dense par endroits des nombres premiers, si l’on peut s’exprimer
ainsi, sous l’influence des termes périodiques, avaient déjà
attiré l’attention, lors du dénombrement des nombres premiers,
sans que l’on eût aperçu la possibilité d’établir une loi à ce sujet.
Il serait intéressant dans un nouveau dénombrement, d’étudier
l’influence de chaque terme périodique contenu dans l’expression
donnée pour la totalité des nombres premiers. Une marche plus
régulière que celle donnée par serait obtenue à l’aide de la
fonction qui, cela se reconnaît déjà très évidemment dans la
première centaine, coïncide en moyenne avec .
- ↑ Leonhard Euler, Introductio in analysin infinitorum. Bd. 1. Lausanne 1748, p. 221-252, ch. 15 (De Seriebus ex evolutione Factorum ortis).
- ↑ [Note du trad.] Ce mode d’existence de la fonction se reconnaît en se servant de la seconde forme de cette fonction
et en remarquant, en outre, que , dans le développement suivant les puissances ascendantes de , ne contient que des puissances impaires. - ↑ Riemann se réfère à Carl Gustav Jacob Jacobi, Fundamenta Nova Theoriae Functionum Ellipticarum. Königsberg 1829, p. 184, § 65, Nr. 6. La formule utilisée n’est pas donnée ici explicitement ; Jacobi la déduit à un autre endroit dans Suite des notices sur les fonctions elliptiques., in Journal de Crelle 3 (1828), p. 303-310. GDZ, français
- ↑ Cette phrase constitue le premier énoncé de « l’hypothèse de Riemann ».
- ↑ Note du trad. L’énoncé de ce théorème manque de rigueur. Les deux équations traitées séparément comme il est indiqué, les limites d’intégration se rapportant à , donnent
,
et, par conséquent, fournissent en premier lieu par leur somme la formule du texte. - ↑ Note de Wikisource : Le manuscrit (p. 4) et les Gesammelte Werke (p. 141) introduisent encore un devant l’avant-dernier logarithme. Dans les Monatsberichte le signe somme manque :
- ↑ Note HME 1974, p. 31. Riemann écrit à la place de , mais puisqu’il utilise pour noter une fonction différente — à savoir la fonction — son dénote . Cette erreur a été détectée du vivant de Riemann par Angelo Genocchi (1817–1889), Formole per determinare quanti siano i numeri primi fino ad un dato limite, in Annali di Matematica Pura ed Applicata 3 (1860), p. 52-59.
- ↑ Note du trad. La fonction doit être définie pour les valeurs réelles de qui sont plus grandes que 1 par l’intégrale
où l’on doit prendre le signe supérieur ou bien le signe inférieur, selon que l’intégration est prise relativement à des valeurs complexes dans le sens positif ou bien dans le sens négatif. De là l’on déduit aisément le développement donné par Scheibner (Schlömilch’s Zeitschrift, t. V),
qui est valable pour toutes les valeurs de , et présente une discontinuité pour les valeurs réelles négatives (comparer la correspondance entre Gauss et Bessel).Si l’on poursuit le calcul indiqué par Riemann, on trouve dans la formule au lieu de . Il est très possible que ceci ne soit qu’un lapsus calami, ou une faute d’impression, au lieu de ; en effet, .
- ↑ Note H.M.E. —En toute rigueur, les termes ne sont pas périodiques mais oscillatoires.
- ↑ Carl Wolfgang Benjamin Goldschmidt (1807–1851), un élève de Gauss.
- ↑ Lettre de Carl Friedrich Gauss à Johann Franz Encke (1791–1865) du 24 décembre 1849.