Question about Laurent series and analytic functions. [closed]

Solution 1:

There is a lot to address in this question, maybe more than ought to be addressed in one question in a forum like this. First of all, I will suggest that you read about Laurent series, analyticity and singularities in an introductory text on complex analysis. Some good alternatives are Theodore Gamelin's Complex Analysis and Saff and Snider's Fundamentals of Complex Analysis. That said, I will briefly address some of the points here:

A analytic function can have a limit at a singular point. This is what we call a removable singularity, and it means that the function can be redefined such that it is analytic in that point. In this case the Laurent series will equal the Taylor series. In addition to removable singularities, we distinguish between poles and essential singularities. These are defined through properties of the Laurent series around the point in question.

The Laurent series is, as you mention, a generalized Taylor series. It is generalized in the sense that we allow for terms with negative exponents. A Laurent series is therefore usually written as

$$\sum_{n = -\infty}^{\infty} a_n (z-z_0)^n,$$

which is a notation for the formal series

$$\sum_{n = 1}^{\infty} \frac{a_{-n}}{(z-z_0)^n} + \sum_{n=0}^{\infty} a_n (z-z_0)^n.$$

Obsere that the last parts looks exactly like a Taylor series. Whereas a Taylor series converges in a disc, a Laurent series converges in an annulus. An annulus is a region in the complex plane of the form $r < |z-z_0| < R$ (You should be able to see this from the expression above if you are familiar with power series). Note that we allow for $r=0$, where the annulus is a punctured disc, and $R= \infty$. This is why a Laurent series is defined around a singularity. $z_0$ would typically be a singularity and the Laurent series is a representation of the function around that singularity. Intuitively the terms with negative exponents "make up for" the singularity, and how many such terms are included in the series tells us what kind of singularity we are near. If there are none, it is a removable singulary. If there are finitely many but at least one, we call it a pole, whereas if there are infinitely many, we are dealing with an essential singularity.

Yes, analytic functions can be expressed locally as power series. In some textbooks this is in fact the definition of analyticity. Be aware that there is not just one Laurent series representation of an analytic function. As mentioned, the representation is local, and will depend on the domain you are studying.