Sigularities and Residue Theorem
Singularity
\(z_0\) is an isolated singularity of \(f\) if \(f(z)\) is not differentiable or is undefined at \(z_0\), but \(f(z)\) is analytic on \(A_{0, r_0}(z_0)\) for some \(r_0 > 0\)
Classes of Singularities
Suppose \(f\) has a isolated singularity at \(z_0\), and its Larent expansion is \(f(z) = \sum_{-\infty}^{\infty} c_n (z-z_0)^n\) on \(A_{0, r_0}(z_0)\) for some \(r_0 > 0\), then - \(z_0\) is a removable singularity if \(c_n = 0\) for all \(n < 0\). - \(z_0\) is a pole of order \(N\) if \(c_{-N}\neq 0\) abd \(c_n = 0\) for all \(n < -N\). - \(z_0\) is a essential singularity if \(c_n\neq 0\) for all \(n < 0\).
Another definition - \(z_0\) is a removable singularity if \(\exists s, 0 < s < r\) s.t. \(f(z)\) is bounded on \(A_{0, s}(z_0)\), i.e. \(\lim_{z\rightarrow z_0} f(z)\) exist. - \(z_0\) is a pole of order \(N\) if \(\exists s, 0 < s < r\) s.t. \((z-z_0)^N f(z)\) is bounded on \(A_{0, s}(z_0)\), i.e. \(\lim_{z\rightarrow z_0} (z-z_0)^N f(z)\) exist but \(\lim_{z\rightarrow z_0} (z-z_0)^{N-1} f(z)\) DNE. - \(z_0\) is a essential singularity if \(\forall N, \forall s, 0 < s < r\) \((z-z_0)^N f(z)\) is unbounded, or \(\lim_{z\rightarrow z_0} (z-z_0)^N f(z)\) DNE.
The two definitions are equivalent
Claim 1
Let \(f(z)\) have a removable singularity at \(z_0\), and analytic on \(A_{0, r}(z_0)\) for some \(r > 0\). Then, \(\exists g(z)\) analytic on \(B_r(z_0)\) and \(f=g\) on \(A_{0,r}(z_0)\).
proof. Note that for removable sinularity, we have the Laurent series \(f(z) = \sum_{n=0}^\infty c_n(z-z_0)^n\) since for \(\forall m \leq -1, c_m = 0\) on the anulus.
Then, simply write as the power series on the ball.
Example 1
consider \(\frac{\sin z}{z}\) on \(A_{0,r}(0)\). its Laurent series is given by
Therefore, take \(z=0\), we have the series equals to \(1\). we can write \(g(z) = \begin{cases}\sin z / z &z\neq 0\\ 1&z=0\end{cases}\)
Residue
Note that using Cauchy Theorem we can do contour deformation to solve singularity in \(C_{int}\), and each integral around singularity can be related to CIF. Therefore, we can unify them together.
For \(f\) analytic, for some singularity \(z_0\) on \(f\) s.t. \(f\) is analytic on \(A_{o,r}(z_0)\) for \(r>0\). The residue is defined as
for some circle \(C_s\) of radius \(0 < s < r\) centered at \(z_0\). Note that \(c_{-1}\) is the coefficient of Larent series expansion on \(A_{0,r}(z_0)\).
Theorem 1. Residue Theorem
Let \(D\) e a domain, Let \(C\subset D\) be a Jordon contour, let the set of singularities \(Z = \{z_1,..., z_N\} \subset C_{int}, f(z)\) analytic on \(D - Z\). Then,
proof. First, by contour deformation, we only need to show that
where \(C_k \subset A_{0, r_k}(z_k)\) s.t. \(f\) is analytic on each anulus. From the definition of residue above,
Claim 2
\(f(z)\) has a pole of order 1 at \(z_0\) IFF \(Res(f, z_0) = \lim_{z\rightarrow z_0} (z-z_0)f(z)\)
proof. \(f\) has pole of order 1 IFF the Larent series starts from \(-1\), so that
Therefore, consider the limit \(\lim_{z\rightarrow z_0} (z-z_0)f(z)\), if the limit exists, all terms with \((z-z_0)\) must approach \(0\) as \(z\rightarrow z_0\), the only term left can be the 0th term, i.e. \(c_{-1}\)
Claim 3
For \(z_0\) is a pole of order \(k\) singularity, or a removable singularity, or an analytic point, (i.e. \(z_0\) has at most order \(k\))take any \(M\geq k\), we have
proof.
Therefore, the coefficient at \((z-z_0)^0\) is when \(n = M-1\)
Residue At Infinity
If \(f(z)\) analytic on \(A_{s,\infty}(0)\) for some \(s>0\), define the residue at inifinity as
Note that this definition makes sense because on \(A_{s,\infty}(0)\), consider Laurent series expansion \(f(z) = \sum_{-\infty}^\infty c_nz^n\) we have
Claim 1
If \(f\) has finitely many singularities \(z_1,...,z_n \in \mathbb C\), then
proof.
Claim 2
\(Res(f,\infty) = -Res(\frac{1}{z^2} f(\frac{1}{z}), 0)\)
proof. By our definition
Claim 3
For \(p, q\) polynomials, if some \(C\) large enough circle to contain all the roots of polynomial \(q(z)\) and \(deg(q)\geq deg(p) + 2\), then
proof. Consider \(\lim_{z\rightarrow\infty} z\frac{p(z)}{q(z)}, deg(zp(z)) = deg(p(z)) + 2\leq deg(q)\) so that the limit exists and \(\lim_{z\rightarrow\infty} z\frac{p(z)}{q(z)} = 0\). Therefore,
Winding Number
For closed curve \(C\), define for the winding number of \(C\) at \(z_0\) (not on \(C\)) as
Graphically, winding number is the number of circles of \(C\) oriented c.c.w. around \(z_0\).
Theorem For curves \(C\) that does not go across \(0\), any parameterization \(c(t)\) of \(C\) can be decomposed into
Theorem \(w(C, 0) = \frac{\theta(b) - \theta(a)}{2\pi i}\)
Generalized Residue Theorem
Let \(D\) be a simply connected domain, \(\mathbf z = \{z_1,...,z_n\} \in D\) be singularities. \(C \subset D - \mathbf z\) be a closed curve and \(f\) is analytic on \(D-\mathbf z\). Then,