4

積分解説16

40
0
$$\newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\displaystyle} \newcommand{f}[0]{<} \newcommand{l}[0]{\left(} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right)} \newcommand{R}[0]{\mathbb{R}} \newcommand{tria}[0]{\tau\rho\iota\alpha} \newcommand{v}[0]{\varnothing} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} $$

2020/11/17に 白茶 さんが出題した問題です。

https://mathlog.info/articles/721

$$ \displaystyle \int_0^\infty \frac{1-\cos x}{x(e^x-1)}dx $$

[解説]

$ \begin{eqnarray*} && \int_0^\infty \frac{1-\cos x}{x(e^x-1)}dx\\ &=&-\int_0^\infty\frac1{x(e^x-1)}\int_0^1\frac{\partial}{\partial x}\cos txdtdx\\ &=&\int_0^1 \int_0^\infty\frac{\sin tx}{e^x-1}dxdt\\ &=&\int_0^1\int_0^\infty \sin tx\sum_{k=1}^\infty e^{-kx}dxdt\\ &=&\Im\sum_{k=1}^\infty \int_0^1 \int_0^\infty e^{-(k-it)x}dxdt\\ &=&\Im\sum_{k=1}^\infty\int_0^1\left[-\frac1{k-it}e^{-(k-it)x} \right]_0^\infty dt\\ &=&\Im\sum_{k=1}^\infty\int_0^1\frac1{k-it}dt\\ &=&\Im\sum_{k=1}^\infty \int_0^1 \frac{k+it}{k^2+t^2}dt\\ &=&\sum_{k=1}^\infty \int_0^1 \frac t{k^2+t^2}dt\\ &=&\frac12\sum_{k=1}^\infty\left[\log(k^2+t^2)\right]_0^1\\ &=&\frac12\sum_{k=1}^\infty \log\l1+\frac1{k^2} \r\\ &=&\frac12\log \prod_{k=1}^\infty \l1+\frac1{k^2} \r \\ &=&\frac12\log\frac{\sinh\pi}\pi \end{eqnarray*} $

よって、この問題の解答は$\displaystyle \frac12\log\frac{\sinh\pi}\pi$となります。

投稿日:20201118

この記事を高評価した人

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

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

バッジはありません。

投稿者

神鳥奈紗
神鳥奈紗
466
11637
遭難者です.高専1年です.MZV,級数,積分をメインにやっています.

コメント

他の人のコメント

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