Nørlund–Rice integral

(Redirected from Nörlund–Rice integral)

In mathematics, the Nørlund–Rice integral, sometimes called Rice's method, relates the nth forward difference of a function to a line integral on the complex plane. It commonly appears in the theory of finite differences and has also been applied in computer science and graph theory to estimate binary tree lengths. It is named in honour of Niels Erik Nørlund and Stephen O. Rice. Nørlund's contribution was to define the integral; Rice's contribution was to demonstrate its utility by applying saddle-point techniques to its evaluation.

Definition

edit

The nth forward difference of a function f(x) is given by

 

where   is the binomial coefficient.

The Nörlund–Rice integral is given by

 

where f is understood to be meromorphic, α is an integer,  , and the contour of integration is understood to circle the poles located at the integers α, ..., n, but encircles neither integers 0, ...,   nor any of the poles of f. The integral may also be written as

 

where B(a,b) is the Euler beta function. If the function   is polynomially bounded on the right hand side of the complex plane, then the contour may be extended to infinity on the right hand side, allowing the transform to be written as

 

where the constant c is to the left of α.

Poisson–Mellin–Newton cycle

edit

The Poisson–Mellin–Newton cycle, noted by Flajolet et al. in 1985, is the observation that the resemblance of the Nørlund–Rice integral to the Mellin transform is not accidental, but is related by means of the binomial transform and the Newton series. In this cycle, let   be a sequence, and let g(t) be the corresponding Poisson generating function, that is, let

 

Taking its Mellin transform

 

one can then regain the original sequence by means of the Nörlund–Rice integral (see References "Mellin, seen from the sky"):

 

where Γ is the gamma function which cancels with the gamma from Ramanujan's Master Theorem.

Riesz mean

edit

A closely related integral frequently occurs in the discussion of Riesz means. Very roughly, it can be said to be related to the Nörlund–Rice integral in the same way that Perron's formula is related to the Mellin transform: rather than dealing with infinite series, it deals with finite series.

Utility

edit

The integral representation for these types of series is interesting because the integral can often be evaluated using asymptotic expansion or saddle-point techniques; by contrast, the forward difference series can be extremely hard to evaluate numerically, because the binomial coefficients grow rapidly for large n.

See also

edit

References

edit