Théorie analytique des nombres
En mathématiques, la théorie analytique des nombres est une branche de la théorie des nombres qui utilise des méthodes d'analyse mathématique pour résoudre des problèmes concernant les nombres entiers<ref name=Apostol>Modèle:Ouvrage.</ref>. On considère souvent qu'elle a commencé en 1837, avec l'introduction par Peter Gustav Lejeune Dirichlet de ses fonctions L pour donner la première preuve de son théorème de la progression arithmétique<ref name=Apostol/>,<ref>Modèle:Ouvrage.</ref>. Elle est connue pour ses résultats sur les nombres premiers (impliquant le théorème des nombres premiers et la fonction zêta de Riemann) et la théorie additive des nombres (tels que la conjecture de Goldbach et le problème de Waring).
Branches de la théorie analytique des nombres
La théorie analytique des nombres peut être divisée en deux branches principales, plus par le type de problèmes qu'elles tentent de résoudre que les différences fondamentales dans leurs techniques.
- La théorie multiplicative des nombres traite de la distribution des nombres premiers, ou l'estimation du nombre de nombres premiers dans un intervalle, et inclut le théorème des nombres premiers et le théorème de Dirichlet sur les progressions arithmétiques.
- La théorie additive des nombres s'intéresse à la structure additive des entiers, par exemple à la conjecture de Goldbach selon laquelle tout entier pair supérieur à 3 est la somme de deux nombres premiers. L'un des principaux résultats de la théorie additive est la solution du problème de Waring.
Histoire
Précurseurs
Une grande partie de la théorie analytique des nombres a été inspirée par le théorème des nombres premiers. Soit Modèle:Math la fonction de compte des nombres premiers qui donne le nombre de nombres premiers inférieur ou égaux à Modèle:Mvar, pour tout nombre réel Modèle:Mvar. Par exemple, Modèle:Math car il y a quatre nombres premiers (2, 3, 5 et 7) inférieurs ou égaux à 10. Le théorème des nombres premiers indique alors que Modèle:Math est une bonne approximation de Modèle:Math, en ce sens que la limite du quotient des deux fonctions Modèle:Math et Modèle:Math lorsque Modèle:Mvar tend vers l'infini est 1 :
- <math>\lim_{x\to\infty}\frac{\pi(x)}{x/\ln(x)}=1.</math>
Adrien-Marie Legendre avait conjecturé en 1797 que Modèle:Math est approché par la fonction Modèle:Math, où A et B sont des constantes non spécifiées. Dans la deuxième édition de son livre sur la théorie des nombres (1808), il a ensuite fait une conjecture plus précise, avec A = 1 et B = –1,08366. Carl Friedrich Gauss avait déjà considéré cette question : en 1792 ou 1793, selon son propre souvenir presque soixante ans plus tard dans une lettre à Encke (1849), il a écrit sur sa table de logarithmes (il avait alors 15 ou 16 ans) la note brève « Primzahlen unter <math>a(=\infty) \frac a{\ln a}</math> ». Mais Gauss n'a jamais publié cette conjecture. En 1838, Peter Gustav Lejeune Dirichlet propose sa propre fonction d'approximation, le logarithme intégral Modèle:Math. Les deux formules de Legendre et de Dirichlet impliquent la même équivalence asymptotique conjecturée de Modèle:Math et Modèle:Math mentionnée ci-dessus, bien que l'approximation de Dirichlet soit considérablement meilleure si l'on considère les différences, plutôt que les quotients.
Dirichlet
Modèle:Article détaillé C'est généralement à Dirichlet qu'on attribue la création de la théorie analytique des nombres<ref name="Princeton">Modèle:Ouvrage.</ref>, un domaine dans lequel il a démontré plusieurs résultats profonds et a introduit des outils fondamentaux, dont beaucoup ont été nommés plus tard d'après lui. En 1837, il publie le théorème de la progression arithmétique, en utilisant des concepts d'analyse mathématique pour aborder un problème d'algèbre et ainsi créer la branche de la théorie analytique des nombres. En prouvant ce théorème, il introduit ses caractères et ses fonctions L<ref name="Princeton" />,<ref name="Kanemitsu">Modèle:Ouvrage.</ref>. En 1841, il généralise son théorème sur les progressions arithmétiques à l'anneau <math>\Z[\mathrm i]</math> des entiers de Gauss<ref name="Elstrodt">Modèle:Chapitre.</ref>.
Tchebychev
Modèle:Article détaillé Dans deux articles de 1848 et 1850, le mathématicien russe Pafnouti Tchebychev a tenté de prouver le théorème des nombres premiers. Son travail est remarquable pour l'utilisation de la fonction zêta Modèle:Math (pour Modèle:Mvar réel, comme les travaux de Leonhard Euler, en 1737) précédant le célèbre mémoire de Riemann de 1859, et il réussit à prouver une forme légèrement plus faible du théorème, à savoir que si la limite de Modèle:Math lorsque Modèle:Mvar tend vers l'infini existe, alors elle est nécessairement égale à Modèle:Math<ref>Modèle:Article.</ref> et en donnant par ailleurs un encadrement asymptotique de ce quotient entre deux constantes très proches de Modèle:Math<ref>Modèle:Article.</ref>. Bien que l'article de Tchebychev ne prouve pas le théorème des nombres premiers, ses estimations de Modèle:Math étaient assez fortes pour prouver le postulat de Bertrand, selon lequel il existe un nombre premier entre Modèle:Mvar et Modèle:Math pour tout entier Modèle:Math.
Riemann
| Modèle:Citation étrangère bloc | « …il est très probable que toutes les racines sont réelles. 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..Modèle:Fin citation |
Bernhard Riemann a fait de célèbres contributions à la théorie analytique des nombres. Dans le seul article qu'il ait publié sur le sujet de la théorie des nombres, Sur le nombre de nombres premiers inférieurs à une taille donnée, il étudie la fonction zêta de Riemann et établit son importance pour la compréhension de la distribution des nombres premiers. Il a fait une série de conjectures sur les propriétés de la fonction zêta, dont l'une est l'hypothèse de Riemann.
Hadamard et de la Vallée-Poussin
En prolongeant les idées de Riemann, deux preuves du théorème des nombres premiers furent obtenues indépendamment par Jacques Hadamard et Charles Jean de la Vallée-Poussin et parurent la même année (1896). Les deux démonstrations utilisaient des méthodes d'analyse complexe, établissant comme lemme principal que la fonction zêta de Riemann ζ(s) est non nulle pour toutes les valeurs complexes de partie réelle Modèle:Math et de partie imaginaire strictement positive<ref>Modèle:Ouvrage.</ref>.
Développements récents
Le développement technique le plus important après 1950 a été le développement de la théorie des cribles<ref>Modèle:Ouvrage.</ref>, en particulier dans les problèmes multiplicatifs. Ceux-ci sont de nature combinatoire, et assez variés. La branche de la théorie combinatoire a été fortement influencée par la théorie analytique des nombres sur les limites supérieures et inférieures. Un autre développement récent est la théorie probabiliste des nombresModèle:Sfn, qui utilise des méthodes de la théorie des probabilités pour estimer la distribution des fonctions théoriques des nombres, telles que le nombre de diviseurs d'un nombre.
Les développements en théorie analytique des nombres sont souvent des raffinements de techniques antérieures, qui réduisent les termes d'erreur et élargissent leur champ d'applicabilité. Par exemple, la méthode du cercle de Hardy et Littlewood a été conçue comme s'appliquant aux séries de puissance près du cercle unité dans le plan complexe ; il est maintenant pensé en termes de sommes exponentielles finies. Les domaines de l'approximation diophantienne et de la théorie des corps se sont étendus au point que leurs techniques soient applicables à la conjecture de Mordell.
Problèmes et résultats
Les théorèmes et les résultats de la théorie analytique des nombres tendent à ne pas être des résultats structuraux exacts sur les entiers. Au lieu de cela, ils donnent des limites et des estimations pour diverses fonctions, comme l'illustrent les exemples suivants.
Théorie multiplicative des nombres
Modèle:Article détailléEuclide a montré qu'il existe une infinité de nombres premiers. Une question importante est de déterminer la distribution de ceux-ci ; c'est-à-dire une description approximative du nombre de nombres premiers qui sont plus petits qu'un nombre donné. Gauss, entre autres, après avoir calculé une grande liste de nombres premiers, a conjecturé que le nombre de nombres premiers inférieur ou égaux à un grand nombre Modèle:Mvar était proche de la valeur de l'intégrale
- <math>\int^N_2\frac1{\ln t}\,\mathrm dt</math>.
En 1859, Bernhard Riemann utilisa l'analyse complexe, et une fonction connue sous le nom de fonction zêta de Riemann, pour dériver une expression analytique du nombre de nombres premiers inférieurs ou égaux à un nombre réel Modèle:Mvar. Le terme principal dans la formule de Riemann était exactement l'intégrale ci-dessus, donnant du poids à la conjecture de Gauss. Riemann a trouvé que les termes d'erreur dans cette expression, et donc la manière dont les nombres premiers sont distribués, sont étroitement liés aux zéros complexes de la fonction zêta. En utilisant les idées de Riemann, Jacques Hadamard et Charles Jean de la Vallée-Poussin ont démontré la conjecture de Gauss. En particulier, ils ont prouvé le théorème des nombres premiers. C'est un résultat central en théorie analytique des nombres. Autrement dit, compte tenu d'un grand nombre Modèle:Mvar, le nombre de nombres premiers inférieurs ou égaux à Modèle:Mvar vaut environ Modèle:Math. Plus généralement, la même question peut être posée sur le nombre de nombres premiers dans toute suite arithmétique Modèle:Mvar pour tout entier Modèle:Mvar. Dans l'une des premières applications des techniques de la théorie analytique des nombres, Dirichlet a prouvé que toute suite arithmétique avec Modèle:Mvar et Modèle:Mvar premiers entre eux contient une infinité de nombres premiers. Le théorème des nombres premiers peut être généralisé à ce problème ;
soit
- <math>\pi(x, b, a) = (\text {nombre de nombres premiers } p\le x \text{ tels que } p \text{ figure dans la progression arithmétique } an + b, n \in\Z)</math>,
alors, si Modèle:Mvar et Modèle:Mvar sont premiers entre eux,
- <math>\lim_{x \to \infty} \frac{\pi(x,b,a)}{x/\log x} =\frac1{\varphi(a)}</math>
où <math>\varphi</math> désigne l'indicatrice d'Euler.
Il y a aussi beaucoup de conjectures en théorie des nombres dont les preuves semblent trop difficiles pour les techniques actuelles, telles que la conjecture des nombres premiers jumeaux qui conjecture une infinité de nombres premiers p tels que p + 2 soit aussi premier. En supposant la conjecture d'Elliott-Halberstam vraie, il a été récemment démontré qu'il y existe une infinité de nombres premiers p tels que p + k soit premier pour au moins un k ≤ 12.
Théorie additive des nombres
Modèle:Article détailléL'un des problèmes les plus importants de la théorie additive des nombres est le problème de Waring, qui consiste à déterminer s'il est possible, pour tout k ≥ 2, d'écrire n'importe quel nombre entier positif comme la somme d'un nombre borné de puissances k,
- <math>n=x_1^k+\cdots+x_\ell^k</math>.
Le cas des carrés (k = 2) a été traité par Lagrange en 1770, qui a prouvé que tout entier positif est la somme d'au plus quatre carrés. Le cas général a été prouvé par Hilbert en 1909. Une percée importante a été l'application d'outils analytiques au problème par Hardy et Littlewood. Ces techniques sont connues sous le nom de méthode du cercle, et donnent des majorations explicites de la fonction Modèle:Math, le plus petit nombre de puissances k nécessaires, comme
- <math>G(k)\leq k(3\ln k+11)</math>.
Problèmes diophantiens
Les équations diophantiennes concernent les solutions entières d'équations polynomiales : on peut étudier la distribution des solutions, c'est-à-dire compter les solutions selon une certaine mesure de « taille ».
Un exemple important est le problème du cercle de Gauss, qui demande les points à coordonnées entières (x, y) qui satisfont
- <math>x^2+y^2\leq r^2</math>.
En termes géométriques, étant donné un disque de rayon r centré sur l'origine dans le plan, le problème est de savoir combien de points se trouvent dans le disque ou sur son bord. Il n'est pas difficile de prouver que la réponse est Modèle:Math, pour une certaine fonction Modèle:Mvar telle que <math>\lim_{r\to+\infty}\frac{E(r)}{r^2}=0</math>. Encore une fois, la difficulté du problème réside dans l'obtention de majorants plus fins de l'erreur Modèle:Math.
Gauss a montré que Modèle:Math. Sierpiński montre, en 1906, que Modèle:Math. En 1915, Hardy et Landau ont chacun montré que l'on n'a pas Modèle:Math. En 2000, Modèle:Lien a montré<ref>{{#invoke:Langue|indicationDeLangue}} M. N. Huxley, « Integer points, exponential sums and the Riemann zeta function », Number Theory for the Millennium, vol. II, Urbana, IL, 2000, Modèle:P., A K Peters, Natick, MA, 2002, Modèle:MathSciNet.</ref> que Modèle:Math, qui est le meilleur résultat publié aujourd'hui.
Méthodes de la théorie analytique des nombres
Série de Dirichlet
Modèle:Article détaillé L'un des outils les plus utiles en théorie multiplicative des nombres est les séries de Dirichlet, qui sont des fonctions à variable complexe définie par une série de la forme
- <math>f(s)=\sum_{n=1}^\infty a_nn^{-s}</math>.
Selon le choix des coefficients <math>a_n</math>, cette série peut converger partout, nulle part ou sur un demi-plan. Dans de nombreux cas, même lorsque la série ne converge pas partout, la fonction holomorphe qu'elle définit peut être prolongée analytiquement en une fonction méromorphe sur l'ensemble du plan complexe. L'utilité de telles fonctions dans les problèmes multiplicatifs peut être vue dans l'identité formelle
- <math>\left(\sum_{n=1}^\infty a_nn^{-s}\right)\left(\sum_{n=1}^\infty b_nn^{-s}\right)=\sum_{n=1}^\infty\left(\sum_{k\ell=n}a_kb_\ell\right)n^{-s}</math> ;
les coefficients du produit de deux séries de Dirichlet sont donc les convolutions des coefficients d'origine. En outre, des techniques telles que la sommation par parties et les théorèmes taubériens peuvent être utilisées pour obtenir des informations sur les coefficients à partir d'informations analytiques sur la série de Dirichlet. Ainsi, une méthode courante pour estimer une fonction multiplicative est de l'exprimer comme une série de Dirichlet (ou un produit de séries de Dirichlet plus simples en utilisant des identités de convolution) et d'examiner cette série comme une fonction complexe.
Fonction zêta de Riemann
Modèle:Article détaillé Euler a montré que le théorème fondamental de l'arithmétique implique le produit eulérien
- <math> \sum_{n=1}^\infty \frac {1}{n^s} = \prod_p^\infty \frac {1}{1-p^{-s}}\text{ pour }s > 1\,\,\ (p \text{ premier)}</math>.
La preuve d'Euler de l'infinité des nombres premiers utilise la divergence du terme à gauche pour s = 1 (la série harmonique), un résultat purement analytique. Euler a également été le premier à utiliser des arguments analytiques dans le but d'étudier les propriétés des entiers, notamment en construisant des séries génératrices. Ce fut le début de la théorie analytique des nombres<ref>{{#invoke:Langue|indicationDeLangue}} Henryk Iwaniec et Emmanuel Kowalski, Analytic Number Theory, coll. « AMS Colloquium Pub. » (vol. 53), 2004.</ref>. Plus tard, Riemann a considéré cette fonction pour des valeurs complexes de s et a montré que cette fonction peut être étendue sur tout le plan complexe avec un pôle en s = 1. Cette fonction est maintenant connue sous le nom de fonction zêta de Riemann ζ(s). Dans son article de 1859, Riemann conjectura que tous les zéros « non triviaux » de ζ reposaient sur la droite <math>\Re(s) = 1/2</math> mais n'a jamais fourni une preuve de cette déclaration. Cette conjecture, appelée l'hypothèse de Riemann, a de nombreuses implications profondes en théorie des nombres ; beaucoup de théorèmes importants ont été prouvés en supposant qu'elle est vraie. Par exemple, sous l'hypothèse de Riemann, le terme d'erreur dans le théorème des nombres premiers est <math>O(x^{1/2+\varepsilon})</math>.
Au début du Modèle:S mini- siècleModèle:Vérification siècle, G. H. Hardy et Littlewood ont prouvé de nombreux résultats sur la fonction zêta dans le but de prouver l'hypothèse de Riemann. En 1914, Hardy a prouvé qu'il y a une infinité de zéros de la fonction zêta sur la bande critique <math>\Re(z) = 1/2</math>. Cela a conduit à plusieurs théorèmes décrivant la densité des zéros sur la bande critique.
Notes et références
Modèle:Traduction/Référence Modèle:Références
