4
$\begingroup$

I want to evaluate the improper integral $\int\limits_{0}^{\infty}\frac{x^{1/4}}{1+x^3}\, dx$ via residue theorem but something odd is happening.

When I use the key-hole contour where I integrate above/below the postive real axis, I end up getting that the real and imaginary part of the integral is $-\int\limits_{0}^{\infty}\frac{t^{1/4}}{1+t^3}dt + \int\limits_{0}^{\infty}\frac{t^{1/4}}{1+t^3}dt*i $

When I compute the contour via residues I get answers that not only do not match up to numerical calculation but I but have different real and imaginary scaler values.

The 3 roots of $1+z^3$ are $-1, 1/2+\frac{\sqrt{3}}{2i}, 1/2-\frac{\sqrt{3}}{2}*i $

And residue values computed at each are:

for $-1$, $\frac{\sqrt{2}}{6}(1+i)$

for $1/2 + \sqrt(3)/2i$, $\frac{-(\sqrt{3}-1)\sqrt{2}}{12} - \frac{(\sqrt{3}+1)\sqrt{2}}{12}i$

for $1/2 - \sqrt(3)/2i$, $\frac{-(\sqrt{3}-1)\sqrt{2}}{12} + \frac{(\sqrt{3}+1)\sqrt{2}}{12}i$

Now clearly the sum of these multiplied by $2\pi*i$ will not have real and imaginary parts which are scaler multiples of each other.

What did I do wrong?

  • 0
    oops I kept trying to edit as my TeX was wrong, I meant $e^{\frac{1}{4}*Log(z) + 1/2\pi*i}$ equals $z^{\frac{1}{4}}*e^{\frac{1}{2}\pi*i}$2012-10-15

1 Answers 1

3

Just as a remark, this kind of integrals can be evaluated in terms of the Euler Beta function:

$I=\int_{0}^{+\infty}\frac{x^{1/4}}{1+x^3}dx = \frac{1}{3}\int_{0}^{+\infty}\frac{1}{y^{7/12}(1+y)}dy, $

use now the substitution $\frac{1}{1+y}=1-z$ and the identity $\Gamma(z+1)=z\,\Gamma(z)$ to have:

$ I = \frac{1}{3}\int_{0}^{1} z^{-7/12}(1-x)^{-5/12} dz = \frac{\Gamma(5/12)\,\Gamma(7/12)}{3}, $

but since $\Gamma(z)\,\Gamma(1-z)=\frac{\pi}{\sin(\pi z)}$ we have:

$ I = \frac{1}{3}\cdot\frac{\pi}{\sin\frac{5\pi}{12}} = \frac{\pi(1+\sqrt{3})}{6\sqrt{2}}. $

The result suggests that, in the computation of $I$ through residues, you have to consider the behaviour of the integrand in the neighbourhood of any twelth roots of unity.

  • 0
    I was able to find the solution, I had calculated the $r$esidues wrong and it numerically matches wolfram and ti89 but your answer does not match up, I'm not sure if it was rounding error or not.2012-10-15