Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Integracin en el Campo
Complejo
yn
z1
zk xk iyk
f ( z ) u ( x, y ) iv ( x, y )
zn
z2
z2
k 1
donde z 0 cuando n .
z1
x1
u ( x, y )dx v( x, y )dy
C
C
i u ( x, y )dy v( x, y )dx
C
C
dz (t ) dx(t ) dy(t )
i
dt
dt
dt
f ( z)dz
t ( B)
t ( A)
t ( B)
t ( A)
dz
f z (t ) dt
dt
Ejemplo 1
Evala :
zdz
C
z (t ) 3t it 2 ,
z ' (t ) 3 2it
f ( z (t )) 3t it 2 3t it 2
De modo que,
2
z
dz
(
3
t
it
)(3 2it )dt
1
4
Ejemplo 2
Evaluar
Solucin
C2
C1
t 2 dt
2
i
3
iy
)
dz
(
1
it
)
idt
t
dt
i
dt
i
C2
1
1
1
3
2
7
7 5
2
2
(
x
iy
)
dz
i
)
i
C
3
3
3 3
Ejemplo 3
Calcular la integral
zz dz
Donde C es el arco de
z 1 z e i
zz dz ie
0
i 2
1 d i ei 3 ei d
0
8
1 i 3
i
e e
3
3
0
7
Camino o contorno
no simple cerrado
Es un contorno que
genera dos
dominios:
uno acotado
(interior)
y otro no acotado
(exterior). Ambos
dominios tienen al
contorno como
frontera.
f ( z )dz f ( z )dz
C
Se cumple que:
f ( z )dz f ( z )dz
C
f ( z )dz f ( z )dz
C
k f ( z) d z k
C
f ( z ) d z , k constante
C [ f ( z ) g ( z )] d z C f ( z) d z C g ( z) d z
C f ( z ) d z C
f ( z ) d z f ( z ) d z,
C2
C f ( z ) dz C f ( z ) dz,
10
Ejemplo 4
Integrar la funcin f ( z ) 1 / z
a lo largo de la circunferencia: |z| = r
y
r
Solucin
Introducimos un parmetro t
variando entre 0 t 2
C : z (t ) rei t
f ( z )dz
f z (t )
0
2
dz
dt
dt
1
it
ri
e
dt
0 rei t
2
i dt 2 i
dz
C z 2i
Nota: podramos haber usado
11
Ejemplo 5
Integrar la funcin f ( z) 1 / z
a lo largo del cuadrado
Solucin
Introducir un parmetro t
variando entre 1 t 1
f ( z )dz f z (t )
1
1 i
C2
y
1 i
C1
C3
1 i
1 i
C4
dz
dt
dt
1
C1 : z (t ) 1 ti ,
dz
i ,
dt
1
1 ti
f z (t )
,
1 ti 1 t 2
C2 : z (t ) t i,
dz
1,
dt
1
t i
t i
f z (t )
,
I
2
11 t 2 dt
t i 1 t2
C3 : z (t ) 1 ti ,
dz
i,
dt
1
1 ti
t i
f z (t )
,
I
3
11 t 2 dt
1 ti 1 t 2
C4 : z (t ) t i,
dz
1,
dt
1
t i
f z (t )
,
t i 1 t2
I1
t i
11 t 2 dt
t i
dt
2
1
t
1
I4
12
0 (integrando impar en
intervalo de integracin par)
t i
dt
2
1 t
1
1
f ( z )dz 4
t
1
4
dt i
dt
2
2
1 t
1
1 1 t
1 i
C2
y
1 i
4i arctan t
1
1
C1
C3
1 i
1 i
C4
4i / 4 / 4
2 i
dz
C z 2 i
13
f ( z )dz
f z (t )
3 i
C2
y
1 i
C1
C3
3i
C4
1 i
dz
dt
dt
1
C1 : z (t ) 1 t i,
dz
1
1 ti
i, f z (t )
,
dt
1 ti 1 t 2
C2 : z (t ) 2 t i,
dz
1,
dt
1
2t i
(2 t ) i
f z (t )
,
I
2
11 (2 t ) 2 dt
2 t i 1 (2 t ) 2
C3 : z (t ) 3 t i,
dz
i,
dt
1
3 ti
f z (t )
,
2
3 ti 9 t
dz
C4 : z (t ) 2 t i,
1,
dt
I1
t i
11 t 2 dt
I3
t 3i
1 9 t 2 dt
1
2t i
( 2 t ) i
f z (t )
, I4
dt
2
2
2 t i 1 ( 2 t )
1
t
)
1
14
dt
1
t b
arctan
a 2 (b t ) 2 a
a
ln
a
(
b
t
)
a 2 (b t ) 2
3 i
C2
1 i
C1
obtenemos
C3
dz
C z 0
3i
C4
1 i
15
Observa que:
C
C
dz
C z 2 i
dz
C z 0
dz
C z 0
dz
C z 0
dz
C z 0
dz
C z 0
16
dz
C z 2i
dz
C z 0
C
dz
C z 0
dz
C z 0
dz
C z 0
dz
C z 0
17
f ( z )dz 0
Ejemplos:
C
C
z
e
dz 0
C
dz
C z 0
P P Q Q
,
,
y
x y x
y
Q P
P
(
x
,
y
)
dx
Q
(
x
,
y
)
dy
C
C
D x y dxdy
Supongamos que la regin R es un rectngulo como muestra la
figura.
C3
y1
P( x, y1 ) P( x, y0 )dx
x1
C2
C4
y0
C1
x0
1George
x1 y1 P
P
dxdy
dy dx
x0
y
y0 y
x1
x0
x1
x0
x0
P( x, y0 )dx P( x, y1 )dx
C1
P( x, y )dx P( x, y )dx.
x1
C3
19
C2
P( x, y)dx 0;
C2
C4
P( x, y)dx 0
P
dxdy P( x, y )dx P( x, y )dx
C1
C3
y
Q
R y dxdy cQ( x, y)dy
Y eso completa la demostracin para un contorno rectangular
recorrido en sentido positivo.
20
C2
C1
(Pdx Qdy)
C
C1
21
f ( z )dz
P( x, y ) : u ( x, y )
Q( x, y ) : v( x, y )
P( x, y ) : v( x, y )
Q( x, y ) : u ( x, y )
v u
u v
dxdy i dxdy 0
D x
y
x y
0
(Como f(z) es analtica cumple las ECR)
22
23
Ejemplo 1.
1i
Calcular
2
z
dz
0
Solucin
La funcin f ( z) z 2 es continua en todo el plano complejo y admite
la primitiva F ( z) z 3 / 3 en todo el plano. Por lo tanto:
1 i
2
z
dz
0
1 i
z
3
2
(1 i )
3
24
Ejemplo 2.
Calcular
i
dz
z
2
e
,
,
con
c:
c z 2 0
Solucin
La funcin f ( z) 1 / z es continua en todo el plano complejo excepto
en el origen, tiene primitiva a F ( z) 1 / z en el dominio |x| > 0 (todo el
plano salvo el origen). En consecuencia
2
dz
c z 2 0
25
f ( z )dz 0
26
Ejemplos
C1
C2
1
C cos z dz 0
1
C1
1
C cos z dz ?
2
C2
3e z sin z
C 3 z dz 0
1
1
C sin(z )dz 0
No es analtica en los
puntos
z = 0, 1, 2,...
2i
-2 -1
3e z sin z
C 3 z dz ?
2
f (z) es no analtica
en z = 3
27
f ( z )dz ML
longitud
de C
Demostracin:
f ( z ) dz lim f ( zk ) zk
n
k 1
donde z 0 cuando n
28
dz lim z
C
k 1
L; donde L es la longitud de C.
f ( z)dz lim f ( z )z
C
k 1
lim f ( zk ) zk f ( z ) dz
n
f ( z)dz
C
k 1
f ( z ) dz
29
f ( z)dz lim f ( z
n
k 1
)zk
lim f ( zk ) zk M lim zk ML
n
k 1
k 1
f ( z )dz ML
Desigualdad ML
30
Ejemplo:
Encuentra una cota superior para el valor absoluto de:
donde C es el crculo |z| = 4.
ez
C z 1 d z
ez
| ez | | ez |
z 1 | z | 1
3
ez
e4
z 1 3
f ( z) M
L 2R
ez
8e 4
C z 1 d z 3
31
Im
(z)
Log zdz
Re
(z)
Respuesta.
Log z ln z i arg z
Log zdz ML
Log z i ,
M: max |Log z|
Log zdz
2
4
32
1
E
2
B
3
C
33
ABCA
Sea
1 : max{ 1 , 2 , 3 , 4 }
Entonces:
f ( z)dz 4 f ( z)dz
1
ABCA
f ( z )dz 42
ABCA
f ( z)dz
34
f ( z )dz 4n
ABCA
f ( z)dz
ABC , 1 , 2 , 3 ,..., n
f ( z) f ( z0 ) f ( z0 )( z z0 ) ( z)( z z0 )
recordemos que (z) depende de z y que (z)0 cuando z z0; es
decir, que para todo podemos encontrar un tal que (z)
siempre quez - z0.
35
g ( z ) z z0
g ( z) 1
36
P
Pn n
2
P
| z z0 | Pn n
2
n
z0
P P
f ( z )dz ( z z0 )dz n n
2
2
n
M
f ( z)dz
P 2
4n
37
Tenamos:
f ( z )dz 4n
ABCA
f ( z)dz
f ( z )dz 4
ABCA
P
n
4n
P 2
f ( z)dz 0
ABCA
38
z0 z n
z1
z2
A
B
E
zn 1
39
Recordemos que:
Sn
Para
n
finito,
estamos
aproximando la curva cerrada
con un polgono P cerrado de n
lados y de permetro Sn.
Obviamente:
f ( z )dz f ( z )dz Sn Sn
C
f ( z )dz
f ( z )dz S S
1
Acotaremos
1 y
2
40
Comencemos con
lim S n : f ( z )dz
n
f ( z )dz S n
f ( z )dz S n
2
41
Sn
f ( z )dz 0
z1
z2
zn
z0
z1
z n1
z1
z2
zn
z0
f ( z )dz
{ f ( z ) f ( z1 ) f ( z1 )}dz
z1
{ f ( z ) f ( z 2 ) f ( z 2 )}dz ...
z n1
{ f ( z ) f ( z n ) f ( z n )}dz 0
42
z1
z1
z1
0 { f ( z ) f ( z1 )}dz f ( z1 ) dz
z0
z0
z 2
z2
z2
{ f ( z ) f ( z2 )}dz f ( z2 ) dz ...
z1
z1
zn
zn
{ f ( z ) f ( zn )}dz f ( zn ) dz
z n1
z n1
z n
z1
zn
z0
z2
z n1
z1
{ f ( z ) f ( zn )}dz S n 0
43
z1
z2
z0
z1
zn
z n1
{ f ( zn ) f ( z )}dz
Sn
zn
z n1
z1
z0
{ f ( z1 ) f ( z )}dz
z2
z1
{ f ( z2 ) f ( z )}dz ...
{ f ( zn ) f ( z )}dz
44
zk
z k 1
{ f ( zk ) f ( z )}dz
zk
dz zk zk 1
z k 1
f ( zk ) f ( z )
2P
45
Tenamos:
Sn
zn
z n1
z1
z0
{ f ( z1 ) f ( z )}dz
z2
z1
{ f ( z2 ) f ( z )}dz ...
{ f ( zn ) f ( z )}dz
De modo que:
P
z1 z0 z2 z1 ... zn zn1
Sn
2P
2
46
Recopilando:
f ( z )dz
f ( z )dz S n S n
f ( z )dz 0
47
Ejercicio
48
f ( z )dz 0
Entonces:
Sentido negativo
f ( z)dz f ( z)dz
C1
C1
C2
C2
D
50
f ( z)dz 0
Sentido positivo
C1 AB C2 BA
C1
f ( z)dz f ( z)dz
C1
AB
f ( z )dz f ( z )dz
C2
BA
Como:
f ( z)dz f ( z)dz 0
C1
C2
C2
f ( z)dz f ( z)dz
AB
BA
f ( z)dz 0
C C1 C2
51
Ejemplo 1:
z
z
e
dz
dz
C1
(obvio!)
C2
C1
C2
Ejemplo 2:
1
1
C z dz C z dz
1
2
52
Otra demostracin
Introduzcamos dos cortes, L1 y L2 ,que unen
los dos contornos.
L1
Inicio
5 C
4
1
**
8
7
C*
L2
Ahora f (z) es analtica sobre y dentro
de C* y C** . Por el teorema Integral de Cauchy:
f ( z)dz 0,
c*
f ( z)dz 0
c**
53
L1
Inicio
1 2 3 4
5 6 7 8
1, 3
**
5 C
8
4
6
**
f ( z )dz f ( z )dz
C*
L2
6,8
C1
L1 y L2 se anulan
C2
f ( z)dz f ( z)dz 0
C1
C2
1 i
C2
f ( z)dz f ( z)dz
C1
C2
Recordemos:
y
1 i
C1
C3
1 i
1 i
dz
C z 2i
C4
55
Ejemplo
As que como la integral de f(z) = 1/z a lo
largo de un crculo de radio r es 2i:
1
C z dz 2 i
1
C2
C1
1 es analtica
z aqu
56
Ejemplo
Evaluar la integral
3i
dz
C z 2 ( z 2 9) dz
0 1
-3i
dz
C z 2 ( z 2 9) dz 0
57
C f ( z )dz
C
k 1
f ( z) d z
58
C3
C1
C2
f ( z)dz f ( z)dz
C1
C1
C2
f ( z )dz f ( z )dz
f ( z)dz f ( z)dz
C2
C3
C3
59
Ck
f ( z )dz ak , k 1, 2, 3
Calcular,
f ( z )dz siendo i cada uno de los siguientes contornos
i
orientados positivamente:
(1) 1 : |z| = 4,
Respuesta:
Por el teorema de CauchyGoursat
en
dominios
mltiplemente conexos:
1
2
3
f ( z )dz a1 a2 a3
f ( z )dz a1 a2
f ( z )dz a2 a3
60
y
1 i
z (t ) t i t
(2) Integramos:
0 t 1
dz
1 i
dt
0
1
f ( z)dz
C
dz
f z (t ) dt (t i t )(1 i )dt
dt
0
2 1
(
t
i
t
it
t
)
dt
2
tdt
t
0 1
61
Ejemplo 1
Integrar la funcin f ( z ) z a largo del camino C = C1 + C2
que une los puntos 0 y 1+ i, como muestra la figura:
A lo largo de C1: z(t ) t
f ( z )dz f z (t )
0
1
0 t 1
y
1 i
dz
dt
dt
(t )(1)dt
t
1 2 1
0
2
C2
1
2
0 t 1
C1
0
dz
f ( z )dz f z(t ) dt dt
1
2
t it
2
1
0
1
2
62
zdz 1
C
y
1 i
x
1 1
C zdz 2 2 i 1 i
63
y
1 i
f ( z)dz
C
dz
f z (t ) dt (t i t )(1 i )dt
dt
0
1
2i tdt it 2 10 i
0
64
Ejemplo 2
Repitamos de nuevo con la funcin f ( z ) z , pero ahora a largo
del camino C = C1 + C2 que une los puntos 0 y 1+ i:
A lo largo de C1:
f ( z )dz f z (t )
0
0 t 1
z (t ) t
1 i
dz
dt
dt
(t )(1)dt
t
1 2 1
0
2
A lo largo de C2:
z (t ) 1 i t
f ( z )dz f z (t )
0
1
C2
1
2
C1
0 t 1
dz
dt
dt
1
1
0
12 i
65
zdz i
y
1 i
Ahora el valor de la integral no
depende del camino.
Qu diferencias hay
entre f(z) = z y f(z)= z ?
x
1 1
C zdz 2 2 i i
66
Ejemplo 3
Integrar la funcin f ( z ) z 2
a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura
z(t ) 2 t 2ti
0 t 1
f ( z )dz f z (t )
0
dz
dt
dt
1 2i
( 2 t 2ti ) 2 ( 1 2i )dt
0
1
( 1 2i ) ( 3t 2 4t 4) i ( 4t 2 8t ) dt
0
( 1 2i )1 i (8 / 3)
1
(19 2i )
3
67
Ejemplo 4
Integrar la funcin f ( z ) z 2 a lo largo del camino C = C1+ C2
uniendo 2 y 1+2i tal como muestra la figura
0 t 2
A lo largo de C1: z (t ) 2 t
1 2i
f ( z )dz (2 t ) 2 (1)dt
C2
0
2
(t 2 4t 4)dt
0
8
3
C1
x
2
0 t 1
( 11 2i ) t 2 dt
0
11 2
i
3 3
68
2
z
dz (19 2i ) / 3
C
y
1 2i
El valor de la integral
a lo largo de los dos
caminos es el mismo.
Coincidencia?
2
2
z
dz (19 2i ) / 3
C
69
z1
C2
f ( z)dz f ( z)dz 0
C1
C2
f ( z )dz
z1
a lo largo de C1
f ( z )dza lo largo de C2 0
z1
z1
a lo largo de C1
f ( z )dza lo largo de C2
z1
z2
z2
f ( z )dz
z1
z2
z2
z2
f ( z )dz
C1
a lo largo de C1
z2
f ( z )dz
z1
a lo largo de C2
70
altura h
71
Ejemplo f(z)=|z|2
y
1+i
L0
L2
L1 1
L0 : x t
yt
0 t 1
L1 : x t
y0
0 t 1
L2 : x 1
yt
0 t 1
f ( z ) | z |2
1
L0 : I 0
2
|
t
it
|
(
1
i
)
dt
|
1
i
|
(
1
i
)
t
dt
2
0
1
L1 : I1
2
|
t
|
dt
2
t
dt
L2 : I 2
1
3
2(1 i )
3
2
|
1
it
|
idt
2
(
1
t
)idt i
i
4i
3
3
72
Ejemplo: f(z)=z2
y
i
1+i
L0
L2
L1 1
f ( z) z
L0 : x t
yt
0 t 1
L1 : x t
y0
0 t 1
L2 : x 1
yt
0 t 1
L0 : I 0
(t it ) (1 i )dt (1 i)
2
0
1
L1 : I1
2
t
dt
0
2
t
dt
0
1
3
L2 : I 2
2i 2
3
(1 it ) idt
2
(
1
t
i 2t )idt
2i 3
3
73
Ejemplo: calcular
1
dz
z
C2
C1
/2
f ( z)dz f ( z)dz
C1
C2
/2
dz
f z ( ) d
d
1
i
i
i e d
i
e
2
74
z1
C2
C1
z2
75
Si f es analtica en D entonces:
C f ( z ) d z C
f ( z) d z 0
f ( z) d z f ( z) d z
C1
76
z0
z1
Consideremos la integral
f ( z )dz
z0
z1
f ( z ) dz F ( z1 ) F ( z0 )
donde
dF
f (z )
dz
z0
1 2 i
z3
2 z dz 3
2
p.ej.
z 1 2 i
z3
z 2
1
(19 2i )
3
77
Ejemplos
i
todo el plano
complejo
(1)
2 sin(i ) 2i sinh
23.097i
1 i
zdz ?
(2)
0
i
(3)
1
1
i z 2 dz z i 2i
f (z) analtica en
este dominio
Si f ' ( z ) 0 en un dominio D,
(y f ( z ) es analtica) entonces f ( z ) ser constante sobre D.
Prueba :
f ' ( z ) 0 u x iv x 0 u x 0 y v x 0
u x v y y u y v x
u x vx u y v y 0
u ( x, y ) a y v( x, y ) b ( x iy ) D
f ( x, y ) a ib ( x iy ) D
80
1
1
i
dz
i
e
d
C z
ei
1
C1
i d i
C2
1
1
i
dz
i
e
d
C z
ei
2
0
i d i
81
y
i
C1
Punto de
ramificacin
Corte
1
1
1
C z dz 1 z dz log z 1
1
log | 1 | i arg(1) log | 1 | i arg( 1)
i (0 ) i
82
Punto de
ramificacin
Corte
0
C2
1
1
1
dz
dz
log
z
C z
1 z
1
2
log | 1 | i arg(1) log | 1 | i arg( 1)
i (2 ) i
Y tomemos los
cortes como los
tomemos, siempre
obtendremos este
resultado.
83
84
85
dz
C z 0
dz
C z ?
La respuesta en el
siguiente resultado
86
z0
f ( z)
C z z0 dz 2 i f ( z0 )
D
87
Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z0 = 0
La frmula integral de Cauchy
f ( z)
C z z0 dz 2 i f ( z0 )
D
z0 0
se convierte en
1
C z dz 2i 1 2i
Ejemplo 1
z2
dz
Evaluar la integral
2
z
C
donde C es z 1 2
z0 2
f ( z)
C z z0 dz 2 i f ( z0 )
se convierte en:
z2
dz 2 i 4 i8
z2
C
89
Demostracin no rigurosa de
la frmula integral de Cauchy:
z
r0 ei
z0
C0
f ( z)
f ( z)
C z z0 dz C z z0 dz
0
i
2 f ( z r e )
2
f ( z)
i
i
0
0
dz
ir
e
d
i
f
(
z
r
e
)d
0
0
0
i
C z z0
0
0
r0e
0
Cambio de
variable:
z z0 r0e ;
dz
ir0ei
d
90
lim i f ( z0 r0e )d i f ( z0 )d
0
r0 0
0
2
if ( z0 ) d 2if ( z0 )
0
f ( z)
C z z0 dz 2 i f ( z0 )
Qu no es riguroso aqu?
91
r0 ei
z0
C0
Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin de
contornos:
f ( z)
f ( z)
C z z0 dz C z z0 dz
0
f ( z0 ) f ( z ) f ( z0 )
f ( z)
dz
C z z0 dz C0
z z0
f ( z ) f ( z0 )
1
f ( z0 )
dz
dz
C0 z z
C0
z z0
0
I1
I2
92
2
2
1
1
i
I1
dz
ir0e d i d 2i
i
0 re
0
z z0
0
C0
L 2 r0
C0
f ( z ) f ( z0 )
f ( z ) f ( z0 )
M
z z0
z z0
z z0 r0
I2
f ( z ) f ( z0 )
dz
z z0
f ( z) f ( z0 ) si z z0
r0 f ( z ) f ( z0 )
f ( z ) f ( z0 )
f ( z ) f ( z0 )
M L 2 r0
z z0
r0
r0
Ya podemos aplicar la desigualdad ML: para
I2
C0
f ( z ) f ( z0 )
dz ML 2 r0 2
z z0
r0
f ( z ) f ( z0 )
f ( z)
1
C z z0 dz f ( z0 )C0 z z0 dz C0 z z0 dz 2if ( z0 )
I1 2i
I 2 0
94
Ejemplo 2
Evaluar la integral:
dz
C z i
f ( z)
C z z0 dz 2i f ( z0 )
f ( z) 1
z0 i
f (z) es analtica en D y C incluye z0
f ( z0 ) 1
dz
C z i 2i
95
Ejemplo 3
Evaluar
dz
C z 2 1
f ( z)
C z z0 dz 2i f ( z0 )
C
D
dz
dz
z i dz
C z 2 1 C ( z i)( z i) C z i
96
dz
dz
C z 2 1 C ( z i)( z i) C
1
z i dz
z i
f ( z)
C z z0 dz 2i f ( z0 )
1
f ( z)
z i
z0 i
f ( z0 ) i / 2
C
D
dz
2
z 1
C
97
Ejemplo 4
Evaluar
z
C z 2 9 d z
donde C es el crculo |z 2i | = 4.
Solucin
Solo z = 3i est dentro de C, y
z
z
z 3i
z 2 9 z 3i
z
Sea f ( z )
, entonces :
z 3i
z
z
3i
z
3
i
C z 2 9 d z C z 3i d z 2 i f (3i) 2 i 6i i
98
Ejemplo 5
Evaluar
ez
C z i dz
f ( z)
C z z0 dz 2 i f ( z0 )
D
z0 i
se convierte en
ez
i
dz
ie
C z i
f (z) es analtica en todo punto
99
Ejemplo 6
Evaluar
dz
C z 4 1 donde C es el crculo |z+i |=1
Tenemos que
dz
dz
C z 4 1 C ( z 1)( z 1)( z i)( z i)
dz
f ( z)
C z 4 1 C z i dz
donde
f ( z)
C
1
1
( z 1)( z 1)( z i )
1
i
Ahora f ( z0 ) f (i )
(i 1)(i 1)(2i ) 4
dz
f ( z)
dz
i
f
(
z
)
0
4
1
z
z
2
0
C
C
100
Ejemplo 7
tan z dz
Evaluar
C z 2 1 donde C es el crculo |z |=3/2
tan z es no analtica en /2, 3/2, , pero esos
puntos estn fuera de nuestro contorno de
3 / 2
integracin
C incluye dos puntos singulares, z = 1.
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z0 dentro de C.
1 / 2
1
A
B
A( z 1) B( z 1)
2
z 1 z 1 z 1
( z 1)( z 1)
( A B) z 0
A B 1
A 1 / 2, B 1 / 2
101
tan z
1 tan z
1 tan z
C z 2 1 dz 2 C z 1 dz 2 C z 1 dz
z0 1
f ( z ) tan z
f ( z0 ) tan1
z0 1
f ( z ) tan z
1 / 2
f ( z0 ) tan(1)
tan z
1
C z 2 1 dz 2i 2 tan(1) tan(1) 9.785i
102
f ( z)
2i d n f
C z z0 n 1 dz n! dz n
f analtica en y dentro
de C, z0 dentro de C
z0
z 2 3z
d z 2 3z
C z 12 dz 2i dz
cos z
d 2 cos z
,
dz i
3
2
dz
2
C
z0 1
z0 2
f ( z)
C z z0 dz 2i f ( z) z0
103
Demostracin
1
f ( z)
dz
Partiendo de la frmula integral de Cauchy: f ( z0 )
2i C z z0
Tomando f(z0) como una funcin de variable z0. Derivando
con respecto a z0 y aplicando la regla de Leibnitz:
d
d 1
f ( z)
f ( z0 )
dz
dz0
dz0 2i C z z0
1
d 1
dz
f ( z)
2i C
dz0 z z0
1
f ( z)
dz
2
2i C z z0
por induccin:
f ( z)
2i d n f
C z z0 n 1 dz n! dz n
z0
104
105
Ejemplo 1
ez
Evaluar la integral
C z 2 dz
f ( z)
C ( z z0 ) 2 dz 2i f ( z0 )
z
f ( z ) e
z0 0
f ( z ) ez
f ( z0 ) e 0
ez dz
2
i
C z 2
106
Ejemplo 2
z2
Evaluar la integral
C z i 3 dz donde C es el crculo |z |=2
f ( z)
2 i
C ( z z0 )3 dz 2 f ( z0 )
z0 i
f ( z) z 2
f ( z ) 2
f ( z0 ) 2
z 2 dz
C ( z i)3 2 i
107
Ejemplo 3
ez
dz donde C es la circunferencia z 3
Calcular
3
C z 2i
ez
I
dz
3
C z 2i
(n)
n!
f ( z)
z0
dz ,
n 1
2i C z z0
siendo :
z0 2i;
e
2i
f ( z ) e z f ( z0 ) e 2i
2!
ez
I
2i
dz
ie
2i C z 2i 3
i
108
109
110
111
z
n 1
z1 z2 z3 ...
112
Series convergentes
s zn z1 z2 ...
n 1
s sn Rn
Rn s sn
y lim Rn 0
n
113
Serie geomtrica
Para la serie geomtrica:
k 1
2
n 1
az
az
az
az
k 1
z
)
S n a az az 2 ... az n1
1 z
114
Ejemplo:
(1 2i ) k (1 2i ) (1 2i ) 2 (1 2i )3
5k 5 52 53 ...
k 1
es una serie geomtrica con a = (1 + 2i)/5 y
z = (1 + 2i)/5. Puesto que |z| < 1, tenemos que:
1 2i
(1 2i ) k
i
5
5k
1 2i 2
k 1
1
5
115
m=1 m
Ejemplo
ik
Es la serie 2 convergente?
k 1 k
Es absolutamente convergente, puesto que
k
2
2
1
|i /k | = 1/k y la serie real
k2
k 1
es convergente.
De modo que la serie original es convergente.
117
Comparacin de series:
Si dada una serie dada z1+ z2+ ... , podemos hallar una serie
convergente b1+ b2+ ... con trminos reales no negativos tal que
|zn| bn para todo n = 1, 2, ...entonces la serie dada converge,
incluso absolutamente.
118
zn 1
lim
L
n z
n
a)
b)
c)
n
2
(
100
75
i
)
(
100
75
i
)
Dado S
1 (100 75i)
n!
2!
0
Es S convergente o divergente?
z
lim n 1 lim
n z
n
n
100 75i
n 1
100 75i
n 1!
n
n!
lim
100 75i
n 1
125
0
n n 1
lim
Converge.
119
Criterio de la raz:
Si una serie z1+ z2 + ... cumple que para todo n > N
n
| zn | q 1
(n < N)
donde q<1 est fijado, la serie converge absolutamente. Si para infinitos n
se cumple que:
n | z | q 1 , la serie diverge.
n
| zn | L
entonces:
a)
Si L < 1 la serie converge absolutamente
b)
Si L > 1 diverge
c)
Si L = 1 no podemos extraer conclusiones
120
Ejemplo
(1) n
1 1
1
4 i n (4 i) (4 i) 2
S 2 n
3
4 7
19
0 2
Dado
Es S convergente?
(4 i ) n
lim n 2 n
n 2
3
17
17
lim (4 i) lim
n n 4 n 3 n n 4 n 3
4
La serie geomtrica
m
2
q
m 0
converge con suma 1/(1-q) si |q| < 1 y diverge para otros valores.
121
Serie de potencias
a (z z )
n 0
centro de
desarrollo
ao a1 ( z zo ) a2 ( z zo )
2
coeficientes
complejos
P.ej.
1
1
n
2
(
z
i
)
(
z
i
)
(
z
i
)
2
n 0 n!
122
n
2
3
z
n 0
(Serie
geomtrica)
Ejemplos:
Radio de convergencia
infinito; R =
1 n
z2 z3
z 1 z
2! 3!
n 0 n!
La serie converge para todo z
n
2
3
n
!
z
2
!
z
3
!
z
n 0
a (z z )
n 0
ao a1 ( z zo ) a2 ( z zo )
2
zo
z zo R : diverge
z zo R
: converge
En resumen:
El radio de convergencia R puede ser:
126
an 1 1
(i)
lim
(ii)
a n1
an
lim
L 0,
a n1
(iii)
R = 1/L.
lim
an
a n1
an
R es .
R = 0.
127
Ejemplo:
(2n)!
n
2
(
z
3
i
)
2
(
z
3
i
)
6
(
z
3
i
)
2
n 0 ( n! )
an1
lim
2
n a
n ( n 1)!2 ( 2n)!
n
(
n
1
)
R
n
1
R
4
128
(2n)!
n
2
(
z
3
i
)
2
(
z
3
i
)
6
(
z
3
i
)
2
n 0 ( n! )
z 3i 1 / 4
: converge
zo 3i
z 3i 1 / 4 : diverge
129
Ejemplo:
n
2
(
z
4
i
)
(
z
4
i
)
(
z
4
i
)
n 0
an 1
1
1
lim
lim 1
n a
n 1
R
n
R 1
zo 4i
z 4i 1:
diverge
z 4i 1 :
converge
130
Ejemplo:
n
n
2
2
ne
(
z
1
)
e
(
z
1
)
2
e
(
z
1
)
n 0
an1
(n 1)e n1
n 1
1
lim
lim
lim e
e
n
n a
n
n
ne
n
R
n
R 1/ e
zo 1
z 1 1/ e :
z 1 1/ e
diverge
: converge
131
Otro ejemplo:
(1) k ( z 1 i ) k
k!
k 1
(1) n 2
(1) n 1
1
(n 1)!
an
, lim
lim
0
n
1
n ( 1)
n n 1
n!
n!
El radio de convergencia es .
132
la serie diverge.
(2) Si lim zn 0
n
z
n 0
la serie diverge.
(3) Comparar:
z
n 0
(4) Si lim
converge si zn bn y
zn 1
1
zn
b
n 0
converge
la serie diverge.
133
a
(Observa que para nosotros era: R lim n 1
134
135
136
137
Ejemplo:
1
f ( z)
zn 1 z z2 z3
1 z
n 0
Radio de convergencia R = 1
138
f ( z ) an ( z z o ) ,
n
n 0
1 (n)
an f ( zo )
n!
(Cauchy, 1831)
139
f ( 0) ( z ) sin z
f ( 4) ( z ) sin z
f (1) ( z ) cos z
f (5) ( z ) cos z
f ( 2) ( z ) sin z
f
( 3)
( z ) cos z
f ( 0) (0) 0
f ( 4) (0) 0
f (1) (0) 1
f (5) (0) 1
f ( 2) (0) 0
f (3) (0) 1
f ( 2 k ) (0) 0
f ( 2 k 1) (0) (1) k
sin z
k 0
(1) k 2 k 1
sin z
z
k 0 ( 2k 1)!
140
y
r1
1
f ( )
f (z )
d
2 i C1 z
r0
z0
C0
C1
1
1
1
1
z ( z0 ) ( z z0 ) z0 1 z z0
z0
N
z z0
N 1
z0
z z0
1 z z0
1
...
z z0
z0
z0
z0
z
0
141
f ( )( z z0 ) N
f ( )
f ( )
f ( )
f ( )
N 1
( z z0 ) ...
( z z0 )
2
N
z z0 ( z0 )
( z0 )
( z )( z0 ) N
f (z )
1
f ( )
d
2 i C1 z
f ( )( z z0 ) N
1 f ( )
f ( )
f ( )
N 1
( z z0 ) ...
( z z0 )
d
2 i C1 z0 ( z0 ) 2
( z0 ) N
( z )( z0 ) N
f ( N 1) ( z0 )
f ( z ) f ( z0 ) f ' ( z0 )( z z0 ) ...
( z z0 ) N 1 RN ( z )
( N 1)!
Utilizando la frmula generalizada de Cauchy:
(n)
n!
f ( )
( z0 )
d
n 1
2i C z0
142
f ( )( z z0 ) N
1
RN ( z )
d
N
2 i C1 ( z )( z0 )
Observemos que:
| z z0 | r; | z0 | r1 r; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar
f ( )
sobre C1:
r
M 2r1
Mr1 r
RN ( z )
N
2 (r1 r )r1
(r1 r ) r1
N
Ejemplo1
1
Encontrar la serie de Taylor para f ( z )
1 z
f ( z)
1
1
2
3!
, f ( z )
,
f
(
z
)
,
f
(
z
)
1 z
1 z 2
1 z 3
1 z 4
1
an z n
1 z n 0
(n)
n 0
zo 0
z 1
(0) n
z
n!
f (0) 2
f (0) 3!
punto singular
f ( 0) 1
f (0) 1
centro
n 0
1 z z2 z3
R 1
144
f ( z)
1
1
2
3!
, f ( z )
,
f
(
z
)
,
f
(
z
)
1 z
1 z 2
1 z 3
1 z 4
1
n
an z 12
1 z n 0
n 0
n 0
f ( 12 ) 2.23
f ( 12 ) 3!2 4
f ( n ) ( 12 )
z 12 n
n!
2 n 1 z
f ( 12 ) 2
f ( 12 ) 2 2
zo 12
z 1
centro
punto singular
1 n
2
2 4z 12 8z 12 16z 12
2
1
2
145
4
z
8
z
16
z
1 z z z 1 z
2
2
2
1 z
zo 0
z 1
zo 12
z 1
146
f ( z) e
Ejemplo 2
con centro z = 0
f ( z) e z , f ( z) e z , f ( z) e z , f ( z) e z
e an z n
z
n 0
n 0
zo 0
f ( n ) (0) n
z
n!
f (0) 1
f (0) 1
zn
n 0 n!
1 z
f ( 0) 1
f (0) 1
z
z
2 3!
centro
1
de z0 , tq: f ( z ) an ( z zo ) n ,
an f ( n ) ( zo )
n!
n 0
f ( z ) bn ( z zo ) n , con bn an?
n 0
expresiones anteriores:
f ( z0 ) b0
f ' ( z0 ) b1
f ' ' ( z0 ) 2b2 ;
f ' ' ( z0 )
b2
2
(n)
( z0 ) n!b2 ;
f ( n ) ( z0 )
bn
n!
n 0,1, 2, ...
Son los mismos coeficientes del
desarrollo de Taylor
148
f ( z ) an ( z zo ) n , an
n 0
n!
f ( n ) ( zo )
1
z n 1 z z 2 z3
1 z n 0
1
m(m 1) 2 m(m 1)(m 2) 3
n m 1 n n
1
z
mz
z
z
n
(1 z ) m n0
2
!
3
!
z 2 n1
z3 z5
sin z (1)
z
(2n 1)!
3! 5!
n 0
149
Ejemplo 3
Expandir
1
f ( z)
1 z2
para z = 0
(usar la serie geomtrica)
puntos singulares:
z i, i
centro
150
Sabemos que
Por tanto
1
1 z z 2 z3
1 z
1
1
2
4
6
2
2
1 z
1 ( z )
151
Ejemplo 4
Expandir
1
f ( z)
3 2z
para z = 1
(usar la serie geomtrica)
centro z = 1
puntos singulares:
z 3/ 2
Sabemos que
por tanto
1
1 z z 2 z3
1 z
1
1
1 2( z 1) 4( z 1) 2
3 2 z 1 2( z 1)
153
Ejemplo 5
Encuentra la serie de Maclaurin de la funcin:
z
z
1
f ( z) 4
z 9 9 1 ( z 4 / 9)
z
1
f ( n ) (0) n
f ( z)
z
4
9 1 ( z / 9) n0 n!
1
2
3
1 w w w ... (1) n wn
1 w
n 0
2
1
z z z
n z
...
1
)
1 ( z / 9)
9 9 9
n 0
9
4
z/9
n z z
1
)
4
1 ( z / 9) n0
9 9
(1) n 4 n1
n1 z
n 0 9
154
Ejemplo 6
1
Expandir f ( z )
(1 z ) 2
Centro y puntos singulares
Centro z = 0
para z = 0
(Usar la serie binomial)
R = 1:
Punto singular:
z 1
155
1
n m 1 n n
z
1
m
n
(1 z )
n 0
1
1
2
3
2
z
3
z
4
z
2
2
(1 z )
[1 ( z )]
(1 z ) m
es singular en z = -1
156
Ejemplo 7
2 z 2 15 z 34
Expandir f ( z )
( z 4) 2 ( z 2)
en z = 0
Puntos singulares:
z 4, 2
Centro z = 0
el radio de convergencia
debera ser R = 2.
157
1
1 z z 2 z3
1 z
zo 0
1
1
1 2
2 4z 2 8z 2
1 z
Notemos que
zo
1
2
Ejemplo
2z 3
1 1 1 z z2
2
z 2 3z 2
z
z 2 4 8
Puntos singulares en z = 1, 2
Centro
159
Ejemplo
f ( z)
1
1 z
centro
centro
1
1 z z 2 z3
1 z
1
1 1 1
2 3
1 z
z z
z
160
f ( z)
1
1 z
1
centro
centro
1
1 z 1 ( z 1) 2
1 z 2
4
8
2
3
1 z
z 1 ( z 1) ( z 1)
161
f ( z)
centro z0=1
1
1 z
En este caso, la serie es vlida
para 0< |z-1|< , un disco con
el punto singular z0=1 situado en
el centro.
1
1 z
162
163
Ejemplo
Cuntas series con centro z0 = 1/4 puede tener la funcin
sin z
z2 z 2
Ejemplo
e z
( z 2)
|z| < 2
165
Teorema de Laurent:
b3
b1
b2
b4
2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
donde
an
bn
f ( z)
dz, n 0,1, 2, ...
n 1
2 i C ( z z0 )
1
2 i C
r0
r1C
r1
r0
z0
C0
C1
f (z )
1
f ( )
1
f ( )
d
2 i C1 z
2 i C0 z
f ( )( z z0 ) N
f ( )
f ( )
f ( )
f ( )
N 1
( z z0 ) ...
( z z0 )
2
N
z z0 ( z0 )
( z0 )
( z )( z0 ) N
1
1
1
1
z ( z z0 ) ( z0 ) z z0 1 z0
z z0
N
z0
N 1
z
z
z0
1 z0
0
...
z
z z0 z z0
z
z
0
0
z
0
( z0 ) N 1
1
1
1
1
1
...
1
2
1 N
N
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z
167
( z0 ) N f ( )
f ( ) f ( )
f ( )
1
f ( )
1
...
1
2
1 N
N
z
z z0 ( z0 ) ( z z0 )
( z0 ) ( z z0 )
( z z0 ) N z
f (z )
1
f ( )
1
f ( )
d
d
2 i C1 z
2 i C0 z
f ( )( z z0 ) N
1 f ( )
f ( )
f ( )
N 1
( z z0 ) ...
( z z0 )
d
2
N
N
2 i C1 z0 ( z0 )
( z0 )
( z )( z0 )
( z0 ) N f ( )
1 f ( )
f ( )
1
f ( )
1
...
d
2 i C0 z z0 ( z0 ) 1 ( z z0 ) 2
( z0 )1 N ( z z0 ) N ( z z0 ) N z
N 1
bn
f ( z ) an ( z z 0 ) R N ( z )
Q N ( z )
n
n 0
n 1 ( z z0 )
n
168
1
1
QN ( z )
2 i ( z z0 ) N
C0
f ( )( z0 ) N
d
(z )
Observemos que:
| z z0 | r; | z0 | r1 r; | z | | z0 | | z z0 | r1 r
Si M es el valor mximo que puede alcanzar f ( )
sobre C1:
Mr0 r0
1 r0 M 2r0
QN ( z )
N
2r
r r0
(r r0 ) r
N
169
Ejemplo (1)
Expandir la funcin 1/(1-z) en potencias negativas de z
1
1
1 1 1 1
1 1 1 1
1 z
z (1 1z )
z z z 2 z3
z z 2 z3 z 4
1
1 z z 2 converge para |z |<1, la serie
1 z
converge para |1/z| < 1, o |z|>1
Dado que
170
Ejemplo 2
Expandir la funcin 1/(i-z) en potencias de z-2
(Serie de Taylor)
1
1
1
i z i 2 ( z 2) (i 2)1 zi 22
1 z 2 ( z 2) 2
1
2
i 2 i 2 (i 2)
1
z2
( z 2) 2
2
3
i 2 (i 2)
(i 2)
1
1 z z2
1 z
Dado que
converge para
z 2 /i 2 1
z 2
5
171
1
1
1
1 i 2 (i 2) 2
1
i z i 2 ( z 2)
( z 2)1 zi22
z 2 z 2 ( z 2) 2
1
i2
(i 2) 2
2
3
z 2 ( z 2) ( z 2)
Dado que
1
1 z z 2 converge
1 z
i 2 / z 2 1
z 2 / i 2 1
z 2
5
172
Ejemplo 3
e2 z
Expandir la funcin
con centro z = 1
(1 z ) 3
2
e2 z
e 2e 2( z 1)
e2
2( z 1)
1 2( z 1)
3
3
3
(1 z )
( z 1)
( z 1)
2!
2
22
23 2 4
e
(
z
1
)
3
2
(
z
1
)
(
z
1
)
2
!
(
z
1
)
3
!
4
!
f ( z) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3
DENTRO
...
b3
b1
b2
b4
2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
FUERA
174
Ejemplo 1
Expandir la funcin
1
con centro z = 0
( z 1)( z 3)
1
1 1 1 1
( z 1)( z 3) 2 z 1 2 z 3
175
1
1 1 1
( z 1)( z 3) 2 z 1 z 3
(a) |z| < 1
1 1 1
1
2 1 ( z ) 3 1 ( z / 3)
1
1 z z2
2
1 z z 1 2
2
3 3 3
1 4
13 2
z
z
3 9
27
176
1
1 1 1
( z 1)( z 3) 2 z 1 z 3
1
1 1
1
1
2 z 1 (1 / z ) 3 1 ( z / 3)
2
1 1 1 1
1 z z
1 2 1 2
2 z z z
3 3 3
1
1
1 1 z z2
3 2
2z 2z
2 z 6 18 54
potencias negativas
1 < |z| <
potencias positivas
|z| < 3
Serie de Laurent
177
El trmino
1
z 1
est fuera
- trminos negativos
El trmino
1
est dentro
z 3
- trminos positivos
( z 1)( z 3) 2 z 1 z 3
1 1
1
1
2 z 1 (1 / z ) z 1 (3 / z )
1 1 1 1
1 3 3
1 2 1 2
2 z z z
z z z
1 4 13
3 4
2
z
z
z
potencias negativas
3 < |z| <
potencias positivas
|z |<
179
f ( z)
1
( z 1) 2 ( z 3)
f ( z)
1
1
1
1
1
( z 1) 2 ( z 3) ( z 1) 2 2 ( z 1) 2( z 1) 2 1 ( z 1)
2
( z 1) ( z 1) 2 ( z 1)3
...
1
2
3
2
2
2
1
1
1 ( z 1)
...
2
2( z 1) 4( z 1) 8
16
1
f ( z)
2( z 1) 2
180
f ( z)
1
( z 1) 2 ( z 3)
(b) 0 < |z 3| < 2.
1
1
2
f ( z)
[
2
(
z
3
)]
( z 1) 2 ( z 3) ( z 3)
1 z 3
4( z 3)
2
1 (2) z 3 (2)(3) z 3
f ( z)
1
...
4( z 3)
1! 2
2! 2
1
1 3
1
f ( z)
( z 3) ( z 3) 2 ...
4( z 3) 4 16
8
181
8z 1
f ( z)
z (1 z )
8z 1 8z 1 1
1
f ( z)
(8 ) 1 z z 2 ...
z (1 z )
z 1 z
z
1
9 9 z 9 z 2 ...
z
182
1
f ( z)
z ( z 1)
1 < |z 2| < 2.
En el centro z = 2 f es analtica.
Queremos encontrar dos series de
potencias enteras de z 2; una
convergiendo para 1 < |z 2| y la otra
para |z 2| < 2.
1
1
f ( z)
f1 ( z ) f 2 ( z )
z z 1
1
1
1
1
f1 ( z )
z
2 z2
21 z 2
2
1 z 2 z 2 z 2
1
...
2
2
2 2
1 z 2 ( z 2) 2 ( z 2)3
2
...
3
4
2 2
2
2
183
1
1
1
1
f2 ( z)
z 1 1 z 2 z 21 1
z2
2
3
1
1
1
1
...
1
z 2 z 2 z 2 z 2
1
1
1
...
2
3
z 2 ( z 2) ( z 2)
|1/(z 2)| < 1 o 1 < |z 2|.
184
z
z
e 1 z ...
2! 3!
2
3
3 3
3
3z
e 1
3 ...
2
z 2! z
3! z
z
185
f ( z)
1
z ( z 1)
186
Ejercicios resueltos
187
188
189
190
191
192
193
194
195
196
3.10 Residuos
Puntos singulares
Un punto singular z0 de una funcin f (z) es un punto donde
f (z) no es analtica.
Singularidad no aislada
Singularidad aislada
f ( z)
1
z ( z 2) 2
z0 0, 2
aisladas
no aislada
f ( z) 1 / sin( / z)
z0 1, 12 , 13 , 14
z0 0
197
bk
f ( z ) ak ( z z 0 )
k
(
z
z
)
k 0
k 1
0
k
Parte principal
Nota: Observa que el desarrollo tiene como centro
al punto singular (por eso es vlido en 0 < |z z0| < R).
198
Singularidades aisladas
Hay dos tipos de singularidades aisladas: polos de orden m y
esenciales. En ambos casos podemos desarrollar la funcin f(z) en serie
de Laurent con centro en la singularidad z0 y la serie converger para
0 < |z-z0| < R.
Si z0 es un polo de orden m:
La serie de Laurent se para en la m-sima potencia negativa
bm
b1
b2
f ( z)
2
z z0 ( z z0 )
( z z0 ) m
Si z0 es un singularidad esencial:
La serie de Laurent es infinita en potencias negativas
El centro z0 es un
punto singular.
b1
b2
f ( z)
2
z z0 ( z z0 )
199
(i)
200
Ejemplos
Clasificar la singularidad de la funcin
f ( z)
1
z
f ( z)
1
1
( z 1)3 z 1
1
1 ,
z 1 ( z 1)3
Ejemplos
Clasificar la singularidad de la funcin
f ( z)
sinh z
z4
sinh z 1
1
z z3
z3 z5 z7
sinh z z f ( z ) 4 3
z
z
3
!
z
5! 7!
3! 5! 7!
0<|z|<
z0 = 0 es un polo de orden 3.
f ( z ) e1/( z i )
1
1 1
1 1
z 2 z3
f
(
z
)
e 1 z
2
3
z
i
2
!
(
z
i
)
3
!
(
z
i
)
2! 3!
z
0<|z+i|<
Residuos
El residuo de una funcin f(z) en z = z0 es el coeficiente del trmino
1/(z-z0) en la expansin en serie de Laurent de f(z): el coeficiente b1.
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3
b3
b1
b2
b4
2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
El residuo de f(z) en z = z0
se denota como:
2z 3
Ejemplo: z 2 3 z 2
1
1 1 z z2
2
z
z 2 4
8
Res f ( z ) Res ( f ( z ), z0 ) b1
z z0
b1 1
203
f ( z ) a0 a1 ( z z0 ) a2 ( z z0 ) 2 a3 ( z z0 )3
b3
b1
b2
b4
2
3
4
z z0 ( z z0 ) ( z z0 ) ( z z0 )
1
f ( z)
an
dz,
n 1
2 i C ( z z0 )
1
n 1
bn
f
(
z
)(
z
z
)
dz
0
2 i C
n=1
As:
f ( z )dz 2 ib1
z0
Ejemplo 1
1
Integrar la funcin
en sentido positivo para |z |=2.
1 z
1 z z 2 z 3
1
1 1 1
1 z 2 3
z
z z
z 1
z 2
z 1
1
C 1 z dz 2ib1 2i
punto
centro singular
z=1
g ( z)
1
dz
i
g
(
z
)
0
C z z0
C z 1 dz 2ig (1) 2i
205
1
1
f ( z)
,
1 z
z 1
0 z 1
z 2
centro z0=1
punto
singular
1
C 1 z dz 2ib1 2i
como antes.
206
2z 3
en sentido positivo
2
z 3z 2
3 5
9 2
z
z 1
2 4
8
2z 3
1 1 1 z z2
2 1 z 2
z 2 3z 2
z
z 2 4 8
2 3 5 9
2 z
z z 2 z3 z4
2z 3
C z 2 3z 2 dz 2ib1 2i
z 3/ 2
g ( z)
1 0
1
dz
i
g
(
z
)
dz
0
C z z0
C z 2 C z 1 dz 2ig (1) 2i
207
Res f ( z )
z z0
f ( z )dz
2 i
C
bn
n
dz
an ( z zo )
n
2 i C n 0
n 1 ( z z o )
1
1
1
n
an ( z zo ) dz
bn
dz
n
2 i n 0 C
2 i n 1 C ( z zo )
Res f ( z )
z z0
z0
1
2 i
b1 2 i b1
2i
208
Veremos:
1. Cmo hallar el residuo para un polo simple, z0=1, como
en el caso
2. Cmo hallar el residuo para un polo de orden 2, z0=1,
como en el caso
3. Cmo hallar el residuo para un polo de cualquier orden ...
4 sin z
z 1
3z 3
( z 1) 2
2e z
(3z i ) 7
209
b1
0 z z0 R
z z0
( z z0 ) f ( z) a0 ( z z0 ) a1 ( z z0 ) 2 b1
f ( z ) a0 a1 ( z z0 )
lim ( z z0 ) f ( z ) b1
z z0
Res f ( z ) lim ( z z0 ) f ( z )
z z0
z z0
Situamos el centro en
el punto singular
210
Ejemplo
Hallar el residuo de f ( z )
2z i
en z=i
( z i)( z 2 1)
Res f ( z ) lim ( z z0 ) f ( z )
z z0
z z0
lim
z i
( z i )(2 z i )
(2 z i )
i
lim
( z i )( z 2 1) z i ( z i ) 2
4
2z i
2( z i ) i 1 2( z i ) i
1
( z i )( z 2 1)
z i ( z i)2
z i 2i ( z i ) 2
2( z i ) i
2( z i ) i
1
( z i)
( z i) 2
( z i)3
( z i )(2i ) 2 1 ( z i ) /( 2i ) 2 ( z i )(2i ) 2
2i
(2i ) 2
(2i )3
i 1
1 5
1
( z i) ( z i) 2
0 z i 2
4 z i 4 16
2
211
b1
b2
f ( z ) a0 a1 ( z z0 )
z z0 ( z z0 ) 2
( z z0 ) 2 f ( z) a0 ( z z0 ) 2 a1 ( z z0 )3 b1 ( z z0 ) b2
derivando obtenemos:
d
( z z0 ) 2 f ( z ) 2a0 ( z z0 ) 3a1 ( z z0 ) 2 b1
dz
d
lim
( z z0 ) 2 f ( z ) b1
z z0 dz
d
Res f ( z ) lim
( z z0 ) 2 f ( z )
z z0 dz
z z0
212
Ejemplo
Hallar el residuo de f ( z )
z
en z=1
2
( z 2)( z 1)
d
( z z0 ) 2 f ( z )
z z0 dz
2
2 2
d z
lim
lim
z 1 dz z 2
z 1 ( z 2) 2
Res f ( z ) lim
z z0
( z 1) 1
z
( z 1) 1
1
1
( z 2)( z 1) 2
( z 1) 2 3 ( z 1) 3( z 1) 2 1 (( z 1) / 3)
( z 1) 1 1
( z 1) 1 z 1 ( z 1) 2
1
1 ( z 1)
2
2
3( z 1) 2
3
32
3
(
z
1
)
3
(
z
1
)
3
3
1
2
2 2( z 1)
3( z 1) 2 9( z 1) 27
81
0 z 1 3
213
1
1
Re s( f ( z ), 3) lim ( z 3) f ( z ) lim
2
z 3
z 3 ( z 1)
4
d
d 1
2
Re s( f ( z ), 1) lim ( z 1) f ( z ) lim
z 1 dz
z 1 dz z 3
1
1
lim
2
z 1 ( z 3)
4
214
bm
b1
b2
f ( z ) a0 a1 ( z z0 )
2
z z0 ( z z0 )
( z z0 ) m
( z z0 ) m f ( z ) a0 ( z z0 ) m a1 ( z z0 ) m1 b1 ( z z0 ) m1
b2 ( z z0 ) m2 bm
Derivamos m-1 veces.
Cuando zz0 obtenemos:
d ( m1)
lim ( m1) ( z z0 ) m f ( z ) (m 1)!b1
z z0 dz
1
d ( m1)
Res f ( z )
lim ( m1) ( z z0 ) m f ( z )
z z0
(m 1)! z z0 dz
215
De otra manera...
Un punto singular aislado z0 de una funcin f es
un polo de orden m si y solo si f(z) puede ser escrito
en la forma:
f ( z)
( z)
( z z0 ) m
Res f ( z) ( z0 ) si m 1
z z0
( m1) ( z0 )
Res f ( z )
si m 2
zz
(m 1)!
0
216
Demostracin:
()
( z ) ( z0 )
f ( z)
' ( z0 )
( z z0 ) m
( z z0 )
' ' ( z0 )
( z z0 ) 2
2!
(n)
( m1) ( z0 )
( z0 )
...
( z z0 ) m1
( z z0 ) n
(m 1)!
n!
nm
f ( z)
...
1!
( z)
( z0 )
( z z0 )
' ( z0 ) / 1!
( z z0 )
( m1) ( z0 ) /( m 1)!
z z0
m 1
' ' ( z0 ) / 2!
( z z0 )
( n ) ( z0 )
nm
n!
m2
( z z0 ) n m
( m1) ( z0 )
Res f ( z ) b1
zz
(m 1)!
0
217
()
Si f(z) tiene un polo de orden m en z=z0 entonces tiene una
representacin en serie de Laurent en la regin| z-z0|<R:
b3
bm
b1
b2
f ( z ) an ( z z0 )
2
3
m
z
z
(
z
z
)
(
z
z
)
(
z
z
)
n 0
0
0
0
0
n
( z z0 ) m f ( z )
( z)
bm
cuando z z0
cuando z z0
( z ) bm bm1 ( z z0 ) m b1 ( z z0 ) m1 an ( z z0 ) m n
n 0
218
C1
Ck
C2
C1
C2
Ck
f ( z)dz 2i Res f ( z)
C
i 1
z zi
219
Ejemplo
2 z
Integrar la funcin 2
sobre z 2
z z
2 z
2 z
2 z
Res 2
2
C z 2 z dz 2 iRes
z 0 z z
z 1 z z
2 z
2 z
Res 2
lim
2
z 0 z 1
z 0 z z
2 z
2 z
Res 2
lim
3
z 1
z 1 z z
z
C
0
2 z
2 dz 2 i(2 3) 2 i
z z
C
220
Ejercicio
ez
dz
Calcular 2
2
z 1 z
,donde es el contorno
indicado en la figura.
Solucin
-1
ez
1
Res f ,1 2
z 1 z z 1 2e
221