Méthode de Rice

outil mathématique

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

La n-ième différence finie avant de la fonction f(x) est donnée par

 

  est le coefficient binomial.

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

 

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

 

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

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 :

 

Γ est la fonction gamma.

Moyenne de Riesz modifier

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

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

Voir aussi modifier

Table de séries de Newton (en)