Sequenza di tipo binomiale
In matematica, una sequenza polinomiale, cioè una successione di polinomi indicizzati 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
modifica- 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.
- costituiscono una sequenza polinomiale di tipo binomiale.
- 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 l'n-esimo numero di Bell. Questo fatto sull'n-esimo momento di quella particolare distribuzione di Poisson è la "formula di Dobinski".
Una semplice caratterizzazione
modificaSi 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
modificaLa 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
modificaL'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
modificaLe 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
modificala 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
modificaIl concetto di sequenza polinomiale di tipo binomiale ha applicazioni in combinatorica, probabilità, statistica, e in una varietà di altri campi.
Bibliografia
modifica- (EN) Gian-Carlo Rota, Andrew Odlyzko e David Kahaner, Finite operatore Calculus. Journal of Mathematical Analysis and its Applications, 1973. 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.
- (EN) Ronald Mullin e Gian-Carlo Rota, On the Foundations of Combinatorial Theory III: Theory of Binomial Enumeration, New York, Academic Press, 1970, ISBN 978-01-23-26850-1. contenuto in "Graph Theory and Its Applications" di Bernard Harris. Come suggerisce lo stesso titolo, questo testo riguarda esplicitamente le applicazioni alla enumerazione combinatoria.