Sequenza di tipo binomiale

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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[modifica | modifica wikitesto]

  • In conseguenza della definizione, il teorema binomiale può essere enunciato dicendo che la sequenza polinomiale { xn : n = 0, 1, 2, ... } è di tipo binomiale.
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.
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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

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

Bibliografia[modifica | modifica wikitesto]

  • (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.
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica