Complex singularity 2026-10-24
A point where a specified complex function fails to be holomorphic, but which is approached by points of its domain. An isolated singularity has a punctured neighbourhood on which the function is holomorphic; a non-isolated singularity has other singularities arbitrarily close to it. The classification as a removable singularity, a pole, or an essential singularity applies to isolated singularities.
Away from zero, singularities occur exactly when , namely
For , differentiation at gives . Thus every is a simple pole, with residue .
As , these poles accumulate at zero. Therefore zero is a non-isolated singularity. Every punctured disc around it contains poles, so the function is not holomorphic on any punctured disc there. In particular zero cannot be classified as an isolated essential singularity; the isolated-singularity classification does not apply. The displayed poles and their accumulation point zero exhaust the finite singularities.
For , the denominator zeroes are . Its derivative is , nonzero at each such point. Thus
These poles accumulate at zero. Consequently zero is a non-isolated singularity, as described by reciprocal cosine with accumulating poles. It is not an isolated essential singularity: no punctured disc about zero is a domain of holomorphy for this reciprocal function. Although itself has an essential singularity at zero, taking its reciprocal introduces this accumulation of poles.
At every , the function has a simple pole. The exponential of a pole is an essential singularity, so
are essential singularities of .
These points accumulate at . Therefore no punctured neighbourhood of zero is a domain of holomorphy for the function: zero is a non-isolated singularity, specifically an accumulation point of essential singularities, rather than an isolated essential singularity. There are no other singularities in .
The complex exponential never vanishes. The zeros of occur at , , and they are simple because . The numerator is there, so no cancellation occurs. Therefore
For example their residues are .
Infinity requires care: the poles themselves tend to infinity. Equivalently has poles at accumulating at zero. Thus , and it is not a zero. In the usual classification of isolated singularities, it cannot be called a removable singularity, pole or isolated essential singularity. The non-isolated singularity distinction is necessary even though the function is meromorphic at every finite point.
The function has simple poles at , accumulating at zero. Its origin is therefore a non-isolated singularity, despite the underlying cosine of having an isolated essential singularity.