ネールント–ライス積分

数学におけるネールント–ライス積分（ネールント・ライスせきぶん、英: Nörlund–Rice integral）またはときにライス法 (Rice's method) は、函数の n-階前進差分を複素数平面上の線積分に関連付ける。そのようなものは、有限差分の理論に広く現れ、また二分木の長さを評価するものとして計算機科学およびグラフ理論においても応用される。名称はニールス・エリク・ネールント（英語版）とステファン・オズワルド・ライス（英語版）に因む。ネールントの貢献はこの積分を定義したこと、ライスの貢献はその値の評価に鞍点法（英語版）を適用するのが有効であることを示したことである。 函数 f の n-階前進差分は Δ n [ f ] ( x ) = ∑ k = 0 n ( n k ) ( − 1 ) n − k f ( x + k ) {\textstyle \Delta ^{n}[f](x)=\sum _{k=0}^{n}{n \choose k}(-1)^{n-k}f(x+k)} で与えられる（ ( n k ) {\textstyle {n \choose k}} は二項係数）。 有理型函数 f のネールント–ライス積分は ∑ k = α n ( n k ) ( − 1 ) n − k f ( k ) = n ! 2 π i ∮ γ f ( z ) z ( z − 1 ) ( z − 2 ) ⋯ ( z − n ) d z {\displaystyle \sum _{k=\alpha }^{n}{n \choose k}(-1)^{n-k}f(k)={\frac {n!}{2\pi i}}\oint _{\gamma }{\frac {f(z)}{z(z-1)(z-2)\cdots (z-n)}}{\mathit {dz}}} で与えられる。ただし、α は 0 ≤ α ≤ n なる整数とし、右辺の周回積分路は整数 α, …, n の位置にある極を囲むが、整数 0, …, α − 1 を囲まず f の極の何れにもならないものとする。オイラーのベータ函数 Β(a, b) を用いれば、この積分は ∑ k = α n ( n k ) ( − 1 ) k f ( k ) = − 1 2 π i ∮ γ B ( n + 1 , − z ) f ( z ) d z {\displaystyle \sum _{k=\alpha }^{n}{n \choose k}(-1)^{k}f(k)=-{\frac {1}{2\pi i}}\oint _{\gamma }B(n+1,-z)f(z){\mathit {dz}}} とも書き直せる。 函数 f(z) が右半複素数平面上で多項式で抑えられる (polynomially bounded) ならば、積分路を右半平面の無限遠点まで拡張することができて、変換式を ∑ k = α n ( n k ) ( − 1 ) n − k f ( k ) = − n ! 2 π i ∫ c − i ∞ c + i ∞ f ( z ) z ( z − 1 ) ( z − 2 ) ⋯ ( z − n ) d z {\displaystyle \sum _{k=\alpha }^{n}{n \choose k}(-1)^{n-k}f(k)={\frac {-n!}{2\pi i}}\int _{c-i\infty }^{c+i\infty }{\frac {f(z)}{z(z-1)(z-2)\cdots (z-n)}}{\mathit {dz}}} と書き直せる。ここに定数 c は α の左側にある。 Flajolet, Sedgewick & Regnie (1985)の注意するところによれば、ポワソン–メリン–ニュートン循環 (Poisson–Mellin–Newton cycle) は、ネールント–ライス積分がメリン変換に似ているのは偶然のことではなく、二項変換（英語版）とニュートン級数（英語版）の意味で関係することを見るものである。 この循環において、数列 {fn} に対応するポワソン母函数 g ( t ) = e − t ∑ n = 0 ∞ f n t n {\textstyle g(t)=e^{-t}\sum _{n=0}^{\infty }f_{n}t^{n}} に対し、そのメリン変換 φ ( s ) = ∫ 0 ∞ g ( t ) t s − 1 d t {\textstyle \varphi (s)=\int _{0}^{\infty }g(t)t^{s-1}{\mathit {dt}}} をとるとき、ネールント–ライス積分 f n = ( − 1 ) n 2 π i ∫ γ ϕ ( s ) Γ ( − s ) n ! s ( s − 1 ) ⋯ ( s − n ) d s {\displaystyle f_{n}={\frac {(-1)^{n}}{2\pi i}}\int _{\gamma }{\frac {\phi (s)}{\Gamma (-s)}}{\frac {n!}{s(s-1)\cdots (s-n)}}{\mathit {ds}}} の意味でもともとの数列が回復できる。ただし Γ はガンマ函数である。 リース平均の議論において近い関連を持つ積分がしばしば生じる。ごく粗く述べれば、ペロンの公式がメリン変換に関係するのと同じ仕方で（無限級数を扱う代わりに有限級数を扱って）、リース平均にネールント–ライス積分が関係する。 これら種類の級数に対する積分表示に興味がもたれるのは、積分が漸近展開や鞍点法（英語版）で評価できることが多いためである。対照的に、前進差分級数は、二項係数が n が大きくなれば急激に増大するため、数値的評価が極めて難しい。 [脚注の使い方] ^ Flajolet, Philippe; Sedgewick, Robert; Regnie, Mireille (1985), Some uses of the Mellin integral transform in the analysis of algorithms, https://hal.archives-ouvertes.fr/inria-00076158/document  ^ Flajolet & Sedgewick 1995. Nørlund, Niels Erik (1954), Vorlesungen uber Differenzenrechnung, New York: Chelsea Publishing Company  Knuth, Donald E. (1973). The Art of Computer Programming. Addison-Wesley  Flajolet, Philippe; Sedgewick, Robert (1995), “Mellin transforms and asymptotics: Finite differences and Rice’s integrals”, Theoretical Computer Science 144: 101-124, doi:10.1016/0304-3975(94)00281-M  Kirschenhofer, Peter (1996), A Note on Alternating Sums, , The Electronic Journal of Combinatorics 3 (2, article 7)  ニュートン級数の一覧（英語版） 表示 編集