6
$\begingroup$

I am trying to use the residue theorem to evaluate $$I=\int_0 ^{\infty}\frac{dx}{x^{1/3}(1+x)}$$ I'll explain my difficulty in finding a contour, then I explain my difficulty in finding a new contour after a substitution.

Consider the complexification $$f(z)=\frac{1}{z^{1/3}(1+z)}$$ where we choose the branch of the radical given by $$z^{1/3}=r^{1/3}e^{i\theta}, -\pi /2<\theta < 3\pi /2$$ (I'm open to using a different branch if convenient). The poles of $f$ are at $0,-1$, and I am not sure what contour I should use. I'm convinced that I am going to use a wedge, but I am not sure at which angle to make the wedge (that is, I am unsure of the angle of the line $\gamma_3$ lies on - see the pic below). In a different example that involved a square root, I was told "the angle should be twice the argument of the pole," but I have two poles; I don't know the argument of $0$ and if I double or triple the argument of $-1$, I land back on the real axis and my contour will have two overlapping sides or will intersect itself.

enter image description here

On the other hand, if we apply the $u$-substitution $u=x^{1/3}$, then $I$ becomes $$3\int_0^{\infty}\frac{u}{1+u^3}du$$, and the (complexification of the) integrand has poles at $-1,e^{\pi i /3}, e^{-\pi i /3}$. In this case, I am also unsure of how to determine the angle at which $\gamma_2$ should be (see pic below). I beleive the modified integral can be solved using partial fractions (and no complex analysis), but I prefer to use complex for now.

enter image description here

Question: How can I choose the right contour in each case, and should one always consider using a $u$-substitution when the integrand has rational powers of $x$?

$\endgroup$
4
  • $\begingroup$ Since this does not answer your question (but would help you to calculate the integral), I put this as a comment. You can actually calculate a primitive, $$\frac{1}{2} \log \bigl(x^{2/3}-x^{1/3}+1\bigr)-\log \bigl(x^{1/3}+1\bigr)+\sqrt{3} \arctan\bigl(\frac{2 x^{1/3}-1}{\sqrt{3}}\bigr).$$ $\endgroup$
    – mickep
    Commented Jun 6, 2015 at 6:29
  • $\begingroup$ @mickep I know, but I want to use the residue theorem. If I avoid using complex analysis and make 1 mistake, I will get 0 credit on this type of problem. $\endgroup$ Commented Jun 6, 2015 at 6:31
  • $\begingroup$ OK, fine, I see your point. $\endgroup$
    – mickep
    Commented Jun 6, 2015 at 6:32
  • $\begingroup$ Hint: the sector contour actually works (with angle $2\pi/3$), if you use $x=y^3$ first, so the integrand is unchaged up to a multiplicative constant on the returning radius. There is then exactly one enclosed pole. $\endgroup$
    – J.G.
    Commented Aug 16, 2022 at 11:49

1 Answer 1

4
$\begingroup$

The integral is the Beta Function integral for $$ \mathrm{B}(\tfrac23,\tfrac13)=\frac{\Gamma(\frac23)\Gamma(\frac13)}{\Gamma(1)}=\frac\pi{\sin(\frac\pi3)}=\frac{2\pi}{\sqrt3} $$


Contour Integration

If we use the keyhole contour $\gamma$

keyhole contour

we get $$ \begin{align} \int_\gamma\frac{z^{-1/3}\,\mathrm{d}z}{1+z} &=\underbrace{\int_0^\infty\frac{x^{-1/3}\,\mathrm{d}x}{1+x}}_{\begin{array}{c}\text{line above}\\\text{the positive reals}\end{array}} -\underbrace{e^{-2\pi i/3}\int_0^\infty\frac{x^{-1/3}\,\mathrm{d}x}{1+x}}_{\begin{array}{c}\text{line below}\\\text{the positive reals}\end{array}}\\ &=(1-e^{-2\pi i/3})\int_0^\infty\frac{x^{-1/3}\,\mathrm{d}x}{1+x} \end{align} $$ because the integral along the two circular contours vanishes as the outside one gets larger and the inside one gets smaller.

The contour integral along $\gamma$ equals $2\pi i$ times the residue of $\frac{z^{-1/3}}{1+z}$ at $z=-1=e^{\pi i}$.

$\endgroup$
2
  • $\begingroup$ thank you. I should have known to use the keyhole but my original choice of branch made it impossible. Do you think integrals with rational powers of $x$ in the integrand can be solved in a similar way (using a keyhole) or is there a case when one should seriously consider using a substitution? $\endgroup$ Commented Jun 6, 2015 at 7:09
  • $\begingroup$ Indeed they can. Take a look at this answer. $\endgroup$
    – robjohn
    Commented Jun 6, 2015 at 7:11

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .