title: Formule sommatoire d'Abel
text: # Formule sommatoire d'Abel
  
  En mathématiques, la formule sommatoire d'Abel, nommée d'après son auteur Niels Henrik Abel, est une formule utilisée intensivement en théorie analytique des nombres. Elle sert à calculer des séries numériques.
  
  ## Énoncé
  
  Soient $(a_{n})_{n\in \mathbb {N} ^{*}}$ une suite de nombres réels ou complexes et $\varphi$ une fonction réelle ou complexe de classe $C^1.$
  
  On pose
  
  $A(x)=\sum _{1\leq n\leq x}{a_{n}}.$
  
  Alors, pour tout réel x,
  
  $\sum _{1\leq n\leq x}a_{n}\varphi (n)=A(x)\varphi (x)-\int _{1}^{x}A(u)\varphi '(u)\,\mathrm {d} u$
  
  ## Démonstration
  
  Il s'agit d'une intégration par parties dans une intégrale de Stieltjes, mais ce cas particulier peut se démontrer directement.
  
  La fonction A est nulle sur ]–∞, 1[ donc si x < 1, l'équation se résume à 0 = 0.
  
  Supposons désormais x ≥ 1 et notons N ≥ 1 sa partie entière (donc A(x) = A(N)). La formule de sommation par parties donne :
  
  ${\begin{aligned}\sum _{1\leq n\leq x}{a_{n}\varphi (n)}-A(x)\varphi (x)&=A(N)\varphi (N)-\sum _{n=1}^{N-1}A(n){\big\varphi (n+1)-\varphi (n){\big )}-A(x)\varphi (x)\\&=-\sum _{n=1}^{N-1}A(n){\big\varphi (n+1)-\varphi (n)){\big )}-A(N){\big\varphi (x)-\varphi (N){\big )}\\&=-\sum _{n=1}^{N-1}\int _{n}^{n+1}A(u)\varphi '(u)\mathrm {d} u-\int _{N}^{x}A(u)\varphi '(u)\,\mathrm {d} u\\&=-\int _{1}^{x}A(u)\varphi '(u)\mathrm {d} u.\end{aligned}}$
  
  ## Exemples
  
  ### Série des entiers
  
  En utilisant astucieusement la formule, on peut calculer des sommes et retrouver des résultats usuels. Par exemple, pour $a_{n}=1$ et $\varphi (u)=u$, en prenant x = N entier, on trouve (pour tout réel x ≥ 1, ou même x > 0) :
  
  ${\begin{aligned}\sum _{1\leq n\leq N}n=\lfloor N\rfloor N-\int _{1}^{N}\lfloor u\rfloor \mathrm {d} u&=N^{2}-\int _{1}^{N}\lfloor u\rfloor \mathrm {d} u=N^{2}-(N-1)\times {\frac {1}{2}}={\frac {N(N+1)}{2}}\\&=N^{2}-\int _{1}^{N}(u-\{u\})\mathrm {d} u=N^{2}-\int _{1}^{N}u\,\mathrm {d} u+\int _{1}^{N}\{u\}\,\mathrm {d} u\\&=N^{2}-{\frac {N^{2}-1}{2}}+(N-1)\times {\frac {1}{2}}\\&={\frac {N(N+1)}{2}}.\end{aligned}}$
  
  On reconnait ici la formule des nombres triangulaires.
  
  ### Constante d'Euler-Mascheroni
  
  Pour $a_{n}=1$ et $\varphi (u)=1/u$, en notant $\lfloor x\rfloor$ la partie entière de x, on trouve (pour tout réel x ≥ 1, ou même x > 0) :
  
  $\sum _{1\leq n\leq x}{\frac {1}{n}}={\frac {\lfloor x\rfloor }{x}}+\int _{1}^{x}{{\frac {\lfloor u\rfloor }{u^{2}}}\mathrm {d} u}$
  
  dont on déduit une expression intégrale de la constante d'Euler-Mascheroni :
  
  $\gamma =1-\int _{1}^{\infty }\ {\frac {x-\lfloor x\rfloor }{x^{2}}}\,{\rm {d}}x$
  
  ### Séries de Dirichlet
  
  Pour toute série de Dirichlet classique
  
  $f(s)=\sum _{n=1}^{+\infty }{\frac {a_{n}}{n^{s}}}$
  
  la formule sommatoire d'Abel, appliquée à $\varphi (u)=u^{-s}$, montre que pour tout nombre complexe s de partie réelle strictement supérieure à 0 et à l'abscisse de convergence de la série :
  
  $f(s)=s\int _{1}^{\infty }{\frac {A(u)}{u^{1+s}}}\mathrm {d} u$
  
  Ci-dessous, deux exemples. On en trouvera un autre dans l'article « Fonction de von Mangoldt ».
  
  **Fonction zêta de Riemann**
  
  Pour $a_{n}=1$ on obtient :
  
  $\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=s\int _{1}^{\infty }{\frac {\lfloor u\rfloor }{u^{1+s}}}\,\mathrm {d} u={\frac {s}{s-1}}-s\int _{1}^{\infty }{\frac {\{u\}}{u^{1+s}}}\,\mathrm {d} u$
  
  Cette formule est valable pour Re(s) > 1. On en déduit notamment le théorème de Dirichlet selon lequel la fonction zêta de Riemann ζ(s) admet un pôle simple de résidu 1 en s = 1.
  
  **Inverse de la fonction zêta de Riemann**
  
  Pour $a_{n}=\mu (n)$ (la fonction de Möbius) :
  
  $\sum _{1}^{\infty }{\frac {\mu (n)}{n^{s}}}=s\int _{1}^{\infty }{{\frac {M(u)}{u^{1+s}}}\,\mathrm {d} u}$
  
  Cette formule est valable pour Re(s) > 1. Le symbole M désigne la fonction de Mertens, définie par
  
      $M(u)=\sum _{1\leq n\leq u}{\mu (n)}$.
  
  ## Note
  
  * ↑ C'est un cas particulier d'une propriété des séries de Dirichlet générales qui se démontre de la même façon.
  