Последовательность Шеффера - Sheffer sequence

В математика, а Последовательность Шеффера или же poweroid это полиномиальная последовательность, т.е. последовательность {п_п(Икс) : п = 0, 1, 2, 3, ... } из многочлены в котором индекс каждого многочлена равен его степень, удовлетворяющие условиям, связанным с темный камень в комбинаторике. Они названы в честь Исадор М. Шеффер.

Определение

Зафиксируем полиномиальную последовательность п_п. Определите линейный оператор Q на многочленах от Икс к

${\displaystyle Qp_{n}(x)=np_{n-1}(x)\,.}$

Это определяет Q на всех многочленах. Полиномиальная последовательность п_п это Последовательность Шеффера если линейный оператор Q только что определено сдвиг-эквивариантный. Здесь мы определяем линейный оператор Q на многочленах быть сдвиг-эквивариантный если, когда ж(Икс) = грамм(Икс + а) = Т_а грамм(Икс) представляет собой «сдвиг» грамм(Икс), тогда (Qf)(Икс) = (Qg)(Икс + а); т.е. Q ездит с каждым оператор смены: Т_аQ =QT_а. Такой Q это дельта-оператор.

Характеристики

Набор всех последовательностей Шеффера представляет собой группа под управлением умбральный состав полиномиальных последовательностей, определяемых следующим образом. Предполагать {п_п(Икс) : п = 0, 1, 2, 3, ...} и {q_п(Икс) : п = 0, 1, 2, 3, ...} - полиномиальные последовательности, заданные формулой

${\displaystyle p_{n}(x)=\sum _{k=0}^{n}a_{n,k}x^{k}\ {\mbox{and}}\ q_{n}(x)=\sum _{k=0}^{n}b_{n,k}x^{k}.}$

Тогда мрачная композиция ${\displaystyle p\circ q}$ - последовательность полиномов, п-й член

${\displaystyle (p_{n}\circ q)(x)=\sum _{k=0}^{n}a_{n,k}q_{k}(x)=\sum _{0\leq k\leq \ell \leq n}a_{n,k}b_{k,\ell }x^{\ell }}$

(нижний индекс п появляется в п_п, так как это п член этой последовательности, но не в q, поскольку это относится к последовательности в целом, а не к одному из ее членов).

Нейтральный элемент этой группы - стандартный мономиальный базис

${\displaystyle e_{n}(x)=x^{n}=\sum _{k=0}^{n}\delta _{n,k}x^{k}.}$

Две важные подгруппы - это группа Последовательности апелляций, которые представляют собой те последовательности, для которых оператор Q просто дифференциация, и группа последовательностей биномиальный тип, которые удовлетворяют тождеству

${\displaystyle p_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}p_{k}(x)p_{n-k}(y).}$

Последовательность Шеффера {п_п(Икс) : п = 0, 1, 2,. . . } имеет биномиальный тип тогда и только тогда, когда оба

${\displaystyle p_{0}(x)=1\,}$

и

${\displaystyle p_{n}(0)=0{\mbox{ for }}n\geq 1.\,}$

Группа последовательностей Аппеля абелевский; группа последовательностей биномиального типа - нет. Группа последовательностей Аппеля представляет собой нормальная подгруппа; группа последовательностей биномиального типа - нет. Группа последовательностей Шеффера представляет собой полупрямой продукт группы последовательностей Аппеля и группы последовательностей биномиального типа. Отсюда следует, что каждый смежный группы последовательностей Аппеля содержит ровно одну последовательность биномиального типа. Две последовательности Шеффера входят в один такой смежный класс тогда и только тогда, когда оператор Q описанный выше - называется "дельта-оператор "этой последовательности - один и тот же линейный оператор в обоих случаях. (Как правило, дельта-оператор является эквивариантным сдвигу линейным оператором на многочленах, понижающим степень на единицу. Этот термин принадлежит Ф. Хильдебрандту.)

Если s_п(Икс) - последовательность Шеффера и п_п(Икс) - это одна последовательность биномиального типа, которая использует один и тот же дельта-оператор, то

${\displaystyle s_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}p_{k}(x)s_{n-k}(y).}$

Иногда термин Последовательность Шеффера является определенный означать последовательность, которая имеет это отношение к некоторой последовательности биномиального типа. В частности, если {s_п(Икс)} - последовательность Аппеля, то

${\displaystyle s_{n}(x+y)=\sum _{k=0}^{n}{n \choose k}x^{k}s_{n-k}(y).}$

Последовательность Полиномы Эрмита, последовательность Полиномы Бернулли, а мономы { Икс^п : п = 0, 1, 2, ...} являются примерами последовательностей Аппеля.

Последовательность Шеффера п_п характеризуется своим экспоненциальная производящая функция

${\displaystyle \sum _{n=0}^{\infty }{\frac {p_{n}(x)}{n!}}t^{n}=A(t)\exp(xB(t))\,}$

куда А и B являются (формальными) степенными рядами в т. Таким образом, последовательности Шеффера являются примерами обобщенные полиномы Аппеля и, следовательно, имеют связанный отношение повторения.

Примеры

Примеры полиномиальных последовательностей, которые являются последовательностями Шеффера, включают:

• В Полиномы Абеля;
• В Полиномы Бернулли;
• Центральные факториальные многочлены;
• В Полиномы Эрмита;
• В Полиномы Лагерра;
• В Полиномы Малера;
• В мономы { Икс^п : п = 0, 1, 2, ... } ;
• В Полиномы Мотта;

Рекомендации

• Рота, Г.-К.; Kahaner, D .; Одлызко, А. (Июнь 1973 г.). «Об основах комбинаторной теории VIII: конечно-операторное исчисление». Журнал математического анализа и приложений. 42 (3): 684–750. Дои:10.1016 / 0022-247X (73) 90172-8. Перепечатано в следующей ссылке.
• Рота, Г.-К.; Doubilet, P .; Greene, C .; Kahaner, D .; Одлызко, А .; Стэнли, Р. (1975). Конечное операторное исчисление. Академическая пресса. ISBN  0-12-596650-4.
• Шеффер, И.М. (1939). «Некоторые свойства полиномиальных множеств нулевого типа». Математический журнал герцога. 5 (3): 590–622. Дои:10.1215 / S0012-7094-39-00549-1.
• Роман, Стивен (1984). Темное исчисление. Чистая и прикладная математика. 111. Лондон: Academic Press Inc. [издательство Harcourt Brace Jovanovich Publishers]. ISBN  978-0-12-594380-2. МИСТЕР  0741185. Перепечатано Dover, 2005.

внешняя ссылка

• Вайсштейн, Эрик В. "Последовательность Шеффера". MathWorld.