Séries de Dirichlet et la fonction zêta de Riemann

Les séries de Dirichlet transforment les suites arithmétiques en fonctions analytiques, et la plus importante d'entre elles, la fonction zêta de Riemann, encode les nombres premiers par son produit eulérien et la distribution fine de ces nombres premiers par ses zéros complexes.

Definition

Une série de Dirichlet est une série de la forme la somme sur n de a_n divisé par n à la puissance s, où s est un nombre complexe. La fonction zêta de Riemann est la série de Dirichlet dont tous les coefficients sont égaux à un, prolongée analytiquement en une fonction méromorphe sur le plan complexe.

Scope

Ce sujet couvre les séries de Dirichlet et leur abscisse de convergence, les produits eulériens pour les coefficients multiplicatifs, la définition de la fonction zêta de Riemann pour une partie réelle supérieure à un, sa prolongation analytique au plan complexe entier, l'équation fonctionnelle, les zéros triviaux et non triviaux, la bande critique et la droite critique, et le lien entre les zéros et le dénombrement des nombres premiers via la formule explicite.

Core questions

• Où une série de Dirichlet converge-t-elle, et comment un produit eulérien reflète-t-il la multiplicativité de ses coefficients ?
• Comment la fonction zêta est-elle prolongée au-delà de sa région de convergence, et quelle est son équation fonctionnelle ?
• Où se trouvent les zéros de la fonction zêta, et qu'est-ce qui distingue les zéros triviaux des zéros non triviaux dans la bande critique ?
• Comment la formule explicite convertit-elle les informations sur les zéros en informations sur la distribution des nombres premiers ?

Key theories

Produit eulérien

Pour une partie réelle supérieure à un, la fonction zêta est égale à un produit sur tous les nombres premiers des facteurs géométriques un sur un moins p à la puissance moins s, un encodage analytique de la factorisation unique.

Prolongation analytique et équation fonctionnelle

La fonction zêta se prolonge en une fonction méromorphe avec un seul pôle simple en s égal à un, et satisfait une équation fonctionnelle reliant ses valeurs en s et un moins s par l'intermédiaire de la fonction gamma, exposant une symétrie autour de la droite critique.

Zéros et la formule explicite

Les zéros triviaux se situent aux entiers pairs négatifs ; les zéros non triviaux se trouvent dans la bande critique, et la formule explicite exprime la fonction de dénombrement des nombres premiers comme une somme sur ces zéros, faisant de leur localisation la clé de la distribution des nombres premiers.

Clinical relevance

L'hypothèse de Riemann sur la localisation des zéros non triviaux détermine les bornes d'erreur les plus précises pour le dénombrement des nombres premiers ; ces bornes alimentent les estimations utilisées dans l'analyse de la sécurité cryptographique et dans l'analyse rigoureuse des algorithmes de théorie des nombres.

History

Euler a étudié la série de la fonction zêta pour des arguments entiers et a découvert son produit eulérien au XVIIIe siècle. L'article de Riemann de 1859 a traité s comme une variable complexe, a établi la prolongation analytique et l'équation fonctionnelle, et a énoncé l'hypothèse sur les zéros qui porte son nom et reste non prouvée.

Key figures

• Bernhard Riemann
• Leonhard Euler
• Peter Gustav Lejeune Dirichlet

Seminal works

• apostol1976

Frequently asked questions

Qu'est-ce que la droite critique ?

C'est la droite verticale dans le plan complexe où la partie réelle de s est égale à un demi ; l'hypothèse de Riemann affirme que chaque zéro non trivial de la fonction zêta se trouve sur cette droite.

Pourquoi le produit eulérien est-il important ?

Il exprime la fonction zêta comme un produit sur les nombres premiers, ce qui est l'énoncé analytique précis que chaque entier se factorise de manière unique en nombres premiers et constitue le pont entre la fonction zêta et les nombres premiers.