Privacy Policy Cookie Policy Terms and Conditions Calcolo umbrale - Wikipedia

Calcolo umbrale

Da Wikipedia, l'enciclopedia libera.

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 Edouard 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 primariamente uno strumento per lo studio delle sequenze di Sheffer, e in particolare delle sequenze polinomiali di tipo binomiale e delle sequenze di Appell.

Indice

[modifica] Il calcolo umbrale del XIX secolo

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 concernente i polinomi di Bernoulli. Consideriamo, in particolare, l'ordinario sviluppo binomiale

(x+y)^n=\sum_{k=0}^n{n\choose k}x^{n-k} y^k

e la relazione tra polinomi di Bernoulli che presenta un aspetto straordinariamente simile:

B_n(x+y)=\sum_{k=0}^n{n\choose k}B_{n-k}(x) y^k .

Confrontiamo anche la ben nota regola di derivazione

\frac{d}{dx} x^n = nx^{n-1}

con la strettamente somigliante relazione fra polinomi di Bernoulli:

\frac{d}{dx} B_n(x) = nB_{n-1}(x) .

Queste somiglianze consentono di individuare "dimostrazioni umbrali" che, nell'ambito della usuale analisi matematica non trovano alcune garanzia di correttezza, ma tuttavia per qualche motivo funzionano. Ad esempio, imponendo che il deponente nk sia un esponente:

B_n(x)=\sum_{k=0}^n {n\choose k}b^{n-k}x^k=(b+x)^n ;

in seguito differenziando si ottiene il risultato desiderato:

B_n'(x)=n(b+x)^{n-1}=nB_{n-1}(x) \, .

La precedente variabile b con un latinismo viene chiamata "umbra".

[modifica] Bell e Riordan

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.

[modifica] Il calcolo umbrale moderno

Negli anni 1960 Gian-Carlo Rota ha trovato che il mistero si dirada se si considera il funzionale lineare L sui polinomi nella variabile y definito dalle richieste

L(y^n) := B_n(0) = B_n.\,

Questo funzionale permette di scrivere

B_n(x)=\sum_{k=0}^n{n\choose k}B_{n-k}x^k=\sum_{k=0}^n{n\choose k}L(y^{n-k})x^k=L\left(\sum_{k=0}^n{n\choose k}y^{n-k}x^k\right)=L((y+x)^n),

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 x, nella quale il prodotto L1L2 di funzionali lineari viene definito come

\langle L_1 L_2 \mid x^n \rangle = \sum_{k=0}^n {n \choose k}\langle L_1 \mid x^k\rangle \langle L_2 \mid x^{n-k} \rangle.

Quando sequenze polinomiali rimpiazzano successioni di numeri come immagini degli yn per applicazione della trasformazione lineare L, 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.

[modifica] Bibliografia

  • 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.
Altre lingue
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu