Sequenza di tipo binomiale

In matematica, una sequenza polinomiale, cioè una successione di
polinomi indiciati da { 0, 1, 2, 3, ... } dove l'indice di ogni polinomio coincide con il suo grado, si dice sequenza polinomiale di tipo binomiale, o più in breve sequenza di tipo binomiale,
se soddisfa la successione di identità

Esistono molte sequenze siffatte e si dimostra che il loro insieme forma un gruppo di Lie
per l'operazione di composizione umbrale che vedremo in seguito.
Ogni sequenza di tipo binomiale è una sequenza di Sheffer,
ma la maggior parte delle sequenze di Sheffer non sono di tipo binomiale.

Esempi 

 In conseguenza della definizione, il teorema binomiale può essere enunciato dicendo che la sequenza polinomiale { xn : n = 0, 1, 2, ... } è di tipo binomiale.

 La sequenza di fattoriali decrescenti è definita da

il prodotto è sottinteso che sia uguale a 1 nel caso n = 0, poiché in quel caso è un prodotto vuoto. Questa sequenza polinomiale è di tipo binomiale.

 Similmente anche i fattoriali crescenti

costituiscono una sequenza polinomiale di tipo binomiale.

 I polinomi di Abel

costituiscono una sequenza polinomiale di tipo binomiale.

 I polinomi di Touchard

dove S(n, k) è il numero di partizioni dell'insieme di n elementi in k sottoinsiemi disgiunti non vuoti, costituiscono una sequenza polinomiale di tipo binomiale. Eric Temple Bell chiama queste funzioni "esponenziali polinomiali" e questo termine ricorre a volte anche in letteratura. I coefficienti S(n, k ) sono i "numeri di Stirling del secondo ordine". Questa sequenza ha una curiosa connessione con la distribuzione di Poisson: se X è una variabile casuale con una distribuzione di Poisson con valore atteso λ allora E(Xn) = pn(λ). In particolare, quando λ = 1, vediamo che il momento n-esimo della distribuzione di Poisson con valore atteso 1 è il numero di partizioni di un insieme di n elementi, chiamato ln-esimo numero di Bell. Questo fatto sulln-esimo momento di quella particolare distribuzione di Poisson è la "formula di Dobinski".

Una semplice caratterizzazione 

Si può dimostrare che una sequenza polinomiale { pn(x) :
n = 0, 1, 2, ... } è di tipo binomiale se e solo se la trasformazione lineare
dello spazio di polinomi in x che è definita dalla

è shift-equivariante e p0(x) = 1 per ogni x
e pn(0) = 0 per n > 0. (Dire che questo operatore è shift-equivariante equivale a dire che la sequenza polinomiale è una sequenza di Sheffer; l'insieme delle sequenze di tipo binomiale è propriamente incluso
nell'insieme delle sequenze di Sheffer.)

Operatori delta 

La precedente trasformazione lineare è chiaramente un operatore delta, cioè, una trasformazione lineare shift-equivariante sullo spazio dei polinomi in x
che riduce i gradi dei polinomi di 1. Il più ovvio esempio di operatori delta sono gli operatori differenza e differenziazione. Si può dimostrare che ogni operatore delta può essere scritto come una serie di potenze della forma

dove D è la differenziazione (si noti che il limite inferiore della somma è 1). Ogni operatore delta Q possiede un'unica sequenza di "polinomi di base", cioè, una sequenza polinomiale che soddisfa le richieste

È stato dimostrato nel 1973 da Rota, Kahaner e Odlyzko, che una sequenza polinomiale è di tipo binomiale se e solo se è la sequenza dei polinomi di base per qualche operatore delta. Perciò la prima formula del corrente paragrafo fornisce una ricetta per generare tutte le sequenze polinomiali di tipo binomiale che si vogliono: basta scegliere i cn.

Composizione umbrale di sequenza polinomiali 

L'insieme di tutte le sequenze polinomiali di tipo binomiale costituisce un gruppo
per l'operazione detta "composizione umbrale" di sequenze polinomiali che ora definiamo.
Supponiamo che { pn(x) : n = 0, 1, 2, 3, ... } e { qn(x) : n = 0, 1, 2, 3, ... } siano sequenze polinomiali, e che

Per composizione umbrale  si definisce la sequenza polinomiale il cui n-esimo termine è

Con l'operatore delta definito da una sequenza di potenze in D come sopra, la biiezione naturale fra gli operatori delta e sequenze polinomiali di tipo binomiale, definita sopra, è un isomorfismo di gruppo, nel quale l'operazione gruppale tra serie di potenze è (forse sorprendentemente) la composizione formale di serie formali di potenze.

Caratterizzazione mediante funzioni generatrici 

Le sequenze polinomiali di tipo binomiale sono precisamente quelle le cui funzioni generatrici
sono serie formali di potenze (non necessariamente convergenti) della forma

dove f(t) è una serie formale di potenze il cui termine costante è zero
e il cui termine di primo grado è non nullo. Questo si può dimostrare usando
la versione per le serie di potenze della formula di Faà di Bruno cioè la

L'operatore delta della serie è f−1(D) e quindi

Cumulanti e momenti 

la successione κn dei coefficienti di termini di primo grado in una
sequenza polinomiale di tipo binomiale può essere chiamata successione dei cumulanti della
sequenza polinomiale. Si può quindi dire che ogni sequenza polinomiale di tipo binomiale
è interamente determinata dai suoi 
cumulanti
, in sintonia di quanto presentato nell'articolo intitolato cumulante. In questo modo abbiamo

 nesimo cumulante

e

 nesimo momento.

Questi conviene siano chiamati "cumulanti formali" e "momenti formali", per distinguerli dai cumulanti e dai momenti di una distribuzione di probabilità.

Sia

la funzione generatrice dei cumulanti (formalie). Allora

è l'operatore delta associato alla sequenza polinomiale, cioè, abbiamo

Applicazioni 

Il concetto di sequenza polinomiale di tipo binomiale ha applicazioni in combinatorica,
probabilità, statistica, e in una varietà di altri campi.

Bibliografia 

 vol. 42, no. 3, June 1973. Ristampato nel libro dello stesso titolo edito da Academic Press, New York, (1975). Lavoro nel quale sono apparsi i risultati di base tra quelli enunciati in questo articolo.

  contenuto in "Graph Theory and Its Applications" di Bernard Harris. Come suggerisce lo stesso titolo, questo testo riguarda esplicitamente le applicazioni alla enumerazione combinatoria.

Polinomi speciali
Combinatoria