Math 2.0

example

exp(1/z) has an essential singularity at 0

Example

Let f(z)=e1/zf(z) = e^{1/z} for z∈C∖{0}z \in \mathbb{C} \setminus \{0\}, where ewe^w is the complex exponential. The function ff is holomorphic on C∖{0}\mathbb{C} \setminus \{0\}, so 00 is an isolated singularity of ff. Its Laurent series at 00 is e1/z=∑n=0∞1n!z−n=1+1z+12! z2+⋯(z≠0).e^{1/z} = \sum_{n=0}^{\infty} \frac{1}{n!} z^{-n} = 1 + \frac{1}{z} + \frac{1}{2! \, z^2} + \cdots \qquad (z \neq 0). It has infinitely many nonzero terms with negative powers, so 00 is an essential singularity of ff.

Remarks

A direct check: for real x→0+x \to 0^+, e1/x→∞e^{1/x} \to \infty, and for real x→0−x \to 0^-, e1/x→0e^{1/x} \to 0. So ff has no limit at 00 and ∣f∣|f| does not tend to ∞\infty. In each punctured disc 0<∣z∣<δ0 < |z| < \delta, ff takes each value w≠0w \neq 0 infinitely often: the solutions of e1/z=we^{1/z} = w are z=1/(Log⁡w+2πik)z = 1 / (\operatorname{Log} w + 2\pi i k) with k∈Zk \in \mathbb{Z} and Log⁡w+2πik≠0\operatorname{Log} w + 2\pi i k \neq 0, and these points tend to 00 as ∣k∣→∞|k| \to \infty. The value 00 is never taken. This agrees with Picard's great theorem, which allows one exception. The residue of ff at 00 is the coefficient of z−1z^{-1}, which is 11.

Explanations

L1 human

Near 00, the number 1/z1/z is huge and can point in any direction, so e1/ze^{1/z} can be huge, tiny, or anything in between. That is why no single value or infinity describes e1/ze^{1/z} near 00.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 19 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Real numbers object
  3. Set bounded above definition
  4. Complex exponential definition
  5. Power series in the complex plane definition
  6. Real and imaginary parts definition
  7. Supremum definition
  8. Laurent series definition
  9. Completeness axiom statement
  10. Existence of square roots of nonnegative reals statement
  11. Square root definition
  12. Modulus of a complex number definition
  13. Complex differentiability definition
  14. Holomorphic function definition
  15. Isolated singularity definition
  16. Pole definition
  17. Removable singularity definition
  18. Essential singularity definition
  19. exp(1/z) has an essential singularity at 0 example

Sources

  1. Web https://en.wikipedia.org/wiki/Essential_singularity, Formal description
  2. Web https://en.wikipedia.org/wiki/Casorati%E2%80%93Weierstrass_theorem, Examples