Finding the residue of a singularity

Click For Summary

Homework Help Overview

The discussion revolves around the nature of the singularity of the function (e^z)/(1 - (e^z)) at z=0, specifically whether it is removable, a pole, or essential, and the determination of its residue.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the function's behavior near the singularity and consider rewriting it to analyze its nature. There are discussions about the need for a Laurent series and the implications of multiplying by z. Questions arise regarding the classification of the singularity and the conditions for it being a pole of infinite order versus an essential singularity.

Discussion Status

Participants are actively engaging with the problem, offering various insights and suggestions for analyzing the singularity. Some guidance has been provided regarding the behavior of the function when multiplied by z, and there is an ongoing exploration of the implications of different forms of the function.

Contextual Notes

There is mention of additional singularities at z=2ki'pi' for k in Z, but the focus remains on the singularity at z=0. Participants express uncertainty about their algebraic manipulations and the requirements for establishing the nature of the singularity.

annawells
Messages
11
Reaction score
0

Homework Statement



The following function has a singularity at z=0
(e^z)/(1 - (e^z))
decide if its removable/a pole/essential, and determine the residue

The Attempt at a Solution



I played with the function and saw it can be re-written as: -1 /(z + z^2/2! + z^3/3! +...)

In this case, the function still does not "behave" at z=0, so do i need to find a different expansion? I am all out of ideas!

(note: i know that as well as z=0, we also have singularities at z=2ki'pi' for k in Z, but the question just wants the nature of the singularity at z=0)

Any help would be greatly appreciated, thanks :-)
 
Physics news on Phys.org
an essential singularity gives infinite negative power terms in the laurent series, so you could look at that...

though looking at the form you have found, which appears to be singular at z = 0, you could try multplying by z, then see if you still have a singular function...
 
Thanks for the idea.
I am not quite sure how to pursue it. To show it is an essential singularity, don't i need to "produce" the laurent series, or at least show that it has infinite negative terms? I don't know how to break up the fraction to do that!? maybe this is more of a problem with my general algebra!
What do you mean when you say multiply by z? doesn't that just change the thing altogether?
On the wikipedia page you linked to, i tried to do it the lmiit way. but, in the form I have it in, limf(z) doesn't exist, but the lim(1/f(z)) does exists =0, so that applies to case 3 which says that f is a pole of f ? but then, isn't it a pole of infinite order...so it "becomes" an essential singularity?
thanks
Anna
 
welcome to pf by the way... you can write equations pretty easy use tex tags, click on the equation below to see how its written

[tex]f(z) = \frac{e^z}{1-e^z}[/tex]

so, why do you think it is a pole of infinite order?

what I was saying, was have a look at how the function [itex]g(z) = z f(z)[/itex] behaves as [itex]z \to 0[/itex]? what does that tell you about the nature of the function f?
 
Thanks, I was wondering how people made the functions look nice on here! i have often found answers here, but never posted before; thanks for the welcome :-)

well, when z --> 0, we have the zf(z)--> -1

i am not sure what that says about the nature of a function? if 0 were a simple pole, then that would tell us that it had a residue of -1 at z=0?

i thought it was a pole of infinite order because it had infinitely increasing powers of z in the denominator? but,i guess that they all correspond to the same singularity, does that mean its a simple pole?

Anna
 
Been a while since I've done some complex analysis, but as you can write [itex]f(z) = \frac{g(z)}{z}[/itex], where g(z) is a well behaved function, then it shows z=0 is pole of order 1 for f(z).

In your expansion, close to zero, [itex]|z^2| < |z|[/itex], so its really only the first term that counts.

In an essential singularity [itex]f(z)z^n[/itex] is still singular, for any n
 
okay, thanks a lot! i didnt know that thing about g(z)/z , thanks. but then, what is the residue at the singularity? its the coefficient of the "1/z" term, and here that looks to be g(z) though its not exactly a coefficient,its a series!
 
not quite, you would have to expand it to be in laurent series form, though it falls out when you multple the function by z
[tex]Res(f,0) = \lim_{z \to 0} zf(z) = g(0)[/tex]
 
  • #10
thanks a million!
 
  • #11
no worries ;)
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
12
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K