Solve Integral 1/(x^4+1): Complete Solution Guide

[Nebuchadnezza]

I know this is not a school forum...

But I think this problem has been solved multiple times all over the internett, but now I am unable to find a complete soultion for this problem.

1/(x^4+1)

I think it also have been solved multiple times on this site.

Could anyone help me find a complete solution? (Link to thread here)

The basic outline I remember from reading about it before is

1. Rationalize the denominator

2. Split the integral into two mean integrals

3. Divide top and bottom by x^2

4. Factor

5. Substitution

But as I said, I am unable to find it now.

 

[Liquidxlax]

you can use trig substitution 1 + tan^2(x) = sec^2(x)

so x = sqrt(tan(x))

dx = ?

then use substitution again

 

[GreenPrint]

Yes draw your triangle and proceed with a trig substitution

 

[Nebuchadnezza]

Gargl... I tried to submt this into the non homework section but alas, I was redirected here...

For once this is not a problem any teacher, except the sadistic ones would give to any student.

The only time you will see this integral is in the course Complex Analysis, and then you will evaluate this using contour integration. Simply this is just a mean proble, and I wanted to look at the solution. Not trying to solve it myself...

Trig substitution will not work here. Since you will end up with \frac{1}{\sqrt{\tan(x)}}... Which is just more complicated...

My work so far. I do not really want to use trig integrals. And I believe atleast one of these integrals below can be solved without trig. (I want to avoid trig substitutions because of the mean / near impossible back-substitutions)

Does this look correct?

<br /> \begin{array}{l}<br /> I = \int {\frac{1}{{{x^4} + 1}}dx} \\ <br /> I = \int {\frac{1}{{\left( {{x^2} - \sqrt 2 x + 1} \right)\left( {{x^2} + \sqrt 2 x + 1} \right)}}dx} \\ <br /> I = \frac{1}{{2\sqrt 2 }}\int {\frac{{\sqrt 2 - x}}{{{x^2} - \sqrt 2 x + 1}} + \frac{{x + \sqrt 2 }}{{{x^2} + \sqrt 2 x + 1}}dx} \\ <br /> I = \frac{1}{{2\sqrt 2 }}\int {\frac{{\sqrt 2 - x}}{{{{\left( {x - \frac{{\sqrt 2 }}{2}} \right)}^2} + {{\left( {\frac{{\sqrt 2 }}{2}} \right)}^2}}} + \frac{{x + \sqrt 2 }}{{{{\left( {x + \frac{{\sqrt 2 }}{2}} \right)}^2} + {{\left( {\frac{{\sqrt 2 }}{2}} \right)}^2}}}dx} \\ <br /> \end{array}<br />

any tips how the easiest way to proceed is / any threads dealing with this integral?

 

[Dickfore]

<br /> z^{4} + 1 = 0<br />
has 4 complex roots:
<br /> z_{1} = e^{i \frac{\pi}{4}} = \frac{1 + i}{\sqrt{2}}<br />

<br /> z_{2} = e^{i \frac{3 \pi}{4}} = \frac{-1 + i}{\sqrt{2}}<br />

<br /> z_{3} = e^{i \frac{5 \pi}{4}} = \frac{-1 - i}{\sqrt{2}}<br />

<br /> z_{4} = e^{i \frac{7 \pi}{4}} = \frac{1 - i}{\sqrt{2}}<br />

Of these, z_{4} is the complex conjugate of z_{1} and z_{3} is the complex conjugate of z_{2}. Now:
<br /> (z - z_{0})(z - \overline{z}_{0}) = z^{2} - (z + \overline{z}_{0}) z + z_{0} \overline{z}_{0} = z^{2} - 2 \mathrm{Re}(z_{0}) z + |z_{0}|^{2}<br />
so:
<br /> (z - z_{1})(z - z_{4}) = z^{2} - \sqrt{2} z + 1<br />
and
<br /> (z - z_{2})(z - z_{3}) = z^{2} + \sqrt{2} z + 1<br />
So, the partial fraction decomposition is:
<br /> \frac{1}{z^{4} + 1} = \frac{1}{(z^{2} - \sqrt{2} z + 1)(z^{2} + \sqrt{2} z + 1)} = \frac{A z + B}{z^{2} - \sqrt{2} z + 1} + \frac{C z + D}{z^{2} + \sqrt{2} z + 1}<br />
You need to find the undetermined coefficients A, B, C, D and then use integrals of quadratic binomials. You will use:
<br /> \frac{d}{d z}\left(z^{2} \mp \sqrt{2} z + 1\right) = 2 z \mp \sqrt{2}<br />
and
<br /> z^{2} \mp \sqrt{2} z + 1 = (z \mp \frac{1}{\sqrt{2}})^{2} + \left(\frac{1}{\sqrt{2}}\right)^{2}<br />

 

[Nebuchadnezza]

Which is exactly what I id, if you look at the post above...

Here is my solution though... Never thought I would do all of it.

Can anyone spot any mistakes here, as I wen through quite a lot to solve this pesky integral.

 

[Dickfore]

http://www.wolframalpha.com/input/?i=Integrate[1/(x^4+1),x]

 

[Dickfore]

If you use:
<br /> \mathrm{arctan}(x) \pm \mathrm(y) = \mathrm{arctan} \left( \frac{x \pm y}{1 \mp x y} \right)<br />
then
<br /> \begin{array}{l}<br /> \mathrm{arctan}(\sqrt{2} x + 1) - \mathrm{arctan}(1 - \sqrt{2} x) = \mathrm{arctan}\left( \frac{(\sqrt{2} x + 1) - (1 - \sqrt{2} x)}{1 + (1 + \sqrt{2} x) (1 - \sqrt{2} x)} \right) \\<br /> <br /> = \mathrm{arctan} \left( \frac{2 \sqrt{2} x}{1 + 1 - 2 x^{2}} \right) = \mathrm{arctan} \left( \frac{\sqrt{2} x}{1 - x^{2}} \right) = -\mathrm{arctan} \left( \frac{\sqrt{2} x}{x^{2} - 1} \right)<br /> \end{array}<br />
which is what you have as the argument of the arc tangent function. I think it's correct.

 

[Dickfore]

The sign of your logarithms seems opposite.