thumb|Johann Peter Gustav Lejeune Dirichlet (1805-1859). En mathématiques, une série L de Dirichlet est une série du plan complexe utilisée en théorie analytique des nombres.

Par prolongement analytique, cette fonction peut être étendue en une fonction méromorphe sur le plan complexe entier.

Elle est construite à partir d'un caractère de Dirichlet et, dans le cas du caractère trivial, la fonction L de Dirichlet est la fonction zêta de Riemann.

Elle est nommée ainsi en l'honneur du mathématicien allemand Johann Peter Gustav Lejeune Dirichlet, qui l'a utilisée pour démontrer son théorème de la progression arithmétique.

Définition Soit un caractère de Dirichlet. La série L de Dirichlet associée, notée , est définie par : .

Relation avec la fonction zêta de Hurwitz et prolongement analytique La série L de Dirichlet associée à un caractère modulo est une combinaison linéaire des séries zêta de Hurwitz pour avec .

Plus précisément, soit un caractère modulo . Alors, .

Par conséquent, de même que les séries , la série converge sur le demi-plan des nombres complexes de partie réelle strictement supérieure à 1 ; se prolonge analytiquement sur le plan complexe en une fonction méromorphe avec au plus un pôle, simple, au point 1. Ce prolongement est appelé fonction L de Dirichlet et est encore noté , et son résidu au point 1 est :. En particulier, la fonction L de Dirichlet du caractère trivial (N = 1) est la fonction zêta de Riemann , dont le résidu au point 1 est, comme celui de toutes les fonctions zêta de Hurwitz, égal à 1.

Comportement au point un Le comportement des séries au point 1 est la clé du théorème de la progression arithmétique. C'est la raison pour laquelle Dirichlet définit ces séries. Le point 1 est un pôle de la fonction L pour le caractère principal, mais pas pour les autres caractèresAutrement dit, pour les caractères non principaux : la fonction L associée est une fonction entière. Voir aussi , théorème VII.4.4. On peut montrer de plus – mais ce n'est pas utile ici – que la série converge vers son prolongement holomorphe sur le demi-plan Re(s) > 0, comme toute série de Dirichlet ∑a/n dont l'ensemble des sommes a + … + a est borné..

Ici, N désigne le modulo des caractères étudiés.

Si χ est le caractère principal, = φ(N)/N > 0.

Si χ n'est pas principal, il est orthogonal au caractère principal (cf. § « L'espace hermitien ℂ » de l'article « Caractère d'un groupe fini »), c'est-à-dire quedonc .

Pour tout caractère non principal, le point 1 n'est pas un zéro de la fonction.

N désigne encore le modulo des caractères étudiés. Il existe au plus un caractère dont la fonction L a 1 pour racine.Soit r le nombre de caractères dont la fonction L a 1 pour racine. Les autres fonctions L sont holomorphes, sauf celle du caractère principal χ, dont 1 est pôle d'ordre 1. Le produit ψ de toutes ces fonctions L vérifie donc, sur un disque épointé D de centre 1 du plan complexe, une majoration de la forme suivante, pour un certain réel M :.Or un calcul (cf. § « Produit eulérien » de l'article « Caractère de Dirichlet ») montre que si U désigne le groupe des unités de ℤ/Nℤ, Û son groupe dual de caractères, P l'ensemble des nombres premiers et s un nombre complexe de partie réelle strictement supérieure à 1 :.En choisissant pour u l'élément neutre du groupe on obtient, pour tout réel s > 1 :ce qui, compte tenu de (2), prouve que r est inférieur ou égal à 1. La fonction L d'un caractère non réel n'admet pas 1 comme racine.Si un caractère χ est non réel et si sa fonction L admet 1 comme racine alors son caractère conjugué est différent de lui-même et sa fonction L admet aussi 1 comme racine. Le lemme précédent montre que cette configuration est impossible. La fonction L d'un caractère réel non principal n'admet pas 1 comme racine.Cette démonstration est plus délicate. Elle a retenu Dirichlet pendant un an. Celle présentée ici est l'œuvre d'Aleksandr Gelfond et Atle Selberg. C'est un raisonnement par l'absurde. On suppose donc que χ est un caractère réel non principal et que L(1, χ) est nul.Soit (an(t)) où n est un entier strictement positif, la suite de fonctions sur ]0, 1[ définie par :. La suite (an(t)) est positive.On remarque que : .La convexité de la fonction exponentielle montre que, si ln désigne le logarithme népérien :,ce qui démontre que la suite (an) est positive. La suite (an(t)) est décroissante.Calculons an – an + 1 :.La minoration (3) montre que :.En multipliant l'inégalité (5) par la bonne fraction, on obtient :.L'inégalité (6) prouve bien que la différence (4) est positive. La série de terme général an(t) χ(n) est absolument majorée par le modulo N du caractère.On effectue sur la série une transformation d'Abel :.Comme la suite (an(t)) est positive et décroissante, la valeur an(t) – an + 1(t) est positive et majorée par a1(t) = 1. La fonction χ est périodique de période N et (cf. équation (1) de la boîte déroulante précédente) la somme de ses valeurs sur N entiers consécutifs est nulle. Les χ(m) sont de module 0 ou 1, ce qui montre que leur somme ne dépasse jamais N en module. On a donc bien :. La série de terme général an(t) χ(n) vérifie l'égalité suivante :.En effet, par définition de la série :or L(1, χ) est supposé nul. La série de terme général an(t) χ(n) vérifie l'égalité suivante :.En effet, l'égalité (8) montre que :. La fonction A(m) est à valeurs entières, elle est positive et strictement positive si m est un carré parfait.χ est un caractère réel, il prend donc ses valeurs dans l'ensemble {–1, 0, 1}, en conséquence A(m) prend ses valeurs dans les entiers.Soit p un nombre premier et k un entier positif. Si p divise N alors toute puissance de p autre que p est d'image nulle par χ et A(pk) = 1.Si χ(p) est égal à 1, alors toute puissance de p a la même image par χ car un caractère est une fonction complètement multiplicative et A(pk) est égal à k + 1.Enfin si χ(p) est égal à –1, alors toute puissance de p a pour image par χ : 1 si l'exposant est pair et –1 dans le cas contraire. En conséquence A(pk) est égal à 1 si k est pair et 0 dans le cas contraire.Toute puissance d'un nombre premier possède donc une image positive ou nulle par A. Il suffit alors de remarquer que A est une fonction multiplicative pour conclure que les images de A sont toujours positives.Enfin si m est un carré parfait alors A(m) est strictement positif, comme produit de termes de la forme A(p), tous strictement positifs. ConclusionIl existe une infinité de carrés parfaits. L'égalité (9) montre que l'expression, en module, peut être choisie aussi grande que l'on veut, si t est suffisamment proche de 1. Ce résultat est en contradiction avec la majoration (7), ce qui termine la démonstration.

Calculons le produit ψ de toutes les fonctions L associées aux caractères modulo N, pour Re(s) > 1 :

.

Pour tout p premier ne divisant pas N, notons d(p) et h(p) = φ(N)/d(p) les ordres respectifs de l'image et du noyau du morphisme χ ↦ χ(p), de Û dans ℂ*. Alors, l'image de ce morphisme est le groupe des racines d(p)-ièmes de l'unité et chacune de ces racines a h(p) antécédents, donc

.

En utilisant l'identité polynomiale et la formule du binôme négatif, on trouve ainsi :

.

Par conséquent, , où tous les sont des entiers naturels. On en déduit deux faits : l'abscisse de convergence de cette série de Dirichlet est égale à son abscisse d'holomorphie (d'après un théorème de Landau, par positivité des ) ; cette abscisse de convergence est ≥ 0, cardiverge puisqu'une infinité des entiers naturels sont non nuls (par exemple parce que le coefficient de p est h(p) et qu'il y a une infinité de nombres premiers). Par conséquent, l'abscisse d'holomorphie de ψ est différente de , donc ψ n'est pas prolongeable en une fonction entière. Il n'existe donc, parmi les caractères modulo N, aucun χ dont la fonction L puisse admettre 1 pour racine et venir ainsi compenser le pôle simple de la fonction L du caractère principal.

Zéros des fonctions L de Dirichlet

Si χ est un caractère primitif avec χ(–1) = 1, alors les seuls zéros de L(s, χ) avec Re(s) < 0 sont les entiers pairs négatifs. Si χ est un caractère primitif avec χ(–1) = –1, alors les seuls zéros de L(s, χ) avec Re(s) < 0 sont les entiers impairs négatifs.

Hormis l'existence possible d'un zéro de Siegel, beaucoup de résultats similaires à la fonction zêta de Riemann sont connus sur les régions sans zéro de toutes les fonctions L de Dirichlet, à gauche de la droite Re(s) = 1.

L'hypothèse de Riemann généralisée est la généralisation aux fonctions L de Dirichlet de l'hypothèse de Riemann sur la fonction zêta.

Équation fonctionnelle

Supposons que χ est un caractère primitif de module k. Définissant

où désigne la fonction gamma et le symbole est donné par

on a l'équation fonctionnelle

où désigne la somme de Gauss :

Remarque : .

Exemples Fonction zêta de Riemann

Pour le caractère trivial, on retrouve la fonction zêta de Riemann :

Fonction lambda de Dirichlet

Fonction bêta de Dirichlet

Notes et références

Voir aussi Articles connexes Formule de Perron

Bibliographie

Harold Davenport, Multiplicative number theory, éd., Springer, 2000 A. A. Karatsuba, Basic analytic number theory, Springer, 1993

, An Introduction to the Theory of the Riemann Zeta-Function, Cambridge University Press, 1995

Liens externes Infinitely many primes, with analysis par Andrew Granville et Kannan Soundararajan, Université de Montréal Éléments d'analyse et d'algèbre par Pierre Colmez Dirichlet's theorem on primes in arithmetic progression, IMO Training 2006-2007

Catégorie:Théorie analytique des nombres Catégorie:Analyse complexe Catégorie:Caractère de Dirichlet Dirichlet (L)