Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Gabriel Villa Salvador - Introduccion A Funciones Analiticas y Transformaciones Conformes PDF
Gabriel Villa Salvador - Introduccion A Funciones Analiticas y Transformaciones Conformes PDF
ANALTICAS Y TRANSFORMACIONES
CONFORMES
compleja con el fin de hacer estas notas casi autocontenidas y a su vez presentar una
introduccin a la teora de una variable compleja. Sin embargo se han dejado de lados temas
Febrero de 1989.
ii
NOTACIONES
R Nmeros Reales.
Q Nmeros Racionales.
N Nmeros Naturales.
Z Nmeros Enteros.
C Nmeros Complejos.
Rn { (x 1 x n ) | x i R }
1 i n .
[a,b) {x R |a x < b} .
[a,b] {x R |a x b} .
(a,b) {x R |a < x < b} .
(a,b] {x R |a < x b} .
Final de una demostracin.
Conjunto vaco.
Fc Complemento del conjunto F.
U {z C | |z| < 1}.
Para todo.
z Conjugado de z.
|z| Norma de z.
sup A supremo del conjunto A.
inf nfimo del conjunto A.
pertenece.
[] referencia a la bibliografa.
, Contencin entre conjuntos.
n
Lmite cuando n se va a .
iii
Notaciones
a Serie.
n=0 n
{zn}n=1 Sucesin.
lim Lmite inferior.
n
lim Lmite superior.
n
{ }k=1
sn
k
Subsucesin.
Implica.
(
B z
0 ) bola abierta.
B z0 ( ) bola cerrada.
H+ semiplano superior.
H semiplano inferior.
iv
CONTENIDO
PREFACIO ........................................................ ii
NOTACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
CONTENIDO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
v
Contenido
R E F E R E N C I A S ........................................................ 260
INDICE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
vi
CAPITULO 1.
1. Propiedades Bsicas.
DEFINICION 1.1.1:
PROPOSICION 1.1.2:
(S1) Asociatividad de +
z + (z + z ) = (z + z ) + z z1 , z 2 , z3 C
1 2 3 1 2 3
(S2) Idntico Aditivo
Existe un elemento 0 = (0,0) C tal que z + 0 = 0 + z = z z C
(S3) Inverso Aditivo
1
Los Nmeros Complejos
OBSERVACION 1.1.3:
Las propiedades (S1), (S2), (S3) y (S4) nos dicen que ( R +) es un grupo
2
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.
2
Captulo 1
DEFINICION 1.1.4:
PROPOSICION 1.1.5:
Sean z, w C. Entonces:
(i) z + w = z + w.
(ii) z w = z w.
(iii) z w = z w.
3
Los Nmeros Complejos
z z
(iv) Si w 0, w = .
w
2
(v) |z| = z z .
(vi) |z| 0.
(vii) |z| = 0 z = 0.
(viii) |z w| = |z| |w|.
z |z|
(ix) Si w 0, w = |w|.
1
(x) Si z = a + bi, a = Re z = 2 (z + z ) y b = Im z = 2i1 (z z ).
DEMOSTRACION:
DEMOSTRACION:
2
|z + w| = (z + w) ( z + w )=z z + z w + w z + w w =
|z|2 + z w + z w + |w|2 = |z|2 + 2 Re (z w ) + |w|2
4
Captulo 1
2
|z| + | 2 Re ( z w )| + |w|2 |z|2 + 2 | z w | + |w|2 = |z|2 + 2 |z| |w| + |w|2 =
2
(|z| + |w|) |z + w| |z| + |w|.
OBSERVACION 1.1.7:
DEFINICION 1.1.8:
PROPOSICION 1.1.9:
DEMOSTRACION:
(1) (z,w) = |z w| 0, z, w C .
(2) (z,w) = 0 |z w| = 0 z w = 0 z = w.
(3) (z,w) = |z w| = |( 1) (w z)| = |w z| = (w,z) z, w C .
(4) (z,w) = |z w| = |z u + u w| |z u| + |u w| =
(z,u) + (u,w) z, w ,u C .
EJERCICIO 1.1.10:
5
Los Nmeros Complejos
2. Sucesiones y Series en C.
DEFINICION 1.2.1:
DEFINICION 1.2.2:
6
Captulo 1
1 n 1
Sea zn = 1 + + i 2 . Afirmamos que lim zn = e. En efecto, sea > 0,
n n n
PROPOSICION 1.2.4:
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.
El siguiente resultado demuestra que para analizar la convergencia de una sucesin
en C, basta analizar la convergencia de 2 sucesiones reales.
PROPOSICION 1.2.5:
Sea
{ zn}n=1 una sucesin en C , zn = xn + i yn , z0 = x0 + i y0 . Entonces
lim z = z0 lim xn = x0 y lim yn = y0.
n n n n
DEMOSTRACION:
7
Los Nmeros Complejos
PROPOSICION 1.2.6:
DEMOSTRACION:
OBSERVACION 1.2.7:
n
El recproco de esta Proposicin es falso. Por ejemplo si zn = ( 1) , entonces
8
Captulo 1
DEMOSTRACION:
Sea {zn}n=1 una sucesin acotada, zn = xn + i yn. Entonces por hiptesis existe
M R tal que |zn| M y como |xn| | zn| M, { xn} est acotada, por lo tanto tiene
n=1
. Sea lim x = x . Por otro lado, y z
una subsucesin convergente
{ } xn
k k=1 k nk 0 | | | |
nk nk
est acotada, por lo tanto tiene una subsucesin y
M, por lo que
{ yn }k=1
k { }j=1
n kj
convergente. Si yn j
y0, entonces zn = xn + i yn j
x0 + i y0 = z0.
kj kj kj kj
DEFINICION 1.2.9:
TEOREMA 1.2.10:
en C es convergente z es de Cauchy.
Una sucesin {zn} { n}
n=1 n=1
DEMOSTRACION:
9
Los Nmeros Complejos
EJEMPLOS 1.2.11:
1 i
1) z = + 0 + i 0 = 0.
n n n n
y
2) zn = n + 2 n i diverge pues {n} { 2 n} divergen.
n=1 n=1
n 1 n
3) n + i 1 + n
zn = 1 + i e.
n
4) zn =
n n
3 + i (1) diverge pues aunque { n 3}n=1 converge, la
sucesin {(1)n} diverge.
n=1
PROPOSICION 1.2.12:
DEMOSTRACION:
10
Captulo 1
Sea > 0.
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 n 0 0
(iii) Sea n0 N tal que n n0, |z n z 0 | < ||zn| | z0|| | z n z 0 | <
n n0, por lo tanto lim |zn| = |z0|.
n
|w |
= 0 > 0, existe n N |w0|.
0 | n 0|
(iv) Sea 1 2 0
tal que n n , w w < 2
Ahora:
|w0| w > w |w0| = |w0|.
| 0| | n| | n 0 | 2 | n| | 0| 2
w w w w < 2
Entonces:
1 1 = 0
|w w n | 2 |w 0 w n |.
w n w0 |w | | w |
n 0 w 2 | 0|
|w0|2
Existe m0 N tal que n m0, |w n w 0 | < 2 .
1 1
Sea k = max { n 0 m0}, entonces n k0 , se tiene w w
0 n 0
11
Los Nmeros Complejos
2 |w w | 1 1 zn 1 1
0 n
|w0|
2 < lim
n nw = w 0
. Por ltimo, lim w
n n n n (
n )
= lim zn w = lim zn lim w
n n
1 z
= 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:
DEMOSTRACION:
Ejercicio.
DEFINICION 1.2.14:
DEFINICION 1.2.15:
12
Captulo 1
EJEMPLOS 1.2.16:
13
Los Nmeros Complejos
OBSERVACIONES 1.2.17:
{rn}n=1 R
Anlogamente, definimos primero para una sucesin acotada, la
siguiente sucesin:
t = inf {r
k n |n k}, k N.
14
Captulo 1
(3) Si { rn}n=1 est acotada inferiormente, y no tiene ninguna subsucesin
acotada superiormente, lim t = .
k
k
OBSERVACION 1.2.18:
DEFINICION 1.2.19:
lim tk = lim rn = lmite inferior de {rn} .
k n=1
n
lim l k = lim rn = lmite superior de {rn} .
k n n=1
EJEMPLOS 1.2.20:
n
( 1) + n
1) Sea rn = n .
( 1) n + n
Entonces l k = sup {r n | n k } = sup
n n k. Se tiene
1 < 1 n N n impar
1
n
que rn =
1 + 1 > 1 n N n par
n
1 + 1 k par
k
lk= lim l = lim r n = 1 .
1 + 1 k impar k k n
k+1
15
Los Nmeros Complejos
1 1 k impar
k
Anlogamente, si tk = inf {r n |n k} , t k =
1 1 k par
k+1
lim t = lim r n = 1 .
k k
n
1 n
3) Sea r = 1 + .
n n
es creciente, r e n N, l = sup r
Se tiene que {rn} n k {n |n k}
n=1
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
Sea { rn}n=1 una sucesin acotada, A =
l
R | Existe una subsucesin { rnk}k=1 de { rn}n=1 tal que k
lim = l
=
DEMOSTRACION:
Sean x = sup A
0
R, y0 = inf A R, l k = sup { rn | n k} , t k =
inf {r n |n k}, l 0 = lim rn, t0 = lim rn .
n
n
Se tiene que l k rk tk k N . Sea x A, entonces existe una subsucesin
de r tal que lim r = x. Se tiene lim t lim r lim l t x
{ rn } k k=1 { n}n=1 k nk k nk k nk k nk 0
l 0 x A t0 y 0 y x0 l 0 .
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
m
que {l k } es decreciente, l n l 0.
k=1 m
Sm Sm
( )( )
1 l r l 1
l m kn nm l +m
0 0 0
m
1
Sea Sm = l 0 + m l n > 0. Ahora l n = sup {r k |k n m } existe kn nm
m m m
1
tal que l n Sm < rk l n < l 0 + m.
m nm m
17
Los Nmeros Complejos
Adems
1 1 1
l S = l l + l l l + l = m + l 0, es decir
nm m nm 0 m nm 0 0 m 0
1 1 1
l 0 m < rk < l 0 + m r k
nm | nm |
l 0 < m.
1
Se construir rk
nm+1
tal que kn
m+1
> kn y r k
m | nm+1 |
l 0 < m+1.
1 1 1
Sea m+1 = m+1 existe nm+1 > kn tal que l n l 0 m+1 l 0 + m+1 .
m m+1
1
Sea S = l + ln > 0.
m+1 0 m m+1
Existe k n nm + 1 > kn tal que l n Sm + 1 < rk ln
m+1 m m+1 nm+1 m+1
1 1
r l 0 m+1 l 0 + m+1 .
kn
m+1
Se ha construdo rk
{ }m=1
nm
subsucesin de { rn}n=1 tal que m
lim r k = l 0 , por lo
nm
COROLARIO 1.2.22:
DEMOSTRACION:
18
Captulo 1
DEMOSTRACION:
A= {Conjunto de puntos lmite de {sn}n=1 } = {s0} Sup A = Inf A = s0.
Por lo tanto lim sn = Inf A = Sup A= lim sn = lim sn = s0.
n n
n
COROLARIO 1.2.24:
{sn}n=1 R . Si n R { sn}n=1
es convergente y
Sea lim s n = lim s n = s0
n
lim s = s .
n n 0
DEMOSTRACION:
Si { sn}n=1no estuviese acotada inferior superiormente, se tendra que
lim sn = lim sn = lo que contradice las hiptesis. As pues {sn} est acotada.
n n=1
n
Supongamos que {sn}n=1 no converge a s0 existe 0 > 0 y una subsucesin
{snk}k=1 tal que |s n k s 0 | 0 k N. Puesto que {snk} est acotada tiene una
k=1
convergente a un punto r y puesto que s
subsucesin s n
{ }
k l l=1 0 nk
l |
s0 0
|
l N r0 s0, es decir A = puntos lmite de { sn}
{ }
consta de al menos dos
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
Los Nmeros Complejos
PROPOSICION 1.2.25:
R. Entonces:
Sea {sn}
n=1
i) lim s = s0 existe
n n { }k=1
sn
k
subsucesin de { sn}n=1 tal que
DEMOSTRACION
20
Captulo 1
TEOREMA 1.2.26:
DEMOSTRACION:
a a
Sea r = lim an+1. Sea > 0, existe n0
n n
N tal que n n0 , na+ 1 r +
n
n n0, an+1 (r + )an. As pues se tiene:
an +1 (r + ) an ;
0 0
an +2 (r + ) an +1 (r + )2 an ; etc.
0 0 0
Por induccin se sigue que n n0 , an = an +nn (r + ) nn 0 an
0 0 0
n
n 1 0 n n
lim a lim (r + ) n a n = r + . Es decir > 0, lim a r +
n n n 0 n n
n an+1
lim a r = lim .
n
n n an
a n
Anlogamente se prueba que lim n+1 lim
an y puesto que evidentemente se
an
n n
tiene que
n n
lim an n
lim
an,
n
se sigue el Teorema.
21
Los Nmeros Complejos
COROLARIO 1.2.27:
a
Sea
{ an} n=1
R tal que an > 0 n N . Si an+1n=1 converge, entonces
n
n n a
DEMOSTRACION:
a a a a
Si an+1 converge entonces lim an+1 = lim an+1 = lim an+1
n n=1 n n
n n n n
n n n n an+1
lim a = lim a a converge y lim a = lim .
n n n nn=1 n n n an
n
OBSERVACION 1.2.28:
n a
Puede suceder que
a converge, pero an+1 diverge como lo prueba el
nn=1
n n=1
siguiente ejemplo.
EJEMPLO 1.2.29:
= n, n N, es decir:
dada por a = a 1
Sea {a }
n n=1 2n 2n1
2
1 1 1 1 1 1 1 1
{an}n=1 = 2 2 4 4 8 8 2n 2n .
2n 1 1 2n1 1 1
Se tiene que a2n = y a2n1 = .
2
n 2
2
n
( )
2n1
n 2
n
Por lo tanto
an converge.
n=1
22
Captulo 1
1 1
a n a n+1
2 2n+1 2 1 1
Por otro lado, 2n = = 1 1 y a2n = 1 = 2
.
a2n1 1 n 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:
es decir obtenemos
23
Los Nmeros Complejos
a n bn =
n=0
n=0 n=0
n a
nk b k .
k=0
DEFINICION 1.2.31:
Asociada con una serie an est una sucesin, la sucesin de sus sumas parciales
n=0
definida como:
n
sn = a .
k=0 k
es convergente, entonces la serie se llama convergente y al
Si la sucesin {sn}
n=0
lmite de la sucesin se le llama la suma de la serie:
n
lim sn = s = suma de la serie an.
n=0
es divergente, entonces se dice que la serie es divergente.
Si la sucesin {sn}
n=0
En caso de que la serie a sea convergente, frecuentemente se utiliza el mismo
n=0 n
smbolo para la serie an y para denotar su suma.
n=0
24
Captulo 1
EJEMPLOS 1.2.32:
n
1) Sea an = n, n N , sn = k =
n (n + 1)
2 , de donde lim s n = , por
n
k=0
consiguiente la serie n diverge.
n=0
2) Sea q C, |q| < 1, a C. Sea a = a qn, n N {0}. Entonces
n
n n n+1
sn = ak = a q k = a 1 1 q q , por lo que
k=0 k=0
n+1
1 q a
an = a q n = n
lim sn = lim a 1
n q = 1 q.
n=0 n=0
Sea a = n + i n , n N {0}.
1 1
3)
n
2 3
1 n+1 1
n+1
n n 1 2 1
3
sn = a k =
k=0 k=0
1
2 3
1
k + i k =
1 2
1
+i
1 3
1
, por lo que
an =
n=0
n=0 2
1 1
n + i n = lim sn =
3 n
1
1
1 2
+i
1
1
1 3
3i
=2+ 2 .
4) Consideremos las series
x
n
,
y
n=0 n! n=0 n!
n
, donde x, y C. Entonces
n=0
x
n
n! n=0
n
y
n! =
n=0
n
k=0
x
nk k
y
(n k)! k! =
25
Los Nmeros Complejos
n=0
1
n!
n
k=0
n!
k! (n k)! x nk k
y =
n=0
1
n
( nk) xnk yk
n! k=0
= n=0
1
n!
(x + y) n .
PROPOSICION 1.2.33:
Sean a n = r, bn = s, dos series convergentes, y sea c C . Entonces las
n=0 n=0
series ( a n + b n ) y c an convergen y adems:
n=0 n=0
i) ( n n)
a + b = r + s = a + b .
n=0 n=0 n n=0 n
ii) n c a = c r = c an.
n=0 n=0
DEMOSTRACION:
n n n 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 n
26
Captulo 1
i) ( a n + b n ) = n
lim tn = r + s = a n + b n .
n=0 n=0 n=0
ii) c a n = n
lim un = c r = c a n .
n=0 n=0
TEOREMA 1.2.34:
La serie an converge > 0 existe n0 N tal que m > n n0 ,
n=0
m
a k < .
k=n+1
DEMOSTRACION:
n converge s
Sea sn = ak. Se tiene que: an converge { sn}n=0 { n}n=0
k=0 n=0
es de Cauchy > 0, existe n
0
N tal que m > n n0 , | s m s n | =
m n m
a k
a k = a k < .
k=0 k=0 k=n+1
EJEMPLO 1.2.35:
Vamos a probar que la serie
n=1
1
n
diverge. Supongamos que n=1
1
n
converge,
m
1
entonces dado = 3, existe n0 N tal que m > n n0,
k=n+1
1
k < . Sea m = 2 n,
27
Los Nmeros Complejos
2n
1
entonces se tiene 3 >
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
hemos probado que la serie
1
n
(llamada la serie armnica) diverge.
n=1
El siguiente resultado nos dice como deber ser los trminos de las series convergentes.
PROPOSICION 1.2.36:
Si la serie an converge, entonces n
lim an = 0.
n=0
DEMOSTRACION:
n
Sea sn = a k y sea lim s n = s. Se tiene que an = sn sn 1 , n 1
k=0 n
COROLARIO 1.2.37:
Sea an una serie tal que la sucesin {an}n=0 no converge a 0. Entonces la serie
n=0
diverge.
DEMOSTRACION:
28
Captulo 1
OBSERVACION 1.2.38:
El recproco de la Proposicin 1.2.36 es falso, pues por ejemplo la serie
n=1
1
n
1
diverge pero lim n = 0.
n
DEMOSTRACION:
n
Por induccin se puede fcilmente probar que si sn = ak bk, entonces n > m:
k=1
n n1
ak bk = sn sm1 = r k ( a k a k + 1) rm1 am + rn an.
k=m k=m
Entonces:
n1
| rk| | (a k a k + 1)| + |rm1| |am| + |rn| |an|
|s n s m 1| k=m
n1
M ( a k a k + 1) + M am + M an = M [a m a n + a m + a n ] = 2 M am ,
k=m
29
Los Nmeros Complejos
Sea n > m n0 |s n s m | 2 M am < 2M 2M = {sn} es de Cauchy
n=1
converge.
{sn}n=1
Sea
{ an}n=1 R tal que { an}
n=1
es decreciente y
lim an = 0. Entonces
n
n=1
( 1)n a es convergente.
n
DEMOSTRACION:
n n 1 si n es impar
Sea b = ( 1)n , r = b = ( 1 ) k = |rn| 1
n n k 0 si n es par
k=1 k=1
n N an b n =
( 1) n a converge.
n
n=1 n=1
DEFINICION 1.2.41:
Sea an una serie de nmeros complejos. an se llama absolutamente
n=0 n=0
convergente si la serie de nmeros reales no negativos | an| converge.
n=0
TEOREMA 1.2.42:
30
Captulo 1
Si la serie a es absolutamente convergente, entonces es convergente y se tiene
n=0 n
n | an|.
a
n=0 n=0
DEMOSTRACION:
m m
Sea > 0, existe n N tal que m, n n , a | a | < , entonces
0 0 k=n+1 k k
k=n+1
n
an es de Cauchy y por lo tanto converge. Adems se tiene que n N , a k
n=0 k=0
n n n n
| ak| a n = lim a k = lim a k lim | ak| = | an|.
k=0 nk=0 n k=0 nk=0
n=0 n=0
OBSERVACION 1.2.43:
n=0
( 1)
n
n
converge pero no es absolutamente convergente pues la serie
n=0
n =
n
( 1)
n=0
1
n
diverge.
DEFINICION 1.2.44:
31
Los Nmeros Complejos
PROPOSICION 1.2.45:
Sea z una serie de nmeros complejos, z = x + i y . Entonces z
n=0 n n n n n=0 n
converge x n y yn convergen.
n=0 n=0
DEMOSTRACION:
PROPOSICION 1.2.46:
Sea {an} R tal que an 0 n N. Entonces
n=1
an converge { sn}n=1
n=1
n
est acotada, donde sn = 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
converge s est acotada.
{ n}n=1
32
Captulo 1
DEMOSTRACION:
n n
Sea sn = a k , r n = b k , sn rn n N .
k=1 k=1
i) Se tiene que lim sn = lim rn = bn diverge.
n n n=1
ii) Existe M > 0 tal que rn M n N sn M n N a n
n=1
converge.
EJEMPLO 1.2.48:
1) Consideremos la serie
n=1
1
n (n + 1)
.
n n
Sea s =
n k=1
1
k (k + 1) = k=1
1
1 1
k k + 1 = 1 n + 1 n
lim s n = 1,
por lo tanto n=1
1
n (n + 1)
= 1.
33
Los Nmeros Complejos
n=1
1
n
2 converge.
DEMOSTRACION:
34
Captulo 1
an converge.
n=0
ii) Sea > 1. Sea t R tal que 1 < t < . 1 t Existe una
tal que lim nk a = . Existe k N tal que k k , nk a >
subsucesin
{ }
an
k k=0 k nk 0 0 nk
t an > tn k k k0 lim an = pues t > 1 { an} no converge a 0, por lo
k k k n=0
tanto a diverge.
n
n=0
n n
iii) Se darn series a n , bn tales que lim a
n n
= lim b
n n
= 1,
n=1 n=1
an, bn 0 y tales que an converge y bn diverge.
n=1 n=1
1 1 n n
Sea an = 2, bn = n, lim
n
a n
= lim
n nb = 1. a converge, b
n n=1 n n=1 n
diverge.
35
Los Nmeros Complejos
i) Si < 1, a converge.
n=0 n
ii) Si > 1, an diverge.
n=0
DEMOSTRACION:
n a
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) Sea x C, consideremos la serie x
n=0 n!
n
.
n 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 |
entonces |a | > 0. Se tiene lim n+1 = lim
(n + 1)! |x|
= lim n + 1 = 0 < 1, por lo que
n n |an| n |x| n n
n!
serie x
n=0 n!
n
es absolutamente convergente x C.
36
Captulo 1
(n + 1)!
an+1 (n + 1) n + 1 nn
2) Sea n=1
n!
n
n, a n =
n!
n
n, nlim a
n
= lim
n n! = lim
n(n + 1) n
=
nn
lim
n
1
n+1 n
= lim
n
1
1 + 1 n
1
=e < 1, por lo tanto
n=1
n!
n
n converge.
n n
n!
Adems se tiene que lim n = 0.
nn
3) Consideremos la serie
n=1
np
cn con c C, |c| > 1, p R.
n
p p
n n n np 1
Sea a = n , |a | = n > 0. Entonces lim |a | = lim
n c n |c| n n n = < 1.
|c|n |c|
Por lo tanto la serie es absolutamente convergente y por lo tanto convergente.
np
Adems lim n = 0.
nc
TEOREMA 1.2.52:
37
Los Nmeros Complejos
Sean {an} y {bn} C tal que a = s es absolutamente convergente y
n=0 n=0 n=0 n
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
b es convergente y se tiene a b = r s.
k=0 nk k
n n
n=0
n=0
DEMOSTRACION:
n n n n n
Sean sn = a k , tn = b k , un = ck, donde ck = a ki b i, rn = | ak|.
k=0 k=0 k=0 i=0 k=0
n
Se tiene que lim s n = s, lim t n = r. Por induccin es fcil ver que un = c k =
n n k=0
n n n n
ak 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 k=0
n
a k ( tn tn k). Ahora {rn}n=0 y { tn}n=0 son convergentes, existe M > 0 tal que
k=0
38
Captulo 1
Ahora en la primera suma, k n0 n k n n0 > n0 |t n t n k| < 3M;
adems |t t | | t | + | t | 2 M k N {0} | s t u |
n nk n nk n n n
n
0 n
k=0
n
| k| 3M k=n +1| k|
a + a (2M ) = 0
3M k=0 | k| + (2M)
a n a <
| k|
0 k=n0+1
M + 2 M 3M = .
3M
es convergente y lim s t = s r, por lo tanto
Ahora {s n t n } { un}n=0 es
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
OBSERVACION 1.2.53:
n=1
( 1)
n
n
n=1
( 1)
n
n
=
n=1
cn con cn =
n
ak
k=1
bnk+1 =
n n
k=1
k
( 1) ( 1)
nk+1
= ( 1)n+1
k n k + 1 k=1 k( n
1
k + 1 )
. Puesto que 1 k n,
39
Los Nmeros Complejos
1 1 1 1
n k + 1 n 1 + 1 = n = n, por lo tanto
k (n k + 1)
n n
n n
| n|
c =k=1 k ( n
1
k + 1
)
k=1
1
n = 1 n N , por lo tanto
n=1
cn es divergente.
DEMOSTRACION:
i
f(x) dx =
n+1
1
n
f(x) dx a i .
i=1
n n+1
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+1
n M n + 1, f(x) dx f(x) dx f(x) dx, por lo que
1 1 1
n+1 M
lim f(x) dx = lim f(x) dx la cual existe.
n 1 n1
n+1
Recprocamente, si tal integral existe, entonces se tiene sn+1 f(x) dx + a1
1
est acotada y por lo tanto
f(x) dx + a1, lo que dice que {sn} a converge.
1 n=1 n=1 n
EJEMPLO 1.2.55:
Sea p R , p > 0, p 1. consideremos la serie R,
1
p. Sea f : [1, )
n=1 n
1
f(x) = p.
x
Puesto que f'(x) = p xp1 < 0 x [1, ), se tiene que f(x) es decreciente y
M M
1 xp+1 M
f(n) = p = an. Ahora f(x) dx = lim f(x) dx = lim x p dx = lim p+1 =
n 1 M1 M 1 M 1
M
1 1
lim 1p
Mp1
1 el cual existe p 1 > 0 p > 1. Es decir
n=1
1
n
p converge
p >1 (para p > 0). Recordando el Ejemplo 1.2.48 (2), se tiene que en general, si p R es
arbitrario, entonces
n=1
1
n
p converge p >1 .
41
CAPITULO 2.
1. Topologa de C.
DEFINICION 2.1.1:
z0
0 X
{ z C | z z0 .
| | }
42
Captulo 2
DEFINICION 2.1.2:
( )
B z A.
z
TEOREMA 2.1.3:
DEMOSTRACION:
absurdo.
w z
|z 0 w| 0
( )
w B z . Sea = |z w| > 0. Afirmamos que B(w ) B z .
0 0 0 ( )
En efecto, sea u B( w ), entonces |w u| < , por lo que | u z | =
0
43
Topologa en C y Funciones Continuas
|u (
w + w z 0 | |u w| + |w z 0 | < + |w z 0 | = u B z 0 )y
( )
por lo tanto B z 0 es abierta.
n
ii)
k=1
( )
Sea z0 G k. Para cada 1 k n, existe k > 0 tal que se tiene B z 0 k
DEFINICION 2.1.4:
COROLARIO 2.1.5:
DEMOSTRACION:
44
Captulo 2
DEFINICION 2.1.6:
[B(z0 ) { z0}] A .
A' = Conjunto derivado de A ={z C |z es un punto de acumulacin de A} .
EJEMPLO 2.1.7:
Si A = {x + i y | x y Q }, entonces A = , A = A = A' = C.
PROPOSICION 2.1.8:
A, A A , A A , A' A
.
(1) A
.
(2) A es abierto A = A
.
(3) A es cerrado A = A
c c
A = A, A = ((A )) , A = A A.
c c
(4)
(5) A B = A B.
(6) (A B) = A B .
(7) A B A B y en general A B A B .
(8) (A B) A B , y en general (A B) A B .
(9) ( )
z0 A > 0, B z 0 A .
> 0 tal que B z A.
(10) z A
0 (0 )
(11) z0 A > 0, B(z 0 ) A y B(z 0 ) Ac .
45
Topologa en C y Funciones Continuas
DEMOSTRACION:
Ejercicio
DEFINICION 2.1.9:
PROPOSICION 2.1.10:
Sea A C. Entonces:
(1) Si X A es abierto en A entonces A X es cerrado en A.
(2) Si Y A es cerrado en A entonces A Y es abierto en A.
(3) X
Si {X }A es una familia de conjuntos abiertos en A, entonces A
es un conjunto abierto en A.
(4) Si { Y }
A
Y
es una familia de conjuntos cerrados en A entonces A
es un conjunto cerrado en A.
n
(5) Si X1, , Xn son abiertos en A, entonces Xk es un conjunto abierto en
k=1
A.
n
(6) Si Y1, , Yn son cerrados en A, entonces Yk es un conjunto cerrado en
k=1
A.
(7) y A son conjuntos a la vez abiertos y cerrados en A.
46
Captulo 2
DEMOSTRACION:
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 =
( ) ( )
A U = A U y puesto que U es un conjunto abierto de
C, se sigue que
X es abierto en A.
(4)
(5)
Ejercicio.
(6)
(7)
PROPOSICION 2.1.11:
Sea A C. Entonces:
(i) A es cerrado A' A.
A tal que lim z = z .
(ii) z0 A Existe una sucesin {zn} n n 0
n=1
A, zn z0 n N tal que
(iii) z0 A' Existe una sucesin { zn}
n=1
lim z = z0.
n n
47
Topologa en C y Funciones Continuas
DEMOSTRACION:
c c
i) ) Supongamos A cerrado. Sea z0 A z0 A , A es abierto por lo que existe
0 ( ) 0 ( )
> 0 tal que B z Ac B z A = , por lo que
(( ) )
B z 0 { z0} A = z0 A', lo cual demuestra que A' A.
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
( ) .
B z 0 A z0 A
iii) Ejercicio.
2. Conexidad.
DEFINICION 2.2.1:
48
Captulo 2
A
TEOREMA 2.2.2:
X R es conexo X es un intervalo.
DEMOSTRACION:
Ejercicio.
TEOREMA 2.2.3:
49
Topologa en C y Funciones Continuas
2) A V U = (A U) (A B) = B (A B) = ,
3) A = B (A B) = ( A U) ( A V) = A ( U V)
A U V.
Por lo que A es disconexo, lo cual contradice nuestras hiptesis.
) Supongamos que A es disconexo, entonces existen dos abiertos U y V en C tales
que U A , V A , A U V y A U V = . Sean A1 = A U
, A2 = A V . Se tiene que A1 y A2 son dos abiertos no vacos de A.
Se tiene que A1 A2 = A U V = y A1 A2 = A lo cual implica que A2 =
A A1 por lo cual A2 es un abierto y cerrado en A, A2 y puesto que
A 1 = A A2 , A2 A lo cual contradice nuestras hiptesis y de lo que se
concluye que A es conexo.
DEFINICION 2.2.4:
DEFINICION 2.2.5:
z2
z1
50
Captulo 2
TEOREMA 2.2.6:
DEMOSTRACION:
Ejercicio.
DEFINICION 2.2.7:
3. Conjuntos Compactos.
DEFINICION 2.3.1:
DEFINICION 2.3.2:
51
Topologa en C y Funciones Continuas
DEMOSTRACION:
Ejercicio.
TEOREMA 2.3.5:
DEMOSTRACION:
) Sea {zn}n=1 A, A acotado por lo que {zn}n=1 es acotada y por el Teorema de
Bolzano-Weierstrass se tiene que existe una subsucesin
{zn }k=1 convergente.
k
= A (por ser A cerrado) lo que demuestra la conclusin.
Sea lim zn = z0 A
k k
) Primero veamos que A es acotado. Supongamos que A no es acotado, entonces para
cada n N existe zn A tal que |zn| n. Se tiene que { zn} no tiene ninguna
n=1
subsucesin acotada, por lo cual no tiene ninguna subsucesin convergente, lo cual
es una contradiccin. As pues A es acotado.
52
Captulo 2
A tal que
Por ltimo veamos que A es cerrado. Sea z0 A, existe { zn}
n=1
lim zn = z0. Por hiptesis, existe una subsucesin zn
n { }k=1
tal que lim zn =
k k k
= A y por lo tanto A es cerrado.
w0 A, pero w0 = z0 A, lo cual prueba que A
4. Funciones Continuas.
DEFINICION 2.4.1:
OBSERVACION 2.4.2:
EJEMPLOS 2.4.3:
2
(1) Sea f : C {1} C , f(z) = zz 11, entonces z1
lim f(z) = 2.
53
Topologa en C y Funciones Continuas
PROPOSICION 2.4.4:
(1) f es continua en a.
(2) Dada > 0, existe > 0 tal que f(B(a ) ) B(f(a) ).
(3) Para toda sucesin { z } tal que lim z = a, se tiene que
n n=1 n n
n ( n)
lim f z = f(a).
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): Sea > 0, existe > 0 tal que f( B(a ) ) B( f(a) ), es decir
z B( a ) , f(z) B( f(a) ) z con |z a| < ,
|f(z) f(a)| < .
TEOREMA 2.4.5:
54
Captulo 2
DEMOSTRACION:
TEOREMA 2.4.6:
DEMOSTRACION:
Sea {zn}n=1 1 tal que n
lim zn = z0. Sea f(zn) = wn 2 . Puesto que f es
continua en z0, lim f(zn) = lim w n = w0 = f( z0) y puesto que g es continua en w0 ,
n n
lim g(wn) = g( w0) lim (g f)(zn) = lim g(f(zn)) = lim g(wn) = g( w0) =
n n n n
g(f(z0)) = (g f)(z0) lo cual demuestra que g f es continua en z0.
55
Topologa en C y Funciones Continuas
TEOREMA 2.4.7:
(1) f es continua en .
Para todo A C abierto, f (A) es abierto en .
1
(2)
(3) Para todo A C cerrado, f1(A) es cerrado en .
DEMOSTRACION:
(1) (2): Sea A C abierto. Sea z0 f1(A), entonces f(z0) A, A abierto por lo
( )
que existe > 0 tal que B f(z ) A. Puesto que f es continua en z ,
0 0
(( ) ) (
existe > 0 tal que f B z B f(z )
0 0 ) B( z 0 )
f 1
((B f(z0) )) 1
f (A).
(
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) = 1 )
B z z =
zf (A)
)
B(z z ) y puesto que B(z z ) es abierto, se sigue
1
zf (A) zf (A) 1
(2) (3): Sea A cerrado Ac es abierto, entonces por hiptesis f1(Ac) es abierto en
y f1 ( Ac) es cerrado en . Se tiene que f1 (A) = f1 ((Ac)c) =
1
f (Ac) por lo que f1(A) es cerrado en .
56
Captulo 2
(3) (1): Supongamos que existe z0 tal que f no es continua en z0. Entonces
existe {zn} tal que lim zn = z0 pero lim f(zn) f( z0) por lo que
n=1 n n
{ }k=1
existe 0 > 0 y una subsucesin zn
k |( ) |
tal que f zn f ( z0) 0
k
TEOREMA 2.4.8:
DEMOSTRACION:
) Supongamos f continua en z , entonces dada > 0, existe > 0 tal que |z z | <
0 0
|f(z) f ( z0)| < .
|u(z) u ( z0)| | f(z) f ( z0)| <
Entonces, si |z z 0 | < , se tiene
|v(z) v ( z0)| | f(z) f ( z0)| <
u y v son continuas en z .
0
) Sea > 0, existe > 0 tal que |z z | < |u(z) u ( z )| <
0 0 2 y |v(z) v ( z0)|
< 2, lo cual implica que si |z z 0 | < , entonces |f(z) f ( z0)| | u(z) u ( z0)| +
|v(z) v ( z0)| < 2 + 2 = , por lo tanto f es continua en z0.
57
Topologa en C y Funciones Continuas
TEOREMA 2.4.9:
DEMOSTRACION:
k ( )
que f es continua en z0 , lim w n = lim f zn = f( z0) = w0 f() y por la
k k k
TEOREMA 2.4.10:
DEMOSTRACION:
58
Captulo 2
DEFINICION 2.4.11:
OBSERVACION 2.4.12:
EJEMPLOS 2.4.13:
59
Topologa en C y Funciones Continuas
| z w | ( | z |+ | w | ) | z w | ( 1 + 1 ) =
2 | z w | < 2 = , lo cual demuestra nuestra afirmacin.
(ii) Sea A = C.
Afirmamos que f no es u.c. en A. En efecto, sea = 1. Entonces
tiene que | z w | = 2 < , pero | f(z) f(w) | = | z 2 w 2 | =
2 2 2 2 2 2
n
n + 2 = n + n + 4 n = n + 4 > n > 1 = lo
que prueba que f no es u.c. en A.
TEOREMA 2.4.14:
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
k ( )
k k ( )
Aplicando la continuidad de f en z0 obtenemos que lim f zn = lim f w n = f(z0)
k
por lo que existe k0 N tal que k k0, f zn f ( z0) < 20 y
|( )
k | |f(wn ) f ( z0)|
k
< 20.
As pues se tiene:
< 20 + 20 = 0,
| ( ) ( )| | ( )
0 f zn
k
f wn
k
f zn
k | | ( )|
f ( z0) + f(z0) f w n
k
es decir 0 < 0, lo cual es absurdo.
5. La Esfera de Riemann.
61
Topologa en C y Funciones Continuas
S2 N
L
P
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 2 2
Se tiene que P = ( 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
condicin (1 t) + t z0 = 0, es decir cuando t = 1 z . Por lo tanto L R 2
1
0
x y
= 1 0z 1 0z 0 .
0 0
x y
2
Sea : S {N} C dada por ( x 0 y0 z0 ) = 1 0z + i 1 0z . Para
0 0
hallar consideremos z = x0 + i y0 C . La lnea que pasa por z y N intersecta a la
1
esfera S2 en dos puntos N y P. Hallaremos P. La lnea que pasa por N y z est dada por
(identificamos z con ( x 0 y 0 0) R ): L = { N + t ( z N ) | t R } =
3
62
Captulo 2
| z| 1 z + z i ( z z) | z| 1
2x 2y 2 2
1(z) = 2 0 2 0 2 = 2 2 . Por lo tanto
|z| + 1 |z| + 1 |z| + 1 |z| + 1 |z|2 + 1 |z| + 1
tenemos que tanto como son continuas, es decir podemos identificar C con
1
DEFINICION 2.5.1:
para z, w C,
2 | z w |
(z w) =
(|z|
2
+ 1) ( |w| 2
+ 1)
para z C.
2
(z ) =
2
|z| + 1
63
CAPITULO 3.
DIFERENCIACION COMPLEJA
1. Derivacin.
DEFINICION 3.1.1:
f(z) f( z0)
lim z z0 existe.
zz 0
OBSERVACION 3.1.2:
64
Captulo 3
OBSERVACION 3.1.4:
65
Diferenciacin Compleja
f(x, y) = (c 1 c2 ) R .
2
(1)
(2) f(x, y) = (x, y).
f(x, y) = (x + i y) = (x y ) + i (2 x y) = (x y 2 x y).
2 2 2 2 2
(3)
(4) f(x, y) = (x, y)
El siguiente resultado nos muestra, igual que en el caso real, que la diferenciabilidad
es una propiedad ms fuerte que la continuidad.
PROPOSICION 3.1.5:
DEMOSTRACION:
f(z) f ( z0)
Se tiene que 0 |f(z) f ( z )| =
z z0 |
0
z z 0 | |f' ( z0)| (0) =
z z
0
0, por lo que lim |f(z) f ( z0)| = 0 lim (f(z) f ( z0)) = 0 lim f(z) = f(z0), por
zz0 zz0 zz0
lo tanto f es continua en z0.
A continuacin recordamos algunas definiciones y resultados de clculo diferencial
de varias variables reales.
DEFINICION 3.1.6:
Sea A Rn, x0 A
, f : A Rm. f se llama (real) diferenciable en
x0 si existe
66
Captulo 3
f
x0 + h f x0 T
( h )
T : R R transformacin lineal tal que lim
n m
h 0 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 ) g ( a ) =
(D y g)(a ).
y
lim
t0 t
t
se le llama la derivada direccional de g en a en la direccin y siempre y cuando este lmite
exista.
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 )
Dg
e
i
( )
g
a = x ( )
a = lim
t0 t
i
OBSERVACION 3.1.8:
67
Diferenciacin Compleja
x2 y
(xy) (00)
g(x, y) = x2 + y2 con
a = (0, 0).
0 (xy) = (00)
En particular, sean R2 R2
con g = ( g 1 g 2 ),
abierto, g :
g g
g g
1 2
: R y g diferenciable en a , entonces x1 ( ) ( )
a , y1 a ,
g2 g
( )
x a
( )
, y2
a existen y con respecto a la base {(1 0) (0 1)} Dg ( ) ( )
a = g' a
g g
Por ltimo si , ( )
a y g son como antes y existe > 0 tal que x1 a , y1 a , ( )
g2 g 2
( ) ( ) ( )
x a , y a existen en B a y adems son continuas en a , entonces g es
diferenciable en
a.
Regresamos al caso complejo y empezamos enunciando los resultados bsicos en la
teora de diferenciacin.
PROPOSICION 3.1.9:
68
Captulo 3
DEMOSTRACION:
f(z) f ( z0)
) Existe lim
z z 0 z z0 = f' ( z0). Sea : C definida por
f(z) f( z0)
zz si z z 0
(z) = 0 .
f' z
( 0) si z = z 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
zz0 zz 0 z z0
z0.
PROPOSICION 3.1.10:
69
Diferenciacin Compleja
f
(3) 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:
(2)
0 0 {
(f g)(z) = (f g)(z ) + (z z ) f(z )(z) + g ( z )(z) + ( z z )(z)(z)
0 0 0 }
{ }
z y f(z0) (z) + g ( z0) (z) + ( z z 0 ) (z) (z) es continua en
z0 f g es diferenciable en z0 y se tiene:
(f g)'(z0) = f(z0) (z0) + g(z0) (z0) + (z 0 z 0 ) (z0) (z0) =
= f(z0) g'( z0) + g(z0) f'( z0).
(3) Sea g(z0) 0. Puesto que g es continua en z0 , existe > 0 tal que z
( ) (
B z 0 , g(z) 0. Ahora bien g(z) = g(z0) + ( z z 0 ) (z) z B z 0 )
entonces dividiendo entre g(z) g(z ) obtenemos:
0
1 1 (z)
g(z0)
= g(z) + (z z 0 )
g(z) g ( z )
0
(
z B z0 )
(z)
1 (z)
1
= g ( z0) + ( z z0)
g(z) g z z B ( z0 )
g ( 0)
70
Captulo 3
(z) 1
y puesto que es continua en z0 se sigue que g es diferenciable en z0 y
g(z) g ( z )
0
EJERCICIO 3.1.11:
DEMOSTRACION:
71
Diferenciacin Compleja
u v
x ( x0y0) = y ( x0y0) Ecuaciones de
.
u v Cauchy-Riemann
y ( x0y0) = x ( x0y0)
DEMOSTRACION:
72
Captulo 3
lim
||f(x y) f ( x 0 y0) T ( (x y) ( x 0 y0))|| = 0 f es real
(xy)(x y ) ||(x y) ( x 0 y0)||
0 0
diferenciable y por lo tanto u y v son real diferenciables.
Adems 1 = ux(z0) = vy(z0) , 2 = vx(z0) = uy(z0).
1 2 C , lim
|
f(z) f ( z0) ( z z 0 ) |
( ) zz0 |z z 0 |
=
73
Diferenciacin Compleja
lim
||f(x y) f ( x 0 y0) T ( (x y) ( x 0 y0))|| = 0
(xy)(x y )
0 0 ||(x y) ( x 0 y0)||
f(z) f ( z0)
= lim f es complejo diferenciable.
zz 0 z z 0
OBSERVACION 3.1.14:
u v
f' ( z ) ( z0) + i x ( z0)
= =
0 x
u u
= x ( z0) i y ( z0) =
v u
= y ( z0) i y ( z0) =
v v
= y ( z0) + i x ( z0)
74
Captulo 3
u u(x 0) u(0 0) v
x (0 0) = x
lim
0 x = 0 = y (0 0)
u u(0 y) u(0 0) v
y (0 0) = y
lim
0 x = 0 = x (0 0),
EJEMPLOS 3.1.15:
75
Diferenciacin Compleja
(2) Sea f : C C dada por f(z) =z , f(x, y) = (x, y), por lo tanto u(x, y) = x;
u = 1 1 = v
v(x, y) = y. Entonces (x, y ) R 2 , u x = 0 = v y
f no es
y x
complejo diferenciable en ningn punto.
DEFINICION 3.1.16:
PROPOSICION 3.1.17:
DEMOSTRACION:
76
Captulo 3
EJEMPLO 3.1.19:
PROPOSICION 3.1.20:
DEMOSTRACION:
Se sigue inmediatamente del caso real.
PROPOSICION 3.1.21:
DEMOSTRACION:
77
Diferenciacin Compleja
( )
Existe un > 0 tal que w B w 0 , (w) 0. Sea w = f(z). Obtenemos:
f(z) f ( z ) f(z) f ( z0) w w w w 1
0 0 0
= = = =
z z0 g(f(z)) g ( f(z ) g(w) g ( w )
0 0 (
w w (w) (w) 0 )
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))
(f(z))
1
z z0
2. Series de Potencias.
DEFINICION 3.2.1:
para las z en que la serie fn(z) converge.
n=0
78
Captulo 3
f(z) =
n=0
a ( z z )n
n 0
n
Sea
n=0
a ( z z )n una serie de potencias y sea = lim
n 0 n | n|
a . Entonces:
DEMOSTRACION:
79
Diferenciacin Compleja
n n
(i) Si = 0 z C, lim
n | |
a n ( z z 0 )n = |z z 0 | lim
n |an| = |z z 0 |
= 0 < 1 la serie | an(z - z 0 )n| converge z C.
n=0
(ii) Sea = . Si z = z ,
0
n=0
a ( z - z ) = a ( z - z )n = a , es decir la serie
n 0
n=0
n 0
n
0 0
diverge.
n
(iii) Sea 0 < < , lim
n |a ( z z ) | = |z z | R.
n 0
n
0
n
1
Si |z z | < ,
0 n
lim
|a ( z z ) | < 1, por lo que la serie | a (z - z ) |
n 0
n
n=0
n 0
n
converge.
n
1
|a ( z z 0 ) | > 1, por lo que la serie
n n
Si |z z 0 | > , lim a (z - z )
n n n 0
n=0
diverge.
Por ltimo consideremos la serie
n=1
z
n n
1
, aqu z0 = 0, an = n, n 1 y se tiene
n
= lim
n |an| = 1.
80
Captulo 3
1
Sea z = 1, |z z 0 | = 1 = y
n=1
z
n
n
=
n=1
1
n
diverge.
1
Ahora sea z = 1, |z z 0 | = 1 = y
z
n=1 n
n
=
n=1
( 1)
n
n converge.
DEFINICION 3.2.3:
n
Sea
n=0
a ( z z )n una serie de potencias y sea =
n 0
lim
n |an|. Entonces
definimos R = radio de convergencia de la serie por:
(i) R = si = 0,
(ii) R = 0 si = ,
1
(iii) R = si 0 < <.
Diverge
R z0
No se puede afirmar nada
Converge
0 X
81
Diferenciacin Compleja
EJEMPLOS 3.2.4:
n
(1) Sea zn. Se tiene z0 = 0 y an = 1 n N {0}
|an| = 1, por lo que
n=0
1
R = = 1.
Si |z z | = |z| = 1 |z|n = 1 por lo que la serie diverge pues el n-simo trmino no
0
converge a 0 la serie converge para |z| < 1 y diverge para |z| 1.
(2) Consideremos ahora la serie z
n=1 n
n
. Aqu z0
= 0 y a =
n n
1
, n N = lim
n
n | n|
a
1 1
= lim = 1 R = = 1.
n n
n
Para z = 1 la serie diverge. Consideremos z 1 tal que |z| = 1. Como se ver en la
siguiente seccin se tiene que existe (0, 2 ) tal que z = cos + i sen
n
z = cos n + i sen n (esto se probar en la siguiente seccin)
n=1
z
n
n
=
n=1
cos n
n
+i n=1
sen n
n
.
n+1 n
n sen 2 cos 2
Se tiene que cos k = cos + cos 2 ++ cos n = 1
k=1
sen 2
n+1 n
n sen 2 sen 2
y sen k = sen + sen 2 ++ sen n = .
k=1
sen 2
82
Captulo 3
n n 1
De esto se sigue que cos k y sen k estn acotadas y an = n es
k=1 n=1 k=1 n=1
una sucesin decreciente tal que lim an = 0 y por lo tanto se tiene que
n
n=1
cos n
n
y
n=1
sen n
n
convergen
z
n=1 n
n
converge z 1, |z| = 1.
(3) Consideremos zn!. Aqu tenemos que z0 = 0 y
n=0
2 si n = 1
an = 1 si n = k! para algn k N {0} k > 1 .
0 si n k! k N {0}
n 1
n | n|
Se tiene que = lim a = 1 R = = 1.
(4) Consideremos la serie n=0
z
n!
n
1
. Se tiene que z 0 = 0, a n = n!, =
1
n n an+1
1 (n + 1)! 1
lim |a | = lim
n n n n! = lim
n an
= lim
n 1
n!
= lim
n + 1
n = 0 R = , por
lo tanto la serie
z
n=0 n!
n
converge absolutamente z C.
83
Diferenciacin Compleja
(5) Por ltimo consideremos la serie ( n + w 0n) zn, aqu w0 C . Se tiene z0 = 0
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|
a
2 n y lim
n 2 = lim
n
2 n = 1 = lim |an| = 1 R =
n
1.
n
Ahora consideremos el caso |w0| > 1, entonces
|w |
lim 0 = existe n0 N tal
n n
n
|w |
que n n , 0
0 n 2, entonces n n0 se tiene que
n n
|w0| = w n |w0| w n n wn + n w n + n 3 w n
2 | 0| 2 | 0| | 0 || 0| 2 | 0|
|w0| n a n 3 w y lim |w0| = lim n 3 w = w = lim n a =
n
2
| n|
2 | 0| n n
2
n
2 | 0| | 0| n | n|
1
|w0| R = |w0|.
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
a ( z z )n una serie de potencias con radio de convergencia R > 0. Sea
n 0
84
Captulo 3
f : C, dada por f(z) = a ( z z )n, donde = B(z R). Entonces f H()
n 0 0
n=0
y f'(z) =
n=1
n a ( z z )n1, y el radio de convergencia de esta ltima serie es R.
n 0
DEMOSTRACION:
Sea w = z z0, entonces f(z) = f(w + z 0 ) =
n=0
a wn. Primero demostraremos
n
' n
que
n
a z =
n=0 n
n=1
n1
n a z . Sea s (z) =
n n
k=0
k
akz , Rn(z) = f(z) sn(z) =
k=n+1
a zk.
k
Se tiene que z tal que |z| < R, lim R (z) = 0. Definimos f (z) =
nn 1 n a z n1 y
n=1
n
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).
w
0
R t
85
Diferenciacin Compleja
k=n+1
k1
ak
j=0
R (z) R ( w )
z j w 0k1j n z wn 0
0
k=n+1
k1
z|
j
| k| j=0 | 0|
a | w
k1j
k=n+1
a k1 j k1j
| k|
j=0
t t =
k=n+1
k | a | t k1 .
k
n
Ahora la serie
n=1
n | a | tn1 converge pues se tiene que lim
n n n | an| t n1 =
n n
n
lim
n n n
n1 1 t
n lim |an| lim t = 1 R t = R < 1 existe n0 N tal que n n0,
k=n+1
k | a | tk1 < .
k 3
Por otro lado tenemos que f1(z) = n a z n1 = lim s' (z) existe n N tal
n n n 1
n=1
que n n1, se tiene que |sn' (w0) f 1 ( w0)| < 3.
86
Captulo 3
s (z) sn ( w0)
Por ltimo, s' (w ) = lim n existe 0 < 1 tal que
n 0 zz 0 z w0
s n (z) s n ( w0)
0 < |z w 0 | < 1 z w0 s ' ( w )
n 0 3
< .
Sea N = max {n 0 n1} y 1 > 0, entonces para z tal que 0 < |z w 0 | < 1 y
n N, se tiene:
f(z) f ( w0)
z w f 1 ( w 0 )
0
n ( 0) R (z) R ( w )
s
n (z) s w
s ' ( w ) + | sn' (w0) f 1 ( w0)| + n z wn 0
z w0 n 0
0
< 3 + 3 + 3 = .
n=1
n a zn1 tienen el mismo radio de convergencia R.
n
Para concluir, consideremos la serie f(z) =
n=0
a ( z - z ) . Si g(w) = a w n
n 0
n
n=0
n
n=1
n a [ s(z)]
n
n1
1= n
n a ( z - z )n1.
n=1
0
87
Diferenciacin Compleja
COROLARIO 3.2.6:
Consideremos la serie f(z) =
n=0
a ( z z )n con radio de convergencia R > 0.
n 0
DEMOSTRACION:
DEFINICION 3.2.7:
convergencia R.
OBSERVACION 3.2.8:
DEFINICION 3.2.9:
88
Captulo 3
OBSERVACION 3.2.10:
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
f(x) = n=0
f ( x0)
n! ( x x 0)
n
es: f : R R dada por f(x) =
e x x 0
0 x = 0
.
Se puede probar que f es infinitamente diferenciable y que f(n)(0) = 0 n N, por
lo que la serie de Taylor de f en 0 esn=0
(n)
f ( 0) n
n! x = 0 f(x).
EJEMPLOS 3.2.11:
89
Diferenciacin Compleja
n=0
1
1 z
z - z 0 n
1 z .
0 0
C
z
R = |1 z0 | 0
z - z n+1
1 1 z0
Adems n=0
1
1 z
z - z0
1 z
0 0
n
= lim
1
n 1 z0
0
z-z
1 1 z0
=
90
Captulo 3
1 1 1 1
1 z = = 1 z para las z tales que
0 z-z 1 z 0 ( z z0)
1 1 z0
0
|z z 0 | < |1 z 0 |, por lo que f(z) = n=0
1
(1 z 0 )
n 1
n+1 ( z - z 0 ) = 1 z, es
PROPOSICION 3.2.12:
DEMOSTRACION:
Sean z 0 y R1 > 0, R2 > 0 tales que f(z) =
n=0
n 0
a ( z - z )n , g(z) =
n=0
b ( z - z )n
n 0
con radios de convergencia R 1 y R2 respectivamente. Sea
R 3 = min { R 1 R 2 } > 0. Consideremos z B(z 0 R 3 ), las series
n=0
a ( z - z )n y
n 0
n=0
n 0
n
b ( z - z ) son absolutamente convergentes f(z) g(z) = ( a n b n )(z - z 0 )
n=0
n
91
Diferenciacin Compleja
n
f(z) g(z) =
n=0
a (z - z 0 )
k=0 nk
nk k
bk( z - z 0 ) =
n=0
n a
nk b k
k=0
( z - z0)
n
f g A().
DEFINICION 3.2.13:
OBSERVACION 3.2.14:
DEMOSTRACION:
92
Captulo 3
f (z) | | n=0 n
f (z) M < , por lo que f(z) = f (z) est definida
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
z A, n N se tiene que |f(z) u n (z)| M n < , por lo que { fn}n=1 converge
n=N+1
uniformemente a f en A.
TEOREMA 3.2.16:
Sea
n=0
a ( z - z )n una serie de potencias con radio de convergencia R > 0. Sea
n 0
0 < r < R. Entonces
n=0
a ( z - z )n converge uniformemente en B(z r) .
n 0 0
DEMOSTRACION:
Ejercicio.
3. Funciones Elementales.
93
Diferenciacin Compleja
ex = x
n
n=0 n!
; sen x =
n=0
n x
2n+1
( 1) (2n + 1)! ; cos x =
n=0
n x
2n
( 1) (2n)! , por
DEFINICION 3.3.1:
Sea z C, definimos:
ez = z
n=0 n!
n
; sen z = n=0
( 1)
n z
2n+1
(2n + 1)! ; cos z =
n=0
n z
2n
( 1) (2n)! .
OBSERVACION 3.3.2:
PROPOSICION 3.3.3:
z, w C, se tiene e e = e .
z w z+w
DEMOSTRACION:
z
Se sigue inmediatamente de la definicin de e y de 1.2.32 (4).
COROLARIO 3.3.4:
e 0 para toda z C.
z
DEMOSTRACION:
Sea z C. Se tiene e e = e = e = 1 0 e 0.
z z zz 0 z
94
Captulo 3
PROPOSICION 3.3.5:
DEMOSTRACION:
OBSERVACION 3.3.6:
Sea z C, z = x + i y, e = e
z x+iy
= ex eiy = ex (cos y + i sen y).
PROPOSICION 3.3.7:
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) cos(z + w) = cos z cos w sen z sen w.
(2) sen(z + w) = sen z cos w + cos z sen w.
(3) cos2 z + sen2 z = 1.
DEMOSTRACION:
Ejercicio.
OBSERVACION 3.3.9:
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
TEOREMA 3.3.11:
Sea z C. Entonces:
(1) sen z = 0, z C z = n , n Z.
sen z = 1, z C z = 2 n + , n Z .
1
(2)
2
sen z = 1, z C z = 2 n , n Z .
1
(3)
2
cos z = 0, z C z = n + , n Z .
1
(4)
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) cos (z + w 0 ) = cos z z C w0 = 2 n , n Z.
(9) ez = 1, z C z = 2 n i, n Z.
DEMOSTRACION:
Ejercicio.
OBSERVACION 3.3.12:
= ex. Por otro lado aunque se tiene que cos2 z + sen2 z = 1, las funciones cos z y sen z no
estn acotadas. Esto se puede ver considerando la sucesin { zn} , z n = n i,
n=1
entonces lim |cos n i| = .
n
97
Diferenciacin Compleja
PROPOSICION 3.3.13:
{z C ||z| = 1} dada por f(t) = eit = cost + i sent = (cost, sent). Entonces f es biyectiva.
DEMOSTRACION:
= 1 existe n Z tal
is it i(st)
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,
lo que implica s = t , por lo tanto f es 1-1.
Para probar que f es sobre consideremos z = x + i y S1 | z |2 = x2 + y2 = 1, en
particular x, y [1, 1]. Se tiene que cos x, x R, es continua y adems cos 0 = 1, cos
= 1, entonces por el Teorema del valor intermedio y puesto que | cos x | 1 x R se
tiene que cos : ( , ] [1, 1] es suprayectiva por lo tanto existe ( , ] tal que
cos = x. Ahora sen2 = 1 cos2 = 1 x2 = y2 sen = y sen = y. Si y = 0,
sen = y = y. Supongamos sen = y con y 0 < < y sen () = sen =
y. Adems cos () = cos = x, es decir existe ( , ] tal que cos = x y sin = y.
Afirmamos que existe m Z tal que a < t = + 2 m b. Se deja como ejercicio
su demostracin. Entonces se tiene que t (a, b] y cos t = cos ( + 2 m) = x,
sen t = sen ( + 2 m) = y t (a, b] y f(t) = cos t + i sen t = x + i y = z, lo cual
demuestra que f es sobre.
un nico t [a, a + 2 ) tal que e = w. Por otro lado si t, t' R son tales que e = e
it it it'
98
Captulo 3
DEFINICION 3.3.14:
de z.
NOTACION 3.3.15:
t
0 X
decir z = (cos t + i sen t).
Por ltimo, sea z = x + i y C, entonces |e | = e , arg e = y.
z x z
99
Diferenciacin Compleja
i
Sea z0 = e , 0, [0, 2 ). Sea n N , entonces las soluciones de la
ecuacin zn = z0 estn dadas por
w =
1
n
e
i( n )
2k+
, k = 0, 1, , n 1.
k
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
n t = + 2s, s Z r =
= y t = n , s Z.
n + 2 s
Sea ws =
1
n
i
e
( n )
+2s
, s Z.
Sea s Z cualquiera, entonces por el algoritmo de la divisin, existen q y p Z
+ 2 s
nicos tales que s = q n + p con 0 p < n, entonces si t = ,
n
t =
+ 2 q n + 2 p + 2 p
= + 2 q e it
.= e
i (+2s
n )
=e
i(
+2p
n
+ 2q)
n n
=e
(
i
n )
+2p
w = wp , es decir, w0 , w1 , , wn1 nos dan todas las races de la
s
ecuacin.
EJEMPLO 3.3.17:
w =1
1
n
e
i( n )
2k+0
i(
=e n
2k
) , k = 0, 1, , n 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
DEMOSTRACION:
= 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.
PROPOSICION 3.3.19:
DEMOSTRACION:
101
Diferenciacin Compleja
exp z
0 0
OBSERVACION 3.3.20:
= {z
n
C | (2n 1) < Im z < (2n + 1)}
102
Captulo 3
(2n + 1)
n
exp z
2n
0
(2n 1)
Wb
b+
b
b+
exp z
b
0
PROPOSICION 3.3.21:
Sea W = {z C { 0 } | Arg z + 2 n b + para toda n Z },
b
103
Diferenciacin Compleja
DEFINICION 3.3.22:
Sea una regin del plano complejo y f : C continua. Se dice que f es una
funcin logaritmo si z se tiene que ef(z) = z.
104
Captulo 3
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:
PROPOSICION 3.3.24:
DEMOSTRACION:
Ln (z 1 z 2 ) = ln | z 1 z 2 | + i Arg ( z 1 z 2 ) + 2 n i | n Z
{ = }
= ln | z1| + l n | z2| + i Arg ( z1) + i Arg ( z2)+ 2 k i | k Z
{ = }
= { (ln | z1| + i Arg ( z1) + 2si)+ ( ln | z2| + i Arg ( z2)+ 2ri) | s r Z }
DEFINICION 3.3.25:
Sea a C {0} y sea log a cualquier valor de Ln a, en otras palabras
log a = ln |a| + i Arg a + 2 k i para algn k Z . Entonces se define a = e
z z log a
=
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.
DEFINICION 4.1.1:
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:
107
Integracin
b b b
(1) (f + g)(t) dt = f(t) dt + g(t) dt.
a a a
b b
(2) ( f)(t) dt = f(t) dt
a a
b b
(3) f(t) dt |f(t)| d t .
a a
DEMOSTRACION:
(1)
Ejercicio.
(2)
b
(3) Se deja como ejercicio el verificar que |f(t)| es integrable. Ahora si f(t) dt = 0,
a
b b b
entonces f(t) dt = 0 |f(t)| dt. Supongamos que f(t) dt 0, entonces
a a a
b b b
i i
escribimos f(t) dt = e , con = f(t) dt = e f(t) dt =
a a a
b b b
a e f(t) dt, por lo tanto = Re f(t) dt = Re a e i f(t) dt =
i
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:
108
Captulo 4
b b b
f(t) dt
| f(t)| dt M dt = M(b a).
a a a
DEFINICION 4.1.4:
(t) ( t0)
'( t0) = lim t t0
tt0
EJEMPLOS 4.1.5:
(t)
z0
Entonces '(t) = (cos t)' + i (sen t)' =
sen t + i cos t = i [ cos t + i s e n t] = i eit.
109
Integracin
(t)
0 1
DEFINICION 4.1.6:
DEFINICION 4.1.7:
DEFINICION 4.1.8:
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:
b
L = longitud de la curva = | '(t)| d t .
a
110
Captulo 4
Por otro lado, por el Teorema del valor medio, existen i, i (ti1 ti) tales que
1(ti) 1 ( ti1) 2(ti) 2 ( ti1)
ti ti 1 ) = '
1 ( )
i
, ti ti 1 ()
) = 2' i , por lo que
b a
( )
1(ti) 1(ti1) = (t i t i 1) 1' i = n 1' i ( ) y
b a
(t ) (t ) = (t t ) ' =
2 i 2 i1 i i1 2 i n 2' i() () por lo tanto
b
b
a | '(t)| dt = (' (t)) + ( ' (t))
1
2
2
2
dt =
a
n
n
b a
lim n (
i=1 ( ))2 + ( 2' (i))2 =
1' i
n
b a
lim n n
i=1 b a ( (t ) ( t )) + ( (t ) ( t ))
1 i 1 i1
2
2 i 2 i1
2
=
n
lim (
n i=1
1(ti) 1 ( ti1) 2 + ) ( 2(ti) 2 ( ti1))2.
111
Integracin
(b)
(t i )
(t1 )
t =b (ti1 )
a = t 0 t1 t2 n
(a)
|
Ahora bien, (ti) ( ti1) = |
(
1(ti) 1 ( ti1) 2 + ) ( 2(ti) 2 ( ti1))2
= distancia entre (ti) y (ti1), por lo que
n
(
i=1
) ( 2(ti) 2 ( ti1))2 es la longitud de la poligonal
1(ti) 1 ( ti1) 2 +
EJEMPLOS 4.1.10:
z2
z1
(1) Sea : [0, 1] C, (t) = z1 + t (z 2 z 1 ), por lo tanto
* = ([0 1]) = [ z 1 z2] = { z C | z = (1 t) z1 + t z2 0 t 1 . }
1 1
Por lo tanto L = | '(t)| dt = | z 2 z 1 | dt = |z 2 z 1 |.
0 0
112
Captulo 4
*
z0
DEFINICION 4.1.11:
(a) = (b)
DEFINICION 4.1.12:
ti b
f() d = f ( (t)) '(t) dt = a f ( (t)) '(t) dt
ti1
i=1
113
Integracin
EJEMPLOS 4.1.13:
Sea f : C {0} C dada por f(z) = z . Sea : [0, 2] C dada por (t) = eit.
1
(1)
C
*
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 : C C dada por f(z) = |z| y sea : [0, 2] C it
(t) = e .
2
Entonces f( ) d = f ( (t)) '(t) dt =
0
2 2
0 i e dt = 0 i e it dt = 2 [ eit] 2
it 2
0 = (e
2 2i
e 0 ) = 2 (1 1) = 0.
114
Captulo 4
C *
1
Entonces f( ) d = f ( (t)) '(t) dt =
0
1 (t + i t 2 ) 1 1
(t + i t )
2 2
(1 + 2 i t) dt =
3
= (1 + i)3.
0 3
0
PROPOSICION 4.1.14:
tramos, entonces:
(1) ( f() + g() ) d = f() d + g() d , C.
b
(2) Sea * = ([a b]), M = sup |f()|, L = | '(t)| dt. Entonces f() d
* a
M L.
DEMOSTRACION:
(1) Ejercicio.
b b b
(2) f() d = f ( (t)) '(t) dt | f((t))| | '(t)| dt M | '(t)| dt = M
a a a
L.
DEFINICION 4.1.15:
115
Integracin
OBSERVACION 4.1.16:
b
h(t) dt = H(b) H(a).
a
DEMOSTRACION:
b b b
h(t) dt = h 1 (t) dt + i h 2 (t) dt = H1 (b) H1 (a) + i [ H 2 (b) H 2 (a)] =
a a a
H(b) H(a).
DEFINICION 4.1.18:
EJEMPLO 4.1.19:
116
Captulo 4
n+1
Sea n Z, n 1, F : C {0} C, F(z) = n+1 es una primitiva de f(z) = zn
z
1
primitiva de z en W.
DEFINICION 4.1.20:
si existe : [a, b] [c, d] suprayectiva tal que es derivable, '(t) > 0 ((t)) = (t)
t [a, b].
[a, b]
[c, d]
C
* = *
a b c d
OBSERVACION 4.1.21:
117
Integracin
d
c
a b
EJEMPLO 4.1.22:
1
0
z0
0 2
PROPOSICION 4.1.23:
DEMOSTRACION:
Ejercicio.
OBSERVACION 4.1.24:
118
Captulo 4
"Sean h : [a, b] R , : [c, d] R tales que ([c d]) [a, b], h y '
continuas, entonces
d (d)
h ( (t)) '(t) dt = h(t) dt."
c (c)
b b (b)
f ( (t)) '(t) dt = a f ( ((t))) ' ( (t)) '(t) dt = f ( (t)) '(t) dt.
a (a)
DEMOSTRACION:
a ( (
f ( (t)) '(t) dt = ( u((t)) + i v ( (t))) 1' (t) + i 2' (t) dt =
a
))
b b b b
a
a
2
a
1
a
u ( (t)) ' (t) dt v ( (t)) ' (t) dt + i v ( (t)) ' (t) dt + i u ( (t)) ' (t) dt
1 2
b b
= u ( ((t))) 1' ((t)) '(t) dt
a a
v ( ((t))) ' ((t)) '(t) dt +
2
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) (b)
[ u((t)) + i v ( (t))] [ ]
1' (t) + i 2' (t) dt = f ( (t)) '(t) dt.
(a)
(a)
PROPOSICION 4.1.26:
f() d = f() d.
DEMOSTRACION:
120
Captulo 4
d
f ( (t)) '(t) dt = f() d.
c
DEFINICION 4.1.27;
OBSERVACION 4.1.28:
+ a
X
_ 0 a b
(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.
f() d = f() d.
_
121
Integracin
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:
122
Captulo 4
TEOREMA 4.1.32:
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.
z
z
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
z z z z ( )
: [a, b] y : [b, c] . Definimos = _ : [a, c]
z
123
Integracin
dada por
z(t) si a t b
(t) = .
z ( )_(t) = (b + c t) si b t c
z z
( ) ( )
Se tiene z(b) = z(b) = z _(b) = z(c) = z y z(a) = z0 = z(b) = z _(c)
1
z(a) = z0 = z(c), es decir z es una curva cerrada C por tramos.
Entonces 0 = f() d = f() d + f() d = f() d f() d
z z (z)_ z z
124
Captulo 4
z
w
z0
C1 por tramos que conecta z y w, se tiene:
w b
f(z) d = f(z) d = f(z) d = f(z) a '(t) dt = f(z) [ (b) (a)] =
z
w w w
f() d f(z)(w z) f( ) d f(z) d
z
f(z) [w z] I =
= z z =
w z w z
w
z ( f() f(z))
d
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 .
[zw] wz w z
EJEMPLO 4.1.33:
125
Integracin
2
1
(0) = = (2) es un curva cerrada C1 en y f() d = ie it dt =2 i
eit
0
0 f no tiene primitiva en C {0} .
DEFINICION 4.1.34:
z
2
z
1 z 1 + t ( z 2 z1 ) si 0 t 1
z
3 (t) = z 2 + (t 1) ( z 3 z 2 ) si 1 t 2 ,
z + (t 2) z z
3 ( 1 3) si 2 t 3
DEMOSTRACION:
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 2 z + z3
1 2
2 2
4
1 3
z1 z + z3 z
1 3
z +z z +z z +z
2 3 1 3 1 2 2
2 , 2 , 2 .
Entonces:
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
continua en z0 tal que z
(
f(z) = f(z0) + (z z 0 ) (z) = f(z0) + (z z 0 ) (z0) + (z z 0 ) (z) ( z0) . )
Ahora, existe > 0 tal que B z y existe n N tal que n n ,
0 2 0 0
n B z 0 2 , entonces z, z' n |z z '| d(n) < 2 = .
2
Por otro lado: f ( ) d =
n
Ahora f(z
( z 0 )2 es una primitiva de
) es una primitiva de f(z0) y (z0)
0 2
( z 0 ) (z0) n f ( z0) d = n ( z 0 ) ( z0) d = 0
nf ( ) d = (
z
0 )(
() ( z0) d . )
n
[
Puesto que es continua, lim () ( z0)
z0 ] = 0, por lo tanto dado > 0,
existe 0 < tal que | z | < |() ( z )| < . De lo anterior se
1 0 1 0 3 [d()]2
tiene:
f() d 4n f() d = 4n
n ( z 0 ) ( () ( z0)) d
n
|
| |
|
4n sup n z 0 () ( z0) 3 d(n)
128
Captulo 4
4 n [ d(n)] 2 1 [d()]
2
4n d(n) 3 d(
n
)= n
=4 n 2 = .
3 [d()]2 [d()]2 4 [d()]
Es decir tenemos > 0, f() d , lo que implica que f() d = 0.
El Teorema anterior tiene una generalizacin (la cual ser utilizada ms adelante).
DEMOSTRACION:
Primer Caso : z0 :
En este caso el Teorema se sigue inmediatamente de 4.1.35 pues {z0} .
129
Integracin
z1 z2
w [z z ] , w [ z z ] . De la figura se
1 1 0 2 0 2
tiene:
f() d = f() d = 0 por el primer caso y entonces
1 3
z1 z3
figura y el caso 2 obtenemos:
130
Captulo 4
1 2
z
0 3
z1 z3
Sea determinado por z1, z2, z3. De la figura y del
caso 2 obtenemos:
f() d = f() d + f() d + f() d = 0 + 0 + 0 = 0.
1 2 3
DEMOSTRACION:
131
Integracin
z0
convexo se tiene que .
Por el Teorema de Cauchy-Goursat, se tiene que:
w z z
0
0 = f() d = f() d + f() d + f() d
z0 w z
w z w
f() d z f() d = z f() d.
z0 0
w z
z0 f( ) d z f( ) d (w z) f(z)
f(z) = =
F(w) F(z) 0
Ahora w z
w z
1 w w 1
|w z| z
f( ) d z f(z) d |w z| sup
[wz]
| f() f(z)| |w z| =
sup |f() f(z)| 0 F'(z) = f(z).
[wz] wz
DEFINICION 4.2.1:
Sea : [a, b] C una curva C por tramos no necesariamente cerrada, y sea
1
132
Captulo 4
f( z) =
g()
. Se define h : C * C por h(z) = g() d, la cual recibe el
z
z
nombre de Integral del tipo de Cauchy Integral de Cauchy.
TEOREMA 4.2.2:
DEMOSTRACION:
h(w) h(z)
h'(z) = lim
wz w z . Sea > 0 y consideremos
h(w) h(z) g()
I= z 2 d =
wz ( )
1 g() g() d g()
= w z w d z d =
( z)2
1 ( z) ( w) g()
= w z
g( ) d d =
( w ) ( z) ( z ) 2
133
Integracin
g() d g() ( z) ( w)
= d = g() d
( w) ( z) ( z)2 ( w) ( z)2
g() d
= |w z| .
( w) ( z)2
Ahora existe > 0 tal que B(z ) C *. Elegimos w Bz 2, es decir
|w z| < 2. Se tiene que para *, |
z| > 2 y | w| =
| z + z w| | z| |w z| > 2 = 2 1 z 1 y 1 w 2. Entonces
| | | |
se tendr que:
w
2 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()
y h'(z) = d .
( 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
DEMOSTRACION:
Ejercicio.
OBSERVACION 4.2.4:
1
Si tomamos g() = 1 * en 4.2.2, y sea una curva cerrada C por tramos se
1 1
tendr: h(z) = d y h(n) (z) = n! d = 0 para n 1 pues
z ( z)n+1
1 1
n+1 tiene primitiva, a saber, n.
( z) n ( z)
TEOREMA 4.2.5:
135
Integracin
DEMOSTRACION:
Sea : [a, b] C, de clase C por tramos tal que (a) = (b), h(z) =
1 d
z
b s
136
Captulo 4
DEFINICION 4.2.6:
Sea : [a, b] C 1
una curva cerrada de clase C por tramos. Entonces
z C * definimos:
Ind (z) =
1 1
2i z d = k Z.
Ind(z) = Indice de la curva alrededor del punto z.
EJEMPLOS 4.2.7:
*
z0
137
Integracin
*
z0
n vueltas
(2) Sea : [0, 2n] C, n N, (t) = z0 + eit. Si z C
1 1
tal que | z z 0 | < , entonces Ind (z) = Ind ( z0) = 2i d
z
0
2n 2n
i ei t 2n
1 '(t)
= 2i
1
dt = 2i it dt =
1
2i 0 i dt = n. Ahora, si z C
(t) z z + e z
0 0 0
0 0
es tal que |z z 0 | > , Ind(z) = 0.
*
z0
138
Captulo 4
al punto z y cuyo sentido positivo es el contrario al movimiento de las manecillas del reloj.
Para ver esto consideremos : [a, b] C una curva cerrado de clase C . Se
1
tiene que si z C *,
z = 2 k i, k Z, por lo que se tiene que la parte real de
d
la integral vale 0.
Sean (t) = (t) + i (t), z = x + i y, entonces:
1 2
b
d ' (t) + i ' (t)
I= z=
1 2 dt =
( ) (
1 (t) x + i 2 (t) y
)
a
b
=i
( ) ( )
1' (t) 2 (t) y + 2' (t) 1 (t) x
dt
( ) (
1 (t) x 2 + 2 (t) y 2 )
a
Se tiene que z 0 z *, entonces para cada t [a, b] se tiene que | z|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]un subintervalo de [a, b] tal que 1 (t) x 0 t [ ti1 ti] . En este
subintervalo se tiene:
ti
I=i
1 ( 1 ) dt = i Arc Tan 2(t) y' dt =
2 (t) y 2
1 (t) x
1 +
1 (t) x
t
ti1
i1
(t ) y 2 ( ti1) y
= i Arg Tan 2 i
(t ) x
Arg Tan
(t ) x 2 (
= i , donde
1 )
1 i 1 i1
139
Integracin
(t i )
(t i1 )
2
1
z
(t ) y (t ) y
( )
Tan 2 = 2 i
(t ) x
( )
, Tan 1 = 2 i1
(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.
1
Sea un abierto convexo, f H() y una curva cerrada C en . Entonces
z * se tiene la igualdad:
1 f()
Ind (z) f(z) = 2i z d .
DEMOSTRACION:
140
Captulo 4
f() f(z) si z
g() = z .
f'(z) si = z
f() f(z)
Se tiene que g H( {z}) y que lim g() = lim = f'(z) = g(z), es
z 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).
1
Sea un abierto convexo, f H() y una curva cerrada C en . Entonces
z * f es infinitamente diferenciable en z y se tiene:
n! f()
Ind (z) f (n) (z) = 2i d .
( z)n+1
DEMOSTRACION:
141
Integracin
1 f()
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:
n! f()
Ind(z) f(n)(z) = 2i d .
( z)n+1
COROLARIO 4.2.11:
DEMOSTRACION:
r it
Sea B(z 0 r) A. Sea z B z 0
2 arbitrario y sea r la curva r(t) = z0 + re ,
142
Captulo 4
1 f () d 1 f() d
por lo tanto h(z) = f(z) H(A) y adems f'n = 2i n 2 , f'(z) = 2i ( z)2,
( z)
r r
EJEMPLOS 4.2.12:
2 2
(1) Sea : [0, 2] C , (t) = 3 e . Calculemos I = (z 1)(z 2) d z .
it cos z + sen z
1 3
2
143
Integracin
f( ) f()
I = 1 d + 2 d = 2i Ind (1) ( f(1)) + 2i Ind (2) (f(2)) =
= 2i [ cos sen + cos 4 + sen 4] = 2i (1 0 + 1 + 0) = 4i .
e2z
(2) Sea : [0, 2] C , (t) = 2 eit. Sea I =
4 dz. Si f : C C,
(z + 1)
1 2
COROLARIO 4.2.13:
/2
z
144
Captulo 4
Sea z , entonces existe > 0 tal que z B z B( z ) .
2
Ahora B(z ) es convexa y f H (B(z )). Adems : [0, 2] B(z ), dada
it 1
por (t) = z + 2 e es una curva cerrada C en B( z ) y Ind (z) = 1, por lo tanto
COROLARIO 4.2.14:
Sea C ( )
abierto y f H(), > 0 tal que B z0 . Sea M() =
it
sup |f()|, donde : [0, 2] est dada por (t) = z0 + e . Entonces:
*
f(n)(z ) M()
0
n! n n N .
145
Integracin
DEMOSTRACION:
| |
Se tiene que z 0 = * , entonces:
(n)
f (z0) 1
= f() d
1
1
M() 2 =
2M()
n! 2i z n+1 z n+1 2
( 0)
| |0
n+1 2
M()
= .
n
TEOREMA 4.2.16:
DEMOSTRACION:
146
Captulo 4
La serie de Taylor de f alrededor de z0 es
n=0
a ( z z )n .
n 0
n
Sea sn(z) =
k=0
a k ( z z 0 )k, con z B(z 0 ). Se tiene:
1 f() d 1 n f() d
k
I = |f(z) s (z)| = 2i
n
z0
2i
k=0
(
z 0)
k+1(
z z0)
n
k
= 2 f()
1
1
z
k=0
( z
( 0)
z
z 0)
k+1
d =
1 =
n k
= 2 f()
1
z z0
1
k=0
z z
0
z
0
d
1
z z n+1
0
1
z
= 2 f()
1 1 0
d =
z z 0 1 0 z z
z0
147
Integracin
z z 0 n+1
1 z 1 f() z z n+1
= 2 f( ) d = 2
1 1 0 0
d.
z z z
z 0
z z 0
( ) | |
Ahora, z B z 0 , | z z 0 | < y z 0 = *
z
=
0
< 1, * . Puesto que z * y * es cerrado por ser compacto se tiene que existe
( )
> 0 tal que B(z ) * c, es decir |z| *.
*
z
z0
COROLARIO 4.2.17:
DEMOSTRACION:
Inmediata de 4.2.16.
148
Captulo 4
COROLARIO 4.2.18:
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)
= a ( ), donde M( ' ) = sup |f()| y (t) = z + ' eit, 0 t 2 .
M '
n! | n| ( ' )n *
' 0
'
Por lo tanto:
n
lim
n 1
|an| = R lim
M( ') = 1 , es decir R ' 0 < ' < R .
n n ' '
DEMOSTRACION:
149
Integracin
(
Sea > 0 tal que B z 0 ) . Sea z B(z0 ). Puesto que B(z0 ) es
convexa, [z 0 z] B(z 0 ). Sea F : B(z 0 ) C dada por F(z) = f() d.
z z [ 0 ]
( )
Queremos ver que F'(z) = f(z) z B z . Para sto, sea w B z ,
0 0 ( )
entonces el tringulo determinado por z0 z y w est contenido en B z 0 por ( )
convexidad, y
z
w
z0
z w z
0
0 = f( ) d = f( ) d + f( ) d + f( ) d
z z w
0
z2 w z
donde por notacin f( ) d = f() d. Entonces f( ) d f( ) d =
z1 [ 1 2]
z z z z
0 0
w
f() d.
z
Ahora estimemos:
w z
F(w) F(z) f(z) = 1 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| =
z z [zw]
150
Captulo 4
F(w) F(z)
Lo anterior prueba que lim = f(z) = F'(z), sto es, F'(z) = f(z)
wz w z
( ) ( ( ))
z B z y F H B z , por lo tanto F es infinitamente diferenciable
0 0
( ( ))
F''(z) = f'(z) f H B z 0 y puesto que z0 es arbitrario f H().
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:
DEMOSTRACION:
151
Integracin
= (z z 0 )
n+1
k=0
a
k+n+1 (
z z 0 )k .
Sean A =
n {z } = ( f(n))1({0}) n N {0}. Puesto
| f (n) (z) = 0
que f es continua, se tiene que A es cerrado en . Ahora sea
n
B = An = z | f (n) (z) = 0 n N { 0 } .
{ }
n=1
Por lo anterior B es cerrado en y B pues z0 B.
Ahora sea w B, entonces existe > 0 tal que f(z) = n=0
f
(n)
(w)
n! (z w)
n
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
DEFINICION 4.2.22:
PROPOSICION 4.2.23:
Sea f entera y sea f(z) =
n=0
a ( z z )n el desarrollo de f en serie de potencias de
n 0
DEMOSTRACION:
(
Sea > 0 arbitrario. Se tiene B z 0 ) C . Sea M( ) =
sup | f()|, donde
*
it
(t) = z + e , 0 t 2.
0
f (n) ( z0) M ( )
Se tiene que an = n! y por las desigualdades de Cauchy: | an|
n .
1 n
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 = .
Sea f entera y acotada, es decir existe M > 0 tal que |f(z)| M z C. Entonces f
es constante.
DEMOSTRACION:
Sea f(z) = a ( z z )n, con z C y R = es el radio de convergencia de la
n 0 0
n=0
serie.
Se tiene n N {0}, | a |
n
M()
n
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
f(z) = a z C, es decir, f es constante.
0
DEMOSTRACION:
+ + a0 C[z] tal
n n1
Supongamos que existe un polinomio p(z) = anz + an1z
que an 0, n 1 y p(z) 0 z C.
154
Captulo 4
a zn a z n1 az a
entera. Se tiene que lim 2 = y que lim 1 + n1 n + + 1 n + 0n =
n
|z| |z| anz az anz
n
a zn a z n1 az a
1. Sea R > 0 tal que lim 2 1 |z| R y 1 + n1 n + + 1 n + 0n
n
|z| anz az anz
n
1
2 |z| R, por lo tanto |z| R se tiene que |p(z)| =
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)|
anz az anz
n
1 |z| R. Ahora B(0 R) = { z C | |z| R} es compacto y puesto que g es
continua, g( B(0 R) ) es compacto y por lo tanto acotado. Sea M > 0 tal que
|g(z)| M z B(0 R) . Entonces |g(z)| M + 1 z C, por lo tanto g es entera y
acotada, y como consecuencia, constante, lo que implica que p(z) es constante, pero esto
contradice nuestras hiptesis. Entonces, existe z C tal que p(z ) = 0.
0 0
COROLARIO 4.2.26:
Sea p(z) C[z] un polinomio con coeficientes complejos. Entonces todas las races
de p(z) estn en C, es decir, C es algebraicamente cerrado.
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
DEMOSTRACION:
Por clculo de varias variables, sabemos que tiene una inversa real diferenciable,
satisfaciendo (1), (2) y (3). Solo basta verificar que satisface las condiciones de Cauchy-
Riemann. Ahora si llamamos = x1 = y2, = y1 = x2 y = x1 y2 x2 y1
1
0, puesto que = 1 , se tiene que x1 = y2 = y y = x2 = , lo que
demuestra que es complejo diferenciable.
TEOREMA 5.1.2:
156
Captulo 5
DEMOSTRACION:
( ) ( )
Sea B z 0 tal que f(z) w0 z B z 0 {z0}. Entonces podemos
( ( ))
escribir f(z) w0 = (z z 0 )m g(z) tal que g H B z 0 que no tiene ceros en
g'
( ) (( ))
B z . Entonces H B z . Por la demostracin del Teorema de Morera,
0 g 0
g'
((
existe h H B z
1 0 ))tal que h'1 = g . Ahora (g e h 1 )' = eh 1( g' g h 1' ) = 0, por
h h
lo tanto existe una constante A tal que A 0 y g(z) = A e 1 = e , con h = (log A) h1 . Si
h(z)
m
definimos (z) = (z z ) e entonces obtenemos (a).
0
La parte (b) se sigue inmediatamente de 5.1.1.
DEMOSTRACION:
157
Integral de Cauchy
DEMOSTRACION:
DEFINICION 5.1.5:
1
0
1
0 1
(s 0) = 0 (s) y (s 1) = 1 (s) 0 s 1
(*) .
(0 t) = (1 t) 0 t 1
Geomtricamente 0 y 1 son homotpicas cuando podemos deformar 0 en 1 de
manera continua.
158
Captulo 5
DEMOSTRACION:
(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
(Ijk) B(zjk r). Sea Pjk el polgono cerrado [zjk zj+1kzj+1k+1zjk+1zjk] . Se
tiene que f() d = 0 puesto Pjk es convexo.
Pjk
Zn,0 Z2,0
Pj,k
Z0,0 Z1,0
159
Integral de Cauchy
n1
Sumando estas n integrales se tiene
j=0
j
f() d = f() d = Q f() d.
0 0
n1
j=0
f() d = Q f() d Q f() d = 0, por lo tanto Q f() d = Q f() d
Pjk k k+1 k k+1
DEFINICION 5.1.7:
DEMOSTRACION:
160
Captulo 5
por lo tanto z z ~ {z0}, esto implica que f() d = f() d, es decir F(z) est
z z
bien definida.
Ahora probemos que F'(z) = f(z) para z . Se tiene:
F(w) F(z) 1
w z f(z) = w z f( ) d f() d f(z)
z
w
F(w) F(z) 1 1
w z f(z) = w z f( ) d f(z) d =
w z ( f() f(z)) d
[zw] [zw] [zw]
F(w) F(z) 1
w z f(z) |w z| sup |f() f(z)| |w z| 0.
[zw] w z
DEMOSTRACION:
161
Integral de Cauchy
(n) n! f() d
Ind (z) f (z) = 2i
z)n+1
(
para toda z *.
DEMOSTRACION:
Ahora
f(w) f(z) 1 f() 1 1
w z I n d (z) = 2i w z w d =
z
1 f() d 1 f() d
2i ( z) ( z) w
z 2i z 2 = Ind (z) f'(z). Esto es lo que se
( )
quiere probar para el caso n = 1.
162
Captulo 5
{z C | }
z , entonces si f(z) es holomorfa en , f*(z) = f( z ) es holomorfa
Sea
+
una regin en H+ y L tal que L + R . Sea =
{z C | z + } = reflexin de + a travs de R. Sea f H(+), f continua en
163
Integral de Cauchy
f(z) z + L
+ L tal que f(x) R x L. Entonces F(z) = es
f( z ) z
+
holomorfa en W = L y F| + = f.
DEMOSTRACION:
H+
+
R
L
f( z ) es holomorfa en y si z = x
1
3 L1
R
L2
2
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:
F() d = F() d + F() d + F() d = 0 + 0 + F() d
1 2 3 3
= F() d + L F() d + L F() d + L F() d.
L1 2 3 4
L1
L3 L4
L2
Ahora si la longitud de L3 y L4 se va
a 0, entonces puesto que F es uniformemente continua en , se tiene
F() d + L F( ) d LL0
0.
L3 3 4
4
Finalmente por continuidad uniforme de F, es claro que F( ) d LL
L1 1 2
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
TEOREMA 5.2.3:
DEMOSTRACION:
PROPOSICION 5.2.5:
DEMOSTRACION:
166
Captulo 5
) Es claro.
1
) Por 5.2.3, f(z) tiene una singularidad removible en z = a, por lo tanto
1 m g(z)
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)
Si a es polo de f, se tiene que f(z) =
(z a)
m = n=m
a ( z a)n. Entonces:
n
am a
1
+ +
(z a) m (z a)
se llama la parte singular principal de f en a.
167
Integral de Cauchy
a R1
R2
DEMOSTRACION:
168
Captulo 5
1 f() d 1
d z
| 1 | 2i z |a|=r
f (z) = sup | f() |
2
z
0,
1
1 1
1
f1(z) = g z a =
B ( z a)n. Adems
n=0 n
1 1 f() d w f() d
g(w) = f1 a + = 2i = =
w 1 2i 1 w ( a )
a
w
1 1
w
1
= 2i f( )
1
n=0
w n ( a)n d =
n=1
2i
1
f( ) ( a)n1 d w n .
1 f() d
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
2
z
1
f(z) = 2i f() d = 1 f() d 1 f() d = f (z) + f (z) =
z 2i a 2i a 2 1
+
2 1 2 1
a ( z z )n por lo tanto
1 f() d
a n = 2i n Z .
n=
n 0
( a)n+1
La convergencia uniforme en {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 }.
DEFINICION 5.2.8:
1
En la serie de Laurent
n=
a ( z z ) , a a ( z z )n se llama la parte
n 0
n
n=
n 0
singular principal de la serie, y a
n=0
a ( z z )n se le llama la parte regular de la serie.
n 0
170
Captulo 5
TEOREMA 5.2.9:
Sea a una singularidad aislada de f y sea f(z) =
n=
a ( z z )n su desarrollo en
n 0
DEMOSTRACION:
Ejercicio.
DEMOSTRACION:
171
Integral de Cauchy
DEFINICION 5.2.11:
Si a es un singularidad aislada de f y si f(z) =
n=
a n ( z a)n en B( a ).
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
n
f() d
i=1
Q () d.
i
1
Finalmente se tiene que
Q () d =
i
n=
a n(i) ( z a i)n dz, todas las
integrales son cero excepto para n = 1, por lo tanto Q i() d = 2i Ind( ai) a1(i) =
2i Ind (a ) Res (Q a ) = 2i Ind (a ) Res (f a ).
i i i i i
172
Captulo 5
PROPOSICION 5.2.13:
m1
1 d
Res (f, a) = (m 1)! lim m1 ((z a)m f(z)).
za dz
DEMOSTRACION:
am a
1 + h(z), con h(z) holomorfa. Entonces
Se tiene que f(z) = 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
g (a) 1 d
(m 1)! za dzm1 ((z a) f(z)).
m
holomorfa. Por lo tanto a = (m 1)! = lim
1
DEFINICION 5.2.14:
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.
173
Integral de Cauchy
1 f'( ) r s
2i f() d = Ind
( k)
a Ind ( p ).
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
f'(z) m h'(z)
orden m. Ahora se tiene que f(z) = z z + h(z) . Aplicando esto a todos los polos y a
0
todos los ceros de f tendremos
r s
f'(z)
f(z) =
k=1
1
z ak
j=1
1
z pj
g'(z)
+ g(z) ,
donde g(z) es diferente de cero para toda z. Aplicando el Teorema de Cauchy 5.1.6, se
sigue el resultado.
174
Captulo 5
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' ()
n f ' uniformemente para |z a| = R. Entonces lim 1
d =
fn n f n 2i f ()
n
|za|=R
1 f'( ) d.
2i 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:
DEMOSTRACION:
175
Integral de Cauchy
DEMOSTRACION:
f(z) f
Se tiene que g(z) 1 < 1 para z sobre . Esto es, la funcin meromorfa g mapea
{} dentro de B(1, 1). Ahora si Log es la rama principal de la funcin logaritmo, entonces
f '
f g
log g es una primitiva de la funcin f . Entonces:
g
f '
g f ' g '
0= f = f g = (C f P f ) (C g P g ).
g
El Teorema de Rouch puede ser usado para otra demostracin del Teorema
+ + a0 un polinomio en C[z] no
n n1
Fundamental del Algebra. Sea p(z) = z + an1 z
constante, entonces
176
Captulo 5
p(z) a a
n1 + + 0 1.
= 1 +
zn z 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.
178
Captulo 6
f((t)) f ( (t0))
= lim Arg = lim Arg f (t) f ( z0) =
tt0 f((t)) f ( (t0)) tt0 f (t) f ( z0)
(t) z 0 m g ( (t))
= lim Arg ,
tt0 (t) z 0 g((t))
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:
TEOREMA 6.1.2::
TEOREMA 6.1.3:
179
Transformacin Conforme
DEMOSTRACION:
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
v(x mx) x x (x mx) v x + m v y
tan ( ) = lim u(x mx) = lim u(x mx) = lim u = u + m u (0, 0),
x0 x0 x0 (x mx) x y
x x
180
Captulo 6
vx + m vy
tan ( ) tan ( ) ux + m uy m
tan ( ) = = v + m v = c
1 + tan ( ) tan ( )
1 + m x y
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
uy = c vy (1)
vy ux = c (u y + v x ) (2)
v =cu (3)
x x
Sustituyendo (1) y (3) en (2) obtenemos
vy ux = c ( c v y + c u x ) = c2 (v y u x )
(1 + c 2 ) (v y u x ) = 0 v y = u x y u y = c v y = c u x = v x .
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:
(
Sean f(z) = |z| z, a = 0. Entonces f(x, y) = x x2 + y2 y x2 + y2 = )
(u(x y) v(x y)). Es fcil ver que u (0, 0) = u (0, 0) = v (0, 0) = v (0, 0) = 0, por lo
x y x y
que Df(0, 0) = 0.
181
Transformacin Conforme
(0) = (0) = 0
f((t)) f ( (0)) |(t)| (t) 0 (t)
= lim Arg = lim Arg = lim Arg ,
t0
f ( (t)) f ( ( 0 ) ) t0
|(t)| (t) 0 t0 (t)
por lo tanto f preserva ngulos en a = 0. Adems f es complejo diferenciable en 0 con f'(0)
= 0, pero f no puede ser holomorfa en 0. Analizando las ecuaciones de Cauchy-Riemann,
es fcil verificar que f solo es complejo diferenciable en a = 0.
OBSERVACION 6.1.6:
Puesto que conforme implica f'(a) 0, f es 1 - 1 en una vecindad de a. Por otro
lado |f(z) f(a)| |f'(a)| |z a| para z cercano al punto a, es decir que f'(a) sirve como un
factor de "amplicacin" al tomar la transformacin w = f(z).
2. Transformadas de Mbius.
DEFINICION 6.2.1:
OBSERVACION 6.2.2:
az+b
Si T(z) =c z + d con a d b c = 0, entonces si c = 0, se tiene d 0 y por lo tanto
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
d b az+b a a a
=
c a , es decir T(z) = = = c = constante.
c z + d c
z + d
c
Es decir la condicin a d b c = 0 implica T(z) = constante. Por otro lado veremos
ms adelante que la condicin a d b c 0 implica que T(z) es 1 - 1 en S2, la esfera de
Riemann.
PROPOSICION 6.2.3:
DEMOSTRACION:
a (c z + d) (a z + b) c a d b c
Se tiene T'(z) = = 2 0, por lo que T es
(c z + d) 2 (c z + d)
conforme.
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 d a
En z = c , T = y T() = c, por lo tanto consideraremos T : S2 S2, T
c
es biyectiva con inversa del mismo tipo y dada como en 6.2.3.
DEFINICION 6.2.5:
a
Notemos que si T(z) = a z es una dilatacin, T(z) = |a| |a| z, es decir T es la
PROPOSICION 6.2.6:
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
a z + b 1 a z + b a c c a
Ahora si c 0, T(z) = c z + d = c = c
z + d z+ d =
c c
bc ad
b c d a 2
a ca a c d
= c 1 + =c+ , entonces T = T4 T3 T2 T1 donde T1(z) = z + c ;
z + c
d
z + c
d
1 bc ad a
T (z) = ; T (z) = z; T (z) = z + c.
2 z 3 c
2 4
PROPOSICION 6.2.7:
DEMOSTRACION:
az+b
Sea T(z) = c z + d de Mbius. Se tiene que T(z) = z a z + b = c z2 + d z,
185
Transformacin Conforme
z z 3
z z
Si z z z C, T est dada por T(z) =
4
;
z 2
1 2 3 z3
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:
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:
DEMOSTRACION:
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 =
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:
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.
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 ) R
los 4 puntos estn en un crculo.
DEMOSTRACION:
187
Transformacin Conforme
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,
o sea 2 i (Im ( w + )) = 0, donde = (a d b c) y = b d .
Por lo tanto T(R {}) = { w C | w + = R { }} =
2
(***) |w| + 2 Re ( w) = 0
a d b c b d b d
donde C , R , = , = .
a c a c a c a c
2
2 2 2 2 ad bc
De (***), obtenemos |w + | = |w| + || + 2 Re( w) = || + =
a c a c
> 0, por lo tanto T( R {}) = w C | | w + | = r =
ad bc
a c a c > 0 el
cual es un crculo.
188
Captulo 6
TEOREMA 6.2.13:
DEMOSTRACION:
2
Sea un crculo en S y sea T una transformada de Mbius. Sean z2 z3 z4 y
sean T(zi) = wi, i = 2, 3, 4. Entonces w2 w3 w4 determinan un nico crculo ' en S2.
Para z S2, (z z z z ) = (T(z) w w w ) por la Proposicin 6.2.10. Entonces
2 3 4 2 3 4
por la Proposicin 6.2.12, z (z z 2 z 3 z 4 ) R ( T(z) w 2 w 3 w 4 ) R
T(z) '.
Por lo tanto T() = '.
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
adems la propiedad de que T() = '.
DEMOSTRACION:
Ejercicio.
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 '?
189
Transformacin Conforme
z3 w
4
T
z2 w
3
z4 w
2
Preserva la Orientacin
z3 w
4
z2 T w
z4 3
w
2
Preserva la Orientacin
190
Captulo 6
w
4
T
w
3
w
2
Preserva la Orientacin
z2 z3 z4
DEFINICION 6.2.15:
2
Si es un crculo en S , entonces una orientacin de es una tripleta ordenada de
puntos (z 1 z 2 z 3 ) en .
Ahora bien, si T(z) =c z + d es una transformada de Mbius tal que T(R {})
az+b
= 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
|c z + d|
2 { a c |z| 2 + b d + ( a d z + c d z )}
ad bc
Por lo tanto Im (T(z)) = 2 Im z.
|c z + d|
DEFINICION 6.2.16:
Se definen
191
Transformacin Conforme
+
H = {z C | I m z > 0} = Semiplano superior y
H = {z C | I m z < 0} = Semiplano inferior.
Si T es como antes, es decir T(R {}) = R {}, entonces si ad bc > 0 se
tiene que T(H +) = H+ ; T(H) = H, y si ad bc < 0 entonces T( H +) = H ; T(H) =
0
H +. 1
Lo anterior significa que si ad bc > 0, entonces tres puntos en R {}
recorridos de "izquierda" a "derecha" nos dan imgenes en R {} que tambin se
recorren de "izquierda" a "derecha", y si ad bc < 0 entonces tres puntos en R {}
recorridos de "izquierda" a "derecha" nos dan imgenes en R {} que se recorren de
"derecha" a "izquierda", es decir T preserva la orientacin. Esto se puede probar
directamente considerando todos los casos posibles para a, b, c y d.
Ahora, con respecto a R, los puntos z y z son simtricos, por lo que para definir
el concepto de simetra con respecto a una transformada lineal arbitraria T, consideremos
T(z) = (z z z z ).
2 3 4
z3
T(z) = (z, z , z , z )
2 3 4
z2
z4 T
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
llaman simtricos con respecto a si (z* z 2 z 3 z 4 ) = (z z 2 z 3 z 4 ) .
192
Captulo 6
OBSERVACION 6.2.18:
PROPOSICION 6.2.19:
DEMOSTRACION:
(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
= R {}, por lo que podemos escoger M(z) = T S (z) = c z + d, 1 a z + b
con a, b, c, d R. Por probar: T(z*) = T(z) S(z*) = S(z) . Ahora bien tendremos
( )
T(z*) = T S 1 S (z*) = M(S(z*)) = T(z) = M(S(z)) = M( S(z) ) S(z*) = S(z) .
Veamos cual es el significado geomtrico de que z y z* sean simtricos con respecto
a un crculo. Si es una lnea, escojamos z = . Entonces T(z) = ( z z z z ) =
4 2 3 4
z z3 z* z z z3 z z
3= 3
z2 z3 , por lo tanto T(z* ) = z2 z3 z z = z z = T(z) |z* z 3 | =
2 3 2 3
z* z zz
| z z3 | = | z z 3 |. Tambin se tiene que Im z z 3 = Im z z3
2 3 2 3
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 ) = (T(z) = z a)
(z a z 2 a z 3 a z 4 a) =
2 2 2 2
z a R R R = R
(T(z) = z )
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)
2
R
z a + a z 2 z 3 z 4 ,
2
R
es decir z* =
z a
+ a, (z* a) ( z a ) = R2 (si z = a, entonces z* = ).
2 2
z* a R R
Entonces z a = 2 > 0, es decir z* = t (z a) + a, t = > 0.
|z a| |z a|2
A
R
a z w
|z a|
De la figura, los tringulos (A a z), (w a A) son semejantes por lo que R
R
= |w a| |w a| |z a| = R2, lo que implica que w = z*.
194
Captulo 6
( )
Si T es una transformada de Mbius tal que T 1 = 2, 1 y 2 crculos de S2,
entonces si z y z* son simtricos con respecto a , T(z) y T(z*) son simtricos con
1
respecto a 2.
DEMOSTRACION:
EJEMPLOS 6.2.21:
0 1
195
Transformacin Conforme
2 2
1 i (1 i) 1 + i 2 i
entonces d = 1 + i = = = i, por lo tanto
2 2
z + i i z + 1
T(z) = i z i =
z i .
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
4 2
0 X
i
i
Ahora bien T(0) = 4, por lo
que T manda el semiplano determinado por conteniendo a 0 en H .
1 0 1
196
Captulo 6
(3) Hallemos una transformacin lineal T tal que T({ z C | Re z > 0} ) = U, con
T(1) = 0. 1 y 1 son simtricos con respecto al eje imaginario as como 0 y lo son
z1
con respecto a U, por lo tanto T( 1) = . Entonces tendremos T(z) = z + 1. Si
z 1
ponemos T(0) = 1, obtendremos = 1, por lo que T(z) = z + 1 .
Y
Y
L1 L1
f(z) = exp z f (L2 )
L2
b a , Tan = b
e
0 a X 0 X
f (L 1)
197
Transformacin Conforme
Y Y
b
1
b f(z) = exp z a
e 1
e
a tan 1b
0 a X 0 a X
a 1
1
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.
Y
Y w
u
f(u)
v
f(z) = exp z
X
0
X
f(v)
198
Captulo 6
r rn
n
f(z) = z
na
b
a
0 X 0 X
nb
n
Si a y b son tales que n (b a) 2 , entonces f : Urab Urnanb es 1 - 1 con
r n n
inversa g : Unanb Urab. g se llama la raz n-sima y se denota g(z) =
z.
Y
La
L'
b
0 X
199
Transformacin Conforme
R si a = 0
2 . Similarmente obtenemos que
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
R si b = 0
Pb' = .
y 2 = 4 b 2 ( x b 2 ) si b 0
2 Y
(a b2, 2 a b)
2b2
Y f(La )
La 2a2
2
b a2
L' F 0 F X
b (a, b)
f(L' )
b
0 X
2
z z2 (a b2, 2 a b)
200
Captulo 6
1 1
Consideremos el crculo z = r ei, 0 2 , entonces f(z) = r e i
+ i =
2 re
1 1 1 1
= 2 r + cos + i 2 r sen .
r r
1 1 1 r 1 sen , se tiene
Por lo que si x = 2 r + cos , y = 2
r r
2 2
x y
+ = 1,
1 1 2 1 1 2
4 r + 4 r
r r
Y
1 r1
2 r
(1,0) (1,0)
0 X
1 r +1
2 r
1 1
la cual es una elipse con semiejes 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
f
0 1 1
X
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 2 = 1.
cos sen 2
Si 0 < < 2 u + v + ;
r0 r0
Si < < u + v + ;
2 r0 r0
3
Si < < 2 u + v + ;
r0 r0
3
Si < < 2 u + v + .
2 r0 r0
Adems, v 0.
r1
2 3 4
1
4
3 2 1
2
1 1 2 w 4 w 4
(w = 2 z + z2 2 w z + 1 = 0 z = = w w 2 1).
z 2
Para estudiar la funcin inversa, consideremos C [1, 1]. La funcin f(z) =
1
( 2
ln z 1 )
z2 1 = e , f : C [1, 1] C tiene una rama analtica tal que f(i) = 2 i
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 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 1 z + 1
Nuevamente escribimos w = 2 z + = 2 z , por lo tanto
z
2
(z + 1)
2 z
w + 1 =
w 1 z 1 2
2 w + 1 = z + 1 .
(z 1)
w 1 = 2 z
z 1 2 w1 1
Sea = z + 1 , entoncesw + 1 = w = :
+ 1
T z 1 2 T 1
z z + 1 = u u = = w,
+ 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
C
T(C)
(0,c)
1+c 2
c T(R)
1 1
0 T(1)
ai
C
T(C) T(C)
2
1 T(R) 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.
2
f
1 1 1 1
204
Captulo 6
T
1 1 1 1
T
1 1 1 1
205
Transformacin Conforme
0 exp
J
0
1 1
Similarmente
exp
J
i
0 0 1
206
Captulo 6
Resumiento:
cos z
Si f(z) = sen z, puesto que tenemos sen z + = cos z y cos z = sen z, se
2 2
sigue:
sen z
/2 /2 3/2
iz iz 2iz 2iz
sen z 1 e e e 1 1 e
Sea ahora f(z) = Tan z = cos z = i iz iz = i 2iz =i , esto es:
e +e e + 1 1+ e 2iz
1 t
i z = u exp
e u = v v 2 = t T i 1 + t.
z
Si L = {z
a
C | Re z = a = constante},
207
Transformacin Conforme
Y L Y
a exp
(a,b) (b,a)
a
Lb
X eb
0 X 0
T
i
2a
2b
e
En particular las lneas Re z = 4 y Re z = 4 se transforman en las 2 mitades del
Tan z
1
0 X
/4 0 /4 X
208
Captulo 6
4. Ejemplos.
EJEMPLO 6.4.1:
0 X
0 X
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 .
2 i sen
( 1 + e i
e i
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:
digamos a, b C .
b
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 L
1
d
2
1
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.
EJEMPLO 6.4.3:
4 5
2 3
= + = 4
2 4
4 5
i y
211
Transformacin Conforme
3
2
5
= + = 6
3 2
3
3 i
1
Es decir la figura es como sigue:
Y
5
6
3
2 2 4
1 0 1 X
3 i
z1
Entonces la transformacin T(z) =z + 1 es tal que manda esta lente en la regin
212
Captulo 6
EJEMPLO 6.4.4:
a
d
c
c c
1 2
213
Transformacin Conforme
2
R
a*
1
= + d. Puesto que estas dos cantidades
a d
2 2
r R
deben ser iguales se sigue que +c= + d. De esta manera hallamos a tal
a c a d
que T(a) = 0 y T(a*) = .
z a
As T est dada por T(z) = z a*, con C {0}. El siguiente ejemplo es
para 2 crculos dados.
EJEMPLO 6.4.5:
Hallemos un mapeo conforme que mande la regin del interior del crculo unitario y ex-
i 1
terior al crculo z 2 = 4 en un anillo con centro en el origen y cuyo menor radio es 1.
Y
Y
i
1 2
4 1
1
0 T 0 X
X
214
Captulo 6
i 1
Del ejemplo anterior tenemos c = 2, r = , d = 0, R = 1, por lo tanto
4
1 1
16 i 1 16 i 1 1 i i 1 i
+2= +0 2 = a 16 2 a = a a
i a 0 i 2 2
a a 2
2
1 i 1 i 1 i 1 1 9 2 1 9
16 2 a 4 = 1 2 a 2 a a = 16 1 a = 8 a i
19 i 361 19 i 105
a=
8 2
64 + 4
=
8
2
64 i 19 105
= 16 i 16 i =
19 105
16 i.
19 105 1
El valor que est en el interior de |z| = 1 es a = i. Ahora bien a* = =
16
a
16 i 16 ( 19 +
105) i 19 + 105
= = = i. Por tanto
19
105 361 105 16
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
T(z) =
105 + 31 16 z
( 19 105) i .
105 7 16 z + ( 19 + 105) i
EJEMPLO 6.4.6:
215
Transformacin Conforme
Y Y Y
i
g 2 h
z i z z ez
2
1 0 1 X 0 X 0 X
i
2
Y
T U
z zz + 11
0 X
iz
Es decir, : U, = T h g; (z) = T(h(g(z))) = T h i z = T e 2 =
2
iz
2
e 1 z
= = i Tan 4 es una transformacin buscada.
iz
2
e + 1
La funcin inversa : U est dada por (z) = g ( h (T (z))) =
1 1 1
1 + z 1 + z 2 1 + z
g1 h1 1 z = g1 Ln = i Ln 1 z .
1 z
EJEMPLO 6.4.7:
216
Captulo 6
= T( 1) 2
z z
T
i = T(0)
z i z 1 i 1
1 0 1 z+1
0 0 1 0
0 = T(1)
5. Resultado Generales.
217
Transformacin Conforme
DEMOSTRACION:
f(z) si z 0
Sea g : U C definida por g(z) = z . Entonces es fcil ver
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 =
constante. Esto implica que f(z) = c z z U con |c| = 1.
DEFINICION 6.5.2:
z a
Si |a| < 1, sea (z) = .
a
1 a z
PROPOSICION 6.5.3:
218
Captulo 6
DEMOSTRACION:
i
a e i a
Si R , |a(ei)| = e
i
=
i = 1, por lo tanto a(U)
1 a e e a
U. Adems (0) = a, y puesto que es una transformada de Mbius, se tiene que
a a
(U) = U, (U) = U. El resto de la Proposicin se verifica directamente.
a a
PROPOSICION 6.5.4:
DEMOSTRACION:
U U U U
a f
0 a 0
219
Transformacin Conforme
TEOREMA 6.5.5:
DEMOSTRACION:
1
: U U, g(f(z)) = f(g(z)) = z, g(0) = a. Usando 6.5.4 tanto para g
Sea g = f
1 2
como para f se tiene |f'(a)| 2 y |g'(0)| 1 |a| . Puesto que g f = Id
1 |a|
1
1 = g'(f(a)) f'(a) = g'(0) f'(a) |f'(a)| = 2 . Entonces por 6.5.4 se sigue que
1 |a|
( )
f = 0 c a = c a (0 = Id).
EJEMPLO 6.5.6:
i + 1 2
1 2
i i + 1 i
Sea f : U U con f = . Entonces f ' =
2 2 2 i 2
1 2
1 1
1 2 2 2
= = 3 = 3. En particular, no existe f : U U holomorfa con
1
1 4 4
i i + 1 i 3
f = 2 y f' = 4.
2 2
A continuacin enunciamos el Teorema de Mapeo de Riemann el cual caracteriza los
dominios simplemente conexos del plano complejo C . Primero enunciamos varias
caracterizaciones de dominios simplemente conexos en C . No presentamos su
demostracin aunque la mayora de la implicaciones ya las hemos probado implcitamente
en el transcurso de estas notas.
220
Captulo 6
DEFINICION 6.5.7:
TEOREMA 6.5.8:
221
Transformacin Conforme
Ver Rudin [10] pgina 302, Teorema 14.8 y pgina 316, ejercicio 26; Conway [4]
pgina 204, Teorema 3.2 y pgina 279, ejercicio 3.
OBSERVACION 6.5.10:
TEOREMA 6.5.11:
DEMOSTRACION:
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:
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 B s
R V
g
1
1
f s
g
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
{f(zn)}n=1 V y no tiene punto lmite en B debido a que es continua. Similarmente
tendremos que si |zn| R, entonces |f(zn)| S .
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).
Ahora 2 ln |f(z)| = ln |f(z)|2 = ln f f , entonces si ponemos =
x i y, es fcil
f' f'(z) f'
ver que (2 ln |f|) = f 0 = (u(z)) = f(z) z f = z . Ahora bien, por el Principio
=
1 d = Z . Sea g(z) = f ( z ), g'(z) =
2i
z
|z|= R
f(z)
f'(z) z f(z) z 1 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.
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:
Si C es una regin simplemente conexa C con frontera S una
2
225
Transformacin Conforme
DEMOSTRACION:
5 4
w P w
1 1 3 3
2
w
Sean a , a , , a R {} tales que f(a ) = w . 2
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
w
i+1
P
ai a i+1 P'
w
i
ai a i+1 w f(s )
s a i+1
i+2
w
i
+
Aplicando nuevamente el principio de simetra, ahora a H , entonces existe f1 en
H+ que extiende a f en H+. Notemos que f1 no necesariamente es f pues la reflexin pudo
haber sido a travs de otro subintervalo. Sea f1(H +) = P".
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''
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
vecindad de a . De momento suponemos que a i. Sea h(z) = [f(z) f ( a )] i.
i i i
w
i+1
i
s t
w i
ai1 ai a i+1 i
w
i1
228
Captulo 6
w
i+1
s t w i
i
ai 0
w
i1
Por el principio de simetra, h es analtica en a , por lo tanto f(z) = f(a ) + h(z) i,
i i
h(ai) = 0, h'( ai) 0. Escribamos h(z) = (z a i ) m(z), m holomorfa en una vecindad de
f"(z) 1
a i f(z) = f( ai) + ( z a i ) i m(z) i. Entonces g(z) = f'(z) = zi a + k(z) =
i
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
z = a . Entonces g (z) = g(z) +
i 1 i=1
z a i H ( C {}) y es acotada, por lo que
i
n n n
i
i=1
i Ln ( z a i)
( z a i ) + Ln C = Ln C i=1 f'(z) = C
( z a i)
i=1
i
229
Transformacin Conforme
n
y f(z) = C
i=1
( z a i ) i dz + D , con C y D constantes. C y D determinan el
tamao y la posicin del polgono P.
Como se describe en el Teorema del Mapeo de Riemann, tres puntos pueden ser
descritos, es decir, podemos escoger tres puntos de entre {a 1 a 2 a n } de antemano.
El resto de los a 's quedar automticamente determinado.
i
Resumiendo, el anterior desarrollo prueba:
OBSERVACION 6.5.18:
230
Captulo 6
y y x x x
1 n1 1 n1 n
w = g(y1 )
1
g
1
Con el cambio de variable = T1 , = T = + xn, se tendr:
n n1
i
i=1
( x i)
d =
i
( T Ty i)
( T T )
n
(T)' d =
i=1
n1
i
=
i=1
1
+ x
n
1
y i
+ x n
1 + x x
n n
n
1
2 d =
n1 n1
1 1 i
=
i=1
y
i
1 n 1
2 d = c
i=1
( y i )
i
++
1 n 1
2 d,
n1 n
con c =
i = 1
yi i. Puesto que = 2, se sigue que:
i=1 i
231
Transformacin Conforme
n n1
(
i=1
xi )
i
d = c (
i=1
yi )
i
d, es decir
T
1
(w)=z
( y ) d
n1 i
g(z) = A + B, la cual es la misma que la
i=1 i
T 1
(w )=z
0 0
frmula de Schwarz-Christoffel pero reducida en un factor lo que hace un poco menos
difcil de calcular esta integral.
Resumiendo, hemos probado:
+
Similarmente podemos obtener frmulas de Schwarz-Christoffel cambiando H por
+
U. Digamos que z1 z2 zn U y sea T : U H de Mbius tal que T(zi) = xi .
Entonces con el cambio de variable = T1 se tendr:
232
Captulo 6
OBSERVACION 6.5.21:
EJEMPLO 6.5.22:
233
Transformacin Conforme
0 X
= z
C | |Re z| < 2 I m z > 0. 2 2
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 d
tendr que f(z) =
0 ( + 1) ( 1) d + = 2 + =
1
0
Arc Sen z + .
f( 1) = 2 = 2 +
Puesto que = 1, = 0, por lo tanto
f(1) =
=
2 +
2
f(z) = Arc Sen z , lo cual coincide con lo visto en 3.4.
EJEMPLO 6.5.24:
Hallemos un mapeo conforme que transforme U en = z
C | 4 <
R e z < 4
234
Captulo 6
i i f X
0
4 4
Lado 2
z
Entonces, usando 6.5.20, f ser de la forma: f(z) = A 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:
z
d 1
Consideremos w = = f(z). Entonces
0
4 1
4 1
1 1 1 1 1
= (( 1)
2
( 2
+ 1)) 2
= = ( 1) 2
( + 1) 2
( i) 2
( 2
+ i) , por lo que
f(z) manda U en un rectngulo debido a que lo ngulos exteriores son 2 .
235
Transformacin Conforme
1 1 f
EJEMPLO 6.5.26:
7 5
5
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
f(z) = A ( 1) ( + 1)5 d + B. Podemos tomar A = 1, B= 0 y entonces f
5 5 5
0
ser:
z
2
5
f(z) =
( + 1)5
d .
4
( 5 1)5
0
237
CAPITULO 7.
APLICACIONES
1. Problema de Dirichlet.
DEFINICION 7.1.1:
OBSERVACION 7.1.2:
Las partes real e imaginaria de una funcin holomorfa son armnicas y stas reciben
el nombre de armnicas conjugadas.
TEOREMA 7.1.3:
238
Captulo 7
PROBLEMA 7.1.4:
DEMOSTRACION:
1 + z f d
De hecho u(z) = Re 2i
z ( ) , la integral es holomorfa y por
||=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.
1 + (z) d
v(z) = Re 2i
(z)
( ) ( )
f 1 =
||=1
.
it
1 e + (z)
= 2 f ( 1(eit)) R e 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
0
v(z) = Re
1 + R
f( R + z 0 )
d =
0
2i z z
=1 R
||
1 R + z + z 2 z0 d
= Re 2i 0
(
f R + z0 ) .
R + z0 z
=1
||
d
d R d
Sea = R + z0; d = R d; = = , por lo tanto
z z
0 0
R
1 + z 2 z0
d
v(z) = Re 2i f ( ) z .
z
0
| z 0 =R |
EJEMPLO 7.1.7:
T
1
z + i T() = 1
(1 i) z + 1, 0 1 por lo que
z (1 i) i z 1 i
T(z) = z + ( 1 i ) =
z 1 + i.
241
Aplicaciones
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 elec-
trosttica, 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:
2i
1+i
=0
2
=1
1 + i = T(2)
X
0
1 i = T(2 i)
3
Rotemos esta regin un ngulo de 4 , es decir
3i
4
aplicamos la funcin z e z, y finalmente elevemos al cuadrado.
243
Aplicaciones
Y
2i
T 1 + i = T(2)
0
X 3i
1 z e 4
z
0
0 1 i = T(2 i)
z z2
0 1
1
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) = 2 2 . Ahora bien, f(x) = , por lo que
(x ) + y 0 si x < 0
1 y d 1 y d 1 d
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
Sea t = y , d = y dt, entonces u(x, y) = = Arc Tan t x =
y t2 + 1
0 y
1 x 1 1 1 1 1
2 Arc Tan y = 2 Arg ( i z) = 2 2 + Arg z = 1 Arg z,
0 Arg z .
u es la solucin para H+, por lo que la solucin al problema original es:
3i 2 3i 2
e 4 z 1 e
4
z
(x, y) = u((z)) = u z (1 + i) = 1 Arg z (1 + i) .
EJEMPLO 7.2.2:
no de .
245
Aplicaciones
r = x 2 + y 2
Se tiene que
x = r cos
y
y = r sen y , por lo que
= Arc Tan x
u u r u 2 x u x
r = u cos ;
= + = u + 0 =
x r x x r r r
x2 + y2
2
u u r u 2 y u y
r = u sen ;
= + = u + 0 =
y r y y r 2 2 r r
2 x +y
2
u
=
x2 x
(
u r cos ) = r (u r cos ) xr + (u r cos ) x =
y
2
x 2 y
= ur r cos cos ur sen 2 = ur r cos + ur sen 2 2 =
y x +y
1 + 2
x
2 r sen u
= ur r cos + ur sen 2 = ur r cos2 + rr sen2 ;
r
2
u r
y
( ) (
2 = y u r sen = r u r sen y + ) (
)
u r cos y =
1
x 2 x
= u sen sen + u cos 2 = ur r sen + ur cos 2 2 =
rr r
y x +y
1 + 2
x
2 r cos u
= ur rsen + ur cos 2 = ur r sen2 + rr cos2 ,
r
por lo que la ecuacin de Laplace queda:
2 2 u u
u u
+ = u ( cos 2
+ sen 2
) + r
r (sen 2 + cos 2 ) = u + r = 0.
r
x2 y2 rr rr
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 =
2 2 r ,
Ln r2
1
b a a Ln r a Ln r b Ln r + a Ln r
2 1 1 1 =
B=a Ln r1 =
r2 r
Lr r L r2
1 1
a Ln r 2 b Ln r 1
= Ln r Ln r .
2 1
Es decir la solucin para el caso de dos cilindros paralelos es
b a a Ln r b Ln r
u(z) = u(r e i ) = f(r) = u(x, y) = Ln r + 2 1
r2 Ln r 2 Ln r 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
247
Aplicaciones
9 45 18 18 ( 9 + 45) 9 + 45 z a
a= , a* = = = . Entonces T(z) = z a* =
2 9 45 81 45 2
9 45
z 2 2 z 9 + 45
= .
9 + 45 2 z 9 45
z 2
2 9 + 45 7 45
Para hallar , hagamos T(1) = 1 1 = = =
2 9 45 7 + 45
45 + 7 4 5 + 7 2 z 9 + 45
= , por lo que T(z) = .
4 5 7 45 7 2 z 9 45
Ahora T(3) =
4 5 + 7 6 9 + 45
=
( 4 5 + 7) ( 3 + 45) =
45 7 6 9 45 ( 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
4 5 + 7 2 z 9 + 45
Ln
(1 0) Ln |T(z)| + 0 0 45 7 2 z 9 45
v(z) = u(T(z)) = = .
4 45 + 24 Ln ( 4 45 + 24) Ln ( 4 45 24)
Ln
4 45 24
EJEMPLO 7.2.3:
Lneas
Equipotenciales
i
0
2
0
0 X
2 Encontremos una funcin no
248
Captulo 7
4
I= d .
( 2 1) 2
Resolviendo sta ltima integral por fracciones racionales obtenemos:
[
I = Ln z + z2
]
1 + 2 z2 1 + constante, es decir,
g(z) = A {Ln ( z + z 2 1) + 2 z 2 1} + B.
1 1
Ln ( z21) 3
Aqu (z 1) = e
2 2 2
y tomamos la rama de Ln con 2 < Arg z < 2 .
g( 1) = A ( Ln ( 1) + 2 0) + B = A i + B = i
Ahora, B=0y
g(1) = A ( Ln (1) + 2 0) + B = B = 0
1 1
A = . As que g(z) = f1(z) = 2 {
z 2 1 + Ln [ z + z 2 1]}.
La solucin buscada ser: v(z) = u(f(z)) = C Im ( g (z)) .
1
EJEMPLO 7.2.4:
249
Aplicaciones
250
Captulo 7
Y
a
i
c 0
X
b i
2
1 z 3
=A z g(z) = A 2 L n z + B, 2 < Arg z < 2 .
z
1
g( 1) = A 2 i + B = i
Adems A = 2 ; B = i + 1, por lo
1
g(1) = A 2 0 + B = i
2
2 z 1
tanto g(z) = 2 L n z + i .
u=a u=b
1 0 1 X
Ahora en el semiplano superior nuestro problema es:
Por 7.1.7 se tiene:
251
Aplicaciones
0
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
La solucin al problema original ser: v(z) = u ( g1(z)) = b +
Arg ( g (z)) .
1
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.
0 0
252
Captulo 7
X
representada en la figura: a 0 b
Otra vez, para aplicar la frmula de Schwarz-Christoffel, notemos que se tendr que
lo ngulos exteriores tendern a 2 en a, en i, 2 en b ( y por tanto a 2 en ).
+
Sea g : H con g(1) = 0, g(1) = 0, g(0) = i. Entonces se tiene que g'(z) =
1 1
2 2 A z
A (z + 1) (z 1) z1 = g(z) = A z2 1 + B, donde tomamos la rama
z2 1
de z2 1 tal que x 2 1 > 0 para x > 1.
Ahora bien, g( 1) = B = 0; g(1) = B = 0; g(0) = A 1 + B = A i = i A = 1,
por lo tanto g(z) = z2 1. Entonces f = g1 : H+, f(z) = z 2 + 1.
+
H
EJEMPLO 7.2.6:
253
Aplicaciones
T = 100
W
X
T=0 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
T=0
i
T = 100
255
Aplicaciones
100 6 x y
= 100 Arc Tan 2
.
(x + y ) x + y 2
2 2 2 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
decir tenemos: 0 0
F
F(x, 0) = 0, |x| > 1; F(z) = 0 |z| = 1, Re z > 0 y V() = y () = . La regin es
= {z C | |z| > 1 Im z > 0}.
Recordemos que el mapeo de Joukowski J manda en H+, J : H+ . La
solucin en H+ est dada por u(x, y) = y, = constante v=0
u
Puesto que y = = u(x, y) = y. La solucin a la regin est dada por:
2 2
1 1 x + y 1
F(x, y) = u(J(z)) = u z + = Im z + = y 2 , en su
z z 2
x +y
forma polar:
1 1
F(r e i ) = 1 2 r sen = r sen .
r r
EJEMPLO 7.2.9:
256
Captulo 7
J = 1 ( z + 1z )
2
C
(a)
1
1 0 1 1
Caso en que C si
(b) es simtrico con
respecto al eje real
(es decir, contiene
a | z | = 1)
1 1
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
1
0 J =1
2
( z + 1z ) 1
J =1 (z + 1 )
2 z
1 1 1
1
1
J (z) = z + z2 1
Sea C el crculo |z z 0 | = R tal que J(C) = perfil del ala . Ahora queremos
zz
transformar el interior de C en U . Esto lo hace la funcin f : C U , f(z) = 0
R .
Consideremos la funcin g : { z C | |z| > 1}, g(z) = f ( J (z)) =
1
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
1
0
0 0 0
1 1
259
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 conjunto abierto, 43
conjunto arco-conexo, 50
conjunto cerrado, 44
absolutamente convergente, 30
conjunto compacto 51
argumento, 99
conjunto conexo, 49
armnicas conjugadas, 238
conjunto derivado, 45
B conjunto disconexo, 48
conjunto simplemente conexo, 160
continuamente diferenciable por tramos, 110
continuamente diferenciable, 110
bola abierta, 42 converge, 6
bola cerrada, 42 convergencia uniforme, 92
Bolzano, 8 coseno, 94
criterio de Cauchy, 34
C criterio de Cauchy-Maclaurin, 40
criterio de D'Alambert, 35
C1 por tramos, 110 criterio de Dirichlet, 29
C1, 110 criterio de la integral, 40
cambio de variable, 119 criterio de la raz, 34
Cauchy, 9 criterio del cociente, 35
cerradura, 45 criterio M de Weierstrass, 92
complejo derivable, 64 cubierta, 51
condicionalmente convergente, 32 curva cerrada, 113
conformemente equivalentes, 221 curva, 50
conjugado, 3
261
Indice
D funcin holomorfa, 64
funcin logaritmo, 104
funcin meromorfa, 173
derivada compleja, 64
funcin potencia, 198
derivada direccional, 67
funcin real diferenciable, 66
derivada parcial, 67
desigualdad del tringulo, 4
desigualdades de Cauchy, 145 H
dilatacin, 184
dominios doblemente conexos, 222 homotecia, 184
homotopa entre curvas, 158
E
I
ecuaciones de Cauchy-Riemann, 72
esfera de Riemann, 61 integral tipo Cauchy, 133
interior, 45
F inversin, 184
ndice de una curva alrededor de un punto,
137
frmula de Moivre, 99
frmula de Schwarz-Christoffel, 230, 232,
233 L
frmula integral de Cauchy, 141
frontera, 45 Lema de Schwarz, 217
funcin analtica, 88 lmite inferior, 15
funcin armnica, 238 lmite superior, 15
funcin conforme, 179 lmite, 6
funcin continua, 53 logaritmo, 104
funcin de Joukowski, 200 longitud de una curva, 110
funcin entera, 153
funcin exponencial, 94, 197
262
Indice
N punto lmite, 13
norma,3
R
nmeros complejos, 1
radio cruzado, 186
O radio de convergencia, 81
regin, 51
regla de la cadena, 71
orientacin, 191 rotacin, 184
P S
parte imaginaria, 3 Schwarz-Christoffel, 226
parte principal de la serie de Laurent, 170 semiplano inferior, 192
parte real, 3 semiplano superior, 192
parte regular de la serie de Laurent, 170 seno, 94
parte singular de la serie de Laurent, 170 serie anarmnica, 31
perfiles de Joukowski, 205 serie de Laurent, 167
plano complejo, 1 serie de potencias, 79
polo, 166 serie, 23
primitiva, 116 series, 6
principio de reflexin de Schwarz, 163 series alternantes, 30
principio de simetra, 163 simetra con respecto a un crculo, 192
principio de simetra, 195 singularidad aislada, 165
263
Indice
264
CL CULO INTEGRALES POR
DE EL
MTODO DE RESIDUOS.
x2
1). Sea I = 4 dx.
1 + x
z2
Consideremos f(z) = .
1 + z4
Ahora 1 + z4 = 0 z4 = 1 = e i
i + 2 k i
z = zk = exp = exp (2 k + 1) i , k = 0, 1, 2, 3.
4 4
i 2 1+i ;
4 2 ( )
z = exp =
0
3 i 2 1+i ;
4 2 ( )
z = exp =
1
5 i 2 1i ;
4 2 ( )
z = exp =
2
7 i 2 1i .
4 2 ( )
z = exp =
3
z1 z0
R 0 R
Sea el camino cerrado que es la
R
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
2
( z z0) z
Ahora bien, Res f(z) = l i m ( z z ) f(z) = l i m =
z=z
0 z z0 0
z z0 1 + z4
2 2
3 z 2 z z0 z0 1
lim 3 = = .
z z0 4z 4 z30 4 z0
1
Similarmente Res f(z) = 4 z .
z = z1 1
1 1 i i 3i
f(z) dz = 2 i 4 z + 4 z = 2 exp 4 + exp 4 =
0 1
R
i 2(1i)+
2(1i)=i( 2i)= .
2 2 2 2
2
R
Por otro lado, f(z) dz = f(x) dx + + f(z) dz, donde + es el
R R
R R
z2
semicrculo superior. Finalmente, notemos que f(z) dz = 4 dz
+ 1+z
R +
R
2 R
R x2
R 4 0, y que l i m f(x) dx = 4 dx = I.
R 1R R R
1 + x
x2
Por lo tanto l i m f(z) dz = 4 dx = I = .
1+x 2
R
R
2
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
sen x
2). 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
R
r r R
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
R r
e i z i t exp (i R e i t)
Ahora, dt |exp (i R e i t)| dt =
z dz = i e e i t
0 0
R
exp ( R sen t) dt R 0.
0
iz
e 1
tiene una singularidad removible en 0, por tanto,
z
iz iz
e 1 e dz
lim z dz = 0 = l i m z dz l i m z .
r0 r0 r0
r r r
i ei t iz
dz e
Ahora z = i t dt = i, por lo tanto l i m z dz = i.
e r0
0
r r
3
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 y=x R r
R
e
iz ix
e e
ix
tanto se tiene que l i m z dz = l i m x dx i + 0
r0 r 0
R R r
2 i sen x sen x dx = .
= dx i = 0
x x 2
0 0
d
3). Sea a > 1, I = a + cos .
0
i
e + e i
Se tiene cos = , por lo tanto si definimos z = ei se tiene que
2
z z1 z 1 2 a z + z2 + 1
dz = i ei d = i z d; a + cos = a + 2 + 2 = a + 2 + 2 z = .
2z
2 d z
d 1 d 1 iz
Entonces a + cos = 2 a + cos = 2 2 =
z + 2 a z + 1
0 0 2z
dz i
i
z + 2 a z + 1, donde = e , 0 2 .
2
2 a 4 a2 4
Ahora bien, z2 + 2 a z + 1 = 0 para z = =a a2 1
2
R.
Notemos que | a a2 1| = a + a 2 1 > 1; | a + a2 1|
=a a2 1 < 1.
4
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
Por tanto I = i ( 2 i ) Res f(z), donde f(z) = 2 .
z=a+ 2 z + 2 a z + 1
a 1
1 1
Entonces se tiene: Res f(z) = lim = .
2z+2a 2
z=a+
a 2 1 z a + a 2 1 2 a 1
d 1
Por lo tanto: a + cos = 2 = .
2 2
0
2 a 1 a 1
log x
4). Sea 1 + x2 dx = I.
0
3
Aqu usamos la rama de log z con 2 < Arg z < 2 .
R r r R
Sea la curva:
5
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
Para R > 1, el nico polo de f(z) = dentro de es z = i; por tanto
1 + z2
2 i log i i 2
f(z) dz = 2 i zRes f(z) =
=i 2 = 2 .
=i 2i
R
log (R ei )
Ahora: f(z) dz = log x dx + R i ei d +
1 + x2 2 2i
1 + R e
r 0
r
log (r e )
i
log |x| + i i
+ 2 dx 2 2 i r i e d.
1+x 1+r e
R 0
log (R e ) R i ei d = R log (R e ) i ei d
i i
1 + R2 e2 i 1 + R2 e2 i
0 0
log R +
R 0;
R2 1 R
log (r e ) r i ei d r log r + 0.
i
1 + r2 e2 i 1 r2 r 0
0
r R R
log |x| + i log x dx .
Finalmente, 2 dx =
2 dx + i 2
1+x 1+x 1+x
R r r
R
d x dx
As pues, tenemos: l i m 2 =
2 = [Arc tg x] = 2 0 = 2 .
r0 1+x 1+x 0
R
r 0
6
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) log x dx = 0 .
Por tanto: = 2 1 + x2 1 + x2
2 2
0 0
Ejercicios:
2
x dx cos x 1 dx;
1) Calcular: (a) 4 2 ; (b)
x +x +1
x2
0 0
cos 2 d d
(c) 2, a2 < 1; (d) 2; a > 1.
1 2 a cos + a ( a + cos )
0 0
2) Probar que:
dx
(a) 2 = 3 , a > 0;
(x + a )
2 2 4a
0
a
(b) cos ax dx = (a + 1) e , a > 0;
2 2 4
(1 + x )
0
(c) log x dx = .
2 2 4
( 1 + x )
0
7
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
Cot z Cos z
Consideremos f(z) = 2 = 2 .
z z Sen z
Por tanto l i m f(z) dz = 2 i
R
Res f(z).
n = =n
z
R
Cos z
1 d2 (Coz z) z
Para n = 0 se tiene: Res f(z) = Res 2 = lim =
z=0 z = 0 z Sen z 2 z 0 dz2 Sen z
1 d2 1
l i m ( z Cot z ) = l i m d ( Cot z z Csc2 z ) =
2 z 0 dz2 2 z 0 dz
1
2 zl im0 ( Csc z Csc z + 2 z Csc z Cot z) =
2 2 2 2
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
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
1 2
Por tanto, 0 = 2 i 3 + 2
n=1
n 2
n=1
1
n2
= 3 2 = 6 .
9
TRANS FORMADA DE LAP LACE
De f i n i c i n .
Sea f(t) una funcin f : R R
. 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.
s t f(t) dt K (a s) t dt = K ( a s ) t dt
De m o s t r a c i n . 0 e 0
e
0
e
K K
= s a e ( a s ) t = s a < .
0
{ f1 + f2 } = { f1 } + { f2 }; , R.
De m o s t r a c i n .
{
f1 + f2 = e}
st
(
f1 + f2 dt = )
0
st
e f1(t) dt + e s t f2(t) dt = { f1 }(s) + { f2 }(s).
0 0
1
T r a n sfo r m a da de La pl a ce
Ejem plo s:
1
st 1
1). { 1 }(s) = e dt = s e s t = s , s > 0.
0 0
2). { e at
}(s) = e e dt = e ( s a) t dt = s 1 a, s > a.
at st
0 0
1 1 1
3). { cos a t }(s) =
2 ( e i a t + e i a t) (s) = 2 { e i a t }(s) + 2 { e i a t }(s)
1 1 1 1 s + i a + s ia s
=2 + =
s i a s + i a 2 s2 + a2 s2 + a2.
=
a
4) { sen a t }(s) = 2 .
s + a2
1 1 1 1 s
{ cosh a t }(s) = 2 (e a t + e a t)(s) = 2 s a + s + a = 2
5) , s > a.
s a2
a
6) { senh a t }(s) = 2 .
s a2
De m o s t r a c i n . F(s) = { f }(s) = e s t f(t) dt F(s a) =
0
f(t) dt = e s t ea t f(t) dt = { ea t f }(s).
( s a) t
e
0 0
De m o s t r a c i n . { f' }(s) = e s t f'(t) dt. Integremos por partes
0
st
tomando v = e , du = f'(t) dt. Por lo tanto dv = s e s t dt, u = f(t).
f(t)| + s e s t f(t) dt = f(0) + s { f }(s).
st
{ f' }(s) = e
0 0
2
T r a n sfo r m a da de La pl a ce
n1
n
s { f } sn i 1 f (i)(0).
i=0
Ejem plo s.
n!
(t) = n!, por lo que { f (n) (t) } = n! { 1 } = s = sn { tn } 0, por
(n)
f
n!
tanto { t } = n + 1 .
n
s
n!
2). { ea t tn }(s) = { tn }(s a) = , s > a.
(s a)n + 1
sa
3). { ea t cos b t }(s) = { cos b t }(s a) = .
(s a)2 + b2
b
4). { ea t sen b t }(s) = { sen b t }(s a) = .
(s a)2 + b2
5). f(t) = sen 2 t, f(0) = 0, f'(t) = 2 sen t cos t = sen 2 t, por lo tanto
2
{ sen 2 t }(s) = s { f }(s) f(0) 2 = s { sen2 }(s)
s +4
2
{ sen2 t }(s) = .
s (s + 4)
2
Ejem plo s.
3
T r a n sfo r m a da de La pl a ce
s1
1). 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 s2 (s 2) (s + 1)
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 1 2 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 .
s2 + 6
2). Sea F(s) = . Hallemaos 1{ F(s) }(t).
(s 2
+ 1) (s +4)2
A ( s + 4) + B ( s + 1 )
2 2 2
s +6 A B
= 2 + = .
(s2 + 1) (s2 +4) s + 1 s2 + 4 (s2 + 1) (s2 + 4)
5 2
De aqu obtenemos: A = 3, B = 3.
5 1 2 1
As: 1{ F(s) }(t) = 3 1 2 1
(t) 3 2 (t) =
s +1 s +4
5 2
sen t 3 sen 2 t .
3
t 1
Teorem a. f(u) du (s) = s { f }(s). Equivalentemente
0
t
1 1
s
F(s) (t)
= 0 1{ F(s) }(u) du.
4
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) = f(u) du, g(0) = 0; g'(t) = f(t) { g'(t) }(s)
0
1
= { f(t) }(s) = s { g(t) }(s) g(0), por lo que { g(t) }(s) = { f(t) }(s).
s
1
E j e m p l o . Hallemos 1 2 2
2 (t).
s (s + w )
1 1 1 1 1
1 2
2 (t) = w sen w t s 2
2 (t) =
s
+w s +w
t t
1 1 (u) du = 1 sen w u du = 1 cos wut =
2 2 0
s +w w w2
0
0
1
w2
(1 cos w t).
t t
1 1 1 1 1
1 2 2
2 (t) = s 2 2 (u) du = 2 (1 cos w u) du
s (s + w ) s +w w
0 0
1 1 t
= u sen w u = 1 t 1 sen w t .
w2 w 0 w2 w
Ejem plo s.
5
T r a n sfo r m a da de La pl a ce
2 2
s2 z 2 + 9 z = 0 z = 2 y = 1{ z } = 1 2 (t) =
s +9 s +9
1 2 3 2
3 2 (t) = 3 sen 3 t .
s +9
A + B = 0 2 2 5 1 2 1
3 A = 2 A = 3; B = 3 z = 3 2 3 2
4A+B = 2 s +1 s +4
5 1
y = 3 sen t 3 sen 2 t .
Si z = {y}, s3z s2y(0) sy'(0) y"(0) + s2z sy(0) y'(0) + 4sz 4y(0) +
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)
2 s s2 2
z= + = =
s (s2 + 4) (s + 1) (s2 + 4) (s + 1) s (s2 + 4) (s + 1)
A B Cs+D
=s + +
s + 1 s2 + 4
1 1 3 6
2 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 .
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
( ) 1 ( ) 2
s + 1 z s + 1 z = 1 z z =
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 )
7
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
a
{ ua(t) }(s) = e s t ua(t) f(t) dt =
0
1
st 1
= e dt = s e s t = s e a s.
a a
De m o s t r a c i n .
st
{ f(t a) ua(t) }(s) = e f(t a) dt = e s( y + a ) f(y) dy =
a 0
y=ta
sa
e e s y f(y) dy = e s a F(s).
0
Ejem plo s.
3s
1
e
1). Hallemos 3 (t).
s
8
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 t 3 2 t > a
1{ 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).
1 para 0<t<1
r(t) = . Entonces r(t) = u (t) u (t). Sea z = { y }(s).
0 en otro caso 0 1
Se tiene
1
s2 z + 3 s z + 2 z = { u (t) }(s) { u (t) }(s) = (e s 1), por lo que se
0 1 s
e s 1 e s 1
tiene z = = .
s (s + 3 s + 2) s (s + 2) (s + 1)
2
1 A B C
Si F(s) = = + s+1 s+2 =
+
s (s + 3 s + 2) s
2
A (s + 1) (s + 2) + B s (s + 2) + C s (s + 1)
= .
s (s + 1) (s + 2)
1
A =
s = 0 : 1 = 2 A 2
1 1
s =1 : 1 = B B =1 1{ F(s) }(t) = 2 e t + 2 e 2 t =
s =2 : 1 =
2 C 1
C= 2
f(t).
9
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 .
dn
Sea F(s) = { f }. Entonces { t f } = ( 1) F(s) 1{ F(n)(s) } =
n n
n
ds
n n
( 1) t f(t).
De m o s t r a c i n . F(s) = { f }(s) = e s t f(t) dt, por tanto se tiene que
0
F'(s) = s (e f(t)) dt = t e s t f(t) dt = { ( 1) t f(t) }(s).
st
0
0
Ejem plo s.
d 1 2s
1). { t sen t }(s) = ( 1) { t sen t }'(s) = ds 2 = 2 .
s + 1 s +1
2t 3t e 2 t e 3 t
F'(s) t f(t) = e e , 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 .
Dadas 2 funciones f(t), g(t), se define el producto de
t t
convolucin por: (f * g) (t) = f (t ) g () d = f () g (t ) d .
0 0
d t) =
0t<
st s t
= e
f (t ) g () d t d = g () d e
f (t ) d t
=
0 0
y=t
s
0
e ( s y +
) f(y) dy g () d = e
0
g () d
e s y f(y) d y =
0
0
F(s) G(s).
1
{ F(s) G(s) }(t) = 1{ F(s) }(t) * 1{ G(s) }(t) .
11
T r a n sfo r m a da de La pl a ce
Ejem plo s.
t t
2 t t2
2). ( 1 * 1 ) (t) = 1 d = t; (1 * 1 * 1) (t) = d =
2 0 = 2 .
0 0
12