1/(x^4+1) の積分

dxx4+1=142{log(x2+2x+1)log(x22x+1)+2arctan(2x+1)2arctan(12x)}\begin{aligned} &\int \dfrac{dx}{x^4 + 1}\\ &= \dfrac{1}{4\sqrt{2}} \{ \log(x^2 + \sqrt{2} x + 1)-\log(x^2 - \sqrt{2} x + 1)\\ & \quad\quad\quad\quad + 2 \arctan (\sqrt{2} x + 1) - 2 \arctan (1 - \sqrt{2} x) \} \end{aligned}

なお,この記事では積分定数は省略しています。

不定積分の計算

不定積分には ソフィージェルマンの恒等式 a4+4b4=(a2+2ab+2b2)(a22ab+2b2) a^4+4b^4=(a^2+2ab+2b^2)(a^2-2ab+2b^2) を用います。

証明

dxx4+1=dx(x2+2x+1)(x22x+1)=122(x+2x2+2x+1+x+2x22x+1)dx\begin{aligned} &\int \dfrac{dx}{x^4 + 1}\\ &= \int \dfrac{dx}{(x^2 + \sqrt{2} x + 1) (x^2 - \sqrt{2} x + 1)}\\ &= \dfrac{1}{2\sqrt{2}} \int \left( \dfrac{x+\sqrt{2}}{x^2 + \sqrt{2} x + 1} + \dfrac{-x+\sqrt{2}}{x^2 - \sqrt{2} x + 1} \right) dx \end{aligned} と部分分数分解できる。

前半は x+2x2+2x+1dx=122x+2x2+2x+1+12dxx2+2x+1=12(x2+2x+1)x2+2x+1+12dx(x+22)2+12=12log(x2+2x+1)+arctan(2x+1)\begin{aligned} &\int \dfrac{x+\sqrt{2}}{x^2 + \sqrt{2} x + 1} dx\\ &= \dfrac{1}{2} \int \dfrac{2x+\sqrt{2}}{x^2 + \sqrt{2}x + 1} + \dfrac{1}{\sqrt{2}} \int \dfrac{dx}{x^2 + \sqrt{2}x + 1} \\ &= \dfrac{1}{2} \int \dfrac{(x^2 + \sqrt{2}x + 1)'}{x^2 + \sqrt{2}x + 1} + \dfrac{1}{\sqrt{2}} \int \dfrac{dx}{\left( x+\dfrac{\sqrt{2}}{2} \right)^2 + \dfrac{1}{2}}\\ &= \dfrac{1}{2} \log (x^2 + \sqrt{2}x + 1) + \arctan (\sqrt{2} x + 1) \end{aligned} となる。

同様に,後半は x+2x22x+1dx=12log(x22x+1)arctan(2x+1)\begin{aligned} &\int \dfrac{-x+\sqrt{2}}{x^2 - \sqrt{2} x + 1} dx\\ &= - \dfrac{1}{2} \log (x^2 - \sqrt{2}x + 1) - \arctan (-\sqrt{2} x + 1) \end{aligned} となる。

よって dxx4+1=142{log(x2+2x+1)log(x22x+1)+2arctan(2x+1)2arctan(12x)}\begin{aligned} &\int \dfrac{dx}{x^4 + 1}\\ &= \dfrac{1}{4\sqrt{2}} \{ \log(x^2 + \sqrt{2} x + 1)-\log(x^2 - \sqrt{2} x + 1)\\ & \quad\quad\quad\quad + 2 \arctan (\sqrt{2} x + 1) - 2 \arctan (1 - \sqrt{2} x) \} \end{aligned} である。

広義積分

dxx4+1=π2 \int_{-\infty}^{\infty} \dfrac{dx}{x^4+1} = \dfrac{\pi}{\sqrt{2}}

上の不定積分から計算してみましょう。

証明

前半 [log(x2+2x+1)log(x22x+1)]=[logx2+2x+1x22x+1]=log1log1=0\begin{aligned} &\Big[ \log(x^2 + \sqrt{2} x + 1)\\ & \quad -\log(x^2 - \sqrt{2} x + 1) \Big]_{-\infty}^{\infty}\\ &= \Big[ \log \dfrac{x^2 + \sqrt{2} x + 1}{x^2 - \sqrt{2} x + 1} \Big]_{-\infty}^{\infty}\\ &= \log 1 - \log 1\\ &= 0 \end{aligned}

後半 [arctan(2x+1)arctan(12x)]=π2+π2+π2+π2=2π\begin{aligned} &\Big[ \arctan (\sqrt{2} x + 1)\\ & \quad - \arctan (1 - \sqrt{2} x) \Big]_{-\infty}^{\infty}\\ &= \dfrac{\pi}{2} + \dfrac{\pi}{2} + \dfrac{\pi}{2} + \dfrac{\pi}{2}\\ &= 2\pi \end{aligned}

よって dxx4+1=π2 \int_{-\infty}^{\infty} \dfrac{dx}{x^4+1} = \dfrac{\pi}{\sqrt{2}} である。

なお,この広義積分は複素関数論を使って計算することもできます!

詳しくは 留数定理 をご覧ください。

方針は単純ですが,計算はとても大変です。