## [Série de Dirichlet](/fr/node/62901) Définition 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 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 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 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 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 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 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 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 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.