Confused by Laurent series

Question

A typical problem related to Laurent series is this:

For the function $\dfrac 1{(z-1)(z-2)}$, determine the Laurent series expansion in the following regions: $(a)\quad|z|<1, \\ (b)\quad1<|z|<2, \\(c)\quad|z|>2.$

Now, while I know how to solve such problems (using algebraic manipulations and geometric series), I don't understand why the function can have Laurent series in so many regions. Isn't a Laurent series meaningful only within an open annulus centred at each singularity? Why does the given function have Laurent series for all points except at circles containing its singularities? I feel that there's a fundamental gap in my understanding, so please forgive me if my question seems fuzzy.

Answer 1

I think some points of confusion can be clarified by looking at power series first.

Let $B(z_0,r) = \{z | |z-z_0|<r\}$, $\operatorname{ann}(z_0,r_1,r_2)= \{ z | r_1 < |z-z_0| < r_2\}$.

A power series centred at $z_0$ given by $z \mapsto \sum_{n=0}^\infty a_n (z-z_0)^n$ defines an analytic function for $z \in B(z_0,R)$, and diverges for $|z-z_0|>R$, where $\frac{1}{R} = \limsup_n \sqrt[n]{|a_n|}$. (Hence $R$ is the largest number such that the power series is analytic on $z \in B(z_0,R)$).

If the function defined by the power series has a non-removable singularity at some $z_1$, then clearly $R\le |z_1-z_0|$ (otherwise the function would be analytic at $z_1$). This is also what limits the radius of convergence of the Laurent series.

The power series coefficients (and hence the radius of convergence) depend on the function and the choice of $z_0$. For example, take $f(z) = \frac{1}{z}$. If we take $z_0=1$, then $f(z) = 1 - (z-1)+(z-1)^2-\cdots$ on $z \in B(1,1)$, whereas if we take $z_0=2$, we have $f(z) = 1-\frac{z-2}{2}+(\frac{z-2}{2})^2-\cdots$ on $z \in B(2,2)$. So $f$ has different power series in different regions. In this example, the radius of convergence of the power series will always be the distance from the centre to the singularity at $z=0$.

If a function $f$ is analytic on $\operatorname{ann}(z_0,r_1,r_2)$, then it has a Laurent series that converges uniformly & absolutely on any compact subset of the annulus. As with the power series, we must have ${r_2} \le {1 \over \limsup_{n \to \infty} \sqrt[n]{|a_n|}}$ and ${r_1} \ge { \limsup_{n \to \infty} \sqrt[n]{|a_{-n}|}}$.

By separating the negative and non-negative coefficient index parts of the Laurent expansion, we see that $f$ can be written as $f(z) = g_1(\frac{1}{z-z_0})+g_2(z-z_0)$, where $g_1,g_2$ are functions that are analytic on $B(0,\frac{1}{r_1})$ and $B(0,r_2)$ respectively. Hence the above remarks regarding power series can by applied mutatis mutandis to the Laurent series, taking into account the two-sided nature of things.

Note that all that is required is that $f$ be analytic on $\operatorname{ann}(z_0,r_1,r_2)$. There is no requirement that the center of the annulus lie on a singularity. For example, with $f(z) = \frac{1}{z}$ above, $f$ is analytic on $\operatorname{ann}(2,1,2)$, and the Laurent expansion is precisely the power series expansion in this case.

As with the power series, the Laurent expansion depends on the chosen annulus.

Answer 2

The main idea is that all of these Laurent series that you're finding are centered at the same point (namely zero). A Laurent series expansion exists in any annulus in which the function is analytic, so if there are any singularities (at the center of the Laurent series or at any other point), this will create the ring about the center where there isn't an expansion.

If you wanted to center at a different point, then you would have different expansions for each annulus about that point that avoided the singularities.

Answer 3

Note that the given regions do not contain the singularities. A Laurent series is meaningful as long as the regions of definition do not contain the singularities. If the annuli are centered at a singularity the annuli will not contain the singularity.