ベルヌーイ数とリーマンゼータ関数
ベルヌーイ数は
\begin{align*} & B_{0}=1\\ & B_{1}=-\frac{1}{2}\\ & B_{2n}=(-1)^{n+1}\frac{2(2n)!}{(2\pi)^{2n}}\zeta(2n)\\ & B_{2n+1}=0 \end{align*} となる。ただし、\(n\in\mathbb{N}\)とする。
\begin{align*} & B_{0}=1\\ & B_{1}=-\frac{1}{2}\\ & B_{2n}=(-1)^{n+1}\frac{2(2n)!}{(2\pi)^{2n}}\zeta(2n)\\ & B_{2n+1}=0 \end{align*} となる。ただし、\(n\in\mathbb{N}\)とする。
ベルヌーイ数の母関数を展開すると、
\begin{align*} \frac{x}{e^{x}-1} & =\frac{x}{2}\frac{2e^{-\frac{x}{2}}}{e^{\frac{x}{2}}-e^{\frac{x}{2}}}\\ & =\frac{x}{2}\frac{e^{\frac{x}{2}}+e^{-\frac{x}{2}}-\left(e^{\frac{x}{2}}-e^{-\frac{x}{2}}\right)}{e^{\frac{x}{2}}-e^{-\frac{x}{2}}}\\ & =-\frac{x}{2}+\frac{x}{2}\coth\frac{x}{2}\\ & =-\frac{x}{2}+\frac{x}{2}\left(\frac{2}{x}+\sum_{k=1}^{\infty}\left(\frac{x}{\left(\frac{x}{2}\right)^{2}+k^{2}\pi^{2}}\right)\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2}\sum_{k=1}^{\infty}\left(\frac{1}{\left(\frac{x}{2}\right)^{2}+k^{2}\pi^{2}}\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2\pi^{2}}\sum_{k=1}^{\infty}\left(\frac{\frac{1}{k^{2}}}{\left(\frac{x}{2k\pi}\right)^{2}+1}\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2\pi^{2}}\sum_{k=1}^{\infty}\frac{1}{k^{2}}\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2k\pi}\right)^{2j}\\ & =1-\frac{x}{2}+2\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2\pi}\right)^{2j+2}\sum_{k=1}^{\infty}\frac{1}{k^{2j+2}}\\ & =1-\frac{x}{2}+2\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2\pi}\right)^{2j+2}\zeta(2j+2)\\ & =1-\frac{x}{2}+2\sum_{m=1}^{\infty}(-1)^{m-1}\left(\frac{x}{2\pi}\right)^{2m}\zeta(2m) \end{align*} 一方、ベルヌーイ数の定義より、
\[ \frac{x}{e^{x}-1}=\sum_{k=0}^{\infty}\frac{B_{k}}{n!}x^{k} \] であるので、\(x\)の係数を比較して
\begin{align*} & B_{0}=1\\ & B_{1}=-\frac{1}{2}\\ & B_{2n}=(-1)^{n+1}\frac{2(2n)!}{(2\pi)^{2n}}\zeta(2n)\\ & B_{2n+1}=0 \end{align*} となる。
\begin{align*} \frac{x}{e^{x}-1} & =\frac{x}{2}\frac{2e^{-\frac{x}{2}}}{e^{\frac{x}{2}}-e^{\frac{x}{2}}}\\ & =\frac{x}{2}\frac{e^{\frac{x}{2}}+e^{-\frac{x}{2}}-\left(e^{\frac{x}{2}}-e^{-\frac{x}{2}}\right)}{e^{\frac{x}{2}}-e^{-\frac{x}{2}}}\\ & =-\frac{x}{2}+\frac{x}{2}\coth\frac{x}{2}\\ & =-\frac{x}{2}+\frac{x}{2}\left(\frac{2}{x}+\sum_{k=1}^{\infty}\left(\frac{x}{\left(\frac{x}{2}\right)^{2}+k^{2}\pi^{2}}\right)\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2}\sum_{k=1}^{\infty}\left(\frac{1}{\left(\frac{x}{2}\right)^{2}+k^{2}\pi^{2}}\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2\pi^{2}}\sum_{k=1}^{\infty}\left(\frac{\frac{1}{k^{2}}}{\left(\frac{x}{2k\pi}\right)^{2}+1}\right)\\ & =1-\frac{x}{2}+\frac{x^{2}}{2\pi^{2}}\sum_{k=1}^{\infty}\frac{1}{k^{2}}\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2k\pi}\right)^{2j}\\ & =1-\frac{x}{2}+2\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2\pi}\right)^{2j+2}\sum_{k=1}^{\infty}\frac{1}{k^{2j+2}}\\ & =1-\frac{x}{2}+2\sum_{j=0}^{\infty}(-1)^{j}\left(\frac{x}{2\pi}\right)^{2j+2}\zeta(2j+2)\\ & =1-\frac{x}{2}+2\sum_{m=1}^{\infty}(-1)^{m-1}\left(\frac{x}{2\pi}\right)^{2m}\zeta(2m) \end{align*} 一方、ベルヌーイ数の定義より、
\[ \frac{x}{e^{x}-1}=\sum_{k=0}^{\infty}\frac{B_{k}}{n!}x^{k} \] であるので、\(x\)の係数を比較して
\begin{align*} & B_{0}=1\\ & B_{1}=-\frac{1}{2}\\ & B_{2n}=(-1)^{n+1}\frac{2(2n)!}{(2\pi)^{2n}}\zeta(2n)\\ & B_{2n+1}=0 \end{align*} となる。
ページ情報
| タイトル | ベルヌーイ数とリーマンゼータ関数 |
| URL | https://www.nomuramath.com/vqlmu5k7/ |
| SNSボタン |
数列の極限での大小関係
\[
a_{n}<b_{n}\Rightarrow a\leq b
\]
合成関数の導関数・偏導関数
\[
\frac{df}{dt}=\sum_{k=1}^{n}\frac{\partial f}{\partial x_{k}}\frac{dx_{k}}{dt}
\]
偏微分の順序交換(シュワルツの定理)
\[
\frac{\partial^{2}f\left(x,y\right)}{\partial x\partial y}=\frac{\partial^{2}f\left(x,y\right)}{\partial y\partial x}
\]
C1級・全微分可能・偏微分可能・連続の関係
\[
C^{1}\text{級}\Rightarrow\text{全微分可能}\Rightarrow\text{偏微分可能}
\]