Agonzalez Variablecompleja

Variable Compleja
Artemio Gonz
alez L
opez
Madrid, septiembre de 2003
Indice general
1. Funciones analticas
1.1. Definicion y propiedades algebraicas de los
n
umeros complejos . . . . . . . . . . . . . . . . .
1.2. Modulo y argumento. F
ormula de de Moivre.
Races. Conjugacion. . . . . . . . . . . . . . . . .
1.2.1. Argumento . . . . . . . . . . . . . . . . .
1.2.2. F
ormula de de Moivre . . . . . . . . . . .
1.2.3. Races n-esimas . . . . . . . . . . . . . . .
1.3. La funci
on exponencial, funciones trigonometricas
mos y potencias . . . . . . . . . . . . . . . . . . .
1.3.1. Funcion exponencial . . . . . . . . . . . .
1.3.2. Funciones trigonometricas e hiperbolicas .
1.3.3. Logaritmos . . . . . . . . . . . . . . . . .
1.3.4. Potencias complejas . . . . . . . . . . . .
1.4. Lmites y continuidad . . . . . . . . . . . . . . .
1.4.1. Lmites . . . . . . . . . . . . . . . . . . .
1.4.2. Continuidad . . . . . . . . . . . . . . . . .
1.5. Derivabilidad . . . . . . . . . . . . . . . . . . . .
1.5.1. Ecuaciones de CauchyRiemann . . . . .
1.5.2. Regla de la cadena . . . . . . . . . . . . .
1.5.3. Teorema de la funcion inversa . . . . . . .
1.5.4. Transformaciones conformes . . . . . . . .
1.5.5. Funciones armonicas . . . . . . . . . . . .
1
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
e hiperbolicas, logarit. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
. . . . . . . . . . . . .
3
4
6
6
2. El teorema de Cauchy
2.1. Integracion sobre arcos: definicion y
propiedades elementales . . . . . . . . . . . . . . . . .
2.2. Teorema de CauchyGoursat. Homotopa.
Antiderivadas . . . . . . . . . . . . . . . . . . . . . . .
2.2.1. Homotopa. Teorema de Cauchy . . . . . . . .
2.3. Indice. F
ormula integral de Cauchy
y sus consecuencias . . . . . . . . . . . . . . . . . . . .
2.3.1. Indice . . . . . . . . . . . . . . . . . . . . . . .
2.3.2. F
ormula integral de Cauchy . . . . . . . . . . .
2.3.3. F
ormula integral de Cauchy para las derivadas
2.3.4. Desigualdades de Cauchy . . . . . . . . . . . .
2.3.5. Teorema de Liouville . . . . . . . . . . . . . . .
2.3.6. Teorema de Morera . . . . . . . . . . . . . . .
7
7
8
9
11
11
12
12
13
13
15
16
17
17
20
. . . . . . . . . .
20
. . . . . . . . . .
. . . . . . . . . .
24
26
.
.
.
.
.
.
.
27
27
27
28
30
30
30
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
ii
2.3.7. Teorema fundamental del Algebra

. . . . . . . . .
2.4. Principio del modulo maximo. Propiedad del valor medio
2.4.1. Propiedad del valor medio . . . . . . . . . . . . . .
2.4.2. Principio del modulo maximo . . . . . . . . . . . .
2.4.3. Principio del modulo maximo global . . . . . . . .
3. Representaci
on de funciones analticas mediante series
3.1. Convergencia de sucesiones y series de
funciones . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1. Sucesiones y series de n
umeros complejos . . . . .
3.1.2. Sucesiones y series de funciones. Convergencia
uniforme . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Convergencia de series de potencias.
Teoremas de Taylor y Laurent. . . . . . . . . . . . . . . .
3.2.1. Series de potencias . . . . . . . . . . . . . . . . . .
3.2.2. Teorema de Taylor . . . . . . . . . . . . . . . . . .
3.2.3. Teorema de Laurent . . . . . . . . . . . . . . . . .
3.2.4. Clasificacion de singularidades aisladas . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
31
31
32
33
34
. . . . . . . .
. . . . . . . .
34
34
. . . . . . . .
35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
39
41
42
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
46
47
47
. . . . . . . .
49
. . . . . . . .
49
. . . . . . . .
51
4.4. Valor principal

de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . .
Z
4.4.1.
f (x) log x dx, f real y par . . . . . . . . . . . . . . . . . . .
53
4. C
alculo de residuos
4.1. Metodos para el c
alculo de residuos . . . . . . . . . . . . .
4.2. Teorema de los residuos . . . . . . . . . . . . . . . . . . .
4.3. CalculoRde integrales definidas . . . . . . . . . . . . . . . .
4.3.1. f (x) dx . . . . . . . . . . . . . . . . . . . . . .
Z 2
4.3.2. Integrales trigonometricas:
R(cos , sen ) d .
Z 0
eix f (x) dx . . . .
4.3.3. Transformadas de Fourier:
Z
4.3.4. Transformadas de Mellin:

xa1 f (x) dx, a
/Z
0
57
Captulo 1
Funciones analticas
1.1.
Definici
on y propiedades algebraicas de los
n
umeros complejos

Definici
on 1.1. C = R2 , +, , con la suma y el producto definidos por
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 )
(x1 , y1 ) (x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).

Justificaci
on:
La suma y la multiplicacion de los pares de la forma (x, 0) C coinciden con la
de los n
umeros reales x R
= (x, 0) x R
= R
= {(x, 0) : x R} C
i = (0, 1) = i2 = i i = (0, 1) (0, 1) = (1, 0) = 1.

(x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + i y
= (x1 + i y1 )(x2 + i y2 ) = (x1 x2 y1 y2 ) + i (x1 y2 + x2 y1 )
es la formula tradicional para multiplicar los n
umeros complejos x1 + i y1 y
x2 + i y2 .
z = x + i y = x = Re z, y = Im z.
Al ser C = R2 (como conjuntos), la igualdad en C se define mediante
z = x + i y = w = u + i v x = u, y = v
En particular,
z = x + i y = 0 x = y = 0.
Proposici
on 1.2. C es un cuerpo: para todo z, w, s C se cumple
z+w =w+z
zw = wz
z + (w + s) = (z + w) + s
z (w s) = (z w) s
z+0=z
z C t.q. z + (z) = 0
1z = z
z 6= 0 = z 1 C t.q. z z 1 = 1
z(w + s) = z w + z s.
1
CAPITULO 1. FUNCIONES ANALITICAS
Demostraci
on. Obviamente, z = x + i y = z = x i y. La existencia de inverso
resp. del producto para todo z = x + i y 6= 0 se deduce del siguiente calculo:
z 1 = u + i v = z z 1 = (x u y v) + i(x v + y u) = 1
(
xu yv = 1
yu + xv = 0
y
x
, v= 2
(z 6= 0 x2 + y 2 6= 0)
u = 2
2
x +y
x + y2
y
x
i 2
.
z 1 = 2
2
x +y
x + y2
Q.E.D.
Notaci
on:
z
= z w1 ,
w
z n = z| z {z z} (n N).
n veces
C no es un cuerpo ordenado: si lo fuera,
i2 = i i = 1 0.
Races cuadradas (metodo algebraico):
Si z = x + i y, queremos hallar todos los w = u + i v C tales que w2 = z:
w2 = z u2 v 2 + 2 i u v = x + i y
(
u2 v 2 = x
2uv = y
p
= x2 + y 2 = (u2 + v 2 )2 = u2 + v 2 = x2 + y 2
p
p
1
1
= u2 = (x + x2 + y 2 ), v 2 = (x + x2 + y 2 )
2 q
2q

2 2
x+
x
+y
x+ x2 +y 2
+ i sig y
, y=
6 0
2
2
= w =
x,
y = 0, x 0
ix,
y = 0, x < 0.
Las races cuadradas de un n

umero complejo z 6= 0 son dos n
umeros complejos distintos
(de signos opuestos). Las races cuadradas de z son reales si y solo si z R+ {0}, e
imaginarias puras si y solo si z R .
Ejemplo 1.3. Las races cuadradas de 3 4 i son
r !
r
8
2
i
= (2 i).
2
2
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata
de la estructura de cuerpo que posee C:
Las ecuaciones cuadr
aticas con coeficientes complejos se pueden resolver utilizando
la formula usual:

p
1
b b2 4ac
a, b, c C.
a z 2 + b z + c = 0 z =
2a
El teorema del binomio de Newton es valido en el campo complejo:

n
(a + b) =
n
X
n
i=0
1.2.
ai bni ,
a, b C, n N .
M
odulo y argumento. F
ormula de de Moivre.
Races. Conjugaci
on.
Geometricamente, los n
umeros complejos se pueden identificar con los puntos del
plano haciendo corresponder al complejo z = x + i y el punto (x, y). De ah que el
conjunto C reciba el nombre de plano complejo. Es tambien corriente cuando se
utiliza esta representaci
on geometrica de C denominar eje real al eje horizontal y
eje imaginario al vertical (fig. 1.1).
y
z
z
Figura 1.1: Plano complejo.
Si z = x + i y C, se definen el m
odulo y el complejo conjugado de z respectivamente como sigue:
p
|z| = x2 + y 2 (distancia al origen)
z = x iy
= Re z = 12 (z + z), Im z =
(reflexion respecto del eje real)
1
2i (z
z)
Propiedades:
i) z = z
ii) z + w = z + w
iii) z w = z w = 1/z = 1/z
iv) |z| = |z|
z 6= 0 z 1 = z
2
|z|2
v) zz = |z| =
|z| = 1 z = z 1

vi) |z w| = |z| |w| (elevar al cuadrado) = z 1 = |z|1
vii) w 6= 0 = z/w = z/w, |z/w| = |z| / |w|

(consecuencia de iii) y vi))
viii) |Re z| |z| ,
|Im z| |z|
Desigualdad triangular:
( |z| Re z, Im z |z|)
|z + w| |z| + |w|
|z + w|2 = (z + w)(z + w) = |z|2 + |w|2 + (zw + zw) = |z|2 + |w|2 + 2 Re(zw)

|z|2 + |w|2 + 2 |zw| = |z|2 + |w|2 + 2 |z| |w| = (|z| + |w|)2 .
Consecuencias:
i) ||z| |w|| |z w|
|z| = |(z w) + w| |z w| + |w| = |z| |w| |z w| ;
cambiando z por w se obtiene |w| |z| |z w|.
1
1
ii) |z| > |w| =

|z w|
|z| |w|
1.2.1.
Argumento
z
Figura 1.2: Definicion de argumento.

Dado 0 6= z C, existe R t.q.
z = |z| (cos + i sen )
(fig. 1.2).
El n
umero esta definido modulo un m
ultiplo entero de 2. Por ejemplo,
z = 1 = {0, 2, 4, . . . } = {2 k : k Z} .
Definici
on 1.4. arg z (argumento de z): cualquier t.q. z = |z| (cos + i sen ).
= arg no es una funci
on.
arg z = cualquiera de los
angulos orientados formados por el vector z con el eje
real positivo.
Ejemplos:
arg i {/2 + 2 k : k Z}
arg(1 i) {5/4 + 2 k : k Z} = {3/4 + 2 k : k Z} .
Para que sea u

nico, basta imponerle la condicion adicional de que pertenezca
a un cierto intervalo semiabierto I de longitud 2 (como [0, 2), (, ], etc.)
Escoger este intervalo I se conoce como tomar una determinaci
on del argumento
= argI : C {0} I
argI (z) = u
nico valor de arg z que pertenece a I
Ejemplo: arg[0,2) (1 i) = 5/4, arg(,] (1 i) = 3/4.
Determinaci
on principal del argumento:
Arg = arg(,]
Ejemplo:
Arg
1
0
i
/2
1 i
3/4
i
/2
1i
/4
Claramente, Arg : C {0} (, ] es discontinua en R {0}. Analogamente,

arg[0,2) es discontinua en R+ {0}. En general, arg[0 ,0 +2) (o arg(0 ,0 +2] ) es
discontinua en la semirrecta cerrada que forma un angulo 0 con el semieje real
positivo.
Forma trigonometrica
o polar de los n
umeros complejos:
z 6= 0 = z = r(cos + i sen ),
z, w 6= 0; z = w
|z| = |w| ,
r = |z| ,
arg z = arg w
Interpretacion geometrica del producto en C:
= arg z.

mod 2 .
z1 z2 = r1 (cos 1 + i sen 1 ) r2 (cos 2 + i sen 2 )

= r1 r2 [(cos 1 cos 2 sen 1 sen 2 ) + i(cos 1 sen 2 + sen 1 cos 2 )]
= r1 r2 [cos(1 + 2 ) + i sen(1 + 2 )]
De este c
alculo se sigue que |z1 z2 | = |z1 | |z2 | y
arg(z1 z2 ) = arg z1 + arg z2
mod 2.
(1.1)
Arg(z1 z2 ) 6= Arg z1 + Arg z2 . Por ej.,

Arg(i) = /2 6= Arg(1) + Arg i = 3/2.
Consecuencias:
(zz 1 = 1 )
2
(zz = |z| 0 )
(w 6= 0 z/w w = z )
arg(z 1 ) = arg z
mod 2
arg(z/w) = arg z arg w
mod 2.
arg(z) = arg z
mod 2
1.2.2.
F
ormula de de Moivre
A partir de (1.1) se demuestra por induccion la formula de de Moivre:

z = r(cos + i sen ) = z n = r n cos(n) + i sen(n) , n N.

z 1 = r 1 cos() + i sen() = la formula vale para todo n Z.
Ejemplo:
(cos + i sen )3 = cos(3) + i sen(3)
= (cos3 3 cos sen2 ) + i(3 cos2 sen sen3 )

=
Races n-
esimas
1.2.3.
cos(3) = cos3 3 cos sen2
sen(3) = 3 cos2 sen sen3 .
Si z = r(cos + i sen ) 6= 0, hallemos todas las soluciones w C de la ecuacion

wn = z (n N):
w 6= 0 = w = (cos + i sen )

wn = n cos(n) + i sen(n) = r(cos + i sen )
n = r = n r r 1/n
n = + 2k, k Z

2k
2k
n
+ i sen
, k = 0, 1, . . . , n 1.
+
+
w = r cos
n
n
n
n
= un n
umero complejo no nulo tiene n races n-esimas distintas.
Ejemplo:

2k
2k
3
+
+
+ i sen
, k = 0, 1, 2
w = i w = cos
6
3
6
3
1
1
w = ( 3 + i), ( 3 + i), i.
2
2
En particular, las n races n-esimas de la unidad (z = 1) son los n
umeros

2k
2k
k = cos
+ i sen
, k = 0, 1, . . . , n 1
n
n
(vertices de un polgono regular de n lados inscrito en la circunferencia unidad).

2
Notese que k = k , siendo = 1 = cos 2
n + i sen n .
Ejemplo: las races sextas de la unidad son
h
cos

3
1
= k (1 + i 3)k , k = 0, 1, . . . , 5
3
2
1
1
1
1
= 1, (1 + i 3), (1 + i 3), 1, (1 + i 3), (1 i 3).
2
2
2
2
+ i sen
ik
Ejercicio. Probar que las n races n-esimas de z 6= 0 estan dadas por
n
z k , k = 0, 1, . . . , n 1,
donde
n
z denota cualquier raz n-esima de z.
1.3.
1.3.1.
La funci
on exponencial, funciones trigonom
etricas e
hiperb
olicas, logaritmos y potencias
Funci
on exponencial
Si t R,
t
e =
cos t =
k
X
t
k=0
k!
(1)k
t2k
(2k)!
(1)k
t2k+1
.
(2k + 1)!
k=0
sen t =
X
k=0
Sea z = x + i y C; la propiedad et1 +t2 = et1 et2 sugiere definir ez = ex eiy . A su vez,
procediendo formalmente se obtiene
eiy =
n=0
in
X
y 2k+1
y n X 2k y 2k
=
+i
i
i2k
n!
(2k)!
(2k + 1)!
k=0
= cos y + i sen y
k=0
(ya que i2k = (i2 )k = (1)k ).
Definici
on 1.5. Para todo z = x + i y C (x, y R), definimos
ez = ex (cos y + i sen y).
Nota: Si z R, la exponencial compleja se reduce a la exponencial real.
Valores particulares:
e0 = 1, ei/2 = i, ei = 1, e3i/2 = i, e2i = 1.
Propiedades: Para todo z, w C se tiene
i) ez+w = ez ew .
ii) ez 6= 0, para todo z C.
iii) |ez | = eRe z ,
arg(ez ) = Im z
mod 2.
iv) ez = 1 z = 2ki, con k Z.

v) ez es una funci
on periodica, cuyos perodos son los n
umeros 2ki con k Z.
Demostraci
on:
i) z = x + i y, w = u + i v =
ez ew = ex (cos y + i sen y)eu (cos v + i sen v)
= ex+u [cos y cos v sen y sen v + i(sen y cos v + cos y sen v)]
= ex+u [cos(y + v) + i sen(y + v)] = ez+w .
ii) e0 = 1 = ez ez = 1 = (ez )1 = ez .
iii) Obvio.
iv) ez = ex (cos y + i sen y) = 1 ex = 1, y = 0 mod 2
x = 0, y = 2k (k Z).
v) ez = ez+w ew = 1 w = 2ki (k Z).
z = |z| ei arg z ;
1.3.2.
ez = ez .
Funciones trigonom
etricas e hiperb
olicas
Si y es real entonces
eiy = cos y + i sen y, eiy = cos y i sen y
= cos y =
Definici
on 1.6. Para todo z C se define
cos z =

1 iy
1 iy
e + eiy , sen y =
e eiy .
2
2i

1 iz
1 iz
e + eiz , sen z =
e eiz .
2
2i
(De nuevo, si z es real cos z y sen z se reducen a las correspondientes funciones reales.)
Propiedades: para todo z, w C se tiene
i) cos(z) = cos(z),
sen(z) = sen z.
ii) cos(z + w) = cos z cos w sen z sen w,

sen(z + w) = sen z cos w + cos z sen w.

iii) cos z = sen 2 z = sen 2 + z .
iv) cos2 z + sen2 z = 1.
v) cos z = cos(z), sen z = sen(z).

vi) sen z = 0 z = k (k Z).
vii) cos z y sen z son funciones periodicas de perodo 2k, con k Z.
Demostraci
on:
i) Trivial.
ii) Por ejemplo

1 iz

1 iz
e + eiz eiw + eiw +
e eiz eiw eiw
4
4
1 iz iw
= (e e + eiz eiw ) = cos(z + w).
2
cos z cos w sen z sen w =
iii) Caso particular de las f

ormulas anteriores
iv) Hacer w = z en la f
ormula para cos(z + w).
v) Consecuencia de e = ew .
w
vi) sen z = 0 eiz eiz = 0 e2iz = 1 2iz = 2ki

(k Z) z = k (k Z).
vii) Por el apartado iii), basta probar la afirmacion para la funcion sen. La igualdad
sen(z + w) = sen z es equivalente a (ei(2z+w) 1)(eiw 1) = 0. Para que esta
igualdad se cumpla para todo z C para un w fijo es necesario y suficiente que
eiw 1 = 0, es decir que iw sea un m
ultiplo entero de 2i.
tan z = sen z/ cos z, sec z = 1/ cos z (z 6= /2 + k, k Z);
cot z = cos z/ sen z = 1/ tan z, csc z = 1/ sen z (z 6= k, k Z).
Funciones hiperb
olicas: para todo z C se define
cosh z =
cosh z = cos(iz),

1 z
e + ez ,
2
senh z =
senh z = i sen(iz)

1 z
e ez .
2
De aqu se deducen las propiedades de las funciones hiperb

olicas. Por ejemplo:
cosh2 z senh2 z = 1.
sen z = sen(x + iy) = sen x cos(iy) + cos x sen(iy)
= sen x cosh y + i cos x senh y.
tanh z = senh z/ cosh z = i tan(iz) (z 6= i/2 + ki, k Z).
1.3.3.
Logaritmos
En R, exp : R R+ (exp(t) = et ) es una aplicacion biyectiva. Su inversa es la

funci
on log : R+ R. Por definicion,
log x = y x = ey
(= x > 0).
En C, exp no es invertible al no ser inyectiva (por ser periodica). De hecho, se

tiene:
ew = z = z 6= 0;
w = u + i v = eu (cos v + i sen v) = z 6= 0
(
eu = |z| u = log |z|
v = arg z mod 2
w = log |z| + i arg z
mod 2i .
10
Si z 6= 0, la ecuacion ew = z tiene infinitas soluciones, que difieren entre s en

m
ultiplos enteros de 2i. Si I es un intervalo semiabierto de longitud 2, podemos
escribir
z 6= 0, ew = z w = log |z| + i argI z + 2ki, k Z.
A cada uno de estos (infinitos) w se les denomina logaritmos de z 6= 0.

Ejemplo:
i
ew = 2i w = log 2
+ 2ki (k Z).
2
Definici
on 1.7. Se define la determinaci
on I del logaritmo mediante
logI z = log |z| + i argI z,
z 6= 0.
Notese que logI : C {0} {s C : Im s I} es una funci

on.
La determinaci
on principal del logaritmo se define por
Log = log(,] .
Ejemplo: Log(2i) = log 2
i
2,
Log(1) = i, Log(1 i) =
1
2
log 2
i
4.
Propiedades:
i) Para todo z 6= 0, elogI z = z.
ii) logI (ew ) = w mod 2i. En particular, logI (ew ) = w Im w I.
iii) logI : C {0} {s C : Im s I} es biyectiva.
iv) z, w 6= 0 = logI (z w) = logI z + logI w mod 2i.
Demostraci
on:
i) z 6= 0 = elogI z = elog|z|+i argI z = elog|z| ei argI z = |z| ei argI z = z.
ii) w = u + i v = logI (ew ) = log(eu ) + i argI (ew ) = u + i v mod 2i, ya que
argI (ew ) = Im w mod 2i. logI (ew ) = w = Im w I porque Im(logI z) I
para todo z 6= 0. Recprocamente, si Im w I entonces logI (ew ) = w porque
ambos miembros son iguales modulo 2i y sus partes imaginarias pertenecen a I.
iii) Hay que probar que para todo w con Im w I existe un u
nico z C {0} tal
que logI z = w. Esto es cierto por los apartados anteriores, siendo z = ew .
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue
de la prop. ii). Otra forma de deducir esta propiedad es observando que
logI (zw) = log |zw| + i argI (zw)
= log(|z| |w|) + i(argI z + argI w)
mod 2i
= log |z| + log |w| + i(argI z + argI w)
mod 2i
= (log |z| + i argI z) + (log |w| + i argI w) mod 2i
= logI z + logI w
mod 2i.
Nota: En general, Log(zw) 6= Log z + Log w. Por ejemplo,

Log(i) =
i
3i
i
6= Log(1) + Log i = i +
=
.
2
2
2
1.3.4.
11
Potencias complejas
Si a, b C y a 6= 0, e, definimos
ab = eb log a
log a = logI a + 2ki, k Z.
donde
Por tanto, en general ab denota un conjunto de n

umeros complejos:
ab = e2kbi eb logI a ,
k Z.
Mas concretamente, se tiene:

i) b Z = ab tiene un valor u
nico ( = |a a {z a}).
b veces
ii) Si b = p/q Q, con p Z y 1 < q N primos entre s, entonces ab = ap/q toma

exactamente q valores (las q races q-esimas de ap ).
iii) En los demas casos (b C Q), ab tiene infinitos valores que difieren entre s en
un factor de la forma e2kbi , con k Z.
Ejemplo:
1
(1 + i)i = ei[Log(1+i)+2ki] = e2k ei( 2 log 2+

=e
5
+2n
4
i
2
log 2
3i
4
(k Z)
(n Z).
Si a 6= 0, cada determinaci
on de log define una funcion az ( = ez logI a ).
Ejercicio: dados a, b C con a 6= 0, estudiar si se cumple la igualdad
ab+c = ab ac .
1.4.
Lmites y continuidad
Algunos conceptos topol

ogicos:
i) Disco abierto de centro a C y radio r > 0 (entorno):
D(a; r) = {z C : |z a| < r} .
ii) Entorno perforado de a C D(a; r) {a} = {z C : 0 < |z a| < r}.
iii) A C es abierto si contiene un entorno de cada uno de sus puntos:
a A, r > 0 t.q.
D(a; r) A.
iv) A C cerrado C A es abierto.

v) A C es compacto A es cerrado y acotado (R > 0 t.q. A D(0; R)).
vi) A C abierto es conexo si para todo par de puntos z, w A hay una curva
continua : [0, 1] A t.q. (0) = z, (1) = w.
vii) Una regi
on
o dominio es un subconjunto abierto conexo y no vaco de C.
1.4.1.
12
Lmites
Notacion:
En lo que sigue, A y B denotan conjuntos abiertos,
f :AC
z = x + i y 7 f (z) = u(x, y) + i v(x, y).

u : A R2 R y v : A R2 R (la parte real e imaginaria de f , resp.) son
funciones escalares reales.
Si f : A C esta definida en A {a} y l C, lm f (z) = l
za
> 0 > 0 t.q. z A y 0 < |z a| < = |f (z) l| < .

Propiedades de los lmites:
i) Si existe (es un n
umero complejo) lmza f (z), dicho lmite es u
nico.
ii) lm f (z) = l
za
lm u(x, y) = Re l y
(x,y)a
lm v(x, y) = Im l.
(x,y)a
iii) lm [f (z) + g(z)] = lm f (z) + lm g(z).

za
za
za
iv) lm [f (z)g(z)] = lm f (z) lm g(z).

za
za
za
1
1
=
.
za g(z)
lm g(z)
v) lm g(z) 6= 0 = lm
za
za
Nota: En iii) y iv), la existencia del MD implica la del MI, pero no nec. viceversa.
Demostraci
on:
i)iii) son propiedades conocidas de los lmites de funciones R2 R2
iv)v) se demuestran como en el caso real (reemplazando el valor absoluto por el modulo).
1.4.2.
Continuidad
f : A C definida en A es continua en a A si lm f (z) = f (a).

za
En particular, f continua en a = f definida en un entorno de a.
f : A C continua en A si y solo si f es continua en todos los puntos de A.
Propiedades:
i) f y g continuas en a = f + g y f g continuas en a.
ii) Si, ademas, g(a) 6= 0, entonces f /g es continua en a.
iii) f : A C continua en a y h : B C continua en f (a) B = h f continua en
a.
Ejemplo: los polinomios y las funciones racionales son continuos en todos los puntos de
su dominio.
1.5.
13
Derivabilidad
f : A C definida en A es derivable (en sentido complejo) en a A si existe
lm
za
f (z) f (a)
f 0 (a).
za
f : A C es analtica (
o holomorfa) en A si es derivable en todos los puntos
de A.
f es analtica en C (conjunto arbitrario) si es analtica en un abierto A C f
es analtica en un entorno de cada punto de C.
En particular, f es analtica en a si es derivable en un entorno de a.
(N
otese que f analtica en a es mas fuerte que f derivable en a.)
f : A C derivable en a A = f continua en a:

f (z) f (a)
f (z) f (a)
(z a) = lm
lm (z a)
lm [f (z) f (a)] = lm
za
za
za
za
za
za
0
= f (a) 0 = 0.
Propiedades algebraicas:
Si f : A C y g : A C son derivables en z A, y a, b C, se tiene:
i) a f + b g es derivable en z, siendo (a f + b g)0 (z) = a f 0 (z) + b g0 (z).
ii) f g es derivable en z, siendo (f g)0 (z) = f 0 (z)g(z) + f (z)g0 (z).
iii) Si g(z) 6= 0, f /g es derivable en z y
(f /g)0 (z) =
g(z)f 0 (z) f (z)g0 (z)

.
g(z)2
Ejemplo: polinomios y funciones racionales.
1.5.1.
Ecuaciones de CauchyRiemann
Sea a = a1 + i a2 C, y sea Ma : C R2 C R2 la aplicacion lineal definida

por Ma
z = a z, z
C. Entonces la matriz de Ma (en la base canonica {1, i} de
a
a
1
2
R2 ) es
.
a2 a1
f : A C definida en el abierto A es diferenciable (en sentido real) en z0 A si
existe una aplicacion lineal Df (z0 ) : R2 C R2 C tal que
lm
zz0
|f (z) f (z0 ) Df (z0 ) (z z0 )|

= 0.
|z z0 |
(Notese que el modulo de z = x + i y es la norma del vector (x, y).) A la aplicacion

Df (z0 ) se le denomina derivada (en sentido real) de f en z0 .
14
Teorema 1.8. Sea f = u+i v : A C definida en el abierto A, y sea z0 = x0 +i y0 A.

Entonces f es derivable en sentido complejo en z0 si y s
olo si se cumple:
i) f es diferenciable en sentido real en (x0 , y0 ).
ii) Se satisfacen las ecuaciones de CauchyRiemann
u
v
(x0 , y0 ) =
(x0 , y0 ),
x
y
u
v
(x0 , y0 ) = (x0 , y0 ).
y
x
Demostraci
on.
=) f es diferenciable (en sentido real) en z0 = (x0 , y0 ) con derivada Df (z0 ) = Mf 0 (z0 ) ,
ya que

f (z) f (z0 ) f 0 (z0 )(z z0 )
|f (z) f (z0 ) f 0 (z0 )(z z0 )|

lm
= lm

zz0
zz0
|z z0 |
z z0

f (z) f (z0 )
f 0 (z0 ) = 0.
= lm
zz0
z z0
u
(x0 , y0 ), y analogamente uy , vx , vy . Igualando la matriz de Df (z0 ) en la
x
base canonica de R2 (matriz jacobiana) con la de Mf 0 (z0 ) se obtiene
Sea ux =
ux uy
vx vy

Re f 0 (z0 ) Im f 0 (z0 )
,
Im f 0 (z0 ) Re f 0 (z0 )
de donde se obtienen las ecs. de CauchyRiemann, junto con las relaciones

f 0 (z0 ) = ux + i vx = vy i uy .
=) Por las ecs. de CauchyRiemann, la matriz jacobiana de f en z0 es

ux vx
= Mc ,
vx ux
siendo c = ux + i vx . De esto se sigue que Df (z0 ) (z z0 ) = c(z z0 ), y por tanto

f (z) f (z0 )
|f (z) f (z0 ) c(z z0 )|

c
= lm
0 = lm
zz0
zz0
|z z0 |
z z0
0
f (z0 ) = c ux + i vx = vy i uy .
Q.E.D.
De la demostracion del teorema se sigue que si f = u + i v es derivable en sentido
complejo en z0 = x0 + i y0 entonces
f
(z0 )
x
1 f
= vy (x0 , y0 ) i uy (x0 , y0 )
(z0 ).
i y
f 0 (z0 ) = ux (x0 , y0 ) + i vx (x0 , y0 )
El teorema anterior puede formularse tambien de la siguiente forma alternativa:
15
Teorema 1.9. Sea f : A C definida en un abierto A, y sea z0 = x0 + i y0 A.

Entonces f es derivable en sentido complejo en z0 si y s
olo si se cumplen las siguientes
condiciones:
i) f es diferenciable en sentido real en (x0 , y0 )
ii) Existe c C tal que Df (x0 , y0 ) = Mc .
Adem
as, si f es derivable en z0 entonces c = f 0 (z0 ).
f : A C analtica en una regi
on A y f 0 = 0 en A = f constante en A.
En efecto, f derivable en sentido complejo en a implica que f es derivable en sentido
real en dicho punto, siendo Df (a) = Mf 0 (a) = 0. El resultado anterior se sigue entonces
del resultado analogo para funciones Rn Rm .
1.5.2.
Regla de la cadena
Si f : A C es derivable en z y g : B C es derivable en f (z) B, entonces g f

es derivable en z, y se tiene

(1.2)
(g f )0 (z) = g0 f (z) f 0 (z).
En efecto, f y g son derivables en sentido real en z y f (z), resp., siendo Df (z) =

Mf 0 (z) y Dg f (z) = Mg0 (f (z)) . Por la regla de la cadena para funciones de Rn en Rm ,
g f es derivable en sentido real en z, y se tiene:

D(g f )(z) = Dg f (z) Df (z) = Mg0 (f (z)) Mf 0 (z) = Mg0 (f (z))f 0 (z) ,
que implica (1.2) por el Teorema 1.9.
Derivabilidad de las funciones exponenciales y trigonometricas:

f (z) = ez = u(x, y) = ex cos y, v(x, y) = ex sen y = u y v derivables (de clase C )
en R2 . Adem
as,
ux = ex cos y = vy , uy = ex sen y = vx .
Por tanto, ez es derivable (en sentido complejo) en C, siendo
(ez )0 = ux + i vx = ex cos y + i ex sen y = ez ,
z C.
De las propiedades de la derivada compleja (linealidad y regla de la cadena) se sigue que

sen y cos son derivables en C, siendo
(sen z)0 =
i eiz + i eiz
= cos z,
2i
1
(cos z)0 = (i eiz i eiz ) = sen z.
2
De estas formulas se deduce la derivabilidad de las restantes funciones trigonometricas

en todos los puntos de sus dominios. Por ejemplo,
(tan z)0 =
cos2 z + sen2 z
= sec2 z,
cos2 z
z 6=
+ k (k Z).
2
1.5.3.
16
Teorema de la funci
on inversa
Teorema 1.10. Sea f : A C analtica en el abierto A (con f 0 continua en A). Si

a A y f 0 (a) 6= 0, existen sendos abiertos U 3 a y V 3 f (a) tales que f 0 no se anula
en U y f : U A V es biyectiva. Adem
as, f 1 : V U es analtica en V , siendo
(f 1 )0 (w) =
,
f 0 f 1 (w)
w V.
Demostraci
on. f es derivable en sentido real en todo z A, y su matriz jacobiana

ux (z) vx (z)
vx (z) ux (z)
tiene determinante u2x (z) + vx2 (z) = |f 0 (z)|2 6= 0. Por el teorema de la funcion inversa
para funciones R2 R2 (notese que la continuidad de f 0 implica la continuidad de
las derivadas parciales de u y v), hay sendos abiertos U 3 a y V 3 f (a) tales que
f : U A V es biyectiva, Df es invertible en U y f 1 : V U es diferenciable en
sentido real en V , con

1
D(f 1 )(w) = Df f 1 (w)
, w V.
Llamando z = f 1 (w) se tiene, por el Teorema 1.9:
D(f 1 )(w) = [Df (z)]1 = Mf1

0 (z) = M1/f 0 (z) .
(Notese que f 0 no se anula en U A, al ser |f 0 (z)|2 = det Df (z).) De nuevo por el
Teorema 1.9, de esto se deduce que f 1 es derivable en sentido complejo en w, con
derivada 1/f 0 (z).
Q.E.D.
Derivabilidad de log:
Log : C {0} {z C : < Im z } es discontinua en R {0} (por la
discontinuidad de Arg).
Sin embargo, Log es derivable en el abierto B = C (R {0}). En efecto, Log
es la inversa global de
exp : A = {z C : < Im z < } B,
y exp satisface las condiciones del teorema de la funcion inversa en todo punto de
A (exp0 = exp no se anula y es continua en A).
Si z A y w = ez B, hay dos abiertos U 3 z y V 3 w tales que exp : U A V
es invertible en U , y
(exp1 )0 (w) =
1
1
1
= z = .
0
exp (z)
e
w
Al ser U A se tiene exp1 = Log, y por tanto

(Log w)0 =
1
,
w
w C (R {0}).
Del mismo modo se prueba la derivabilidad de logI (I = [y0 , y0 +2) o (y0 , y0 +2])
en el abierto C ({w : arg w = y0 mod 2} {0}), siendo log0I (w) = 1/w.
1.5.4.
17
Transformaciones conformes
Una curva en el plano complejo es una aplicacion : [a, b] C. Se dira que

es una curva diferenciable si Re , Im : [a, b] R son derivables en [a, b]. Si =
1 + i 2 es derivable en [a, b], se define su derivada 0 (t) mediante 0 (t) = 10 (t) + i20 (t).
Geometricamente, 0 (t) representa el vector tangente a en el punto (t).
Si f : A C es analtica en el abierto A C y : [a, b] A es una curva
diferenciable, entonces f es una curva diferenciable, y se tiene

(f )0 (t) = f 0 (t) 0 (t) ,
t [a, b] .

En efecto, (f )0 (t) = Df 0 (t) 0 (t) = Mf 0 ((t)) 0 (t) = f 0 (t) 0 (t).
Definici
on 1.11. Sea z0 A, con A abierto y f : A C definida en A. Se dira que f es
conforme en z0 si existen [0, 2) y r > 0 tales que, para toda curva : [1, 1] C
diferenciable en t = 0 con (0) = z0 y 0 (0) 6= 0, la curva = f es diferenciable en 0,
y se cumple
0

(0) = r 0 (0) ,
arg 0 (0) = arg 0 (0) + mod 2.
Si f es conforme en todos los puntos de A, diremos que f es conforme en A.
Las transformaciones conformes preservan los a

ngulos entre pares de curvas (definidos como los
angulos formados por los vectores tangentes a las curvas en el
punto de interseccion).
Proposici
on 1.12. Si f : A C definida en el abierto A es derivable en z0 A, y
f 0 (z0 ) 6= 0, entonces f es conforme en z0 .
Demostraci
on. Utilizando la misma notacion que en la Definicion 1.11 se tiene (dado
que f 0 (z0 ) 6= 0):

0 (0) = f 0 (0) 0 (0) = f 0 (z0 ) 0 (0)

= 0 (0) = f 0 (z0 ) 0 (0) , arg 0 (0) = arg 0 (0) + arg f 0 (z0 ) mod 2.
Se cumple la condicion de la Definicion 1.11, siendo

r = f 0 (z0 ) > 0,
= arg[0,2) f 0 (z0 ).
1.5.5.
Q.E.D.
Funciones arm
onicas
Definici
on 1.13. Una funci
on u : A R2 R es arm
onica en el abierto A si
2
u C (A), y se cumple
2u 2u
2 u
+ 2 = 0 en A.
x2
y
Si f : A C es analtica en el abierto A entonces u = Re f y v = Im f son
armonicas en A. (Se dice que u y v son funciones arm
onicas conjugadas).
18
En efecto, veremos mas adelante que f analtica en A = u, v C (A). De las

ecuaciones de CauchyRiemann se sigue que
uxx =
vy
uy
= vyx = vxy =
= uyy ,
x
y
y analogamente para v. (N
otese que vxy = vyx por ser v de clase C 2 (A).)
Si f = u + i v : A C es analtica en el abierto A y f 0 no se anula en A, las dos
familias de curvas planas u(x, y) = c1 y v(x, y) = c2 son ortogonales.
En efecto, las dos familias de curvas son regulares, ya que de las ecs. de Cauchy
Riemann se sigue que
u = 0 ux = uy = 0 = vx = vy = 0 = f 0 = 0,
y analogamente para v. Los vectores normales a las curvas u(x, y) = c1 y v(x, y) =
c2 en un punto de interseccion (x0 , y0 ) son ortogonales, ya que
u(x0 , y0 ) v(x0 , y0 ) = ux (x0 , y0 )vx (x0 , y0 ) + uy (x0 , y0 )vy (x0 , y0 )
= ux (x0 , y0 )uy (x0 , y0 ) + uy (x0 , y0 )ux (x0 , y0 ) = 0,
por las ecuaciones de CauchyRiemann.

Nota: Otra forma de probar el resultado anterior es observar que si z0 = x0 +
i y0 A y f (z0 ) = c1 + ic2 , la imagen bajo f de la curva {z : u(x, y) = c1 } A
esta contenida en la recta vertical {w : Re w = c1 }. Analogamente, la imagen de la
curva {v(x, y) = c2 } A es un subconjunto de la recta horizontal {w : Im w = c2 }.
Como las rectas Re w = c1 y Im w = c2 se cortan ortogonalmente en c1 + i c2 , y f
es conforme en A (ya que es analtica y su derivada no se anula en dicho conjunto),
lo mismo ocurrira con las curvas u(x, y) = c1 y v(x, y) = c2 .
Si u : A R2 C R es armonica en A, z0 A y U A es un entorno de z0 ,
hay una funci
on f : U C analtica en U tal que Re f = u.
En efecto, si z = x + i y U entonces v = Im f debera cumplir:
Z y
vy = ux = v(x, y) =
ux (x, t) dt + h(x);
y0
Z y
Z y
vx =
uxx (x, t) dt + h0 (x) =
uyy (x, t) dt + h0 (x)
y0
y0
= uy (x, y) + uy (x, y0 ) + h (x) = uy h0 (x) = uy (x, y0 )

Z x
uy (t, y0 ) dt + c
= h(x) =
x0
Z x
Z y
uy (t, y0 ) dt + c.
ux (x, t) dt
= v =
y0
x0
Si v esta dada por la f

ormula anterior f = u + i v es diferenciable (al ser u de clase
C 2 ) y cumple las ecuaciones de CauchyRiemann en U = f es analtica en U , y
Re f = u.
Alternativamente, la forma diferencial = uy dx + ux dy es cerrada en U (al ser
u armonica) = v : U R (de clase C 2 (U )) tal que dv = . Esto implica que
vx = uy , vy = ux , por lo que f = u + i v es analtica en U .
19
En una regi
on, v esta determinada salvo por una constante aditiva. En efecto, si
v1 y v2 son armonicas conjugadas de la misma funcion armonica u en la region
A, las funciones f1 = u + i v1 y f2 = u + i v2 son analticas en A, por lo que
f = f1 f2 = i(v1 v2 ) tambien es analtica en A. Al ser Re f = 0 en A, las
ecuaciones de CauchyRiemann implican que las derivadas parciales de Im f se
anulan en A. Por ser A una region, Im f = v1 v2 ha de ser constante en A.
La existencia de armonica conjugada de una funcion armonica dada no esta asegurada globalmente. Por ejemplo, u : A = R2 {0} R definida por u(x, y) =
1
2
2
onica conjugada en A. Localmente, v = argI z +c,
2 log(x +y ) no admite una arm
escogiendo I de forma que argI sea continuo (y por tanto C ) en el entorno considerado, ya que u = log |z| = u + i v = logI z + c. Si existiera f analtica en A con
Re f = u entonces f y Log (p. ej.) diferiran en una constante (imaginaria pura)
en la region C (R {0}). Pero esto es imposible, ya
que si x < 0 se tendra (al
ser f continua en A y f = Log +c en C R {0} )
2i = lm
y0+

Log(x + i y) Log(x i y)

= lm f (x + i y) f (x i y) = f (x) f (x) = 0 .
y0+
Captulo 2
El teorema de Cauchy
2.1.
Integraci
on sobre arcos: definici
on y
propiedades elementales
Si h1 , h2 : R R son integrables (por ej., continuas) en [a, b] R y h = h1 +i h2 :
R C, definimos
Z
Ejemplo:
eit dt =
h(t) dt =
h1 (t) dt + i
cos t dt + i
b
a
h2 (t) dt C.
sen t dt = 2 i.
0
Un arco continuo (
o curva continua) es una aplicacion : [a, b] C continua
en [a, b] (i.e., Re e Im son continuas en [a, b]).
El arco continuo es C 1 a trozos si existe una subdivision finita a = a0 < a1 <
. . . < an1 < an = b de [a, b] tal que 0 existe y es continua en cada subintervalo
[ai1 , ai ] (1 i n).
En otras palabras, es continua en [a, b] y C 1 en [a, b] {a0 , . . . , an }, y existen
lmta+ 0 (t), lmtb 0 (t) y lmtai 0 (t) para i = 1, . . . , n1, aunque los lmites
por la izquierda y por la derecha en ai no coincidan.
Si : [a, b] C es un arco de clase C 1 a trozos, f : A C C es continua en el
abierto A y ([a, b]) A, definimos
Z
f (z) dz =
n Z
X
i=1
ai
ai1

f (t) 0 (t) dt C.

N
otese que f (t) 0 (t) es continua en cada uno de los subintervalos [ai , ai1 ].
Si f = u + iv y (t) = x(t) + i y(t), entonces (suponiendo por sencillez que es
20
CAPITULO 2. EL TEOREMA DE CAUCHY
21
C 1 en [a, b])
Z
f=
b
b

u x(t), y(t) + i v x(t), y(t) x0 (t) + i y 0 (t) dt.

u x(t), y(t) x0 (t) v x(t), y(t) y 0 (t) dt
b

+i
u x(t), y(t) y 0 (t) + v x(t), y(t) x0 (t)
Z a
Z
= (u dx v dy) + i (v dx + u dy).
Linealidad. Para todo , C se cumple

Z
Z
Z
( f + g) = f + g.
Cadenas. Si : [a, b] C es una curva C 1 a trozos, se define la curva C 1 a trozos

: [a, b] C mediante
()(t) = (a + b t),
t [a, b].
Si ([a, b]) A abierto y f : A C es continua en A se cumple

Z
f=

s=a+bt
f (a + b t) 0 (a + b t) dt =

f (s) 0 (s) ds =
a
b

f (s) 0 (s) ds
f.
Si 1 : [a, b] C y 2 : [b, c] C son curvas C 1 a trozos con 1 (b) = 2 (b), definimos

la curva C 1 a trozos 1 + 2 : [a, c] C mediante
(
1 (t), t [a, b]
(1 + 2 )(t) =
2 (t), t [b, c].
De forma analoga se define la curva C 1 a trozos 1 + + n . Si 1 ([a, b]), 2 ([b, c]) A
abierto, y f : A C es continua en A, se tiene
Z
Z
Z
f=
f+
f.
1 +2
Analogamente,
1 ++n
f=
n Z
X
i=1
f.
Invariancia bajo reparametrizaci

on. Si : [a, b] C es C 1 a trozos, una reparametrizaci
on de es una curva : [
a, b] C de la forma = , siendo : [
a, b]
1
([
a, b]) = [a, b] una aplicacion de clase C en [
a, b] con derivada positiva en [
a, b].
Notese que, al ser 0 > 0 en [
a, b], es una funcion creciente en [
a, b], y por tanto
(
a) = a, (b) = b. Evidentemente, si el arco es C 1 a trozos tambien lo es , y
22
([a, b]) = ([
a, b]) (es decir, y tienen la misma imagen). Observese, por u
ltimo,
que el teorema de la funci
on inversa implica que 1 : [a, b] [
a, b] es de clase C 1 con
derivada positiva en [a, b], y por tanto = 1 es una reparametrizacion de .

i s s , 2
es
una
reparametrizaci
o
n
de
(t)
=
t
+
i
Ejemplo:
(s)
=
e
1 t2
3
3
1 1
t 2 , 2 . En efecto, (s) =
( cos s), siendo en este caso (s) = cos s de clase
C 1 y 0 (s) = sen s > 0 en 3 , 2
3 .
Proposici
on 2.1. Si : [
a, b] C es una reparametrizaci
on de : [a, b] C,
([a, b]) A, y f : A C es continua en el abierto A, se cumple:
Z
Z
f = f.
Demostraci
on. Supongamos por sencillez que es de clase C 1 en [a, b], y sea =
con : [
a, b] [a, b]. Entonces se tiene:
Z
f=
t=(s)

f (s) 0 (s) ds =
b
a

f (t) 0 (t) dt =

f ((s)) 0 (s) 0 (s) ds
f.
Q.E.D.
Integral respecto de la longitud de arco. Si f : A C es continua en al abierto A,

: [a, b] C es C 1 a trozos y ([a, b]) A, se define
Z
f (z) |dz| =
Notese que si f = u + i v entonces

Z
|dz| =
b
a

f ((t) 0 (t) dt.
f (z) |dz| =
u ds + i
v ds. En particular,
ds = l() longitud de .
Propiedades:
R

R
R
i) f (z) + g(z) |dz| = f (z) |dz| + (z) |dz| , , C.
R
P R
ii) 1 ++n f (z) |dz| = ni=1 i f (z) |dz|.
R
R
iii) f (z) |dz| = f (z) |dz|.
Z
Z
f (z) |dz| = f (z) |dz|.
iv) Si es una reparametrizaci
on de ,
R
R

Desigualdad fundamental. f (z) dz |f (z)| |dz|.

En particular, si max f (t) = M entonces
t[a,b]

Z

f (z) dz M l().

23
En efecto, la segundad desigualdad es consecuencia de laRprimera (por las propiedades de

la integral de funciones reales de una variable real). Si f = 0, la primera desigualdad
R
se cumple trivialmente. En caso contrario, llamando = Arg( f ) se tiene:
Z
Z b

Z Z b
h
h

0 i
0 i
i
i
i
f = Re e
Re e f (t) (t) dt
f =
Re e f (t) (t) dt

a
Z
Z b
Z b h

0
0 i

i

f (t) (t) dt = |f (z)| |dz| .
Re e f (t) (t) dt
a
Teorema fundamental del C

alculo. Sea F : A C analtica en el abierto A (con
0
F continua en A). Si : [a, b] C es C 1 a trozos y ([a, b]) A entonces se cumple:
Z

F 0 = F (b) F (a) .
En particular, si es cerrada (i.e., (b) = (a)) se tiene

Z
F 0 = 0.
Demostraci
on.
Z b
Z b
Z

(F )0 (t) dt = F (b) F (a) ,
F 0 (t) 0 (t) dt =
F0 =
por el TFC para funciones R R.
Q.E.D.
Independencia del camino. Si f : A C es continua en una regi

on A, las siguientes
afirmaciones son equivalentes:
R
R
R
i) f es independiente del camino: 1 f = 2 f para todo par de curvas C 1 a trozos
1 y 2 contenidas en A que unen un punto z1 A con otro punto z2 A.
R
ii) f = 0 para toda curva cerrada C 1 a trozos contenida en A.
iii) f admite una antiderivada (
o primitiva) en A: existe F : A C analtica en
A y tal que F 0 (z) = f (z) para todo z A.
Demostraci
on.
i) ii) Se basa en que si 1 y 2 son dos curvas C 1 a trozos contenidas en A que
unen z1 A con z2 A entonces = 1 + (2 ) 1 2 es una curva cerrada, y
Z
Z
Z
Z
f.
f
f=
f=
1 2
iii) =i) Por el teorema fundamental del Calculo (F 0 es continua, ya que F 0 = f ).

i)=iii) Fijemos (arbitrariamente) un punto z0 A. Si z es un punto cualquiera de A,
por ser A una regi
on hay una curva (C 1 a trozos) contenida en A que une z0 con z.
Definimos entonces
Z
F (z) = f.
24
Notese que, por hipotesis, F no depende de la curva A que utilicemos para unir z0
con z.
Probemos finalmente que F es diferenciable en todo punto z A, con F 0 (z) = f (z).
Si > 0, al ser A abierto y f continua en A, existe > 0 tal que |f () f (z)| < si
D(z; ) A. Dado un punto cualquiera w D(z; ) distinto de z, sea L D(z; ) A
el segmento que une z con w. Entonces se tiene:
Z
Z
Z
F (w) F (z) =
f f=
f.
+L
Al ser (w z)f (z) = f (z) L 1 = L f (z) d (ya que 1 = 0 ) se tiene:

F (w) F (z)
|F (w) F (z) (w z)f (z)|

f (z) =

wz
|w z|
R

R

R
f () d f (z) d
[f () f (z)] d
L
= L
= L
|w z|
|w z|
l(L)
= .
|w z|
Q.E.D.
2.2.
Teorema de CauchyGoursat. Homotopa.

Antiderivadas
Una curva cerrada : [a, b] C es simple si a s < t b y (s) = (t) = s = a
y t = b.
Teorema de Cauchy (versi

on original). Si es una curva cerrada simple C 1 a
trozos y fZ : C C es analtica con derivada continua en y en el interior de ,
entonces
f = 0.
Demostraci
on. Por el teorema de Stokes (orientando la curva en sentido antihorario, de
modo que el interior D de quede a la izquierda de ), si f = u + i v se tiene
Z
Z
Z
f dz = (u dx v dy) + i (u dy + v dx)
Z
Z
= (uy + vx ) dx dy + i (ux vy ) dx dy = 0,
D
en virtud de las ecuaciones de CauchyRiemann.
Q.E.D.
Este resultado es insuficiente, ya que no hace falta suponer que f 0 sea continua (se
deduce del resto de hipotesis). Ademas, el resultado es valido para curvas mucho
mas generales.
Teorema de CauchyGoursat para un rect
angulo. Sea R un rect
angulo cerrado
con los lados paralelos a los ejes, y sea R la frontera de R. Si f : C C es analtica
en R se cumple:
Z
f = 0.
25
Demostraci
on. Orientemos R en sentido antihorario (obviamente, el resultado es independiente de la orientaci
on de R). Si dividimos R en cuatro subrectangulos congruentes
(i)
R (i = 1, . . . , 4) (tambien orientados en sentido antihorario) entonces
Z
f=
R
4 Z
X
i=1
f.
R(i)
Por tanto, existe k {1, . . . , 4} tal que

Z

Z

1

.

f
f

4

R
R(k)
Llamemos R1 = R(k) . Repitiendo indefinidamente el proceso anterior, obtenemos una

sucesion de rectangulos cerrados encajados R0 R R1 R2 Rn Rn+1
. . . tales que

Z

Z
Z
Z

1

1

f =
f n
f
f , n N.

4 Rn1
4
Rn
Rn
R
Ademas, si Pi y Di denotan respectivamente el permetro y la diagonal del i-esimo

rectangulo y P P0 , D D0 , se tiene:
Pi =
P
,
2i
Di =
D
,
2i
i N.
Por el teorema de encaje de Cantor, nN Rn = {a}, con a R. Ademas,

z Rn = |z a| Dn = 2n D.
Si > 0, tomemos > 0 suficientemente peque
no de modo que f sea analtica en D(a; )
y ademas se verifique

f (z) f (a) (z a)f 0 (a) < |z a| , z D(a; ), z 6= a.
Escojamos ahora n suficientemente grande para que Dn = 2n D < , de modo que

Rn D(a; ). Notese que, por el teorema fundamental del Calculo,
Z
Z
z dz = 0.
dz =
Rn
Rn
De esto se sigue que

Z

Z
Z

0
n
n

f (z) f (a) f (a)(z a) dz
f = 4
f 4

Rn
Rn
R
Z
n
4
|z a| |dz| 4n 2n D Pn = 4n 2n D 2n P = P D.
Rn
Como > 0 es arbitrario, el teorema esta demostrado.
Q.E.D.
Teorema de CauchyGoursat generalizado. Sea a un punto interior a R, y supongamos que f : C C es analtica en R {a} y lm [(z a)f (z)] = 0. Entonces
za
Z
f = 0.
R
26
Demostraci
on. Sea Q R un cuadrado con lados paralelos a los ejes coordenados de
centro a y lado l > 0 suficientemente peque
no de forma que que |(z a)f (z)| < si
z Q {a}. Subdividiendo el rectangulo R adecuadamente obtenemos entonces
Z
Z

Z

2
|dz|

4l = 8 ,
f =
f

l
R
Q
Q |z a|
lo que demuestra nuestra afirmaci

on.
2.2.1.
Q.E.D.
Homotopa. Teorema de Cauchy
Sea A C una region, y sean 1 y 2 dos curvas continuas contenidas en A

con los mismos extremos z1 , z2 A (z1 6= z2 ), o dos curvas cerradas continuas
contenidas en A. Diremos que 1 y 2 son hom
otopas en A si 1 se puede deformar
continuamente hasta transformarse en 2 sin salirse de A.
En el primer caso, los extremos de las curvas deformadas han de mantenerse iguales a z1
y z2 , y en el segundo todas las curvas deformadas han de ser cerradas.
Un punto z0 A es una curva cerrada constante: (t) = z0 , t [a, b]. Notese que
R
z0 f = 0 para toda f .
Una regi
on A C es simplemente conexa si toda curva cerrada continua
contenida en A es homotopa a un punto en A.
Ejemplo: C es simplemente conexo. Un disco abierto es una region simplemente conexa.

Un disco abierto sin uno de sus puntos no lo es.
Teorema de la deformaci
on. Sean 1 y 2 dos curvas C 1 a trozos hom
otopas en una
regi
on A, y sea f : A C analtica en A. Entonces se verifica
Z
Z
f=
f.
1
Teorema de Cauchy. Sea una curva cerrada C 1 a trozos hom

otopa a un punto en
una regi
on A. Si f : A C es analtica en A se cumple
Z
f = 0.
(2.1)
Corolario 2.2. Si A C es una regi

on simplemente conexa y f : A C es analtica
en A entonces
Z
f = 0,
para toda curva cerrada contenida en A.
Corolario 2.3. Si f : A C es analtica en una regi

on simplemente conexa A entonces
f admite una antiderivada en A.
Necesitaremos tambien la siguiente generalizacion del teorema de Cauchy, que se prueba
utilizando el teorema de CauchyGoursat generalizado:
Teorema de Cauchy generalizado. Sea : [a, b] C una curva cerrada hom
otopa
a un punto en una regi
on A, y Zsea z0 A ([a, b]). Si f es analtica en A {z0 } y
lm [(z z0 )f (z)] = 0 entonces
zz0
f = 0.
27
Indice. F
y sus consecuencias
2.3.
2.3.1.
Indice
Si es una curva cerrada (C 1 a trozos) y a

/ , definimos el ndice de a respecto
de mediante
Z
dz
1
.
n(, a) =
2i z a
Si es una circunferencia de centro a y radio r > 0 recorrida n veces en sentido
antihorario ((t) = a + r eit , con t [0, 2n]) entonces
Z 2n
1
ireit
dt = n.
n(, a) =
2i 0
reit
An
alogamente, si es la circunferencia de centro a y radio r > 0 recorrida n veces
en sentido horario,
n(, a) = n.
Esto sugiere que n(, a) es el n
umero de vueltas que da la curva alrededor de a.
Ejemplo: Si z0 es un punto exterior a una circunferencia (o a cualquier curva cerrada
simple) , entonces (z z0 )1 es analtica en A = C {z0 } y es homotopa a un punto
en A = n(, z0 ) = 0.
Proposici
on 2.4. n(, z0 ) es un entero.
Demostraci
on. Supongamos, por sencillez, que es C 1 en [a, b]. Si : [a, b] C, sea
Z t
0 (s)
ds;
h(t) =
a (s) z0
entonces n(, z0 ) = h(b)/(2i). Por otra parte, h es derivable en [a, b] (el integrando es
continuo, ya que el denominador no se anula), y

0 (t)
d h(t)
=
e
[(t) z0 ] = 0, t [a, b].
(t) z0
dt

(t) z0 es constante en [a, b], de donde se deduce que
h0 (t) =
Por tanto eh(t)
(a) z0 = eh(b) ((b) z0 ) = eh(b) ((a) z0 ) = eh(b) = 1 = h(b) = 2ni, n Z.

Q.E.D.
2.3.2.
F
Sea f : A C analtica en una regi

on A, sea una curva (C 1 a trozos) hom
otopa
a un punto en A, y sea a A un punto que no este sobre . Entonces se verifica
Z
1
f (z)
n(, a) f (a) =
dz.
2i z a
28
Demostraci
on. La funci
on
f (z) f (a) , z 6= a
g(z) =
za
f 0 (a),
z=a
es analtica en A {a} y lm [(z a)g(z)] = lm [f (z) f (a)] = 0. Por el teorema de

za
za
Cauchy generalizado,
Z
Z
Z
Z
f (z) f (a)
f (z)
dz
0= g=
dz =
dz f (a)
z
a
z
a
z
a
Z
f (z)
=
dz f (a) 2in(, a).
za
Q.E.D.
Si z A es cualquier punto de A que no este sobre y n(, z) = 1, podemos reescribir
la formula anterior como
Z
f (w)
1
dw.
f (z) =
2i w z
Derivando esta formula formalmente respecto de z bajo el signo integral obtenemos
Z
f (w)
k!
(k)
f (z) =
dw, k N
(2.2)
2i (w z)k+1
En particular f es infinitas veces diferenciable en z. Ademas, esto se cumple de hecho

para cualquier punto z A (ya que dado cualquier z A siempre podemos encontrar
una curva que este contenida en A, no pase por z, sea homotopa a un punto en A y
cumpla n(, z) = 1 (basta tomar una circunferencia de radio suficientemente peque
no).
2.3.3.
F
ormula integral de Cauchy para las derivadas
Sea f : A C una funci

on analtica en una regi
on A. Entonces f es infinitas veces
derivable en cualquier punto de A. Adem
as, si : [a, b] C es una curva (C 1 a trozos)
hom
otopa a un punto en A y z0 A ([a, b]) se verifica
Z
f (w)
k!
(k)
dw, k N.
(2.3)
n(, z0 ) f (z0 ) =
2i (w z0 )k+1
Demostraci
on. Consideremos la integral de tipo Cauchy
Z
g(w)
dw,
G(z) =
wz
donde g es una funci
on continua sobre y z
/ ([a, b]). Se demuestra entonces que G
es infinitas veces derivable en todo punto z A ([a, b]), siendo
Z
g(w)
(k)
G (z) = k!
dw.
k+1
(w z)
La demostracion es por inducci
on, aunque nosotros solo probaremos en detalle el caso
k = 1. Para ello, sea z0 A ([a, b]),
29
Figura 2.1: integral de tipo Cauchy
2 = mn |(t) z0 | > 0,
t[a,b]

M = max g (t) .
t[a,b]
(Notese que > 0 y M < por la continuidad de y g en [a, b].) Si z D(z0 ; )

con z 6= z0 se tiene

Z
1
1
1
G(z) G(z0 )
g(w) dw.
=
z z0
w z0
z z0 w z
Pero

1
1
1
1
=
z z0 w z w z0
(w z)(w z0 )

w z0
1
z z0
1
=
1+
.
=
(w z0 )2 w z
(w z0 )2
wz
Por tanto

Z

Z
G(z) G(z0 )

g(w)
g(w)

dw = |z z0 |
dw

2
2
z z0
(w z0 )
(w z0 ) (w z)
M l()
0.
|z z0 | 2
4 zz0
Como n(, z) es una integral de tipo Cauchy (g = 1/2i), es continua en cualquier

entorno D de z0 que no corte a (por ejemplo, en D(z0 ; )), y como es un n
umero
entero ha de ser constante en dicho entorno. Si
Z
1
f (w)
F (z) =
dw
2i w z
y z D se tiene
F (z) = n(, z)f (z) = n(, z0 )f (z)
y por tanto (ya que F tambien es de tipo Cauchy)

n(, z)f (k) (z) = n(, z0 )f (k) (z) = F (k) (z)
Z
f (w)
k!
dw.
=
2i (w z)k+1
Q.E.D.
30
Nota: A partir del teorema anterior se prueba facilmente que si f es analtica en un

conjunto cualquiera C entonces f es infinitas veces derivable en todo punto de C.
2.3.4.
Desigualdades de Cauchy
Sea f analtica en una regi

on A, sea a A, y supongamos que D(a; R) {z C : |z a| R}
A. Si M = max |f (z)| entonces
|za|=R

k!
k
f
(a)

k M,
R
k = 0, 1, 2, . . . .
Demostraci
on. Si es el crculo de centro a y radio R orientado positivamente entonces
es homotopico a un punto en A (ya que lo es en el disco cerrado o, con mas rigor,
en un disco abierto ligeramente mas grande contenido en A) y n(, a) = 1. La formula
integral de Cauchy para la k-esima derivada proporciona entonces
Z

Z

f (z)
|f (z)|
k!
k!
(k)

|dz|
dz
f (a) =

k+1
2 (z a)
2 |z a|k+1
k! M
k!
2R = k M.
2 Rk+1
R
Q.E.D.
2.3.5.
Teorema de Liouville
Si f : C C es entera (es decir, analtica en todo C) y |f | est

a acotada en C,
entonces f es constante.
Demostraci
on. La hipotesis implica que existe M > 0 tal que |f (z)| < M para todo
z C. Si z C, de la desigualdad de Cauchy para la primera derivada se deduce que
0 M
f (z) <
,
R
R > 0
(ya que, al ser A = C, se puede aplicar la formula de Cauchy para las derivadas para
cualquier R > 0). De esto se sigue obviamente que |f 0 (z)| = 0 para todo z C. Al ser
C conexo, f ha de ser constante en C.
Q.E.D.
2.3.6.
Teorema de Morera
R
Si f : C C es continua en una regi
on A y f = 0 para toda curva cerrada (C 1
a trozos) contenida en A, entonces f es analtica en A.
Demostraci
on. El teorema acerca de la independencia del camino implica que existe
F : C C analtica en A tal que f = F 0 en A. Como F es analtica en A, es infinitamente
derivable en A, y por tanto f 0 = F 00 existe en todo punto de A.
Q.E.D.
2.3.7.
31
Teorema fundamental del Algebra
Un polinomio de grado n 1 tiene al menos una raz.

P
Demostraci
on. Sea p(z) = ni=0 ai z i , con an 6= 0 y n 1. Si p no tuviera ninguna raz,
la funcion f = 1/p sera entera. Probaremos que esto es imposible demostrando que en
tal caso f sera tambien acotada en C y no constante, en contradiccion con el teorema
de Liouville.
Para probar que f esta acotada, notese que si z 6= 0

|an1 |
|a0 |
n
|p(z)| |z| |an |
n .
|z|
|z|
Como |ai | / |z|ni 0 (i = 1, . . . , n 1), existe K > 1 tal que
|z|
|z| > K =
|ai |
<
ni
|z|
|an |
,
2n
i = 1, . . . , n.
Por tanto
|an |
|an |
|z|n >
> 0.
2
2
Por otra parte, al ser el disco cerrado de centro 0 y radio K compacto, existe M > 0 tal
que |p(z)| > M > 0 si |z| K (notese que M > 0, al ser, por hipotesis, p(z) 6= 0 para
todo z C). Por tanto, hemos probado que

1
1
2
|f (z)| =
,
z C.
< max
,
|p(z)|
|an | M
|z| > K = |p(z)| >
Esto contradice el teorema de Liouville, al ser f entera y no constante (p no es constante,

ya que an 6= 0 y n 1).
Q.E.D.
2.4.
2.4.1.
Principio del m
odulo m
aximo. Propiedad del valor
medio
Propiedad del valor medio
Si f : C C es analtica en el disco cerrado D(a; r) se verifica

1
f (a) =
2
2
0

f a + r ei d.
Demostraci
on. Antes de probar este resultado, notese que la formula anterior expresa
que el valor de f en a es la media de los valores de f en el crculo de centro a y radio r.
La demostracion es una consecuencia inmediata de la formula integral de Cauchy.
En efecto, por hipotesis f es analtica en un abierto A D(a; r), que puede tomarse
como una region (de hecho, como un disco abierto de radio ligeramente mayor que r:
cf. MarsdenHoffman, prob. 1.4.27). La circunferencia de centro a y radio r (orientada
positivamente) es homotopa a un punto en A, ya que lo es obviamente en el disco cerrado
32
(con mas rigor, en un disco abierto ligeramente mas grande contenido en A). Aplicando
la formula integral de Cauchy se obtiene:
Z
Z 2
1
f (a + r ei )
f (z)
z=a+rei 1
f (a) =
dz
=
irei d
2i z a
2i 0
r ei
Z 2

1
f a + r ei d.
=
2 0
Q.E.D.
2.4.2.
Principio del m
odulo m
aximo
Sea f : C C analtica en un abierto A, y supongamos que |f | tiene un m

aximo
relativo en a A. Entonces f es constante en un entorno de a.
Demostraci
on. Por hip
otesis, existe R > 0 tal que
|f (z)| |f (a)| ,
z D(a; R) D A.
Vamos a probar, en primer lugar, que |f | es constante en D. Para ello, supongamos que
existiera z0 = a + rei D tal que |f (z0 )| < |f (a)|. Por la continuidad de f en D A,
existen > 0 y 0 < tales que

+ .
f (a + rei ) < |f (a)| ,
En efecto, al ser |f (a)| |f (z0 )| > 0 existe > 0 tal que |f (z0 )| < |f (a)| 2, y por continuidad

de g() = f (a + rei ) en = existe 0 < tal que f (a + rei ) f (a + rei ) < si

+ . Para estos valores de se cumple f (a + rei ) f (a + rei ) + <
|f (a)| 2 + = |f (a)| .
Aplicando la propiedad del valor medio obtenemos:

Z

1 +
i

|f (a)| =
f
(a
+
re
)
d

2
Z
Z
Z

1
1 +
1 +
i
i
i

f
(a
+
re
)
d
f
(a
+
re
)
d
f
(a
+
re
)
d
+
+
2
2

2
+

1
|f (a)| ( ) + (|f (a)| )(2) + |f (a)| ( )
2

< |f (a)| ,
= |f (a)|
lo cual es absurdo. Esto demuestra que |f | es constante en D, lo cual implica (Problema

19) que f es tambien constante en D.
Q.E.D.
Corolario 2.5. Si f : A C es analtica en una region A y |f | alcanza un m
aximo
absoluto en A, entonces f es constante en A.
Demostraci
on. Supongamos que |f | alcanza un maximo absoluto en z0 A, y sea B =
{z A : f (z) = f (z0 )}. N
otese que, al ser f continua en A, B es cerrado respecto de A.
Si z B, como |f (z)| = |f (z0 )| = maxzA |f (z)|, el principio del modulo maximo local
implica que f es constante en un entorno U de z. Luego B es tambien abierto, ya que
contiene un entorno de cualquiera de sus puntos. Como B es simultaneamente abierto y
cerrado respecto de A, es no vaco (z0 B) y A es conexo, se tiene que B = A, es decir
f (z) = f (z0 ) para todo z A.
Q.E.D.
2.4.3.
33
Principio del m
odulo m
aximo global
Sea f : C C analtica en una regi

on acotada A y continua en la frontera A de
A. Si M = max |f (z)|, entonces se cumple:
zA
i) |f (z)| M para todo z A

ii) Si |f (a)| = M para alg
un a A entonces f es constante en A.
Demostraci
on. En primer lugar M R existe, al ser A cerrado y acotado (por ser A
acotado), y |f | continua en A. En segundo lugar, la segunda afirmacion es consecuencia
de la primera y del corolario del teorema del modulo maximo local. Para probar la
primera afirmacion, notese que la funcion |f | tambien es continua en el compacto A =
A A, de forma que alcanza un maximo en dicho conjunto. Si dicho maximo se alcanza
en A, entonces la primera afirmacion se cumple por definicion de maximo. Si, por el
contrario, el maximo de |f | en A se alcanza en un punto z0 A, el corolario del teorema
del modulo maximo local implica que f (z) = f (z0 ) para todo z A. Por continuidad,
lo cual implica trivialmente la primera afirmacion (f es
f (z) = f (z0 ) para todo z A,
constante en A).
Q.E.D.
Captulo 3
Representaci
on de funciones
analticas mediante series
3.1.
Convergencia de sucesiones y series de

funciones
3.1.1.
Sucesiones y series de n
umeros complejos
Una sucesi
on de n
umeros complejos {zn }
lm zn = z)
n=1 converge a z C ( n
si
> 0, N N t.q. n N = |zn z| < .
lm zn , si existe, es u
nico.
lm zn = z x + i y lm Re(zn ) = x y lm Im(zn ) = y.
Criterio de Cauchy:
lm zn > 0, N N
n
t.q. n, m N = |zn zm | < .
Demostraci
on.
=) |zn zm | |zn z| + |zm z|
=) zn = xn + i yn = |xn xm | |zn zm | , |yn ym | |zn zm | =
{xn }
n=1 y {yn }n=1 convergentes (sucesiones reales de Cacuhy) = {zn }n=1 convergente.
Q.E.D.
zk converge a s C
zk = s
k=1
k=1

Pn
parciales
k=1 zk n=1 converge a s, es decir
La serie
X
k=1
X
k=1
zk = s lm
zk convergente = lm zn = lm
n
34
n
X
k=1
n
X
si la sucesi
on de sumas
zk = s.
k=1
zk
n1
X
k=1
zk
=0
CAPITULO 3. REPR. DE FUNC. ANALITICAS MED. SERIES
Se dice que
zk es absolutamente convergente si
k=1
Proposici
on 3.1. Si
X
k=1
35
|zk | es convergente.
zk es absolutamente convergente entonces es convergente.
k=1
Demostraci
on. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene

n

m
n
m
m
m

X

X
X
X
X
X

|zk | .
|zk |
|zk | =
zk
zk =
zk

k=1
k=1
k=n+1
k=n+1
k=1
k=1
Q.E.D.
3.1.2.
Sucesiones y series de funciones. Convergencia

uniforme
Una sucesi
on de funciones fn : A C definidas en un conjunto A C (n N)
converge puntualmente a una funcion f en A si para todo z A existe lm fn (z) =
n
P
f (z). An
a
logamente,
la
serie
de
funciones
g
converge
puntualmente
a g en A
k
k=1
P
si existe
g
(z)
=
g(z)
para
todo
z
A.
k=1 k
Definici
on 3.2. La sucesi
on de funciones {fn }
n=1 definidas en A converge uniformemente a f en A si
> 0, N N t.q. n N = |fn (z) f (z)| < , para todo z A.

P
An
a
logamente,
on de funciones
k=1 gk converge uniformemente a g en A si la sucesi

Pn
k=1 gk n=1 converge uniformemente a g en A, es decir si

n

X

gk (z) g(z) < , para todo z A.
> 0, N N t.q. n N =

k=1
Obviamente, si una sucesi

on
o serie de funciones fn : A C C converge uniformemente a f en A entonces converge puntualmente en A a la misma funcion. Sin embargo,
la convergencia puntual de una sucesi
on o
serie de funciones no implica, en general, su
convergencia uniforme.
Criterio de Cauchy: {fn }
olo si
n=1 converge uniformemente en A si y s
> 0, N N t.q.
n, m N = |fn (z) fm (z)| < , para todo z A.
Analogamente para series de funciones.

Demostraci
on. En primer lugar, es claro que la convergencia uniforme de fn a f en A
implica el criterio de Cauchy. Para demostrar el recproco notese que, por el criterio de
Cauchy para sucesiones numericas, la sucesion {fn }
n=1 converge puntualmente a una
funcion f en A. Haciendo tender m a infinito en la condicion de Cauchy uniforme se
prueba que si n N entonces |fn (z) f (z)| para todo z A.
Q.E.D.
36
Criterio M de Weierstrass. Sea gk : A C C (k N) una sucesi

on de funciones,
yPsupongamos que |gk (z)| Mk paraPtodo z A y para todo k N. Si la serie numerica
k=1 Mk es convergente, entonces

k=1 gk converge absoluta y uniformemente en A.
Demostraci
on. Es consecuencia del criterio de Cauchy para la convergencia uniforme,
ya que si m > n
m

m
m
X

X
X

Mk .
|gk (z)|
gk (z)

k=n+1
k=n+1
k=n+1
Q.E.D.
Si {fn }
n=1 converge uniformemente a f en A y fn : A C es continua en A para
todo n N, entonces
f es continua en A. Analogamente, si gn es continua en A para
P
todo n N y
g
k=1 k converge uniformemente a g en A entonces g es continua en A.
Lema 3.3. Sea fn continua en A para todo n N. Si {fn }
n=1 converge uniformemente
a f en A y es una curva C 1 a trozos contenida en A entonces
Z
Z
Z
lm fn .
fn = f
lm
n
En particular, si gk es continua en A para todo k N y

mente en A entonces
!
Z X
Z
X
gk =
gk .
k=1 gk
converge uniforme-
k=1
k=1
Demostraci
on. En primer lugar, notese que f es continua, al ser uniforme la convergencia
de fn a f . Dado > 0, existe N N tal que |fn (z) f (z)| < para todo z A si
n N . Entonces se tiene:
Z
Z
Z Z

fn f = (fn f ) |fn (z) f (z)| |dz| l() ,
n N .

Q.E.D.
Teorema de la convergencia analtica. Sea {fn }

on de funciones
n=1 una sucesi
analticas en un abierto A tales que fn f uniformemente en cada disco cerrado
contenido en A. Entonces f es analtica en A, y fn0 f 0 uniformemente en cada disco
cerrado contenido en A.
Demostraci
on. En primer lugar, por ser uniforme la convergencia de fn a f en discos
cerrados contenidos en A, f es continua en cada disco cerrado contenido en A, y por
tanto es continua en A. Sea D(a; r) A. Si es una curva cerrada C 1 a trozos contenida
en D(a; r) entonces f es continua en D(a; r) y
Z
Z
fn = 0,
f = lm
por el Lema 3.3 y el teorema de Cauchy (fn es analtica y es homotopa a un punto en

D(a; r) A). Por el teorema de Morera, f es analtica en D(a; r), y por tanto tambien
en A.
37
Para probar que fn0 f 0 uniformemente en D(a; r), notese que existe R > r tal
que D(a; R) A. Dado > 0, existe N N tal que |fn (w) f (w)| < para todo
w D(a; R) y n N . Si z D(a; r) y es la circunferencia de centro a y radio R
(orientada positivamente) se tiene entonces, por la formula integral de Cauchy para la
primera derivada:
Z

0

R

f (z) f 0 (z) = 1 fn (w) f (w) dw 1
2R =
.
n

2
2
2 (w z)
2 (R r)
(R r)2
Q.E.D.
P
Corolario 3.4. Sea
ticas en un abierto A unifork=1 gk una serie de funciones anal
mementePconvergente a g en cada disco cerrado contenido en A. Entonces g es analtica
0
0
en A, y
k=1 gk converge uniformemente a g en cada disco cerrado contenido en A.
En particular, notese que
X
dgk
d X
gk =
dz
dz
k=1
en A ;
k=1
en otras palabras, la serie se puede derivar termino a termino en A.
3.2.
3.2.1.
Convergencia de series de potencias.

Teoremas de Taylor y Laurent.
Series de potencias
Una serie de potencias centrada en z0 C es una serie del tipo
X
k=0
ak (z z0 )k ,
ak C (k = 0, 1, . . . ).
(3.1)
Teorema de Abel. Para toda serie de potencias (3.1) hay un R tal que 0 R ,
llamado el radio de convergencia de la serie, que cumple:
i) La serie converge absolutamente para |z z0 | < R. Adem
as, la convergencia es
uniforme en todo disco cerrado D(z0 ; r) de radio r < R.
ii) La serie diverge si |z z0 | > R.
Si R > 0, la suma de la serie es una funci
on analtica en el disco de convergencia
D(z0 ; R), cuya derivada se obtiene derivando termino a termino la serie dada.
Demostraci
on. Claramente, de i) y ii) se sigue que R, si existe, es u
nico. Probaremos
que
R = sup {r 0 : {|an | r n }
n=0 acotada} ;
en particular, R = si {|an | r n }
a acotada para todo r 0. Con esta definicion, la
n=0 est
n
parte ii) es trivial: si |z z0 | > R, la sucesion {|an | |z z0 |n }
n=0 = {|an (z z0 ) |}n=0
no esta acotada, y por tanto el termino general de la serie no tiende a cero cuando
n .
38
Para probar i), notese en primer lugar que si R = 0 la serie diverge para todo z 6= z0 ,
y no hay nada que probar. Sea, por tanto, R > 0. Por definicion de R, si 0 < r < R
existen r < < R y M > 0 tal que |an | n < M para todo n. Si |z z0 | r se tiene:
n

n
r
n
n |z z0 |
M
.
|an (z z0 ) | = |an |
Por el criterio M de Weierstrass, la serie converge absoluta y uniformemente en D(z0 ; r);

en particular, converge absolutamente en D(z0 ; R). La u
ltima parte se sigue del criterio
de la convergencia analtica (ya que de i) se deduce que la serie converge uniformemente
en cada disco cerrado D(a; r) D(z0 ; R)).
Q.E.D.
El radio de convergencia de la derivada de una serie de potencias es igual al radio de
convergencia de la serie.
P
En efecto, por el teorema de la convergencia analtica, basta ver que la serie
k=0 kak (z
z0 )k1 diverge si |z z0 | > R. Y, en efecto
k |ak | |z z0 |k1 = |z z0 |1 k |ak | |z z0 |k |z z0 |1 |ak | |z z0 |k .
Por definicion de R, el u
ltimo
a acotado cuando |z z0 | > R. Luego el
P termino no est
k1 no tiende a cero si |z z | > R, por lo
termino general de la serie
ka
(z
z
)
0
0
k
k=0
que dicha serie diverge si |z z0 | > R.
P
Teorema 3.5. Sea 0 < R el radio de convergencia de la serie f (z) =
k=0 ak (z
z0 )k . Entonces f es infinitas veces derivable y
f
(n)
(z) =
k=n
k(k 1) (k n + 1)ak (z z0 )kn ,
n N, z D(z0 ; R),
siendo el radio de convergencia de todas estas series de potencias igual a R. Adem

as,
los coeficientes an vienen dados por
an =
f (n) (z0 )
,
n!
n = 0, 1, 2, . . . .
Corolario 3.6 (unicidad de las series de potencias). Si existe r > 0 tal que
X
k=0
ak (z z0 ) =
X
k=0
bk (z z0 )k ,
z D(z0 , r),
entonces ak = bk para todo k = 0, 1, 2, . . . .

Demostraci
on. ak = bk = f (k) (z0 )/k!, siendo f (z) la suma de cualquiera de las dos
series.
Q.E.D.
|an |
|an |
, entonces R = lm
.
n |an+1 |
|an+1 |
p
p
1
An
alogamente, si existe (o vale +) lm n |an | entonces
= lm n |an |.
n
R n
Si existe (o vale +) lm
39
Probemos,
por ejemplo, la primera formula. Por el criterio del cociente, si z 6= z0 la
P
k
serie
|a
|
k=0 k |z z0 | converge si
|an+1 | |z z0 |n+1
|an+1 |
= |z z0 | lm
< 1,
n
n
n |an |
|an | |z z0 |
lm
y diverge si
|z z0 | lm
|an+1 |
> 1.
|an |
Analogamente (aplicando el criterio de la raz) se prueba la segunda.

P
k
El radio de convergencia R de la serie de potencias
k=0 ak (z z0 ) se puede calcular
mediante la formula de Hadamard
p
1
= lm sup n |an |.
R
n
(Nota: Si xn 0 para todo n N, lm supn xn = lmn sup {xk : k n}. El lmite

a acotada superiormente,
superior siempre existe, vale infinito si y solo si {xn }
n=1 no est
y coincide con el lmite ordinario cuando dicho lmite existe.)
3.2.2.
Teorema de Taylor
Sea f analtica en un abierto A, sea z0 A, y supongamos que D(z0 ; r) A.

Entonces f admite el desarrollo en serie de Taylor
f (z) =
X
f (k)(z0 )
k=0
k!
(z z0 )k ,
z D(z0 ; r).
(3.2)
z
z0
D(z0;r)
Figura 3.1: teorema de Taylor

Demostraci
on. Sea 0 < < r, y fijemos z D(z0 ; ). Si es la circunferencia de centro
z0 y radio (orientada positivamente) se tiene, por la formula integral de Cauchy:
Z
1
f (w)
f (z) =
dw.
2i w z
40
Por otra parte,

1
1
1
1 X z z0 k
1
,
=
=
=
wz
w z0 + z0 z
w z0 1 z z0
w z0
w z0
k=0
w z0
ya que w = |z z0 | < = |w z0 |. Como f (w) es analtica en , esta acotada en
, por lo que

k

f (w) z z0 k

< M z z0 ,
w .
w z0 w z0

P
zz0 k es convergente (se trata
La serie numerica (es decir, independiente de w) M
k=0
de una serie geometrica de razon menor que 1). Por el criterio M de Weierstrass, la serie

f (w) X z z0 k
w z0
w z0
k=0
convergente uniforme y absolutamente en . Integrando termino a termino obtenemos
1 X
f (z) =
2i
k=0
f (w)
(z z0 )k dw
(w z0 )k+1
Z
X
X
f (k) (z0 )
f (w)
k 1
dw
=
(z z0 )k ,
(z z0 )
=
2i (w z0 )k+1
k!
k=0
k=0
por la formula integral de Cauchy para las derivadas. Esto prueba el desarrollo (3.2) para
todo z D(z0 ; ) con 0 < < r arbitrario, es decir para todo z D(z0 ; r).
Q.E.D.
Corolario 3.7. El radio de convergencia de la serie de Taylor (3.2) de una funci
on f
analtica en A es mayor o igual que la distancia de z0 a la frontera de A.
Nota. El radio de convergencia de la serie de Taylor de f (3.2) puede ser estrictamente
mayor que la distancia d de z0 a la frontera de A. Por ejemplo, si f (z) = Log z y
z0 = 1 + i (ejercicio). Sin embargo, es facil probar que si f no esta acotada en el disco
abierto de centro z0 y radio d entonces el radio de convergencia de la serie de Taylor
(3.2) es exactamente igual a d.
Definici
on 3.8. Una funci
on f analtica en un entorno de a C tiene un cero de
orden k en a si
f (a) = = f (k1) (a) = 0, f (k) (a) 6= 0.
Por el teorema de Taylor, si f tiene un cero de orden k en a entonces existe r > 0
tal que
X
f (n) (a)
|z a| < r = f (z) =
(z a)n
n!
n=k
= (z a)k
X
f (n+k)(a)
n=0
(n + k)!
(z a)n (z a)k F (z),
con F analtica en D(a; r) (es una serie de potencias convergente) y F (a) 6= 0.
3.2.3.
41
Teorema de Laurent
Una serie de la forma

f (z) =
X
k=1
bk
(z z0 )k
es una serie de potencias en la variable w = (z z0 )1 . Por tanto, existe 0 R tal

que la serie converge absolutamente a una funcion analtica si |z z0 | > R y diverge si
|z z0 | < R, siendo la convergencia de la serie absoluta y uniforme en el complemento
de cualquier disco D(z0 ; r) con r > R. Consideremos ahora la expresion
f (z) =
X
k=0
ak (z z0 )k +
X
k=1
X
ak
ak (z z0 )k .
(z z0 )k
(3.3)
k=
La primera serie convergera absolutamente en un disco D(z0 ; R2 ), y la segunda para

|z z0 | > R1 . Por tanto, f estara definida y sera analtica en la corona circular
C(z0 ; R1 , R2 ) = {z : R1 < |z z0 | < R2 } ,
(corona de convergencia), siempre y cuando sea 0 R1 < R2 . Ademas (por
los resultados sobre series de potencias) la convergencia de ambas series es absoluta y
uniforme en toda subcorona cerrada contenida en C(z0 ; R1 , R2 ). Una serie del tipo (3.3)
se denomina serie de Laurent centrada en z0 .
Teorema de Laurent. Sea f una funci
on analtica en la corona C(z0 ; R1 , R2 ) (con
0 R1 < R2 ). Si R1 < r < R2 , sea r la circunferencia de centro z0 y radio r
orientada positivamente, y definamos
Z
1
f (z)
ak =
dz,
k Z.
(3.4)
2i r (z z0 )k+1
Entonces f admite el desarrollo en serie de Laurent
f (z) =
k=
ak (z z0 )k ,
(3.5)
donde la serie del miembro derecho converge absoluta y uniformemente en cada subcorona cerrada contenida en C(z0 ; R1 , R2 ).
2
1
w2
S
z
z0
R1
w1
R2
Figura 3.2: teorema de Laurent
42
Demostraci
on. Sea A = C(z0 ; r1 , r2 ) con R1 < r1 < r2 < R2 , de modo que la corona
cerrada A esta contenida en C(z0 ; R1 , R2 ). Llamemos r1 1 , r2 2 . La curva
cerrada S + 2 1 S es homotopa a un punto en C(z0 ; R1 , R2 ) (vease la fig. 3.2). Por
la formula integral de Cauchy,
1
f (z) =
2i
f (w)
dw
S+2 1 S w z
Z
Z
1
1
f (w)
f (w)
=
dw
dw f1 (z) + f2 (z),
2i 2 w z
2i 1 w z
z A.
La demostracion del teorema de Laurent consiste, basicamente, en desarrollar f1 y f2

como series de potencias en z z0 y (z z0 )1 , respectivamente. Para f1 , repitiendo el
razonamiento que se utilizo para probar el teorema de Taylor se obtiene
1
f1 (z) =
2i

1 X z z0 k
dw
f (w)
w z0
w z0
2
k=0
X
k=0
(z z0 )k
1
2i
f (w)
dw,
(w z0 )k+1
donde el u
ltimo paso esta justificado por la convergencia uniforme de la serie para w 2
(w 2 = |z z0 | / |w z0 | = |z z0 | /r2 < 1). En cuanto a f2 , basta observar que si
r1 < |z z0 | se tiene
X (w z0 )k
1
1
1
=
.
=
0
wz
z z0 1 wz
(z z0 )k+1
zz0
k=0
De nuevo, la convergencia es uniforme para w 1 (w 1 = |w z0 | / |z z0 | =

r1 / |z z0 | < 1), por lo que
X
(w z0 )k
dw
(z z0 )k+1
1
k=0
Z
X
1
k1
(z z0 )
=
f (w)(w z0 )k dw
2i 1
k=0
Z
1
X
f (w)
1
n
dw.
=
(z z0 )
2i 1 (w z0 )n+1
n=
1
f2 (z) =
2i
f (w)
R
Por el teorema de la deformacion, r f (w)(w z0 )n1 dw es independendiente de r
si R1 < r < R2 , lo que prueba (3.4)(3.5). La corona de convergencia de la serie de
Laurent (3.4)(3.5) es por lo menos C(z0 ; R1 , R2 ); por tanto, de las propiedades de las
series de Laurent se deduce que la convergencia de dicha serie es absoluta y uniforme en
toda subcorona cerrada centrada en z0 y contenida en C(z0 ; R1 , R2 ).
Q.E.D.
3.2.4.
Clasificaci
on de singularidades aisladas
Definici
on 3.9. Una funci
on f : C C tiene una singularidad aislada en z0 C si
f es analtica en alg
un entorno reducido C(z0 ; 0, r) (r > 0) de z0 .
43
Por el teorema de Laurent, si f tiene una singularidad aislada en z0 existe r > 0 tal
que f admite un desarrollo en serie de Laurent (3.3) en C(z0 ; 0, r):
f (z) =
X
k=1
X
bk
+
ak (z z0 )k ,
k
(z z0 )
k=0
si 0 < |z z0 | < r.
(3.6)
i) Si bk = 0 para todo k N, se dice que z0 es una singularidad evitable de f .

ii) Si bp 6= 0 y bk = 0 para todo k > p, el punto z0 es un polo de orden p para f .
iii) Finalmente, si existen infinitos coeficientes bk 6= 0 se dice que f tiene una singularidad esencial en z0 .
X
Definici
on 3.10. La serie
bk (z z0 )k se denomina parte principal del desarrollo
k=1
de Laurent de f en z0 . El residuo de f en z0 es
Res(f ; z0 ) = b1 .
Ejemplo: Las funciones f1 (z) = sen z/z, f2 (z) = 1/ sen2 z y f3 (z) = e1/z tienen respectivamente una singularidad evitable, un polo de orden 2 y una singularidad esencial en
el origen.
Si f tiene una singularidad evitable en z0 entonces, definiendo f (z0 ) = a0 , f es
analtica en D(z0 ; r) (ya que la serie de potencias que representa a f para 0 < |z z0 | < r
converge, de hecho, en un crculo abierto de radio R r). En tal caso,

(3.7)
lm (z z0 )f (z) = 0.
zz0
Recprocamente, si f es analtica en un entorno reducido de z0 y se verifica (3.7) entonces

f tiene una singularidad evitable en z0 . En efecto, si m N el teorema de Cauchy
generalizado proporciona
Z
1
am =
f (z)(z z0 )m1 dz = 0 .
2i
Si f tiene un polo de orden p en z0 entonces

f (z) =
1
(z z0 )p
bp + bp1 (z z0 ) + + b1 (z z0 )p1
+
X
k=0
k+p
ak (z z0 )
F (z)
,
(z z0 )p
siendo F analtica en un entorno de z0 y F (z0 ) = bp 6= 0. En particular, 1/f tiene una

singularidad evitable (cero de orden p) en z0 . Recprocamente (vease el comentario al
final de la demostracion del teorema de Taylor) si f tiene un cero de orden p > 0 en z0
entonces 1/f tiene un polo de orden p en z0 .
Si f tiene un polo de orden p en z0 entonces
lm |f (z)| = ;
zz0
(3.8)
en particular, |f | no est
a acotado en un entorno reducido de z0 . (3.8) no se cumple si f
tiene una singularidad esencial en z0 . Por ejemplo, si f (z) = e1/z y zn = 1/(2ni)
0 se tiene f (zn ) = 1 para todo n N.
44
Teorema de CasoratiWeierstrass. Si f tiene una singularidad esencial en z0 y

a C, existe una sucesi
on {zn }
n=1 tal que zn z0 y f (zn ) a.
Nota: de hecho (teorema de Picard), se puede encontrar una sucesion {zn }
n=1 tal
que zn z0 y f (zn ) = a para todo n
umero complejo a, con a lo sumo una excepcion
(cf. f (z) = e1/z ).
Supongamos que f = g/h, donde g y h son funciones analticas en z0 con ceros de
orden n y m 1, respectivamente, en dicho punto. Entonces existe r > 0 tal que
f (z) =
(z z0 )n G(z)
g(z)
=
(z z0 )nm R(z),
h(z)
(z z0 )m H(z)
si 0 < |z z0 | < r,
siendo R G/H analtica (cociente de funciones analticas con H(z0 ) 6= 0) y no nula

(G(z0 ) 6= 0) en z0 . Por tanto, se tiene:
i) Si n m, f tiene una singularidad evitable (cero de orden n m) en z0 .
ii) Si n < m, f tiene un polo de orden m n en z0 .
Supongamos que f = g h, con g analtica en un entorno de z0 y g(z0 ) 6= 0, y sea z0
una singularidad aislada de h. Entonces z0 es una singularidad aislada de f , del mismo
tipo que lo es para h.
En efecto, es claro que f tiene una singularidad aislada en z0 , ya que si h es analtica
en C(z0 ; 0, r) (r > 0) y g es analtica en D(z0 ; r) entonces f g h es analtica en
C(z0 ; 0, r). Si z0 es una singularidad evitable de h entonces h coincide con una funcion
analtica en un entorno reducido de z0 , y por tanto lo mismo ocurre con f . Si h tiene un
polo de orden p en z0 entonces h(z) = (z z0 )p H(z), con H analtica en un entorno de
z0 y H(z0 ) 6= 0 = f (z) = (z z0 )p g(z) H(z) (z z0 )p F (z), con F analtica en
un entorno de z0 y F (z0 ) = g(z0 )H(z0 ) 6= 0 = f tiene un polo de orden p en z0 . Por
u
ltimo, si h tiene una singularidad esencial en z0 entonces lo mismo ha de ocurrir con
f , ya que en caso contrario h = g1 f tendra una singularidad evitable o un polo en z0
(notese que 1/g es analtica en un entorno de z0 , al ser g(z0 ) 6= 0).
Captulo 4
C
alculo de residuos
4.1.
M
etodos para el c
alculo de residuos
Sea f (z) = g(z)/h(z), con g, h analticas en un entorno de z0 , g(z0 ) 6= 0, h(z0 ) = 0 y

h0 (z0 ) 6= 0. Entonces f tiene un polo simple en z0 , con residuo
Res(f ; z0 ) =
g(z0 )
.
h0 (z0 )
En efecto, en un entorno de z0 se tiene

h(z) = h0 (z0 )(z z0 ) H(z),
con H analtica y H(z0 ) = 1 (teorema de Taylor). Por tanto
f (z) =
1
h0 (z0 )(z
g(z)
.
z0 ) H(z)
Como g/H es analtica en z0 (H(z0 ) 6= 0), f tiene un polo simple en z0 con residuo
1
h0 (z0 )
g(z0 )
g(z0 )
= 0
,
H(z0 )
h (z0 )
ya que H(z0 ) = 1.
Si f tiene un polo de orden n en z0 entonces
Res(f ; z0 ) =
dn1
1
[(z z0 )n f (z)] .
lm
(n 1)! zz0 dz n1
(4.1)
En efecto, en un entorno reducido de z0 es valido el desarrollo de Laurent

f (z) =
b1
bn
+ +
+ g(z),
n
(z z0 )
z z0
con g analtica en z0 (serie de Taylor). Por tanto en un entorno reducido de z0 se cumple

(z z0 )n f (z) = bn + + b1 (z z0 )n1 + G(z) F (z),
45

CAPITULO 4. CALCULO
DE RESIDUOS
46
donde G(z) = (z z0 )n g(z) es analtica en z0 y tiene un cero de orden n en dicho

punto, y F es analtica en z0 . Por el teorema de Taylor,
Res(f ; z0 ) = b1 =
F (n1) (z0 )
1
=
lm F (n1) (z)
(n 1)!
(n 1)! zz0
dn1
1
lm
[(z z0 )n f (z)] .
=
(n 1)! zz0 dz n1
Ejercicio. Si f = g/h con g y h analticas en z0 , h(z0 ) = h0 (z0 ) = 0 y g(z0 ) 6= 0,

h00 (z0 ) 6= 0, probar que f tiene un polo de orden 2 en z0 , con residuo
Res(f ; z0 ) = 2
2 g(z0 ) h000 (z0 )

g0 (z0 )
.
h00 (z0 ) 3 [h00 (z0 )]2
Soluci
on. La funci
on f tiene claramente un polo doble en z0 , por lo que podemos aplicar
(4.1). Por el teorema de Taylor, en un entorno reducido de z0 es valido el desarrollo
h(z)
= h2 + h3 (z z0 ) + H(z) ,
(z z0 )2
con H analtica y con un cero de orden por lo menos 2 en z0 . Aplicando (4.1) se obtiene
entonces

d
g(z)
h2 g0 (z0 ) h3 g(z0 )
Res(f ; z0 ) = lm
.
=
zz0 dz h2 + h3 (z z0 ) + H(z)
h22
Teniendo en cuenta que
h2 =
1 00
h (z0 ) ,
2
h3 =
1 000
h (z0 )
6
se obtiene la formula anunciada.
4.2.
Teorema de los residuos
Sean z1 , . . . , zn n puntos distintos pertenecientes a una regi

on A, y sea una curva
cerrada (C 1 a trozos) hom
otopa a un punto en A y tal que ning
un zi est
a en . Si f es
analtica en A {z1 , . . . zn } entonces se tiene:
Z
f = 2i
n
X
n(, zk ) Res(f ; zk ).
k=1
Demostraci
on. Por el teorema de Laurent, para cada i = 1, . . . , n hay un entorno reducido C(zi ; 0, i ) de zi en el que es valido el desarrollo
f (z) =
X
k=1
bik (z zi )
X
k=0
aik (z zi )k Si (z) + fi (z),
con fi analtica en el disco D(zi ; i ). Ademas (por las propiedades de las series de Laurent) la serie que define la parte principal Si (z) converge absolutamente a una funcion

CAPITULO 4. CALCULO
DE RESIDUOS
47
analtica en C {zi } y uniformemente en el exterior de todo disco abierto centrado en

zi .
Sea
n
X
g(z) = f (z)
Sk (z);
k=1
entonces g es analtica en A {z1 , . . . , zn }, y ademas los puntos zi son singularidades

evitables de g. En efecto, para cada i = 1, . . . , n se tiene
g(z) = fi (z) + Si (z)
n
X
k=1
Sk (z) = fi (z)
Sk (z) ,
1k6=in
0 < |z zi | < i .
Definiendo g(zi ) = lmzzi g(z) la funcion g es analtica en A, y por el teorema de

Cauchy
Z
Z
n Z
X
Sk .
f=
0 = g
k=1
Consideremos ahora la integral Sk . Al ser C abierto, existe k > 0 tal que

D(zk ; k ) = . Por tanto, la serie de Laurent que define a Sk es uniformemente
convergente en , lo que nos permite escribir
Z
Sk =
Z
X
j=1
bkj (z zk )
dz =
bk1 (z zk )1 dz = bk1 2in(, zk )

= 2i n(, zk ) Res(f ; zk ),
donde se ha utilizado el teorema fundamental del Calculo (para j 6= 1, (z zk )j admite

la primitiva (z zk )1j /(1 j) en C {zk }) y la definicion del ndice. Esto completa la
demostracion.
Q.E.D.
4.3.
C
alculo de integrales definidas
4.3.1.
f (x) dx
Condiciones: f analtica en H = {z C : Im z 0}, con la posible excepcion de un

n
umero finito de singularidades zk fuera del eje real, y p > 1, R > 0 y M > 0 t.q.
|f (z)| <
Resultado: 2i
M
|z|p
z H, |z| > R.
Res(f ; zk ).
Im zk >0
Demostraci
on. Sea r la semicircunferencia de radio r orientada positivamente, con
r > R lo suficientemente grande para que todas las singularidades (necesariamente
aisladas) de f en H esten en el interior de r .

CAPITULO 4. CALCULO
DE RESIDUOS
48
zk
r
Figura 4.1: semicircunferencia r

Entonces
Z
f = 2i
Res(f ; zk ) =
Im zk >0
f (x) dx +
f (rei )irei d.
Como |f (x)| < M R|x|p con p > 1 para |x| > R, la primera integral del miembro
derecho converge a f (x) dx cuando r (criterio de comparacion). En cuanto a

la segunda, su modulo esta acotado por M r 1p , que tiende a 0 cuando r . Q.E.D.
Notas: i) Un resultado analogo vale intercambiando el semiplano superior H por el
semiplano inferior L = {z C : Im z 0}:
Z
X
f (x) dx = 2i
Res(f ; zk ).
Im zk <0
ii) f = P/Q, con P 6= 0 y Q polinomios y Q(x) 6= 0 para todo x R, cumple las

condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 2.
Z
x dx
.
Ejemplo:
2
2
(x + 4x + 13)
f (z) = z/(z 2 + 4z + 13)2 P/Q, con singularidades (polos dobles) en los ceros
z = 2 3i
/ R de Q. Adem
as, deg Q = 4 deg P + 2 = 3. Por tanto,
Z
x dx
= 2i Res(f ; 2 + 3i).
I
2 + 4x + 13)2
(x
C
alculo del residuo (z0 = 2 + 3i):
f (z) =
g(z)
,
(z z0 )2
con
g(z) =
z
;
(z + 2 + 3i)2
como g(z0 ) 6= 0, z0 es un polo doble de f , con residuo

g0 (z0 ) =
1
2z0
2 + 3i z0
4
4i
=
=
= 3.
2
3
3
3
(z0 + 2 + 3i)
(z0 + 2 + 3i)
(z0 + 2 + 3i)
(6i)
6
Por tanto, I =
= .
3
6
27

CAPITULO 4. CALCULO
DE RESIDUOS
4.3.2.
Integrales trigonom
etricas:
49
2
R(cos , sen ) d
0
Condiciones: R funci
on racional de dos variables cuyo denominador no se anula
para todo [0, 2).

X
1

1
1
Resultado: 2i
Res(f ; zk ), siendo f (z) = R
z + z 1 ,
z z 1
iz
2
2i
|zk |<1
y denotando mediante z1 , . . . , zn las singularidades de f (necesariamente en n

umero
finito, ya que f es una funci
on racional).
Demostraci
on. La funci
on f (z) no tiene singularidades en la circunferencia unidad
,
R
ya que si [0, 2) entonces f (ei ) = iei R(cos , sen ). Parametrizando f en la
forma usual (z = ei ) se obtiene
Z 2
Z
f=
R(cos , sen ) d .
El resultado anunciado se sigue del teorema de los residuos, ya que al ser f una funcion
racional de z tiene un n
umero finito de singularidades.
Q.E.D.
Ejemplo:
f (z) =
d
.
(5 3 sen )2
1

iz 5
3
2i
1
z
Por tanto, la integral vale

i
8
,
Res g;
I=
9
3
2 =
con
4iz
4iz
=
.

i 2
(3z 2 10iz 3)2
9 z 3 (z 3i)2
z
1
h(z)

2 .
2
2
(z 3i)
z 3i
z 3i
g(z) =
El residuo es igual a
h0 (i/3) =
Por tanto I =
4.3.3.
2i
3
i
3
2
3i
10
5
=
.
2
8
32
i
3
i
3
3 =
3i
Transformadas de Fourier:
10i
3i 2i
10 32
3
3
=
.
=
3
83 3
i
83
3i
3
3
3
eix f (x) dx
Condiciones: > 0; f analtica en H, con la posible excepcion de un n

umero finito
de singularidades zk
/ R y |f (z)| 0 cuando |z| en H, i.e.
> 0, R > 0 t.q. |f (z)| < si |z| > R y z H.
Resultado: 2i
Im zk >0
Res(eiz f (z); zk ).

CAPITULO 4. CALCULO
DE RESIDUOS
50
Demostraci
on. Dado > 0, sea el rectangulo de vertices x1 , x2 , x2 + i y1 , x1 + i y1
(orientado positivamente), con x1 , x2 , y1 mayores que R y lo suficientemente grandes
para que todas las singularidades de f en H esten en el interior de (fig. 4.2).
x1+iy1
x2+iy1
zk
x1
x2
Figura 4.2: rectangulo

Entonces
Z
X
eiz f (z) dz = 2i
Res(eiz f (z); zk )
Im zk >0
x2
ix
x1
Z x2
x1
y1
ei(x2 +iy) f (x2 + i y) dy

0
Z y1
i(x+iy1 )
e
f (x + i y1 ) dx i
ei(x1 +iy) f (x1 + i y) dy
f (x) dx + i
I 1 + I2 I3 I4 .
Si y1 se escoge lo suficientemente grande para que (x1 + x2 )ey1 < 1/ se tiene:

Z y1

|I2 |
ey dy = (1 ey1 ) < ,
0

y1
|I3 | (x1 + x2 ) e
< ,

y1
)< .
|I4 | (1 e
Por tanto

Z x2

X

3
ix
iz

e f (x) dx 2i
Res(e f (z); zk ) <
.

x1

Im zk >0
Como > 0 es arbitrario, haciendo x1 y x2 tender a infinito por separado se obtiene el

resultado deseado.
Q.E.D.
Notas: i) Si < 0, se obtiene un resultado analogo intercambiando el semiplano
superior H por el semiplano inferior L:
Z
X
eix f (x) dx = 2i
Res(eiz f (z); zk ).
Im zk <0
ii) f = P/Q, con P 6= 0 y Q polinomios y Q(x) 6= 0 para todo x R, cumple las

condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 1.
Z
Z
1 cos(x)
cos(x)
dx =
dx I(), > 0 .
Ejemplo:
x4 + x2 + 1
2 x4 + x2 + 1
0

CAPITULO 4. CALCULO
DE RESIDUOS
51
La integral es la parte real de

J=
1
2
eix
dx .
x4 + x 2 + 1
Podemos aplicar lo anterior a la funcion racional f (z) = 21 (z 4 + z 2 + 1) en el semiplano

superior (f no tiene singularidades en el eje real). Las singularidades (polos) de f se
calculan resolviendo la ecuacion
i
2i
1
z 4 + z 2 + 1 = 0 z 2 = (1 i 3) = e 3 z = e 3 .
2
Las u
nicas singularidades en el semiplano superior son
i
1
z1 = e 3 = (1 + i 3),
2
i
1
z2 = e 3 = (1 + i 3) = z 1 .
2
El residuo de eiz f (z) en cualquiera de estas singularidades zi se calcula facilmente, ya

que eiz f (z) = g(z)/h(z) con g(zi ) 6= 0, h(zi ) = 0 y h0 (zi ) 6= 0:
Res(f ; zi ) =
1
eizi
.
4 zi (2zi2 + 1)
De esto se deduce que

i
eiz1
eiz1
eiz1
J=
Im
Im A.
2 z1 (2z12 + 1) z 1 (2z 21 + 1)
z1 (2z12 + 1)
Como
se obtiene
i
2e 2 (i 3)
i + 3 (i3)
2e 2 (1+i 3)
=
= e2
,
A=
(1 + i 3)i 3
3(i 3)
2 3

3

cos + 3 sen
,
I = Re J = J = Im A = e 2
2
2
2 3
4.3.4.
Transformadas de Mellin:
> 0.
xa1 f (x) dx, a

/Z
Condiciones: i) f analtica en C, con la posible excepcion de un n

umero finito de
singularidades zk
/ R+ , y ii) M1 , M2 , R1 > R2 constantes positivas y c < a < b tales
que
M1
|z|b , |z| > R1

|f (z)| <
M2
c , 0 < |z| < R2 .

|z|
Resultado:
eia X
Res(z a1 f (z); zk ),
sen(a)
zk 6=0
z a1 e(a1) log[0,2) z .

CAPITULO 4. CALCULO
DE RESIDUOS
52
Demostraci
on. En primer lugar, las acotaciones de |f | implican (por el teorema de comparacion para integrales reales impropias) que la integral es absolutamente convergente.
zk
Figura 4.3: curva

Sea la curva de la fig. 4.3, donde 0 < < R1 y r > R2 se toman de modo que todas
las singularidades de z a1 f (z) distintas de 0 esten en el interior de , y 0 < < /2. Si
denotamos
z a1 = e(a1) log[0,2) z = |z|a1 ei(a1) arg[0,2) z ,
la funcion z a1 f (z) es analtica en C (R+ {0}), salvo en las singularidades zk de f .
Por el teorema de los residuos se tiene:
X
2i
Res(z a1 f (z); zk ) = I1 I2 + J,
zk 6=0
siendo I1 e I2 las integrales de z a1 f (z) sobre los arcos arg[0,2) z [, 2 ] de

las circunferencias (orientadas positivamente) de radios r y , respectivamente, y J la
integral a lo largo de los segmentos:
J=
i(a1) a1
f (xe ) e dx
ei(a1)(2) xa1 f (xei(2) ) ei(2) dx

Z r
h
i
xa1 eia f (xei ) eia(2) f (xei(2) ) dx .
=

Haciendo 0+ (con y r fijos) se obtiene

Z
Z
Z
X
a1
a1
a1
2ia
2i
Res(z
f (z); zk ) =
z f (z) dz
z f (z) dz+(1e
)
r
zk 6=0
xa1 f (x) dx ,
siendo la circunferencia de centro 0 y radio orientada positivamente. Por las hipotesis

sobre |f | se obtiene:

Z

a1

z f (z) dz M1 r a1b 2r = 2M1 r ab 0,

r

Z r

z a1 f (z) dz M2 a1c 2 = 2M2 ac 0 .

0+

CAPITULO 4. CALCULO
DE RESIDUOS
53
Haciendo 0+ y r (independientemente) se obtiene el resultado deseado, ya

que
2ieia
eia
2i
=
=
.
1 e2ia
eia eia
sen(a)
Q.E.D.
xa1
dx I(a) .
1 + x2
0
En este caso b = 2, c = 0. Para poder aplicar el resultado del apartado anterior necesitamos que 0 < a < 2 y a 6= 1. Si esto se cumple se tiene:
a1

a1
z
z
eia
;
i
+
Res
;
i
.
Res
I(a) =
sen(a)
z2 + 1
z2 + 1
Ejemplo:
Los residuos se calculan f

acilmente, ya que ambos son claramente polos simples:

a1
z
(i)a1
;
i
=
.
Res
z2 + 1
2i
La suma de estos dos residuos es igual a
Por tanto,

a
3
1
1 i(a1)
i(a1) 3
2 e
2
= eia 2 + eia 2 = eia cos
e
.
2i
2
2

cos a
2
=
I(a) =
sen(a)
2 sen
a
2
En particular, haciendo a = 2/5 se obtiene:

Z
4.4.
.
x3/5
p
dx
=
=
=
5
+
5.
x2 + 1
2 sen(/5)
10
5 5
Valor principal de Cauchy
Supongamos que f : RR R es no acotada

en un entorno de x0 R, y que existen
R
b
las integrales impropias f (x) dx y c f (x) dx para todo b < x0 < c. En ese caso,
Z
f (x) dx + lm
Evidentemente, si la integral impropia existe entonces

Z x0
Z
Z
f (x) dx = lm
f (x) dx +
f (x) dx = lm
x0
0+
0+
0+ x0 +
f (x) dx .
f (x) dx .
x0 +
El miembro derecho se denomina valor principal de Cauchy de la integral impropia:

Z x0

Z
Z
V. P.
f (x) dx = lm
f (x) dx +
f (x) dx .
0+
x0 +

CAPITULO 4. CALCULO
DE RESIDUOS
54
(Esta definicion se generaliza de manera obvia al caso en que f tiene un n

umero finito
de singularidades en el eje real.) Si existe la integral impropia entonces
Z
Z
f (x) dx .
f (x) dx = V. P.
Sin embargo, el valor principal de Cauchy puede existir aunque no exista la integral impropia:
por ejemplo, si f es una funcion impar e integrable en entonces
R
V. P. f (x) dx = 0.
Lema 4.1. Supongamos que f es una funci

on analtica con un polo simple en z0 C, y
sea el arco de circunferencia (t) = z0 + eit , con t [t0 , t0 + ] (fig. 4.4). Entonces
Z
lm
f = i Res(f ; z0 ).
0+
t0
z0
Figura 4.4: curva

Demostraci
on. En un entorno reducido de z0 es valido el desarrollo de Laurent
f (z) =
b1
+ g(z),
z z0
0 < |z z0 | < r,
con g analtica en D(z0 ; r). Si 0 < < r se tiene

Z
Z
Z
dz
+
g.
f = b1

z z0
Pero
b1
dz
= b1
z z0
t0 +
t0
ieit
dt = i b1 = i Res(f ; z0 ),
eit
mientras que, al ser g analtica en D(z0 ; r), |g(z)| < M para |z z0 | r/2, y por tanto
Z

M 0 .

g

0+

Q.E.D.
Sea f una funci

on analtica en H, excepto por un n
umero finito de singularidades zk ,
siendo las posibles singularidades de f en el eje real polos simples. Si f satisface una de
las dos condiciones siguientes:
M
i) p > 1, R > 0, M > 0 t.q. |f (z)| < p si |z| > R y z H;
|z|
ii) f (z) = eiz g(z), con > 0 y |g(z)| 0 cuando |z| en H,
entonces
Z
X
X
V. P.
f (x) dx = 2i
Res(f ; zk ) + i
Res(f ; zk ) .
Im zk >0
zk R

CAPITULO 4. CALCULO
DE RESIDUOS
55
zk
x0
Figura 4.5: curva

Demostraci
on. Supongamos, por ejemplo, que f cumple la condicion i). Por sencillez,
nos restringiremos al caso en que f solo tiene una singularidad x0 en el eje real. Si
r > max(x0 , R) es lo suficientemente grande para que todas las singularidades de f en
H {x0 } esten en el interior de r y > 0 es suficientemente peque
no, integrando f a
lo largo de la curva de la fig. 4.5 se tiene:
Z r
Z x0
Z
Z
Z
X
f.
f+
Res(f ; zk ) =
f (x) dx +
f (x) dx
f = 2i
Im zk >0
R x0
Por la discusion de la seccion 4.3.1, las integrales

convergentes, y
Z
f = 0.
lm
x0 +
f (x) dx y
x0 + f (x) dx
son
r
r
Por tanto,
2i
Res(f ; zk ) =
x0
f (x) dx +
Im zk >0
x0 +
f (x) dx
f.

El resultado anunciado se obtiene haciendo 0+ y utilizando el lema anterior.

Q.E.D.
Nota: Si reemplazamos H por L y > 0 por < 0 entonces
Z
X
X
V. P.
f (x) dx = 2i
Res(f ; zk ) i
Res(f ; zk ) .
Ejemplo:
Im zk >0
zk R
sen x
dx I .
x
Si definimos f (x) = sen x/x para x 6= 0 y f (0) = 1 entonces f es continua en 0 y par, y

por tanto
Z
1
I=
f (x) dx .
2
Al ser f continua en 0
f (x) dx = V. P.
f (x) dx,
si el miembro derecho existe. En tal caso

Z
Z ix
1
1
1
e
I = V. P.
f (x) dx = Im V. P.
dx Im J .
2
2
2

CAPITULO 4. CALCULO
DE RESIDUOS
56
La funci
on f (z) = sen z/z tiene una singularidad evitable en z = 0, pero no cumple las
condiciones i)
o ii). Sin embargo, g(z) = eiz /z tiene un polo simple en el origen y cumple
la condicion ii) del apartado anterior, por lo que
iz
e
; 0 = i 1 = I = .
J = i Res
z
2
Ejemplo:
sen2 x
dx I .
x2
Si f es la funci
on del apartado anterior
1
I = V. P.
2
1
f (x) dx = V. P.
4
1 cos(2x)
dx
x2

Z
1
1
1 e2ix
= Re V. P.
dx Re J.
2
4
x
4
Si g(z) = (1 e2iz )/z 2 entonces

|g(z)|

1 + e2iz
2
|z|
2
,
|z|2
Im z 0, z 6= 0,
y por tanto se cumple la condicion i) en el semiplano superior. Ademas, z = 0 es un

polo simple de g (el numerador tiene un cero simple y el denominador uno doble en el
origen), con residuo

Res(g; 0) = 2ie2iz z=0 = 2i.
Por tanto,
J = i (2i) = 2 = I =
Ejemplo: V. P.
.
2
sen x dx
I.
(x 1)(x2 + 4)
Aqu
I = Im J,
J V. P.
La funci
on
f (z) =
eix dx
.
(x 1)(x2 + 4)
eiz
(z 1)(z 2 + 4)
es analtica en C {1, 2i}, y la singularidad en z = 1 es claramente un polo simple.

Ademas, se cumple claramente la condicion ii) en el semiplano superior, por lo que

ei
2e2
J = i [Res(f ; 1) + 2 Res(f ; 2i)] = i
+
5
(2i 1) 4i
i

i

e
e2
e
(2 i)e2
= i
= i
.
5
2(2 + i)
5
10
Por tanto
I=
5
1
cos 1 2
e

CAPITULO 4. CALCULO
DE RESIDUOS
4.4.1.
f (x) log x dx,
57
f real y par
Condiciones: i) f analtica en H, con la posible excepcion de un n

umero finito de
singularidades zk
/ R {0}, y ii) M1 , M2 , R1 > R2 constantes positivas y a < 1 < b
tales que
M1
|z|b , |z| > R1

|f (z)| <
M2
a , 0 < |z| < R2 .

|z|
Resultado: Im
Im zk >0
log log[/2,3/2) .
Res(f (z) log z; zk ) ,

r
zk
Figura 4.6: curva

Demostraci
on. En primer lugar, las acotaciones sobre R|f | implican (teorema de compa
racion) la convergencia de la integral, as como la de f (x) dx. Sean 0 < < R1 <
R2 < r tales que todas las singularidades de f en H {0} esten el interior de (ver
fig. 4.6). Entonces
Z
Z
X
2i
Res(f (z) log z; zk ) = I1 + I2
g+
g,
(4.2)

Im zk >0
siendo g(z) = f (z) log z. Si x < 0 se tiene

log x = log |x| + i = log(x) + i ,
y por tanto
I1 =
f (x)[log(x) + i] dx =
f (x)[log(x) + i] dx
Z r
Z
=
f (x) log x dx + i

Luego
I1 + I2 = 2
Por otra parte,
f (x) log x dx + i

f (x) dx .

|log z| = log |z| + i arg z |log z| + |arg z| ,
f (x) dx .

CAPITULO 4. CALCULO
DE RESIDUOS
58
donde arg z [/2, 32). Por tanto

Z

M1
M1

g r b (log r + ) = b1 (log r + ) 0 ,

r
r
r
r
al ser b > 1. Del mismo modo, al ser a < 1 se tiene

Z

g M2 (log + ) = M2 1a (log + ) 0 .

0+
a

Haciendo r y 0+ en (4.2) se obtiene:

Z
Z
X
2i
Res(f (z) log z; zk ) = 2
f (x) log x dx + i
0
Im zk >0
Teniendo en cuenta que f es real se obtiene el resultado anunciado.

Z
f (x) dx .
Q.E.D.
log x
dx I .
(x2 + 1)2
0
Claramente f (z) = (1 + z 2 )2 cumple todas las condiciones anteriores (a = 0 y b = 4).
La u
nica singularidad en el semiplano superior es z0 = i. Como
Ejemplo:
f (z) log z =
1
log z
(z + i)2 (z i)2
se tiene

1
2 log i
i
log z
i
i
d
=
= log i = + .
Res(f (z) log z; i) =
2
2
3
dz (z + i) z=i i(2i)
(2i)
4 4
4 8
Por tanto, I = .
4

Agonzalez Variablecompleja

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Agonzalez Variablecompleja

Cargado por

Copyright:

Formatos disponibles

Variable Compleja

Madrid, septiembre de 2003

2.3.7. Teorema fundamental del Algebra

4.4. Valor principal

4.3.4. Transformadas de Mellin:

(x1 , y1 ) (x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).

i = (0, 1) = i2 = i i = (0, 1) (0, 1) = (1, 0) = 1.

CAPITULO 1. FUNCIONES ANALITICAS

C no es un cuerpo ordenado: si lo fuera,

Las races cuadradas de un n

CAPITULO 1. FUNCIONES ANALITICAS

El teorema del binomio de Newton es valido en el campo complejo:

(reflexion respecto del eje real)

CAPITULO 1. FUNCIONES ANALITICAS

vii) w 6= 0 = z/w = z/w, |z/w| = |z| / |w|

|z + w|2 = (z + w)(z + w) = |z|2 + |w|2 + (zw + zw) = |z|2 + |w|2 + 2 Re(zw)

ii) |z| > |w| =

Figura 1.2: Definicion de argumento.

arg(1 i) {5/4 + 2 k : k Z} = {3/4 + 2 k : k Z} .

CAPITULO 1. FUNCIONES ANALITICAS

Para que sea u

Claramente, Arg : C {0} (, ] es discontinua en R {0}. Analogamente,

Interpretacion geometrica del producto en C:

z1 z2 = r1 (cos 1 + i sen 1 ) r2 (cos 2 + i sen 2 )

Arg(z1 z2 ) 6= Arg z1 + Arg z2 . Por ej.,

arg(z/w) = arg z arg w

CAPITULO 1. FUNCIONES ANALITICAS

A partir de (1.1) se demuestra por induccion la formula de de Moivre:

= (cos3 3 cos sen2 ) + i(3 cos2 sen sen3 )

cos(3) = cos3 3 cos sen2

sen(3) = 3 cos2 sen sen3 .

Si z = r(cos + i sen ) 6= 0, hallemos todas las soluciones w C de la ecuacion

(vertices de un polgono regular de n lados inscrito en la circunferencia unidad).

CAPITULO 1. FUNCIONES ANALITICAS

Ejercicio. Probar que las n races n-esimas de z 6= 0 estan dadas por

(ya que i2k = (i2 )k = (1)k ).

iv) ez = 1 z = 2ki, con k Z.

CAPITULO 1. FUNCIONES ANALITICAS

ii) cos(z + w) = cos z cos w sen z sen w,

v) cos z = cos(z), sen z = sen(z).

CAPITULO 1. FUNCIONES ANALITICAS

ii) Por ejemplo

cos z cos w sen z sen w =

iii) Caso particular de las f

vi) sen z = 0 eiz eiz = 0 e2iz = 1 2iz = 2ki

De aqu se deducen las propiedades de las funciones hiperb

En R, exp : R R+ (exp(t) = et ) es una aplicacion biyectiva. Su inversa es la

En C, exp no es invertible al no ser inyectiva (por ser periodica). De hecho, se

CAPITULO 1. FUNCIONES ANALITICAS

Si z 6= 0, la ecuacion ew = z tiene infinitas soluciones, que difieren entre s en

A cada uno de estos (infinitos) w se les denomina logaritmos de z 6= 0.

Notese que logI : C {0} {s C : Im s I} es una funci

= log(|z| |w|) + i(argI z + argI w)

= log |z| + log |w| + i(argI z + argI w)

= (log |z| + i argI z) + (log |w| + i argI w) mod 2i

Nota: En general, Log(zw) 6= Log z + Log w. Por ejemplo,

CAPITULO 1. FUNCIONES ANALITICAS

log a = logI a + 2ki, k Z.

Por tanto, en general ab denota un conjunto de n

Mas concretamente, se tiene:

ii) Si b = p/q Q, con p Z y 1 < q N primos entre s, entonces ab = ap/q toma

(1 + i)i = ei[Log(1+i)+2ki] = e2k ei( 2 log 2+

Algunos conceptos topol

> 0 > 0 t.q. z A y 0 < |z a| < = |f (z) l| < .

Como > 0 es arbitrario, el teorema esta demostrado.