Residue at infinity

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

${\displaystyle \operatorname {Res} (f,\infty )=-\operatorname {Res} \left({1 \over z^{2}}f\left({1 \over z}\right),0\right)}$

Thus, one can transfer the study of ${\displaystyle f(z)}$ at infinity to the study of ${\displaystyle f(1/z)}$ at the origin.

Note that ${\displaystyle \forall r>R}$, we have

${\displaystyle \operatorname {Res} (f,\infty )={-1 \over 2\pi i}\int _{C(0,r)}f(z)\,dz}$

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 -f(1/z)/z² 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(1/z)d(1/z)=-f(1/z)dz/z² at z=0.

• Riemann sphere
• Algebraic variety
• Residue theorem

• 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.