Contour integration problem

In summary, the conversation discusses the evaluation of a contour integral \oint _{C}\frac{ds}{s^{n+1}} where the contour C encloses the right half plane. The half-residue theorem is mentioned as a potential method for evaluating the integral, but it is noted that it may not be necessary if the function can be integrated using the fundamental theorem of calculus. The importance of choosing the correct contour is also discussed, as well as the limitations of the half-residue theorem. The conversation ends with the conclusion that the integral can only be non-zero for n = 0.
  • #1
mmzaj
107
0
i'm having trouble trying to evaluate the following contour integration :


[tex]\oint _{C}\frac{ds}{s^{n+1}}[/tex]

where the contour C encloses the right half plane

i'm having crazy results ! i need an explanation of the work .
 
Physics news on Phys.org
  • #2
What methods are you allowed to use? This is a trivial integral if you're allowed to state the half-residue theorem. If you need to prove the half residue theorem, though, it will be slightly more complicated (but not by much, I expect).

The half-residue theorem states that if your contour goes around a pole in a semicircular arc, then the contribution of the pole to the integral is half the residue of a full circular contour about that pole.

For example, say you have a pole at the origin, and your contour is a large semi circle of radius R that has a straight line piece of the contour along the real axis, with a small semicircular piece of radius epsilon in the contour that goes around the pole at the origin instead of through it. Then although strictly speaking there are no poles inside the contour, the effect of the pole as you take epsilon goes to zero is to contribute half of the residue about that pole to your actual contour.

The 'half-residue' theorem isn't quite as general as it could be: in fact, if you have any fraction of a circle that goes around a pole, its contribution to the integral will be the same fraction of the residue from that pole. e.g., if you have a pole at the origin and a quarter circular contour whose straight line pieces run along the real and imaginary axes, the pole at the origin will contribute a quarter of the residue about it to the integral over the contour.

Uh... does that make sense?
 
  • #3
thanks for the quick response . actually the problem popped up in my research on control theory . and I'm really not into complex analysis . i tried parameterizing s , and computing the integration on an arc going from [tex]\frac{-\pi}{2}[/tex] to [tex]\frac{\pi}{2}[/tex] with a radius R [tex]\rightarrow\infty[/tex], and from [tex]i\infty[/tex] to [tex]-i\infty[/tex] . but i had crazy results , they give zero number singularities of my transfer function in the RHP , which isn't the case ! i'll try and put my work here , but first let me try to understand your post .
 
  • #4
At least I don't understand what the original contour is supposed to be, from the first post.

Whatever the contour is supposed to be, the function [tex]s\mapsto \frac{1}{s^{n+1}}[/tex] can be integrated by the fundamental theorem of calculus. I would not recommend getting into the residue stuff.
 
Last edited:
  • #5
the contour encloses the right half plane . so it's an arc from [tex]\frac{-\pi}{2}[/tex] to [tex]\frac{\pi}{2}[/tex] with a radius [tex]R\rightarrow\infty[/tex] , and a straight line from iR to -iR .
 
  • #6
There is NO "contour that encloses the right half plane". Do you mean "integrate along the imaginary axis"? If so then you could integrate from -Ri along the arc with radius R, from [itex]-pi/2[/itex] to [itex]pi/2[/itex], as mmzaj says, to Ri and then from iR down to -iR, finally, letting R go to [itex]\infty[/itex].
 
  • #7
the integration along the contour is ZERO . but that's not possible !
let me explain . my transfer function [tex] G(s) [/tex] has a number of singularities ( zeros and poles ) in the RHP . according to http://en.wikipedia.org/wiki/Argument_principle" [Broken] the integration
[tex]\oint _{C}\frac{G^{'}(s)}{G(s)}ds=2\pi i(N-M) [/tex]

N : the number of zeros inside the contour
M : the number of poles inside the contour
where the contour C encloses all the singularities in the right half plane . because in control theory we are interested in the singularities of the transfer function in the RHP . now , under some conditions
[tex]\frac {G^{'}(s)}{G(S)} [/tex]
can be expanded as :

[tex]\frac {G^{'}(s)}{G(S)}= \sum^{\infty}_{n=0} \frac {A_{n}}{s^{n+1}}[/tex]

where [tex] A_{n} [/tex] is some coefficient .

now if ,
[tex]\oint _{C}\frac{ds}{s^{n+1}}=0[/tex]
that indicates that the function has no singularities in the RHP , which isn't a general case , and isn't a condition on the series expansion
[tex]\frac {G^{'}(s)}{G(S)}= \sum^{\infty}_{n=0} \frac {A_{n}}{s^{n+1}}[/tex]

so , here is my problem !
 
Last edited by a moderator:
  • #8
mmzaj said:
the contour encloses the right half plane . so it's an arc from [tex]\frac{-\pi}{2}[/tex] to [tex]\frac{\pi}{2}[/tex] with a radius [tex]R\rightarrow\infty[/tex] , and a straight line from iR to -iR .

If [itex]n\geq 0$[/itex], then the straight line from iR to -iR goes directly through the singularity at [itex]z=0[/itex], and the integral doesn't exists.
 
  • #9
jostpuur said:
If [itex]n\geq 0$[/itex], then the straight line from iR to -iR goes directly through the singularity at [itex]z=0[/itex], and the integral doesn't exists.

Which is why you form a small semi-circle of radius [itex]\epsilon[/itex] that goes around the singularity and take the limit as [itex]\epsilon \rightarrow 0[/itex], which requires the use of the half residue theorem. That is, if your contour goes through a pole, the pole contributes 1/2 the value of its residue to the integral.

So, the integral

[tex]\oint _{C}\frac{ds}{s^{n+1}}[/tex]

is non-zero only for n = 0, as for n < 0 the integrand is analytic so the integral around the contour is zero, and for n > 0 the residue of the integrand is zero.
 
  • #10
Mute said:
Which is why you form a small semi-circle of radius [itex]\epsilon[/itex] that goes around the singularity and take the limit as [itex]\epsilon \rightarrow 0[/itex], which requires the use of the half residue theorem.

I don't believe this is helpful. It will matter whether the pole is passed from left or from right, and how do you know which one is the correct choice now? You cannot know it, unless you know what was originally wanted with the integral. mmzaj is trying to integrate over an invalid contour, but we shouldn't fix it arbitrarily.

The half residue theorem is very unlikely going to become useful, because the integrated function is so simple that it can be integrated with the fundamental theorem of calculus.
 
  • #11
Either way is correct, you just have to be careful of the sign.
 
  • #12
jostpuur said:
I don't believe this is helpful. It will matter whether the pole is passed from left or from right, and how do you know which one is the correct choice now? You cannot know it, unless you know what was originally wanted with the integral. mmzaj is trying to integrate over an invalid contour, but we shouldn't fix it arbitrarily.

The half residue theorem is very unlikely going to become useful, because the integrated function is so simple that it can be integrated with the fundamental theorem of calculus.

If you take the semicircle of radius [itex]\epsilon[/itex] to be such that the overall contour does not enclose the pole (i.e., to the right of the pole, in this problem), the pole contributes half of its residue to the integral. If you take the semicircle of radius [itex]\epsilon[/itex] around the pole the other direction (to the left of the pole in this problem), then in the limit [itex]\epsilon \rightarrow 0[/itex] it contributes minus its resiude to the integral as the semicircle contour is now traversed in the opposite sense as the previous case, but then you also need to take into account the fact that now the overall contour encloses the pole, which contributes the full residue, and the two contributions sum to give half the residue again. You do need to know which direction the overall contour is going, but that should be stated in the problem already.

(Strictly speaking, if you were to do the integral by calculating its value along each piece of the contour, to get the result you would by the half-residue theorem you're actually doing a principal value integral along the imaginary axis. One might take issue with this but I see no reason for it to be a problem as long as everything's consistent.).
 
Last edited:
  • #13
mmzaj said:
the integration along the contour is ZERO . but that's not possible !
let me explain . my transfer function [tex] G(s) [/tex] has a number of singularities ( zeros and poles ) in the RHP . according to http://en.wikipedia.org/wiki/Argument_principle" [Broken] the integration
[tex]\oint _{C}\frac{G^{'}(s)}{G(s)}ds=2\pi i(N-M) [/tex]

N : the number of zeros inside the contour
M : the number of poles inside the contour
where the contour C encloses all the singularities in the right half plane . because in control theory we are interested in the singularities of the transfer function in the RHP . now , under some conditions
[tex]\frac {G^{'}(s)}{G(S)} [/tex]
can be expanded as :

[tex]\frac {G^{'}(s)}{G(S)}= \sum^{\infty}_{n=0} \frac {A_{n}}{s^{n+1}}[/tex]

where [tex] A_{n} [/tex] is some coefficient .

now if ,
[tex]\oint _{C}\frac{ds}{s^{n+1}}=0[/tex]
that indicates that the function has no singularities in the RHP , which isn't a general case , and isn't a condition on the series expansion
[tex]\frac {G^{'}(s)}{G(S)}= \sum^{\infty}_{n=0} \frac {A_{n}}{s^{n+1}}[/tex]

so , here is my problem !

I feel the statement above is ill-posed. If it were my test question, this is how I would answer it:

[tex]\oint _{C}\frac{G'(s)}{G(s)}ds=2\pi i(N-M)[/tex]

is valid only if the contour encloses all the zeros and poles and does not pass through any of them.

Now, the statement ``the contour encloses all zeros and poles in the right half-plane'' does not necessarily mean the contour is traversing the imaginary axis. The contour can be larger and just enclosing all the zeros and poles in the right half-plane. However when the statement: ``under certain conditions:''
[tex]\frac{G'(s)}{G(s)}=\sum_{n=0}^{\infty}\frac{a_n}{z^{n+1}}[/tex]

is made, that power series is centered at the origin with a radius of convergence equal to the distance to the nearest zero or pole of [tex]G(z)[/tex] since the expression [tex]\frac{G'(z)}{G(z)}[/tex] is non-analytic at both the zeros and poles of [tex]G(z)[/tex]. Therefore this series cannot be substituted into the the expression:

[tex]\oint_C\frac{G'(z)}{G(z)}dz[/tex]

since the contour [tex]C[/tex] necessarily encloses a region over which the power series fails to represent the quotient [tex]\frac{G'(z)}{G(z)}[/tex].
 
Last edited by a moderator:

1. What is the contour integration problem?

The contour integration problem is a mathematical problem that involves integrating a complex-valued function along a specific path or contour in the complex plane. It is a fundamental concept in complex analysis and is used to solve a variety of problems in physics, engineering, and other fields.

2. What is the significance of contour integration?

Contour integration allows us to evaluate complex integrals that cannot be solved using traditional methods. It also provides a way to connect different areas of mathematics, such as complex analysis and geometry.

3. What are the key steps in solving a contour integration problem?

The key steps in solving a contour integration problem include parameterizing the contour, identifying and classifying the singularities of the function, choosing an appropriate contour, and using the Cauchy integral formula to evaluate the integral. Other techniques, such as residue calculus, may also be used.

4. What are some applications of contour integration?

Contour integration has many practical applications, such as in solving differential equations, calculating areas and volumes in physics and engineering, and evaluating probability distributions in statistics. It is also used in signal processing, control theory, and quantum mechanics.

5. Are there any challenges or limitations to contour integration?

One of the main challenges in contour integration is choosing the appropriate contour for a given problem. This requires knowledge of the function and its singularities, as well as familiarity with various contour shapes and their properties. Additionally, some functions may have infinitely many singularities, making the contour integration problem more complex. Lastly, the use of complex numbers and complex analysis may be intimidating to those without a strong mathematical background.

Similar threads

  • Calculus
Replies
8
Views
2K
Replies
2
Views
978
Replies
1
Views
1K
Replies
9
Views
2K
Replies
3
Views
1K
  • Calculus
Replies
3
Views
922
Replies
14
Views
1K
Replies
2
Views
1K
Back
Top