Master theorem de Ramanujan

Modèle:Titre mis en forme Modèle:Confusion En mathématiques, le « master theorem » de Ramanujan (littéralement, « théorème maître », dû à Srinivasa Ramanujan, et trouvé dans ses carnets après sa mort) est une technique produisant une forme explicite de la transformée de Mellin d'une fonction analytique.

Une page du carnet de Ramanujan où est énoncé le master theorem.

Énoncé du théorème

Sous des hypothèses qui ont été précisées par Hardy, et qui sont toujours vérifiées pour les applications qu'en fait Ramanujan, le théorème est le suivant : Modèle:Théorème

Ramanujan l'a fréquemment utilisé pour calculer des intégrales définies et des séries entières.

Autres formes du théorème

Une autre forme du master theorem est :

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}(\lambda (0)-x\lambda (1)+x^2\lambda (2)-\cdots )dx=\frac{\pi }{\sin (\pi s)}\lambda (-s)$

qui revient à la précédente par la substitution $\lambda (n)=\frac{\varphi (n)}{\mathrm{\Gamma }(1+n)}$, en utilisant l'équation fonctionnelle de la fonction gamma.

L'intégrale précédente est convergente pour $0<\mathrm{Re}(s)<1$ (si $\varphi$ vérifie des conditions de croissance convenables).

Un résultat analogue avait été obtenu par J. W. L. Glaisher en 1874, mais n'avait guère attiré d'attention.

Démonstration de Hardy

Le théorème est faux en général ; une démonstration sous des hypothèses « naturelles » (mais qui ne sont pas les plus faibles nécessaires) fut donnée par Godfrey Harold Hardy, utilisant le théorème des résidus et le Modèle:Lien.

Les hypothèses les plus simples pour la démonstration sont en effet celles-ci :

• pour $|x|<a\le 1,f(x)=\sum _{k=0}^{\mathrm{\infty }}\frac{\varphi (k)}{k!}(-x{)}^k$

• $\varphi (-s)$ est analytique pour $\mathrm{\Re }(s)<\epsilon$

• $\mathrm{\Gamma }(s)\varphi (-s)$ a une décroissance exponentielle sur la droite verticale $\mathrm{\Re }(s)=\epsilon /2$

• $\underset{R\to \mathrm{\infty }}{\lim }\underset{|s|=R,\mathrm{\Re }(s)<\epsilon /2}{\int }\mathrm{\Gamma }(s)\varphi (-s)ds=0$

Pour $x>0$ soit $g(x)=\frac{1}{2\mathrm{i}\pi }\underset{\mathrm{\Re }(s)=\epsilon /2}{\int }\mathrm{\Gamma }(s)\varphi (-s)x^{-s}\mathrm{d}s$. La décroissance exponentielle de $\mathrm{\Gamma }(s)\varphi (-s)$ implique que g est analytique sur $]0,\mathrm{\infty }[$.

De plus le théorème des résidus donne que pour $x\in ]0,a[$, $g(x)=\sum _{k=0}^{\mathrm{\infty }}\text{Res}(\mathrm{\Gamma }(s)\varphi (-s)x^{-s},-k)=\sum _{k=0}^{\mathrm{\infty }}\text{Res}(\mathrm{\Gamma }(s),-k)\varphi (k)x^k=f(x)$. Donc g est en fait le prolongement analytique de f.

Enfin comme

$g(x)x^{\epsilon /2}$

est bornée, par inversion de Mellin, on a :

$\mathrm{\Gamma }(s)\varphi (-s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}g(x)x^{s-1}\mathrm{d}x$ pour $\mathrm{\Re }(s)\in ]0,\epsilon /2[$.

Exemples

Application à la fonction zêta de Hurwitz

La série génératrice des polynômes de Bernoulli $B_k(x)$ est :

$\frac{z{\mathrm{e}}^{xz}}{{\mathrm{e}}^z-1}=\sum _{k=0}^{\mathrm{\infty }}{B}_k(x)\frac{z^k}{k!}$

Utilisant la fonction zêta de Hurwitz $\zeta (s,a)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{(n+a{)}^s}$, on a $\zeta (1-n,a)=-\frac{B_n(a)}{n}$ pour $n\ge 1$.

Le master theorem permet alors d'obtenir la représentation intégrale :

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}(\frac{{\mathrm{e}}^{-ax}}{1-{\mathrm{e}}^{-x}}-\frac{1}{x})\mathrm{d}x=\mathrm{\Gamma }(s)\zeta (s,a)$, si $0<\mathrm{Re}(s)<1$.

Application à la fonction gamma

En utilisant la définition de Weierstrass :

$\mathrm{\Gamma }(x)=\frac{{\mathrm{e}}^{-\gamma x}}{x}\prod _{n=1}^{\mathrm{\infty }}{(1+\frac{x}{n})}^{-1}{\mathrm{e}}^{x/n}$,

équivalente à

$\ln \mathrm{\Gamma }(1+x)=-\gamma x+\sum _{k=2}^{\mathrm{\infty }}\frac{\zeta (k)}{k}(-x{)}^k$ (où $\zeta (k)$ est la fonction zêta de Riemann), le master theorem donne alors :

$\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{s-1}\frac{\gamma x+\ln \mathrm{\Gamma }(1+x)}{x^2}\mathrm{d}x=\frac{\pi }{\sin (\pi s)}\frac{\zeta (2-s)}{2-s}$ (pour $0<\mathrm{Re}(s)<1$).

En particulier, pour $s=\frac{1}{2}$ et $s=\frac{3}{4}$, on obtient

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\gamma x+\ln \mathrm{\Gamma }(1+x)}{x^{5/2}}\mathrm{d}x=\frac{2\pi }{3}\zeta \left(\frac{3}{2}\right)$

$\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{\gamma x+\ln \mathrm{\Gamma }(1+x)}{x^{9/4}}\mathrm{d}x=\sqrt{2}\frac{4\pi }{5}\zeta \left(\frac{5}{4}\right)$,

résultats hors de portée de logiciels de calcul formel tels que Mathematica 7.

Généralisations

Des versions de ce théorème en dimensions supérieures apparaissent en physique quantique (par le biais de diagrammes de Feynman).

Liens externes

• Modèle:MathWorld
• Modèle:En Une présentation du master theorem et de ses applications, sur le site de Armin Straub.