Nota: Las siguientes lneas son un resumen de las cuestiones que se han tratado en clase sobre

este tema. El desarrollo de todos los tpicos tratados est recogido en la bibliografa
recomendada en la Programacin de la asignatura.
Tema 8. Series de Laurent
8.1. Teorema de Laurent
8.2. Unicidad del desarrollo de Laurent
El Teorema de Laurent asegura que si una funcin, f(z), es analtica en una corona
circular R
1
< *z - z
0
* < R
2
entonces se puede escribir, en dicha corona, como una serie de
funciones donde los c
n
tienen la expresin descrita con anterioridad.
j
4
n'&4
c
n
(z&z
0
)
n
El objetivo que nos marcamos a continuacin es el recproco de ste, es decir, si una serie
de funciones define una funcin, f(z), en su campo de convergencia veremos que
j
4
n'&4
c
n
(z&z
0
)
n
dicho campo resulta ser una corona circular centrada en z
0
. Dentro de dicha corona, la serie
define una funcin, f(z), analtica y, adems, los coeficientes c
n
son, necesariamente
. c
n
'
1
2i
m

f (w)
(w&z
0
)
n&1
dw
Dicho con brevedad, el desarrollo en series de Laurent de una funcin de variable
compleja, si existe, es nico.
Teorema 8.1 de Laurent
Sea D = {z 0 C / R
1
< *z - z
0
* < R
2
} con 0 < R
1
< R
2
y una funcin, f(z), analtica en D.
Entonces, para cada z 0 D se verifica que
donde f (z) '
j
4
n'0
a
n
(z&z
0
)
n
%
j
4
n'1
b
n
(z&z
0
)
n
y a
n
'
1
2Bi
m
'
f (w)
(w&z
0
)
n%1
dw b
n
'
1
2Bi
m'
f (w)(w&z
0
)
n&1
dw
siendo ' cualquier circunferencia *z - z
0
* = R con R
1
< R < R
2
. Adems, la serie resultante
converge absoluta y uniformemente en todo subconjunto compacto contenido en D.
Veamos ahora que si una funcin es analtica en una corona circular, entonces se expresa
de forma nica por una serie de Laurent en ese conjunto.
De esta propiedad se infiere que para obtener el desarrollo en Series de Laurent de una
cierta funcin se puede proceder, al igual que dijimos para los desarrollos en Series de Taylor,
por otros procedimientos que no sean, necesariamente, el clculo de los coeficientes por las
frmulas que nos proporciona el Teorema de Laurent.
Por ejemplo, si conocemos el desarrollo en Series de Laurent de una cierta funcin, en
un recinto determinado, podemos conocer el de otras funciones obtenidas a partir de ella
mediante operaciones elementales que respeten las propiedades de la convergencia uniforme;
asimismo se podr, dentro del campo de convergencia, derivar o integrar series trmino a
trmino para obtener desarrollos de funciones derivadas o integrales de otra funcin, cuyo
desarrollo conozcamos.
Para ilustrar esto pongamos algunos ejemplos:
Ejemplo 8.1. Si para todo w0C con *w* < 1 es (serie geomtrica), desarrolle, en
j
4
n'0
w
n
'
1
1&w
potencias de "z", la funcin . f (z) '
2
(z&1)(z&3)
La funcin, f(z), es analtica en todo el plano complejo excepto los punto z=1 y z=3.
Puesto que se nos solicita desarrollar en potencias de "z", el Teorema de Laurent nos asegura que
los desarrollos que obtengamos han de ser vlidos en coronas circulares centradas en z
0
= 0
donde f(z) sea analtica.
En nuestro caso, las regiones mximas donde el desarrollo ser vlido son a) *z*<1; b)
1<*z*<3; c) *z* > 3.
Teorema 8.2.2 de unicidad del desarrollo de Laurent
Sea f(z) una funcin analtica en D = {z; R
1
< *z-z
0
* < R
2
} y, supongamos, que existen dos
series convergentes en D. Si para cada z0D es
j
4
n'0
a
n
(z&z
0
)
n
;
j
4
n'1
b
n
(z&z
0
)
n
, entonces se verifica que f (z) '
j
4
n'0
a
n
(z&z
0
)
n
%
j
4
n'1
b
n
(z&z
0
)
n
, donde ' es cualquier circunferencia a
n
'
1
2i
m

f (w)
(w&z
0
)
n%1
dw b
n
'
1
2i
m

f (w)(w&z
0
)
n&1
dw
centrada en z
0
y de radio, r, con R
1
< r < R
2
.
Proposicin 8.2.1
Sea la serie , dicha serie converge en un
j
4
n'&4
c
n
(z&z
0
)
n
'
j
4
n'0
a
n
(z&z
0
)
n
%
j
4
n'1
b
n
(z&z
0
)
n
subconjunto, A, de C que es una corona circular. Es decir, A = {z 0 C; R
1
< *z - z
0
* < R
2
}.
De otro lado, la funcin se puede descomponer en fracciones simples, siendo
. f (z) '
1
z&3
&
1
z&1
Por tanto,
a) En *z* < 1 podemos poner:
f(z) = &
1
3
1
1&
z
3
%
1
1&z
'&
1
3
j
4
n'0
(
z
3
)
n
%
j
4
n'0
z
n
'
j
4
n'0
(1&
1
3
n%1
)z
n
b) Si 1 < *z* < 3 entonces y sera: *
1
z
*<1, *
z
3
*<1
f (z) ' &
1
3
1
1&
z
3
&
1
z
1
1&
1
z
'&
1
3
j
4
n'0
(
z
3
)
n
&
1
z
j
4
n'0
(
1
z
)
n
c) Cuando *z* > 3 es y, de forma anloga, se obtiene que *
3
z
* < 1 ; *
1
z
* < 1
f (z) '
j
4
n'0
(3
n
&1)
1
z
n%1
Si en este ejemplo nos hubiesen pedido el desarrollo en potencias de z-1, entonces las coronas
de validez del desarrollo seran: a) 0<*z-1*<2; b) *z-1*>2 y, en ambos casos, hay que buscar
la serie geomtrica de razn adecuada respecto al factor (z-1), por ejemplo, al desarrollar si *z -
1* > 2 escribiremos
con y
1
z&3
'
1
z&1&2
'
1
z&1
1
1&
2
z&1
*
2
z&1
* < 1
= f (z) '
1
z&3
&
1
z&1
1
z&1
(
1
1&
2
z&1
&1)'
1
z&1
(
j
4
n'0
(
2
z&1
)
n
&1)'&
1
z&1
%
j
4
n'0
2
n
(z&1)
n&1
Ejemplo 8.2. El desarrollo en Series de Laurent de la funcin en potencias de "z" es e
1
z
que es vlido para *z*>0. f (z) ' e
1
z
'
j
4
n'0
1
n!
1
z
n
Dicho resultado se deduce de que para todo t . Por lo tanto, para *z*>0, e
t
'
j
4
n'0
t
n
n!
poniendo obtenemos lo especificado. t'
1
z
Se pueden utilizar mtodos, ya conocidos, como los de divisin inversa o coeficientes
indeterminados en los casos que sean posibles.