Formule sommatoire d'Abel
De Wikipédia, l'encyclopédie libre
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é
Résumé
Contexte
Soient une suite de nombres réels ou complexes et une fonction réelle ou complexe de classe C1.
On pose
Alors, pour tout réel x,
Démonstration
Résumé
Contexte
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 :
Exemples
Résumé
Contexte
Série des entiers
En utilisant astucieusement la formule, on peut calculer des sommes et retrouver des résultats usuels. Par exemple, pour et , en prenant x = N entier, on trouve (pour tout réel x ≥ 1, ou même x > 0) :
On reconnait ici la formule des nombres triangulaires.
Constante d'Euler-Mascheroni
Pour et , en notant la partie entière de x, on trouve (pour tout réel x ≥ 1, ou même x > 0) :
dont on déduit une expression intégrale de la constante d'Euler-Mascheroni :
Séries de Dirichlet
Pour toute série de Dirichlet classique
la formule sommatoire d'Abel, appliquée à , montre que pour tout nombre complexe s de partie réelle strictement supérieure à 0 et à l'abscisse de convergence de la série[1] :
Ci-dessous, deux exemples. On en trouvera un autre dans l'article « Fonction de von Mangoldt ».
Fonction zêta de Riemann
Pour on obtient :
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 (la fonction de Möbius) :
Cette formule est valable pour Re(s) > 1. Le symbole M désigne la fonction de Mertens, définie par
- .
Note
Wikiwand - on
Seamless Wikipedia browsing. On steroids.