1
$\begingroup$

Consider the function $g:\mathbb{C}\longrightarrow\mathbb{C}$ defined by $$g(z):=\dfrac{1}{2}\Bigg(\dfrac{1}{1-e^{z(i-1)}}+\dfrac{1}{1-e^{z(-1-i)}}\Bigg)=\dfrac{1}{2}\Bigg(\dfrac{1-e^{z(-1-i)}+1-e^{z(i-1)}}{(1-e^{z(i-1)})(1-e^{z(-1-i)})}\Bigg).$$

It has singularities at $$z_{k}=(1-i)k\pi\ \ \text{and}\ \ \omega_{k}=(1+i)k\pi\ \ \text{for}\ \ k\in\mathbb{Z}.$$

I want to classify these singularities. What I can tell so far is the following:

  1. Note that for $k=0$, we have a double zeros in the denominator, but we have a simple zero in the numerator, so even though we have double zeros, the singularity for $k=0$, is still of order 1. And clearly there is no way to remove it.

  2. For all other $k$, we can only have one component of the product in the denominator to be $0$ at one time, and $z_{k}$ and $\omega_{k}$ for each $k$, cannot individually make the numerator $0$, and thus for all other $z_{k}$ and $\omega_{k}$, they are simple singularities that cannot be removed.


I want to say more than these. If they are not removable, are they poles or essential singularities? I can prove neither.

So I expect that they are poles, but I am having a hard to to write $g(z)$ in the form of $$g(z)=(z-z_{k})^{-1}h(z)$$ for some $h(z)$ holomorphic non-vanishing in a neighborhood of $z_{k}$. This is difficult since we don't have things like $z^{4}+1$ so that we can factorize.

For $z=0$, for sure I can use power series expansion of $e^{z(i-1)}$ and $e^{z(-1-i)}$ around $0$, and conclude what I want. For all other $z_{k}$, it seems really time-consuming to do the power series around them.

I don't have any idea about how to prove them are essential either..(I don't believe they are essential actually)

Any idea? Thank you so much!

$\endgroup$
3
  • $\begingroup$ Try evaluating $\lim_{z \to z_k} (z - z_k) g(z)$ using L'Hospital's rule (and the same thing for $w_k$). Since this limit exists, the $z_k$ and $w_k$ are all simple poles. (If they were poles of a higher order, you would need to consider $\lim_{z \to z_k} (z - z_k)^n g(z)$.) $\endgroup$ – sasquires Dec 9 '20 at 2:45
  • $\begingroup$ @sasquires I am having a little trouble to get a solid reference of identifying simple poles. Someone says I should prove that $$g(z)=(z-z_{k})^{-k}h(z)$$ for some non-vanishing holomorphic function $h$ around $z_{k}$, and I also saw your version that I can just show that $(z-z_{k})^{n}$ can remove the singularity in $g(z)$. They are equivalent? $\endgroup$ – JacobsonRadical Dec 9 '20 at 2:53
  • $\begingroup$ @sasquires yeah I guess they are the same, removable singularity is basically a pole of order $0$. Okay, thank you for the help. I will answer my own post. $\endgroup$ – JacobsonRadical Dec 9 '20 at 3:01
1
$\begingroup$

For $z_{k}\neq 0$, we use L'Hopital's Rule to get \begin{align*} \lim_{z\rightarrow z_{k}}(z-z_{k})g(z)&=\dfrac{1}{2}\lim_{z\rightarrow z_{k}}\dfrac{(z-z_{k})(2-e^{z(-1-i)}-e^{z(i-1)})}{(1-e^{z(i-1)})(1-e^{z(-1-i)})}\\ &=\dfrac{1}{2}\lim_{z\rightarrow z_{k}}\dfrac{(2-e^{z(-1-i)}-e^{z(i-1)})+(z-z_{k})((1+i)e^{z(-1-i)}-(i-1)e^{z(i-1)})}{-(i-1)e^{z(i-1)}(1-e^{z(-1-i)})+(1-e^{z(i-1)})(1+i)}\\ &=\dfrac{1}{2}\dfrac{2-e^{z_{k}(-1-i)}}{(1+i)}<\infty. \end{align*}

A similary computation shows that $$\lim_{z\rightarrow\omega_{k}}(z-z_{k})g(z)<\infty,$$ so all $z_{k},\omega_{k}\neq 0$ are simple poles.

A similar computation shows that $$\lim_{z\rightarrow z_{k}}(z-z_{k})g(z)=\dfrac{1}{(1+i)},$$ similar for $\omega_{k}$.

So all the $z_{k}$ and $\omega_{k}$ are simple poles.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.