Determining the type of singularities

complex-analysislaurent seriesproof-verificationsingularitytrigonometry

Determine the type of singularities of
$$f(z)=\frac{1}{(z-1)\cot(\pi/z)}\tag{1}$$

We first rewrite the function:
$$f(z)=\frac{1}{(z-1)\cot(\pi/z)}=\frac{\sin(\pi/z)}{(z-1)\cos(\pi/z)} \tag{2}$$

Now we solve
$$(z-1)\cos(\pi/z)\overset{!}{=}0 \quad \Rightarrow \quad \hat{z}=1, \ z_k=\frac{2}{1+2k}, \quad k\in\mathbb Z \tag{3}$$

At first, $\hat{z}=1$ introduces a simple pole but then we see that $\sin(\pi/\hat{z})=0$. So we better check the limit there:

$$\lim_{z\to1}\frac{\sin(\pi/z)}{(z-1)\cos(\pi/z)}\overset{hopital}{=}\lim_{z\to 1}\frac{\cos(\pi/z)\pi}{\cos(\pi/z)-(z-1)\sin(\pi/z)}=\pi\tag{4}$$

So since that limit exists, we just found a continuation of the function at the problem point $\hat{z}=1$. So we can conclude:

$\hat{z}=1$ is a removable singularity.

After seeing that $\sin(\pi/z)$ has a root at $\hat{z}=1$ we could have also just argued that the simple pole introduced by $(1-z)$ woudl have order 1 and since the first derivative of $\sin(\pi/z)$ doesn't have a root at $\hat{z}=1$ anymore, we would have an "order" or $1-1=0$, which basically is a removable singularity.

Question: Where does this argumentation exactly come from?

Now for $z=0$ we have a non-isolated singularity, since trigonometric functions with an argument of the type $1/z$ go crazy there.

We know the Taylor series: $\cos(z)=\sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}z^{2n}$ so we get $$\cos(1/z)=\sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}z^{2n-1}=\frac{1}{z}+\sum_{n=1}^\infty \frac{(-1)^n}{(2n)!}z^{2n}\tag{5}$$

So we see, for $z_k$ we get simple poles of order 1.

Anything specifically wrong here?

Best Answer

Since $\sin\left(\frac\pi z\right)$ has a simple zero at $z=1$ and $\cos\left(\frac\pi z\right)$ has not zero there,$$\frac{\sin\left(\frac\pi z\right)}{(z-1)\cos\left(\frac\pi z\right)}$$has a removable singularity at $z=1$ (the simple zero in the numerator cancels the simple zero in the denominator). It's as simple as that.