Rachunek umbralny
Termin rachunek umbralny był pierwotnie związany z zaskakującymi podobieństwami pomiędzy pozornie niepowiązanymi równaniami algebraicznymi i pewnymi niejasnymi technikami użytymi w celu ich uzyskania (ale nie udowodnienia). Te techniki zostały wprowadzone przez Johna Blissarda i są czasami nazywane metodą symboliczną Blissarda[1]. Często są one przypisywane innym matematykom (Édouard Lucas, James Joseph Sylvester), którzy wykorzystywali te techniki ekstensywnie[2].
W latach 30. i 40. XX wieku Eric Temple Bell spróbował stworzyć rygorystyczne podstawy rachunku umbralnego.
W latach 70. XX wieku Steven Roman, Gian-Carlo Rota oraz inni rozwinęli rachunek różniczkowy za pomocą funkcjałów liniowych na przestrzeniach wielomianów. Obecnie termin rachunek umbralny odnosi się do badań ciągów Sheffera (w tym ciągi wielomianowe typu dwumianowego i ciągi Appella), ale może obejmować również techniki systematycznej korespondencji skończonego rachunku różnicowego.
Rachunek umbralny w XIX wieku
[edytuj | edytuj kod]Ta metoda jest proceduralną notacją używaną do wyprowadzania tożsamości obejmujących indeksowane sekwencje liczb poprzez udawanie, że indeksy są wykładnikami potęg. Rozumiejąc to dosłownie, jest to absurdalne, lecz skuteczne. Tożsamości wyprowadzone metodą symboliczną Blissarda mogą być odpowiednio wyprowadzone za pomocą bardziej skomplikowanych metod, które mogą być zrozumiane bez żadnych logicznych trudności.
Przykładem są wielomiany Bernoulliego. Ilustrując, rozważając zwykły dwumian Newtona (który zawiera w sobie współczynnik dwumianowy)
oraz podobnie wyglądającą relację na wielomianach Bernoulliego
a także porównanie pochodnej funkcji
do podobnie wyglądającej relacji na wielomianach Bernoulliego
można zauważyć, że te podobieństwa pozwalają na skonstruowanie tzw. dowodu umbralnego, który pozornie nie może być poprawny, ale zdaje się działać mimo wszystko. Zatem przykładowo, poprzez udawanie, że indeks jest wykładnikiem potęgi wiadomym jest, że
Poprzez późniejsze zróżniczkowanie, otrzymany jest oczekiwany wynik:
W powyższym przykładzie, zmienna jest tzw. umbrą (łac. cień).
Umbralny szereg Taylora
[edytuj | edytuj kod]W rachunku różniczkowym szereg Taylora jest nieskończoną sumą wyrażeń zbudowanych na podstawie pochodnej funkcji w jednym punkcie. To znaczy, że oparta na liczbach rzeczywistych bądź zespolonych funkcja odznaczająca się regularnością w może zostać zapisana w sposób następujący:
Podobne relacje zostały zaobserwowane w rachunku różnicowym. Wersja umbralna szeregu Taylora jest dana za pomocą podobnego wyrażenia, zawierającego w sobie -tą różnicę funkcji wielomianowej
gdzie:
jest potęgą kroczącą. Podobna relacja obowiązuje dla różnic wstecznych i silni rosnących.
Ten szereg znany jest również jako szereg Newtona (postać Newtona). Podobieństwo do standardowego szeregu Taylora jest utylizowana w rachunku różnicowym.
Współczesny rachunek umbralny
[edytuj | edytuj kod]Kombinatoryk Gian-Carlo Rota wykazał, że, pomimo historycznej absurdalności, rachunek umbralny ma rzeczywiste podstawy matematyczne. Rozważając funkcjonał liniowy na zdefiniowany jako
a następnie używając definicji wielomianów Bernoulliego i definicji liniowości można zapisać:
Pozwala to na zastąpienie za pomocą co oznacza przeniesienie indeksu do wykładnika, a więc głównej operacji rachunku umbralnego. Przykład takiego podstawienia może wyglądać następująco:
Rota stwierdził później, że konfuzja wynikała z nierozróżnienia trzech relacji równoważności, które często występują w rachunku umbralnym. Wszystkie one były notowane za pomocą znaku równości „”.
W artykule opublikowanym w 1964 roku Rota użył metod umbralnych w celu wyprowadzenia równania rekurencyjnego związanego z liczbami Bella.
W artykule Stevena M. Romana i Gian-Carlo Roty rachunek umbralny został scharakteryzowany jako kategoria algebry umbralnej, dziedziny matematyki zdefiniowanej jako algebra funkcjałów linearnych w przestrzeni wektorowej wielomianów ze zmienną w której iloczyn funkcjałów liniowych zdefiniowany jest jako:
Gdy ciągi wielomianowe zastępują ciągi liczbowe w taki sposób, że wynikiem jest szereg o elementach w postaci spełniający odwzorowanie liniowe wtedy metoda umbralna jest głównym komponentem generalnej teorii specjalnych wielomianów Roty. Ta teoria jest, według pewnych definicji, esencją współczesnego rachunku umbralnego[3].
Rota użył również rachunku umbralnego w znacznym stopniu w innym artykule, by przebadać różne własności kumulant w kombinatoryce[4].
Zobacz też
[edytuj | edytuj kod]Przypisy
[edytuj | edytuj kod]- ↑ John Blissard , Theory of generic equations, „The Quarterly Journal of Pure and Applied Mathematics”, 4, s. 279–305 (ang. • niem.).
- ↑ Eric Temple Bell , The History of Blissard’s Symbolic Method, with a Sketch of its Inventor’s Life, „The American Mathematical Monthly”, 45, 1938, s. 414–421 (ang.).
- ↑ Gian-Carlo Rota , David Kahaner , Andrew Odlyzko , On the foundations of combinatorial theory. VIII. Finite operator calculus, „Journal of Mathematical Analysis and Applications”, 42 (3), 1973, s. 684, DOI: 10.1016/0022-247X(73)90172-8 (ang.).
- ↑ Gian-Carlo Rota , Jianhong Shen , On the Combinatorics of Cumulants, „Journal of Combinatorial Theory, Series A”, 91 (1), 2000, s. 283–304, DOI: 10.1006/jcta.1999.3017, ISSN 0097-3165 [dostęp 2022-08-14] (ang.).
Bibliografia
[edytuj | edytuj kod]- Eric Temple Bell, The History of Blissard’s Symbolic Method, with a Sketch of its Inventor’s Life, The American Mathematical Monthly, Mathematical Association of America, 45 (7), 1938, s. 414–421, DOI: 10.1080/00029890.1938.11990829, ISSN 0002-9890, JSTOR 2304144.
- Steven M. Roman, Gian-Carlo Rota, The umbral calculus, Advances in Mathematics, 27 (2), 1978, s. 85–188, DOI: 10.1016/0001-8708(78)90087-7, ISSN 0001-8708, MR 0485417.
- Gian-Carlo Rota, David Kahaner, Andrew Odlyzko, Finite Operator Calculus, Journal of Mathematical Analysis and its Applications, 42 (3), 1973. Przedruk w książce o tym samym tytule, Academic Press, Nowy Jork, 1975.
- Steven M. Roman, The umbral calculus, Pure and Applied Mathematics, 111, London: Academic Press Inc. [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-594380-2, MR 0741185.
- Steven M. Roman, Umbral calculus, Encyclopedia of Mathematics, EMS Press, 2001.
Linki zewnętrzne
[edytuj | edytuj kod]- Eric Wolfgang Weisstein, Umbral Calculus, MathWorld;
- A. Di Bucchianico, D. Loeb, A Selected Survey of Umbral Calculus, Electronic Journal of Combinatorics;
- Steven M. Roman, The Theory of the Umbral Calculus. I, 1982.