PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 2 of 'Laurent series'
[ view 'Laurent series' | back to history ]

Title of object: Laurent series
Canonical Name: LaurentSeries
Type: Definition

Created on: 2001-12-28 06:26:00-05
Modified on: 2001-12-28 06:28:19-05

Creator: djao
Modifier: djao
Author: djao

Revision comment (for changes between this and next version):

Changes for correction #961 ('uniqueness').

Preamble:

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}
Content:

A {\em Laurent series} centered about $a$ is a series of the form
\sum_{k=-\infty}^\infty c_k (z-a)^k
where $c_k, a, z \in \mathbb{C}$.
One can prove that the above series converges everywhere inside the set
D := \{z \in \mathbb{C} \mid R_1 < |z-a| < R_2 \}
where
R_1 := \limsup_{k \rightarrow\infty} |c_{-k}|^{1/k}
R_2 := 1/\left(\limsup_{k \rightarrow\infty} |c_{k}|^{1/k}\right).
(This set may be empty)
Every Laurent series has an associated function, given by
f(z) := \sum_{k=-\infty}^\infty c_k (z-a)^k,
whose domain is the set of points in $\mathbb{C}$ on which the series converges. This function is analytic inside the annulus $D$, and conversely, every analytic function on an annulus is equal to some Laurent series.