Skip to main content
Mathematics LibreTexts

8.7: Laurent Series

  • Page ID
    50904
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Theorem \(\PageIndex{1}\) Laurent series

    Suppose that \(f(z)\) is analytic on the annulus

    \[A: r_1 < |z - z_0| < r_2. \nonumber \]

    Then \(f(z)\) can be expressed as a series

    \[f(z) = \sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n} + \sum_{n = 0}^{\infty} a_n (z - z_0)^n. \nonumber \]

    The coefficients have the formulus

    \[\begin{array} {l} {a_n = \dfrac{1}{2\pi i} \int_{\gamma} \dfrac{f(w)}{(w - z_0)^{n + 1}}\ dw} \\ {b_n = \dfrac{1}{2\pi i} \int_{\gamma} f(w) (w - z_0)^{n - 1}\ dw} \end{array} \nonumber \]

    where \(\gamma\) is any circle \(|w - z_0| = r\) inside the annulus, i.e. \(r_1 < r < r_2\).

    Furthermore

    • The series \(\sum_{n = 0}^{\infty} a_n (z - z_0)^n\) converges to an analytic function for \(|z - z_0| < r_2\).
    • The series \(\sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n}\) converges to an analytic function for \(|z - z_0| > r_1\).
    • Together, the series both converge on the annulus \(A\) where \(f\) is analytic.

    The proof is given below. First we define a few terms.

    Definition: Laurent Series

    The entire series is called the Laurent series for \(f\) around \(z_0\). The series

    \[\sum_{n = 0}^{\infty} a_n (z - z_0)^n \nonumber \]

    is called the analytic or regular part of the Laurent series. The series

    \[\sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n} \nonumber \]

    is called the singular or principal part of the Laurent series.

    Note

    Since \(f(z)\) may not be analytic (or even defined) at \(z_0\) we don’t have any formulas for the coefficients using derivatives.

    Proof

    (Laurent series). Choose a point \(z\) in \(A\). Now set circles \(C_1\) and \(C_3\) close enough to the boundary that \(z\) is inside \(C_1 + C_2 - C_3 - C_2\) as shown. Since this curve and its interior are contained in \(A\), Cauchy’s integral formula says

    \[f(z) = \dfrac{1}{2\pi i} \int_{C_1 + C_2 - C_3 - C_2} \dfrac{f(w)}{w - z}\ dw \nonumber \]

    1.svg
    Figure \(\PageIndex{1}\): The contour used for proving the formulas for Laurent series. (CC BY-NC; Ümit Kaya)

    The integrals over \(C_2\) cancel, so we have

    \[f(z) = \dfrac{1}{2\pi i} \int_{C_1 - C_3} \dfrac{f(w)}{w - z}\ dw. \nonumber \]

    Next, we divide this into two pieces and use our trick of converting to a geometric series. The calculuations are just like the proof of Taylor’s theorem. On \(C_1\) we have

    \[\dfrac{|z - z_0|}{|w - z_0|} < 1, \nonumber \]

    so

    \[\begin{cases} {rcl} {\dfrac{1}{2\pi i} \int_{C_1} \dfrac{f(w)}{w - z}\ dw} & = & {\dfrac{1}{2\pi i} \int_{C_1} \dfrac{f(w)}{w - z_0} \cdot \dfrac{1}{(1 - \dfrac{z - z_0}{w - z_0})} \ dw} \\ {} & = & {\dfrac{1}{2\pi i} \int_{C_1} \sum_{n = 0}^{\infty} \dfrac{f(w)}{(w - z_0)^{n + 1}} (z - z_0)^n \ dw} \\ {} & = & {\sum_{n = 0}^{\infty} (\dfrac{1}{2\pi i} \int_{C_1} \dfrac{f(w)}{(w - z_0)^{n + 1}} \ dw) (z - z_0)^n} \\ {} & = & {\sum_{n = 0}^{\infty} a_n (z - z_0)^n.} \end{cases} \nonumber \]

    Here \(a_n\) is defined by the integral formula given in the statement of the theorem. Examining the above argument we see that the only requirement on \(z\) is that \(|z - z_0| < r_2\). So, this series converges for all such \(z\).

    Similarly on \(C_3\) we have

    \[\dfrac{|w - z_0|}{|z - z_0|} = 1. \nonumber \]

    so

    \[\begin{array} {rcl} {\dfrac{1}{2\pi i} \int_{C_3} \dfrac{f(w)}{w - z} dw} & = & {\dfrac{1}{2\pi i} \int_{C_3} -\dfrac{f(w)}{z - z_0} \cdot \dfrac{1}{(1 - \dfrac{w - z_0}{z - z_0})} \ dw} \\ {} & = & {-\dfrac{1}{2\pi i} \int_{C_3} \sum_{n = 0}^{\infty} f(w) \dfrac{(w - z_0)^n}{(z - z_0)^{n + 1}} \ dw} \\ {} & = & {-\dfrac{1}{2\pi i} \sum_{n = 0}^{\infty} (\int_{C_1} f(w) (w - z_0)^n \ dw) (z - z_0)^{-n - 1}} \\ {} & = & {-\sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n}.} \end{array} \nonumber \]

    In the last equality we changed the indexing to match the indexing in the statement of the theorem. Here \(b_n\) is defined by the integral formula given in the statement of the theorem. Examining the above argument we see that the only requirement on \(z\) is that \(|z - z_0| > r_1\). So, this series converges for all such \(z\).

    Combining these two formulas we have

    \[f(z) = \dfrac{1}{2\pi i} \int_{C_1 - C_3} \dfrac{f(w)}{w - z}\ dw = \sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n} + \sum_{n = 0}^{\infty} a_n (z - z_0)^n \nonumber \]

    The last thing to note is that the integrals defining \(a_n\) and \(b_n\) do not depend on the exact radius of the circle of integration. Any circle inside \(A\) will produce the same values. We have proved all the statements in the theorem on Laurent series. QED

    Examples of Laurent Series

    In general, the integral formulas are not a practical way of computing the Laurent coefficients. Instead we use various algebraic tricks. Even better, as we shall see, is the fact that often we don’t really need all the coefficients and we will develop more techniques to compute those that we do need.

    Example \(\PageIndex{1}\)

    Find the Laurent series for

    \[f(z) = \dfrac{z + 1}{z} \nonumber \]

    around \(z_0 = 0\). Give the region where it is valid.

    Solution

    The answer is simply

    \[f(z) = 1 + \dfrac{1}{z}. \nonumber \]

    This is a Laurent series, valid on the infinite region \(0 < |z| < \infty\).

    Example \(\PageIndex{2}\)

    Find the Laurent series for

    \[f(z) = \dfrac{z}{z^2 + 1} \nonumber \]

    around \(z_0 = i\). Give the region where your answer is valid. Identify the singular (principal) part.

    Solution

    Using partial fractions we have

    \[f(z) = \dfrac{1}{2} \cdot \dfrac{1}{z - i} + \dfrac{1}{2} \cdot \dfrac{1}{z + i}. \nonumber \]

    Since \(\dfrac{1}{z + i}\) is analytic at \(z = i\) it has a Taylor series expansion. We find it using geometric series.

    \[\dfrac{1}{z + i} = \dfrac{1}{2i} \cdot \dfrac{1}{1 + (z - i)/(2i)} = \dfrac{1}{2i} \sum_{n = 0}^{\infty} (-\dfrac{z - i}{2i})^n \nonumber \]

    So the Laurent series is

    \[f(z) = \dfrac{1}{2} \cdot \dfrac{1}{z - i} + \dfrac{1}{4i} \sum_{n = 0}^{\infty} (-\dfrac{z -i}{2i})^n \nonumber \]

    The singular (principal) part is given by the first term. The region of convergence is \(0 < |z - i| < 2\).

    Note

    We could have looked at \(f(z)\) on the region \(2< |z - i|< \infty\). This would have produced a different Laurent series. We discuss this further in an upcoming example.

    Example \(\PageIndex{3}\)

    Compute the Laurent series for

    \[f(z) = \dfrac{z + 1}{z^3 (z^2 + 1)} \nonumber \]

    on the region \(A\): \(0 < |z| < 1\) centered at \(z = 0\).

    Solution

    This function has isolated singularities at \(z = 0, \pm i\). Therefore it is analytic on the region \(A\).

    0.svg
    \(f(z)\) has singularities at \(z = 0, \pm i\). (CC BY-NC; Ümit Kaya)

    At \(z = 0\) we have

    \[f(z) = \dfrac{1}{z^3} (1 + z)(1 - z^2 + z^4 - z^6 +\ ...). \nonumber \]

    Multiplying this out we get

    \[f(z) = \dfrac{1}{z^3} + \dfrac{1}{z^2} - \dfrac{1}{z} - 1 + z + z^2 - z^3 -\ ... \nonumber \]

    The following example shows that the Laurent series depends on the region under consideration.

    Example \(\PageIndex{4}\)

    Find the Laurent series around \(z = 0\) for \(f(z) = \dfrac{1}{z(z - 1)}\) in each of the following regions:

    \[\begin{array} {rl} {\text{(i)}} & {\text{the region } A_1: 0 < |z| < 1} \\ {\text{(ii)}} & {\text{the region } A_2: 1 < |z| < \infty.} \end{array} \nonumber \]

    Solution

    For \(\text{(i)}\)

    \[f(z) = -\dfrac{1}{z} \cdot \dfrac{1}{1 - z} = -\dfrac{1}{z} (1 + z + z^2 +\ ...) = -\dfrac{1}{z} - 1 - z - z^2 - \ ... \nonumber \]

    For \(\text{(ii)}\): Since the usual geometric series for \(1/(1 - z)\) does not converge on \(A_2\) we need a different form,

    \[f(z) = \dfrac{1}{z} \cdot \dfrac{1}{z (1 - 1/z)} = \dfrac{1}{z^2} (1 + \dfrac{1}{z} + \dfrac{1}{z^2} +\ ...) \nonumber \]

    Since \(|1/z| < 1\) on \(A_2\) our use of the geometric series is justified.

    One lesson from this example is that the Laurent series depends on the region as well as the formula for the function.


    This page titled 8.7: Laurent Series is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Jeremy Orloff (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform.