(*)ベルヌーイ数の総和と漸化式
ベルヌーイ数の総和と漸化式
ベルヌーイ数\(B_{n}\)は次の式を満たす。
\[ \delta_{0,n}=\sum_{k=0}^{n}C\left(n+1,k\right)B_{k} \]
\[ B_{n}=\delta_{0,n}-\frac{1}{n+1}\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k} \]
\[ \sum_{k=2}^{n}C\left(n,k-2\right)\frac{B_{k}}{k}=\frac{1}{\left(n+1\right)\left(n+2\right)}-B_{n+1}-\delta_{0,n} \]
\[ \sum_{k=0}^{n}C\left(n,k\right)\frac{B_{k}}{n+2-k}=\frac{B_{n+1}}{n+1}+\delta_{0,n} \]
\[ \sum_{k=0}^{n}\frac{2^{2k}B_{2k}}{\left(2k\right)!\left(2n+1-2k\right)!}=\frac{1}{\left(2n\right)!} \]
ベルヌーイ数\(B_{n}\)は次の式を満たす。
(1)
\(n\in\mathbb{N}_{0}\)とする。\[ \delta_{0,n}=\sum_{k=0}^{n}C\left(n+1,k\right)B_{k} \]
(2)漸化式
\(n\in\mathbb{N}_{0}\)とする。\[ B_{n}=\delta_{0,n}-\frac{1}{n+1}\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k} \]
(3)
\(n\in\mathbb{N}_{0}\)とする。\[ \sum_{k=2}^{n}C\left(n,k-2\right)\frac{B_{k}}{k}=\frac{1}{\left(n+1\right)\left(n+2\right)}-B_{n+1}-\delta_{0,n} \]
(4)
\(n\in\mathbb{N}_{0}\)とする。\[ \sum_{k=0}^{n}C\left(n,k\right)\frac{B_{k}}{n+2-k}=\frac{B_{n+1}}{n+1}+\delta_{0,n} \]
(5)
\(n\in\mathbb{N}_{0}\)とする。\[ \sum_{k=0}^{n}\frac{2^{2k}B_{2k}}{\left(2k\right)!\left(2n+1-2k\right)!}=\frac{1}{\left(2n\right)!} \]
-
\(B_{n}\)はベルヌーイ数(1)
ベルヌーイ数の定義より、\begin{align*} 1 & =\frac{e^{x}-1}{x}\sum_{k=0}^{\infty}\frac{B_{k}}{k!}x^{k}\\ & =\sum_{j=1}^{\infty}\frac{x^{j-1}}{j!}\sum_{k=0}^{\infty}\frac{B_{k}}{k!}x^{k}\\ & =\sum_{j=1}^{\infty}\sum_{k=0}^{\infty}\frac{B_{k}}{k!j!}x^{k+j-1}\\ & =\sum_{j=0}^{\infty}\sum_{k=0}^{\infty}\frac{B_{k}}{k!\left(j+1\right)!}x^{k+j}\\ & =\sum_{j=0}^{\infty}\sum_{k=0}^{j}\frac{B_{k}}{k!\left(j-k+1\right)!}x^{j}\cmt{j\rightarrow j'-k',k\rightarrow k'}\\ & =\sum_{j=0}^{\infty}\frac{x^{j}}{\left(j+1\right)!}\sum_{k=0}^{j}C\left(j+1,k\right)B_{k} \end{align*} となる。
両辺を比較すると、
\[ \delta_{0,j}=\frac{1}{\left(j+1\right)!}\sum_{k=0}^{j}C\left(j+1,k\right)B_{k} \] となるので、
\begin{align*} \delta_{0,j} & =\left(j+1\right)!\delta_{0,j}\\ & =\sum_{k=0}^{j}C\left(j+1,k\right)B_{k} \end{align*} となる。
(2)
(1)より、\begin{align*} \delta_{0,n} & =\sum_{k=0}^{n}C\left(n+1,k\right)B_{k}\\ & =C\left(n+1,n\right)B_{n}+\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k}\\ & =\left(n+1\right)B_{j}+\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k} \end{align*} となるので、\(B_{n}\)について解くと、
\begin{align*} B_{n} & =\frac{1}{n+1}\left(\delta_{0,n}-\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k}\right)\\ & =\frac{1}{n+1}\delta_{0,n}-\frac{1}{n+1}\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k}\\ & =\delta_{0,n}-\frac{1}{n+1}\sum_{k=0}^{n-1}C\left(n+1,k\right)B_{k} \end{align*} となる。
従って与式は成り立つ。
(3)
略(4)
略(5)
略ページ情報
タイトル | (*)ベルヌーイ数の総和と漸化式 |
URL | https://www.nomuramath.com/chpto7fk/ |
SNSボタン |
ベルヌーイ数の定義
\[
\frac{x}{e^{x}-1}=\sum_{k=0}^{\infty}\frac{B_{k}}{k!}x^{k}
\]
奇数ベルヌーイ数
\[
B_{2n-1}=-\frac{1}{2}\delta_{1,n}
\]