Shadow calculus (din engleză Umbral calculus , mai departe din latinescul umbra - „umbră”) este o metodă matematică de obținere a unor identități algebrice. Până în anii 1970, termenul se referea la asemănarea anumitor identități algebrice aparent neînrudite , precum și la tehnicile folosite pentru a dovedi acele identități. Aceste tehnici au fost propuse de John Blissard [1] și sunt uneori denumite metoda simbolică a lui Blissard . Ele sunt adesea atribuite lui Edward Lucas (sau James Joseph Sylvester ) care le-a folosit pe scară largă [2] .
În anii 1930 și 1940, Eric Temple Bell a încercat să pună calculul umbră pe o bază strictă.
În anii 1970 Stephen Roman, Gian-Carlo Rota și alții au dezvoltat calculul umbrei în sensul funcționalelor liniare pe spațiul polinoamelor. În prezent, calculul umbră se referă la studiul secvențelor Schaeffer , inclusiv secvențe de polinoame de tip binomial și secvențe Appel , dar poate include tehnici de calcul cu diferențe finite .
Metoda este o procedură de notare utilizată pentru identitățile rezultate care implică secvențe de numere indexate, presupunând că indicii sunt puteri ale . Utilizarea literală este absurdă, dar funcționează cu succes - identitățile obținute folosind calculul umbră pot fi obținute corect folosind metode mai complexe care pot fi folosite literal fără dificultăți logice.
Exemplul folosește polinoame Bernoulli . Luați în considerare, de exemplu, expansiunea binomială obișnuită (care conține coeficienți binomiali ):
și o relație de aspect remarcabil de similară pentru polinoamele Bernoulli :
De asemenea, comparăm prima derivată
cu o relație foarte similară pentru polinoamele Bernoulli:
Aceste asemănări permit construirea unor dovezi în umbră care, la prima vedere, pot să nu fie adevărate, dar încă funcționează. Deci, de exemplu, dacă considerăm că indicele este un grad:
după diferențiere, obținem rezultatul dorit:
În formulele de mai sus este „umbra” (cuvântul latin pentru „umbră”).
Vezi și formula Faulhaber .
Conexiuni similare au fost observate și în teoria diferențelor finite . Versiunea umbră a seriei Taylor este dată de expresii similare folosind diferențele din partea dreaptă a polinomului ,
Unde
este simbolul Pochhammer , folosit aici pentru a reprezenta factorialul descrescător. O relație similară este valabilă pentru diferențele din stânga și factorii crescători.
Aceste serii sunt cunoscute și ca seria lui Newton sau expansiunea din dreapta lui Newton . Un analog al expansiunii Taylor este utilizat în calculul diferențelor finite .
În anii 1930 și 1940, Eric Temple Bell a încercat fără succes să facă acest tip de argument riguros din punct de vedere logic. John Riordan, care a lucrat în domeniul combinatoriei, a folosit această tehnică pe scară largă în cartea sa Combinatorial Identities (Combinatorial Identities), publicată în anii 1960.
Un alt om de știință din domeniul combinatoriei, Gian-Carlo Rota, a subliniat că misterul dispare dacă luăm în considerare o funcțională liniară peste polinoame din , definită ca
Apoi, folosind definiția polinoamelor Bernoulli și definiția liniarității , se poate scrie
Acest lucru vă permite să înlocuiți intrarea cu , adică să treceți de la indexul inferior la cel superior (operația cheie a calculului umbră). De exemplu, acum putem demonstra asta
prin extinderea laturii drepte
Rota a susținut ulterior că o mare parte a confuziei a provenit din eșecurile de a face distincția între cele trei relații de echivalență care apar în acest domeniu.
Într-o lucrare din 1964, Rota a folosit metode umbre pentru a stabili o formulă de recursivitate care este satisfăcută de numerele Bell , care numără numărul de partiții ale mulțimilor finite.
În articolul lui Roman și Rota [3] , calculul de umbre este descris ca studiul unei algebre de umbră (algebră umbrală) definită ca o algebră a funcționalelor liniare peste un spațiu vectorial de polinoame cu un produs al funcționalelor liniare definite ca
Dacă o secvență de polinoame înlocuiește o secvență de numere ca imagini sub o mapare liniară , metoda umbrei pare a fi o parte esențială a teoriei generale a polinoamelor speciale a lui Roth, iar această teorie este calculul umbrelor în cadrul unor definiții mai moderne ale termenului [4]. ] . Un mic exemplu al acestei teorii poate fi găsit în articolul despre succesiunea de polinoame de tip binom . Un alt articol este Schaeffer Sequence .
Rota a aplicat mai târziu calculul umbrei într-o lucrare comună cu Shen pentru a studia diferite proprietăți combinatorii ale semi-invarianților [5] .