|
观察前几个$\;S_r(n)$:L!b{ps $\qquad\qquad\small{\begin{matrix}S_1(n) & =\dfrac{n(n-1)}{2} & =\dfrac{n^2}{2} - \dfrac{n}{2}\\a ^)ID S_2(n) & =\dfrac{n(n-1)(2n-1)}{6} & =\dfrac{n^3}{3} -\dfrac{n^2}{2} +\dfrac{n}{6}\\xv S_3(n) & = \dfrac{n^2(n-1)^2}{4} & = \dfrac{n^4}{4} - \dfrac{n^3}{2} +\dfrac{n^2}{4}\\ng=Fx* S_4(n) & = S_2(n) \dfrac{3n^2 -3n -1}{5} & =\dfrac{n^5}{5} -\dfrac{n^4}{2} +\dfrac{n^3}{3} -\dfrac{n}{30} \end{matrix}}$2 ©Elinkage数学论坛 -- Elinkage极酷超级论坛 v(Yx $S_k$似具下列有趣性质:Kz^^r] $\qquad\qquad\bullet\quad\underset{\,}{\,} S_k(n)$ 的最高项为 $\dfrac{n^{k+1}}{k+1}$, 其次是 $-\dfrac{n^k}{2}$Z(* $\qquad\qquad\bullet\quad\underset{\,}{\,} S_k(0) = S_k(1) = 0$], $\qquad\qquad\bullet\quad\underset{\,}{\,} S_k(-n) = (-1)^{k+1}S_k(n+1)$uGV% $\qquad\qquad\bullet\quad\underset{\,}{\,} n(n-1) \mid S_k(n),\quad (2\mid k)\implies (2n-1)\mid S_k(n)${>;"&) ©Elinkage数学论坛 -- Elinkage极酷超级论坛 @! Bernoulli数与等幂和的算子解*NkmnT 注意 Taylor 级数 $\quad f(x+h) = f(x) + h f'(x) + \dfrac{h^2}{2} f''(x) + \cdots$1XIn 可以写成 $f(x+h) = e^{hD} f(x).$ 其中 $D = \small{\dfrac{d}{dx}}$ 是微分算子. 于是 $S_k\underset{\,}{\,}$B|D[?| 满足方程 $(e^{D} -1)S_k(x) = x^k\underset{\,}{\,}$ 从而形式地(对多项式而言,绝对地)有Bu $(\star)\quad\small{S_k(x) = \dfrac{1}{e^D -1} x^k = \dfrac{D}{e^D -1} D^{-1} x^k = \dfrac{D}{e^D -1}\left(\dfrac{x^{k+1}}{k+1} + c\right)}$bv|.]- 积分常数$\,c\,$可由$\,S_k(0) = 0$ 确定. 问题化为对算子$\,\small{\dfrac{D}{e^D -1}}$ 的展开.cOQ>bX ©Elinkage数学论坛 -- Elinkage极酷超级论坛 VJ 因为函数 $\varphi(z) = \dfrac{z}{e^z -1}$.有简单极点 $z = 2\pi m i\;(m\in\mathbb{Z} -\{0\})$,"Z6A3 故 $\varphi$ 在 $|z| < 2\pi$ 内可展为幂级数 $\displaystyle{\frac{z}{e^z -1} = \sum_{m = 0}^{\infty} B_m \frac{z^m}{m!}}$n#zl6? 其中 $B_m = \varphi^{(m)}(0)$ 叫作(第 m 个)Bernoulli(贝努利)数. DM]
| | |
|
|