Série de Dirichlet

Série de Dirichlet
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.

En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie sur l'ensemble des nombres complexes, noté C dans cet article, et d'une des deux formes suivantes :

f(s) : \sum_{n=1}^{+\infty} \frac {a_n}{n^s}\quad\text{ou}\quad f(s) : \sum_{n=1}^{+\infty} a_ne^{-s\lambda_n}

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 un demi-plan ouvert de C, limité par une droite dont tous les points ont même abscisse. Ce domaine peut-être vide ou égal à C 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 plus l'infini, 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 en 1837 pour démontrer le théorème de la progression arithmétique[1]. 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.

Sommaire

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ù (an) désigne une suite de nombres complexes :
f(s): \sum_{n=1}^{+\infty} \frac {a_n}{n^s}

Il existe une définition plus générale :

  • Une série de Dirichlet est une série de la forme suivante, où (an) désigne une suite de nombres complexes et (λn) une suite réelle, positive, strictement croissante et non bornée[2]. :
f(s) : \sum_{n=1}^{+\infty} a_ne^{-s\lambda_n}

Si l'article traite surtout des séries de Dirichlet répondant à la deuxième définition, en première lecture il est possible de ne considérer que le cas où la suite (λn) est égale à la suite (ln(n)), ce qui ramène à la première définition, moins abstraite.

Exemples

Si les valeurs λn vérifient : λn = n et que l'on note z = e-s, la série prend la forme :

f(z) : \sum_{i=1}^{\infty} a_nz^n\;

On retrouve la définition d'une série entière, à une constante additive près[3]. Un exemple un peu du même ordre est donnée dans le cas où λn = 2πn, le changement de variable s = -i.t montre qu'une série de Fourier est aussi un cas particulier de série de Dirichlet. La suite de l'article montre que les séries de Dirichlet représente une classe plus générale de séries et les résultats spécifiques aux séries précédentes ne se généralisent pas nécessairement.

Un autre exemple correspond à la première définition, si (λn) = (ln(n)). Il correspond à la définition historique de la série de Dirichlet. La série de Riemann, définie à l'aide de la suite (an) = (1) est un cas particulier. Il correspond à la formule :

\zeta (s) : \sum_{n=1}^{\infty} \frac 1{n^s}

Abscisses de convergences

Abscisse de convergence simple

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

L'abscisse de convergence simple, encore appelée abscisse de convergence est la borne inférieure de l'ensemble Cf. Si Cf n'est pas bornée inférieurement, l'abscisse de convergence est notée -∞ et si Cf est vide, l'abscisse vaut +∞.

Cette abscisse de convergence est l'objet d'une proposition :

  • Sur le demi-plan ouvert des points complexes de parties réelles strictement supérieures à l'abscisse de convergence simple, la série f est convergente. Sur l'intérieur du demi-plan complémentaire, la série diverge. La convergence est uniforme sur l'ensemble D des points s tel que s - s0 soit un nombre complexe d'argument élément de l'intervalle ]-θ, θ[, avec 0 < θ < π/2. Ici, s0 désigne un point tel que la série f(s0) converge[4].

Il est possible d'évaluer l'abscisse de convergence simple d'une série de Dirichlet :

  • Soit N la limite supérieure suivante :
N= \limsup_{n\rightarrow \infty} \frac 1{\lambda_n} \ln \left(\left|\sum_{k=1}^n a_k\right|\right)
Si N est strictement supérieur à 0, l'abscisse de convergence simple est égale à N, sinon elle est négative[5].

Une deuxième 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[6] :
\limsup_{n\rightarrow \infty} \frac {\ln\left(\left|\sum_{k=n+1}^{\infty} a_k\right|\right)}{\lambda_{n+1}}


Démonstrations
  • Convergence uniforme :

Soit ε un réel strictement positif et s un élément de D, l'objectif est de montrer que :

\exists N \in \N,\;\forall s \in \mathcal D,\; \forall p,q > N\text { avec } p \le q \quad \left| \sum_{n=p}^q a_n e^{-s\lambda_n}\right|\le \epsilon

Soit s un point de D, pour démontrer la proposition on utilise une technique proche de transformation d'Abel. Soient :

\alpha_n =a_ne^{-s_0\lambda_n},\; \Alpha_n = \sum_{k=p}^n \alpha_k\;\text{et}\; \beta_n = e^{(s_0-s)\lambda_n}

On dispose des égalités, si p est strictement plus petit que q :

(1)\quad \left| \sum_{n=p}^q a_n e^{-s\lambda_n}\right|=\left| \sum_{n=p}^q \alpha_n\beta_n\right|=\left| \sum_{n=p}^{q-1} (\beta_n - \beta_{n+1})\Alpha_n +\beta_q\Alpha_q\right|

Majorons les facteurs du membre de droite de l'égalité (1) :

|\beta_n - \beta_{n+1}| = |e^{(s_0-s)\lambda_n} - e^{(s_0-s)\lambda_{n+1}}|=\left|(s -s_0)\int_{\lambda_n}^{\lambda_{n+1}} e^{(s_0-s)t}\mathrm dt\right|

Donc :

(2)\quad |\beta_n - \beta_{n+1}| \le \left|\frac {s - s_0}{\text{Re} (s) - \text{Re}(s_0)}(e^{-\lambda_n(\text{Re} (s) - \text{Re}(s_0))}-e^{-\lambda_{n+1}(\text{Re} (s) - \text{Re}(s_0))}\right|

La convergence de la série de Dirichlet en s0 montre que si N est choisi suffisamment grand :

(3)\quad |\Alpha_q| \le \frac {\epsilon}{1 + \tan (\theta)}

Il suffit alors de remarquer que, dans la somme (1) les termes se détruisent deux à deux (principe d'une somme d'Abel), les majorations (2) et (3) montrent que :

\left| \sum_{n=p}^q a_n e^{-s\lambda_n}\right| \le \frac {\epsilon}{1 + \tan (\theta)}\left|\frac {s - s_0}{\text{Re} (s) - \text{Re}(s_0)}(e^{-\lambda_n(\text{Re} (s) - \text{Re}(s_0))}-e^{-\lambda_{n+1}(\text{Re} (s) - \text{Re}(s_0))})\right|\le \epsilon

L'application du critère de Cauchy termine la démonstration.

  • Si N est strictement supérieur à 0, l'abscisse de convergence simple est égale à N, sinon elle est négative :
  • Cas où N est négative :
Si la limite N est négative, cela signifie que la série de terme générale (an) admet pour limite 0. On en déduit qu'au point 0, la série de Dirichlet est convergente et le résultat précédent montre que l'abscisse de convergence est négative.
  • Si N est strictement supérieur à 0, l'abscisse de convergence est plus grande ou égale à N :
Le raisonnement est un peu de même nature que celui utilisé pour démontrer la convergence uniforme. Soit ε un réel strictement positif, par définition de N, il existe un entier n0 tel que :
\forall n \ge n_0 \quad \frac 1{\lambda_n} \ln\left(\left|\sum_{k=1}^n a_n\right|\right) < N+ \epsilon\quad\text{et si}\quad A_n= \sum_{k=1}^n a_n,\;\text{alors}\;(1)\quad A_n < \exp \big(\lambda_n(N + \epsilon)\big)
La méthode consiste à montrer que la série de Dirichlet converge au point s = N + 2.ε en appliquant encore le critère de Cauchy. Soit p et q deux entiers tels que n0 < q < . La transformation d'Abel montre les majorations :
\left|\sum_{k=p}^q a_k e^{-\lambda_k s}\right|= \left|\sum_{k=p}^{q-1}A_k(e^{-\lambda_kx}-e^{-\lambda_{k+1}x}) - A_{p-1}e^{-\lambda_px}+ A_qe^{-\lambda_qx}\right|
La majoration (1) montre que :
\left|\sum_{k=p}^q a_k e^{-\lambda_k s}\right| < x\sum_{k=p}^{q-1} \exp\big(\lambda_k(N + \epsilon)\big)\int_{\lambda_k}^{\lambda_{k+1}}e^{-tx} \mathrm dt + \exp\big(\lambda_{p-1}(N + \epsilon)\big)e^{-\lambda_px} + \exp\big(\lambda_{q}(N + \epsilon)\big)e^{-\lambda_qx}
La définition de x, ainsi que le fait que la suite (λn) soit strictement croissante montre que :
\left|\sum_{k=p}^q a_k e^{-\lambda_k s}\right| <x\int_{\lambda_p}^{\infty} e^{-tx}\mathrm dt +2e^{-\lambda_p\epsilon}
Le terme de droite est aussi petit que souhaité, si λp et ε sont bien choisis. Le critère de Cauchy permet de conclure.
Si s0 est élément du domaine de convergence de la série de Dirichlet la partie réelle du nombre complexe est plus grande que N :
Soit M un majorant strictement positif des modules sommes partielles de la série de Dirichlet en s0. La transformation d'Abel montre que :
\forall n \in \N^* \quad \left|\sum_{i=k}^n a_k\right| = \left|\sum_{k=1}^n a_ne^{-\lambda_ks_0}e^{\lambda_ks_0}\right|\le \sum_{i=k}^{n-1}|A_k|(e^{\lambda_{k+1}\text{Re}(s_0)}-e^{\lambda_k\text{Re}(s_0)}) + |A_n|e^{\lambda_{n}\text{Re}(s_0)})
On en déduit :
\left|\sum_{i=k}^n a_k\right|\le M \left(e^{\lambda_{n}\text{Re}(s_0)}+\sum_{k=1}^{n-1} e^{\lambda_{k+1}\text{Re}(s_0)}-e^{\lambda_k\text{Re}(s_0)}\right)\le 2.Me^{\lambda_{n}\text{Re}(s_0)}
Ce qui montre que :
\forall n \in \N^*\quad \text{Re}(s_0) \ge \frac 1{\lambda_{n}}\left(\ln\left(\left|\sum_{i=k}^n a_k\right|\right) - \ln (2M)\right)
La partie entière de s0 est bien plus grande que N, ce qui termine la démonstration.

Abscisse de convergence absolue

De même il y a un domaine de convergence absolue DAC et une abscisse de convergence absolue Aac. Les deux abscisses sont liées par les inégalités

A_c\leq A_{ac}\leq A_c+1

Voici deux exemples de résultats sur les abscisses de convergence et de convergence absolue :

  • Si l'ensemble des sommes a_n + a_{n + 1} + \ldots + a_{n + k}\, est borné pour n et k ≥ 0, alors la série converge sur le demi-plan ouvert de s tel que Re(s) > 0.

Exemples de décompositions en série de Dirichlet

\frac{1}{\zeta(s)}=\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s}

où \mu(n)\, est la fonction de Möbius,

\frac{\zeta(s-1)}{\zeta(s)}=\sum_{n=1}^{\infty} \frac{\varphi(n)}{n^s}

où \varphi(n)\, est l'indicatrice d'Euler, et

\zeta(s) \zeta(s-a)=\sum_{n=1}^{\infty} \frac{\sigma_{a}(n)}{n^s}
\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}

où \sigma_a(n)\, est la fonction diviseur

Propriétés analytiques des séries de Dirichlet

Soit une suite {a_n}_{(n \in \mathbb{N})}\, de nombres complexes, nous essayons d'examiner la valeur de

f(s) = \sum_{n=1}^\infty \frac{a_n}{n^s}

comme une fonction de la variable complexe s. Pour que cela prenne un sens, nous avons besoin d'examiner les propriétés de convergence de la série ci-dessus.

Propriétés de la fonction somme

Théorème — La fonction f est une fonction analytique sur le demi-plan ouvert de convergence.

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 :

Théorème — La fonction zêta possède un prolongement méromorphe sur \mathbb{C}\ avec un unique pôle à 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 la fonction zêta.

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. 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.

Article détaillé : Histoire de la fonction zêta de Riemann.

Annexes

Notes et références

  1. ↑ (de) Dirichlet, Beweis eines Satzes über die arithmetische Progression, Bericht über die Verhandlungen der Königlich Preussischen Akademie der Wissenschaften, 1837, p. 108-110
  2. ↑ M. Blambert, Sur l'abscisse de convergence simple des séries de Dirichlet générales, Ann. Inst. Fourier, Grenoble 14 2 (1964) p. 509-518
  3. ↑ Selon cette définition, la série entière est nulle en 0.
  4. ↑ a et b Vesselin Petkov et Alain Yger, Singularités analytiques des séries de Dirichlet de l'Université de Bordeaux (2001) p. 4
  5. ↑ V. Petkov et A. Yger, op. cit., p. 8
  6. ↑ V. Petkov et A. Yger, op. cit., p. 7

Bibliographie

  • (en) Apostol, Modular functions and Dirichlet series in number theory, Graduate texts in mathematics 41, Springer, 1990
  • Bernstein, Leçons sur les progrès récents de la théorie des séries de Dirichlet, 1933
  • (en) Hardy & Riesz, The general theory of Dirichlet's series, Cambridge tracts in mathematics, 1915
  • Mandelbrojt, Séries de Dirichlet. Principes et méthodes, Gauthier-Villars, Paris, 1969

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Série de Dirichlet de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Serie de Dirichlet — Série de Dirichlet 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. En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie… …   Wikipédia en Français

  • Série de dirichlet — 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. En mathématiques, une série de Dirichlet est une série f(s) de fonctions, définie sur l ensemble des… …   Wikipédia en Français

  • Serie de Dirichlet — En matemáticas, una serie de Dirichlet es toda serie del tipo donde s y an, n = 1, 2, 3, ... son números complejos. Las series de Dirichlet juegan un número importante de roles en la teoría analítica de números. La definición más popularizada de… …   Wikipedia Español

  • DIRICHLET (P. G. LEJEUNE-) — Avec son ami et contemporain Jacobi et son cadet de quelques années Kummer, Dirichlet constitue la première génération des mathématiciens allemands après Gauss, dont naturellement ils subissent très fortement l’influence; mais, alors que celui ci …   Encyclopédie Universelle

  • Série numérique — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini …   Wikipédia en Français

  • Série semi-convergente — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini …   Wikipédia en Français

  • Dirichlet (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Johann Peter Gustav Lejeune Dirichlet est un mathématicien allemand du XIXe siècle dont le travail est surtout en théorie des nombres. Arithmétique… …   Wikipédia en Français

  • Dirichlet (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Johann Peter Gustav Lejeune Dirichlet est un mathématicien allemand du XIXe siècle dont le travail est surtout en théorie des nombres. Arithmétique… …   Wikipédia en Français

  • Série (mathématiques) — Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme pour une succession infinie de termes. L étude des séries consiste à évaluer la somme d un nombre fini n de termes successifs,… …   Wikipédia en Français

  • Dirichlet — Johann Peter Gustav Lejeune Dirichlet Pour les articles homonymes, voir Dirichlet (homonymie). Johann Peter Gustav Lejeune Dirichlet Johann Peter Gustav Lejeune Dirichlet ( …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”