Série zêta rationnelle

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, une série zêta rationnelle est la représentation d'un nombre réel arbitraire en termes d'une série constituée de nombres rationnels et de la fonction zêta de Riemann ou de la fonction zêta de Hurwitz. Plus précisément, pour un nombre réel donné x, la série zêta rationnelle pour x est donnée par

qn est un nombre rationnel, la valeur m reste fixée et ζ(s, m) est la fonction zêta de Hurwitz. Il n'est pas difficile de montrer que tout nombre réel x peut être développé de cette manière. Pour m entier, on a

Pour m = 2, beaucoup de nombres intéressants ont une expression simple sous forme de série zêta rationnelle :

et

γ est la constante d'Euler-Mascheroni. Il existe aussi une série pour π :

et

qui est remarquable par sa convergence rapide. Cette dernière série se déduit de l'identité générale

qui peut être transformée à partir de la fonction génératrice des nombres de Bernoulli

Adamchik et Srivastava donnent une série similaire :

Séries reliées à la fonction polygamma[modifier | modifier le code]

Un nombre de relations supplémentaires peuvent être déduites à partir des séries de Taylor pour la fonction polygamma ψ(m) au point z = 1, qui est

Ceci converge pour |z| < 1. Un cas particulier est

valide pour |t| < 2. Ici, ψ est la fonction digamma et ψ(m) est la fonction polygamma d'ordre m. Beaucoup de séries impliquant les coefficient binomiaux peuvent s'en déduire :

ν est un nombre complexe. Ceci est issu du développement en série de la fonction zêta de Hurwitz

pris en y = −1. Des séries similaires peuvent être obtenues par simple calcul algébrique :

et

Pour n entier naturel, la série

peut être écrite comme une série finie

Ceci se déduit d'une simple relation de récurrence Sn + Sn+1 = ζ(n + 2). Ensuite, la série

peut être écrite sous la forme

pour tout entier n ≥ 1. Ceci se déduit de l'identité Tn + Tn+1 = Sn. Ce processus peut être appliqué récursivement pour obtenir des séries finies pour les expressions générales de la forme

pour les nombres entiers positifs m.

Séries entières aux points demi-entiers[modifier | modifier le code]

Des séries similaires peuvent être obtenues en explorant la fonction zêta de Hurwitz pour les valeurs demi-entières. Ainsi, par exemple, on a

Expressions sous la forme de séries hyperharmoniques[modifier | modifier le code]

Adamchik et Srivastava donnent

et

où les Bk sont les nombres de Bernoulli et les S(m, k) sont les nombres de Stirling de deuxième espèce.

Autres séries[modifier | modifier le code]

D'autres constantes ont des séries zêta rationnelles remarquables, comme la constante de Khinchin ou la constante d'Apéry.

Références[modifier | modifier le code]