定積分 No.23
定積分 No.23
\[\int_0^{\infty}dx \frac{\ln(x^2 + 1)}{x^2 + 1} = \pi \ln 2\]使用するトリック
次の被積分関数があったとする．
\[\frac{f(x)}{x^2 + 1}\]これは $x = \tan\theta$ なる置換積分を試みる例であるが，もし $f(x) = \ln(x^2 + 1)$ であったら，今の置換積分を行えば対数関数の中に三角関数が入り込むことになる．つまりオイラーの対数正弦積分が表れる．
よってこのような期待から定積分が求められそうである．
導出
求めるべき定積分について $x = \tan\theta$ なる置換積分を行う．
\[I := \int_0^{\infty}dx \frac{\ln(x^2 + 1)}{x^2 + 1} = \int_0^{\frac{\pi}{2}}dx \ln(\tan^2\theta + 1)\]ここで次が成り立った．
\[\tan^2\theta + 1 = \frac{1}{\cos^2\theta}\]よって次のようにオイラーの対数正弦積分に整理できる．
\[I = \int_0^{\frac{\pi}{2}}dx \ln\frac{1}{\cos^2\theta} = -2\int_0^{\frac{\pi}{2}}dx \ln\cos\theta = \pi \ln 2\]これは所望の結果である．
感想戦
オイラーの対数正弦積分でどれだけの多項式を処理できるかの例である． 今回得た定積分は更なる結果を得るための足掛かりとなる．