Théorème de Wiener-Ikehara

Théorème de théorie analytique des nombres

Le théorème de Wiener–Ikehara est un théorème taubérien introduit par Shikao Ikehara (1931). C'est une conséquence du théorème taubérien de Wiener, et peut être utilisé pour démontrer le théorème des nombres premiers (Chandrasekharan, 1969).

Enoncé

modifier

Soit A(x) une fonction croissante positive, définie sur [0,+∞[. On suppose que

converge pour tout ℜ(s) > 1 vers une fonction ƒ(s) et que pour un certain c positif,

admet un prolongement continu sur la droite ℜ(s) = 1. Alors la limite lorsque x tend vers l'infini de exA(x) vaut c.

Application à la fonction zêta

modifier

Une application importante en théorie des nombres du théorème de Wiener–Ikehara porte sur les séries de Dirichlet de la forme

a(n) est positive. Si la série converge vers une fonction analytique sur

avec un pôle simple de résidu c en s = b, alors

En applicant cela à la dérivée logarithmique de la fonction zêta de Riemann, où les coefficients la série de Dirichlet sont donnés par la fonction de von Mangoldt, il est possible de déduire le théorème des nombres premiers du fait que la fonction zeta ne s'annule pas sur la droite

Références

modifier