CÁLCULO III - CÁLCULO AVANZADO Primer Cuatrimestre de 2021

Clase 10-05-2021 - Serie de Lurent

Si una función f no es analı́tica en un punto z0 , no puede aplicarse el Teorema de

Taylor alrededor de él. No obstante, es posible hallar una representación en serie para f
que contenga potencias positivas y negativas de (z − z0 ) como veremos en lo que sigue.
Las series de Laurent, que engloban a las series de potencias, proporcionan funciones
analı́ticas en coronas (anillos) circulares.

Definición
En lo que sigue A(z0 , R1 , R2 ) = {z ∈ C : R1 < |z − z0 | < R2 } denotará la corona circular
abierta centrada en z0 ∈ C de radios R1 y R2 , 0 ≤ R1 < R2 ≤ ∞. Observemos que estas
coronas incluyen como caso particular al disco perforado BR 0 (z ) = {z : 0 < |z−z | < R }.
2 0 0 2

Una serie de Laurent centrada en el punto z0 es una serie de la forma

∞
X
an (z − z0 )n ,
n=−∞

donde an ∈ C para cada n ∈ Z. La serie se considera convergente en aquellos puntos z ∈ C

donde convergen simultáneamente las dos series
∞ ∞
X
n
X a−n
an (z − z0 ) y .
(z − z0 )n
n=0 n=1
P∞ n y
Si
P∞ R y 1/r determinan las regiones de convergencia de n=0 an (z − z0 )
−n respectivamente, y se cumple que 0 ≤ r < R ≤ ∞ entonces la serie
n=1 a−n (z − z0 )
de Laurent converge en la corona A(z0 , r, R) = {z : r < |z − z0 | < R} llamada corona de
convergencia.
La serie de Laurent define en su corona de convergencia una función analı́tica
∞
X
f (z) = an (z − z0 )n ,
n=−∞

que se descompone en suma de dos funciones analı́ticas f (z) = f−1 (z) + f1 (z) donde
∞
X
f−1 (z) = a−n (z − z0 )−n es analı́tica en r < |z − z0 |
n=1

∞
X
f1 (z) = an (z − z0 )n es analı́tica en |z − z0 | < R.
n=0

1
Teorema de Laurent
Sea f una función analı́tica en el anillo A(z0 , R1 , R2 ), y sea C cualquier contorno cerrado
simple alrededor de z0 , orientado positivamente y contenido en el anillo, (ver Figura 1).
Entonces, en todo punto z en ese anillo, f (z) admite la representación en serie
∞ ∞
X
n
X a−n
f (z) = an (z − z0 ) + , R1 < |z − z0 | < R2 ,
(z − z0 )n
n=0 n=1

donde los coeficientes vienen dados por la expresión integral

Z
1 f (z) dz
an = , n ∈ Z.
2πi C (z − z0 )n+1

Demostración: Para el lector interesado en su demostración ver ”Variable compleja y

sus aplicaciones”, Churchill, pag 199.

Figure 1: Gráfico del Teorema de Laurent

Consideraciones
1. El contorno C puede reemplazarse por cualquier cı́rculo {z : |z − z0 | = ρ} mientras
que R1 < ρ < R2 .

2. f−1 (z) = ∞
P −n y f (z) =
P∞ n
n=1 a−n (z − z0 ) 1 n=0 an (z − z0 ) se llaman parte principal
(o singular) y regular de f respectivamente.

3. Cuando f es analı́tica en z0 , el desarrollo de Laurent se transforma automáticamente

en el de Taylor.

4. Los coeficientes en una serie de Laurent generalmente se encuentran por medios

distintos a los del cálculo ditrecto mediante sus representaciones integrales. Esto se
ilustra en los siguientes ejemplos, donde siempre se supone que, cuando se especifica
el dominio anular, la serie Laurent para una función determinada es única.

2
Veamos algunos ejemplos para ilustrar su obtención.
1
1. Consideramos la función f (z) = e z . Como sabemos su dominio es C−{0} ya que
es composición de funciones continuas (y derivables) salvo el z0 = 0 que anula la
función fraccionaria del exponente. Si centramos el desarrollo en cualquier z0 6= 0
obtendremos una serie de Taylor que la representa, cuya región de convergencia será
un cı́rculo de radio: la distancia del punto al origen.
Ahora bien, si centramos la serie en el origen, estamos en las condiciones del Teorema
de Laurent en una región anular de la forma A(0, 0, ∞) = {z : 0 < |z − 0| < ∞}, es
decir:
∞
1 1 n
 
1 X
e =
z , si 0 < |z| < ∞.
n! z
n=0

P∞ 1 1 n
 
En este caso f−1 (z) = n=1 y f1 (z) = 1.
n! z
1
2. Consideremos la función f (z) = . Claramente en este caso el dominio
(z − 1)(z − 2)
de analiticidad es C−{1,2} . Separando este cociente en fracciones simples (queda para
el lector esta cuenta) resulta,
1 −1 1
= + .
(z − 1)(z − 2) (z − 1) (z − 2)

En el anillo A(0, 1, 2) = {z ∈ C : 1 < |z| < 2} tenemos los siguientes desarrollos:

1X 1 n
 
−1 −1
= =− , si |z| > 1 (∗)
(z − 1) z(1 − z1 ) z
n≥0
z

y por otro lado

 n
1 1 −1 X z 1 X zn
= z = =− , si |z| < 2. (∗∗)
(z − 2) 2( 2 − 1) 2 2 2 2n
n≥0 n≥0

Juntando (∗) y (∗∗) obtenemos en la región común a ambos desarrollos, es decir en

el anillo A(0, 1, 2),

1 X 1 n −1 X z n X −1 X zn
   
1
=− + = + − .
(z − 1)(z − 2) z z 2 2 zn 2n+1
n≥0 n≥0 n≥1 n≥0

P −1
Resulta entonces que las partes singular y regular son f−1 (z) = n≥1 n y f1 (z) =
z
P zn
n≥0 − n+1 , respectivamente.
2
En este ejemplo también se pueden considerar las coronas A(0, 2, ∞), A(1, 0, 1), A(2, 0, 1),
obteniéndose distintos desarrollos.
Cabe destacar que el desarrollo de Laurent es único una vez decidida su región de
convergencia.

3
 1
3. Consideremos la función f (z) = . Claramente en este caso el dominio de
z 2 (z − 1)
analiticidad es C−{0,1} .
Como
1 X
=− z n , |z| < 1,
(z − 1)
n≥0

en el anillo A(0, 0, 1) resulta,

1 X
n−2 1 1 X
f (z) = = − z = − − + (−1)z n , 0 < |z| < 1.
z 2 (z − 1) z2 z
n≥0 n≥0

1 1
Finalmente tenemos que su parte singular es , f−1 (z) = − 2 − y la regular
z z
f1 (z) = n≥0 (−1)z n .
P

1
4. Consideremos finalmente f (z) = en el anillo A(i, 0, ∞). La función ya es
(z − i)2
1
una potencia de (z − i), por lo tanto f−1 (z) = f (z) = y f1 (z) = 0.
(z − i)2

Definición
Diremos que z0 es una singularidad aislada de f si existe  > 0 tal que f es analı́tica en la
bola perforada B0 (z0 ) = {z : 0 < |z − z0 | < } y no lo es en z0 .

En la próxima clase veremos la clasificación de singularidades aisladas de una función

f usando su serie de Laurent alrededor de ella.