Série L de Dirichlet
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 L( , χ), 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 N est une combinaison linéaire des séries zêta de Hurwitz pour q = j/N avec j = 1, 2, … , N.
Plus précisément, soit χ un caractère modulo N. 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.
Par périodicité de ,
- ,
d'où
- .
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ères[1].
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 ℂG » de l'article « Caractère d'un groupe fini »), c'est-à-dire que- 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 χ0, 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 p0 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(p2k), tous strictement positifs. - Conclusion
Il 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.
- La suite (an(t)) est positive.
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 an 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 an) ;
- cette abscisse de convergence est ≥ 0, car
diverge puisqu'une infinité des entiers naturels an sont non nuls (par exemple parce que le coefficient de p–d(p)s 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 a est donné par
on a l'équation fonctionnelle
où τ désigne la somme de Gauss :
Remarque : |τ(χ)| = k1/2.
Notes et références
- ↑ Autrement dit, pour les caractères non principaux : la fonction L associée est une fonction entière. Voir aussi Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Palaiseau, Éditions de l'École polytechnique, , 469 p. (ISBN 978-2-7302-1563-3, lire en ligne), p. 291, 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 ∑an/ns dont l'ensemble des sommes a1 + … + an est borné.
- ↑ Colmez 2009, p. 292.
Voir aussi
Article connexe
Bibliographie
- Jean-Benoît Bost, Pierre Colmez et Philippe Biane, La Fonction Zêta, Paris, Éditions de l'École polytechnique, , 193 p. (ISBN 2-7302-1011-3)
- (en) Harold Davenport, Multiplicative number theory, 3e éd., Springer, 2000 (ISBN 0387950974)
- (en) A. A. Karatsuba, Basic analytic number theory, Springer, 1993 (ISBN 978-0-387-53345-2)
- (en) Richard J. Mathar, « Table of Dirichlet L-series and Prime Zeta », (arXiv 1008.2547)
- (en) S. J. Patterson (de), An Introduction to the Theory of the Riemann Zeta-Function, Cambridge University Press, 1995 (ISBN 978-0-521-49905-7)
Liens externes
- (en) 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
- (en) Dirichlet's theorem on primes in arithmetic progression, IMO Training 2006-2007
- Portail de l'analyse