Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Multi-dimensional residue theorem

  1. Feb 25, 2008 #1

    I'm wondering if a generalization of the residue theorem/formulae to several complex variables could be just as helpful as in the one-dimensional case.

    For example if you were to calculate


    One way would be to observe that the integrand has simple poles at [tex]k=\pm i[/tex] then close the contour of integration in the upper (lower) halfplane when x is less (greater) then zero, to obtain the result


    What however in the slightly more complicated case


    The integrand has "poles" (are they still called that if they are not isolated?) for [tex]k_1^2+k_2^2 = -1[/tex] which might be thought of as a circle in the "imaginary plane".

    Is there a similar way to evaulate this integral by somehow closing the contour and applying some generalization of the residue theorem?

    If not, how COULD it be calculated? My thought was to do the, say, k_1 integration first. For fixed k_2, there are poles at

    [tex]k_1^\pm = \pm i \sqrt{1+k_2^2}[/tex]

    with residues

    [tex]Res^\pm = \frac{e^{\pm\sqrt{1+k_2^2} x}e^{-ik_2y}}{\pm 2 i \sqrt{1+k_2^2}}[/tex]
    where we have to pick the right sign according to whether x is positive or negative.

    Then I would do the k_2 integration. The poles are at

    [tex]k_2^\pm = \pm i[/tex]


    [tex]\frac{e^{\pm\sqrt{1+k_2^2} x}e^{-ik_2y}}{\pm 2 i \sqrt{1+k_2^2}}[/tex]

    is not holomorphic in a neighbourhood of [tex]\pm i[/tex] so I cannot apply the Residue theorem can I?


    Last edited: Feb 26, 2008
  2. jcsd
  3. Feb 26, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    for a nice treatment of residue in higher dimensions see griffiths paper, on certain rational integrals, in annals of math, about 30 years ago or more. or look in griffiths harris book principles of algebraic geometry.

    the point is to replace the integral of a meromorphic form with a pole along a divisor, by the integral of a different form, the residue form, over the codimension one set supporting the pole.
  4. Feb 26, 2008 #3
    OK I have the paper and will read it tonight, although my current understanding of Algebraic Geometry is fairly limited ...

    Is there, for the special integral I posted above, a direct way of evaluating it...?

    Last edited: Feb 26, 2008
  5. Mar 8, 2008 #4

    Well. it seems to be too limited to understand what Griffiths is talking about in that paper (as well as in the book) Can the method be applied to the special integral posted above without knowing too much about the theory behind? Maybe somebody could lead me through this example..? (This is asked a lot, I know:smile:)


Share this great discussion with others via Reddit, Google+, Twitter, or Facebook