双曲線関数の逆数を含む積分を用いたディリクレベータ関数、ゼータ関数の特殊値の導出

ディリクレベータ関数の特殊値

$$\beta\left(s\right)=\sum_{k=0}^{\infty}\frac{\left(-1\right)^{k}}{\left(2k+1\right)^{s}}$$
とします。$s$が奇数の時に
$$\beta\left(2n+1\right)=\frac{\left(-1\right)^{n}E_{2n}\pi^{2n+1}}{2^{2n+2}\Gamma\left(2n+1\right)}ただしE_{2n}はオイラー数$$
であるという事実の証明を思いついたので備忘録的に残しておきます。
まず、 この記事 と同様の手法を用いて、
$$\frac{1}{\cosh x}=\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\cosh\left(\frac{\pi}{2}t\right)}dt $$
を作ります。が、導出方法を忘れてしまったので他のやり方で示します。

$$\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\cosh\left(\frac{\pi}{2}t\right)}dt=\int_{0}^{\infty}\frac{2e^{-\frac{\pi}{2}t}\cos\left(xt\right)}{1+e^{-\frac{\pi}{2}t}}dt=2\sum_{n=0}^{\infty}\left(-1\right)^{n}\int_{0}^{\infty}\cos\left(xt\right)e^{-\left(n+\frac{1}{2}\right)\pi}dt=2\sum_{n=0}^{\infty}\left(-1\right)^{n}\cdot\frac{\left(n+\frac{1}{2}\right)\pi}{x^{2}+\left(\left(n+\frac{1}{2}\right)\pi\right)^{2}}$$
最後の変形はラプラス変換でおなじみのやつですね。Wikipediaの三角関数の部分分数展開のページを参照すれば、
最後の式が$\frac 1 {\cosh x}$に一致していることが分かるので、認めます。
ここで、
$$\frac{1}{\cosh x}=\sum_{n=0}^{\infty}\frac{E_{n}}{n!}x^{n}$$
であることも用います。つまり、$\frac 1 {\cosh x}$の$2n$次の導関数の$x=0$での値は$E_{2n}$に等しいです。
一方で、上で得られた式を$x$で 両辺$2n$回微分すると(ルベーグの収束定理から積分と微分の順序交換は可能)、
$$\frac{d^{2n}}{dx^{2n}}\left(\frac{1}{\cosh x}\right)=\int_{0}^{\infty}\frac{\left(-1\right)^{n}t^{2n}\cos\left(xt\right)}{\cosh\left(\frac{\pi} {2}t\right)}dt$$
ここで、$x=0$を代入すると、左辺は前述の通りオイラー数となり、右辺については
$$\int_{0}^{\infty}\frac{\left(-1\right)^{n}t^{2n}}{\cosh\left(\frac{\pi}{2}t\right)}dt=2\left(-1\right)^{n}\sum_{k=0}^{\infty}(-1)^k\int_{0}^{\infty}t^{2n}e^{-\left(k+\frac{1}{2}\right)\pi t}dt$$
ここで、
$$\left(k+\frac 12 \right)\pi t=u$$と置換することで、
$$2\left(-1\right)^{n}\sum_{k=0}^{\infty}\left(-1\right)^{k}\int_{0}^{\infty}t^{2n}e^{-\left(k+\frac{1}{2}\right)\pi t}dt=2\left(-1\right)^{n}\sum_{k=0}^{\infty}\frac{\left(-1\right)^{k}\Gamma\left(2n+1\right)}{\left(k+\frac{1}{2}\right)^{2n+1}\pi^{2n+1}}=\frac{\left(-1\right)^{n}2^{2n+2}\Gamma\left(2n+1\right)}{\pi^{2n+1}}\beta\left(2n+1\right)$$
と、ディリクレベータ関数が出てきます。よって、
$$E_{2n}=\frac{\left(-1\right)^{n}2^{2n+2}\Gamma\left(2n+1\right)}{\pi^{2n+1}}\beta\left(2n+1\right)$$
ディリクレベータ関数だけになるよう整理して、
$$\beta\left(2n+1\right)=\frac{\left(-1\right)^{n}E_{2n}\pi^{2n+1}}{2^{2n+2}\Gamma\left(2n+1\right)}$$
となります。

ゼータ関数の特殊値

この記事 で導出したように、
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}e^{-\frac{\pi}{2}t}dt=-\frac{1}{x}+\coth\left(x\right)$$
です。
このとき、ベルヌーイ数$B_n$を用いて、
$$\coth x = \frac 1 x + \sum_{k=1}^{\infty} \frac {2^{2k}B_{2k}}{(2k)!}z^{2k-1}$$
であるので、
$$ \coth x -\frac1 x= \sum_{k=1}^{\infty} \frac {2^{2k}B_{2k}}{(2k)!}z^{2k-1}$$
より、
$$ \int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}e^{-\frac{\pi}{2}t}dt=\sum_{k=1}^{\infty} \frac {2^{2k}B_{2k}}{(2k)!}z^{2k-1}$$
です。この両辺を$2n-1$回微分し、$x=0$を代入すると、右辺は$\displaystyle \frac {2 ^{2n}B_{2n}} {2n}$となり、左辺は
$$\int_{0}^{\infty}\frac{\left(-1\right)^{n-1}t^{2n-1}}{\sinh\left(\frac{\pi}{2}t\right)}e^{-\frac{\pi}{2}t}dt=2\left(-1\right)^{n-1}\sum_{k=1}^{\infty}\int_{0}^{\infty}t^{2n-1}e^{-k\pi t}dt=\frac{2\left(-1\right)^{n-1}}{\pi^{2n}}\Gamma\left(2n\right)\sum_{k=1}^{\infty}\frac{1}{k^{2n}}=\frac{2\left(-1\right)^{n-1}\Gamma\left(2n\right)}{\pi^{2n}}\zeta\left(2n\right)$$
両辺は等しいので、
$$\frac{2\left(-1\right)^{n-1}\Gamma\left(2n\right)}{\pi^{2n}}\zeta\left(2n\right)=\frac{2^{2n}B_{2n}}{2n}$$
ガンマ関数の性質から、$2n\Gamma(2n)=\Gamma(2n+1)=(2n)!$なので、
$$\zeta\left(2n\right)=\frac{\left(-1\right)^{n-1}\left(2\pi\right)^{2n}B_{2n}}{2\cdot\left(2n\right)!}$$
となります。

完走した感想

微分しやすい形に持っていくのが強力に効きました。個人的にはこの形の積分(途中に出てきた双曲線関数を分母に持つ積分)はかなり使いやすいのではないかと思います。2次試験が迫ってきているのであまりこういうことにうつつを抜かすわけにもいかないのですが、書き留めておかないと忘れそうなので書きました。以上です。

おまけ

双曲線関数の逆数の絡む積分のうち、見つけたものを残しておきます。$x\rightarrow ix$などとすることで、分子は三角関数にも双曲線関数にもできるので、三角関数の場合のみ記します。分子が三角関数（または双曲線関数）であることにより、半角・倍角、和積・積和、$x$での微分積分、部分積分、置換積分を用いることで多様に派生させることができます。定義域は省略します。
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}dt=\tanh\left(x\right)$$
$$\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\cosh\left(\frac{\pi}{2}t\right)}dt=\frac{1}{\cosh x} $$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)\cos\left(yt\right)}{\sinh\left(\frac{\pi}{2}t\right)}dt=\frac{\sinh\left(2x\right)}{\cosh\left(2x\right)+\cosh\left(2y\right)}$$
$$\int_{0}^{\infty}\frac{\cos\left(xt\right)\cos\left(yt\right)}{\cosh\left(\frac{\pi}{2}t\right)}dt=\frac{2\cosh\left(x\right)\cosh\left(y\right)}{\cosh\left(2x\right)+\cosh\left(2y\right)} $$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{t\cosh\left(\frac{\pi}{2}t\right)}dt=\arctan\left(\sinh x\right)$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)\cos\left(yt\right)}{t\cosh\left(\frac{\pi}{2}t\right)}dt=\arctan\left(\sinh\left(x+y\right)\right)+\arctan\left(\sinh\left(x-y\right)\right)$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)\sin\left(yt\right)}{t\sinh\left(\frac{\pi}{2}t\right)}dt=\frac{1}{2}\ln\left(\frac{\cosh\left(x+y\right)}{\cosh\left(x-y\right)}\right)$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)\sin\left(yt\right)}{\cosh\left(\frac{\pi}{2}t\right)}dt=\frac{1}{2}\left(\frac{1}{\cosh\left(x-y\right)}-\frac{1}{\cosh\left(x+y\right)}\right)$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(yt\right)}dt=\frac{\pi}{2\left|y\right|}\tanh\left(\frac{\pi x}{2y}\right)$$
$$\int_{0}^{\infty}\frac{t\sin\left(xt\right)\cosh\left(\frac{\pi}{2}t\right)}{\sinh^{2}\left(\frac{\pi}{2}t\right)}dt=\frac{2}{\pi}\left(\tanh\left(x\right)+\frac{x}{\cosh^{2}\left(x\right)}\right)$$
$$\int_{0}^{\infty}\frac{\sin^{2}\left(qt\right)}{t\sinh\left(\frac{\pi}{2}t\right)}e^{-\frac{\pi}{2}t}dt=\frac{1}{2}\ln\left(\frac{\sinh2x}{2x}\right)$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}e^{-\frac{\pi}{2}t}dt=-\frac{1}{x}+\coth\left(x\right)$$
$$\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\cosh\left(\frac{\pi}{2}t\right)}e^{-\pi t}dt=\frac{4\pi}{\pi^{2}+4x^{2}}-\frac{1}{\cosh\left(x\right)}$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}e^{-\pi t}dt=-\frac{8x}{\pi^{2}+4x^{2}}+\tanh x$$
$$\int_{0}^{\infty}\frac{\cos\left(xt\right)}{\cosh\left(\frac{\pi}{2}t\right)}e^{-2\pi t}dt=-\frac{\frac{3\pi^{3}}{2}-2\pi x^{2}}{\left(\frac{3\pi^{2}}{4}+x^{2}\right)^{2}+\left(\pi x\right)^{2}}+\frac{1}{\cosh x}$$
$$\int_{0}^{\infty}\frac{\sin\left(xt\right)}{\sinh\left(\frac{\pi}{2}t\right)}e^{-2\pi t}dt=-\frac{4x^{3}+5\pi^{2}x}{\left(\frac{3\pi^{2}}{4}+x^{2}\right)^{2}+\left(\pi x\right)^{2}}+\tanh\left(x\right)$$
いつかこれを導出する記事も書きます。