Лекция
Привет, Вы узнаете о том , что такое убывающий факториал, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое убывающий факториал, возрастающий факториал , настоятельно рекомендую прочитать все из категории Дискретная математика. Теория множеств . Теория графов . Комбинаторика..
убывающий факториал (иногда употребляются названия нижний, постепенно убывающий или нисходящий факториал) записывается с использованием символа Похгаммера и определяется как
возрастающий факториал (иногда употребляются названия функция Похгаммера, многочлен Похгаммера , верхний, постепенно возрастающий или восходящий факториал ) определяется как
Значение обоих факториалов принимается равным 1 (пустое произведение ) для n = 0.
Символ Похгаммера, который предложил Лео Август Похгаммер, — это обозначение , где n
— неотрицательное целое. В зависимости от контекста, символ Похгаммера может представлять убывающий факториал или возрастающий факториал, определенные выше. Необходимо проявлять осторожность при интерпретации символа в каждой конкретной статье. Сам Похгаммер использовал обозначение
с совершенно другим смыслом, а именно для обозначения биномиального коэффициента
.
В данной статье символ используется для представления убывающего факториала, а символ x(n)
— для возрастающего факториала. Эти соглашения приняты в комбинаторике . В теории специальных функций (в частности, гипергеометрической функции) символ Похгаммера
используется для представления возрастающего факториала Полезный список формул для манипуляции с возрастающими факториалами в этой последней нотации дан в книге Люси Слейтер. Кнут использовал термин факториальные степени, которые включают возрастающие и убывающие факториалы
Если x — неотрицательное целое число, то дает число n-перестановок x-элементного множества или, эквивалентно, число инъекций из множества с n элементами в множество размера x. Однако для этих значений используются другие обозначения, такие как и P(x,n). Символ Похгаммера используется большей частью для алгебраических целей, например, когда x является неизвестной величиной, и в этом случае
означает определенный многочлен от x степени n.
Несколько первых возрастающих факториалов:
Несколько первых убывающих факториалов:
Коэффициенты, получающиеся при раскрытии скобок, являются числами Стирлинга первого рода.
Возрастающий и убывающий факториалы можно использовать для выражения биномиальных коэффициентов:
и (x)nn!=(xn).
Тогда многие тождества для биномиальных коэффициентов переносятся на возрастающие и убывающие факториалы.
Возрастающий факториал можно выразить через убывающий факториал, начинающийся с другого конца,
или как убывающий факториал с противоположным аргументом,
Возрастающий и убывающий факториалы вполне определены в любом унитальном кольце, а потому x может быть, например, комплексным числом, отрицательным числом, многочленом с комплексными коэффициентами или любой комплексной функцией.
Возрастающий факториал можно расширить на вещественные значения n с помощью гамма-функции:
и таким же образом убывающий факториал:
Если обозначить через D взятие производной от x, получим
Символ Похгаммера является неотъемлемой частью определения гипергеометрической функции — гипергеометрическая функция определена для |z| < 1 степенным рядом
при условии, что c не равно 0, −1, −2, ... Об этом говорит сайт https://intellect.icu . . Заметим, однако, что в литературе о гипергеометрической функции для возрастающего факториала используется обозначение (a)n.
Убывающий факториал встречается в формуле, которая представляет многочлены с использованием оператора конечной разности △ и которая формально подобна теореме Тейлора. В этой формуле и многих других местах убывающий факториал
при вычислении конечных разностей играет роль
при вычислении производной. Заметим, например, похожесть
на
Похожие факты имеют место для возрастающих факториалов.
Изучение аналогий этого типа известно как «теневое исчисление». Основная теория, описывающая такие отношения, включая убывающие и возрастающие функции, рассматривается в теории последовательностей многочленов биномиального типа и последовательностей Шеффера . Возрастающие и убывающие факториалы являются последовательностями Шеффера биномиального типа, что показывают следующие соотношения:
где коэффициенты те же самые, что и при разложении в степенной ряд биномиального тождества Вандермонда).
Аналогично, генерирующая функция многочленов Похгаммера тогда равна сумме теневых экспонент,
так как .
Убывающие и возрастающие факториалы связаны друг с другом с помощью чисел Лаха и с помощью сумм целых степеней переменной x, используя числа Стирлинга второго рода, следующим образом (здесь
):
Поскольку убывающие факториалы являются базисом для кольца многочленов, мы можем выразить произведение двух из них в виде линейной комбинации убывающих факториалов:
Коэффициенты при (x)m+n−k называются коэффициентами связи и имеют комбинаторную интерпретацию как число способов склеить k элементов из множества из m элементов и множества из n элементов. Мы имеем также формулу связи для отношения двух символов Похгаммера
Кроме того, с помощью следующих тождеств:
возрастающие и убывающие факториалы могут быть обобщены для отрицательных порядков:
Наконец, формула удвоения и формулы умножения для возрастающих факториалов дают следующие отношения:
Альтернативное обозначение для возрастающего факториала
для целого m≥0,
И для убывающего факториала
для целого m≥0;
восходит к А. Капелли (1893) и Л. Тоскано (1939) соответственно . Грэм, Кнут и Паташник предложили произносить это выражение как "повышение x на m" и "понижение x на m" соответственно.
Другие обозначения для убывающего факториала включают или xPn
. (См. статьи «Перестановка» и «Сочетание».)
Альтернативное обозначение для возрастающего факториала x(n)
употребляется реже. Во избежание путаницы в случае, когда используется обозначение
для возрастающего факториала, для обычного убывающего факториала используется обозначение
.
Символ Похгаммера имеет обобщенную версию, называемую обобщенным символом Похгаммера и используется в многомерном анализе. Имеется также q-аналог, q-символ Похгаммера.
Обобщение убывающего факториала, в котором функция вычисляется на убывающей арифметической прогрессии:
.
Соответствующее обобщение возрастающего факториала
Это обозначение объединяет возрастающий и убывающий факториалы, которые равны и
соответственно.
Для любой фиксированной арифметической функции f:N→C и символических параметров x,t
, связанные обобщенные произведения вида
можно изучать с точки зрения классов обобщенных чисел Стирлинга первого рода, определенных с помощью следующих коэффициентов при x в разложении , а затем с помощью следующего рекуррентного соотношения:
Эти коэффициенты удовлетворяют многочисленным свойствам, аналогичным свойствам чисел Стирлинга первого рода, а также рекуррентным отношениям и функциональным равенствам, связанным с f-гармоничными числами [ .
Исследование, описанное в статье про убывающий факториал, подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое убывающий факториал, возрастающий факториал и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Дискретная математика. Теория множеств . Теория графов . Комбинаторика.
Из статьи мы узнали кратко, но содержательно про убывающий факториал
Комментарии