Calcolo umbrale
In matematica, prima degli anni 1970, con il termine calcolo umbrale si indicavano le sorprendenti somiglianze tra molte equazioni polinomiali allora prive di collegamenti logici, nonché certe tecniche poco giustificate che potevano essere usate per 'dimostrare' tali equazioni. Queste tecniche erano state introdotte nel XIX secolo e da taluni sono state chiamate metodo simbolico di Blissard, da altri sono state attribuite a James Joseph Sylvester (che le ha utilizzate ampiamente) e da altri ancora a Édouard Lucas.
Negli anni 1930 e 1940 Eric Temple Bell ha cercato di fornire il calcolo umbrale di fondamenti rigorosi, riuscendoci solo in parte.
Negli anni 1970 Gian-Carlo Rota, Steven Roman e altri sono riusciti a sviluppare il calcolo umbrale sulla solida base dei funzionali lineari sugli spazi di polinomi. Attualmente il calcolo umbrale viene considerato essenzialmente uno strumento per lo studio delle sequenze di Sheffer, e in particolare delle sequenze polinomiali di tipo binomiale e delle sequenze di Appell.
Il calcolo umbrale del XIX secolo
[modifica | modifica wikitesto]Questo metodo si può considerare uno strumento notazionale che consente di derivare identità che riguardano successioni numeriche trattando gli indici dei componenti come se fossero esponenti. Questo scambio di ruoli, anche se ingiustificato, si rivela efficace; le identità derivate mediante questo calcolo umbrale possono essere ricavate anche con procedimenti più complicati che possono essere giustificati senza difficoltà logiche. Presentiamo un esempio riguardante i polinomi di Bernoulli. Consideriamo, in particolare, l'ordinario sviluppo binomiale
e la relazione tra polinomi di Bernoulli che presenta un aspetto sorprendentemente simile:
Confrontiamo anche la ben nota regola di derivazione
con la strettamente somigliante relazione fra polinomi di Bernoulli:
Queste somiglianze consentono di individuare "dimostrazioni umbrali" che, nell'ambito della usuale analisi matematica non trovano alcuna garanzia di correttezza, e che tuttavia per qualche motivo funzionano. Ad esempio, imponendo che il deponente sia un esponente:
in seguito differenziando si ottiene il risultato desiderato:
La precedente variabile con un latinismo viene chiamata "umbra".
Bell e Riordan
[modifica | modifica wikitesto]Negli anni 1930 e 1940 Eric Temple Bell ha cercato con poco successo di rendere logicamente rigorose le argomentazioni di questo genere. Il combinatorialista John Riordan nel suo testo intitolato Combinatorial Identities pubblicato negli anni 1960, ha ampiamente utilizzato tecniche di questo genere.
Il calcolo umbrale moderno
[modifica | modifica wikitesto]Negli anni 1960 Giancarlo Rota ha trovato che il mistero si dirada se si considera il funzionale lineare sui polinomi nella variabile definito dalle richieste
Questo funzionale permette di scrivere
e così via. Rota successivamente ha rilevato che molta confusione sull'argomento dipendeva dalla mancata distinzione fra tre relazioni di equivalenza che si incontrano frequentemente in questi discorsi, relazioni tutte denotate con il segno "=".
In un articolo pubblicato nel 1964, Rota ha utilizzato metodi umbrali per determinare la formula di ricorrenza soddisfatta dai numeri di Bell, che enumerano le partizioni di insiemi finiti.
Nell'articolo di Roman e Rota citato nella bibliografia, il calcolo umbrale viene ridefinito come lo studio dell'algebra umbrale, struttura definita come l'algebra dei funzionali lineari sullo spazio vettoriale dei polinomi in una variabile , nella quale il prodotto di funzionali lineari viene definito come
Quando sequenze polinomiali rimpiazzano successioni di numeri come immagini degli per applicazione della trasformazione lineare , allora il metodo umbrale si vede costituire un componente essenziale della teoria generale dei polinomi speciali di Rota e questa teoria è il calcolo umbrale secondo alcune definizioni più moderne di questa metodologia. Un primo campione di questa teoria si trova nell'articolo sulle sequenze polinomiali di tipo binomiale. Altri elementi si trovano nell'articolo intitolato sequenza di Sheffer.
Bibliografia
[modifica | modifica wikitesto]- Steven Roman, Gian-Carlo Rota (1978): The Umbral Calculus, Advances in Mathematics, volume 27, pp. 95–188.
- Gian-Carlo Rota, D. Kahaner, Andrew Odlyzko (1973): Finite Operator Calculus Journal of Mathematical Analysis and its Applications, 42, 3, pp. 684–760. Ristampato come libro con lo stesso titolo da Academic Press nel 1975.
- Steven Roman (1984): The Umbral Calculus, Academic Press.
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Calcolo umbrale, su MathWorld, Wolfram Research.