Série de Dirichlet

En mathématiques, une série de Dirichlet est une série f(s) de fonctions définies sur l'ensemble ℂ des nombres complexes, et associée à une suite (a_n) de nombres complexes de l'une des deux façons suivantes :

${\displaystyle f(s)=\sum _{n=1}^{+\infty }{\frac {a_{n}}{n^{s}}}\quad {\text{ou}}\quad f(s)=\sum _{n=1}^{+\infty }a_{n}\mathrm {e} ^{-s\lambda _{n}}}$.

Johann Peter Gustav Lejeune Dirichlet analyse les séries qui portent son nom en 1837 pour démontrer le théorème de la progression arithmétique.

Ici, la suite (λ_n) est réelle, positive, strictement croissante et non bornée. Le domaine de convergence absolue d'une série de Dirichlet est soit un demi-plan ouvert de ℂ, limité par une droite dont tous les points ont même abscisse, soit l'ensemble vide, soit ℂ tout entier. Le domaine de convergence simple est de même nature. Sur le domaine de convergence simple, la fonction définie par la série est holomorphe. Si la partie réelle de s tend vers +∞, la fonction somme, si elle existe, tend vers 0.

Les séries de Dirichlet interviennent en théorie analytique des nombres. Dirichlet en analyse certaines, les séries L de Dirichlet, pour démontrer en 1837 le théorème de la progression arithmétique. L'hypothèse de Riemann s'exprime en termes de zéros du prolongement analytique d'une fonction somme d'une série de Dirichlet.

Définitions et exemples

Définitions

Il existe deux définitions différentes des séries de Dirichlet :

• Une série de Dirichlet est une série de la forme suivante, où (a_n) désigne une suite de nombres complexes :

${\displaystyle f(s)=\sum _{n=1}^{+\infty }{\frac {a_{n}}{n^{s}}}}$.

Cet article utilise une définition plus générale^[1] :

• Une série de Dirichlet est une série de la forme suivante, où (a_n) désigne une suite de nombres complexes et (λ_n) une suite réelle, positive, strictement croissante et non bornée :

${\displaystyle f(s)=\sum _{n=1}^{+\infty }a_{n}\mathrm {e} ^{-s\lambda _{n}}}$.

La première définition correspond au cas particulier λ_n = ln(n).

• On associe classiquement^[1] à une telle série les deux fonctions${\displaystyle A(u)=\sum _{1\leq n\leq u}a_{n},\quad A_{\lambda }(x)=\sum _{\lambda _{n}\leq x}a_{n}}$.

Exemples

• Parmi les séries de Dirichlet « classiques », celles de la première définition, figurent les séries L de Dirichlet, qui correspondent aux cas où la suite (a_n) est totalement multiplicative et périodique. L'exemple le plus simple d'une telle suite (appelée un caractère de Dirichlet) est la suite constante a_n = 1, qui correspond à la série de Riemann${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}}$.
• La théorie des séries de Dirichlet générales, en autorisant d'autres suites d'exposants λ_n que la suite (ln(n)), permet d'inclure d'autres théories classiques :
  • Si les valeurs λ_n vérifient : λ_n = n et si l'on note z = e^–s, la série prend la forme :${\displaystyle f(z)=\sum _{n=1}^{\infty }a_{n}z^{n}}$.On retrouve la définition d'une série entière, à une constante additive près^[2].
  • Dans le cas où λ_n = 2πn, le changement de variable s = –it montre qu'une série de Fourier est aussi un cas particulier de série de Dirichlet.

Abscisses de convergences

Convergence simple et convergence absolue

Lorsque la série n'est pas à coefficients positifs (ou de même signe), il faut distinguer la convergence absolue de la convergence simple.

Exemple : la série de Dirichlet de la fonction êta de Dirichlet est ${\displaystyle \eta (s)=\sum _{n=1}^{\infty }{(-1)^{n-1} \over n^{s}}}$.

• Elle converge simplement (c'est une série alternée) pour les nombres réels > 0.
• Elle diverge si s ≤ 0.
• Elle converge absolument pour les nombres réels > 1 (et seulement pour ceux-là).

De plus, la fonction êta se prolonge de manière holomorphe à tout le plan complexe.

On dit que 0 est l'abscisse de convergence simple, que 1 est l'abscisse de convergence absolue de la série de Dirichlet et que –∞ est l'abscisse d'holomorphie.

Abscisse de convergence simple

Soit C_f l'ensemble des nombres réels a tels que la série f(a + bi) converge pour au moins un réel b. Cet ensemble permet la définition^[3] :

L'abscisse de convergence simple, encore appelée abscisse de convergence est la borne inférieure σ_c de l'ensemble C_f. Autrement dit : si C_f n'est pas minoré alors σ_c = –∞, si C_f est vide alors σ_c = +∞, et dans tous les autres cas, σ_c est le plus grand réel σ tel qu'en tout point du demi-plan Re(s) < σ, la série diverge.

Cette abscisse de convergence est l'objet d'une proposition^[3] :

• Sur le demi-plan Re(s) > σ_c, la série f est convergente.
• Pour tout point s₀ de ce demi-plan, la convergence est uniforme dans tout secteur de la forme |arg(s – s₀)| ≤ θ, où 0 ≤ θ < π/2.

On en déduit que la convergence est uniforme sur tout sous-ensemble compact du demi-plan, d'où le corollaire :

• La série de Dirichlet est holomorphe sur son demi-plan de convergence et ${\displaystyle f'(s)=\sum _{n=1}^{+\infty }-\lambda _{n}a_{n}\mathrm {e} ^{-s\lambda _{n}}}$.

Si la suite (A(n)) est bornée, alors l'abscisse de convergence est négative ou nulle. Plus généralement^[4],[5],[6] :

• Soit L la limite supérieure suivante :${\displaystyle L=\limsup _{n\rightarrow \infty }{\frac {\ln |A(n)|}{\lambda _{n}}}.}$Si L > 0 alors σ_c = L ; si L ≤ 0 alors σ_c ≤ 0.

En démontrant cette propriété, on obtient au passage l'expression intégrale suivante^[1] :

• Pour tout nombre complexe s de partie réelle strictement supérieure à max(σ_c, 0),${\displaystyle (*)\quad f(s)=s\int _{0}^{\infty }A_{\lambda }(x)\mathrm {e} ^{-sx}\mathrm {d} x}$.

Dans le cas des séries de Dirichlet classiques (c.-à-d. pour λ_n = ln(n)), cette formule devient, par changement de variable^[7] :

${\displaystyle f(s)=s\int _{1}^{\infty }{\frac {A(u)}{u^{1+s}}}\mathrm {d} u}$.

Démonstrations

L'outil principal de ces démonstrations est une petite variante de la formule sommatoire d'Abel (obtenue par transformation d'Abel) :

${\displaystyle (1)\quad \sum _{n=1}^{q}a_{n}\mathrm {e} ^{-s\lambda _{n}}=A(q)\mathrm {e} ^{-s\lambda _{q}}-\int _{0}^{\lambda _{q}}A_{\lambda }(x){\frac {\mathrm {d} }{\mathrm {d} x}}\left(\mathrm {e} ^{-sx}\right)\mathrm {d} x=A(q)\mathrm {e} ^{-s\lambda _{q}}+s\int _{0}^{\lambda _{q}}A_{\lambda }(x)\mathrm {e} ^{-sx}\mathrm {d} x}$

et de même, si p ≤ q :

${\displaystyle (2)\quad \sum _{n=p}^{q}a_{n}\mathrm {e} ^{-s\lambda _{n}}=(A(q)-A(p-1))\mathrm {e} ^{-s\lambda _{q}}+s\int _{\lambda _{p}}^{\lambda _{q}}\left(A_{\lambda }(x)-A(p-1)\right)\mathrm {e} ^{-sx}\mathrm {d} x}$

(ce qui revient à remplacer a₁, a₂, … , a_{p – 1} par 0 dans la première formule).

• Convergence uniforme :
  Pour alléger les notations, on peut d'abord se ramener au cas s₀ = 0 par changement de variable et modification des coefficients, en écrivant la série sous la forme${\displaystyle \sum \left(a_{n}\mathrm {e} ^{-s_{0}\lambda _{n}}\right)\mathrm {e} ^{-(s-s_{0})\lambda _{n}}}$.Soit ε un réel strictement positif et D le secteur |arg(s)| ≤ θ, l'objectif est de montrer que :${\displaystyle \exists N\in \mathbb {N} \quad \forall s\in D\quad \forall p,q\geq N{\text{ avec }}p\leq q\quad \left|\sum _{n=p}^{q}a_{n}\mathrm {e} ^{-s\lambda _{n}}\right|\leq \varepsilon }$.Par hypothèse, la série de Dirichlet converge en s₀ = 0, c'est-à-dire que la suite (A(n)) est convergente. Si N est choisi suffisamment grand, on a donc :${\displaystyle q\geq p\geq N\Rightarrow |A(q)-A(p-1)|\leq \varepsilon \cos(\theta )}$.Pour tout point s de D et pour tous q ≥ p ≥ N, on déduit alors de la formule (2) :${\displaystyle {\begin{aligned}\left|\sum _{n=p}^{q}a_{n}\mathrm {e} ^{-s\lambda _{n}}\right|&\leq \varepsilon \cos(\theta ){\big (}\mathrm {e} ^{-\mathrm {Re} (s)\lambda _{q}}+{\frac {|s|}{\mathrm {Re} (s)}}\left(\mathrm {e} ^{-\mathrm {Re} (s)\lambda _{p}}-\mathrm {e} ^{-\mathrm {Re} (s)\lambda _{q}}\right){\big )}\\&=\varepsilon \cos(\theta )\left({\frac {|s|}{{\text{Re}}(s)}}\mathrm {e} ^{-\lambda _{p}{\text{Re}}(s)}-\left({\frac {|s|}{{\text{Re}}(s)}}-1\right)\mathrm {e} ^{-\lambda _{q}{\text{Re}}(s)}\right)\\&\leq \varepsilon \cos(\theta ){\frac {|s|}{{\text{Re}}(s)}}\mathrm {e} ^{-\lambda _{p}{\text{Re}}(s)}\\&\leq \varepsilon .\end{aligned}}}$L'application du critère de Cauchy termine la démonstration.
• max(0, L) ≥ σ_c et si Re(s) > max(0, L) alors f(s) est donné par la formule (*) :
  Montrons pour cela que si Re(s) > max(0, L), alors la série de Dirichlet en s converge (ce qui prouvera que max(0, L) ≥ σ_c) et sa valeur est donnée par cette formule. Soit σ un réel tel que Re(s) > σ > max(0, L). Puisque σ > L, on a, pour tout n suffisamment grand :${\displaystyle |A(n)|\leq \mathrm {e} ^{\sigma \lambda _{n}}}$et puisque σ > 0 on a alors :${\displaystyle \forall x\in [\lambda _{n},\lambda _{n+1}[\quad |A_{\lambda }(x)|=|A(n)|\leq \mathrm {e} ^{\sigma \lambda _{n}}\leq \mathrm {e} ^{\sigma x}}$.Par conséquent, lorsqu'on fait tendre q vers +∞ dans (1), le premier des deux termes de la somme tend vers 0 et le second est une intégrale (absolument) convergente, ce qui conclut.
• Si L > 0 alors σ_c ≥ L :
  Montrons pour cela que max(0, σ_c) ≥ L et pour ce faire, fixons un réel σ strictement supérieur à 0 et à σ_c et montrons qu'alors, σ ≥ L.
  Notons B_n les sommes partielles de la série de Dirichlet en σ et M un majorant des modules des B_n. La transformation d'Abel montre que :${\displaystyle \forall n\in \mathbb {N} ^{*}\quad \sum _{k=1}^{n}a_{k}=\sum _{k=1}^{n-1}B_{k}(\mathrm {e} ^{\lambda _{k}\sigma }-\mathrm {e} ^{\lambda _{k+1}\sigma })+B_{n}\mathrm {e} ^{\lambda _{n}\sigma }}$.On en déduit :${\displaystyle \left|\sum _{k=1}^{n}a_{k}\right|\leq M\sum _{k=1}^{n-1}\left(\mathrm {e} ^{\lambda _{k+1}\sigma }-\mathrm {e} ^{\lambda _{k}\sigma }\right)+M\mathrm {e} ^{\lambda _{n}\sigma }\leq 2M\mathrm {e} ^{\lambda _{n}\sigma }}$,ce qui montre que :${\displaystyle \forall n\in \mathbb {N} ^{*}\quad \sigma \geq {\frac {1}{\lambda _{n}}}\left(\ln \left(\left|\sum _{k=1}^{n}a_{k}\right|\right)-\ln(2M)\right)}$.On a donc bien σ ≥ L.
• Synthèse des deux points précédents :
  Si L > 0 alors σ_c ≥ L et σ_c ≤ max(0, L) = L, donc σ_c = L.
  Si L ≤ 0 alors σ_c ≤ max(0, L) = 0.
  Enfin, (*) est vrai pour tout s de partie réelle strictement supérieure à max(0, L), qui dans les deux cas est bien égal à max(σ_c, 0).

Une autre proposition traite du cas où l'abscisse de convergence simple est strictement négative :

• Si l'abscisse de convergence simple d'une série de Dirichlet est strictement négative, elle est égale à la limite suivante^[8] :${\displaystyle \limsup _{n\to \infty }{\frac {\ln \left(\left|\sum _{k=n+1}^{\infty }a_{k}\right|\right)}{\lambda _{n+1}}}}$.

Abscisse d'holomorphie

Cette abscisse σ_h est définie comme la borne inférieure de l'ensemble des réels x tels que la série admette un prolongement holomorphe sur le demi-plan Re(s) > x.

D'après ce qui précède, on a toujours

${\displaystyle \sigma _{\mathrm {h} }\leq \sigma _{\mathrm {c} }}$,

mais une différence majeure avec la théorie des séries entières^[9] est que cette inégalité peut être stricte, comme le montre l'exemple des fonctions L de Dirichlet associées à des caractères non principaux.

On a cependant égalité si les coefficients de la série sont positifs :

Théorème de Landau^[9] — Soit une série de Dirichlet${\displaystyle f(s)=\sum _{n=1}^{+\infty }a_{n}\mathrm {e} ^{-s\lambda _{n}}}$dont tous les coefficients a_n sont des réels positifs ou nuls et dont l'abscisse de convergence σ_c est un réel. Alors, σ_c est un point singulier de f et l'on a σ_h = σ_c.

Démonstration

Supposons par l'absurde que la série admette un prolongement analytique sur un disque de centre σ_c et de rayon 3ε > 0. Alors elle serait la somme de sa série de Taylor sur le disque de même rayon et de centre σ_c + ε. Or en ce centre, ses coefficients de Taylor se calculent en dérivant terme à terme la série de Dirichlet. Par évaluation au point σ_c – ε de ce disque, on obtiendrait ainsi :

${\displaystyle {\begin{aligned}+\infty &>\sum _{k=0}^{\infty }\left(\sum _{n=1}^{\infty }a_{n}(-\lambda _{n})^{k}\mathrm {e} ^{-\lambda _{n}(\sigma _{c}+\varepsilon )}\right){\frac {(-2\varepsilon )^{k}}{k!}}\\&=\sum _{k=0}^{\infty }\left(\sum _{n=1}^{\infty }a_{n}\lambda _{n}^{k}\mathrm {e} ^{-\lambda _{n}(\sigma _{c}+\varepsilon )}\right){\frac {(2\varepsilon )^{k}}{k!}}\\&=\sum _{n=1}^{\infty }a_{n}\mathrm {e} ^{-\lambda _{n}(\sigma _{c}+\varepsilon )}\sum _{k=0}^{\infty }{\frac {(2\varepsilon \lambda _{n})^{k}}{k!}}\\&=\sum _{n=1}^{\infty }a_{n}\mathrm {e} ^{-\lambda _{n}(\sigma _{c}+\varepsilon )}\mathrm {e} ^{2\varepsilon \lambda _{n}}\\&=\sum _{n=1}^{\infty }a_{n}\mathrm {e} ^{-\lambda _{n}(\sigma _{c}-\varepsilon )},\end{aligned}}}$

l'interversion dans la série double étant justifiée parce qu'elle est à termes positifs. La série de Dirichlet serait donc convergente en σ_c – ε, ce qui est contraire à la définition de σ_c.

On a aussi σ_h = σ_c sous d'autres hypothèses complémentaires^[1], en posant

${\displaystyle \Delta =\limsup _{n\to \infty }{\frac {n}{\lambda _{n}}}\quad {\text{et}}\quad G=\liminf _{n\to \infty }(\lambda _{n+1}-\lambda _{n})}$ :

• Si Δ = 0, si G > 0 et si σ_c est finie, alors tout point de la droite Re(s) = σ_c est singulier pour la fonction.
• Si Δ est fini, si G > 0 et si σ_c est finie, alors tout segment de longueur 2π/G de la droite Re(s) = σ_c contient au moins un point singulier pour la fonction (ce qui généralise le fait que pour une série entière, le bord du disque de convergence contient au moins un point singulier).

Abscisse de convergence absolue

On définit de même l'abscisse de convergence absolue σ_a comme la borne inférieure de l'ensemble des réels x pour lesquels la série est absolument convergente sur le demi-plan Re(s) > x. Les deux abscisses σ_a et σ_c (évidemment égales pour une série à coefficients positifs) sont liées en général par les inégalités^[10]:

${\displaystyle \sigma _{\mathrm {c} }\leq \sigma _{\mathrm {a} }\leq \sigma _{\mathrm {c} }+D\quad \mathrm {o{\grave {u}}} \quad D=\limsup _{n\to \infty }{\frac {\ln n}{\lambda _{n}}}.}$

On montre de plus que^[1] :

${\displaystyle {\text{si}}\quad D=0\quad {\text{alors}}\quad \sigma _{\mathrm {c} }=\sigma _{\mathrm {a} }=\limsup _{n\to \infty }{\frac {\ln |a_{n}|}{\lambda _{n}}}}$,

ce qui généralise le théorème de Cauchy-Hadamard sur le rayon de convergence d'une série entière. Remarquons que D est nul dès que Δ est fini, mais que cela ne suffit pas^[1] à assurer l'existence de points singuliers sur la droite critique.

Dans le cas d'une série de Dirichlet « classique » : ${\displaystyle \sum _{n=1}^{\infty }{a_{n} \over n^{s}}}$, on a D = 1, donc :

${\displaystyle \sigma _{\mathrm {c} }\leq \sigma _{\mathrm {a} }\leq \sigma _{\mathrm {c} }+1}$.

L'exemple de la série de Dirichlet de la fonction êta de Dirichlet (${\displaystyle \eta (s)=\sum _{n=1}^{\infty }{(-1)^{n-1} \over n^{s}}}$) montre que l'on a une inégalité optimale : la série converge simplement (c'est une série alternée) seulement pour les nombres réels > 0 et absolument seulement pour les nombres réels > 1.

Unicité du développement

On se ramène au cas où les deux séries à comparer ont même type (c.-à-d. mêmes λ_n) en prenant la réunion (réordonnée de façon croissante) de leurs types respectifs.

Dans ce cas, si elles ont même fonction limite sur un demi-plan Re(s) > σ où elles convergent toutes deux, alors, d'après la formule de Perron, elles ont mêmes coefficients.

Il suffit pour cela^[11] que σ soit de la forme Re(s₀) + ε pour un certain s₀ où les deux séries convergent et un certain ε > 0 et que les deux fonctions sur ce demi-plan coïncident en une infinité de points appartenant à un secteur |arg(s – s₀)| ≤ θ avec θ < π/2. En effet, si la différence de ces deux fonctions n'est pas nulle, alors ses zéros dans un tel domaine sont en nombre fini puisqu'isolés et bornés (car la différence des deux séries, divisée par son premier terme non nul, est convergente en s₀ donc uniformément convergente dans ce secteur, si bien que la fonction associée tend vers 1 quand s tend vers l'infini).

Exemples de décompositions en série de Dirichlet

• ${\displaystyle {\frac {1}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n^{s}}}}$ où μ est la fonction de Möbius.
• ${\displaystyle {\frac {\zeta (s-1)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\varphi (n)}{n^{s}}}}$ où φ est l'indicatrice d'Euler
  et plus généralement, ${\displaystyle {\frac {\zeta (s-k)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {J_{k}(n)}{n^{s}}}}$ où J_k est la fonction totient de Jordan.
• ${\displaystyle \zeta (s)\zeta (s-a)=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)}{n^{s}}}}$ où σ_a est la fonction somme des puissances a-ièmes des diviseurs
• ${\displaystyle {\frac {\zeta (s)\zeta (s-a)\zeta (s-b)\zeta (s-a-b)}{\zeta (2s-a-b)}}=\sum _{n=1}^{\infty }{\frac {\sigma _{a}(n)\sigma _{b}(n)}{n^{s}}}}$.

Propriétés analytiques

Dans beaucoup de cas, la fonction analytique associée à une série de Dirichlet possède un prolongement analytique sur un domaine plus large. Ceci est le cas pour la fonction zêta de Riemann, méromorphe sur ℂ avec un unique pôle en s = 1. Une des conjectures les plus importantes et non résolues des mathématiques appelée l'hypothèse de Riemann concerne les zéros de cette fonction.

Une première étape dans l'étude du prolongement analytique d'une série de Dirichlet générale

${\displaystyle f(s)=\sum _{n=1}^{+\infty }a_{n}\mathrm {e} ^{-s\lambda _{n}}}$

est de définir une nouvelle série de Dirichlet

${\displaystyle F(s)=\sum _{n=1}^{+\infty }a_{n}\mathrm {e} ^{-s\mu _{n}},\quad \mathrm {o{\grave {u}}} \quad \mu _{n}=\mathrm {e} ^{\lambda _{n}}}$,

qui converge au moins sur le demi-plan Re(s) > 0 si σ_c < ∞ (et même sur tout le plan si σ_c < 0).

En utilisant que la fonction Γ vérifie, pour tout complexe s de partie réelle > 0 (par changement de variable x = t μ_n)

${\displaystyle \mathrm {e} ^{-s\lambda _{n}}\Gamma (s)=\mathrm {e} ^{-s\lambda _{n}}\int _{0}^{+\infty }\mathrm {e} ^{-x}x^{s-1}~\mathrm {d} x=\int _{0}^{+\infty }\mathrm {e} ^{-t\mu _{n}}t^{s-1}~\mathrm {d} t}$

et en justifiant l'interversion série-intégrale par des majorations adéquates^[12], on obtient alors, pour tout complexe s tel que Re (s) > max(σ_c, 0) :

${\displaystyle f(s)={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }F(t)t^{s-1}~\mathrm {d} t}$^[13],[14] .

On en déduit au passage^[12] que pour tout σ > max(σ_c, 0), F(s) est la valeur principale de

${\displaystyle {\frac {1}{2\pi \mathrm {i} }}\int _{\sigma -\mathrm {i} \infty }^{\sigma +\mathrm {i} \infty }\Gamma (\zeta )f(\zeta )\zeta ^{-s}~\mathrm {d} \zeta }$.

Mais l'expression de f en fonction de F est surtout utile pour en déduire un prolongement méromorphe, sous certaines hypothèses :

Théorème (Hardy-Fekete)^[15] — Si σ_c < ∞ et si F se prolonge en une fonction méromorphe en 0, l'ordre du pôle étant q ≥ 0, alors f se prolonge en une fonction méromorphe sur tout le plan complexe, avec comme seuls pôles éventuels des pôles simples en 1, 2, … , q.

Démonstration^[16]

On démontre facilement que F est à décroissance rapide, donc

${\displaystyle \Gamma (s)f(s)=\int _{0}^{x}F(t)t^{s-1}~\mathrm {d} t+\int _{x}^{+\infty }F(t)t^{s-1}~\mathrm {d} t}$

où, pour tout x > 0, la seconde intégrale est une fonction entière^[17]. De plus, par hypothèse, F possède au voisinage de 0 un développement de la forme :

${\displaystyle F(t)=\sum _{k=0}^{\infty }c_{k}t^{k-q}}$

donc pour x assez petit et pour tout complexe s tel que Re(s) > q :

${\displaystyle \int _{0}^{x}F(t)t^{s-1}~\mathrm {d} t=\sum _{k=0}^{\infty }{\frac {c_{k}x^{k-q+s}}{k-q+s}}}$.

Or cette série converge pour tout complexe s différent des entiers q, q – 1, q – 2, … (car le rayon de convergence de la série entière de coefficients c_k n'est pas modifié lorsqu'on divise ces coefficients par les k – q + s) et définit une fonction méromorphe, de pôles (simples) les q – k pour tout entier naturel k. Comme la fonction 1/Γ est entière, on obtient ainsi un prolongement méromorphe, que nous noterons encore f, à tout le plan complexe :

${\displaystyle f(s)={\frac {1}{\Gamma (s)}}\left(\sum _{k=0}^{\infty }{\frac {c_{k}x^{k-q+s}}{k-q+s}}+\int _{x}^{+\infty }F(t)t^{s-1}~\mathrm {d} t\right)}$.

Enfin, les zéros de 1/Γ aux points 0, –1, –2, etc. compensent les pôles simples correspondants, donc f a pour seuls pôles éventuels (simples) q, q – 1, … , 1.

On peut de plus calculer, aux entiers q – k, le résidu ou la valeur de f, selon que 0 ≤ k < q ou k ≥ q :

${\displaystyle \forall n\in \{q,q-1,\ldots ,1\}\quad {\text{Res}}(f,n)={\frac {c_{q-n}}{\Gamma (n)}}}$ ${\displaystyle \forall n\in \mathbb {N} \quad f(-n)=\lim _{\varepsilon \to 0}{\frac {1}{\Gamma (-n+\varepsilon )}}{\frac {c_{q+n}x^{\varepsilon }}{\varepsilon }}={\frac {c_{q+n}}{{\text{Res}}(\Gamma ,-n)}}=(-1)^{n}~n!~c_{q+n}}$.

Historique

Dirichlet définit ces séries en 1837 et les utilisa pour démontrer le théorème de la progression arithmétique, selon lequel il existe une infinité de nombres premiers dans toute progression arithmétique an + b dès que a et b sont premiers entre eux. Elles ne furent étudiées qu'à partir des travaux d'Eugène Cahen, qui en fit son sujet de thèse en 1894. Mais sa thèse fut l'objet de nombreuses critiques et provoqua ainsi de nouveaux travaux^[18]. La définition des fonctions presque périodiques par Harald Bohr permit de montrer que les fonctions définies par les séries de Dirichlet à coefficients positifs sont presque périodiques dans le demi-plan de convergence absolue.

Une partie du développement de la théorie, vue sous l'angle historique se trouve sous ce lien.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dirichlet series » (voir la liste des auteurs).

Notes

1. Valiron 1926.
2. Selon cette définition, la série entière est nulle en 0.
3. Petkov et Yger 2001, p. 8
4. Cf. par exemple Valiron 1926, p. 7, Petkov et Yger 2001, p. 11, Mandelbrojt 1969, p. 12 ou (en) D. V. Widder, An Introduction to Transform Theory, Academic Press, 1971 (lire en ligne), p. 31.
5. L'énoncé originel de Cahen 1894 « si σ_c ≥ 0 alors σ_c = N » et sa démonstration, bien que repris tels quels dans Apostol 1990, p. 162-164 (aperçu sur Google Livres), sont faux si σ_c = 0. Cependant, Hardy et Riesz 1915, p. 6-7 démontrent cet énoncé de Cahen sous l'hypothèse supplémentaire que la série diverge en 0, ou converge vers une valeur non nulle, et (en) Hugh L. Montgomery et R. C. Vaughan, Multiplicative Number Theory I : Classical Theory, CUP, 2007 (lire en ligne), p. 13 le font sans cette hypothèse, mais seulement pour une série de Dirichlet classique (c.-à-d. pour λ_n = ln(n)).
6. (en) T. Kojima, « On the convergence-abscissa of general Dirichlet's series », TMJ, vol. 6,‎ 1914, p. 134-139 a fourni une variante N' (aperçu sur Google Livres) qui est toujours égale à σ_c, même quand N' n'est pas strictement positive : cf. Maurice Blambert, « Sur l'abscisse de convergence simple des séries de Dirichlet générales », Ann. Inst. Fourier, vol. 14, n^o 2,‎ 1964, p. 509-518 (lire en ligne).
7. Pour une preuve directe dans ce cas et des exemples, voir l'article « Formule sommatoire d'Abel ».
8. Petkov et Yger 2001, p. 12
9. Petkov et Yger 2001, p. 9 et Colmez 2009, p. 274
10. Cahen 1894, p. 92
11. Hardy et Riesz 1915, p. 6
12. Petkov et Yger 2001, p. 47
13. On voit apparaître la transformée de Mellin de F.
14. Le cas particulier où f est la fonction zêta de Riemann — F(t) étant alors clairement égal à 1/(e^t – 1) — est traité dans le § « Expression intégrale » de l'article « Fonction zêta de Riemann ».
15. Petkov et Yger 2001, p. 49
16. Petkov et Yger 2001, p. 49 pour le cas général. Pour les séries de Dirichlet classiques, voir aussi Colmez 2009, p. 280 et suivantes.
17. Colmez 2009, p. 247 : Fonctions holomorphes définies par une intégrale
18. « […] the first attempt to construct a systematic theory of the function f''(s) was made by Cahen in a memoir which, although much of the analysis which it contains is open to serious criticism, has served—and possibly just for that reason—as the starting point of most of the later researches in the subject. », Hardy et Riesz 1915, p. 1-2

Références

• (en) Tom M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Springer, coll. « GTM » (n^o 41), 1990 (lire en ligne)
• Eugène Cahen, « Sur la fonction ζ(s) de Riemann et sur des fonctions analogues », ASENS, 3^e série, vol. 11,‎ 1894, p. 75-164 (lire en ligne)
• Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Palaiseau, Éditions de l'École polytechnique, 2009, 469 p. (ISBN 978-2-7302-1563-3, lire en ligne), chap. 7
• (en) G. H. Hardy et Marcel Riesz, The General Theory of Dirichlet's Series, coll. « Cambridge Tracts in Mathematics », 1915 (lire en ligne)
• S. Mandelbrojt, Séries de Dirichlet. Principes et méthodes, Paris, Gauthier-Villars, 1969
• Vesselin Petkov et Alain Yger, Singularités analytiques des séries de Dirichlet, Université Bordeaux I, 2001 (lire en ligne)
• G. Valiron, « Théorie générale des séries de Dirichlet », Mémorial des sciences mathématiques, vol. 17,‎ 1926, p. 1-56 (lire en ligne)

Bibliographie complémentaire

• Vladimir Bernstein (de), Leçons sur les progrès récents de la théorie des séries de Dirichlet, 1933
• Colin, Les séries de Dirichlet, magistère de Cachan, 1995-1996
• (en) Edward Charles Titchmarsh, The Theory of Functions, Oxford University Press, London, 1939

• Portail de l'analyse