Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable Complejas
C
f ( z ) dz 0
1
2
3
4
5
6
7
8
Falacias, falacias, ...
2 1
L1 1
2
2 (1 / 2)
L2 2
2
0 2 2 (1 / 4)
L3 4
2
2 (1 / 2 n 1
)
n 1
Ln 2
2
1
2 lim Ln !!
0
1 2 !! n
9
Integrales de lnea, de camino o de contorno reales
n
F ( x, y )ds lim F ( xk ,yk )sk
B
A n
k 1 sk | sk |
donde sk 0 cuando n . B
y sn ( xn , y n )
s2
s1 ( x2 , y 2 )
A ( x1 , y1 )
x
x1 10
y Camino
F ( x, y ) xy y 1 x2
A (0,1)
B (1, 0 )
y 1 x 2
A
F ( x, y )ds
( 0 ,1)
xyds
1
x(1 x ) 1 4 x dx ...
2 2
0
x 0
Otra manera:
B (1,0) 0 5 4y
dy
2
1
y 1 y
4(1 y )
dy
ds 1 dx 1 4 x dx
2
dx
0 5
ds 1
dx
2
dy
5 4y
dy
1
y
4
y dy ...
dy 4(1 y )
El signo debe tomarse de modo que ds0 para los valores x e y en juego.
En este caso +. 11
Podemos definir las integrales con dx y dy:
dx xk
n
F ( x, y)ds lim F ( x ,y )s
B
k k k
A n
k 1
dy yk
Donde los incrementos de x e y son las proyecciones de los
incrementos de s en el eje x e y respectivamente (observa que
los incrementos de x e y pueden ser positivos o negativos).
B (1, 0 ) 0 4
A F ( x, y)dy (0,1) xydy 1 y 1 y dy 15 Negativo?
(1, 0 ) (1, 0 ) dy
(0,1) xydy (0,1) xy dx dx
1 4
0
2
Repetir para x ( 1 x )( 2 x ) dx
dx y dx/dy. 15 14
La integral depende del sentido en los que recorramos el camino C
en los casos de dx y dy:
B A
A
F ( x, y )dx F ( x, y )dx
B
B A
A
F ( x, y )dy F ( x, y )dy
B
A
F ( x, y )ds F ( x, y )ds
B
15
Integrales de lnea, de camino o de contorno en el plano complejo
y
zk xk iyk
B
yn z n zn f ( z ) u ( x, y ) iv ( x, y )
n
f ( z )dz : lim f ( z k )z k
B
z 2
A n
k 1
z1
A z1
z2
donde z 0 cuando n .
x1 x
u ( x, y )dx v( x, y )dy
C C
i u ( x, y )dy v( x, y )dx
C C
17
Integracin de funciones complejas parametrizadas
dz
f z (t ) dt
t ( B)
C
f ( z )dz
t ( A) dt
t (B)
t ( A)
f (t )[ x' (t ) iy ' (t )]dt
18
Ejemplo:
Evala : zdz
C
z (t ) 3t it 2 , z ' (t ) 3 2it
f ( z (t )) 3t it 2 3t it 2
4
)(3 2it )dt
2
De modo que, zdz (3t it
C 1
4 4
(2t 9t )dt i 3t 2 dt 195 65i
3
1 1
19
Evala C ( x 2 iy 2 )dz
donde C es el contorno de la figura
z e
2
zz dz ie i i 2
1 d i e i 3 e i d
0 0
C
1 i 3 i 8 Examen
e e SEPTIEMBRE 02/03: P-1
3 0
3
21
22
Camino o contorno simple cerrado 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.
23
Decimos que la integracin se lleva a cabo
en sentido positivo alrededor del contorno
C cuando el interior queda a la izquierda
del sentido de circulacin.
C
f ( z )dz f ( z )dz
C
Para no recargar con smbolos
Se cumple que:
C
f ( z )dz f ( z )dz
C 24
Propiedades de las integrales de contorno
C
k f ( z ) d z k f ( z ) d z , k constante
C
C [ f ( z ) g ( z )] d z C f ( z ) d z C g ( z ) d z
C f ( z ) d z C 1
f ( z ) d z f ( z ) d z,
C2
C f ( z ) dz C f ( z ) dz,
25
Ejemplo y
Integrar la funcin f ( z ) 1 / z
a lo largo de la circunferencia: |z| = r.
Introducimos un parmetro t r
variando entre 0 t 2 x
C
C : z (t ) re it
2
dz
f ( z )dz f z (t ) dt
dz
C z 2i
C 0
dt
2
1
i t ri e i t dt
re
0
2 Nota: podramos haber usado
i dt 2 i C : z (t ) r cos t i sin t
0
Ejercicio: repetir con esta forma. 26
27
Ejemplo y
C2
Integrar la funcin f ( z ) 1 / z 1 i 1 i
a lo largo del cuadrado
C1
Introducir un parmetro t
variando entre 1 t 1 C3 x
1
dz 1 i 1 i
f ( z )dz f z (t ) dt
C 1
dt C4
1
dz 1 1 ti t i
C1 : z (t ) 1 ti, i , f z (t ) , I1 11 t 2 dt
dt 1 ti 1 t 2
1
dz 1 t i t i
C2 : z (t ) t i, 1, f z (t ) , I 2 dt
dt t i 1 t 2
1
1 t 2
1
dz 1 1 ti t i
C3 : z (t ) 1 ti, i, f z (t ) , I 3 dt
dt 1 ti 1 t 2
1
1 t 2
1
dz 1 t i t i
C4 : z (t ) t i, 1, f z (t ) , I4 11 t 2 dt
dt t i 1 t 2
28
y
1
t i 0 (integrando impar en
f ( z )dz 4
1
1 t 2
dt intervalo de integracin par) C2
C
1 i 1 i
t
1 1
1
4 dt i dt C1
1 1 t 1 t
2 2
1
4i arctan t
1
C3 x
1
4i / 4 / 4 1 i 1 i
C4
2 i
dz
C z 2 i
29
Ejemplo: Repitamos trasladando el circuito de integracin. y
f ( z ) 1 / z C2
Integrar la funcin 3i
1 i
C1
a lo largo del
Introducir un cuadrado
parmetro t
variando entre 1 t 1
C3 x
3i
1 i
1
dz C4
f ( z )dz f z (t ) dt
C 1
dt
1
dz 1 1 ti t i
C1 : z (t ) 1 t i, i , f z ( t ) , I1 11 t 2 dt
dt 1 ti 1 t 2
1
dz 1 2t i (2 t ) i
C 2 : z ( t ) 2 t i , 1, f z (t ) , I 2 dt
dt 2 t i 1 (2 t ) 2
1
1 (2 t ) 2
1
dz 1 3 ti t 3i
C3 : z (t ) 3 t i, i , f z (t ) , I3 1 9 t 2 dt
dt 3 ti 9 t 2
1
dz 1 2t i ( 2 t ) i
C 4 : z ( t ) 2 t i , 1, f z ( t ) , I 4 dt
dt 2 t i 1 ( 2 t ) 2
1
1 ( 2 t ) 2
30
Usando las relaciones dt 1 t b
a 2 (b t ) 2 a arctan a
(b t )dt
a 2 (b t ) 2
2 2
ln a (b t )
C2
y
obtenemos 3i 1 i
C1
dz
C z 0 C3 x
3i 1 i
C4
Donde C ahora es el cuadrado
unitario anterior desplazado
a la izquierda 2 unidades. 31
32
Observa que:
C
C dz dz
C z 2 i C z 0
C dz dz
C z 0 C z 0
C
C dz dz
C z 0 C
C z 0
33
C
C
dz dz
C z 2i C z 0
C dz dz
C z 0 C z 0
C dz dz
C z 0 C
C z 0
34
Teorema integral de Cauchy
Si f (z) es analtica con derivada
continua en todos los puntos
dentro y sobre un contorno cerrado
C
C, entonces:
C
f ( z )dz 0
Ejemplos:
C
C
dz
C z 0
dz 0
z
e
C
P P Q Q
Sean P ( x, y ), Q ( x, y ), , , y
continuas en en todos x y x y
los puntos dentro y sobre un contorno C, entonces:
Q P
C P( x, y)dx C Q( x, y)dy D x y dxdy
George Green (1793-1841).
Resultado de sus trabajos
en electromagnetismo.
36
Supongamos que la regin R es un
rectngulo como muestra la figura. x1
P P
y1
dxdy y0 y dy dx
C3 R
y x0
y1
P ( x, y1 ) P ( x, y0 ) dx
x1
C4 C2 x0
x1 x0
y0
C1
x0
P ( x, y0 )dx P ( x, y1 )dx
x1
x0 x1 C1
P ( x, y )dx P ( x, y )dx.
C3
C2
P ( x, y )dx 0;
C4
P( x, y )dx 0
37
P
dxdy P ( x, y )dx P( x, y )dx
R
y C1 C3
C2
P( x, y )dx P( x, y )dx P ( x, y )dx
C4 c
38
Podemos usar infinitos rectngulos
para recubrir exctamente el rea de R.
C2
C1
Recorrindolos como indica la
figura superior, se compensan
las integrales en los caminos
horizontales...
( Pdx Qdy)
C C1
( Pdx Qdy ) ( Pdx Qdy ) ...
C2
39
Demostracin del teorema integral de Cauchy:
f ( z )dz
derivadas parciales continuas en todos
C los puntos dentro y sobre C:
P ( x, y ) : u ( x, y ) P ( x, y ) : v( x, y )
Q ( x, y ) : v( x, y ) Q( x, y ) : u ( x, y )
v u u v
dxdy i dxdy 0
D
x y D x
y
0
(Como f(z) es analtica
cumple las ECR) 40
41
42
Teorema integral de Cauchy-Goursat
C
f ( z )dz 0
1
C2 C cos z dz ? C2
2
3e z sin z
2i
C 3 z dz ?
No es analtica en C 2
longitud
Cotas para integrales
de lnea.
f ( z )dz ML
C
de C
f ( z ) dz lim f ( z k ) z k
n
C k 1
donde z 0 cuando n
45
Observemos que si |f(z)|=1, entonces:
n
dz lim z
C
n
k 1
k L; donde L es la longitud de C.
n n
f ( z )dz lim f ( z
C
n
k 1
k )z k lim f ( z k ) z k f ( z ) dz
n
k 1 C
C
f ( z )dz C
f ( z ) dz
46
Supongamos que: f ( z ) M si z es un punto de C.
Entonces:
n
f ( z )dz lim f ( z k )z k
n
C k 1
n n
lim f ( z k ) z k M lim z k ML
n n
k 1 k 1
Desigualdad ML
f ( z )dz ML
C
47
Ejemplo:
z
Encuentra una cota superior para el valor absoluto de:
e
C z 1 d z
donde C es el crculo |z| = 4.
z z z
e |e | |e |
Puesto que |z +1| |z| 1 = 3, entonces:
z 1 | z | 1 3
Adems, |ez| = ex, con |z| = 4, y tenemos z 4
e e
que el mximo valor de x es 4. As:
z 1 3
f ( z) M
L 2R
z
e 8e 4
C z 1 d z 3
48
Im (z)
Demostrar la siguiente desigualdad:
2
Log zdz 4 Re (z)
Respuesta. 1
Log z ln z i arg z
Log zdz ML
L: longitud del arco: L
Log z i , 0
2 2
M: max |Log z|
M
2
2
Log zdz 4
49
50
Demostracin del teorema de E = (A+B)/2; F = (B+C)/2; D=(C+A)/2
Cauchy-Goursat para camino
A
triangular cualquiera:
1
f ( z )dz
2
f ( z )dz
3
f ( z )dz
4
f ( z )dz
51
Aplicando la desigualdad triangular:
Sea : max{1 , 2 , 3 , 4 }
1
Entonces:
f ( z )dz 4 f ( z )dz
ABCA 1
f ( z )dz 4 2 f ( z )dz
ABCA 2
52
Despus de n pasos, tendremos:
f ( z )dz 4 n f ( z )dz
ABCA n
f ( z0 ) dz f ( z0 ) ( z z0 )dz ( z )( z z0 )dz
n n n
0 0
g ( z) 1 g ( z ) z z0
Integrandos g(z) analticos con primeras derivadas
continuas. Podemos aplicar teorema integral de Cauchy.
f ( z )dz ( z )( z z )dz 0
n n
54
Si P es el permetro de ABC , entonces el permetro n ser:
P
Pn n
2 z
P n
| z z0 | Pn n z0
2
Usando la desigualdad ML:
P P
f ( z )dz ( z z0 )dz n
2
n
2
n n
M L
P 2
f ( z )dz n
4
n 55
Tenamos:
f ( z )dz 4 n f ( z )dz
ABCA n
P 2
n 2
f ( z ) dz 4 n
P
ABCA
4
f ( z )dz 0
ABCA
56
Puesto que todo polgono cerrado se puede
triangular, aplicando el teorema de
A
Couchy-Goursat a cada
tringulo podemos B
demostrar el teorema
para un polgono E
cerrado arbitrario.
C D
z0 z n
Intentaremos aproximar
una curva arbitraria a travs
z1 de un polgono cerrado P de
vrtices z0, z1, z2, ... zn-1, zn= z0,
z n 1
tal y como hicimos para
definir la integral de lnea
z2 compleja.
57
Recordemos que: Para n finito, estamos
n aproximando la curva
f ( z )dz lim f ( z k )z k cerrada con un polgono
C n
k 1 P cerrado de n lados y
Sn de permetro Sn.
Obviamente:
C
f ( z )dz f ( z )dz S n S n
C
C
f ( z )dz f ( z)dz S
C
n Sn
1 2
Acotaremos 1 y 2
58
Comencemos con 1
C
f ( z )dz S n
lim S n : f ( z )dz
n C
C
f ( z )dz S n
2
59
Sigamos con 2 acotemos: Sn
P
f ( z )dz 0
z1 z2 zn
f ( z )dz f ( z )dz ... f ( z )dz
z0 z1 z n1
z1
z0
{ f ( z ) f ( z1 ) f ( z1 )}dz
z2
z1
{ f ( z ) f ( z 2 ) f ( z 2 )}dz ...
zn
z n1
{ f ( z ) f ( z n ) f ( z n )}dz 0
60
z1
z1 z1
0 { f ( z ) f ( z1 )}dz f ( z1 ) dz
z0 z0
z2
z2 z2
{ f ( z ) f ( z2 )}dz f ( z2 ) dz ...
z1 z1
zn zn
z n1
{ f ( z ) f ( z n )}dz f ( z n ) dz
z n1
z n
z1 z2
z0
{ f ( z ) f ( z1 )}dz { f ( z ) f ( z 2 )}dz ...
z1
zn
z n1
{ f ( z ) f ( z n )}dz S n 0
61
Multiplicando por 1 y cambiando el signo de los integrandos:
z1 z2
S n { f ( z1 ) f ( z )}dz { f ( z 2 ) f ( z )}dz ...
z0 z1
zn
z n1
{ f ( z n ) f ( z )}dz
z1 z2
Sn z0
{ f ( z1 ) f ( z )}dz z1
{ f ( z 2 ) f ( z )}dz ...
zn
z n1
{ f ( z n ) f ( z )}dz
62
Para cada una de las k integrales zk
(k=1,2, ..., n) usaremos la
desigualdad ML.
z k 1
{ f ( z k ) f ( z )}dz
z1 z2
Sn z0
{ f ( z1 ) f ( z )}dz
z1
{ f ( z 2 ) f ( z )}dz ...
zn
z n1
{ f ( z n ) f ( z )}dz
De modo que:
P
Sn z1 z0 z2 z1 ... zn zn1
2P 2
64
Recopilando:
C
f ( z )dz C
f ( z )dz S n S n
2 2
Puesto que es arbitrario, entonces:
C
f ( z )dz 0
65
66
Ejercicio
67
68
Principio de deformacin de contornos
(Teorema integral de Cauchy para un dominio doblemente conexo).
Entonces:
C1 C2
f ( z )dz f ( z )dz
C1 C2
f ( z )dz f ( z )dz
C1 AB
B
A
f ( z )dz f ( z )dz
C2 BA Como: f ( z )dz f ( z )dz
f ( z )dz f ( z )dz 0
AB BA
C1 C2
Nota: Observa que los sentidos en que se f ( z )dz 0
recorren los circuitos en este dibujo y el
anterior, no son los mismos... C C1 C 2 70
e dz e dz
z z
Ejemplo 1: (obvio!)
C1 C2
C1 C2
D
1 1
Ejemplo 2: C z dz C z dz (no tan obvio)
1 2
71
Otra demostracin L1 y
Introduzcamos dos cortes, Inicio
L1 y L2 ,que unen los dos **
4
5
C 6
8
contornos.
x
7
Sean C* y C** los dos nuevos 3
contornos cerrados indicados 1 2
*
por las flechas (1-2-3-4) C
y (5-6-7-8), respectivamente.
L2
Ahora f (z) es analtica sobre y dentro
de C* y C** . Por el teorema Integral de Cauchy:
c*
f ( z )dz 0,
c**
f ( z )dz 0
72
Integramos alrededor del dominio D, L1 y
a lo largo de 1-2-3-4-5-6-7-8. As: Inicio
**
5 C 8
f ( z )dz
1 2 3 4
*
f ( z )dz **
f ( z )dz 4 6
x
C C
5 6 7 8 7
3
1
2
f ( z )dz f ( z )dz C *
1, 3 6, 8
L2
f ( z )dz f ( z )dz
C1 C2
Las integrales a lo largo de
L1 y L2 se anulan
Pero como las integrales a lo largo de C* y C** son cero,
entonces:
f ( z )dz f ( z )dz 0
C1 C2
y Recordemos:
C2
1 i 1 i
C1 dz
C3 x C z 2i
1 i 1 i
C4
74
Ejemplo
f ( z )dz f ( z )dz
C1 C2
D
f ( z )dz f ( z )dz
f ( z )dz f ( z )dz
C1 C3
C2 C3
78
Ejercicio: Se sabe que una cierta funcin es f(z) es analtica en todo el plano
complejo salvo en los puntos z = 1, z = 2 y z = 3, y que
Ck
f ( z )dz ak , k 1, 2, 3
siendo Ck : |z k| = , orientado en sentido positivo.
Calcular
i
f ( z )dz , siendo i cada uno de los siguientes
contornos orientados positivamente:
Respuesta:
1
f ( z )dz a1 a2 a3
Por el teorema de Cauchy-
Goursat en dominios
mltiplemente conexos:
2
f ( z )dz a1 a2
3
f ( z )dz a2 a3 79
Independencia del camino de integracin
(2) Integramos: dz
dt
1 i
0
x
1 1
dz
f ( z )dz f z (t ) dt (t i t )(1 i )dt
C 0
dt 0
1 1
0 1
2 1
(t i t it t ) dt 2 tdt t
0 0 80
Ejemplo
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 0 t 1 y
1
dz 1 i
f ( z )dz f z (t ) dt
C 0
dt
1
C2
(t )(1)dt t
1 2 1
1
2 0 2
C1
0
x
A lo largo de C2: z (t ) 1 i t 0 t 1 0 1
1
dz
f ( z )dz f z (t ) dt
C 0
dt
1 1
(1 i t )(i )dt (t i )dt 1
2 t it
2
1
0
1
2 i
81
0 0
zdz 1
C
y
1 i El valor de la
integral entre dos
puntos depende
siempre del camino?
x
0
1 1
C zdz
2 2
i 1 i
82
Repitamos pero con f ( z ) z a lo largo de
la recta C, que una los puntos 0 y 1+ i.
y
1 i
(1) Representar C en la forma z(t):
z (t ) t i t 0 t 1 C
(2) Integramos: x
0
1 1
dz
f ( z )dz f z (t ) dt (t i t )(1 i )dt
C 0
dt 0
1
2i tdt it 2 10 i
0 83
Ejemplo
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: z (t ) t 0 t 1 y
1
dz 1 i
f ( z )dz f z (t ) dt
C 0
dt
1
C2
(t )(1)dt t
1 2 1
1
2 0 2
C1
0
x
A lo largo de C2: z (t ) 1 i t 0 t 1 0 1
1
dz
f ( z )dz f z (t ) dt
C 0
dt
1 1
1
(1 i t )(i )dt (t i )dt t i t 1
2
2
0
12 i
84
0 0
zdz i
C
Ahora el valor de la
y integral no depende
1 i del camino.
Qu diferencias hay
entre f(z) = z y f(z)= z ?
x
0
1 1
C zdz
2 2
i i
85
Otro ejemplo
Integrar la funcin f ( z ) z 2 a lo largo del camino C
uniendo 2 y 1+2i tal como muestra la figura
y
z ( t ) 2 t 2t i 0 t 1
1
1 2i
dz
f ( z )dz f z (t ) dt
C 0
dt C
1
( 2 t 2ti ) 2 ( 1 2i )dt
0
x
0 2
1
( 1 2i ) ( 3t 2 4t 4) i ( 4t 2 8t ) dt
0
( 1 2i )1 i (8 / 3)
1
(19 2i )
3 86
Otro ejemplo
Integrar la funcin f ( z ) z a lo largo del camino C = C1+ C2
2
f ( z )dz (2 t ) 2 (1)dt C2
C 0
2
8
(t 2 4t 4)dt x
3
0 0 C1 2
A lo largo de C2: z (t ) t 2ti 0 t 1
1
C
f ( z )dz (t 2ti ) 2 (1 2i )dt
0
1
11 2
( 11 2i ) t dt i
2
0
3 3 87
z dz (19 2i ) / 3
2
C
y
El valor de la integral
1 2i
a lo largo de los dos
caminos es el mismo.
Coincidencia?
x
0 2
2
z dz (19 2i ) / 3
C
88
Independencia del camino
Supongamos que f (z) es analtica en
un dominio simplemente conexo D z1
C2 D
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
z2
z2 z2
f ( z )dz
z1
a lo largo de C1 f ( z )dz
z1
a lo largo de C 2
89
Recuerda el potencial gravitatorio:
masa m
altura h
90
y
1+i
i
L0 Ejemplo: f(z)=|z|2
L2
x L0 : x t yt 0 t 1
L1 1
L1 : x t y0 0 t 1
L2 : x 1 y t 0 t 1
f ( z ) | z |2
1 1
2(1 i )
L0 : I 0 dt
2 2 2
| t it | (1 i ) dt | 1 i | (1 i ) t
0 0
3
1 1
1
L1 : I1 dt dt
2 2
| t | t Observa que L0 L1+L2
0 0
3
1 1
i 4i
L2 : I 2 | 1 it | idt (1 t )idt i
2 2
0 0
3 3
91
y
1+i
i
L0 Ejemplo: f(z)=z2
L2
x L0 : x t yt 0 t 1
L1 1
L1 : x t y0 0 t 1
L2 : x 1 y t 0 t 1
f ( z) z 2
1 1
2i 2
L0 : I 0 dt
2 3 2
(t it ) (1 i ) dt (1 i ) t
0 0
3
1
1
L1 : I1 t dt 2 Observa que L0=L1+L2
0
3
1 1
2i 3
L2 : I 2 idt i 2t )idt
2 2
(1 it ) (1 t
0 0
3
92
y Ejemplo: calcular i 1
i C1 1 z
dz
C2 A lo largo del camino C1: x 4 y 4 1
z1
C2
C1 z2
94
Si f es analtica en D entonces:
C f ( z ) d z C 1
f ( z) d z 0
C
f ( z) d z f ( z) d z
C1
95
Independencia del camino z0
z1
1 2 i 3
z z3 1
p.ej. dz 3 (19 2i )
2
z
2 z 1 2 i
3 z 2
3 96
Ejemplos
i
i todo el plano
(1) cos zdz sin z
i
i
complejo
2 sin(i ) 2i sinh
C
23.097i
1 i
(2) zdz ?
0
( f (z) es no analtica en todo punto -
depende del camino)
i i
1 1
(3)
i z 2 dz z i 2i f (z) analtica en
este dominio
x i d i
1 0 1
C z dz ei i e d
1 0
1 1 1 i
x
2
0
C2 i d i
y 100
y Intentemos definir F(z) = Ln z
i como primitiva. En este caso
C1 una posible primitiva es:
log z log | z | i arg z
x
1 0 1 con - / 2 arg z 3 / 2
Punto de
Corte ramificacin
1
1 1
C z dz 1 z dz log z 1
1
con / 2 arg z 5 / 2 y
1
1 1
C z dz 1 z dz log z 1
1
Y tomemos los
2
cortes como los
tomemos, siempre
log | 1 | i arg(1) log | 1 | i arg( 1) obtendremos este
resultado.
i (2 ) i
102
103
104
Ms sobre integracin en contornos cerrados...
Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que stas sean:
(a) analticas, o
(b) analticas en ciertas regiones
Por ejemplo,
C
dz f (z) es analtica en todo punto
C z 0 excepto en z = 0
z0
D
106
Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z0 = 0
La frmula integral de Cauchy
C D
f ( z)
C z z0 dz 2 i f ( z0 )
z0 0
se convierte en
1 f (z) es una funcin constante,
C z dz 2i 1 2i es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
107
Ejemplo
2
z
Evaluar la integral dz donde C es z 1 2
C
2 z
z = 2 es un punto singular en el interior a C.
La frmula integral de Cauchy
f ( z) z0 2
C z z0 dz 2 i f ( z0 )
f (z) es analtica en todo punto de
se convierte en: modo que C puede ser cualquier
contorno en el plano complejo
2 conteniendo el punto z = 2.
z
dz 2 i 4 i8
C
z2 108
Demostracin no rigurosa de
z la frmula integral de Cauchy:
i
r0 e
C Por el principio de deformacin
z0 de contornos:
C0
f ( z) f ( z)
C z z0 dz C z z0 dz
0
i
f ( z) 2 f ( z r e ) 2
C z z0 0
i i
dz 0
i
0
ir0 e d i f ( z 0 r0 e )d
0
r 0 e 0
Cambio de i dz i
variable: z z0 r0 e ; ir0 e
d
109
Hemos tomado un r0 arbitrario. Hagmoslo infinitamente
pequeo:
lim i f ( z0 r0 e )d i f ( z0 )d
2 2
i
r0 0 0 0
2
if ( z0 ) d 2if ( z0 )
0
f ( z)
C z z0 dz 2 i f ( z0 )
Qu no es riguroso aqu?
110
Demostracin de la frmula
integral de Cauchy. Por el
z principio de deformacin
i
r0 e de contornos:
C
z0 f ( z) f ( z)
C0 C z z0 C z z0
dz dz
0
f ( z) f ( z0 ) f ( z ) f ( z0 )
C z z0 dz C0 z z0
dz
1 f ( z ) f ( z0 )
f ( z0 ) dz dz
C0 z z C0 z z0
0
I1 I2 111
1 2 1 2
I1 dz
ir0 e d i d 2i
i
C0
z z 0
0 r e
0
i 0
f ( z ) f ( z0 )
Vamos a encontrar una cota ML para I 2 C0 z z0
dz
Tenemos: L 2 r0
f ( z ) f ( z0 ) f ( z ) f ( z0 )
Y necesitamos M tal que: M
z z0 z z0
Para todo z en C0 : z z0 r0
Como f(z) es continua en z0: f ( z ) f ( z0 ) si z z0
Si tomamos r0 f ( z ) f ( z0 )
para todo z sobre C0. 112
f ( z ) f ( z0 ) f ( z ) f ( z0 )
M
z z0 r0 r0
L 2 r0
Ya podemos aplicar la desigualdad ML: para
f ( z ) f ( z0 )
I2 C0 z z0
dz ML 2 r0 2
r0
Epsilon puede ser tan pequeo como queramos (de hecho
reducirlo es reducir el radio r0. As que: I 2 0 I 2 0
f ( z) 1 f ( z ) f ( z0 )
C z z0 dz f ( z0 )C0 z z0 dz C0 z z0 dz 2if ( z0 )
I1 2i I 2 0
113
Ejemplos
Evaluar las siguientes integrales:
C
dz i
(1) donde C es el crculo |z |=2
C
z i
f ( z)
C z z0 dz 2i f ( z0 ) D
f ( z0 ) 1
f ( z) 1
z0 i
dz
f (z) es analtica en D y C incluye z0 C z i 2i 114
dz
(2) 2 donde C es el crculo |z+i |=1 i
C
z 1
f ( z)
C z z0 dz 2 i f ( z 0 ) i C
D
1 f ( z0 ) i / 2
f ( z)
z 0 i z i
dz
2
C
z 1
116
z
Evaluar 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 z 3i 3i
C z 2 9 d z C z 3i d z 2 i f (3i) 2 i 6i i 117
Otro ejemplo
z
e
Evaluar dz donde C es cualquier contorno cerrado
C
z i conteniendo z = -i
Frmula integral de Cauchy:
f ( z) C D
C z z0 dz 2 i f ( z0 )
se convierte en
z 0 i
z
e
C z i dz 2 ie
i
dz f ( z)
4 dz 2i f ( z0 )
C
z 1 C z z0 2 119
tan z dz
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
1
integracin 1 / 2
3 / 2
C incluye dos puntos singulares, z = 1. C
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z0 dentro de C.
tan z 1
C z 2 1 dz 2i 2 tan(1) tan( 1) 9.785i
121
122
123
124
125
126
Generalizacin de la frmula integral de Cauchy
Se pueden tratar funciones ms complicadas con potencias de z-z0,
con la frmula:
f ( z) 2i d n f f analtica en y dentro
C z z0 n 1 dz n! dz n de C, z0 dentro de C
z0
Por ejemplo,
z 2 3z
d z 2 3z cos z d 2 cos z
C z 1 2 dz 2i dz ,
C z 2
3
dz i
dz 2
z 0 1 z0 2
1 f ( z) f ( z) 2i d f
n
dz n 1
dz n
2i z z
C 0
2
C z z0
n! dz z0
128
La generalizacin de la frmula integral de Cauchy nos
muestra algo excepcional:
Sea f(z) una funcin definida en todo punto de un entorno de z0. Si f(z)
no es analtica en z0 es imposible encontrar una funcin F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sera analtica y
por la frmula generalizada de Cauchy, su segunda derivada df/dz
existira en todo punto del entorno considerado. Y entonces f(z) sera
analtica en z0: una contradiccin.
129
Ejemplo
Evaluar la integral
z C
e
C z 2 dz donde C es el crculo |z |=2
f ( z)
C ( z z0 ) 2
dz 2 i f ( z 0 ) D
f ( z ) ez
z
sea f ( z ) e f ( z0 ) e 0
sea z0 0
z
e dz
C z 2 2
f (z) es analtica en D, y C incluye z0 2 i
130
Ejemplo
Evaluar la integral
2 C
z
C z i 3 dz donde C es el crculo |z |=2
f ( z) 2 i
C ( z z0 ) 3
dz
2
f ( z 0 ) D
f ( z ) 2
sea f ( z ) z 2
f ( z0 ) 2
sea z0 i
2
z dz
f (z) es analtica in D, y C incluye z0 C ( z i )3 2 i 131
ez
Calcular C z 2i 3 dz
donde C es la circunferencia z 3 con sentido positivo.
ez
I dz
C z 2i
3
n! f ( z)
f (n)
z0 dz ,
2i C z z0 n 1
siendo :
z0 2i; f ( z ) e z f ( z0 ) e 2i
2! ez I
2i C z 2i 3
e 2i dz I ie 2i
i
Examen
JUNIO 02/03: P-1 132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
z1
Resumen:
(1) dF
f ( z ) dz F ( z ) F ( z )
z0
1 0 donde
dz
f (z )
F (z) analtica en un dominio simplemente conexo D,
con derivada dF/dz = f(z) y z0 y z1 en D.
(2) f ( z )dz 0
C
con f (z) analtica dentro y sobre C.
( Teorema integral de Cauchy-Goursat )
f ( z)
(3) dz 2if ( z0 ) con f (z) analtica dentro y sobre C
C
z zo
(Frmula integral de Cauchy )
f ( z) 2i d n f con f (z) analtica
(4) dz
C z z 0 n 1
n! dz n
z0
dentro y sobre C
( Frmula para derivadas ) 148
Ejercicios: Demostrar
f ( z ) M en C
(2) La desigualdad de Cauchy:
r
n! M z0
f (n)
( z0 ) n C
r
(Probarlo usando la frmula para las derivadas de una funcin analtica
y la desigualdad ML)
(n) n! f ( z)
|f ( z0 ) |
2 C ( z z )n 1 d z
0
n! 1 n!M
M n 1 2 r n
2 r todos los rpuntos de C.
donde |f(z)| M para
151
152
Teorema de Liouville
Haciendo n = 1 en la desigualdad de Cauchy, tenemos que |
f (z0)| M/r. Tomando r arbitrariamente largo, podemos hacer
que |f (z0)| sea tan pequeo como queramos: |f (z0)| = 0. De
modo que f es una funcin constante.
153
154
155
156
157
Ejercicio. Sea la funcin entera tal que:
f ( z) e , z C
z
Respuesta.
f ( z)
f ( z) e z , z C z
1, z C
e
f ( z)
Por el teorema de Liouville:
z
cte. , con 1
e
Por tanto f ( z ) e z
159
160
161
162