Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Varcomp PDF
Varcomp PDF
Indice general
1. N
umeros Complejos
1.1. El algebra de los n
umeros complejos . . . . . . . . . . . . . .
1.2. El plano extendido. . . . . . . . . . . . . . . . . . . . . . . .
1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9
9
25
33
.
.
.
.
35
35
36
47
56
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3. Funciones elementales
3.1. Potencias y races. . . . . . . . . . . .
3.2. La formula de Euler . . . . . . . . . .
3.3. Las funciones exponencial y logaritmo.
3.3.1. La funcion exponencial . . . . .
3.3.2. La funcion Logaritmo . . . . .
3.4. Las fuciones trigonometricas . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
57
61
62
62
64
67
4. Aplicaciones Conformes
4.1. Introduccion. . . . . . . . . .
4.2. Aplicaciones Conformes . . .
4.3. Transformaciones de Mobius.
4.4. Simetra. . . . . . . . . . . . .
4.5. Ejercicios . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
71
72
79
85
87
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5. Integral de Lnea.
91
5.1. Integracion Compleja . . . . . . . . . . . . . . . . . . . . . . . 91
5.2. El Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . 108
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
3
INDICE GENERAL
6. Funciones holomorfas.
115
121
131
A. Teora B
asica de las Series de Potencias.
A.1. Introduccion. . . . . . . . . . . . . . . . .
A.2. Sucesiones y completes. . . . . . . . . . .
A.3. Continuidad . . . . . . . . . . . . . . . . .
A.4. Convergencia uniforme.
El criterio M de Weierstrass. . . . . . . .
A.5. Series de Potencias. . . . . . . . . . . . . .
143
. . . . . . . . . . . 143
. . . . . . . . . . . 149
. . . . . . . . . . . 150
. . . . . . . . . . . 151
. . . . . . . . . . . 153
A. Sumas de Riemann-Stieltjes
155
A.1. Formulas de Cauchy y sus principales consecuencias. . . . . . 162
INDICE GENERAL
Introducci
on
RESUMEN. A continuacion presentamos el resumen de las notas de
curso de variable compleja I, con el fin de que el alumno tenga un apoyo
complementario a su libro de texto y/o notas de clase. Como parte de los
objetivos del presente curso tenemos que el alumno:
Comprenda los elementos basicos de la teora clasica de funciones de
una variable compleja, y los relacione con otras ramas de las matematicas,
esto con el fin de prepararlo para cursos posteriores de matematicas.
Reconozca el papel que juega la variable compleja dentro de las matematicas, como antecesor de diversas areas de la misma, tales como
la teora de la homotopa, la teora de variedades, la teora de las
Superficies de Riemann, y la teora de Curvas Algebraicas, entre otras.
Integre los conocimientos y habilidades adquiridos en cursos anteri
ores, tales como: Estructuras Numericas, Calculo Avanzado,Algebra
y
Geometra, reconociendo la interrelacion que hay entre ellos.
Reafirme su habilidad para formular enunciados y demostraciones en
terminos matematicos, con el rigor adecuado.
INDICE GENERAL
Historia
Alrededor del a
no 1545 el matematico italiano Girolamo Cardano publico Ars Magna (El Gran Arte), una obra maestra de 40 captulos en el cual
se da, por primera vez, una solucion algebraica a la ecuacion c
ubica general:
x3 + ax2 + bx + c = 0
Su tecnica involucro el transformar esta ecuacion en otra ecuacion c
ubica
libre del termino cuadratico, esto es, una ecuacion de la forma:
x3 + bx + c = 0
Una solucion a dicha ecuacion esta dada como [U, pg. 84-86]:
s
s
r
r
3 c
3 c
b3
b3
c2
c2
x=
+
+
+
+
2
4
27
2
4
27
Dicha solucion le haba sido presentada por Niccolo Fontana, mejor conocido como Tartaglia, aunque dicha solucion fue descubierta unos 30 a
nos
antes por Scipione Ferro de Bolonia, de manera totalmente independiente.
Este valor que se obtuvo para x podra usarse para factorizar la c
ubica en una ecuacion lineal y otra cuadratica, y la u
ltima podra resolverse
aplicando la formula cuadratrica. As, basando en el trabajo de Tartaglia,
y una transformacion apropiada, Cardano pudo resolver la ecuacion c
ubica
general, hecho que hasta entonces haba parecido imposible.
En el tiempo de Cardano, todava se trataban los n
umeros imaginarios
con cierta suspicasia, pues era difcil concebir cualquier realidad fsica que
correspondiese con ellos. El propio Cardano, pese a sus esfuerzos a tratar
con esta nocion, en un momento considero que, el proceso de la aritmetica
que trata con las cantidades imaginarias es, tan refinado como in
util.
Esta forma de pensar cambio apartir de 1572, a
no en que Rafael Bombelli
mostro que, de hecho, estos n
umeros tienen gran utilidad. Si se considera la
ecuacion c
ubica x3 15x 4 = 0, y se substituyen los valores b = 15 y c =
4 en la formula de Ferro-Tartaglia para la ecuacion c
ubica x 3 +bx+c = 0,
obtenemos el valor:
q
q
3
3
x = 2 + 121 + 2 121
que puede representarse como,
q
q
3
3
x = 2 + 11 1 + 2 11 1.
INDICE GENERAL
3
3
u + v 1 = 2 + 11 1 y u v 1 = 2 11 1.
= u(u3 3v 2 ) + v(3u2 v 2 ) 1
= 2 + 11 121
As, igualando ambas partes de las ecuaciones, Bombelli razono que:
u(u2 3v 2 ) = 2 y v(3u2 v 2 ) = 11.
Entonces supuso que esos u y v eran enteros. Como 2 es un n
umero
primo, sus u
nicos factores enteros son 2 y 1, por lo que, la ecuacion u(u2
3v 2 ) = 2 lo llevo a concluir que u = 2 y u2 3v 2 = 1. De esto se sigue
que v 2 = 1, o que v = 1. Increblemente, u = 2 y v = 1 resuelven la
segunda ecuacion v(3u2 v 2 ) = 11, por lo que declaro que los valores para
u y v deban ser respectivamente
u =
2 y v =p1. Tambi
en noto que, si
3
(2 + 1)3 = 2 + 11
1,
entonces
2
+
1
=
2
+
11
1. Igualmente,
p
3
afirmo 2 + 1 = 2 11 1. Y tenemos claramente:
q
3
2 + 11 1 +
q
3
2 11 1 = (2 + 1) + (2 1) = 4
INDICE GENERAL
b b2 c2 .
Wallis imagino estas soluciones como los desplazamientos a la izquierda,
el
punto b como una correcion, y vio cada desplazamiento, cuyo valor era
b2 c2 , como las longitudes de los lados de un triangulo rectangulo.
como consecuencia que
Desafortunadamente, el metodo de Wallis tiene
1 esta representado por el mismo punto que 1. No obstante, con
esta interpretacion, se poda pensar a los n
umeros complejos como los puntos
en el plano.
Por el a
no de 1800, el gran matematico suizo Leonhard Euler adopto esta
representacion de los n
umeros complejos para obtener las n soluciones de
n
la ecuacion x 1 = 0. Actualmente,
sabemos que estas soluciones pueden
Algebra,
as como sus crticas y objeciones a pruebas anteriores, posteriormente en 1816 y 1831 presenta otras demostraciones de dichos resultados.
En un artculo que escribio en 1831, produjo una representacion geometrica
clara: identifico el n
umero complejo x + y con el punto (x, y) en el plano
cartesiano. Y tambien describio como realizar las operaciones aritmeticas
con estos n
umeros.
Por otra parte Cauchy, basandose en el trabajo sobre la teora de funciones de Lagrange, inicia el estudio riguroso de la teora de funciones de
una variable compleja, trabajo que continuara desarrollandose posteriormente bajo la gua de Weierstrass y Riemann.
http://www-history.mcs.st-andrews.ac.uk/HistTopics/History overview.html
Captulo 1
N
umeros Complejos
1.1.
El
algebra de los n
umeros complejos
10
CAPITULO 1. NUMEROS
COMPLEJOS
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
11
(a + b) + [(ce df ) + (de + cf )]
[a(ce df ) b(de + cf )] + [b(cd df ) + a(de + cf )]
[(ac bd)e (ad + ac)f ] + [(ad + bc)e + (ac bd)f ]
[(ac bd) + (ad + bc)] (e + f )
(z1 z2 ) z3
0 = bx + ay
CAPITULO 1. NUMEROS
COMPLEJOS
12
a2
a
,
+ b2
y=
a2
b
+ b2
a
b
2
es inverso multiplicativo de z1 y solemos
2
+b
a + b2
1
denotarlo como w = z1 .
As w =
a2
z1 (z2 + z3 ) =
=
=
=
=
(a + b)[(c + e) + (d + f )]
[a(c + e) b(d + f )] + [b(c + e) + a(d + f )]
[(ac bd) + (ae bf )] + [(ad + bc) + (af + be)]
[(ac bd) + (ad + bc)] + [(ae bf ) + (af + be)]
z1 z2 + z1 z3
Al campo de los n
umeros complejos lo denotaremos con la letra C
Notese que la funcion : R C dada como (a) == a + 0 es un
monomorfismo de campos, por lo que R es un subcampo de C. As, identificaremos el n
umero real a con el n
umero complejo a + 0, esto es, a = a + 0.
Por otra parte, si z = 0 + y simplemente escribiremos z = y.
Una vez realizadas estas aclaraciones el ejemplo 3 nos dice que 2 = 1,
por lo que es una solucion a la ecuacion x2 + 1 = 0.
Proposici
on 1. C es un R-espacio vectorial de dimensi
on dos.
Demostraci
on. Si z1 = x1 + y1 y z2 = x2 + y2 son dos n
umeros complejos,
tenemos que z1 + z2 := (x1 + x2 ) + (y1 + y2 ), y si R, entonces z1 =
x1 + y1 , como consecuencia del teorema anterior, tenemos que C es un
Respacio vectorial.
A
un mas, como x + y = x(1 + 0) + y(0 + 1) para cada x + y C
tenemos que C es un Respacio vectorial de dimension dos.
El claro ahora que podemos definir un Risomorfismo de C en R2 como
(x+y) = (x, y). Claramente respeta las operaciones de espacio vectorial,
y la inversa de esta funcion esta dada como 1 (x, y) = x + y.
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
13
CAPITULO 1. NUMEROS
COMPLEJOS
14
Definici
on 2. Si x y y son n
umeros reales, y z es el n
umero complejo x+y,
entonces al n
umero complejo x y se le denomina el conjugado de z, y se
denota z = x y.
El n
umero x es la parte real de z, y suele escribirse x = Re(z). Por otra
parte, el n
umero y es la parte imaginaria de z, y se escribe Im(z).
Ejemplo 2.
1. Si z = 3 + 5, entonces z = 3 5, Re(z) = 3, y Im(z) = 5
2. Si z = 8 13, entonces z = 8 + 13, Re(z) = 8, y Im(z) = 13.
La conjugacion por un n
umero complejo, nos permite definir una funcion
Cvaludada de variable compleja : C C como (z) = z.
Al identificar C con el plano euclidiano R2 podemos interpretar esta funcion como la reflexion con respecto al eje x. Mientras que Re(z) corresponde
a la proyeccion ortogonal de z con respecto al eje x y Im(z) corresponde a
la proyeccion ortogonal con respecto al eje y.
z + w = z + w.
2.
z w = z w.
z+z
Re(z) =
.
2
zz
.
Im(z) =
2
3.
4.
5.
Si z es un n
umero complejo distinto de cero, entonces zz es un n
umero
real y positivo
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
15
Demostraci
on. Si z = a + b y w = c + d, entonces:
1. z + w = (a b) + (c d) = (a + c) (b + d) = z + w.
2. z w = (a b) + (c d) = (ac bd) (ad + bc) = z w.
3.
(a + b) + (a b)
2a + 0
z+z
=
=
= a = Re(z).
2
2
2
4.
zz
(a + b) (a b)
0 + 2b
=
=
= ab = Im(z).
2
2
2
289 = 17.
4. Si z = 1 + , entonces |z| = 2.
CAPITULO 1. NUMEROS
COMPLEJOS
16
|z| = |z|.
2.
3.
z
|z|
Si w =
6 0, entonces =
.
w
|w|
4.
|Re(z)| |z|
5.
|z + w| |z| + |w|.
Demostraci
on. Si z y w son dos n
umeros complejos, entonces:
1. Como z = z, entonces zz = z z, de donde
p
|z| = zz = z z = |z|.
2. |zw| =
zw zw = (zz)(ww) = zz ww = |z| |w|.
w
|w|
1
|w | = 2 =
=
2
|w|
|w|
|w|
2
2
2
2
4. Si z = x+y, entonces
p x = Re(z), pero |x| = x , y como x x +y ,
se sigue que |x| x2 + y 2 = |z|.
1
(z + w)(z + w
zz + zw + zw + ww
|z|2 + 2Re(zw) + |w|2
|z|2 + 2|z| |w| + |w|2
(|z| + |w|)2
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
17
z
.
|z|2
Proposici
on 3 (La desigualdad de Schwarz). Si z1 , . . . , zn y w1 , . . . , wn
son n
umeros complejos, entonces
X
X
X
n
zj wj
|wj |2 .
|zj |2
j=1
Demostraci
on. Si A =
n
X
j=1
|zj | , B =
n
X
j=1
|wj | y C =
n
X
j=1
zj wj , entonces B
0, si B = 0, entonces wj = 0 para j = 1, . . . , n, as C = 0.
Supongamos entonces que B 6= 0, en particular B > 0 y
n
X
j=1
|Bzj Cwj |2 =
n
X
j=1
= B
n
X
j=1
|zj | BC
= B 2 A B|C|2
= B(AB |C|2 )
Como cada termino de la expresion
n
X
j=1
|C|2 )
n
X
j=1
zj wj BC
n
X
j=1
z j wj + |C|
n
X
j=1
que B(AB
0, y como B > 0, entonces AB |C|2 0, como
esperabamos demostrar.
Completez del campo C. De manera similar a como se hace en R, podemos
decir que una sucesion en C es una funcion s : N C. Si n N, a su imagen
bajo s la denotamos como s(n) = sn . Tambien usamos la notacion {sn } para
una sucesion en C.
Usando el modulo de los n
umeros complejos sn , podemos definir los
conceptos de sucesion de Cauchy y de lmite de una sucesion en C
|wj |2
18
CAPITULO 1. NUMEROS
COMPLEJOS
Definici
on 4. Se dice que la sucesi
on de n
umeros complejos {sn } es una
sucesi
on de Cauchy si dado , un n
umero real positivo, existe N N tal que
|sn sn | < siempre que n, m N .
Se dice que un n
umero complejo s es el lmite de la sucesi
on {sn } si para
cada n
umero real positivo, existe un entero positivo N tal que |sn s| <
siempre que n N .
Si la sucesi
on {sn } tiene un lmite en C diremos que la sucesi
on es
convergente.
Si {sn } es una sucesion en C, y escribimos cada sn = an + bn con
an , bn R, tenemos las sucesiones {an } y {bn } en R. Recprocamente, si
tenemos dos sucesiones {an } y {bn } en R, y definimos sn = an +bn , entonces
{sn } es una sucesion en C.
Proposici
on 4. Sea {sn } una sucesi
on de n
umeros complejos, con sn =
an + bn . Entonces:
1.
La sucesi
on {sn } es de Cauchy si y s
olo si las sucesiones {an } y {bn }
son de Cauchy en R.
2.
La sucesi
on {zn } converge a s = a + b en C si y solo si {an } converge
a a y {bn } converge a b en R.
Demostraci
on. 1. Sea {sn }, con sn = an + bn , una sucesion de Cauchy en
C.
Como |Re(w)| |w| y Im(w) = Re(w), de donde |Im(w)| |w|, para
cada n
umero complejo w.
Dado un n
umero real positivo, como {sn } es una sucesion de Cauchy,
existe un entero positivo tal que |sn sm | < siempre que n, m N , de
donde :
|an am | = |Re(sn sm )| |sn sm | <
y
|bn bm | = |Im(sn sm )| |sn sm | <
siempre que n, m N .
Reciprocamente, Dado un n
umero real positivo, como las sucesiones
{an } y {bn } son de Cauchy en R existe un entero positivo N tal que
|an am | < /2 y |bn bm | < /2 siempre que n, m N .
Como consecuencia de la desigualdad del triangulo tenemos:
|sn sm | = |(an am ) + (bn bm )| |an am | + |bn bm | <
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
19
(s s) + (s s) |s s| |s s|
|sn s|
n
n
n
n
+
=2
< ,
|an a| =
2
2
2
2
y
(s s) (s s) |s s| |s s|
|sn s|
n
n
n
n
+
=2
< ,
|bn b| =
2
2
2
2
si n N .
Finalmente, si {an } y {bn } son sucesiones en R que convergen a los
valores a y b respectivamente, dado un n
umero real positivo , existe un
entero positivo N tal que |an a| < /2 y |bn b| < /2 si n N . Si
sn = an + bn y s = a + b, entonces:
|sn s| = |(an + bn ) (a + b)| = |(an a) + (bb b)|
|an a| |bn b| <
siempre que n N .
Por lo que, la sucesion {sn } convege a s.
Como R es un campo completo, toda sucesion de Cauchy en R converge
en R. As, las partes real e imaginaria de una sucesion de Cauchy {sn } en
C convergen en R a dos n
umeros, digamos a y b, tenemos entonces que la
sucesion de Cauchy {sn } converge al n
umero complejo s = a + b.
Concluimos de aqu que C es un campo completo.
Definici
on 5. Si z es un n
umero complejo distinto de cero, el argumento,
o amplitud, de z, que denotaremos arg(z), se define como el a
ngulo que
hay del eje real positivo al vector determinado por el punto z, vease la figura
(1.5) y solemos escribirlo como:
arg(z) = .
CAPITULO 1. NUMEROS
COMPLEJOS
20
a
, lo cual implica que a = |z| cos()
|z|
y
sin() =
b
, de donde b = |z| sin().
|z|
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
21
El n
umero complejo cos() + sin() suele abreviarse como e , o bien
exp(), esto es,
e := cos() + sin()
Representar un n
umero complejo z en terminos de su modulo y su argumento, nos permite dar una interpretacion geometrica al producto, esto
es:
Proposici
on 5. El m
odulo de un producto es el producto de los m
odulos y
el argumento de un producto es la suma de los argumentos de los factores.
Ya que el argumento no es una funcion, debemos entender esta proposicion de la siguiente manera, si 1 y 2 son valores admisibles para arg(z1 ) y
arg(z2 ), entonces = 1 + 2 es un valor admisible para arg(z1 z2 ). Vease
la figura (1.6).
Demostraci
on. Si z1 = r1 (cos 1 + sin 1 ) y z2 = r2 (cos 2 + sin 2 ), por
trigonometra elemental tenemos que:
z1 z2 = [r1 (cos 1 + sin 1 )] [r2 (cos 2 + sin 2 )]
= r1 r2 [(cos 1 cos 2 sin 1 sin 2 )
+(cos 1 sin 2 + sin 1 cos 2 )]
= r1 r2 [cos(1 + 2 ) + sin(1 + 2 )]
esto es, arg(z1 z2 ) = arg z1 + arg z2 .
1
|z|
arg z 1 = arg(z).
CAPITULO 1. NUMEROS
COMPLEJOS
22
R2
w 1
z = x + y
7
wz = (ax by) + (ay + bx)
(x, y)
7
R2
Como toda transformacion lineal del plano puede representarse por una
matriz, tenemos que la matriz de w es:
a b
b a
es decir:
w
x
y
a b
b a
x
y
ax by
bx + ay
Definici
on 6. Si z 6= 0 es un n
umero complejo, si r = |z| y = arg(z),
entonces z = r(cos() + sin()) = re . A esta representaci
on del n
umero
complejo z 6= 0, se le denomina la forma polar del n
umero complejo z.
1.1. EL ALGEBRA
DE LOS NUMEROS
COMPLEJOS
23
Ejemplo 4.
z0 = 2e 4 .
p
r cos
+ 2k
n
+ sin
+ 2k
n
Es decir, todo n
umero complejo distinto de cero tiene exactamente n
races nesimas complejas, dichas races tienen el mismo modulo, y sus
argumentos se encuentran igualmente espaciados.
Geometricamente, las races nesimas de un n
umero complejo, distinto
de cero, son los vertices de un polgono regular de n lados.
Ejemplo 5.
CAPITULO 1. NUMEROS
COMPLEJOS
24
2k
2k
zk = cos
+ sin
,
k = 0, 1, 2, 3, 4.
5
5
As, las races quintas de la unidad son:
z0 = 1;
z1 =
z2 =
z3 =
z4 =
p
2
5+2 5
1
exp
;
=
+
5
1+ 5
1+ 5
s
5
4
1 3+ 5
1
;
=
+
exp
5
2
2
2
2
s
1 5 5
1 3+ 5
4
;
=
exp
5
2
2
2
2
!
p
2
1
5+2 5
exp
=
.
5
1+ 5
1+ 5
25
con
t R}
za
= 0. De donde,
Esto es, z L si, y solo si Im
b
za
L = {z C | Im
= 0}.
b
Dos ecuaciones z = a + tb y z = a0 + tb0 representan lneas paralelas si
es m
ultiplo real de b, y representan la misma lnea si, y solo si, a a0 y b0
son m
ultiplos reales de b. La direccion de esta lnea queda determinada por
arg(b). El angulo entre las lneas z = a + tb y z = a0 + tb0 esta dado como
arg(b/b0 ); notese que este angulo solo depende del orden en que se dan las
lneas. Dos lneas son ortogonales si b/b0 tiene parte real cero.
b0
1.2.
El plano extendido.
26
CAPITULO 1. NUMEROS
COMPLEJOS
27
|z|2 1
, de aqu se sigue que:
|z|2 + 1
z + z (z z) |z|2 1
=
,
,
(z) =
|z|2 + 1 |z|2 + 1 |z|2 + 1
(1.1)
2
Por otra parte, si u = (x1 , x2 , x3 ) S \ {N }, y queremos encontrar las
1
,
coordenadas del punto correspondiente z, simplemente tomamos t =
1 x3
y tenemos
1
2y
|z|2 1
2x
,
,
|z|2 + 1 |z|2 + 1 |z|2 + 1
(x1 , x2 , x3 ) =
x1 + x2
.
1 x3
(1.2)
Esto es, hay una correspondencia uno a uno entre los puntos de la esfera
y el plano complejo extendido.
Podemos notar ademas que, bajo la proyeccion estereografica, los puntos
del ecuador corresponden a la circunferencia unitaria con centro en el origen,
el hemisferio sur corresponde a los puntos en el interior de la circunferencia,
y el hemisferio norte a los puntos en el exterior de la circunferencia. En particular, la reflexion en el crculo unitario corresponde a reflejar con respecto
al plano que pasa por el ecuador.
A continuacion enumeramos algunas propiedades de la proyeccion estereografica:
Teorema 3. Bajo la proyecci
on estereogr
afica las circunferencias en la esfera se proyectan en lneas rectas o circunferencias en el plano, y viceversa.
Ilustramos este hecho en la Figura (1.10).
Demostraci
on. Una circunferencia en la esfera esta dada como la intersecion
de la esfera x21 + z22 + x23 = 1 con un plano:
Ax1 + Bx2 + Cx3 = D,
donde
(1.3)
x3 = 0
(1.4)
28
CAPITULO 1. NUMEROS
COMPLEJOS
(1.5)
29
z2 z1
2
`(Z1 , Z2 )
=
,
|z1 z2 |
1 + |z1 |2
(1.6)
CAPITULO 1. NUMEROS
COMPLEJOS
30
Demostraci
on. Si C denota el segmento de recta en el plano x3 = 0 dado,
en terminos de longitud de arco s, por C : z = z(s), con 0 s L, y si
= 1 (C).
Entonces la longitud de arco de esta dada por:
`() =
L
0
| (s) | ds =
L
0
|dz(s)|
ds.
1 + |z(s)|2
(z, z 0 ) =
2|z z 0 |
(1 + |z|2 )(1 + |z 0 |2 )
p
1 + |z|2
si z, z 0 C
si z 0 = , z 6=
Esta u
ltima expresion implica el resultado buscado.
As, para obtener la distancia cordal, consideremos el plano que pasa
por los puntos (0, 0, 1), z1 = (x1 , y1 , 0) y z2 = (x2 , y2 , 0). Este plano tambien
contendra los puntos Z1 = 1 (z1 ), Z2 = 1 (z2 ), el segmento de recta que
los une, y el arco de circunferencia de Z1 a Z2 .
En 1.12, la circunferencia es la intesecion del plano que pasa por N, z1 y
z2 con la esfera S2 .
31
Si = ]Z1 N Z2 , entonces
sin
d(Z1 , Z2 )
=
,
`(Z1 , Z2 )
este cociente tiende a 1 cuando z2 tiende a z1 , por lo cual, podemos reemplazar `(Z1 , Z2 ) por d(Z1p
, Z2 ).
p
Ademas, d(N, z1 ) = 1 + |z1 |2 , d(N, z2 ) = 1 + |z2 |2 , d(N, Z1 ) =
1
1
p
, donde las dos u
ltimas relaciones se
y d(N, Z2 ) = p
2
1 + |z1 |
1 + |z2 |2
deducen de las primeras dos, ya que:
d(N, Z)
1
1
=
=
d(N, z)
1
1 + |z|2
De la relacion
d(N, Z1 ) d(N, z1 ) = d(N, Z2 ) d(N, z2 )
concluimos que los triangulos N Z2 Z1 y N z1 z2 son semejantes. De aqu se
sigue que:
d(N, Z2 )
d(Z1 , Z2 )
=
.
d(z1 , z2 )
d(N, z1 )
Esto es,
d(Z1 , Z2 ) =
d(N, Z2 ) d(z1 , z2 )
2|z z 0 |
=p
d(N, z1 )
(1 + |z|2 )(1 + |z 0 |2 )
z
= 0.
32
CAPITULO 1. NUMEROS
COMPLEJOS
2.
3.
4.
a
+b
az + b
a
a + bw
= lm wc
= , por lo que t se extiende a
lm
= lm
z cz + d
w0
w0 c + dw
c
w +d
una funcion T : C C definida por T (z) = az+b
cz+d , la cual es biyectiva, y
continua.
Basandonos nuevamente en la proyeccion estereografica, de acuerdo con
esta definicion, un punto esta cerca del punto cuando este fuera de un
crculo arbitrariamente grande.
33
1.3. EJERCICIOS
k=1
1.3.
Ejercicios
b)n
n
X
n nk k
a
b , y la formula
=
k
k=0
CAPITULO 1. NUMEROS
COMPLEJOS
34
a) cos
2
3
(m 1)
m
identidad: sin sin
sin
sin
= m1 .
m
m
m
m
2
Captulo 2
Teora de funciones
C-diferenciables
2.1.
Introducci
on.
36
truir apropiedamente un dominio para que este tipo de relaciones sea una
funcion, por lo que a este tipo de relaciones las denominaremos funciones
multivaludas.
Los conceptos de lmite y continuidad que induce R2 en C, aunados a
la estructura de campo de C nos permitira definir el concepto de derivada
en el sentido complejo. Posteriormente, daremos el concepto de diferencial
en el sentido complejo, y los compararemos con los conceptos en el sentido real. Introducimos tambien los conceptos de funciones holomorfas y
C-diferenciables, as como el estudio de sus principales propiedades.
Definici
on 8. Sea Rn un conjunto abierto no vaco, f : C una
funci
on, a , 1 j n. Se define la derivada parcial (f /xj )(a) de f
en el punto a, como el siguiente lmite,
lm
h0,h6=0
2.2.
existe. Cuando este lmite existe, lo denotaremos por f 0 (a), o bien (df /dz)(a),
y este lmite se denomina la derivada de f en a.
37
za,z6=a
|f (z)f (a)| =
|f (z) f (a)|
|za| = |f 0 (a)| lm |za| = 0
za,z6=a
za, z6=a
za
lm
donde h = z a.
Ejemplo 6.
1. Las funciones constantes C-valuadas son C-diferenciables, esto es, si
C es fijo, y f (z) = para toda z C dada a C tenemos:
lm
h0,h6=0
f (a + h) f (a)
= lm
= 0,
h0,h6=0
h
h
(a + h)n an
f (a + h) f (a)
=
h0,h6=0
h
h
n
n1
n
(a + na
h + . . . + h ) an
=
lm
h0,h6=0
h
f 0 (a) =
lm
h(nan1 +
= nan1 +
n(n1) n2
a
h
2
lm
h0,h6=0
+ . . . + hn1 )
h
hO(a) = nan1
38
h0
h
a+ha
a+ha
= lm
= lm = 1,
h0
h0 h
h
h
2.
f
x (a)
f
x (a)
f
y (a).
0
= f
y (a) = f (a)
Demostraci
on. Dado a = + , y h R, h 6= 0, por definicion de f 0 (a)
y unicidad del lmite, al identificar C con R2 y f (x+y) con f (x, y) tenemos:
f 0 (a) = lm
h0
f (a + h) f (a)
f ( + h, ) f (, )
f
= lm
=
(a).
h0
h
h
x
h0
f (a + h) f (a)
f ( + h, ) f (, )
1 f
f
= lm
=
(a) (a)
h0
h
h
y
y
Notese que, una funcion f (x, y) de las variables reales x, y puede verse
formalmente como una funcion g(z, z), de las variables z y z, donde z =
x + y, z = x y, consecuentemente x = (z + z)/2 y y = (z z)/(2).
Derivando formalmente z/z = 0, z/z = 1, z/z = 0, z/z = 1.
Como consecuencia de la regla de la cadena en derivadas parciales podemos
definir la derivada parcial de la funcion f con respecto a las variables z y z.
39
Definici
on 10. Sea f una funci
on complejo valuada definida sobre un conjunto abierto C, y sup
ongase que f posee primeras derivadas parciales,
con respecto a las variables reales x, y, en el punto a, entonces
f
1
(a) =
z
2
f
f
1 f
f
f
(a) (a) ,
(a) =
(a) + (a) .
x
y
z
2 x
y
f
(a) = 0.
z
u
v
(a) = .
y
x
f
f
= .
x
y
2.
f
= 0.
z
3.
u
v
=
x
y
u
v
= .
y
x
40
4.
u
u
(a)
(a)
y
x
Df (x, y)|a =
,
v
v
(a)
(a)
x
y
Dfa
u
x (a)
v
x (a)
u
y (a)
v
y (a)
En este contexto, las ecuaciones de Cauchy-Riemann admiten otra interpretacion, para lo cual nos basamos en el siguiente resultado:
Lema 1. Una matriz A = (aij ) M2 (R) representa la multiplicaci
on por
un n
umero complejo si, y s
olo si, a11 = a22 y a12 = a21 .
Demostraci
on. Dado = a + b C fijo, al multiplicar z = x + y por
obtenemos:
z = (a + b)(x + y) = (ax by) + (ay + bx),
ax by
a b
x
.
=
bx + ay
b a
y
Reciprocamente, si
a b
c d
con = 1 + 2 , tenemos:
x
y
41
= (x + y),
ax + by = 1 x 2 y
cx + dy = 1 x + 2
para toda
Con lo antes demostrado, tenemos que las reglas formales de calculo diferencial pueden extenderse a funciones diferenciables de una variable compleja, podemos resumir estos resultados en la siguiente proposicion.
Proposici
on 9. Sea un subconjunto abierto, no vaco. Si f y g son funciones C-diferenciables en y C, entonces:
1.
f + g es C-diferenciable, y (f + g)0 = f 0 + g 0 .
2.
f g es C-diferenciable, y (f g)0 = f 0 g + f g 0 .
3.
az + b
,
cz + d
c 6= 0
42
Proposici
on 10 (La regla de la cadena). Si U, V C son abiertos,
y f : U C, g : V C son C-diferenciables, y f (U ) V , entonces
g f : U C tambien es C-diferenciable en U . Si a U entonces
(g f )0 (a) = g 0 (f (a)) f 0 (a).
Demostraci
on. Si a U y elejimos un n
umero positivo r tal que B(a, r) U .
Bastara demostrar que, si {hn } es una sucesion de n
umeros complejos no
nulos, tales que lm hn = 0 y |hn | < r, entonces:
n
lm
hn
f (a + hn ) f (a)
hn
Como f es Cdiferenciable en a, entonces f es continua en a, de donde
g(f (a + hn )) g(f (a))
lmn f (a + hn ) f (a) = 0 y lm
existe y es igual
n
hn
g(f (a + hn )) g(f (a))
f (a + hn ) f (a)
,
al producto de los lmites lm
lm
n
n
f (a + hn ) f (a)
hn
el cual, por definicion de derivada, es g 0 (f (a)) f 0 (a).
Segundo Caso. Si f es constante en una vecindad de a, entonces f 0 (a) = 0
y g f tambien es constante en dicha vecindad de a, por lo que (g f )0 (a) =
0 = g 0 (f (a))f 0 (a).
Supongase que f (a + hn ) = f (a) para una infinidad de valores n, consideremos las subsucesiones {kn } y {ln } de {hn } que satisfacen f (a+kn ) 6= f (a)
y f (a + ln ) = f (a) para toda n. Como f es derivable:
f (a + kn ) f (a)
f (a + ln ) f (a)
= lm
=0
n
n
kn
ln
f 0 (a) = lm
lm
43
h0
f (a + h) f (a)
h
(g f )0 (a) =
lm
h0
1
f (a + h) f (a)
existe, y f 0 (a) = 0
.
h0
h
g (f (a))
tenemos que lm
Proposici
on 11 (El teorema de la funci
on inversa). Si z y f es
una funci
on C-diferenciable, tal que f 0 (a) 6= 0, entonces existe una vecindad
U de a y una vecindad V de f (a) tal que f|U : U V es biyectiva, su
1
inversa f|V
: V U es C-diferenciable en V , y su derivada est
a dada por:
1
df|V
(w)
dw
0 (z) ,
f|U
donde
w = f|V (z).
Demostraci
on. Como f 0 (a) 6= 0, al identificar C con R2 , tenemos z = x + y,
y f = u + v, entonces el determinante de la matriz jacobiana real es no
nulo,
u
u
u
v
(a)
(a)
(a)
(a)
x
x
y
x
det(Dfa ) = det
= det
v
v
v
u
(a)
(a)
(a)
(a)
x
y
x
x
u 2 v 2 f 2
(a) +
(a) = = |f 0 (a)|2 6= 0,
=
x
x
x
44
como consecuencia del teorema de la funcion inversa para funciones de variable real, existen vecindades U de a y V de f (a) tales que f|U : U V es
1
biyectiva, por lo que existe f|V
: V U tal que f 1 (f (z)) = z para cada
z U.
1
Como coscuencia de la proposicion anterior, f|V
es Cdiferenciable y
1
df|V
(w)
dw
0 (z) .
f|U
dnw
1
1
1 1
d 1
f (w) =
= n1 = ( n w)1n = w n 1 .
dw
dw
nz
n
n
Concluimos as que la funcion raz nesima de una funcion es Cdiferenciable si restringimos la funcion a un dominio en el cual esta sea univaluada.
Como consecuencia de esto, tenemos que, si p > 0 y q son enteros, la
p
funcion f (z) = z q es C diferenciable, si restringimos el convenientemente el
45
du((t))
dv((t))
df ((t))
=
+
,
dt
dt
dt
de donde
du((t))
dv((t))
=0
y
,
dt
dt
y como u son funciones real valuadas de variable real con derivadas cero,
de calculo elemental sabemos que, u y v son funciones constantes en
[0, 1], esto es, u = c1 , y v = c2 con c1 , c2 R. De donde f (z) =
(u + v)(z) = c1 + c2 = (u + v)(w) = f (w).
Cabe notar que, en el captulo anterior, definimos el plano complejo
extendido, as como los conceptos de lmite al infinito, y lmite en el punto
al infinito, esto nos permite extender tambien el concepto de derivada de
una funcion el el punto al infinito.
Definici
on 12. Una funci
on f es Cdiferenciable en z = si f (1/w) es
Cdiferenciable en w = 0.
Las funciones racionales de la forma
f (z) =
P (z)
,
Q(z)
donde el grado del polinomio P (z) no excede al grado del polinomio Q(z), nos
proporcionan ejemplos de funciones Cdiferenciables en el punto al infinito,
como consecuencia de esto, tenemos que, las funciones fraccionales lineales
az + b
T (z) =
con c 6= 0 son Cdiferenciables.
cz + d
Por otra parte, la funcion
g(z) = z +
1
z
es C diferenciable salvo en 0 y .
Proposici
on 13. Sea f una funci
on complejo valuada definida en . Sup
onga que f /x, f /y existen y son continuas en . Sup
ongase que adem
as
f
f
(z) = (z)
x
y
entonces, f es C-diferenciable en .
46
Demostraci
on. Dado = + C, , R escribamos f = u + v, donde
u, v : R. Sea a = + , , R. Como u/x y v/y existen y
son continuas, como consecuencia del teorema de Taylor tenemos que:
0,6=0
f (a + ) f (a)
f
()
f
=
(a) + lm
=
(a).
0,6=0
x
x
Es decir, f es C-diferenciable en a.
Podemos resumir algunos de los resultados anteriores en el siguiente
teorema:
Teorema 6. (Cauchy-Riemann). Sea un subconjunto abierto no vaco de
C, f una funci
on complejo valuada definida en , y sea a . Entonces f
es C-diferenciable en a si, y solamente si, f es diferenciable en el sentido
de variable real, y en a = (x0 , y0 ) las funciones coordenadas u y v de f
satisfacen las ecuaciones de Cauchy-Riemann.
47
no
2.3.
Las funciones C-diferenciables tambien se conocen como funciones holomorfas, analticas, o bien, funciones regulares. Como veremos posteriormente, hay una forma alternativa de definir una funcion Cdiferenciable,
esta se basa en la representacion local de una funcion en terminos de una
serie de potencias convergente, las cuales denominaremos funciones holomorfas, y uno de nuestros objetivos es mostrar que toda funcion Cdiferenciable
es holomorfa y reciprocamente.
48
Definici
on 13. Si cn C para cada entero no negativo n, diremos que la
X
cn converge a un n
umero complejo c si, y s
olo si, para cada > 0
serie
n=0
cn converge absolutamente si
m
X
n=0
cn c| < .
|cn | converge.
X
cn (z a)n
n=
converge a f (z).
En la siguiente parte veremos que toda funcion holomorfa es C-diferenciable, para lo cual, demostraremos primeramente algunos lemas tecnicos.
Proposici
on 14 (El criterio M de Weierstrass). Sea un subconjunto
abierto no vaco del plano complejo, un : C una sucesi
on de funciones
definidas en , y sup
ongase que existe una sucesi
on de constantes reales
Mn 0 tales que:
1.
2.
Mn converge.
n=0
Entonces
n=1
Demostraci
on. Dada > 0, como
n=0
tenemos que
k=1
49
m
m
X
X
X
k=n+1
k=n+1
k=n+1
se sigue de aqu que la serie sn (x) es de Cauchy, y por ende, converge. Para
cada x existe = x C tal que s(x) = , es decir, tenemos una funcion
s : X C tal que
X
X
X
Mk <
|uk (x)|
uk (x)
|s(x) sn (x)| =
k=n+1
k=n+1
k=n+1
para toda x , si n N .
Por ejemplo,
k=n+1
cn z n
n=1
|cn |rn M } .
n
P Si n|z| > R, la sucesion |cn ||z| no es acotada, luego entonces la serie
cn z no puede ser convergente.
Sea K un subconjunto compacto de B(0, R), como R es un n
umero real,
podemos elegir otro n
umero con 0 < < R y tal que
K B(0, ) = {z C; |z| }.
Sea r R tal que < r < R, por definicion de R, existe M = M (r) > 0
tal que |cn |rn M para toda n N . Si z K, tenemos que |z| < r, de
donde:
50
|cn z n | |cn |n M
X n
n
r
converge.
r
X
Aplicando el Criterio M de Wierstrass, se sigue que la serie
cn z n
converge uniformemente en K.
Como < r, la serie
zn
n=0
es holomorfa y continua en K.
Definici
on 15. Dada una sucesi
on {cn } de n
umeros complejos, el n
umero
n
dado por R = sup{r R; r 0, M =M (r)R n0 |cn |r M }, de P
acuerdo
con el lema de Abel, se denomina el radio de convergencia de la serie
cn z n .
Criterio de la raz
on: Si
|cn |
n |cn+1 |
lm
2.
51
Demostraci
on. Utilizando los criterios de convergencia para series con terminos reales, tenemos que:
P
1. La serie
|cn |rn converge, si:
|cn+1 rn+1 |
<1
n
|cn rn |
lm
diverge si
|cn |
< r.
n |cn+1 |
lm
Ya que
R = sup{r R; r 0, M =M (r)R n0 |cn |rn M },
tenemos R = lmn |cn |/|cn+1 |.
P
2. Aplicando el criterio p
de la raz para series reales, sabemos que
|cn |rn
n
n
converge si lmn |cn |r < 1 (divege si este lmite
p es mayor que
uno); o equivalentemente, converge si r < 1/lmn n |cn |.
p
Diverge si r > lmn n |cn | aplicando el inciso anterior se sigue que:
R=
1
p
.
lm n |cn |
Ejemplo 8.
1. La serie
n=0
2. La serie
n=0
lm cn /cn+1 = lm (n + 1) = .
3. La serie
52
cn z n
n=0
ncn z n1 .
n=1
Demostraci
on. Denotemos por R y R0 los radios de convergencia de las series
X
X
ncn z n1 , en particular:
cn z n , y
n=0
n=1
y
R0 = sup{r 0; N =N (r)R n0 |(n + 1)cn+1 |rn M }.
Veremos primeramente que R0 R. Si n 1, entonces:
|cn z n | |ncn z n | = |ncn z n1 ||z|.
n
n
1
r
1
r
n1
n
n|cn |r
=
|cn |
n
M n
.
r
53
Demostraci
on. Si = 0 el resultado es evidente, supongamos entonces que
6= 0 y definamos t = /, entonces:
|( + )n n | = |n [(1
t)n 1]|
n+
X n
= ||n
tk
k
k=1
n
X n
||n
|t|k
k
k=1
Si 0, entonces
n
(1 + ) 1 =
(1 + u)n1 du n (1 + )n1 .
n1
= n||(|| + ||)n1 .
|( + ) | || n 1 +
n=0
cn (z a)n converge
a f (z), si |z a| < R.
Entonces f es C-diferenciable en B(a, R) = {z; |z a| < R}. Adem
as
f 0 (z) =
n=1
ncn (z a)n1
P
Demostraci
on. Denotemos por g(z) a la funcion g(z) =
ncn (z a)n1 , si
|z| < R.
Fijemos z B(a, R), y elejimos C con 0 < || < 12 (R |z a|),
entonces:
n=1
54
X (z + a)n (z a)n X
X
n|cn |(||+|za|)n1
n|cn |n1
cn
n>N
n>N
n>N
f (z + ) f (z) X
ncn (z a)n1
n=1
N
X
n=1
X
(z + a)n (z a)n
n1
|cn |
+
2
n|cn |n1 .
n(z a)
n>N
Como
de convergencia de la serie
cn z n es el mismo que el de la
P el radio
n1
serie
ncn z
, dada > 0, podemos elegir un entero positivo N = N,z,R
X
1
tal que
ncn n1 < . Ademas, como
2
P
n>N
lm
0
(z + a)n (z a)n
= n(z a)n1 ,
podemos elegir > 0 (el cual depende de N , z y {cn }, para n < N ), donde
< 12 (R |z a|), tal que
X
(z + a)n (z a)n
n1
|cn |
n(z a)
< si 0 < || < .
nN
f (z + ) f (z) X
n1
ncn (z a)
< 2.
n=1
55
n=k
La funci
on f es infinitamente C-diferenciable sobre B(a, R) y, adem
as,
para k 1 y z B(a, R) tenemos:
f (k) (z) =
n=k
3.
1 (n)
f (a).
n!
Ejemplo 9.
P
n
Considere la serie f (z) =
n=1 z /n!, como consecuencia del criterio de
la raz, esta serie tiene radio de convergencia
1/n2
= lm
n 1/(n + 1)2
R = lm
n+1
n
=1
f (z) =
X
nz n1
n=1
n2
X
z n1
n=1
56
2.4.
Ejercicios
Captulo 3
Funciones elementales
El objetivo principal de este captulo es extender las funciones elementales de variable real a variable compleja, tales como las funciones trigonometricas, la exponencial y la logartmica. Asimismo, pretendemos estudiar sus
propiedades fundamentales.
3.1.
Potencias y races.
58
59
60
zk = zk (w) =
R exp
2
+ (k 1)
n
n
k = 1, 2, . . . , n
(3.1)
3.2. LA FORMULA
DE EULER
3.2.
61
La f
ormula de Euler
y f (0) = 1.
62
3.3.
3.3.1.
La funci
on exponencial
63
X
zn
n=0
n!
64
lm exp z no existe.
|z|
3.3.2.
La funci
on Logaritmo
d exp z
Como
6= 0 para toda z C, el teorema de la funcion inversa nos
dz
dice que exp z, al menos localmente, la exponencial tiene funcion inversa, la
cual, de manera analoga al caso real, denominaremos funcion logaritmo, por
definicion, z = log w es una razde la ecuacion ez = w.
Como ez 6= 0 para toda z C, entonces z = log 0 no tiene solucion, esto
es, el n
umero cero no tiene logaritmo.
Podemos dar as la siguiente definicion:
Definici
on 18. Sea C un conjunto abierto, conexo y tal que 0
/ , y
sea f : C una funci
on continua tal que z = exp(f (z)) para toda z .
La funci
on f se denomina una rama de logaritmo definida en .
Si f es una rama de logaritmo definida sobre un cojunto abierto, conexo
C \ {0} , y n Z, basandonos en lo discutido en los parrafos anteriores,
la funcion g(z) = f (z) + 2n es otra rama de logaritmo. Recprocamente,
si f y g son dos ramas de logaritmo, entonces para cada z , se tiene
65
w
.
|w|
con
k Z.
66
3.4. LAS FUCIONES TRIGONOMETRICAS
67
A
un mas, dado un abierto conexo C \ {0}, si f es una rama de logaritmo definida en , y b C es fijo, podemos definir una funcion g : C
por g(z) = exp(bf (z)). Si b Z, entonces g(z) = z b . Esto nos permite definir
una rama de z b para b . Si escribimos g(z) = z b como funcion, deberemos
entender z b = exp(b log z), donde log z es la rama principal de logaritmo,
en particular, como g(z) es composicion de funciones Cdiferenciables, entonces g(z) = z b es Cdiferenciable, y
d zb
= bz b1 ,
dz
donde utilizamos la misma rama de logartimo en ambos lados de la igualdad.
De aqui podemos deducir que, si a, b C, y a 6= 0, el smbolo ab se
interpreta como exp(b log a). Si a es un n
umero real positivo, log a tambien
es un n
umero real, y ab es univaluada, de otra forma, ab admite una infinidad
de valores, los cuales difieren por factores de e2nb . Esta tiene solo un valor
cuando b es un entero, en cuyo caso ab se interpretara como una potencia
de a, o bien, de a1 . Si b es un n
umero racional, con forma reducida pq ,
entonces
ab admite exactamente q valores distintos, y pueden representarse
q
como ap .
Formalmente, si a 6= 0, tambien podemos definir la funcion f (z) = az =
exp(z log a), en una rama apropiada de logaritmo. En esta rama, la funcion
f (z) = az es una funcion Cdiferenciable, univaluada y, definidas en la
misma rama de logartimo tenemos:
daz
= az log a.
dz
3.4.
ez + ez
,
2
sin z =
ez ez
2
que se denominan respectivamente, las funciones coseno y seno. Estas funciones claramente son analticas en todo el plano complejo.
Sustituyendo la expresion en serie de potencias de ez obtenemos:
cos z =
X
(1)k
k=0
(2k)!
z 2k = 1
z2 z4
+
...
2!
4!
68
y
X
z3 z5
(1)k 2k+1
z
=z
+
...
sin z =
(2k + 1)!
3!
5!
k=0
sin(z) = sin z.
sin0 z = cos z.
3.4. LAS FUCIONES TRIGONOMETRICAS
69
(2k + 1)
,
2
y
sin z = 0 si, y solo si z = k.
A
un mas, como consecuencia de estas formulas, si c es un periodo para
cos z y sin z, entonces cos(p + 0) = cos(0) = 1 y sin(p + 0) = sin 0 = 0, por
lo que p = 2k. Por lo que, el menor periodo para estas funciones es 2.
LAs funciones trigonometricas tienen bandas periodicas verticales. Una
eleccion conveniente es:
(2k 1) < x (2k + 1), con k Z.
Si definimos la funcion tangente como
tan z =
sin z
cos z
(2k+1)
2
tan a + tan b
1 tan a tan b
70
en particular
tan(x + y) =
(1 + tan2 x) tanh y
tan x(1 tanh2 y
+
.
1 + tan2 x tanh2 y
1 + tan2 x tanh2 y
Esta u
ltima formula muestra que tan z R si, y solo si z R. Mientras que
tan z tiene parte real cero si x es m
ultiplo de /2. Los u
nicos ceros de la
funcion tangente son de la forma z = k con k Z, y tan z es una funcion
periodica de periodo .
Las bandas
(2k + 1)
(2k 1)
<x
2
2
es una banda periodica. La imagen de dicha banda bajo la funcion tangente
es C \ {}.
Finalmente,
lm tan(x y) = .
y+
Captulo 4
Aplicaciones Conformes
Una aplicacion conforme es aquella que preserva angulos en cada punto
de su dominio. Las aplicaciones conformes han sido utilizadas por matematicos, cartografos y fsicos para deformar regiones en forma tal que se la
forma de las regiones se preserva a peque
na escala. En la presente seccion,
estudiaremos el comportamiento general de las aplicaciones conformes Cvaluadas defnidas sobre un abierto C, as como una familia especial de
este tipo de aplicaciones, conocidas como las transformaciones de Mobius.
4.1.
Introducci
on.
72
4.2.
Aplicaciones Conformes
73
74
75
Definici
on 21. Si 1 : [a, b] C y 2 : [c, d] C son dos trayectorias
suaves en C que pasan por el punto z0 , es decir 1 (t1 ) = z0 = 2 (t2 ) con
t1 (a, b), t2 (c, d), y k0 (tk ) 6= 0 para k = 1, 2, definimos el a
ngulo entre las
trayectorias 1 y 2 en el punto z0 como
arg(20 (t2 )) arg(10 (t1 ))
Si : [a, b] es una trayectoria suave, con C abierto, y f :
C es una funcion Cdiferenciable definida en , entonces := f
tambien es una trayectoria suave, y como consecuencia de la regla de la
cadena 0 (t) = f 0 ((t))0 0 (t). Si para t0 (a, b) denotamos (t0 ) = z0 , y
suponemos que 0 (t0 ) 6= 0 y f 0 (z0 ) 6= 0, entonces 0 (t0 ) 6= 0, a
un mas,
0
0
0
arg[ (t0 )] = arg[f (z0 )] + arg[ (t0 )].
Luengo entonces, si 1 , 2 son dos trayectorias suaves que pasan por
z0 = 1 (t1 ) = 2 (t2 ), y k (tk ) 6= 0 para k = 1, 2 y k = f k , y si
suponemos ademas que 1 (t1 ) 6= 2 (t2 ), entonces
arg[f 0 (z0 )] = arg[10 (t1 )] arg[10 (t1 )] = arg[20 (t2 )] arg[20 (t2 )],
o quivalentemente
arg[20 (t2 )] arg[10 (t1 )] = arg[20 (t2 )] arg[10 (t1 )]
Esto significa que, f transforma cualesquiera dos trayectorias que pasen
por z0 en dos trayectorias que pasan por f (z0 ) y, cuando f 0 (z0 ) 6= 0, los
angulos de las trayectorias se preservan en magnitud y direccion, esto es:
Teorema 9. Sea C un conjunto abierto, y f una funci
on Cdiferenciable definida en . Entonces f preserva a
ngulos en cada punto z0
donde f 0 (z0 ) 6= 0.
As, la funcion f (z) = z 2 preserva angulos, en magnitud y direccion, si
z0 6= 0. aplicacion f (z) = z + 1/z preserva angulos si f 0 (z) = 1 1/z 2 6= 0,
esto es, si z0 6= 1.
Definici
on 22. Sea C un conjunto abierto, z0 , y f una funci
on
Cvaluada definida en . Diremos que f es una aplicaci
on conforme en z0
si, f tiene la propiedad de preservar a
ngulos, en magnitud y direcci
on, en el
punto z0 , y adem
as existe el siguiente lmite:
lm
zz0
|f (z) f (z0 )|
|z z0 |
76
donde
mente, f 1 es conforme.
w = f (z).
df 1 (w)
6= 0, consecuentedw
77
Proposici
on 19. Sean k C, abiertos no vacos para k = 1, 2, 3, y sean
fk : k k+1 funciones Cdiferenciables, si k = 1, 2. Supongamos que f1
y f2 son conformes y biyectivas, entonces f2 f1 : 1 3 es conforme y
biyectiva.
Demostraci
on. Como f1 y f2 son biyectivas y Cdiferenciables, entonces
f2 f1 es biyectiva y Cdiferenciables. Como consecuencia de la regla de la
cadena (f2 f1 )0 (z) = f20 (f1 (z)) f10 (z) 6= 0, lo cual implica que f2 f1 es
conforme.
Corolario 8. Sea C un conjunto abierto no vaco. El conjunto de
las transformaciones Cdiferenciables, conformes y biyectivas, f : ,
constituye un grupo bajo la composici
on de funciones.
Uno de los resultados basicos referentes a la teora de las aplicaciones
conformes es el teorema de la aplicacion abierta de Riemann, el cual no demostramos en la presente seccion, simplemente lo enunciaremos, y daremos
una referencia donde puede leerse su demosrtacion.
Riemann enuncio, alrededor de 1900, el teorema de la aplicacion abierta
en su disertacion Grundlagen f
ur eine allgemeine Theorie der Functionene
einer ver
anderlichen complexen Grosse. Collected Works, 3-45, para lo que
actualmente conocemos como superficies de Riemann compactas con frontera, siendo dicho teorema mas general que la version usual que enunciamos
en la presente seccion. El basa su demostracion en el principio variacional de
la ecuacion u = 0, aunque seg
un observo Weierstrass, Riemann no justifica
su principio, siendo Hilbert quien en 1904 da la justificacion del mismo en su
artculo Uber
das Dirichletsche Prinzip. Math. Annalen 59 (1904), 161-186.
Collected Works, vol. 3, pp. 15-37.
La version que a continuacion enunciamos es una caso especial del teorema de la aplicacion abierta de Riemann, la cual fue demostrada por Osgood
en 1900.
Teorema 10 (Teorema de la aplicaci
on abierta de Riemann). Si
es un subconjunto abierto, simplemente conexo de C, y si 6= C , existe
una aplicaci
on conforme y biyectiva f : , donde = {z ; |z| < 1}
denota el disco unitario. Adem
as, para cada z0 , fijo, podemos encontrar
una u
nica f tal que f (z0 ) = 0 y f 0 (z0 ) > 0. [?, Chap. 6, pg. 229-235]
Definici
on 23. Si k & C son abiertos y conexos, k = 1, 2. Diremos que
1 y 2 son conformes si, existe una transformaci
on conforme y biyectiva
de 1 en 2 .
78
4.3. TRANSFORMACIONES DE MOBIUS.
4.3.
79
Transformaciones de M
obius.
az + b
,
cz + d
con a, b, c y d n
umeros complejos tales que ad bc 6= 0. Este tipo de aplicaciones fueron utilizadas por Mobius en 1853 para estudiar una clase de
aplicaciones geometricas la cual denomino Kreisverwandtschaften. Este tipo
de aplicaciones tambien se denominan homografas.
Definici
on 24. Una aplicaci
on fraccional lineal
T (z) =
az + b
cz + d
es una aplicaci
on de M
obius si los n
umeros complejos a, b, c y d satisfacen
la condici
on adicional ad bc 6= 0
La condicion ad bc 6= 0 simplemente nos dice que la aplicacion T no es
constante.
az + b
es una aplicaci
on de M
obius, entonces
cz + d
a
T es conforme y biyectiva de A = {z ; cz +d 6= 0} sobre B = {w ; w 6= }.
c
Proposici
on 20. Si T (z) =
Demostraci
on. Claramente T es Cdiferenciable si cz +d 6= 0, y si definimos
dz b
S(z) =
, podemos ver facilmente que T S(z) = S T (z) = z. Por
cz + a
lo que S = T 1 es la aplicacion inversa de T , y es claro que Dom(S) = {w
; a cw 6= 0}, y que T 1 tambien es una aplicacion de Mobius.
Notese que
az + b
dw + b
=
lm
lma
= , y w
cw
a
z dc cz + d
c
Esto nos permite considerar la aplicacion T definida sobre el plano extendido C , definiendo
d
a
T
=
T () = ,
c
c
80
az + b
a b
=
c d
cz + d
az + b
Ademas, si T (z) =
es una aplicacion de Mobius, y C \ {0},
cz + d
entonces
az + b
T (z) =
cz + d
esto es, los coeficientes a, b, c y d no son u
nicos.
A nivel de grupos esto significa que el homomorfismo no es inyectivo,
y tiene n
ucleo ker = { I GL(2, ); C \ {0}}, donde I denota la
matriz identidad. Consecuentemente, el grupo Mob es isomorfo al grupo
GL(2, )/ ker .
Podemos destacar algunos casos especiales de aplicaciones de Mobius, a
saber:
Definici
on 25. Si T : C C es una aplicaci
on de M
obius, entonces:
1.
2.
3.
4.
5.
4.3. TRANSFORMACIONES DE MOBIUS.
81
Una rotacion por un angulo , gira todo punto z alrededor del origen un
angulo , y solo deja invariantes el origen y el punto al infinito.
Una inversion es la composicion de dos reflexiones, la primera sobre el
eje real y la segunda sobre la circunferencia unitaria, aunque ninguna de
estas aplicaciones sea una transformacion de Mobius. Los puntos z = 1
son sus u
nicos puntos fijos.
Proposici
on 21. Si T es una aplicaci
on de M
obius, entonces T es la compoci
on de traslaciones, homotecias e inversiones.
a
b
a
Demostraci
on. Si c = 0, entonces T (z) = z + , definamos T1 (z) = z y
d
d
d
b
T2 (z) = z + . Claramente T = T2 T1 .
d
Si c 6= 0, definamos:
d
1
bc ad
b
T1 (z) = z + , T2 (z) = , T3 (z) =
z y T4 (z) = z + ,
2
c
z
c
d
entonces T = T4 T3 T2 T1 .
az + b
es una aplicacion de Mobius,
cz + d
entonces T (z) = z si, y solo si, az + b = z(cz + d), lo cual implica cz 2 +
(d a)z b = 0, como esta ecuacion es cuadratica, concluimos que: una
transformaci
on de M
obius, distinta de la identidad, tiene a lo m
as dos puntos
fijos, o equivalentemente, si una transformacion de Mobius fija al menos tres
puntos, entonces es la identidad Id(z) = z.
Si T es una aplicacion de Mobius, a, b, c C son tres puntos distintos
con = T (a), = T (b) = T (c) y S es otra aplicacion de Mobius tal que
= S(a) = S(b) = S(c), entonces S 1 T fija los puntos a, b y c, por
ende S 1 T = Id, de donde S = T . En resumen:
Notamos ademas que, si T (z) =
Proposici
on 22. Una aplicaci
on de M
obius esta determinada, en forma
u
nica, por su acci
on sobre cualesquiera tres puntos distintos en C .
Si z2 , z3 , z4 C y k 6= l, definamos T : C C como:
82
T (Z) =
(z z3 )(z2 z4 )
(z z4 )(z2 z3 )
si
z 2 , z3 , z4 C
z z3
z z4
si
z2 =
si
z3 =
si
z4 =
z2 z 4
z z4
z z3
z2 z 3
4.3. TRANSFORMACIONES DE MOBIUS.
83
Proposici
on 24. Una aplicaci
on de M
obius manda crcunferencias en crcunferencias.
Demostraci
on. De acuerdo con la proposicion ??, podemos escribir T como
una composicion de traslaciones, homotecias e inversiones, concretamente,
d
1
bc ad
T = T4 T3 T2 T1 , con T1 (z) = z + , T2 (z) = , T3 (z) =
z y
c
z
c2
b
T4 (z) = z + , recordamos que las traslaciones (T1 y T4 ), y las homotecias
d
(T3 ) transforman crcunferencias en crcunferencias, por lo que bastara ver
que las inversiones transforman crcunferencias en crcunferencias. De geometra analatica basica sabemos que una circunferencia, o lnea, tienen
ecuacion
Ax + By + C(x2 + y 2 ) = D
con A, B, C, D R, constantes, no todas cero. Sea z = x + y, y supongamos
z 6= 0, sea 1/z = u + iv, entonces u = x/(x2 + y 2 ), y v = y/(x2 + y 2 ), la
ecuacion de la circunferencia es equivalente a:
Au Bv D(u2 + v 2 ) = C,
la cual tambien es una lnea o una circunferencia.
Proposici
on 25. Si z1 , z2 , z3 , z4 son cuatro puntos distintos en C , entonces (z1 , z2 , z3 , z4 ) es un n
umero real si, y solamente si, los cuatro puntos
est
an en una circunferencia.
Demostraci
on. Si T (z) = C C es la aplicacion T (z) = (z, z2 , z3 , z4 );
az + b
; si z = x R, y w = T 1 (x) 6= 1, entonces x =
entonces T (z) =
cz + d
T (w), de donde T (w) = T (w), es decir
aw + b
aw + b
=
cw + d
cw + d
lo cual implica
(ac ac)|w|2 + (ad bc)w + (bc da)w + (bd bd) = 0.
Si ac R, entonces ac ac = 0; sean = 2(ad bc), = (bd bd), y
multiplicando la ecuacion anterior por tenemos
0 = Im(w) = Im(w )
84
|ad bc|
> 0.
|ac ac|
i z z0 z z0
=
= 1 |z z0 | = 1.
|T (z)| = e
1 z 0 z zz z 0 z |z| |z z 0 |
Demostraci
on. Verificaremos que, si T (z) = ei
z z0
es Cdiferenciable en C \ {
z01 }, y como |z0 | < 1,
1 z0z
entonces |
z01 | > 1, es decir, z 0
/ .
Como T (z0 ) = 0 , por continuidad T transforma el interior de
en el interior de . Y como T es la restriccion a de una transformacion
conforme, T es conforme de en .
Ademas z 7
Posteriormente, cuando estudiemos el teorema del modulo maximo, demostraremos que toda aplicacion conforme y biyectiva de sobre es de
la forma descrita en la porposicion anterior.
4.4. SIMETRIA.
4.4.
85
Simetra.
z z3 z z 3
=
z2 z 3 z 2 z 3
86
0<R<
aplicando sistematicamente la invariancia de la razon cruzada para una aplicacion de Mobius (Prop. ??), podemos concluir que:
(z , z2 , z3 , z4 ) = (z, z2 , z3 , z4 )
= (z a, z2 a, z3 a, z4 a)
R2
R2
R2
=
z a,
,
,
z2 a z3 a z4 a
2
R
+ a, z 2 , z 3 , z 4
=
za
Esta ecuacion muestra que el punto simetrico de z es z = a+R2 (za)1 ,
o equivalentemente z y z satisfacen la relacion
(z a)(z a) = R2
Consecuentemente, el producto de las distancias de z y z al centro es R2 ,
esto es, |z a| |z a| = R2 . Ademas,
z a
R2
=
> 0,
za
|z a|2
lo cual significa que z y z estan en la misma semi-recta con punto inicial a.
Dado z
/ C, hay una constriccion geometrica muy simple para z , la cual
describimos en la Figura (??):
Sea L la semi-recta que pasa por z e inicia en a.
Considere la perpendicular L0 a L que pasa por z.
Sea p el punto de interseccion de L0 con C.
87
4.5. EJERCICIOS
4.5.
Ejercicios
Captulo 5
Integral de Lnea.
En esta seccion veremos que la generalizacion inmediata de una integral
real a los n
umeros complejos es definir la integral de una funcion compleja
sobre un intervalo real, esto nos conducira al concepto de integral de lnea.
Este concepto nos permitira estudiar una serie de propiedades fundamentales en el analisis de funciones de variable compleja, las cuales son muy
complicadas de demostrar sin el uso de la integracion compleja, propiedades
mediante las cuales iniciaremos la distincion fundamental entre los funciones
reales de variable real y las funciones holomorfas. Estos resultados son el objetivo principal de la siguiente seccion.
Demostrar que una funcion Cdiferenciable es holomorfa puede demostrarse sin utilizar integracion a lo largo de curvas, aunque las demostraciones
suelen ser mas complicadas, R. L. Plunket demostro la continuidad de la
derivada en A topological proof of the continuity of the derivate of a function
of a complex variable. Bull. Amer. Math. Soc. 65, (1959); 1-4. Mientras que
E.H. Connel y P. Porcelli demostraron la existencia de todas las derivadas en
A proof of the power series expansion without Cauchys formula. Bull. Amer.
Math. Soc. 67, (1961); 177-181. Ambos artculos basan sus demostraciones en
una demostracion topologica del teorema de la aplicacion abierta, pues este
se encuentra muy relacionado con la estructura de las funciones holomorfas,
seg
un demuestra Stoilow, cuya disertacion puede encontrarse en el libro de
C. T. Whyburn Topologycal analysis, 2nd ed. Princeton. 1964.
5.1.
Integraci
on Compleja
92
2.
3.
4.
5.
6.
7.
si a t b1
1 (t)
(t) =
2 (t + a2 b1 ) si b1 t b1 + b2 a2
COMPLEJA
5.1. INTEGRACION
8.
93
Recordamos que la restriccion de al intervalo [aj , aj+1 ] es continuamente diferenciable si existe un intrvalo abierto Ij R, con [aj , aj+1 ], tal
que es continua y diferenciable en Ij .
Notese que, en este caso, hay un subconjunto finito S [a, b] tal que
d/dt existe y es continua en [a, b] \ S; ademas d/dt es acotado en este
conjunto.
Podemos notar que, si es una curva diferenciable por partes en ,
entonces 1 tambien lo es. Si 1 y 2 son curvas diferenciables por partes
en , y el punto final de 1 coincide con el punto inicial de 2 , entonces
1 + 2 es una curva diferenciable por partes.
Definici
on 29. Sea (X, d) un espacio metrico.
Si k : [ak , bk ] X, k = 1, 2 son dos curvas en X, diremos que 2 es
una reparametrizaci
on de 1 , (o que 2 se obtine de 1 por medio de una
reparametrizaci
on), si existe una funci
on continua, sobre, y estrictamente
creciente h : [a2 , b2 ] [a1 , b1 ] tal que 1 h = 2 .
de , la cual denotamos
f dz, por la f
ormula:
f dz =
a
b
f ((t)) (t)dt,
94
como vec2
tores en R .
Si identificamos nuevamente C con R2 va z = x + iy 7 (x, y), podemos
escribir la funcion continua f en terminos de sus partes real e imaginaria
como f (x, y) = (u(x, y), v(x, y)), con u, v funciones R valuadas definidas
en , y (t) = (x(t), y(t)), entonces
Z b
Z
dy(t)
dx(t)
+ v(x(t), y(t))
f dz =
dt
u(x(t), y(t))
dt
dt
a
Ejemplo 10.
Evaluemos
curva que une 0 con . Podemos ver que esta dada por (t) = (0, t), de
donde (t)
f=
f no depende de la
ciones
R2 valuadas definidas en un abierto que contenga a , es decir,
Z
: C R es una funcion Rlineal, donde C es el Respacio vectorial de
COMPLEJA
5.1. INTEGRACION
95
0
Z
de donde f dz = .
2
f = 0.
f de un
n
umero complejo.
Definici
on 31 (Definici
on de Integral de Lnea). Sea C un conjunto abierto no vaco, : [a, b] una curva suave en , y f : C
una funci
on Cvaluada, y continua definida
en . Se define la integral de
Z
lnea a lo largo de , la cual denotamos
f dz, por la f
ormula:
f dz =
f ((t))(t)dt,
es como n
umeros complejos.
Nuevamente, podemos escribir la funcion continua f en terminos de
sus partes real e imaginaria como f (z) = u(z) + v(z), con u, v funciones
Rvaluadas definidas en , y (t) = (x(t) + y(t)), entonces
f ((t))(t)
= [u((t)) + v((t))][x(t)
+ y(t)]
= [u((t))x(t)
v((t))y(t)]
+ [u((t))y(t)
v((t))x(t)]
96
de donde
Z
Z b
dy(t)
dx(t)
v(x(t), y(t))
dt
dt
dt
a
Z b
dy(t)
dx(t)
+
u(x(t), y(t))
dt
+ v(x(t), y(t))
dt
dt
a
f dz =
u(x(t), y(t))
f dz =
b
a
[udx vdy] +
o bien
Z
f dz =
b
a
[ux v y]
+
[udy + vdx]
a
b
[uy + v x]dt
Desde luego, a
un debemos verificar que, con esta definicion, se extienden
las propiedades de la integral de lnea, y que la integral, en este caso, resulta
Clineal. Y al igual que en el caso anterior,
si es una curva de z0 a z1 ,
Z
f depende , o no, de la curva .
Ejemplo 12.
1. Evaluemos ahora
caso
Z
e dz =
+ i
=
=
e(t) (t)dt
e(cos t+ sin t) ( sin t + cos t)dt
ecos t [cos(sin t) sin t + sin(sin t) cos t]dt
0
cos t
/2
/2
cos(sin t)0 + ecos t sin(sin t)0
/2
ecos t+ sin t
= e e
COMPLEJA
5.1. INTEGRACION
2. Ahora evaluaremos
97
t
z
a
(re
+
a)
a
0
Z n
dz
=
0
= 2n
d(t)
d( h)(t)
d(h(t)) dh(t)
d(s) ds
=
=
=
dt
dt
ds
dt
ds dt
f ((t))dt
c
d
d(h(t)) dh(t)
ds
ds
c
Z b
d(s)
f ((s))
=
ds
ds
Za
=
f
f ((t))
Proposici
on 29. Sea un conjunto abierto, no vaco, f, g : C
funciones continuas, una constante compleja, y sean , 1 y 2 curvas,
tales que el punto final de 1 coincide con el punto inicial de 2 . Entonces:
98
1.
2.
3.
4.
Z
Z
Z
Z
f =
f.
(f + g) =
f =
f=
1 +2
f+
g.
f.
f+
1
f.
2
Demostraci
on. (1) Si f = u + v, con u, v : R funciones R-valuadas,
continuas definidas en , = 1 +i2 C, con k R, y (t) = x(t)+y(t),
con t [a, b] R, entonces: f = (1 u 2 v) + (1 v + 2 u), de donde
Z
Z b
Z b
= 1
(ux v y)dt
2
(uy + v x)dt
a
a
Z b
Z b
(ux v y)dt
(uy + v x)dt
+ 2
+ 1
+
f
a
(f + g) =
b
a
+
[(u1 + u2 )y + (v1 + v2 )x]dt
a
Z b
Z b
=
[u1 x v1 y]dt
+
[u1 y + v1 x]dt
a
a
Z b
Z b
[u2 y + v2 x]dt
[u2 x v2 y]dt
+
+
a
Z
Za
f+ g
=
COMPLEJA
5.1. INTEGRACION
99
f ((t))
a
d()(t)
dt
dt
b
a
=
=
f ((b t))((t))dt
f ((s))(s)ds
Za
f.
(4) Finalmente, sea f como en el inciso (1), 1 (t) = x1 (t)+ y1 (t), si t [a, b]
y 2 (t) = x2 (t) + y2 (t), si t [b, c], con 1 (b) = 2 (a). Entonces:
Z
f+
1
=
+
f (1 (t)) 1 (t)dt +
a
b
Za c
(ux 1 v y 1 )dt +
f (2 (t)) 2 (t)dt
b
(uy 1 + v x 1 )dt
Za c
(ux 2 v y 2 )dt +
(uy 2 + v x 2 )dt
b
Z b
Z c
=
(ux 1 v y 1 )dt +
(ux 2 v y 2 )dt
a
b
Z b
Z c
(uy 2 + v x 2 )dt
(uy 1 + v x 1 )dt +
+
b
b
a
(ux 1 v y 1 )dt +
(uy 1 + v x 1 )dt +
c
b
(ux 2 v y 2 )dt =
(uy 2 + v x 2 )dt =
(ux v y)dt
y que
Z
b
a
c
b
c
a
(uy v x)dt
100
1 +2
f dz =
n1
XZ
k=0
f dz como
f dz.
k
Podemos notar, como consecuencia de la proposicion anterior,que el valor de la integral de f a lo largo de no depende de la particion utilizada.
Definici
on 33 (Longitud de Arco). Sea : [a, b] una curva suave la
longitud de arco de se define como:
Z b
Z bp
`() =
|(t)|dt
=
x(t)
2 + y(t)
2 dt.
a
Ejemplo 13.
Si (t) = exp( t), con t [0, 2], es una parametrizacion del crculo
unitario, entonces
Z 2 p
Z 2
2
2
`() =
( sin(t)) + (cos(t)) dt =
dt = 2.
0
Proposici
on 30. Si es un subconjunto abierto no vaco de C, : [a, b]
es una funci
on continua, tal que existe una constante real M 0 con
|f (z)| M para toda z im(), entonces
Z
f M `().
COMPLEJA
5.1. INTEGRACION
101
En forma m
as general tenemos:
Z Z
f |f ||dz|,
|f | :=
b
a
|f ((t))||(t)|dt.
Demostraci
on. Como
Z Z
f = f ((t))(t)dt
entonces
Z b
Z
f =
f
((t))
(t)dt
Z b
|f ((t))(t)|
dt
a
Z b
|f ((t))||(t)|dt
a
Z b
M |(t)|dt
= M `()
102
Demostraci
on. Si f es C-diferenciable, entonces
f ((t)) = u(t) + v(t),
con u, v : [a, b] R diferenciables, entonces
d(f ((t)))
du
dv
=
(t) + (t),
dt
dt
dt
de donde
Z
f (z)dz =
b
a
du
dt +
dt
b
a
dv
dt
dt
b
a
du
dt = u(b) u(a), y
dt
b
a
dv
dt = v(b) v(a),
dt
y como
(u(b) u(a)) + (v(b) v(a)) = f ((b) f ((a)))
podemos concluir que
Z
Ejemplo 14.
Si z0 = 1, z1 = e para alg
un (0, ], y f (z) = 1/z, sabemos
d log z
1
que
= , donde log esta definido en la rama principal, esto es, si
dz
z
z C \ {z; Re(z) = 0, Im(z) < 0}.
Z
f = .
COMPLEJA
5.1. INTEGRACION
103
Proposici
on 31. Si es un subconjunto abierto no vaco en C, R un
rect
angulo cerrado contenido en y f : C es una funci
on C-diferenciable,
y f C 1 (), entonces
Z
Z Z
1
f
dx dy =
f dz.
2 R
R z
Demostraci
on. Si R = {x + y ; (x, y) [a, b] [c, d]}, es un rectangulo
cerrado contenido en , con vertices v1 = a + c, v2 = b + c, v3 = b + d, y
v4 = a + d, 1 , ..., 4 los lados de R, estos los podemos parametrizar como
1 (t) = t + c, con a t b, 2 (t) = b + it, con c t d, etc. Entonces
Z Z
Z Z
f
1
f
f
dx dy =
+
dx dy
2
y
R z
R x
f
dx dy =
y
=
=
Z b Z
a
d
c
f
dy
y
Za
dx
Z
Z Z
f
dx dy =
f dz +
f dz .
2
4
R x
Sumando las integrales anteriores obtenemos:
Z
Z Z
4 Z
1
1X
f
f dz =
dx dy =
f dz.
2
2 R
k
R z
k=1
104
A diferencia de este corolario , el siguiente resultado no pide que la funcion f sea de clase C 1 , y es un resultado que juega un papel fundamental en
nuestro estudio de las funciones C-diferenciables, en particular, nos permitira ver que estas funciones son analticas.
Teorema 12 (El teorema de Cauchy-Goursat). Si es un conjunto
abierto en C, y f es una funci
on Cdiferenciable definida en . Entonces,
para cualquier rect
angulo cerrado R ,
Z
f dz = 0
R
Demostraci
on. Identificando nuevamente C con R2 consideremos un rectangulo cerrado R = {x + y C; (x, y) [a, b] [c, d]} contenido en , donde
a, b, c, d R,con a < b y c < d, y denotemos por vk , k = 1, ..., 4 los vertices
de R, esto es v1 = a + c; v2 = b + c, v3 = b + d y v4 = a + d. Y
consideremos los siguientes puntos auxiliares:
1
1
1
v0 := (v1 + v2 + v3 + v4 ), w1 = (v1 + v2 ), w2 = (v2 + v3 ),
4
2
2
1
1
w3 = (v3 + v4 ), w4 = (v1 + v4 )
2
2
Esto es, v0 es el centro del rectangulo R, y los puntos wk son los puntos
medios de cada uno de los lados de R.
Dividamos R en cuatro rectangulos cerrados R1 , R2 , R3 y R4 , donde R1
tiene vertices v1 , w1 , v0 y w4 ; los vertices de R2 son w1 , v2 , w2 y v0 ; R3 tiene
vertices v0 , w2 , v3 , w3 , y finalmente, los vertices de R4 son wa , v0 , w3 y v4 , en
este orden, como muestra la figura (??).
Como consecuencia de la proposicion ??, tenemos que
Z
Denotemos por
f dz =
R
4 Z
X
k=1
A :=
f dz.
Rk
f dz ,
COMPLEJA
5.1. INTEGRACION
105
4 Z
4 Z
X
X
f dz ,
f dz
A :=
Rk
Rk
k=1
k=1
f
dz
A.
4
R
1
f dz =
R1
4 Z
X
f dz,
=1 R1 ,
Z
Z
f dz 2 A,
f dz
4
R
R ,
1
1 2
ademas,
1
1
`(R1 ,2 ) = `(R1 ) = 2 `(R),
2
2
1
1
diam (R1 ,2 ) = diam (R1 ) = 2 diam (R)
2
2
Iterando este proceso, encontramos una sucesion de rectangulos cerrados
{R1 ,2 ,...,k : k N} que satisfacen las siguientes propiedades:
1. R1 ,2 ,...,k ,k+1 R1 ,2 ,...,k ,
106
1
`(R),
2k
1
3. diam (R1 ,2 ,...,k ) = k diam `(R), y
2
Z
4.
f dz k A.
R , ,...,
4
1 2
2. `(R1 ,2 ,...,k ) =
El inciso (1) nos dice que tenemos una sucesion {R1 ,2 ,...,k : k N} de
compactos anidados, aunado esto al inciso (2) tenemos que
\
R1 ,2 ,...,k = {}
kN
para un u
nico punto R.
Definimos : C, por (z) = f (z) [f () + f 0 ()(z )].
Como f es una funcion Cdiferenciable en , entonces es Cdiferenciable
en , y () = 0. Luego entonces
(z) ()
(z)
= lm
= 0.
z,z6=
z,z6= z
z
lm
Luego entonces, dada > 0 existe > 0 tal que |z | < implica
|(z)| < |z |.
Como f ()+(z )f 0 () es un polinomio en la varible z, como consecuencia
del corolario anterior,
Z
f () + (z )f () = 0.
R1 ,2 ,...,k
Luego entonces
dz =
R1 ,2 ,...,k
f dz.
R1 ,2 ,...,k
Por otra parte, como lm diam (R1 ,2 ,...,n ) = 0, existe k > 0 tal que
n
f
dz
A
=
dz
k
R , ,...,
R , ,...,
2
1
1
1
diam(R) k `(R),
k
2
2
COMPLEJA
5.1. INTEGRACION
107
Para poder aplicar este teorema necesitamos una version mas fuerte.
Teorema 13. Si es un abierto en C, f una funci
on Cvaluada y continua
en , a , y f es Cdiferenciable en \ {a}, entonces para cualquier
rect
angulo cerrado R
Z
f dz = 0.
Demostraci
on. Si a
/ R, aplicamos el teorema anterior. Si a R, sea R un
rectangulo cerrado contenido en el interior de R, y cuyos vertices convergen
a R cuando 0. Esto es, si R = {x+y ; (x, y) [a, b][c, d]}, y 0 < un
n
umero suficientemente peque
no, entonces R = [a + , b ] [c + , d ].
Figura 5.3:
Como f es continua en y R es compacto, entonces f es uniformemente
continua en R, luego entonces
Z
Z
f dz
lm
f dz =
0 R
f dz = 0,
Pero, como consecuencia del teorema de Cauchy-Goursat
R
Z
f dz = 0. Finalmente, supongamos que a Int(R) = (a, b)
de donde
R
R1
R2
f dz = 0,
Rk
108
5.2.
El Teorema de Cauchy
Lema 5. Si R es un rect
angulo cerrado en C, y a R \ R es un punto en
el interior de R, entonces
Z
1
dz = 2i.
R z a
Demostraci
on. Dado t [0, 1], existe un u
nico (t) tal que en la frontera de
2
t
R tenemos el punto a + (t)e
. Consideremos la curva suave por partes
r(t) = a + (t)e2 t . Entonces
Z
Z 1
1
d(t)e2 t
1
dz =
dt
2 t
dt
0 (t)e
R z a
Z 1 0
Z 1
(t)
2 dt
=
dt +
0 (t)
0
= ln((1)) ln((0)) + 2
= 2
f (z) f (a)
si z \ {a}
za
g(z) =
f 0 (a)
si z = a
Claramente g es continua en , Zy g es Cdiferenciable en \ {a}, como
consecuencia del teorema ??,0 =
g dz, y como
R
g dz =
R
=
=
ZR
ZR
f (z) f (a)
dz
za
Z
f (z)
1
dz f (a)
dz
za
R z a
f (z)
dz 2 f (a)
za
109
1
2
f (z)
dz.
za
X
cn (z a)n
n=0
f (z)
dz.
zw
1 X wa
w a 1
=
1
za
za
za
0
si |w a| < |z a|.
Si w B(a, r) y z R, entonces |w a| |z a|, con 0 < < 1, y
solo depende de r y R. Luego entonces
f (w) =
1
2
f (z)
R
X
(w a)n
dz,
(z a)n+1
n=0
y como la serie converge uniformemente para w B(a, r), y z R, podemos intercambiar la suma con la integral, de donde
1 X
f (w) =
2
n=0
(w a)n
f (z)
dz (w a)n ,
(z a)n+1
R
o equivalentemente
f (w) =
n=0
cn (w a)n ,
110
con
1
cn =
2
f (z)
dz.
(z a)n+1
X
1
cn (z a)n , entonces ck = f (k) (a), y el valor
A
un mas, como f (z) =
k!
n=1
X
cn (z a)n , se
ck es independiente de R, ademas la identidad f (z) =
n=0
n=0
cn (z a)n ,
R . Entonces f es holomorfa en .
111
Demostraci
on. Dado a = + , consideremos r > 0 tal que B =
B(a, r) .
Si z B, entonces z = x + y, (x, y R), sea z 0 = x + , y se
z = 1 + 2 , donde 1 es el segmento de lnea que une a con z 0 , el cual
podemos parametrizar como, 1 (t) = t + , con t [, x]; y sea 2 es el
segmento que une z 0 con z, parametrizado por 2 (t) = x + t con t [, y].
Figura 5.4:
Definimos F (z) =
f (w) dw.
z
Si h 6= 0 es un n
umero real tal que z + h B(a, r), entonces
Z
F (z + h) F (z)
1
f (w) dw,
=
h
h
donde es el segmento de lnea que une z con el punto z + h, por ende,
=
h
h
y+h
f (x + t) dt.
y
112
1
F (z + h) F (z)
=
h
h
f (w) dw,
L
entonces:
0=
f=
R
f.
z
ya que
az 0
se reduce a un punto
0 f
az
az
= 0, analogamente
f=
z
az
f.
contenida en . Reciprocamente,
el resultado anterior nos dice que, si f
Z
f = 0, para cualquier rectangulo cerrado contenido
satisface la condicion
R
113
5.3. EJERCICIOS
Definici
on 34. Sea C un conjunto abierto, no vaco, f una funci
on
holomorfa en . Una primitiva de f sobre es una funci
on F , holomorfa
en , cuya derivada es f , es decir, F 0 = f .
Como consecuencia de que toda funcion holomorfa admite un desarrollo
en serie de potencias, tenemos la siguente proposicion:
Proposici
on 32. Si
n=0
X
cn
Demostraci
on. Definamos F (z) =
(z a)n+1 , claramente F 0 = f
n+1
n=0
y como consecuencia de la proposicion ??, el radio de convergencia de F
coincide con el de f . Por tanto, F es una primitiva de f en B(a, r).
Proposici
on 33. Sea C un conjunto abierto, conexo, y sea f una
funci
on holomorfa en . Si F y G son dos primitivas de f en , entonces
F G es constante.
Demostraci
on. Como F y G son primitivas de f en , entonces (F G)0 =
0
0
F G = f f = 0, y como es conexo, tenemos que la funcion F G es
constante.
5.3.
Ejercicios
1. Evalue
|z|=2
dz
1
z2
|z|=1
|z 1| |dz|
114
Captulo 6
Funciones holomorfas.
En la presente seccion, analizaremos el comportamiento de las funciones
holomorfas, en particular veremos como ciertas condiciones locales determinan el comportamiento global de la funcion.
Teorema 17. (El principio de continuaci
on analtica). Sea C un subconjunto abierto no vaco, y sea f : C una funci
on holomorfa. Si existe
un subconjunto abierto no vaco U contenido en tal que f (z) = 0 para
cada z U , entonces f (z) = 0 para toda z .
Demostraci
on. Denotemos por f (n) la n-esima derivada de f , si n 1, y
(0)
f
= f . Y denotemos por En el conjunto de puntos z cuya n-esima
derivada es cero, esto es,
E=
En
n0
116
f (z) =
n=0
f (k) (z) =
n=0
f = 0.
f =0
Demostraci
on. Como consecuencia de la proposicion ??, la funcion f tiene
primitiva en B(a, ).
117
Y como consecuencia del teorema de independencia de las trayectorias,
tenemos
que para cualquier curva cerrada contenida en B(a, ) se tiene
Z
f = 0.
que
Definici
on 35 (Serie de Taylor). Sea C un abierto no vaco, f una
funci
on holomorfa en , y a . La serie
X
f (n) (a)
n=0
n!
(z a)n
Ejemplo 15.
X
la serie geometrica:
z n , la cual tiene radio de convergencia r = 1.
n=0
X
(1 z)2 esta dado como
(n)z n1 g(z) = f 0 (z), pues g = f 0 .
n=1
118
X
(1)n1
n=1
zn,
X
z n , por otra parte, procediendo de manera analoga al
de Taylor
n=0
X
1 n
z , la cual tiene radio de convergencia 2.
por
2n+1
n=0
n+1
X
2
1
n=0
2n+1
zn =
n=0
zn +
X
1 n
z ,
2n+1
n=0
X
zn
,y
n!
tiene radio de convergencia infinito, es decir, la expresion es valida para
toda z. Esto es consecuencia de la definicion de la funcion exponencial,
y de la unicidad de la serie de Taylor.
n=0
119
2
X
z 2n
,
n!
y tiene radio de convergencia infinito, es decir, la expresion es valida
para toda z.
n=0
X
(1)n 2n1
7. La serie de Taylor de sin z esta dada por
z
, y esta
(2n 1)!
n=0
expresion es valida para toda z.
X
(1)n
n=0
(2n)!
z 2n , y esta expresion
cn z n
n=0
cn z n
n=0
cos z
X
(1)n 2n1
z
=
(2n 1)!
n=0
n
X
k=0
n=0
cn z
n=0
an
m=0
X
(1)n
n=0
bm
(2n)!
n=0
2n
dn , con:
120
z3 z5 z7
c0
c1
+
+ . . . = c0 + c1 z + (c2 )z 2 + (c3 )z 3
3!
5!
7!
2!
2!
c2 c0 4
c3 c1 5
+(c4
+ )z + (c5
+ )z
2!
4!
2!
4!
c4 c2 c0 6
+
)z + . . .
+(c6
2!
4!
6!
0 = c0
c0
0 = c2
2!
c2 c0
0 = c4
+
2!
4!
c4 c2 c0
0 = c6
+
2!
4!
6!
1 = c1
1
c1
= c3
3!
2!
1
c3 c1
= c5
+
5!
2!
4!
c3 =
1
1
c1
= ,
2! 3!
3
c5 =
1
c3 c1
2
+
= ,...
5! 2!
4!
15
Captulo 7
Homotopa y el Teorema de
Cauchy.
Para extender el teorema de Cauchy-Goursat a regiones mas generales
que rectangulos, necesitamos demostrar algunos teoremas de deformacion,
por lo cual, necesitamos introducir el concepto
Z de homotopa, y dar condi-
Definici
on 36. Sea (X, d) un espacio metrico, x0 , x1 X. Sean 0 , 1 :
[0, 1] X, son dos curvas de x0 a x1 . Diremos que 0 es homot
opica a 1
en X con puntos extremos fijos, si existe una funci
on continua H : [0, 1]
[0, 1] X que satisface las siguientes condiciones:
1.
H(0, t) = 0 (t) si 0 t 1;
2.
H(1, t) = 1 (t) si 0 t 1;
3.
H(s, 0) = x0 si 0 s 1, y
4.
H(s, 1) = x1 si 0 s 1
122
H(0, t) = 0 (t) si 0 t 1;
2.
H(1, t) = 1 (t) si 0 t 1;
3.
H(s, 0) = H(s, 1) si 0 s 1, y
Nuevamente, si s (t) = H(s, t), cada s es una curva cerrada en X.
Ejemplo 17.
Si 0 (t) = cos t + sin t, y 1 (t) = 2 cos t + sin t, entonces 0 es homotopica, como curva cerrada, a 1 , y una posible homotopa esta dada por,
H(s, t) = (1 + s) cos t + sin t.
Definici
on 38. Sea (X, d) un espacio metrico, X. Decimos que es
simplemente conexo si, toda curva cerrada en es homot
opica a un punto,
esto es, a una curva constante.
Ejemplo 18.
Si 0 (t) = cos t + sin t, y 1 (t) = 0, entonces 0 es homotopica, como
curva cerrada, a 1 , y una posible homotopa esta dada por,
H(s, t) = (1 s) cos t + sin t.
123
Definici
on 39. Sea C, decimos que es convexo si, para toda z0 , a1
, se tiene que z0 + (1 )z1 , para todo [0, 1].
Esto es, un conjunto es convexo si contiene todos los segmentos de lnea
que pueden construirse entre una pareja arbitraria de puntos en .
Ejemplo 19.
1. Si a C y r > 0, claramente B(a, r) = {z; |z a| < r} es un conjunto
convexo.
2. Si a C y r > 0, claramente B(a, r)\{a} = {z; 0 < |z a| < r} no es
un conjunto convexo, pues el segmento de recta que une 1/2 con 1/2
no esta contenido en a.
Proposici
on 34. Si es un conjunto abierto y convexo en C, entonces
cualesquiera dos curvas cerradas en son homot
opicas como curvas cerradas en , y cualesquiera dos curvas con los mismos puntos extremos fijos
son homot
opicas con puntos extremos fijos.
Demostraci
on. Sean 0 : [0, 1] y 1 : [0, 1] dos curvas cerradas
en , definamos H(s, t) = s1 (t) + (1 s)0 (t), claramente H es continua,
H(0, t) = 0 (t), H(1, t) = 1 (t) y si k (0) = k (1), entonces H(s, 0) =
s(0) + (1 s)1 (0) = s(1) + (1 s)1 (1) = H(s, 1).
Por otra parte, si 0 (0) = 1 (0) = z0 y 0 (1) = 1 (1) = z1 , entonces
H(s, 0) = s1 (0) + (1 s)0 (0) = sz0 + (1 s)z0 = z0 , y H(s, 1) = s1 (1) +
(1 s)0 (1) = sz1 + (1 s)z1 = z1 , por lo cual H es una homotopa con
puntos extremos fijos.
Corolario 17. Un conjunto convexo es simplemente conexo.
Teorema 20 (El Teorema de deformaci
on). Sea C un conjunto
abierto no vaco, y suponga que f es una funci
on holomorfa sobre , y que
k : [0, 1] , k = 0, 1, son dos curvas suaves por partes en .
1.
f=
0
f.
1
124
2.
f=
0
f.
1
Demostraci
on. Como 0 es homotopica a 1 , existe una funcion continua
H : [0, 1] [0, 1] tal que
1. H(0, t) = 0 (t) si 0 t 1;
2. H(1, t) = 1 (t) si 0 t 1;
3. H(s, 0) = z0 si 0 s 1, y
4. H(s, 1) = z1 si 0 s 1
Para cada valor de s fijo, la funcion s (t) = H(s, t) es una curva intermedia que se obtiene durante el proceso de deformacion. Analogamente, para
cada valor fijo t, la curva t (s) = H(s, t) es una curva que con extremos
0 (t) = H(0, t) y 1 (t) = H(1, t). Luego entonces, las lneas horizontales y
verticales en el cuadrado corresponden a una red de curvas en , donde el
lado izquierdo del cuadrado corresponde a la curva 0 , y el derecho a la curva 1 . Por otro lado, los lados superior e inferior del cuadrado corresponden
a los puntos extremos de la curva, esto es 0 (s) = z0 y 1 (s) = z1 . Como
muestra la figura ??:
Sean 0 = s0 < s1 < . . . < sn = 1, y 0 = t0 < t1 < . . . < tn = 1
particiones de [0, 1].
Como H es continua en y K = [0, 1][0, 1] C es compacto, su imagen
H(K) es un subconjunto compacto de . Sea = d(H(K), C\). Luego
entonces, z si, |H(s, t) z| < . Como H es uniformemente continua en
K, existe > 0 tal que |H(s, t) H(s0 , t0 )| < si d((s, t), (s0 , t0 )) < .
Si elegimos las particiones de [0, 1] regulares de longitud 1/n, para n <
2/ tal que cada subcuadrado tenga longitud menor que . Si Rkj denota el
rectangulo con esquinas (sk1 , tj1 ), (sk , tj1 ), (sk , tj ), (sk 1, tj ), entonces
la imagen bajo H del rectangulo Rjk esta contenida dentro de la bola con
centro Bkj = B(H(sk1 , tj1 ), ), el cual, por construccion, esta contenido
en . Y denotemos por kj = H(Rkj ) orientada en levogiro.
Entonces
n Z
X
j,k=1 kj
f=
f+
0
f
0
125
Como jk es una curva cerrada contenida completamente en la bola Bkj ,
sobre el cual la funcion f es holomorfa. El teorema de Cauchy para bolas
implica que, cada integral en la suma del lado izquierdo es cero, por ende,
Z
Z
Z
Z
f
f
f
f+
0=
0
f=
0
f = 0, de donde,
1
.
Corolario 18. Sea C un conjunto abierto, simplemente conexo. Si f
es una funci
on holomorfa en , entonces
Z
f =0
curva cerrada en . Aplicando el teorema de Independencia de trayectorias, esto es equivalente a que f admita una primitiva global en .
126
Demostraci
on. Como f es nunca nula, entonces f 0 /f es holomorfa en ,
como consecuencia del corolario anterior, f 0 /f admite una primitiva g, esto
es, g : C es una funcion holomorfa tal que g 0 = f 0 /f . Consideremos
la funcion h(z) = exp(g(z)), entonces h es holomorfa y nunca nula en ,
ademas
0
f
h(z)f 0 (z) h0 (z)f (z)
.
(z) =
h
h(z)2
Por otra parte, sabemos que h0 = g 0 f , de donde hf 0 f h0 = 0, lo cual
implica que la derivada de f /h es cero, y como es simplemente conexo,
f /h es constante en , esto es, existe una constante c C tal que
f (z) = c exp(g(z)) = exp(g(z) + c1 ),
donde exp(c1 ) = c. En particular, como exp(w) = exp(x + e k) para
k Z, entonces f (z) = exp(g(z) + c1 + 2 k), y para un valor apropiado de
k obtenemos g(z0 ) = w0 .
Es decir, en un subconjunto propio, y simplemente conexo del plano
complejo, que no contenga al origen, siempre podemos definir ramas de
lograritmo.
Corolario 21. Si C es un conjunto abierto, a , y r > 0 es un
n
umero real tal que B(a, r) , dada f : C una funci
on holomorfa,
entonces
Z
f (z)
n!
(n)
f (a) =
dz,
2 (z a)n+1
donde (t) = a + re2 t con 0 t 1.
Corolario 22 (Las desigualdades de Cauchy). Sean a C, y R R,
R > 0. Si f es una funci
on holomorfa en B(a, R), tal que |f (z)| M para
toda z B(a, R), entonces
|f (n) (a)|
n!M
Rn
Demostraci
on. Como consecuencia del corolario anterior
|f
(n)
n!
f (z)
n! M `() = n! M 2 r = n! M
dz
(a)| =
2 rn+1
n+1
2 (z a)
2 rn+1
rn
127
Como r < R es arbitraria, tomando el lmite por la izquierda cuando r
tiende a R tenemos el resultado deseado.
Definici
on 40. Diremos que una funci
on es entera, si la funci
on est
a definida y es holomorfa en todo el plano complejo C.
Ejemplo 20.
1. Si c C, y f (z) = c para toda z C, entonces f es entera.
2. Si f (z) = a0 + a1 z + . . . + an z n es un polinomio, entonces f es entera.
3. f (z) = aebz , con a, b C fijos, es una funcion entera.
4. La suma, el producto, y la composicion de funciones enteras, es entera.
Dejamos como ejercicio mostrar el siguiente resultado.
Proposici
on 35. Si f es una funci
onP
entera, entonces f tiene una represenn
taci
on en serie de potencias f (z) =
n=0 cn z , con radio de convergencia
infinito.
Teorema 22. Si f es una funci
on entera y acotada, entonces f es constante.
Demostraci
on. Supongamos que, existe M > 0 tal que |f (z)| < M para
toda z C, como f es entera, en particular es analtica en B(a, R), para
toda a C, y R > 0. Aplicando las desigualdades de Cauchy para n = 1
tenemos:
|f 0 (z)|
M
R
128
Definici
on 41. Si f : C es una funci
on holomorfa, y a es un
punto que satisface f (a) = 0, diremos que a es un cero de multiplicidad
m 1 si, existe una vecindad B(a, r) del punto a, y una funci
on
holomorfa g : B(a, r) C, tal que f (z) = (z a)m g(z)para toda z B(a, r)
y g(a) 6= 0.
f (z)
1
dz =
za
2
1
0
f (a + re2 t )2t dt
129
|f (a)|
1
0
|f (a + re2 t )|dt
Luego entonces
Z
1
0
1
0
|f (a + re2t )| dt |f (a)|
130
Captulo 8
Proposici
on 36. Si a C, y : [0, 1] C es una curva cerrada, suave
por partes que no pasa por a, es decir, a
/ im(), entonces
1
2
dz
za
es un entero.
Demostraci
on. Bastara demostrar este resultado en el caso en que sea una
curva suave.
Definimos g : [0, 1] C como
g(t) =
t
0
(s)
ds.
(s) a
dz
za
Ademas
dg(t)
(t)
=
, si 0 t 1
dt
(t) a
Consecuentemente
131
132
d g(t)
g(t)
(e
[(t) a]) = eg(t) (t)
g(t)e
((t) a)
dt
(t)
g(t)
= e
(t)
((t) a)
((t) a)
= 0
2.
3.
Si a
/ im im y si es homot
opica a en C\{a}, entonces
n(, a) = n(, a).
133
Demostraci
on. 1 y 2 son consecuencia de la proposicion (7.2). mientras que
3 es consecuencia del teorema de deformacion (10.0.15)
Teorema 25. Sea una curva suave por partes en C. Entonces n(, a)
es localmente constante, esto es para cada componente conexa U de =
C\im, existe una constante cU C tal que n(, a) = cU para cada z U .
Adem
as, n(, a) = 0 si a pertenece a la componente no acotada de .
Demostraci
on. Definamos f : C como f (a) = n(, a), a continuacion
demostraremos que f es continua. Como es abierto las componentes
conexas de son conjuntos abiertos. Sea a , y definamos r = d(a, im),
la distancia de la curva al punto a, como es abierto, r > 0. Si |a b| <
< r/2 entonces
Z
Z
dz
dz
1
|f (b) f (a)| =
2 z a
zb
Z
1
ab
=
dz
2 (z a)(z b)
Z
|dz|
|a b|
=
2
|z a||z b|
pues |z a| < r/2. Como z im, entonces |z a| r > r/2, y |z b|
r > r/2, por lo que
Z
r
|dz|
4
<
`()
4 |z a||z b|
2 r2
Luego entonces, dada > 0, definimos < min{r/2, (r 2 )/2`()}, si
|z a| < entonces |f (b) f (a)| < , es decir, f es continua en .
134
Z
Z
Z
Z
f (z) f (a)
f (z)
1
gdz =
dz =
dz f (a)
dz
z
a
z
a
z
Z
f (z)
dz 2n(, a)f (a),
=
za
Z
1
f (z)
de donde n(, a)f (a) =
dz.
2 z a
135
Demostraci
on. Si F (z) =
nemos:
1
2
dF (z)
dz
=
=
=
f (z)
dz, derivando F con respecto a z teza
Z
f ()
1 d
2 dz
z
Z
1
f ()
d
2 z z
Z
f ()
1
d
2 ( z)2
2.
z2
dz = f (1)n(, 1) = 1 k = k,
z1
+
z2 + 1
(z + )(z )
2 z+
2 z
136
de donde
Z
z2 1
z2 + 1
Z
z2 1
z2 1
+
dz
2 z+
2 z
Z 2
Z 2
z 1
z 1
+
dz
=
2 z+
2 z
z2 1
dz = (2 1)n(, ) = 2 1 = 2
z+
y
1
2
z2 1
dz = (()2 1)n(, ) = 2 1 = 2
z
de donde
Z
3.
z2 1
dz = (4) + (4) = 0
z2 + 1
2
2
sin z
dz, donde (t) = e2t , si 0 t 1.
z4
4.
3!
2
f (z)
dz
z4
(3)
(3)
Como n(,
Z 0) = 1, y f (z) = cos z, entonces f (0) = 1, luego
sin z
2
entonces
dz =
(1) = .
4
z
3!
3
n
Z
z
dz para toda n N, donde (t) = 1+22t , con 0 t 1.
z
n
z
zn
Notese que
, por lo que, si f (z) = z n , como con=
z1
(z 1)n
secuencia de la formula integral de Cauchy para derivadas
137
f (n) (1)n(, 1) =
n!
2
zn
dz.
(z 1)n
z
z1
= 2.
m1
ms
g 0 (z)
f 0 (z)
=
+ ... +
+
,
f (z)
z a1
z as
g(z)
de donde
Z
m1
ms
g 0 (z)
dz
+ ... +
+
z a1
z as
g(z)
Z
Z 0
Z
ms
g
m1
dz + . . . +
dz +
dz
=
z
a
z
a
1
s
f 0 (z)
dz =
f (z)
0
Z en , de donde
Z Como g no se anula en , entonces g /g es holomorfa
0
g /g = 0, y por la definicion del ndice n(, ak ) = 2 dz/(z ak ), de
donde
138
1
2
X
f 0 (z)
dz =
mk n(, ak ).
f (z)
k=0
2z 1
dz = 2(n(, 1 ) + n(, 2 )) = 2(1 + 1) = 4.
z2 + z + 1
Demostraci
on. Como los ceros de una funcion analtica son aislados. Si
m = 1, podemos escoger > 0 tal que < R/2. De donde, f (z) =
no tiene soluciones si 0 < |z a| < 2, y f 0 (z) 6= 0 si 0 < |z a| < 2. (Si
m 2, entonces f 0 (a) = 0.)
Sea (t) = a + e2t , con 0 t 1, y consideremos la curva = f .
Como
/ im(), existe > 0 tal que B(, ) im() = .
De donde, B(, ) esta contenida en alguna P
componente de C\im();
esto es, | | < implica n(, ) = n(, ) = pk=1 n(, zk ()). Y como
n(, z) debe ser cero, o uno, y tenemos exactamente m soluciones de la
ecuacion f (z) = en el interior de B(a, ). Como f 0 (z) 6= 0 para 0 <
|z a| < , cada una de las races debe ser simple.
139
Teorema 26. (El teorema del mapeo abierto). Sea C abierto y conexo,
sea f : C una funci
on holomorfa no constante. Entonces, f (U ) C es
abierto, si U es abierto.
Demostraci
on. Sea U un conjunto abierto, U 6= , y supongamos que
a U , y sea = f (a). Como vimos en la proposicion anterior, podemos
encontrar > 0 y > 0 tales que B(a, ) U y f (B(a, )) B(, ).
Corolario 25. Sea C, abierto. Si f : C es holomorfa e inyectiva,
denotemos G = f (). Entonces f 1 : G es analtica y (f 1 )0 (w) =
[f 0 (z)]1 , donde w = f (z).
Demostraci
on. Como consecuencia del teorema del mapeo abierto, f 1 es
continua y es abierto. Como z = f 1 (f (z)) para cada z , como
consecuencia de la regla de la cadena (f 1 )0 (w) = [f 0 (z)]1 , donde w =
f (z).
Tarea. Del libro de J. E. Marsden, Basic Complex Analisis, realice los
siguientes ejercicios:
2, 2 :
Ejercicio 7, Se satisface el teorema de Cauchy separadamente para las
partes real e imaginaria de una funcion holomorfa f ? Si es as, demuestrelo;
si no, de un contraejemplo.
Z
140
z
(
z 0 )2
0
dz
1
z2
(b)
es el crculo unitario.
que
z2
dz
+z+1
cos
(c)
dz
8
z2
(d)
z2
dz
+ 2z 3
cos(sin )d = considerando
f (z1 ) f (z2 )
1
f 0 (z0 ) =
z1 z 2
2
1
1
f (z)dz
(z z1 )(z z2 ) (z z0 )2
para z1 , z2 en el interior de .
2,5
1. Encuentre el maximo de |ez | sobre |z| 1.
13. Sea f una funcion analtica y sea f 0 (z) 6= 0 sobre una region A. Sea
z0 A y suponga que f (z0 ) 6= 0. Dado > 0, muestre que existe z A y
A tales que |z z0 | < , | z0 | < , y
|f (z)| > |f (z0 )|
141
3, 2
5. Obtenga la seire de Taylor de las siguientes funciones ( De apropiadamente los primeros terminos de la serie de Taylor)
(a)
(sin z)/z, z0 = 1.
(b)
z 2 ez , z0 = 0.
(c)
ez sin z, z0 = 0.
e z , z0 = 0
X
X
bn z n series convergentes para |z| <
an z n , y g(z) =
10. Sea f (z) =
n=0
(b)
n=0
n=0
142
Ap
endice A
Teora B
asica de las Series de
Potencias.
La teora de funciones de una variable compleja nos permite extender los
conceptos fundamentales del calculo al dominio complejo. Para esto, dotamos a los n
umeros complejos de la topologa inducida por el plano real R 2 ,
por medio de la funcion (x+y) = (x, y) y la metrica inducida por el modulo en C, esto es, si z, w C, la distnacia entre z y w sera igual al modulo
de su diferencia. Una vez dotado C con esta topologa, podemos introducir
los conceptos de lmite y continuidad. En esta seccion daremos, a menera
de repaso en la mayora de los casos, las definiciones de los conceptos que
utilizaremos a lo largo de estas notas.
A.1.
Introducci
on.
x2 + y 2
144APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
Sin embargo, esta no es la u
nica forma de dotar a C de una distancia,
por ejemplo, podemos definir
0 si z = w
(z, w) =
1 si z 6= w.
Esta funcion, tambien satisface ser una funcion distancia, cabe notar
que, los conceptos de convergencia de una sucesion, lmites y continuidad
dependen no solo del conjunto dado, sino de la metrica (o distancia) de la
que se dota al conjunto.
Recordamos que:
Definici
on 43. Sea X un conjunto no vaco, y d : X X R una funci
on.
La funci
on d se denomina una funci
on distancia (o metrica) en X, si d
satisface las siguientes condiciones:
1.
2.
d(z, w) = 0 si, y s
olo si z = w
3.
4.
R2 ,
Si X =
la bola B(x, r) se suele denominar el disco abierto con centro
en x y radio r, y tambien se denota como D(x, r).
Ejemplo 21.
A.1. INTRODUCCION.
145
146APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
Proposici
on 40. Si (X, d) es un espacio metrico, entonces:
1.
2.
3.
Demostraci
on. El inciso (1) es consecuencia inmediata de la definicion.
Para demostrar (2), si x 1 2 , entonces x k , para k = 1, 2.
Como k es abierto, existe rk > 0 tal que B(x, rk ) k . Definamos r como
el menor valor entre r1 y r2 , esto es, r := mn{r1 , r2 }.
Entonces B(x, r) B(x, rk ) k , para k = 1, 2. As, B(x, r) 1 2 ,
es decir, 1 2 es abierto.
(3) Finalmente, si x I , existe 0 I tal que x 0 . Como
0 es abierto, existe r0 > 0 tal que B(x, r0 ) k I , por lo que,
uniones arbitrarias de conjuntos abiertos es un conjunto abierto.
Corolario 26. Si 1 , . . . n son abiertos, entonces nk=1 k es abierto.
Por lo que, intersecciones finitas de conjuntos abiertos es un conjunto
abierto.
Definici
on 45. Dado (X, d) un espacio metrico, y X, diremos que
es un subconjunto cerrado en X, si su complemento X\ es abierto.
Cuando no haya lugar a confusiones, simplemente diremos que es cerrado.
Como consecuencia de la definicion de cerrado, las propiedades de complemento de un conjunto, y la proposicion anterior tenemos:
Proposici
on 41. Si (X, d) es un espacio metrico, entonces:
1.
2.
3.
A.1. INTRODUCCION.
147
:=
G
G es abierto
2.
:=
G
G es cerrado
3.
La frontera de , se denotar
a , se define como:
= (X\).
Ejemplo 22.
Sea (R, d) es el espacio metrico de los n
umeros reales dotados con la
metrica usual d(x, y) = |x y|, y consideremos Q R el subconjunto de los
n
umeros racionales, entonces Q = y Q = R.
En general, si consideramos (Rn , d) con la metrica usual
v
u n
uX
d(x, y) = t (xk yk )2 ,
k=1
entonces (Qn ) = , y Q = Rn .
Definici
on 47. Dado un espacio metrico (X, d), y X, diremos que
es un subconjunto denso de X si la cerradura de es un conjunto denso en
X, esto es, = X.
148APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
Como consecuencia del ejemplo anterior Q es denso en R, mientras que
Q Q es denso en R2 , en particular Q Q es denso en C.
Proposici
on 42. Dado un espacio metrico (X, d), si A, B X, entonces:
1.
A es abierto si, y s
olo si A = A .
2.
A es cerrado si, y s
olo si A = A.
3.
A = X\(X A).
4.
A = X\(X A) .
5.
A = A\A .
6.
(A B) = A B.
7.
a A si, y s
olo si, existe r > 0 tal que B(a, r) A.
8.
Definici
on 48. Un espacio metrico (X, d) es conexo si, los u
nicos subconjuntos de X que son tanto abiertos como cerrados son y X . Si X,
entonces es un subconjunto conexo de X si el espacio metrico (, d| ) es
conexo.
Ejemplo 23.
Si consideramos a R con la metrica usual, entonces R es conexo si,
y solo si es un intervalo.
Proposici
on 43. Un espacio metrico (X, d) no es conexo si, existen A
y B subconjuntos propios de X, abiertos, disjuntos, no vacos, tales que
X = A B.
Una caracterizacion de conjuntos conexos de un espacio euclidiano, que
utilizaremos a lo largo del presente curso, es la siguiente:
Proposici
on 44. Si C es abierto y conexo, para cualesquiera a, b ,
existe una trayectoria de a en b completamente contenida en , es decir,
podemos encontrar una funci
on continua : [0, 1] C, tal que (0) =
a, (1) = b, y (t) para toda t [0, 1].
149
Definici
on 49. Sea (X, d) un espacio metrico, K X, diremos que K es
compacto si, toda cubierta abierta de K tiene una subcubierta finita. Esto
es, si G es una familia arbitraria de conjuntos abiertos tal que:
K
G,
G G
entonces existe un n
umero finito de conjuntos G1 , . . . Gn en G tal que
K
n
[
Gk .
k=1
A.2.
Sucesiones y completes.
150APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
sn , entonces s . Y en este caso decimos que s es un punto lmite de
.
Por lo cual, podemos reenunciar nuevamente lo anterior como sigue: Si
(X, d) es un espacio metrico, y X, entonces es cerrado si, y solo si,
contiene a todos sus puntos lmites. En particular = {x X : x es un
punto lmite de }.
Definici
on 51. Diremos que una sucesi
on {sn }nN en un espacio metrico
(X, d) es una sucesi
on {sn } de Cauchy si, para cada > 0 existe un entero
positivo N = N tal que, si n, m N , entonces d(sn , sm ) < .
Diremos que X es un espacio metrico completo si (X, d) tiene la propiedad
de que toda sucesi
on de Cauchy en X tiene punto lmite en X.
Sabemos, de cursos anteriores, que R es un espacio metrico completo.
Esto nos implica que C, es completo (estamos considerando a C dotado de
la metrica d(x, y) = |x y|).
A.3.
Continuidad
f es continua en a.
2.
3.
A.4.
Convergencia uniforme.
El criterio M de Weierstrass.
Definici
on 54. Sea X un conjunto, (Y, ) un espacio metrico, y sup
ongase
que f, f1 , f2 , . . . son funciones de X en Y . Diremos que la sucesi
on {fn }
converge uniformemente a f , y lo denotaremos f = u lm fn si, para cada
> 0 hay un entero positivo N , que s
olo depende de , tal que si n N ,
entonces (f (x), fn (x)) < para toda x X.
En particular sup{(f (x)fn (x)); x X} , si n N .
Ademas, toda sucesion uniformemente convergente es convergente. La
diferencia basica entre los dos conceptos es la siguiente: si {fn } converge en
X, entonces hay una funcion f tal que, para todo > 0 y toda x Xm hay
un entero que depende de y de x, que cumple la condicion (f (x), fn (x)) <
siempre que n N ; si {fn } converge uniformemente en X, es posible
encontrar, para cada > 0 un entero N , que satisface (f (x), fn (x)) <
para todo x X.
Una de las principales propiedades que tenemos es la siguiente:
152APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
Proposici
on 47. Sean (X, d) y (Y, ) dos espacios metricos, y sup
ongase
que fn : X Y es una funci
on continua para cada n N . Si f = ulm fn ,
entonces f es continua.
Consideremos el caso especial en que Y = C.
Definici
on 55. Si un : X C es una funci
on, para cada x X definimos
n
X
un (x).
sn (x) =
k=1
uk (x) si, y s
olo si, s(x) = lm sn (x) para cada
n
k=1
x X.
Diremos que la serie
n=1
u lm sn .
1
1r ,
pserie:
n=1
3.
1.
y diverge si |r| 1.
rn con-
n=1
an+1
existe y es menor que uno,
De la raz
on: Sup
ongase que lm
n
an
X
entonces
an convegre absolutamente. Si el lmite es mayor que uno,
n=1
4.
tonces
n=1
153
2.
n=0 Mn
Entonces
converge.
n=1 un
converge uniformemente en X.
P
Demostraci
on. Dada > 0, como
n=0 Mn converge, entonces es de Cauchy,
luego
m N y m n, entonces
Pm entonces existe N = N N tal que, si n,P
n
M
<
.
Luego
entonces,
si
s
(x)
=
n
k
k=n+1
k=1 uk (x) entonces, para
n, m N tenemos que
m
m
m
X
X
X
k=n+1
k=n+1
k=n+1
por tanto, la serie sn (x) es de Cauchy, y por ende, converge. Para cada
x X existe = x C tal que s(x) = , es decir, tenemos una funcion
s : X C tal que
X
X
X
Mk <
|uk (x)|
uk (x)
|s(x) sn (x)| =
k=n+1
para toda x X, si n N .
k=n+1
k=n+1
P
n
Por ejemplo,
k=n+1 z /n converge uniformemente en B(0, r) si 0
n
r < 1, basta tomar Mn = r /n y aplicar el criterio M de Weierstrass.
A.5.
Series de Potencias.
Definici
Pon 56. Si cn C para cada entero no negativo n, diremos que la
olo si, paraP
cada > 0 existe un entero
serie n=0 cn converge a c si, y s
.
positivo N = N tal que, si m N entonces | m
n=0 c| <P
P
Diremos que la serie
cn converge absolutamente si
|cn | converge.
Definici
on P
57. Una serie de potencias alrededor del punto a es una serie
n
de la forma
n=0 cn (z a)
154APENDICE
A. TEORIA BASICA
DE LAS SERIES DE POTENCIAS.
Uno de los ejemplos mas sencillos, y u
tiles lo constituye la serie geometriP
n
ca n=0 z .
Como
1 + z + . . . z n1 =
1 zn
1z
Ap
endice A
Sumas de Riemann-Stieltjes
En esta seccion definimos la integral de Riemann-Stieltjes, con el fin de
dar una definicion formal de la integral de una funcion a lo largo de una
trayectoria en C, lo cual nos proporciona un argumento analtico que da
lugar a la definicion 7.4(checar).
Definici
on 58. Sean a, b R tales que a < b, y sea : [a, b] C una
funci
on. Diremos que es una funci
on de variaci
on acotada si, existe una
constante M > 0 tal que, para cualesquier partici
on P = {a = a0 < a1 <
a2 ... < an = b} del intervalo [a, b] se tiene que
n
X
k=1
|(ak ) (ak1 )| M,
156
APENDICE
A. SUMAS DE RIEMANN-STIELTJES
2.
Si , , entonces + es de varaci
on acotada y V ( + )
||V () + ||V ().
Demostraci
on. Sea Q = {bj [a, b]; a = b0 , b = bm , y bj < bj+1 sij =
0, ..., n 1}, y supongamos que P Q, entonces
v(; Q) =
=
m
X
k=1
|(bk ) (bk1 )|
{k;bk P}
{k;bk P}
|(bk ) (bk1 )| +
{k;bk P}
/
|(bk ) (bk1 )|
|(bk ) (bk1 )|
= v(; P)
Por otra parte
v( + ; Q) =
m
X
|( + )(bk ) ( + )(bk1 )|
k=1
m
X
k=1
m
X
|||(bk )| +
k=1
|||(bk )|
k=1
m
X
|||(bk1 )| +
k=1
m
X
= ||
m
X
k=1
|||(bk1 )|
|(bk ) (bk1 )| + ||
= ||v(; Q) + ||v(; Q)
m
X
k=1
|(bk ) (bk1 )|
Tomando supremos sobre las particiones Q a ambos lados de las desigualdades, se sigue que V ( + ) ||V () + ||V ().
Proposici
on 51. Sean a, b R tales que a < b, y sea : [a, b] una curva
suave por partes, entonces es de variaci
on acotada, y V () es igual a `(),
la longitud de arco de la curva .
Demostraci
on. Bastara demostrar este resultado para curvas suaves. Si es
suave, y es continua, consideremos una particion P de [a, b], como en la
157
definicion, entonces:
v(; P) =
=
m
X
|(tk )
k=1
m Z b
X
k=1 a
m Z b
X
k=1
Z b
a
(tk1 )|
(t)dt
|(t)dt|
|(t)|
dt
= `()
Como esto es cierto para cualquier particion Q, se sigue que es de variacion
acotada, y que V () `(). A continuacion mostraremos que V () `().
Como es uniformemente continua, dada > 0, podemos elegir 1 > 0
tal que |s t| < 1 implica |(s)
(t)|
Z
m
b
X
|(
k )|(tk tk1 ) <
|(t)|dt
a
k=1
Luego entonces:
Z
b
a
|(t)|dt
m
X
|(
k )|(tk
k=1
m Z t k
X
tk1 )
(
k )dt
= +
k=1 tk1
m Z t k
m Z t k
X
X
(t)dt
[(
k ) (t)]dt
tk1
tk1
k=1
k=1
< si t
[tk1 , tk ].
APENDICE
A. SUMAS DE RIEMANN-STIELTJES
158
Ademas
Z
b
a
|(t)|dt
+ (b a) +
m
X
k=1
|(tk ) (tk1 )|
= [1 + (b a)] + v(; P)
[1 + (b a)] + V ()
k=1
Demostraci
on. Como f es una funcion continua, y [a, b] es compacto, entonces es uniformemente continua; luego entonces, podemos encontrar, inductivamente, n
umeros positivos 1 > 2 > 1 > ...tales que, si |s t| < m ,
entonces |f (s)f (t)| < 1/m. Para cada m 1, considere Pm la coleccion de
todas las particiones P de [a, b] con kP k < m ; en particular P1 P2 ....
Finalmente, denotemos por Fm la cerradura del siguiente conjunto:
(
)
n
X
S(P) :=
f (k )[(tk (tk1 ))]; P Pm , y tk1 k tk .
k=1
159
2
V ()
Si > 0 consideremos m > 2 V (); entonces > m > m
diam(Fm ).. Como I Fm , |Fm I| < , y tomando = m se demues2
tra el teorema. Ahora demostraremos que diam(Fm ) m
V ().
X
k6=p
m
m
k6=p
1
|(tp ) (t )|
m
1
V ()
m
2
mV
().
2
V ().
m
APENDICE
A. SUMAS DE RIEMANN-STIELTJES
160
Definici
on 59. El n
umero I, dado en el teorema anterior, se denomina la
integral de Riemann-Stieljes de f con respecto a sobre el intervalo [a, b], y
se denota por
I=
f d
a
a) Re
g(t)dt =
a
Reg(t)dt.
a
Z b
Z b
|g(t)|dt.
g(t)dt
b)
a
2. Evalues lo siguiente:
Z
2
a)
zez dz, donde es el crculo unitario.
b)
2 + i.
Z
c)
1
, donde es el crculo con radio 2 y centro en 1, recorrido
z1
en sentido contrario a las manecillas del reloj.
Z
Z
f dz = Re(f )dz.
3. Demuestre, o de contraejemplo: Re
4. Evalue
161
5. Evalue
1 + i, descritas a continuacion:
a) es el segmento de lnea recta que une 0 con 1 + i.
b) es 1 + 2 , donde 1 es el segmento de que une 0 con 1 y 2 es el
segmento que une 1 con 1 + i.
En vista de lo anterior, y del teorema fundamental del calculo, puede
ser z 2 la derivada de alguna funcion dif erenciable?
6. Si C es el arco del crculo |z| = 2 que se encuentra en el primer cuadrante, muestre que
Z
dz
z2 + 1 3
C
7. Evalue las siguientes integrales:
Z
Z
Z
Z
dz
dz
dz
|dz|
.
;
;
;
|z|=1 z
|z|=1 |z|
|z|=1 z
|z|=1 z
8. De
Z algunas condiciones sobre una curva cerrada que garanticen que
dz
= 0.
z
es imaginario.
pdz.
C
162
A.1.
APENDICE
A. SUMAS DE RIEMANN-STIELTJES
F
ormulas de Cauchy y sus principales consecuencias.
Bibliografa
[A]
[C]
[Hi]
E. Hille, Analytiv function theory, Vol I, II. Chelsea Pub. Co. New
York, N. Y. 1976.
[H]
[U]
[Z]
163