Series y estructura de capítulos sobre sucesiones, series de Taylor y Laurent, ceros, polos y residuos

Series y
II Estrudura capitulo
11.1 Sucesiones y series
11.2 Serie de Taylor
11.3 Serie de Laurent
11.4 Ceros y polos
11.5 Residuos y teorema qel residuo
11.6 Calculo de integrales reales
Ejercicios de repaso del capit ulo 11
La formula de la integral de Cauchy para. las derivadas indica que
si una funci6n f es anal1tica en un punta z
0
, entonces, dicho punta
tiene derivadas de todos los 6rdenes. Como consecuencia del resul-
tado anterior, en este capitulo se plantea que. f puede expandirse
siempre en una serie de potencias centrada en dicho punta. Par
otro lado, si f no es analltica en un z
0
, es posible expandirla
aun en un tipo diferente de serie conocida como serie de Laurent.
El concepto de serie de Laurent conduce.al concepto de un re-
sidua, el que a su vez Ueva a otra forma de calcular integrales
complejas.
)
11
I
'"
;'.
,,
'
J
477
Por Dayet

y

@

--4------------------x
Figura 11.1 Si {zn} converge a L,
todos excepto un numero finito de
terminos se encuentran en una
e-vecindad de L
)'
l
4
I " --.... I
-- , ' -
Sf \ 3
--.._ ____ ._+--+ -.r
- I\
\
,,
......
--
-----
Figura 11.2 Los terminos
de la sucesi6n se acercan a 0
espiralmente
478
11 11.1
Sucesiones y series
)
Introducci6n Gran parte de Ia teorfa de sucesiones y series complejas es ancHoga
a Ia existente en calculo real. En esta secci6n se analizan las definiciones de convergen-
cia y divergencia para sucesiones complejas y series infinitas complejas. Ademas, se
proporcionan algunas pruebas para Ia convcrgencia de series infinitas. Se sugiere poner
atenci6n especial a lo expuesto sobre series geomt tricas, ya que este tipo de series son
importantes en secciones posteriores de este capitulo .
Sucesiones Una sucesi6n {<:,} es una funci6n cuyo dominio es el conjunto de en-
teros positivos; en otras palabras, a cada enteron = l, 2, 3, ... , se le asigna un numero
complejo z,. Por ejemplo, Ia sucesi6n { I + i"} es
I + i, 0,
i i
I - i , 2,
i i
I+ i, .. .
i
II = }, 11 ::: 2, 11 ::: 3, 11 = 4, 11 = 5, ... .
(1)
Se dice que si lfm, ... oo Z, = L Ia sucesi6n {z.,} es convergente. En otras palabt'8S, {z/1 }
converge al numero L si, para cada numero positivo e, sc encucnrra un N tal que lz, -
Ll < e siempre que n > N. Como se muestra en Ia figura 11.1 , cuando una sucesi6n {z, }
converge a L, todos excepto un numero fin ito de tcnnil10s de Ia sucesi6n se hallan dentro
de una e-vecindad deL. La sucesi6n {I + i"} ilustrada en ( I) es divergente, puesto que
eltermino general z" = 1 + i" no ticnde a un nt1mero complejo fijo cuando n -7 oo. De
hecho, los primeros cuatro terminos de esta sucesi6n se repiten infinitamente a! incre-
mentarse n.
Ejemplo 1 Una sucesi6n convergente
{
;11 +1 }
La sucesi6n - n- converge, ya que
i"+ I
lfm -= 0.
11-+00 ,
Como se observa de
i I i I
- 1 ------
' 2' 3' 4' 5'
... '
y Ia figura 11.2, los terminos de Ia sucesi6n avanzan hacia el punto z = 0 en forma de
espiral. 0
El siguiente teorema deberfa ser intuitivo:
TEOREMA 11.1 Criterio para la convergencia
Una sucesi6n {Z
11
} converge a un numero complejo Lsi, y s61o si, Re(z,) converge a
Re(L) e Im(z.,) converge a Im(L).
Ejemplo 2 Ilustraci6n del teorema 11.1
La sucesi6n converge a i. Observese que Re(i) = 0 e lm(i) = I. Entonces,
11 + 21
de
ni 2n n
2
z = ----- = --- + i -----
, II + 2i 11
2
+ 4 11
2
+ 4'
CAPITULO 11 Series y
se observa que Re(z,) = 2nl(n
2
+ 4) 0 e Im(z,) = n
2
/(n
2
+ 4) 1 cuando 11 oo. 0
Series Una serie infinita de numeros complejos
co
L Zt = Zt + Z2 + Z3 + + Z
11
+
k l
es convergente si Ia sucesi6n de sumas parciales { S,}. donde
S, = Zt + Z2 + Z3 + + Z,,,
converge. Si S, L cuando n oo se dice que Ia sum a de Ia serie es L.
Serie geometrica Para Ia seri e geometri ca
00
2: m!'-
1
=a+ az + ac + + az"-
1
+
k l
el tennino 11-esimo de Ia sucesi6n de sumas parciales es
S, = a+ az + az
2
+ + az"-
1
.
(2)
(3)
Multiplicando S, por z y res tandole cste resullado a S, se obtiene S, - zS, =
a - at'. Despejando S, se obtiene
a( l - z")
s, = .
1 - z
(4)
Como t' 0 cuando 11 oo, siempre y cuando lzl < l se concluye de (4) que (2) con-
verge a
a
I - z
para lzl < I: Ia serie diverge cuando lzl I. La serie geomctrica especial
1-z
(5)
y
I 2 J
J+";= L- z+z -z +
(6)
val ida para ld < l , es.de utilidad particular en las siguicntes dos secciones. Asimismo. en
las demostraciones de los dos principales tcorcmas de este capftulo se utiliza
o. en su forma alternativa,
-
1
- = 1 + z + z
2
+ z
3
+ .. + t- + _t_' __
I - z I - z
Ejemplo 3 Serie geometrica convergente
La seri e
oo ( l + 2i)* I + 2i (I .+ 2i)
2
( 1 + 2i)
3
=--+ + +"
sk s 5
2
5
3
(7)
(8)
I'
'479
480
cs una serie geometrica con a = (1 + 2i)/5 y z = ( I + 2i)/5. Como ld = Vs/5 < I, Ia
serie converge y entonces se escribe
I + 2i
00
( I + 2i)k
5
2:
5k
I + 2i 2
k a l
1 -
5
Condici6n necesaria para
La convergencia
Si "'
00
Zk converge, lim,_.oo Zn = 0 .
.t:.Jk I
0
Una forma cquivalente del teorema 11 .2 es Ia conocida prueba del termino
para Ia divergencia de. una seri e infinita.
La prueba del n-esimo termino para
La divergencia
Si Hm,_.
00
z, :1= 0, entonces Ia serie
2:
00
Zk d1verge.
k l
Por ejemplo, Ia serie =
1
(k + 5i)lk diverge puesto que z, = (n + 5i)ln I cuando
11 oo. La seri e geometri ca (2) diverge cuando ld 2: I, ya que, lfm,-+> lt'l no existe en
este caso.
Convergencia absoluta
Se dice que una serie in fin ita "'oo zk es absolutamente convergente si "'oo lz 1
-Jk l -Jk e I k
converge.
Ejemplo 4 Convergencia absoluta
La serie
1
(hl(l) es absolutamentc convergente puesto que likJI(ll = l!k
2
y Ia serie real
Lr'=
1
(l/k
2
) converge. De los cu'rsos de cl11culo recuerde que una serie real de Ia forma
Lr'=
1
( llkl') se denomina una serie p, Ia cual converge para p > I y diverge para p I. 0
AI igual que en calculo real,
La COI/vergencia absol111a implica co11 vergencia.
Asf. en el ejemplo 4, Ia seric
00 ;k 1 i
2: 2= i - 2 - --:;+ ..
k= l k 2 3-
converge.
CAPiTULO 11 Series y residuos
Las dos pruebas siguientes son las versiones complejas de las pruebas de Ia raz6n y de
rafz encontradas en clilculo:
TEOREMA 11.4. '
Prueba de la raz6n
. . .
Sup6ngase que L ~ a
1
zk es una serie de terminos complejos no nulos tales que
lfm IZ,.+II = L.
11-->00 z,.
i) Si L < l, entonces Ia serie converge absolutamente.
ii) Si L > 1 o L = oo, entonces Ia serie diverge.
iii) Si L = I, la prueba no es concluyente.
. TEOREMA 11'.5 ,;,.
Prueba de raiz
Sup6ngase que L ~
1
zk es una serie de terminos complejos tales que
lfm 'V"jZ,j = L.
11->00
i) Si L < 1, entonces la serie converge absolutamenle.
ii) Si L > 1 o L = oo, entonces Ia serie diverge.
iii) Si L = 1, Ia prueba no es concluyente.
(9)
(10)
Fundamental mente, se tiene interes en aplicar estas pruebas a las series de potencias.
Series de potencias El concepto de series de potencias es importante en el estudio
de funciones analfticas. Una serie infinita de Ia forma
00
,2: ak(Z - Zo)k = ao + a1(z - Zo) + a2(z - Zo)
2
+ , ( I I)
k e O
donde los coeficientes ak son constantes complejas, se denomina series de potencias en
z - Zo Se dice que Ia serie de potencias ( I I) est a centrad a en Zo y el pun to complejo zo
se conoce c'omo el centro de Ia serie. En ( I I) es conveniente t'ambien defi nir (z - 'l.o)
0
= I
incluso cuando z = Zo
Circulo de convergencia Todas las series de potencias complejas tienen radio de
convergencia R. En forma anfi loga al concepto de intervalo de convergencia en calculo
real, una serie de potencias compleja ( II ) tiene un clrcul o de convergencia definido por
lz - Zol = R cuando 0 < R < oo. La serie de potencias converge absolutamente para todos
los z que sati sfagan lz - Zol < R y diverge para lz - Zol > R. Vease Ia figura 11.3. El radio
de convergencia R puede ser: '
1) cero (en cuyo caso ( 11) converge unicamente en 'l. = Zo).
ii) un numero fin ito (en cuyo.caso (I I) converge en todos los puntos interiores del cfrculo
l'l. - z
0
1 = R), o
iii) oo (en cuyo caso ( I L) converge para cualquier 'l.).
Una serie de potencias puede converger en algunos, todos o ninguno de los puntos del
cfrculo de convergencia.
}'
divergencia
t'
II
1
,,
"
I
I
I:
'
I'
,,
I.
!
'"
t::
,,
1:'
-;--------:---- X
Figura 11.3 Una serie de
potencias converge en todos
los puntos dentro del drqulo de
convergencia
'I
'
'
481
482
Ejemplo 5 Clrculo de convergencia
Considerese La setie de potenCias 2::;"=
1
(zk+
1
/k). Por medio de Ia prueba de Ia raz6n (9),
' '
n+l
lfm
n-->oo z" +
1
11
II
= lim - - lzl = lzl
11-400 11 + l
Asf pues, Ia serie converge absolutarnente para lzl < 1. El cfrculo de convergencia es
lzl = l y el radio de convergencia es R = l. Observese que en el cfrculo de convergencia,
Ia serie no converge absolutamente, puesto que Ia serie de val ores absolutos es Ia muy co-
nocida serie arm6nica divergente 2::;"=
1
(1/k). Sin embargo, hay que tomar en cuenta que
esto no significa que La dive1ja en el cfrculo de convergencia. l)e hecho, en z = -1,
2::;"=
1
((- L)k+
1
lk) es la serie arm6nica alternante convergente, y puede demostrarse que
Ia serie converge en todos los puntos sobre Ia circunferencia lzl = l excepto en z = l. 0
Deberfa ser claro a partir del teorema 11.4 y del ejemplo 5 que para una serie de potencias
2:::0=o ak(z - z
0
)\ ellfrnite (9) depende unicamente de los coeficientes ak. Asf, si
i) lfm Ia,,+ 'I= L =F 0, el radio de convergencia es R = 1/L;
n400 llu
. ") li "+ I ' 0 I d" d .
. Ia I
u . m -- = , e ra 10 e convergenc1a es oo;
n-+oo an
iii) lfm Ia, + 'I = oo, el radio de convergencia es R = 0.
n-+oo aJJ
Pueden realizarse observaciones similares para Ia prueba de rafz (10) utili zando
lfm,Hoo
Ejemplo 6 Radio de convergencia
oo (-l)k+
1
(z- l-it
Considerese la serie de potencias 2: k! . Igualando a, = ( - 1)"+
1
/n!
k = i
se tiene que
lfm

( -1)11+2
(n + 1)!
(-1)"+1
n!
' 1 0
=lim--= .
n + I
Asf, el radio de convergencia es oo; Ia serie de potencias con centro 1 + i converge com-
pletamente para todas las z. 0
Ejemplo 7 Radio de convergencia
Considereselaseriedepotencias
+
1
)\z- 2iY.Cona
11
=(
611
+
1
)", lapmeba
k=
1
2k + 5 2n + 5
de rafz en Ia forma
, nr.-7 611 + ]
lfm v 1a,,1 = lfm
2
= 3
11 -+oo n->oo n + 5
muestra que el radio de convergencia de Ia serie es R = El cfrculo de convergencia es
lz - 2il = Ia serie converge absolutamente para 1z - 2il < 0
CAPITULO 11 Series y residuos
En los problemas del l al 4, escriba los primeros ci nco lenni-
nos de Ia sucesi6n indieada.
1. {5i"} 2. {2+(-i)"}
3. { I + e'I1T
1
}
4. { ( I + i)"} [Sugerencia: Escribalos en forma polar.]
En los problemas del 5 al I 0, determine si Ia sucesi6n indicada
converge o diverge.
5
. { 3ni +
n + m
7. {(;1; +.2?}
11
2
1
9.
10. { e
11
" + 2(tan-
1
n)i}
En los problemas II y 12, demuestre que Ia sucesi6n indicada
{<:
11
} converge a un nomero complejo L calculando lfm" ..... '" Re
(z,) y lfm"_,'" Im(z
11
) .
11.
{
411 + 3ni}
211 + i
12.
En los problemas 13 y 14, uti li ce Ia succsi6n de sumas partia-
les para mostrar que Ia serie indicada es convergente.
13
' [ k 2i - k + 1
1
+ 2;]
14. ( i )
k 2 k k + I
En los problemas del IS al 20, determine si Ia serie geometri ca
indieada es convergente o divergente. Si es convergente, en-
cuentre su suma.
OiJI
00 cy-1
15. L ( I - i)k 16. 2:4i -
k - O k I 3

oo I
17. 18.
2: k - J .
k l 2 k - 0 2
00 ( 2 y
00
;k
19. 2: 3 -- 20.
2:
+ ;y-
k O I + 2i t .. l ( I
11 11.1
Serl e de Taylor
-- L.. ; ;
imr.ares en Ia lpagina RESP-27.
En los problemas del 21 al 28, eneuentre el efreulo y el radio de
convergeneia de Ia serie de poteneias indieada.
00 1
21. ( I - 2i)k+ I (z- 2it
22. .!. (- ; -)\k
1 k l + i
00 (- 1)*
23. 2: - k- (z - 1 - i)k
I k2
I
r
00
25. 2: (I + 3i)*(z- i)"
26.
27.
28.
29.

00 t
2: -
k ; I II
oo (z - 4 - 3i)k
52k
( - I)"(' +
2
; J ( z + 2i)*
k= O 2
00
Demuestre que Ia serie de poteneias
2:
(
. ')"
.z- I
noes
Ia*
k l
.absolutamente eonvergente sobre su cfreulo de conver-
gencia. Determine al menos un pun'to de,dicho cfrculo
en el que Ia serie de potencias eonverja. I '
30. a)
00 k
Demuestre que Ia serie de potencias 2; z
2
conver-
k .. l k
ge en todos los puntos de su efrcul o de convergencia.
00
b) Demuestre que Ia seri e de potencias 4 kf diverge
k t" l
en todos los puntos de SU cfrcul o de convergencia.
)
Introducci6n La correspondencia entre un numero complejo z. del interior del
cfrculo de convergencia y el numero al que converge Ia seric
1
at(Z - z
0
)k tiene un
unico valor. En estc sentido, una seri e de potencias define o represe111a una funci6n f;
para una z especffica en el interior del cfreul o de convergencia, cl numero L al que con-
verge Ia seri e de potencias se define como el valor de fen z, esto es, f(z) = L. En csta
sccci6n se presentan algunos datos importantes sobre Ia naturaleza de esta funci 6nf
En Ia secci6n ant eri or se plantea que todas las seri es de potencias tienen un radio
de convergencia R. A lo largo de Ia argumentaci6n de esta secci6n se plantea que una
serie de potencias
1
ak(z - Zo)" tiene un radio R de convergcncia que es posirivo o
I'
''
. 483
484
infinito. Los siguientes tres teoremas ofrecen algunos elementos importantes sobre Ia
naturaleza de una serie.de potencias en el interior de su cfrculo de convergencia lz - Zol
= R,R :1= 0.
Continuidad
Una serie de potencias 2:::"=oaiz- zol representa una funci6n continuafen el
interior de su cfrculo de convergencia 1z - Zoi = R, siendo R :1= 0.
Integraci6n termino a termino
Una serie de potencias 2:;'=
0
ak(z - Zo)k puede integrarse termino a termino en el
interior de su cfrculo de convergencia lz - Zol = R, siendo R :1= 0, para cualquier
contorno C, que se encuentre completamente en el interior de dicho drculo.
Una serie de potencias L::"=o ak(z - Zol puede derivarse ternuno a termino en el
interior de su cfrculo de convergencia lz - zol = R, siendo R :1= 0.
Serie de Taylor Sup6ngase que una serie de potencias representa una funci6nfpara
lz - Zoi < R, sienclo R :1= 0; esto es,
co
J(z) = .2: ak(z - Zo)k = ao + a,(z - ZQ) + a2(z - Zo)
2
+ aiz - Zo)
3
+ . (I)
k=O
Del teorema I 1.8 se inficre que las derivadas de f son
co
!' (z) = .2: kak(Z - ::ol-
1
= a 1 + 2a2(Z - Zo) + 3a3(z - Zo)
2
+ 0 (2)
k = l
co
f"(z) = .2: k(k - I )ak(z - Zo)k-2 = 2 I a
2
+ 3 2a
3
(z - Zo) + (3)
k = 2
co
J"'(z) = .2: k(k - I )(k - 2)ak(Z - Zo)H = 3 2 I a
3
+ ... (4)
k3
etc. Cad a una de las series resultantes de Ia derivaci6n tienc el mismo radio de conver-
gencia que Ia serie original. Asimismo, como Ia serie de potencias ori gi nal rcpresenta
una funci6n f derivable en el interior de su cfrculo de convergencia, se concluye que
cuando R :1= 0, 11110 serie de pote11cias represe11ta a una ju11ci611 mwlftica e11 el i11terior de
su cfrculo de co11verge11cia.
Existe una relaci6n entre los coeficientcs ak y las derivadas de f Calculando (I), (2),
(3) y (4) en z = zo se obtienen
f(Zo) = ao, J'(Zo) = I !a
1
, J"(Zo) = 2!a
2
, y J"'(::o) = 3!a
3
,
respectivamente. En !?enerai,Jv'
1
(z
0
) = 11!a, o
f"l(Zo)
a, = --
1
- , 11 ;?! 0.
II.
(5)
Cuando 11 = 0, Ia deiivada cero se interpret a como f(Zo) y 0! = I. Sust ituyenclo (5) en
(1) se obtiene
(6)
CAPITULO 11 Series y residues
Esta seri e se denomitH,l.la serie de Taylor centrada en z
0
paraf Una scrie de Taylor con
centro en = 0,
oo f (kl(o)
f(z) = """/;! t,
se conoce como sel'i e de Maclaurin.
(7)
Se ha visto que una serie de potencias con un radio de convergencia no nulo repre-
senta una funci6n analftica. Por otro lado, si se tiene una funci6n f que es analftica en
a! gun dominio D, (. puede representarse mediante una serie de potencias de las form as (6)
y (7)? Puesto que una serie de potencias converge en un domi nio circular, y un domi nio
D no es general mente circular, Ia pregunta se conviertc en: (.puede expandi rsc fen una o
mas serie de potencias que sean validas en dominios circulares todos ell os contenidos en
D? La pregunta se contesta afumativamente en el siguiente teorema.
TEOREMA. 11.9 . . l
Teorema de Taylor
Seafanalftica denuo de un domi nio D y un punto en D. Entoncesftiene Ia
representaci6n serie de potencias
(8)
valida para el cfrculo mas grande C, con centro en y radio R, comprendido entera-
mente dentro de D.
Demostraci6n Sea z un punto fijo dent ro del cfrcul o C y sea s Ia variable de intcgra-
ci6n. El cfrculo C se describe entonces por Is - = R; veasc Ia figura 11.4. Para co-
menzar, se util iza Ia f6rmula integral de Cauchy a fi n de obtener el valor def en z:
1 i f(s) I i f(s)
{<. =- --ds =- ds
( ) 21Ti c s - z 21Ti c (s - Zo) - (z - <.o)
1 i f(s) { I }
=- -- ds.
21Ti c s - <.o I _ z - <.o
s - zo
(9)
Reemplazando z por (z - <.o)l(s - Zo) en (8) de Ia secci6n 11.1, se ti ene
----= I + --+ -- + ... + -- + - -...:.-----'----:-
I z - Zo ( z-zo)
2
( z - Zo)" -
1
(z- Zo)"
<:- Zo s- Zo s- zo s- <.o , (s- z)(s- z
0
)"-
1
'
1 -
s- zo
por lo que (9) resulta en
I i f(s) <. - i f(s) (z - Zo? i f(s)
{(<.) = - - - ds + -- ds + ds + ..
21Ti s - Zo 21Ti c (s -

21Ti c (s - Zo)
3
c ( 10)
(z - ZQ)" -
1
i f(s) (z- zo)" i f(s)
+ ds + ) ) ds.
21Ti c (s - ZoY' 21Ti c (s - z (s - Zo "
Utilizando Ia f6rmula de Ia integral de Cauchy para las derivadas, ( I 0) se reescribe
como

f(<.) = + -(z - Zo) + --(z - zo? + ...
I ! 2! .
/{n - 1)( )
( )"- ' R ( )
+ (n _
1
)! Z - <.o + " z ,
( 11)
D
I
"
I
I:
"
I'
1:'
Figura 11.4 Contorno c'rt ular C
utilizado en Ia demostraci6n del
teorema 11.9
I,
,, 485
.r
486
(z - zo)" i f(s)
R,(z) =
2
. ( )( )" ds.
17'1 c s - z s - Zo
donde
La ecuaci6n (11) se denomina f6rmula de Taylor con restoR,. Se desea mostrar a con-
tinuaci6n que R
11
(z) 0 cuando n oo. Como f es analitica en D, 1/(z)ltiene un valor
maximo M sobre el contomo C. Ademas, puesto que z esta en el interior de C, se tiene
que 1z - Zol < R' y, en consecuencia,
donde d = lz - Zol es Ia distancia entre z y Zo La desigualdad ML da entonces
l
(z - Zot J f(s) I cl' M MR (d)"
JR,(z)J = 21Ti 'fc (s - z)(s - Zo)" ds !5 217' . (R - d)R" .
2
1TR = R - d R
Debido a que d < R, (d!R)" 0 cuando n oo, se concluye que IR,lz)l 0 cuando n oo.
Se deduce entonces que Ia serie infinita
J'(Zo) !"(Zo) 2
f(z) + --(z - zo) + --(z- zo) + ...
0 1! 2!
converge af(z). En otras palabras, el resultado de (8) es valido para cualquier punto z
interior a C. 0
EI radio de convergencia de una serie de Taylor se encuentra exactamente de Ia misma
forma que en los ejemplos del 5 al 7 de Ia secci6n II. I. Sin embargo, es mucho mas
simple observar que el radio de convergencia es Ia distancia desde el centro Zo de la serie
a Ia singularidad aislada mas cercana af En Ia pr6xima secci6n se discute mas a fondo
este concepto, sin embargo se puede adelantar que una singularidad aislada es un punto
Zo en el que f deja de ser analftica, pero es analftica en el resto de todos los puntos deal-
grma vecindad de Zo Por ejemplo, z; = 5i eS una singularidad aislada def(z) = l/(z- 5i).
Si Ia funci6nfes entera, entonces el radio de convergencia de una serie de Taylor cen-
trada en cualquier pun to Zo es necesariamente oo. Utilizando (8) y esta ultima afirmaci6n
se puede decir que las representaciones de Ia serie de Maclaurin
z z
2
oo t
ez = 1 + - + - + ... = L -
I! 2! k O k!
( 12)
( 13)
(14)
son validas para cualquier z.
Si dos series de potencias con centro en Zo:
representan la misma funci6n y tienen el mismo radio de convergencia no nulo, entonces
a* = bk, k = 0, I, 2, .... Dicho de otra manera, Ia expansi6n en serie de potencias de una
funci6n con centro en Zo es rlnica. En forma practica, esto significa que una expansion
de una serie de potencias para una funci6n analfticaf centrad a en Zo es Ia expansi6n de Ia
serie de Taylor de Ia funci6n, indepcndientemente del metodo utilizado para obtenerla.
Por ejemplo, ( 14) se obtiene derivando simplemente ( 13) termino a termino. La serie de
Maclaurin para el
1
se obtiene reemplazando el sfmbolo z de (12) por z
2
.
Ejemplo 1 Serie de Maclaurin
Encuentre Ia expansion de Maclnurin paraf(z) = (
1
_ z?.
Soluci6n Desde luego, se pucde comenzar calcul ando l os coelicicntes con (8). Sin
embargo, se sabc de (5) de La secci6n 11.1 que para lzl < I ,
I , _j
--= I + <: + z + ' + .
I -::
Derivando ambos lados del ultimo resultado rcspecro a z se produce
I ""
---
2
= I + 2z + 3z
2
+ = 2>t-
1

( I - z) k 1
( IS)
Como sc csta utili zando el teorema I l.8, el radi o de convcrgencia de esta ultima serie es
el mismo que el de Ia serie original. R = I . 0
Ejemplo 2 Serie de Taylor
I
Expandaf(z) = --en una serie de Taylor de centro Zo = 2i.
1 -z
Soluci6n A continuaci 6n se resuclve este problema de dos formas; se comienza util.i-
zando (8). De l as primeras derivadas,
'( ) I II ( ) 2 I Ill( ) 3 . 2
f z = { l _ z?' f z = ( I _ z)3' f z = (I _ z)4'
se concluye quef <">(z) = n!l( I - z)"+
1
y porto tantof
1
">(2i) = n!/( I - 2i)"+
1
As I, de (8)
se obtiene Ia serie de Taylor
_ I - = ~ I (z - 2i)k
1 - :: ~ < 1 - 2;r I
( 16)
Puesto que Ia distancia desde cl centro Zo = 2i hasta Ia singularidad mas pr6Jtima z = l
es '\15, se concluye que el d rcul o de convergcnci a para Ia serie de potencias en ( 16) es
lz - 211 = '\15. Esto se veriti ca por medio de Ia prueba de Ia raz6n explicada en Ia sec-
ci6n anterior.
Soluci6n alterna En csta soluci6n se utili za de nuevo Ia seri e geometri cn ( IS).
Sumando y rcstando 2i en el denominador de 1/( 1 - z), sc escribe
I
--= ------ = - ------ = -------
1 -z 1 - z + 2i - 2i I - 2i - (z - 2i) - 2i z - 2i
I
I - 2i
I
Ahora se plantea -----. como una seri ede potencins utilizando (IS) y reemplazando
z - 2t
I
I - 2i
el sfmbolo z por (z - 2i)/( l - 2i):
_ 1 = _1_[
1
+ _z - _2i + (-z -_2i)
2
+ (-z - _2i)' + .. ]
1 - z I - 2i I - 2i I - 2i I - 2i
= -
1
- + I (- - 2i) + I (- - 2i)
2
+ --
1
- (z - 2i)
3
+ .
I - 2i ( I - 2i)
2
- ( I - 2i)
3
- ( I - 2i)
4
Se d e j ~ all ector veri ficar que est a ulti rna serie sea exnctamcnte Ia mi sm::t que ( 16). 0
,,
!
I
I
...
1.'
.
487
------"'i'::::::::::::Jt::::;;;>f""-----X
Figura 11.5 Las series (15) y
{16) convergen dentro de Ia regi6n
sombreada
En (15) y ( 16) se representa Ia misma funci6n 1/( I - z) por medio de dos series de
potcncias d,iferemes. La primera scrie
I
__ = I + z: + z:2 + <:3 + ...
1 - z:
tiene cero de centro y uno de radio de convergencia. La segunda scrie
L I I L
2
I (
3
--= - -
2
+ ( _
2
.
1
.)
2
(z - 2i) + (
1
)
3
(z - 2i ) + ( ) , z - 2i) + ..
I - z I - i 1 - 2i I - 2i .
tiene centro 2i y radio de convergencia Vs. Los dos cfrculos de convergencia se ilustran
en Ia figura 11.5. El interior de Ia intersecci6n de los dos cfrculos (parte sombreada) es
Ia regi6n donde ambas series convergen; en otras palabras, en un punto especffico z:* de
est a regi6n, am bas seri es conyergen al mi smo valor.f(z) = 1/( I - z:*). Fuera de Ia regi6n
sombreada, por lo menos una de las dos series debe clivergir.
En los problemas del I a! 12, expanda la funci6n indicada en
una serie de Maclaurin. lndique cual es el radio de convergen-
cia de cada serie.
En los problemas 23 y 24, utilice (7) para encontrar los tres
primeros terminos no nulos de Ia serie de Maclaurin para Ia
funci6n inclicada.
z
1. f(z) =
1
+ z
1
3. f(z) = ( I + 2z)2
5. f(z) = e-
2

7. f( z) = senh z
z
9. f(z) = cos
2
11. f(z) = sen z
2
I
2
' .f(z) = 4 - 2z
z
4. J(z) = ( )
3
1 - z:
6. /(z:) = ze-:
2
8. /(z) = cosh z
1 0. f(z) = sen 3z
12 . .f(z) = cos
2
z [Sugerencia: Uti lice una iclentidad trigono-
metrica.)
En los problemas del 13 al 22, expanda Ia funci6n propor-
donada en una serie de Taylor centrada en cl punto indicado.
lndique cual es el radio de convergencia de cacla serie.
13. f(z) = 1/z, z<, = 1
14. f(z) = liz, Zo = I + i
1
15. f(z) = --, Zo = 2i
3- z
1
16. f(z) =
1
+ z. Zo = - i
z- 1
17. J(z) =
3
_ z, Zo = L
I + z
18. J(z) = --, z
0
= i
1- z
19. f(z) = cos z, Zo = 'TTI4
20. /(z) = sen z. Zo = '"n
21. /(z) = e. z
0
= 3i
22. /(z) = (z - l )e-
2
z, Zo = I
23. f(z) = tan z
En los problemas 25 y 26, utilice fracciones parciales como
ayuda para obtener Ia serie de Maclaurin para Ia funci6n indi-
cada. Indique cuaJ es el radio de convergencia de Ia serie.
25. /( <.) = ( ')( ')
;: - I Z- 21
z-7
26. f( z) = z2 - 2z - 3
En los problemas 27 y 28, determine, sin efectuar real mente Ia
expansi6n, el radio de convergencia de Ia seri e de Taylor de
Ia funci6n proporcionada que esta centrnda en eJ punto incli-
cado.
. 4 + 5z
27. j (:.) = ---
2
, :.
0
= 2 + Si
I +
28. f (z) = cot z.
En los problemas 29 y 30, expanda Ia funci6n proporcionada
en Ia serie de Taylor ccntrada en los puntos indicados. Seiiale
ctH11 es cl radio de convcrgcncia de cada serie. Bosquejc Ia re-
gi6n en Ia cual ambas series convergen.
J
29. /(:.) = -2 - . Z() = - I. = i
+ :.
I
30. f(z) = z' Zo = I + i , l.(l = 3
31. a) Sup6ngase que Ia ramificaci6n principal del logarit-
mo /(z) = Ln :. = log,lzl + i Arg z se expande en una
serie de Taylor con centro Zo = - I + i. Explique por
que R = I es el radio del cfrculo mas grande centra-
do en Zo = - I + i , dentro del cuaJ,fes analflica.
488 CAPITULO 11 Series y residuos
b) Demuestre que en el interior del cfrculo lz- (- I +
i)l = I Ia serie de Taylor para/ es
d) Encuentre una seric de Maclaurin para 4'n
1: I- z
1 31T
00
l (I + ;)k
Ln <: = - log,2 + - i - 2: - -- (z + L - i/.
2 4 k= l k 2
c) Demuestre que el radio de c'onvergencia para Ia seri e
de potencias del inciso b) es R = Vi. Expljque por
que esto no contradice el resullado del inciso a).
En los problemas 33 y 34, aproxime el valor de La expresi6n
proporcionada utili zando el numero indicado de terminos de
una scrie de Maclaul'in.
(
1 + ;)
33. e<+;J/
10
, tres terminos 34. sen W , terminos
I
32. a) Considerese que La funci6n j(z) = Ln( I + z). i. Cwil
es el radio del. cfrcul o mas grande ccntrado en el
origen dentro del cualfes analftica?
35. En Ia secci6n 7. 1 se define Ia funci6n error cpmo
erf{z) = -- e-rdt. 2 I =
y;o
Encuentre una serie de Maclaurin para fer(z).
b) Ex panda/ en una serie de Maclaurin. t.Cuil l es el
radio de convcrgencia de est a scrie?
c) Uti lice el resultado del inciso b) a fin de hallar una
serie de Maclaurin para Ln( I - z).
36. Utilice Ia serie de Maclaurin para e'l con el fin de de-
mostrar Ia f6nnula de Euler para una z
eh = cos z + i sen z.
II 11.3
Serie de Laurent
)
Introducci6n Si una funci6n compLejaf deja de ser analftica en un pun to z = z
0
,
entonces se dice que este pun to es una singul aridad o un pun to singular de Ia funci6n.
Por ejemplo, los numeros complejos z = 2i y z = - 2i son singularidades de Ia funci6n
J(z) = v(z
2
+ 4) ya que f es discontinua en cad a uno de estos puntos. Recuerdese de Ia
secci6n 9.6 que el valor principal del logaritmo, Ln z. es analftico en todos los puntos
excepto en aquellos del corte de ramificaci6n asociado al eje x no positivo; csto es, el
punto de ramH1caci6n z = 0, asf como todos los numeros reales negativos son puntos
singulares de Ln z. Esta secci6n se concentra en un nuevo tipo de expansion de "seric de
potencias" defrespectoa una singularidad aislada <'.() Esta nueva serie involucra potcn-
cias enteras negativas y no negativas de z - Zo
Singulatidades aisladas Sup6ngase que z = zo cs una si ngularidad de una funci6n
compleja f Se dice que el pun to z = Zo es una singularidad aislada de La funci6n f si
existc alguna vecindad de <.
0
, de Ia cual se ha suprimido este punto, o disco abierto pcr-
forado, 0 < I z - Zo I < R de Zo en donde f es analfti ca. Por ejempLo, sc acaba de ver que
z = 2i y z = - 2i son singularidades de.f(z) = d(r + 4). Tanto 2i como - 2i son singula-
ridades aisladas, puesto quefes analf!ica en todos los puntos tie Ia vecindad definida por
lz- 2il < 1, excepto en z = 2i yen cada punto de la vecindad definida por lz - (-2i)l < I,
excepto en z = - 2i. En otras palabras,f es analftica en los di scos perforados 0 < lz - 2il
< I y 0 < lz + 2il < 1. Por otro I ado, el punto de ramificaci6n z = 0110 es una si ngularidad
aislada de Ln z. puesto que todas las vecindades de z = 0 deben contcner puntos sobrc
el eje x negati vo. Se dice que un pun to si ngul ar z = zo de una funci6n f es no a isla do si
cualquier vecindad de Zo contiene por lo me nos una singularidad de f diferente de Zo Por
ejemplo, el punto de ramificaci6n z = 0 es una singularidad no aislada de Ln z, ya que
cualquier veci ndad de z = 0 contiene puntos sobre el eje real negativo.
Un t ipo de serie Si z = Zo es una singularidad de una funci6nf, entonces
ciertamente I no puede expandirse en una serie de potencias con Zo como su centro. Sin
embargo, respecto a una singularidad aislada z = Zo es posible representar f por medio
de un nuevo tipo de serie que involucra potencias enteras negauvas y no negativ<ls de
z - z
0
; esto es,
.
'"

ltl 489
' I '
'
490
Utilizando notaci6n sumatoria, esta ultima expresi6n se escribe como Ia suma de dos
series
co co
f(z) = ,2: a_k(z - Zotk + ,2: ak(z - Zo)*. (I)
k l k=O
Las dos series dellado derecho de (I) reciben nombres especiales. La parte con poten-
cias negativas de z - Zo esto es,
sa denomina Ia parte principal de Ia serie (I) y converge para ll/(z- Zo) l < r* o, en
forma equivalente, para lz - Zo I > l!r = r. La parte formada por las potencias no nega-
tivas de z - ZQ,
se denomina Ia parte analftica de Ia serie (l) y converge para lz - Zol < R. Asf, Ia suma
de estas partes converge cuando z cumple con lz - z
0
1 > r y lz - zol < R, es decir, cuando
z es un punto de un dominio anular definido por r < lz - Zol < R.
Sumando los enteros negativos y no negativos, (I) se escribe en forma compacta
como
co
f(z) = ,2: ak(z - Zo)*.
k ;c -oo
El siguiente ejemplo ilustra una serie de la forma (I) cuya parte principal esta forma-
da por un numero finito de no oulos, pero cuya parte analfti ca consiste en un
numero infinito de terminos no nulos.
Ejemplo 1 Un nuevo tipo de serie
La funci6nf(z) =(sen z)/z
3
no es analftica en z = 0 y, por lo tanto, nb puede expandirse
en una serie de Maclaurin. Si n embargo, sen z es una funci6n entera, y de (13) de Ia sec-
ci6n 11.2 se sabe que su serie de Maclaurin
-? zs z1
sen z = z - - + - - - +
3! 5! 7! ,
converge para cualquier z. Dividicndo esta serie de potencias entre z
3
se obtiene Ia si-
guiente serie con potencias en teras negativas, y no negativas de z:
J(z) = sen z = ...!._ _ _!_ + _ z
4
+ ...
z
3
z
2
3! 5! 7!
(2)
Esta serie converge para cualquier z excepto z = 0, o sea, para 0 < lzl.
a
Una representaci6n en serie de una funci6n f que tenga Ia forma dada eo (I), por
ejemplo (2), se denomina una serie de Laurent o una expansi6n de Laurent de f.
TEOREMA 11.10 Teorema de Laurent
Seafanalftica dentro del dominio anular D definido por r < lz- Zol < R. Entonces/
tiene la representaci6n serie de potencias
co
f(z) = ,2: a.(z - Zo)k
(3)
k= - co
CAPITULO 11 y residuos
que es vat ida para r < !z - Zol < R. Los coeficientes ak vienen dados por
1 i f(s)
ak = -. ( )k+J ds, k = 0, 1, 2, ... ,
2m c s- Zo
(4)
donde C es una curva cerrada simple localizada enteramente dentro de D y que tiene
a zo en su interior (vease Ia figura I t.6).
Demostraci6n Sean C
1
y C
2
cfrculos concentricos de centro z
0
y radios R
1
y R
2
, donde
r < r
1
< R
2
< R. Sea z un punto fijo en D que tambien sati sface r
1
< lz - zol < R
2
; vease
Ia figura I 1.7. Introduciendo un corte cruzado entre C
1
y C
2
se encuentra a partir de Ia
f6rmula integral de Cauchy que
I i f(s) I i f(s)
f(z) = - . --ds - - . --ds.
2m :; - z 2m s - z
c, c,
Procediendo como en Ia demostraci6n del teorema 11.9 se escribe
donde
I i f(s) oo
-. --ds = 2:ak(z- z.o)k,
27TI c, S - Z k = O
ak = -
1
-.1 ( f(s\HI ds, k = 0, I , 2,
2m fc, s - Zo
Ahora, utilizando (5) y (8) de Ia secci6n I 1.1 se tiene que
__ I_ 1 f(s) dr = _1_ 1 f(s) ds
27Ti fc. s - z ' 27Ti fc. (z - Zo) - (s - z
0
)
= _ I 1 _M_ { L . } ds
27Ti J. c z - z
0
s - Zo
I 1 - --
z - Zo
= _1_.1 f(s) {
1
+ s - z
0
+ (s -z
0
)
2
+ ...
27TI fc, z - Zo z - Zo z - Zo
+ (s -Zo)" - ' + (s - Zo)" }ds
z - Zo (z - s)(z - Zo)"-
1
n a_"
= 2: ( )" + Rn(z),
*"' ' z-Zo
donde
l i f(s)
a_* = -
2
. ( )- k+
1
ds, k = I, 2, 3, ... ,
7Tl c, s - Zo
I i f(s)(s - zoY'
R" z) = ds.
( 27Ti(z - z )" z - s
0 c,
y
(5)
(6)
(7)
(8)
(9)
Ahora, sea d Ia distancia de z a Zo esto es, lz - Zol = d, y seaM el valor maximo de lf(z)l
en el contorno C
1
. Como Is - z
0
1 = r, ,
lz - sl = iz- Zo- (s - Zo)l2: iz - zol - Is - zol = d - r,.
La desigualdad ML lleva entonces a
R z = ds s -- -- 27Tr
1
= - - - .
' I i f(s)(s- Zo)" I l M1
1
: Mr1 fr1) "
I "()I 127Ti(z - Zo)" c, z - s 27Tcf' d- r
1
d - r
1
(,d
Figura 11.6 Contorno del teorema
11.10
Figura 11.7 (
1
y C
2
son circulos
concentricos
'
l'
-:
"
1'
I
491
.1'
y
.,-
/
I
-....
'
X
\ 0 I I
'
/
.... .._
---
11) b)
)' y
,.--.... ,
/ '
---,
' \
_l__x
I
X
0
I j
, I I
0
......___ ,.,/
'
, ___ .,./
c)
Figura 11.8 Dominies anulares
para el ejemplo 2
492
Como r
1
< d, (r
1
/d)'' 0 cuando 11 oo entonces IR,(z)l 0 cuando 11 oo. Asf, se ha
demostrado que
__ l_j f(s) ds = f a_k
27Ti J;., s - z 1 (z - zot'
( 10)
donde los coeficientes a_k vienen dados en (9). Combioando (6) y ( 10) se observa que
(5) produce
(II)
Final mente, sumando los enteros negativos y no negativos, ( II ) se escribe como
/(z) = -<xPk (z - z
0
t Sin embargo, (7) y (9) se escriben como una simple:
I i f(s)
a* =-. k+
1
ds, k = O. l ,2, ... ,
27TI c (z - Zo)
doude, a partir de (3) de Ia secci6n I 0.2, se han reemplazado los contomos C
1
y C
2
por
cualquier contorno cerrado simple C enD con Zo en su interior. 0
En el caso en que a_A = 0 para k = I, 2, 3, ... , Ia serie de Laurent (3) es una serie
de Taylor. Debido a esto. una expansion de Laurent es una generalizaci6n de una seri e de
Taylor.
El dominio anular del teorema I 1. 10 definido por r < lz - z
0
1 < R no necesita tener Ia
forma de "anjJlo" ilustrada en Ia figura I 1.7. Otros posibles dominios anulares son: i) r = 0,
R lin ito; ii ) r * 0. R oo, y iii) r = 0, R oo. En el primer caso, Ia serie converge'en
el dominio anular delinido por 0 < lz - Zol < R, que corresponde at interior del cfrculo
lz - Zol = R, excepto el punto Zo En el segundo caso, el dominio anular viene definido
por r < lz - Zol; en otras palabras, el dominio esta fonnado por todos los puntos exterio-
res at cfrculo 1z - z
0
1 = 1: En el tercer caso. el dominio esta definido por 0 < lz - z:
0
l, lo
. que representa a lodo el plano complejo except1.1ando al pun to z;
0
. La serie obtenida en (2)
es val ida para este ultimo tipo de dominio.
En Ia practica real, rara vez se utiliza Ia formula (4) para los coelicientes de una serie
de Laurent. Como consecuencia, generalmente no es facil hallar Ia serie de Laurent de una
funci6n en cierto dominio anular especffico. A menudo se utilizan las series
(5) y (6) de Ia secci6n 11 . 1 o, como se plantea en el cjemplo I, otras series conocidas. Sin
embargo, independientemente de Ia forma en que se obtiene una expansi6n de Laurent de
una funci6n/. es Ia serie de Laurent: esto es, Ia serie que se obtiene es unica.
Ejemplo 2 Expansiones de Laurent
I
Expandaf(z:) = ( ) en unaseriede Laurentquesea valida para: a) 0 <lz:l < l, b) l <lzl.
z z- I
c) 0 < lz:- II< I y d) l < lz - 11.
Soluci6n Los cuatro dominios anul ares especificados se muestran en Ia figura 11 .8.' En
los incisos a) y b), se desca representar a fen una serie que involucre unicamente potencias
enteras negativas y no negativas de z. mientras que en los incisos c) y d) se desea repre-
sentar af en una serie que contenga potencias en teras negativas y no ncgativas de z: - I.
a) Escribiendo
se usa (5) de Ia secci6n ll.l :
I l
!(z) = - - -,
z t -z
I
r
(z) = - - r 1 + z + z:
2
+ z:
3
+ ... ].
. z
La serie dcntro de l os corchetes converge para lzl < I , pero una vez multipli cada por
I /z, Ia scri e resultante
. I . ,
J (;:) = - :- - I - z - z- -
converge para 0 < lzl < I .
b) Para obtener una serie que conve1ja en I < 1:1 se comienza construyendo una serie
que conve1ja para I I /zl < I. Con este objetivo, se reescribe Ia funci6n f como
L I
!(-:.) =--,--]
7-
I --
z
y se utili za de nuevo (5) de Ia secci6n 11 .1, reempl azando z por 1/z:
I [ I I I ]
!(z) = - I + - + --, + - + . . . .
z
2
z :c z
3
La seri e dentro de l os eorchetes converge para ll /zl < I o, en forma equi val ente, para
l < lzl. Asf, Ia seri e de Laurent requerida es
c) Aqur se ti ene el mi smo probl ema que en el inci so a). cxcepto P.orque se
necesitan todas l as potcncias de z - I . Para tal lin, se suma y se resta I en el denomi -
nador, y sc apli ca (6) de Ia secci 6n 11 . 1 con z reempl azada por z - I :
{(-:.) = ( I - I + ::)(:: - I)
I I
=------ -
;: - I I + (: - 1)
I
= ;: _ I ( I - (;: - I ) + (z - I )
2
- (z - I )
3
+ .. )
I
= -- - I + (;:- 1) - (::- J)l + ....
z. - I
La seri e entre corchctes converge para lz - II < I , por l o que est a ultima seri c conver-
ge para 6 < 1<: - I I < I .
d) Procedi cndo como en cl inci so b) se escribe
I I l
/(z) = : - 11 +(: - 1) = ( 1)' l
: - - l + --
z- 1
I [ I L I ]
= ( z - I f I - .:: - l + (.:: - I ? - ( z - I )3 + .. .
I I I I
= - + - +"
(:: - 1)
2
(z- 1)
3
(z- 1)
4
(z - 1)
5

Como Ia serie entre corchetes converge para I I /(z - I )I < I , Ia serie final converge para
l < lz - 11. 0
Ejemplo 3 Expansiones de Laurent
I . . . "' I' d 0
Expandaf(.::) =
2
) en una sene de Laurent que sea va 1 a para: a) <
(z- 1)(:: - 3
lz - II < 2 y ?) 0 < lz - 31 < 2.
..
, ..
,.
I
'
I'
'
,:; 493
.'I"
II
494
Solud6n a) Al igual que en los incisos c) y d) del ejemplo 2, se requieren unicamente
potencias de z - I. por lo que se neccsita expresar z - 3 en funci6n de z - I. Esto se
consigue escribiendo
I I I
J(z) = (z- 1)
2
(:: - 3) = (z- 1)
2
- 2 + (z- 1)
- I
=--.._....,.----
2{<: - I )2 I z -
2
y entonces aplicando (5) de Ia secci6n 11.1 reemplazando z por (z - I )/2:
- I [ z - I (:: - I ? (z - I )
3
. ]
J(z) = I + --+ + +
2(z - 1)
2
2 2
2
2'
( 12)
2(z - I?
I I I
4( z - I ) - S - (6 ( z - I) - ....
b) Para obtener potencias de z - 3 se escribe z :--- I = 2 + (z - 3) y
I I . _
2
I [ z - 3 J - l
f(z) = (z- l?(z - 3) = z - 3 [
2
+ (z-
3
)] = 4( z- 3)
1
+ -2-
En este punto se expande [ I + z ;
3
] -
2
en u'na seri e de potencias utili zando el teore-
ma general de los binomios:
= I [
1
+ (-2) (z- 3) + {- 2){-3) (z- 3)
2
+ (-2)( - 3)(-4) (<-- 3)
3
+ . .. ].
J(z) 4(z - 3) I! 2 2! 2 3! 2
La serie binomial es valida para l(z - 3)/21 < I. o lz- 31 < 2. Multiplicando esta serie por
1/4(z - 3) se tiene una serie de Laurent val ida para 0 < lz - 31 < 2:
f(z) = 4(z - 3)
I 3 I
- + -;=;<z - 3) - -;;{z - 3)
2
+ .
4 16 8
Ejemplo 4 Una expansion de Laurent
8z + I
Expanda.f(z) = ( ) en una seri e de Laurent que sea val ida para 0 < lzl < l.
. z I - z
Soluci6n Aplicando (5) de Ia secci6n I I. l se escribe
8z + I 8z + I I ( I )
J(z)= =----= 8+ - {l +::+ z
2
+z
3
+).
z( I - z) z I - z ::
Posteriormente, se mulliplica Ia serie por 8 + 1/z y se agrupan los terminos similares
I '
r
(z) = - + 9 + 9z + 9z- + .
' z
0
La seri e geometric a converge para lzl < I. Tras mult ipli car por 8 + I /z, Ia serie de
Laurent resultante es val ida para 0 < lzl < I. 0
En los ejemplos anteriores, el punto en el centro del dominio anular de validez para
cada serie de Laurent es una si ngularidad aislada de Ia funci6nf. Reexaminando elteo-
rema I I. I 0 se ve que esto no necesita ser asf.
CAPiTULO 11 Series y residues
1
Expandaf(z) = ( ) en una serie de Laurent que sea va1ida para 1 < lz - 21 < 2.
z z- I
Soluci6n E1 dominio anular especificado se muestra en la figura 11.9. El centro de este
dominio, z = 2, es un punto de analiticidad de Ia funci6nf El objetivo es encontrar dos
series que contengan potencias en teras de z - 2: una que conve1ja en 1 < lz - 21 y otra en
lz - 21 < 2. Para conseguir esto se comienza descomponiendo fen fracciones parciales:
1 I
!(z) = -- + --= .il(z) + .f2(z).
z z- I
l
A continuaci6n, /
1
(z) = -- =
z 2 +z-2
I
=------
2 1 z - 2
+--
2
= _.!_ [
1
_ z - 2 + (z- 2? ~ 2)
3
+ .. ]
2 2 2
2
2
3
1 z - 2 (z - 2? (z - 2?
= - 2 + ----:;_2 - 23 + 24
Esta serie converge en l(z - 2)/21 < I o en lz - 21 < 2. Por otra parte,
I
!2(z) = - - = = -----
z- 1 l +z-2 z-2 I
1 + --
z - 2
(13)
l [ l I I ]
= z - 2
1
- z - 2 + (z - 2)
2
- (z - 2)
3
+ ...
1 ' I 1 L
=--- + - + ...
z - 2 (z - 2? (z - 2? (z - 2)
4
converge en ll/(z - 2)1 < I o bien I < lz - 21. Sustituyendo entonces estos dos resultados
en (13) se obtiene
y
Figura 11.9
ejemplo 5
L 1 1 I I z - 2 (z - 2? (z - 2)
3
/(z) = .. - . (z - 2)4 + (z - 2)3 - (z - 2? + z - 2 - '2 + ----:;_2 - 23 + 2
4
Esta representaci6n es val ida para I < lz - 21 < 2.
0
Expandaf(z) = e
31
z en una serie de Laurent que sea va!ida para 0 < lzl.
Soluci6n A partir de ( 12) de Ia secci6n I 1.2 se sa be que para cua1quier z fin ita,
z? z
3
ez = I + z + - + - + .... (14)
2! 3!
Reemplazando en (14) z por 3/z, con z -:1: 0, se obtiene Ia serie de Laurent
3 3
2
3
3
eJfz = I + - + - + - + ....
z 2!z
2
3!z
3
Esta serie es valida para 0 < lzl. 0
11.3 Serie de laurent
Dominio anular del
,!
I
"
,.
,,
,
l:'
'
'" 495
1
I
Comentarios
En conclusi6n, se hace hincapie en un resultado que es de particular importancia para las
secciones 11.5 y 11.6. Reemplazando Ia variable complejas pore! sfmbolo tfpico z. se ob-
serva que cuando k = - I sc tiene de la expresi6n ( 4) para los coeficientes de Laurent que
a_l = -
2
1
. j f(z) dz
'TTl J;;
o, mas importante, Ia integral puede escribirse como
En los problemas del I al 6, expanda Ia funci6n indicada en
una serie de Laurent que sea valida para el dominio anular
propuesto.
cosz
1. /(z) = -, 0 < lzl
z
2. f(z) = c - sen<. 0 < lzl
. 75
3. f(z) = e- l /:
1
, 0 < lzl
I - ~
4. /(z) = -
2
-, 0 < lzl
z
e'
5. f(z) = --, 0 < lz - tl
z - I
I
6. f(z) = z cos -. 0 < lzl
z
En los problemas del 7 al 12, ex panda Ia funci6n f(z) =
I
( )
en una seri e de Laurent que sea val ida para el domi-
'l.'l. - 3
nio anular propuesto.
7. 0 < lzl < 3
9. 0 < lz - 31 < 3
11. I < lz - 41 < 4
8. lzl > 3
10. lz- 31 > 3
12. l<lz + 11<4
En los problemas del 13 al 16, expand a Ia funci6n /(z) =
I
(z _
1
)(z _
2
) en una serie de Laurent que sea vaUda para el
dominio anular propuesto.
13. I < lzl < 2 14. lzl > 2
15. 0 < lz - II < I 16. 0 < lz - 21 < l
(15)
En los problemas del 17 a! 20, ex panda Ia funci6n f(z) =
(z +
1
z _
2
) en una serie de Laurent que sea vaUda para el
17. 0 < lz + J I < 3
19. I < lzl <2
18. lz + II > 3
20. 0 < lz - 21 < 3
. 1
En los problemas 21 y 22, expanda Ia func16nj(z) = ( )
2
z I - z
en una serie de Laurent que sea valida para el dominio anul ar
propuesto.
21. 0 < lzl < I 22. lzl > I
En los problemas 23 y 24, ex panda Ia funci6n f (z) =
l
( )( )
3
en una serie de Laurent que sea val ida para
z-2 z- I
el dominio anul ar propuesto.
23. 0 < lz- 21 < I 24. 0 < lz - II < t
. 7z - 3
En los problemas 25 y 26, expanda Ia funci6n/(z) = ( )
z z- I
en una serie de Laurent que sea valida para el dominio anul ar
. propuesto.
25. 0 < lzl < I 26. 0 < lz - II < I
En los problemas 27 y 28, ex panda Ia funci6n f (z) =
z
2
- 2z + 2
..:.....----=--- en una seri e de Laurent que sea val ida para el
l.- 2 .
27. I < 1z- ll 28. 0 < lz- 21
496 CAPiTULO 11 Series y residuos
11 11.4
Ceros y polos
)
Introducci6n Sup6ngase que z = zo es una singul aridad aislada ?e una funci6nfy
que
00 00
f(z) = 2: at(Z - Zot = 2: CLt(Z - Zotk + 2: at(Z - Z'.{)t ( I )
k - i)Q k l k ; Q
es Ia representaci 6n de/como seri e de Laurent valida para el disco abierto perforado 0 <
lz - Zol < R. La secci 6n anterior plan tea que una scric de Laurent ( I) csta compuesta por
dos partes. La parte de Ia seric ( I ) que tiene potcncias ncgativas de z - ZQ, esto es,
"" - k "" a_"
- ::o) = ( )k
k l k = l z-Zo
(2)
es Ia part e princi pal de Ia scrie. En Ia siguiente argumentaci6n sc asignan diferentes
nombres a Ia singularidad aisl ada z = ::o segun el numero de terminos de Ia parte prin-
cipal.
Clasi ficad6n de los puntos singulares aislados Un punto singular aislado z = Zo
de una funci6n complejafse clasifica dcpendicndo de si Ia parte principal (2) de su ex-
pansi6n de Laurent (I) conti ene ccro, un numcro fin ito o un numero infinito de terminos.
i) Si Ia parte principal es ccro, esto es, rodo.1 los coeficientes a_k de (2) son cero, cn-
tonces z = Zo se denomina una singular idad r emovibl e.
ii) Si la parte principal contiene un numero tinito de terminos no nulos, entonces z =
Zo se denomina un polo. Si, para este caso, el ultimo coeficicnte no nulo de (2) es
CL,, clonde 11 l , se dice entonces que z = z
0
es un pol o de orden 11. Si z = Zo es un
polo de orden I , entonces Ia parte principal (2) contiene exact a mente un termino de
coeticiente a _
1
A un polo de orden I se le conoce comunmente como polo simple.
iii) Si Ia parte principal (2) conti ene un numero infinito de tcrminos no nulos, entonccs
z = zo se de nomina singularidad esencial.
La siguiente tabla si nteti za la forma de la scrie de Laurent para una funcion f cuando
z = Zo es uno de los tipos anteriores de singularidad aislada. Desde luego, el valor de R
en dicha podrfa ser de oo.
z = z
0
Seri e de Laurent
Singularidad removible a
0
+ a
1
(:.: - ::o) + a
2
(:.: - Zo)
2
+ ..
Polo de orden 11
a_, a _ (,-1) fL1
---+ + .. + - - + a + a (z - Zo) + ..
(z - Zo)" (z- zo)'' -
1
z- Zo
0 1
Polo simple
Singularidad
Ejemplo 1 Discontinuidad removible
Procediendo como en (2) de Ia secci6n I 1.3, se observa de
sen:.: :.:
2
:.:
4
--= 1- -+.--
;: 3! 5!
(2)
que z = 0 e? una si ngulariclad removible de Ia funci6n.f(z) = (sen z)/z.
0
11.4 (eros y polos
I
'
...
r:
I
I
.
' ,,
'
'
,:
,.
497
498
Si una funcionftiene una singu1aridad removible en el punto z = ZQ, entonces siem-
pre es posib1e encontrar una definicion apropiada para el valor de f(Zo) de man era que
f resulte analftica en el punto. Por ejemplo, como el I ado derecho de (2) es 1 en z = 0,
tiene sentido definirf(O) = I. Con esta definicion, Ia funci6nf(z) = (sen z)/z del ejern-
plo I es ahora analitica en z = 0.
Ejemplo 2 Polos y singularidad esencial
a) De
pane principal
J,
sen z 1 z z
3
--= ---+- -
z
2
z 3! 5! '
para 0 < lzl. se observa que a_,* 0, porto que z = 0 es un polo simple de Ia funci6n
f(z) = (sen z)/z
2
. La funcionf(z) = (sen z)/z
3
representada porIa serie (2) de Ia sec-
ci6n 11.3 tiene un polo de orden 2 en z = 0.
b) En el ejemplo 3 de Ia secci6n 11.3 se mucstra que Ia expansi6n de Laurent de J(z) =
1/(z - 1 )
2
(z - '3), que es val ida para 0 < lz - II< 2, es
parte principal
J(z) =
2(z - 1)
2
I 1 z- I
---------
4(z - 1) 8 16
Como a_
2
* 0 se concluye que z = 1 es un polo de orden 2.
c) Se observa de Ia serie de Laurent del ejemplo 6 de Ia secci6n 11 .3 que Ia parte prin-
cipal de Ia funai6nf(z) = e
3
h contiene un mlmero infinilo de tcrminos. Asf, z = 0 es
una si ngularidad esencial. 0
En el inciso b) del ejemplo 2 de Ia secci6n 11.3, se muestra que Ia representaci6n
como serie de Laurent de J(z) = 1/z(z - I), que es vat ida para I < lzl, es
I I I I
f(z) = - + - + - + - + .
z2 z3 z4 zs
El punto z = 0 es una singularidad ais1ada defy Ia serie de Laurent contiene un numero
intinilo de terminos con potencias enteras negativas de z. (.Signitica esto que z = 0 es
una singularidad esencial def? La respuesta es no. Para esta funci6n en particular, se ob-
serva de Ia revisi6n de ( I) que Ia serie de Laurent en Ia que est amos intcresados es Ia que
tiene un dominio anular 0 < lzl < I. Del inciso a) del mismo ejemplo se tiene que
. '
I 2
f(z) = - - - I - z - z -
z
es valida para 0 < lzl < I. De esta manera seve que z = 0 es un polo simple.
(eros Recuerdese que Zo es un ccro de una funcionfsif(Zo) = 0. Una funcion ana-
lftica.ftienen un cero de orden 11 en z = Zo si
f(zo) = 0, J'(zo) = 0, /"(Zo) = 0, ... , .f'"-
1
>(Zo) = 0, pero f"l(<{)) * 0. (3)
Por ejemplo, para J(z) = (z - 5)
3
se observa que f(S) = 0, .f' (5) = O,f"(S) = 0, pero
/"'(5) = 6. Por ello. z = 5 es un cero de orden 3. Si una funci6n analfticaftiene un cero
de orden 11 en z = ZQ, se concluye de (3) que Ia expansi6n de f como serie de Taylor cen-
trada en Zo debe tener Ia forma
.f(z) ,;, a,(z - ZQ)" + a,+, (z - z
0
)''+
1
+ a,+
2
(z - ::
0
)''+
2
+
= (z - zo)''[a, + ti,+J(z - <{)) + a, -t
2
(z - z
0
)
2
+ ],
dondea, * 0.
Ejemplo 3 Orden de un cero
La funci6n analfticaf(z) = z sen z
2
tiene un cero en z = 0. Reemplazando z por z
2
en (13)
de Ia sccci6n 11.2 se obtiene
y entonces
f(z) = z sen z
2
= c[ 1 - { + { - .. ]
3! 5! .
Por lo tanto, z = 0 es un cere de arden 3.
0
Un cero Zo de una funci6n analftica no trivial fest a aislado en el senti do de que exis-
te algtrna vecindad de Zo para Ia cual /(z) :f:: 0 en cualquier punta z de dicha vecindad,
excepto en z = z
0
. Como consecuencia, si z
0
es un cero de una funci6n analftica no
trivial J, entonces Ia funci6n 1/f(z) tiene una singularidad aislada en el punto z = Zo EI
siguiente resultado permite, en algunas circunstancias, determinar los poles de una fun-
ci6n por simple inspecci6n.
Polo de orden n
Silas funcionesfy g son analfticas en z = Zo y ftiene un cero de orden n en z = zo y
g(z
0
) :f:: 0, entonces Ia funci6n F(z) = g(z)/f(z) tiene un polo de arden n en z = z
0
.
Ejemplo 4 Orden de los polos
a) lnspeccionando Ia funci6n racional
( )
2z + 5
F z = --- -----
(z - I)(z + 5)(z - 2)
4
se observa que el denominador tiene ceres de orden I en z = I y z = -5, asf como
un cero de orden 4 en z = 2. Como el numerador no es cero en dichos puntos, se
ti ene delteorema 1.1.1 I que f tiene palos simples en z = I y z = - 5, y un polo de
orden 4 en z = 2.
b) En el ejemplo 3 se plantea que z = 0 es un cero de orden 3 de/(z) = z sen z
2
Del
teOJ-ema 11.1 I sc concluye que Ia funci6n F(z) = ll(z sen z
2
) tiene un polo de orden
3 en z = 0. 0
De Ia argumentaci6n anterior, deberfa ser intuitivamente clare que si una funci6n
tiene un polo en z = ZQ, entonces I /(z)l oo cuando z Zo desde cualquier direcci6n.
I
::
"
!'
,I.
I
I!
EJERCICIOS 11.4i a impares seleccionados comienzan en Ia
En los problemas I y 2, demuestre que z = 0 es una singula-
ridad removible de Ia funci6n indicada. Proporcione asimismo
una definici6n de/(0) tal quefsea analftica en z = 0.
e
24
- I
1. J(z) = - -
z
sen4z- 4z
2. f(z) = 2
z
En los problemas del 3 al 8, determine los ceres y sus 6rdenes
para Ia funci6n lndicada.
3. /(<.) = (z + 2 - i? 4. f(z) = z
4
- 16
9
6. /(z) = z
1
,+ -
' z
8. f(z) = sen
2
z
En los problemas del 9 al 12, el numero proporcionado es un
cero de Ia funci6n indicada. Utilice una sede de Maclaurin ode
Taylor para determinar el orden del cero.
9. f(z) = z(l - cos z
2
); z = 0
1 0. .f(z) = z - sen z; z = 0
11.4 Ceros y palos 499
II
11. f(z) = 1 - <-
1
; z = I
12. f(z) = 1 - 1T'i + z + e; z = 7T'i
1 - cosh z
19. f( z) = -------:z
4
-....:.
En los problemas del 13 al 22, determine el orden de los poles
para Ia indicada.
I
21. f(z) = --,
1 - e
sen z
22. J(z) = -
2
-
z - z
3z - 1
13. f(z) = z?. + 2z + 5
t ' + 4;
15 .. J(z) = ( )( .)4
z+t
17. f(z) =tan z '
500
6
14. f(z) = 5 - 2
z
z- I
16. f(z) = (z + l )(z3 + 1)
cot 1T'Z
18. f(z) = -
2
-
z
23. Determine si z = 0 es una singularidad aislada o no ais-
lada def(z) = tan (1/z).
24. Demuestreque z = Oes una singularidad esencial def(z) =
z
3
sen(
11 11.s
Residuos y teorema del residuo
)
Introduccion En Ia anterior secci6n se plan tea que si Ia funci6n compleja f tiene
una singularidad aislada en el pun to z
0
entonces f posee una representaci6n como serie
de Laurent
que converge para cualquier z cercano a Zo Particularmente, dicha representaci6n es
vatida en cierta vecindad de z
0
, excluyendo al propio z
0
, o disco abierto perforado, 0 <
lz - z
0
1 < R. La presente secci6n se centra en el coeficiente a_
1
yen su importancia para
el calculo de integrates de contorno.
B Residue El coeficiente a_
1
de 1/(z - z
0
), de Ia serie de Laurent indicada ante-
riormente, se denomina residue de Ia funci6nfen Ia singularidap aislada z
0
.Se utiliza
entonces Ia noraci6n
a_
1
= Res(f(z). zo)
para denotar el residue de fen z
0
. Es conveniente recordar que si la parte principal de Ia
serie de Laurent que es valida para 0 < lz - Zol < R contiene un numero tinito de termi-
nos, siendo a_, el ultimo coeficiente no nulo, entonces Zo es un polo de n; si Ia
parte principal de Ia serie contiene un numero infinite de terminos con coeficientes no
nulos, entonces Zo es una singularidad esencial.
Ejemplo 1 Residuos
a) En el ejemplo 2 de Ia secci6n I 1.4 se plantea que z = I es un polo de orden 2 de Ia
funci6nf(z) = 1/(z - 1)
2
(z - 3). De Ia serie de Laurent indicada en dicl1o ejemplo
se observa que el coeficiente de 1 /(z - I) es a_
1
= Res(f(z), I) = - k.
b) El ejemplo 6 de Ia secci6n 11.3 plantea que z = 0 es una singularidad esencial de
f(z) = e
31
' . De Ia serie de Laurent indicada en dicho ejemplo se observa que el coefi-
ciente de 1/z es cL
1
= Res(f(z), 0) = 3. Q
Mas adelante en esta secci6n se muestra por que el coeficiente' a _
1
es tan importante.
Mientras tanto se examinaran formas de obtener este numero complejo cuando Zo sea
un polo de Ia funci6n f sin necesidad de expandir fen una serie de Laurent en z
0
. Se
comienza con el residue en un polo simple.
CAPITULO 11 Series y residues
Residuo en un polo simple
Siftiene un polo simple en z = z
0
, entonces
Res(f(z), z
0
) = lfm (z - ZQ)/(z). (I)
:-+to
Demostraci6n Como z = Zo es un polo simple, Ia expansi6n de Laurent de f alrededor
de este punto ti ene Ia forma
mulliplicando ambos !ados por z - z
0
y tomando entonces el limite cuando z -7 z
0
,
se ol?tiene Hm (z - z
0
)/(z) = lfm [a _
1
+ a
0
(z - ZQ) + a
1
(z - z
0
)
2
+ 1 = a_
1
= Res
(f(z), ZQ) . z->:o 0
Residuo en un polo de orden n
Siftiene un polo de orden 11 en z = Zo entonces
I cl' -
1
Res{J(z), Zo) = ( l)' lfm d , _
1
(z - Zotf(z).
n - . z
(2)
Demostrad6n Como se considera queftiene un polo de orden 11, Ia expresi6n cones-
pondiente para su expansi6n de Laurent en 0 < 1z - Zol < R debe tener Ia forma
a_, a_
2
CL 1
f(z) = + + + --+ rto + a1(z - zo) + .
(z - zo)'' (z - z
0
)1 z - z'O
Multiplicando esta Ultima expresi6n por (z - ZoY':
y derivando entonces n - I veces:
tl' - 1
dz" - 1 (z - Zo)"f(z) = (11 - l)!a_ + 11!a
0
(z - <:a)+.
(3)
Como todos los terminos del lado derecho que siguen al primero contienen potencias
en teras posi tivas de z - Zo ellfmite de (3) cuando z -7 Zo es
rr -
(z - = (n - l)!a_
1

: -+;:., th
Despejando a_
1
de esta ultima ecuaci6n se obtiene (2).
0
Observese que (2) se reduce a ( L) cuando 11 = I.
Ejemplo 2 Residuo en un polo
La fuoci6nf(z) = ( )
2
( ) tiene tlll polo simple en z = 3 y un polo de orden 2 en
z - 1 z -3
z = l. Uti ! ice los teoremas I 1.12 y 11. I 3 para encontrar los residues.
11.5 Residuos y teorema del residuo
.
I'
,,
'"
'
I
y
501
502
Un metodo
alternativo para
calcular un residuo en
un polo simple.
Soluci6n Como z = 3 es un polo simple, se utiliza ( l):
Res(f(z), 3) = lfm(z - 3)/(z) = lfm (
1
1
)
2
= -
4
.
z--+3 t --+3 z -
Ahora, en el polo de orden 2 se ti ene de (2) que
1 cl
Res(f(z), 1) = I lfm -
1
(z - I )
2
/(z)
I. z--+1 C. z
d I
= lfm---
z--+1 dz z- 3
- 1 I
= Ifm ( )
2
= - -
4
.
t --+ I Z - 3
0
Cuandof no es una funci6n racional, el de los residuos por medio de (l) en
algunas ocasiones puede ser tedioso. Sin embargo, es posible crear f6rmulas altemativas
para el residua. En particular, sup6ngase que una funci6nfse escribe como un cociente
f(z) = g(z)/h(z), donde g y h son analfticas en z = Zo Si g(z
0
) =I= 0 y si Ia funci6n h tiene
un cero de orden 1 en z
0
, entoncesftiene un polo simple en z = Zo y
g(Zo)
Res (f(z), z.o) = h'(z.o)'
(4)
Para ver este ultimo resu It ado, se em plea ( I), y el hecho de que h(z
0
) = 0 y que el
Ifml_,to(h(z) - h(z
0
))/(z - z.o) es una defi ni ci6n de Ia det:ivada h'(z
0
):
, g(z) , g(z) g(z.o)
Res (/(z), Zo) = (z - Zo) h(z) = h(z) - lt(z.o) = h'(Zo)'
z- Zo
Para residuos en polos de orden mayor que I, las formulas son complicadas,
raz6n por Ia que no se indican aquf.
Ejemplo 3 Empleo de (4) para el calculo de un residuo
El polinorruo z
4
+ I puede factorizarse como (z - z
1
)(z - z
2
)(z - z
3
)(z - z.t), donde z
1

z
2
, z
3
y Z4 son las cuatro rafces distintas de Ia ecuaci6n z
4
+ I = 0. Del teorema 1.11 se
deduce que Ia fund6n
I
f(z) = z4 +
1
tiene cuatro polos si mpl es. Asf, de ( 10) de Ia secci6n 9.2 se tiene que z
1
= e"i/
4
, z
2
= e
3
1J"
4
,
z
3
= e
5
"
114
, Z4 = e
1
TT
114
Para calcular los residuos, se utilizan (4) y Ia formula de Euler:
1 l 3 '/4 l I
Res(f(z), z
1
) = - = - e- ., = --- - --i
4 4Vl 4Vl
1 l 1 l
ReS(f(z), z
2
) =- = - e-
9
"
1
1
4
= ---- - i
4d 4 4Vl 4Vl
1 I , I 1
Res(f(z), ZJ) = - = - e- 's"r/4 = -- + --i
4 4Vl 4Vl
1 J ' 1 J
Res(/(z), z.) =- = - e - l lm/
4
= --- + --i.
4cl 4 4Vl 4Vl
0
Teorema del residuo En este pun to se I! ega a Ia justificaci6n de Ia importancia del
concepto de residuo. El siguiente teorema establece que, en ciertas circunstancias, se
pueden calcular integrales complejas Pcf(z) dz sumando los residuos en las si ngularida-
des aisladas de f denlro del contorno cerrado c.
Tearema del residuo de Cauchy
Sea Dun dominio simplemente conexo y C un contorno cerrado simple que se halla
completamente dentro de D. Si una funci6nfes analftica sobre yen el interior deC, ex-
cepto en un numero tin ito de puntos si ngulares z
2
, . . , z, del interior deC, entonces
1 f(z)dz = 21Ti Res(f(z). zk)

(5)
Demostraci6n Sup6ngase que Cl, c2 . .. ' C,. son cfrculos centrados en Gh Z2, . .. '
z,. respccti vamcnte, y que cada c(rculo Ct tiene un radio rk lo suficientemente pequeiio
como para que C
1
, C
2
, . , C, sean mutuamente disjuntos e interiores a Ia curva cerrada
si mpl e C; Ia fi gura 11 . 1 0. Recordando que ( 15) de Ia secci6n 11 .3 implica que
Pc/(:) dz = 27Ti Res{f(z), el teorema 10.5 lleva entonces a
J j(z)dz = 1 f(z) c/z = 27Ti Res(f(z), Z.t) 0
k l k l
Ejemplo 4 Calcula par medio del tearema del residua
Calculc J ( )!( ) dz , donde
fc z-1 z- 3
a) el contorno C es el rectangulo definido por x = 0, x = 4, y = - I , y = I; b) el contor-
no C cs el circulo lzl = 2.
Soluci6n a) Puesto que los polos z = I y z = 3 yacen dentro del cuadrado, se tiene de
(5) que
i
I .
( )
2
( ) c/z = 27Ti(Res(!(z), 1) + Res(f(z), 3)).
cz- 1 z-3
Estos residuos estan calculados en los ejemplos 2 y 3, por lo que
1
1
c/z = 27Ti[ - .!. + .!..] = 0.
fc(z- l )
2
(z-3) 4 4
b) Como uni camente el polo z = I yace dentro del cfrculo lzl = 2, se tiene de (5) que
i (z _ l )!(z _
3
) c/z = 21Ti Res(f(z), I) = 27Ti(-) =-; i. 0
Ejemplo 5 Calcula par media del teorema del residua
i
+ 6
Calcule -;--dz, donde el contorno C es el cfrculo lz - il = 2.
c z + 4 '
Soluci6n Escribiendo z
2
+ 4 = (z - 2i)(z + 2i) se observa que el integrando tiene
polos simples en - 2i y 2i. Ahora, como uni camente 2i se halla en el interior del contor-
no C, sc tiene de (5) que
i
2z + 6
-
2
--dz = 21Ti Res(f(z), 2i).
c z + 4
D
Figura 11.10 n puntos singulares
en el interior' del C
'
,,
I"
.,
....
'
'.I'
: I
503
504
Pero
Res{!(::). 2i) = lfm (z - 2i) (
2
.)(
2
.)
t -+2i Z- I Z + I
2z + 6
6 + 4i 3 + 2i
= --=--.
4i 2i
Por lo tanto,
J2; + 6 dz = 27ri (3 +_ 2i) = 7r(3 + 2i).
lc z + 4 2t
0
Ejemplo 6 Calculo por medio del teorema del residuo
Calcul e i
4

3
dz, donde el contorno C es el clrculo Ill = 2.
c z + 5z
Soluci6n Como z
4
+ 5z
3
= z
3
(z + 5), se ve que el integrando tiene un polo de orden 3
en z = 0 y un polo simple en z = - 5. Ya que unicamente z == 0 se halla en el interior del
contorno indicado, se tiene de (5) y (2) que
i
4
ez
3
dz = 27ri Res{!(z), 0)
c + 5z
I rf e:
= 27ri - lfm - z
3
---
2! : ->O d:? z
3
(z + 5)
. , (z
2
+ 8z + 17)e' l?1r .
= m (:: + 5? = 125 I.
Ejemplo 7 Calculo por el teorema del residuo
Calcul e i tan z dz, donde el contorno C es el cfrculo Ill = 2.
0
Soluci6n El integranclo tan z = sen dcos z tiene polos simples en los puntos donde cos
z = 0. En Ia secci6n 9. 7 se establece que los unicos ceros para cos z son los numeros
reales z = (2n + 1 )7r/2, don den = 0, :!:: l , :!:: 2, .... Como s6lo - 1r12 y 7r/2 se hall an en el
interi or del cfrculo lzl = 2, se tiene que
i tan z dz = 27ri [ Res(I(z). - ;) + Res(I(z), ; ) ] .
Ahora, de (4) hacienda g(z) = sen z, h(z) = cos z y h'(z) = -sen z, se observa que
(
1r) se;l(- 7r/2) ( 1r) sen(7r/2)
Res f( z), -2 = -sen ( - 71"/2) = - I y . Res .f(z), 2 = - sen ( 71"/ 2) - I.
Por lo tanto, i tan z dz = 21ri( - I - I J = -47ri.
Ejemplo 8 Calculo por el teorema del residuo
Calcule i e
3
1z. dz, el contorno C es el cfrculo lzl = I.
0
Solucion Como se ha visto, z = 0 es una si ngularidad esencial del integrando f(z) =

por lo que ni Ia f6rmula ( I) ni Ia (2) son aplicables para encontrar el residua de fen
dicho punto. Sin embargo, en el ejemplo l se plantea que Ia serie de Laurent de 0
resulta en Res(f(z). 0) = 3. Por lo tanto, de (5) se tiene
i e
3
fz dz = 27ri Res(J(z), 0) = 61ri. 0
Comentarios
En Ia aplicaci6n de las f6nnulas en ellfmite ( I) y (2) para el calculo de residuos, puede
obtenerse La forma indeterminada 0/0. Aunque no se va a demostrar aqui, debe resal-
tarse que La regia de L'Hopital es valida en el am\lisis complejo. Si f(z) = g(z)lh(z),
donde g y h son analfticas en z = z
0
, g(ZQ) = 0, h(z
0
) = 0 y h'(z
0
) =I= 0, entonces
, g(z) g' (Zo)
lun - ( ) = --;--( )'
z-+z., h Z h Zo
En lo& probl<!mas del I a! 6, utilice una serie de Laurent para
encontrar elresiduo indicado.
2
1. J(z) = ( )( ) ; Res(f(z). I )
z - 1 z+ 4
I
2. J(z) =
1
_ z)
3
; Res(J(z), 0)
4z - 6
3. J(z) = z(
2
_ z); Res(J(z), 0)
2
4. f(z) = (z + 3)
2
sen--: Res(J(z), - 3)
z + 3 .
5. f(z) = e-
2
!:!; ResCf(z). 0)
e-'
6. f(z) = (z _
2
i Res(/(:.), 2)
En los problemas del? al 16, utili cc (1), (2) o (4) para encon-
trar el residuo en cada polo de Ia funci6n proporcionada.
z
7. J(z) = -
2
--
z + 16
I
9. f(z) = 4 3 2 ")
.z + z - z-
4z + 8
8. J(:.)= --
2z- I
I
10. f(z) = (z2 - 2z + 2f
5z2 - 4z + 3
1
1. J(z) = (z + l)(z + 2)(z + 3)
2z- I
12. f(z) = ( )
4
( )
z - 1 z+3
cos z
13. f(z) =
2
( )
3
z z- 7T
15. J(z) = sec z

14. J(z) = -.-
e - I
I
16. J(z)=--
z sen z
En los problel)1as del 17 al 20 utilice, donde sea apropiado, el
teorema del residuo de Cauchy para cal,cul ar Ia integral propor-
cionada a Ia largo de los contornos indicados.
17. i (z- + 2f dz
a) lzl = ! b) lzl = t c) lzl = 3
i
z+ l
18.
2
( .) dz
c z z - 21
a) lzl = I b) iz - 2il = I c) iz- 2il = 4
]:
19. i z
3
e- l/l' dz
a) lzl = 5 b) lz + il = 2 d' lz - 31 = I
20. 1 -
1
- dz
lc zsenz:
a) iz- 2il = I b) lz - 2il = 3 c) ' lzl = 5
En los problemas del 21 al 32, uti lice cl teorema del resicluo de
Cauchy para Ia integral proporcionada a io largo del
contorno inclicaclo.
21. 1
2
I dz. C: 1z - 3il = 3
fc. z + 4z + 13
22. 1 '(
1
dz, C: lz - 21 = 3/2
'fc z z - L
23. 1 _
4
_z_ dz. C: lzl = 2
.fc. z - I
24. 1 (
2
) dz, siendo CIa I

+ l = 4
fc. z+ l z+ l
i
ze'
25. -
2
--dz, C: lzl = 2
c z - I
26. 1
3
e'
2
dz, C: lzl = 3
fc. z + 2z
i
tanz
27. -
7
- dz, C: lz - II = 2
c
i
COI7TZ
1
28. --
2
- dz, C: ld = 2
c z
I
I'
j ,
29. i cot 7TZ dz, siendo C el rectangulo deftnido por x = ! .
X = 7T, y = - I ' y = I
i
2z - l :
30.
2
(
3
) dz, sicndo C el rcctangulo defi!1ido por
c z z + l ..
X = -2, X= I ' y = -i. y = I :
1 e;: + senz
31. lc (z _ 7T)" d:.. C: 1z - 31 = I
i
cosz
32. ( )' (
2
) dz, C: lz - II = I
cz - 1 z+ 9
505
.I
506
II n.&
Calculo de integrates reales
)
Introducci6n En esta secci6n se plantea c6mo utilizar Ia teorfa de residues para
calcular integrales reales como las siguientes:
(21T
L F(cos (),sen e) d(),
0
ro f(x) dx,
-oo
J oo f(x) cos ax dx y
-oo
Ioo f(x) sen ax dx,
-oo
( I )
(2)
(3)
donde Fen (l) y fen (2) y (3) son funciones racionales. Para Ia funci6n racional /(x)
= p(x)lq(x) en (2) y (3) se considera que los polinomios p y q no tienen factores en
comun.
Integrales de La forma J;" F( cos 0, sen 0) dO La idea consiste en con-
vertir una integral de Ia forma (I) en una integral compleja donde el contorno C sea un
cfrculo unitario centrado en el origen. Este contorno se parametriza por medic de z = cos
() + i sen fJ = i
8
, 0 s fJ s 27T. Utilizando
se reemplazan dfJ, cos () y sen fJ por, respectivamente, por
d . 1 I _
dfJ = i;. cos fJ = 2(z + z-
1
), sen fJ =
2
; (z- z ').
(4)
La integral (l) se convierte entonces en
donde C es lzl = 1.
Ejemplo 1 Una integral trigonometrica real
i
271 1
Calcule ( )
2
dB.
0
2 + cosO
Soluci6n Utilizando las sustituciones en (4) y simplificando posteriormente se llega a
Ia integral de contomo
i 1 z dz.
i fc (z
2
+ 4z + l?
Con Ia ayuda de Ia cuadnitica se escribe
z z
f(z) = (z
2
+ 4z + 1)
2
= (z- Zo)
2
(z- z,)Z'
donde Zo = -2 - \13 y z
1
= -2 + \13. Como unicamente z
1
se hall a en el interior del
cfculo unitario C, se tiene que
1 (
2
z )
2
dz = 27Ti Res(f(z), z
1
).
'fc z + 4z + I
-
Ahora, z
1
es un polo de orden 2, por lo que de (2) de Ia secci6n 11.5,
d d z
Res(f(z), z
1
) = lfm -d (z- z1?!(z) = Hm -
1
( )
2
:-+z
1
.'(. t-.z, l Z Z - Zo
z + Zo L
= (z - zo)
3
= 6\13.
Por lo tanto,
4i z 4 4 1
- dz = - 2-rri Res{!(z) z ) = - 2-rri --
i c

+ 4z + l )
2
i
1
i 6 V3
l
2
1T I 4-rr
y finalmente dfJ = - -
0 (2 +cos 8)
2
3V3'
0
Integrates de la forma f (x) dx Cuandofes continua en (- oo, oo) convi ene
recordar de calculo que Ia integral impropia

dx se define en funci6n de dos
limites particulares:
I
oo f(x) dx = lfm I
0
f(x) dx + lfm IRJ(x) dx.
-co r--oo -r R-+oo 0
(5)
Si existen ambos lfmites de (5) se dice que Ia integral es convergente; si uno o ambos
lfmites no existen, Ia integral es di vergente. En el caso de que se conozca (a priori) que
una integral

dx converge, esta se calcula procesando uo unico If mite:
J
oo f(x) cLr- = lfm JRJ(x) dx. (6)
-oo R-+oo -R
Es importante notar que el If mite simetrico de (6) puede exjstir aunque Ia integral im-
propia sea divergente. Por ejemplo, Ia integral x dx es diveregente puesto que
lfmR .... oo J; x dx = lfmR-+oo !R
2
= oo. Sin embargo, utilizando (6) se obtiene
J
R [R2 (-R)
2
]
lfm x dx = lfm - - -- = 0.
- R 11--.oo 2 2
Ellfrrute en (6) se denomina valor principal de Cauchy de Ia integral y se escribe
V.P. Joo f(x) dx = lfm JR f(x) dx.
-oo R-+oo - R
(7)
En (7) se muestra que V.P. x dx = 0. En sfntesis, cuando una integral de Ia forma
(2) converge, su valor principal de Cauchy es el mismo que el valor de Ia integr.al. Si Ia
integral diverge, puede tener todavfa un valor principal de Cauchy.
Para calcular integral

dx, dondef(x) = P(x)/Q(x) es continua en ( - oo, oo),
por medio de teorfa de residuos se reemplaza x por Ia variable compleja z y se integra
Ia fuoci6n complejajsobre un contorno cenado C compuesto por el intervalo [ -R, R]
sobre el eje real y por un semjcfrculo CR de radi o lo suficientemente grande para abarcar
todos los polos de f(z) = P(z)/Q(z) en el semi plano superior Re(z) > 0; vease Ia figura
ll.ll . Por medio del teorema 1.1. 14 se tiene
i !(z) dz = L!(z) dz + f/(x) dx = 27rJ Res{!(z), zk)
donde zk k = l , 2, ... n, denota los polos del semi plano superior. Si se demuestra que
Ia integral f c.f(z) dz 0 cuando R oo se tiene entonces que
V.P. Joo f(x) dx = lfm JR f(x) dx = 2-rri . Res(f(z), Zt) (8)
-oo R-+oo - R I
11.6 Calculo de integrates reales
1:
1 ..
!
I
I
1..
'J
..
..
I .
.
,.
I
I
..
Figura 11.11 Contorno cerrado C
compuesto por el CRy el
intervalo[- R,R)
..
"
r
... 507
....

- R R
Figura 11.12 Contorno cerrado C
del ejemplo 2
508
Ejemplo 2 V.P. de Cauchy para una integral impropia
Calcule el valor principal de Cauchy para
J
oo L
---:----:-- dx
_
00
(x
2
+ I) (x
2
+ 9)
Soluci6n Seaf(z) = l/(z
2
+ l)(z
2
+ 9). Como
(z
2
+ f)( z
2
+ 9) = (z - i)(z + i)(z - 3i)(z + 3i).
se plantea que C sea el contorno cerrado formado por el intervale [- R, R] sobre el eje x
y el semicfrculo CR de radio R > 3. Como se observa de Ia figura 11.12,
i
I JR I f I
----=-- ---:---dz = dr + dz
c {z
2
+ l){z
2
+ 9) - R (x
2
+ 1)(x
2
+ 9) - c. (z? + l)(z
2
+ 9)
= I , + /2
e /
1
+ 1
2
= 27Ti[Res(f(z), i) + Res(f(z), 3i)].
En los polos simples z = i y z = 3i se encuentran, respectivamente,
de forma que
I
Res{f(z), i) = IGi y
I
Res{f(z),3i) = -
4
Ri '
[
I I ] 7T
I + I = 27Ti - - - = --.
I
2
16i 48i 12
Ahora se desea que R oo en (9). Antes de hacer esto se observa que en CR,
por lo que de Ia desigualdad M L de Ia secci6n I 0.1 se escribe
1' 21 = I L. (z2 + I )l(z2 + 9) dzl (R2 - - 9).
(9)
Este Ultimo resultado mu.cstra que 11
2
1 0 cuando R oo, de lo cual se concluye que
lfmR-+7.> /
2
= 0. De (9) se deduce que lfmR_,,./
1
= 7T/ 12; en otras palabras,
lfm JR
1
dx = !!_ Joo
1
7T
R ..... "' - R (x
2
+ l)(x
2
+ 9) 12 V.P. _
00
(x
2
+ i)(x
2
+ 9) dx = 120
Usual mente es tedioso que mostrar que Ia integral de contorno a lo largo de CR
tiende a cero cu:mdo R oo. Las siguientes son condiciones suficientes para que esto
sea siempre cierto:
Comportamiento de la integral
cuando R --7 oo
Sup6ngasef(z) = P(z)/Q(z), donde el grado de P(z) es 11 y el de Q(z) es m 2:: n + 2.
Si CR es un contorno semicircular z = Re'-o, donde 0 s a s 7T, entonces fc. f(z)
dz 0 cuando R oo.
En ouas palabras, Ia integral a lo largo de CR tiende a cero cuando R oo si el
denomi nador de f es de una potencia mayor que Ia del numerador en por lo menos dos
unidades. La clemostraci6n de esto se desarrolla de Ia misma forma que en el ejemplo 2.
Observese en dicho ejemplo que las condiciones estipuladas en el teorema 11.15 se sa-
tisfagan, puesto que el grado de P(z) = I es 0 y el de Q(z) = (z
2
+ I )(z
2
+ 9) es 4.
Ejemplo 3 V.P. de Cauchy para una integral impropia
J
oo J
Calcul e cl valor principal de Cauchy para -
4
- , - - dx.
_ X + I
Solucion lnspeccionando el integrando se observa que se satisfacen las condiciones
dadas en el teorema 11.1 5. Asimismo, del ejemplo 3 de Ia secci6n 11.5 se sabe que el
semi plano superior f tiene polos simples en

= erri/4 y z
2
= e
3
"';
14
Tambien se obtiene en
di cho ejemplo que los rcsiduos en estos polos son
I I
Res(!(::), z
1
) = - . t= - t= i y
4v2 4 v2
I I .
Res(!(::), ::
2
) = t= - t= 1.
4v2 4v2
Asf, por (8),
V.P.
'JOO I w
-
4
- dx = 2wi (Res(f(z), z
1
) + Rcs(f(z), z
2
) ) = . r-
-CQ X + I V2
0
Integrates de las fonnas f (x) cos ax dx o f (x) sen cxx dx
Se plantean irllegrales de este tipo al estucl iar las transformadas de Fouri er en Ia secci6n
7.4, por lo que

cos ax dx y f
00
,J(x) sen ax dx, donde a> 0, se conocen como
integralcs de Fourier, las cuales aparecen como las partes real e imaginaria de Ia integral
impropi a

dx. Uti lizando Ia f6rmula de Euler e'<'-' =.cos ax+ i sen ax se ti enc
I f(x)eia,, dx = Joo f (x) cos ax dx + i Joo f( x) sen ax dx
-oo
(10)
siempre que ambas integrales del !ado derecho conve1jan. Cuando f(x) = P(x)/Q(x) es
continua en ( -oo, oo) se pucden calcular las dos integrales al rrusmo ticmpo considcran-
do Ia integral f c f(z)ei": dz, donde a > 0 y el contorno C de nuevo esu\ fonnado por el
intervalo [ - R, R] sobre el ejc real y por un contorno semici rcular CR de radio lo suficien-
temente grande como para abarcar a los polos def(z) en el semiplano superior.
Antes de proceder sc indican. sin demostrar, las condiciones que son sufi cientes para
que La integral de contorno a lo largo de CR tienda a cero cuando R -+ oo:
Comportamiento de La integral
cuando R -7 oo
Sup6ngase f(z) = P(z)IQ(z), donde el grado de P(z) es " y el de Q(z) es m 11 + I .
Si CR es un contorno semicircular z = Re;
0
, donde 0 e a > 0, entonces f c
. .
(P(z )/Q(z))ecrz dz ---7 0 cuando R ---7 oo.
Ejemplo 4 Uso de La simetria
J
oo x sen x
Calculc el valor principal de Cauchy para x
2
+
9
dx.
0
Solucion Observese en primer Iugar que los lfmites de integraci6n no son de - oo a oo
como el metodo requiere. Esto se corrige observando que el integrando es una funci6n
impar de x, por lo que se puede escribir
i
x sen x . _ _I_ I oo x sen x
2 d.\ - 2 9 dx.
0
x+9 2 _ocx +
Con a = I se forma ahora Ia integral de contorno
i
z .
---e' dz
2 + 9 .
c z
( I I )
'
r
l
I
d'
,'
I
I'
1:
' ..
I
.!:
I
I
I

'I
I
509
y
Figura 11.13 Contorno mellado
510 .
donde C es el mismo contorno mostrado en la figura 11. 12. Por el teo rem a I I . I 4,
f: _z_ eiz dz + JR _x __ eix dx = 21Ti Res(f(z)ei<, 3i),
J z
2
+ 9 x
2
+ 9
- R
dondef(z) = z/(z
2
+ 9). De (4) de Ia secci6n 11.5,
Res(f(z)e;t, 3i) = ze;zl = e- 3
2z z=3i 2
pues, considerando ei teorema 11. 16 se concluyeque f c.J<z)e;z dz -7 0 cuancloR -7 oo
por lo que
V.P.
J
oo x . (e-3) 1T
---ex dx = 21Ti - =- i.
x
2
+ 9 2 e
3
-oo '
Pero por (10),
J
oo X . Joo X COS X Joo X. sen X 1T
---e'xdx = ---dx + i , dx = - i.
_
00
x
2
+ 9 _
00
x
2
+ 9 _
00
x- + 9 e
3
Igualando las partes real e imaginaria de Ia lfnea anterior se obtiene el resultado adicional
I
oo X COS X Joo X Sen X 1T
V.P. -
2
--dx = 0 jun. to con V.P. - , --dx = 3
x+9 x-+9 e
-oo - oo
Finalmente, tomando en cuenta (II) se obtiene el valor de la integral prescrita:
i
oo x sen x l p Joo x sen x 1T
? dx = - V. .
2
dx = -
1
.
0
x- -f! 9 2 _
00
x + 9 2e
a.
Contornos mellados Las integrales impropias de Ia forma (2) y (3) consideradas
hasta este momento son conti nuas en el intervalo [ -oo, oo). En otras palabras, Ia funci6n
complejaf(z) = P(z)/Q(z) no ha tenido polos sobre el eje real. En el caso de que ftenga
polos en el eje real, se debe modificar el procedimi ento empleado en los ejemplos del 2
al4. Por ejemplo, para calcular

dx por residuos cuando f(z) tiene un polo en z =
c, siendo c un numero real, se usa un contorno mellado tal como se ilustra en La figura
I t .13. El sfmbolo C,. denota un contorno semicircular centrado en z = c y orientado en Ia
direcci6n posit iva. El siguiente teorema es importante para esta argumentaci6n.
TEOREMA 11.17 Comportamiento de la integral
cuando r 0
Sup6ngase queftiene un polo simple z = c sobre el eje real. SiC,. es el contorno
definido por Z = C + rei
0
, donde 0 5 fJ 5 1T, entonces
lfm ( f(z) dz = 1ri Res(f(z), c).
r-->0 J
c,
Demostraci6n Comoftiene un polo si mple en z = c, su seri e de Laurent es
a_,
J(z) = - + g(z),
z-c
donde a_
1
= Res(f(z), c) y g es analftica en c. Utilizando Ia serie de Laurent y la para-
metrizaci6n de C,. se tiene
J J(z)dz =a_, r elf)+ ir rg(c + rei
0
)ei
0
df) = I,+ '2 ( 12)
c, o
1
e o .
Primero, se observa que
i
" ire;o i"
/
1
= a _
1
---ro dfJ = a_
1
idfJ = 1Tia_
1
= 1riRes(f(z),c).
0
re
0
Despues, g es analftica en c y por lo tanto es continua en dicho punto y acotada en una
vecindad del mismo; esto es, existe un M > 0 para el cuallg(c + re;
9
)1 !5 M. Por lo tanto,
ll2l = lir r g(c + re;
0
)e;
0
dOl !5 r r M dO = nrM.
De esta ultima desiguaidad se deduce que Ifm,.....
0
ll
2
l = 0 yen consecuencia lfm,-1
0
/
2
= 0.
EI teorema se demuestra calculando ellfmite de (12) cuando r 0. 0
Ejemplo 5 Uso de un contorno mellado
I
oo sen x
Calcule el valor principal de Cauchy para - oo x(x2 _ 2x +
2
) dx.
Como la integral es de Ia forma (3), se considera Ia integral de contorno
Pc e
1
: d?)z(t- 2z + 2). La funci6nf(z) = 1/z(z
2
- 2z + 2) tie,ne polos si mples en z = 0
y en z = I + i en el semi plano superior. El contorno C mostrado en Ia figura I I .14 esta
mellado en el origen. Adoptando una notaci6n obvia se tiene
t = t. + + Lc. + r = 27ri Res(f(z)eiz, l + i).,
(13)
donde I - c. = - I c: Calculando los If mites de ( 13) cuando R oo y cuando r 0 se
encuentra a partir de los teoremas I L 16 y 11.17 que
J
oo ix
V.P. (
2
e ) dx - ni 0) = 2ni Res(f(z) eh, I + i).
XX -2x+2
-oo
Ahora,
. 1
Res(f(z)e'z, 0) = 2 y
-l +i
Res(f(z)eh, 1 + i) = __ e-(I + i).
4
Por lo tanto,
' Ioo e"< (I) ( e- l +i )
Y.P. -oo x(x
2
_ 2x +
2
) dx = ni 2 + 2ni --
4
- (I + i) .
Mediante e-
1
+
1
= e-
1
(cos I + i sen 1), simplificando e igualando las partes real e imagi-
naria, se tiene de Ia ultima igualdad que
J
oo COSX _ :!_ _
1
Y. P. (
2
) dx -
2
e (sen 1 + cos 1)
XX - 2x+2
-oo
y
f
oo sen x 7r _
1
Y.P. (
2
) dx = - [1 + e (sen I - cos I)].
XX - 2x+2 2 '
' -oo
0
EJERCICIOS 11.6 Las respuestas a los problemas impares s
En los problemas del 1 al 10, calcule Ia integral trigonometrica
indicada.
rn
1
dO
rw 1
1. 2. dO
o I
+ O.Ssen 8
0
10 - 6cos 0
rn cos e
I
3.
dO
4. dO
0 3 + sene
0
l + 3cos
2
8
r" 1 do
6
J
0
1 + sen
2
8
i
zw sen
2
8
7. dO
0
S + 4cos 0
1
2
" cos 20
9. - dO
5- 4cos 0
y
Figura 11,14 mellado
de C para el ejEjrhplo 5
'
I
I
I
"
'
1
2
"' cos
2
8
s. dO
0
3 ....- sen 0
5. r I d(J [Sugerencia: Seat = 2n - 0.]
1
jQ
0
cos 0 + 2sen 0 + 3
0 2- cos 0
'"
.T'
511
En los problemas del ) I al 30, calcule el valor principal de
Cauchy para Ia integral impropia indicada.
11 dx
J
oo 1
x
2
- 2x + 2
- oo
f
oo 1
13.
2 2
dx
_
00
(x + 4)
f
oo ] .
15. dx
-oo (x2 + I )3
I
oo 2x
2
- I
17. dx
x
4
+ 5x
2
+' 4
-oo
l
oo x2 + 1
19. -
4
--dx
X + 1
0
21.
23.
25.
J
oo COS X
---dx
x
2
+ 1
- oo
J
oo xsen x I
2 c. x
+ 1
1
00
COS 3x I
(x2 + J )2 GX
0 .
1
00
COS 2x
27. -
4
- -dx
0
X + 1
29.
30.
J
oo , COS X l
r.r
_
00
(x
2
+ I )(x
2
+ 9) '
i
oo xsen x
dx
0
(x
2
+ l)(x
2
+ 4)
J
oo 1
12. x2 - 6x + 25 dx
-oo
14. Joo 2 x2 2 dx
_
00
(x + I)
J
oo X d
16. -oo (x2 + 4)3 X
J
oo dx
18. -oo (x2 + 1 ?(x1 + ?)
20.
22.
24.
26.
l
oa 1
---dx
o x 6 +I
J
oo COS 2x
---dx
x
2
+ L
-oo
l
eo COS X I
---::------=- {. X
o (x2 + 4)2
J
oo sen x
1 ? C.X
x - + 4x + 5
-co
l
oa xsen x
28.
4

O X + l
En los problemas 31 y 32, utilice llll contorno ti1ellado y resi-
duos para comprobar el: resu1tado proporcionado.
J
oo sen x
V.P. --dx = 1T
X
-oo
31.
f
oo Sen X
V.P. . ( ? )dx = 7T(I
X x- + 1
-oo
32.
- I)
-e
Resuelva los problemas del 1 al 12 sin consul tar el texto. Llene
los espacios en blanco o conteste verdadero/falso.
1. Una.funci6nfes analitica en un punto Zo sifpuede ex-
pandirse en una serie de potencias convergente centrada
enz
0
__
2. Una serie de potencias representa una funci6n continua
en toclos los puntos dentro y en su cfrculo de convergen-
cia.
3. Paraf(z) = 1/(z .- 3), Ia serie de Laurent que es valida
para lzl > 3 es z- + 3z-
2
+ 9z-
3
+ . Como existe
un mlmero infinito de potencias negativas' de z = z - 0,
z = 0 es una singularidad esencial. __
4. Las unicas singularidades posibles en una funci6n racio-
nal son los polos. __
33. Compruebe el siguiente resultado general
( 1r d() = a 'IT a > 1
)
0
(a .+ cos 8)
2
(\fc1-=-ii
y utilfcelo para verificar Ia soluci6n del ejemplo I.
34. Compruebe el siguiente resultado general
1
2
" sen
2
8 21T
----d() = -
2
(a - Ya
2
- 1} ), a > b > 0
0
a + bcos () b
y utilfcelo para verificar Ia soluci6n del problema 7.
35. Uti lice el contorno de Ia figura 11.15 para demostrar que
J
OO el/X 1T ,
V.P. --dx = --, 0 < a < l.
I + e' sen a1T
-oo
y
21fi
c
r
l 1fi
Figura 11.15 Contorno
-_-' ,-. - ---+- - ..... -....J,L . - .r del problema 35
36 .. La temperatura de estado estable u(x, y) en una placa
lnfinita esta detenninada por
i)
1
u a
2
u
-2 + -
2
= 0,. 0 < X < 7T, y > 0
ax i)y
2y
u(O, y) = 0, u(1T, y) = -
4
--, y > 0
y + 4
u(x, 0) = 0, 0 < x < 1T.
titilice una transformada de Fouri er y el metodo del
residuo para demostrar que
l
ao e -a sen a senl1 ax
u(x, y) = senay da.
" senh a1T
5. La funci6nf(z) = e''<z- ll tiene una singularidad esencial
enz = 1. __
6. La funci6nf(z) = z/(e'- l) tiene una si ngularidad re-
movible en z = 0. __
7. La funci6nf(z) = z(e' - 1) posee till cero de orden 2 en
z= O. __
8. La funci6nj(z) = (z + 5)/(z? sen
2
z) tiene un polo de
orden __ en z = 0.
9. Sif(z) = COL1TZ, entonces Res(f(z), 0) = __ .
10. La serie de Laurent para f que es para 0 < lz - 11
yi ene dada por
. _
3
( z - 1 r' ( z - 1) ( z - 1 )
3
(z - L) - + - + ....
3! 5! 7!
512 CAPITULO 11 Series y residuos
De est a serie se observa que f tiene un polo de orden
__ en z = I y Res(f(z), I) = __ .
11. El cfrculo de convergencia de Ia serie de potencias
00 ( :: - i)k
(2 + i)k+ I es
00 l
12. La serie de potencias 2:
1
converge en ::= 2i. _ _
k l 2
13. Encuentre una expansi6n de Maclaurin para/(<:) = z.
[Sugerencia: Utilice Ia identidad cos z = (e;= +
14. Muestreque Ia funci6nj(::) = l/sen(7r/z) tiene un nu-
mero infinite de puntos singul ares. de estos
puntos singulares son puntos aislados?
En los problemas del 15 al 18, utilice resultados conocidos
como ayuda para expandir Ia funci6n proporcionada en una
seric de L1urent que sea val ida para Ia regi6n anular indicada.
I - e;z
15. J (z) = --
4
, 0 < ld
. z
16. j(z) = ed!r-
2
>. 0 < k - 21
I
17. j(z) = (:: - i)
1
sen - - .. 0 < lz - il
z- t
I - cos l
18. j(z) =
5
, 0 < lzl
z
2
19. Expaudaj(z) =
2
en una seric apropiada
z - 4z + 3
que sea valida para
a) lzl < l b) I < lzl < 3 c) lzl > 3
d) O<lz - 11<2.
20. Expandaj(z) = ( )' en una seri e apropiada que sea
z- 5 -
para
a) ld < 5 b) lzl > 5 c) 0 < lz - 51.
En los problemas del 21 al 30, uti lice el teorema del residuo de
Cauchy para calcular la integral proporcionacla sobre el contor-
no inclicado.
i
2z + 5 . _
21. ( )( dz, C. lz + 21 - 2
czz+ 2 z - 1
22. i (
2
) dz, C cs Ia elipse + l = I
23. 1 :. -i . '
1
: .: . I! - : I :
J;. sen z -
i
z + I
24. --
1
- dz. C es el rectangulo definido por x = - I,
C sen1z ,
x = l. y = 4, y = - I
1 e2=
'!,.
1
? dz. C: lzl = 4
i
c: z + 2]:: + 2::

2
dz. C es el cuadrado definido por
. c z .- 2<. + 4
25.
26.
= - 2, X = 2, y = o. y = I
27. i z( e<
1
_
1
) dz, C: lzl = I [Sugerencia: ljtilice laseriede
C I
Maclaurin para z(e - 1).] :
28. 1 ( )'
0
dz, C: lz - II = 3
fc z +l z- 1
1 [ c?l sen z ]
29. 1;; z + z2(z _ 1r? dz, C: lzl = 6 ,
30. i csc1rz dz, C es el rectangulo por x = - 4.
x =t y = -l,y = l
En los problemas 31 y 32, ealcule el valor principal de Cauchy
para Ia integral impropia indicada.
31.
f
oo
-oo (x2 + 2x + 2)(x2 + 1 )2
32.
f
oo a cos x + x sen x : .
x 2 +
0
2 dx, a> 0 [Sugerencia: Considere
- oo
i t(z - ai).]
En los problemas 33 y 34, calcule Ia integral
indicada. '
1
2
11' cos
2
8
33. dO
0 2 + sene
34. i 211' cos 38 dO
0
5 - 4cos0
35. Utilice un contorno mellado para demostrar que
i
oo 1 - COS X d _ 7T
V.P. 2 X - .
O X 2 ,,
36. Demuestre que J;oe- n'x' cos bx dx = /-b'/
4
n' .y;;rj 2a
considerando Ia integral compl eja dz a lo largo
del contorno C mostrado en Ia fi gura 11 )6. Uti lice el
resultado conocido e- n'x' dx == .y;;r/ a.
y
b-
2a2
1
,I
c
X
- I' r
Figura 11.16 Contorno del problema 36 :
I
,.
37. Puede mostrarse que Ia expansi6n de Laurent paraf(z) =
e<ul2)(: - llt) que es valida para 0 < lzl es j(z) = - oo J"
(u)t, donde JtCu) es Ia funci6n de Bessel de. primer tipo
de orden k. Uti lice (4) de Ia secci6n 11.3 /el contorno
C: lzl = I para mostrar que los coeficientes vienen
dados por
Jk(u) = - cos(kt - u sen t)
1
dt .
1 1
2
11'
27T 0
CAPITULO 11 Ejercicios de repaso
513

Series y estructura de capítulos sobre sucesiones, series de Taylor y Laurent, ceros, polos y residuos

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Series y estructura de capítulos sobre sucesiones, series de Taylor y Laurent, ceros, polos y residuos

Uploaded by

Copyright:

Available Formats

Series y

You might also like