标签：geq frac sum begin 笔记 学习 binom aligned 伯努利

定义

\[B_n = [n = 0] - \frac 1{n + 1} \sum_{i=0}^{n-1} \binom {n + 1} i B_i \]

同时有

\[\hat{B}(x) = \sum_{i \geq 0} B_i \frac {x^i} {i!} = \frac x{e^x - 1} \]

所以可以使用多项式求逆求出伯努利数。

性质

设自然数幂和函数 \(S_k(n) = \sum_{i=0}^{n-1} i^k\)，那么有：

\[S_k(n) = \frac 1{k + 1} \sum_{i=0}^k \binom{k + 1}i B_i n^{k - i + 1} \]

设 \(\hat{S}_n(x) = \sum_{i \geq 0} \frac {x^i} {i!} S_i(n)\)，那么：

\[\begin{aligned} \hat{S}_n(x) &= \sum_{i \geq 0} \frac {x^i} {i!} \sum_{j=0}^{n-1} j^i\\ &= \sum_{j=0}^{n-1} \sum_{i \geq 0} \frac {(jx)^i} {i!}\\ &= \sum_{j=0}^{n-1} e^{jx}\\ &= \frac {e^{nx} - 1}{e^x - 1} \end{aligned} \]

所以

\[\begin{aligned} S_k(n) &= k! [x^k] \frac{e^{nx} - 1}{e^x - 1}\\ &= k! \sum_{i=0}^k \frac{B_i}{i!} [x^{k-i+1}] (e^{nx} - 1)\\ &= \frac 1{k + 1} \sum_{i=0}^k \binom{k+1}i B_i n^{k - i + 1} \end{aligned} \]

例子

洛谷P3711 仓鼠的数学题

求多项式 \(f(x) = \sum_{k=0}^n S_k(x + 1) a_k\)。

首先考虑求出 \(g(x) = f(x - 1)\) 然后再基变换回去。

那么：

\[\begin{aligned} g(x) &= \sum_{k=0}^n \frac {a_k} {k + 1} \sum_{i=1}^{k + 1} \binom{k + 1}i x^i B_{k - i + 1}\\ &= \sum_{k=0}^n a_k k! \sum_{i = 1}^{k + 1} \frac {x^i} {i!} \frac {B_{k - i + 1}}{(k - i + 1)!}\\ &= \sum_{i=0}^n \frac {x^{i + 1}}{(i + 1)!} \sum_{k=i}^n a_k k! \frac{B_{k - i}}{(k - i)!} \end{aligned} \]

显然的减法卷积形式，NTT 即可。

标签：geq,frac,sum,begin,笔记,学习,binom,aligned,伯努利
来源： https://www.cnblogs.com/cj-xxz/p/14437623.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。