ベル多項式

組合せ数学における**ベル多項式**（ベルたこうしき、）とは、エリック・テンプル・ベルの名に因む、次の多項式で与えられる三角形配列のことである。
:B_{n,k}(x_1,x_2,\dots,x_{n-k+1})
::=\sum
\frac{n!}{\prod\limits_{i=1}^{n-k+1} j_i!}
\prod_{i=1}^{n-k+1}{\left(\frac{x_i}{i!}\right)^{j_i}}

ただしこの和は、
:\sum_{i=1}^{n-k+1} j_i = k \land \sum_{i=1}^{n-k+1} i j_i = n
を満たすすべての非負整数の列  について取られている。

## 完全ベル多項式
次の和
:B_n(x_1,\dots,x_n)=\sum_{k=1}^n B_{n,k}(x_1,x_2,\dots,x_{n-k+1})
はしばしば *n* 次**完全ベル多項式**と呼ばれる。それらと比較するために、上で定義された多項式  はしばしば「部分」ベル多項式と呼ばれる。

完全ベル多項式は次の等式を満たす。
:B_n(x_1,\dots,x_n) = \det\begin{bmatrix}
x_1 &{n-1 \choose 1} x_2 & {n-1 \choose 2}x_3 & {n-1 \choose 3} x_4 & {n-1 \choose 4} x_5 & \cdots & \cdots & x_n \\  \\
-1 & x_1 & {n-2 \choose 1} x_2 & {n-2 \choose 2} x_3 & {n-2 \choose 3} x_4 & \cdots & \cdots & x_{n-1} \\  \\
0 & -1 & x_1 & {n-3 \choose 1} x_2 & {n-3 \choose 2} x_3 & \cdots & \cdots & x_{n-2} \\  \\
0 & 0 & -1 & x_1 & {n-4 \choose 1} x_2 & \cdots  & \cdots & x_{n-3} \\  \\
0 & 0 & 0 & -1 & x_1 & \cdots & \cdots & x_{n-4} \\  \\
0 & 0 & 0 & 0 & -1 & \cdots & \cdots & x_{n-5} \\  \\
\vdots & \vdots & \vdots &  \vdots & \vdots & \ddots & \ddots & \vdots  \\  \\
0 & 0 & 0 & 0 & 0 & \cdots & -1 & x_1
\end{bmatrix}.

## 組合せ論的な意味
### 例
例えば、次が得られる。
:B_{6,2}(x_1,x_2,x_3,x_4,x_5)=6x_5x_1+15x_4x_2+10x_3^2. 
なぜならば
: 6 の集合を 5&nbsp;+&nbsp;1 に分割する方法は 6 通り
: 6 の集合を 4&nbsp;+&nbsp;2 に分割する方法は 15 通り
: 6 の集合を 3&nbsp;+&nbsp;3 に分割する方法は 10 通り
だからである。同様に
:B_{6,3}(x_1,x_2,x_3,x_4)=15x_4x_1^2+60x_3x_2x_1+15x_2^3
が得られる。なぜならば
: 6 の集合を 4&nbsp;+&nbsp;1&nbsp;+&nbsp;1 に分割する方法は 15 通り
: 6 の集合を 3&nbsp;+&nbsp;2&nbsp;+&nbsp;1 に分割する方法は 60 通り
: 6 の集合を 2&nbsp;+&nbsp;2&nbsp;+&nbsp;2 に分割する方法は 15 通り
だからである。

## 性質
* B_{n,k}(1!,2!,\dots,(n-k+1)!) = \binom{n}{k}\binom{n-1}{k-1} (n-k)!

### スターリング数
ベル多項式 *B*(*x*,*x*, …) のすべての *x* が 1 に等しいときの値は、第二種スターリング数である。すなわち
:B_{n,k}(1,1,\dots)=S(n,k)=\left\{{n\atop k}\right\}
である。

### 畳み込みの等式
数列  に対し、ある種の畳み込みを次のように定める。
:(x \diamondsuit y)_n = \sum_{j=1}^{n-1} {n \choose j} x_j y_{n-j}
.
ここで直和の上下限は 0 と *n* ではなく、1 と *n*&minus; 1 であることに注意されたい。

x_n^{k\diamondsuit}\, を次の列の第 *n* 番目の項とする。
:\displaystyle\underbrace{x\diamondsuit\cdots\diamondsuit x}_{k\ \mathrm{factors}}.
このとき、次が成り立つ。
:B_{n,k}(x_1,\dots,x_{n-k+1}) = {x_{n}^{k\diamondsuit} \over k!}.\,
例えば、 B_{4,3}(x_1,x_2)  を計算する。このとき
: x = ( x_1 \ , \ x_2 \ , \ x_3 \ , \ x_4 \ , \dots ) 
: x \diamondsuit x = ( 0,\  2 x_1^2 \ ,\  6 x_1 x_2 \ , \  8 x_1 x_3 + 6 x_2^2 \ , \dots ) 
: x \diamondsuit x \diamondsuit x = (  0 \ ,\ 0 \  , \ 6 x_1^3 \ , \ 36 x_1^2 x_2 \ , \dots )
であるため、
: B_{4,3}(x_1,x_2) = \frac{ ( x \diamondsuit x \diamondsuit x)_4 }{3!} = 6 x_1^2 x_2
となる。

## ベル多項式の応用
### ファー・ディ・ブルーノの公式

ベル多項式を用いることで、は次のように書き表すことができる。
:{d^n \over dx^n} f(g(x)) = \sum_{k=1}^n f^{(k)}(g(x)) B_{n,k}\left(g'(x),g*(x),\dots,g^{(n-k+1)}(x)\right).</math>
同様に、冪級数版のファー・ディ・ブルーノの公式も、ベル多項式を用いて次のように表すことができる。今
:<math>f(x)=\sum_{n=1}^\infty {a_n \over n!} x^n \qquad
\mathrm{and} \qquad g(x)=\sum_{n=1}^\infty {b_n \over n!} x^n</math>
とすれば、
:<math>g(f(x)) = \sum_{n=1}^\infty
{\sum_{k=1}^{n} b_k B_{n,k}(a_1,\dots,a_{n-k+1}) \over n!} x^n</math>
となる。特に、完全ベル多項式は、[[形式的冪級数]]の指数関数の中に、次のように現れる。
:<math>\exp\left(\sum_{n=1}^\infty {a_n \over n!} x^n \right)
= \sum_{n=0}^\infty {B_n(a_1,\dots,a_n) \over n!} x^n.</math>

=== モーメントとキュムラント ===
次の和
:<math>B_n(\kappa_1,\dots,\kappa_n)=\sum_{k=1}^n B_{n,k}(\kappa_1,\dots,\kappa_{n-k+1})</math>
は、初めの *n* 個の[[キュムラント]]が κ, …, κ であるような[[確率分布]]の *n* 次[[モーメント (数学)|モーメント]]である。言い換えると、*n* 次モーメントとは初めの *n* 個のキュムラントによって評価される *n* 次完全ベル多項式である。

=== 二項型の多項式列による表現 ===
任意のスカラー列 *a*, *a*, *a*, … に対し、次を定める。
:<math>p_n(x)=\sum_{k=1}^n B_{n,k}(a_1,\dots,a_{n-k+1}) x^k.</math>
このとき、この多項式列は[[二項型多項式列]]である。すなわち、二項等式
:<math>p_n(x+y)=\sum_{k=0}^n {n \choose k} p_k(x) p_{n-k}(y)</math>
が *n* ≥ 0 に対して成立する。実際、次の結果が得られる。
:*'定理*' すべての二項型の多項式列はこの形式で表現できる。
今
:<math>h(x)=\sum_{n=1}^\infty {a_n \over n!} x^n</math>
とすれば、冪級数を純粋に形式的に取ることで、すべての *n'' に対し
:h^{-1}\left( {d \over dx}\right) p_n(x) = n p_{n-1}(x) 
が成り立つ。

## ソフトウェア
* ベル多項式、完全ベル多項式および一般化ベル多項式は、Mathematicaにおいては BellY で、Maple においては BellB で、Sage においては bell_polynomial で計算することができる。

## 脚注

## 関連項目
* カーレマン行列
* 

## 参考文献
* 
* 
* 
* 
*  
* 
*
*  (contains also elementary review of the concept Bell-polynomials)
* 
* 
Faà di Bruno の公式（ファー・ディ・ブルーノの公式）については、たとえば
* 
*