本性奇点

本性奇点（essential singularity）是既不能全纯补值、又不是有限阶极点的孤立奇点。在该点附近，函数没有有限极限，函数模也不沿所有方向统一趋于无穷。它的洛朗主部包含无限多个非零负次幂项。

“函数振荡很厉害”不是定义。首先必须存在一个去心圆盘，函数在其中处处全纯；如果附近还聚集着其他奇点，就不属于这里的孤立奇点三分法。

指数的一个本性奇点

函数 $f(z)=e^{1/z}$ 在零以外全纯，并有展开 $$e^{1/z}=1+\frac{1}{z}+\frac{1}{2!z^2}+\frac{1}{3!z^3}+\cdots .$$ 所有负幂都出现，任何有限次幂都无法把主部完全消去，故零为本性奇点。

也可直接比较不同趋近方式。取正整数 $n\to \mathrm{\infty }$： $$\begin{array}{cc}f(1/n)& =e^n\to \mathrm{\infty },\\ f(-1/n)& =e^{-n}\to 0,\\ f(1/(2\pi in))& =1.\end{array}$$ 第一列排除有限补值；第二列排除极点；第三列说明还可以保持另一个有限值。只有检查足够不同的路径，才不会把实轴一侧的发散误当成极点。

为同时看清增长与衰减，纵轴画log模f。沿1/n、负1/n与1除以2πin三列点，其值分别为n、负n和零，对应函数模为指数增长、指数衰减和恒为一。

任意去心邻域的像稠密

卡索拉蒂—魏尔斯特拉斯定理给出一般结论：若 $a$ 是本性奇点，则每个足够小的去心圆盘的像在整个复平面稠密。亦即对任意目标值 $w$、误差 $\epsilon >0$ 和允许半径 $r>0$，存在 $z$ 满足 $$0<|z-a|<r,|f(z)-w|<\epsilon .$$ 这要求任意小邻域都能逼近每个有限值，不是只在某一个大区域内有许多取值。

证明使用可去奇点定理。反设某个去心圆盘的像漏掉以 $w$ 为中心、半径 $\epsilon$ 的整块开圆盘，便有 $|f(z)-w|\ge \epsilon$。令 $$g(z)=\frac{1}{f(z)-w}.$$ 它全纯且模不超过 $1/\epsilon$，所以在中心可去。若补值 $g(a)\ne 0$，则 $1/g+w$ 也能全纯补值，使原奇点可去。若 $g(a)=0$，由于 $g$ 在去心处不为零，它不可能在整个圆盘恒零，其中心零点必为某个有限正阶 $m$。于是 $1/g+w$ 在中心是 $m$ 阶极点。两种情况都与本性奇点矛盾，故没有任何开圆盘可以完全遗漏，稠密性得证。

稠密与取遍不是一回事

对主例，零始终不在像中，因为指数永不为零；但负实轴趋近使函数值任意接近零。对任意非零 $w$，任取一个复对数值 $L$ 使 $e^L=w$，则 $$z_n=\frac{1}{L+2\pi in}$$ 在分母非零的充分大整数处定义，满足 $z_n\to 0$ 及 $f(z_n)=w$。因此这个特例在每个去心邻域恰好取到所有非零复数，零则只是可逼近的遗漏值。

更强的皮卡大定理说，一般本性奇点附近至多遗漏一个复值；其证明需要额外理论，不能把前面“漏掉一整块圆盘不可能”的证明当成已证明了这一更强结论。

变式。 对 $h(z)=e^{1/z^2}$，沿实序列 $1/n$ 得 $e^{n^2}$，沿虚序列 $i/n$ 得 $e^{-n^2}$，仍能排除可去点和极点，故零为本性奇点。再乘任意有限整数次幂 $z^m$，正负方向的指数增长与衰减仍压过有限幂次，不能由这种乘法把本性奇点改成可去点。

有界但未全纯的实函数可以具有完全不同的孤立异常；有其他奇点聚集的函数也需要另作分析。这里的强烈取值结论来自复全纯且奇点孤立两个条件。

参考文献

Jiří Lebl，Guide to Cultivating Complex Analysis，1.9，2026-07-11，§5.2.2—5.2.3（本性奇点、Casorati–Weierstrass证明及Picard区别）。