1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Aysmptotics : Need help with residues

  1. Oct 26, 2004 #1
    Is there a method in calculating the residues.
    Getting the poles is easy but i really dont know how my lecturer gets the residues
    eg. 1/2(Zeta*Gamma[s/2]
    where at s = 1 it is Sqrt[Pi]/2 etc
    how does he do it???
  2. jcsd
  3. Oct 26, 2004 #2


    User Avatar
    Science Advisor
    Homework Helper

    The residue is just the coefficient of the 1/(z-z0) term in the Taylor series expansion of the function about the pole.
  4. Oct 26, 2004 #3


    User Avatar
    Science Advisor
    Homework Helper

    If [tex]f(s)[/tex] has a simple pole at s=a, then it's residue at a is [tex]\lim_{s\rightarrow a}(s-a)f(s)[/tex]

    [tex]\zeta (s)[/tex] has a simple pole at s=1, actually [tex]\zeta (s)=\frac{1}{s-1}+O(1)[/tex] near s=1. [tex]\Gamma (s/2)[/tex] is analytic at s=1, so their product has a simple pole. To find thier residue, just look at the above limit. You'll also need to know that [tex]\Gamma(1/2)=\sqrt{\pi}[/tex], which comes easily from the identity [tex]\Gamma(s)\Gamma(1-s)=\frac{\pi}{\sin{\pi s}}[/tex].
  5. Oct 26, 2004 #4
    ok im starting to get it,,but whats happens if its a double pole.Do you work out the residues for both functions and multiply the 2 residues together or does it depend eg GammaZeta[1-s] so the pole would be at 0.
    Since the Gamma fn and the Zeta are multiplied together you multiply the residues together??
    and if Gamma+Zeta[1-s] then we add the residues together??
    Isnt there an expansion of the Gamma and Zeta Functions
    because all i know,if you integrate e^(-x)*x^(s-1) with respect to x you get the gamma fn and Summing from 1 to infinity of k^(-s) equal the Zeta function.Thats why i never understood why the Zeta fn has poles at 1 and Gamma fn has poles at 0,-1,-2,-3,...
  6. Oct 26, 2004 #5


    User Avatar
    Science Advisor
    Homework Helper

    There are different methods for calculating residues.
    Let [itex]z_0[/itex] be a pole of [itex]f[/itex].

    One way is to the coefficient of [itex]z^{-1}[/itex] in the Laurent expansion of [itex]f(z)[/itex] at [itex]z_0[/itex], like Tide said. The residue is equal to that coefficient.

    Another way is:
    [tex]Res(f,z_0)=\lim_{z\rightarrow z_0}\frac{[(z-z_0)^kf(z)]^{(k-1)}}{(k-1)!}[/tex]
    where [itex]k[/itex] is the order of the pole. (the (k-1) up in the numerator means taking the (k-1)th derivative of the numerator).
    To find the order, use:
    [tex]\lim_{z\rightarrow z_0}(z-z_0)^mf(z)=\left\{ \begin{array}{ll}b_k & m=k\\0 & m>k \\ \infty & m<k \end{array} \right.[/tex]
    Where [itex]b_k[/itex] is the coefficient of [itex]z^{-k}[/itex] in the Laurent expansion of f.
    The second method is easy when the order of the pole is low (1 or 2).
    Last edited: Oct 26, 2004
  7. Oct 26, 2004 #6


    User Avatar
    Science Advisor
    Homework Helper

    for real part s>1. Since the harmonic series,
    diverges, zeta must have a pole at s=1. Have you seen any proofs of the analytic continuation of zeta? Anyone of them should make it clear that it has no other poles.

    If you define the Gamma function the "integral way", you have
    valid for all complex s with real part >0, then by analytic continuation via
    The integral part shows handily you have no poles in the right half plane (it also diverges if you tried to stick s=0 in). Think about [tex]\Gamma(0)[/tex] you're going to try to evaluate
    at s=0, hence you get a pole, since [tex]\Gamma(1)=1\neq 0[/tex]. This pole cascades through all the negative integers by the functional equation.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook