MathLabs
TheoremProved

Residue formula at a pole of order $m$

Statement

If ff has a pole of order mm at z0z_0, meaning g(z)=(z−z0)mf(z)g(z) = (z-z_0)^m f(z) extends holomorphically to z0z_0 with g(z0)≠0g(z_0) \neq 0, then Res(f,z0)=1(m−1)!lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]\mathrm{Res}(f, z_0) = \dfrac{1}{(m-1)!} \lim_{z \to z_0} \dfrac{d^{m-1}}{dz^{m-1}} \left[ (z-z_0)^m f(z) \right]. In particular, for a simple pole (m=1m=1), Res(f,z0)=lim⁡z→z0(z−z0)f(z)\mathrm{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0) f(z).

Why is it true?

Multiplying by (z−z0)m(z-z_0)^m kills the singular part of the Laurent series, turning it into an ordinary Taylor series whose coefficients are just derivatives — so extracting a−1a_{-1} becomes an ordinary calculus computation.

Proof sketch

Step 1 (Write the Laurent series explicitly). Since ff has a pole of order mm at z0z_0, its Laurent series has the form f(z)=a−m(z−z0)m+⋯+a−1z−z0+a0+a1(z−z0)+⋯f(z) = \dfrac{a_{-m}}{(z-z_0)^m} + \cdots + \dfrac{a_{-1}}{z-z_0} + a_0 + a_1(z-z_0) + \cdots with a−m≠0a_{-m} \neq 0.

Step 2 (Clear the pole). Multiply both sides by (z−z0)m(z-z_0)^m: g(z):=(z−z0)mf(z)=a−m+a−m+1(z−z0)+⋯+a−1(z−z0)m−1+a0(z−z0)m+⋯g(z) := (z-z_0)^m f(z) = a_{-m} + a_{-m+1}(z-z_0) + \cdots + a_{-1}(z-z_0)^{m-1} + a_0(z-z_0)^m + \cdots, which is an ordinary power series, so gg is holomorphic at z0z_0.

Step 3 (Recognize the coefficient as a derivative). In this power series, a−1a_{-1} is the coefficient of (z−z0)m−1(z-z_0)^{m-1}. For any holomorphic g(z)=∑jcj(z−z0)jg(z) = \sum_j c_j (z-z_0)^j, Taylor's formula gives cj=g(j)(z0)j!c_j = \dfrac{g^{(j)}(z_0)}{j!}, so a−1=g(m−1)(z0)(m−1)!a_{-1} = \dfrac{g^{(m-1)}(z_0)}{(m-1)!}.

Step 4 (Conclude). Since Res(f,z0)=a−1\mathrm{Res}(f,z_0) = a_{-1} and g(m−1)(z0)=lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]g^{(m-1)}(z_0) = \lim_{z\to z_0} \dfrac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)], substituting gives Res(f,z0)=1(m−1)!lim⁡z→z0dm−1dzm−1[(z−z0)mf(z)]\mathrm{Res}(f, z_0) = \dfrac{1}{(m-1)!} \lim_{z \to z_0} \dfrac{d^{m-1}}{dz^{m-1}} \left[ (z-z_0)^m f(z) \right]. Setting m=1m=1 collapses the derivative and factorial to give Res(f,z0)=lim⁡z→z0(z−z0)f(z)\mathrm{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0) f(z).

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.