693
правки
Изменения
→Многочлены Бернулли
Экспоненциальная производящая функция для многочленов Бернулли имеет вид:
<tex>\mathcal{B}(x, s) = \displaystyle\sum\limits_{n=0}^{\infty}B_n(x)\dfrac{s^n}{n!} = \dfrac{s}{e^s - 1}e^{sx}</tex>.
| proof =
Для доказательства теоремы достаточно применить операцию усреднения к левой и правой частям равенства. С одной стороны, мы имеем:
<tex>A(B(x, s)) = \displaystyle\sum\limits_{n=0}^{\infty}A(B_n(x))\dfrac{s^n}{n!} = \sum\limits_{n=0}^{\infty}x^n\dfrac{s^n}{n!} = e^{xs}</tex>.
С другой стороны, имеем:
Доказанная теорема позволяет нам легко выписать экспоненциальную производящую функцию для чисел Бернулли. Для этого достаточно подставить в экспоненциальную производящую функцию для многочленов Бернулли значение <tex>x = 0</tex>:
<tex>\displaystyle\sum\limits_{n=0} B_n\dfrac{s^n}{n!} = \dfrac{s}{e^s - 1}</tex>.
==См. также==
