1

6. Series
2
Sucesiones
Veamos un ejemplo de sucesin compleja: {1 + i
n
}:

, 5
, 1
, 4
, 2
, 3
, 1
, 2
, 0
, 1
, 1
=
|
+
=
|
=
|

=
|
=
|
+
n
i
n n
i
n n
i
Si lim
n
z
n
= L,
decimos que la
sucesin es
convergente.
3
Otro ejemplo: la sucesin converge.



)
`

+
n
i
n 1
0 lim
1
=
+

n
i
n
n
4
Una sucesin {z
n
} de nmeros complejos z
n
= x
n
+ iy
n

converge a c = a + i b sii la sucesin de partes reales {x
n
}
converge a a y la sucesin de partes imaginarias {y
n
}
converge a b.
Por tanto la convergencia z
n
c
implica que x
n
a , y
n
b.
Demostracin ( ):
Si |z
n
-c| < c, con z
n
= x
n
+ iy
n

entonces dentro de un crculo
de radio c, para c = a + i b
se cumple que:
|x
n
-a| < c , |y
n
-b| < c
y
x
a
a+c a-c
b-c
b+c
b
z
n
c
Lmite de una sucesin
5
Demostracin ():
Igualmente, si x
n
a y y
n
b cuando n , entonces para
un c>0 dado, podemos hallar un N suficientemente grande tal
que para n> N se cumpla que:

|x
n
-a| < c/2, |y
n
-b| < c/2

con lo que z
n
= x
n
+iy
n
estar
contenido en un cuadrado de
centro c y lado c.
De modo que z
n
estar contenido
en un crculo de radio c y
centro c.
x
a
a+c a-c
b-c
b+c
b
z
n
c
b+c/2
b-c/2
a+c/2 a-c/2
y
6
Ejemplos:
(1) La sucesin {i
n
/n} = {i, -1/2, -i/3, 1/4,......} es
convergente y lmite es 0.
(2) La sucesin {i
n
} = {i, -1, -i, 1,....} es divergente.
(3) La sucesin {z
n
} con z
n
= (1+i)
n
es divergente.
{z
n
} = { 1+i, 2i, -2+2i, -4, -4-4i,....}
(4) La sucesin {z
n
} con z
n
= 2-1/n + i(1+2/n) es convergente.
{z
n
} = { 1+3i, 3/2+2i, 5/3+5i/3, 7/4+3i/2,....}
El lmite cuando n es c = 2+i
(y |z
n
-c| = |-1/n+2i/n| = \5/n < c si n > \5/c)
Diremos que una sucesin {z
n
} es convergente sii:
lim z
n
= c. Una sucesin divergente significa que no converge.
n

7
8
La sucesin converge a i. Observa que

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

+ i n
ni
2
. cuando
1
4
) Im( , 0
4
2
) Re(
4 4
2
2
2
2
2
2
2
2

+
=
+
=
+
+
+
=
+
=
n
n
n
z
n
n
z
n
n
i
n
n
i n
ni
z
n n
n
9
Sea
n
i
n n
e z

=
| |
n n
z =
n n
z Arg =
0
0
lim
lim


=
=


n
n
n
n
0
0
lim

i
n
n
e z =

,donde
Si
,entonces
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:
10
. 1 lim
. arctan lim
1
arctan lim
1 Arg lim 1 Arg lim Arg lim lim
.
2
1 lim
1 lim 1 lim | | lim
. 1 :
2 /
2
2 2
2 /
2
2
2
z iy x iy x
n
n
n n
n
n
n
n
n
n
n
x
n
n
n
n
n
n
n
n
n
n
e e e e
n
z
y
x n
y
n
n
x
n
y
n
n
z
n
n
z
z
e
n
xn y x
n
y
n
x
n
z
z
n
z
z
= = =
|
.
|

\
|
+
=
+
=
|
|
|
|
.
|

\
|
+
=
|
.
|

\
|
+ =
|
.
|

\
|
+ = =
=
(

+ +
+ =
(
(

+
|
.
|

\
|
+ =
|
.
|

\
|
+ =
|
.
|

\
|
+ =
+

Sea por ejemplo la sucesin de trminos:

El mdulo
converge a:
Y el argumento a:
Por tanto la sucesin
converge a:
11
Series
Dada una sucesin {z
n
}, una serie infinita o serie se puede
formar a partir de una suma infinita:


La sucesin de sumas:
s
1
= z
1
s
2
= z
1
+ z
2
s
3
= z
1
+ z
2
+ z
3

........
s
n
= z
1
+ z
2
+....z
n

es la sucesin de sumas parciales de la serie infinita.

Los z
1
, z
2
, ..... son denominados trminos de la serie.
...
3 2 1
1
+ + + =

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

donde s es la suma o valor de la serie y se expresa:
Una serie divergente es aquella que no converge.

Llamaremos resto R
n
de la serie a:
Si la serie converge y suma s, entonces
s s
n
n
=

lim
...
2 1
1
+ + = =

=
z z z s
n
n
+ + + =
+ + + 3 2 1 n n n n
z z z R
0 lim y = + =

n
n
n n n n
R s s R R s s
13
(1) Una serie con z
m
= x
m
+iy
m
converge con suma s = u+iv
sii
u = x
1
+x
2
+..... converge y v = y
1
+y
2
+..... converge.
(2) Si una serie z
1
+ z
2
+.... converge, entonces
En caso contrario, la serie diverge.
(3) Que {z
m
} 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.
0 lim =

m
m
z
Ejercicios: Demostrar que
14
Serie geomtrica
Para la serie geomtrica:



el trmino ensimo de la sucesin de sumas parciales es:



+ + + + + =

1 2
1
1 n
k
k
az az az a az
z
z a
az az az a S
n
n
n

= + + + + =

1
) 1 (
...
1 2
Observa que z
n
0 cuando n para |z| < 1, en cuyo casi
S
n
converge a a/(1 z). La serie diverge para |z| > 1.



15
Ejemplo:



es una serie geomtrica con a = (1 + 2i)/5 y
z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:
...
5
) 2 1 (
5
) 2 1 (
5
) 2 1 (
5
) 2 1 (
3
3
2
2
1
+
+
+
+
+
+
=
+

=
i i i i
k
k
k
2
5
2 1
1
5
2 1
5
) 2 1 (
1
i
i
i
i
k
k
k
=
+

+
=
+

=
16
17
Teorema de Cauchy para series.
Una serie z
1
+ z
2
+.... es convergente sii dado cualquier c>0
podemos hallar un N tal que |z
n+1
+z
n+2
+...+z
n+p
| < c para todo
n > N y p =1, 2...
Convergencia absoluta.
Una serie z
1
+ z
2
+... es absolutamente convergente si la serie de
los valores absolutos de sus trminos


E |z
m
| = |z
1
| + |z
2
| + ......
m=1

es convergente. Si z
1
+ z
2
+... converge pero |z
1
|+ |z
2
| +.... diverge,

la serie z
1
+z
2
.... es condicionalmente convergente.

Ejemplo: La serie 1- 1/2+ 1/3- +... converge condicionalmente.
Si una serie es absolutamente convergente es convergente
18
Es la serie convergente?

Es absolutamente convergente, puesto que
|i
k
/k
2
| = 1/k
2
y la serie real

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

=1
2
k
k
k
i

=1
2
1
k
k
19
Comparacin de series:
Si dada una serie dada z
1
+ z
2
+ ... , podemos hallar una serie
convergente b
1
+ b
2
+ ... con trminos reales no negativos tal que
|z
n
| s b
n
para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.
(Ejercicio: demostrarlo)
Criterio del cociente:
Si una serie z
1
+ z
2
+ .... con z
n
=0 (n = 1, 2, ...) cumple que
|z
n+1
/z
n
| s q < 1 ( n > N, con un q dado para cualquier N)
la serie converge absolutamente. En cambio si
|z
n+1
/z
n
| > 1 ( n > N) la serie diverge.

(Ejercicio: demostrarlo)


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


Entonces se cumple que:

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



L lim
1
=
+

n
n
n
z
z

+
+
+ + + =
+
=
0
2
! 2
) 75 100 (
) 75 100 ( 1
!
) 75 100 (

i
i
n
i
S
n
Dado
Es S convergente o divergente?
( )
0
1
125
lim
1
75 100
lim
! 75 100
! 1 75 100
lim lim
1
1
=
+
=
+
+
=
+
+ +
=

+

+

n n
i
n i
n i
z
z
n n
n
n
n
n
n
n
Converge.
21
Criterio de la raz:

Si una serie z
1
+ z
2
+ ... cumple que para todo n > N


n
\|z
n
| s q < 1 (n < N)
donde q<1 est fijado, la serie converge absolutamente. Si
para infinitos n se cumple que:

n
\|z
n
| > 1 , la serie diverge.
Entonces, si una serie z
1
+z
2
+... cumple que para todo n > N
lim
n
\|z
n
| = L
n
entonces:
a) Si L < 1 la serie converge absolutamente
b) Si L > 1 diverge
c) Si L = 1 no podemos extraer conclusiones
22
Dado

Es S convergente?
Como el lmite es mayor que 1, la serie diverge.
( ) + + =
|
|
.
|

\
|
+

2
0
2
) 4 (
19
1
) 4 (
7
1
4
1
4
3 2
) 1 (
i i i S
n
n
n
4
17
3 4
17
lim
3 4
) 4 (
lim
3 2
) 4 (
lim
2
=
+
=
+

=
|
|
.
|

\
|
+

n n
n
n n
n
n
n
n
n
i
i
La serie geomtrica

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

=
+ + + =
0
2
1
m
m
q q q
Ejercicio: demostrar que
23
24
25
26
Nmeros primos
(parte I)
27
Qu es un nmero primo?
"primo" = "de base"
Un entero mayor que uno se llama nmero primo si
solo tiene como divisores a 1 y a l mismo.
28
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
29
30
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).
El teorema fundamental de la aritmtica
[
=
i
e
i
i
p n
31
(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.
Cuntos primos existen?
Euclides demostr que siempre existe al
menos un primo entre n y (n! + 1) de la
siguiente manera:
32
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.

Ausencia aparente de un patrn regular
en la secuencia de nmeros primos
33
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.
34
35
The Counting Prime Function
. a igual o menores primos # ) ( x x t
As los primos menores o iguales a 25 son 2, 3, 5, 7, 11, 13,
17, 19 y 23 de modo que t(25) = 9.
"Cuntos primos menores que un nmero x hay?"
36
La distribucin de nmeros primos parece ser aleatoria. Por
ejemplo, hay probablemente infinitos primos gemelos y
existen gaps arbitrariamente largos entre primos.
37
"It is evident that the primes are randomly distributed
but, unfortunately we don't know what 'random'
means".

R.C. Vaughan
38
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

39
"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
40


n t(n) n/t(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
10,000,000,000 455,052,512 22.0
Observemos que cuando pasamos de un orden de magnitud al
siguiente el cociente n/t(n) se incrementa aproximadamente 2.3.

Sabiendo que Ln 10 = 2.30258... Gauss formul la conjetura de
que t(n) es aproximadamente igual a n/Ln n.

22.0 - 19.7 = 2.3
41
42
En 1798 Legendre publica la primera
conjetura significativa sobre la forma
funcional de t(x), cuando en su libro
Essai sur la Thorie des Nombres
escribe que:

08366 1
) (
. x - Ln
x
x = t
Legendre
43
http://mathworld.wolfram.com/PrimeNumberTheorem.html
44

Zagier en su artculo dice al respecto:
"within the accuracy of our picture, the two coincide exactly."

The logarithmic integral
function Li(x)
}
=
x
u Ln
du
x Li
2
) (
45
Se sabe que Li(x) no es siempre mayor que t(x), pero eso
ocurre por primera vez alrededor de 10
320
!
46
47
Antes de la existencia de los
ordenadores...Tablas de D. N.
Lehmer: primos hasta 10.006.721
48
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
Prime Counting Function -- from Wolfram MathWorld.htm
49
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".
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
x
ln
~ ) ( t
50
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.
51
x t(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
El teorema de los nmeros primos implica que podemos
usar x/(log x - a) (con cualquier constante a) para aproximar
t(x). Chebychev demostr que la mejor eleccin era a = 1.
52
}
=
x
u Ln
du
x Li
2
) (
Que Li(x) sea asinttica con t(x) es impresionante,
pero lo que nos gustara es estimar t(x) lo mejor
posible. Es decir, si
) ( ) ( ) ( x E x Li x + = t
nos gustara conocer este error E(x) lo ms
exactamente posible. Y eso nos lleva al problema
ms famoso de la matemtica...
53
) 1 ( ...
4
1
3
1
2
1
1
1
) (
1
> + + + + = =

=
x
n
x
x x
n
x x
,
Euler la llam funcin zeta
en 1737. Consider que s
era un real mayor que 1.
La funcin zeta (s)
6
1
) 2 (
2
1
2
t
,

=
= =
n
n
1 > s
54
...
9
1
7
1
5
1
3
1
1 ) (
2
1
1 ) (
2
1
) (
...
10
1
8
1
6
1
4
1
2
1
) (
2
1
+ + + + + =
|
.
|

\
|
=
+ + + + + =
x x x x x x
x x x x x x
x x x
x
, , ,
,
Repitamos la operacin para el siguiente primo: 3.
) 1 ( ...
4
1
3
1
2
1
1
1
) (
1
> + + + + = =

=
x
n
x
x x
n
x x
,
55
...
13
1
11
1
7
1
5
1
1
) (
3
1
1
2
1
1 ) (
2
1
1
3
1
) (
2
1
1
...
27
1
21
1
15
1
9
1
3
1
) (
2
1
1
3
1
+ + + + +
=
|
.
|

\
|

|
.
|

\
|
=
|
.
|

\
|

|
.
|

\
|

+ + + + + =
|
.
|

\
|

x x x x
x x x x x
x x x x x x x
x x x
x
, , ,
,
1 ) (
1
1 =
(

|
|
.
|

\
|

[
x
p
primo p
x
,
1
1
1
1
1
) (

=
[
|
|
.
|

\
|
= =
primo p
x
n
x
p n
x ,
Producto de Euler para la funcin zeta.
=

prime
1
p
p
Euler utiliz esta identidad
para demostrar que
i.e., existen infinitos primos.
56
1 , ...
3 2
) 1 ln(
1 , ... 1
1
1
3 2
3 2
< + = +
< + + + + =

x
x x
x x
x x x x
x
1 , ... 1
1
1
4 2
2
< + + =
+
x x x
x
Series de Taylor en variable real:
Es fcil ver
por qu el
radio de
convergencia es
|x|<1.
Pero, en este caso:
cul es el motivo?
Retomemos nuestro hilo...
57
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)
58
Serie de potencias

=
+ + + =
0
2
2 1
) ( ) ( ) (
n
o o o
n
o n
z z a z z a a z z a
coeficientes complejos
centro de
desarrollo
) (
o
z z

=
+ + + =
0
2
) (
2
1
) ( 1 ) (
!
1
n
n
i z i z i z
n

P.ej.
Una serie de potencias en es:
59
Convergencia de series de potencias
Las series de potencias en general convergen para algunos
valores de z, y para otros.

Por ejemplo la serie

=
+ + + + =
0
3 2
1
n
n
z z z z
converge para |z |<1, pero diverge para |z |1.
Fuera del crculo de
convergencia la serie
de potencias diverge.
Crculo de convergencia:
mayor crculo centrado
en z
0
en el que la serie de
potencias converge.
(Serie
geomtrica)
Radio de
convergencia
R =1
60

=
+ + + + =
0
3 2
! 3 ! 2 1 !
n
n
z z z z n
La serie diverge para todo z (excepto z = 0)

=
+ + + + =
0
3 2
! 3 ! 2
1
!
1
n
n
z z
z z
n

Ejemplos:
La serie converge para todo z
Radio de convergencia
infinito; R =
Radio de convergencia cero;
R = 0
61
: converge

=
+ + + =
0
2
2 1
) ( ) ( ) (
n
o o o
n
o n
z z a z z a a z z a
(1) La serie de potencias siempre converge para z = z
o

o
z
(2) Hay un radio de convergencia R para el cual:
R z z
o
<
: diverge
R z z
o
>
R z z
o
=
Los valores z tq. pueden converger o no
62
El radio de convergencia R puede ser:
(i) cero (converge solo en z = z
0
).
(ii) un nmero finito R (converge en todos los puntos
del crculo |z z
0
| < 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.
En resumen:
63
Hay una forma rpida para hallar el radio de convergencia?
R a
a
n
n
n
1
lim
1
=
+

La frmula de Cauchy-Hadamard :
(i) R = 1/L.


(ii) R es .


(iii) R = 0.

, 0 lim
1
= =
+

L
a
a
n
n
n
0 lim
1
=
+

n
n
a
a
n
=
+

n
n
a
a
n
1
lim
64
Ejemplo:

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

| |
| |
R n
n n
n
n
n
n
a
a
n n
n
n
n
1
4
) 1 (
) 1 2 )( 2 2 (
lim
)! 2 (
) ! (
)! 1 (
! ) 1 ( 2
lim lim
2
2
2
1
= =
+
+ +
=
+
+
=

+

4
1
= R
65
: converge
i z
o
3 =
4 / 1 3 < i z
: diverge
4 / 1 3 > i z

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

66
Ejemplo:

=
+ + + + + = +
0
2
) 4 ( ) 4 ( 1 ) 4 (
n
n
i z i z i z
R a
a
n
n
n
n
1
1
1
1
lim lim
1
= = =

+

1 = R
: converge
i z
o
4 =
1 4 < + i z
: diverge
1 4 > + i z
67
Ejemplo:

=
+ + =
0
2 2
) 1 ( 2 ) 1 ( ) 1 (
n
n n
z e z e z ne
R
e
n
n
e
ne
e n
a
a
n
n
n
n
n
n
n
1 1
lim
) 1 (
lim lim
1
1
= =
+
=
+
=

+

+

e R / 1 =
: converge
e z / 1 1 <
: diverge e z / 1 1 >
1 =
o
z
68

=

1
!
) 1 ( ) 1 (
k
k k
k
i z
0
1
1
lim
!
) 1 (
)! 1 (
) 1 (
lim ,
!
) 1 (
1
2
1
=
+
=

=

+
+

+
n
n
n
n
a
n
n
n
n
n
n
El radio de convergencia es .
Otro ejemplo:
69
Recuerda adems que todo lo dicho para series,
evidentemente funciona para series de potencias.
Por ejemplo:
(1) Si la serie diverge.

(2) Si la serie diverge.

(3) Comparar:



(4) Si la serie diverge.
1 lim >

n
n
n
z

=

=
0
0 lim
n
n n
n
z z
converge y si converge
0 0


=

=
s
n
n n n
n
n
b b z z
1 lim
1
>
+

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

=

|
.
|

\
|
+
+
1
) 2 (
5 2
1 6
k
k
k
i z
k
k
3
5 2
1 6
lim lim ,
5 2
1 6
=
+
+
=
|
.
|

\
|
+
+
=

n
n
a
n
n
a
n
n
n
n
n
n
71
Resumen y varios comentarios interesantes:
(Observa que para nosotros era:
En el punto iv se resuelve el enigma)
1
1
lim

+

|
|
.
|

\
|
=
n
n
n
a
a
R
72
73
74
75
Series de Taylor
76
77
78
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:

=
+ + + + = =
0
3 2
1
n
n
z z z z
la serie converge para |z|1
Radio de convergencia R = 1
z
z f

=
1
1
) (
79
A las series de potencias que representan funciones
analticas f (z) se les llama series de Taylor.

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
(Cauchy, 1831)
Cmo encontrar la serie de potencias de una funcin
analtica determinada?
Vienen dadas por la frmula:
80
Desarrollar f(z)=sin z alrededor de z
0
=0 (serie de Mclaurin):
z z f
z z f
z z f z z f
z z f z z f
cos ) (
sin ) (
cos ) ( cos ) (
sin ) ( sin ) (
) 3 (
) 2 (
) 5 ( ) 1 (
) 4 ( ) 0 (
=
=
= =
= =

1 ) 0 (
0 ) 0 (
1 ) 0 ( 1 ) 0 (
0 ) 0 ( 0 ) 0 (
) 3 (
) 2 (
) 5 ( ) 1 (
) 4 ( ) 0 (
=
=
= =
= =
f
f
f f
f f

k k
k
f
f
) 1 ( ) 0 (
0 ) 0 (
) 1 2 (
) 2 (
=
=
+

=
+

=
+
+

=
+

=
+
+ = =
0
1 2
0
1 2
) 1 2 (
0
2
) 2 (
0
) (
)! 1 2 (
) 1 (
sin
)! 1 2 (
) 0 (
)! 2 (
) 0 (
!
) 0 (
sin
k
k
k
k
k
k
k
k
k
n
k
n
z
k
z
z
k
f
z
k
f
z
n
f
z
81
Demostracin del teorema de Taylor:
0
z

z
x
y
0
C
1
C
0
r
1
r
Por la frmula integral de Cauchy:
}

=
1
) (
2
1
) (
C
d
z
f
i
z f

t
Vamos a desarrollar el integrando:
(
(
(
(
(

|
|
.
|

\
|

+
|
|
.
|

\
|

+ +

=

=

0
0
0
0
1
0
0
0
0
0
0
0
0 0 0
1
... 1
1
1
1 1
) ( ) (
1 1
z
z z
z
z z
z
z z
z
z z
z
z
z z
z z z z z
N
N

82
N
N
N
N
z z
z z f
z z
z
f
z z
z
f
z
f
z
f
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) ( ) (
0
0
1
0
0
0
2
0 0


+

+ +

Utilizando la frmula generalizada de Cauchy:
( )
} +

=
C
n
n
d
z
f
i
n
z f

t
1
0
0
) (
) (
2
!
) (
}
}
(

+ +

1
1
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) (
2
1
) (
2
1
) (
0
0
1
0
0
0
2
0 0 C
N
N
N
N
C
d
z z
z z f
z z
z
f
z z
z
f
z
f
i
d
z
f
i
z f

t
) ( ) (
)! 1 (
) (
... ) )( ( ' ) ( ) (
1
0
0
) 1 (
0 0 0
z R z z
N
z f
z z z f z f z f
N
N
N
+

+ + + =

83
Donde hemos definido el residuo R
n
:
}

1
) )( (
) )( (
2
1
) (
0
0
C
N
N
N
d
z z
z z f
i
z R


t
Observemos que:
r r z z z z r r z r z z = > > = =
1 0 0 1 0 0
| | | | | | ; | | ; | |
Si M es el valor mximo que puede alcanzar
sobre C
1
:
) ( f
N
N
N
N
r
r
r r
Mr
r r r
r M r
z R
|
|
.
|

\
|

s
1 1
1
1 1
1
) (
) (
2
2
) (
t
t
Y puesto que r/r
1
< 1, el lmite cuando N tiende a infinito
del residuo es cero. De modo que para cada z interior a C
0
,
la serie de Taylor converge a f(z).


84
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 ...
85
Ejemplo:
+ + + + =
=
=
=

=
3 2
0
0
) (
0
1
!
) 0 (
1
1
z z z
z
z
n
f
z a
z
n
n
n
n
n
n
n
n
z
z f

=
1
1
) (
(1) Tomemos centro z = 0 :
! 3 ) 0 (
2 ) 0 (
1 ) 0 (
1 ) 0 (
=
' ' '
=
' '
=
'
=
f
f
f
f
( ) ( ) ( )
4 3 2
1
! 3
) ( ,
1
2
) ( ,
1
1
) ( ,
1
1
) (
z
z f
z
z f
z
z f
z
z f

=
' ' '

=
' '

=
'

=
1 = z
0 =
o
z
centro
punto singular
1 = R
Encontrar la serie de Taylor para
86
( )
( )
( )
( ) ( ) ( ) + + + + =
=
=
=

=
+

=
3
2
1
2
2
1
2
1
0
2
1
1
0
2
1 2
1
) (
0
2
1
16 8 4 2
2
!
) (
1
1
z z z
z
z
n
f
z a
z
n
n
n
n
n
n
n
n
n
(2) Tomemos centro z =1/2 :
4
2
1
3
2
1
2
2
1
2
1
2 ! 3 ) (
2 . 2 ) (
2 ) (
2 ) (
=
' ' '
=
' '
=
'
=
f
f
f
f
( ) ( ) ( )
4 3 2
1
! 3
) ( ,
1
2
) ( ,
1
1
) ( ,
1
1
) (
z
z f
z
z f
z
z f
z
z f

=
' ' '

=
' '

=
'

=
1 = z
2
1
=
o
z
centro
2
1
= R
punto singular
87
Una funcin analtica f (z) puede ser representada
mediante series de potencias con distintos centros z
o
(aunque hay nicamente una serie para cada centro).








Hay por lo menos un punto singular en la
circunferencia de convergencia
1 = z
2
1
=
o
z
1 = z
0 =
o
z
+ + + + =

3 2
1
1
1
z z z
z
( ) ( ) ( ) + + + + =

3
2
1
2
2
1
2
1
16 8 4 2
1
1
z z z
z
88
Ejemplo:
+ + + + =
=
=
=

=
! 3 2
1
!
!
) 0 (
3 2
0
0
) (
0
z z
z
n
z
z
n
f
z a e
n
n
n
n
n
n
n
n
z
z
e z f = ) (
con centro z = 0
1 ) 0 (
1 ) 0 (
1 ) 0 (
1 ) 0 (
=
' ' '
=
' '
=
'
=
f
f
f
f
z z z z
e z f e z f e z f e z f =
' ' '
=
' '
=
'
= ) ( , ) ( , ) ( , ) (
0 =
o
z
centro
= R
no hay puntos singulares!
89
Unicidad del desarrollo de Taylor
Supongamos que f(z) es analtica y desarrollable alrededor
de z
0
, tq:

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
Existir otra serie
de potencias: ? con , ) ( ) (
0

=
= =
n
n n
n
o n
a b z z b z f

... ) ( 2 3 2 ) ( ' '

... ) ( 3 ) ( 2 ) ( '
3 2
2
3 2 1
+ + =
+ + + =
o
o o
z z b b z f
z z b z z b b z f
Tomando z = z
0
en las
expresiones anteriores:

2
0
2 0
1 0
0 0
2
) ( ' '
; 2 ) ( ' '
) ( '
) (
b
z f
b z f
b z f
b z f
= =
=
=
... , 2 , 1 , 0
!
) (
; ! ) (
0
) (
2 0
) (
=
= =
n
b
n
z f
b n z f
n
n
n
Son los mismos coeficientes del
desarrollo de Taylor
90
Derivar la serie de Taylor directamente a partir
de la frmula


puede ser complicado.

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
Normalmente se usan otros mtodos:
(1) La serie geomtrica
(2) La serie binomial
+ + + + = =

=
3 2
0
1
1
1
z z z z
z
n
n
( ) +
+ +

+
+ =
|
|
.
|

\
|
+
=
+

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

=
+
! 5 ! 3 )! 1 2 (
) 1 ( sin
5 3
0
1 2
z z
z
n
z
z
n
n
n
(3) Otras series conocidas como la exponencial, el coseno, etc.
91
Ejemplo:
2
1
1
) (
z
z f
+
= Expandir
para z = 0
(usar la serie geomtrica)
Primero dibujamos el centro y los puntos singulares
de f(z) para hacernos una idea:
puntos singulares:
Parece que el radio de convergencia es R=1.
centro
i i z + = ,
92
+ + + + =

3 2
1
1
1
z z z
z
Sabemos que
+ + =

=
+
6 4 2
2 2
1
) ( 1
1
1
1
z z z
z z
Por tanto
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.
93
Ejemplo:
z
z f
2 3
1
) (

=
centro z = 1
Expandir
2 / 3 = z
para z = 1
(usar la serie geomtrica)
De nuevo dibujamos el centro y los puntos singulares
de f(z):
puntos singulares:
Parece que el radio de convergencia es R = 1/2
94
+ + + + =

3 2
1
1
1
z z z
z
+ + + =

=

2
) 1 ( 4 ) 1 ( 2 1
) 1 ( 2 1
1
2 3
1
z z
z z
por tanto
Sabemos que
La serie geomtrica converge para |z |<1,
por tanto nuestra serie converge para |2(z-1)|<1
es decir, para |z -1| < 1/2.
95
Encuentra la serie de Maclaurin de la funcin:
) 9 / ( 1
1
9 9
) (
4 4
z
z
z
z
z f
+
=
+
=

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

=
= + + =
+
0
3 2
) 1 ( ... 1
1
1
n
n n
w w w w
w

=
|
|
.
|

\
|
= +
|
|
.
|

\
|

|
|
.
|

\
|
+ =
+
0
4
3
4
2
4 4
4
9
) 1 ( ...
9 9 9
1
) 9 / ( 1
1
n
n
n
z z z z
z


=
+
+

=
|
|
.
|

\
|
|
.
|

\
|
=
+
0
1 4
1
0
4
4
9
) 1 (
9 9
) 1 (
) 9 / ( 1
9 /
n
n
n
n
n
n
n
z
z z
z
z
96
Ejemplo:
2
) 1 (
1
) (
z
z f

=
Centro z = 0
Expandir
para z = 0
Punto singular:
1 = z
(Usar la serie binomial)
Centro y puntos singulares R = 1:
97
La serie binomial es:
+ + + + =
+
=

3 2
2 2
4 3 2 1
)] ( 1 [
1
) 1 (
1
z z z
z z
Por tanto:
La serie binomial converge para |z |< 1
Por tanto nuestra serie converge para |-z |<1
Es decir |z |< 1.
es singular en z = -1
m
z

+ ) 1 (
( )
+
+ +

+
+
=
|
|
.
|

\
|
+
=
+

=
3 2
0
! 3
) 2 )( 1 (
! 2
) 1 (
1
1
1
) 1 (
1
z
m m m
z
m m
mz
z
n
n m
z
n
n
n
m
98
Ejemplo:
) 2 ( ) 4 (
34 15 2
) (
2
2
+
+ +
=
z z
z z
z f Expandir
en z = 0
Centro z = 0
Puntos singulares:
2 , 4 + = z
el radio de convergencia
debera ser R = 2.
99
2 ) 4 ( ) 4 ( ) 2 ( ) 4 (
34 15 2
) (
2 2
2

+
+
+
+
=
+
+ +
=
z
C
z
B
z
A
z z
z z
z f
Usaremos fracciones parciales:
2 2
) 4 ( ) 2 )( 4 ( ) 2 ( 34 15 2 + + + + = + + z C z z B z A z z
2
2
) 4 (
1
) (
2

+
+
=
z z
z f

+
|
.
|

\
|

|
.
|

\
|
+ =
+
=
+
=
+

3 2
2 2 2 2
4
4
4
3
4
2 1
16
1
)] 4 / ( 1 [ 4
1
) 4 (
1
) 4 (
1
z z z
z z z
Ahora
4 1 4 / < < z z converge para
100

+
|
.
|

\
|
+
|
.
|

\
|
+ +
)
`

+ + + =

+
+
=
z
z z z z z z
z z
z f
32
15
16
17
2 2 2
1
4
4
4
3
4
2
4
1
2
2
) 4 (
1
) (
3 2
5
3
4
2
3 2
2

+
|
.
|

\
|
+
|
.
|

\
|
+ + =

3 2
2 2 2
1
) 2 / ( 1
1
2
2
2
2
z z z
z z z
y
2 1 2 / < < z z converge para
As que
2 < z
converge para
101
+ + + =
+

5
3
4
2
3 2 2
4
4
4
3
4
2
4
1
) 4 (
1 z z z
z
Converge para
|z|<4.

|
.
|

\
|

|
.
|

\
|
=

3 2
2 2 2
1
2
2 z z z
z
hay convergencia
en el rea comn
Converge para
|z|<2
2
2
4
1
2

+
+

z z
Para:
102
Otras series tiles (Ejercicio: demostrar por la frmula de Taylor)
1
3 2
) 1 ( Ln
! 4 ! 2
1 cosh
! 5 ! 3
sinh
! 3 ! 2
1
! 4 ! 2
1 cos
! 5 ! 3
sin
3 2
4 2
5 3
3 2
4 2
5 3
< + = +
< + + + =
< + + + =
< + + + + =
< + =
< + =
z
z z
z z
z
z z
z
z
z z
z z
z
z z
z e
z
z z
z
z
z z
z z
z

103
Ejemplo:
2
2 sin ) ( z z f = Expandir
en z = 0
no hay puntos singularesel radio de convergencia
debera ser R = .
+ =
! 5 ! 3
sin
5 3
z z
z z
Usando la serie
+ =
=
! 5
) 2 (
! 3
) 2 (
2
2 sin ) (
5 2 3 2
2
2
z z
z
z z f
(de uso de series conocidas)
104

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


=

= = =
0 0 0
) (
!
) 1 (
) 1 (
!
) 1 (
!
) 1 (
n
n
n
n n
n
n
z
n
z
e z
n
e
z
n
f
e
Ejemplo:
) | 1 (|
!
) 1 (
0
<

=
z
n
z
e e
n
n
z

=
= =
0
) (
) (
!
1
, ) ( ) (
n
o
n
n
n
o n
z f
n
a z z a z f
105
) | 1 (|
1
< =

z ee e
z z
De otra manera:

= =

=
=
0
1
0
1
0
!
) 1 (
!
) 1 (
!
n
n
z z
n
n
z
n
n
z
n
z
e ee e
n
z
e
n
z
e
) | (|
!
0
< =

=
z
n
z
e
n
n
z
106
En algunos casos excepcionales, un punto singular puede incluso
aparecer dentro del crculo de convergencia.
0 = z
Recordemos que el Ln z es singular (no analtico)
sobre el eje negativo.
= z Ln
Centro i z
o
+ = 1
n
n
n
o
n
n
n
i n
a
i a
i z a z
) 1 (
) 1 (
) 1 ( Ln
) 1 ( Ln
1
0
+

=
+ =
+ =
+

2
1
1
1
) 1 ( ) 1 )( 1 (
) 1 ( ) 1 (
lim lim
1 1
2
1
=
+
=
+ +
+
=
+ +
+

+

i
i n
i n
a
a
n n
n n
n
n
n
n
2 = R
107
108
109
110
111
112
113
114
115

=

0
0
) (
k
k
k
z z a
R z z < | |
0
Una serie de potencias


puede diferenciarse trmino a trmino en cu crculo de
convergencia
116
+ + + + = =

=
3
0 3
2
0 2 0 1 0
0
0
) ( ) ( ) ( ) ( ) ( z z a z z a z z a a z z a z f
k
k
k
+ + + = =
'

=
2
0 3 0 2 1
1
1
0
) ( 3 ) ( 2 ) ( ) ( z z a z z a a z z ka z f
k
k
k
+ + = =
' '

) ( 2 3 1 2 ) ( ) 1 ( ) (
0 3 2
2
2
0
z z a a z z a k k z f
k
k
k
+ = =
' ' '

3
3
3
0
1 2 3 ) ( ) 2 )( 1 ( ) ( a z z a k k k z f
k
k
k
n
n
a n z f a z f a z f a z f ! ) ( ,... ! 2 ) ( " , ! 1 ) ( ' , ) (
0
) (
2 0 1 0 0 0
= = = =
0 ,
!
) (
0
) (
> = n
n
z f
a
n
n
k
k
k
z z
k
z f
z f ) (
!
) (
) (
0
0
0
) (
=

=
117
Ejercicio: Obtener el desarrollo de Taylor de la funcin
f(z) = 1/z alrededor de z
0
= 1.
1 | 1 | ) 1 ( ) 1 ( ) (
0
< =

=
z con z z f
n
n n
Respuesta:
Ejercicio: Diferenciando la serie anterior obtener el
desarrollo de Taylor de la funcin g(z) = 1/z
2
alrededor
de z
0
= 1.
1 | 1 | ; ) 1 )( 1 ( ) 1 ( ) 1 ( ) 1 (
) 1 ( ) 1 ( ) ( ' ) (
) ( ' ) ( ); (
1
) ( ' ;
1
) (
0 1
1 1
1
1
2
< + =
= = =
= = = =

=
+

z con z n z n
z n z f z g
z f z g z g
z
z f
z
z f
n
n n
n
n n
n
n n
118
... 1
1
1
3 2
+ + + + =

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

i z
i
i z
i i z
119
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):
0 ; 1 ) 0 (
0 ;
) sin(
) ( ) ( ) Si(
0
= =
= =
}

si f y
si f con d f z
z

+ + =
+ + =
! 7 ! 5 ! 3
1
sin
! 5 ! 5 ! 3
sin
6 4 2
7 5 3

Observa que la serie de Taylor
converge tambin para 0.
120
1 2
0
7 5 3
0
6
0
4
0
2
0 0
)! 1 2 )( 1 2 (
) 1 (
) Si(
...
! 7 7 ! 5 5 ! 3 3
! 7 ! 5 ! 3
1
sin
) Si(
+

} } } } }
+ +

=
+

=
+ + = =
n
n
n
z z z z z
z
n n
z
z z z
z
d d d d d z

Integrando la serie trmino a trmino:

121
122
123
124
Multiplicacin de series

=
= = + + +
= + + + + + +
= |
.
|

\
|
|
.
|

\
|
=
+ + + = =
+ + + = =
n
k
k n k n
n
m
n
n
k
n n- n
m
m
m
k
k
k
m
m
m
k
k
k
b a c z c )z b a .... b a b (a
... )z b a b a b (a )z b a b (a b a
z b z a z g z f
z b z b b z b z g
z a z a a z a z f
0 0 0
0 1 1
2
0 2 1 1 2 0 0 1 1 0 0 0
0 0
2
2 1 0
0
2
2 1 0
0
donde ;
) ( ) (
... ) (
... ) (
0
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:

125
Ejemplo: Obtener mediante el producto de series, el
desarrollo de Maclaurin de f(z) = e
z
/(1-z).
( )
n
n
n
m
z
n
n
z
n
n
z
m
z z z
z z z
z z
z
z
e
z f
z
z z
z
n
z
e
z z z z z
z

= =

=
|
.
|

\
|
= +
|
.
|

\
|
+ + + +
|
.
|

\
|
+ + + + +
= + + + +
|
|
.
|

\
|
+ + + + =

=
< + + + + = =
< + + + + = =

0 1
3 2
3 2
3 2
3 2
0
3 2
0
!
1
...
! 3
1
! 2
1
1 1
! 2
1
1 1 ) 1 1 ( 1
1
! 3 ! 2
1
1
) (
| | ;
! 3 ! 2
1
!
1 | | ; 1
1
1

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

126
127
128
129
130
131
132
133
De hecho, podemos definir las funciones
elementales a partir de series de potencias.
Por ejemplo:
134
Notemos que (a) siempre tenemos potencias positivas de (z-z
0
).
(b) la serie converge dentro de un disco.
+ + + + =

3 2
1
1
1
z z z
z
Como hemos visto podemos expandir una funcin analtica
en serie de Taylor alrededor de un centro. Por ejemplo,
( ) ( ) + + + =

2
2
1
2
1
8 4 2
1
1
z z
z
Podemos expandir la misma funcin
respecto a distintos centros. Por ejemplo:
2
1
=
o
z
0 =
o
z
135
Pero hay otro tipo de series que:
(a) incluyen potencias negativas de (z-z
0
)
(b) convergen dentro de un anillo
Tales series se llaman series de Laurent.
+ + + + =
+
+
8 4 2
1 1 1
2 3
3 2
2
2 2
z z
z z z z
z
Puntos singulares en z = 1, 2
Centro
Ejemplo
Converge para 1<|z|<2
136
Recordatorio:
Singularidades aisladas

Supongamos que z = z
0
es una singularidad de
una funcin compleja f. El punto z
0
se llama
singularidad aislada si existe un disco
puntuado abierto 0 < |z z
0
| < R en el que la
funcin es analtica.
137
Si tomamos una funcin y dibujamos sus puntos singulares,
podremos separar el plano complejo en distintas regiones de
convergencia.
La serie de Laurent siempre converge dentro de un anillo.
Ejemplo
z
z f

=
1
1
) (
centro
Dentro del disco |z|<1 tenemos la
serie de Taylor:
centro
En el anillo 1< |z| <
tenemos la serie de Laurent:
+ + + + =

3 2
1
1
1
z z z
z
=

3 2
1 1 1
1
1
z z z z
138
Por supuesto, podemos tener
distintos centros ...
z
z f

=
1
1
) (
Dentro de un disco |z+1| < 2
tenemos la serie de Taylor.
En el anillo 2< |z+1|<
tenemos la serie de Laurent.
+
+
+
+
+ =
8
) 1 (
4
1
2
1
1
1
2
z z
z

+

+
=

3 2
) 1 (
4
) 1 (
2
1
1
1
1
z z z z
centro
1 1
centro
1
1
139
El centro podra ser, incluso, el punto singular ...
z
z f

=
1
1
) (
centro z
0
=1
En este caso, la serie es vlida
para 0< |z-1|< , un disco con
el punto singular z
0
=1 situado en
el centro.
En este caso, la serie est formada por un nico trmino
z 1
1
140
La funcin f(z) = (sin z)/z
3
es no analtica en z = 0 y
no podemos expandirla como serie de Maclaurin.
Sabemos que:


converge para todo z. As que:



converger para todo z excepto z = 0, 0 < |z|.
...
! 7 ! 5 ! 3
sin
7 5 3
+ + =
z z z
z z
+ + = =
! 7 ! 5 ! 3
1 1 sin
) (
4 2
2 3
z z
z z
z
z f
141
Ejemplo
Cuntas series con centro z
0
= 1/4 puede tener la funcin
?
2
sin
2
z z
z
| 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.
La funcin presenta dos singularidades
(polos simples), en z = -1, 2.
142
Ejemplo
Cuntas series con centro z
0
= 0 tiene la funcin ?
2
) 2 ( z
e
z
t
La funcin presenta una singularidad
(polo de segundo orden) en z = 2.
|z| < 2 2 < |z| <
143
Ejemplo
) 4 )( 1 )( (
3
+ z z i z
Tres singularidades (polos simples): z = -i, 1, 4.
| z-2 | <1
1< | z-2 | <2
Centro z = 2 para:
5 2 2 < < z
< < 2 5 z
144
Supongamos que la funcin f(z) es analtica en un anillo de
centro z
0
, r
0
< |z - z
0
| < r
1
. Entonces f(z) admite representacin
en serie de Laurent:
Cmo hallar la serie de Laurent? Teorema de Laurent:

+
+ + + + =
4
0
4
3
0
3
2
0
2
0
1
3
0 3
2
0 2 0 1 0
) ( ) ( ) (
) ( ) ( ) ( ) (
z z
b
z z
b
z z
b
z z
b
z z a z z a z z a a z f
donde
... , 2 , 1 , 0 , ) )( (
2
1
... , 2 , 1 , 0 ,
) (
) (
2
1
1
0
1
0
= =
=

=
}
}

+
n dz z z z f
i
b
n dz
z z
z f
i
a
C
n
n
C
n
n
t
t
Pierre Alphonse Laurent (1843)
Cunto valen los b
n
s cuando
f(z) es analtica en |z-z
0
| < r
1
?
C
r
0
r
1
145
0
z

z
x
y
0
C
1
C
0
r
1
r
} }

=
0 1
) (
2
1 ) (
2
1
) (
C C
d
z
f
i
d
z
f
i
z f

t
Demostracin del teorema de Laurent:
Por la frmula integral de Cauchy para un
dominio doblemente conexo:
N
N
N
N
z z
z z f
z z
z
f
z z
z
f
z
f
z
f
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) ( ) (
0
0
1
0
0
0
2
0 0


+

+ +

146

+

+ +

+

=
(
(
(
(
(

|
|
.
|

\
|

+
|
|
.
|

\
|

+ +

=

=

z z z
z
z z z z z z z z
z z
z
z z
z
z z
z
z z
z
z z
z z
z
z z z z z z
N
N
N N
N
N
1
) (
) (
) (
1
) (
1
...
) (
1
) (
1 1
1
... 1
1
1
1 1
) ( ) (
1 1
0
0
0
1
0
2
0
1
0 0
0
0
0
0
1
0
0
0
0
0
0
0
0 0 0

+

+ +

+

z
f
z z
z
z z z
f
z z z
f
z z
f
z
f
N
N
N N
) (
) (
) (
) (
1
) (
) (
...
) (
1
) (
) ( ) ( ) (
0
0
0
1
0
2
0
1
0 0
147
}
}
} }
(

+

+ +

+

+
(

+ +

0
1
0 1
) (
) (
) (
) (
1
) (
) (
...
) (
1
) (
) ( ) (
2
1
) )( (
) )( (
) (
) (
) (
... ) (
) (
) ( ) (
2
1
) (
2
1 ) (
2
1
) (
0
0
0
1
0
2
0
1
0 0
0
0
1
0
0
0
2
0 0
C
N
N
N N
C
N
N
N
N
C C
d
z
f
z z
z
z z z
f
z z z
f
z z
f
i
d
z z
z z f
z z
z
f
z z
z
f
z
f
i
d
z
f
i
d
z
f
i
z f

t

=

=
+

+ + =
N
n
N
n
n
N
n
N
n
n
z Q
z z
b
z R z z a z f
1
0
1
0
0
) (
) (
) ( ) ( ) (
148
}

0
) (
) )( (
) (
1
2
1
) (
0
0
C
N
N
N
d
z
z f
z z i
z Q

t
Observemos que:
r r z z z z r r z r z z = > > = =
1 0 0 1 0 0
| | | | | | ; | | ; | |
Si M es el valor mximo que puede alcanzar
sobre C
1
:
) ( f
N
N
N
N
r
r
r r
Mr
r r
r M r
r
z Q
|
.
|

\
|

s
0
0
0
0
0 0
) (
2
2
1
) (
t
t
Y puesto que r/r
1
< 1, el lmite cuando N tiende a infinito
del residuo es cero. De modo que para cada z interior a C
0
,
la serie de Taylor converge a f(z).


149
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.
Hallando la serie de Laurent
Ejemplo (1)
Expandir la funcin 1/(1-z) en potencias negativas de z
+ =
)
`

+ + + + =

4 3 2 3 2
1
1 1 1 1 1 1 1
1
1
) 1 (
1
1
1
z z z z z z z z z z
z
Dado que converge para |z |<1, la serie
converge para |1/z| < 1, o |z|>1
+ + + =

2
1
1
1
z z
z
150
Ejemplo Expandir la funcin 1/(i-z) en potencias de z-2
(Serie de Taylor)
| |

=
)
`

=

=

=

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

converge para
+ + + =

2
1
1
1
z z
z
( ) ( ) ( ) 5 2 1 2 / 2 < < z i z
151
Otra posibilidad consiste en expandir la funcin
1/(i-z) en potencias negativas de z-2 (serie de Laurent):
( )

=
)
`

=

=

=

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

2
1
1
1
z z
z
( ) ( )
( ) ( ) ( ) 5 2 1 2 / 2
1 2 / 2
> >
<
z i z
z i
152
Ejemplo (3)
Expandir la funcin con centro z = 1
converge para 0 < |z -1|<
3
2
) 1 ( z
e
z

| |
)
`

+ +

=
)
`

+ +

) 1 (
! 4
2
! 3
2
) 1 ( ! 2
2
) 1 (
2
) 1 (
1
! 2
) 1 ( 2
) 1 ( 2 1
) 1 ( ) 1 ( ) 1 (
4 3 2
2 3
2
2
3
2
3
) 1 ( 2 2
3
2
z
z z z
e
z
z
z
e
z
e e
z
e
z z
El centro es el punto singular !
153
Cada serie de Laurent tiene dos partes:
+ + + + =
3
0 3
2
0 2 0 1 0
) ( ) ( ) ( ) ( z z a z z a z z a a z f
+

+
4
0
4
3
0
3
2
0
2
0
1
) ( ) ( ) (
...
z z
b
z z
b
z z
b
z z
b
Potencias positivas (serie de Taylor)
Potencias negativas (Parte Principal)
DENTRO
FUERA
154
Ejemplo
Expandir la funcin con centro z = 0
) 3 )( 1 (
1
+ + z z
De cuntas formas podemos hacerlo?
(a) |z| < 1

(b) 1 < |z| < 3

(c) 3 < |z| <
|
.
|

\
|
+

|
.
|

\
|
+
=
+ + 3
1
2
1
1
1
2
1
) 3 )( 1 (
1
z z z z
centro
155
(a) |z| < 1
( )

+ =
)
`

|
|
.
|

\
|
+ + =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
2
2
2
2
27
13
9
4
3
1
3 3
1
3
1
1
2
1
) 3 / ( 1
1
3
1
) ( 1
1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
z z
z z
z z
z z
z z z z
Dentro del disco, trminos positivos:
serie de Taylor.
156
(b) 1 < |z| < 3


+ + + + =
)
`

|
|
.
|

\
|
+
|
.
|

\
|
+ =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
54 18 6
1
2
1
2
1
2
1
3 3
1
3
1 1 1
1
1
2
1
) 3 / ( 1
1
3
1
) / 1 ( 1
1 1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
2
2 3
2
2
2
z z
z z z
z z
z z z
z z z
z z z z
potencias negativas
1 < |z| <
potencias positivas
|z| < 3
Serie de Laurent
157
En la pgina anterior, cmo sabamos qu trmino
expandir en potencias negativas y cul, si lo haba,
expandir en potencias positivas?
El trmino est fuera

- trminos negativos


El trmino est dentro

- trminos positivos
3
1
+ z
1
1
+ z
El anillo final resulta de
la superposicin
158
(c) 3 < |z| <

4 3 2
2
2
2
13 4 1
3 3
1
1 1 1
1
1
2
1
) / 3 ( 1
1 1
) / 1 ( 1
1 1
2
1
3
1
1
1
2
1
) 3 )( 1 (
1
z z z
z z z z z z
z z z z
z z z z
+ =
)
`

|
|
.
|

\
|
+
|
.
|

\
|
+ =
)
`

|
|
.
|

\
|

|
|
.
|

\
|

=
)
`

|
.
|

\
|
+

|
.
|

\
|
+
=
+ +
potencias negativas
3 < |z| <
potencias positivas
|z |<
159
(a) 0 < |z 1| < 2
) 3 ( ) 1 (
1
) (
2

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

=
+
=

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

=
(

=
z
z z
z z z
z
z f
160
(b) 0 < |z 3| < 2.
) 3 ( ) 1 (
1
) (
2

=
z z
z f
2
2
2
2
3
1
) 3 ( 4
1
)] 3 ( 2 [
) 3 (
1
) 3 ( ) 1 (
1
) (

=
+

=

=
z
z
z
z z z
z f
(

+
|
.
|

\
|

+
|
.
|

\
|

+

= ...
2
3
! 2
) 3 )( 2 (
2
3
! 1
) 2 (
1
) 3 ( 4
1
) (
2
z z
z
z f
(binomial vlida para
|(z 3)/2| < 1 o |z 3| < 2)
... ) 3 (
8
1
) 3 (
16
3
4
1
) 3 ( 4
1
) (
2
+ +

= z z
z
z f
161
0 < |z| < 1.
) 1 (
1 8
) (
z z
z
z f

+
=
| |
... 9 9 9
1
... 1 )
1
8 (
1
1 1 8
) 1 (
1 8
) (
2
2
+ + + + =
+ + + + =

+
=

+
=
z z
z
z z
z z z
z
z z
z
z f
162
1 < |z 2| < 2.
) 1 (
1
) (

=
z z
z f
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.
2
2
1
1
2
1
2 2
1 1
) (
) ( ) (
1
1 1
) (
1
2 1

+
=
+
= =
+ =

+ =
z
z z
z f
z f z f
z z
z f
...
2
) 2 (
2
) 2 (
2
2
2
1
...
2
2
2
2
2
2
1
2
1
4
3
3
2
2
3 2

+ =
(

+
|
.
|

\
|

|
.
|

\
|

+

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

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

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

=
(

+
|
.
|

\
|

|
.
|

\
|

=
+
=

=
z z z
z z z z
z
z z z
z f
164
f(z) = e
3/z
, 0 < |z|.
...
! 3
3
! 2
3 3
1
...
! 3 ! 2
1
3
3
2
2
3
3 2
+ + + + =
+ + + + =
z z z
e
z z
z e
z
z
165
(a) 0 < |z| < 1,
(b) 1 < |z|,
(c) 0 < |z 1| < 1
(d) 1 < |z 1|.
) 1 (
1
) (

=
z z
z f
166
| |
... 1
1
... 1
1
1
1 1
) (
2
2
=
+ + + =

=
z z
z
z z
z
z z
z f
...
1 1 1
...
1 1
1
1
1
1
1 1
) (
4 3 2
2 2
2
+ + +
=
(

+ + +
=

=
z z z
z z z
z
z
z f
) 1 (
1
) (

=
z z
z f
167
| |
... ) 1 ( ) 1 ( 1
1
1
... ) 1 ( ) 1 ( 1
1
1
) 1 1 (
1
1
1
) 1 )( 1 1 (
1
) (
2
2
+ +

= +

=
+
=
+
=
z z
z
z z
z
z z
z z
z f
...
) 1 (
1
) 1 (
1
) 1 (
1
) 1 (
1
...
) 1 (
1
) 1 (
1
1
1
1
) 1 (
1
1
1
1
1
) 1 (
1
) 1 ( 1
1
) 1 (
1
) (
5 4 3 2
3 2 2
2
+

=
(

=
+
=
z z z z
z z z z
z
z z z
z f
168


) 3 (
1
) (
2

=
z z
z f
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.
Puntos singulares
z
0
= 0
z
0
= 3

=
< <

+ =
0 1
0
0
0
0
) (
) ( ) (
n n
n
n
n
n
R z z
z z
b
z z a z f

=
=
'
(

+
=
+
=
+
=

<
1
1 1
2
0 0
) 1 (
1
1
) 1 (
1
; ) 1 (
1
1
;
1
1
: 1 Para
n
n n
n
n n
n
n
nw
w w
w
w
w
w
w
Examen
JUNIO 04/05: P-1
169
z
0
= 0
2
2
0
2
0
1
0
3
1
3
1
3 3
1
3
1 1
) (
3
1
3 3
1
3
1
3
1
3
1
: 3 0 1
3
0 Si
z z
z
z z
z f
z
z
z
z
z
z
n
n
n
n
n
n
n
n

+ =

=
=
|
.
|

\
|
=

< < < <

=
+

=
Polo doble
0
3
z
0
= 3

+ + =

=
|
.
|

\
|

=
(

|
.
|

\
|

+
=
< < <

<
0
2
1
3 2
1
1
1
2 2 2 2
3
3
1
) 3 )( 2 ( ) 1 (
3
1 1
3
1
) (
3
3
) 1 (
3
1
3
3
1
1
3
1 1
: 3 3 0 1
3
3
0 Si
n
n n
n
n
z
z n
z z
z f
z
n
z
z
z
z
Polo
simple
0
3
170
P1. Junio 2006
Respuesta.
N n
z z
z f
n
e

= ,
) 2 (
1
) (
) 2 (
1
) (

=
z z
z f
n
Puntos singulares, z = 0, z = 2.
Obtener el desarrollo en serie de Laurent de la funcin f(z)
vlido en el entorno de cada uno de sus puntos singulares.
171
Entorno de z = 0; 0 < |z| < 2
2


=
+

=
=

=
=

=
n k
n k
k
k
k
k
n
n n
z z
z
z
z z z
z f
2 2
1
2 2
1
)
2
1 ( 2
) 1 ( 1
2
1 1
) (
0
Entorno de z = 2; 0 < |z - 2| < 2
2
1
) (
2
1 1
) (

=
z
z g
z z
z f
n
2 4
1
2
<
z
172
n
z
z g
1
) ( =
es analtica en |z 2| < 2 => Admite desarrollo de Taylor:
k
k
k
z
k
g
z g ) 2 (
!
) 2 (
) (
0
) (
=

=
k n
k k
k n
k k
n n n
n
k n
g
z n
k n
z g
z
n n
z g
z
n
z g
z
z g
+ +
+ +

+
=

+
=
+
=
' '

=
'
=
2
1
)! 1 (
)! 1 (
) 1 ( ) 2 ( ;
1
)! 1 (
)! 1 (
) 1 ( ) (
;
) 1 (
) ( ; ) ( ;
1
) (
) ( ) (
2 1

=
+

+
=
=

+
=
0
1
0
) 2 (
)! 1 ( !
)! 1 (
2
) 1 (
) 2 (
1
) ( ) ( ) 2 (
)! 1 ( !
)! 1 (
2
) 1 (
) (
k
k
k n
k
k
k
k n
k
z
n k
k n
z
z g z f z
n k
k n
z g
173
z z
z
z f
2 2
) 1 (
) sin(
) (

=
t
Obtener el desarrollo en serie de Laurent de la funcin
vlido en el disco |z| < a. Especificar el mximo valor de a donde el
desarrollo es convergente.
a
Respuesta.
Ptos. singulares z = 1. (z = 0 es una singularidad evitable: lim (z0) f(z) = 1)
a
mx
= |z

0| = 1. Recordemos que:
<
+

=
+
z en converge
)! 1 2 (
) 1 ( ) sin(
0
2 1 2
n
n n
n
z
n z
z
t
t
<
+

= + =

=
+
| |
)! 1 2 (
) 1 (
! 5 ! 3
sin
0
1 2
5 3
z z
n
z z
z z
n
n
n

174
1 ,
z
1
z
1
2z
1
2z
1
1
1
) 1 (
1
0
2
2
0
1 2
0
2
2 2 2
< = =
'
|
.
|

\
|
=
'
|
.
|

\
|

=
z nz nz z
z z
n
n
n
n
n
n
= |
.
|

\
|
|
|
.
|

\
|
+

=
=

=


=

=
+ +
0
2
0
1 2 1 2
2
2 2 2 2
)! 1 2 (
) 1 (
z
1
) (
) 1 (
1 ) sin(
) 1 (
) sin(
) (
n
n
n
n n
n
nz z
n
z f
z z
z
z z
z
z f
t
t t
1 , ) (
)! 1 2 (
) 1 (
) (
0
2 2
0
1 2
<
|
|
.
|

\
|

=
+
z z k
k
z f
n
n
n
k
k
k
t t
175
P1. Septiembre 2007
Sea la funcin donde se considera la determinacin
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 z
0
= 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.
|
.
|

\
|

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

- La funcin no es analtica. Para analizar el dominio
de holomorfa de esta funcin se debe considerar:
* Por un lado, los puntos singulares de , en este
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
2
1
z
|
.
|

\
|

1
4
log
z
z
1
4

z
z
177
2 2 2 2
2
) 1 (
3
) 1 (
) 1 )( 4 (
) 1 (
) 4 (
1
4
y x
y
i
y x
y x x
iy x
iy x
z
z
w
+

+
+

=
+

=

=
con lo que

< < >

=

>
+

>
=
+

=
= =
4 1 0 ) 1 )( 4 (
0
0
) 1 (
) 1 )( 4 (
0 ) Re(
0
) 1 (
3
0 ) Im(
4 0
2 2
2
2 2
x x x
y
y x
y x x
w
y x
y
w
z w
As, no es analtica en todo el segmento real |
.
|

\
|

1
4
log
z
z
| | 4 , 1 e = x z
178
Con todo, la funcin f es analtica en
todo el plano complejo menos en z = 0
y en el segmento
| | 4 , 1 e = x z
Re (z)
Im (z)
- Los puntos 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
observamos que f se puede expresar de la forma con
analtica en z = 0 y g(0) = log(-4) = Ln(4) + i 0.Luego
z = 0 es un polo doble.
| | 4 , 1 e = x z
2
) (
) (
z
z g
z f =
|
.
|

\
|

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

\
|

=
1
4
log ) (
z
z
z g
|
.
|

\
|

=


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

1 1
1
1
1 1
1
1
1
4

4 1
1
4
1 1
4
1
0
0
< =

<

=
z z z
z
z z
z z z
z
z z
n
n
n
n
n
(... continuar el problema ...)
181
Obtener todos los posibles desarrollos en serie de potencias (Taylor y
Laurent) de las funciones complejas:
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.
,
) 1 (
1
) ( ) ;
1
1
) ( )
2
z
z f b
z
z f a
+
=
+
=
alrededor de z = 1. Indicar el radio de convergencia de cada una de
las series obtenidas.
182
Entonces:
n
n
n
n
n
n
n
n
z z f
z
z
z
z f
) 1 (
2
) 1 (
) (
) 1 (
2
) 1 (
2
1
)
2
1
( 1
1
2
1
1
1
) (
0
1
0

+
=
+
=

=
+

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


=
+ +

=
+

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

=
+
=
+
=
Taylor) de (Serie 2 1 con , ) 1 (
2
) 1 ( ) 1 (
) (
) 1 (
2
) 1 (
) ) 1 (
2
) 1 (
( ) (
0
2
1
1
1
1
0
1
<
+
=

=
+

=
+
+

=
+
z z
n
z g
z
n
z
dz
d
z g
n
n
n
n
n
n
n
n
n
n
n
n
184
y
Laurent) de (Serie 2 1 con
) 1 (
2 ) 1 (
) 1 (
2 ) 1 (
) (
1
1
1 1
1
1 1
>

=
|
|
.
|

\
|

=


=
+
+ +

=
+ +
z
z
n
z dz
d
z g
n
n
n n
n
n
n n
185
) 2 )( 1 (
1
) (

=
z z z
z f
|
|
.
|

\
|

=
=
|
.
|

\
|

=

=
)
2
1 ( 2
1
)
1
1 (
1 1
2
1
1
1 1
) 2 )( 1 (
1
) (
z
z
z
z
z z z z z z
z f
Obtener la serie de Laurent vlida en el dominio 1 < |z| < 2 de la
funcin compleja:
Respuesta.
186

=
+

=
+

=
=
=
|
|
.
|

\
|
+ =
0
1
1
0
2
0 0
2
1
2 2
1 1 1 1
) (
n
n
n
n
n
n
n
n
n
n
z
z
z
z z z
z f
187
188
189
190
191
192
193
194
195
196
197
198
199
Gracias al desarrollo de Laurent podemos encontrar
el valor de algunas integrales. Por ejemplo, calculemos:
}
C
z
dz e
/ 1
Encontremos las serie de Laurent
de e
1/z
:
< < + + + + = =
< + + + + = =

=
| | 0 ;
! 3
1
! 2
1 1
1
!
) / 1 (
; / 1
| | ;
! 3 ! 2
1
!
3 2
0
/ 1
3 2
0
z
z z z n
z
e z z
z
z z
z
n
z
e
n
n
z
n
n
z

... , 2 , 1 , 0
) )( (
2
1
1
0
=
=
}

n
dz z z z f
i
b
C
n
n
t
Recordemos:
}

= =
C
z
dz z e
i
b
1 1 / 1
1
) 0 (
2
1
1
t
i dz e
C
z
t 2
/ 1
=
}
200
Otro ejemplo: Desarrollemos f(z) = 1/(z-i)
2
en serie de
Laurent alrededor de z
0
= i.
... , 2 , 1 , 0 , ) )( (
2
1
... , 2 , 1 , 0 ,
) (
) (
2
1
1
0
1
0
= =
=

=
}
}

+
n dz z z z f
i
b
n dz
z z
z f
i
a
C
n
n
C
n
n
t
t
}

=
=
=

+
C
n
n si i
n si
i z
dz
2 2
2 0
) (
3
t
Hemos resuelto
infinitas integrales
de una tacada!
Ya est desarrollado! Todos los coeficientes a
n
y b
n
son cero a excepcin de b
2
= 1. Entonces, como:
201
1 , ...
3 2
) 1 ln(
1 , ... 1
1
1
3 2
3 2
< + = +
< + + + + =

x
x x
x x
x x x x
x
1 , ... 1
1
1
4 2
2
< + + =
+
x x x
x
Acabemos con la pregunta de la transparencia
sobre series de Taylor en variable real:
Es fcil ver
por qu el
radio de
convergencia es
|x|<1.
Pero, en este caso:
cul es el motivo?
202
203