ネールント–ライス積分

数学におけるネールント–ライス積分（ネールント・ライスせきぶん、）またはときにライス法 ("Rice's method") は、函数の -階前進差分を複素数平面上の線積分に関連付ける。そのようなものは、有限差分の理論に広く現れ、また二分木の長さを評価するものとして計算機科学およびグラフ理論においても応用される。名称はとに因む。ネールントの貢献はこの積分を定義したこと、ライスの貢献はその値の評価にを適用するのが有効であることを示したことである。
定義.
函数 の -階前進差分は formula_1 で与えられる（formula_2 は二項係数）。
有理型函数 のネールント–ライス積分は formula_3 で与えられる。ただし、 は なる整数とし、右辺の周回積分路は整数 の位置にある極を囲むが、整数 を囲まず の極の何れにもならないものとする。オイラーのベータ函数 を用いれば、この積分は formula_4 とも書き直せる。
函数 が右半複素数平面上で多項式で抑えられる (polynomially bounded) ならば、積分路を右半平面の無限遠点まで拡張することができて、変換式を formula_5 と書き直せる。ここに定数 は の左側にある。
ポワソン–メリン–ニュートン循環.
の注意するところによれば、ポワソン–メリン–ニュートン循環 (Poisson–Mellin–Newton cycle) は、ネールント–ライス積分がメリン変換に似ているのは偶然のことではなく、との意味で関係することを見るものである。 この循環において、数列 に対応するポワソン母函数 formula_6 に対し、そのメリン変換 formula_7 をとるとき、ネールント–ライス積分 formula_8 の意味でもともとの数列が回復できる。ただし はガンマ函数である。
リース平均.
リース平均の議論において近い関連を持つ積分がしばしば生じる。ごく粗く述べれば、ペロンの公式がメリン変換に関係するのと同じ仕方で（無限級数を扱う代わりに有限級数を扱って）、リース平均にネールント–ライス積分が関係する。
有用性.
これら種類の級数に対する積分表示に興味がもたれるのは、積分が漸近展開やで評価できることが多いためである。対照的に、前進差分級数は、二項係数が が大きくなれば急激に増大するため、数値的評価が極めて難しい。