40
правок
Изменения
Произведение Адамара, Начало
Выражение в правой части равенства называется квазимногочленом от переменной <tex>n</tex>.}}
===Доказательство===
<tex>\Rightarrow</tex>
Заметим прежде всего, что производящая функция <tex>(1 - q s)^{-k}</tex> имеет вид
Коэффициент при <tex>s^n</tex> в этой производящей функции равен
<tex>\frac{(n + 1)(n + 2)\dots(n + k - 1)}{(k - 1)!} q^{n} = P_{k - 1}(n) q^{n}</tex>,
где <tex>P_{k - 1}(n)</tex> {{---}} многочлен от <tex>n</tex> степени <tex>k - 1</tex>. Всякая рациональная функция от переменной <tex>s</tex> представляется в виде линейной комбинации многочлена и элементарных дробей вида <tex>(1 - q_i s)^{-k_i}</tex>, поэтому коэффициенты соответствующей производящей функции являются квазимногочленами.
<tex>\Leftarrow</tex>
Наоборот, предположим, что коэффициенты производящей функции, начиная с некоторого номера, представляются в виде квазимногочлена. Покажем, что в случае квазимногочлена <tex>p(n) q^{n}</tex> соответствующая производящая функция рациональна. Пусть степень многочлена <tex>p</tex> равна <tex>k - 1</tex>. Многочлены <tex>P_0, P_1, \dots, P_{k - 1}</tex>, определенные равенством (2.11PRAVKAAAA), образуют базис в пространстве многочленов степени не выше <tex> k - 1</tex>. Действительно, любая последовательность многочленов степеней <tex>0, 1, \dots, k - 1</tex> образует базис в этом пространстве. Поэтому многочлен <tex>p</tex> представляется в виде линейной комбинации многочленов <tex>P_i</tex> и соответствующая производящая функция есть просто линейная комбинация функций <tex>(1 - q s)^{-j}</tex>, <tex>j = 0, 1, \dots, k - 1</tex>.
Для произвольного квазимногочлена мы получаем линейную комбинацию функций такого вида при разных <tex>q_i</tex>.Лемма доказана.
