Confused by Laurent series

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.


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.