Méthode de Rice

En mathématiques, la méthode de Rice (aussi appelée intégrale de Nørlund-Rice) relie la n-ième différence finie d'une fonction à une intégrale curviligne dans le plan complexe. Comme telle, elle apparait souvent dans la théorie des différences finies, et trouve des applications en informatique et en théorie des graphes pour estimer des longueurs d'arbre binaire. Elle est ainsi appelée en l'honneur de Niels Erik Nørlund et de Modèle:Lien. La contribution de Nørlund fut de définir l'intégrale, tandis que la contribution de Rice a consisté à illustrer son utilité en l'évaluant par la méthode du point col.

Définition

La n-ième différence finie avant de la fonction Modèle:Math est donnée par

${\mathrm{\Delta }}^n[f](x)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})(-1{)}^{n-k}f(x+k)$

où $(\genfrac{}{}{0ex}{}{n}{k})$ est le coefficient binomial.

L'intégrale de Nørlund-Rice est donnée par

$\sum _{k=\alpha }^n(\genfrac{}{}{0ex}{}{n}{k})(-1{)}^{n-k}f(k)=\frac{n!}{2\pi \mathrm{i}}{\oint }_{\gamma }\frac{f(z)}{z(z-1)(z-2)\cdots (z-n)}\mathrm{d}z$

où Modèle:Mvar est méromorphe, α est un entier, $0\le \alpha \le n$, et le contour d'intégration entoure les pôles situées aux entiers α, … , n, mais aucun des pôles de Modèle:Mvar. L'intégrale peut aussi s'écrire sous la forme

$\sum _{k=\alpha }^n(\genfrac{}{}{0ex}{}{n}{k})(-1{)}^{k}f(k)=-\frac{1}{2\pi \mathrm{i}}{\oint }_{\gamma }\mathrm{B}(n+1,-z)f(z)\mathrm{d}z$

où Modèle:Math est la fonction bêta d'Euler. Si la fonction Modèle:Math est polynomialement bornée sur la droite du plan complexe, alors le contour peut être étendu à l'infini à droite, ce qui donne la formule suivante

$\sum _{k=\alpha }^n(\genfrac{}{}{0ex}{}{n}{k})(-1{)}^{n-k}f(k)=\frac{-n!}{2\pi \mathrm{i}}\underset{c-i\mathrm{\infty }}{\overset{c+i\mathrm{\infty }}{\int }}\frac{f(z)}{z(z-1)(z-2)\cdots (z-n)}\mathrm{d}z$

où la constante c est à la gauche de α.

Le cycle Poisson-Mellin-Newton

Le cycle Poisson-Mellin-Newton, remarqué par Philippe Flajolet et al. en 1985, est l'observation que la ressemblance de l'intégrale de Nørlund-Rice avec la transformée de Mellin n'est que le reflet d'une transformation binomiale et d'une série de Newton. Dans ce cycle, soit $\{f_n\}$ une suite, et soit Modèle:Math la série génératrice de Poisson correspondante, c'est-à-dire

$g(t)={\mathrm{e}}^{-t}\sum _{n=0}^{\mathrm{\infty }}{f}_n{t}^n.$

En prenant sa transformée de Mellin

$\varphi (s)=\underset{0}{\overset{\mathrm{\infty }}{\int }}g(t)t^{s-1}\mathrm{d}t,$

on peut retrouver la suite d'origine au moyen de l'intégrale de Nørlund-Rice :

$f_n=\frac{(-1{)}^n}{2\pi \mathrm{i}}\underset{\gamma }{\int }\frac{\varphi (s)}{\mathrm{\Gamma }(-s)}\frac{n!}{s(s-1)\cdots (s-n)}\mathrm{d}s$

où Modèle:Math est la fonction gamma.

Moyenne de Riesz

Une intégrale intimement reliée à cette discussion apparaît dans les moyennes de Riesz. On peut en un sens dire qu'elles sont reliées à l'intégrale de Nørlund-Rice de la même façon que la formule de Perron est relié à la transformée de Mellin : plutôt que manipuler une série infinie, cela manipule une série finie.

Utilité

La représentation intégrale de ces séries est intéressante car l'intégrale peut souvent être évaluée en utilisant un développement asymptotique ou une méthode du point col ; à l'inverse, la différence finie peut être extrêmement difficile à évaluer numériquement, car les coefficients binomiaux croissent rapidement pour de grande valeur de n.

Références

• Modèle:De Niels Erik Nörlund, Vorlesungen uber Differenzenrechnung, 1954, Chelsea Publishing Company, New York.
• Modèle:Knuth-TAOCPVol3
• Modèle:En Philippe Flajolet et Robert Sedgewick, « Modèle:Lien brisé », Theoretical Computer Science, vol. 144, 1995, Modèle:P..
• Modèle:En Peter Kirschenhofer, « A Note on Alternating Sums », Electronic Journal of Combinatorics, vol. 3, Modèle:N°, 1996, article 7.