二項型多項式列

二項型多項式列の概要

数学において、多項式列が二項型であるとは、特定の恒等式を満たす場合を指します。この恒等式は、次のように表現されます：

$$
p_{n}(x+y) = \\sum_{k=0}^{n}{n \choose k} p_{k}(x) p_{n-k}(y).
$$

ここで、$p_n(x)$は次数$n$の多項式であり、その添字がその次数に一致しています。このような多項式列の集合は無限に存在し、二項型多項式列の全体は特定の演算のもとで群を形成します。任意の二項型多項式列はベル多項式で表現可能であり、全ての二項型列はシェファー列となりますが、その逆は必ずしも成り立つわけではありません。二項型多項式列の考え方は、19世紀の曖昧な「umbral calculus」に基づいています。

二項型の具体例

二項型の多項式列の代表例には、冪関数列 {x^n : n = 0, 1, 2, ...} や降冪関数列 {(x)_n = x(x - 1)(x - 2)⋯(x - n + 1) : n = 0, 1, 2, ...} があります。また、昇冪関数列 {x_(n) = x(x + 1)(x + 2)⋯(x + n - 1) : n = 0, 1, 2, ...} も含まれます。さらに、アーベル多項式列やトゥシャール多項式列も二項型として認識されています。

二項型多項式列の特徴付け

デルタ作用素を用いた特徴付け

多項式列が二項型であるための条件は、以下の通りです：

1. 定義されたデルタ作用素により、$p_n(x)$が$n p_{n-1}(x)$となること。
2. 全ての$x$に対して、$p_0(x) = 1$である。
3. $n > 0$に対して、$p_n(0) = 0$が成り立つこと。

これらの条件が満たされることで、その多項式列がシェファー列を形成します。デルタ作用素は多項式の次数を1だけ下げる性質を持ち、差分作用素Δや微分作用素Dなどがその例です。任意のデルタ作用素は微分作用素Dの冪級数で表せます。

ベル多項式による特徴付け

また、任意の数列に対して、次の形式で二項型多項式列を表せます：

$$
p_{n}(x) = \sum_{k=1}^{n} B_{n,k}(a_{1}, ext{…}, a_{n-k+1}) x^{k}.
$$

ここで、$B_{n,k}$はベル多項式を表します。重要な結果として、任意の二項型多項式列はこの形で表現可能であり、その関連性からさまざまな性質が導き出されます。

畳み込みと母関数による特徴付け

二項型多項式列は、畳み込み積を利用して定義することもでき、$p_n(x)$の形を以下のように書けます：

$$
p_{n}(x) = \sum_{k=1}^{n} \frac{a_{n}^{k \diamond} x^{k}}{k!}.
$$

さらに、二項型多項式列は特定の形式冪級数を持つ母関数によっても記述され、これにより多項式列の挙動の理解が深まります。

関連する概念と応用

二項型多項式列は組合せ論や確率論、統計学において広く応用されています。特に、累積率や積率の定義もこの文脈で用いられ、確率分布に基づく累積母函数を扱う際の基盤となります。これらの概念を通じて、二項型多項式列は数学の多くの分野で鍵となる役割を果たしています。

もう一度検索