Русская Википедия:Последовательность Аппеля
Последовательность Аппеля — Шаблон:Iw <math>\{p_n(x)\}_{n=0,1,2,\ldots}</math> удовлетворяющая тождеству:
- <math>\frac{d}{dx} p_n(x) = np_{n-1}(x)</math>,
в которой <math>p_0(x)</math> — ненулевая константа.
Названа по имени Поля Эмиля Аппеля. Среди наиболее известных последовательностей Аппеля, помимо тривиального примера <math>\{x^n\}</math>, — многочлены Эрмита, многочлены Бернулли и Шаблон:Iw. Каждая последовательность Аппеля является Шаблон:Iw, но в общем случае последовательности Шеффера не являются последовательностями Аппеля. Последовательности Аппеля имеют вероятностную интерпретацию как системы моментов.
Эквивалентные определения
Следующие условия на последовательностях многочленов эквивалентны определению последовательности Аппеля:
- для некоторой последовательности <math>\{c_{n}\}_{n=0}^{\infty}</math> скаляров с <math>c_0 \neq 0</math>:
- <math>p_n(x) = \sum_{k=0}^n \binom{n}{k} c_k x^{n-k}</math>;
- для той же последовательности скаляров:
- <math>p_n(x) = \left(\sum_{k=0}^\infty \frac{c_k}{k!} D^k\right) x^n</math>, где <math>D = \frac{d}{dx}</math>;
- для <math>n=0,1,2,\ldots</math>:
- <math>p_n(x+y) = \sum_{k=0}^n \binom{n}{k} p_k(x) y^{n-k}</math>.
Рекурсивное задание
Если:
- <math>p_n(x) = \left(\sum_{k=0}^\infty {c_k \over k!} D^k\right) x^n = Sx^n</math>,
где последнее равенство определяет линейный оператор <math>S</math> на пространстве многочленов от <math>x</math>, и:
- <math>T = S^{-1} = \left(\sum_{k=0}^\infty \frac{c_k}{k!} D^k\right)^{-1} = \sum_{k=1}^\infty \frac{a_k}{k!} D^k</math>
— обратный оператор, где коэффициенты <math>a_k</math> являются коэффициентами обратного формального степенного ряда, так что:
- <math>Tp_n(x) = x^n\,</math>,
(в терминологии теневого исчисления часто используют формальный степенной ряд <math>T</math> вместо самой последовательности Аппеля <math>p_n</math>), то имеет место:
- <math>\ln T = \ln \left(\sum_{k=0}^\infty \frac{a_k}{k!} D^k \right) </math>
используя обычное разложение ряда для логарифма <math>\ln(x)</math> и обычное определение композиции формальных рядов. Откуда следует:
- <math>p_{n+1}(x) = (x - (\ln T)')p_n(x)</math>.
(Это формальное дифференцирование ряда по дифференциальному оператору <math>D</math> является примером производной Пинкерле).
В случае многочленов Эрмита это сводится к обычной рекурсивной формуле для этой последовательности.
Подгруппа многочленов Шеффера
Множество всех последовательностей Шеффера замкнуто относительно операции теневой композиции полиномиальных последовательностей, определяемой следующим образом. Пусть <math>\{p_n(x) \colon n=0,1,2,\ldots\}</math> и <math>\{q_n(x) \colon n=0,1,2,\ldots\}</math> — полиномиальные последовательности, заданные следующим образом:
- <math>p_n(x)=\sum_{k=0}^n a_{n,k}x^k \text{ и } q_n(x)=\sum_{k=0}^n b_{n,k}x^k</math>.
Тогда теневая композиция <math>p \circ q </math> — это последовательность многочленов, <math>n</math>-й член которой имеет вид:
- <math>(p_n\circ q)(x)=\sum_{k=0}^n a_{n,k}q_k(x)=\sum_{0\leqslant \ell \leqslant k \leqslant n} a_{n,k}b_{k,\ell}x^\ell</math>
(подстрочный индекс <math>n</math> появляется в <math>p_n</math>, поскольку это <math>n</math>-й член этой последовательности, но не в <math>q</math>, поскольку <math>q</math> здесь относится ко всей последовательности, а не к одному из её членов).
Относительно такой операции множество всех последовательностей Шеффера является неабелевой группой, но множество всех последовательностей Аппеля является абелевой подгруппой. Её абелевость следует из того, что каждая последовательность Аппеля имеет вид:
- <math>p_n(x) = \left(\sum_{k=0}^\infty \frac{c_k}{k!} D^k\right) x^n</math>,
и что теневое произведение последовательностей Аппеля соответствует умножению этих формальных степенных рядов от операторной переменной <math>D</math>.
Литература
- Шаблон:Cite journal
- Шаблон:Cite journal.
- Шаблон:Cite journal Reprinted in the book with the same title, Academic Press, New York, 1975.
- Шаблон:Книга
- Шаблон:Книга
Ссылки
