Winding Number Proof Clarification

  • Thread starter Thread starter futurebird
  • Start date Start date
  • Tags Tags
    Winding
Click For Summary

Homework Help Overview

This thread discusses a proof related to the winding number and the integral of a closed curve around a point, specifically focusing on the implications of certain equations within the proof. The subject area involves complex analysis and properties of piecewise differentiable curves.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants raise questions about specific steps in the proof, particularly the necessity of derivatives, the behavior of a defined function, and the reasoning behind substitutions made in the proof.

Discussion Status

Some participants provide insights into the questions raised, particularly regarding the derivative of a function and the implications of a constant value in the context of the proof. There is ongoing exploration of the reasoning behind certain steps, indicating a productive discussion.

Contextual Notes

Participants express a desire to understand the proof conceptually rather than memorizing it, indicating a focus on deeper comprehension. There is mention of a test, which may impose constraints on the discussion's depth and scope.

futurebird
Messages
270
Reaction score
0
I have some questions about this proof. I have numbered the equations (1), (2), ... so I can ask about them.


THEOREM
If the piecewise differentiable closed curve [tex]\gamma[/tex] does not pass through the point a then:

[tex](1) \displaystyle\oint_{\gamma}\frac{dz}{z-a}[/tex]

is s multiple of [tex]2 \pi i[/tex]

PROOF
[tex]\gamma[/tex] is given by z(t) [tex]\alpha \leq t \leq \beta[/tex] consider:

[tex](2) h(t)=\displaystyle\int^{t}_{\aplha}\frac{z'(t)}{z(t)-a}dt[/tex]

h(t) is defined and continuos on the closed interval [tex](\alpha, \beta)[/tex]

[tex](3) h'(t)=\frac{z'(t)}{z(t)-a}[/tex]

where z'(t) is continuos.

[tex](4) k=e^{-h(t)}(z(t)-a)[/tex]

(5) Hence k' = 0.

[tex](6) e^{h(t)}=\frac{(z(t)-a)}{k}[/tex]

[tex](7) e^{h(t)}=\frac{(z(t)-a)}{z(\alpha)-a}[/tex]

Since [tex]\gamma[/tex] is a closed curve [tex]z(\beta)=z(\alpha)[/tex]

[tex](8) e^{h(\beta)}=1[/tex]

[tex]h(\beta)[/tex] must be a multiple of [tex]2 \pi i[/tex].

END

QUESTIONS

1. (3) why do we need to know about h'(t)?

2. (5) why is k' = 0?

3. How did we replace k with [tex]z(\alpha)-a[/tex] in step (7) ?



Thanks for any help you can give. I need to understand this proof for a test and I'd rather not memorize these bits, but instead know what I'm doing! Thanks!
 
Physics news on Phys.org
You need to know [itex]h^\prime (t)[/itex] in order to answer question 2. For question 2, calculate [itex]\frac{dk}{dt}[/itex]. You should get

[tex]\frac{dk}{dt} = -h^\prime (t) e^{-h(t) } (z(t) -a ) + e^{-h (t)} z^\prime (t)[/tex]

And substitute what you're given for [itex]h^\prime (t)[/itex].
 
Thanks! I think I get it now!
 
I'm not 100% about part 3, but I think it's because [itex]\frac{dk}{dt}=0[/itex]. Thus we know that k must be a constant. Since k is a constant, if we know it's value at one place, we know it at any other. Thus [itex]k \equiv k(\alpha) = e^{-h(\alpha)} ( z(\alpha) - a)[/itex] but then there's an extra [itex]e^{-h(\alpha)}[/itex] and I'm not sure where it disappears.
 

Similar threads

Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
3K