Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Variable Compleja
Variable Compleja
ANALTICAS Y TRANSFORMACIONES
CONFORMES
PREFACIO
Febrero de 1989.
ii
NOTACIONES
R
Q
N
Z
C
Rn
Nmeros Reales.
Nmeros Racionales.
Nmeros Naturales.
Nmeros Enteros.
Nmeros Complejos.
(x 1 x n ) | x i
[a,b)
[a,b]
(a,b)
(a,b]
{x
{x
{x
{x
Fc
U
Conjunto vaco.
Para todo.
Conjugado de z.
|z|
sup A
inf
Norma de z.
supremo del conjunto A.
nfimo del conjunto A.
pertenece.
[]
,
n
referencia a la bibliografa.
Contencin entre conjuntos.
Lmite cuando n se va a .
R
R
R
R
|a
|a
|a
|a
<
<
x
x
x
x
<
<
b} .
b} .
b} .
b} .
iii
1 i n .
Notaciones
Serie.
n=0 n
{zn}n=1
lim
Sucesin.
Lmite inferior.
lim
Lmite superior.
{ }k=1
Subsucesin.
Implica.
sn
)
( )
B z
0
B z0
bola abierta.
f() d
integral de lnea.
H+
semiplano superior.
semiplano inferior.
bola cerrada.
iv
CONTENIDO
PREFACIO
........................................................
ii
NOTACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
CONTENIDO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
1
6
42
42
48
51
53
61
64
64
78
93
CAPITULO 4: INTEGRACION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Integracin Compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Frmula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
107
107
132
Contenido
CAPITULO 5: INTEGRAL DE CAUCHY..............................
1 Teoremas del Mapeo Abierto, del Mdulo Mximo y de Cauchy..
2 Singularidades y Residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
156
156
165
178
178
182
197
197
198
200
205
209
217
CAPITULO 7: A P L I C A C I O N E S .......................................
1 Problema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Aplicaciones a la Fsica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
238
238
242
R E F E R E N C I A S ........................................................
260
INDICE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
261
vi
CAPITULO 1.
LOS NUMEROS COMPLEJOS
1. Propiedades Bsicas.
En esta primer seccin se definir el campo de los Nmeros Complejos y se
estudiarn sus propiedades elementales.
DEFINICION 1.1.1:
El Campo de los Nmeros Complejos Plano Complejo C se define como el
2
conjunto R = {(x y) | x y R } junto con dos operaciones + y llamadas suma y
producto respectivamente y definidas del siguiente modo
+ : C C C, + ((ab) (cd)) = (a + c,b + d) = (a,b) + (c,d)
: C C C, ((ab) (cd)) = (ac bd,ad + bc) = (a,b) (c,d).
La suma y el producto tienen las propiedades que se enuncian en la siguiente
Proposicin; su verificacin es inmediata de las propiedades conocidas para los reales y se
deja como ejercicio al lector.
PROPOSICION 1.1.2:
(S1)
(S2)
(S3)
Asociatividad de +
z + (z + z ) = (z + z ) + z
z1 , z 2 , z3 C
1
2
3
1
2
3
Idntico Aditivo
Existe un elemento 0 = (0,0) C tal que z + 0 = 0 + z = z z C
Inverso Aditivo
1
Conmutatividad de +
z +z =z +z
1
2
2
1
z1 , z2 , C
(M1) Asociatividad de
z (z z ) = (z z ) z
z1 , z 2 , z3 C
1
2
3
1
2
3
(M2) Idntico Multiplicativo
Existe un elemento 1 = (1,0) C tal que z 1 = 1 z = z
zC
(M3) Inverso Multiplicativo
a
b
Dado z = (a,b) C, z 0, existe un elemento z1 = 2 2 2 2 C
a +b
a +b
1
1
tal que z z = z z = 1
(M4) Conmutatividad de
z z =z z
z1 , z2 , C
1
2
2
1
(P)
Distributividad
z (z + z ) = (z z ) + (z z )
1
2
3
1
2
1
3
z1 , z 2 , z3 C
OBSERVACION 1.1.3:
2
Las propiedades (S1), (S2), (S3) y (S4) nos dicen que ( R +) es un grupo
abeliano. Las propiedades (M1), (M2), (M3) y (M4) demuestran que (R 2 {(00)}) es
un grupo abeliano, por lo tanto la Proposicin 1.1.2 afirma que C = ( R2+) es un
campo.
Consideremos la siguiente funcin:
: R C, dada por (a) = (a,0).
entonces se tiene que
Captulo 1
R C y que R
Ry
es un
subcampo de C.
Ahora denotemos (0,1) por i y observemos que (b,0) ( R ), (b,0) i =
(b,0) (0,1) = (b0 01, b1 + 00) = (0,b), por lo tanto dado z = (a,b) C, se tiene que:
(a,b) = (a,0) + (0,b) = (a,0)(1,0) + (0,1)(b,0) = a1 + bi = a + bi.
por lo tanto en adelante, dado z = (a,b) C, z se denotar por a + bi.
DEFINICION 1.1.4:
Sea z = a + bi. El conjugado de z se define por z = a bi
C . La Norma
(iv)
z
z
Si w 0, w =
.
w
(v)
2
|z| = z z .
(vi)
(vii)
|z| 0.
|z| = 0 z = 0.
(viii)
|z w| = |z| |w|.
z
|z|
Si w 0, w = |w|.
(ix)
(x)
(xi)
(xii)
(xiii)
1
Si z = a + bi, a = Re z = 2 (z + z
) y b = Im z = 2i1 (z
z ).
DEMOSTRACION:
Todas las propiedades son consecuencia inmediata de las definiciones y su
|z|2
+ z
z w
z + w
)=z
+ |w|2
z + z w + w z + w w =
= |z|2 + 2 Re
(z
+ |w|2
Captulo 1
2
|z| + | 2 Re ( z w
)| + |w|2
|z|2 + 2 | z w
2
(|z| + |w|) |z + w| |z| + |w|.
| + |w|2 = |z|2
OBSERVACION 1.1.7:
La desigualdad del tringulo y las propiedades (vi), (vii) y (viii) de la
Proposicin 1.1.5, afirman que el mdulo es de hecho una norma sobre C.
DEFINICION 1.1.8:
Se define : C C C, por (z,w) = | z w | = distancia de z a w.
PROPOSICION 1.1.9:
es una mtrica sobre C, es decir cumple con las siguientes propiedades:
(1)
(z,w) 0
z, w C .
(2)
(z,w) = 0
z = w.
(3)
(z,w) = (w,z)
z, w C .
(4)
(z,w) (z,u) + (u,w)
z, w ,u C .
DEMOSTRACION:
(1)
(2)
(3)
(4)
(z,w) = |z w| 0, z, w C .
(z,w) = 0 |z w| = 0 z w = 0 z = w.
(z,w) = |z w| = |( 1) (w z)| = |w z| = (w,z) z, w C .
(z,w) = |z w| = |z u + u w| |z u| + |u w| =
(z,u) + (u,w) z, w ,u C .
EJERCICIO 1.1.10:
2. Sucesiones y Series en
C.
{zn}n=1
n=1
N , zn = xn + i yn ,
n=1
EJEMPLO 1.2.3:
Captulo 1
1
1 n
Sea zn = 1 + + i 2 . Afirmamos que lim zn = e. En efecto, sea > 0,
n
n
n
1 n
entonces existe n 0 N tal que n n0 se tiene 1 + e < 2 y
n
n
1 0 < por lo tanto n n se tiene z e 1 + 1 e + 1 0 <
| n | n
0
n2
n2
2
+ = .
2 2
PROPOSICION 1.2.4:
Sea {zn}
n=1
DEMOSTRACION:
Si z0 y w0 son dos lmites de {zn} , entonces dado > 0, existe n0 N tal que
n=1
n n , |z w | <
0
n
0
2 y |z n z 0 | < 2, por lo que |z 0 w 0 | = |z 0 z n + z n w 0 |
|z 0 z n | + |z n w 0 | < 2 + 2 = . Es decir |z 0 w 0 | < > 0, por lo que z0 = w0.
{ zn}n=1
una sucesin en
C , zn
= xn + i yn , z0 = x0 + i y0 . Entonces
+ = lim zn = z0.
2 2
n
PROPOSICION 1.2.6:
Sea {zn}
n=1
DEMOSTRACION:
Sea lim z = z . Sea = 1, existe n N tal que n n , | z z | < 1 y
0
0
0
n
0
n n
como | zn| | z0| | z n z 0 | < 1, | zn| 1 + | z0| n n 0 . Sea M =
max |z1| | z2| zn 1 1 + | z0| . Entonces |zn| M n N , lo cual prueba
n=1
OBSERVACION 1.2.7:
n
El recproco de esta Proposicin es falso. Por ejemplo si zn = ( 1) , entonces
Captulo 1
Toda sucesin acotada en C tiene una subsucesin convergente.
DEMOSTRACION:
0
nk
nk
k k=1
k nk
est acotada, por lo tanto tiene una subsucesin y
{ }
| | | |
{ }j=1
xn
{ yn }k=1
k
kj
convergente. Si yn j
y0, entonces zn = xn + i yn j
x0 + i y0 = z0.
kj
kj
kj
kj
DEFINICION 1.2.9:
tal que
TEOREMA 1.2.10:
Una sucesin {zn}
en C es convergente z es de Cauchy.
{ n}
n=1
n=1
DEMOSTRACION:
es de Cauchy.
es decir {zn}
n=1
|x n x m | | z n z m | <
|y n y m | | z n z m | < { xn}n=1 y
{yn}n=1 son de Cauchy y por lo tanto convergentes, lo que implica que { zn}n=1 es
y
convergente.
EJEMPLOS 1.2.11:
1)
2)
3)
4)
1 i
z = + 0 + i 0 = 0.
n n n n
y
zn = n + 2 n i diverge pues {n}
{ 2 n} divergen.
n=1
n=1
1
zn =
1 + i e.
n + i 1 + n
n
n
n
zn =
3 + i (1) diverge pues aunque
sucesin {(1)n} diverge.
{ n 3}n=1 converge,
la
n=1
PROPOSICION 1.2.12:
Sean {zn}
Entonces:
(i)
(ii)
(iii)
(iv)
lim (z + w ) = z + w .
n
n
0
0
lim (z n w n ) = z0 w0.
lim |z | = |z0|.
n n
z
z
Si wn 0 n N y w0 0, lim wn = w0 .
n n
0
DEMOSTRACION:
10
Captulo 1
Sea > 0.
(i) Existe n0
n n0, |(z n + w n ) ( z 0 + w 0 )| |z n z 0 | + |w n w 0 | < 2 + 2 = , y de aqu se
sigue que lim (z + w ) = z + w .
n
n
0
0
n
(ii) |z n w n w 0 z 0 | = |z n w n z n w 0 + z n w 0 w 0 z 0 |
|zn| |w n w 0 | + |w0| |z n z 0 |.
Existe M R, M > 0 tal que |zn| < M, |wn| < M n N y por lo tanto |w0|
M. Por otro lado existe n0 N tal que n n0, |w n w 0 | < 2M y |z n z 0 | < 2M.
Por lo tanto, n n0, |z n w n w 0 z 0 | < M 2M + M 2M = 2 + 2 = , y de aqu se
sigue que lim (z w ) = z w .
n n
0 0
n
(iv) Sea 1
Ahora:
|w |
= 0 > 0, existe n
2
|w0|.
N
tal
que
n
,
w
w
<
0
0 | n
0|
2
w
<
| 0| | n| | n 0 | 2 | n| | 0| 2
2
Entonces:
|w w n | 2 |w 0 w n |.
1 1 = 0
w0 |w | | w |
w n
w 2
n
0
| 0|
|w0|2
Existe m0 N tal que n m0, |w n w 0 | < 2 .
Sea k = max
0
{ n 0 m0},
1
1
entonces n k0 , se tiene w w
n
0
11
lim
=
.
Por
ltimo,
lim
= lim zn w = lim zn lim w
2
w
w
w
n n
n n n
n
n n
0
n
|w0|
z
1
= z0 w = w0 .
0
0
Ahora recordemos una Proposicin para sucesiones reales, la cual nos ser til para
el estudio de los puntos lmite de una sucesin.
PROPOSICION 1.2.13:
si {an}
es decreciente, entonces lim an = inf {a n | n N } .
n=1
n
Sea
DEMOSTRACION:
Ejercicio.
DEFINICION 1.2.14:
Se dice que lim z = si lim |z | = , es decir, si M > 0 existe n N tal que
0
n n
n n
n n0, |zn| > M.
DEFINICION 1.2.15:
12
Captulo 1
C. Sea C. se llama punto lmite de z si existe una
{ n}n=1
0
0
n=1
zn
de {zn}
tal que lim zn = 0.
Sea {zn}
subsucesin
{ }k=1
n=1
EJEMPLOS 1.2.16:
Sea
Entonces lim r2n = 1 y lim r 2n1 = 1, por lo tanto 1 y 1 son puntos lmite de
n
n
r
. El lector puede fcilmente verificar que stos son los nicos.
{ n}n=1
l 1 = sup {r n
l 2 = sup {r n
|n
|n
1} = sup {r 1
2} = sup {r 2
r 2 r n };
r 3 r n };
l k = sup {r n | n k} = sup {r k r k + 1 r n } ;
etc.
Ahora se tiene que {r n
| n k + 1} { r n | n k} k N , por lo tanto
l
= sup { r n | n k + 1} sup { r n | n k} = l k , es decir { l k } es
k+1
k=1
decreciente. Adems si |rn| M n N , esto es M rn M n N M l k
M, por lo tanto {l } est acotada y de aqu se sigue que {l } es convergente.
k k=1
k k=1
13
OBSERVACIONES 1.2.17:
1)
2)
Si r
est acotada superiormente y tiene una subsucesin r
Si {rn}
{ n }k=1
{ n}n=1
l k = sup {r n | n k} rn m { l k }
es decreciente y acotada,
k=1
3)
|n
k}, k
{rn}n=1 R
acotada, la
N.
Claramente se tiene t t
k N y que {tk} est acotada y por lo tanto
k
k+1
k=1
{tk}k=1 es convergente.
Si r no est acotada se tienen los siguientes casos:
{ n}n=1
(1)
Si {rn} no est acotada inferiormente, lim tk = .
n=1
k
(2)
Si { rn}
est acotada inferiormente, y tiene una subsucesin acotada
n=1
superiormente, entonces {tk} es convergente.
k=1
14
Captulo 1
(3)
Si
OBSERVACION 1.2.18:
Sean {rn}
, l
, t como antes, r arbitraria. Entonces
{
}
{ n}n=1
k
n=1
k=1 { k} k=1
lim l = inf
k k
nN
(sup { r n | n
k} ) y
k k
nN
{rn | n
k} ) .
DEFINICION 1.2.19:
n=1
EJEMPLOS 1.2.20:
1)
n
( 1) + n
Sea rn =
.
n
Entonces l k = sup {r n
que
rn
( 1) n + n
. Se tiene
n
k
=
sup
n
k
|
}
1
1 < 1 n N n impar
n
=
1 + 1 > 1 n N n par
n
1 + 1 k par
k
lk=
1 + 1 k impar
k+1
15
lim l
k k
= lim r n = 1 .
n
Anlogamente, si tk = inf {r n
|n
1 1 k impar
k
k} , t k =
1 1 k par
k+1
lim t = lim r n = 1 .
k k
lim rn = lim l n = 1.
| n k} = 1 k N n
n
tk = inf {r n | n k} = 1 k N lim rn = lim tn = 1.
l k = sup {r n
3)
1 n
Sea r = 1 + .
n
n
es creciente, r e n N, l = sup r
Se tiene que {rn}
{n
n
k
n=1
|n
k}
1 n
= sup 1 + n k = e lim l = e.
n
k k
1 k
1 k
tk = inf {r n | n k} = 1 + lim tk = lim 1 + = e.
k
k
k
k
16
Captulo 1
PROPOSICION 1.2.21:
{ rn}n=1 R . Sea
R | Existe una subsucesin { rnk}k=1 de { rn}n=1 tal que k
lim = l
Sea
{ rn}n=1
=
=
n n
lim rn = inf A.
DEMOSTRACION:
Sean x = sup A
0
inf {r n
|n
R,
y0 = inf A
R, l k
= sup
{ rn | n
k} , t k =
{ rn }
k
l 0 x A t0 y 0
x0 l 0 .
1
A continuacin se va a probar que l 0 A. Sea m = m, existe nm N tal que
1
1
1
1
k nm, l k l 0 m l 0 + m . En particular l n l 0 m l 0 + m y puesto
es decreciente, l n l 0.
que {l k }
k=1
Sm
Sm
(
1
l m
0
)(
l
kn
nm
1
Sea Sm = l 0 + m l n > 0. Ahora l n = sup {r k
m
1
tal que l n Sm < rk l n < l 0 + m.
m
nm
m
17
)
1
l +m
0
|k
n m } existe kn nm
m
S
=
l
+
l
+
l
=
nm
m
nm
0 m
nm
0
0 m
0
m + l 0, es decir
1
1
1
l 0 < m.
l 0 m < rk < l 0 + m r k
nm
nm
1
Se construir rk
tal que kn
> kn y r k
l 0 < m+1.
nm+1
m+1
m
nm+1
1
Sea m+1 = m+1 existe nm+1 > kn tal que l n
1
1
l 0 m+1 l 0 + m+1 .
m+1
1
Sea S
=
l
+
ln
> 0.
m+1
0 m
m+1
nm + 1 > kn tal que l n
Sm + 1 < rk
ln
Existe k n
m+1
m
m+1
nm+1
m+1
1
1
l 0 m+1 l 0 + m+1 .
m+1
Se ha construdo rk
subsucesin de
kn
{ }m=1
nm
lim r k = l 0 , por lo
{ rn}n=1 tal que m
nm
COROLARIO 1.2.22:
DEMOSTRACION:
Es inmediato de analizar los casos faltantes.
COROLARIO 1.2.23:
18
Captulo 1
Sea
lim s
n n
lim s = s .
0
n n
= lim s n =
n
DEMOSTRACION:
A=
COROLARIO 1.2.24:
Sea
lim s n =
{sn}n=1 R . Si n
lim s = s .
0
n n
lim s n = s0
es convergente y
R { sn}n=1
DEMOSTRACION:
{ sn}n=1
n=1
{snk}k=1 tal que |s n k s 0 | 0 k N. Puesto que {snk} est acotada tiene una
Supongamos que
k=1
{ }
n=1
puntos por lo que Sup A Inf A y por lo tanto lim s lim s lo cual es una
n
n n
n
contradiccin.
19
PROPOSICION 1.2.25:
Sea {sn}
i)
R. Entonces:
n=1
tal que
tal que
{ }k=1
lim s = s0 existe
n n
sn
subsucesin de
{ sn}n=1
lim s
k nk
ii)
{ }k=1
n=1
lim s
k nk
DEMOSTRACION
i) ) Si lim s = se sigue inmediatamente, por lo que suponemos lim s = s < ,
0
n n
n n
s0 [ , ). Claramente existe sn
subsucesin de { sn}
tal que
{ }k=1
n=1
lim s
k nk
subsucesin
= r0 s0 + 0 > s0 lo que
lim sn
{conjunto de puntos lmite de {sn}n=1
}. Si s0 n
= sup A existe r0 A tal que s0 < r0. Sea R tal que s0 < < r0. Puesto
que r0 A existe sn subsucesin de {sn} tal que lim sn = r0, por lo
{ }l=1
n=1
ii)
Ejercicio.
n n
20
Captulo 1
a
an+1
n
n
lim n+1 lim
a
lim
a
lim
n n
n n an .
an
DEMOSTRACION:
a
Sea r = lim an+1. Sea > 0, existe n0
n n
a
tal que n n0 , na+ 1 r +
n
a lim (r +
n n
n
n
1 0 n
) n
an+1
a
r
=
lim
.
n
n
n an
lim
a
n n
r +
a
n
Anlogamente se prueba que lim n+1 lim
an y puesto que evidentemente se
an
n
tiene que
lim
n
lim
an n
an,
se sigue el Teorema.
21
Sea
n
an
n=1
{ an}
n=1
a
n
converge y lim an = lim an+1.
n
n n
DEMOSTRACION:
a
a
a
a
Si an+1
converge entonces lim an+1 = lim an+1 = lim an+1
n n
n n
n n=1
n n
n
an+1
n
n
n
a converge y lim
a
=
lim
a
a
=
lim
.
lim
n n
n
nn=1
n n n an
OBSERVACION 1.2.28:
n
nn=1
a
converge, pero an+1
diverge como lo prueba el
n n=1
siguiente ejemplo.
EJEMPLO 1.2.29:
1
dada por a = a
= n, n N, es decir:
2n
2n1
2
1
1
1
1
1
1
1 1
{an}n=1 = 2 2 4 4 8 8 2n 2n .
2n
2n1
1
1
1
y
a2n1 =
Se tiene que a2n =
n
n
2
2n1
2
n
Por lo tanto
an converge.
Sea {a
n n=1
( )
n=1
22
1
.
2
Captulo 1
1
1
n
n+1
a
a
1
2
1
2n+1 2
Por otro lado, 2n =
=
1
1
y
.
a2n1 1
n
a2n = 1 = 2
n 2
2n
2n
a
Por lo tanto an+1
no converge.
n n=1
Ahora pasamos a definir el concepto de serie. Para esto primero definiremos lo que
se conoce como series formales.
DEFINICION 1.2.30:
Sea {an}
an = a0 + a1 + a2 + .
n=0
an + bn =
n=0
n=0
n=0
( a n + b n ).
a .
an =
n
n=0
n=0
an bn = c n ,
n=0
n=0
n=0
donde n N {0}, c es el nmero complejo definido por
n
n
c =a
b ,
n
nk k
k=0
es decir obtenemos
23
n=0
n=0
a n bn =
n=0
n a
nk b k .
k=0
DEFINICION 1.2.31:
Asociada con una serie
n=0
definida como:
sn =
k=0 k
an.
n=0
n=0 n
n=0
24
Captulo 1
EJEMPLOS 1.2.32:
1)
Sea an = n, n
N , sn =
n
n (n + 1)
, de donde lim s n = , por
k =
2
n
k=0
2)
k=0
k=0
n+1
ak = a q k = a 1 1 q q
n=0
n=0
, por lo que
1 q
lim sn = lim a 1
an = a q n = n
n
3)
n+1
a
q = 1 q.
1
1
Sea a = n + i n , n N {0}.
n
2
3
1 n+1
1 2
1
1
1
sn = a k =
k + i k =
+i
1
2
k=0
3
1 2
1
k=0
n
an =
n=0
n+1
1
3
1
3
1
1
1
1
3i
n + i n = lim sn =
+i
=2+ 2 .
1
1
3 n
1 2
1 3
n=0 2
4)
, por lo que
n
n
x
y
Consideremos las series
,
, donde x, y C. Entonces
n=0 n! n=0 n!
n=0
x
n! n=0
n
y
n! =
n=0
25
k=0
x
y
(n k)! k! =
nk
n=0
n=0
n
n!
1
nk k
x
y =
k! (n k)!
n!
k=0
n=0
n
1
n! k=0
( nk) xnk yk
1
(x + y) n .
n!
n=0
n=0
n=0
n=0
( a n + b n ) y c an convergen y adems:
i)
ii)
a
+
b
=
r
+
s
=
a
+
( n n)
b .
n=0
n=0 n n=0 n
c
a
=
c
r
=
c
n
an.
n=0
n=0
DEMOSTRACION:
n
Sea rn = a k , sn = b k , tn = ( a k + b k ), un = c a k . Entonces
k=0
k=0
k=0
k=0
tendremos t = r + s , u = c r , lim r = r y lim s = s.
n
n
n n
n
n
n
n
26
Captulo 1
i)
ii)
n=0
n=0
n=0
lim tn = r + s = a n + b n .
( a n + b n ) = n
n=0
n=0
lim un = c r = c a n .
c a n = n
TEOREMA 1.2.34:
La serie
an
n=0
a k < .
k=n+1
DEMOSTRACION:
Sea sn =
k=0
n=0
converge s
ak. Se tiene que: an converge { sn}n=0
{ n}n=0
n
m
m
= a k < .
k
k
k=0
k=0
k=n+1
EJEMPLO 1.2.35:
n=1
1
entonces dado = 3, existe n0
1
diverge. Supongamos que
n
27
k=n+1
n=1
1
converge,
n
1
k < . Sea m = 2 n,
1
entonces se tiene 3 >
2n
k=n+1
1
1
k = n + 1
1
n + 2
1
2 n
1
1
1
n
1
1
1
2 n + 2 n + + 2 n = 2 n = 2, es decir 3 > 2, lo cual es absurdo y por lo tanto
1
hemos probado que la serie
(llamada la serie armnica) diverge.
n
n=1
El siguiente resultado nos dice como deber ser los trminos de las series convergentes.
PROPOSICION 1.2.36:
Si la serie
lim an = 0.
an converge, entonces n
n=0
DEMOSTRACION:
n
n n
COROLARIO 1.2.37:
Sea
n=0
diverge.
DEMOSTRACION:
28
Captulo 1
Se sigue inmediatamente de la Proposicin 1.2.36.
OBSERVACION 1.2.38:
n=1
1
n
1
diverge pero lim n = 0.
n
TEOREMA 1.2.39 (CRITERIO DE DIRICHLET):
Sean {an}
n=1
n
con lim an = 0, y {bn} C tal que {rn} es acotada, donde rn = bk. Entonces
n
n=1
n=1
k=1
la serie
an bn converge.
n=1
DEMOSTRACION:
Por induccin se puede fcilmente probar que si sn =
n
n1
k=m
k=m
k=1
Entonces:
n1
n1
( a k a k + 1) + M am + M an = M [a m
k=m
29
a n + a m + a n ] = 2 M am ,
{sn}n=1
{ an}n=1
tal
que
an}
n=1
es
decreciente
lim an = 0. Entonces
( 1)n a es convergente.
n
n=1
DEMOSTRACION:
n
n
1 si n es impar
Sea b = ( 1)n , r = b = ( 1 ) k =
n
n
k
0 si n es par
k=1
k=1
( 1) n a converge.
n N an b n =
n
n=1
n=1
|rn| 1
DEFINICION 1.2.41:
Sea
an
n=0
an se llama absolutamente
n=0
| an| converge.
n=0
TEOREMA 1.2.42:
30
Captulo 1
Si la serie
n=0 n
a
n | an|.
n=0 n=0
DEMOSTRACION:
m
m
k=n+1
n
n
n
OBSERVACION 1.2.43:
El recproco del Teorema 1.2.42 es falso, por ejemplo consideremos la serie
n
1
1
1
( 1)
anarmnica
: si an = n, entonces an+1 = n+1 < n = an , entonces por 1.2.40
n
n=0
n
n
( 1)
( 1)
converge
pero
no
es
absolutamente
convergente
pues
la
serie
n =
n
n=0
n=0
n=0
1
diverge.
n
DEFINICION 1.2.44:
31
z
una
serie
de
nmeros
complejos,
z
=
x
+
i
y
.
Entonces
z
n
n
n
n=0 n
n=0 n
converge x n y yn convergen.
Sea
n=0
n=0
DEMOSTRACION:
Es una aplicacin inmediata de la Proposicin 1.2.5 para sucesiones.
an converge { sn}n=1
n=1
ak.
k=1
DEMOSTRACION:
es creciente y por lo tanto s
Se tiene que sn+1 sn = an+1 0 {sn}
{ n}n=1
n=1
{ n}n=1
32
Captulo 1
Si
Si
n=1
an diverge, entonces
n=1
n=1 n
n=1
n=1
diverge.
DEMOSTRACION:
Sea sn =
k=1
k=1
a k , r n = b k , sn rn n N .
i)
ii)
converge.
N sn M n N a n
n=1
EJEMPLO 1.2.48:
1)
Consideremos la serie
n=1
Sea s =
n
k=1
1
k (k + 1) =
por lo tanto
1
.
n (n + 1)
n=1
1
1
1
lim s n = 1,
k k + 1 = 1 n + 1 n
k=1
1
= 1.
n (n + 1)
33
Ahora n
N , (n + 1)2 > n (n + 1)
1
1
2 < n (n + 1) entonces
(n + 1)
1
1
1
= 1 + 1 = 2, por lo tanto
2=1+
2<1+
n
(n
+ 1)
n
(n
+
1)
n=1
n=1
n=1
1
2 converge.
n
n=1
2)
Sea
n=0
1
diverge,
n
1
y puesto que
n
1
diverge R, 1.
n
n=0
i)
Si < 1,
ii)
Si > 1,
iii)
n=0 n
converge.
an diverge.
n=0
DEMOSTRACION:
34
an. Entonces:
Captulo 1
a
<
k
n
.
La
serie
k converge pues |k|
n
n
0
1
i)
n=n +1
0
n=0
n=0
n=n +1
n=0
n=n +1
an converge.
n=0
ii)
Existe una
tanto a diverge.
n
subsucesin
{ }
an
n=0
iii)
Se darn series
n=1
n=1
a n , bn
n=1
n=1
a
n n
= lim
b
n n
= 1,
an converge y bn diverge.
n
n
1
1
Sea an = 2, bn = n, lim
a
=
lim
b
=
1.
a
converge,
b
n
n
n
n
n=1 n
n=1 n
n
diverge.
35
i)
Si < 1,
ii)
Si > 1,
iii)
n=0 n
converge.
an diverge.
n=0
DEMOSTRACION:
a
n
Por 1.2.26 se tiene que lim a n = lim an+1 = . Entonces i), ii) se siguen
n
n n
inmediatamente de 1.2.49. Para iii) se pueden dar los mismos ejemplos de 1.2.49 iii).
EJEMPLOS 1.2.51:
1)
x
.
n=0 n!
x
|x|
Sea an = n! , |an| = n! 0. Si x = 0, es claro que la serie converge. Sea x 0,
|x|n+1
|a |
(n + 1)!
|x|
entonces |a | > 0. Se tiene lim n+1 = lim
= lim n + 1 = 0 < 1, por lo que
n
n
n |an|
n |x|
n
n!
n
x
serie
es absolutamente convergente x C.
n=0 n!
36
Captulo 1
(n + 1)!
an+1
(n + 1) n + 1
nn
n!
n!
Sea
lim a
= lim
= lim
=
n, a n =
n, n
n!
n
n(n + 1) n
n
n
n
n=1
nn
1
1
1
n!
lim
= lim
=e < 1, por lo tanto
n converge.
n+1
1
n
n
n
n
n
1 +
n=1
n
n
2)
n!
Adems se tiene que lim n = 0.
nn
3)
Consideremos la serie
np
n con c C, |c| > 1, p R.
c
n=1
n
n
n
Sea a = n , |a | = n > 0. Entonces lim |a | = lim
n c
n
n
n
n
|c|
np 1
= < 1.
|c|n |c|
37
n=0
n=0 n
= s es absolutamente convergente y
a b =
b
=
r
es
convergente.
Entonces
se
tiene
que
la
serie
n n
n=0
n=0 n
n=0
n=0
n a
es convergente y se tiene a b = r s.
b
n n
k=0 nk k
n=0
n=0
DEMOSTRACION:
Sean sn =
k=0
k=0
k=0
i=0
k=0
ak
k=0
n
n
n
t n k . Ahora s n tn un = a k tn u n = a k t n a k t n k =
k=0
k=0
k=0
a k ( tn tn k). Ahora {rn}n=0 y { tn}n=0 son convergentes, existe M > 0 tal que
k=0
|tn| < M n N {0}.
|rn| < M
m
|r m r n |
k=n+1
38
Captulo 1
n
n
a
+
a
(
2M
)
=
a
| k| 3M k=n +1| k|
3M k=0 | k| + (2M)
k=0
0
n a <
| k|
k=n0+1
M + 2 M 3M = .
3M
es convergente y lim s t = s r, por lo tanto
Ahora {s n t n }
n=0
n n n
convergente con a n b n = c n = lim un = lim sn tn = s r.
n
n
n=0 n=0 n=0
{ un}n=0
es
OBSERVACION 1.2.53:
Si ninguna de las series es absolutamente convergente en el Teorema anterior, el
1
producto no tiene porque ser convergente, por ejemplo si a = b = , entonces por
n
n
n
n
( 1)
1.2.40 se tiene que
es convergente. Ahora consideremos el producto
n
n=1
n=1
k=1
( 1)
n
n=1
nk+1
( 1)
n
n=1
n
cn
con
cn
ak
k=1
bnk+1 =
1
( 1) ( 1)
= ( 1)n+1
. Puesto que 1 k n,
k
(
n
k
+
1
)
k n k + 1
k=1
39
= n, por lo tanto
k (n k + 1)
n n
n
n
1
1
c
=
=
1
N
,
por
lo
tanto
cn es divergente.
| n|
n
k
(
n
k
+
1
)
n=1
k=1
k=1
n k + 1 n 1 + 1 = n
f(x)
dx
f(n
+
1)
dx
=
f(n
+
1)
=
a
f(n) dx = an
n+1
n
n
n
n
ai+1
i=1
i=1
i+1
n+1
n
f(x)
dx
=
f(x) dx a i .
i=1
i
1
n+1
n
Sea s = a , s
a1 f(x) dx sn .
n i=1 i n+1
1
converge entonces si lim s = s, se tiene que
Por lo tanto, si { sn}
n=1
n n
n+1
s a1 lim f(x) dx s. Ahora puesto que dada 1 M R existe n N tal que
n 1
40
Captulo 1
n
M
n M n + 1, f(x) dx f(x) dx
1
1
n+1
M
lim f(x) dx = lim f(x) dx la cual existe.
n 1
n1
n+1
f(x) dx, por lo que
1
n+1
Recprocamente, si tal integral existe, entonces se tiene sn+1 f(x) dx + a1
1
EJEMPLO 1.2.55:
Sea p R , p > 0, p 1. consideremos la serie
1
p. Sea f : [1, )
n
n=1
R,
1
f(x) = p.
x
Puesto que f'(x) = p xp1 < 0 x [1, ), se tiene que f(x) es decreciente y
M
M
xp+1 M
1
f(n) = p = an. Ahora f(x) dx = lim f(x) dx = lim x p dx = lim p+1 =
M1
M 1
M
1
n
1
1 1
1
lim 1p
1 el cual existe p 1 > 0 p > 1. Es decir
p1
p converge
M
M
n
n=1
p >1 (para p > 0). Recordando el Ejemplo 1.2.48 (2), se tiene que en general, si p R es
arbitrario, entonces
1
p converge p >1 .
n
n=1
41
CAPITULO 2.
TOPOLOGIA DE
1. Topologa de
Y FUNCIONES CONTINUAS
C.
DEFINICION 2.1.1:
z0
| }
| }
42
)=
B (z0) = V (z0) =
Captulo 2
DEFINICION 2.1.2:
Un conjunto A
C , se llama abierto si z
B z A.
z
TEOREMA 2.1.3:
(i)
(ii)
(iii)
DEMOSTRACION:
i)
|z 0 w|
43
|u
w + w z 0 | |u w| + |w z 0 | < + |w z 0 | = u B z 0
por lo tanto B z 0 es abierta.
ii)
iii)
)y
( )
G . Sea = min { | 1 k n} > 0. Claramente se tiene que B(z )
k
k
0
n
n
B(z 0 k ) Gk, para 1 k n B(z 0 ) Gk, es decir Gk es abierto.
k=1
k=1
Sea z0 G k. Para cada 1 k n, existe k > 0 tal que se tiene B z 0 k
k=1
Sea z0
DEFINICION 2.1.4:
c
F C se llama cerrado si F = C F es abierto.
COROLARIO 2.1.5:
(1)
(ii)
(iii)
y C son cerrados.
DEMOSTRACION:
En el Teorema 2.1.3 se aplican las leyes de Morgan al tomar complementos.
44
Captulo 2
DEFINICION 2.1.6:
Sea A C. Entonces se definen los siguientes conjuntos:
= Interior de A = G | G A y G es un conjunto abierto .
A
{
}
C se llama P u n t o d e A c u m u l a c i n de A si > 0,
[B(z0 ) { z0}] A .
A' = Conjunto derivado de A ={z C |z es un punto de acumulacin de A} .
z
EJEMPLO 2.1.7:
Si A = {x + i y | x y
Q }, entonces A = , A = A = A' = C.
PROPOSICION 2.1.8:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
A, A A
, A A
, A' A
.
A
.
A es abierto A = A
.
A es cerrado A = A
c c
c
c
A = A, A = ((A )) , A = A A.
A B = A B.
(A B) = A B .
A B A B y en general A B A B .
(A B) A B , y en general (A B) A B .
z0 A > 0, B z 0 A .
> 0 tal que B z A.
z A
)
(0 )
0
z0 A > 0, B(z 0 ) A y B(z 0 ) Ac .
45
DEMOSTRACION:
Ejercicio
es un conjunto abierto en A.
Si { Y }
es una familia de conjuntos cerrados en A entonces A
Y
A
es un conjunto cerrado en A.
(5)
(6)
(7)
46
Captulo 2
DEMOSTRACION:
c
c
(1) Sea U abierto tal que X = A U. U es cerrado en C y A X = A X =
A (A U)c = A (A c U c ) = (A A c ) (A U c ) = A Uc A
X es cerrado en A.
U
A
X
(2) Ejercicio. A X
(3) Para cada , sea U abierto tal que X = A U . Se tiene que X =
(4)
(5)
(6)
(7)
( )
C, se sigue que
X es abierto en A.
Ejercicio.
PROPOSICION 2.1.11:
Sea A C. Entonces:
(i) A es cerrado A' A.
lim z = z0.
n n
47
((
c
) Sea z0 A , entonces z0 A por lo que z0 A', entonces existe > 0 tal que
B z 0 { z0} A = B z 0 { z0} Ac y z0 Ac
ii) )
(( )
)
( )
c
c
B(z 0 ) A por lo que A es abierto, es decir A es cerrado.
. Sea = 1, n N . Se tiene que B z A , por lo cual
Sea z A
( 0 n)
0
n n
podemos elegir zn B( z 0 n ) A. Entonces { zn} A y claramente
n=1
lim z = z .
0
n n
iii)
tal que n n0 , zn B z 0
.
B z 0 A z0 A
Ejercicio.
2. Conexidad.
La idea geomtrica de un conjunto conexo en C, es la de un conjunto que consta de
un solo pedazo.
DEFINICION 2.2.1:
A C se llama disconexo, si existen dos conjuntos abiertos U y V en C tales que:
(i) A U A V.
(ii) A U V = .
(iii) A U V.
48
Captulo 2
A
TEOREMA 2.2.2:
X R es conexo X es un intervalo.
DEMOSTRACION:
Ejercicio.
( U V)
A U V.
)
DEFINICION 2.2.4:
Una curva : [a, b] C se llama continua en t [a,b] si para cualquier
0
sucesin {tn}
[a, b] tal que n
lim tn = t0 se tiene que n
lim (tn) = (t0).
n=1
DEFINICION 2.2.5:
Sea A C. Entonces una curva en A es una funcin continua : [0, 1] A y A
se llama arco-conexo si para cualesquiera dos puntos z1, z2 en A, existe una curva en A
tal que (0) = z1 y (1) = z2.
z2
z1
Captulo 2
TEOREMA 2.2.6:
(i)
(ii)
DEMOSTRACION:
Ejercicio.
DEFINICION 2.2.7:
C se llama regin si es abierto y conexo.
3. Conjuntos Compactos.
DEFINICION 2.3.1:
Sea A C y sea {B }
entonces a {B }
entonces {B }
Si
{ B}
C .
{C} tal que para cada , existe tal que C = B y adems A
DEFINICION 2.3.2:
A C se llama compacto si toda cubierta abierta de A, tiene una subcubierta finita.
51
TEOREMA 2.3.5:
A
subsucesin
A, existe una
es compacto para toda sucesin { zn}
n=1
zn
de {zn}
tal que k
lim zn = z0 A.
{ }k=1
k
n=1
DEMOSTRACION:
) Sea
52
Captulo 2
A tal que
Por ltimo veamos que A es cerrado. Sea z0 A, existe { zn}
n=1
{ }k=1
4. Funciones Continuas.
DEFINICION 2.4.1:
Sea C un conjunto cualquiera y sea f : C .
(1)
Sea z0 '. Se dice que w0 = lim f(z) si dada > 0, existe = () > 0
zz0
(2)
OBSERVACION 2.4.2:
(1)
Si f : C
lim f(z) = f(z ).
zz0
(2)
C y z0
Sea f : C {1}
53
Sea f :
C C , f(z) =
|z
z0
| = | z z0 | =
PROPOSICION 2.4.4:
Sea f :
equivalentes:
(1)
(2)
(3)
f es continua en a.
Dada > 0, existe > 0 tal que f(B(a ) ) B(f(a) ).
Para toda sucesin { z } tal que lim z = a, se tiene que
n
n n
lim f z = f(a).
n ( n)
n=1
DEMOSTRACION:
(1) (2):
Sea > 0, existe > 0 tal que z con |z a| < , |f(z) f(a)| <
z B(a ) , f(z) B(f(a) ) f(B(a ) ) B(f(a) ).
(2) (1):
(1) (3):
Ejercicio.
TEOREMA 2.4.5:
54
Captulo 2
Sean f, g :
f
continuas en a. Adems si g(a) 0, entonces es continua en a.
g
DEMOSTRACION:
TEOREMA 2.4.6:
Sean , C, f :
1
2
1
55
f es continua en .
1
Para todo A C abierto, f (A) es abierto en .
Para todo A C cerrado, f1(A) es cerrado en .
DEMOSTRACION:
(1) (2):
((
))
) (
((
) B( z 0 )
(
)
)
)
Hemos probado que para cada z f1(A), existe > 0 tal que B z
z
z
1
1
f (A). De esto es inmediato que f (A) =
B z z =
1
((
B(z z ) y puesto que B(z z ) es abierto, se sigue
zf (A)
zf (A)
zf (A)
56
((Ac)c) =
Captulo 2
(3) (1):
{ }k=1
|( )
|
k N lo cual implica que f zn [B(f(z0) 0 )]c el cual es cerrado
( )
zn f1[B(f(z0) 0 )c] que por hiptesis era un conjunto cerrado en
y puesto que lim zn = z0 se tiene que z0 f1[ B(f(z0) 0 )c] lo cual es
k
k
TEOREMA 2.4.8:
Sea
C , f : C , z0
y sean u, v :
< 2, lo cual implica que si |z z 0 | < , entonces |f(z) f ( z0)| | u(z) u ( z0)| +
57
TEOREMA 2.4.10:
Sea C conexo y sea f : C continua, entonces f() es conexo.
DEMOSTRACION:
Supongamos por el contrario que f(A) no es conexo, entonces existen dos
conjuntos abiertos U y V de C tales que
f(A) U V, f(A) U V = y U f(A) V f(A).
1
1
Sean U1 = f (U), V1 = f (V). U1 y V1 son abiertos en A puesto que f es
continua.
58
Captulo 2
Sean , abiertos tales que U = A, V = A. Existe w U f(A)
1
2
1
1
1
2
por lo que hay un z A tal que f(z) = w, lo cual implica que z f1({w}) f1 (U) = U1
= 1 A por lo que 1 A . Anlogamente se tiene que 2 A .
Ahora, f(A) U V A f1(U V) = f1(U) f1(V) 1 2.
quera probar.
DEFINICION 2.4.11:
Una funcin f : A C C se llama uniformemente continua en A (denotada
u.c.), si para cada > 0, existe = () > 0 tal que para cualesquiera z, w A tales que
| z w | < se tiene que | f(z) f(w) | < .
OBSERVACION 2.4.12:
(1)
La diferencia de la definicin entre la continuidad y la continuidad uniforme,
es que dado > 0, el > 0 encontrado no depende de ningn punto z A en la
0
continuidad uniforme y en la continuidad si. Adems una funcin puede ser u.c. en
determinado conjunto pero no en otro (Ejemplo 2.4.13), es decir la continuidad uniforme
deber ser referida al conjunto.
(2)
Si f es u.c. en A, entonces evidentemente es continua en A.
EJEMPLOS 2.4.13:
59
Sea A = C.
Afirmamos que f no es u.c. en A. En efecto, sea = 1. Entonces
TEOREMA 2.4.14:
Sea A C compacto y f : A C continua. Entonces f es u.c. en A.
DEMOSTRACION:
Supongamos que f no es u.c. en A, entonces existe un > 0 tal que dada > 0
0
existen z, w A con |z w | < pero |f(z) f ( w)| 0.
60
Captulo 2
1
Sea = , n N, entonces existen z , w A tales que
n n
n n
1
|z n w n | < n = n y |f(zn) f ( wn)| 0.
A y A es compacto, entonces existen una subsucesin
Puesto que { zn}
n=1
{ zn }
k
{ }
|( )
( )
f ( z0) < 20 y
( )
k
|f(wn ) f ( z0)|
k
< 20.
As pues se tiene:
| ( ) ( )| | ( )
0 f zn
k
f wn
k
f zn
k
| |
( )|
f ( z0) + f(z0) f w n
k
< 20 + 20 = 0,
5. La Esfera de Riemann.
Ahora consideramos que a C le agregamos un punto extra, , formalmente llamado
el punto al infinito. Al conjunto C {} se le llamar la Esfera de Riemann.
61
N
L
P
C
Ahora sea S 2 =
{(x y z) R 3 | x 2 + y 2 + z 2 = 1}. Sea N = polo norte = (0, 0 1). Para
cualquier punto P S2, P N, sea L la nica lnea recta que pasa por P y N. De hecho L
= { N + t ( P N ) | t R } = { ( 1 t ) N + t P | t R }.
2
( x 0 y0 z0 ), x0 + y0 + z0 = 1, z0 1, por lo que
L = { (tx ty (1t) + tz ) | t R } . Entonces L intersecta a R 2 =
0
0
0
{(x y 0) | x y R } R 3 en un punto, y este punto corresponde a la
1
condicin (1 t) + t z0 = 0, es decir cuando t = 1 z . Por lo tanto L R 2
Se tiene que P =
y
x
= 1 0z 1 0z 0 .
0
0
esfera S2 en dos puntos N y P. Hallaremos P. La lnea que pasa por N y z est dada por
3
(identificamos z con ( x 0 y 0 0) R ): L = { N + t ( z N ) | t R } =
2
2
=
. t = 0 corresponde a N y t =
corresponde a P =
2
2
|z| + 1
|z| + 1
62
Captulo 2
2
2
2y
2x
| z| 1 z + z i ( z z) | z| 1
1(z) = 2 0 2 0 2
2
. Por lo tanto
= 2
|z|2 + 1
|z| + 1
|z| + 1 |z| + 1 |z| + 1 |z| + 1
1
tenemos que tanto como son continuas, es decir podemos identificar C con
S2 {N}. Finalmente se identificamos N con {} obtendremos que C {} se puede
DEFINICION 2.5.1:
2
A : S C {} se le conoce como la Proyeccin Estereogrfica.
2
lim wn = N, es decir los puntos "cercanos" a en C
{wn} S satisface n
n=1
2
2
|z| + 1 |z| + 1 |z| + 1 |w| + 1 |w| + 1 |w| + 1
2 | z w |
2
=
. Similarmente se tiene ( 1(z) N) =
. Con
2
2
2
|z| + 1
(|z| + 1) ( |w| + 1)
2 | z w |
2
(|z|
+ 1)
(z ) =
( |w|
2
2
|z|
+ 1
63
+ 1)
para z, w C,
para z C.
CAPITULO 3.
DIFERENCIACION COMPLEJA
1. Derivacin.
DEFINICION 3.1.1:
Sea
C . f se llama
existe.
f'(z0) = lim
Captulo 3
(1)
(2)
(3)
z
zz 0
zz0
0
0
z
z
z
zz 0
zz 0
0
0
f(z) f( z0)
z z0) ( z + z0)
z2 z2
0 = lim (
=
lim
=
f' ( z0) = lim
z z0
z z0
zz 0
z z 0 z z 0
zz0
lim (z + z 0 ) = 2 z0.
zz0
(4)
Sea {zn}
C, zn = xn + i yn tal que
n=1
z0
zz
= lim z z = ?
zz0
0
lim zn = z0 = x0 + i y0. Si yn = y0
n
z0
z z
x x
n
0
n
0 = 1. Ahora si x = x ,
=
lim
zn z0
x
x
n
0
n n
0
z z
i (y n y0)
n
0
entonces n N, entonces lim z z = lim
= 1.
n n
n i ( y n y 0 )
0
n
N , entonces n
lim
zz
0
Lo anterior prueba que z0 C, lim z z no existe, es decir f(z) = z
zz0
0
no es complejo diferenciable en ningn punto z0 C.
OBSERVACION 3.1.4:
En los ejemplos anteriores, las funciones vistas como funciones de R2 en R2 son:
65
Diferenciacin Compleja
(2)
(3)
2
f(x, y) = (c 1 c2 ) R .
f(x, y) = (x, y).
2
2
2
2
2
f(x, y) = (x + i y) = (x y ) + i (2 x y) = (x y 2 x y).
(4)
f(x, y) = (x, y)
(1)
zz0
zz0
66
Captulo 3
f
x0 + h f x0 T
n
m
T : R R transformacin lineal tal que lim
h 0
h
( h )
|| ||
= 0, y a T = Df
x0 se le llama la derivada de f en
x0 .
DEFINICION 3.1.7:
|| ||
Sea A Rn,
a A, g : A Rm. Sea
y Rn tal que
y = 1. Entonces al
lmite:
g
a + t
y
lim
t
t0
) g ( a ) =
(D y g)(a ).
Dg
e
i
En particular si
y =
e = (0 0 1 0 0) se tiene que:
i
g(a 1 a i1 a i + t a i+1 a n ) g ( a 1 a n )
g
a = x
a = lim
t
t0
i
( )
( )
donde
a = ( a 1 a n ), recibe el nombre de derivada parcial de g con respecto a la isima variable.
OBSERVACION 3.1.8:
Sea g : A Rn R m,
a A. Puede suceder que g tenga todas las derivadas
direccionales en
a y no se diferenciable. Por ejemplo sea g : R2 R, dada por
67
Diferenciacin Compleja
g(x, y) =
x2 y
x2 + y2
(xy) (00)
(xy) = (00)
con
a = (0, 0).
g
a = Dg
a
y .
direccionales en
a y D
y
( )( ) ( ( )) ( )
R2
R2
con g = ( g 1 g 2 ),
g
g
: R y g diferenciable en
a , entonces x1
a , y1
a ,
g
, y2
a existen y con respecto a la base {(1 0) (0 1)} Dg
a = g'
a
En particular, sean
abierto, g :
( ) ( )
( ) ( )
g g
1
2
g2
x a
tiene representacin matricial
( )
( )
( )
.
g
g 2
( ) y2 ( a )
x a
g
1
y a
g1
x a
( )
g g
Por ltimo si ,
a y g son como antes y existe > 0 tal que x1 a , y1 a ,
g2 g 2
( )
( )
( )
( )
( )
Captulo 3
En este ltimo caso se tiene que (z ) = f'( z ).
0
0
DEMOSTRACION:
f(z) f ( z0)
= f' ( z0). Sea :
z z0
z z 0
f(z) f( z0)
si z z 0
zz
0
(z) =
.
) Existe lim
definida por
f' z
si z = z 0
( 0)
Se tiene que f(z) = f ( z ) + ( z z ) (z) z y adems
0
0
f(z) f( z0)
lim (z) = lim
= f'( z0) = (z0), lo cual prueba que es continua en
z z0
zz0
zz 0
z0.
) Sea : C tal que continua en z0 y f(z) = f(z0) + (z z 0 ) (z).
f(z) f ( z )
f(z) f ( z )
lim z z 0 = lim (z) = (z0) por lo tanto lim z z 0 existe, lo cual
zz 0
zz0
zz 0
0
0
prueba que f es diferenciable en z0 y adems f'(z0) = (z0).
PROPOSICION 3.1.10:
Sean C abierto, f,g : C diferenciables en z . Entonces:
0
(1)
(2)
69
Diferenciacin Compleja
(3)
f
Si adems g(z ) 0, entonces es diferenciable en z y
0
g
0
f'( z0) g ( z0) f ( z0) g' ( z0)
f '( z ) =
g 0
g(z0)2
DEMOSTRACION:
Sean , : C continuas en z tales que:
0
f(z) = f(z0) + (z z 0 ) (z), (z0) = f'( z0);
g(z) = g(z0) + (z z 0 ) (z), (z0) = g'( z0).
(1)
(2)
1
g
(z)
1
= g
( z0)
( z z0)
70
(z)
g(z) g z
( 0)
( z0 )
Captulo 3
y puesto que
(z)
1
es continua en z0 se sigue que g es diferenciable en z0 y
g(z) g ( z )
0
(z0)
g' ( z0)
1
se tiene g ' =
=
2.
g(z0) g ( z0)
g
z
[ ( 0)]
1
f
Por ltimo, g = f g es diferenciable en z0 como consecuencia de (2) y adems
f ' ( z0) f ( z0) g' ( z0)
f ' ( z ) = f'( z ) 1 ( z ) + f( z ) 1 ' ( z ) =
=
2
0
0 g
0
0 g
0
g(z0)
g
g
z
[ ( 0)]
f' ( z0) g ( z0) f ( z0) g' ( z0)
.
2
g
z
[ ( 0)]
EJERCICIO 3.1.11:
n
Sea f : C {0} C , f(z) = z , n
n N {0}, entonces de hecho f : C C).
Z.
DEMOSTRACION:
Sean : C continua en z tal que f(z) = f(z ) + ( z z ) (z) z ;
1
0
0
0
1
: 2 C continua en w0 = f(z0) tal que g(w) = g(w0) + (w w 0 )(w) w 2.
Se tiene que (z0) = f'( z0), (w0) = g'( w0) = g'( f(z0)).
Ahora z 1, w = f(z) 2
71
Diferenciacin Compleja
(g f) (z) = g(f(z)) = g(w ) + (f(z) w ) (f(z)) = g(f(z )) + (f(z) f ( z )) (f(z)) =
0
0
0
0
(g f) (z0) + (z z 0 ) (f(z)) (z) z 1.
Por ltimo, (f(z)) (z) es continua en z0, por lo tanto (g f) es diferenciable en z0
y (g f)'(z0) = (f(z0)) (z0) = g'( f(z0)) f'( z0).
v
x ( x0y0)
Ecuaciones de
.
Cauchy-Riemann
DEMOSTRACION:
)
2
2
Sea f'( z0) = 1 + i 2 C . Definimos T : R R lineal dada por la matriz
2
1
con respecto a la base cannica de R2.
2 1
72
Captulo 3
f(z) f ( z0)
f(z) f ( z0)
=
f'
z
lim
f' ( z0) =
zz
(
)
z
z
0
zz 0
zz0
0
0
f(z) f ( z0) f' ( z0) ( z z 0 )
lim
= 0.
z z0
zz0
Se tiene lim
z z0
( z z 0 )=
2 x x 0
f(x y) f x y 1
( 0 0) y y
2
1
=
=
||(x y) ( x 0 y0)||
0 0
73
Diferenciacin Compleja
f(z) f ( z0)
f es complejo diferenciable.
zz 0 z z 0
= lim
OBSERVACION 3.1.14:
(1)
=
=
=
=
(2)
u
x
u
x
v
y
v
y
v
x ( z0)
u
( z0) i y ( z0)
u
( z0) i y ( z0)
v
( z0) + i x ( z0)
( z0) + i
=
=
=
Captulo 3
u
u(x 0) u(0 0)
v
lim
=
0
=
x (0 0) = x
x
y (0 0)
0
u
u(0 y) u(0 0)
v
lim
=
0
=
y (0 0) = y
x
x (0 0),
0
sin embargo, f no es real diferenciable, ya que de lo
contrario tendramos que Df(0, 0) = 0 y por lo tanto
||f(x y) f(0 0) Df(0 0) (x y)||
|xy|
lim
=
lim
||(x y)||
(xy)(00)
(xy)(00) x 2 + y 2
1 1
= 0. Por otro lado sea ( x n y n ) = n n n
(0, 0), es decir
1
x n yn|
|
n
1
= lim
= , lo cual es absurdo.
0 = lim
n
n
2
2
x2n + y 2n
n
(1) Sea f :
2
que ux = 2x; uy = 3y ; vx = 1; vy = 1, por lo tanto ux = vy 2x = 1
1
1 1
x = 2; uy = vx 3y2 = 1 y
. Por lo tanto f es complejo
3
3
1 i
1 i
y 2 .
diferenciable en los puntos 2 +
3
75
Diferenciacin Compleja
(2) Sea f :
y
v(x, y) = y. Entonces (x, y ) R 2 , u x = 0 = v
f no es
y
x
C , f = u + i v. Sea z0 C , z0 = ( x 0 y0). Se
definen:
f
z
1 f
f
1 u v
i v u
= 2 x i y = 2 x + y + 2 x y
f
1 f
f
1 u v
i v u
= 2 x + i y = 2 x y + 2 x + y
PROPOSICION 3.1.17:
Sea f : C, C abierto, y sea z . Si f es real diferenciable, se tiene
0
f
z = 0.
que f es complejo diferenciable
z ( 0)
DEMOSTRACION:
Se sigue inmediatamente de las ecuaciones de Cauchy-Riemann.
OBSERVACION 3.1.18:
En el caso anterior se tiene:
f
f
f
z + z = x
f
f
f
z z = i y
f
f
f
z (z0) = x (z0) = i y (z0) = f' ( z0).
76
Captulo 3
EJEMPLO 3.1.19:
Sea f :
C C , f(z) = |z|2
i
=
(2x
+
0)
+
z 2 x
y 2
2 (0 2y) = x i y = z ,
f 1 f
f
1
i
= 2 x + i y = 2 (2x + 0) + 2 (0 + 2y) = x + i y = z.
z
Terminamos esta seccin con los siguientes dos resultados.
PROPOSICION 3.1.20:
Sean C regin, f : C, f holomorfa tal que f'(z) = 0 z . Entonces
f es constante.
DEMOSTRACION:
Se sigue inmediatamente del caso real.
PROPOSICION 3.1.21:
Sean G, C abiertos. Sean f : G C, g : C, funciones continuas
tales que f(G) , g(f(z)) = z z G. Si adems g es diferenciable en w0 = f(z0) y
1
1
g' ( w0) 0 f es diferenciable en z0 y f'(z0) =
=
.
g' ( w0) g' ( f(z0))
DEMOSTRACION:
77
Diferenciacin Compleja
z z0 , z , lo cual se sigue del hecho de que g es 1-1 sobre f(G). Esto implica
f(z) f ( z0)
1
=
= (z).
z z0
(f(z))
Es decir, : G C esta dada por:
1
(f(z))
z z0
(z) =
f 1z z = z 0
( ( 0))
. Se tiene
C y sea fn : C con n N
definidas sobre . Se define la serie de las {fn} por:
n=0
Sea
f(z) =
fn(z)
n=0
fn(z) converge.
n=0
78
Captulo 3
n
En particular, si fn(z) = an(z z 0 ) con an C, fn : C C (es decir = C en
este caso), entonces a
f(z) =
a ( z z )n
n
0
n=0
Sea
(i)
(ii)
n
a ( z z )n una serie de potencias y sea = lim
a . Entonces:
n
0
n | n|
n=0
Si = 0, la serie converge absolutamente z C.
Si = , la serie converge solo para z = z0.
1
Si 0 < < , la serie es absolutamente convergente para |z z 0 | < ,
1
1
diverge para |z z 0 | > y no se puede afirmar nada para |z z 0 | = .
(iii)
DEMOSTRACION:
79
Diferenciacin Compleja
n
(i) Si = 0 z C, lim
a n ( z z 0 )n = |z z 0 | lim
n
|an| = |z z 0 |
= 0 < 1 la serie
|
n=0
(ii) Sea = . Si z = z ,
0
a ( z - z ) = a ( z - z )n = a , es decir la serie
n
0
n 0
0
0
n=0
n=0
n
Ahora si z z , lim
0
|a
diverge.
n
|a ( z z ) | = |z z | R.
n
lim
|a ( z z ) | < 1, por lo que la serie | a (z - z ) |
1
Si |z z | < ,
0
n
n=0
converge.
1
Si |z z 0 | > , lim
n
|a
a (z - z )
( z z 0 ) | > 1, por lo que la serie
n
0
n=0
n
diverge.
1
z
Por ltimo consideremos la serie
, aqu z0 = 0, an = n, n 1 y se tiene
n
n=1
= lim
|an| = 1.
80
Captulo 3
n
1
z
1
Sea z = 1, |z z 0 | = 1 = y
=
diverge.
n
n
n=1
n=1
n
n
1
z
( 1)
=
Ahora sea z = 1, |z z 0 | = 1 = y
n converge.
n=1 n
n=1
DEFINICION 3.2.3:
Sea
n
0
n=0
lim
C
Diverge
R
z0
Converge
81
|an|. Entonces
Diferenciacin Compleja
EJEMPLOS 3.2.4:
(1) Sea
n=0
1
R = = 1.
n
1
z
.
Aqu
z
=
0
y
a
=
,
n
=
lim
a
0
n n
n | n|
n=1 n
1
1
= 1 R = = 1.
n n
n
cos n
sen n
z
=
+i
.
n
n
n
n=1
n=1
n=1
= lim
n+1
sen 2 cos
k=1
sen 2
n+1
sen 2 sen
n
y
sen k = sen + sen 2 ++ sen n =
k=1
sen 2
(La demostracin de las igualdades anteriores se deja como ejercicio).
n
82
n
2
n
2
Captulo 3
n
1
y sen k estn acotadas y an = n es
De esto se sigue que cos k
n=1
k=1
n=1 k=1
cos n
una sucesin decreciente tal que lim an = 0 y por lo tanto se tiene que
n
n
n=1
n
sen n
z
y
convergen
converge z 1, |z| = 1.
n
n=1
n=1 n
(3) Consideremos
n=0
an = 1
si n = 1
si n = k! para algn k
si n k! k
{0} k > 1
{0}
a = 1 R = = 1.
n | n|
1
z
. Se tiene que z 0 = 0, a n = n!, =
n!
n=0
1
n
an+1
n
1
(n + 1)!
1
lim |a | = lim
=
lim
=
lim
=
lim
= 0 R = , por
n!
n
n
1
n
n
n an
n
n + 1
n!
n
z
lo tanto la serie
converge absolutamente z C.
n=0 n!
83
Diferenciacin Compleja
(
n=0
y a = n + wn .
n
0
Primero consideremos el caso |w0| 1. En este caso se tiene
n
n
n
n
2 n 1 n | w 0| n + w 0 n + | w 0| n + 1 2 n n 2
n
n
n
n
n
n n
n
2
n
y
lim
=
lim
2
n
=
1
=
lim
| n|
|an| = 1 R =
2
2
1.
n
|w |
lim 0
= existe n0
N tal
|w |
que n n , 0
1
|w0| R = |w0|.
0
Dada una serie de potencias, sta define una funcin en el interior de su crculo de
convergencia, y lo primero que nos preguntamos es la naturaleza de esta funcin, es decir
si es continua, derivable, etc. La respuesta nos lo da el siguiente:
TEOREMA 3.2.5:
Sea
n
0
n=0
84
Captulo 3
n
0
0
n=0
y f'(z) =
n
0
n=1
DEMOSTRACION:
'
n
n1
k
que
a z =
n a z . Sea s (z) =
a zk.
akz , Rn(z) = f(z) sn(z) =
n
n
k
n=0 n
n=1
k=0
k=n+1
Se tiene que z tal que |z| < R, lim R (z) = 0. Definimos f (z) =
n a z n1 y
n
1
n
n=1
consideremos w B(0 R), es decir |w | < R. Sea t R tal que |w | < t < R. Existe
0
0
0
> 0 tal que z B w 0 se tiene que |z| < t, es decir B w 0 B(0 t).
C
w
R
f(z) f ( w0)
z w0
85
Diferenciacin Compleja
R n (z) R n ( w0)
s n (z) s n ( w0)
s
'
w
+
s
'
w
f
w
+
.
z w0
n( 0) [ n( 0)
1 ( 0 )]
z w0
Ahora
R n (z) R n ( w0)
1
a zk w k =
=z w
z w0
k
0
0 k=n+1
1
z w
a ( z w ) ( z k1 + z k2 w + + z w k2 + w k1) =
k
0
0
0
0
0 k=n+1
k1
R (z) R ( w )
z j w 0k1j n z wn 0
ak
j=0
k=n+1
k1
k1 j k1j
j
k1j
|
z
|
w
t t
=
| k| j=0 | 0|
| k|
j=0
k=n+1
k=n+1
k | a | t k1 .
k
k=n+1
Ahora la serie
n=1
n | an| t n1 =
n
n
n
1
t
n1
lim
n lim |an| lim t = 1 R t = R < 1 existe n0
n
n
n
k | a | tk1 < .
k
3
k=n+1
n
1
n n
n=1
Captulo 3
s (z) sn ( w0)
Por ltimo, s' (w ) = lim n
existe 0 < 1 tal que
n 0
z w0
zz 0
s n (z) s n ( w0)
s
'
w
0 < |z w 0 | < 1
< .
(
)
z w0
n 0 3
Sea N = max
n N, se tiene:
f(z) f ( w0)
f 1 ( w 0 )
z w
0
s
(z)
s
w
n
n ( 0)
s
'
w
+
(
)
z w0
n 0
R (z) R ( w )
+ n z wn 0
< 3 + 3 + 3 = .
'
f(z) f( w0)
n
z B(0 R).
Ahora lim
n
n
1 1
n | a | = lim
a zn y
n lim |an| = 1 R = R, por lo que
n
n
n
n
n=0
n
n=1
a ( z - z ) . Si g(w) = a w n
n
0
n
n=0
n=0
n
n1
n a [ s(z)]
n a ( z - z )n1.
1=
n
n
0
n=1
n=1
87
Diferenciacin Compleja
COROLARIO 3.2.6:
n
0
n=0
f(k)(z0)
(k)
nk
f (z) =
n (n1) (nk+1) a ( z z ) . Adems:
= ak.
n
0
k!
n=k
DEMOSTRACION:
Se sigue inmediatamente por induccin del Teorema anterior.
DEFINICION 3.2.7:
Sean C abierto, f : C. f se llama analtica en si dado z , existe
0
n=0
convergencia R.
OBSERVACION 3.2.8:
Una funcin analtica es infinitamente diferenciable debido a 3.2.6. Como notacin
escribiremos A() = { f : C | f es analtica en }. Con esta notacin se
tiene que A() H(). Se probar ms adelante que H() A(), es decir que si una
funcin f es diferenciable en , entonces f es infinitamente diferenciable en y dada
n=0
DEFINICION 3.2.9:
88
Captulo 3
f (n) ( z0)
n!
n=0
( z z0)
OBSERVACION 3.2.10:
f (n) ( z0)
En general no tiene por que ser que f(z) =
n!
n=0
( z z0)
pues en los
reales no es cierto. Sin embargo, gracias a 3.2.8, en el caso complejo s va a resultar cierta
la igualdad anterior. Un ejemplo en los reales para ver que no necesariamente
(n)
12
e x x 0
f ( x0)
n
.
x
x
es:
f
:
R
R
dada
por
f(x)
=
f(x) =
(
n!
0)
n=0
0
x = 0
(n)
f ( 0) n
lo que la serie de Taylor de f en 0 es
n! x = 0 f(x).
n=0
EJEMPLOS 3.2.11:
2
(1) Sea f : C C dada por f(z) = z . Sea z0 C cualquiera. Se tiene f'(z0) = 2 z0 ;
f'' ( z ) = 2; f(n)(z ) = 0 n > 2, por lo que
0
0
f ' ( z0)
f ' ' ( z0)
2
f(z) = f ( z0) +
z
z
+
(
( z z0) =
1!
0)
2!
2
2
z0 + 2 z0 (z z 0 ) + (z z 0 ) .
89
Diferenciacin Compleja
1
dada por f(z) = 1 z. Sea z C , z 1.
0
0
1
n!
(n)
Se tiene f'(z) =
y en general f (z) =
n + 1, por lo que la serie de
(1 z) 2
(1 z)
Taylor de f en z es:
0
(2) Sea f :
{1}
f (n) ( z0)
n!
n=0
n=0
1
1 z
( z - z0)
n=0
1
n
n+1 ( z - z 0 ) =
(1 z 0 )
z - z 0 n
1 z .
0
0
1
1
1
1
1
=
lim
=
lim
=
, es decir
n+1
R
(1 z 0 ) | |1 z 0 |
1 z0|
n
n
1
z
|
|
|
0|
R = |1 z 0 |, por lo tanto la serie converge para las z tales que |z z 0 | < |1 z 0 |.
C
z
R = |1 z0 |
Adems
n=0
1
1 z
n
z - z0
1 z
0
0
90
n 1 z0
lim
z - z n+1
1 z0
0
z-z
1 1 z0
Captulo 3
1
1 z
1
1
1
=
= 1 z para las z tales que
z-z
1 z 0 ( z z0)
1 1 z0
n=0
1
1
n
n+1 ( z - z 0 ) = 1 z, es
(1 z 0 )
a ( z - z )n , g(z) =
Sean z 0 y R1 > 0, R2 > 0 tales que f(z) =
n
0
n=0
b ( z - z )n
n
0
n=0
a ( z - z )n y
R 3 = min { R 1 R 2 } > 0. Consideremos z B(z 0 R 3 ), las series
n
0
n=0
n
n
b ( z - z ) son absolutamente convergentes f(z) g(z) =
( a n b n )(z - z 0 )
n
0
n=0
n=0
91
Diferenciacin Compleja
f(z) g(z) =
n=0
nk
k
a (z - z 0 )
bk( z - z 0 ) =
k=0 nk
n=0
n a
nk b k
k=0
f g A().
( z - z0)
un abierto, y sea f : A
n
f : A C .
Decimos que la sucesin de funciones {fn} converge uniformemente a f en A si
n=1
z A.
TEOREMA 3.2.15 (CRITERIO M DE WEIERSTRASS):
Sea A C un abierto, y sea f : A C una sucesin de funciones tales que
n
f
(z)
A.
Si
M
<
,
entonces
n
fn(z) converge uniformemente en A.
|n | n
n=0
n=0
DEMOSTRACION:
92
Captulo 3
f
(z)
f
(z)
M
<
,
por
lo
que
f(z)
=
f (z) est definida
| | n=0 n
n=0 n
n=0 n
n=0 n
n
z A. Ahora si un(z) = fk(z), dada > 0, sea N N tal que Mn < . Entonces
k=0
n=N+1
{ fn}n=1 converge
uniformemente a f en A.
TEOREMA 3.2.16:
Sea
n
0
n=0
n
0
0
n=0
DEMOSTRACION:
Ejercicio.
3. Funciones Elementales.
El objeto de esta seccin es estudiar las funciones trigonomtricas (seno, coseno),
la funcin exponencial y por ltimo la funcin logaritmo. La primera parte de esta seccin
la dedicaremos a formalizar ciertos resultados ampliamente conocidos en un primer curso
de trigonometra.
En R tenemos la siguientes igualdades:
93
Diferenciacin Compleja
ex =
x
;
n=0 n!
sen x =
2n+1
x
n
( 1) (2n + 1)! ;
n=0
cos x =
2n
n x
( 1) (2n)! , por
n=0
n
2n+1
z
z
n
ez =
;
sen
z
=
(
1)
(2n + 1)! ;
n=0 n!
n=0
cos z =
2n
n z
( 1) (2n)! .
n=0
OBSERVACION 3.3.2:
El radio de convergencia de las 3 series anteriores es y por lo tanto ez, sen z,
cos z H(C).
PROPOSICION 3.3.3:
z
w
z+w
z, w C, se tiene e e = e .
DEMOSTRACION:
z
Se sigue inmediatamente de la definicin de e y de 1.2.32 (4).
COROLARIO 3.3.4:
z
e 0 para toda z C.
DEMOSTRACION:
z
z
zz
0
z
Sea z C. Se tiene e e = e = e = 1 0 e 0.
94
Captulo 3
PROPOSICION 3.3.5:
Sea z C. Entonces se tienen las siguientes igualdades:
(1)
(2)
(3)
DEMOSTRACION:
Se verifica directamente usando las series que definen cada funcin.
OBSERVACION 3.3.6:
z
x+iy
= ex eiy = ex (cos y + i sen y).
Sea z C, z = x + i y, e = e
PROPOSICION 3.3.7:
Sea z C. Entonces se tienen las siguientes igualdades:
(ez)'= ez.
(1)
(2)
(3)
DEMOSTRACION:
Se demuestra directamente usando las series que definen cada una de las funciones
y 3.2.5.
PROPOSICION 3.3.8:
95
Diferenciacin Compleja
Sean z, w C. Entonces:
(1)
(2)
(3)
DEMOSTRACION:
Ejercicio.
OBSERVACION 3.3.9:
Se tiene que la funcin cos x es decreciente en [0, 2] y puesto que cos 0 = 1 y
cos 2 < 0, existe un nico nmero x [0, 2] tal que cos x = 0. Entonces definimos al
0
0
nmero por 2 x0 = . Con esta definicin y los resultados anteriores se tiene que cos 2 =
0 y sen 2 = 1.
PROPOSICION 3.3.10:
Sea z C. Entonces:
(1)
cos 2 z = sen z.
(2)
sen 2 z = cos z.
DEMOSTRACION:
Ejercicio.
96
Captulo 3
A continuacin pasamos a enunciar algunas propiedades relacionadas con las
funciones trigonomtricas y el nmero .
TEOREMA 3.3.11:
Sea z C. Entonces:
(1)
sen z = 0, z C z = n , n Z.
1
(2)
sen z = 1, z C z = 2 n + , n Z .
2
1
(3)
sen z = 1, z C z = 2 n , n Z .
2
1
(4)
cos z = 0, z C z = n + , n Z .
2
(5)
cos z = 1, z C z = 2 n , n Z.
(6)
cos z = 1, z C z = (2 n + 1) , n Z.
(7)
sen (z + w 0 ) = sen z z C w0 = 2 n , n Z.
(8)
(9)
cos (z + w 0 ) = cos z z C w0 = 2 n , n Z.
ez = 1, z C z = 2 n i, n Z.
DEMOSTRACION:
Ejercicio.
OBSERVACION 3.3.12:
z
x
z
Tambin se tiene que si z = x + i y, entonces e = e (cos y + i sen y), por lo que |e |
= ex. Por otro lado aunque se tiene que cos2 z + sen2 z = 1, las funciones cos z y sen z no
97
Diferenciacin Compleja
Dado z
DEMOSTRACION:
is
it
i(st)
= 1 existe n Z tal
Sean s, t (a, b] tales que f(s) = f(t) e = e e
que i (s t) = 2 n i s t = 2 n. Por otro lado | s t | < b a = 2 por lo que n = 0,
z
Sea z C, z 0. Entonces |z| = w S1. Por lo tanto dado a R arbitrario, existe
it
it
it'
un nico t [a, a + 2 ) tal que e = w. Por otro lado si t, t' R son tales que e = e
ei(tt') = 1 existe m Z tal que i (t t') = 2 m i t = t'+ 2 m , m Z. As pues se
98
Captulo 3
tiene que
{t R | e it = w} = { t 0 + 2 m i | t Z }, donde t0 ( , ]
con eit0 = w.
DEFINICION 3.3.14:
z
Sea z C, z 0 y w = |z| S1. Entonces al nico t ( , ] con eit0 = w se le
0
it
llama el argumento principal de z y a cualquier t R tal que e = w se le llama argumento
de z.
NOTACION 3.3.15:
En 3.3.14, ponemos t0 = argumento principal de z = Arg z, t = argumento de z =
arg z.
Se tiene que argumentos de z =
{t 0 + 2 m i | t Z }.
Ahora bien, dado z C, z 0, t = arg z, se tiene z = |z| eit = eit, donde = |z|, es
Y
t
0
decir z = (cos t + i sen t).
z
x
z
Por ltimo, sea z = x + i y C, entonces |e | = e , arg e = y.
99
Diferenciacin Compleja
i
Sea z0 = e , 0, [0, 2 ). Sea n
ecuacin zn = z0 estn dadas por
w =
k
1
n
2k+
(
n )
e
, k = 0, 1, , n 1.
i
DEMOSTRACION:
it
n
n
n int
i
n
Sea w = r e .tal que w = z0 , entonces w = r e .= e r = y
1
n
+ 2 s
n
n t = + 2s, s Z r =
= y t = n , s Z.
Sea ws =
1
n
+2s
(
n )
e
, s Z.
i
e
.=
e
n
n
+2p
(
n )
=e
w
+2p
i(
+ 2q)
(+2s
n )
n
=e
ecuacin.
EJEMPLO 3.3.17:
i0
1
n
2k+0
2k
i(
(
) , k = 0, 1, , n 1.
n )
e
=e n
Sea z0 = 1 = 1 e
w =1
k
{w 0 w 1 w n 1} se llaman las races n-simas de la unidad.
Ahora pasamos a definir la funcin logaritmo. Primero enunciamos la siguiente:
PROPOSICION 3.3.18:
100
Captulo 3
= z0. Se tiene que ez = ex+iy = ex eiy, es decir, si queremos ez = z0, se debe tener ex = |ez|
= |z0| = , es decir x = ln y adems eiy = eit, es decir y es un argumento de z0. De lo
anterior proponemos z = x + i y = ln + i arg z , es decir x = ln , y = arg z , entonces ez
0
0
= eln ei arg z = eit = z0.
DEMOSTRACION:
101
Diferenciacin Compleja
exp z
0
OBSERVACION 3.3.20:
Similarmente a 3.3.19, se tiene que si
= {z
n
102
Captulo 3
W
(2n + 1)
n
exp z
2n
(2n 1)
0
Wb
b+
b
b+
exp z
b
0
Ms generalmente, si b R y sean b = {z
W
C |b
< I m z < b + } ,
{0} | Arg z + 2 n b + n
Z }.
Entonces
Z },
Diferenciacin Compleja
entonces la funcin: arg : W (b , b + ) es continua.
b
DEMOSTRACION:
W tal
Supongamos lo contrario, entonces existe > 0 y una sucesin {wn}
b
n=1
que lim w n = w0 y |arg w n arg w 0 | . Puesto que b < arg wn < b + ,
n
i tn
i arg wn
= lim e
= lim
wn
| |
wn
0.
w
| 0|
i t0
i tn
k
=e
i t0
, de
104
Captulo 3
Obviamente 0 , y se sigue de la Proposicin 3.1.21 que f es diferenciable.
1
Adems tendremos que (ef(z))' = f'(z) ef(z) = 1, de donde obtenemos que f'(z) = . En
z
particular obtenemos que una funcin logaritmo es infinitamente diferenciable. Como un
ejemplo de una funcin logaritmo tendremos a la funcin g : W dada por g(w) =
b
b
ln | w | + i arg w, con arg w (b, b+).
Ahora bien, si f, g : C, son dos funciones logaritmo, tendremos que ef(z) = z
= eg(z), de donde obtenemos ef(z)g(z) = 1, por lo que gracias al Teorema 3.3.11 (9),
obtenemos f(z) = g(z) + 2 k i con k Z. Si definimos que h(z) = f(z) g(z), entonces
z
105
Diferenciacin Compleja
relacin entonces la funcin g(z) = f(z) + 2 i ya no cumple con la relacin anterior y sigue
siendo una funcin logaritmo.
DEFINICION 3.3.23:
Dado cualquier nmero complejo z 0, definimos
Ln z = {ln |z| + i A r g z + 2 k i | Arg z ( ] k
)
Z}
}
}
{
= { (ln | z1| + i Arg ( z1) + 2si)+ ( ln | z2| + i Arg ( z2)+ 2ri) | s r Z }
= { ln|z1| + iArg ( z1) + 2 s i | s Z } + {ln|z2| + iArg ( z2) + 2 r i | r Z }
= Ln (z1) + Ln (z2).
La demostracin de que Arg (z 1 + z 2 ) = Arg z1 + Arg z2 + 2 k i con algn
k Z, se deja al lector.
DEFINICION 3.3.25:
Sea a C {0} y sea log a cualquier valor de Ln a, en otras palabras
z
z log a
=
log a = ln |a| + i Arg a + 2 k i para algn k Z . Entonces se define a = e
z(ln|a| + i Arg a + 2ki)
z
e
. Observemos que a depende del valor asignado a log a.
106
CAPITULO 4.
INTEGRACION
1. Integracin Compleja.
Todas las integrales que aparecen en esta seccin se refieren a integrales de
Riemann propias (es decir, suponemos las funciones acotadas).
DEFINICION 4.1.1:
Sean g : [a, b] C, g(t) = g (t) + i g (t). Entonces se define
1
2
b
b
b
g(t) dt = g 1 (t) dt + i g 2 (t) dt.
a
a
a
b
b
b
Es decir, por definicin g(t) dt existe g 1 (t) dt y g2(t) dt existen y en
a
a
a
este caso se dice que g es integrable.
PROPOSICION 4.1.2:
Sean f, g : [a, b]
107
Integracin
(1)
(2)
(3)
b
b
b
(f + g)(t) dt = f(t) dt + g(t) dt.
a
a
a
b
b
( f)(t) dt = f(t) dt
a
a
b
b
f(t)
dt
|f(t)| d t .
a
DEMOSTRACION:
(1)
(2)
Ejercicio.
b
(3) Se deja como ejercicio el verificar que |f(t)| es integrable. Ahora si f(t) dt = 0,
a
b
b
b
b
b
b
i
i
escribimos f(t) dt = e , con = f(t) dt = e
f(t) dt =
a
a
a
b
b
b
i
a e f(t) dt, por lo tanto = Re f(t) dt = Re a e i f(t) dt =
a
b
b
b
b
a Re ( ei f(t)) dt a | Re ( ei f(t))| dt a | ei f(t)| dt = |f(t)| dt.
a
OBSERVACION 4.1.3:
Sea M = sup |f(t)| < , entonces se tiene
t[ab]
108
Captulo 4
b
b
b
f(t)
dt
|
f(t)
|
dt
M dt = M(b a).
a
a
a
DEFINICION 4.1.4:
Sea : [a, b] C. Sea t [a, b]. Se define
0
(t) ( t0)
t t0
tt0
: [a, b]
(x 0 + cos t)
+ i
dada
y 0 + sen t ,
por
(t)
donde
=
z0
it
z0 + e
= x0
+ i y0 .
(t)
z0
109
(sen t)' =
Integracin
(t)
0
DEFINICION 4.1.6:
Sea : [a, b] C. Se define la traza de por * = ([a b]).
DEFINICION 4.1.7:
1
Una curva : [a, b] C se llama C continuamente diferenciable en [a, b] si
(t) existe t [a, b] y adems '(t) es continua en [a, b].
DEFINICION 4.1.8:
1
Una curva : [a, b] C se llama C por tramos continuamente diferenciable
por tramos en [a, b] si existe una particin {t 0 = a < t 1 < t 2 < < t n 1 < t n = b}
de [a, b] tal que es C1 en [t t ] para i = 1, 2, , n.
i1 i
DEFINICION 4.1.9:
1
Sea : [a, b] C una curva C por tramos. Entonces se define:
L = longitud de la curva =
110
| '(t)| d t .
Captulo 4
Geomtricamente se tiene que L = longitud de *. Para ver esto consideremos
{a = t 0
k (b a)
, 0 k n. Entonces
n
ba
lim n
' i
a | '(t)| dt = n
i=1
Por otro lado, por el Teorema del valor medio, existen i, i (ti1 ti) tales que
1(ti) 1 ( ti1)
2(ti) 2 ( ti1)
)
=
'
,
) = 2' i , por lo que
ti ti 1
1
i
ti ti 1
( )
()
b a
1(ti) 1(ti1) = (t i t i 1) 1' i = n 1' i
b a
(t ) (t ) = (t t ) ' =
2 i
2 i1
i
i1 2 i
n 2' i
por lo tanto
( )
( )
()
b
a | '(t)| dt =
a
b
()
dt =
b a
lim n
i=1
n
1' i
b a
n
lim n
i=1 b a
n
( (t ) ( t )) + ( (t ) ( t ))
2
1 i
i1
2 i
lim
n i=1
) ( 2(ti) 2 ( ti1))2.
1(ti) 1 ( ti1) 2 +
111
i1
Integracin
(b)
(t i )
(t1 )
a = t 0 t1
(ti1 )
t =b
n
t2
(a)
|
(
) ( 2(ti) 2 ( ti1))2
| '(t)| dt = Longitud de * .
EJEMPLOS 4.1.10:
z2
*
(1)
z1
Sea : [0, 1]
* = ([0 1]) =
[ z 1 z2] = { z C | z
1
Por lo tanto L =
| '(t)| dt = | z 2 z 1 | dt = |z 2 z 1 |.
0
0
112
= (1 t) z1 + t z2 0 t 1 .
Captulo 4
(2)
Sea : [0, 2]
C,
it
it
dada por (t) = z 0 + e , '(t) = i e .
*
z0
2
| '(t)| dt = 0 dt = 2 .
0
DEFINICION 4.1.11:
DEFINICION 4.1.12:
Sea f : A C C integrable y sea : [a, b] C de clase C
por tramos, de clase C 1 en [ ti1 ti] para i = 1, 2, , n, donde
{t 0 = a < t 1 < t 2 < < t n 1 < t n = b}. Entonces se define:
1
f() d =
i=1
ti
113
Integracin
EJEMPLOS 4.1.13:
(1)
1
Sea f : C {0} C dada por f(z) = z . Sea : [0, 2]
*
2
Entonces f( ) d = f ( (t)) '(t) dt =
0
2
2
1
= it i e it dt = i dt = 2 i.
e
0
0
(2)
Sea f :
sea : [0, 2]
it
(t) = e .
Entonces
f( ) d =
2
f ( (t)) '(t) dt
0
2
2
it
2
2
2i
0 i e dt = 0 i e it dt = 2 [ eit] 2
e 0 ) = 2 (1 1) = 0.
0 = (e
114
Captulo 4
(3)
Sea f :
C,
f(z) = z
y sea : [0, 1]
C , (t)
= t + i t2 .
Entonces
f( ) d
2 2
(t + i t )
f ( (t)) '(t) dt
(t + i t 2 ) 1 1
= (1 + i)3.
(1 + 2 i t) dt =
3
0 3
PROPOSICION 4.1.14:
1
Sean f, g : A C C, integrables y : [a, b] A una curva de clase C por
tramos, entonces:
(1) ( f() + g() ) d = f() d + g() d
C.
M L.
DEMOSTRACION:
(1)
Ejercicio.
(2)
b
b
b
f() d = f ( (t)) '(t) dt | f((t))| | '(t)| dt M | '(t)| dt = M
a
a
a
L.
DEFINICION 4.1.15:
115
Integracin
DEFINICION 4.1.18:
Sean C abierto, f : C y F : C. F se llama una primitiva de f en
si F'(z) = f(z) z .
EJEMPLO 4.1.19:
116
Captulo 4
n+1
z
Sea n Z, n 1, F : C {0} C, F(z) = n+1 es una primitiva de f(z) = zn
en C {0} (de hecho en C si n 0).
Ahora si n = 1, sea W = C (R {0}) = z C | z R z 0 ,
1
consideremos F : W C , F(z) = ln z y F'(z) = z z W, por lo tanto ln z es una
1
primitiva de z en W.
DEFINICION 4.1.20:
1
Sean : [a, b] C, : [c, d] C dos curvas C . Se define la relacin ~
si existe : [a, b] [c, d] suprayectiva tal que es derivable, '(t) > 0 ((t)) = (t)
t [a, b].
[a, b]
[c, d]
* = *
a
OBSERVACION 4.1.21:
Puesto que '(t) > 0, se tiene que es creciente y en particular es 1-1 y se ah se
sigue que (a) = c, (b) = d. Adems la curva es recorrida en el mismo sentido tanto por
como por .
117
Integracin
c
a
EJEMPLO 4.1.22:
Sean : [0, 1]
Sea : [0, 1] [0, 2], (t) = 2 t. Entonces se tiene que '(t) = 2 > 0 t [0, 1],
es sobre y ((t)) = (2t) = z0 + e2it = (t) t [0, 1], por lo tanto ~ .
0
0
z0
PROPOSICION 4.1.23:
La relacin ~ definida en 4.1.20, es un ralacin de equivalencia.
DEMOSTRACION:
Ejercicio.
OBSERVACION 4.1.24:
Recordemos el Teorema de cambio de Variable en el caso real:
118
Captulo 4
"Sean h : [a, b]
continuas, entonces
d
(d)
h ( (t)) '(t) dt = h(t) dt."
c
(c)
PROPOSICION 4.1.25 (CAMBIO DE VARIABLE):
Sean C, f : C, : [a, b] , : [c, d] , : [a, b]
con ([a b]) [c, d], , , derivables y =, entonces:
b
(b)
' ( (t)) '(t) dt = f ( (t)) '(t) dt.
(a)
DEMOSTRACION:
Sea f = u + i v, = + i , = + i , = + i . Se tiene, aplicando el
1
2
1
2
1
2
Teorema de cambio de variable en el caso real que:
b
b
f ( (t)) '(t) dt = ( u((t)) + i v ( (t))) 1' (t) + i 2' (t) dt =
a
a
b
b
b
b
u ( (t)) ' (t) dt v ( (t)) ' (t) dt + i v ( (t)) ' (t) dt + i u ( (t)) ' (t) dt
1
2
1
2
a
a
a
a
b
b
v ( ((t))) ' ((t)) '(t) dt +
= u ( ((t))) 1' ((t)) '(t) dt
2
a
a
b
b
+ i v ( ((t))) 1' ((t)) '(t) dt + i u ( ((t))) 2' ((t)) '(t) dt =
a
a
119
))
Integracin
(b)
(b)
u ( (t)) 1' (t) dt
v ( (t)) 2' (t) dt +
(a)
(a)
(b)
(b)
+i
v ( (t)) 1' (t) dt + i
u ( (t)) 2' (t) dt =
(a)
(a)
(b)
[ u((t)) + i v ( (t))] [
(a)
(b)
1' (t) + i 2' (t) dt = f ( (t)) '(t) dt.
(a)
f() d = f() d.
DEMOSTRACION:
Sean : [a, b] , : [c, d] , : [a, b] [c, d] tales que '(t) > 0,
(a) = c, (b) = d y = . Se tiene que:
b
120
(b)
' ( (t)) '(t) dt = f ( (t)) '(t) dt =
(a)
Captulo 4
d
f ( (t)) '(t) dt
f() d.
DEFINICION 4.1.27;
Sea : [a, b]
_(t) = (a + b t).
por
OBSERVACION 4.1.28:
Geomtricamente es la misma curva que pero recorrida en sentido contrario.
Y
y=a+bx
b
(b)
a
(a)
Para ver esto, notemos que si a t b, entonces b t a, a + b b = a
a + b t a + b a = b, es decir a a + b t b. Adems _(a) = (b) y _(b) = (a).
Finalmente _
* = *.
PROPOSICION 4.1.29.
1
Sea : [a, b] una curva C por tramos, f : C C. Entonces
f() d = f() d.
121
Integracin
DEMOSTRACION:
Sea : [a, b] [a, b], (t) = a + b t, entonces _ = y se tiene:
b
(b)
a
b
f ( (t)) '(t) dt = b f ( (t)) '(t) dt = a f ( (t)) '(t) dt = f() d.
(a)
PROPOSICION 4.1.30.
Sea C abierto, f : C C , F :
1
: [a, b] una curva C por tramos, entonces:
DEMOSTRACION:
Se tiene que F '(t) = F'( (t)) '(t) = f((t)) '(t) (F ) es una primitiva
b
de f( (t)) '(t) f ( ) d = f ( (t)) '(t) dt = (F )(b) (F )(a) =
a
F((b)) f((t)).
COROLARIO 4.1.31:
Si f :
122
Captulo 4
Sea F :
1
cerrada C
DEMOSTRACION:
) Es el Corolario 4.1.31.
) Sea z0 fijo y sea z arbitrario. Puesto que es una regin, entonces es
arco conexo. Sea z : [a, b] una curva C1 por tramos que conecta z0 con z, es
decir
(a) = z , (b) = z. Definimos F(z) =
z
0 z
f() d.
z0
Primero veamos que F(z) no depende de la curva z. Si z y z dos curvas C1 por
tramos que conectan z0 con z, tomando caminos equivalentes, podemos suponer que
( )
Integracin
dada por
z(t)
(t) =
z
( )_(t) =
z
si a t b
.
(b + c t) si b t c
z
( )
( )
f() d = f() d +
(z)_
>
0.
Estimemos
I
= w z
f(z)
=
z
w
f( ) d f() d
z0
z0
f(z)
.
w z
z
w
Puesto que F(z) no depende de la curva, se tiene que f( ) d + f() d
z0
z
w
f() d
z0
f() d
z
I=
f(z). Ahora si : [a, b] es una curva
w z
124
Captulo 4
z
w
z0
w
w
w
f() d f(z)(w z) f( ) d f(z) d
z
= z
=
z
f(z) [w z] I =
w z
w z
w
f()
f(z)
d
)
z (
.
w z
Ahora, puesto que f es continua en z, existe > 0 tal que |w z| < |f(w) f(z)|
< y adems B(z ) . El camino entre z y w puede ser [z, w] puesto que [z, w]
B(z ) , entonces se tiene:
w
z ( f() f(z)) d
1
I =
|f() f(z)| |w z| =
w z
|w z| sup
[zw]
F(w) F(z)
sup |f() f(z)| lim
= f(z) = F'(z) z .
w z
[zw]
wz
EJEMPLO 4.1.33:
1
Sean = C {0}, f : C, f(z) = z . Sea : [0, 2] , (t) = eit,
125
Integracin
2
1
(0) = = (2) es un curva cerrada C1 en y f() d =
ie it dt =2 i
eit
C {0} .
0 f no tiene primitiva en
DEFINICION 4.1.34:
z 1 + t ( z 2 z1 )
(t) = z 2 + (t 1) ( z 3 z 2 )
z + (t 2) z z
( 1 3)
3
si 0 t 1
si 1 t 2
si 2 t 3
f() d = 0.
DEMOSTRACION:
Sea , determinado por z , z , z . Sea > 0 y consideremos los puntos me1 2 3
126
Captulo 4
z +z z +z z +z
dios 1 2 2 , 1 2 3 , 2 2 3 de los lados del tringulo. Sea 1 el tringulo determinado
z +z z +z
z +z
z +z
por z1 , 1 2 2 , 1 2 3 ; 2 el tringulo determinado por, 1 2 2, z2 , 2 2 3 ; 3 el
z + z
z +z
tringulo determinado por 2 2 3 , z3 , 1 2 2 ; 4 el tringulo determinado por
z2
z + z2
1
2
2
1
z1
z + z3
2
2
3
z + z3
1
2
z +z z +z z +z
2
3 1
3 1
2
Entonces:
2 ,
2 ,
2 .
f() d = f() d + f() d + f() d + f() d
1
2
3
4
1
Se tiene que existe
(*)
1
f() d pues de lo contrario se obtendra de (*) que f() d < f() d
4
{ 1 2 3 4}
lo que es absurdo.
2
1
Repetimos el proceso anterior ahora aplicado a tal que
f() d 1 f() d 12 f() d .
4
2
4 1
n
tal que n+1 n tal que
Por induccin se sigue que existe una sucesin { }
n=1
1
f() d 1 f() d n+1
f() d .
4
n
4
n+1
i
i
Ahora si ponemos d( ) = sup { |z w| | z w } se puede probar por
1
1
n+1
n
0. Adems, puesto que n es
induccin que d( ) = 2 d( ) = n+1 d()
n
2
127
Integracin
n
compacto no vaco, se tiene que existe un nico punto z0 tal que = { z0}, z0 .
n=1
Ahora puesto que f es holomorfa en , f es diferenciable en z0 existe : C
f ( ) d =
n
( z 0 )2 es una primitiva de
Ahora f(z
nf ( ) d =
)(
z
() ( z0) d .
0
| |
( z 0 ) ( () ( z0)) d
128
Captulo 4
4n d(n)
3 [d()]2
3 d(
)=
4 n [ d(n)] 2
[d()]2
1 [d()]
=4 n
2 = .
4 [d()]
n
El Teorema anterior tiene una generalizacin (la cual ser utilizada ms adelante).
TEOREMA 4.1.36 (TEOREMA DE CAUCHY-GOURSAT):
Sea C abierto, f : C continua. Supongamos que f H(
z0 . Entonces se tiene que
{ z0}),
f() d = 0.
DEMOSTRACION:
Lo haremos en cuatro casos.
Primer Caso : z0 :
En este caso el Teorema se sigue inmediatamente de 4.1.35 pues {z0} .
Segundo Caso : z0 es un vrtice de :
129
Integracin
En este caso est determinado por z , z y z . Sea > 0 y escojamos
1 0
2
z
0
2
w
w
1
z1
w [z z ] , w [ z z ] .
1
1 0
2
0 2
tiene:
f() d = f() d = 0 por el primer caso y entonces
1
3
z2
De la figura se
entonces:
f() d = f() d sup |f()| 3 d < M 3 = , lo que
( 2)
3 M
2
2
implica que
f() d = 0.
Tercer Caso : z0 :
Sea determinado por z1, z2, z3 y digamos que z0 [z 1 z2 ] . Entonces de la
z2
z
2
1
z1
z3
130
Captulo 4
:
Cuarto Caso : z0
z2
2
z
z1
z3
caso 2 obtenemos:
TEOREMA 4.1.37
CONVEXOS):
(TEOREMA
DE
CAUCHY
PARA
f() d.
z
z
z
[ ]
0
131
{ z0}), z0
CONJUNTOS
Integracin
Si z y w consideremos el tringulo determinado por z , w, z. Puesto que es
0
w
z
convexo
z0
se tiene que .
z0
w
z
w
z
w
f() d z f() d = z f() d.
z0
0
w
z0 f( )
F(w) F(z)
Ahora w z
f(z) =
z f( ) d (w z) f(z)
0
=
z
w
w
1
1
sup
f(
)
d
f(z)
d
|w z|
z
|w z| z
[wz]
w z
| f() f(z)|
|w z| =
132
Captulo 4
g : *
f( z) =
g()
. Se define h :
z
(C
C * C por h(z) =
* )
dada por
g()
g() d .
y se tiene h'(z) =
d
=
z
z
z)2
DEMOSTRACION:
h(w) h(z)
w z . Sea > 0 y consideremos
wz
h'(z) = lim
d
=
z 2
wz
(
)
1 g()
g() d
= w z
d
z
w
I=
g()
d
=
z)2
(
1 ( z) ( w)
g()
= w z
g( ) d
d
=
2
z
(
)
(
)
z
(
)
133
Integracin
( z) ( w)
g() d
g()
d
=
g()
d
( w) ( z) ( z)2 ( w) ( z)2
g() d
= |w z|
.
( w) ( z)2
|w z| < 2.
C *. Elegimos w Bz 2, es decir
z| > 2 y | w| =
| z + z w| | z| |w z| > 2 = 2 1 z 1 y 1 w 2. Entonces
|
| |
|
Se tiene que para *,
se tendr que:
w
z
1 2
I |w z| 2 sup |g()| L = |w z|
*
2 M L
, donde L = longitud de la curva y M = sup |g()|.
*
3
3
Sea =
= 2 M L, entonces si |w z| < 2 y |w z| < , entonces I <
2
2 M L
3
g()
d .
y h'(z) =
z)2
(
134
Captulo 4
COROLARIO 4.2.3:
g()
Sea h(z) =
z d una integral del tipo de Cauchy. Entonces es h es
g()
infinitamente diferenciable en C * y se tiene h(n)(z) = n!
n + 1 d, n
( z)
N.
DEMOSTRACION:
Ejercicio.
OBSERVACION 4.2.4:
1
1
1
n+1 tiene primitiva, a saber,
n.
n ( z)
( z)
TEOREMA 4.2.5:
1
Sea una curva cerrada C1 por tramos, h : C * C por h(z) =
d .
z
135
Integracin
DEMOSTRACION:
El hecho de que h es constante por componentes conexas es inmediato de 4.2.4,
pues h'(z) = 0.
d
1
Sea : [a, b] C, de clase C por tramos tal que (a) = (b), h(z) =
z
b
s
'(t)
dt
'(t) dt
=
(t) z. Fijemos z C * y definimos (s) = (t) z, con : [a, b] C .
a
a
Se tiene que (a) = 0, (b) = h(z).
'(s)
Ahora, por el Teorema Fundamental del Clculo, se tiene que '(s) =
para
(s) z
es constante en cada subintervalo donde ' existe y esto implica a su vez que, puesto que
es continua, es constante en [a, b]. Por lo tanto:
(a)
(a) = (b), con (a) = e
((a) z) = e(b) ((b) z) = (b) y (a) = (b)
d
1
|h(z)| = |2 k i| =
sup
L, donde L = longitud de .
z *
| z|
136
Captulo 4
Elijamos z V tal que |z| > 2 L + M. Entonces se tiene:
1
L
L
1
1
|h(z)| sup
L |z| M < 2 L = 2, es decir |2 k | < 2 y k
* | z|
k = 0, lo que demuestra que h(z) = 0 z V.
DEFINICION 4.2.6:
Sea : [a, b]
z C * definimos:
1
una curva cerrada de clase C por tramos. Entonces
1 1
Ind (z) =
2i z d = k
Z.
Sea z C
1 1
tal que | z z | < , entonces Ind (z) = Ind ( z ) =
0
0
2i z d
0
2
2
2
i ei t
1
1
1 '(t)
dt = 2i
dt
=
= 2i
it
2i 0 i dt = 1. Ahora, si z C
(t) z
z
+
z
0
0
0
0
0
es tal que |z z 0 | > , Ind(z) = 0.
137
Integracin
z0
(2) Sea : [0, 2n] C, n N, (t) = z0 + eit.
tal que | z z 0 | < , entonces Ind (z) = Ind ( z0)
n vueltas
Si z C
1
1
= 2i
d
z
0
2n
2n
2n
i ei t
1
1
1 '(t)
dt = 2i
dt
=
= 2i
it
2i 0 i dt = n. Ahora, si z
(t) z
z
+
z
0
0
0
0
0
es tal que |z z 0 | > , Ind(z) = 0.
*
z0
|z z0| <
Sea z C tal
1
2i
1 d
z
0
2
2
it
2
1 i e
1
1 '(t)
dt = 2i
dt = 2i i dt = 1. Ahora, si
= 2i
it
(t) z
z
+
e
z
0
0
0
0
0
0
z C es tal que |z z 0 | > , Ind(z) = 0.
La curva en (2) es la misma que en un (1) pero da n - vueltas, y la curva de (3) es la
misma que la de (1) pero recorrida en sentido contrario.
OBSERVACION 4.2.8:
La interpretacin geomtrica de Ind (z) es el nmero de vueltas que la curva le da
138
Captulo 4
al punto z y cuyo sentido positivo es el contrario al movimiento de las manecillas del reloj.
1
Para ver esto consideremos : [a, b] C una curva cerrado de clase C . Se
d
tiene que si z C *,
z = 2 k i, k Z, por lo que se tiene que la parte real de
la integral vale 0.
Sean (t) = (t) + i (t), z = x + i y, entonces:
1
2
b
' (t) + i ' (t)
d
1
2
I=
dt =
z=
1 (t) x + i 2 (t) y
a
b
1' (t) 2 (t) y + 2' (t) 1 (t) x
=i
dt
1 (t) x 2 + 2 (t) y 2
) (
( 1 (t) x)2 + ( 2 (t) y)2 > 0, por lo cual (1(t) x) 0 y/o (2(t) y) 0. Sea
[ ti1 ti]
[ ti1 ti] .
En este
ti
(t)2 x 1 (t)2 x 2
( 1 ) dt = i Arc Tan 2(t) y' dt =
1
I=i
1 (t) x
2 (t) y 2
1 +
t
1 (t) x
i1
ti1
(t ) y
2 ( ti1) y
= i , donde
= i Arg Tan 2 i
Arg Tan
2
1
(t ) x
(t ) x
1 i
1 i1
139
Integracin
(t i )
(t i1 )
2
z
(t ) y
(t ) y
Tan 2 = 2 i
, Tan 1 = 2 i1
.
(t ) x
(t ) x
1 i
1 i1
( )
( )
Al dividir entre 2 i, se toma como unidad una vuelta que la curva da alrededor
del punto z.
Es decir, Ind(z) nos da el nmero de vueltas que la curva le da al punto z y cuyo
sentido positivo es el contrario al movimiento de las manecillas del reloj
Ahora daremos uno de los resultados ms importantes en el anlisis complejo.
TEOREMA 4.2.9
CONVEXOS):
(TEOREMA
DE
CAUCHY
PARA
CONJUNTOS
1
Sea un abierto convexo, f H() y una curva cerrada C en . Entonces
z * se tiene la igualdad:
f()
1
Ind (z) f(z) = 2i
z d .
DEMOSTRACION:
Sea z * fijo. Sea g : C dada por:
140
Captulo 4
f() f(z)
g() = z
f'(z)
si z
.
si = z
f() f(z)
= f'(z) = g(z), es
z z
0 = g() d =
z d = z d f(z) z
1 f()
1 d
d
=
f(z)
2i
2i z = f(z) Ind(z).
z
Para apreciar la fortaleza del resultado anterior, basta decir que todos los resultados
que a continuacin damos, son consecuencia (ms o menos directa) de este Teorema, y
todos ellos son importantes en s mismos (por ejemplo, el Teorema Fundamental del
Algebra).
COROLARIO 4.2.10 (FORMULA
CONJUNTOS CONVEXOS):
INTEGRAL
DE
CAUCHY
PARA
1
Sea un abierto convexo, f H() y una curva cerrada C en . Entonces
z * f es infinitamente diferenciable en z y se tiene:
f()
n!
Ind (z) f (n) (z) = 2i
d .
z)n+1
(
DEMOSTRACION:
141
Integracin
f()
1
Se tiene Ind(z) f(z) = 2i
z d con z *.
El lado derecho de la igualdad es una integral del tipo Cauchy y por lo tanto
infinitamente diferenciable en U = componente conexa de z, entonces f(z) es infinitamente
diferenciable en U puesto que Ind(z) es constante en U y adems:
f()
n!
Ind(z) f(n)(z) = 2i
d .
z)n+1
(
COROLARIO 4.2.11:
Sean f : A C C una sucesin de funciones holomorfas en A que convergen
n
uniformemente por compactos a f (es decir si K A es compacto, entonces fn converge
uniformemente a f en K). Entonces f H(A) y f'n converge uniformemente por compactos
a f'.
DEMOSTRACION:
Sea B(z 0 r) A. Sea z B z 0
r
it
2 arbitrario y sea r la curva r(t) = z0 + re ,
1 f () d
1
y sea h(z) = 2i
0 t 2 . Se tiene fn(z) = 2i n
z
r
f () f() | d|
(2)
1 n
1 4
2
2 r | d| = 2r (2r) = 2 < ,
|fn(z) h(z)| 2
| z|
142
Captulo 4
1 f () d
1 f() d
,
f'(z)
=
por lo tanto h(z) = f(z) H(A) y adems f'n = 2i n
2
2i ( z)2,
( z)
r
r
f () f() | d|
1 n
1 (2r) 4
por lo que: |f ' f'(z)|
= r . Finalmente,
2
n
2
2
r 2
z
|
|
puesto que cada compacto K A se puede cubrir por un nmero finito de estas bolas, el
resultado se sigue.
EJEMPLOS 4.2.12:
2
2
cos z + sen z
(1) Sea : [0, 2] C , (t) = 3 e . Calculemos I = (z 1)(z 2) d z .
it
3
1
143
Integracin
f( )
f()
I =
1 d + 2 d = 2i Ind (1) ( f(1)) + 2i Ind (2) (f(2)) =
e2z
4 dz. Si f :
(z + 1)
C,
/2
144
Captulo 4
B( z ) .
2
diferenciable en .
COROLARIO 4.2.14:
Sea C abierto y sea z0 . Sean , ' > 0 tales que B z 0
) y B( z 0 ' )
'
DEMOSTRACION:
Se sigue inmediatamente de 4.2.13.
( )
it
sup |f()|, donde : [0, 2] est dada por (t) = z0 + e . Entonces:
f(n)(z ) M()
0
n! n
145
Integracin
DEMOSTRACION:
M()
2
=
2i
n!
z n+1 z n+1 2
n+1 2
0
0
M()
.
n
1 f() d
con t [0, 2]. Adems f(z) = 2i
z B z0 .
z0
146
Captulo 4
a ( z z )n .
n
0
n=0
k=0
1 f() d 1 n f() d
k
I = |f(z) s (z)| = 2i
2i
z z0)
n
k+1(
z0
(
0)
k=0
n
k
(
1
1
0)
= 2 f()
d
=
k+1
z
z
( 0)
k=0
n
k
=
z
z
1
1
1
d
= 2 f()
z
z z0
k=0
z z n+1
0
0
1
1
1
d =
= 2 f()
z
z
z z 0 1 0
z0
Sea sn(z) =
147
Integracin
1
1
= 2 f( )
1 f() z z n+1
d = 2
d.
z z 0 n+1
0
z
z z 0
Ahora, z B z 0 , | z z 0 | < y z 0 = *
=
0
< 1, * . Puesto que z * y * es cerrado por ser compacto se tiene que existe
( )
z
z0
|f()|
*
n+1
z z 0 n+1
M
* | z|
z 0
< 1) f(z) =
a ( z z )n f A().
n
0
1
I 2 sup
n=0
0 z B z 0
n
) (pues 0
COROLARIO 4.2.17:
Sea C abierto. Entonces H() = A().
DEMOSTRACION:
Inmediata de 4.2.16.
148
Captulo 4
COROLARIO 4.2.18:
Sea C abierto y sea f H(). Sea > 0 tal que B z 0 . Entonces si
el radio de convergencia de la serie de Taylor de f alrededor de z es R, se tiene R .
0
DEMOSTRACION:
Sea > 0 tal que B\b(z ) . Elijamos 0 < ' < cualquiera, entonces
0
B z '
0
Aplicando
las
desigualdades
de
Cauchy,
se
tiene:
(n)
f (z0)
M '
Por lo tanto:
lim
1
|an| = R lim
'
abierto y sea f :
DEMOSTRACION:
149
Integracin
convexidad, y
z
w
z0
z
0 =
f( ) d
f( ) d
z
z2
donde por notacin
z1
f( ) d =
f( )
z
d +
f( ) d
w
w
z
f()
d.
Entonces
f(
)
d
f( ) d =
z
z
z
z
[ 1 2]
0
0
f() d.
Ahora estimemos:
z
w
1
F(w) F(z) f(z) =
f( ) d f( ) d (w z) f(z) =
w z
|w z| z
z0
0
w
w
1
1
= |w z| f( ) d f(z) d |w z| sup |f() f(z)| |w z| =
[zw]
z
z
150
Captulo 4
F(w) F(z)
= f(z) = F'(z), sto es, F'(z) = f(z)
wz w z
( ( ))
( ( ))
El siguiente Teorema nos dice que las funciones holomorfas en una regin estn
completamente determinadas por un conjunto numerable de puntos con un punto de
acumulacin en la regin, con ms precisin:
TEOREMA 4.2.20 (TEOREMA DE UNICIDAD O DE IDENTIDAD):
Sea C regin, f H(). Sea A tal que A' y f(z) = 0 z A.
Entonces f(z) = 0 z .
DEMOSTRACION:
A tal que z z n N y lim z = z .
n
0
0
n=1
n n
a ( z z )n z B z .
Sea > 0 tal que B z 0 y sea f(z) =
n
0
0
n=0
Sea z0 A' y sea {zn}
k
k
n+1
a (z z ) =
a ( z z ) = (z z )
a ( z z )kn1 =
f(z) =
k
0
k
0
0
k
0
k=0
k=n+1
k=n+1
151
Integracin
a
z z 0 )k .
k+n+1 (
k=0
Entonces z z , z B(z ), se tiene:
0
0
f(z)
k
a
n+1 = k+n+1 ( z z 0 ) = g(z) y g(z0) = an+1. Entonces
zz
k=0
= (z z 0 )
n+1
f(zm)
= 0, por lo tanto an+1 = 0.
an+1 = g(z0) = lim g(zm) = lim
m
m z z n+1
( m 0)
Hemos probado que an = 0 n N {0}, es decir f(n)(z0) = 0 n N {0}.
Sean A =
n
{z
| f (n) (z) = 0
B = An = z | f (n) (z) = 0 n N { 0 } .
n=1
n=0
(n)
(w)
n
n! (z w)
COROLARIO 4.2.21:
Sea C regin y sea A tal que A' . Sean f, g H() tales que
f(z) = g(z) z A. Entonces f(z) = g(z) z .
DEMOSTRACION:
152
Captulo 4
Se sigue inmediatamente al aplicar el Teorema anterior a la funcin h :
DEFINICION 4.2.22:
Si f H(C ), es decir si f es holomorfa en todo el plano complejo, entonces f se
llama entera.
PROPOSICION 4.2.23:
n
0
n=0
a ( z z )n z C .
n
0
n=0
DEMOSTRACION:
(t) = z + e , 0 t 2.
f (n) ( z0)
M ( )
Se tiene que an =
y
por
las
desigualdades
de
Cauchy:
a
|
|
n .
n!
n
n
1
Entonces, si R es el radio de convergencia de la serie, se tiene R = lim |an|
n
n
M( ) 1
lim
= .
n
153
Integracin
1 1
Es decir, R > 0 R > 0 R = .
C. Entonces f
es constante.
DEMOSTRACION:
serie.
M()
M
sup | f()| y
n, donde M() =
*
M
(t) = z + eit, 0 t 2 . Entonces n 1, se tiene |a | lim n = 0, por lo que
0
n
{0}, | a |
n
DEMOSTRACION:
n
n1
+ + a0 C[z] tal
Supongamos que existe un polinomio p(z) = anz + an1z
que an 0, n 1 y p(z) 0 z C.
154
Captulo 4
Definamos g : C
1
C por g(z) = p(z)
. Se tiene que g H(C ), es decir, g es
a zn
a z n1
az
a
n
a zn
a z n1
az
a
n
|z|
az
anz
anz
n
1
|z| R, por lo tanto
|z| R se tiene que |p(z)| =
2
a z n1
az
a
1
1
n
anz 1 + n1 n + + 1 n + 0n 2 2 = 1, lo que implica que |g(z)| = |p(z)|
az
anz
anz
n
| |
acotada, y como consecuencia, constante, lo que implica que p(z) es constante, pero esto
COROLARIO 4.2.26:
Sea p(z) C[z] un polinomio con coeficientes complejos. Entonces todas las races
DEMOSTRACION:
Lo haremos por induccin en n = grado de p(z).
Si n = 0, p(z) es constante y no hay nada que probar.
Si n = 1, entonces ste es el Teorema Fundamental del lgebra.
Supongamos vlido el resultado para n = k 1. Ahora sea n = k + 1, entonces
existe z C tal que p(z ) = (z z ) g(z) con g(z) un polinomio de grado k y las races
0
0
0
de p(z) son z0 y las races de g(z) y todas ellas estn en C.
155
CAPITULO 5.
INTEGRAL DE CAUCHY
1. Teoremas del Mapeo Abierto, del Mdulo Mximo y de Cauchy.
En esta seccin, establecemos el Teorema Integral de Cauchy y algunas de sus
aplicaciones.
TEOREMA 5.1.1 (FUNCION INVERSA):
Sea una regin en C y sean H(), z tal que '(z ) 0. Entonces
0
0
contiene una vecindad V de z tal que:
0
(1)
(2)
(3)
es 1-1 en V.
(V) = W es abierto.
Si : W V est definido por ((z)) = z, entonces H(W).
Riemann. Ahora si llamamos = x1 = y2, = y1 = x2 y = x1 y2 x2 y1
Captulo 5
DEMOSTRACION:
( )
( ( ))
((
((
))
))
h(z)
m
157
Integral de Cauchy
COROLARIO 5.1.4 (PRINCIPIO DEL MODULO MAXIMO):
Sea C abierto y conexo. Sea f H(). Si existe z con |f(z )| |f(z)|
0
0
z f es constante.
DEMOSTRACION:
Si f no fuese constante, entonces f() sera abierto, por lo quef(z
f() no
DEFINICION 5.1.5:
Sean , : [0, 1] C dos curvas cerradas. Se dice que es homotpica
0 1
0
a 1 en si existe una funcin continua : [0, 1] [0, 1] tal que
1
(*)
y
(s 1) = 1 (s)
0 s 1
(s 0) = 0 (s)
.
(0 t) = (1 t)
0 t 1
Geomtricamente 0 y 1 son homotpicas cuando podemos deformar 0 en 1 de
manera continua.
TEOREMA 5.1.6 (TEOREMA DE CAUCHY):
158
Captulo 5
Sea una regin y sean , homotpicas cerradas. Entonces si f H(), se
0 1
tiene f() d = f() d.
0
1
DEMOSTRACION:
2
2
2
Sea : I como en (*), I = [0, 1]. I es compacto, por lo tanto (I ) es
compacto. Sea r = dist ((I2) C ) > 0. Adems puesto que es uniformemente
2
2
2
continua, existe n N tal que (s s ') + (t t ') < 2 |(s t) ( s ' t ')| < r.
n
(I j,k )
(k+1)/n
k/n
r
j /n
(j+1)/n
j k
j j+1
k k+1
2
Sean zjk = n n y Ijk = n n n n . Puesto que el dimetro de Ijk es n
Pjk
Z2,0
Zn,0
Pj,k
Z0,0
Z1,0
0
159
Integral de Cauchy
Sea Q el polgono cerrado [z z z ] , k = 0, , n. Si significa el
k
0k 1k
nk
j
j
j+1
segmento de 0 comprendido entre 0 n y 0 n . Entonces j + [ zj+10 zj0] es una
f( )
f( )
[ zj+10zj0]
d =
f() d.
z
j0 j+10]
Sumando estas n integrales se tiene
n1
j=0
Similarmente
f( )
d =
1
n1
j=0
d =
f() d.
Qn
f() d =
Puesto que
f() d = Q f() d.
f( ) d
Pjk
= 0, se sigue que
Pjk
k+1
k+1
DEFINICION 5.1.7:
Una regin C se llama simplemente conexo si toda curva cerrada en , es
homotpica a un punto.
TEOREMA 5.1.8:
Si es simplemente conexo, f H(), entonces f tiene primitiva.
DEMOSTRACION:
160
Captulo 5
Sea z y sea cualquier camino entre z y z, con z arbitrario. Definimos
0
z
0
F(z) =
bien definida.
Ahora probemos que F'(z) = f(z) para z . Se tiene:
F(w) F(z)
1
f(z) = w z f( ) d f() d f(z)
w z
w
Ahora si w est suficientemente cerca de z, se tiene que [w z] y
f(z) d
[zw]
(
w z
w
z
[zw]
[zw]
[zw]
F(w) F(z)
1
f(z) |w z| sup |f() f(z)| |w z|
w z
[zw]
w z
0.
COROLARIO 5.1.9:
Si es simplemente conexo y f H() no tiene ceros en , entonces existe
h
h H() tal que f = e .
DEMOSTRACION:
161
Integral de Cauchy
f'
f'
h 1 '
f) =
f H(), por lo tanto f = h'1 para algn h1 H(). Por lo tanto (e
h
h (z)
e 1 ( f ' h1' f) = 0, por lo cual existe una constante A 0, tal que f(z) = Ae 1 =
e(lnA)h1(z) = eh(z).
para toda z *.
DEMOSTRACION:
f() f(z)
1 f() d
1
Por 5.1.6 se tiene que 2i
z d = 0 = 2i z Ind(z) f(z).
Ahora
f(w) f(z)
1
w z I n d (z) = 2i
f() d
1
z
2i ( z) ( z) w
1
f() 1
d
w z w
z
1 f() d
2i z 2 = Ind (z) f'(z). Esto es lo que se
)
(
162
Captulo 5
m!
N , se tiene Ind(z) f(m)(z) = 2i
f() d
z m+1.
)
(
Entonces
f(m)(w) f(m)(z)
m! f()
1
Ind
(z)
=
w z
2i w z ( w)m+1
f() (w z) ( z)mk (
k=o
m!
= 2i (w z)
(( w) ( z))m+1
m+1 d =
z
(
)
w)k
d w
z
m
f()
m! f( ) (m + 1) ( z)
(m+1)!
d
=
2m+2
2i
2i ( z)m+2 d .
z
(
)
{z C |
es holomorfa
SIMETRIA
PRINCIPIO
DE
R . Sea =
C | z + } = reflexin de + a travs de R. Sea f H(+), f continua en
Sea
{z
DE
163
Integral de Cauchy
R x L. Entonces
F(z)
f(z)
=
f( z )
z + L
es
holomorfa en W = L y F| + = f.
DEMOSTRACION:
H+
R
L
H
f( z
es holomorfa en y si z = x
L, f( x
inmediato por el Teorema de Cauchy para conjuntos convexos. Supongamos pues que no
1
L1
R
L2
est contenido ni en ni en + .
Entonces sean 1 , 2 , 3 como se muestra en la figura, 1 + , 2 , 3 un
cuadriltero con los lados L1 y L2 paralelos.
164
Captulo 5
Entonces:
L1
L1
L3
L4
L2
Ahora si la longitud de L3 y L4 se va
F() d + L F( ) d LL0
L3
0.
F( ) d LL
L1
L2
2.Singularidades y Residuos:
DEFINICION 5.2.1:
Una funcin f se dice que tiene una singularidad aislada en un punto z = a si existe
R > 0 tal que f H(B(a R) { a }). a recibe el nombre de singularidad aislada de f.
DEFINICION 5.2.2:
165
Integral de Cauchy
Si a es una singularidad removible de f, a se llama removible si existe g H(B(a R))
tal que g(z) = f(z) para z a.
TEOREMA 5.2.3:
f tiene una singularidad aislada en z = a lim (z a) f(z) = 0.
za
DEMOSTRACION:
) Sea g(z) como en 5.2.2, entonces lim
z a
lim (z a) f(z) = 0.
(z a) g(z) = 0 g(a) = 0
za
(z a) f(z) z a
) Sea g(z) =
0
z = a
g() d
DEFINICION 5.2.4:
Sea a una singularidad aislada de f. Entonces a se llama de polo de f si lim |f(z)| = .
za
Captulo 5
)
)
Es claro.
1
Por 5.2.3, f(z) tiene una singularidad removible en z = a, por lo tanto
1
g(z)
m
f(z) = (z a) h(z) con h(z) 0 para todo z B(a,R) f(z) = (z a) m ,
1
g(z) = h(z).
OBSERVACION 5.2.6:
g(z)
a ( z a)n. Entonces:
Si a es polo de f, se tiene que f(z) =
m =
n
(z a)
n=m
a
am
1
+
+
m
(z
a)
(z a)
entonces f(z) =
1 f() d
a ( z a)n, donde a =
, n Z , y es cualquier
n
n 2i a n+1
n=
(
)
crculo con centro a y radio r tal que R1 < r < R2. Adems la serie converge uniformemente
en el anillo cerrado
167
Integral de Cauchy
R1
R2
DEMOSTRACION:
Sean los crculos |z a| = r , i = 1, 2 con R < r < r < R . Entonces ~ ,
i
i
1
1
2
2
1
2
por lo que g ( ) d = g() d para cualquier funcin holomorfa en . Esto
1
2
demuestra que las a n no dependen de r. Sea r1 < |z a| < r2 y sea f2 (z) =
1
f() d , f (z) = 1
f() d . Entonces f H B a R
( ( 2 )) y
2i
1
2i z
2
z
( {z C | R 1 < |z a|}).
(n)
f (a)
1 f() d
=
n!
2i ( a)n+1 para n N {0}.
2
1
1
Ahora consideremos w = z a, 0 < |w| < R , entonces definimos g(w) por
1
a ( z a)n con a =
n
n
n=0
1
1
g(w) = f (z) = f a + H B 0 { 0 } . Se tiene
1
1
R
w
168
Captulo 5
1 f() d
1
d
z
f
(z)
=
sup
f()
0,
|
|
2
| 1 | 2i z |a|=r
n=1
1
B ( z a)n. Adems
f1(z) = g z a =
n=0 n
f() d
1 f() d
w
1
=
=
g(w) = f1 a + = 2i
1
2i
w
w
(
a
)
1
1
w
w n ( a)n d =
= 2i f( )
n=0
n=1
1
1
f( ) ( a)n1 d w n .
2i
f() d
1
Esto demuestra que B =
.
n 2i a n+1
(
)
1
Finalmente, sea cualquier segmento de lnea que una 1 con 2 . Entonces
+ 2 1 es una curva cerrada en homotpica a 0, por lo que
169
Integral de Cauchy
f() d = 1
z
2i
1
f(z) = 2i
+
2
a ( z z )n por lo tanto
n
0
n=
f() d 1
a
2i
1 f() d
a n = 2i
n
a)n+1
(
{z C | r 1 |z a| r 2 } se sigue de la
convergencia uniforme de las series de f1(z) en {z C | r 1 |z a|} y de f2(z) en
{z C | |z a| r 2 }.
La convergencia uniforme en
DEFINICION 5.2.8:
En la serie de Laurent
a ( z z ) , a a ( z z )n se llama la parte
n
0
n
0
n=
n=
n
n
0
n=0
170
Captulo 5
TEOREMA 5.2.9:
a ( z z )n su desarrollo en
n
0
n=
(3)
DEMOSTRACION:
Ejercicio.
f(B(a ) { a }) = C .
DEMOSTRACION:
C,
g(z) 0 z B(a ' ) a sera singularidad removible, lo cual contradice las hiptesis.
171
Integral de Cauchy
DEFINICION 5.2.11:
a n ( z a)n en B( a ).
n=
DEMOSTRACION:
Sean Q1, , Qn las partes principales de f en los puntos a1, , an, entonces
g = f ( Q + + Q ) H (), por lo que g ( ) d = 0 =
1
n
f() d
i=1
Q () d.
i
Q () d =
i
n=
172
Captulo 5
PROPOSICION 5.2.13:
Si f tiene un polo de orden m en a, entonces
m1
1
d
Res (f, a) = (m 1)! lim m1 ((z a)m f(z)).
za dz
DEMOSTRACION:
a
1 + h(z), con h(z) holomorfa. Entonces
+
+
m
z
a
(z a)
g(z) = (z a)m f(z) = a + a
(z a) + + a1(z a)m1 + (z a)m h(z), con h(z)
m
m+1
(m1)
m1
(a)
g
1
d
m
holomorfa. Por lo tanto a = (m 1)! =
lim
1
(m 1)! za dzm1 ((z a) f(z)).
am
DEFINICION 5.2.14:
Si G es una regin y f es una funcin definida sobre G la cual es holomorfa,
excepto por polos, entonces G se llama meromorfa en G.
OBSERVACION 5.2.15:
Cuando decimos que un conjunto de polos ( ceros) z1, , zn, de una funcin f
estn contados de acuerdo con su multiplicidad, significa que si el polo p ( cero p) es de
orden m, entonces p aparece exactamente m veces en el conjunto z1, , zn.
TEOREMA 5.2.16 (PRINCIPIO DEL ARGUMENTO):
173
Integral de Cauchy
Sea f una funcin meromorfa en una regin G con polos p1 , ps y ceros en
a1, , ar, contados con su multiplicidad. Sea una curva cerrada en G con ~ 0 que no
pasa a travs de ningn polo ni ningn cero. Entonces
r
s
1 f'( )
Ind
Ind ( p ).
d
=
a
2i f()
( k)
j
k=1
j=1
DEMOSTRACION:
m
Sea z0 un cero un polo de f. Podemos escribir f(z) = (z z 0 ) h(z), con h(z0)
0. Si m > 0, entonces z0 es un cero de orden m, y si m < 0, entonces z0 es un polo de
m
h'(z)
f'(z)
orden m. Ahora se tiene que f(z) = z z + h(z) . Aplicando esto a todos los polos y a
0
k=1
z ak
j=1
g'(z)
1
+ g(z) ,
z pj
donde g(z) es diferente de cero para toda z. Aplicando el Teorema de Cauchy 5.1.6, se
sigue el resultado.
H() converge
n=1
174
Captulo 5
para |z a| = R. Entonces existe N N tal que n N, f y f tienen el mismo nmero de
n
ceros en B(a R).
DEMOSTRACION:
Se tiene que f' f' por compactos de . Adems, puesto que f(z) 0 para
n n
|z a| = R, existe n0 tal que n n0 , fn (z) 0 para |z a| = R. Esto implica que
f'
f n' ()
1
n f ' uniformemente para |z a| = R. Entonces lim
d =
fn n f
n 2i f ()
n
|za|=R
1
2i
f'( ) d.
f()
|za|=R
Ahora, estas integrales representan el nmero de ceros que f y fn tienen en B(a R),
en particular son enteros, de lo que se sigue el resultado.
COROLARIO 5.2.18:
Sea C una regin y supongamos que la sucesin {fn}
H() converge
n=1
175
Integral de Cauchy
{} dentro de B(1, 1). Ahora si Log es la rama principal de la funcin logaritmo, entonces
f '
g
f
log g es una primitiva de la funcin f . Entonces:
g
0=
f '
g
f ' g '
f = f g = (C f P f ) (C g P g ).
g
El Teorema de Rouch puede ser usado para otra demostracin del Teorema
n
n1
+ + a0 un polinomio en C[z] no
Fundamental del Algebra. Sea p(z) = z + an1 z
constante, entonces
176
Captulo 5
a
a
p(z)
n1 + + 0 1.
=
1
+
z
zn
zn z
p(z)
Por lo tanto para z suficientemente grande se tiene que n 1 < 1 para |z| = R.
z
n
Como z tiene n ceros dentro de la curva |z| = R, el Teorema de Rouch dice que p(z) debe
tener n ceros dentro de |z| = R.
177
CAPITULO 6.
TRANSFORMACION CONFORME
1. Definicin y Propiedades.
(t0)
(f )' (t )
' (t )
(f )' (t0)
(t )
0
z0
178
f(z0) = w0
Captulo 6
f((t)) f ( (t0))
= lim Arg f (t) f ( z0) =
= lim Arg
f((t)) f ( (t0)) tt0 f (t) f ( z0)
tt0
(t) z 0 m g ( (t))
= lim Arg
,
tt0
g((t))
(t) z 0
por lo tanto = m
Lo anterior significa que se f'(z0) = = f(m1)(z0) = 0, f(m) ( z0) 0, entonces f
transforma curvas que se cortan en un ngulo , en curvas que se cortan en un ngulo m .
En particular, si f'(z0) 0, entonces este ngulo se preserva.
DEFINICION 6.1.1:
Una funcin f : C se llama conforme transformacin conforme en a ,
si f preserva ngulos entre curvas diferenciables que se intersectan en a y si f es real
diferenciable en a.
El desarrollo anterior prueba el siguiente
TEOREMA 6.1.2::
Si f H() y si f'(a) 0, entonces f es conforme en a.
179
Transformacin Conforme
DEMOSTRACION:
Sea w = f(z). Se puede suponer a = 0, y f(0) = 0 (pues si f(a) = b, cambiamos f por
g definida por g(z) = f(z + a) b y g(0) = 0).
z
f(L)
L
f
0 =
Sea 0 el ngulo que forma la imagen del eje real con el eje real del plano w. Ahora
si L es la recta y = mx, m = tan y es ngulo de la tangente de f(L), se tiene que 0
= , es decir = 0 = constante, por lo tanto tan ( ) = tan 0 = c =
( )
constante.
Sea f = u + i v, f(x mx) = u(x mx) + i v(x mx), entonces se tiene
v(x mx)
v
x
x (x mx) v x + m v y
v(x mx)
= u + m u (0, 0),
tan ( ) = lim u(x mx) = lim u(x mx) = lim u
x0
x0
x0
x
y
(
x
mx
)
x
x
(si ux (0, 0) = 0 uy (0, 0) = 0, puesto que la diferencial es diferente de 0, vx (0, 0) 0
vy (0, 0) 0 por lo que podemos tomar cot en lugar de tan ).
Ahora bien,
180
Captulo 6
tan ( )
vx + m vy
ux + m uy m
tan ( ) tan ( )
=
=
v + m v = c
1 + tan ( ) tan ( )
y
1 + m x
ux + m uy
vx + m vy m (u x + m u y ) = c u x + m u y + m v x + m 2 v y , o sea
2
2
m uy + m (v y u x ) + vx = c ux + c m (u y + v x ) + c m vy.
Los coeficientes de las diversas potencias de m deben ser iguales por lo que
obtenemos
(1)
uy = c vy
(2)
vy ux = c (u y + v x )
v =cu
x
x
(3)
OBSERVACION 6.1.4:
Existen funciones que preservan ngulos y cuya diferencial real es 0, por lo que se
sigue de 6.1.3 que estas funciones son complejo diferenciables en el punto pero no en una
vecindad del punto.
EJEMPLO 6.1.5:
181
Transformacin Conforme
Sean , dos curvas diferenciables que se intersectan en a = 0. Entonces
(0) = (0) = 0
f((t)) f ( (0))
|(t)| (t) 0
(t)
= lim Arg
= lim Arg
= lim Arg
,
t0
t0
t0
f
(t)
f
(
0
)
(t)
(t)
0
(t)
(
)
(
)
|
|
182
Captulo 6
b
a = 0, es decir T(z) = d = constante. Si a = 0, c 0, entonces b 0 y d = 0, por lo que
z + b
a a
d b
az+b a
=
,
es
decir
T(z)
=
=
= c = constante.
c a
c z + d c
z + d
c
a (c z + d) (a z + b) c a d b c
=
2 0, por lo que T es
(c z + d) 2
(c z + d)
az+b
d
d w b
Si w = c z + d z =
c w + a, es decir T es 1 - 1 en todo C c y adems
d w b
T1(z) =
c w + a.
OBSERVACION 6.2.4:
az+b a z + b
Si T(z) =c z + d =
para 0, es decir, la cantidad a d b c no es
c z + d
importante, lo importante es que a d b c 0.
az+b
Ahora bien si T(z) = c z + d, podemos pensar que T(z) tiene representacin
a b
d b
1
d b = A1.
matricial: T ~
= A, entonces T1 ~
~
c d
c a ad bc c a
183
Transformacin Conforme
d
a
d
En z = c , T = y T() = c, por lo tanto consideraremos T : S2 S2, T
c
a
Notemos que si T(z) = a z es una dilatacin, T(z) = |a| |a| z, es decir T es la
composicin de una rotacin y una homotecia.
PROPOSICION 6.2.6:
Cualquier transformada de Mbius es composicin de translaciones, dilataciones e
inversiones equivalentemente de translaciones, inversiones, homotecias y rotaciones.
DEMOSTRACION:
a
b
a
Si c = 0, T(z) = d z + d , por lo tanto T(z) = (T 1 T 2 )(z) con T2(z) = d z,
b
T (z) = z + .
1
d
184
Captulo 6
z + d d + b
c
c
a
a z + b
1 a z + b
a
Ahora si c 0, T(z) = c z + d = c
= c
d
d
=
z+
z +
c
c
bc ad
b c d a
2
ca a
a
c
d
= c 1 +
=c+
, entonces T = T4 T3 T2 T1 donde T1(z) = z + c ;
d
d
z + c
z + c
1
bc ad
a
T (z) = ; T (z) =
z;
T
(z)
=
z
+
2
2
z 3
4
c.
c
PROPOSICION 6.2.7:
Sea T una transformacin de Mbius. Entonces T est completamente determinada
por 3 puntos en S2 , es decir dados cualesquiera 2 conjuntos de puntos ordenados
{z 1 z2 z3 } y {w 1 w 2 w 3 }, entonces existe a lo ms una transformada de Mbius tal
que T(zi) = wi, i = 1, 2, 3.
DEMOSTRACION:
az+b
Sea T(z) = c z + d de Mbius. Se tiene que T(z) = z a z + b = c z2 + d z,
ecuacin que tiene a lo ms dos soluciones a menos que c = b = 0, a = d, es decir, si una
transformada de Mbius fija 3 ms puntos entonces T(z) = z.
Sean S, T dos transformadas de Mbius tales que S(z ) = T( z ) = w para i =
i
i
i
1, 2, 3. Entonces S1 T fija 3 puntos, es decir S1 T = Id, por lo tanto S = T.
185
Transformacin Conforme
z z 3
z z
4
Si z z z C, T est dada por T(z) =
;
1 2 3
z3
z 2
z z
2
4
zz
si z2 = , entonces T(z) =z z 3;
4
z z
si z3 = , entonces T(z) = z 2 z 4;
4
zz
si z4 = , entonces T(z) = z z3 .
2
3
DEFINICION 6.2.8:
La transformada de Mbius tal que T(z ) = 1, T(z ) = 0, T(z ) = se denota por
2
3
4
(z z 2 z 3 z 4 )
z z z z .
1 2 3 4
EJEMPLOS 6.2.9:
(1)
(z 2 z2 z3 z4 ) = 1; (z 3 z2 z3 z4 ) = 0; (z 4 z2 z3 z4 ) = .
(2)
(z 1 0 ) = z = Id(z).
PROPOSICION 6.2.10:
Si T es una transformada de Mbius, entonces
186
Captulo 6
1
Sean S(z) = ( z z 2 z 3 z 4 ) y M = S T , entonces M( T(z2)) = S( z2) = 1,
M(T(z3)) = S ( z3) = 0 y M ( T(z4)) = S ( z4) = , por lo que M =
(z T( z2) T ( z3) T ( z4)) S(z) = M(T(z)) = (T(z) T(z2) T ( z3) T ( z4)).
Ahora nuestro prximo objetivo es probar que una transformada de Mbius manda
rectas y crculos en rectas y crculos. Para esto hacemos la siguiente
OBSERVACION 6.2.11:
2
Si L es una recta en C, L {} es un crculo en S que pasa por el polo norte N,
por lo tanto hablar de rectas y crculos en C es lo mismo que hablar de crculos en S2. De
ahora en adelante, cuando hablemos de crculos, los entenderemos en S2.
L
Para probar que una transformada de Mbius manda crculos en crculos, basta
probar que rotaciones, homotecias, translaciones y la inversin lo hacen. Verificar que las 3
primeras lo hacen es inmediato, y la ltima se puede verificar directamente. Sin embargo
aqu presentamos otra demostracin de este hecho.
PROPOSICION 6.2.12:
2
Sean z1 z2 z3 z4 S cuatro puntos distintos. Entonces (z 1 z 2 z 3 z 4 )
los 4 puntos estn en un crculo.
DEMOSTRACION:
187
Transformacin Conforme
1
Sea T(z) = (z z 2 z 3 z 4 ), T (R {}) = { z C | T(z) R { }}.
Por probar que T(R {}) es un crculo en S2.
az+b
Sea T(z) = c z + d, si z = x R , w = T1 (x), x = T(w). Entonces T(w) =
aw+b a w + b
T(w) , es decir
c w + d = c w + d por lo tanto tenemos
2
(*)(a c a c) |w| + (a d b c) w + (b c d a
w + ( b d b d) = 0
(a
d b c) w
(a
d b c) w + b d b d
) = 0,
crculo en S2.
Ahora si Si a c R, (*) se puede reescribir como
(***)
donde C , R , =
2
|w| + 2 Re ( w) = 0
a d b c
b d b d
, =
.
a c a c
a c a c
2
ad bc
De (***), obtenemos |w + | = |w| + || + 2 Re( w) = || + =
a c a c
ad bc
a
c
cual es un crculo.
2
188
Captulo 6
TEOREMA 6.2.13:
Una transformada de Mbius transforma crculos de S2, en crculos de S2.
DEMOSTRACION:
2
Sea un crculo en S y sea T una transformada de Mbius. Sean z2 z3 z4 y
COROLARIO 6.2.14:
2
Dados cualesquiera dos crculos , ' S , existe transformadas de Mbius que
mandan en '. Adems si escogemos puntos distintos z2 z3 z4 y w2 w3 w4 ',
existe una nica transformada de Mbius tal que T(zi) = wi , i = 2, 3, 4 la cual tiene
Ahora bien, hemos probado que las transformadas de Mbius mandan crculos en
crculos, pero ahora la pregunta es: Si T manda en ', el interior de va en en interior
en el exterior de '?
La respuesta a esta pregunta es la siguiente:
189
Transformacin Conforme
Sean z z z y w w w ' orientados. Entonces T preserva la
2 3 4
2
3
4
orientacin, es decir si cuando recorremos de z2 a z3 y de z3 a z4, entonces lo que queda a
la "izquierda" de este recorrido ser mandado a la "izquierda" del recorrido de w2 a w3 y de
w3 a w4. Lo mismo es cierto para la "derecha" del recorrido.
z3
z2
z4
Preserva la Orientacin
z3
z4
z2
w
w
Preserva la Orientacin
190
Captulo 6
w
Preserva la Orientacin
z2
z4
z3
az+b
Ahora bien, si T(z) =c z + d es una transformada de Mbius tal que T(R {})
= R {}, entonces puesto que T(0), T(1) y T() R {}, se tiene que se pueden
escoger a, b, c, d R. Entonces
az+b a z + b
T(z) =c z + d =
2 (c z + d) =
|c z + d|
1
a c |z| 2 + b d + ( a d z + c d z
2
|c z + d|
ad bc
2 Im z.
|c z + d|
DEFINICION 6.2.16:
Se definen
191
)}
Transformacin Conforme
+
H = {z
H = {z
H +.
z3
T(z) = (z, z , z , z )
z2
z4
z
T(z4 ) =
T(z3) = 0
T(z2) = 1
z*
DEFINICION 6.2.17:
2
2
Sea el crculo en S a travs de los puntos z2 z3 z4. Los puntos z, z* S se
192
(z z 2 z 3 z 4 ) .
Captulo 6
OBSERVACION 6.2.18:
En la definicin 6.2.18, aparentemente la nocin de simetra con respecto a no
depende nicamente de sino tambin de los puntos z2 z3 z4, sin embargo la siguiente
Proposicin muestra que esto no es as.
PROPOSICION 6.2.19:
La nocin de simetra depende nicamente de .
DEMOSTRACION:
Sea determinado por {z z z } y tambin por { w w w } . Se quiere
2 3 4
2
3
4
probar que ( z* z 2 z 3 z 4 ) = (z z 2 z 3 z 4 ) ( z* w 2 w 3 w 4 ) =
(z w 2 w 3 w 4 ) .
Sean T(z) = (z z z z ), S(z) = (z w w w ). Entonces T S1 (R {})
2 3 4
2
3
4
a z + b
1
= R {}, por lo que podemos escoger M(z) = T S (z) = c z + d,
con a, b, c, d R. Por probar: T(z*) = T(z) S(z*) = S(z) . Ahora bien tendremos
z z
3
z* z
z z3
z z3
3=
,
por
lo
tanto
T(
z*
)
=
z z = z z = T(z) |z* z 3 | =
z2 z3
z2 z3
2
3
2
3
z z3
| z z 3 |.
z* z
zz
193
Transformacin Conforme
zz
= Im z z3 , es decir que z y z* pertenecen a diferentes hiperplanos de . Finalmente
2
3
se tiene que [z z*] es perpendicular a pues T es conforme.
Ahora si = { z C | |z a| = R} , aplicando repetidamente la Proposicin
6.2.10 se tiene para z2 z3 z4 :
(z* z 2 z3 z4 ) = (z z 2 z 3 z 4 ) =
(z a z 2 a z 3 a z 4 a) =
2
z a R R R =
z 2 a z 3 a z 4 a
2
R
z a z 2 a z 3 a z 4 a =
(T(z) = z a)
R
(T(z) = z )
(T(z) = z + a)
z a + a z 2 z 3 z 4 ,
es decir z* =
R
+ a, (z* a) ( z a
z a
) = R2 (si z = a, entonces z* = ).
z* a
R
R
Entonces z a =
> 0.
2 > 0, es decir z* = t (z a) + a, t =
|z a|
|z a|2
A
R
|z a|
R
Captulo 6
TEOREMA 6.2.20 (PRINCIPIO DE SIMETRIA):
( )
EJEMPLOS 6.2.21:
(1) Hallemos una transformacin de Mbius tal que T\(U) = H+ , donde U =
{z C | |z| < 1}, mandando 0 en i.
T
0
195
Transformacin Conforme
1 i
(1 i)
entonces d = 1 + i =
2
z + i i z + 1
T(z) = i z i =
z i .
1 + i
2 i
= i, por lo tanto
2
z i
(2) Analicemos que hace la transformacin T(z) = 2 z + 4. Se tiene que T(i) = 0; T( 2)
= y T(z) = 1 z i = 2 z + 4 z = 4 i. Entonces T(z) = (z 4 i i 2). T
manda el crculo determinado por 4 i, i, 2 (que de hecho es una recta en C) en
R {}.
Y
i
4
2
0
X
i
i
Ahora bien T(0) = 4, por lo
T
1
0
196
Captulo 6
C | Re
z > 0} ) = U, con
{z C | R e
{z C | I m
z = a} en el crculo
z = b} en el rayo {w
C | arg
C | |w| = e a }
= b}.
la
lnea
L1
L1
f(z) = exp z
f (L2 )
L2
b
e
0
, Tan = b
f (L 1)
197
Transformacin Conforme
De aqu se sigue que exp z manda el cuadrado
regin
[ a a1]
[ b b 1 ]
en la
Y
b
f(z) = exp z
e
a
tan 1b
tan 1b 1
Por otro lado, con lo visto en el Captulo 3, se tiene que f(Wb) = Ub, donde Wb =
{z C | b < I m z < 2 + b} y Ub = C ( {w C | a r g z = b} { 0 }).
Adems f : Wb Ub es biyectiva.
w
Y
u
f(u)
f(z) = exp z
f(v)
3.2. Funcin Potencia:
Ahora consideremos f(z) = z , n N. Se tiene que f'(z) = 0 z = 0, por lo que f
es conforme en C {0}. Por otro lado tenemos f ( rei) = rn e i n por lo
n
198
Captulo 6
r
que f transforma el sector U a b = { z C | 0 < | z | < r a < a r g z < b} en
n
z C | 0 < |z| < r n n a < a r g z < n b
= Urn a n b = " n U ra b " y el rayo
rn
r
f(z) = z
na
a
0
nb
r
inversa g : Unanb
Urab. g se llama la raz n-sima y se denota g(z) =
z.
La
L'
{a 2
y2 + 2 a i y | y
199
Transformacin Conforme
si a = 0
R
. Similarmente obtenemos que
2
y = 4 a 2 ( x a 2 ) si a 0
f(L'b) = {x 2 b 2 + 2 x i b | x R } = Pb' , con
si b = 0
R
Pb' =
y 2 = 4 b 2 ( x b 2 ) si b 0
.
Y
(a b2, 2 a b)
Y
2b2
f(La )
La
2a2
2
b
F
L'
(a, b)
0
a2
F
X
f(L' )
b
X
2
(a b2, 2 a b)
z z2
3.3. Mapeo de Joukowski.
z
conforme en C {0, 1, 1}.
1
1
1
1
1
1
2
Ahora, f(z) = f(w) 2 z + = 2 w + z + z = w + w z w + w = z
z
w
2
w + z z w (z w) (z w) = 0 (z w) (z w 1) = 0 z = w z w = 1 .
200
Captulo 6
Consideremos el crculo z = r ei, 0 2 , entonces f(z) =
1
1
1
1
= 2 r + cos + i 2 r sen .
r
r
1
1
1
Por lo que si x = 2 r + cos , y = 2
r
2
2
x
y
+
1
1
1 2
r
+
4
4 r
r
Y
1
1
i
r
e
+
i =
2
re
r 1 sen , se tiene
r
1 2
r
= 1,
1 r1
r
2
(1,0)
0
(1,0)
X
1 r +1
r
2
1
1
2 r + r y
1
1
2 r r , centro en (0, 0) y focos en ( 1, 0).
Si r 1, entonces estas elipses tienden al intervalo [1, 1]. Si r 0, los semiejes
de las elipses tienden a , por lo que f es una biyeccin entre U {0} y C [1, 1].
Y
1
0
f
1
201
Transformacin Conforme
3
Ahora sea L = r e i | 0 < r < 1 0 2 2 2 , entonces si z = r
1
1
1
1
ei L, f(z) = f(r e i ) = 2 r + cos + i 2 r sen que pertenece a la
r
r
2
2
u
v
hiprbola
= 1.
2
cos
sen 2
Si
0 < < 2
u +
v + ;
r0
r0
Si
< <
2
u +
v + ;
Si
3
< < 2
u +
v + ;
u +
v + .
3
< < 2
2
Adems, v 0.
Si
r0
r0
r0
r0
r0
r0
r1
2
1
2 w 4 w 4
1
(w = 2 z + z2 2 w z + 1 = 0 z =
= w w 2 1).
2
z
z2 1 = e
1
2
ln z 1
2
(la otra rama es tal que f(i) = 2 i y esta otra ser denotada por z 2 1).
202
Captulo 6
f
1
1
1
Si w = 2 z + z = w w 2 1), es decir
z
f1(w) = w + w 2 1 ; f2(w) = w w 2 1 ;
f1 : C [1, 1] C U ; f2 : C [1, 1] U {0}.
2
1
z + 1
1
Nuevamente escribimos w = 2 z + = 2 z , por lo tanto
z
2
(z + 1)
w + 1 =
2 z
w 1 z 1 2
2
w + 1 = z + 1 .
(z 1)
w 1 =
2 z
1
w1
z 1 2
:
Sea = z + 1 , entoncesw + 1 = w =
+ 1
T z 1
2
T 1
= w,
z z + 1 = u u =
+ 1
1
1
es decir f(z) = 2 z + = (T T)(z).
z
Si C es una circunferencia que para por los puntos z = 1, T(C) es una recta que
para por el origen con un ngulo igual al ngulo formado por la circunferencia C con el
eje real en el punto z = 1.
Ahora manda sta ltima recta en la recta que pasa por el origen formando un
ngulo 2 con el eje real positivo.
203
Transformacin Conforme
T(C)
(0,c)
1+c 2
c
1
T(R)
0 T(1)
ai
C
T(C)
T(R)
T(C)
2
T(R)
Por ltimo, si M es sta ltima recta, T(M) es un crculo que pasa por 1 y que
forma un ngulo 2 con el eje real en el punto z = 1.
f
1
204
Captulo 6
T
1
T
1
{z C | a
Transformacin Conforme
Notemos que (A) = i A =
{z C |
exp
J
1
1
Similarmente
exp
0
i
206
Captulo 6
Resumiento:
cos z
1
sigue:
sen z
/2
/2
3/2
iz
iz
2iz
sen z 1 e e
e 1
1
Sea ahora f(z) = Tan z = cos z = i iz
=
i
=i
iz
2iz
e +e
e
+ 1
1+
1 t
z
i z = u exp
e u = v v 2 = t T i 1 + t.
Si L = {z
a
C | Re z = a = constante},
207
2iz
e
, esto es:
e 2iz
Transformacin Conforme
Y
exp
(a,b) (b,a)
Lb
X
eb
T
i
2a
2b
Y
Y
Tan z
/4
/4
1
0
208
Captulo 6
4. Ejemplos.
EJEMPLO 6.4.1:
Encontremos un mapeo conforme biyectivo que transforme la regin interior al
1
1
crculo |z| = 1 y exterior al crculo z 2 = 2 en la banda 0 < Re z < .
Y
Y
Una forma de hacerlo es encontrar una transformada de Mbius que mande |z| = 1 a
1
1
Re z = 0 y z 2 = 2 a Re z = . Ahora bien, puesto que los dos crculos se intersectan
az+b
en z = 1, se debe tener T(1) = , es decir T(z) = z 1 . Por otro lado T(0) = + i c,
z+1
T( 1) = 0 + i d, digamos T( 1) = 0, por lo que T(z) = z 1 .
z+1
Si R , T(z) = z 1 manda R {} en R {}, por lo tanto T({|z| = 1})
en una lnea perperdicular a R y T( 1) = 0 implica que T({|z| = 1}) es el eje imaginario,
i
+ 1
e
i
i
i
de hecho se tiene T( e ) =
=
1)) =
i
i
2 ( (e + 1) ( e
e 1
|e 1|
2 i sen
i
i
(
1
+
e
1
)
=
=
.
|e i 1|2
|e i 1|2
z+1
Por ltimo se pedimos T(0) = = ( 1) T(z) = z 1 es el mapeo
conforme deseado.
209
Transformacin Conforme
EJEMPLO 6.4.2:
Ms generalmente consideremos dos crculos que se intersectan en dos puntos,
a
b
digamos a, b C .
La transformacin lineal T(z) =
z a
z b satisface T(a) = 0, T(b) = , por lo que los dos arcos que acotan la regin se
transforman en dos rayos L1, L2 que pasan por el origen.
D
L2
. Ahora si D es la regin acotada por los rayos, Log : D C es tal que Log (D) =
z a
= z C | < arg z <
. Es decir f(z) = Log
es un mapeo conforme
1
2
z b
biyectivo que transforma una lente acotada entre dos arcos de circunferencia en una banda
infinita. Cabe hacer notar que en ste ejemplo hemos considerado Log como el logaritmo
principal. Esto no se podra hacer si el eje real negativo se hallase en la regin acotada por
210
Captulo 6
los rayos L 1 , L2 . Si ste es el caso, basta tomar una rama de log z tal que
1 < arg z < 2.
2
1
EJEMPLO 6.4.3:
Hagamos un caso concreto con respecto al Ejemplo 6.4.2, hallemos un mapeo
conforme biyectivo que transforme la lente acotada por los crculos |z + i| = 2 y |z + 3 i|
|z + i| = 2
|z + 3 i| = 2
4 5
3
= + = 4
2
4
2
i
4 5
y
211
Los
Transformacin Conforme
2
3
3 i
5
= + = 6
3
2
2
1
3
4
2
0
5
6
i
3 i
z1
Entonces la transformacin T(z) =z + 1 es tal que manda esta lente en la regin
3
5
D = z C | 4 < Arg z < 6 .
3
5
Ahora Log : D C manda D en la regin D1 = z C | 4 < I m z < 6 .
3
Finalmente (z) = 6 z
i transforma D1 en D2 = z C | 0 < I m z < 2 , es
4
z 1 3
decir la funcin buscada es f(z) = 6 Log
4 i .
z + 1
212
Captulo 6
EJEMPLO 6.4.4:
Un problema diferente consiste en hallar mapeos conformes biyectivos que
transformen la regin limitada por dos crculos que no se intersectan en un anillo. Las
transformaciones lineales de nuevo solucionan nuestro problema.
En general sean C1, C2 dos circunferencias que no se intersectan, digamos C1 en el
c
c
interior de C2.
Se quiere transformar conformemente
esta regin en una anillo con centro en el origen.
Sea a en el interior de C1 tal que T(a) = 0. Ahora si a* es el simtrico de a con
respecto a C1 y a*
es el simtrico de a con respecto a C2 se debe tener que T(a*) =
1
= , es decir a* = a*
.
T(a*
1)
1
Ahora si C es el crculo con centro en c y radio r, C es el crculo con centro en d y
1
2
radio R, se tiene por el desarrollo anterior al Teorema 6.2.20 que a* =
r2
a c
213
+ c y
Transformacin Conforme
=
a*
1
a d
+ d.
a c
+c=
a d
z a
As T est dada por T(z) = z a*, con
Y
i
2
1
4
1
0
214
1
X
Captulo 6
i
1
Del ejemplo anterior tenemos c = 2, r = , d = 0, R = 1, por lo tanto
4
1
1
16
16
i
1
i 1
1 i
1
i
i
+2=
+0
2 = a 16 2 a = a a
i
2
2
i
a 0
a 2
a
2
1
i
1
i 1
i 1
1 9
1 9
2
16 2 a 4 = 1 2 a 2 a a = 16 1 a = 8 a i
19 i
19 i
105
361
64 + 4
8
8
64 i 19
105
19 105
a=
=
= 16 i 16 i =
i.
2
2
16
19 105
1
El valor que est en el interior de |z| = 1 es a =
i. Ahora bien a* =
=
16
a
16 ( 19 +
105) i
16 i
19 + 105
=
=
i. Por tanto
361 105
16
19
105
16 z ( 19
105) i
T(z) =
.
16 z + ( 19 +
105) i
i
1
Finalmente, puesto que queremos que la circunferencia z 2 = 4 sea mandada a
3 i
1 2 1 9 + 105
105 7
|z| = 1, podemos pedir T 4 = 1 =
=
12 + 19 +
105
105 + 31
105 + 31
=
.
Es
decir
la
transformacin
buscada
es
105 7
105 + 31 16 z
T(z) =
16 z +
105 7
( 19 105) i .
( 19 + 105) i
EJEMPLO 6.4.6:
Encontremos una transformacin conforme biyectiva de =
{z C | 1 < R e z < 1} en U. Para esto consideremos las siguientes
transformaciones:
215
Transformacin Conforme
Y
i
2
g
z i z
2
0
1 X
h
z ez
X
i
2
Y
T
z zz + 11
U
0
iz
Es decir, : U, = T h g; (z) = T(h(g(z))) = T h i
z = T e 2 =
2
iz
2
iz
2
z
= i Tan 4 es una transformacin buscada.
+ 1
1 1 1
La funcin inversa : U est dada por (z) = g ( h (T (z))) =
1 + z
2
1 + z
1 + z
g1 h1 1 z = g1 Ln
= i Ln 1 z .
1
EJEMPLO 6.4.7:
Encontremos una biyeccin conforme f entre = la parte superior del crculo
unitario U y U tal que {1, 0, 1} es mandada a {1, i, 1}. Para esto consideremos las
siguientes transformaciones:
216
Captulo 6
= T( 1)
z z
T
1
z i z 1
1
z+1
i = T(0)
0 = T(1)
i 1
0 0
Se quiere G : {z
C | Im
Transformacin Conforme
Entonces |f'(0)| 1 y |f(z)| |z| z U. Ms an, si |f'(0)| = 1 o |f(z)| = |z| para
algn z 0, entonces existe una constante c tal que |c| = 1 y f(z) = c z z U.
DEMOSTRACION:
f(z) si z 0
. Entonces es fcil ver
Sea g : U C definida por g(z) = z
f'(0) si z = 0
que g H(U). Por el principio del mdulo mximo 5.1.4, se tiene que para 0 < r < 1,
1
|g(z)| r para |z| r, por lo que haciendo r 1 se tendr |g(z)| 1 z U, lo cual
significa que |f(z)| |z| z U. Adems |f'(0)| = |g(0)| 1, lo que prueba la primera parte
del Teorema.
Ahora bien, si |f'(0)| = 1 o |f(z)| = |z| para algn z 0, esto significa que |g(z)| = 1
para algn z U, lo cual implica por el principio del mdulo mximo que g(z) = c =
z a
.
1 a z
PROPOSICION 6.5.3:
Se tiene que H (U), (U) = U, (U) = U, : U U es una
a
a
a
a
biyeccin. La inversa de a es a. Finalmente a(a) = 0, a(0) = a, 'a (0) = 1 |a|2 ,
1
218
Captulo 6
DEMOSTRACION:
a e i a
=
= 1, por lo tanto a(U)
i
i
1
a
e
e
R , |a(ei)| =
PROPOSICION 6.5.4:
Sea f : U C analtica tal que |f(z)| < 1 z U. Sea a U con f(a) = .
2
2
1 | |
1 |f(a)|
=
. Ms an, la igualdad sucede solo cuando f(z) =
Entonces |f'(a)|
1 |a| 2
1 |a| 2
c a (z) con |c| = 1.
DEMOSTRACION:
U
0
U
f
1
f = 1
(c Id) a
= (c a).
219
Transformacin Conforme
Ahora probamos la consecuencia principal del Lema de Schwarz.
TEOREMA 6.5.5:
Sea f : U U analtica biyectiva. Si f(a) = 0, entonces existe una constante c,
|c| = 1 tal que f = c a.
DEMOSTRACION:
1
f = 0 c a = c a (0 = Id).
Sea g = f
( )
EJEMPLO 6.5.6:
1
1 2
1
1 4
i
f
2
i + 1 2
1 2
i + 1
i
i
Sea f : U U con f =
. Entonces f '
=
2
2
2
2
i
1 2
1
2
2
= = 3 = 3. En particular, no existe f : U U holomorfa con
4
i + 1
3
i
= 2 y f' = 4.
2
220
Captulo 6
DEFINICION 6.5.7:
Dos regiones , W C se llaman conformemente equivalentes si existe
f: W analtica biyectiva (es decir f es holomorfa, conforme, 1-1 y sobre).
TEOREMA 6.5.8:
Sea A C un abierto. Entonces las siguientes afirmaciones son equivalentes:
(i)
(ii)
(iii)
es simplemente conexo.
es homeomorfo a U.
2
Ind(z) = 0 para todo camino cerrado en y para todo S .
(iv)
(v)
S2 es conexo.
Cualquier f H() puede ser uniformemente aproximada en compactos de , por
(vi)
polinomios.
f() d = 0 para cualquier f H() y cualquier camino cerrado en .
(vii)
(viii)
(ix)
(x)
parciales continuas y
+
= 0.)
x2 y2
TEOREMA 6.5.9 (TEOREMA DEL MAPEO DE RIEMANN):
Sea
C, C
equivalente a U.
DEMOSTRACION:
221
Transformacin Conforme
Ver Rudin [10] pgina 302, Teorema 14.8 y pgina 316, ejercicio 26; Conway [4]
f(a) = 0, f'(a) = || > 0. Sea h otra tal funcin, entonces f h1 : U U es biyectiva tal
222
Captulo 6
tiene dos componentes conexas. Los ejemplos ms simples de estos dominios son los
anillos (ver el Teorema de Laurent 5.2.7).
DEFINICION 6.5.12:
Sean 0 < r < Ra, r, R R. Entonces definimos el anillo con centro en el origen y
radios r, R por A(r R) = {z C | r < | z | < R} .
A(r, R)
R
r
0
Motivados por el Teorema del Mapeo de Riemann uno podra pensar que todo
dominio doblemente conexo es conformemente equivalente a un anillo y que cualesquiera
dos anillos son conformemente equivalentes. 6.5.13 prueba la validez de la primera
conjetura y 6.5.14 la falsedad de la segunda.
TEOREMA 6.5.13:
Cualquier regin doblemente conexa es conformemente equivalente a un anillo.
DEMOSTRACION:
Ver Ahlfors [1] Teorema 10 pgina 247 o Nehari [9] Captulo VII, 1.2, pginas
333-352.
TEOREMA 6.5.14:
223
Transformacin Conforme
r s
Dos anillos A(r R) y A(s S), r, s > 0 son conformemente equivalentes R = .
S
DEMOSTRACION:
r
s
S
Si R = = , entonces si = , f(z) = z satisface f(A(r R)) = A(s S) y
S
R
f H(A(r R)), f es biyectiva.
Recprocamente supongamos que A(r R) y A(s S) son conformemente
equivalentes. Claramente se puede suponer r = s = 1. Se quiere probar que R = S. Sean A
1
= A(1 R), B = A(1 S) y sea f : A B biyectiva, holomorfa. Sea g = f .
Consideremos el crculo |z| = S, entonces g() es un compacto en A.
A
g
1
1
s
Por lo
tanto existe > 0 tal que A(1, 1 + ) g() = . Esto implica que V = f(A(1 1 + ))
es un conjunto conexo en B que no intersecta a por lo que V A( 1 S) V
S
A(
S S). Si sucede la segunda posibilidad cambiamos f por f , por lo que podemos
suponer V A(1 S). Si 1 < |z | < 1 + y |z | 1, entonces |f(z )| 1 pues
n
n n
n
n
ln S
Sea ahora = ln R y sea u(z) = 2 ln |f(z)| 2 ln |z|. Usando las ecuaciones de
Cauchy-Riemann para f(z), es fcil verificar que u(z) es armnica en A. Adems por la
224
Captulo 6
primera parte, u : A R es continua con lim u(z) = 2 ln |1| 2 ln |1| = 0 y lim u(z)
|z|1
|z|R
= 2 ln S 2 ln R = 0.
Puesto que u es una funcin armnica idnticamente 0 en la frontera se sigue que u
= 0 (el principio del mdulo mximo se puede aplicar a las funciones armnicas, ver por
ejemplo Rudin [10] pginas 259-260 o Conway [4] pgina 255, 1.6).
|z|= R
d = Z . Sea g(z) = f ( z ), g'(z) =
|z|= R
f(z)
z f(z) z 1
f'(z) z f(z) z 1
z
=
= 0 g(z) = c = constante.
z2
z2
Finalmente, se tiene que f(z) = c z. Puesto que f es 11 = 1, por lo que f(z)
= c z y en particular R = S.
=
1
2i
DEFINICION 6.5.15:
2
1
Una curva : [a, b] S se llama de Jordan si es C por tramos, es cerrada
y para a < t < s < b se tiene (t) (s).
TEOREMA 6.5.16:
2
Si C es una regin simplemente conexa C con frontera S una
curva de Jordan, entonces la funcin dada por el mapeo de Riemann f : U se puede
extender de manera continua a la frontera de , f : U . Ms an, si z
|f(z)| = 1 y adems es biyectiva en todo .
225
Transformacin Conforme
DEMOSTRACION:
Ver Rudin [10], pgina 309, Teorema 14.18.
w
2
Sean a , a , , a R {} tales que f(a ) = w .
1 2
n
i
i
Ahora los puntos a1, a2, , an dividen R {} en segmentos cada uno de los cuales se
mapea en un segmento de recta.
a1
a2
ak
an
226
Captulo 6
Entonces si L es cualquiera de estos segmentos, por el principio de reflexin de
w
i+1
P
ai
P'
a i+1
w
Schwarz,
f se extiende a una
f(s+)
s+
ai
a i+1
i+2
s a
i+2
i+1
f(s )
Sin embargo P y P" son congruentes es decir P" se obtiene de P mediante una
translacin y una rotacin alrededor del origen, por lo que se tiene que existen constantes
A, B tales que f1(z) = A f(z) + B, A 0, z H+. Por tanto f'1(z) = A f'(z); f"1(z) = A f"(z)
f"(z) f"(z)
1(z) = f'(z) (notemos que f'(z) 0 z H+ pues f es conforme).
f1'
227
Transformacin Conforme
P
P''
P'
f"(z)
Esto muestra que la funcin g(z) = f'(z) , toma, para z H+ el mismo valor
despus de dos reflexiones a travs del eje real. Lo mismo es cierto para z H . Entonces
g est definida y es holomorfa en (C {}) { a 1 a 2 a n }. Para analizar la
clase de singularidad que g tiene en cada a , veamos el comportamiento de f en una
i
1
s
ai1
ai
a i+1
i+1
228
i1
Captulo 6
w
i+1
f
s
t
ai
i1
i
i
+
k(z),
donde
k
es
analtica
en
a
,
es
decir
g(z)
+
z ai
i
z a i es holomorfa alrededor de
n
i
z = a . Entonces g (z) = g(z) +
i
1
z a i H ( C {}) y es acotada, por lo que
i=1
f"(z)
i
g(z) =
=
(f'(z))) '
Log f'(z) =
f'(z)
z ai = ( L n
i=1
n
i Ln
i=1
( z a i ) + Ln C = Ln C i=1
( z a i)
229
f'(z) = C
i=1
( z a i)
Transformacin Conforme
n
y f(z) = C
z a i ) i dz + D , con C y D constantes. C y D determinan el
(
i=1
z
1
n
( xn)
d + b
f(z) = a ( x 1 )
z0
+
donde a, b C son constantes, z H est fijo y la integral se hace sobre cualquier
0
camino que conecte z0 con z H+. Adems se tiene:
(i) Tres de los puntos x1 x2 xn pueden ser escogidos arbitrariamente.
(ii) a y b determinan el tamao y la posicin de P.
(iii) f(x ) = w , i = 1, , n.
i
i
OBSERVACION 6.5.18:
En el desarrollo anterior se supuso que los puntos x1 x2 xn eran reales. Si
queremos encontrar la frmula de Schwarz-Christoffel con uno de los puntos al infinito,
1
hagamos un cambio de variable con una transformada de Mbius: T(z) = z + x . Por el
n
230
Captulo 6
desarrollo anterior a 6.2.17, se tiene que T(H
) = H+ y si T(yi) = xi , 1 i n 1, T()
=x ,y <y <<y
(" < yn = ").
n 1
2
n1
Ahora bien se tiene que
si
g(z)
f(T(z)),
g(z)
w = T(z) = 1z + x
( x ) d + b.
a
i
w i=1
0
n
T
y
n1
wn = g()
n1
x
n
w = g(y1 )
1
g
Con el cambio de variable = T1 , = T =
n1
i
n
x
d
=
T
Ty
T
(T)' d =
(
)
(
(
i)
i)
i=1
i=1
n1
i
n
1
1
1
+ x
1 + x x
=
+
x
2 d =
n
y
n
n
n
i=1
i
n1
n1
i
++
1 n 1
1 1 i
1
n 1
2 d = c
2 d,
y
(
)
i
i
i=1
i=1
1
+ xn, se tendr:
n1
con c =
yi i.
i = 1
Puesto que
= 2, se sigue que:
i=1 i
231
Transformacin Conforme
n
(
i=1
xi
g(z) = A
d = c
(
i=1
yi
d, es decir
( y ) d
+ B, la cual es la misma que la
i
i=1
(w )=z
n1
(w)=z
n1
z
1
n1
( y n 1)
d + B
g(z) = A ( y 1 )
z0
+
donde A, B C son constantes, z H est fijo y la integral se hace sobre cualquier
0
camino que conecte z0 con z H+. Adems se tiene:
(i) Dos de los puntos y1 y2 yn1 pueden ser escogidos arbitrariamente.
(ii) A y B determinan el tamao y la posicin de P.
(iii) g(x ) = w , i = 1, , n 1, g() = w .
i
i
n
Captulo 6
TEOREMA 6.5.20 (FORMULA DE SCHWARZ-CHRISTOFFEL PARA U):
Sea P un polgono con vrtices w w w y con ngulos exteriores ,
1
2
n
i
1 < i < 1. Entonces los mapeos conformes biyectivos entre U y P estn dados por:
z
f(z) = A
z 1 1 z n n d + B
0
OBSERVACION 6.5.21:
Las frmulas de Schwarz-Christoffel permanecen correctas si uno de los vrtices
del polgono esta en el infinito. El ngulo en se calcula acorde a que la suma de la
ngulos exteriores debe ser 2 .
EJEMPLO 6.5.22:
La transformacin conforme que manda H+ en el interior de un tringulo tal que
z
+ B, con a, b R ,
( a) 1 ( b) 2
|i| 1, i = 1, 2.
EJEMPLO 6.5.23:
233
Transformacin Conforme
= z
Aqu el tringulo en consideracin tendr vrtices en 2 , 2 , . Los ngulos
interiores del tringulo sern 2 , , 0 ( y por lo tanto los exteriores sern , , ).
2
2 2
+
Entonces si pedimos f : H , f( 1) = , f(1) = , f() = , por 6.5.19 se
2
2
z
z
1
1
2
2
Arc Sen z + .
f( 1) = 2 = 2 +
= 1, = 0, por lo tanto
=
2 +
f(1) =
2
f(z) = Arc Sen z , lo cual coincide con lo visto en 3.4.
Puesto que
EJEMPLO 6.5.24:
234
C | 4 <
R e z < 4
Captulo 6
conf(i) = f( i) = . Notemos que puede ser considerado un polgono de 2 lados con
ngulos en = 0, es decir lo ngulos exteriores son iguales a .
Y
Lado 1
f
0
Lado 2
z
0 (z + i) 1 (z i) 1 dz + B
z
dz
=A 2
+ B = A Arc Tan z + B. Tomando A = 1, B = 0, se tendr que f(z) =
z + 1
0
Arc Tan z.
Aqu es importante hacer notar que se necesita una justificacin especial para usar
las frmulas de Schwarz-Christoffel. De cualquier manera es ms sencillo verificar la
validez de la frmula obtenida usando 3.4, que esta justificacin.
EJEMPLO 6.5.25:
Consideremos
= (( 1)
+ 1))
1
2
f(z).
Entonces
4 1
= = ( 1)
1
2
+ 1)
4 1
1
2
i)
1
2
235
1
2
+ i) , por lo que
Transformacin Conforme
i
i
EJEMPLO 6.5.26:
Hallemos un mapeo conforme que transforme U en el pentagrama:
7
5
(z 5 1) ( z 5 + 1)
T : U P,
5
P = pentagrama, debe ser dado mandando las races de z 1 a los ngulos agudos del
236
Captulo 6
5
pentagrama y las races de z + 1 a los ngulos obtusos. Para los ngulos agudos, los
4
7
2
ngulos exteriors son 5 y para los obtusos
5 = 5 , por lo que
z
4
2
5
5
5
(
+ 1)5
d .
f(z) =
4
( 5 1)5
237
CAPITULO 7.
APLICACIONES
1. Problema de Dirichlet.
Primero recordemos la definicin de lo que es una funcin armnica.
DEFINICION 7.1.1:
Sea C una regin, u : R se llama armnica si tiene segundas derivadas
2
2
u u
parciales continuas y 2u = 2 + 2 = 0.
x
y
OBSERVACION 7.1.2:
Las partes real e imaginaria de una funcin holomorfa son armnicas y stas reciben
el nombre de armnicas conjugadas.
Anteriormente hicimos mencin al hecho de que una funcin armnica satisface el
principio del mdulo mximo, esto implica que si dos funciones u y v son armnicas en
una regin , continuas en y coinciden en la frontera de , entonces u v. Esto se
sigue del hecho de que u v tiene mximo y mnimo igual a 0. Es decir, tenemos el
siguiente Teorema:
TEOREMA 7.1.3:
Una funcin armnica en una regin y continua en , est unvocamente
determinada por sus valores en .
238
Captulo 7
Ahora bien, el problema de Dirichlet es el siguiente:
PROBLEMA 7.1.4:
Sea C una regin. Sea f : R una funcin. Existe u : R tal
que u es armnica en y tal que u(z) = f(z) z ?
En esta seccin demostraremos que la respuesta al problema de Dirichlet es
afirmativa en el caso de que sea simplemente conexo con simple de Jordan y f sea
continua.
Primero solucionemos el problema en el caso de que = U = disco unitario.
Sea f : T = { z C | |z| = 1} R . consideremos la funcin
1
i
f ( eit) P ( t) dt, con 0 2, 0 r < 1, P ( t) =
u(re ) =
2
r
r
r |n| e in ( t) =
n=
2
it
1 r
e + z , z = rei. Se tiene:
=
Re
it
1 2r cos ( t) + r 2
e z
1
f ( eit) P ( t) dt, con z = rei , 0 2, 0 r < 1, es
u(z) = 2
r
armnica en U y se tiene lim u(z) = f(ei) para lo puntos en que f(ei) es continua.
zei
DEMOSTRACION:
1
De hecho u(z) = Re 2i
+ z f d
||=1
239
Aplicaciones
tanto u(z) es armnica. Para la verificacin de este resultado, ver Rudin [10], Teorema 5.25
pginas 118-119, Teorema 11.10, pgina 255; Ahlfors, Teoremas 24 y 25, pginas 165
169.
7.1.5 da solucin explcita al problema de Dirichlet para U. Si es cualquier regin
2
,
simplemente conexa,
C , cuya frontera es una curva simple de Jordan en S
entonces por el Teorema del Mapeo de Riemann existe : U continua biyectiva
f 1
1
v(z) = Re 2i
+ (z)
(z)
||=1
1
= 2 f ( 1(eit)) R e
) ( )
f 1
d
=
.
it
e + (z)
it
dt
e (z)
EJEMPLO 7.1.6:
zz
1
Cuando = B(z 0 R), : B(z 0 R) U , (z) = R 0 , (z) = R z +
z0 por lo que la solucin al problema de Dirichlet para B(z 0 R) est dada por:
240
Captulo 7
z z
R
=
1
v(z) = Re
f( R + z 0 )
2i
z
0
R
=1
||
1 R
= Re 2i
=1
||
+ z
+ z 2 z0
f R + z0
R + z0 z
d
.
d
d
d
R
Sea = R + z0; d = R d; =
=
, por lo tanto
z
z
0
0
R
1
v(z) = Re 2i
+ z 2 z0
d
f
( ) z .
z 0 =R
EJEMPLO 7.1.7:
Para solucionar el problema de Dirichlet en el semiplano superior, consideremos la
z + i
z + 1
transformacin T : H+ U dada por T1 (z) = (z 1 i 1) =
=
1 + i
2
T(0) = i
T
z + i
0
(1 i) z + 1,
z (1 i) i
z 1 i
T(z) = z + ( 1 i ) =
z 1 + i.
T() = 1
241
1
por
lo
que
Aplicaciones
Entonces la solucin al problema de Dirichlet con funcin f : R R ser:
e it z 1 i
it
1
z 1 + i
e + i
v(z) = 2
Re
dt.
f ( 1 i ) it
z 1 i
it
e + 1
e
+
z 1 + i
(), se obtiene:
1 y f ( ) d
v(x + i y) =
2
2 .
+
y
(x
2. Aplicaciones a la Fsica.
Hay varios problemas en Fsica cuya solucin depende de la ecuacin de Laplace :
2
2
= xx + yy = 0, : R R .
Las soluciones a esta ecuacin son las funciones armnicas en . La teora de las
soluciones de la Ecuacin de Laplace recibe el nombre de Teora del Potencial. Como
ejemplos de la teora del potencial estn el caso bidimensional de un estado estable en electrosttica, el fludo de calor en un medio homogeneo, la mecnica de un fludo ideal, etc.
En electrosttica, (x, y) se interpreta como el potencial elctrico o voltaje en el
punto (x, y) y x,
y son las componentes de la intensidad del campo elctrico. Las curvas
(x, y) = constante reciben el nombre de equipotenciales.
En problemas de fludo de calor, (x, y) es la temperatura en el punto (x, y) y las
curvas (x, y) = constante se llaman isotrmicas.
(x,y) = constante
En mecnica de fludos,
las curvas
(x, y) = constante son los caminos que recorren las partculas del fludo, es decir son las
lneas de corriente.
242
Captulo 7
EJEMPLO 7.2.1:
Encontremos la temperatura dentro de la lente acotada por los crculos | z 1 | = 1
y | z i | = 1, y tal que sobre el crculo | z 1 | = 1 la temperatura = 0 y sobre | z i | = 1,
= 1.
2i
1+i
=0
=1
1 i = T(2 i)
3
Rotemos esta regin un ngulo de 4 , es decir
3i
aplicamos la funcin z e
243
Aplicaciones
2i
T
1 + i = T(2)
0
1
3i
4
z e
1 i = T(2 i)
0
z z2
0
3i
2
e 4 z
La funcin total es (z) = z (1 + i) .
La solucin para el semiplano superior est dado por el ejemplo 7.1.7, es decir
1 y f ( ) d
1 si x > 0
u(x, y) =
.
Ahora
bien,
f(x)
=
, por lo que
2
2
0 si x < 0
(x ) + y
y d
y d
d
1
1
1
u(x,y) =
.
2
2 =
2
2 = y x 2
(x ) + y
( x) + y
+ 1
0
0
y
0
244
Captulo 7
x
1 y dt
1
z
1
e
(x, y) = u((z)) = u z (1 + i) = 1 Arg z (1 + i) .
EJEMPLO 7.2.2:
Encontremos el potencial elctrico de un capacitor formado por 2 conductores
cilndricos paralelos con centros en 1 y 0 y radios 1 y 3 respectivamente, cuando el
potencial elctrico en el cilindro interior es 0 y 1 en el cilindro exterior.
Y
Y
1
0
1
1
3
r1
X
r2
245
Aplicaciones
r = x 2 + y 2
x = r cos
Se tiene que
y
y , por lo que
y = r sen
= Arc Tan x
u x
u u r u
2 x
r = u cos ;
=
+
=
u
+
0
=
x r x x
r
r
r
2
x2 + y2
u y
u u r u
2 y
r = u sen ;
=
+
=
u
+
0
=
y r y y
r
r
r
2
2
2
x +y
2
u
=
u r cos
x2 x
) = r (u r cos ) xr + (u r cos ) x =
y
2
x
y
2
= ur r cos cos ur sen
2 = ur r cos + ur sen 2
2 =
y
x +y
1 + 2
x
u
r sen
2
= ur r cos2 + rr sen2 ;
= ur r cos + ur sen 2
r
2
r
u r cos y =
2 = y u r sen = r u r sen y +
y
1
x
x
2
= u sen sen + u cos
2 = ur r sen + ur cos 2
2 =
rr
r
y
x +y
1 + 2
x
u
r cos
2
= ur r sen2 + rr cos2 ,
= ur rsen + ur cos 2
r
+
sen
)
+
rr
r
rr
r
x2 y2
f"
1
Se tiene que ur r = f", ur = f', por lo que (Ln f')' = f ' = r Ln f' = Ln r + A1
A
A
= Ln r + Ln A = Ln r f' = r u = A Ln r + B = u(r).
246
Captulo 7
u(r ) = A Ln r + B = a
b a
Ahora las condiciones iniciales son: u(r 1 ) = A Ln r 1 + B = b A =
r ,
2
2
Ln r2
a Ln r a Ln r b Ln r + a Ln r
b a
2
1
1
1 =
Ln r1 =
B=a
r
r2
L r2
Lr r
1
1
a Ln r 2 b Ln r 1
.
= Ln r Ln r
2
1
Ln r
1
=
(b a) Ln r + a Ln r b Ln r
2
1.
Ln r 2 Ln r 1
Para resolver nuestro problema original, sea T de Mbius que transforma nuestra
regin en 2 crculos concntricos, digamos que | z 1 | = 1 lo manda a | z | = 1. La solucin
1
3
al problema ser v = u T.
Sea T(a) = 0, entonces el
conjugado de a con respecto a ambos crculos debe coincidir y lo llamamos a*. Se tiene que
(a* 1) (a 1) = 1
9
1
T(a*) = y a* satisface:
a 1 + 1 = a a + a (a 1) =
(a*) (a) = 9
9 81 36 9 45
9 (a 1) a2 9 a + 9 = 0 a =
=
. Puesto que | a 1 | < 1,
2
2
247
Aplicaciones
18 ( 9 + 45) 9 + 45
9
18
z a
45
,
a*
=
=
=
. Entonces T(z) = z a* =
2
81
45
2
9 45
9 45
z
2 z 9 + 45
2
=
.
2 z 9 45
9 + 45
z
2
7 45
2 9 + 45
=
=
Para hallar , hagamos T(1) = 1 1 =
7 + 45
2 9 45
45 + 7
4 5 + 7 2 z 9 + 45
=
, por lo que T(z) =
.
4 5 7
45 7 2 z 9 45
( 4 5 + 7) ( 3 + 45) =
4 5 + 7 6 9 + 45
Ahora T(3) =
=
6 9 45
45 7
( 45 7) ( 3 45)
4 45 + 24
=
.
4 45 24
4 45 + 24
As pues tenemos r = 1, r =
, a = 0, b = 1 la solucin al problema es:
1
2 4
45 24
a=
4 5 + 7 2 z 9 + 45
Ln
45 7 2 z 9 45
(1 0) Ln |T(z)| + 0 0
v(z) = u(T(z)) =
=
.
4
45 + 24
Ln ( 4 45 + 24) Ln ( 4 45 24)
Ln
4 45 24
EJEMPLO 7.2.3:
Y
Lneas
Equipotenciales
2
0
248
Captulo 7
constante en la regin de la siguiente figura, y cuyo flujo en toda la orilla es 0.
Primero veamos que si tuvisemos el semiplano superior, la solucin sera u(x, y)
= C y, con C una constante arbitraria. Hallaremos una transformacin conforme f de la
regin en H+ y entonces la solucin ser: v(z) = u(f(z)) = C Im f.
Ahora, la regin puede considerarse un tringulo con vrtices en i, 0 y . Los
ngulos exteriores sern 2 , y 2 respectivamente. Por tanto g = f1 : H+ con
2
g(1) = i, g(1) = 0, g() = , se puede dar por las frmulas de Schwarz-Christoffel
+
1
2
(z 1)
1
2
z + 1
= A z 1 .
1
2
1
2
2 + 1
z + 1
z+1
2
4
= z 1 , 2 = z 1 , z = 2
=1+ 2
, dz =
2 d, por lo que
2
1
1
( 1)
4
I=
d .
( 2 1) 2
I = Ln z +
g(z) = A
z2
{Ln ( z + z 2 1) + 2 z 2 1} + B.
1
2
1
Ln
2
Aqu (z 1) = e
Ahora,
1 + 2 z2 1 + constante, es decir,
( z21)
3
y tomamos la rama de Ln con 2 < Arg z < 2 .
g( 1) = A ( Ln ( 1) + 2 0) + B = A i + B = i
= A ( Ln (1) + 2 0) + B
1
1
A = . As que g(z) = f1(z) = 2
z 2 1 + Ln
g(1)
= B
[ z + z 2 1]}.
1
La solucin buscada ser: v(z) = u(f(z)) = C Im ( g (z)) .
EJEMPLO 7.2.4:
249
= 0
B=0y
Aplicaciones
Consideremos el problema de encontrar el potencial elctrico de un capacitor con
placas paralelas y valores a y b. Si las placas son infinitas, las lineal equipotenciales sern
a
planos paralelos a
250
Captulo 7
Y
a
2 ,
0, por lo que los
c
ngulos exteriores en el lmite sern: , y (y el ngulo en el punto al ser 3 ).
Sea g : H+ la transformacin de Schwarz-Christoffel tal que g( 1) = i, g(0)
1
1
1
1
2
= c (" "), g(1) = i, entonces g'(z) = A (z + 1) (z - 0) (z 1) = A ( z 1) z
2
z
3
1
=A z
g(z) = A 2 L n z + B, 2 < Arg z < 2 .
z
g( 1) = A 2 i + B =
i
Adems
A = 2 ; B = i + 1, por lo
1
g(1) = A 2 0 + B = i
2 z
1
tanto g(z) = 2 L n z + i .
Y
251
u=a
1
u=b
X
1
Aplicaciones
1 y f ( ) d
a y f ( ) d
b y f ( ) d
u(x, y) =
)
=
+
2
2
2
2
2
2
(x ) + y
(x ) + y
(x ) + y
0
= \f(a,) \b\bc\[(Arc Tan \b( \f(x,y)) \b( \f(,2))) + \f(b,) \b\bc\[(\f(,2) Arc Tan
\b( \f(x,y))) = \f(a + b,2) + \f(a b,) Arc Tan \b( \f(x,y)) = \f(a + b,2) + \f(a b,) Arg
a + b a b
ab
( i z) = 2 + 2 + Arg z = b + Arg z.
a b
1
Arg ( g (z)) .
EJEMPLO 7.2.5:
Encontremos una funcin armnica v no constante en la regin =
+
H {y i | 0 < y 1} tal que v(x, 0 ) = 0 y v(0, y) = 0, 0 y < 1. Este problema
puede ser interpretado como el flujo de un ro que pasa por un obstculo.
v
0
0
252
Captulo 7
En este problema puede ser visto como el lmite cuando a, b 0 de la regin
Y
X
a 0
representada en la figura:
Otra vez, para aplicar la frmula de Schwarz-Christoffel, notemos que se tendr que
A (z + 1)
(z 1)
z1 =
A z
z2
0
se
Finalmente, en el semiplano superior,
tiene solucin u(z) = y = Im z, por lo que nuestra solucin ser: v(z) = u(f(z)) =
2
1
2
Im (z + 1) .
EJEMPLO 7.2.6:
253
Aplicaciones
Consideremos el semicrculo =
tal que su
temperatura T en la frontera est dado por T = 100 para z = x < 0, T = 0 para z = x > 0 y
supongamos que para |z| = 1 el semicrculo est aislado.
aislado
1
100
W
X
T=0
100
La solucin para W es u(z) = Im z, por lo tanto
100
100
100
y
T(x, y) = Im (Ln z) = Arg z = Arc Tan x .
EJEMPLO 7.2.7:
254
Captulo 7
Otra vez consideremos de hallar la temperatura, ahora en = el primer cuadrante,
Y
T = 100
T(x, y)
i
T=0
T = 100
0
2
X
cuando T en la frontera est dada en la figura:
Otra vez podemos transformar en el semiplano superior mediante f(z) = z2.
0
si 1 < < 2
.
Ahora en H+ las condiciones de frontera son: u() =
100 si > 2 < 1
Por 7.1.7, la solucin est dada por
y u ( ) d
y d
y d
u(x, y) = u(z) =
=
100
+
100
2
2
x 2 + y2
x 2 + y2 =
x
+
y
(
)
(
)
)
1x
100
y
+ Arc Tan 2x =
= Arc Tan
y
100
1 + x
2 x
= + 2 Arc Tan y + 2 Arc Tan y =
1
+
x
2 x
+
y
y
100
=
= + Arc Tan
1
+
x
2
y
y
100
3 y
= + Arc Tan 2
.
y + x 2 x 2
La solucin para ser
100
v(x, y) = u(f(x, y)) = + Arc Tan
(4 x 2 y 2 ) +
255
3 (2 x y)
(x
2 2
(x
Aplicaciones
6 x y
100
.
= 100 Arc Tan
2
2
2
2
2
(x + y ) x + y 2
EJEMPLO 7.2.8:
Encontremos el flujo alrededor de la parte superior del crculo unitario U, si el flujo
F es 0 en la orilla y si la velocidad V es paralela al eje X y esta velocidad es en , es
0
decir tenemos:
F
F(x, 0) = 0, |x| > 1; F(z) = 0 |z| = 1, Re z > 0 y V() = y () = . La regin es
= {z
F(x, y) = u(J(z)) = u z +
= Im z +
= y
2
2 , en su
z
z
x +y
forma polar:
1
1
F(r e i ) = 1 2 r sen = r sen .
r
r
EJEMPLO 7.2.9:
Finalizamos este Captulo encontrando el flujo alrededor de un ala de avin
(idealizada). Sea el exterior del ala.
256
Captulo 7
J = 1 ( z + 1z
2
)
(a)
(b)
1
1
1
J'(z) = 2 2 ; J"(z) = 3 ; J'(1) = 0 ; J"(1) = 1 0, por lo que J dobla el
2z
z
ngulo en z = 1.
257
Aplicaciones
1
J =1
2
J =1 (z + 1
z
2
( z + 1z )
J (z) = z + z2 1
Sea C el crculo |z z 0 | = R tal que J(C) = perfil del ala . Ahora queremos
zz
0
transformar el interior de C en U . Esto lo hace la funcin f : C U , f(z) =
R .
1
Consideremos la funcin g : { z C | |z| > 1}, g(z) = f ( J (z)) =
z z0 +
z2 1
. Nuestro problema se reduce a encontrar el flujo exterior al crculo
R
unitario U. Sea W = {z C | |z| > 1}.
258
Captulo 7
0
1
0
1
1
v(z) = u(J(g(z))) = Im 2
z z + z 2
0
259
R,
R
z z0 +
z 2
REFERENCIAS.
[1] Ahlfors, Lars V.; Complex Analysis, Second Edition, McGraw-Hill Kogakusha
LTD, 1966.
[2] Boas, Mary L.; Mathematical Methods in the Physical Sciences, John Wiley &
Sons, Inc., 1966.
[3] Churchill, Ruel V.; Brown, James W.; Verhey, Roger F.; Complex Variables
and Applications, Third Edition, McGraw-Hill Kogakusha LTD, 1974.
[4] Conway, John B.; Functions of One Complex Variable, Springer-Verlag GTM #
11, 1973.
[5] Greenleaf, Frederick P.; Introduction to Complex Variables, Saunders Company,
1972.
[6] Kreyszig, Erwing; Matemticas Avanzadas para Ingeniera, Volumen 2, Tercera
Edicin, Editorial Limusa, 1976.
[7] Markushevich, Alexei; Teora de las Funciones Analticas, Tomos I y II,
Editorial Mir, 1970.
[8] Marsden, Jerrold E., Basic Complex Analysis, W.H. Freeman and Company,
1973.
[9] Nehari Zeev; Conformal Mapping, Dover Publications, Inc, 1952.
[10] Rudin,Walter; Real and Complex Analysis Second Edition, McGraw-Hill, Inc.
1974.
[11] Saff, Edward Barry; Snider, Arthur David; Fundamentals of Complex Analysis
for Mathematics, Science and Engineering, Prentice Hall, Inc., 1976.
[12] Spivak, Michael; Clculo en Variedades, Editorial Revert, 1972.
[13] Vargas Guadarrama, Carlos Arturo; Un segundo curso de Variable Compleja,
Centro de Investigaciones y Estudios Avanzados del I.P.N., 1987.
260
INDICE
A
absolutamente convergente, 30
argumento, 99
armnicas conjugadas, 238
B
bola abierta, 42
bola cerrada, 42
Bolzano, 8
C
C1 por tramos, 110
C1, 110
cambio de variable, 119
Cauchy, 9
cerradura, 45
complejo derivable, 64
condicionalmente convergente, 32
conformemente equivalentes, 221
conjugado, 3
conjunto abierto, 43
conjunto arco-conexo, 50
conjunto cerrado, 44
conjunto compacto 51
conjunto conexo, 49
conjunto derivado, 45
conjunto disconexo, 48
conjunto simplemente conexo, 160
continuamente diferenciable por tramos, 110
continuamente diferenciable, 110
converge, 6
convergencia uniforme, 92
coseno, 94
criterio de Cauchy, 34
criterio de Cauchy-Maclaurin, 40
criterio de D'Alambert, 35
criterio de Dirichlet, 29
criterio de la integral, 40
criterio de la raz, 34
criterio del cociente, 35
criterio M de Weierstrass, 92
cubierta, 51
curva cerrada, 113
curva, 50
261
Indice
D
derivada compleja, 64
derivada direccional, 67
derivada parcial, 67
desigualdad del tringulo, 4
desigualdades de Cauchy, 145
dilatacin, 184
dominios doblemente conexos, 222
E
ecuaciones de Cauchy-Riemann, 72
esfera de Riemann, 61
F
frmula de Moivre, 99
frmula de Schwarz-Christoffel, 230, 232,
233
frmula integral de Cauchy, 141
frontera, 45
funcin analtica, 88
funcin armnica, 238
funcin conforme, 179
funcin continua, 53
funcin de Joukowski, 200
funcin entera, 153
funcin exponencial, 94, 197
funcin holomorfa, 64
funcin logaritmo, 104
funcin meromorfa, 173
funcin potencia, 198
funcin real diferenciable, 66
H
homotecia, 184
homotopa entre curvas, 158
I
integral tipo Cauchy, 133
interior, 45
inversin, 184
ndice de una curva alrededor de un punto,
137
L
Lema de Schwarz, 217
lmite inferior, 15
lmite superior, 15
lmite, 6
logaritmo, 104
longitud de una curva, 110
262
Indice
M
mtrica, 5
mdulo, 3
N
norma,3
nmeros complejos, 1
O
orientacin, 191
R
radio cruzado, 186
radio de convergencia, 81
regin, 51
regla de la cadena, 71
rotacin, 184
P
parte imaginaria, 3
parte principal de la serie de Laurent, 170
parte real, 3
parte regular de la serie de Laurent, 170
parte singular de la serie de Laurent, 170
perfiles de Joukowski, 205
plano complejo, 1
polo, 166
primitiva, 116
principio de reflexin de Schwarz, 163
principio de simetra, 163
principio de simetra, 195
S
Schwarz-Christoffel, 226
semiplano inferior, 192
semiplano superior, 192
seno, 94
serie anarmnica, 31
serie de Laurent, 167
serie de potencias, 79
serie, 23
series, 6
series alternantes, 30
simetra con respecto a un crculo, 192
singularidad aislada, 165
263
Indice
singularidad esencial, 166
singularidad removible, 166
sucesiones, 6
sucesin de Cauchy 9,
sucesin de sus sumas parciales, 24
T
tangente, 207
Teorema de Bolzano-Weierstrass, 8
Teorema de Casorati-Weierstrass, 171
Teorema de Cauchy para conjuntos
convexos, 131, 140
Teorema de Cauchy, 158
Teorema de Cauchy-Goursat, 126, 129
Teorema de Cauchy-Hadamard, 79
Teorema de comparacin, 33
Teorema de Heine-Borel, 52
Teorema de Hurwitz, 175
Teorema de Identidad, 151
Teorema de la funcin inversa, 156
Teorema de Liouville, 154
Teorema de los residuos, 172
Teorema de Morera, 149
Teorema de Poisson-Schwarz, 239
Teorema de Rouch, 176
Teorema de Unicidad, 151
Teorema del mapeo abierto, 157
Teorema del mapeo de Riemann, 221
U
uniformemente continua 59
W
Weierstrass, 8
264
CL
1).
INTEGRALES POR
MTODO DE RESIDUOS.
CULO
DE
EL
x2
Sea I =
4 dx.
1
+
x
Consideremos f(z) =
z2
1 + z4
Ahora 1 + z4 = 0 z4 = 1 = e i
z = zk = exp
i + 2 k i
(2 k + 1) i , k = 0, 1, 2, 3.
=
exp
4
4
i
2 1+i ;
z = exp =
)
0
4 2 (
3 i
2 1+i ;
z = exp
=
)
1
4 2 (
5 i
2 1i ;
z = exp
=
)
2
4 2 (
7 i
2 1i .
z = exp
=
)
3
4 2 (
z1
z0
0
Sea
frontera del semicrculo superior con centro en 0 y radio R (R > 1), recorrido
en sentido positivo.
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
z2
Entonces
f(z) + Res f(z) .
4 dz = f(z) dz = 2 i zRes
=
z
z = z1
1
+
z
0
R
Ahora bien,
lim
z z0
2
3 z 2 z z0
3
4z
z0
4
( z z0) z
1 + z4
=
.
z30 4 z0
1
Similarmente Res f(z) = 4 z .
z = z1
1
Por lo tanto tenemos:
1
1
i
i
3i
+ 4 z = 2 exp 4 + exp 4 =
0
1
f(z) dz = 2 i 4 z
i
2(1i)+
2(1i)=i( 2i)= .
2 2
2
R
Por otro lado,
f(z) dz =
f(x) dx
+ f(z) dz,
z2
que f(z) dz =
4 dz
+
1+z
R
+
R
R
x2
R 4
0, y que l i m f(x) dx =
4 dx = I.
R R
R 1R
1
+
x
x2
1+x
R
donde + es el
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
2).
sen x
Sea I =
dx.
x
0
iz
e
Sea f(z) = z , f(z) tiene un polo simple en z = 0. Sea la curva dada en
la figura. R
Entonces
f(z) dz = 0.
R
r
ix
iz
ix
iz
e
e
e
e
Por otro lado, f(z) dz =
x dx +
z dz +
x dx +
z dz.
r
R
e i z i t exp (i R e i t)
Ahora,
dt |exp (i R e i t)| dt =
i t
z dz = i e
e
0
0
R
exp ( R sen t) dt R 0.
0
e
iz
iz
iz
dz
e 1
e
lim z
dz = 0 = l i m z dz l i m z .
r0
r0
r0
r
r
iz
dz
i ei t
e
Ahora z = i t dt = i, por lo tanto l i m z dz = i.
r0
e
0
r
r
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
r
r
R
ix
iy
ix
e
e
e
Por otro lado, x dx = = y ( dy) = x dx. Por lo
R
R
r
y=x
R
iz
ix
ix
e
e e
x
r0
r 0
R
R r
2 i sen x
sen x dx = .
=
dx
i
=
0
x
2
x
0
0
3).
d
Sea a > 1, I =
a + cos .
0
Se tiene cos =
dz = i ei d = i z d;
+ e i
, por lo tanto si definimos z = ei se tiene que
2
z z1
z
1
2 a z + z2 + 1
a + cos = a + 2 + 2 = a + 2 + 2 z =
.
2z
1
d
Entonces
a + cos = 2
2
1
d
a + cos = 2
d z
iz
2
z + 2 a z + 1
2z
dz
i
i
2
z + 2 a z + 1, donde = e , 0 2 .
2 a 4 a2 4
Ahora bien, z2 + 2 a z + 1 = 0 para z =
=a
2
R.
Notemos que
=a
| a a2 1| =
a2 1 < 1.
4
a +
a 2 1 > 1;
a2 1
| a + a2 1|
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
1
f(z), donde f(z) = 2
.
z
+
2
a
z
+
1
2
z=a+
a 1
1
1
Entonces se tiene:
Res
f(z) =
lim
=
.
2z+2a
2
2
2
z=a+
a
1
z
a
+
a
1
2
a 1
Por tanto I = i ( 2 i )
Res
d
Por lo tanto:
a + cos = 2
2
0
4).
=
1
.
1
log x
Sea
1 + x2 dx = I.
0
3
Si z =
| z| e i
2<< 2 .
Sea la curva:
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
log z
1 + z2
2 i log i
i 2
f(z) =
=i 2 = 2 .
f(z) dz = 2 i zRes
2i
=i
Ahora: f(z) dz =
R
log (R
log x dx +
2
1 + x2
1 + R
r
0
ei )
e
2i
R i ei d +
r
i
log (r e )
log |x| + i
i
+
dx
2
2 2 i r i e d.
1+x
1+r e
R
0
i
i
log (R e ) R i ei d = R log (R e ) i ei d
1 + R2 e2 i
1 + R2 e2 i
log R +
R2 1
0;
R
i
log (r e ) r i ei d r log r + 0.
1 + r2 e2 i
1 r2 r 0
0
r
R
R
log
|x|
+
i
log x
dx .
Finalmente,
dx =
2
2 dx + i
2
1+x
1+x
1+x
R
r
r
R
d
x
dx
As pues, tenemos: l i m
=
= [Arc tg x] = 2 0 = 2 .
2
2
r0
0
1+x
1+x
R
r
0
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
i 2
log x dx + 0 + 0 + ( i)
Por tanto:
=
2
1 + x2
2
2
log x dx = 0 .
1 + x2
Ejercicios:
1)
Calcular:
(c)
2)
(a)
2
x dx
;
4
2
x +x +1
0
cos 2 d
2,
1 2 a cos + a
0
a2 < 1;
(b)
(d)
cos x 1 dx;
x2
2;
a
+
cos
(
)
a > 1.
Probar que:
(a)
dx
= 3 , a > 0;
2
2
2
4a
(x + a )
0
(b)
a
cos ax dx = (a + 1) e , a > 0;
4
2 2
(1 + x )
0
(c)
log x dx = .
4
2 2
(
1
+
x
)
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
Consideremos f(z) =
Cot z
z
Cos z
= 2
.
z Sen z
Ahora, Sen z = 0 z = n z = n
R
R
z=x+iy
f(z) dz 0.
R
R
Res f(z).
Por tanto l i m f(z) dz = 2 i
R
z
n = =n
R
1
d2 (Coz z) z
= lim
=
Para n = 0 se tiene: Res f(z) = Res 2
z=0
z = 0 z Sen z 2 z 0 dz2 Sen z
Cos z
1
d2
1
d ( Cot z z Csc2 z ) =
l
i
m
z
Cot
z
=
l
i
m
(
)
2 z 0 dz2
2 z 0 dz
1
2
2
2
2
2 zl im0 ( Csc z Csc z + 2 z Csc z Cot z) =
1
2 zl im0
( 2 Csc2 z ( 1 + z Cot z ) ) =
8
C l cu l o de In t e gr a l e s po r e l m t o do de r e si du o s
z Cot z 1
z Cos z Sen z =
l i m
=
l
i
m
z0
z 0
Sen2 z
Sen3 z
= 3 ( 1 ) = 3.
lim
2
z0
3 Sen z Cos z
Para n 0:
Cos z
(z n) Cos z
Res f(z) = Res 2
= lim
=
z=n
z = n z Sen z z n z2 Sen z
Cos n
1
1
=
.
n 2 Cos n n 2
Por tanto, 0 = 2 i 3 + 2
2
n=1
n=1
2
= 3 2 = 6 .
n2
1
TRANS
FORMADA
DE
LAP
De f i n i c i n .
LACE
. Se define la
M
st
transformada de Laplace de f por: { f }(s) = e
f(t) dt = l i m e s t f(t) dt
0
M 0
siempre y cuando este lmite exista para s > s , algn s . Notemos que el
0
0
parmetro s puede ser tomado complejo.
Pr o po sici n .
s t f(t) dt K (a s) t dt = K ( a s ) t dt
e
e
0 e
0
0
De m o s t r a c i n .
K
K
= s a e ( a s ) t = s a < .
0
Pr o po sici n .
{ f1 + f2 } = { f1 } + { f2 }; , R.
De m o s t r a c i n .
st
f1 + f2 dt =
f1 + f2 = e
st
f1(t) dt + e s t f2(t) dt = { f1 }(s) + { f2 }(s).
e
0
0
T r a n sfo r m a da de La pl a ce
Ejem plo s:
1).
1
1
st
dt = s e s t = s , s > 0.
{ 1 }(s) = e
0
0
2).
{ e
3).
at
at st
}(s) = e e dt = e ( s a) t dt = s 1 a, s > a.
0
0
1
1
1
(
e i a t + e i a t) (s) = 2 { e i a t }(s) + 2 { e i a t }(s)
2
1
1
1
1
s
+
i
a
+
s
ia
s
=
=2
+
=
s2 + a2.
s i a s + i a 2
s2 + a2
{ cos a t }(s) =
4)
a
.
{ sen a t }(s) = 2
s + a2
5)
1
1
1
s
1
s a2
6)
a
{ senh a t }(s) = 2
.
s a2
Si { f }(s) = F(s), entonces { e a t f }(s) = F(s a).
Pr o po sici n .
De m o s t r a c i n .
( s a) t
e
f(t) dt = e s t ea t f(t) dt = { ea t f
0
0
Teorem a.
De m o s t r a c i n .
tomando v = e
}(s).
st
{ f' }(s) = e
st
T r a n sfo r m a da de La pl a ce
As, { f" }(s) = { (f'(t))' }(s) = s { f' }(s) f'(0) =
s
Teorem a.
{ f ( n ) } = sn { f } sn 1 f(0) sn 2 f'(0) s f ( n 2 )(0) f ( n 1 )(0) =
n
s { f }
n1
sn i 1 f (i)(0).
i=0
Ejem plo s.
1).
(n)
}(s) = { tn }(s a) =
n!
} 0, por
2).
{ ea t tn
3).
4).
5).
,
(s a)n + 1
s > a.
sa
(s a)2 + b2
b
(s a)2 + b2
T r a n sfo r m a da de La pl a ce
1).
s1
Sea F(s) = 2
, hallemos 1{ F(s) }(t).
s s2
s1
s1
A
B
(A + B) s + (A 2 B)
Se tiene 2
= (s 2) (s + 1) = s 2 + s + 1 =
,
(s 2) (s + 1)
s s2
A+B = 1
2
1
por lo tanto
3 B = 2, B = 3 A = 3 .
A2B = 1
s1
1 1
2 1
Es decir tenemos 2
= 3 s 2 + 3 s + 1.
s s2
1
2
1
1
Por lo tanto 1{ F(s) }(t) = 3 1s 2 (t) + 3 1 s + 1 (t) =
1 2t 2 t
.
3 e +3 e
2).
Sea F(s) =
s2 + 6
(s
+ 1) (s +4)
2
2
s +6
= 2
+
=
s + 1 s2 + 4
2
2
A ( s + 4) + B ( s + 1 )
(s2 + 1) (s2 + 4)
2
5
De aqu obtenemos: A = 3, B = 3.
5
1
2
1
1
As: 1{ F(s) }(t) = 3 1 2
(t) 3
2
(t) =
s +1
s +4
2
5
sen t 3 sen 2 t .
3
t
1
f(u) du (s) = s { f }(s). Equivalentemente
0
Teorem a.
1 1
F(s)
(t)
T r a n sfo r m a da de La pl a ce
t
De m o s t r a c i n .
Sea g(t) =
1
= { f(t) }(s) = s { g(t) }(s) g(0), por lo que { g(t) }(s) = { f(t) }(s).
s
E j e m p l o . Hallemos 1 2 2
2 (t).
s (s + w )
1
1
1
1 1
1 2
s 2
2 (t) = w sen w t
2 (t) =
s
s
+w
+w
t
t
1
(u) du = 1 sen w u du = 1 cos wut =
1
0
2
2
w
w2
s +w
0
0
1
w2
(1 cos w t).
t
t
1
1
1 1
1
1 2 2
s 2
2 (u) du = 2 (1 cos w u) du
2 (t) =
s +w
s (s + w )
w
0
0
=
t
1
1
= 1 t 1 sen w t .
u
sen
w
u
w
0 w2 w
w2
T r a n sfo r m a da de La pl a ce
Se tiene { y" } = s2 { y } s y'(0) y(0) = s2 z 2, donde z = { y }. Por
lo tanto
2
2
s2 z 2 + 9 z = 0 z = 2
y = 1{ z } = 1 2
(t) =
s +9
s +9
3
2
1 2
3 2
(t) = 3 sen 3 t .
s +9
2).
=0z= 2
(s + 1)2 + 22
(s + 1)2 + 22
s + 2 s + 5 (s + 1)2 + 4
y = 1{ z }(t) = 2 e t cos 2 t e t sen 2 t = e t (2 cos 2 t sen 2 t) .
3).
= 2
s +1 s +4 s +1
A + B = 0
2
2
5 1
2 1
3 2
3 A = 2 A = 3; B = 3 z = 3 2
4A+B = 2
s +1
s +4
5
1
y = 3 sen t 3 sen 2 t .
4).
4z
2
=s
6
T r a n sfo r m a da de La pl a ce
2
2
s3 z s + 1 + s2 z 1 + 4 s z + 4 z = s ; z (s3 + s2 + 4 s + 4) = s + s
(s2 + 4) (s + 1)
z=
s2 2
+
=
=
s (s2 + 4) (s + 1) (s2 + 4) (s + 1) s (s2 + 4) (s + 1)
A
B
Cs+D
=s +
+
s + 1 s2 + 4
1
2
1
3
6
s
+
1
1
3
6
5
10
5
A = 2 ; B = 5 ; C = 10 ; D = 5 z = s + s + 1 + 2
=
s +4
1 1
1 1
3 s
3 2
= 2 s + 5 s + 1 + 10 2
+5 2
s +4
s +4
1
1
3
3
y = 1{ z }(t) = 2 + 5 e t + 10 cos 2 t + 5 sen 2 t .
5).
y1(0) = 0 ; y'1(0) = 1
con
.
y (0) = 1 ; y' (0) = 0
2
2
Sean zi = { yi }(s), i = 1, 2.
s z y (0) + z = s z y (0) + z ;
1
1
1
2
2
2
1
s2 z1 s y1(0) y1' (0) + s2 z2 s y2(0) y2' (0) = s 1 .
1
z
z
=
s
+
1
z
s
+
1
z
=
1
( ) 1 ( ) 2
1
2 s+1
1
1
s + 1 1 + s2 1
1
s2 z1 + s2 z2 = s 1 + 1 + s
z1 + z2 = 2
+ 2 = 2
=s1
s (s 1)
s
s (s 1)
1
1
1
1
1
1
z1 = 2 s 1 s + 1 ; z2 = 2 s 1 + s + 1
1
1
y1 = 1{ z1 }(t) = 2 ( et e t ); y2 = 1{ z2 }(t) = 2 ( et + e t )
T r a n sfo r m a da de La pl a ce
y1 = Senh t ; y2 = Cosh t .
Ot r a s p r o p i e d a d e s .
0 para t < a
.
Sea ua(t) la funcin escaln unitario definida por: ua(t) =
1 para t > a
1
1
st
dt = s e s t = s e a s.
= e
a
a
Si F(s) = { f(t) }(s),
Pr o po sici n .
entonces
e a s F(s) = { f(t
a) u (t) )(s).
a
De m o s t r a c i n .
st
f(t a) dt
{ f(t a) ua(t) }(s) = e
a
e
sa
e s y f(y) dy = e s a F(s).
0
Ejem plo s.
1).
Hallemos
y=ta
e s( y + a ) f(y) dy =
0
3s
3 (t).
s
T r a n sfo r m a da de La pl a ce
1
1
Sea F(s) = 3, 1{ F(s) }(t) = 2 t2
s
1{
1 t 3 2 t > a
( )
e a s F(s) }(t) =
f(t a) u a (t) = 2
0
t<a
a = 3
1
2
2 (t 3) u3(t).
2).
e s 1
tiene z =
=
.
2
s (s + 2) (s + 1)
s (s + 3 s + 2)
Si F(s) =
A
B
C
=
+
+
2
s+1 s+2 =
s (s + 3 s + 2) s
1
A (s + 1) (s + 2) + B s (s + 2) + C s (s + 1)
s =
s (s + 1) (s + 2)
0 :
1 = 2 A
2 C
s =1 :
1 = B
s =2 :
1 =
A =
1
2
1
1
1{ F(s) }(t) = 2 e t + 2 e 2 t =
B =1
C=
1
2
f(t).
z = e s F(s) + F(s) y = 1{ e sF(s) }(t) + 1{ F(s) }(t) = f(t 1) u1(t) f(t)
T r a n sfo r m a da de La pl a ce
1
1
1
1
y = u1(t) 2 e (t 1) + 2 e 2 ( t 1) 2 e t + 2 e 2 t .
Pr o po sici n .
Sea F(s) = { f }. Entonces { t f } = ( 1)
n
dn
n
ds
F(s) 1{ F(n)(s) } =
n n
( 1) t f(t).
De m o s t r a c i n .
st
F'(s) = s (e
f(t)) dt = t e s t f(t) dt = { ( 1) t f(t) }(s).
0
0
Ejem plo s.
1).
2).
3).
d
1
2s
{ t sen t }(s) = ( 1) { t sen t }'(s) = ds 2
= 2
.
s + 1 s +1
{ 2 e2 t sen t cos t }(s) = { e2 t sen 2 t }(s) = { sen 2 t }(s 2) =
2
.
(s 2)2 + 4
s+3
s+3
1
1
F(s), F'(s) = s + 3 s + 2. Entonces si { f(t) }(s) = F(s) { t f(t) }(s) =
F'(s) t f(t) = e
2t
3t
e 2 t e 3 t
, por lo tanto f(t) =
.
t
Pr o du cto de Co n v o lu ci n .
10
T r a n sfo r m a da de La pl a ce
De f i n i c i n .
Teorem a.
De m o s t r a c i n .
Sea F(s) = { f }(s), G(s) = { g }(s). Entonces se tiene que
\b\bc\{( \b(f * g) (t) )(s) = \i(0,, e s t \b\bc\[( \i(0,t, f \b(t ) g \b() d ) )
t
0t<
d t) =
s t
st
= e
f (t ) g () d t d = g () d e
f (t ) d t
0
0
s
y
+
e (
)
f(y) dy g () d = e
g () d
0
0
y=t
e s y f(y) d y =
0
F(s) G(s).
11
T r a n sfo r m a da de La pl a ce
Ejem plo s.
1).
2).
1
(t) = 1 1 (t) * 1 1 (t) =
1
2
2
s
s +1
s (s + 1)
t
t
sen d P= cos |0 = 1 cos t.
0
( 1 * 1 ) (t) =
1 d = t;
0
(1 * 1 * 1) (t) =
12
( 1 * sen )
2 t t2
2 0 = 2 .
0
(t) =