Polinomi di Bell

Nella matematica combinatoria, i polinomi di Bell, in onore del matematico scozzese Eric Temple Bell, sono una famiglia di polinomi utilizzati nello studio delle partizioni di un insieme. Sono connessi ai numeri di Stirling e di Bell, e compaiono in numerose applicazioni, come ad esempio nella formula di Faà di Bruno.

Definizione

Polinomi di Bell esponenziali

I polinomi esponenziali parziali o incompleti sono una famiglia di polinomi definiti da

$B_{n,k}(x_1,x_2,\dots ,x_{n-k+1})=\sum \frac{n!}{j_1!j_2!\cdots j_{n-k+1}!}{\left(\frac{x_1}{1!}\right)}^{j_1}{\left(\frac{x_2}{2!}\right)}^{j_2}\cdots {\left(\frac{x_{n-k+1}}{(n-k+1)!}\right)}^{j_{n-k+1}},$

dove la somma è su tutte le sequenze $j_1$, $j_2$, $j_3$, $\dots$, $j_{n-k+1}$ di interi non negativi tali che le seguenti due condizioni siano soddisfatte:

$j_1+j_2+\cdots +j_{n-k+1}=k,$

$j_1+2j_2+3j_3+\cdots +(n-k+1)j_{n-k+1}=n.$

La somma al variare di $k$ dei polinomi incompleti

$B_n(x_1,\dots ,x_n)=\sum _{k=1}^n{B}_{n,k}(x_1,x_2,\dots ,x_{n-k+1})$

è chiamata l'n-esimo polinomio di Bell esponenziale completo.

Polinomi di Bell ordinari

I polinomi di Bell ordinari sono invece definiti come

${\hat{B}}_{n,k}(x_1,x_2,\dots ,x_{n-k+1})=\sum \frac{k!}{j_1!j_2!\cdots j_{n-k+1}!}{x}_1^{j_1}{x}_2^{j_2}\cdots x_{n-k+1}^{j_{n-k+1}},$

dove la somma è su tutte le sequenze $j_1$, $j_2$, $j_3$, $\dots$, $j_{n-k+1}$ di interi non negativi tali che

$j_1+j_2+\cdots +j_{n-k+1}=k,$

$j_1+2j_2+\cdots +(n-k+1)j_{n-k+1}=n.$

I polinomi di Bell ordinari si possono esprimere in funzione di quelli esponenziali come:

${\hat{B}}_{n,k}(x_1,x_2,\dots ,x_{n-k+1})=\frac{k!}{n!}{B}_{n,k}(1!\cdot x_1,2!\cdot x_2,\dots ,(n-k+1)!\cdot x_{n-k+1}).$

In generale, con il termine generico polinomi di Bell ci si riferisce alla versione esponenziale, a meno che non venga specificato esplicitamente.

Significato combinatorio

I polinomi di Bell esponenziali sono collegati ai vari modi in cui un insieme può essere partizionato. Per esempio, se si considera un insieme $\{A,B,C\}$, può essere diviso in due insiemi disgiunti e non vuoti, quest'ultimi chiamati anche blocchi, in tre diversi modi:

$\{\{A\},\{B,C\}\}$

$\{\{B\},\{A,C\}\}$

$\{\{C\},\{B,A\}\}$

Questa informazione è codificata all'interno del seguente polinomio di Bell

$B_{3,2}(x_1,x_2)=3x_1{x}_2.$

Qui il pedice di $B_{3,2}$ indica che stiamo considerando le partizioni di 3 elementi in 2 blocchi, mentre il termine $x_i^j$ indica la presenza di $j$ blocchi composti da $i$ elementi all'interno di una partizione. Nel caso precedente, $x_2$ indica la presenza di un solo blocco con due elementi. In modo simile, $x_1$ mostra la presenza di un unico blocco con un singolo elemento. Il coefficiente del monomio mostra il numero di queste partizioni. Nell'esempio considerato esistono 3 partizioni di un insieme con tre elementi in due blocchi, dove in ogni partizione gli elementi sono divisi in due blocchi di grandezza 1 e 2.

Dato che un insieme può essere diviso in un unico blocco in un solo modo possibile, l'interpretazione precedente implica che $B_{n,1}=x_n$. In modo simile, poiché esiste un unico modo in cui un insieme di n elementi può essere partizionato in n singoletti, allora $B_{n,n}=x_1^n$.

Un caso più complicato è il seguente

$B_{6,2}(x_1,x_2,x_3,x_4,x_5)=6x_5{x}_1+15x_4{x}_2+10x_3^2.$

Da questo polinomio si può inferire che se un insieme di 6 elementi viene diviso in 2 blocchi, allora si possono avere 6 partizioni con blocchi di dimensione 1 e 5, 15 partizioni con blocchi di 4 e 2 elementi, e 10 partizioni con due blocchi di grandezza 3.

La somma dei pedici in un monomio è uguale al numero totale di elementi dell'insieme. Perciò, il numero di monomi che appaiono nel polinomio di Bell parziale è uguale al numero di modi in cui un intero $n$ può essere espresso come somma di $k$ interi positivi, cioè la partizione dell'intero $n$ in $k$ parti. Negli esempi precedenti, il numero 3 può essere partizionato in due parti solo come 2+1, perciò $B_{3,2}$ è composto da un unico monomio. Al contrario, il numero 6 può essere scritto come 5+1, 4+2 e 3+3, quindi in $B_{6,2}$ i monomi sono 3. Il numero totale di monomi che appaiono in un polinomio di Bell completo $B_n$ è quindi uguale al numero totale di partizioni intere di $n$.

Inoltre il grado di ogni monomio, che è la somma degli esponenti di ciascuna variabile nel monomio, è uguale al numero di blocchi in cui l'insieme è diviso. In altre parole, $j_1+j_2+\dots =k$. Di conseguenza, dato un polinomio di Bell completo $B_n$, si possono separare i vari polinomi parziali $B_{n,k}$ raggruppando tutti i monomi di grado $k$.

Infine, la somma dei coefficienti del polinomio di Bell parziale $B_{n,k}$ darà il numero di partizioni di un insieme di $n$ elementi in $k$ blocchi, che è la definizione del numero di Stirling di seconda specie $S(n,k)$. Inoltre, la somma di tutti i coefficienti del corrispondente polinomio di Bell completo darà il numero totale di partizioni possibili dell'insieme di $n$ elementi, e quindi sarà il relativo numero di Bell.

Esempi

Per esempio, si ha

$B_{6,2}(x_1,x_2,x_3,x_4,x_5)=6x_5{x}_1+15x_4{x}_2+10x_3^2$

perché i modi di partizionare un insieme di 6 elementi in 2 blocchi sono

6 modi con $5+1$,

15 modi con $4+2$, e

10 modi con $3+3$.

Similmente,

$B_{6,3}(x_1,x_2,x_3,x_4)=15x_4{x}_1^2+60x_3{x}_2{x}_1+15x_2^3$

perché i modi di partizionare un insieme di 6 elementi in 3 blocchi sono

15 modi con $4+1+1$,

60 modi con $3+2+1$, e

15 modi con $2+2+2$.

Proprietà

Funzione generatrice

I polinomi di Bell parziali possono essere definiti tramite l'espansione della funzione generatrice in una doppia serie:

$\begin{array}{cc}\mathrm{\Phi }(t,u)& =\exp \left(u\sum _{j=1}^{\mathrm{\infty }}{x}_j\frac{t^j}{j!}\right)=\sum _{n\ge k\ge 0}{B}_{n,k}(x_1,\dots ,x_{n-k+1})\frac{t^n}{n!}{u}^k\\ & =1+\sum _{n=1}^{\mathrm{\infty }}\frac{t^n}{n!}\sum _{k=1}^n{u}^k{B}_{n,k}(x_1,\dots ,x_{n-k+1}).\end{array}$

In modo equivalente, è l'espansione in serie della k-esima potenza:

$\frac{1}{k!}{\left(\sum _{j=1}^{\mathrm{\infty }}{x}_j\frac{t^j}{j!}\right)}^k=\sum _{n=k}^{\mathrm{\infty }}{B}_{n,k}(x_1,\dots ,x_{n-k+1})\frac{t^n}{n!},k=0,1,2,\dots$

I polinomio di Bell completi sono definiti come $\mathrm{\Phi }(t,1)$, o in altre parole:

$\mathrm{\Phi }(t,1)=\exp \left(\sum _{j=1}^{\mathrm{\infty }}{x}_j\frac{t^j}{j!}\right)=\sum _{n=0}^{\mathrm{\infty }}{B}_n(x_1,\dots ,x_n)\frac{t^n}{n!}.$

Perciò, l'n-esimo polinomio completo è dato da

$B_n(x_1,\dots ,x_n)={{\left(\frac{\partial }{\partial t}\right)}^n\exp \left(\sum _{j=1}^n{x}_j\frac{t^j}{j!}\right)|}_{t=0}.$

Similmente, i polinomi di Bell ordinari corrispondono alla funzione generatrice

$\hat{\mathrm{\Phi }}(t,u)=\exp \left(u\sum _{j=1}^{\mathrm{\infty }}{x}_j{t}^j\right)=\sum _{n\ge k\ge 0}{\hat{B}}_{n,k}(x_1,\dots ,x_{n-k+1})t^n\frac{u^k}{k!}.$

O, equivalentemente, dall'espansione in serie della k-esima potenza:

${\left(\sum _{j=1}^{\mathrm{\infty }}{x}_j{t}^j\right)}^k=\sum _{n=k}^{\mathrm{\infty }}{\hat{B}}_{n,k}(x_1,\dots ,x_{n-k+1})t^n.$

I polinomi di Bell sono fondamentali per calcolare potenze, logaritmi, esponenziali e composizioni di funzioni generatrici.

Relazioni di ricorrenza

I polinomi di Bell completi si possono definire ricorsivamente come

$B_{n+1}(x_1,\dots ,x_{n+1})=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})B_{n-i}(x_1,\dots ,x_{n-i})x_{i+1}$

con il valore iniziale $B_0=1$.

I polinomi parziali invece si possono calcolare in modo efficiente dalla seguente relazione di ricorrenza:

$B_{n,k}=\sum _{i=1}^{n-k+1}(\genfrac{}{}{0ex}{}{n-1}{i-1})x_i{B}_{n-i,k-1},$

where

$B_{0,0}=1;$

$B_{n,0}=0\text{ per }n\ge 1;$

$B_{0,k}=0\text{ per }k\ge 1.$

I polinomi completi inoltre soddisfano la ricorrenza differenziale:

$\begin{array}{cc}{B}_n(x_1,\dots ,x_n)=\frac{1}{n-1}[\sum _{i=2}^n& \sum _{j=1}^{i-1}(i-1)(\genfrac{}{}{0ex}{}{i-2}{j-1})x_j{x}_{i-j}\frac{\partial B_{n-1}(x_1,\dots ,x_{n-1})}{\partial x_{i-1}}\\ & +\sum _{i=2}^n\sum _{j=1}^{i-1}\frac{x_{i+1}}{(\genfrac{}{}{0ex}{}{i}{j})}\frac{{\partial }^2{B}_{n-1}(x_1,\dots ,x_{n-1})}{\partial x_j\partial x_{i-j}}\\ & +\sum _{i=2}^n{x}_i\frac{\partial B_{n-1}(x_1,\dots ,x_{n-1})}{\partial x_{i-1}}].\end{array}$

Derivate

Le derivate parziali dei polinomi di Bell completi sono date da

$\frac{\partial B_n}{\partial x_i}(x_1,\dots ,x_n)=(\genfrac{}{}{0ex}{}{n}{i})B_{n-i}(x_1,\dots ,x_{n-i}).$

In modo simile, le derivate parziali dei polinomi di Bell incompleti sono

$\frac{\partial B_{n,k}}{\partial x_i}(x_1,\dots ,x_{n-k+1})=(\genfrac{}{}{0ex}{}{n}{i})B_{n-i,k-1}(x_1,\dots ,x_{n-i-k+2}).$

Se gli argomenti dei polinomi di Bell sono funzioni unidimensionali, si può usare la regola della catena per ottenere

$\frac{d}{dx}(B_{n,k}(a_1(x),\cdots ,a_{n-k+1}(x)))=\sum _{i=1}^{n-k+1}(\genfrac{}{}{0ex}{}{n}{i}){a_i}^{\prime }(x)B_{n-i,k-1}(a_1(x),\cdots ,a_{n-i-k+2}(x)).$

Determinanti

Si possono esprimere i polinomi di Bell completi come dei determinanti nei due seguenti modi:

$B_n(x_1,\dots ,x_n)=\det \left[\begin{array}{ccccccc}{x}_1& (\genfrac{}{}{0ex}{}{n-1}{1})x_2& (\genfrac{}{}{0ex}{}{n-1}{2})x_3& (\genfrac{}{}{0ex}{}{n-1}{3})x_4& \cdots & \cdots & x_n\\ \\ -1& x_1& (\genfrac{}{}{0ex}{}{n-2}{1})x_2& (\genfrac{}{}{0ex}{}{n-2}{2})x_3& \cdots & \cdots & x_{n-1}\\ \\ 0& -1& x_1& (\genfrac{}{}{0ex}{}{n-3}{1})x_2& \cdots & \cdots & x_{n-2}\\ \\ 0& 0& -1& x_1& \cdots & \cdots & x_{n-3}\\ \\ 0& 0& 0& -1& \cdots & \cdots & x_{n-4}\\ \\ ⋮& ⋮& ⋮& ⋮& \ddots & \ddots & ⋮\\ \\ 0& 0& 0& 0& \cdots & -1& x_1\end{array}\right]$

e

$B_n(x_1,\dots ,x_n)=\det \left[\begin{array}{ccccccc}\frac{x_1}{0!}& \frac{x_2}{1!}& \frac{x_3}{2!}& \frac{x_4}{3!}& \cdots & \cdots & \frac{x_n}{(n-1)!}\\ \\ -1& \frac{x_1}{0!}& \frac{x_2}{1!}& \frac{x_3}{2!}& \cdots & \cdots & \frac{x_{n-1}}{(n-2)!}\\ \\ 0& -2& \frac{x_1}{0!}& \frac{x_2}{1!}& \cdots & \cdots & \frac{x_{n-2}}{(n-3)!}\\ \\ 0& 0& -3& \frac{x_1}{0!}& \cdots & \cdots & \frac{x_{n-3}}{(n-4)!}\\ \\ 0& 0& 0& -4& \cdots & \cdots & \frac{x_{n-4}}{(n-5)!}\\ \\ ⋮& ⋮& ⋮& ⋮& \ddots & \ddots & ⋮\\ \\ 0& 0& 0& 0& \cdots & -(n-1)& \frac{x_1}{0!}\end{array}\right].$

Legame con i numeri di Stirling e di Bell

Il valore del polinomio di Bell incompleto $B_{n,k}(x_1,x_2,\dots )$ calcolato sulla sequenza dei fattoriali è uguale a un numero di Stirling di prima specie senza segno:

$B_{n,k}(0!,1!,\dots ,(n-k)!)=c(n,k)=|s(n,k)|=\left[\genfrac{}{}{0ex}{}{n}{k}\right].$

La somma di questi numeri da il valore del polinomio di Bell completo sulla sequenza dei fattoriali:

$B_n(0!,1!,\dots ,(n-1)!)=\sum _{k=1}^n{B}_{n,k}(0!,1!,\dots ,(n-k)!)=\sum _{k=1}^n\left[\genfrac{}{}{0ex}{}{n}{k}\right]=n!.$

Il valore del polinomio $B_{n,k}(x_1,x_2,\dots )$ calcolato su una sequenza di 1 è uguale a un numero di Stirling di seconda specie:

$B_{n,k}(1,1,\dots ,1)=S(n,k)=\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}.$

La somma di questi numeri da il valore del polinomio di Bell completo sulla n-upla di 1:

$B_n(1,1,\dots ,1)=\sum _{k=1}^n{B}_{n,k}(1,1,\dots ,1)=\sum _{k=1}^n\left\{\genfrac{}{}{0ex}{}{n}{k}\right\},$

che è lTemplate:'n-esimo numero di Bell.

Relazioni inverse

Se si definisce

$y_n=\sum _{k=1}^n{B}_{n,k}(x_1,\dots ,x_{n-k+1}),$

allora si ha la relazione inversa

$x_n=\sum _{k=1}^n(-1{)}^{k-1}(k-1)!B_{n,k}(y_1,\dots ,y_{n-k+1}).$

Polinomi di Touchard

Il polinomio di Touchard $T_n(x)=\sum _{k=0}^n\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}\cdot x^k$ può essere espresso come un polinomio di Bell completo con tutte le variabili uguali a $x$:

$T_n(x)=B_n(x,x,\dots ,x).$

Identità di convoluzione

Per le successioni $x_n$ e $y_n$ viene definita una convoluzione tramite:

$(x\mathrm{♢}y{)}_n=\sum _{j=1}^{n-1}(\genfrac{}{}{0ex}{}{n}{j})x_j{y}_{n-j}.$

Da notare che i limiti della sommatoria sono $1$ e $n-1$ .

Sia $x_n^{k\mathrm{♢}}$ lTemplate:'n-esimo termine della successione

$\underset{k\text{ factors}}{\underbrace{x\mathrm{♢}\cdots \mathrm{♢}x}}.$

Allora

$B_{n,k}(x_1,\dots ,x_{n-k+1})=\frac{x_n^{k\mathrm{♢}}}{k!}.$

Per esempio, per quanto riguarda $B_{4,3}(x_1,x_2)$, si ha

$x=(x_1,x_2,x_3,x_4,\dots )$

$x\mathrm{♢}x=(0,2x_1^2,6x_1{x}_2,8x_1{x}_3+6x_2^2,\dots )$

$x\mathrm{♢}x\mathrm{♢}x=(0,0,6x_1^3,36x_1^2{x}_2,\dots )$

e quindi,

$B_{4,3}(x_1,x_2)=\frac{(x\mathrm{♢}x\mathrm{♢}x{)}_4}{3!}=6x_1^2{x}_2.$

Altre identità

• $B_{n,k}(1!,2!,\dots ,(n-k+1)!)=(\genfrac{}{}{0ex}{}{n-1}{k-1})\frac{n!}{k!}=L(n,k)$ che è il numero di Lah.
• $B_{n,k}(1,2,3,\dots ,n-k+1)=(\genfrac{}{}{0ex}{}{n}{k})k^{n-k}$, che è collegato al numero di funzioni idempotenti di un insieme di $n$ elementi.
• $B_{n,k}(-x_1,x_2,-x_3,\dots ,(-1{)}^{n-k}{x}_{n-k+1})=(-1{)}^n{B}_{n,k}(x_1,x_2,x_3,\dots ,x_{n-k+1})$ and $B_n(-x_1,x_2,-x_3,\dots ,(-1{)}^{n-1}{x}_n)=(-1{)}^n{B}_n(x_1,x_2,x_3,\dots ,x_n)$.
• I polinomi di Bell completi soddisfano una relazione di tipo binomiale:

  $B_n(x_1+y_1,\dots ,x_n+y_n)=\sum _{i=0}^n(\genfrac{}{}{0ex}{}{n}{i})B_{n-i}(x_1,\dots ,x_{n-i})B_i(y_1,\dots ,y_i),$

• $B_{n,k}(\frac{x_{q+1}}{(\genfrac{}{}{0ex}{}{q+1}{q})},\frac{x_{q+2}}{(\genfrac{}{}{0ex}{}{q+2}{q})},\dots )=\frac{n!(q!{)}^k}{(n+qk)!}{B}_{n+qk,k}(\dots ,0,0,x_{q+1},x_{q+2},\dots ).$
• Quando $1\le a<n$,

$B_{n,n-a}(x_1,\dots ,x_{a+1})=\sum _{j=a+1}^{2a}\frac{j!}{a!}(\genfrac{}{}{0ex}{}{n}{j})(x_1{)}^{n-j}{B}_{a,j-a}(\frac{x_2}{2},\frac{x_3}{3},\dots ,\frac{x_{2(a+1)-j}}{2(a+1)-j}).$

• Casi particolari di polinomi di Bell parziali:

$\begin{array}{cc}{B}_{n,1}(x_1,\dots ,x_n)=& x_n\\ [8pt]B_{n,2}(x_1,\dots ,x_{n-1})=& \frac{1}{2}\sum _{k=1}^{n-1}(\genfrac{}{}{0ex}{}{n}{k})x_k{x}_{n-k}\\ [8pt]B_{n,n}(x_1)=& (x_1{)}^n\\ [8pt]B_{n,n-1}(x_1,x_2)=& (\genfrac{}{}{0ex}{}{n}{2})(x_1{)}^{n-2}{x}_2\\ [8pt]B_{n,n-2}(x_1,x_2,x_3)=& (\genfrac{}{}{0ex}{}{n}{3})(x_1{)}^{n-3}{x}_3+3(\genfrac{}{}{0ex}{}{n}{4})(x_1{)}^{n-4}(x_2{)}^2\\ [8pt]B_{n,n-3}(x_1,x_2,x_3,x_4)=& (\genfrac{}{}{0ex}{}{n}{4})(x_1{)}^{n-4}{x}_4+10(\genfrac{}{}{0ex}{}{n}{5})(x_1{)}^{n-5}{x}_2{x}_3+15(\genfrac{}{}{0ex}{}{n}{6})(x_1{)}^{n-6}(x_2{)}^3\\ [8pt]B_{n,n-4}(x_1,x_2,x_3,x_4,x_5)=& (\genfrac{}{}{0ex}{}{n}{5})(x_1{)}^{n-5}{x}_5+5(\genfrac{}{}{0ex}{}{n}{6})(x_1{)}^{n-6}[3x_2{x}_4+2(x_3{)}^2]+105(\genfrac{}{}{0ex}{}{n}{7})(x_1{)}^{n-7}(x_2{)}^2{x}_3\\ & +105(\genfrac{}{}{0ex}{}{n}{8})(x_1{)}^{n-8}(x_2{)}^4.\end{array}$

Polinomi completi di grado più basso

I primi polinomi di Bell completi sono:

$\begin{array}{cc}{B}_0=& 1,\\ B_1(x_1)=& x_1,\\ B_2(x_1,x_2)=& x_1^2+x_2,\\ B_3(x_1,x_2,x_3)=& x_1^3+3x_1{x}_2+x_3,\\ B_4(x_1,x_2,x_3,x_4)=& x_1^4+6x_1^2{x}_2+4x_1{x}_3+3x_2^2+x_4,\\ B_5(x_1,x_2,x_3,x_4,x_5)=& x_1^5+10x_2{x}_1^3+15x_2^2{x}_1+10x_3{x}_1^2+10x_3{x}_2+5x_4{x}_1+x_5\\ B_6(x_1,x_2,x_3,x_4,x_5,x_6)=& x_1^6+15x_2{x}_1^4+20x_3{x}_1^3+45x_2^2{x}_1^2+15x_2^3+60x_3{x}_2{x}_1\\ & +15x_4{x}_1^2+10x_3^2+15x_4{x}_2+6x_5{x}_1+x_6,\\ B_7(x_1,x_2,x_3,x_4,x_5,x_6,x_7)=& x_1^7+21x_1^5{x}_2+35x_1^4{x}_3+105x_1^3{x}_2^2+35x_1^3{x}_4\\ & +210x_1^2{x}_2{x}_3+105x_1{x}_2^3+21x_1^2{x}_5+105x_1{x}_2{x}_4\\ & +70x_1{x}_3^2+105x_2^2{x}_3+7x_1{x}_6+21x_2{x}_5+35x_3{x}_4+x_7.\end{array}$

Applicazioni

Formula di Faà di Bruno

La formula di Faà di Bruno può essere espressa in termini dei polinomi di Bell nel modo seguente:

$\frac{d^n}{d{x}^n}f(g(x))=\sum _{k=1}^n{f}^{(k)}(g(x))B_{n,k}(g^{\prime }(x),g^{″}(x),\dots ,g^{(n-k+1)}(x)).$

La versione con le serie di potenze afferma che se

$f(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{a_n}{n!}{x}^n\text{e}g(x)=\sum _{n=1}^{\mathrm{\infty }}\frac{b_n}{n!}{x}^n$

allora

$g(f(x))=\sum _{n=1}^{\mathrm{\infty }}\frac{\sum _{k=1}^n{b}_k{B}_{n,k}(a_1,\dots ,a_{n-k+1})}{n!}{x}^n.$

Un caso particolare è l'esponenziale di una serie formale di potenze:

$\exp \left(\sum _{i=1}^{\mathrm{\infty }}\frac{a_i}{i!}{x}^i\right)=\sum _{n=0}^{\mathrm{\infty }}\frac{B_n(a_1,\dots ,a_n)}{n!}{x}^n,$

che rappresenta anche la funzione generatrice esponenziale dei polinomi di Bell completi calcolata su una sequenza fissata di valori $\{a_1,a_2,\dots \}$.

Reversione della serie

Siano due funzioni $f$ e $g$ espresse in serie formali di potenze come

$f(w)=\sum _{k=0}^{\mathrm{\infty }}{f}_k\frac{w^k}{k!},\text{e}g(z)=\sum _{k=0}^{\mathrm{\infty }}{g}_k\frac{z^k}{k!},$

tale che $g$ è l'inversa di $f$, definita da $g(f(w))=w$ oppure $f(g(z))=z$. Se $f_0=0$ e $f_1\ne 0$, allora esiste una forma esplicita dei coefficienti dell'inversa in termini dei polinomi di Bell:

$g_n=\frac{1}{f_1^n}\sum _{k=1}^{n-1}(-1{)}^k{n}^{\overline{k}}{B}_{n-1,k}({\hat{f}}_1,{\hat{f}}_2,\dots ,{\hat{f}}_{n-k}),n\ge 2,$

con ${\hat{f}}_k=\frac{f_{k+1}}{(k+1)f_1}$, $n^{\overline{k}}=n(n+1)\cdots (n+k-1)$ il fattoriale crescente, e $g_1=\frac{1}{f_1}.$

Espansione asintotica degli integrali di Laplace

Si consideri l'integrale della forma

$I(\lambda )=\underset{a}{\overset{b}{\int }}{e}^{-\lambda f(x)}g(x)\mathrm{d}x,$

dove $(a,b)$ è un intervallo reale (anche infinito), $\lambda$ è un parametro positivo sufficientemente grande, e le funzioni $f$ e $g$ sono continue. La funzione $f$ ha un solo minimo in $[a,b]$ che lo assume in $x=a$. Si assuma che per $x\to a^{+}$,

$f(x)\sim f(a)+\sum _{k=0}^{\mathrm{\infty }}{a}_k(x-a{)}^{k+\alpha },$

$g(x)\sim \sum _{k=0}^{\mathrm{\infty }}{b}_k(x-a{)}^{k+\beta -1},$

con $\alpha >0$, $\mathrm{\Re }(\beta )>0$; e che l'espansione di $f$ possa essere derivata termine a termine. Allora, il teorema di Laplace–Erdelyi afferma che l'espansione asintotica dell'integrale $I(\lambda )$ è data da

$I(\lambda )\sim e^{-\lambda f(a)}\sum _{n=0}^{\mathrm{\infty }}\mathrm{\Gamma }\left(\frac{n+\beta }{\alpha }\right)\frac{c_n}{{\lambda }^{(n+\beta )/\alpha }}\text{per}\lambda \to \mathrm{\infty },$

dove i coefficienti $c_n$ sono esprimibili in termini di $a_n$ e $b_n$ usando i polinomi di Bell ordinari grazie alla formula di Campbell–Froman–Walles–Wojdylo:

$c_n=\frac{1}{\alpha a_0^{(n+\beta )/\alpha }}\sum _{k=0}^n{b}_{n-k}\sum _{j=0}^k(\genfrac{}{}{0ex}{}{-\frac{n+\beta }{\alpha }}{j})\frac{1}{a_0^j}{\hat{B}}_{k,j}(a_1,a_2,\dots ,a_{k-j+1}).$

Polinomi simmetrici

Il polinomio simmetrico elementare $e_n$ e il polinomio simmetrico $p_n$ ottenuto con somma di potenze n-esime sono in relazione tra loro tramite i polinomi di Bell:

$\begin{array}{cc}{e}_n& =\frac{1}{n!}{B}_n(p_1,-1!p_2,2!p_3,-3!p_4,\dots ,(-1{)}^{n-1}(n-1)!p_n)\\ & =\frac{(-1{)}^n}{n!}{B}_n(-p_1,-1!p_2,-2!p_3,-3!p_4,\dots ,-(n-1)!p_n),\end{array}$

$\begin{array}{cc}{p}_n& =\frac{(-1{)}^{n-1}}{(n-1)!}\sum _{k=1}^n(-1{)}^{k-1}(k-1)!B_{n,k}(e_1,2!e_2,3!e_3,\dots ,(n-k+1)!e_{n-k+1})\\ & =(-1{)}^{n}n\sum _{k=1}^n\frac{1}{k}{\hat{B}}_{n,k}(-e_1,\dots ,-e_{n-k+1}).\end{array}$

Questo formule permettono di esprimere i coefficienti dei polinomi monici in termine dei polinomi di Bell calcolati nei loro zeri. Un'applicazione delle proprietà è che, insieme al teorema di Hamilton-Cayley, si ottiene un'espressione del determinante di una matrice quadrata $A$ di dimensione $n$ in funzione delle tracce delle sue potenze:

$\det (A)=\frac{(-1{)}^n}{n!}{B}_n(s_1,s_2,\dots ,s_n),\text{dove }{s}_k=-(k-1)!\mathrm{tr}(A^k).$

Indice di ciclo dei gruppi simmetrici

L'indice di ciclo del gruppo simmetrico $S_n$ è dato da:

$Z(S_n)=\frac{B_n(0!a_1,1!a_2,\dots ,(n-1)!a_n)}{n!}.$

Momenti e cumulanti

La somma

${{\mu }_n}^{\prime }=B_n({\kappa }_1,\dots ,{\kappa }_n)=\sum _{k=1}^n{B}_{n,k}({\kappa }_1,\dots ,{\kappa }_{n-k+1})$

è lTemplate:'n-esimo momento semplice di una distribuzione di probabilità i cui primi n cumulanti sono ${\kappa }_1,\dots ,{\kappa }_n$. In altre parole, lTemplate:'n-esimo momento è lTemplate:'n-esimo polinomio di Bell completo valutato nei primi n cumulanti. Similmente, lTemplate:'n-esimo cumulante si può esprimere in termini dei momenti come

${\kappa }_n=\sum _{k=1}^n(-1{)}^{k-1}(k-1)!B_{n,k}(\mu {\text{'}}_1,\dots ,\mu {\text{'}}_{n-k+1}).$

Polinomi di Hermite

I polinomi di Hermite probabilistici sono dati da

${\mathrm{He}}_n(x)=B_n(x,-1,0,\dots ,0),$

dove $x_i=0$ per ogni $i>2$; in questo modo si ha un'interpretazione combinatoria dei coefficienti dei polinomi di Hermite. Si può vedere meglio comparando la funzione generatrice dei polinomi di Hermite

$\exp (xt-\frac{t^2}{2})=\sum _{n=0}^{\mathrm{\infty }}{\mathrm{He}}_n(x)\frac{t^n}{n!}$

con quella dei polinomi di Bell.

Rappresentazione delle successioni di polinomi di tipo binomiale

Per ogni successione $a_1$, $a_2$, $\dots$, $a_n$ di scalari, sia

$p_n(x)=\sum _{k=1}^n{B}_{n,k}(a_1,\dots ,a_{n-k+1})x^k.$

Questa sequenza di polinomi è di tipo binomiale, cioè soddisfa l'identità binomiale

$p_n(x+y)=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})p_k(x)p_{n-k}(y).$

Per esempio con $a_1=\dots =a_n=1$, i polinomi $p_n(x)$ rappresentano i polinomi di Touchard.

Si ha il risultato generale che i polinomi $p_n(x)$ rappresentano tutti i polinomi di tipo binomiale. Detto in altre parole, tutti polinomi di tipo binomiale si possono scrivere in questa forma, rappresentandone una relazione biunivoca.

Se si definisce una serie formale di potenze

$h(x)=\sum _{k=1}^{\mathrm{\infty }}\frac{a_k}{k!}{x}^k,$

allora per ogni $n$,

$h^{-1}\left(\frac{d}{dx}\right)p_n(x)=n{p}_{n-1}(x).$

In altre parole, l'operatore di sinistra ha le proprietà di operatore delta per i polinomi $p_n$.

Implementazioni

I polinomi di Bell sono implementati in:

• Mathematica come BellY
• Maple come IncompleteBellB
• SageMath come bell_polynomial

Voci correlate

• Numeri di Bell
• Calcolo umbrale
• Formula di Faà di Bruno