Contour Integration: Evaluating Integral on Unit Circle

[bwinter]

Homework Statement

Evaluate \int_{0}^{2\pi} \frac{d\theta}{1+\epsilon cos\theta}

where \left|\epsilon\right|<1, by letting z=e^{i\theta} and cos\theta = (z+z^{-1})/2 and choosing contour \left|z\right| = 1, a unit circle.

Homework Equations

I know this has something to do with contour integration, but there are no poles as far as I'm aware and I'm used to going from dz to d\theta that I'm a bit confused here as to what to do.

The Attempt at a Solution

I've gotten as far as subbing in the relevant replacement, but I'm lost otherwise. Residues don't apply here, right?

 

[vela]

Can you show us what you got after you rewrote the integral in terms of z?

 

[bwinter]

I'm not sure how to do that either. I just replaced the cosine with what's written. Not sure how dtheta changes into dz.

 

[vela]

You do it like you normally do. You start with z=e^{i\theta} and differentiate to get dz=ie^{i\theta}\,d\theta=iz\,d\theta.

 

[bwinter]

Oh, ok I think I got this. Just needed a push in the right direction. If I do that I get a quadratic in the denominator which results in two poles, then I can choose one and integrate around it which results in a residue which gives the answer. Sounds right?

 

[Cyosis]

You can't just choose one and integrate around it. You're integrating along the unit circle |z|=1. Therefore you must take the pole that lies within this circle.

 

[bwinter]

I've found that the poles exist at z=\frac{-1\pm\sqrt{1-\epsilon^2}}{\epsilon} which don't fall inside the circle. Does this imply there are no poles I have to be concerned about? I'm super confused what I'm supposed to be doing here.

 

[Cyosis]

I haven't checked your entire solution, but it seems you missed the 'obvious' z=0 pole.

 

[vela]

Your roots aren't correct. I think you made an algebra mistake somewhere. What did you get in the denominator? I got \epsilon z^2+2z+\epsilon.

 

[bwinter]

I haven't checked your entire solution, but it seems you missed the 'obvious' z=0 pole.

That's actually not a pole here, I don't think. Plugging in z=0 gives me \epsilon in the denominator.

Your roots aren't correct. I think you made an algebra mistake somewhere. What did you get in the denominator? I got \epsilon z^2+2z+\epsilon.

Yep, that's what I got after I factored out the 2/i, in which case my roots are correct, as I double-checked them with Wolfram.
edit: Actually one of my roots does fall inside the circle after all. Do I find a residue for that pole?

 

[vela]

OK, I see you fixed the expression for the roots in your earlier post. I wasn't sure if you got the wrong roots or just entered the wrong LaTeX. In any case, our roots agree now.

So, yeah, as you found, one pole is inside the contour. The contour integral will equal 2πi times the residue at that pole, so you want to find it.