A contour integral with Laurent Series?

hadroneater
Messages
56
Reaction score
0

Homework Statement



1. Evaluate
\int_{c_{2}(0)} f(z)dz = \int_{c_{2}(0)} \frac{z^{m}}{1+z^{3}}dz
Where c_{2}(0) is the circle of radius 2 centered at the origin with positive orientation (ccw).

I have done the question myself and compared it with the solution. However, I don't think I am understanding the use of the Laurent Series expansion right.

Homework Equations


The Attempt at a Solution


1. If m >= 0, then the integrand has 3 simple poles at z = -1, e^i(pi/3) and e^-i(pi/3).
If m < 0, then the integrand has the above poles and poles of order |m| at z = 0. The circular contour contains all such poles.

From here, what I did was simply apply the Residue Theorem.
For m >= 0
\int_{c_{2}(0)} \frac{z^{m}}{1+z^{3}}dz = 2i\pi(Res(-1) + Res(e^{\frac{i\pi}{3}}) + Res(e^{\frac{-i\pi}{3}}))
For m < = 0
\int_{c_{2}(0)} \frac{z^{m}}{1+z^{3}}dz = 2i\pi(Res(-1) + Res(e^{\frac{i\pi}{3}}) + Res(e^{\frac{-i\pi}{3}}) + Res(0))
The first 3 residues are easy to find because they are simple poles. The mth pole at zero is harder but still okay.

However, the solution does it differently. The first write the integrand as a Laurent Series about z = 0.
f(z) = \sum_{n = 0}^{\infty}z^{m}(-z^{3})^{n} = \sum_{n = 0}^{\infty}(-1)^{n}z^{m+3n}
Then for 1/z to appear, m + 3n = -1 hence m = -1 - 3n. Thus:
Res(0) = (-1)^{n} when m = -1 - 3n, n≥ 0

I can see why they would do that so that the residue at z = 0 would be easier to find. However, why is the summation for the Laurent Series from n = 0 and not n = -∞? Technically, isn't this just a power series?
 
Last edited:
Physics news on Phys.org
no takers?
 
hadroneater said:
no takers?

1/(1+z^3) is analytic at z=0. You can expand it in a power series there. No need for negative powers. Then multiply that by z^(m).
 
But isn't that only assuming m >= 0?
 
hadroneater said:
But isn't that only assuming m >= 0?

I'm saying you can expand 1/(1+z^3) without any negative powers. That's why n=0 to infinity. Sure, after you multiply by x^(m) some of the powers of z may become negative. But the sum is still n=0 to infinity. I'm not sure what's bothering you about this.
 
Exactly, there may be negative powers depending on your choice of m, but there certainly shouldn't be infinitely many negative terms as was suggested in the OP.

When m<0 there is clearly a pole at z=0, not an essential singularity.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top