Calcul de umbră

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 .

Calcul de umbre în secolul al XIX-lea

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 .

Umbra lui Taylor se clasează

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 .

Bell și Riordan

Î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.

Calcul modern al umbrelor

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] .

Note

  1. Blissard, 1861 .
  2. Bell, 1938 , p. 414–421.
  3. Roman, Rota, 1978 , p. 95–188.
  4. Rota, Kahaner, Odlyzko, 1973 , p. 684.
  5. Rota, Shen, 2000 , p. 283–304.

Literatură

Link -uri