Биномиальный тип - Binomial type
Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты.Март 2013 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
В математика, а полиномиальная последовательность, т.е. последовательность многочлены проиндексированы неотрицательными целыми числами в котором индекс каждого многочлена равен его степень, как говорят, биномиальный тип если он удовлетворяет последовательности тождеств
Существует много таких последовательностей. Набор всех таких последовательностей образует Группа Ли под действием умбральной композиции, объясненной ниже. Каждая последовательность биномиального типа может быть выражена через Полиномы Белла. Каждая последовательность биномиального типа является Последовательность Шеффера (но большинство последовательностей Шеффера не биномиального типа). Полиномиальные последовательности прочно обосновали расплывчатые представления XIX века о темный камень.
Примеры
- Вследствие этого определения биномиальная теорема можно сказать, сказав, что последовательность { Иксп : п = 0, 1, 2, ...} имеет биномиальный тип.
- Последовательность "нижние факториалы "определяется
- (В теории специальных функций эти же обозначения обозначают верхние факториалы, но это нынешнее употребление универсально среди комбинаторщики.) Продукт считается 1, если п = 0, поскольку в этом случае пустой продукт. Эта полиномиальная последовательность имеет биномиальный тип.
- Аналогичным образом "верхние факториалы "
- представляют собой полиномиальную последовательность биномиального типа.
- представляют собой полиномиальную последовательность биномиального типа.
- куда S(п, k) - количество разделов набора размером п в k непересекающиеся непустые подмножества, является полиномиальной последовательностью биномиального типа. Эрик Темпл Белл назвал их «экспоненциальными многочленами», и этот термин также иногда встречается в литературе. Коэффициенты S(п, k ) находятся "Числа Стирлинга второго рода ». Эта последовательность любопытно связана с распределение Пуассона: Если Икс это случайная переменная с распределением Пуассона с математическим ожиданием λ, то E (Иксп) = пп(λ). В частности, при λ = 1 мы видим, что п-й момент распределения Пуассона с математическим ожиданием 1 - это количество разбиений набора размера п, называется пth Номер звонка. Этот факт о п-й момент этого конкретного распределения Пуассона равен "Формула Добинского ".
Характеризация дельта-операторами
Можно показать, что полиномиальная последовательность { пп(Икс) : п = 0, 1, 2, ...} имеет биномиальный тип тогда и только тогда, когда выполняются все три из следующих условий:
- В линейное преобразование на пространстве многочленов от Икс который характеризуется
- является сдвиг-эквивариантный, и
- п0(Икс) = 1 для всех Икс, и
- пп(0) = 0 для п > 0.
(Утверждение, что этот оператор эквивариантно сдвигу, то же самое, что сказать, что полиномиальная последовательность является Последовательность Шеффера; набор последовательностей биномиального типа должным образом включен в набор последовательностей Шеффера.)
Дельта-операторы
Это линейное преобразование явно дельта-оператор, т.е. линейное преобразование, эквивариантное сдвигу на пространстве многочленов от Икс который уменьшает степени многочленов на 1. Наиболее очевидными примерами дельта-операторов являются операторы разницы и дифференциация. Можно показать, что любой дельта-оператор может быть записан как степенной ряд формы
куда D является дифференцированием (обратите внимание, что нижняя грань суммирования равна 1). Каждый дельта-оператор Q имеет уникальную последовательность «основных полиномов», то есть последовательность полиномов, удовлетворяющую
Это было показано в 1973 г. Рота, Каханер и Одлызко, что полиномиальная последовательность имеет биномиальный тип тогда и только тогда, когда она является последовательностью основных полиномов некоторого дельта-оператора. Таким образом, этот абзац представляет собой рецепт для создания любого количества полиномиальных последовательностей биномиального типа.
Характеризация полиномами Белла
Для любой последовательности а1, а2, а3, ... скаляров, пусть
куда Bп,k(а1, ..., ап−k+1) это Полином Белла. Тогда эта полиномиальная последовательность имеет биномиальный тип. Обратите внимание, что для каждого п ≥ 1,
Вот главный результат этого раздела:
Теорема: Все полиномиальные последовательности биномиального типа имеют этот вид.
Результат у Муллина и Роты, повторенный у Рота, Каханера и Одлыжко (см. Рекомендации ниже) утверждает, что каждая полиномиальная последовательность {пп(Икс) }п биномиального типа определяется последовательностью {пп′(0) }п, но в этих источниках многочлены Белла не упоминаются.
Эта последовательность скаляров также связана с дельта-оператором. Позволять
потом
является дельта-оператором этой последовательности.
Характеристика тождеством свертки
Для последовательностей ап, бп, п = 0, 1, 2, ..., определим своего рода свертка к
Позволять быть п-й член последовательности
Тогда для любой последовательности ая, я = 0, 1, 2, ..., с а0 = 0, последовательность, определяемая п0(Икс) = 1 и
за п ≥ 1, имеет биномиальный тип, и каждая последовательность биномиального типа имеет этот вид.
Характеризация производящими функциями
Полиномиальные последовательности биномиального типа - это в точности те, у которых производящие функции формальные (не обязательно сходящиеся) степенной ряд формы
куда ж(т) - формальный степенной ряд, постоянный срок равен нулю, а член первой степени не равен нулю. Это можно показать, используя версию Power-series. Формула Фаа ди Бруно это
Дельта-оператор последовательности ж−1(D), так что
Способ думать об этих производящих функциях
Коэффициенты в произведении двух формальных степенных рядов
и
находятся
(смотрите также Продукт Коши ). Если мы подумаем о Икс как параметр, индексирующий семейство таких степенных рядов, тогда биномиальная идентичность фактически говорит, что степенной ряд, индексируемый Икс + у является продуктом тех, которые проиндексированы Икс и по у. Таким образом Икс является аргументом функции, которая отображает суммы в продукты: экспоненциальная функция
куда ж(т) имеет вид, указанный выше.
Умбральная композиция полиномиальных последовательностей
Множество всех полиномиальных последовательностей биномиального типа является группа в котором групповая операция представляет собой «умственную композицию» полиномиальных последовательностей. Эта операция определяется следующим образом. Предполагать { пп(Икс) : п = 0, 1, 2, 3, ...} и { qп(Икс) : п = 0, 1, 2, 3, ...} - полиномиальные последовательности, а
Тогда мрачная композиция п о q - последовательность полиномов, п-й член
(нижний индекс п появляется в пп, так как это п член этой последовательности, но не в q, поскольку это относится к последовательности в целом, а не к одному из ее членов).
С дельта-оператором, определяемым степенным рядом в D Как и выше, естественная биекция между дельта-операторами и полиномиальными последовательностями биномиального типа, также определенная выше, является групповым изоморфизмом, в котором групповая операция над степенным рядом является формальной композицией формальных степенных рядов.
Кумулянты и моменты
Последовательность κп коэффициентов членов первой степени в полиномиальной последовательности биномиального типа можно назвать кумулянты полиномиальной последовательности. Можно показать, что вся полиномиальная последовательность биномиального типа определяется своими кумулянтами, как это обсуждается в статье под названием кумулянт. Таким образом
- то пй кумулянт
и
- то пый момент.
Это «формальные» кумулянты и «формальные» моменты, в отличие от кумулянтов распределение вероятностей и моменты вероятностного распределения.
Позволять
- (формальная) кумулянт-производящая функция. потом
- дельта-оператор, связанный с полиномиальной последовательностью, т. е. имеем
Приложения
Концепция биномиального типа находит применение в комбинаторика, вероятность, статистика, и множество других полей.
Смотрите также
- Список факториальных и биномиальных тем
- Биномиальный-QMF (Вейвлет-фильтры Добеши)
Рекомендации
- Г.-К. Рота, Д. Каханер и А. Одлызко, «Исчисление конечных операторов», Журнал математического анализа и его приложений, т. 42, нет. 3 июня 1973 г. Перепечатано в книге с тем же названием, Academic Press, New York, 1975.
- Р. Муллин, Г.-К. Рота, "Об основах комбинаторной теории III: теория биномиального перечисления", в Теория графов и ее приложенияпод редакцией Бернарда Харриса, Academic Press, Нью-Йорк, 1970.
Как следует из названия, второе из вышеперечисленных явно касается приложений для комбинаторный перечисление.
- ди Буккьянико, Алессандро. Вероятностные и аналитические аспекты мрачного исчисления, Амстердам, CWI, 1997.
- Вайсштейн, Эрик В. «Последовательность биномиального типа». MathWorld.