S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Sun, 26 May 2013 01:07:50 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 10 posts ] 
Author Message
 Post subject: Contour Integrals
PostPosted: Fri, 17 Aug 2012 00:53:03 UTC 
Offline
Math Cadet

Joined: Thu, 31 May 2012 03:22:29 UTC
Posts: 6
Hello, I read somewhere in a book that the number of zeros N and the number of poles P of a function within contour C can be found by
N-P=\frac{1}{2\pi i} \oint_{C} \frac{f'\left( {z} \right) dz}{f\left( {z} \right)}
This is easy to see because you can find resides of functions in the form f(z)/g(z) by f(z)/g'(z), so f'(z)/f'(z)=1, but when I try to evaluate integrals like this, the results do not match those of the residue theorem. Does anyone here have examples of this with steps?

Thanks!! :confused:


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Fri, 17 Aug 2012 03:44:26 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6009
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
The Observer wrote:
Hello, I read somewhere in a book that the number of zeros N and the number of poles P of a function within contour C can be found by
N-P=\frac{1}{2\pi i} \oint_{C} \frac{f'\left( {z} \right) dz}{f\left( {z} \right)}
This is easy to see because you can find resides of functions in the form f(z)/g(z) by f(z)/g'(z), so f'(z)/f'(z)=1, but when I try to evaluate integrals like this, the results do not match those of the residue theorem. Does anyone here have examples of this with steps?

Thanks!! :confused:


What do you mean by "the results do not match those of the residue theorem"?

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Fri, 17 Aug 2012 04:25:25 UTC 
Offline
Math Cadet

Joined: Thu, 31 May 2012 03:22:29 UTC
Posts: 6
If I evaluate them with the residue theorem, I get the expected result, but not when I just evaluate the contour integral. It's probably something very simple that I'm missing, that's why I wanted to see a worked example.


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Fri, 17 Aug 2012 06:18:32 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
The Observer wrote:
If I evaluate them with the residue theorem, I get the expected result, but not when I just evaluate the contour integral. It's probably something very simple that I'm missing, that's why I wanted to see a worked example.


Huh? That's the argument principle.

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Fri, 17 Aug 2012 07:36:40 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6009
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
The Observer wrote:
If I evaluate them with the residue theorem, I get the expected result, but not when I just evaluate the contour integral. It's probably something very simple that I'm missing, that's why I wanted to see a worked example.


This is probably the simplest example: Let f\equiv 1. Then f'\equiv 0, N=P=0, \displaystyle\frac{1}{2\pi i}\int_C \frac{f'(z)}{f(z)}\,\mathrm{d}z=0 whatever contour C is chosen.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Sat, 18 Aug 2012 00:28:04 UTC 
Offline
Math Cadet

Joined: Thu, 31 May 2012 03:22:29 UTC
Posts: 6
I know this is the argument principle. Does anyone have any examples that do have zeros? Preferably using a special function. I've been digging through my complex analysis books and I'm finding no useful examples that don't use the residue theorem.


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Sat, 18 Aug 2012 00:31:04 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
The Observer wrote:
I know this is the argument principle. Does anyone have any examples that do have zeros? Preferably using a special function. I've been digging through my complex analysis books and I'm finding no useful examples that don't use the residue theorem.


If you want something more specific you should clarify exactly what it is you're having trouble with. I'm still not sure I understand your original question. Can you give an example where you've worked out the residue theorem and some other way and they do not match?

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Sat, 18 Aug 2012 18:32:39 UTC 
Offline
Math Cadet

Joined: Thu, 31 May 2012 03:22:29 UTC
Posts: 6
I am talking about a function f(z) with N zeros and P poles. f'(z)/f(z) does not simplify and must be integrated in that form without using the residue theorem to evaluate the integral. I need to know the easiest way to deal with that. I often see it written as
N-P=\frac{1}{2\pi}\Delta_{C}arg[f(z)]
where C is the contour. Can someone explain this and how to evaluate it?

Thanks!!


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Sat, 18 Aug 2012 22:09:28 UTC 
Offline
Moderator
User avatar

Joined: Wed, 30 Mar 2005 04:25:14 UTC
Posts: 12103
Location: Austin, TX
The Observer wrote:
I am talking about a function f(z) with N zeros and P poles. f'(z)/f(z) does not simplify and must be integrated in that form without using the residue theorem to evaluate the integral. I need to know the easiest way to deal with that. I often see it written as
N-P=\frac{1}{2\pi}\Delta_{C}arg[f(z)]
where C is the contour. Can someone explain this and how to evaluate it?

Thanks!!


The residue theorem is exactly how you get that, you just need to write out the Taylor or Laurent series at a point where there's a pole or zero and you'll see it come out to exactly the N-P (CM).

_________________
(\ /)
(O.o)
(> <)
This is Bunny. Copy Bunny into your signature to help him on his way to world domination


Top
 Profile  
 
 Post subject: Re: Contour Integrals
PostPosted: Sun, 19 Aug 2012 03:16:31 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6009
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
Shadow wrote:
The Observer wrote:
I am talking about a function f(z) with N zeros and P poles. f'(z)/f(z) does not simplify and must be integrated in that form without using the residue theorem to evaluate the integral. I need to know the easiest way to deal with that. I often see it written as
N-P=\frac{1}{2\pi}\Delta_{C}arg[f(z)]
where C is the contour. Can someone explain this and how to evaluate it?

Thanks!!


The residue theorem is exactly how you get that, you just need to write out the Taylor or Laurent series at a point where there's a pole or zero and you'll see it come out to exactly the N-P (CM).


... or you write f(z)=g(z)\dfrac{\prod (z-z_j)}{\prod (z-p_k)} where the z_j are the zeros and p_k are the poles (with multiplicity), and g is nonvanishing holomorphic on some simply-connected domain containing the track of C.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 10 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA