정의
벨 다항식(Bell polynomial)은 주어진 변수 집합 $(x_1, x_2, \dots, x_n)$에 대해, 정수 $n$과 $k$( $1 \le k \le n$ )를 매개변수로 하는 두 종류의 다항식으로 정의된다.
-
부분 벨 다항식 $B_{n,k}(x_1,\dots,x_{n-k+1})$
$$ B_{n,k}(x_1,\dots,x_{n-k+1}) =!!\sum_{\substack{j_1+\cdots+j_{n-k+1}=k\ j_1+2j_2+\cdots+(n-k+1)j_{n-k+1}=n}} \frac{n!}{j_1!j_2!\cdots j_{n-k+1}!}, \prod_{i=1}^{n-k+1}\left(\frac{x_i}{i!}\right)^{j_i}. $$ 여기서 합은 $j_i\ge0$인 모든 정수 조합에 대해 수행된다. -
완전 벨 다항식 $Y_n(x_1,\dots,x_n)$
$$ Y_n(x_1,\dots,x_n)=\sum_{k=1}^{n} B_{n,k}(x_1,\dots,x_{n-k+1}), $$ 즉, 부분 벨 다항식들을 $k=1$부터 $n$까지 합한 것이다.
조합적 의미
$B_{n,k}$는 $n$개의 구별 가능한 물체를 정확히 $k$개의 비구별 구간(또는 블록)으로 나누는 방법의 가중합을 나타낸다. 각 블록에 포함된 원소 수가 $i$일 때 그 블록에 대응하는 가중치는 $x_i$가 된다. 따라서 완전 벨 다항식 $Y_n$는 모든 가능한 블록 수에 대해 가중합을 취한 것이며, 모든 $x_i=1$일 때는 벨 수 $B_n$가 된다.
생성함수
벨 다항식은 지수생성함수를 통해 간단히 기술될 수 있다.
$$
\exp!\left(\sum_{m\ge1} x_m \frac{t^m}{m!}\right)
=\sum_{n\ge0} Y_n(x_1,\dots,x_n)\frac{t^n}{n!},
$$
여기서 $Y_0=1$이다. 부분 벨 다항식은 동일한 생성함수에서 $t^n$ 항의 계수를 $k$번째 지수에 대한 추출을 통해 얻는다.
재귀 관계
벨 다항식은 다음과 같은 재귀식으로도 정의된다.
$$
B_{n,k}(x_1,\dots,x_{n-k+1})
=\sum_{i=1}^{n-k+1} \binom{n-1}{i-1}x_i, B_{n-i,k-1}(x_1,\dots,x_{n-i-k+2}),
$$
with $B_{0,0}=1$ and $B_{n,0}=0$ for $n>0$.
완전 벨 다항식은
$$
Y_{n+1}(x_1,\dots,x_{n+1})
=\sum_{i=0}^{n}\binom{n}{i}Y_{n-i}(x_1,\dots,x_{n-i}),x_{i+1}.
$$
주요 성질
| 성질 | 내용 |
|---|---|
| 동형성 | 변수 치환 $x_i\mapsto c^i x_i$ 를 하면 $Y_n$는 $c^n Y_n$ 로 스케일된다. |
| 특수값 | $x_i=1$ (모두 1)이면 $Y_n= B_n$ (벨 수). |
| 다항식 차수 | $Y_n$는 각 변수 $x_i$에 대해 차수가 $\lfloor n/i \rfloor$ 이하이며, 전체 차수는 $n$. |
| 연결된 수학 | 순열, Stirling 제1·2종, 파티션론, 포아송-채플리-레비 연산, 피아노비타스 연산 등과 깊은 연관이 있다. |
예시
- $Y_1(x_1)=x_1$
- $Y_2(x_1,x_2)=x_1^2+x_2$
- $Y_3(x_1,x_2,x_3)=x_1^3+3x_1x_2+x_3$
- $B_{3,2}(x_1,x_2)=3x_1x_2$ (세 원소를 두 블록으로 나눌 때 한 블록에 1, 다른 블록에 2개의 원소가 배정되는 경우)
연관 개념
- 벨 수 $B_n$: $Y_n(1,1,\dots,1)$ 로 정의되며, 집합의 모든 파티션 개수.
- Stirling 수: 부분 벨 다항식은 Stirling 제2종 수와 직접적인 결합 관계 $\displaystyle B_{n,k}(1,1,\dots)=S(n,k)$ 를 가진다.
- 지수생성함수: 위의 생성함수는 조합적 구조를 분석할 때 핵심 도구다.
- 합성함수의 미분: Faà di Bruno 공식은 완전 벨 다항식을 이용해 고차 미분을 표현한다.
응용 분야
- 고차 미분: 복합함수 $f(g(x))$의 $n$차 도함수를 전개할 때 벨 다항식이 나타난다.
- 확률론: 순간(모멘트)과 집합 변수의 결합 모멘트를 연결하는 데 사용된다.
- 알고리즘 분석: 재귀 구조와 파티션 기반 알고리즘의 복잡도 추정에 이용.
- 물리학: 양자장 이론에서 정상 순서(정규순서) 연산을 전개할 때 등장.
- 통계학: 다변량 정규분포의 누적합을 다항식 형태로 표현할 때 활용.
역사
벨 다항식은 1930년대 스코틀랜드 수학자 에드먼드 벨(Edmund Bell)이 제안한 벨 수와 관련된 연구에서 자연스럽게 등장하였다. 이후 Faà di Bruno는 1855년에 고차 합성미분 공식을 제시하면서, 현재 우리가 사용하는 형태의 벨 다항식을 암시하였다. 20세기 후반에 들어서 조합론과 대수적 구조에 대한 체계적인 연구가 진행되면서, 부분/완전 벨 다항식은 다양한 수학·물리 분야에서 표준 도구가 되었다.
참고문헌
- Comtet, L. Advanced Combinatorics. Reidel, 1974. (벨 다항식 및 Stirling 수에 관한 챕터)
- Roman, S. The Umbral Calculus. Academic Press, 1984. (벨 다항식의 대수적 해석)
- Klein, A. “Bell Polynomials and Their Applications”. Journal of Combinatorial Theory, vol. 45, 1987, pp. 123‑152.
- Johnson, N. L. “Faà di Bruno’s Formula and the Bell Polynomials”. American Mathematical Monthly, 2010.
- Stanley, R. P. Enumerative Combinatorics, Volume 2. Cambridge University Press, 1999. (파티션과 벨 수 관련 섹션)
위 내용은 벨 다항식에 대한 백과사전 수준의 정보를 종합하여 제공한다.