6.

Series

Sucesiones
Veamos un ejemplo de sucesin compleja: {1 + in}:
1 i ,

0,

1 i ,

2,

1 i ,

n 1, n 2 , n 3 , n 4 , n 5 ,

Si limnzn = L,
decimos que la
sucesin es
convergente.
2

 i n1
Otro ejemplo: la sucesin

converge.

i n1
lim n
0
n
3

Lmite de una sucesin

Una sucesin {zn} de nmeros complejos zn = xn + iyn
converge a c = a + i b sii la sucesin de partes reales {xn}
converge a a y la sucesin de partes imaginarias {yn}
converge a b.
y

Demostracin ( ):
Si |zn-c| < , con zn = xn + iyn

entonces dentro de un crculo

de radio , para c = a + i b
se cumple que:
|xn-a| < , |yn-b| <
Por tanto la convergencia zn c
implica que xn a , yn b.

b+

zn
b

b-
a-

a+

Demostracin ():
Igualmente, si xn a y yn b cuando n , entonces para
un >0 dado, podemos hallar un N suficientemente grande tal
que para n> N se cumpla que:
|xn-a| < /2, |yn-b| < /2
b+

con lo que zn= xn+iyn estar

b+/2
contenido en un cuadrado de
b
centro c y lado .
De modo que zn estar contenido b-/2
b-
en un crculo de radio y
centro c.

y
zn
c

a-
a-/2

a+
a+/2

x
5

Diremos que una sucesin {zn} es convergente sii:

lim zn = c. Una sucesin divergente significa que no converge.
n

Ejemplos:
(1) La sucesin {in/n} = {i, -1/2, -i/3, 1/4,......} es convergente
y lmite es 0.
(2) La sucesin {in} = {i, -1, -i, 1,....} es divergente.
(3) La sucesin {zn} con zn= (1+i)n es divergente.
{zn} = { 1+i, 2i, -2+2i, -4, -4-4i,....}
(4) La sucesin {zn} con zn= 2-1/n + i(1+2/n) es convergente.
{zn} = { 1+3i, 3/2+2i, 5/3+5i/3, 7/4+3i/2,....}
El lmite cuando n es c = 2+i
(y |zn-c| = |-1/n+2i/n| = 5/n < si n > 5/)
6

ni
La sucesin

n 2i

converge a i. Observa que

Re(i) = 0 y Im(i) = 1. Entonces:

ni
2n
n2
zn
2
i 2
n 2i n 4 n 4
2n
n2
Re( z n ) 2
0, Im( z n ) 2
1
n 4
n 4
cuando n .
8

Igual que hemos hecho mencin a la parte real

e imaginaria para la convergencia de la sucesin,
podemos hablar del mdulo y el argumento. As:

Sea

Si

zn n e

i n

,donde

lim n 0
n

lim n 0
n

,entonces

n | z n | n Arg z n
lim z n 0 e

i 0

z n :

Sea por ejemplo la sucesin de trminos:

El mdulo
converge a:

z
lim | z n | lim 1
n
n
n

lim
n

Y el argumento a:

x
y
1 2
n
n
2

x y 2 xn
lim 1

2
n
n

z
1 .
n

n/2

n/2

ex.

z
z

lim n lim Arg z n lim Arg 1 lim n Arg 1

n
n
n
n
n
n

y
lim n arctan n lim n arctan
y.
n
n x
1 x n

Por tanto la sucesin

converge a:

z
lim 1
n
n

e x e iy e x iy e z .

10

Series
Dada una sucesin {zn}, una serie infinita o serie se puede
formar a partir de una suma infinita:

z
n 1

z1 z 2 z3 ...

Los z1, z2, ..... son denominados trminos de la serie.

La sucesin de sumas:
s1 = z1
s2 = z1 + z2
s3 = z1 + z2 + z3
........
sn = z1 + z2 +....zn
es la sucesin de sumas parciales de la serie infinita.

11

Series convergentes
Una serie convergente es aquella tal que la sucesin de
sumas parciales converge, i.e.:

lim sn s
n

donde s es la suma o valor de la serie y se expresa:

s z n z1 z 2 ...
n 1

Una serie divergente es aquella que no converge.

Llamaremos resto Rnde la serie a:

Rn z n 1 z n 2 z n 3

Si la serie converge y suma s, entonces

s sn Rn

Rn s sn

y lim Rn 0
n

12

Ejercicios: Demostrar que

(1) Una serie con zm= xm+iym converge con suma s = u+iv
sii
u = x1+x2+..... converge y v = y1+y2+..... converge.
zm 0
(2) Si una serie z1+ z2 +.... converge, entonces mlim

En caso contrario, la serie diverge.

(3) Que {zm} 0 es condicin necesaria para la convergencia,

pero no suficiente.
Recuerda que para la serie harmnica 1+ +1/3 +...
el trmino 1/n 0 cuando n tiende a infinito, pero la
serie diverge.
13

Serie geomtrica
Para la serie geomtrica:

k 1
2
n 1
az

az

az

az

k 1

el trmino ensimo de la sucesin de sumas parciales es:

S n a az az 2 ... az n 1

a (1 z n )

1 z

Observa que zn 0 cuando n para |z| < 1, en cuyo casi

Sn converge a a/(1 z). La serie diverge para |z| 1.
14

Ejemplo:

(1 2i ) k (1 2i ) (1 2i ) 2 (1 2i )3
5k 5 52 53 ...
k 1

es una serie geomtrica con a = (1 + 2i)/5 y

z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:
1 2i

(1 2i ) k
i
5
5k 1 2i 2
k 1
1
5
15

16

Teorema de Cauchy para series.

Una serie z1+ z2 +.... es convergente sii dado cualquier >0
podemos hallar un N tal que |zn+1+zn+2+...+zn+p| < para todo
n > N y p =1, 2...
Convergencia absoluta.
Una serie z1+ z2 +... es absolutamente convergente si la serie de
los valores absolutos de sus trminos

|zm| = |z1| + |z2| + ......

m=1

es convergente. Si z1+ z2 +... converge pero |z1|+ |z2| +.... diverge,

la serie z1+z2.... es condicionalmente convergente.
Si una serie es absolutamente convergente es convergente
Ejemplo: La serie 1- 1/2+ 1/3- +... converge condicionalmente. 17

ik
Es la serie 2 convergente?
k 1 k

Es absolutamente convergente, puesto que

|ik/k2| = 1/k2 y la serie real

1

k2
k 1

es convergente.
De modo que la serie original es convergente.

18

Comparacin de series:
Si dada una serie dada z1+ z2+ ... , podemos hallar una serie
convergente b1+ b2+ ... con trminos reales no negativos tal que
|zn| bn para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.
(Ejercicio: demostrarlo)

Criterio del cociente:

Si una serie z1+ z2+ .... con zn0 (n = 1, 2, ...) cumple que
|zn+1/zn| q < 1 ( n > N, con un q dado para cualquier N)
la serie converge absolutamente. En cambio si
|zn+1/zn| 1 ( n > N) la serie diverge.

(Ejercicio: demostrarlo)
19

Si tenemos una serie z1+ z2 +.... con z n 0 (n = 1, 2, ..) tal que

z n 1
limEntonces se
L cumple que:
n z
n
a) Si L < 1 la serie converge absolutamente.
b) Si L > 1 diverge.
c) Si L = 1 no sabe, no contesta.
(Ejercicio: demostrarlo)

(100 75i ) n
(100 75i ) 2
Dado
S
1 (100 75i )

n!
2!
0
Es S convergente o divergente?

n 1!
100 75i
100 75i
z n 1
125
lim
lim
lim
lim
0
n
n z
n
n
n n 1
n 1
100 75i n!
n
n 1

Converge.

20

Criterio de la raz:
Si una serie z1+ z2 + ... cumple que para todo n > N
n

|zn| q < 1

(n < N)

donde q<1 est fijado, la serie converge absolutamente. Si para

infinitos n se cumple que:
n|z | 1
, la serie diverge.
n

Entonces, si una serie z1+z2+... cumple que para todo n > N

lim n|zn| = L
n

entonces:
a) Si L < 1 la serie converge absolutamente
b) Si L > 1 diverge
c) Si L = 1 no podemos extraer conclusiones

21

 (1) n
1 1
1
n
4 i (4 i ) (4 i ) 2
S 2 n
3
4 7
19
0 2

Dado

Es S convergente?

(4 i ) n

lim (4 i ) lim 17 17
n
n
n 2 2 n 3
n n
n n
4
4

3
4

Como el lmite es mayor que 1, la serie diverge.

lim n

Ejercicio: demostrar que

La serie geomtrica

m
2
q

m 0

converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.
22

23

24

25

La funcin zeta (s)

1
1 1 1
( x) x 1 x x x ... ( x 1)
2 3 4
n 1 n
s 1

Euler la llam funcin zeta

en 1737. Consider que s
era un real mayor que 1.

1
( 2) 2
6
n 1 n

26

1
1 1 1
( x) x 1 x x x ... ( x 1)
2 3 4
n 1 n

1
1
1 1 1
1
( x) x x x x x ...
x
2
2
4 6 8 10
1
1
1 1 1 1

( x) x ( x) 1 x ( x) 1 x x x x ...
2
2
3 5 7 9

Repitamos la operacin para el siguiente primo: 3.

27

1
1
1 1
1
1
1
1 x ( x) x x x x x ...
x
3
2
3 9 15 21 27
1
1
1
1
1

1 x ( x) x 1 x ( x) 1 x 1 x ( x)
2
3
2
2
3

1 1
1
1

1
1 x x x x ...
1 x ( x) 1
5 7 11 13
p
p primo

1
1
( x) x 1 x
p
n 1 n
p primo

Producto de Euler para la funcin zeta.

Euler utiliz esta identidad

para demostrar que

p prime

i.e., existen infinitos primos.

28

Retomemos nuestro hilo...

Series de Taylor en variable real:
1
1 x x 2 x 3 ... , x 1
1 x
2
3
x
x
ln(1 x) x ... , x 1
2 3
1
2
4

x
... , x 1
2
1 x

Es fcil ver
por qu el
radio de
convergencia es
|x|<1.

Pero, en este caso:

cul es el motivo?
29

Podemos expandir cualquier funcin compleja

en series?
Podemos expandir funciones analticas en unas
series especiales llamadas series de potencias
Cmo hallar esas series ?
(1) Usando el Teorema de Taylor
(2) Usando otras series conocidas
(y algunos trucos)
30

Serie de potencias
Una serie de potencias en ( z zo )
es:

a (z z )
n 0

ao a1 ( z zo ) a2 ( z zo )

centro de
desarrollo

coeficientes complejos

P.ej.

1
1
n
2
( z i) 1 ( z i) ( z i)

2
n 0 n!
31

Convergencia de series de potencias

Las series de potencias en general convergen para algunos
valores de z, y para otros.
Por ejemplo la serie

n
2
3
z

n 0

(Serie
geomtrica)

converge para |z |<1, pero diverge para |z |1.

Radio de
convergencia
R =1

Fuera del crculo de

convergencia la serie
de potencias diverge.
Crculo de convergencia:
mayor crculo centrado
en z0 en el que la serie de
potencias converge.

32

Ejemplos:

Radio de convergencia
infinito; R =

1 n
z2 z3
z 1 z

2! 3!
n 0 n!
La serie converge para todo z

Radio de convergencia cero;

R=0

n
2
3
n
!
z

2
!
z

3
!
z

n 0

La serie diverge para todo z (excepto z = 0)

33

a (z z )
n 0

ao a1 ( z zo ) a2 ( z zo )
2

(1) La serie de potencias siempre converge para z = zo

(2) Hay un radio de convergencia R para el cual:

zo

z zo R : diverge
z zo R : converge
Los valores z tq. z zo R pueden converger o no
34

En resumen:
El radio de convergencia R puede ser:
(i) cero (converge solo en z = z0).
(ii) un nmero finito R (converge en todos los puntos del
crculo |z z0| < R).
(iii) (converge para todo z).
La serie de potencias puede converger en algunos, todos o
ninguno de los puntos de la circunferencia de convergencia.
Hay que determinarlo por separado.

35

Hay una forma rpida para hallar el radio de convergencia?

La frmula de Cauchy-Hadamard :

an 1 1
lim

n a
R
n
(i)

(ii)
(iii)

lim

a n 1

lim

an

L 0,

R = 1/L.

R es .

a n1

lim

an

a n 1
an

R = 0.

36

Ejemplo:

( 2n )!
n
2
(
z

3
i
)

2
(
z

3
i
)

6
(
z

3
i
)

2
n 0 ( n! )
an 1

2(n 1) ! (n!) 2
(2n 2)(2n 1)
1
lim
lim
lim
4
2
2
n a
n ( n 1)! ( 2n)!
n
(n 1)
R
n
1
R
4

37

( 2n )!
n
2
(
z

3
i
)

2
(
z

3
i
)

6
(
z

3
i
)

2
n 0 ( n! )

z 3i 1 / 4 : converge
zo 3i

z 3i 1 / 4 : diverge
38

Ejemplo:

( z 4i )

1 ( z 4i ) ( z 4i )
2

n 0

an 1
1
1
lim
lim 1
n a
n 1
R
n

R 1

zo 4i

z 4i 1 : diverge
z 4i 1 : converge
39

Ejemplo:

n
n
2
2
ne
(
z

1
)

e
(
z

1
)

2
e
(
z

1
)

n 0

an 1
(n 1)e n 1
n 1
1
lim
lim
lim e
e
n
n a
n
n
ne
n
R
n

R 1/ e
zo 1

z 1 1 / e : diverge
z 1 1 / e : converge
40

Otro ejemplo:

(1) k ( z 1 i ) k

k!
k 1

(1) n 2
n 1
(1)
1
(n 1)!
an
, lim
lim
0
n

1
n ( 1)
n n 1
n!
n!

El radio de convergencia es .

41

Recuerda adems que todo lo dicho para series,

evidentemente funciona para series de potencias.
Por ejemplo:
lim n zn 1

(1) Si

la serie diverge.

lim z n 0 z n la serie diverge.

(2) Si

n 0

(3) Comparar:

z
n 0

(4) Si

converge si z n bn y

z n 1
lim
1
n z
n

b
n 0

converge

la serie diverge.
42

6k 1 ( z 2i ) k
2k 5
k 1
n

6n 1
6
n

n a lim
an
3
, nlim
n

n 2 n 5
2n 5
El test de la raz nos muestra que R = 1/3. El
crculo de convergencia es |z 2i| = 1/3.
La serie converge absolutamente para:
|z 2i| < 1/3.
43

Resumen y varios comentarios interesantes:

(Observa que para nosotros era: R

En el punto iv se resuelve el enigma)

an 1
lim
n a
n

44

45

46

47

Series de Taylor

48

49

50

Series de potencias y funciones analticas

Cualquier funcin analtica f (z) puede ser representada por una
serie de potencias con radio de convergencia R 0. La funcin
representada por la serie es analtica en todo punto dentro del
radio de convergencia.

Ejemplo:

1
f ( z)
1 z

z 1 z z z
n

n 0

la serie converge para |z|1

Radio de convergencia R = 1
51

Cmo encontrar la serie de potencias de una funcin

analtica determinada?
A las series de potencias que representan funciones
analticas f (z) se les llama series de Taylor.
Vienen dadas por la frmula:

f ( z ) an ( z z o ) ,
n 0

1 (n)
an f ( z o )
n!

(Cauchy, 1831)
52

Desarrollar f(z)=sin z alrededor de z0=0 (serie de Mclaurin):

f ( 0 ) ( z ) sin z
f (1) ( z ) cos z
f ( 2) ( z ) sin z
f ( 3) ( z ) cos z

f ( 4) ( z ) sin z
f (5) ( z ) cos z

f ( 0 ) ( 0) 0
f (1) (0) 1
f ( 2 ) ( 0) 0
f (3) (0) 1

f ( 4 ) (0) 0
f ( 5 ) ( 0) 1

f ( 0) 0
( 2 k 1)
k
f
(0) (1)
(2k )

sin z
k 0

f ( n ) (0) n f ( 2 k ) (0) 2 k f ( 2 k 1) (0) 2 k 1

z
z
z
n!
k 0 ( 2k )!
k 0 ( 2k 1)!

(1) k 2 k 1
sin z
z
k 0 ( 2k 1)!

53

Demostracin del teorema de Taylor:

y

r1

Por la frmula integral de Cauchy:

r0

z0

C0

C1

1
f ( )
f (z )
d

2 i C1 z
x Vamos a desarrollar el integrando:

1
1
1
1

z
z ( z0 ) ( z z0 ) z0 1
0
z0

z z0
z z0
1

1
...

z0
z0
z0

z z0

N 1
z0

z z0
1
z0

54

N
f
(

)(
z

z
)
f ( )
f ( )
f ( )
f ( )
N 1
0

(
z

z
)

...

(
z

z
)

0
0
z z0 ( z0 ) 2
( z0 ) N
( z )( z0 ) N

f (z )

1
f ( )
d

2 i C1 z

f
(

)(
z

z
)
1 f ( )
f ( )
f ( )
N 1
0

( z z0 ) ...
( z z0 )
d

2
N
N

2 i C1 z0 ( z0 )
( z0 )
( z )( z0 )

f ( N 1) ( z0 )
f ( z ) f ( z0 ) f ' ( z0 )( z z0 ) ...
( z z0 ) N 1 RN ( z )
( N 1)!

Utilizando la frmula generalizada de Cauchy:

n!
f ( )
(n)
f ( z0 )
d
n 1

2i C z0

55

Donde hemos definido el residuo Rn:

1
f ( )( z z0 )
RN ( z )
d
N

2 i C1 ( z )( z0 )
N

Observemos que:

| z z0 | r ; | z0 | r1 r ; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
sobre C1:

r
M 2r1
Mr1 r

RN ( z )

N
2 (r1 r )r1
(r1 r ) r1
N

Y puesto que r/r1 < 1, el lmite cuando N tiende a infinito

del residuo es cero. De modo que para cada z interior a C0,
la serie de Taylor converge a f(z).

56

Brook Taylor
(1685-1731)

En 1715 agregaba a las matemtic

una nueva rama llamada ahora El
clculo de lasdiferencias finitas
,
e invent la
integracin por
partes. Descubri la clebre
frmula conocida como la
serie de
Taylor.

Taylor tambin desarroll los

principios fundamentales de la
perspectiva(1715).

James Gregory (1638 1675)

descubri las series de Taylor
40 aos antes que Taylor ...
57

Ejemplo:

Encontrar la serie de Taylor para

1
f ( z)
1 z

1
1
2
3!
f ( z)
, f ( z )
, f ( z )
, f ( z )
2
3
1 z
1 z
1 z
1 z 4

(1) Tomemos centro z = 0 :

1
an z n
1 z n 0

n 0

f ( n ) (0) n
z
n!

zo 0

z 1

zn
n 0

1 z z2 z3

centro

f ( 0) 1
f (0) 1
f (0) 2
f (0) 3!

punto singular

R 1

58

1
1
2
3!
f ( z)
, f ( z )
, f ( z )
, f ( z )
2
3
1 z
1 z
1 z
1 z 4

(2) Tomemos centro z =1/2 :

zo

1
1 n
an z 2
1 z n 0

n 0

z 1

f ( n ) ( 12 )
1 n
z 2
n!

2
n 0

1
2

n 1

2 4 z

centro

1 n
2

1
2

8 z

1 2
2

16 z

1 3
2

f ( 12 ) 2
f ( 12 ) 2 2
f ( 12 ) 2.23
f ( 12 ) 3!2 4
punto singular

1
2

59

Una funcin analtica f (z) puede ser representada

mediante series de potencias con distintos centros zo
(aunque hay nicamente una serie para cada centro).
1
1 z z2 z3
1 z

zo 0

z 1

1
2
3
2 4 z 12 8 z 12 16 z 12
1 z
zo

1
2

z 1

Hay por lo menos un punto singular en la

circunferencia de convergencia

60

f ( z) e

Ejemplo:

con centro z = 0

f ( z ) e z , f ( z ) e z , f ( z ) e z , f ( z ) e z

e an z
z

f ( 0) 1
f (0) 1

n 0

(n)

n 0

( 0) n
z
n!

zo 0

f (0) 1
f (0) 1

zn

n 0 n!
z2 z3
1 z
2 3!

R
centro

no hay puntos singulares!

61

Unicidad del desarrollo de Taylor

Supongamos que f(z) es analtica y desarrollable alrededor
1 (n)
n
de z0 , tq:
f ( z ) an ( z z o ) ,
an f ( z o )
n!

n 0

Existir otra serie

de potencias: f ( z ) bn ( z zo ) n , con bn an?
n 0

f ' ( z ) b1 2b2 ( z zo ) 3b3 ( z zo ) 2 ... Tomando z = z en las

0
f ' ' ( z ) 2b2 3 2 b3 ( z zo ) ...

expresiones anteriores:

f ( z0 ) b0

f ( n ) ( z0 ) n!b2 ;

f ' ( z0 ) b1
f ' ' ( z0 ) 2b2 ;

f ' ' ( z0 )
b2
2

f ( n ) ( z0 )
bn
n!

n 0,1, 2, ...
Son los mismos coeficientes del
desarrollo de Taylor
62

Derivar la serie de Taylor directamente a partir

de la frmula

1 (n)
n
f ( z ) an ( z z o ) , an f ( z o )
n!
n0
puede ser complicado.
Normalmente se usan otros mtodos:
(1) La serie geomtrica
(2) La serie binomial

1
z n 1 z z 2 z3
1 z n 0

1
m(m 1) 2 m(m 1)(m 2) 3
n m 1 n
n
z 1 mz
1
z
z
m
n
(1 z )
2!
3!
n 0

(3) Otras series conocidas como la exponencial, el coseno, etc.

2 n 1
3
5
z
z
z
sin z (1) n
z
(2n 1)!
3! 5!
n 0

63

1
Ejemplo: Expandir f ( z )
2 para z = 0
1 z
(usar la serie geomtrica)
Primero dibujamos el centro y los puntos singulares
de f(z) para hacernos una idea:
puntos singulares:

z i , i

Parece que el radio de convergencia es R=1.

centro

64

Sabemos que

Por tanto

1
1 z z2 z3
1 z

1
1
2
4
6

2
2
1 z
1 ( z )

La serie geomtrica converge para |z|<1

por tanto nuestra serie converge para |z|2 <1
O lo que es lo mismo: para |z|<1. Y efectivamente el radio
de convergencia es R = 1 como habamos predicho.
65

1
para z = 1
Ejemplo: Expandir f ( z )
3 2z
(usar la serie geomtrica)
De nuevo dibujamos el centro y los puntos singulares
de f(z):
centro z = 1
puntos singulares:

z 3/ 2
Parece que el radio de convergencia es R = 1/2

66

Sabemos que

por tanto

1
1 z z2 z3
1 z

1
1

1 2( z 1) 4( z 1) 2
3 2 z 1 2( z 1)

La serie geomtrica converge para |z |<1,

por tanto nuestra serie converge para |2(z-1)|<1
es decir, para |z -1| < 1/2.
67

Encuentra la serie de Maclaurin de la funcin:

f ( z)

z
z
1

z 4 9 9 1 ( z 4 / 9)

z
1
f ( n ) ( 0) n
f ( z)

z
4
9 1 ( z / 9) n 0 n!

1
2
3
1 w w w ... (1) n wn
1 w
n 0
2

z4
n z 4
1
z z4

... (1)

1
4
1 ( z / 9)
9 9
n 0
9
9
4

4
z/9
n z z

(1)
4
1 ( z / 9) n 0
9 9

(1) n 4 n 1
n 1 z
n 0 9

68

1
Ejemplo: Expandir f ( z )
2
(1 z )

para z = 0

(Usar la serie binomial)

Centro y puntos singulares R = 1:
Punto singular:
Centro z = 0

z 1

69

La serie binomial es:

1
n m 1 n
n

1
z

n
(1 z )
n 0

Por tanto:

m(m 1) 2 m(m 1)(m 2) 3

1 mz
z
z
2!
3!

1
1
2
3

2
z

3
z

4
z

2
2
(1 z )
[1 ( z )]
(1 z ) m es singular en z =
-1

La serie binomial converge para |z |< 1

Por tanto nuestra serie converge para |-z |<1

Es decir |z |< 1.
70

Ejemplo:

2 z 15 z 34
Expandir f ( z )
en z = 0
2
( z 4) ( z 2)
2

Puntos singulares:

z 4, 2
Centro z = 0
el radio de convergencia
debera ser R = 2.
71

Usaremos fracciones parciales:

2 z 2 15 z 34
A
B
C
f ( z)

2
2
( z 4) ( z 2) ( z 4)
( z 4) z 2

2 z 2 15 z 34 A( z 2) B ( z 4)( z 2) C ( z 4) 2

1
2
f ( z)

2
( z 4)
z2
Ahora
1
1
1

2
2
2
( z 4)
(4 z )
4 [1 ( z / 4)]2
2
3

1
z z
z
1 2 3 4
16
4 4

converge para z / 4 1 z 4

72

2
2
1

z2
2 z
1 ( z / 2)

z z
z
1
2 2

converge para z / 2 1 z 2

As que
f ( z)

1
2

( z 4) 2 z 2

1
z
z
z
z z
z
2 2 3 3 4 4 5 1
4
4
4
2 2

2
4

17 15
z
16 32

converge para z 2
73

1
1
z
z2
z3

2 2 3 3 4 4 5
2
( z 4)
4
4
4
4

Converge para
|z|<4.

Para:
1
2
2

z 4 z2

Converge para
|z|<2
2

2
z z
z
1
z2
2 2
2

hay convergencia
en el rea comn
74

Otras series tiles (Ejercicio: demostrar por la frmula de Taylor)

z3 z5
sin z z
3! 5!
2
4
z
z
cos z 1
2! 4!
2
3
z
z
z
e 1 z
2! 3!
3
5
z
z
sinh z z
3! 5!
z2 z4
cosh z 1
2! 4!
z2 z3
Ln(1 z ) z
2 3

z
z
z
z
z
z 1
75

Ejemplo:

(de uso de series conocidas)

Expandir f ( z ) sin 2 z 2 en z = 0
no hay puntos singularesel radio de convergencia
debera ser R = .
Usando la serie

z3 z5
sin z z
3! 5!

f ( z ) sin 2 z 2
2 3
2 5
(
2
z
)
(
2
z
)
2
2z

3!
5!

76

n
(
z

1
)
ez e
n!
n 0

Ejemplo:

f ( z ) an ( z z o ) ,
n

n 0

(| z 1 | )

1 (n)
an f ( z o )
n!

f ( 0) ( z ) e z f ( 0) (1) e
f (1) ( z ) e z f (1) (1) e

e
z

n 0

(1)
e
( z 1)
n
n
( z 1) ( z 1) e
n!
n!
n 0 n!
n 0

(n)

77

De otra manera:

e ee
z

z 1

n
z
z
e
(| z | )
n 0 n!

(| z 1 | )

z
e
n 0 n!
z

n
(
z

1
)
e z 1
n!
n 0

e ee
z

z 1

( z 1)
e
n!
n 0

n
78

En algunos casos excepcionales, un punto singular puede incluso

aparecer dentro del crculo de convergencia.

Ln z an ( z 1 i ) n

Centro zo 1 i

n 0

ao Ln (1 i )
(1) n 1
an
n(1 i ) n
an 1
(1) n 2 n( 1 i ) n
lim
lim
n a
n ( n 1)( 1 i ) n 1 ( 1) n 1
n

z0
Lnz

1
1

1 i
2

Recordemos que el Ln z es singular (no analtico)

sobre el eje negativo.

R 2

79

80

81

82

83

84

85

86

87

Una serie de potencias

k 0 ak ( z z0 )

puede diferenciarse trmino a trmino en cu crculo de

convergencia

| z z0 | R

88

f ( z ) ak ( z z0 ) k a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 ) 3
k 0

f ( z ) kak ( z z0 ) k 1 a1 2a2 ( z z0 ) 3a3 ( z z0 ) 2

k 1

f ( z ) k (k 1)ak ( z z0 ) k 2 2 1a2 3 2a3 ( z z0 )

k 2

f ( z ) k (k 1)(k 2)ak ( z z0 ) k 3 3 2 1a3

k 3

f ( z0 ) a0 , f ' ( z0 ) 1!a1 , f " ( z0 ) 2!a2 ,...

an

(n)

( z0 )
,
n!

n0

f ( z)

k 0

(n)

( z0 ) n!an

f ( k ) ( z0 )
k
( z z0 )
k!
89

Ejercicio: Obtener el desarrollo de Taylor de la funcin

f(z) = 1/z alrededor de z0 = 1.

Respuesta: f ( z ) (1) ( z 1) con | z 1 | 1

n

n 0

Ejercicio: Diferenciando la serie anterior obtener el

desarrollo de Taylor de la funcin g(z) = 1/z2 alrededor
de z0 = 1.
1
1
f ( z ) ; f ' ( z ) 2 g ( z ); g ( z ) f ' ( z )
z
z

g ( z ) f ' ( z ) (1) n n( z 1) n 1
n 1

n 1

n 0

n 1
n 1
n
n
(

1
)
n
(
z

1
)

1
)
(
n

1
)(
z

1
)
; con | z 1 | 1

90

1
1
1
1
2

(
z

2
i
)

(
z

2
i
)
...
2
3
1 z 1 2i (1 2i )
(1 2i )

1
1 z z 2 z 3 ...
1 z

91

Ejercicio: Obtener la serie de Maclaurin de la funcin

seno integral (se trata de una funcin que aparece con
frecuencia en problemas de radiacin electromagntica
y que no es posible evaluar en trminos de funciones
elementales):
z
sin( )
Si( z ) f ( ) d con f ( )
; si 0

y f (0) 1;

si

Observa que la serie de Taylor

sin converge tambin para 0.
3! 5! 5!
sin
2 4 6
1

3! 5! 7!
3

92

Integrando la serie trmino a trmino:

Si( z )

sin

d 1d
d
d
d
0
0 3!
0 5!
0 7!

z
z
z
z

...
3 3! 5 5! 7 7!

(1) n
Si( z )
z 2 n 1
n 0 ( 2n 1)( 2n 1)!

93

94

95

96

Multiplicacin de series
Podemos multiplicar dos series de potencias trmino a
trmino,
y recolectar los trminos con igual potencia para determinar
una nueva serie de potencias, el producto de Cauchy de las
dos series:
f ( z ) ak z k a0 a1 z a2 z 2 ...
k 0

g ( z ) bm z m b0 b1 z b2 z 2 ...
m 0

m
a
z
b
z

k
m
k 0
m 0

a0b0 (a0b1 a1b0 )z (a0b2 a1b1 a2b0 )z 2 ...

f ( z) g ( z)

(a b
0

n 0

n 0

k 0

k
m

a
b

....

a
b
)z

c
z
; donde cn ak bn k

n
1 n-1
n 0
n

97

Ejemplo: Obtener mediante el producto de series, el

desarrollo de Maclaurin de f(z) = ez /(1-z).

1
z n 1 z z 2 z 3 ; | z | 1
1 z n 0

z
z
z
e 1 z ; | z |
2! 3!
n 0 n!
z

ez
z 2 z3
f ( z)
1 z 1 z z 2 z 3
1 z
2! 3!

1 2
1 1 3

1 (1 1) z 1 1 z 1 1 z ...
2!
2! 3!

n 1 n
z Para |z| < 1, la condicin ms fuerte de las dos.

n 0 m 1 m!
98

99

100

101

102

103

104

105

De hecho, podemos definir las funciones

elementales a partir de series de potencias.
Por ejemplo:

106

Como hemos visto podemos expandir una funcin analtica

en serie de Taylor alrededor de un centro. Por ejemplo,

1
2
3
1 z z z
1 z
Podemos expandir la misma funcin
respecto a distintos centros. Por ejemplo:

1
1
1 2
2 4 z 2 8 z 2
1 z

zo 0

zo

1
2

Notemos que (a) siempre tenemos potencias positivas de (z-z0).

(b) la serie converge dentro de un disco.

107

Pero hay otro tipo de series que:

(a) incluyen potencias negativas de (z-z0)
(b) convergen dentro de un anillo
Tales series se llaman series de Laurent.
Ejemplo
2z 3
1 1 1 z z2
2
2
z 3z 2
z
z 2 4 8
Converge para 1<|z|<2
Puntos singulares en z = 1, 2

Centro
108

Recordatorio:
Singularidades aisladas
Supongamos que z = z0 es una singularidad de
una funcin compleja f. El punto z0 se llama
singularidad aislada si existe un disco
puntuado abierto 0 < |z z0| < R en el que la
funcin es analtica.

109

La serie de Laurent siempre converge dentro de un anillo.

Si tomamos una funcin y dibujamos sus puntos singulares,
podremos separar el plano complejo en distintas regiones de
convergencia.
1
Ejemplo
f ( z)
1 z
centro

centro
Dentro del disco |z|<1 tenemos la
serie de Taylor:

1
1 z z2 z3
1 z

En el anillo 1< |z| <

tenemos la serie de Laurent:

1
1 1 1
2 3
1 z
z z
z
110

Por supuesto, podemos tener

distintos centros ...

centro
Dentro de un disco |z+1| < 2
tenemos la serie de Taylor.

1
1 z 1 ( z 1) 2

1 z 2
4
8

1
f ( z)
1 z

centro
En el anillo 2< |z+1|<
tenemos la serie de Laurent.
1
1
2
4

2
3
1 z
z 1 ( z 1) ( z 1)
111

El centro podra ser, incluso, el punto singular ...

1
f ( z)
1 z

centro z0=1

En este caso, la serie es vlida

para 0< |z-1|< , un disco con
el punto singular z0=1 situado en
el centro.

En este caso, la serie est formada por un nico trmino

1
1 z
112

La funcin f(z) = (sin z)/z3 es no analtica en z = 0 y no

podemos expandirla como serie de Maclaurin. Sabemos que:

z3 z5 z7
z z ...
converge para todo z. Assin
que:
3! 5! 7!

converger para todosin

z excepto
z 1 z=
1 0, z02< |z|.
z4
f ( z) 3 2
3! 5! 7!
z
z

113

Ejemplo
Cuntas series con centro z0 = 1/4 puede tener la funcin
sin z
?
La funcin presenta dos singularidades
2
z z2
(polos simples), en z = -1, 2.

| z-1/4 | < 5/4

5/4 < | z-1/4 | < 7/4

7/4 < | z-1/4 | <

El anillo siempre est entre los puntos singulares.

114

Ejemplo

e z
Cuntas series con centro z0 = 0 tiene la funcin
( z 2) 2

La funcin presenta una singularidad

(polo de segundo orden) en z = 2.

|z| < 2

2 < |z| <

115

Ejemplo

Centro z = 2 para:

3
( z i )( z 1)( z 4)

Tres singularidades (polos simples): z = -i, 1, 4.

| z-2 | <1

1< | z-2 | <2

2 z2 5

5 z2
116

Cmo hallar la serie de Laurent? Teorema de Laurent:

Supongamos que la funcin f(z) es analtica en un anillo de
centro z0, r0< |z - z0| < r1. Entonces f(z) admite representacin
en serie de Laurent:
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 ) 3
b3
b1
b2
b4

2
3
4
z z0 ( z z0 )
( z z0 ) ( z z0 )
donde
1
f ( z)
an
dz , n 0,1, 2, ...
n 1

2 i C ( z z0 )
1
n 1
bn
f
(
z
)(
z

z
)
dz , n 0,1, 2, ...
0

2 i C

Cunto valen los bns cuando

f(z) es analtica en |z-z0| < r1?

r0

r1 C

Pierre Alphonse Laurent (1843)117

Demostracin del teorema de Laurent:

Por la frmula integral de Cauchy para un

dominio doblemente conexo:

r1
r0

z0

C0

1
f ( )
1
f ( )
f (z )
d
d

2 i C1 z
2 i C0 z

C1
x

f ( )( z z0 ) N
f ( )
f ( )
f ( )
f ( )
N 1

( z z0 ) ...
( z z0 )
2
N
z z0 ( z0 )
( z0 )
( z )( z0 ) N

118

1
1
1
1

z
z ( z z0 ) ( z0 ) z z0 1
0
z z0

z0

N 1
z z0

z0
1
z z0

z0
z0
1

...

z z0
z z0
z z0

1
1
1
1
1
( z0 ) N 1

...

1
2
1 N
N
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z

f ( ) f ( )
f ( )
1
f ( )
1
( z0 ) N f ( )

...

1
2
1 N
N
z
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z

119

1
f ( )
1
f ( )
f (z )
d
d

2 i C1 z
2 i C0 z
1 f ( )
f ( )
f ( )
f ( )( z z0 ) N
N 1

( z z0 ) ...
( z z0 )
d

2
N
N

2 i C1 z0 ( z0 )
( z0 )
( z )( z0 )
( z0 ) N f ( )
1 f ( )
f ( )
1
f ( )
1

...

d
1
2
1 N
N
N

2 i C0 z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) z
N 1

bn
f ( z ) an ( z z 0 ) R N ( z )
Q N ( z )
n
n 0
n 1 ( z z 0 )
n

120

1
1
QN ( z )
2 i ( z z0 ) N

C0

f ( )( z0 ) N
d
(z )

Observemos que:

| z z0 | r ; | z0 | r1 r ; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
sobre C1Q
: ( z)
N

Mr0 r0
1 r0 M 2r0

N
2r
r r0
(r r0 ) r
N

Y puesto que r/r1 < 1, el lmite cuando N tiende a infinito

del residuo es cero. De modo que para cada z interior a C0,
la serie de Taylor converge a f(z).
121

Hallando la serie de Laurent

Igual que para el caso de la serie de Taylor, hay distintas formas
de hallar la serie de Laurent de una funcin. En la prctica, no
usaremos la frmula anterior. Un mtodo ms simple consiste
en usar la serie geomtrica, tal como hicimos con la serie de
Taylor.

Ejemplo (1)
Expandir la funcin 1/(1-z) en potencias negativas de z
1
1
1
1 1 1
1 1 1 1

2 3 4

2
3
1
1 z
z (1 z )
z
z z
z
z z
z
z

1
1 z z 2 converge para |z |<1, la serie
1 z
converge para |1/z| < 1, o |z|>1
Dado que

122

Ejemplo

Expandir la funcin 1/(i-z) en potencias de z-2

(Serie de Taylor)
1
1
1

i z i 2 ( z 2) (i 2)1 zi 22

1
z 2 ( z 2)

1
2
i2
i 2 (i 2)

1
z2
( z 2) 2

2
3
i 2 (i 2)
(i 2)
1
Dado que
1 z z 2 converge para |z|<1, la serie
1 z

converge para

z 2 / i 2 1

z 2

5
123

Otra posibilidad consiste en expandir la funcin

1/(i-z) en potencias negativas de z-2 (serie de Laurent):

1
1
1
1
i 2 (i 2) 2

1
2
i 2
i z i 2 ( z 2)
( z 2)1 z 2
z2
z 2 ( z 2)

1
i2
(i 2) 2

2
3
z 2 ( z 2) ( z 2)

1
2

z
converge
Dado que
1 z

para |z|<1, la serie converge para

i 2 / z 2 1
z 2 / i 2 1

z 2

5
124

Ejemplo (3)
e2 z
Expandir la funcin
3 con centro z = 1
(1 z )
e2z
e 2 e 2 ( z 1)
e2

3
3
(1 z )
( z 1)
( z 1) 3

2( z 1)
1 2( z 1)

2!

1
2
22
23 2 4
e

( z 1)
3
2
2!( z 1) 3! 4!
( z 1) ( z 1)

converge para 0 < |z -1|<

El centro es el punto singular !

125

Cada serie de Laurent tiene dos partes:

f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 ) 3

Potencias positivas (serie de Taylor)

DENTRO

b3
b1
b2
b4
...

2
3
4
z z0 ( z z0 )
( z z0 ) ( z z0 )
Potencias negativas (Parte Principal)
FUERA
126

Ejemplo
1
Expandir la funcin
con centro z = 0
( z 1)( z 3)
De cuntas formas podemos hacerlo?
centro

(a) |z| < 1

(b) 1 < |z| < 3
(c) 3 < |z| <

1
1 1 1 1

( z 1)( z 3) 2 z 1 2 z 3

127

(a) |z| < 1

1
1 1 1



( z 1)( z 3) 2 z 1 z 3
1

2

1 1
1

1 ( z ) 3 1 ( z / 3)

1
1
z
z
2
1 z z 1 2
2
3
3 3

1 4
13 2
z
z
3 9
27

Dentro del disco, trminos positivos:

serie de Taylor.
128

(b) 1 < |z| < 3

1
1 1 1



( z 1)( z 3) 2 z 1 z 3
1

1 1
1
1



2 z 1 (1 / z ) 3 1 ( z / 3)
2

1 1
1 1
1
z
z

1 2 1 2
2 z
z z
3 3
3

1
1
1 1 z z2
3 2

2z 2z
2 z 6 18 54
potencias negativas potencias positivas
1 < |z| <
|z| < 3
129
Serie de Laurent

En la pgina anterior, cmo sabamos qu trmino

expandir en potencias negativas y cul, si lo haba,
expandir en potencias positivas?
El trmino

1
z 1

est fuera

1
z 3

est dentro

- trminos negativos
El trmino

- trminos positivos
El anillo final resulta de
la superposicin
130

(c) 3 < |z| <

1
1 1 1



( z 1)( z 3) 2 z 1 z 3
1

1 1
1
1



2 z 1 (1 / z ) z 1 (3 / z )

1 1
1 1
3 32
1
1 2 1 2
2 z
z z
z z
z

1 4 13
2 3 4
z
z
z

potencias negativas
3 < |z| <

potencias positivas
|z |<
131

1
f ( z)
( z 1) 2 ( z 3)

(a) 0 < |z 1| < 2

1
1
1
1
1
f ( z)

2
2
( z 1) ( z 3) ( z 1) 2 ( z 1) 2( z 1) 2 1 ( z 1)
2

( z 1) ( z 1) 2 ( z 1) 3

...
1
2
3
2
2
2

1
1
1 ( z 1)

...
2
2( z 1) 4( z 1) 8
16

1
f ( z)
2( z 1) 2

132

1
f ( z)
( z 1) 2 ( z 3)

(b) 0 < |z 3| < 2.

1
1
2
f ( z)

[
2

(
z

3
)]
( z 1) 2 ( z 3) ( z 3)
1
z 3

4( z 3)
2

(binomial vlida para

|(z 3)/2| < 1 o |z 3| < 2)

1
(2) z 3 (2)(3) z 3
f ( z)

1
4( z 3)
1! 2
2! 2

...

1
1 3
1
f ( z)
( z 3) ( z 3) 2 ...
4( z 3) 4 16
8
133

8z 1
f ( z)
z (1 z )

0 < |z| < 1.

8z 1 8z 1 1
1
f ( z)

(8 ) 1 z z 2 ...
z (1 z )
z 1 z
z
1
9 9 z 9 z 2 ...
z

134

1
f ( z)
z ( z 1)

1 < |z 2| < 2.
En el centro z = 2 f es analtica.
Queremos encontrar dos series de
potencias enteras de z 2; una
convergiendo para 1 < |z 2| y la otra
para |z 2| < 2.

1
z 2 z 2
1

2
2
2

z 2

1
1
f ( z)
f1 ( z ) f 2 ( z )
z z 1
1
1
1
1
f1 ( z )

z
2 z2
21 z 2
2
3

...

|(z 2)/2| < 1 o |z 2| < 2.

1 z 2 ( z 2) 2 ( z 2)3
2

...
3
4
2 2
2
2

135

1
1
1
1
f2 ( z)

z 1 1 z 2 z 21 1
z2
2
3

1
1
1
1

...
1
z 2
z 2 z 2
z 2

1
1
1

...
2
3
z 2 ( z 2) ( z 2)
|1/(z 2)| < 1 o 1 < |z 2|.

136

f(z) = e3/z , 0 < |z|.

z
z
e 1 z ...
2! 3!
2
3
3 3
3
3z
e 1
3 ...
2
z 2! z
3! z
z

137

1
f ( z)
z ( z 1)

(a) 0 < |z| < 1,

(b) 1 < |z|,
(c) 0 < |z 1| < 1
(d) 1 < |z 1|.

138

1 1
f ( z)
z 1 z
1
1 z z 2 ...
z
1
1 z z 2 ...
z

1
f ( z)
z ( z 1)

1 1
f ( z) 2

z 1 1
z
1
1 1

1 2 ...
2
z
z z

1 1 1
3 4 ...
2
z
z
z

139

1
f ( z)

(1 1 z )( z 1)
1
1

z 1 (1 z 1)
1
1 ( z 1) ( z 1) 2 ...
z 1
1
1 ( z 1) ( z 1) 2 ...
z 1

1
1
1
1
f ( z)

( z 1) 1 ( z 1) ( z 1) 2 1 1
z 1

1
1
1
1

...

( z 1) 2
z 1 ( z 1) 2 ( z 1) 3

1
1
1
1

...
2
3
4
5
( z 1) ( z 1) ( z 1) ( z 1)
140

Dada la funcin f(z), obtener la serie de Laurent en

torno a cada uno de sus puntos singulares. A la vista
del desarrollo, clasificar las singularidades.
1
f ( z) 2
z ( z 3)

bn
n
(
z

z
)
n 1
0

f ( z ) an ( z z 0 )
n 0

Puntos singulares
0 z z0 R

z0 = 0
z0 = 3

Para w 1 :

1
wn ;
1 w n 0

1
(1) n w n ;
1 w n 0

1
1
n 1
n 1

1
)
nw

(1 w)
1 w
n 1

Examen
JUNIO 04/05: P-1

141

z0 = 0

z
Si 0 1 0 z 3 :
3
n
1

1
1 z
1
3

n 1 z n
z 3 1 z
3 n 0 3
n 0 3
3
1
1
1
1
1 z n 32 3
f ( z) 2
n
2
z z 3
3 n 0 3
z
z

0
3

Polo doble

z0 = 3

z 3
Si 0
1 0 z 3 3:
3
1
1
2
2
z
3

1
z 3

3

1
2
3

(1)
1

0
n 1

z 3
n

n 1

1 2
1
1
1
3
f ( z)
2 3 (1) n 1 (n 2)( z 3) n
z 3 z
3 n 0
z 3

Polo
142
simple

P1. Junio 2006

Obtener el desarrollo en serie de Laurent de la funcin f(z)
vlido en el entorno de cada uno de sus puntos singulares.

1
f ( z) n
, n N
z ( z 2)
Respuesta.

1
f ( z) n
z ( z 2)

Puntos singulares, z = 0, z = 2.

143

 Entorno

de z = 0;

2
z

Entorno

de z = 2;

0 < |z| < 2

1 1
1 (1)
f ( z) n
n

z z 2 z 2(1 z )
2
k
k

1
z
1
z
n k k n
2 z k 0 2
2 k n 2
0 < |z - 2| < 2

1 1
1
f ( z) n
g ( z)
z z2
z2

4
144

g ( z)

1
es analtica en |z 2| < 2 => Admite desarrollo de Taylor:
n
z

g ( k ) ( 2)
g ( z)
( z 2) k
k!
k 0
1
n
n(n 1)
g ( z ) n ; g ( z ) n 1 ; g ( z ) n 2 ;
z
z
z
(k )
k ( n k 1)! 1
(k )
k ( n k 1)! 1
g ( z ) (1)
; g (2) (1)
n k
(n 1)! z
(n 1)! 2 n k

(1) k (n k 1)!
1
k
g ( z ) n k
( z 2) f ( z ) g ( z )

k!(n 1)!
( z 2)
k 0 2

(1) k (n k 1)!
nk
( z 2) k 1
k!(n 1)!
k 0 2

145

Obtener el desarrollo en serie de Laurent de la funcin

sin( z )
f ( z) 2
( z 1) 2 z

vlido en el disco |z| < a. Especificar el mximo valor de a donde el

desarrollo es convergente.
Respuesta.
Ptos. singulares z = 1. (z = 0 es una singularidad evitable: lim (z0) f(z) = 1)
amx = |z 0| = 1. Recordemos que:

z3 z5
(1) n 2 n 1
sin z z
z
| z |
3! 5!
n 0 ( 2n 1)!

sin( z ) (1) n
2 n 1 2 n

z converge en z
z
146
n 0 ( 2n 1)!

1
1 1 1

2
2
2
( z 1) 1 z 2z 2z

2n

1 2 n1 1 2 n
z nz 2 nz , z 1

z n 0
z n 0
n 0

sin( z ) sin( z )
1
f ( z) 2

2
2
2
( z 1) z
z
( z 1)
1
f ( z ) 2
z

(1) n 2 n 1 2 n 1
z

n 0 ( 2n 1)!

nz
n 0

2n

2n2
(1)
2 k 1
f ( z )
( k ) z ,
n 0 k 0 ( 2k 1)!

z 1
147

P1. Septiembre 2007

1

4 z

Sea la funcin f ( z ) 2 log

donde se considera la determinacin
z
z 1
del argumento (0,2). Se pide:

a) Calcular razonadamente el dominio de analiticidad, y clasificar las

singularidades, especificando el tipo.
b) Indicar las coronas en torno a z0 = 0 donde se puede hallar el desarrollo
de Laurent.
c) Calcular el desarrollo de Laurent en torno a z 0 = 0 en la corona |z| > 4.

148

Respuesta.
a) La funcin f es el producto de dos funciones, luego no es analtica en
aquellos puntos en los que:
1
- El cociente 2 no es analtico, es decir, el punto z = 0.
z
4 z
no es analtica. Para analizar el dominio
z 1

- La funcin log

de holomorfa de esta funcin se debe considerar:

4 z
* Por un lado, los puntos singulares de
, en este
z 1
caso, z = 1.
* Por otro lado, los puntos singulares de
log w con
la
determinacin (0,2). Esta determinacin no es
analtica en w = 0 y en los puntos que cumplen
Im(w) = 0 y Re(w)>0. Introduciendo la variable z = x + iy
149

4 z (4 x) iy (4 x)( x 1) y 2
3y
w

i
2
2
z 1 ( x 1) iy
( x 1) y
( x 1) 2 y 2
con lo que

w0 z4
3y
Im(w) 0 ( x 1) 2 y 2 0
y0

2
Re( w) 0 (4 x)( x 1) y 0 (4 x)( x 1) 0 1 x 4

( x 1) 2 y 2

4 z
As, log
no es analtica en todo el segmento real z x 1,4
z 1
150

Con todo, la funcin f es analtica en

todo el plano complejo menos en z = 0
y en el segmento z x 1,4

Im (z)

Re (z)

- Los puntos z x 1,4 no son aislados, luego la funcin no admite

desarrollo en serie en torno a ellos.
- El punto z = 0 es una singularidad aislada. Para analizar de qu tipo
g ( z)
f
(
z
)

observamos que f se puede expresar de la forma

con
z2
4 z
g ( z ) log
analtica en z = 0 y g(0) = log(-4) = Ln(4) + i 0. Luego
z 1
z = 0 es un polo doble.
151

b) El nico punto singular aislado es z 0 = 0, por lo que se puede obtener

tanto la serie de Laurent de la funcin en torno a z 0 = 0 vlida en la
corona 0 < |z| < d(0,1) = 1, como la serie convergente en el dominio |z| >
4.
Para calcular el desarrollo en serie de la corona |z| > 4, derivamos
4 z
g
(
z
)

log

, de modo que
respecto de z la funcin
z

3
1
1
g(z )

(4 z )( z 1)
4 z z 1
y buscamos los desarrollos de cada fraccin convergente en el dominio |z|
4
> 4 o, expresado de modo ms conveniente,
1
z

152

1
1 1
1 4n

4
4 z z 1 z n 0 z n
z
1
1 1
1 1

n
z 1 z 1 1 z n 0 z
z

4
1
z
1
1
z

(... continuar el problema ...)

153

Obtener todos los posibles desarrollos en serie de potencias (Taylor y

Laurent) de las funciones complejas:

1
a) f ( z )
;
1 z

1
b) f ( z )
,
2
(1 z )

alrededor de z = 1. Indicar el radio de convergencia de cada una de

las series obtenidas.
Respuesta.
a) Desarrollaremos primero en serie de Taylor alrededor de z = 1.
Observemos que f(z) tiene un punto singular en z = -1, de modo que
el desarrollo ser vlido para |z 1| < 2, es decir, |(z 1)/2| < 1.
154

Entonces:

1
1
1
1 (1)
f ( z)

n ( z 1) n
1 z 2 1 ( z 1) 2 n 0 2
2

(1) n
n
f ( z ) n 1 ( z 1)
n 0 2

Ahora desarrollaremos fuera del crculo anterior, es decir, para

|z 1| < 2 |(z 1)/2| < 1, en serie de Laurent.
Observemos que |(z 1)/2| < 1 y entonces:

155

1
1
1
f ( z)

1 z z 1 1 ( 2 )
z 1

1 (1) n 2 n (1) n 2 n
(1) n 1 2 n 1
f ( z)

n
n 1
n
z 1 n 0 ( z 1)
(
z

1
)
(
z

1
)
n 0
n 1
b) Observemos que

1
d 1
df ( z )
g ( z)
(
)
;
2
(1 z )
dz 1 z
dz

entonces derivando las series anteriores obtenemos:

n 1

d (1) n
(

1
)
n
n
n 1
g ( z ) ( n 1 ( z 1) )
(
z

1
)
n 1
dz n 0 2
2
n 1

(1) n (n 1)
n
g ( z)
(
z

1
)
, con z 1 2 (Serie de Taylor)
n 2
2
n 0

156

d
g ( z )
dz

n 1

n 1

n 1

n 1

(1) 2
(1) 2 n

n
n 1
( z 1) n 1 ( z 1)
n 1
con z 1 2 (Serie de Laurent)

157

Obtener la serie de Laurent vlida en el dominio 1 < |z| < 2 de la

funcin compleja:

1
f ( z)
z ( z 1)( z 2)
Respuesta.

1
1
1
1
f ( z)

z ( z 1)( z 2) z z 1 z 2

1
1

z z (1 1 ) 2(1 z )
z
2

158

1 1
1
1
z
f ( z )
n

n
z z n 0 z
2 n 0 2

n 0

1
z

n 2

n 1

z
n 1
n 0 2

159

160

161

162

163

164

165

166

167

168

169

170

171

Gracias al desarrollo de Laurent podemos encontrar

el valor de algunas integrales. Por ejemplo, calculemos:

1/ z

Encontremos las serie de Laurent

de e1/z:

dz

n
2
3
z
z
z
e z 1 z ; | z |
2! 3!
n 0 n!

n
(
1
/
z
)
1
1
1
1/ z
z 1 / z; e
1

; 0 | z |
2
3
n!
z 2! z
3! z
n 0
1
1/ z
11
Recordemos:
b1 1
e
(
z

0
)
dz

2 i C
1

bn

2 i C

f ( z )( z z0 ) n 1 dz

n 0,1, 2, ...

1/ z
e
dz 2i
C

172

Otro ejemplo: Desarrollemos f(z) = 1/(z-i)2 en serie de

Laurent alrededor de z0 = i.
Ya est desarrollado! Todos los coeficientes an y bn
son cero a excepcin de b2 = 1. Entonces, como:
1
f ( z)
an
dz , n 0,1, 2, ...
n 1

2 i C ( z z0 )
bn

1
n 1
f
(
z
)(
z

z
)
dz , n 0,1, 2, ...
0

2 i C

0 si n 2
dz
C ( z i) n3 2i si n 2

Hemos resuelto
infinitas integrales
de una tacada!
173

Acabemos con la pregunta de la transparencia

sobre series de Taylor en variable real:
1
2
3
1 x x x ... , x 1
1 x
2
3
x
x
ln(1 x) x ... , x 1
2 3

1
2
4

x
... , x 1
2
1 x

Es fcil ver
por qu el
radio de
convergencia es
|x|<1.

Pero, en este caso:

cul es el motivo?

174

175

176