すべての自然数の積(解析接続あり)
すべての自然数の積(解析接続あり)
\[ \prod_{k=1}^{\infty}k=\sqrt{2\pi} \]
\[ \prod_{k=1}^{\infty}k=\sqrt{2\pi} \]
\begin{align*}
\prod_{k=1}^{\infty}k & =\prod_{k=1}^{\infty}e^{\Log k}\\
& =\exp\left(\sum_{k=1}^{\infty}\Log k\right)\\
& =\exp\left(-\left[\sum_{k=1}^{\infty}-k^{-s}\Log k\right]_{s=0}\right)\\
& =\exp\left(-\left[\frac{d}{ds}\sum_{k=1}^{\infty}k^{-s}\right]_{s=0}\right)\\
& =\exp\left(-\left[\frac{d}{ds}\zeta\left(s\right)\right]_{s=0}\right)\\
& =\exp\left(-\zeta'\left(0\right)\right)\\
& =\exp\left(\Log\sqrt{2\pi}\right)\\
& =\sqrt{2\pi}
\end{align*}
ページ情報
タイトル | すべての自然数の積(解析接続あり) |
URL | https://www.nomuramath.com/gz540qzl/ |
SNSボタン |
フルヴィッツ・ゼータ関数の積分表現
\[
\zeta\left(s,\alpha\right)=\frac{1}{\Gamma\left(s\right)}\int_{0}^{\infty}\frac{t^{s-1}e^{-\alpha t}}{1-e^{-t}}dt
\]
フルヴィッツ・ゼータ関数の第2引数での微分とテーラー展開
\[
\frac{\partial^{n}}{\partial z^{n}}\zeta\left(s,z\right)=P\left(-s,n\right)\zeta\left(s+n,z\right)
\]
ゼータ関数の絶対収束条件
ゼータ関数$\zeta\left(s\right)$は$\Re\left(s\right)>1$で絶対収束
リーマン・ゼータ関数とディリクレ・イータ関数の定義
\[
\zeta(s)=\sum_{k=1}^{\infty}\frac{1}{k^{s}}
\]