Une série de Dirichlet est une série complexe de la forme Σ_{n≥1} a_n n^{-s}, où s est une variable complexe et (a_n) une suite de coefficients complexes ; elle sert de fonction génératrice pour des suites arithmétiques et occupe une place centrale en théorie analytique des nombres.

Principe

Transposer l'information arithmétique ou multiplicative codée par les coefficients (a_n) en propriétés analytiques d'une fonction de s ; la multiplicativité des coefficients se traduit par des produits d'Euler, et la continuation analytique révèle des conséquences arithmétiques profondes.

Démonstration

La fonction zêta de Riemann ζ(s)=Σ_{n≥1} n^{-s} est une série de Dirichlet de convergence absolue pour Re(s)>1 et admet le produit d'Euler ζ(s)=Π_p (1-p^{-s})^{-1}, qui reflète la structure multiplicative des entiers.

Mauvaise application

Supposer la convergence ou la convergence absolue en dehors de l'abscisse de convergence, ou intervertir indûment continuation analytique et manipulations terme à terme ; traiter une série de Dirichlet comme une série entière en e^{-s} sans vérifier la région de validité.

Conséquence

Les propriétés analytiques des séries de Dirichlet — domaines de convergence, pôles, zéros et équations fonctionnelles — se traduisent en informations sur les sommes et la distribution des coefficients a_n, conduisant à des résultats sur les nombres premiers, les sommes de diviseurs et les valeurs moyennes.

Inversion

Le renversement est une série entière ordinaire Σ a_n z^n dont le domaine analytique est un disque et qui n'encode pas directement des produits d'Euler multiplicatifs ; les transformations de Mellin relient parfois les données de séries entières aux séries de Dirichlet dans des contextes appropriés.

Limite

Une série de Dirichlet possède une abscisse de (convergence absolue) et peut admettre une continuation analytique au-delà ; toutes les suites ne donnent pas lieu à des produits d'Euler, et la théorie suppose un contrôle de la croissance des a_n pour déduire continuation analytique et équations fonctionnelles.

Tension sémantique

Souvent confondue avec les fonctions génératrices ordinaires ou avec les fonctions L ; la caractéristique distinctive est le poids n^{-s} et le lien entre multiplicativité et produits d'Euler, d'où la nécessité d'une précision sur les propriétés des coefficients.

Synthèse

Une série de Dirichlet est une transformée en variable complexe Σ a_n n^{-s} d'une suite arithmétique dont la convergence, la factorisation, la continuation et les singularités reflètent et exposent la structure arithmétique multiplicative, fondant de nombreux résultats de la théorie analytique des nombres.