Moyenne de Riesz

En mathématiques, les moyennes de Riesz sont certaines moyennes des termes d'une série. Elles ont été introduites par Marcel Riesz en 1911 comme une amélioration de la moyenne de CesàroModèle:,. Les moyennes de Riesz ne doivent pas être confondues avec Modèle:Lien ni avec les moyennes fortes de Riesz.

Définition

La moyenne de Riesz d'une série de terme général $s_n$ est définie par :

$s^{\delta }(\lambda )=\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }{s}_n$

et sa moyenne de Riesz généralisée est définie par :

$R_n=\frac{1}{{\lambda }_n}\sum _{k=0}^n({\lambda }_k-{\lambda }_{k-1}{)}^{\delta }{s}_k,$

où $({\lambda }_n)$ est une suite arbitraire telle que ${\lambda }_n\to \mathrm{\infty }$ et ${\lambda }_{n+1}/{\lambda }_n\to 1$ quand $n\to \mathrm{\infty }$.

Les moyennes de Riesz sont souvent utilisées pour explorer la sommabilité des séries ; les théorèmes de sommabilité usuels traitent du cas de $S_n=\sum _{k=0}^n{s}_n$. Typiquement, une série est sommable lorsque la limite $\underset{n\to \mathrm{\infty }}{\lim }{R}_n$ existe, ou la limite $\underset{\delta \to 1,\lambda \to \mathrm{\infty }}{\lim }{s}^{\delta }(\lambda )$ existe, néanmoins, les théorèmes de sommabilité précis en question imposent souvent des conditions supplémentaires.

Cas particuliers

Soit $s_n=1$ quel que soit $n$. Alors

$\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }=\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\zeta (s){\lambda }^s\mathrm{d}s=\frac{\lambda }{1+\delta }+\sum _n{b}_n{\lambda }^{-n}.$

Ici, on doit prendre $c>1$ ; $\mathrm{\Gamma }$ est la fonction gamma et $\zeta$ est la fonction zêta de Riemann. On peut montrer que la série de puissances $\sum _n{b}_n{\lambda }^{-n}$ converge pour $\lambda >1$. Remarquons que l'intégrale est de la forme d'une transformée de Mellin inverse.

Un autre cas intéressant relié à la théorie des nombres survient en prenant $s_n=\mathrm{\Lambda }(n)$ où $\mathrm{\Lambda }(n)$ est la fonction de von Mangoldt. Alors

$\sum _{n\le \lambda }{(1-\frac{n}{\lambda })}^{\delta }\mathrm{\Lambda }(n)=-\frac{1}{2\pi i}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(s)}{\mathrm{\Gamma }(1+\delta +s)}\frac{{\zeta }^{\prime }(s)}{\zeta (s)}{\lambda }^s\mathrm{d}s=\frac{\lambda }{1+\delta }+\sum _{\rho }\frac{\mathrm{\Gamma }(1+\delta )\mathrm{\Gamma }(\rho )}{\mathrm{\Gamma }(1+\delta +\rho )}+\sum _n{c}_n{\lambda }^{-n}.$

De nouveau, on doit prendre $c>1$. La somme sur $\rho$ est la somme sur les zéros de la fonction zêta de Riemann, et $\sum _n{c}_n{\lambda }^{-n}$ converge pour $\lambda >1$.

Les intégrales qui apparaissent ici sont similaires à l'intégrale de Nörlund-Rice ; très grossièrement, elles peuvent être reliées à cette intégrale par la formule de Perron.