2

解説7

51
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{div}[0]{\mathrm{div}} \newcommand{division}[0]{÷} \newcommand{grad}[0]{\mathrm{grad}\ } \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rot}[0]{\mathrm{rot}\ } \newcommand{Z}[0]{\mathbb{Z}} $$

@infseriesbot さんがツイートした こちらの定理 の解説です.

以下の等式が成り立ちます.
$\displaystyle\int_0^\infty\frac{\cos\sqrt{x}}{e^{2\pi\sqrt{x}}-1}\mathrm{d}x=1-\frac{e}{\left(e-1\right)^2}$

解説
\begin{align*} &\int_0^\infty\frac{\cos\sqrt{x}}{e^{2\pi\sqrt{x}}-1}\mathrm{d}x\\ =&\int_0^\infty\cos\sqrt{x}\frac{e^{-2\pi\sqrt{x}}}{1-e^{-2\pi\sqrt{x}}}\mathrm{d}x\\ =&\int_0^\infty\cos\sqrt{x}\sum_{k=1}^\infty e^{-2\pi k\sqrt{x}}\mathrm{d}x\\ =&\int_0^\infty\sum_{k=1}^\infty\left(e^{-2\pi k\sqrt{x}}\frac{\frac{1}{\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+\left(1+\left(2\pi k\right)^2\right)\cos\sqrt{x}}{1+\left(2\pi k\right)^2}-e^{-2\pi k\sqrt{x}}\frac{1}{\sqrt{x}}\frac{\left(1+\left(2\pi k\right)^2\right)\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\mathrm{d}x\\ =&\int_0^\infty\sum_{k=1}^\infty\left(e^{-2\pi k\sqrt{x}}\frac{\frac{1}{\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)-2\pi k\sin\sqrt{x}+\left(2\pi k\right)^2\cos\sqrt{x}+\cos\sqrt{x}+2\pi k\sin\sqrt{x}}{1+\left(2\pi k\right)^2}-e^{-2\pi k\sqrt{x}}\frac{1}{\sqrt{x}}\frac{\left(-1+\left(2\pi k\right)^2\right)\left(-2\pi k\cos\sqrt{x}\right)+2\left(2\pi k\right)^2\sin\sqrt{x}+\left(1-\left(2\pi k\right)^2\right)\sin\sqrt{x}+2\left(-2\pi k\cos\sqrt{x}\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\mathrm{d}x\\ =&\int_0^\infty\sum_{k=1}^\infty\left(e^{-2\pi k\sqrt{x}}\frac{\frac{1}{\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)-2\pi k\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+\cos\sqrt{x}+2\pi k\sin\sqrt{x}}{1+\left(2\pi k\right)^2}-e^{-2\pi k\sqrt{x}}\frac{1}{\sqrt{x}}\frac{-2\pi k\left(\left(-1+\left(2\pi k\right)^2\right)\cos\sqrt{x}-4\pi k\sin\sqrt{x}\right)-\left(-1+\left(2\pi k\right)^2\right)\sin\sqrt{x}-4\pi k\cos\sqrt{x}}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\mathrm{d}x\\ =&\int_0^\infty\sum_{k=1}^\infty\left(\frac{2\frac{1}{2\sqrt{x}}e^{-2\pi k\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+2\sqrt{x}\left(-2\pi k\frac{1}{2\sqrt{x}}\right)e^{-2\pi k\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+2\sqrt{x}e^{-2\pi k\sqrt{x}}\left(\frac{1}{2\sqrt{x}}\cos\sqrt{x}+2\pi k\frac{1}{2\sqrt{x}}\sin\sqrt{x}\right)}{1+\left(2\pi k\right)^2}-\frac{2\left(-2\pi k\frac{1}{2\sqrt{x}}\right)e^{-2\pi k\sqrt{x}}\left(\left(-1+\left(2\pi k\right)^2\right)\cos\sqrt{x}-4\pi k\sin\sqrt{x}\right)+2e^{-2\pi k\sqrt{x}}\left(-\left(-1+\left(2\pi k\right)^2\right)\frac{1}{2\sqrt{x}}\sin\sqrt{x}-4\pi k\frac{1}{2\sqrt{x}}\cos\sqrt{x}\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\mathrm{d}x\\ =&\int_0^\infty\sum_{k=1}^\infty\left(\frac{2\left(\frac{\mathrm{d}}{\mathrm{d}x}\sqrt{x}\right)e^{-2\pi k\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+2\sqrt{x}\left(\frac{\mathrm{d}}{\mathrm{d}x}e^{-2\pi k\sqrt{x}}\right)\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)+2\sqrt{x}e^{-2\pi k\sqrt{x}}\left(\left(\frac{\mathrm{d}}{\mathrm{d}x}\sin\sqrt{x}\right)-2\pi k\left(\frac{\mathrm{d}}{\mathrm{d}x}\cos\sqrt{x}\right)\right)}{1+\left(2\pi k\right)^2}-\frac{2\left(\frac{\mathrm{d}}{\mathrm{d}x}e^{-2\pi k\sqrt{x}}\right)\left(\left(-1+\left(2\pi k\right)^2\right)\cos\sqrt{x}-4\pi k\sin\sqrt{x}\right)+2e^{-2\pi k\sqrt{x}}\left(\left(-1+\left(2\pi k\right)^2\right)\left(\frac{\mathrm{d}}{\mathrm{d}x}\cos\sqrt{x}\right)-4\pi k\left(\frac{\mathrm{d}}{\mathrm{d}x}\sin\sqrt{x}\right)\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\mathrm{d}x\\ =&\left[\sum_{k=1}^\infty\left(\frac{2\sqrt{x}e^{-2\pi k\sqrt{x}}\left(\sin\sqrt{x}-2\pi k\cos\sqrt{x}\right)}{1+\left(2\pi k\right)^2}-\frac{2e^{-2\pi k\sqrt{x}}\left(\left(-1+\left(2\pi k\right)^2\right)\cos\sqrt{x}-4\pi k\sin\sqrt{x}\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\right)\right]_{x=0}^\infty\\ =&\sum_{k=1}^\infty\frac{2\left(-1+\left(2\pi k\right)^2\right)}{\left(1+\left(2\pi k\right)^2\right)^2}\\ =&\left(\frac{1}{2\pi}\right)^2\sum_{k=1}^\infty\frac{2\left(-\left(\frac{1}{2\pi}\right)^2+k^2\right)}{\left(\left(\frac{1}{2\pi}\right)^2+k^2\right)^2}\\ =&\left(\frac{1}{2\pi}\right)^2\sum_{k=1}^\infty\left(\frac{\left(\frac{i}{2\pi}+k\right)^2+\left(-\frac{i}{2\pi}+k\right)^2}{\left(-\frac{i}{2\pi}+k\right)^2\left(\frac{i}{2\pi}+k\right)^2}\right)\\ =&\left(\frac{1}{2\pi}\right)^2\sum_{k=1}^\infty\left(\frac{1}{\left(-\frac{i}{2\pi}+k\right)^2}+\frac{1}{\left(\frac{i}{2\pi}+k\right)^2}\right)\\ =&\left(\frac{1}{2\pi}\right)^2\sum_{n=0}^\infty\left(\frac{1}{\left(1-\frac{i}{2\pi}+n\right)^2}+\frac{1}{\left(1+\frac{i}{2\pi}+n\right)^2}\right)\\ =&\left(\frac{1}{2\pi}\right)^2\left(\psi^\left(1\right)\left(1-\frac{i}{2\pi}\right)+\psi^\left(1\right)\left(1+\frac{i}{2\pi}\right)\right)\\ =&\left(\frac{1}{2\pi}\right)^2\left(\psi^\left(1\right)\left(1-\frac{i}{2\pi}\right)+\psi^\left(1\right)\left(\frac{i}{2\pi}\right)-\frac{1}{\left(\frac{i}{2\pi}\right)^2}\right)\\ =&\left(\frac{1}{2\pi}\right)^2\left(\frac{\pi^2}{\sin^2\pi\frac{i}{2\pi}}+\frac{1}{\left(\frac{1}{2\pi}\right)^2}\right)\\ =&\left(\frac{1}{2i\sinh\frac{1}{2}}\right)^2+1\\ =&1-\left(\frac{1}{e^\frac{1}{2}-e^{-\frac{1}{2}}}\right)^2\\ =&1-\frac{e}{\left(e-1\right)^2} \end{align*}
なので,$\displaystyle\int_0^\infty\frac{\cos\sqrt{x}}{e^{2\pi\sqrt{x}}-1}\mathrm{d}x=1-\frac{e}{\left(e-1\right)^2}$です.$\blacksquare$
投稿日:2021217

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

微分積分学,数理論理学,順序数解析が好きです.ここでは主に微積や級数の話題をすると思います.記事まとめは下のリンクからどうぞ.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中