${}$
この記事では, Narasakiさんという方がツイートしていた
以下の問題
の証明を書こうと思います.
${}$
${}$
(証明)
$$\beq \int_0^\infty\frac{\tanh^2x}{x^2}\,dx&=&\left[-\frac{\tanh^2x}{x}\right]_0^\infty+2\int_0^\infty\frac{\sinh x}{x\cosh^3x}\,dx\\[5pt] &=&8\int_0^\infty\frac{e^x-e^{-x}}{x(e^x+e^{-x})^3}\,dx\\[5pt] &=&8\int_0^\infty\frac{1-e^{-2x}}{x(1+e^{-2x})^3}e^{-2x}\,dx\\[5pt] &=&-4\int_0^1\frac{1-y}{\frac12\log y(1+y)^3}\,dy\space\space〈e^{-2x}=y〉\\[5pt] &=&8\int_0^1\int_0^1\frac{y^s}{(1+y)^3}\,dsdy \eeq$$
ここで $\ds\frac{y}{1+y}=t$ と置換すると, 区間は$t:0\to\frac12$, また $\ds\frac{dy}{(1+y)^2}=dt$ となるので,
$$\beq &=&8\int_0^1\int_0^{\frac12}t^s(1-t)^{1-s}\,dtds\\[5pt] &=&4\int_0^1\int_0^{\frac12}\big\{t^s(1-t)^{1-s}+t^{1-s}(1-t)^s\big\}\,dtds\\[5pt] &=&4\int_0^1\int_0^1t^{s}(1-t)^{1-s}\,dtds\\[5pt] &=&4\int_0^1B(1+s,2-s)\,ds\\[5pt] &=&4\int_0^1\frac{s(1-s)}{2}\G{s}\G{1-s}\,ds\\[5pt] &=&2\pi\int_0^1\frac{s(1-s)}{\sin\pi s}\,ds \eeq$$
ただし2行目の変形で, $s,t$の区間を逆向きにした積分を足し合わせました.
さらに
$$\beq \int_0^1\frac{s(1-s)}{\sin\pi s}\,ds&=&2i\int_0^1\frac{s(1-s)}{e^{iπs}-e^{-iπs}}\,ds\\[5pt] &=&2i\int_0^1\frac{s(1-s)e^{-iπs}}{1-e^{-2iπs}}\,ds\\[5pt] &=&2i\sumn{0}\int_0^1s(1-s)e^{-(2n+1)iπs}\,ds \eeq$$
ここでWolfram Alphaさんによると$\ds\int_0^1x(1-x)e^{ax}\,dx=\frac{e^a(a-2)+a+2}{a^3}$らしいので, $a=-(2n+1)iπ$ として,
$$\beq \int_0^1\frac{s(1-s)}{\sin\pi s}\,ds&=&2i\sumn{0}\frac{-(a-2)+a+2}{\left(-(2n+1)iπ\right)^3}\\[5pt] &=&\frac{2}{π^3}\sumn{0}\frac{4}{(2n+1)^3}\\[5pt] &=&\frac{7\zeta(3)}{π^3} \eeq$$
以上より,
$$\beq \int_0^\infty\frac{\tanh^2x}{x^2}\,dx&=&2\pi\int_0^1\frac{s(1-s)}{\sin\pi s}\,ds\\[5pt] &=&\frac{14\zeta(3)}{π^2} \eeq$$
示すことができました. とても面白かったです🥰
${}$
${}$