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

b+

b+/2

zn

b-/2
b-

a-
a-/2

a+

a+/2

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

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.
(2) Si una serie z1+ z2 +.... converge, entonces
En caso contrario, la serie diverge.

lim z m 0

(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

n|z | = L
lim
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
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

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

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
31
encontrar finalmente un primo mayor que n.

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)

10

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)

Li ( x)

du
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

antiquity

25

168

F. van Schooten (1657; Beiler)

1229

F. van Schooten (1657; Beiler)

9592

T. Brancker (1668; Beiler)

78498

664579

5761455

Meissel (1871; corrected)

50847534

Meissel (1886; corrected)

10

455052511

Lehmer (1959; corrected)

11

4118054813

12

37607912018

13

346065536839

14

3204941750802

Lagarias et al. (1985)

15

29844570422669

Lagarias et al. (1985)

16

279238341033925

Lagarias et al. (1985)

17

2623557157654233

18

24739954287740860

M. Deleglise (June 19, 1996)

19

234057667276344607

M. Deleglise (June 19, 1996)

20

2220819602560918840

M. Deleglise (June 19, 1996)

21

21127269486018731928

22

201467286689315906290

L. Pisano (1202; Beiler)

A. Felkel (1785; Beiler)

J. P. Kulik (1867; Beiler)

Bohmann (1972; corrected)

M. Deleglise and J. Rivat (1994)

project (Dec. 2000)

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

23

Prime Counting Function -- from Wolfram MathWorld.htm

48

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/log x x/(log x -1)
(x)
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

Li ( x)

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

53

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.

54

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.

55

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

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

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

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)

60

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

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

63

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

64

( 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
65

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
66

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
67

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 .

68

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

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

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

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.

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

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

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

(Cauchy, 1831)
79

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

80

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

81

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

82

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).
83

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

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

85

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

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

87

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!

88

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
89

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

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

Parece que el radio de convergencia es R=1.

centro

91

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

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

93

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

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

95

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

96

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

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

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

99

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
100

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
101

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
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 = .
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!

103

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)

104

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

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

z0
Lnz

1
1

1 i
2

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 )

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

an

(n)

( z0 )
,
n!

n0

f ( z)

k 0

(n)

( z0 ) n!an

f ( k ) ( z0 )
k
( z z0 )
k!
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 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

117

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

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

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

119

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

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

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

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

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!

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

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
2
z 3z 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.
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

137

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

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

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

140

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.

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

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

144

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

145

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

146

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

147

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

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

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)

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

151

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 !

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

b3
b1
b2
b4
...

2
3
4
z z0 ( z z0 )
( z z0 ) ( z z0 )
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

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.
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)
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
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?
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
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
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 |<
158

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

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

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

161

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

162

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

163

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

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

166

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

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

168

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

Puntos singulares, z = 0, z = 2.

170

 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
171

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

172

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
173
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
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
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
176

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
177

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

179

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

180

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

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:

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)

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

183

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)

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

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

185

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

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:

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

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
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!
200

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?

201

202

203