Méthode de Rice — Wikipédia
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 Stephen O. Rice (en). 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
[modifier | modifier le code]La n-ième différence finie avant de la fonction f(x) est donnée par
où est le coefficient binomial.
L'intégrale de Nørlund-Rice est donnée par
où f est méromorphe, α est un entier, , et le contour d'intégration entoure les pôles situées aux entiers α, … , n, mais aucun des pôles de f. L'intégrale peut aussi s'écrire sous la forme
où B(a,b) est la fonction bêta d'Euler. Si la fonction f(x) 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
où la constante c est à la gauche de α.
Le cycle Poisson-Mellin-Newton
[modifier | modifier le code]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 une suite, et soit g(t) la série génératrice de Poisson correspondante, c'est-à-dire
En prenant sa transformée de Mellin
on peut retrouver la suite d'origine au moyen de l'intégrale de Nørlund-Rice :
où Γ est la fonction gamma.
Moyenne de Riesz
[modifier | modifier le code]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é
[modifier | modifier le code]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
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Nørlund–Rice integral » (voir la liste des auteurs).
- (de) Niels Erik Nörlund, Vorlesungen uber Differenzenrechnung, 1954, Chelsea Publishing Company, New York.
- (en) Donald E. Knuth, The Art of Computer Programming, vol. 3 : Sorting and Searching, , 2e éd. [détail de l’édition]
- (en) Philippe Flajolet et Robert Sedgewick, « « Mellin transforms and asymptotics: Finite differences and Rice's integrals »(Archive.org • Wikiwix • Archive.is • Google • Que faire ?) », Theoretical Computer Science, vol. 144, 1995, p. 101-124.
- (en) Peter Kirschenhofer, « A Note on Alternating Sums », Electronic Journal of Combinatorics, vol. 3, no 2, 1996, article 7.