An isolated singularity at means that the function is holomorphic throughout some punctured disc . Its residue is the Laurent coefficient , equivalently . The singularity is removable if all negative Laurent coefficients vanish, a pole of order if only finitely many are nonzero and the lowest power is , and essential if infinitely many negative coefficients are nonzero.
For the final contour integral, expand . On the circle these exponential series converge absolutely and uniformly for in every bounded set, so their product can be integrated term by term. In
only contributes. Set , . Thus
The resulting power series converges for every complex by the ratio test. The coefficients are independent of the positive radius .

Articles by others on the same topic (0)

There are currently no matching articles.