Теневое исчисление
Теневое исчисление (от англ. Umbral calculus, далее от лат. umbra — «тень») — математический метод получения некоторых алгебраических тождеств. До 1970-х термин относился к схожести некоторых внешне несвязанных алгебраических тождеств, а также к техникам, использованных для доказательства этих тождеств. Эти техники предложил Джон Блиссард[1] и они иногда называются символическим методом Блиссарда. Их часто приписывают Эдуарду Люка (или Джеймсу Джозефу Сильвестру), которые их интенсивно использовали[2].
В 1970-х Стивен Роман, Джан-Карло Рота и другие разработали теневое исчисление в смысле линейных функционалов на пространстве многочленов. В настоящее время теневое исчисление относится к изучению последовательностей Шеффера[англ.], включая последовательности многочленов биномиального типа[англ.] и последовательности Аппеля, но может включать техники исчисления конечных разностей.
Метод является процедурой обозначений, используемых для получающихся тождеств, вовлекающих индексированные последовательности чисел, предполагая, что индексы являются степенями. Буквальное использование абсурдно, но работает успешно — тождества, полученные с помощью теневого исчисления, могут быть должным образом получены с помощью более сложных методов, которые могут быть использованы буквально без логических трудностей.
Пример использует многочлены Бернулли. Рассмотрим, например, обычное биномиальное разложение (которое содержит биномиальные коэффициенты):
Эти сходства позволяют построить теневые доказательства, которые, на первый взгляд, не могут быть верны, но всё же работают. Так, для примера, если считать, что индекс является степенью:
В формулах выше является «umbra» (латинское слово, обозначающее «тень»).
