大学数学基礎解説

ディリクレのベータ関数の特殊値をいろいろ求める

ポリガンマ関数,フルヴィッツゼータ関数,ディリクレのベータ関数

853

ディリクレのベータ関数の特殊値をいろいろ求める

ディリクレのベータ関数の特殊値についていろいろ求めます。

ディリクレのベータ関数

ディリクレのベータ関数の定義はこちら

ディリクレのベータ関数

$$\beta(s)=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)^s}\quad\big(\mathrm{Re}(s)>0\big)$$
$\mathrm{Re}(s)\le0$の場合は解析接続により定義される。

フルヴィッツゼータ関数

フルヴィッツゼータ関数の定義

フルヴィッツゼータ関数

$$\zeta(s,z)=\sum_{n=0}^{\infty}\frac1{(n+z)^{s}}\quad\big(\mathrm{Re}(s)>1,\mathrm{Re}(z)>0\big)$$
解析接続により定義域が拡張される。

関数等式

$$\beta(1-s)=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}{2}\Gamma(s)\beta(s)$$

証明はこちらの記事にあります。

フルヴィッツゼータ関数との関係式

$$\beta(s)=\frac{1}{4^s}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right)$$

証明

級数は絶対収束するので各項を並び替えて証明する。
\begin{align} \beta(s)&=\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)^s} \\&=\frac{1}{1^s}-\frac1{3^s}+\frac1{5^s}-\frac1{7^s}+\frac1{9^s}-\frac1{11^s}\cdots \\&=\left(\frac1{1^s}+\frac1{5^s}+\frac1{9^s}+\cdots\right)-\left(\frac1{3^s}+\frac1{7^s}+\frac1{11^s}+\cdots\right) \\&=\sum_{n=0}^{\infty}\frac{1}{(4n+1)^s}-\sum_{n=0}^{\infty}\frac{1}{(4n+3)^s} \\&=\frac{1}{4^s}\sum_{n=0}^{\infty}\frac{1}{\left(n+\frac14\right)^s}-\frac{1}{4^s}\sum_{n=0}^{\infty}\frac{1}{\left(n+\frac34\right)^s} \\&=\frac{1}{4^s}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right) \end{align}

それでは特殊値を求めていきます。

$\beta(1)$の値

$$\beta(1)=\frac{\pi}4$$

積分を用いた解法

$\di\int_{0}^{1}x^{n-\frac12}dx=\frac2{2n+1}$に注意して、
\begin{align} \beta(1)&=\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} \\&=\frac12\sum_{n=0}^{\infty}(-1)^n\int_{0}^{1}x^{n-\frac12}dx \\&=\frac12\int_{0}^{1}\sum_{n=0}^{\infty}(-1)^{n}x^{n-\frac12}dx \\&=\frac12\int_{0}^{1}\frac1{\sqrt{x}}\sum_{n=0}^{\infty}(-x)^ndx \\&=\frac12\int_{0}^{1}\frac1{\sqrt{x}}\frac{1}{1 +x}dx \\&=\int_{0}^{1}\frac{1}{1+t^2}dt\quad\big(x^2\mapsto t\big) \\&=\int_{0}^{\frac{\pi}4}1d\theta\quad\big(t\mapsto\tan\theta) \\&=\frac{\pi}4 \end{align}

フーリエ級数を用いた証明

以下のような$f(x)$をフーリエ級数展開します。
$$ f(x)= \left\{ \begin{array}{ll} -1\quad & \big(-\pi\le x<0\big) \\ 1\quad & \big(0\le x<\pi\big) \end{array} \right. $$
奇関数なので求めるのは$\sin nx$の係数だけでいいです。
$$f(x)=\sum_{n=1}^{\infty}b_n\sin nx$$
\begin{align} b_n&=\frac1{\pi}\int_{-\pi}^{\pi}f(x)\sin nxdx \\&=\frac2{\pi}\int_{0}^{\pi}\sin nxdx \\&=\frac{2}{\pi}\frac{1-\cos n\pi}{n} \\&=\frac{4}{\pi}\frac1{2n-1} \end{align}
偶数項は$0$なので、
\begin{align} f(x)&=\frac{4}{\pi}\sum_{n=1}^{\infty}\frac{1}{2n-1}\sin\big((2n-1)x\big) \\&=\frac{4}{\pi}\sum_{n=0}^{\infty}\frac{1}{2n+1}\sin\big((2n+1)x\big) \end{align}
$\di x=\frac{\pi}2$を代入して、
\begin{align} 1&=\frac{4}{\pi}\sum_{n=0}^{\infty}\frac{1}{2n+1}\sin\left(\frac{(2n+1)\pi}2\right) \\&=\frac{4}{\pi}\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} \\&=\frac{4}{\pi}\beta(1) \\ \beta(1)&=\frac{\pi}4 \end{align}

超幾何級数を用いた証明

$${}_2F_1\left[\begin{array}{}a,b\\ c\end{array};z\right]=\frac{\Gamma(c)}{\Gamma(a)\Gamma(c-b)}\int_{0}^{1}x^{b-1}(1-x)^{c-b-1}(1-zx)^{-a}dx$$
を用いて命題を示す。
\begin{align} \beta(1)&=\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} \\&=\sum_{n=0}^{\infty}\frac{\left(\frac12\right)_n}{\left(\frac32\right)_n}(-1)^n \\&={}_2F_1\left[\begin{array}{}\frac12,1\\ \frac32\end{array};-1\right] \\&=\frac{\Gamma\left(\frac32\right)}{\Gamma(1)\Gamma\left(\frac12\right)}\int_{0}^{1}(1-x)^{-\frac12}(1+x)^{-\frac12}dx \\&=\frac12\int_{0}^{1}\frac{dx}{\sqrt{1-x^2}} \\&=\frac12\int_{0}^{\frac{\pi}2}1d\theta\quad\big(x\mapsto\sin\theta\big) \\&=\frac{\pi}4 \end{align}

$\beta(3)$の値

$\beta(2)$は$\zeta(3)$のように具体的な値は見つかってません。

$\beta(3)$の値

$$\beta(3)=\frac{\pi^3}{32}$$

フーリエ級数を用いた証明

$\di x^3$をフーリエ級数展開します。(周期は$2\pi$)
奇関数なので求めるのは$\sin nx$の係数だけでいいです。
$$x^3=\sum_{n=1}^{\infty}b_n\sin nx$$
\begin{align} b_n&=\frac1{\pi}\int_{-\pi}^{\pi}x^3\sin nxdx \\&=\frac2{\pi}\int_{0}^{\pi}x^3\sin nxdx \\&=\frac{2(6-\pi^2n^2)(-1)^n}{n^3}\quad\big(\text{部分積分により得られる}\big) \end{align}
\begin{align} x^3&=\sum_{n=1}^{\infty}b_n\sin nx \\&=2\sum_{n=1}^{\infty}\frac{\big(6-\pi^2n^2)(-1)^n\sin nx}{n^3} \\&= 12\sum_{n=1}^{\infty}\frac{(-1)^n}{n^3}\sin nx-2\pi^2\sum_{n=1}^{\infty}\frac{(-1)^n}{n}\sin nx \\&=\frac32\sum_{n=1}^{\infty}\frac{1}{n^3}\sin 2nx-\ 12\sum_{n=0}^{\infty}\frac1{(2n+1)^3}\sin\big((2n+1)x\big)-\pi^2\sum_{n=1}^{\infty}\frac1n\sin2nx+2\pi^2\sum_{n=0}^{\infty}\frac{1}{2n+1}\sin\big((2n+1)x\big) \end{align}
$\di x=\frac{\pi}2$を代入して、
\begin{align} \frac{\pi^3}{8}&=-12\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)^3}-2\pi^2\sum_{n=0}^{\infty}\frac{(-1)^n}{2n+1} \\ \frac{\pi^3}{8}&=-12\beta(3)-\frac{\pi^3}2 \\ \beta(3)&=\frac{\pi^3}{32} \end{align}

アベルプラナ和公式を用いた証明

以下の等式はアベルプラナ和公式という名前で知られています。
$$\sum_{n=-\infty}^{\infty}f(n)(-1)^n=-\pi\sum_{k=1}^{m}\underset{z=\alpha_k}{\mathrm{Res}}f(z)\csc\pi z$$
$\alpha_1,\alpha_2,\cdots,\alpha_m$は$f(z)$の特異点

$\di f(z)=\frac1{(2z +1)^3}$として計算していきます。

\begin{align} \beta(3)&=\sum_{n=1}^{\infty}\frac{(-1)^n}{(2n+1)^3} \\&=\frac12\sum_{n=-\infty}^{\infty}\frac{(-1)^n}{(2n+1)^3} \\&=-\frac{\pi}2\underset{z=-\frac12}{\mathrm{Res}}\frac{\csc\pi z}{(2z+1)^3} \\&=-\frac{\pi}4\lim_{z\to-\frac12}\frac{d^2}{dz^2}\frac{\csc\pi z}{(2z+1)^3}\left(z+\frac12\right)^3 \\&=-\frac{\pi}{32}\lim_{z\to-\frac12}\frac{d^2}{dz^2}\csc\pi z \\&=-\frac{\pi^3}{32}\lim_{z\to-\frac12}\csc\pi z\left(\cot^2\pi z+\csc^2\pi z\right) \\&=\frac{\pi^3}{32} \end{align}

ポリガンマ関数の相反公式を用いた証明

ディガンマ関数の級数表示を用いて$\beta(3)$をディガンマ関数で表示し、相反公式を用いる。
\begin{align} \psi^{(m)}(z)&=(-1)^{m+1}m!\sum_{n=0}^{\infty}\frac{1}{(n+z)^{m+1}} \\&=(-1)^{m+1}m!\zeta(m+1,z) \\\zeta(m+1,z)&=\frac{(-1)^{m+1}}{m!}\psi^{(m)}(z) \end{align}
$m=2$を代入して、
$$\zeta(3,z)=-\frac12\psi^{(2)}(z)$$
\begin{align} \beta(3)&=\frac1{64}\left(\zeta\left(3,\frac14\right)-\zeta\left(3,\frac34\right)\right) \\&=\frac1{128}\left(\psi^{(2)}\left(\frac34 \right)-\psi^{(2)}\left(\frac14\right)\right) \end{align}
ここで、ガンマ関数の相反公式の対数をとり、$2$階微分する。
$$\Gamma(s)\Gamma(1-s)=\frac{\pi}{\sin\pi s}$$
$$\log\Gamma(s)+\log\Gamma(1-s)=\log\frac{\pi}{\sin\pi s}$$
$$\psi(s)-\psi(1-s)=-\pi\cot\pi s$$
$$\psi^{(1)}(s)+\psi^{(1)}(1-s)=\pi^2\csc^2\pi s$$
$$\psi^{(2)}(s)-\psi^{(2)}(1-s)=-2\pi^3\cot\pi s\csc^2\pi s$$
$\di s=\frac34$を代入して、
\begin{align} \psi^{(2)}\left(\frac34 \right)-\psi^{(2)}\left(\frac14\right)&=-2\pi^3\cot\frac{3\pi}4\csc^2\frac{3\pi}4 \\&=4\pi^3 \end{align}
\begin{align} \beta(3)&=\frac1{128}\left(\psi^{(2)}\left(\frac34 \right)-\psi^{(2)}\left(\frac14\right)\right) \\&=\frac{4\pi^3}{128} \\&=\frac{\pi^3}{32} \end{align}

超幾何級数を用いた証明

$\mathrm{NKS}$さんの $\mathrm{PDF}$ の$67\mathrm{p}$を参照。

$\beta(2n+1)$の値

$$\beta(2n+1)=\frac{(-1)^nE_{2n}\pi^{2n+1}}{2^{2n+2}(2n)!}$$

$n$は$0$以上の整数です。

証明は神鳥奈紗さんの記事を参照。

別の方法は多分$\cot\pi s$の反復微分して$\di\frac34$を代入したり漸化式立てたりしないといけなさそうなので面倒そうです。

$\beta(4)$の値

$\beta(4)$は$\beta(2)$とポリガンマ関数の微分を用いて表示できます。

$\beta(4)$の値

$$\beta(4)=\frac1{768}\left(\psi^{(3)}\left(\frac14\right)-8\pi^4\right)$$

ポリガンマ関数の相反公式を用いた証明

$$\zeta(m+1,z)=\frac{(-1)^{m+1}}{m!}\psi^{(m)}(z)$$
$m=3$を代入して、
$$\zeta(4,z)=\frac16\psi^{(3)}(z)$$

\begin{align} \beta(4)&=\frac1{256}\left(\zeta\left(4,\frac14\right)-\zeta\left(4,\frac34\right)\right) \\&=\frac1{1536}\left(\psi^{(3)}\left(\frac14\right)-\psi^{(3)}\left(\frac34\right)\right) \end{align}

ここで、ガンマ関数の相反公式の対数をとり、$3$階微分して整理することで、以下の等式を得る。
$$\psi^{(3)}(1-s)+\psi^{(3)}(s)=2\pi^4\csc^2\pi s\big(2\cot^2\pi s+\csc^2\pi s\big)$$

$\di s=\frac34$を代入すると、

$$\psi^{(3)}\left(\frac14\right)+\psi^{(3)}\left(\frac34\right)=16\pi^4$$

を得る。これを用いて命題を示す。

\begin{align} \beta(4)&=\frac1{1536}\left(\psi^{(3)}\left(\frac14\right)-\psi^{(3)}\left(\frac34\right)\right) \\&=\frac1{1536}\left(2\psi^{(3)}\left(\frac14\right)-\left(\psi^{(3)}\left(\frac14\right)+\psi^{(3)}\left(\frac34\right)\right)\right) \\&=\frac1{1536}\left(2\psi^{(3)}\left(\frac14\right)-16\pi^4\right) \\&=\frac1{768}\left(\psi^{(3)}\left(\frac14\right)-8\pi^4\right) \end{align}

$\beta(2n)$の値

$$\beta(2n)=\frac{1}{2^{4n-1}}\frac1{(2n-1)!}\psi^{(2n-1)}\left(\frac14\right)-\frac{\big(2^{2n}-1\big)\big|B_{2n}\big|\pi^{2n}}{2(2n)!}$$

ポリガンマ関数を用いた証明

ポリガンマ関数について、以下の等式が成り立つ。
$$\psi^{(m)}\left(\frac14\right)=2^m\big(2^{m+1}-1\big)\psi^{(m)}(1)-2(-1)^m4^mm!\beta(m+1)-\delta_{m,0}3\log2$$
証明は $\sinh 76821661$ さんの記事を参照。
$m=2n-1$を代入して、
$$\psi^{(2n-1)}\left(\frac14\right)=2^{2n-1}\big(2^{2n}-1\big)\psi^{(2n-1)}(1)+2\cdot4^{2n-1}(2n-1)!\beta(2n)-\delta_{2n-1,0}3\log2$$
$n\in\mathbb{N}$のとき、$\delta_{2n-1,0}=0$なので、
$$\psi^{(2n-1)}\left(\frac14\right)=2^{2n-1}\big(2^{2n}-1\big)\psi^{(2n-1)}(1)+2\cdot4^{2n-1}(2n-1)!\beta(2n)$$
ここで、ポリガンマ関数の級数表示を用いて、
\begin{align} \psi^{(2n-1)}(1)&=(2n-1)!\sum_{m=1}^{\infty}\frac{1}{m^{2n}} \\&=(2n-1)!\zeta(2n) \\&=(2n-1)!\frac{2^{2n}\big|B_{2n}\big|\pi^{2n}}{2(2n!)} \end{align}
\begin{align} \psi^{(2n-1)}\left(\frac14\right)&=2^{2n-1}\big(2^{2n}-1\big)\psi^{(2n-1)}(1)+2\cdot4^{2n-1}(2n-1)!\beta(2n) \\&=2^{2n-1}\big(2^{2n}-1\big)(2n-1)!\frac{2^{2n}\big|B_{2n}\big|\pi^{2n}}{2(2n!)}+2\cdot4^{2n-1}(2n-1)!\beta(2n) \\ \beta(2n)&=\frac{1}{2^{4n-1}}\frac1{(2n-1)!}\psi^{(2n-1)}\left(\frac14\right)-\frac{\big(2^{2n}-1\big)\big|B_{2n}\big|\pi^{2n}}{2(2n)!} \end{align}

$\beta(0)$の値

$$\beta(0)=\frac12$$

フルヴィッツゼータ関数を用いた証明

フルヴィッツゼータ関数の等式、
$$\zeta(0,z)=\frac12-z$$
を用いる。
証明はまめけびさんの記事を参照。
\begin{align} \beta(0)&=\zeta\left(0,\frac14\right)-\zeta\left(0,\frac34\right) \\&=\frac12-\frac14-\frac12+\frac34 \\&=\frac12 \end{align}

正規化を用いた証明

$\beta(s)$の級数表示の定義域を無視して$\beta(0)$を求めます。
\begin{align} \beta(0)&=\sum_{n=0}^{\infty}(-1)^n \\&=-\eta(0) \\&=-\zeta(0) \\&=\frac12 \end{align}
この級数の正規化はいろんな方法があるので調べてみたらいいかもしれません。

関数等式を用いた証明

関数等式に$s=1$を代入して命題を示す。
$$\beta(1-s)=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}{2}\Gamma(s)\beta(s)$$
$s=1$を代入して、
\begin{align} \beta(0)&=\frac{2}{\pi}\beta(1) \\&=\frac{2}{\pi}\frac{\pi}4 \\&=\frac12 \end{align}

$\beta(-2n)$の値

$$\beta(-2n)=\frac12E_{2n}$$

$n$は$0$以上の整数です。

関数等式を用いた証明

$s=2n+1$を代入して命題を証明する。
$$\beta(1-s)=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}{2}\Gamma(s)\beta(s)$$
$n=2n+1$を代入して、
\begin{align} \beta(-2n)&=\left(\frac{\pi}2\right)^{-2n-1}\sin\frac{(2n+1)\pi}2\Gamma(2n+1)\beta(2n+1) \\&=\frac1{\pi^{2n+1}}2^{2n+1}(-1)^n(2n)!\frac{(-1)^nE_{2n}\pi^{2n+1}}{2^{2n+2}(2n)!} \\&=\frac12E_{2n} \end{align}

ハンケルの積分路を用いた証明

もっちさんの記事を参照。

$\beta(-2n-1)$の値

$$\beta(-2n-1)=0$$

$n$は$0$以上の整数です。

関数等式を用いた証明

関数等式に$s=2n+2$を代入して命題を示す。
$$\beta(1-s)=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}{2}\Gamma(s)\beta(s)$$
$s=2n+2$を代入して、
\begin{align} \beta(-2n-1)&=\left(\frac{\pi}2\right)^{-2n-2}\sin\big((n+1)\pi\big)\Gamma(2n+2)\beta(2n+2) \\&=0 \end{align}

ハンケルの積分路を用いた証明

もっちさんの記事を参照。

$\beta(-n)$の値

$$\beta(-n)=\frac12E_n$$

オイラー数の性質を用いた証明

$$\beta(-2n)=\frac12E_{2n}$$
オイラー数の奇数番目は$0$なので
$$\beta(-n)=\frac12E_n$$
とできる。

ハンケルの積分路を用いた証明

もっちさんの記事を参照。

ハンケルの積分路を用いた証明のみでも良かったが、関数等式での証明も紹介したかったので$2$通りの証明を紹介した。

$\beta’(-1)$の値

$$\beta’(-1)=\frac2{\pi}\beta(2)$$

関数等式を用いた証明

関数等式を微分し、$s=2$を代入して命題を示す。
\begin{align} \beta(s)&=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}2\Gamma(s)\beta(s) \\ -\beta’(1-s)&=\left(-\left(\frac{\pi}2\right)^{-s}\log\frac{\pi}2\sin\frac{\pi s}2-\left(\frac{\pi}2\right)^{1-s}\cos\frac{\pi s}2\right)\Gamma(s)\beta(s)+\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}2\Big(\Gamma(s)\psi(s)\beta(s)+\Gamma(s)\beta’(s)\Big) \end{align}
$s=2$を代入して、
\begin{align} -\beta’(-1)&=\left(-\left(\frac{\pi}2\right)^{-2}\log\frac{\pi}2\sin\pi-\left(\frac{\pi}2\right)^{-1}\cos\pi\right)\Gamma(2)\beta(2)+\left(\frac{\pi}2\right)^{-2}\sin\pi\Big(\Gamma(2)\psi(2)\beta(2)+\Gamma(2)\beta’(2)) \\&=-\frac{2}{\pi}\beta(2) \\ \beta’(-1)&=\frac{2}{\pi}\beta(2) \end{align}

$\beta’(0)$の値

$$\beta’(0)=\log\frac{\Gamma\left(\frac14\right)^2}{2\sqrt2\pi}$$

フルヴィッツゼータ関数を用いた証明

フルヴィッツゼータ関数の$s=0$での微分係数
$$\left.\frac{d}{ds}\zeta(s,z)\right|_{s=0}=\log\Gamma(z)-\log2\pi$$
を用いて命題を証明していく。
この等式の証明はまめけびさんの記事を参照。
\begin{align} \beta(s)&=\frac1{4^s}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right) \\ \beta’(s)&=-2\log2\frac1{4^s}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right)+\frac1{4^s}\frac{d}{ds}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right) \\&=-2\log2\beta(s)+\frac1{4^s}\frac{d}{ds}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right) \\ \beta’(0)&=-2\log2\beta(0)+\left.\frac{d}{ds}\left(\zeta\left(s,\frac14\right)-\zeta\left(s,\frac34\right)\right)\right|_{s=0} \\&=-2\log2+\log\Gamma\left(\frac14\right)-\log2\pi-\log\Gamma\left(\frac34\right)+\log2\pi \\&=\log\frac{\Gamma\left(\frac14\right)}{2\Gamma\left(\frac34\right)} \\&=\log\frac{\Gamma\left(\frac14\right)^2}{2\Gamma\left(\frac14\right)\Gamma\left(\frac34\right)} \\&=\log\frac{\Gamma\left(\frac14\right)^2}{2\frac{\pi}{\sin\frac{\pi}{4}}} \\&=\log\frac{\Gamma\left(\frac14\right)^2}{2\sqrt2\pi} \end{align}

$\beta’(1)$の値

$\beta’(-1)$の値

$$\beta’(1)=\frac{\pi}4\left(\gamma+2\log2+3\log\pi-4\log\Gamma\left(\frac14\right)\right)$$

関数等式を用いた証明

関数等式を微分し$s=1$を代入し命題を証明する。

\begin{align} \beta(s)&=\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}2\Gamma(s)\beta(s) \\ -\beta’(1-s)&=\left(-\left(\frac{\pi}2\right)^{-s}\log\frac{\pi}2\sin\frac{\pi s}2-\left(\frac{\pi}2\right)^{1-s}\cos\frac{\pi s}2\right)\Gamma(s)\beta(s)+\left(\frac{\pi}2\right)^{-s}\sin\frac{\pi s}2\Big(\Gamma(s)\psi(s)\beta(s)+\Gamma(s)\beta’(s)\Big) \end{align}
$s=1$を代入して、
\begin{align} -\beta’(0)&=-\frac2{\pi}\log\frac{\pi}2\beta(1)+\frac{2}{\pi}\big(-\gamma\beta(1)+\beta’(1)\big) \\&=-\frac12\log\frac{\pi}2-\frac12\gamma+\frac{\pi}2\beta’(1) \\ \beta’(1)&=\frac{\pi}2\left(\frac12\log\frac{\pi}2+\frac12\gamma-\beta’(0)\right) \\&=\frac{\pi}2\left(\frac12\gamma+\frac12\log2-\frac12\log2-2\log\Gamma\left(\frac14\right)+\frac32\log2+\log\pi\right) \\&=\frac{\pi}2\left(\frac12\gamma+\frac32\log\pi+\log2-2\log\Gamma\left(\frac14\right)\right) \\&=\frac{\pi}4\left(\gamma+2\log2+3\log\pi-4\log\Gamma\left(\frac14\right)\right) \end{align}

おしまい。

投稿日：2024年4月3日

更新日：2024年9月7日