Solving Integrals with |a|, |b| < 1: A Hint for Fred

  • Thread starter Thread starter Mathman23
  • Start date Start date
  • Tags Tags
    Integrals
Mathman23
Messages
248
Reaction score
0

Homework Statement



solve the integral

\int_{dK(0,1)}\frac{1}{(z-a)(z-b)} dz

where |a|,|b| < 1

Homework Equations



Would it be relevant to use Cauchys integrals formula here?

\int_{C_p} \frac{f(z)-f(z_0)}{z- z_0} dz

The Attempt at a Solution



If I use the above formula I get

\int_{dK(0,1)} \frac{\frac{1}{(z-a)(z-b)}-\frac{1}{(z_{0}-a)(z_{0}-b)}}{z- z_0} dz

I am stuck here? Could somebody please give me a hint on how to proceed from here?

If |a|, |b| < 1, doesn't the integral tend to infinity? Or have I misunderstood something?

Best Regards
Fred
 
Last edited:
Physics news on Phys.org
I'm assuming dK(0,1) means the unit circle. In which case you are integrating around a region that contains two simple poles. Don't you have the residue theorem yet?
 
Dick said:
I'm assuming dK(0,1) means the unit circle. In which case you are integrating around a region that contains two simple poles. Don't you have the residue theorem yet?

No I haven't found it in my textbook chapter yet.

You mean this?
http://en.wikipedia.org/wiki/Residue_theorem
 
Last edited:
I suspect, then, that this is exercise is in preparation for introducing you to "residue"! (And, therefore, you should not use residues in doing the exercise.)

Since your function, 1/((z-a)(z-b)), is analytic everywhere except at a and b, you can change the contour as you please as long as it includes a and b and still get the same integral. Here's a standard way to do that: Use "partial fractions" to write the integrand as C/(z-a)+ D/(z-b). Now draw circles around a and b of radius r (small enough so that they stay inside the unit circle and don't cross each other. Draw two parallel straight lines very close together from the unit circle to the circle around a and another pair of straight lines from the unit circle to the circle around b. (It might help you to actuall draw this picture!) You should see that your contour has enclosed a region that does NOT have a and b inside it!

Now imagine starting at any point on the unit circle and integrating around the unit circle, counter-clockwise, until you reach one of those straight lines, integrate along that line to the small circle, around the small circle until you reach the second parallel line, then back to the unit circle. Notice that you have to integrate clockwise around that small circle in order to do that. Integrate along the unit circle until you get to the next straight line and repeat with that small circle, then back to your starting point.

The point of that exercise is to make you see that your contour consists of 8 parts: the two parts of the unit circle, the four straight lines from the unit circle to each of the small circles, and the two small circles. Since a and b are NOT inside that contour, the function is analytic inside the contour and the total integral (the sum of the integrals on all 8 pieces) is 0.

Now imagine moving those parallel lines closer and closer together. In the limit, you are integrating in both directions along the same line: one integral is the negative of the other and the total integral along each of the straight lines is 0. That leaves us with 4 pieces: The two integrals around the unit circle, which have no merged into just the unit circle, and the two small circles.

Let I be the integral (counterclockwise) around the unit circle and A and B be the integrals (counterclockwise) around the two small circles, centered on a and b respectively. Since you are integrating clockwise around the two small circles, their contribution is -A and -B. The total integral is I- A- B= 0 so I= A+ B. That is, the integral you want is the sum of the two integrals around the poles!

Of course, C/(z-a) is analytic inside the circle around b and D/(z-b) is analytic inside the circle around a so their contribution will be 0 to the respective integrals. You really have
I= \int_A\frac{Cdz}{z-a}+ \int_B\frac{Ddz}{z-b}

Let z= r e^{i\theta}+ a in the first integral and z= r e^{i\theta}+ b in the second (\theta measures the angle as you go around each circle) and you should find those integrals to be very simple (in fact, each integral IS the "residue" at that center point).
 
Hello Hall many thanks for Your answer,

By reading your very good explanation I have formulated my solution. Which goes something like this

Case (1)

let \gamma(t) = r \cdot e^{i \cdot t}

then I_{A} = \int_{\gamma} \frac{1}{z-a} dz, where z_A =r \cdot e^{i \cdot t} +a

where t \in [0,2 \pi]

thus

I_{A} = \int_{0}^{2 \pi} \frac{C \cdot (\frac{d}{dt}(r \cdot e^{i \cdot t}))}{r \cdot e^{i \cdot t}} dt.

Then I get that I_A = 2 \cdot C \cdot \pi \cdot i


If I repeat this for I_{B} I get I_{B} = 2 \cdot D \cdot \pi \cdot i

where
I_{B} = \int_{0}^{2 \pi} \frac{D \cdot (\frac{d}{dt}(r \cdot e^{i \cdot t}))}{r \cdot e^{i \cdot t}} dt.

and

z_B =r \cdot e^{i \cdot t} +a

I finally add I = I_{A} + I_{B} = i \cdot (2 \cdot C \cdot \pi + 2 \cdot D \cdot \pi)

Case(2)

if then |a| < 1 and |b| > 1, as I understand you explanation then this would mean the radius of B is infinity the contour would be shorter? Thus

I_{A} = \int_{0}^{\pi} \frac{C \cdot (\frac{d}{dt}(r \cdot e^{i \cdot t}))}{r \cdot e^{i \cdot t}} dt.

Case(3)

If the by strange incident |a|, |b| > 1

would that then result in

I_{A} = \int_{0}^{\infty} \frac{C \cdot (\frac{d}{dt}(r \cdot e^{i \cdot t}))}{r \cdot e^{i \cdot t}} dt.

and
I_{B} = \int_{0}^{\infty} \frac{D \cdot (\frac{d}{dt}(r \cdot e^{i \cdot t}))}{r \cdot e^{i \cdot t}} dt.

since the radius of both the smaller circles would result in them being to large to fit in the original unit cirlce?

Best Regards
Fred
 
Last edited:
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