Complex Integration over a Closed Curve

Click For Summary

Homework Help Overview

The discussion revolves around evaluating a complex integral over a closed curve, specifically a clockwise circle of radius R centered at a complex number z0. Participants explore the integral K_m defined as K_m := ∮_κ dz(z - z0)^m for various integer values of m, with specific conditions on the outcomes based on the value of m.

Discussion Character

  • Exploratory, Mathematical reasoning, Problem interpretation

Approaches and Questions Raised

  • Participants discuss parameterizing the integral using a complex function and explore the implications of choosing different values for the center of the circle. Questions arise about the correct substitution for dz and the expression for (z - z0) in the context of the integral.

Discussion Status

There is ongoing exploration of the parameterization and integration process. Some participants have provided guidance on the substitution steps, while others are clarifying the implications of their choices. The discussion reflects a collaborative effort to understand the integral's behavior for different values of m.

Contextual Notes

Participants note restrictions on using the residue theorem and emphasize the need to rely on Cauchy's integral theorem. There is also mention of specific values of m that lead to different outcomes for the integral, which are under discussion.

sikrut
Messages
48
Reaction score
1
(a) Suppose [itex]\kappa[/itex] is a clockwise circle of radius [itex]R[/itex] centered at a complex number [itex]\mathcal{z}[/itex]0. Evaluate: [tex]K_m := \oint_{\kappa}{dz(z-z_0)^m}[/tex]
for any integer [itex]m = 0, \pm{1},\pm{2}, ,...[/itex]Show that

[itex]K_m = -2\pi i[/itex] if [itex]m = -2;[/itex] else :[itex]K_m = 0[/itex] if [itex]m = 0, \pm{1}, \pm{2}, \pm{3},...[/itex]

Note the minus sign here: [itex]\kappa[/itex] is clockwise.



I am not allowed to use or assume the validity of the residue theorem, but I can use Cauchy's integral theorem without proof.

I was trying to parameterize [itex]K_m[/itex] using

[itex]z(\tau) = c + re^{i\tau} , \tau \in [a,b][/itex] with [itex]a \equiv {\theta_a}[/itex] and [itex]b \equiv \theta_b,[/itex] if [itex]\theta_a < \theta_b,[/itex]

But I'm just stuck on how to set this up at this point. Any ideas?
 
Physics news on Phys.org
sikrut said:
I was trying to parameterize [itex]K_m[/itex] using

[itex]z(\tau) = c + re^{i\tau} , \tau \in [a,b][/itex] with [itex]a \equiv {\theta_a}[/itex] and [itex]b \equiv \theta_b,[/itex] if [itex]\theta_a < \theta_b,[/itex]
That's a good start. And c = ? What does it give you for dz and (z-z0)?
 
"c" is the complex number around which Km would be centered in the form of [itex]re^{i\tau}[/itex]

So could I assume a clockwise circle centered at 0, making both c and z0 = 0, which makes would make my equation: [tex]\oint_\kappa z^m dz[/tex] ?
 
sikrut said:
"c" is the complex number around which Km would be centered in the form of [itex]re^{i\tau}[/itex]

So could I assume a clockwise circle centered at 0, making both c and z0 = 0, which makes would make my equation: [tex]\oint_\kappa z^m dz[/tex] ?
You don't need to make them both 0. z0 is a given, so you can't decide what it is. But you can choose c. You need to use the form [itex]z\left(\tau\right)=c+re^{i\tau}[/itex] to substitute for z in the integral. This is supposed to represent the curve of interest (circle of radius R centered at z0) as tau varies and c remains constant. What value of c will give you that?
What does that substitution give you for dz and for z-z0?
 
C = 0

Tau in the exponent is negative because of the clockwise direction.

So [itex]z(\tau) = re^{-i\tau}[/itex], [itex]\tau \in [0, 2\pi][/itex]

I would plug this in for Z and its respective derivative to replace dz with d[itex]\tau[/itex]
But what would I do with z_0?
 
Last edited:
sikrut said:
C = 0
The integration path is a circle radius R, centred at z0. z(t) = c+reit describes a circle radius r, centred where?
 
Oh.. z0 is c, which is just some arbitrary constant that I can leave in the equation, where my [itex](z - z_0)^m dz[/itex] becomes [itex](re^{i\tau} - c)^m rie^{i\tau} d\tau[/itex]
 
sikrut said:
Oh.. z0 is c,
Yes.
which is just some arbitrary constant that I can leave in the equation, where my [itex](z - z_0)^m dz[/itex] becomes [itex](re^{i\tau} - c)^m rie^{i\tau} d\tau[/itex]
No, you've not substituted correctly. If c = z0 and z = c+re-iτ, what is z-z0?
 
**ignore-wrong post**
 
Last edited:
  • #10
haruspex said:
No, you've not substituted correctly. If c = z0 and z = c+re-iτ, what is z-z0?

[tex](c + re^{-i\tau} - c)^m (-rie^{-i\tau}) d\tau[/tex]
[tex]= (re^{-i\tau})^m (-rie^{-i\tau}) d\tau[/tex]

How's that?where: [itex]z - z_0 \equiv c + re^{-i\tau} - c[/itex]
 
  • #11
sikrut said:
[tex]= (re^{-i\tau})^m (-rie^{-i\tau}) d\tau[/tex]
Yes. Now simplify and integrate.
 
  • #12
So here's my integration, which I'm pretty sure is correct. I just need help with one more thing.
[tex](re^{-i\tau})^m(-rie^{-i\tau})d\tau = -ir^{m+1}e^{-(m+1)i\tau} d\tau[/tex]
[tex]\int_{0}^{2\pi} -ir^{m+1}e^{-(m+1)i\tau} d\tau= \frac{r^{m+1}e^{-(m+1)i\tau}}{m+1} |_{0}^{2\pi}[/tex]

And so for all m [itex]\neq[/itex] -1, this result is always 0. Now, how do I prove the case [itex]K_m = -2\pi i[/itex] if m = -1 ?
 
Last edited:
  • #13
sikrut said:
how do I prove the case [itex]K_m = -2\pi i[/itex] if m = -1 ?
Go back to the last point before you did the integration. The integration step you performed, using the usual rule for integrating xm.dx, is only valid when m is not -1. So put m=-1 there and see how you would integrate what results.
 
  • #14
ahhh, I see I see. Ok thank you for all your help hauspex! This one is done.
sorry it took so long for that one part to click. it's been a long day.I might need some more help tomorrow with another :D
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
32
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
9
Views
2K