exp(1/z) has an essential singularity at 0
Example
Let for , where is the complex exponential. The function is holomorphic on , so is an isolated singularity of . Its Laurent series at is It has infinitely many nonzero terms with negative powers, so is an essential singularity of .
Remarks
A direct check: for real , , and for real , . So has no limit at and does not tend to . In each punctured disc , takes each value infinitely often: the solutions of are with and , and these points tend to as . The value is never taken. This agrees with Picard's great theorem, which allows one exception. The residue of at is the coefficient of , which is .
Explanations
L1 human
Near , the number is huge and can point in any direction, so can be huge, tiny, or anything in between. That is why no single value or infinity describes near .
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.
- no evidence level
- Complex numbers object
- Real numbers object
- Set bounded above definition
- Complex exponential definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Supremum definition
- Laurent series definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Complex differentiability definition
- Holomorphic function definition
- Isolated singularity definition
- Pole definition
- Removable singularity definition
- Essential singularity definition
- exp(1/z) has an essential singularity at 0 example
Sources
What links here
No node links to this node yet.