Complex Analysis: Poles and Singularities

[Niles]

Homework Statement

Hi all.

According to my book, a pole z_0 of a function f(z) is defined as

<br /> \mathop {\lim }\limits_{z \to z_0 } f(z) = \infty.<br />

Now let's look at e.g. f(z) = exp(z). Thus we have a singularity for z = infinity, since the limit in this case is infinity.

This is what I don't understand: Definitions aside, f(z) = exp(z) is still analytic when it is infinite, so how can there be a singularity there?

 

[Defennder]

Infinity isn't a complex number. It's not a number, so you can't say there's singularity at infinity. Usually a singularity is identified by noting that the denominator of f(z) approaches 0 when z -> z_0, if f(z) may be written as a fraction of 2 functions.

 

[HallsofIvy]

While it is true that "infinity" is not a complex number, texts on complex analysis often talk about "poles at infinity" or "singularities at infinity". To quote Complex Analysis by Theodore Gamelin, "We say that a function, f(z), has an isolated singularity at infinity if it is analytic outside some bounded set." In other words, e^z has a "singularity at infinity" precisely because it is analytic for large |z|.

 

[squidsoft]

The functional behavior of f(z) at infinity is determined by the function's behavior at the point z=1/w at w=0. f(z) then is analytic, has a pole, essential singularity if f(1/w) has the same property at w=0. Then e^{z} has an essential singularity at the point of infinity. In the latter case, we encounter Picards's First Theorem: Any entire function that is not a polynomial has an essential singularity at infinity.

May I recommend "Basic Complex Analysis" by Marsden and Hoffman. This is my favorite introductory text on Complex Analysis and if you look into it I hope you agree :).

 

[Niles]

... we encounter Picards's First Theorem: Any entire function that is not a polynomial has an essential singularity at infinity.

What about e.g.

<br /> f(z) = \frac{\sin z}{z^2}.<br />

This is not an entire function, but it is not defined for z going to infinity (since we by the above metod would have 1/0 in the sine). Is infinity then also an essential singularity?

 

[Dick]

Look at the limit of sin(z)/z^2 as you approach infinity via z=x real, and z=iy imaginary. The real limit is 0 and the imaginary limit is infinity. It's pretty clearly an essential singularity, isn't it?

 

[Niles]

Look at the limit of sin(z)/z^2 as you approach infinity via z=x real, and z=iy imaginary. The real limit is 0 and the imaginary limit is infinity. It's pretty clearly an essential singularity, isn't it?

So I just have to find the limit when z goes to the singularity from different ways. If the limits are not the same, then it is an essential singularity? (Is this equivalent of the limit not existing?)

If you can confirm the following example, then I think I have understood it (I used your above method):

We look at that f(z) = \tan (1/z) for z -> 0. We have the following limits:

<br /> \mathop {\lim }\limits_{z \to 0} \frac{{\sin (1/z)}}{{\cos (1/z)}} = \mathop {\lim }\limits_{z \to \infty } \frac{{\sin (z)}}{{\cos (z)}}.<br />

If we let z = x, then we get an "oscillating limit". If we let z = iy, we get infinity, which is not oscillating. Thus z = 0 is an essential singularity (Am I correct?).

Thank you very much.

 

[Dick]

Check on the oscillating behavior for real z, but if z=iy you have basically sinh(y)/cosh(y) which does have a finite limit. But the real behavior means it doesn't have a limit and doesn't behave like a pole. What's left?

 

[Niles]

Check on the oscillating behavior for real z, but if z=iy you have basically sinh(y)/cosh(y) which does have a finite limit. But the real behavior means it doesn't have a limit and doesn't behave like a pole. What's left?

Then its an essential singularity. But this analysis seems rather long: Most of the functions we look at in class are hardly this simple. From http://en.wikipedia.org/wiki/Essential_singularity it says:

"If neither \mathop {\lim }\limits_{z \to a} f(z) nor \mathop {\lim }\limits_{z \to a} 1/f(z) exists, then a is an essential singularity of both f and 1/f."

Couldn't we just say, then, that since f(z) = \tan (1/z) is not defined for z=0, then the limit does not exist. Thus it must be an essential singularity. Is this reasoning valid?

 

[Dick]

'Not defined' doesn't imply 'limit does not exist'. 1/z isn't defined at z=0, but it does have a 'limit' as z->0 (in the extended complex plane). It goes to infinity. It's a pole. Not an essential singularity. tan(1/z) has oscillatory behavior as z->0. It's all about the limiting behavior as you approach the singularity.

 

[Niles]

'Not defined' doesn't imply 'limit does not exist'. 1/z isn't defined at z=0, but it does have a 'limit' as z->0 (in the extended complex plane). It goes to infinity. It's a pole. Not an essential singularity.

Are you talking about 1/z or tan(1/z)? Because tan(1/z) was essential, correct?

So my approach when classying an essential singularity is the following (will you be so kind to confirm if this is correct, please?):

Find the limit for z -> z₀ (where z₀ is the singularity) from different directions. If they are not the same, then it is an essential singularity.

 

[squidsoft]

May I make a suggestion: look at the Laurent series as one way to determine if a function has an essential singularity. By definition, a function with an essential singularity, has an infinite singular component (the 1/(z-za)^n terms in its Laurent expansion). Now consider an analytic function that is not a polynomial like sin(z). It's Laurent series at zero is an infinite Taylor series of z^n terms. However, when you substitute 1/z into that series, it then becomes an infinite series of 1/z^n terms thus making sin(1/z) have an essential singularity at zero or equivalently, sin(z) having an essential singularity at infinity.

 

[Dick]

Are you talking about 1/z or tan(1/z)? Because tan(1/z) was essential, correct?

So my approach when classying an essential singularity is the following (will you be so kind to confirm if this is correct, please?):

Find the limit for z -> z₀ (where z₀ is the singularity) from different directions. If they are not the same, then it is an essential singularity.

With the proviso that 'infinity' is a valid limit, yes. That's conceptually what is 'essential' about the singularity. There are easier criteria for finding this out than checking all possible directions, as squidsoft has just pointed out. And, yes, I was talking about 1/z.

 

[Niles]

Ok, I will do some more problems on this topic. Thanks to everybody who participated and for your patience.