How to compute $\int_0^{+\infty} \frac{dt}{1+t^4} = \frac{\pi}{2\sqrt 2}.$

How to compute

$$\int_0^{+\infty} \frac{dt}{1+t^4} = \frac{\pi}{2\sqrt 2}.$$ I'm interested in more ways of computing this integral.

There is always the straight forward method to decompose into simple elements $\dfrac{1}{(1 + t^{4})}$ it works but it is tedious. If someone has a faster and clever method, I'm interested :)

Update :

• My quesion is different than this question because all the solution that state there is talk about the the straight forward method to decompose into simple elements $\dfrac{1}{(1 + t^{4})}$ as i said before i'm not intersted in that way

Solution 1:

Here is another method using purely clever substitutions. Note that

$$ \int_0^\infty \frac{\mathrm{d}x}{1+x^4} = \int_{0}^\infty \frac{w^2}{1+w^4} \mathrm{d}w $$

Where the last integral comes from the substitution $w \mapsto 1/x$. Addition now gives that $$ \begin{align*} \int_0^\infty \frac{\mathrm{d}x}{1+x^4} & = \frac{1}{2}\int_0^\infty \frac{1+x^2}{1+x^4}\mathrm{d}x \\ & = \frac{1}{2}\int_0^\infty \frac{1+1/x^2}{x^2+1/x^2} \mathrm{d}x \\ & = \frac{1}{2}\int_0^\infty \frac{(x-1/x)'}{(x-1/x)^2+2} \mathrm{d}x \\ & = \frac{1}{2}\int_{-\infty}^\infty \frac{\mathrm{d}u}{u^2+2} = \frac{1}{2\sqrt{2}}\int_{-\infty}^\infty \frac{\mathrm{d}y}{1+y^2} = \frac{\pi}{2\sqrt{2}} \end{align*} $$ Where the substitutions $u \mapsto x - 1/x$ and $y \mapsto \sqrt{2} u$ were used.

Solution 2:

Notice first that $$ \int_0^\infty\frac{1}{1+t^4}=\frac12\int_{-\infty}^\infty\frac{1}{1+t^4}\,dt. $$ Applying the Residue Theorem to the function $f: \mathbb{C}\setminus\{\pm e^{\pm i\frac\pi4}\} \to \mathbb{C}, z\mapsto \frac{1}{1+z^4}$, we have, for $R>1$: $$ \int_{-R}^Rf(t)\,dt=\frac{2\pi i}{4}\left(-e^{i\frac\pi4}+e^{-i\frac\pi4}\right)-i\int_0^\pi\frac{Re^{i\theta}}{1+R^4e^{4i\theta}}\,d\theta. $$ Since $$ \lim_{R\to\infty}\left|\int_0^\pi\frac{Re^{i\theta}}{1+R^4e^{4i\theta}}\,d\theta\right|\le \lim_{R\to\infty}\int_0^\pi\frac{R}{R^4-1}=\lim_{R\to\infty}\frac{\pi R}{R^4-1}=0, $$ it follows that $$ \lim_{R\to \infty}\int_{-R}^Rf(t)\,dt=\frac{2\pi i}{4}\left(-e^{i\frac\pi4}+e^{-i\frac\pi4}\right)=\pi\sin\left(\frac\pi4\right)=\frac{\pi}{\sqrt{2}}. $$ Hence $$ \int_0^\infty\frac{1}{1+t^4}\,dt=\lim_{R\to\infty}\frac12\int_{-R}^R f(t)\,dt=\frac{\pi}{2\sqrt{2}}. $$