6.

Series

1
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.
n

i n1
limn 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 ( ):
b+
Si |zn-c| < , con zn = xn + iyn
zn
entonces dentro de un crculo
b
de radio , para c = a + i b c
se cumple que:
b- x
|xn-a| < , |yn-b| <
a- a a+
Por tanto la convergencia zn c
implica que xn a , yn b.
4
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

con lo que zn= xn+iyn estar

contenido en un cuadrado de
centro c y lado .
De modo que zn estar contenido
en un crculo de radio y
centro c.

y
b+
b+/2 zn
b c
b-/2
b- x
a- a a+
a-/2 a+/2
5
Diremos que una sucesin {zn} es convergente sii:
lim z = c. Una sucesin divergente significa que no converge.
n 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
7
 ni
La sucesin converge a i. Observa que
n 2i

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 zn n e i n
,donde n | z n | n Arg z n
lim n 0
n i 0
Si ,entonces lim z n 0 e
lim n 0 n
n

9
 n
z
Sea por ejemplo la sucesin de trminos: z n : 1 .
n
n/2
z
n
x y
2 2
El mdulo lim | z n | lim 1 lim 1 2
converge a:
n n
n n
n n
n/2
x y 2 xn
2 2
lim 1 2 ex.
n
n
Y el argumento a:
n
z z
lim n lim Arg z n lim Arg 1 lim n Arg 1
n n n
n n n
y
y
lim n arctan n lim n arctan y.
n 1 x n n x

n
Por tanto la sucesin n
converge a: z
lim1 e x e iy e x iy e z .
n
n 10
 Series
Dada una sucesin {zn}, una serie infinita o serie se puede
formar a partir de una suma infinita:

z
n 1
n 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.

(2) Si una serie z1+ z2 +.... converge, entonces lim z m 0

m
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:

az k 1
a az az 2
az n 1

k 1

el trmino ensimo de la sucesin de sumas parciales es:

a (1 z n )
S n a az az 2 ... az n 1
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 5 i
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 )
0 n! 2!
Es S convergente o divergente?
z n 1 100 75i n 1!
n 1
100 75i 125
lim lim lim lim 0
n z
n
n n
100 75i n! n n 1 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|z | = L
n
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
S 2 n 4 i (4 i ) (4 i ) 2
n
Dado 0 2 3 4 7 19

Es S convergente?
(4 i ) n (4 i) 17 17
lim n lim lim
n 2 2 n
3 n 4 3 n 4 3
n n n n 4

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

Ejercicio: demostrar que

La serie geomtrica q
m 0
m
1 q q 2

converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.
22
23
24
25
Nmeros primos
(parte I)

26
Qu es un nmero primo?

Un entero mayor que uno se llama nmero primo si

solo tiene como divisores a 1 y a l mismo.

"primo" = "de base"

27
Hay dos hechos sobre la distribucin de los nmeros primos de
las que espero convencerles tan fuertemente que queden
permanentemente grabadas en sus corazones. La primera es
que, a pesar de su sencilla definicin y de su papel como
ladrillos en la construccin de los nmeros naturales, los
nmeros primos pertenecen a la clase ms arbitraria y perversa
de los objetos estudiados por los matemticos: crecen como
malas hierbas entre los nmeros naturales, parecen no
obedecer otra ley que las del azar, y nadie puede predecir
donde brotar el siguiente. El segundo hecho es incluso ms
sorprendente, pues afirma justo lo contrario: que los nmeros
primos exhiben sorprendentes regularidades, que hay leyes
que gobiernan su comportamiento, y que obedecen estas leyes
con precisin casi militar.
Don Zagier, "The first 50 million primes"
Mathematical Intelligencer, 0 (1977) 1-19 28
29
El teorema fundamental de la aritmtica
El teorema fundamental de la aritmtica muestra que
los primos son los ladrillos bsicos con los que estn
construidos los enteros. Dice:

Todo entero positivo mayor que uno puede ser escrito

de forma nica como el producto de primos,
con los factores primos en el producto en orden de
tamao no decreciente.
(Euclides, Elementos).

np ei
i
i
30
Cuntos primos existen?
Euclides demostr que siempre existe al
menos un primo entre n y (n! + 1) de la
siguiente manera:
(a) n! y (n! + 1) no tienen factores comunes.
(b) O bien (n! + 1) es primo o bien es factorizable:
(b.1) Si (n! + 1) es primo queda demostrada
la afirmacin.
(b.2) Si (n! + 1) puede descomponerse en factores,
por (a) ninguno de ellos puede dividir a n!
De modo que cualquier factor de (n! + 1) estar entre n y (n! + 1).

(b.2.1) Si el factor es primo queda demostrada la afirmacin.

(b.2.2) Si el factor no es primo, entonces por el mismo argumento
(b.2), ser mayor que n y podemos volver a descomponerlo hasta
encontrar finalmente un primo mayor que n. 31
 Ausencia aparente de un patrn regular
en la secuencia de nmeros primos

Por ejemplo, hay nueve primos entre 9.999.900 y 10.000.000:

9.999.901 9.999.907 9.999.929 9.999.931

9.999.937 9.999.943 9.999.971 9.999.973
9.999.991.

Pero entre los cien enteros siguientes, desde 10.000.000 a

10.000.100, hay solo dos:

10.000.019 y 10.000.079.
32
Los matemticos griegos probaron, alrededor del 300 antes de
nuestra era, que existen infinitos primos y que estn
espaciados de manera irregular, es decir que la distancia entre
dos primos consecutivos puede ser arbitrariamente larga.

33
34
 The Counting Prime Function
"Cuntos primos menores que un nmero x hay?"

( x) # primos menores o igual a x.

As los primos menores o iguales a 25 son 2, 3, 5, 7, 11, 13,

17, 19 y 23 de modo que (25) = 9.
35
La distribucin de nmeros primos parece ser aleatoria. Por
ejemplo, hay probablemente infinitos primos gemelos y
existen gaps arbitrariamente largos entre primos. 36
"It is evident that the primes are randomly distributed
but, unfortunately we don't know what 'random'
means".

R.C. Vaughan

37
Sin embargo, la funcin (x) exhibe un sorprendente
"buen comportamiento".
"Here is order extracted from confusion, providing a moral lesson on
how individual eccentricities can exist side by side with law and order".
The Mathematical Experience by Philip J Davis & Reuben Hersh 38
"For me, the smoothness with which this curve climbs is
one of the most astonishing facts in mathematics."

Don Zagier, "The first 50 million primes"

Mathematical Intelligencer, 0 (1977) 1-19 39
 n (n) n/(n)
10 4 2.5
100 25 4.0
1000 168 6.0
10,000 1,229 8.1
100,000 9,592 10.4
1,000,000 78,498 12.7
10,000,000 664,579 15.0
100,000,000 5,761,455 17.4
1,000,000,000 50,847,534 19.7 22.0 - 19.7 = 2.3
10,000,000,000 455,052,512 22.0
Observemos que cuando pasamos de un orden de magnitud al
siguiente el cociente n/(n) se incrementa aproximadamente 2.3.

Sabiendo que Ln 10 = 2.30258... Gauss formul la conjetura de

que (n) es aproximadamente igual a n/Ln n.
40
41
 Legendre
En 1798 Legendre publica la primera
conjetura significativa sobre la forma
funcional de (x), cuando en su libro
Essai sur la Thorie des Nombres
escribe que:

x
( x)
Ln x - 1.08366
42
http://mathworld.wolfram.com/PrimeNumberTheorem.html 43
The logarithmic integral
function Li(x)

x du
Li ( x)
2 Ln u
Zagier en su artculo dice al respecto:
"within the accuracy of our picture, the two coincide exactly." 44
Se sabe que Li(x) no es siempre mayor que (x), pero eso
ocurre por primera vez alrededor de 10320! 45
46
Antes de la existencia de los
ordenadores...Tablas de D. N.
Lehmer: primos hasta 10.006.721

47
 reference

1 4 antiquity

2 25 L. Pisano (1202; Beiler)

3 168 F. van Schooten (1657; Beiler)

4 1229 F. van Schooten (1657; Beiler)

5 9592 T. Brancker (1668; Beiler)

6 78498 A. Felkel (1785; Beiler)

7 664579 J. P. Kulik (1867; Beiler)

8 5761455 Meissel (1871; corrected)

9 50847534 Meissel (1886; corrected)

10 455052511 Lehmer (1959; corrected)

11 4118054813 Bohmann (1972; corrected)

12 37607912018

13 346065536839

14 3204941750802 Lagarias et al. (1985)

15 29844570422669 Lagarias et al. (1985)

16 279238341033925 Lagarias et al. (1985)

17 2623557157654233 M. Deleglise and J. Rivat (1994)

18 24739954287740860 M. Deleglise (June 19, 1996)

19 234057667276344607 M. Deleglise (June 19, 1996)

20 2220819602560918840 M. Deleglise (June 19, 1996)

21 21127269486018731928 project (Dec. 2000)

22 201467286689315906290 P. Demichel and X. Gourdon (Feb. 2001)

23
48
Prime Counting Function -- from Wolfram MathWorld.htm
El teorema de los nmeros primos:
En 1896, de la Valee Poussin y Hadamard probaron
simultneamente lo que se haba sospechado durante
mucho tiempo, el teorema de los nmeros primos:

x
( x) ~
ln x
El nmero de primos que no excede a x es
asinttico a x/log x. En otras palabras, la
probabilidad de que "un nmero x escogido
al azar sea primo es 1/log x".
49
El teorema nos dice que x/log x es, hasta cierto punto, una buena
aproximacin a (x) . Al decir que "a(x) es asinttico a b(x)" o
"a(x) ~ b(x)" decimos que el lmite de a(x)/b(x) es 1 cuando x
tiende a infinito. Pero, observemos que a(x) ~ b(x) no significa
que a(x) - b(x) sea pequeo. 50
El teorema de los nmeros primos implica que podemos
usar x/(log x - a) (con cualquier constante a) para aproximar
(x). Chebychev demostr que la mejor eleccin era a = 1.

x (x) x/log x x/(log x -1)

1000 168 145 169
10000 1229 1086 1218
100000 9592 8686 9512
1000000 78498 72382 78030
10000000 664579 620420 661459
100000000 5761455 5428681 5740304
51
 x du
Li ( x)
2 Ln u
Que Li(x) sea asinttica con (x) es impresionante,
pero lo que nos gustara es estimar (x) lo mejor
posible. Es decir, si
( x) Li ( x) E ( x)
nos gustara conocer este error E(x) lo ms
exactamente posible. Y eso nos lleva al problema
ms famoso de la matemtica... 52
 La funcin zeta (s)

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

s 1 Euler la llam funcin zeta

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

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

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. 54

 1 1 1 1 1 1 1
x
1 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 x x x x ... 1
5 7 11 13 1 x ( x) 1
p primo p
1

1 1 Euler utiliz esta identidad
( x) x 1 x para demostrar que
n 1 n p primo p 1
p

Producto de Euler para la funcin zeta. p prime

i.e., existen infinitos primos.

55
Retomemos nuestro hilo...

Series de Taylor en variable real:

1
1 x x 2 x 3 ... , x 1 Es fcil ver
1 x por qu el
2 3 radio de
x x convergencia es
ln(1 x) x ... , x 1 |x|<1.
2 3

1 Pero, en este caso:

1 x 2
x 4
... , x 1 cul es el motivo?
1 x 2

56
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)

57
 Serie de potencias

Una serie de potencias en ( z zo )

es:

a (z z )
n 0
n o
n
ao a1 ( z zo ) a2 ( z zo )
2

centro de coeficientes complejos

desarrollo

1 1
P.ej.
n 0 n!
( z i) 1 ( z i) ( z i)
n

2
2

58
 Convergencia de series de potencias
Las series de potencias en general convergen para algunos
valores de z, y para otros.

Por ejemplo la serie z
n 0
n
1 z z 2
z 3
(Serie
geomtrica)

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

Fuera del crculo de
Radio de convergencia la serie
convergencia de potencias diverge.
R =1
Crculo de convergencia:
mayor crculo centrado
en z0 en el que la serie de
59.
potencias converge
Ejemplos: Radio de convergencia
infinito; R =

1 n z2 z3

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

Radio de convergencia cero;

R=0

n!
n 0
z n
1 z 2! z 2
3! z 3

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

60


a (z z )
n 0
n o
n
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:

z zo R : diverge
zo

z zo R : converge
Los valores z tq. z zo R pueden converger o no
61
 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.

62
Hay una forma rpida para hallar el radio de convergencia?
La frmula de Cauchy-Hadamard :

an 1 1
lim
n a R
n

a n 1
(i) lim L 0, R = 1/L.
n an

a n1
lim 0
(ii) n an R es .

a n 1
lim
(iii) n an R = 0.
63
Ejemplo:

( 2n )!

n 0 ( n! )
2
( z 3i ) n
1 2 ( z 3i ) 6( z 3i ) 2

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

1
R
4

64

( 2n )!

n 0 ( n! )
2
( z 3i ) n
1 2 ( z 3i ) 6( z 3i ) 2

z 3i 1 / 4 : converge

zo 3i

z 3i 1 / 4 : diverge

65
Ejemplo:

( z 4i )
n 0
n
1 ( z 4i ) ( z 4i )
2

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

R 1

z 4i 1 : diverge
zo 4i
z 4i 1 : converge
66
Ejemplo:

ne
n 0
n
( z 1) n
e ( z 1) 2e 2
( z 1) 2

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

R 1/ e
zo 1
z 1 1 / e : diverge

z 1 1 / e : converge
67

(1) k ( z 1 i ) k
Otro ejemplo: k!
k 1

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

n!
El radio de convergencia es .

68
Recuerda adems que todo lo dicho para series,
evidentemente funciona para series de potencias.
Por ejemplo:
(1) Si lim n zn 1 la serie diverge.
n

(2) Si lim z n 0 z n la serie diverge.
n
n 0

(3) Comparar:

z
n 0
n converge si z n bn y b
n 0
n converge

z n 1
(4) Si lim 1 la serie diverge.
n z
n

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

n
6n 1 6 n 1
an , nlim n a lim
n 3
2n 5 n 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.

70
Resumen y varios comentarios interesantes:

1
an 1

(Observa que para nosotros era: R lim
n a
En el punto iv se resuelve el enigma) n
71
72
73
74
Series de Taylor

75
76
77
 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.

1
Ejemplo: f ( z) z 1 z z z
n 2 3

1 z n 0

la serie converge para |z|1

Radio de convergencia R = 1

78
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:

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

(Cauchy, 1831)
79
Desarrollar f(z)=sin z alrededor de z0=0 (serie de Mclaurin):

f ( 0 ) ( z ) sin z f ( 4) ( z ) sin z f ( 0 ) ( 0) 0 f ( 4 ) (0) 0

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

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

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

(1) k 2 k 1

sin z z
k 0 ( 2k 1)!
80
 Demostracin del teorema de Taylor:
y
Por la frmula integral de Cauchy:
z
r1 1 f ( )
r0
z0
C1
f (z )
2 i C1 z
d
C0
x Vamos a desarrollar el integrando:
1 1 1 1

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

N 1
1 z z0 z z0 z0
1
...

z0 z0 z0 z z0
1
z 0
81
 f ( ) f ( ) f ( ) f ( ) N 1 f ( )( z z ) N
( z z 0 ) ... ( z z 0 ) 0

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

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

d
N 1
( z z0 ) ... ( z z0 ) 0
N
2 i C1 z0 ( z0 ) 2
( z0 ) N
( 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 ( )
f ( z0 ) d
(n)

2i C z0 n 1

82
 Donde hemos definido el residuo Rn:
1 f ( )( z z0 ) N
RN ( z )
2 i C1 ( z )( z0 ) N
d

Observemos que:
| z z0 | r ; | z0 | r1 r ; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
N
sobre C1: r N
M 2r1 Mr1 r
RN ( z )
2 (r1 r )r1 N
(r1 r ) r1
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). 83
Brook Taylor
(1685-1731)
En 1715 agregaba a las matemticas
una nueva rama llamada ahora El
clculo de las diferencias 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 ...
84
 1
Ejemplo: Encontrar la serie de Taylor para f ( z)
1 z
1 1 2 3!
f ( z) , f ( z ) , f ( z ) , f ( z )
1 z 1 z 2
1 z 3
1 z 4
(1) Tomemos centro z = 0 :

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

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

zn
n 0 punto singular
centro
1 z z2 z3 R 1 85
 1 1 2 3!
f ( z) , f ( z ) , f ( z ) , f ( z )
1 z 1 z 2
1 z 3
1 z 4

(2) Tomemos centro z =1/2 :

f ( 12 ) 2
zo 1
2 f ( 12 ) 2 2

1
an z 2
1 n z 1
f ( 12 ) 2.23
1 z n 0
f ( 12 ) 3!2 4

f ( n ) ( 12 )
z 2
1 n

n 0 n!

punto singular
2 n 1
z 1 n
2
centro
n 0

2 4 z 1
2 8 z 1 2
2 16 z
1 3
2 R 1
2
86
 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
1 z z2 z3 2 4 z 12 8 z 12 16 z 12
2 3

1 z 1 z

zo 1
2
zo 0 z 1 z 1

Hay por lo menos un punto singular en la

circunferencia de convergencia
87
Ejemplo: f ( z) e z
con centro z = 0

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

f ( 0) 1
e an z
z n

n 0 f (0) 1

f (n)
( 0) n f (0) 1
z
n 0 n! zo 0 f (0) 1

zn

n 0 n!
R
z2 z3
1 z no hay puntos singulares!
2 3! centro
88
 Unicidad del desarrollo de Taylor
Supongamos que f(z) es analtica y desarrollable alrededor
1 (n)
de z0 , tq: f ( z ) an ( z z o ) ,
n
an f ( z o )
n 0 n!
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 )
f ( n ) ( z0 ) n!b2 ; bn
f ' ( z0 ) b1 n!
f ' ' ( z0 ) n 0,1, 2, ...
f ' ' ( z0 ) 2b2 ; b2
2 Son los mismos coeficientes del
desarrollo de Taylor 89
 Derivar la serie de Taylor directamente a partir
de la frmula
1 (n)
f ( z ) an ( z z o ) , an f ( z o )
n

n0 n!
puede ser complicado.
Normalmente se usan otros mtodos:
(1) La serie geomtrica 1
z n 1 z z 2 z3
(2) La serie binomial 1 z n 0

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

1
1 z 1 mz z z
(1 z ) m
n 0 n 2! 3!
(3) Otras series conocidas como la exponencial, el coseno, etc.
2 n 1 3 5
z z z
sin z (1) n z
n 0 (2n 1)! 3! 5!
90
 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 centro

Parece que el radio de convergencia es R=1.

91
 1
Sabemos que 1 z z2 z3
1 z

1 1
Por tanto 1 z 2
z 4
z 6

1 z 2
1 ( z )
2

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.
92
 1
Ejemplo: Expandir f ( z ) para z = 1
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

93
 1
Sabemos que 1 z z2 z3
1 z

1 1
por tanto 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.

94
Encuentra la serie de Maclaurin de la funcin:
z z 1
f ( z)
z 4 9 9 1 ( z 4 / 9)

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

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

1 w n 0

2 3 n
1 z z4 z4
4
z 4

1 ... (1)
n

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

n
z/9
z z 4

( 1 ) n

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


9 9

n 0 9
n 1
z 4 n 1

95
 1
Ejemplo: Expandir f ( z ) para z = 0
(1 z ) 2

(Usar la serie binomial)

Centro y puntos singulares R = 1:

Punto singular:
z 1
Centro z = 0

96
La serie binomial es:
n m 1 n n

1
1 z
(1 z ) m
n 0 n
m(m 1) 2 m(m 1)(m 2) 3
1 mz z z
2! 3!
Por tanto:
1 1
1 2 z 3 z 2
4 z 3

(1 z ) 2
[1 ( z )]2

(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.
97
Ejemplo:
2 z 15 z 34
2
Expandir f ( z ) en z = 0
( z 4) ( z 2)
2

Puntos singulares:
z 4, 2

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

98
Usaremos fracciones parciales:
2 z 2 15 z 34 A B C
f ( z)
( z 4) ( z 2) ( z 4)
2 2
( 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)
( z 4) 2
z2
Ahora
1 1 1
2
( z 4) 2
(4 z ) 2
4 [1 ( z / 4)]2
1 z z
2
z
3

1 2 3 4
16 4 4 4
converge para z / 4 1 z 4
99
 2 2 1
y
z2 2 z 1 ( z / 2)
z z 2 z 3
1
2 2 2

converge para z / 2 1 z 2
As que
1 2
f ( z)
( z 4) 2 z 2
1 z z z 2
z z z
3 2 3

2 2 3 3 4 4 5 1
4 4 4 4 2 2 2
17 15
z
16 32
converge para z 2
100
 1 1 z z2 z3
2 2 3 3 4 4 5
( z 4) 2
4 4 4 4
Converge para
|z|<4.

Para:
1 2
Converge para 2
z 4 z2
|z|<2
2 3 hay convergencia
2 z z z
1 en el rea comn
z2 2 2 2
101
Otras series tiles (Ejercicio: demostrar por la frmula de Taylor)
z3 z5
sin z z z
3! 5!
2 4
z z
cos z 1 z
2! 4!
2 3
z z
e 1 z
z
z
2! 3!
3 5
z z
sinh z z z
3! 5!
z2 z4
cosh z 1 z
2! 4!
z2 z3
Ln (1 z ) z z 1
2 3 102
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 = .

z3 z5
Usando la serie sin z z
3! 5!

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

3! 5!
103
Ejemplo:
( z 1) n
ez e (| z 1 | )
n 0 n!

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

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


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

n 0 n! n 0 n! n 0 n!
104
De otra manera: n
z
e
z
(| z | )
n 0 n!

z 1
e ee
z
(| z 1 | )
n
z
e
z

n 0 n!

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

( z 1) n
e ee
z z 1
e
n 0 n! 105
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

1 1
z0
1 i 2
Lnz
Recordemos que el Ln z es singular (no analtico)
sobre el eje negativo. R 2
106
107
108
109
110
111
112
113
114
Una serie de potencias
k 0 ak ( z z0 )
k

puede diferenciarse trmino a trmino en cu crculo de

convergencia
| z z0 | R

115

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 ,... f (n)

( z0 ) n!an

f ( k ) ( z0 )
f ( z)
(n)
f ( z0 ) ( z z0 ) k
an , n0 k!
n! k 0
116
 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

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
1) n 1
n ( z 1) n 1
(
n 0
1) n
( n 1)( z 1) n
; con | z 1 | 1

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

1
1 z z 2 z 3 ...
1 z 118
 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
0
y f (0) 1; si 0
Observa que la serie de Taylor

3 5 7
sin converge tambin para 0.
3! 5! 5!
sin 2 4 6
1
3! 5! 7!
119
 Integrando la serie trmino a trmino:
z sin z z
2
z 4
z 6
Si( z ) d 1d d d d
0 0 0 3! 0 5! 0 7!

3 5 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)!

120
121
122
123
 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

k


f ( z ) g ( z ) ak z bm z m
k 0 m 0
a0b0 (a0b1 a1b0 )z (a0b2 a1b1 a2b0 )z 2 ...
n

(a b
n 0
0 n a b
1 n-1 .... a b
n 0 )z k

n 0
c n z m
; donde cn ak bn k
k 0

124
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
n 2 3
z z z
e 1 z ; | z |
z

n 0 n! 2! 3!

f ( z)
ez
1 z
z2 z3

1 z 1 z z 2 z 3
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!
125
126
127
128
129
130
131
132
De hecho, podemos definir las funciones
elementales a partir de series de potencias.
Por ejemplo:

133
Como hemos visto podemos expandir una funcin analtica
en serie de Taylor alrededor de un centro. Por ejemplo,

1 zo 0
1 z z z
2 3

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

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

(b) la serie converge dentro de un disco. 134
 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
z 3z 2
2
z z 2 4 8

Converge para 1<|z|<2

Puntos singulares en z = 1, 2 Centro

135
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.

136
 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.
Ejemplo 1
f ( z)
1 z
centro

centro

Dentro del disco |z|<1 tenemos la En el anillo 1< |z| <

serie de Taylor: tenemos la serie de Laurent:
1 1 1 1 1
1 z z2 z3 2 3
1 z 1 z z z z
137
Por supuesto, podemos tener 1
distintos centros ... f ( z)
1 z

1 1 1 1

centro centro

Dentro de un disco |z+1| < 2 En el anillo 2< |z+1|<

tenemos la serie de Taylor. tenemos la serie de Laurent.

1 1 z 1 ( z 1) 2 1

1

2

4


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

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

1
f ( z)
1 z

En este caso, la serie es vlida

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

1
En este caso, la serie est formada por un nico trmino 1 z
139
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
converge para todo z. Assin z z ...
que:
3! 5! 7!

converger para todosin z 1 z=

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

140
Ejemplo
Cuntas series con centro z0 = 1/4 puede tener la funcin
sin z
? La funcin presenta dos singularidades
z z2
2
(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.

141
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| <

142
 Ejemplo 3
Centro z = 2 para:
( 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

143
 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
b1 b2 b3 b4

z z0 ( z z0 ) ( z z0 ) ( z z0 )
2 3 4

donde
1 f ( z)
an
2 i C ( z z0 ) n 1
dz , n 0,1, 2, ... r0
r1 C
1

n 1
bn f ( z )( z z 0 ) dz , n 0,1, 2, ...
2 i C

Cunto valen los bns cuando

f(z) es analtica en |z-z0| < r1? Pierre Alphonse Laurent (1843)
144
 Demostracin del teorema de Laurent:
y
Por la frmula integral de Cauchy para un
z dominio doblemente conexo:
r1
z0 1 f ( ) 1 f ( )
r0
C0
C1 f (z )
2 i C1 z
d
2 i C0 z
d

f ( ) f ( ) f ( ) f ( ) N 1 f ( )( z z0 ) N
( z z0 ) ... ( z z0 )
z z0 ( z0 ) 2
( z0 ) N
( z )( z0 ) N

145
 1 1 1 1

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

N 1
1 z0 z0 z z0
1 ...
z z0 z z0 z z0 z
1 0

z z0

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

f ( ) f ( ) f ( ) 1 f ( ) 1 ( z0 ) N f ( )
...
z z z0 ( z0 ) ( z z0 )
1 2
( z0 ) ( z z0 )
1 N N
( z z0 ) N z

146
 1 f ( ) 1 f ( )
f (z )
2 i C1 z
d
2 i C0 z
d

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

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

( z z0 ) z
N d

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

147
 1 1 f ( )( z0 ) N
QN ( z )
2 i ( z z0 ) N
C0
(z )
d

Observemos que:
| z z0 | r ; | z0 | r1 r ; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
N
1 r0 M 2r0
N
sobre C1Q
: ( z) Mr0 r0
N
2r N
r r0 (r r0 ) r
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).
148
 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
1 2 3 4
1 z z (1 z )
1
z z z 2
z 3
z z z z

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

149
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) 2

1
i 2 i 2 (i 2) 2

1 z2 ( z 2) 2

i 2 (i 2) 2
(i 2) 3

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
150
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
i z i 2 ( z 2) ( z 2)1 z 2
i 2
z 2 z 2 ( z 2) 2

1 i2 (i 2) 2

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

1
Dado que 1 z z 2
converge
1 z
para |z|<1, la serie converge para
i 2 / z 2 1
z 2 / i 2 1 z 2 5
151
Ejemplo (3)
e2 z
Expandir la funcin 3 con centro z = 1
(1 z )
e2 z

e 2 e 2 ( z 1)

e2 2( z 1)
2

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

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

converge para 0 < |z -1|<

El centro es el punto singular !

152
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

b1 b2 b3 b4
...
z z0 ( z z0 ) ( z z0 ) ( z z0 )
2 3 4

Potencias negativas (Parte Principal)

FUERA
153
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
154
(a) |z| < 1
1 1 1 1

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

2 1 ( z ) 3 1 ( z / 3)
1
1 z z 1 2
2
2 1 z z
2 3 3 3
1 4 13 2
z z
3 9 27

Dentro del disco, trminos positivos:

serie de Taylor.

155
(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)
1 1 1 1 1 z z 2

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
Serie de Laurent 156
En la pgina anterior, cmo sabamos qu trmino
expandir en potencias negativas y cul, si lo haba,
expandir en potencias positivas?
1
El trmino est fuera
z 1
- trminos negativos

1
El trmino est dentro
z 3
- trminos positivos

El anillo final resulta de

la superposicin
157
(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 1 3 3
2

1 2 1 2
2 z z z z z z
1 4 13
2 3 4
z z z

potencias negativas potencias positivas

3 < |z| < |z |<
158
 1
f ( z)
( z 1) 2 ( z 3)

(a) 0 < |z 1| < 2

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

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

1 1 1 ( z 1)
...
2( z 1) 4( z 1) 8
2
16
159
 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)
2
1 z 3
1
4( z 3) 2 (binomial vlida para
|(z 3)/2| < 1 o |z 3| < 2)
1 (2) z 3 (2)(3) z 3
2

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
160
 8z 1
f ( z) 0 < |z| < 1.
z (1 z )

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

z 1 z
1
z

(8 ) 1 z z 2 ...

1
9 9 z 9 z 2 ...
z

161
 1
f ( z) 1 < |z 2| < 2.
z ( z 1)
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 1
f ( z) f1 ( z ) f 2 ( z )
z z 1
1 1 1 1
f1 ( z )
z 2 z2 21 z 2
2
1 z 2 z 2 z 2
2 3
1 ...
2 2 2 2 |(z 2)/2| < 1 o |z 2| < 2.
1 z 2 ( z 2) 2 ( z 2)3
2 3
4
...
2 2 2 2 162
 1 1 1 1
f2 ( z)
z 1 1 z 2 z 21 1
z2
1 1
2
1 1
3

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

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

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

2 3
z z
e 1 z ...
z

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

164
 1
f ( z)
z ( z 1)

(a) 0 < |z| < 1,

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

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

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

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

z 1 (1 z 1) 1 1 1 1
2
1 ...
1
( z 1) z 1 ( z 1) ( z 1)
2 3
1 ( z 1) ( z 1) 2 ...
z 1 1 1 1 1
...
1 ( z 1) ( z 1) ( z 1) ( z 1)
2 3 4 5
1 ( z 1) ( z 1) 2 ...
z 1 167
 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) z0 = 0
Puntos singulares

z0 = 3
bn
f ( z ) an ( z z 0 )
n
0 z z0 R
n 0 n 1 ( z z 0 ) n

Para w 1 :

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

1 1
(1 w) 2

1 w n 1
( 1) n 1
nw n 1

Examen
168
JUNIO 04/05: P-1
 z
z0 = 0 Si 0 1 0 z 3 :
3
1 n 0
1 3 1 z 1
n 1 z n 3
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 Polo doble
z0 = 3
z 3
Si 0 1 0 z 3 3: 0
3
3
n 1
1 1 1 1
z 3
z 2
2
3 z 3 2
2
3
(1)
1
n 1
n
3

1 3

1 1 1 1 2
f ( z) 2 3 (1) n 1 (n 2)( z 3) n 3 Polo
z 3 z 3 n 0 z 3 169
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 Puntos singulares, z = 0, z = 2.
z ( z 2)

170
 Entorno de z = 0; 0 < |z| < 2

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

Entorno de z = 2; 0 < |z - 2| < 2

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

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

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

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

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

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

(1) k (n k 1)!
nk ( z 2) k 1
k 0 2 k!(n 1)!
172
 Obtener el desarrollo en serie de Laurent de la funcin
a
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 n 0 ( 2n 1)! 173

1 1 1 1
1
1
z 2n

( z 1) 1 z 2z 2z n 0 z n 0
2 2 2 nz 2 n 1
2
z n 0
nz 2n
, z 1

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

1 (1) n 2 n 1 2 n1 2 n
f ( z ) 2 z nz
z n 0 (2n 1)! n 0

n (1) k 2 k 1 2n2
f ( z ) ( k ) z , z 1
n 0 k 0 ( 2k 1)!
174
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.

175
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
- La funcin log no es analtica. Para analizar el dominio
z 1
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
176
 4 z (4 x) iy (4 x)( x 1) y 2 3y
w i
z 1 ( x 1) iy ( x 1) y
2 2
( x 1) 2 y 2

con lo que

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

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

( x 1) 2 y 2

4 z
As, log no es analtica en todo el segmento real z x 1,4
z 1
177
Con todo, la funcin f es analtica en
Im (z)
todo el plano complejo menos en z = 0
y en el segmento z x 1,4

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)
observamos que f se puede expresar de la forma f ( z ) 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.

178
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
respecto de z la funcin g ( z ) log , de modo que
z 1

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 o, expresado de modo ms conveniente, 4
1
z

179
 1 1 1 1 4n 4

4

4 z z 1 z n 0 z n z
1

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

(... continuar el problema ...)

180
Obtener todos los posibles desarrollos en serie de potencias (Taylor y
Laurent) de las funciones complejas:

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

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.

181
Entonces:

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

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

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:

182
 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)
z 1 n 0 ( z 1) n

n 0 ( z 1) n 1

n 1 ( z 1 ) n

1 d 1 df ( z )
b) Observemos que g ( z) ( ) ;
(1 z ) 2
dz 1 z dz
entonces derivando las series anteriores obtenemos:
n 1
d (1) n
( 1) n
g ( z ) ( n 1 ( z 1) )
n
n 1
( z 1) n 1

dz n 0 2 n 1 2

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

d n 1 n 1
(1) 2 n 1 n 1
(1) 2 n
g ( z ) n 1
dz n 1 ( z 1) n 1 ( z 1)
n

con z 1 2 (Serie de Laurent)

184
 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 1

z z (1 1 ) 2(1 z )
z 2
185
 1 1
1 1
z n

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

186
187
188
189
190
191
192
193
194
195
196
197
198
 Gracias al desarrollo de Laurent podemos encontrar
el valor de algunas integrales. Por ejemplo, calculemos:
Encontremos las serie de Laurent
e
1/ z
dz
C de e1/z:
n 2 3
z z z
e z 1 z ; | z |
n 0 n! 2! 3!
n
(1 / z ) 1 1 1
z 1 / z; e
1/ z
1 2
3 ; 0 | z |
n 0 n! z 2! z 3! z
Recordemos: 1

11
b1 1 e1/ z
( z 0 ) dz
1
2 i C
2 i C
bn f ( z )( z z0 ) n 1 dz

dz 2i
1/ z
e
n 0,1, 2, ... C
199
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
2 i C ( z z0 ) n 1
dz , n 0,1, 2, ...

1

n 1
bn f ( z )( z z 0 ) dz , n 0,1, 2, ...
2 i C

dz 0 si n 2 Hemos resuelto
C ( z i) n3 2i si n 2 infinitas integrales
de una tacada!

200
Acabemos con la pregunta de la transparencia
sobre series de Taylor en variable real:

1
1 x x x ... , x 1
2 3
Es fcil ver
1 x por qu el
2 3 radio de
x x convergencia es
ln(1 x) x ... , x 1 |x|<1.
2 3

1 Pero, en este caso:

1 x 2
x 4
... , x 1 cul es el motivo?
1 x 2

201
202
203