Residue at infinity

From HandWiki

In complex analysis, a branch of mathematics, the residue at infinity is a residue of a holomorphic function on an annulus having an infinite external radius. The infinity ∞ is a point added to the local space ℂ in order to render it compact (in this case it is a one-point compactification). This space denoted ℂ^ is isomorphic to the Riemann sphere.[1] One can use the residue at infinity to calculate some integrals.

Definition

Given a holomorphic function f on an annulus A(0,R,∞) (centered at 0, with inner radius R and infinite outer radius), the residue at infinity of the function f can be defined in terms of the usual residue as follows:

Res⁡(f,∞)=−Res⁡(1z2f(1z),0).

Thus, one can transfer the study of f(z) at infinity to the study of f(1/z) at the origin.

Note that ∀r>R, we have

Res⁡(f,∞)=−12πi∫C(0,r)f(z)dz.

Since, for holomorphic functions the sum of the residues at the isolated singularities plus the residue at infinity is zero, it can be expressed as:

Res⁡(f(z),∞)=−∑kRes⁡(f(z),ak).

Motivation

One might first guess that the definition of the residue of f(z) at infinity should just be the residue of f(1/z) at z=0. However, the reason that we consider instead −1z2f(1z) is that one does not take residues of functions, but of differential forms, i.e. the residue of f(z)dz at infinity is the residue of f(1z)d(1z)=−1z2f(1z)dz at z=0.

See also

References

  1. ↑ Michèle Audin, Analyse Complexe, lecture notes of the University of Strasbourg available on the web , pp. 70–72
  • Murray R. Spiegel, Variables complexes, Schaum, ISBN 2-7042-0020-3
  • Henri Cartan, Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes, Hermann, 1961
  • Mark J. Ablowitz & Athanassios S. Fokas, Complex Variables: Introduction and Applications (Second Edition), 2003, ISBN 978-0-521-53429-1, P211-212.