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

  • Thread starter Thread starter Mathman23
  • Start date Start date
  • Tags Tags
    Integrals
Click For Summary

Homework Help Overview

The discussion revolves around solving the integral \(\int_{dK(0,1)}\frac{1}{(z-a)(z-b)} dz\) where \(|a|, |b| < 1\). The context involves complex analysis, specifically the application of contour integration and residue theory.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the relevance of Cauchy's integral formula and the residue theorem. The original poster expresses confusion about the behavior of the integral given the conditions on \(a\) and \(b\). Others suggest considering the poles and the implications of the contour chosen for integration.

Discussion Status

Some participants have provided guidance on how to approach the problem, including suggestions to use partial fractions and to visualize the contour integration process. There is an ongoing exploration of different cases based on the values of \(a\) and \(b\), indicating a productive discussion without explicit consensus.

Contextual Notes

There are assumptions about the meaning of \(dK(0,1)\) as the unit circle, and participants are considering the implications of the poles being inside or outside the contour of integration. The discussion also touches on the potential for varying the contour based on the positions of \(a\) and \(b\).

Mathman23
Messages
248
Reaction score
0

Homework Statement



solve the integral

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

where |a|,|b| < 1

Homework Equations



Would it be relevant to use Cauchys integrals formula here?

[tex]\int_{C_p} \frac{f(z)-f(z_0)}{z- z_0} dz[/tex]

The Attempt at a Solution



If I use the above formula I get

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

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
[tex]I= \int_A\frac{Cdz}{z-a}+ \int_B\frac{Ddz}{z-b}[/tex]

Let [itex]z= r e^{i\theta}+ a[/itex] in the first integral and [itex]z= r e^{i\theta}+ b[/itex] in the second ([itex]\theta[/itex] 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 [tex]\gamma(t) = r \cdot e^{i \cdot t}[/tex]

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

where [tex]t \in [0,2 \pi][/tex]

thus

[tex]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[/tex].

Then I get that [tex]I_A = 2 \cdot C \cdot \pi \cdot i[/tex]


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

where
[tex]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[/tex].

and

[tex]z_B =r \cdot e^{i \cdot t} +a[/tex]

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

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

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

Case(3)

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

would that then result in

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

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

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:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
4
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K