リーマンゼータ関数の関数等式
ヤコビのテータ級数
\[ \vartheta(t)=\sum_{n=-\infty}^{\infty}e^{-\pi tn^{2}} \]
\[ \vartheta(t)=\sum_{n=-\infty}^{\infty}e^{-\pi tn^{2}} \]
ヤコビのテータ変換公式
\[ \vartheta(t)=\frac{1}{\sqrt{t}}\vartheta\left(\frac{1}{t}\right) \]
\[ \vartheta(t)=\frac{1}{\sqrt{t}}\vartheta\left(\frac{1}{t}\right) \]
ポアソン和公式より、
\begin{align*} \vartheta(t) & =\sum_{n=-\infty}^{\infty}e^{-\pi tn^{2}}\\ & =\sum_{k=-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\pi tn^{2}}e^{-2\pi ikn}dn\\ & =\sum_{k=-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\pi t\left(n+\frac{ik}{t}\right)^{2}}e^{-\frac{\pi k^{2}}{t}}dn\\ & =\frac{1}{\sqrt{t}}\sum_{k=-\infty}^{\infty}e^{-\frac{\pi k^{2}}{t}}\\ & =\frac{1}{\sqrt{t}}\vartheta\left(\frac{1}{t}\right) \end{align*}
\begin{align*} \vartheta(t) & =\sum_{n=-\infty}^{\infty}e^{-\pi tn^{2}}\\ & =\sum_{k=-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\pi tn^{2}}e^{-2\pi ikn}dn\\ & =\sum_{k=-\infty}^{\infty}\int_{-\infty}^{\infty}e^{-\pi t\left(n+\frac{ik}{t}\right)^{2}}e^{-\frac{\pi k^{2}}{t}}dn\\ & =\frac{1}{\sqrt{t}}\sum_{k=-\infty}^{\infty}e^{-\frac{\pi k^{2}}{t}}\\ & =\frac{1}{\sqrt{t}}\vartheta\left(\frac{1}{t}\right) \end{align*}
\[
\Psi(x)=\sum_{n=1}^{\infty}e^{-\pi tn^{2}}
\]
とおくと、
(1)
\[ \Psi(x)=\frac{\vartheta(x)-1}{2} \](2)
\[ \Psi\left(\frac{1}{x}\right)=\sqrt{x}\Psi(x)+\frac{\sqrt{x}-1}{2} \] が成り立つ。(1)
\begin{align*} \vartheta(x) & =\sum_{n=-\infty}^{\infty}e^{-\pi tn^{2}}\\ & =\sum_{n=-\infty}^{-1}e^{-\pi tn^{2}}+1+\sum_{n=1}^{\infty}e^{-\pi tn^{2}}\\ & =2\Psi(x)+1 \end{align*} より、\[ \Psi(x)=\frac{\vartheta(x)-1}{2} \]
(2)
\begin{align*} \Psi\left(\frac{1}{x}\right) & =\frac{\vartheta(\frac{1}{x})-1}{2}\\ & =\frac{\sqrt{x}\vartheta(x)-1}{2}\\ & =\sqrt{x}\Psi(x)+\frac{\sqrt{x}-1}{2} \end{align*}リーマンゼータ関数の関数等式
\[ \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s)=\pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)\zeta(1-s) \]
\[ \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s)=\pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)\zeta(1-s) \]
ガンマ関数の定義より、
\begin{align*} \Gamma(s) & =\int_{0}^{\infty}x^{s-1}e^{-x}dx\qquad,\qquad x\rightarrow\pi n^{2}x\\ & =\left(\pi n^{2}\right)^{s}\int_{0}^{\infty}x^{s-1}e^{-\pi n^{2}x}dx \end{align*} 両辺\(\left(\pi n^{2}\right)^{s}\)で割り\(s\rightarrow\frac{s}{2}\)にして\(\sum_{n=1}^{\infty}\)をとると、
\begin{align*} \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s) & =\int_{0}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\left(\int_{0}^{1}+\int_{1}^{\infty}\right)x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}x^{-1-\frac{s}{2}}\Psi(x^{-1})dx+\int_{1}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}x^{-\frac{1+s}{2}}\Psi(x)dx+\frac{1}{2}\int_{1}^{\infty}x^{-\frac{1+s}{2}}dx-\frac{1}{2}\int_{1}^{\infty}x^{-1-\frac{s}{2}}dx+\int_{1}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}\left(x^{\frac{1-s}{2}-1}+x^{\frac{s}{2}-1}\right)\Psi(x)dx+\frac{1}{1-s}\left[x^{\frac{1-s}{2}}\right]_{1}^{\infty}+\frac{1}{s}\left[x^{-\frac{s}{2}}\right]_{1}^{\infty}\\ & =\int_{1}^{\infty}\left(x^{\frac{1-s}{2}-1}+x^{\frac{s}{2}-1}\right)\Psi(x)dx-\frac{1}{1-s}-\frac{1}{s} \end{align*} 右辺は\(s\rightarrow1-s\)としても変わらないので、
\[ \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s)=\pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)\zeta(1-s) \] となる。
\begin{align*} \Gamma(s) & =\int_{0}^{\infty}x^{s-1}e^{-x}dx\qquad,\qquad x\rightarrow\pi n^{2}x\\ & =\left(\pi n^{2}\right)^{s}\int_{0}^{\infty}x^{s-1}e^{-\pi n^{2}x}dx \end{align*} 両辺\(\left(\pi n^{2}\right)^{s}\)で割り\(s\rightarrow\frac{s}{2}\)にして\(\sum_{n=1}^{\infty}\)をとると、
\begin{align*} \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s) & =\int_{0}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\left(\int_{0}^{1}+\int_{1}^{\infty}\right)x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}x^{-1-\frac{s}{2}}\Psi(x^{-1})dx+\int_{1}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}x^{-\frac{1+s}{2}}\Psi(x)dx+\frac{1}{2}\int_{1}^{\infty}x^{-\frac{1+s}{2}}dx-\frac{1}{2}\int_{1}^{\infty}x^{-1-\frac{s}{2}}dx+\int_{1}^{\infty}x^{\frac{s}{2}-1}\Psi(x)dx\\ & =\int_{1}^{\infty}\left(x^{\frac{1-s}{2}-1}+x^{\frac{s}{2}-1}\right)\Psi(x)dx+\frac{1}{1-s}\left[x^{\frac{1-s}{2}}\right]_{1}^{\infty}+\frac{1}{s}\left[x^{-\frac{s}{2}}\right]_{1}^{\infty}\\ & =\int_{1}^{\infty}\left(x^{\frac{1-s}{2}-1}+x^{\frac{s}{2}-1}\right)\Psi(x)dx-\frac{1}{1-s}-\frac{1}{s} \end{align*} 右辺は\(s\rightarrow1-s\)としても変わらないので、
\[ \pi^{-\frac{s}{2}}\Gamma\left(\frac{s}{2}\right)\zeta(s)=\pi^{-\frac{1-s}{2}}\Gamma\left(\frac{1-s}{2}\right)\zeta(1-s) \] となる。
ページ情報
タイトル | リーマンゼータ関数の関数等式 |
URL | https://www.nomuramath.com/irbu5s77/ |
SNSボタン |
リーマンゼータ関数とガンマ関数の関係
\[
\zeta(s)=\pi^{s-1}2^{s}\sin\frac{s\pi}{2}\Gamma\left(1-s\right)\zeta(1-s)
\]
ゼータ関数とイータ関数の関係
\[
\eta(s)=(1-2^{1-s})\zeta(s)
\]
リーマン・ゼータ関数(フルヴィッツ・ゼータ関数)のローラン展開時のスティルチェス定数(一般化スティルチェス定数)
\[
\gamma_{k}=\lim_{n\rightarrow\infty}\left(\left(\sum_{j=1}^{n}\frac{\log^{k}j}{j}\right)-\frac{\log^{k+1}n}{k+1}\right)
\]
ζ(2)の値
\[
\sum_{k=1}^{\infty}\frac{1}{k^{2}}=\frac{\pi^{2}}{6}
\]