What exactly is a residue - what are its applications[complex analysis]

  • Context: Graduate 
  • Thread starter Thread starter trickae
  • Start date Start date
  • Tags Tags
    Analysis Residue
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 5K views
trickae
Messages
82
Reaction score
0
In https://www.amazon.com/dp/0139078746/?tag=pfamazon01-20 - residues is introduced as an exercise at the end of a chapter and that's it! (or it may resurface in a later chapter),

My question is that saff and snider looks at it as the numerator of the partial fraction exapansion of a polynomail fraction.

But in Schaums series we have a nice little function like this:

Code:
a = lim   1/(k-1)! . (d^(k-1) /dz^(k-1)) [/color] {(z-a)^k f(z)}
     z->a

where the term in red is the differential operator and the order is determined by k-1

so what's this used for? which method is right? why choose one method over the other? And what is it beside the sum of all the residues at the singularities = the integral of the function that contains it - i.e. f(z) ?

sorry if this is a silly question.
 
Last edited by a moderator:
Physics news on Phys.org
If you integrate zn on a closed curve around 0 what do you get?
More generally, if you integrate (z-z0)n on a close curve containing z0 what do you get?

That's easy to answer. Since (z-z0)n is analytic everywhere except at z0, we get the same for all such curves so we can look at the circle, of radius 1 around z0, taking [itex]z= z_0+ e^{i\theta}[/itex] so that [itex](z-z_0)^n= e^{ni\theta}[/itex] and [itex]dz= ie^{i\theta}d\theta[/itex]:
[tex]\int (z-z_0)^n dz= \int_0^{2\pi}ie^{(n+1)i\theta}d\theta[/tex]
As long as n is not equal to -1, that is
[tex]\frac{-i}{n+1}e^{(n+1)i\theta}[/tex]
evaluated at [itex]\theta= 0[/itex] and [itex]\theta= 2\pi[/itex]. But [itex]e^{(n+1)i\theta}[/itex] is 0 at both ends so the integral is 0.

If n= -1, then [itex]e^{(n+1)i\theta}= e^0= 1[/itex] so the integral is just
[tex]\int_0^{2\pi} d\theta= 2\pi i[/itex].<br /> <br /> Now, suppose f(z) is a function having a "pole of order n" at z= z<sub>0</sub>. That means it can be written as a power series with powers of z down to -n: a "Laurent series". <br /> [tex]f(z)= a_{-n}(z-z_0)^{-n}+ \cdot\cdot\cdot+ a_{-1}(z-z_0)^{-1}+ \cdot\cdot\cdot[/tex]<br /> Integrating that, term by term, on a contour containing z<sub>0</sub>, every term gives 0 except the (z-z<sub>0</sub>)<sup>-1</sup> term. That term gives [itex]2\pi i a_{-1}[/itex] so the integral is that.<br /> <br /> The "residue" of f(z) at z<sub>0</sub> is precisely the coefficient of (z-z<sub>0</sub>)<sup>-1</sup> in a Laurent series expansion of f(z). It can be found using a formula similar to the formula for Taylor's series coefficients- That's the formula Schaum's outline is giving you. If f(z) is analytic inside a countour except for some points at which it has poles, the integral of f around that contour is just [itex]2\pi i[/itex] times the sum of the residues at each of those poles.[/tex]
 
thanks a tonne halls of ivy