Singularities and Analyticity at z=0

  • Thread starter Thread starter Ted123
  • Start date Start date
  • Tags Tags
    Singularities
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
5 replies · 2K views · last reply
Ted123
Messages
428
Reaction score
0

Homework Statement



Typeset problem text asking to discuss whether each singular point is removable, pole or essential, with functions (a) (cos(z) - 1)/z^2 and (b) sinh(z)/z^2.


The Attempt at a Solution



Both [itex]\displaystyle \frac{\cos(z)-1}{z^2}[/itex] and [itex]\displaystyle \frac{\sinh(z)}{z^2}[/itex] have 1 singular point at [itex]z=0[/itex].

For (a):

z=0 is a removable singularity since defining f(0)=1 makes it analytic at all [itex]z\in\mathbb{C}[/itex].

z=0 is isolated since f(z) is analytic for 0<|z|<1. But z=0 is not a pole since cos(0)-1 =0, and so z=0 is an essential singularity.

For (b):

z=0 is a removable singularity since defining f(0)=1 makes it analytic at all [itex]z\in\mathbb{C}[/itex].

z=0 is isolated since f(z) is analytic for 0<|z|<1. But z=0 is not a pole since sinh(0)=0, and so z=0 is an essential singularity.

Is this correct?
 
Physics news on Phys.org
Parts of it might be true. You said basically the same thing about both functions and you didn't prove anything you said. Give some arguments. If f(z)=sinh(z)/z^2, why does defining f(0)=1 make it analytic on C?
 
Dick said:
Parts of it might be true. You said basically the same thing about both functions and you didn't prove anything you said. Give some arguments. If f(z)=sinh(z)/z^2, why does defining f(0)=1 make it analytic on C?

Probably because I'm not understanding the definitions correctly!

These are my set of definitions:
Printed text of definitions from complex analysis: singular point, isolated singularity, removable singularity, pole of order N with representation f(z) = φ(z)/(z - z0)^N, simple pole, strength of the pole, and essential singularity.


I think for both (a) and (b), z=0 is an isolated singularity but not a pole, so an essential singularity. But they probably aren't removable.
 
Ted123 said:
Probably because I'm not understanding the definitions correctly!

I think for both (a) and (b), z=0 is an isolated singularity but not a pole, so an essential singularity. But they probably aren't removable.

The definitions will be clearer to you if you look at a power series expansion of each function around z=0.
 
Dick said:
The definitions will be clearer to you if you look at a power series expansion of each function around z=0.

I don't like how some of these definitions are given so if I use this definition of pole:

Text stating the definition: z_0 is a pole of order N > 0 for f if z_0 is an isolated singularity for f and the limit as z approaches z_0 of (z - z_0)^N f(z) exists and is non-zero.


Clearly [itex]z_0=0[/itex] is an isolated singularity since it is the only singularity for both (a) and (b).

(a) [itex]\displaystyle \lim_{z\to 0} \;(z-0)^N f(z) = \lim_{z\to 0} \; z^{N-2} (\cos(z)-1) = 0 \;\; \forall \;N>0[/itex] so [itex]z_0=0[/itex] is not a pole. Hence it is an essential singularity.

(b) If N=1 then [itex]\displaystyle \lim_{z\to 0} \;(z-0) f(z) = \lim_{z\to 0} \frac{\sinh(z)}{z} = 1 \neq 0[/itex] so [itex]z_0=0[/tex] is a simple pole (of order 1). What would be the strength of the pole? It is not an essential singularity.<br /> <br /> I'm not understanding how to see if 0 is a <i>removable</i> singularity in each case?[/itex]
 
Ted123 said:
I don't like how some of these definitions are given so if I use this definition of pole:

Text stating that z0 is a pole of order N > 0 for f if z0 is an isolated singularity of f and the limit of (z - z0)^N f(z) as z approaches z0 exists and is non-zero.


Clearly [itex]z_0=0[/itex] is an isolated singularity since it is the only singularity for both (a) and (b).

(a) [itex]\displaystyle \lim_{z\to 0} \;(z-0)^N f(z) = \lim_{z\to 0} \; z^{N-2} (\cos(z)-1) = 0 \;\; \forall \;N>0[/itex] so [itex]z_0=0[/itex] is not a pole. Hence it is an essential singularity.

(b) If N=1 then [itex]\displaystyle \lim_{z\to 0} \;(z-0) f(z) = \lim_{z\to 0} \frac{\sinh(z)}{z} = 1 \neq 0[/itex] so [itex]z_0=0[/tex] is a simple pole (of order 1). What would be the strength of the pole? It is not an essential singularity.<br /> <br /> I'm not understanding how to see if 0 is a <i>removable</i> singularity in each case?[/itex]
[itex] <br /> You know how to expand cos(z) and sinh(z) in a power series around z=0. Put those expansions into the two functions and simplify. See what you think. Then look back at the definitions.[/itex]