Multi-dimensional residue theorem

  • Context: Graduate 
  • Thread starter Thread starter Pere Callahan
  • Start date Start date
  • Tags Tags
    Residue Theorem
Click For Summary

Discussion Overview

The discussion centers on the generalization of the residue theorem to several complex variables, particularly in the context of evaluating integrals in higher dimensions. Participants explore the application of this theorem to specific integrals and the challenges associated with such evaluations.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions whether a generalization of the residue theorem could be useful in multi-dimensional cases, citing a specific integral involving two variables.
  • The same participant discusses the nature of poles in the context of the integral and raises concerns about the applicability of the residue theorem due to non-holomorphic behavior near certain points.
  • Another participant references a paper by Griffiths that treats residues in higher dimensions and suggests that it may provide insights into the problem.
  • The original poster expresses uncertainty about their understanding of algebraic geometry and whether the methods discussed in Griffiths' work can be applied to their specific integral without extensive background knowledge.
  • There is an ongoing request for guidance on evaluating the integral in question, indicating a desire for a more accessible explanation of the concepts involved.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the applicability of the residue theorem in the multi-dimensional case, and there are varying levels of understanding regarding the necessary mathematical background to engage with the topic effectively.

Contextual Notes

Limitations include the original poster's self-identified lack of familiarity with algebraic geometry, which may hinder their ability to fully grasp the implications of the referenced work on residues in higher dimensions.

Pere Callahan
Messages
582
Reaction score
1
Hi,

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

[tex]\int_\mathhb{R}{\frac{dk}{2\pi}\frac{e^{-ikx}}{1+k^2}}[/tex]

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

[tex]e^{-|x|}[/tex].

What however in the slightly more complicated case

[tex]\int_{\mathhb{R}^2}{\frac{d^2k}{(2\pi)^2}\frac{e^{-ik_1x}e^{-ik_2y}}{1+k_1^2+k_2^2}}[/tex]

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]

However

[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?

Thanks

-Pere
 
Last edited:
Physics news on Phys.org
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.
 
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...?

-Pere
 
Last edited:
Pere Callahan said:
although my current understanding of Algebraic Geometry is fairly limited ...


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:)

Thanks

-Pere
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
5K