Variable Compleja

Variable Compleja
Artemio Gonz alez L opez

Madrid, septiembre de 2003
www.elsolucionario.net
http://www.elsolucionario.net
LIBROS UNIVERISTARIOS
Y SOLUCIONARIOS DE
MUCHOS DE ESTOS LIBROS
LOS SOLUCIONARIOS
CONTIENEN TODOS LOS
EJERCICIOS DEL LIBRO
RESUELTOS Y EXPLICADOS
DE FORMA CLARA
VISITANOS PARA
DESARGALOS GRATIS.
Indice general
1. Funciones analticas 1
1.1. Denicion y propiedades algebraicas de los
n umeros complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Modulo y argumento. Formula de de Moivre.
Races. Conjugacion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2. Formula de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3. Races n-esimas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. La funcion exponencial, funciones trigonometricas e hiperbolicas, logarit-
mos y potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1. Funcion exponencial . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.2. Funciones trigonometricas e hiperbolicas . . . . . . . . . . . . . . 8
1.3.3. Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.4. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Lmites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1. Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1. Ecuaciones de CauchyRiemann . . . . . . . . . . . . . . . . . . 13
1.5.2. Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5.3. Teorema de la funcion inversa . . . . . . . . . . . . . . . . . . . . 16
1.5.4. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . 17
1.5.5. Funciones armonicas . . . . . . . . . . . . . . . . . . . . . . . . . 17
2. El teorema de Cauchy 20
2.1. Integracion sobre arcos: denicion y
propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2. Teorema de CauchyGoursat. Homotopa.
Antiderivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.1. Homotopa. Teorema de Cauchy . . . . . . . . . . . . . . . . . . 26
2.3.

Indice. Formula integral de Cauchy
y sus consecuencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.1.

Indice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2. Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . 27
2.3.3. Formula integral de Cauchy para las derivadas . . . . . . . . . . 28
2.3.4. Desigualdades de Cauchy . . . . . . . . . . . . . . . . . . . . . . 30
2.3.5. Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.6. Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . 30
i
INDICE GENERAL ii
2.3.7. Teorema fundamental del

Algebra . . . . . . . . . . . . . . . . . 31
2.4. Principio del modulo maximo. Propiedad del valor medio . . . . . . . . 31
2.4.1. Propiedad del valor medio . . . . . . . . . . . . . . . . . . . . . . 31
2.4.2. Principio del modulo maximo . . . . . . . . . . . . . . . . . . . . 32
2.4.3. Principio del modulo maximo global . . . . . . . . . . . . . . . . 33
3. Representaci on de funciones analticas mediante series 34
3.1. Convergencia de sucesiones y series de
funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.1. Sucesiones y series de n umeros complejos . . . . . . . . . . . . . 34
3.1.2. Sucesiones y series de funciones. Convergencia
uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Convergencia de series de potencias.
Teoremas de Taylor y Laurent. . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.1. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.2. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.2.3. Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2.4. Clasicacion de singularidades aisladas . . . . . . . . . . . . . . . 42
4. Calculo de residuos 45
4.1. Metodos para el calculo de residuos . . . . . . . . . . . . . . . . . . . . . 45
4.2. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3. Calculo de integrales denidas . . . . . . . . . . . . . . . . . . . . . . . . 47
4.3.1.
_
f(x) dx . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.3.2. Integrales trigonometricas:
_
2
0
R(cos , sen ) d . . . . . . . . . 49
4.3.3. Transformadas de Fourier:
_

e
ix
f(x) dx . . . . . . . . . . . . 49
4.3.4. Transformadas de Mellin:
_

0
x
a1
f(x) dx, a / Z . . . . . . . . 51
4.4. Valor principal de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.4.1.
_

0
f(x) log xdx, f real y par . . . . . . . . . . . . . . . . . . . 57
Captulo 1
Funciones analticas
1.1. Denicion y propiedades algebraicas de los
n umeros complejos
Denici on 1.1. C =
_
R
2
, +,
_
, con la suma y el producto denidos por
(x
1
, y
1
) + (x
2
, y
2
) = (x
1
+x
2
, y
1
+y
2
)
(x
1
, y
1
) (x
2
, y
2
) = (x
1
x
2
y
1
y
2
, x
1
y
2
+x
2
y
1
).
Justicaci 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) =i
2
= i i = (0, 1) (0, 1) = (1, 0) = 1.
(x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x +i y
=(x
1
+i y
1
)(x
2
+i y
2
) = (x
1
x
2
y
1
y
2
) +i (x
1
y
2
+x
2
y
1
)
es la formula tradicional para multiplicar los n umeros complejos x
1
+ i y
1
y
x
2
+i y
2
.
z = x +i y =x = Re z, y = Imz.
Al ser C = R
2
(como conjuntos), la igualdad en C se dene 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 z w = wz
z + (w +s) = (z +w) +s z (ws) = (z w) s
z + 0 = z 1 z = z
z C t.q. z + (z) = 0 z = 0 =z
1
C t.q. z z
1
= 1
z(w +s) = z w +z s.
1
CAP
ITULO 1. FUNCIONES ANAL
ITICAS 2
Demostraci on. Obviamente, z = x + i y = z = x i y. La existencia de inverso
resp. del producto para todo z = x +i y = 0 se deduce del siguiente calculo:
z
1
= u +i v =z z
1
= (xu y v) +i(xv +y u) = 1
_
xu y v = 1
y u +xv = 0
u =
x
x
2
+y
2
, v =
y
x
2
+y
2
(z = 0 x
2
+y
2
= 0)
z
1
=
x
x
2
+y
2
i
y
x
2
+y
2
.
Q.E.D.
Notaci on:
z
w
= z w
1
, z
n
= z z z
. .
n veces
(n N).
C no es un cuerpo ordenado: si lo fuera,
i
2
= i i = 1 0.
Races cuadradas (metodo algebraico):
Si z = x + i y, queremos hallar todos los w = u + i v C tales que w
2
= z:
w
2
= z u
2
v
2
+ 2 i uv = x + i y
_
u
2
v
2
= x
2 uv = y
=x
2
+y
2
= (u
2
+v
2
)
2
=u
2
+v
2
=
_
x
2
+y
2
=u
2
=
1
2
(x +
_
x
2
+y
2
), v
2
=
1
2
(x +
_
x
2
+y
2
)
=w =
_
__
x+
x
2
+y
2
2
+ i sig y
_
x+
x
2
+y
2
2
_
, y = 0
x, y = 0, x 0
i
x, y = 0, x < 0.
Las races cuadradas de un n umero complejo z = 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
_
_
8
2
i
_
2
2
_
= (2 i).
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata
de la estructura de cuerpo que posee C:
Las ecuaciones cuadraticas con coecientes complejos se pueden resolver utilizando
la formula usual:
a z
2
+b z +c = 0 z =
1
2a
_
b
_
b
2
4ac
_
a, b, c C.
CAP
ITICAS 3
El teorema del binomio de Newton es valido en el campo complejo:
(a +b)
n
=
n
i=0
_
n
i
_
a
i
b
ni
, a, b C, n N.
1.2. Modulo y argumento. Formula de de Moivre.
Races. Conjugacion.
Geometricamente, los n umeros complejos se pueden identicar 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 representacion geometrica de C denominar eje real al eje horizontal y
eje imaginario al vertical (g. 1.1).
x
y
z
z
Figura 1.1: Plano complejo.
Si z = x + i y C, se denen el m odulo y el complejo conjugado de z respectiva-
mente como sigue:
|z| =
_
x
2
+y
2
(distancia al origen)
z = x i y (reexion respecto del eje real)
=Re z =
1
2
(z +z), Imz =
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|
v) zz = |z|
2
=
_
_
z = 0 z
1
=
z
|z|
2
|z| = 1 z = z
1
CAP
ITICAS 4
vi) |z w| = |z| |w| (elevar al cuadrado) =
z
1
= |z|
1
vii) w = 0 =z/w = z/w, |z/w| = |z| / |w|
(consecuencia de iii) y vi))
viii) |Re z| |z| , |Imz| |z| (|z| Re z, Imz |z|)
Desigualdad triangular: |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|.
ii) |z| > |w| =
1
|z w|

1
|z| |w|
1.2.1. Argumento
z
Figura 1.2: Denicion de argumento.

Dado 0 = z C, existe R t.q.
z = |z| (cos + i sen ) (g. 1.2).
El n umero esta denido modulo un m ultiplo entero de 2. Por ejemplo,
z = 1 = {0, 2, 4, . . . } = {2 k : k Z} .
Denici on 1.4. arg z (argumento de z): cualquier t.q. z = |z| (cos +i sen ).
=arg no es una funcion.
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} .
CAP
ITICAS 5
Para que sea unico, 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 determinacion del argumento
=arg
I
: C{0} I
arg
I
(z) = unico valor de arg z que pertenece a I
Ejemplo: arg
[0,2)
(1 i) = 5/4, arg
(,]
(1 i) = 3/4.
Determinacion principal del argumento:
Arg = arg
(,]
Ejemplo:
1 i 1 1 i i 1 i
Arg 0 /2 3/4 /2 /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 = 0 =z = r(cos + i sen ), r = |z| , = arg z.
z, w = 0; z = w
_
|z| = |w| , arg z = arg w mod 2
_
.
Interpretacion geometrica del producto en C:
z
1
z
2
= r
1
(cos
1
+ i sen
1
) r
2
(cos
2
+ i sen
2
)
= r
1
r
2
[(cos
1
cos
2
sen
1
sen
2
) +i(cos
1
sen
2
+ sen
1
cos
2
)]
= r
1
r
2
[cos(
1
+
2
) + i sen(
1
+
2
)]
De este calculo se sigue que |z
1
z
2
| = |z
1
| |z
2
| y
arg(z
1
z
2
) = arg z
1
+ arg z
2
mod 2. (1.1)
Arg(z
1
z
2
) = Arg z
1
+ Arg z
2
. Por ej.,
Arg(i) = /2 = Arg(1) + Arg i = 3/2.
Consecuencias:
(zz
1
= 1 ) arg(z
1
) = arg z mod 2
(zz = |z|
2
0 ) arg(z) = arg z mod 2
(w = 0 z/w w = z ) arg(z/w) = arg z arg w mod 2.
CAP
ITICAS 6
1.2.2. Formula 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)
= (cos
3
3 cos sen
2
) +i(3 cos
2
sen sen
3
)
=
_
_
_
cos(3) = cos
3
3 cos sen
2
sen(3) = 3 cos
2
sen sen
3
.
1.2.3. Races n-esimas
Si z = r(cos + i sen ) = 0, hallemos todas las soluciones w C de la ecuacion
w
n
= z (n N):
w = 0 =w = (cos + i sen )
w
n
=
n
_
cos(n) + i sen(n)
= r(cos + i sen )
_
_
_
n
= r =
n
r r
1/n
n = + 2k, k Z
w =
n
r
_
cos
_
n
+
2k
n
_
+ i sen
_
n
+
2k
n
__
, k = 0, 1, . . . , n 1.
= un n umero complejo no nulo tiene n races n-esimas distintas.
Ejemplo:
w
3
= i w = cos
_
6
+
2k
3
_
+ i sen
_
6
+
2k
3
_
, k = 0, 1, 2
w =
1
2
(
3 +i),
1
2
(
3 +i), i.
En particular, las n races n-esimas de la unidad (z = 1) son los n umeros
k
= cos
_
2k
n
_
+ i sen
_
2k
n
_
, k = 0, 1, . . . , n 1
(vertices de un polgono regular de n lados inscrito en la circunferencia unidad).
Notese que
k
=
k
, siendo =
1
= cos
_
2
n
_
+ i sen
_
2
n
_
.
Ejemplo: las races sextas de la unidad son
_
cos
_
3
_
+ i sen
_
3
__
k
=
1
2
k
(1 +i
3)
k
, k = 0, 1, . . . , 5
= 1,
1
2
(1 +i
3),
1
2
(1 +i
3), 1,
1
2
(1 +i
3),
1
2
(1 i
3).
CAP
ITICAS 7
Ejercicio. Probar que las n races n-esimas de z = 0 estan dadas por
n
z
k
, k = 0, 1, . . . , n 1,
donde
n
z denota cualquier raz n-esima de z.

1.3. La funcion exponencial, funciones trigonometricas e
hiperbolicas, logaritmos y potencias
1.3.1. Funcion exponencial
Si t R,
e
t
=
k=0
t
k
k!
cos t =
k=0
(1)
k
t
2k
(2k)!
sen t =
k=0
(1)
k
t
2k+1
(2k + 1)!
.
Sea z = x + i y C; la propiedad e
t
1
+t
2
= e
t
1
e
t
2
sugiere denir e
z
= e
x
e
iy
. A su vez,
procediendo formalmente se obtiene
e
iy
=
n=0
i
n
y
n
n!
=
k=0
i
2k
y
2k
(2k)!
+i
k=0
i
2k
y
2k+1
(2k + 1)!
= cos y +i sen y (ya que i
2k
= (i
2
)
k
= (1)
k
).
Denici on 1.5. Para todo z = x + i y C (x, y R), denimos
e
z
= e
x
(cos y + i sen y).
Nota: Si z R, la exponencial compleja se reduce a la exponencial real.
Valores particulares:
e
0
= 1, e
i/2
= i, e
i
= 1, e
3i/2
= i, e
2i
= 1.
Propiedades: Para todo z, w C se tiene
i) e
z+w
= e
z
e
w
.
ii) e
z
= 0, para todo z C.
iii) |e
z
| = e
Re z
, arg(e
z
) = Imz mod 2.
iv) e
z
= 1 z = 2ki, con k Z.
v) e
z
es una funcion periodica, cuyos perodos son los n umeros 2ki con k Z.
Demostraci on:
CAP
ITICAS 8
i) z = x + i y, w = u + i v =
e
z
e
w
= e
x
(cos y +i sen y)e
u
(cos v +i sen v)
= e
x+u
[cos y cos v sen y sen v +i(sen y cos v + cos y sen v)]
= e
x+u
[cos(y +v) + i sen(y +v)] = e
z+w
.
ii) e
0
= 1 =e
z
e
z
= 1 =(e
z
)
1
= e
z
.
iii) Obvio.
iv) e
z
= e
x
(cos y +i sen y) = 1 e
x
= 1, y = 0 mod 2
x = 0, y = 2k (k Z).
v) e
z
= e
z+w
e
w
= 1 w = 2ki (k Z).
z = |z| e
i arg z
; e
z
= e
z
.
1.3.2. Funciones trigonometricas e hiperbolicas
Si y es real entonces
e
iy
= cos y + i sen y, e
iy
= cos y i sen y
=cos y =
1
2
_
e
iy
+ e
iy
_
, sen y =
1
2i
_
e
iy
e
iy
_
.
Denici on 1.6. Para todo z C se dene
cos z =
1
2
_
e
iz
+ e
iz
_
, sen z =
1
2i
_
e
iz
e
iz
_
.
(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) = senz.
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) cos
2
z + sen
2
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.
CAP
ITICAS 9
ii) Por ejemplo
cos z cos w sen z sen w =
1
4
_
e
iz
+ e
iz
_ _
e
iw
+ e
iw
_
+
1
4
_
e
iz
e
iz
_ _
e
iw
e
iw
_
=
1
2
(e
iz
e
iw
+ e
iz
e
iw
) = cos(z +w).
iii) Caso particular de las formulas anteriores
iv) Hacer w = z en la formula para cos(z +w).
v) Consecuencia de e
w
= e
w
.
vi) sen z = 0 e
iz
e
iz
= 0 e
2iz
= 1 2iz = 2ki
(k Z) z = k (k Z).
vii) Por el apartado iii), basta probar la armacion para la funcion sen. La igualdad
sen(z + w) = sen z es equivalente a (e
i(2z+w)
1)(e
iw
1) = 0. Para que esta
igualdad se cumpla para todo z C para un w jo es necesario y suciente que
e
iw
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 = /2 +k, k Z);
cot z = cos z/ sen z = 1/ tan z, csc z = 1/ sen z (z = k, k Z).
Funciones hiperb olicas: para todo z C se dene
cosh z =
1
2
_
e
z
+ e
z
_
, senhz =
1
2
_
e
z
e
z
_
.
cosh z = cos(iz), senh z = i sen(iz)
De aqu se deducen las propiedades de las funciones hiperb olicas. Por ejemplo:
cosh
2
z senh
2
z = 1.
sen z = sen(x +iy) = sen xcos(iy) + cos xsen(iy)
= sen xcosh y + i cos xsenh y.
tanh z = senhz/ cosh z = i tan(iz) (z = i/2 +ki, k Z).
1.3.3. Logaritmos
En R, exp : R R
+
(exp(t) = e
t
) es una aplicacion biyectiva. Su inversa es la
funcion log : R
+
R. Por denicion,
log x = y x = e
y
(=x > 0).
En C, exp no es invertible al no ser inyectiva (por ser periodica). De hecho, se
tiene:
e
w
= z =z = 0;
w = u + i v =e
u
(cos v +i sen v) = z = 0
_
e
u
= |z| u = log |z|
v = arg z mod 2
w = log |z| + i arg z mod 2i .
CAP
ITICAS 10
Si z = 0, la ecuacion e
w
= z tiene innitas soluciones, que dieren entre s en
m ultiplos enteros de 2i. Si I es un intervalo semiabierto de longitud 2, podemos
escribir
z = 0, e
w
= z w = log |z| + i arg
I
z + 2ki, k Z.
A cada uno de estos (innitos) w se les denomina logaritmos de z = 0.
Ejemplo:
e
w
= 2i w = log 2
i
2
+ 2ki (k Z).
Denici on 1.7. Se dene la determinacion I del logaritmo mediante
log
I
z = log |z| +i arg
I
z, z = 0.
Notese que log
I
: C{0} {s C : Ims I} es una funci on.
La determinaci on principal del logaritmo se dene 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 = 0, e
log
I
z
= z.
ii) log
I
(e
w
) = w mod 2i. En particular, log
I
(e
w
) = w Imw I.
iii) log
I
: C{0} {s C : Ims I} es biyectiva.
iv) z, w = 0 =log
I
(z w) = log
I
z + log
I
w mod 2i.
Demostraci on:
i) z = 0 =e
log
I
z
= e
log|z|+i arg
I
z
= e
log|z|
e
i arg
I
z
= |z| e
i arg
I
z
= z.
ii) w = u + i v = log
I
(e
w
) = log(e
u
) + i arg
I
(e
w
) = u + i v mod 2i, ya que
arg
I
(e
w
) = Imw mod 2i. log
I
(e
w
) = w = Imw I porque Im(log
I
z) I
para todo z = 0. Recprocamente, si Imw I entonces log
I
(e
w
) = w porque
ambos miembros son iguales modulo 2i y sus partes imaginarias pertenecen a I.
iii) Hay que probar que para todo w con Imw I existe un unico z C {0} tal
que log
I
z = w. Esto es cierto por los apartados anteriores, siendo z = e
w
.
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
log
I
(zw) = log |zw| +i arg
I
(zw)
= log(|z| |w|) +i(arg
I
z + arg
I
w) mod 2i
= log |z| + log |w| +i(arg
I
z + arg
I
w) mod 2i
= (log |z| +i arg
I
z) + (log |w| +i arg
I
w) mod 2i
= log
I
z + log
I
w mod 2i.
Nota: En general, Log(zw) = Log z + Log w. Por ejemplo,
Log(i) =
i
2
= Log(1) + Log i = i +
i
2
=
3i
2
.
CAP
ITICAS 11
1.3.4. Potencias complejas
Si a, b C y a = 0, e, denimos
a
b
= e
b log a
donde log a = log
I
a + 2ki, k Z.
Por tanto, en general a
b
denota un conjunto de n umeros complejos:
a
b
= e
2kbi
e
b log
I
a
, k Z.
Mas concretamente, se tiene:
i) b Z =a
b
tiene un valor unico ( = a a a
. .
b veces
).
ii) Si b = p/q Q, con p Z y 1 < q N primos entre s, entonces a
b
= a
p/q
toma
exactamente q valores (las q races q-esimas de a
p
).
iii) En los demas casos (b C Q), a
b
tiene innitos valores que dieren entre s en
un factor de la forma e
2kbi
, con k Z.
Ejemplo:
(1 +i)
i
= e
i[Log(1+i)+2ki]
= e
2k
e
i(
1
2
log 2+
3i
4
)
(k Z)
= e
5
4
+2n
e
i
2
log 2
(n Z).
Si a = 0, cada determinacion de log dene una funcion a
z
( = e
z log
I
a
).
Ejercicio: dados a, b C con a = 0, estudiar si se cumple la igualdad
a
b+c
= a
b
a
c
.
1.4. Lmites y continuidad
Algunos conceptos topologicos:
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 CA 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.
CAP
ITICAS 12
1.4.1. Lmites
Notacion:
En lo que sigue, A y B denotan conjuntos abiertos,
f : A C
z = x + i y f(z) = u(x, y) + i v(x, y).
u : A R
2
R y v : A R
2
R (la parte real e imaginaria de f, resp.) son
funciones escalares reales.
Si f : A C esta denida en A{a} y l C, lm
za
f(z) = l
> 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) lm
za
f(z), dicho lmite es unico.
ii) lm
za
f(z) = l lm
(x,y)a
u(x, y) = Re l y lm
(x,y)a
v(x, y) = Iml.
iii) lm
za
[f(z) +g(z)] = lm
za
f(z) + lm
za
g(z).
iv) lm
za
[f(z)g(z)] = lm
za
f(z) lm
za
g(z).
v) lm
za
g(z) = 0 = lm
za
1
g(z)
=
1
lm
za
g(z)
.
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 R
2
R
2
iv)v) se demuestran como en el caso real (reemplazando el valor absoluto por el modulo).
1.4.2. Continuidad
f : A C denida en A es continua en a A si lm
za
f(z) = f(a).
En particular, f continua en a =f denida 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 fg continuas en a.
ii) Si, ademas, g(a) = 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.
CAP
ITICAS 13
1.5. Derivabilidad
f : A C denida en A es derivable (en sentido complejo) en a A si existe
lm
za
f(z) f(a)
z a
f
(a).
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.
(Notese que f analtica en a es mas fuerte que f derivable en a.)
f : A C derivable en a A =f continua en a:
lm
za
[f(z) f(a)] = lm
za
_
f(z) f(a)
z a
(z a)
_
= lm
za
f(z) f(a)
z a
lm
za
(z a)
= 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)
(z) = a f
(z) +b g
(z).
ii) fg es derivable en z, siendo (fg)
(z) = f
(z)g(z) +f(z)g
(z).
iii) Si g(z) = 0, f/g es derivable en z y
(f/g)
(z) =
g(z)f
(z) f(z)g
(z)
g(z)
2
.
Ejemplo: polinomios y funciones racionales.
1.5.1. Ecuaciones de CauchyRiemann
Sea a = a
1
+ i a
2
C, y sea M
a
: C R
2
C R
2
la aplicacion lineal denida
por M
a
z = a z, z C. Entonces la matriz de M
a
(en la base canonica {1, i} de
R
2
) es
_
a
1
a
2
a
2
a
1
_
.
f : A C denida en el abierto A es diferenciable (en sentido real) en z
0
A si
existe una aplicacion lineal Df(z
0
) : R
2
C R
2
C tal que
lm
zz
0
|f(z) f(z
0
) Df(z
0
) (z z
0
)|
|z z
0
|
= 0.
(Notese que el modulo de z = x+i y es la norma del vector (x, y).) A la aplicacion
Df(z
0
) se le denomina derivada (en sentido real) de f en z
0
.
CAP
ITICAS 14
Teorema 1.8. Sea f = u+i v : A C denida en el abierto A, y sea z
0
= x
0
+i y
0
A.
Entonces f es derivable en sentido complejo en z
0
si y s olo si se cumple:
i) f es diferenciable en sentido real en (x
0
, y
0
).
ii) Se satisfacen las ecuaciones de CauchyRiemann
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
),
u
y
(x
0
, y
0
) =
v
x
(x
0
, y
0
).
Demostraci on.
=) f es diferenciable (en sentido real) en z
0
= (x
0
, y
0
) con derivada Df(z
0
) = M
f
(z
0
)
,
ya que
lm
zz
0
|f(z) f(z
0
) f
(z
0
)(z z
0
)|
|z z
0
|
= lm
zz
0
f(z) f(z
0
) f
(z
0
)(z z
0
)
z z
0
= lm
zz
0
f(z) f(z
0
)
z z
0
f
(z
0
)
= 0.
Sea u
x
=
u
x
(x
0
, y
0
), y analogamente u
y
, v
x
, v
y
. Igualando la matriz de Df(z
0
) en la
base canonica de R
2
(matriz jacobiana) con la de M
f
(z
0
)
se obtiene
_
u
x
u
y
v
x
v
y
_
=
_
Re f
(z
0
) Imf
(z
0
)
Imf
(z
0
) Re f
(z
0
)
_
,
de donde se obtienen las ecs. de CauchyRiemann, junto con las relaciones
f
(z
0
) = u
x
+ i v
x
= v
y
i u
y
.
=) Por las ecs. de CauchyRiemann, la matriz jacobiana de f en z
0
es
_
u
x
v
x
v
x
u
x
_
= M
c
,
siendo c = u
x
+ i v
x
. De esto se sigue que Df(z
0
) (z z
0
) = c(z z
0
), y por tanto
0 = lm
zz
0
|f(z) f(z
0
) c(z z
0
)|
|z z
0
|
= lm
zz
0
f(z) f(z
0
)
z z
0
c
(z
0
) = c u
x
+ i v
x
= v
y
i u
y
.
Q.E.D.
De la demostracion del teorema se sigue que si f = u + i v es derivable en sentido
complejo en z
0
= x
0
+ i y
0
entonces
f
(z
0
) = u
x
(x
0
, y
0
) + i v
x
(x
0
, y
0
)
f
x
(z
0
)
= v
y
(x
0
, y
0
) i u
y
(x
0
, y
0
)
1
i
f
y
(z
0
).
El teorema anterior puede formularse tambien de la siguiente forma alternativa:
CAP
ITICAS 15
Teorema 1.9. Sea f : A C denida en un abierto A, y sea z
0
= x
0
+ i y
0
A.
Entonces f es derivable en sentido complejo en z
0
si y s olo si se cumplen las siguientes
condiciones:
i) f es diferenciable en sentido real en (x
0
, y
0
)
ii) Existe c C tal que Df(x
0
, y
0
) = M
c
.
Adem as, si f es derivable en z
0
entonces c = f
(z
0
).
f : A C analtica en una regi on A y f
= 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) = M
f
(a)
= 0. El resultado anterior se sigue entonces
del resultado analogo para funciones R
n
R
m
.
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
(g f)
(z) = g
_
f(z)
_
f
(z). (1.2)
En efecto, f y g son derivables en sentido real en z y f(z), resp., siendo Df(z) =
M
f
(z)
y Dg
_
f(z)
_
= M
g
(f(z))
. Por la regla de la cadena para funciones de R
n
en R
m
,
g f es derivable en sentido real en z, y se tiene:
D(g f)(z) = Dg
_
f(z)
_
Df(z) = M
g
(f(z))
M
f
(z)
= M
g
(f(z))f
(z)
,
que implica (1.2) por el Teorema 1.9.
Derivabilidad de las funciones exponenciales y trigonometricas:
f(z) = e
z
= u(x, y) = e
x
cos y, v(x, y) = e
x
sen y = u y v derivables (de clase C
)
en R
2
. Ademas,
u
x
= e
x
cos y = v
y
, u
y
= e
x
sen y = v
x
.
Por tanto, e
z
es derivable (en sentido complejo) en C, siendo
(e
z
)
= u
x
+ i v
x
= e
x
cos y + i e
x
sen y = e
z
, 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)
=
i e
iz
+ i e
iz
2i
= cos z, (cos z)
=
1
2
(i e
iz
i e
iz
) = sen z.
De estas formulas se deduce la derivabilidad de las restantes funciones trigonometricas
en todos los puntos de sus dominios. Por ejemplo,
(tan z)
=
cos
2
z + sen
2
z
cos
2
z
= sec
2
z, z =

2
+k (k Z).
CAP
ITICAS 16
1.5.3. Teorema de la funcion inversa
Teorema 1.10. Sea f : A C analtica en el abierto A (con f
continua en A). Si
a A y f
(a) = 0, existen sendos abiertos U a y V f(a) tales que f
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
)
(w) =
1
f
_
f
1
(w)
_, w V.
Demostraci on. f es derivable en sentido real en todo z A, y su matriz jacobiana
_
u
x
(z) v
x
(z)
v
x
(z) u
x
(z)
_
tiene determinante u
2
x
(z) + v
2
x
(z) = |f
(z)|
2
= 0. Por el teorema de la funcion inversa
para funciones R
2
R
2
(notese que la continuidad de f
implica la continuidad de
las derivadas parciales de u y v), hay sendos abiertos U a y V 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
D(f
1
)(w) =
_
Df
_
f
1
(w)
_
1
, w V.
Llamando z = f
1
(w) se tiene, por el Teorema 1.9:
D(f
1
)(w) = [Df(z)]
1
= M
1
f
(z)
= M
1/f
(z)
.
(Notese que f
no se anula en U A, al ser |f
(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
(z). Q.E.D.
Derivabilidad de log:
Log : C {0} {z C : < Imz } 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 : < Imz < } B,
y exp satisface las condiciones del teorema de la funcion inversa en todo punto de
A (exp
= exp no se anula y es continua en A).

Si z A y w = e
z
B, hay dos abiertos U z y V w tales que exp : U A V
es invertible en U, y
(exp
1
)
(w) =
1
exp
(z)
=
1
e
z
=
1
w
.
Al ser U A se tiene exp
1
= Log, y por tanto
(Log w)
=
1
w
, w C(R
{0}).
Del mismo modo se prueba la derivabilidad de log
I
(I = [y
0
, y
0
+2) o (y
0
, y
0
+2])
en el abierto C({w : arg w = y
0
mod 2} {0}), siendo log
I
(w) = 1/w.
CAP
ITICAS 17
1.5.4. 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 dene su derivada
(t) mediante
(t) =
1
(t) +i
2
(t).
Geometricamente,
(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 )
(t) = f
_
(t)
_

(t) , t [a, b] .
En efecto, (f )
(t) = Df
_
(t)
_

(t) = M
f
((t))

(t) = f
_
(t)
_

(t).
Denici on 1.11. Sea z
0
A, con A abierto y f : A C denida en A. Se dira que f es
conforme en z
0
si existen [0, 2) y r > 0 tales que, para toda curva : [1, 1] C
diferenciable en t = 0 con (0) = z
0
y
(0) = 0, la curva = f es diferenciable en 0,

y se cumple
(0)
= r
(0)
, arg
(0) = arg
(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 angulos entre pares de curvas (de-
nidos como los angulos formados por los vectores tangentes a las curvas en el
punto de interseccion).
Proposici on 1.12. Si f : A C denida en el abierto A es derivable en z
0
A, y
f
(z
0
) = 0, entonces f es conforme en z
0
.
Demostraci on. Utilizando la misma notacion que en la Denicion 1.11 se tiene (dado
que f
(z
0
) = 0):
(0) = f
_
(0)
_

(0) = f
(z
0
)
(0)
=
(0)
(z
0
)
(0)
, arg
(0) = arg
(0) + arg f
(z
0
) mod 2.
Se cumple la condicion de la Denicion 1.11, siendo
r =
(z
0
)
> 0, = arg
[0,2)
f
(z
0
).
Q.E.D.
1.5.5. Funciones armonicas
Denici on 1.13. Una funcion u : A R
2
R es armonica en el abierto A si
u C
2
(A), y se cumple
2
u

2
u
x
2
+

2
u
y
2
= 0 en A.
Si f : A C es analtica en el abierto A entonces u = Re f y v = Imf son
armonicas en A. (Se dice que u y v son funciones armonicas conjugadas).
CAP
ITICAS 18
En efecto, veremos mas adelante que f analtica en A = u, v C
(A). De las
ecuaciones de CauchyRiemann se sigue que
u
xx
=
v
y
x
= v
yx
= v
xy
=
u
y
y
= u
yy
,
y analogamente para v. (Notese que v
xy
= v
yx
por ser v de clase C
2
(A).)
Si f = u + i v : A C es analtica en el abierto A y f
no se anula en A, las dos

familias de curvas planas u(x, y) = c
1
y v(x, y) = c
2
son ortogonales.
En efecto, las dos familias de curvas son regulares, ya que de las ecs. de Cauchy
Riemann se sigue que
u = 0 u
x
= u
y
= 0 =v
x
= v
y
= 0 =f
= 0,
y analogamente para v. Los vectores normales a las curvas u(x, y) = c
1
y v(x, y) =
c
2
en un punto de interseccion (x
0
, y
0
) son ortogonales, ya que
u(x
0
, y
0
) v(x
0
, y
0
) = u
x
(x
0
, y
0
)v
x
(x
0
, y
0
) +u
y
(x
0
, y
0
)v
y
(x
0
, y
0
)
= u
x
(x
0
, y
0
)u
y
(x
0
, y
0
) +u
y
(x
0
, y
0
)u
x
(x
0
, y
0
) = 0,
por las ecuaciones de CauchyRiemann.
Nota: Otra forma de probar el resultado anterior es observar que si z
0
= x
0
+
i y
0
A y f(z
0
) = c
1
+ ic
2
, la imagen bajo f de la curva {z : u(x, y) = c
1
} A
esta contenida en la recta vertical {w : Re w = c
1
}. Analogamente, la imagen de la
curva {v(x, y) = c
2
} A es un subconjunto de la recta horizontal {w : Imw = c
2
}.
Como las rectas Re w = c
1
y Imw = c
2
se cortan ortogonalmente en c
1
+ i c
2
, 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) = c
1
y v(x, y) = c
2
.
Si u : A R
2
C R es armonica en A, z
0
A y U A es un entorno de z
0
,
hay una funcion f : U C analtica en U tal que Re f = u.
En efecto, si z = x + i y U entonces v = Imf debera cumplir:
v
y
= u
x
=v(x, y) =
_
y
y
0
u
x
(x, t) dt +h(x);
v
x
=
_
y
y
0
u
xx
(x, t) dt +h
(x) =
_
y
y
0
u
yy
(x, t) dt +h
(x)
= u
y
(x, y) +u
y
(x, y
0
) +h
(x) = u
y
h
(x) = u
y
(x, y
0
)
=h(x) =
_
x
x
0
u
y
(t, y
0
) dt +c
=v =
_
y
y
0
u
x
(x, t) dt
_
x
x
0
u
y
(t, y
0
) dt +c.
Si v esta dada por la formula 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 = u
y
dx +u
x
dy es cerrada en U (al ser
u armonica) = v : U R (de clase C
2
(U)) tal que dv = . Esto implica que
v
x
= u
y
, v
y
= u
x
, por lo que f = u + i v es analtica en U.
CAP
ITICAS 19
En una regi on, v esta determinada salvo por una constante aditiva. En efecto, si
v
1
y v
2
son armonicas conjugadas de la misma funcion armonica u en la region
A, las funciones f
1
= u + i v
1
y f
2
= u + i v
2
son analticas en A, por lo que
f = f
1
f
2
= i(v
1
v
2
) tambien es analtica en A. Al ser Re f = 0 en A, las
ecuaciones de CauchyRiemann implican que las derivadas parciales de Imf se
anulan en A. Por ser A una region, Imf = v
1
v
2
ha de ser constante en A.
La existencia de armonica conjugada de una funcion armonica dada no esta ase-
gurada globalmente. Por ejemplo, u : A = R
2
{0} R denida por u(x, y) =
1
2
log(x
2
+y
2
) no admite una armonica conjugada en A. Localmente, v = arg
I
z+c,
escogiendo I de forma que arg
I
sea continuo (y por tanto C
) en el entorno consi-
derado, ya que u = log |z| =u+i v = log
I
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
y0+
_
f(x + i y) f(x i y)
= f(x) f(x) = 0 .
Captulo 2
El teorema de Cauchy
2.1. Integracion sobre arcos: denicion y
propiedades elementales
Si h
1
, h
2
: R R son integrables (por ej., continuas) en [a, b] R y h = h
1
+i h
2
:
R C, denimos
_
b
a
h
_
b
a
h(t) dt =
_
b
a
h
1
(t) dt +i
_
b
a
h
2
(t) dt C.
Ejemplo:
_

0
e
it
dt =
_

0
cos t dt +i
_

0
sen t dt = 2 i.
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 nita a = a
0
< a
1
<
. . . < a
n1
< a
n
= b de [a, b] tal que
existe y es continua en cada subintervalo

[a
i1
, a
i
] (1 i n).
En otras palabras, es continua en [a, b] y C
1
en [a, b] {a
0
, . . . , a
n
}, y existen
lm
ta+
(t), lm
tb
(t) y lm
ta
i
(t) para i = 1, . . . , n1, aunque los lmites

por la izquierda y por la derecha en a
i
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, denimos
_
f
_
f(z) dz =
n
i=1
_
a
i
a
i1
f
_
(t)
_
(t) dt C.
N otese que f
_
(t)
_
(t) es continua en cada uno de los subintervalos [a

i
, a
i1
].
Si f = u + iv y (t) = x(t) + i y(t), entonces (suponiendo por sencillez que es
20
CAP
ITULO 2. EL TEOREMA DE CAUCHY 21

C
1
en [a, b])
_
f =
_
b
a
_
u
_
x(t), y(t)
_
+i v
_
x(t), y(t)
_ _
x
(t) +i y
(t)
dt.
=
_
b
a
_
u
_
x(t), y(t)
_
x
(t) v
_
x(t), y(t)
_
y
(t)
dt
+i
_
b
a
_
u
_
x(t), y(t)
_
y
(t) +v
_
x(t), y(t)
_
x
(t)
=
_
(udx v dy) +i
_
(v dx +udy).
Linealidad. Para todo , C se cumple
_
(f +g) =
_
f +
_
g.
Cadenas. Si : [a, b] C es una curva C
1
a trozos, se dene 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
_
f =
_
b
a
f
_
(a +b t)
__
(a +b t)
_
dt
s=a+bt
=
_
a
b
f
_
(s)
_
(s) ds
=
_
b
a
f
_
(s)
_
(s) ds =
_
f.
Si
1
: [a, b] C y
2
: [b, c] C son curvas C
1
a trozos con
1
(b) =
2
(b), denimos
la curva C
1
a trozos
1
+
2
: [a, c] C mediante
(
1
+
2
)(t) =
_
1
(t), t [a, b]
2
(t), t [b, c].
De forma analoga se dene 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
_
1
+
2
f =
_
1
f +
_
2
f.
Analogamente,
_
1
++n
f =
n
i=1
_
i
f.
Invariancia bajo reparametrizaci on. Si : [a, b] C es C
1
a trozos, una reparame-
trizaci on de es una curva : [ a,
b] C de la forma = , siendo : [ a,
b]
([ a,
b]) = [a, b] una aplicacion de clase C

1
en [ a,
b] con derivada positiva en [ a,
b].
Notese que, al ser
> 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
CAP

([a, b]) = ([ a,
b]) (es decir, y tienen la misma imagen). Observese, por ultimo,

que el teorema de la funcion 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 .
Ejemplo: (s) = e
i s
_
s
_
3
,
2
3
_
es una reparametrizacion de (t) = t + i
1 t
2
_
t
_
1
2
,
1
2
_
. En efecto, (s) = (cos s), siendo en este caso (s) = cos s de clase
C
1
y
(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:
_

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:

_

f =
_

b
a
f
_
(s)
_

(s) ds =
_

b
a
f
_
((s))
_
_
(s)
_
(s) ds
t=(s)
=
_
b
a
f
_
(t)
_
(t) dt =
_
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 dene
_
f(z) |dz| =
_
b
a
f
_
((t)
_
(t)
dt.
Notese que si f = u +i v entonces
_
f(z) |dz| =
_
uds +i
_
v ds. En particular,
_
|dz| =
_
ds = l() longitud de .
Propiedades:
i)
_
_
f(z) + g(z)
_
|dz| =
_
f(z) |dz| +
_
(z) |dz| , , C.
ii)
_
1
++n
f(z) |dz| =
n
i=1
_
i
f(z) |dz|.
iii)
_
f(z) |dz| =
_
f(z) |dz|.
iv) Si es una reparametrizacion de ,
_

f(z) |dz| =
_
f(z) |dz|.
Desigualdad fundamental.
f(z) dz
|f(z)| |dz|.
En particular, si max
t[a,b]
f
_
(t)
_
= M entonces
f(z) dz
M l().
CAP

En efecto, la segundad desigualdad es consecuencia de la primera (por las propiedades de
la integral de funciones reales de una variable real). Si
_
f = 0, la primera desigualdad
se cumple trivialmente. En caso contrario, llamando = Arg(
_
f) se tiene:
= Re
_
e
i
_
f
_
=
_
b
a
Re
_
e
i
f
_
(t)
_
(t)
_
dt
_
b
a
Re
_
e
i
f
_
(t)
_
(t)
_
dt
_
b
a
Re
_
e
i
f
_
(t)
_
(t)
_
dt
_
b
a
f
_
(t)
_
(t)
dt =
_
|f(z)| |dz| .
Teorema fundamental del Calculo. Sea F : A C analtica en el abierto A (con
F
continua en A). Si : [a, b] C es C

1
a trozos y ([a, b]) A entonces se cumple:
_
= F
_
(b)
_
F
_
(a)
_
.
En particular, si es cerrada (i.e., (b) = (a)) se tiene
_
= 0.
Demostraci on.
_
=
_
b
a
F
_
(t)
_
(t) dt =
_
b
a
(F )
(t) dt = F
_
(b)
_
F
_
(a)
_
,
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
armaciones son equivalentes:
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 z
1
A con otro punto z
2
A.
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
(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 z
1
A con z
2
A entonces =
1
+ (
2
)
1
2
es una curva cerrada, y
_
f =
_
2
f =
_
1
f
_
2
f.
iii) =i) Por el teorema fundamental del Calculo (F
es continua, ya que F
= f).
i)=iii) Fijemos (arbitrariamente) un punto z
0
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 z
0
con z.
Denimos entonces
F(z) =
_
f.
CAP

Notese que, por hipotesis, F no depende de la curva A que utilicemos para unir z
0
con z.
Probemos nalmente que F es diferenciable en todo punto z A, con F
(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:
F(w) F(z) =
_
+L
f
_
f =
_
L
f.
Al ser (w z)f(z) = f(z)
_
L
1 =
_
L
f(z) d (ya que 1 =
) se tiene:
F(w) F(z)
w z
f(z)
=
|F(w) F(z) (w z)f(z)|
|w z|
=
_
L
f() d
_
L
f(z) d
|w z|
=
_
L
[f() f(z)] d
|w z|
l(L)
|w z|
= .
Q.E.D.
2.2. Teorema de CauchyGoursat. Homotopa.
Antiderivadas
Una curva cerrada : [a, b] Ces simple si a s < t b y (s) = (t) =s = a
y t = b.
Teorema de Cauchy (version original). Si es una curva cerrada simple C
1
a
trozos y f : 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
_
f dz =
_
(udx v dy) +i
_
(udy +v dx)
=
_
D
(u
y
+v
x
) dxdy +i
_
D
(u
x
v
y
) dxdy = 0,
en virtud de las ecuaciones de CauchyRiemann. Q.E.D.
Este resultado es insuciente, ya que no hace falta suponer que f
sea continua (se

deduce del resto de hipotesis). Ademas, el resultado es valido para curvas mucho
mas generales.
Teorema de CauchyGoursat para un rectangulo. 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:
_
R
f = 0.
CAP

Demostraci on. Orientemos R en sentido antihorario (obviamente, el resultado es inde-
pendiente de la orientacion de R). Si dividimos R en cuatro subrectangulos congruentes
R
(i)
(i = 1, . . . , 4) (tambien orientados en sentido antihorario) entonces
_
R
f =
4
i=1
_
R
(i)
f.
Por tanto, existe k {1, . . . , 4} tal que
_
R
(k)
f
1
4
_
R
f
.
Llamemos R
1
= R
(k)
. Repitiendo indenidamente el proceso anterior, obtenemos una
sucesion de rectangulos cerrados encajados R
0
R R
1
R
2
R
n
R
n+1

. . . tales que
_
Rn
f
1
4
_
R
n1
f
_
Rn
f
1
4
n
_
R
f
, n N.
Ademas, si P
i
y D
i
denotan respectivamente el permetro y la diagonal del i-esimo
rectangulo y P P
0
, D D
0
, se tiene:
P
i
=
P
2
i
, D
i
=
D
2
i
, i N.
Por el teorema de encaje de Cantor,
nN
R
n
= {a}, con a R. Ademas,
z R
n
=|z a| D
n
= 2
n
D.
Si > 0, tomemos > 0 sucientemente peque no de modo que f sea analtica en D(a; )
y ademas se verique
f(z) f(a) (z a)f
(a)
< |z a| , z D(a; ), z = a.
Escojamos ahora n sucientemente grande para que D
n
= 2
n
D < , de modo que
R
n
D(a; ). Notese que, por el teorema fundamental del Calculo,
_
Rn
dz =
_
Rn
z dz = 0.
De esto se sigue que
_
R
f
4
n
_
Rn
f
= 4
n
_
Rn
_
f(z) f(a) f
(a)(z a)
dz
4
n
_
Rn
|z a| |dz| 4
n
2
n
D P
n
= 4
n
2
n
D 2
n
P = PD.
Como > 0 es arbitrario, el teorema esta demostrado. Q.E.D.
Teorema de CauchyGoursat generalizado. Sea a un punto interior a R, y su-
pongamos que f : C C es analtica en R {a} y lm
za
[(z a)f(z)] = 0. Entonces
_
R
f = 0.
CAP

Demostraci on. Sea Q R un cuadrado con lados paralelos a los ejes coordenados de
centro a y lado l > 0 sucientemente peque no de forma que que |(z a)f(z)| < si
z Q{a}. Subdividiendo el rectangulo R adecuadamente obtenemos entonces
_
R
f
_
Q
f

_
Q
|dz|
|z a|

2
l
4l = 8 ,
lo que demuestra nuestra armaci on. Q.E.D.
2.2.1. Homotopa. Teorema de Cauchy
Sea A C una region, y sean
1
y
2
dos curvas continuas contenidas en A
con los mismos extremos z
1
, z
2
A (z
1
= z
2
), o dos curvas cerradas continuas
contenidas en A. Diremos que
1
y
2
son homotopas 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 z
1
y z
2
, y en el segundo todas las curvas deformadas han de ser cerradas.
Un punto z
0
A es una curva cerrada constante: (t) = z
0
, t [a, b]. Notese que
_
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 deformacion. 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 verica
_
1
f =
_
2
f.
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
_
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 _
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 sea z
0
A ([a, b]). Si f es analtica en A {z
0
} y
lm
zz
0
[(z z
0
)f(z)] = 0 entonces
_
f = 0.
CAP

2.3.

Indice. Formula integral de Cauchy
y sus consecuencias
2.3.1.

Indice
Si es una curva cerrada (C
1
a trozos) y a / , denimos el ndice de a respecto
de mediante
n(, a) =
1
2i
_
dz
z a
.
Si es una circunferencia de centro a y radio r > 0 recorrida n veces en sentido
antihorario ((t) = a +r e
it
, con t [0, 2n]) entonces
n(, a) =
1
2i
_
2n
0
ire
it
re
it
dt = n.
Analogamente, 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 z
0
es un punto exterior a una circunferencia (o a cualquier curva cerrada
simple) , entonces (z z
0
)
1
es analtica en A = C{z
0
} y es homotopa a un punto
en A =n(, z
0
) = 0.
Proposici on 2.4. n(, z
0
) es un entero.
Demostraci on. Supongamos, por sencillez, que es C
1
en [a, b]. Si : [a, b] C, sea
h(t) =
_
t
a
(s)
(s) z
0
ds;
entonces n(, z
0
) = h(b)/(2i). Por otra parte, h es derivable en [a, b] (el integrando es
continuo, ya que el denominador no se anula), y
h
(t) =

(t)
(t) z
0
=
d
dt
_
e
h(t)
[(t) z
0
]
_
= 0, t [a, b].
Por tanto e
h(t)
_
(t) z
0
_
es constante en [a, b], de donde se deduce que
(a) z
0
= e
h(b)
((b) z
0
) = e
h(b)
((a) z
0
) =e
h(b)
= 1 =h(b) = 2ni, n Z.
Q.E.D.
2.3.2. Formula integral de Cauchy
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 verica
n(, a) f(a) =
1
2i
_
f(z)
z a
dz.
CAP

Demostraci on. La funcion
g(z) =
_
_
_
f(z) f(a)
z a
, z = a
f
(a), z = a
es analtica en A {a} y lm
za
[(z a)g(z)] = lm
za
[f(z) f(a)] = 0. Por el teorema de
Cauchy generalizado,
0 =
_
g =
_
f(z) f(a)
z a
dz =
_
f(z)
z a
dz f(a)
_
dz
z a
=
_
f(z)
z a
dz f(a) 2in(, a).
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
f(z) =
1
2i
_
f(w)
w z
dw.
Derivando esta formula formalmente respecto de z bajo el signo integral obtenemos
f
(k)
(z) =
k!
2i
_
f(w)
(w z)
k+1
dw, k N (2.2)
En particular f es innitas 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 sucientemente peque no).
2.3.3. Formula integral de Cauchy para las derivadas
Sea f : A C una funci on analtica en una regi on A. Entonces f es innitas 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 z
0
A([a, b]) se verica
n(, z
0
) f
(k)
(z
0
) =
k!
2i
_
f(w)
(w z
0
)
k+1
dw, k N. (2.3)
Demostraci on. Consideremos la integral de tipo Cauchy
G(z) =
_
g(w)
w z
dw,
donde g es una funcion continua sobre y z / ([a, b]). Se demuestra entonces que G
es innitas veces derivable en todo punto z A ([a, b]), siendo
G
(k)
(z) = k!
_
g(w)
(w z)
k+1
dw.
La demostracion es por induccion, aunque nosotros solo probaremos en detalle el caso
k = 1. Para ello, sea z
0
A ([a, b]),
CAP

Figura 2.1: integral de tipo Cauchy
2 = mn
t[a,b]
|(t) z
0
| > 0, M = max
t[a,b]
g
_
(t)
_
.
(Notese que > 0 y M < por la continuidad de y g en [a, b].) Si z D(z
0
; )
con z = z
0
se tiene
G(z) G(z
0
)
z z
0
=
_
1
z z
0
_
1
w z

1
w z
0
_
g(w) dw.
Pero
1
z z
0
_
1
w z

1
w z
0
_
=
1
(w z)(w z
0
)
=
1
(w z
0
)
2
w z
0
w z
=
1
(w z
0
)
2
_
1 +
z z
0
w z
_
.
Por tanto
G(z) G(z
0
)
z z
0
g(w)
(w z
0
)
2
dw
= |z z
0
|
g(w)
(w z
0
)
2
(w z)
dw
|z z
0
|
M l()
4
2

zz
0
0.
Como n(, z) es una integral de tipo Cauchy (g = 1/2i), es continua en cualquier
entorno D de z
0
que no corte a (por ejemplo, en D(z
0
; )), y como es un n umero
entero ha de ser constante en dicho entorno. Si
F(z) =
1
2i
_
f(w)
w z
dw
y z D se tiene
F(z) = n(, z)f(z) = n(, z
0
)f(z)
y por tanto (ya que F tambien es de tipo Cauchy)
n(, z)f
(k)
(z) = n(, z
0
)f
(k)
(z) = F
(k)
(z)
=
k!
2i
_
f(w)
(w z)
k+1
dw.
Q.E.D.
CAP

Nota: A partir del teorema anterior se prueba facilmente que si f es analtica en un
conjunto cualquiera C entonces f es innitas 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
|za|=R
|f(z)| entonces
f
k
(a)

k!
R
k
M, 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
f
(k)
(a)
=
k!
2
f(z)
(z a)
k+1
dz
k!
2
_
|f(z)|
|z a|
k+1
|dz|
k!
2
M
R
k+1
2R =
k!
R
k
M.
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
(z)
<
M
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
(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
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 Canaltica en A tal que f = F
en A. Como F es analtica en A, es innitamente

derivable en A, y por tanto f
= F
existe en todo punto de A. Q.E.D.

CAP

2.3.7. Teorema fundamental del

Algebra
Un polinomio de grado n 1 tiene al menos una raz.
Demostraci on. Sea p(z) =
n
i=0
a
i
z
i
, con a
n
= 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 = 0
|p(z)| |z|
n
_
|a
n
|
|a
n1
|
|z|

|a
0
|
|z|
n
_
.
Como |a
i
| / |z|
ni
|z|
0 (i = 1, . . . , n 1), existe K > 1 tal que
|z| > K =
|a
i
|
|z|
ni
<
|a
n
|
2n
, i = 1, . . . , n.
Por tanto
|z| > K =|p(z)| >
|a
n
|
2
|z|
n
>
|a
n
|
2
> 0.
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) = 0 para
todo z C). Por tanto, hemos probado que
|f(z)| =
1
|p(z)|
< max
_
2
|a
n
|
,
1
M
_
, z C.
Esto contradice el teorema de Liouville, al ser f entera y no constante (p no es constante,
ya que a
n
= 0 y n 1). Q.E.D.
2.4. Principio del modulo maximo. Propiedad del valor
medio
2.4.1. Propiedad del valor medio
Si f : C C es analtica en el disco cerrado D(a; r) se verica
f(a) =
1
2
_
2
0
f
_
a +r e
i
_
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. MarsdenHoman, 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
CAP

(con mas rigor, en un disco abierto ligeramente mas grande contenido en A). Aplicando
la formula integral de Cauchy se obtiene:
f(a) =
1
2i
_
f(z)
z a
dz
z=a+re
i
=
1
2i
_
2
0
f(a +r e
i
)
r e
i
ire
i
d
=
1
2
_
2
0
f
_
a +r e
i
_
d.
Q.E.D.
2.4.2. Principio del modulo maximo
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 hipotesis, 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 z
0
= a +re
i
D tal que |f(z
0
)| < |f(a)|. Por la continuidad de f en D A,
existen > 0 y 0 < tales que
f(a +re
i
)
< |f(a)| , +.
En efecto, al ser |f(a)| |f(z
0
)| > 0 existe > 0 tal que |f(z
0
)| < |f(a)| 2, y por continuidad
de g() = f(a + re
i
) en = existe 0 < tal que
f(a +re
i
) f(a +re
i
)
< si
+ . Para estos valores de se cumple
f(a +re
i
)
f(a +re
i
)
+ <
|f(a)| 2 + = |f(a)| .
Aplicando la propiedad del valor medio obtenemos:
|f(a)| =
1
2
_
+
f(a +re
i
) d
1
2
f(a +re
i
) d
+
1
2
_
+
f(a +re
i
) d
+
1
2
_
+
+
f(a +re
i
) d
1
2
_
|f(a)| ( ) + (|f(a)| )(2) +|f(a)| ( )
= |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 z
0
A, y sea B =
{z A : f(z) = f(z
0
)}. Notese que, al ser f continua en A, B es cerrado respecto de A.
Si z B, como |f(z)| = |f(z
0
)| = max
zA
|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 (z
0
B) y A es conexo, se tiene que B = A, es decir
f(z) = f(z
0
) para todo z A. Q.E.D.
CAP

2.4.3. Principio del modulo maximo global
Sea f : C C analtica en una regi on acotada A y continua en la frontera A de
A. Si M = max
zA
|f(z)|, entonces se cumple:
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 armacion es consecuencia
de la primera y del corolario del teorema del modulo maximo local. Para probar la
primera armacion, notese que la funcion |f| tambien es continua en el compacto

A =
AA, de forma que alcanza un maximo en dicho conjunto. Si dicho maximo se alcanza
en A, entonces la primera armacion se cumple por denicion de maximo. Si, por el
contrario, el maximo de |f| en

A se alcanza en un punto z
0
A, el corolario del teorema
del modulo maximo local implica que f(z) = f(z
0
) para todo z A. Por continuidad,
f(z) = f(z
0
) para todo z

A, lo cual implica trivialmente la primera armacion (f es
constante en

A). Q.E.D.
Captulo 3
Representacion 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 {z
n
}
n=1
converge a z C ( lm
n
z
n
= z)
si
> 0, N N t.q. n N =|z
n
z| < .
lm
n
z
n
, si existe, es unico.
lm
n
z
n
= z x +i y lm
n
Re(z
n
) = x y lm
n
Im(z
n
) = y.
Criterio de Cauchy:
lm
n
z
n
> 0, N N t.q. n, m N =|z
n
z
m
| < .
Demostraci on.
=) |z
n
z
m
| |z
n
z| +|z
m
z|
=) z
n
= x
n
+ i y
n
= |x
n
x
m
| |z
n
z
m
| , |y
n
y
m
| |z
n
z
m
| =
{x
n
}
n=1
y {y
n
}
n=1
convergentes (sucesiones reales de Cacuhy) = {z
n
}
n=1
con-
vergente. Q.E.D.
La serie
k=1
z
k
converge a s C
_
k=1
z
k
= s
_
si la sucesi on de sumas
parciales
_
n
k=1
z
k
_
n=1
converge a s, es decir
k=1
z
k
= s lm
n
n
k=1
z
k
= s.
k=1
z
k
convergente = lm
n
z
n
= lm
n
_
n
k=1
z
k
n1
k=1
z
k
_
= 0
34
CAP
ITULO 3. REPR. DE FUNC. ANAL
ITICAS MED. SERIES 35

Se dice que
k=1
z
k
es absolutamente convergente si
k=1
|z
k
| es convergente.
Proposici on 3.1. Si
k=1
z
k
es absolutamente convergente entonces es convergente.
Demostraci on. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene
k=1
z
k
k=1
z
k
k=n+1
z
k
k=n+1
|z
k
| =
k=1
|z
k
|
m
k=1
|z
k
|
.
Q.E.D.
3.1.2. Sucesiones y series de funciones. Convergencia
uniforme
Una sucesi on de funciones f
n
: A C denidas en un conjunto A C (n N)
converge puntualmente a una funcion f en A si para todo z A existe lm
n
f
n
(z) =
f(z). Analogamente, la serie de funciones
k=1
g
k
converge puntualmente a g en A
si existe
k=1
g
k
(z) = g(z) para todo z A.
Denici on 3.2. La sucesion de funciones {f
n
}
n=1
denidas en A converge unifor-
memente a f en A si
> 0, N N t.q. n N =|f
n
(z) f(z)| < , para todo z A.
Analogamente,
k=1
g
k
converge uniformemente a g en A si la sucesion de funciones
_
n
k=1
g
k
_
n=1
converge uniformemente a g en A, es decir si
> 0, N N t.q. n N =
k=1
g
k
(z) g(z)
< , para todo z A.

Obviamente, si una sucesion o serie de funciones f
n
: A C C converge uniforme-
mente 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: {f
n
}
n=1
converge uniformemente en A si y solo si
> 0, N N t.q. n, m N =|f
n
(z) f
m
(z)| < , para todo z A.
Analogamente para series de funciones.
Demostraci on. En primer lugar, es claro que la convergencia uniforme de f
n
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 {f
n
}
n=1
converge puntualmente a una
funcion f en A. Haciendo tender m a innito en la condicion de Cauchy uniforme se
prueba que si n N entonces |f
n
(z) f(z)| para todo z A. Q.E.D.
CAP

Criterio M de Weierstrass. Sea g
k
: A C C (k N) una sucesi on de funciones,
y supongamos que |g
k
(z)| M
k
para todo z A y para todo k N. Si la serie numerica
k=1
M
k
es convergente, entonces
k=1
g
k
converge absoluta y uniformemente en A.
Demostraci on. Es consecuencia del criterio de Cauchy para la convergencia uniforme,
ya que si m > n
k=n+1
g
k
(z)
k=n+1
|g
k
(z)|
m
k=n+1
M
k
.
Q.E.D.
Si {f
n
}
n=1
converge uniformemente a f en A y f
n
: A C es continua en A para
todo n N, entonces f es continua en A. Analogamente, si g
n
es continua en A para
todo n N y
k=1
g
k
converge uniformemente a g en A entonces g es continua en A.
Lema 3.3. Sea f
n
continua en A para todo n N. Si {f
n
}
n=1
converge uniformemente
a f en A y es una curva C
1
a trozos contenida en A entonces
lm
n
_
f
n
=
_
f
_
lm
n
f
n
.
En particular, si g
k
es continua en A para todo k N y
k=1
g
k
converge uniforme-
mente en A entonces
_
k=1
g
k
_
=
k=1
_
g
k
.
Demostraci on. En primer lugar, notese que f es continua, al ser uniforme la convergencia
de f
n
a f. Dado > 0, existe N N tal que |f
n
(z) f(z)| < para todo z A si
n N. Entonces se tiene:
f
n
(f
n
f)
|f
n
(z) f(z)| |dz| l() , n N .
Q.E.D.
Teorema de la convergencia analtica. Sea {f
n
}
n=1
una sucesi on de funciones
analticas en un abierto A tales que f
n
f uniformemente en cada disco cerrado
contenido en A. Entonces f es analtica en A, y f
n
f
uniformemente en cada disco

cerrado contenido en A.
Demostraci on. En primer lugar, por ser uniforme la convergencia de f
n
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
_
f = lm
n
_
f
n
= 0,
por el Lema 3.3 y el teorema de Cauchy (f
n
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.
CAP

Para probar que f
n
f
uniformemente en D(a; r), notese que existe R > r tal

que D(a; R) A. Dado > 0, existe N N tal que |f
n
(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:
n
(z) f
(z)
=
1
2
f
n
(w) f(w)
(w z)
2
dw
1
2
(R r)
2
2R =
R
(R r)
2
.
Q.E.D.
Corolario 3.4. Sea
k=1
g
k
una serie de funciones analticas en un abierto A unifor-
memente convergente a g en cada disco cerrado contenido en A. Entonces g es analtica
en A, y
k=1
g
k
converge uniformemente a g
en cada disco cerrado contenido en A.

En particular, notese que
d
dz
k=1
g
k
=
k=1
dg
k
dz
en A;
en otras palabras, la serie se puede derivar termino a termino en A.
3.2. Convergencia de series de potencias.
Teoremas de Taylor y Laurent.
3.2.1. Series de potencias
Una serie de potencias centrada en z
0
C es una serie del tipo
k=0
a
k
(z z
0
)
k
, a
k
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 z
0
| < R. Adem as, la convergencia es
uniforme en todo disco cerrado D(z
0
; r) de radio r < R.
ii) La serie diverge si |z z
0
| > R.
Si R > 0, la suma de la serie es una funci on analtica en el disco de convergencia
D(z
0
; 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 unico. Probaremos
que
R = sup{r 0 : {|a
n
| r
n
}
n=0
acotada} ;
en particular, R = si {|a
n
| r
n
}
n=0
esta acotada para todo r 0. Con esta denicion, la
parte ii) es trivial: si |z z
0
| > R, la sucesion {|a
n
| |z z
0
|
n
}
n=0
= {|a
n
(z z
0
)
n
|}
n=0
no esta acotada, y por tanto el termino general de la serie no tiende a cero cuando
n .
CAP

Para probar i), notese en primer lugar que si R = 0 la serie diverge para todo z = z
0
,
y no hay nada que probar. Sea, por tanto, R > 0. Por denicion de R, si 0 < r < R
existen r < < R y M > 0 tal que |a
n
|
n
< M para todo n. Si |z z
0
| r se tiene:
|a
n
(z z
0
)
n
| = |a
n
|
n
_
|z z
0
|
_
n
M
_
r
_
n
.
Por el criterio M de Weierstrass, la serie converge absoluta y uniformemente en D(z
0
; r);
en particular, converge absolutamente en D(z
0
; R). La ultima 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(z
0
; 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.
En efecto, por el teorema de la convergencia analtica, basta ver que la serie
k=0
ka
k
(z
z
0
)
k1
diverge si |z z
0
| > R. Y, en efecto
k |a
k
| |z z
0
|
k1
= |z z
0
|
1
k |a
k
| |z z
0
|
k
|z z
0
|
1
|a
k
| |z z
0
|
k
.
Por denicion de R, el ultimo termino no esta acotado cuando |z z
0
| > R. Luego el
termino general de la serie
k=0
ka
k
(z z
0
)
k1
no tiende a cero si |z z
0
| > R, por lo
que dicha serie diverge si |z z
0
| > R.
Teorema 3.5. Sea 0 < R el radio de convergencia de la serie f(z) =
k=0
a
k
(z
z
0
)
k
. Entonces f es innitas veces derivable y
f
(n)
(z) =
k=n
k(k 1) (k n + 1)a
k
(z z
0
)
kn
, n N, z D(z
0
; R),
siendo el radio de convergencia de todas estas series de potencias igual a R. Adem as,
los coecientes a
n
vienen dados por
a
n
=
f
(n)
(z
0
)
n!
, n = 0, 1, 2, . . . .
Corolario 3.6 (unicidad de las series de potencias). Si existe r > 0 tal que
k=0
a
k
(z z
0
)
k
=
k=0
b
k
(z z
0
)
k
, z D(z
0
, r),
entonces a
k
= b
k
para todo k = 0, 1, 2, . . . .
Demostraci on. a
k
= b
k
= f
(k)
(z
0
)/k!, siendo f(z) la suma de cualquiera de las dos
series. Q.E.D.
Si existe (o vale +) lm
n
|a
n
|
|a
n+1
|
, entonces R = lm
n
|a
n
|
|a
n+1
|
.
An alogamente, si existe (o vale +) lm
n
n
_
|a
n
| entonces
1
R
= lm
n
n
_
|a
n
|.
CAP

Probemos, por ejemplo, la primera formula. Por el criterio del cociente, si z = z
0
la
serie
k=0
|a
k
| |z z
0
|
k
converge si
lm
n
|a
n+1
| |z z
0
|
n+1
|a
n
| |z z
0
|
n
= |z z
0
| lm
n
|a
n+1
|
|a
n
|
< 1,
y diverge si
|z z
0
| lm
n
|a
n+1
|
|a
n
|
> 1.
Analogamente (aplicando el criterio de la raz) se prueba la segunda.
El radio de convergencia R de la serie de potencias
k=0
a
k
(z z
0
)
k
se puede calcular
mediante la formula de Hadamard
1
R
= lmsup
n
n
_
|a
n
|.
(Nota: Si x
n
0 para todo n N, lmsup
n
x
n
= lm
n
sup {x
k
: k n}. El lmite
superior siempre existe, vale innito si y solo si {x
n
}
n=1
no esta acotada superiormente,
y coincide con el lmite ordinario cuando dicho lmite existe.)
3.2.2. Teorema de Taylor
Sea f analtica en un abierto A, sea z
0
A, y supongamos que D(z
0
; r) A.
Entonces f admite el desarrollo en serie de Taylor
f(z) =
k=0
f
(k)
(z
0
)
k!
(z z
0
)
k
, z D(z
0
; r). (3.2)
z
w
z
0
D(z
0
;r)

Figura 3.1: teorema de Taylor
Demostraci on. Sea 0 < < r, y jemos z D(z
0
; ). Si es la circunferencia de centro
z
0
y radio (orientada positivamente) se tiene, por la formula integral de Cauchy:
f(z) =
1
2i
_
f(w)
w z
dw.
CAP

Por otra parte,
1
w z
=
1
w z
0
+z
0
z
=
1
w z
0
1
1
z z
0
w z
0
=
1
w z
0
k=0
_
z z
0
w z
0
_
k
,
ya que w =|z z
0
| < = |w z
0
|. Como f(w) es analtica en , esta acotada en
, por lo que
f(w)
w z
0
z z
0
w z
0
k
<
M
z z
0
k
, w .
La serie numerica (es decir, independiente de w)
M
k=0
zz
0
k
es convergente (se trata
de una serie geometrica de razon menor que 1). Por el criterio M de Weierstrass, la serie
f(w)
w z
0
k=0
_
z z
0
w z
0
_
k
convergente uniforme y absolutamente en . Integrando termino a termino obtenemos
f(z) =
1
2i
k=0
_
f(w)
(w z
0
)
k+1
(z z
0
)
k
dw
=
k=0
(z z
0
)
k
1
2i
_
f(w)
(w z
0
)
k+1
dw =
k=0
f
(k)
(z
0
)
k!
(z z
0
)
k
,
por la formula integral de Cauchy para las derivadas. Esto prueba el desarrollo (3.2) para
todo z D(z
0
; ) con 0 < < r arbitrario, es decir para todo z D(z
0
; 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 z
0
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 z
0
a la frontera de A. Por ejemplo, si f(z) = Log z y
z
0
= 1 +i (ejercicio). Sin embargo, es facil probar que si f no esta acotada en el disco
abierto de centro z
0
y radio d entonces el radio de convergencia de la serie de Taylor
(3.2) es exactamente igual a d.
Denici on 3.8. Una funcion 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) = 0.
Por el teorema de Taylor, si f tiene un cero de orden k en a entonces existe r > 0
tal que
|z a| < r =f(z) =
n=k
f
(n)
(a)
n!
(z a)
n
= (z a)
k
n=0
f
(n+k)
(a)
(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) = 0.
CAP

3.2.3. Teorema de Laurent
Una serie de la forma
f(z) =
k=1
b
k
(z z
0
)
k
es una serie de potencias en la variable w = (z z
0
)
1
. Por tanto, existe 0 R tal
que la serie converge absolutamente a una funcion analtica si |z z
0
| > R y diverge si
|z z
0
| < R, siendo la convergencia de la serie absoluta y uniforme en el complemento
de cualquier disco D(z
0
; r) con r > R. Consideremos ahora la expresion
f(z) =
k=0
a
k
(z z
0
)
k
+
k=1
a
k
(z z
0
)
k

k=
a
k
(z z
0
)
k
. (3.3)
La primera serie convergera absolutamente en un disco D(z
0
; R
2
), y la segunda para
|z z
0
| > R
1
. Por tanto, f estara denida y sera analtica en la corona circular
C(z
0
; R
1
, R
2
) = {z : R
1
< |z z
0
| < R
2
} ,
(corona de convergencia), siempre y cuando sea 0 R
1
< R
2
. Ademas (por
los resultados sobre series de potencias) la convergencia de ambas series es absoluta y
uniforme en toda subcorona cerrada contenida en C(z
0
; R
1
, R
2
). Una serie del tipo (3.3)
se denomina serie de Laurent centrada en z
0
.
Teorema de Laurent. Sea f una funci on analtica en la corona C(z
0
; R
1
, R
2
) (con
0 R
1
< R
2
). Si R
1
< r < R
2
, sea
r
la circunferencia de centro z
0
y radio r
orientada positivamente, y denamos
a
k
=
1
2i
_
r
f(z)
(z z
0
)
k+1
dz, k Z. (3.4)
Entonces f admite el desarrollo en serie de Laurent
f(z) =
k=
a
k
(z z
0
)
k
, (3.5)
donde la serie del miembro derecho converge absoluta y uniformemente en cada subco-
rona cerrada contenida en C(z
0
; R
1
, R
2
).
z
w
2
z
0
1
R
1
R
2
w
1
S
Figura 3.2: teorema de Laurent
CAP

Demostraci on. Sea A = C(z
0
; r
1
, r
2
) con R
1
< r
1
< r
2
< R
2
, de modo que la corona
cerrada

A esta contenida en C(z
0
; R
1
, R
2
). Llamemos
r
1

1
,
r
2

2
. La curva
cerrada S +
2
1
S es homotopa a un punto en C(z
0
; R
1
, R
2
) (vease la g. 3.2). Por
la formula integral de Cauchy,
f(z) =
1
2i
_
S+
2
1
S
f(w)
w z
dw
=
1
2i
_
2
f(w)
w z
dw
1
2i
_
1
f(w)
w z
dw f
1
(z) +f
2
(z), z A.
La demostracion del teorema de Laurent consiste, basicamente, en desarrollar f
1
y f
2
como series de potencias en z z
0
y (z z
0
)
1
, respectivamente. Para f
1
, repitiendo el
razonamiento que se utilizo para probar el teorema de Taylor se obtiene
f
1
(z) =
1
2i
_
2
f(w)
1
w z
0
k=0
_
z z
0
w z
0
_
k
dw
=
k=0
(z z
0
)
k
1
2i
_
2
f(w)
(w z
0
)
k+1
dw,
donde el ultimo paso esta justicado por la convergencia uniforme de la serie para w
2
(w
2
=|z z
0
| / |w z
0
| = |z z
0
| /r
2
< 1). En cuanto a f
2
, basta observar que si
r
1
< |z z
0
| se tiene
1
w z
=
1
z z
0
1
1
wz
0
zz
0
=
k=0
(w z
0
)
k
(z z
0
)
k+1
.
De nuevo, la convergencia es uniforme para w
1
(w
1
= |w z
0
| / |z z
0
| =
r
1
/ |z z
0
| < 1), por lo que
f
2
(z) =
1
2i
_
1
f(w)
k=0
(w z
0
)
k
(z z
0
)
k+1
dw
=
k=0
(z z
0
)
k1
1
2i
_
1
f(w)(w z
0
)
k
dw
=
1
n=
(z z
0
)
n
1
2i
_
1
f(w)
(w z
0
)
n+1
dw.
Por el teorema de la deformacion,
_
r
f(w)(w z
0
)
n1
dw es independendiente de r
si R
1
< r < R
2
, 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(z
0
; R
1
, R
2
); 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 z
0
y contenida en C(z
0
; R
1
, R
2
). Q.E.D.
3.2.4. Clasicacion de singularidades aisladas
Denici on 3.9. Una funcion f : C C tiene una singularidad aislada en z
0
C si
f es analtica en alg un entorno reducido C(z
0
; 0, r) (r > 0) de z
0
.
CAP

Por el teorema de Laurent, si f tiene una singularidad aislada en z
0
existe r > 0 tal
que f admite un desarrollo en serie de Laurent (3.3) en C(z
0
; 0, r):
f(z) =
k=1
b
k
(z z
0
)
k
+
k=0
a
k
(z z
0
)
k
, si 0 < |z z
0
| < r. (3.6)
i) Si b
k
= 0 para todo k N, se dice que z
0
es una singularidad evitable de f.
ii) Si b
p
= 0 y b
k
= 0 para todo k > p, el punto z
0
es un polo de orden p para f.
iii) Finalmente, si existen innitos coecientes b
k
= 0 se dice que f tiene una singu-
laridad esencial en z
0
.
Denici on 3.10. La serie
k=1
b
k
(z z
0
)
k
se denomina parte principal del desarrollo
de Laurent de f en z
0
. El residuo de f en z
0
es
Res(f; z
0
) = b
1
.
Ejemplo: Las funciones f
1
(z) = sen z/z, f
2
(z) = 1/ sen
2
z y f
3
(z) = e
1/z
tienen respec-
tivamente una singularidad evitable, un polo de orden 2 y una singularidad esencial en
el origen.
Si f tiene una singularidad evitable en z
0
entonces, deniendo f(z
0
) = a
0
, f es
analtica en D(z
0
; r) (ya que la serie de potencias que representa a f para 0 < |z z
0
| < r
converge, de hecho, en un crculo abierto de radio R r). En tal caso,
lm
zz
0
_
(z z
0
)f(z)
= 0. (3.7)
Recprocamente, si f es analtica en un entorno reducido de z
0
y se verica (3.7) entonces
f tiene una singularidad evitable en z
0
. En efecto, si m N el teorema de Cauchy
generalizado proporciona
a
m
=
1
2i
_
f(z)(z z
0
)
m1
dz = 0 .
Si f tiene un polo de orden p en z
0
entonces
f(z) =
1
(z z
0
)
p
_
b
p
+b
p1
(z z
0
) + +b
1
(z z
0
)
p1
+
k=0
a
k
(z z
0
)
k+p
_
F(z)
(z z
0
)
p
,
siendo F analtica en un entorno de z
0
y F(z
0
) = b
p
= 0. En particular, 1/f tiene una
singularidad evitable (cero de orden p) en z
0
. Recprocamente (vease el comentario al
nal de la demostracion del teorema de Taylor) si f tiene un cero de orden p > 0 en z
0
entonces 1/f tiene un polo de orden p en z
0
.
Si f tiene un polo de orden p en z
0
entonces
lm
zz
0
|f(z)| = ; (3.8)
en particular, |f| no est a acotado en un entorno reducido de z
0
. (3.8) no se cumple si f
tiene una singularidad esencial en z
0
. Por ejemplo, si f(z) = e
1/z
y z
n
= 1/(2ni)
n
0 se tiene f(z
n
) = 1 para todo n N.
CAP

Teorema de CasoratiWeierstrass. Si f tiene una singularidad esencial en z
0
y
a C, existe una sucesi on {z
n
}
n=1
tal que z
n
z
0
y f(z
n
) a.
Nota: de hecho (teorema de Picard), se puede encontrar una sucesion {z
n
}
n=1
tal
que z
n
z
0
y f(z
n
) = a para todo n umero complejo a, con a lo sumo una excepcion
(cf. f(z) = e
1/z
).
Supongamos que f = g/h, donde g y h son funciones analticas en z
0
con ceros de
orden n y m 1, respectivamente, en dicho punto. Entonces existe r > 0 tal que
f(z) =
g(z)
h(z)
=
(z z
0
)
n
G(z)
(z z
0
)
m
H(z)
(z z
0
)
nm
R(z), si 0 < |z z
0
| < r,
siendo R G/H analtica (cociente de funciones analticas con H(z
0
) = 0) y no nula
(G(z
0
) = 0) en z
0
. Por tanto, se tiene:
i) Si n m, f tiene una singularidad evitable (cero de orden n m) en z
0
.
ii) Si n < m, f tiene un polo de orden mn en z
0
.
Supongamos que f = g h, con g analtica en un entorno de z
0
y g(z
0
) = 0, y sea z
0
una singularidad aislada de h. Entonces z
0
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 z
0
, ya que si h es analtica
en C(z
0
; 0, r) (r > 0) y g es analtica en D(z
0
; r) entonces f g h es analtica en
C(z
0
; 0, r). Si z
0
es una singularidad evitable de h entonces h coincide con una funcion
analtica en un entorno reducido de z
0
, y por tanto lo mismo ocurre con f. Si h tiene un
polo de orden p en z
0
entonces h(z) = (z z
0
)
p
H(z), con H analtica en un entorno de
z
0
y H(z
0
) = 0 =f(z) = (z z
0
)
p
g(z) H(z) (z z
0
)
p
F(z), con F analtica en
un entorno de z
0
y F(z
0
) = g(z
0
)H(z
0
) = 0 = f tiene un polo de orden p en z
0
. Por
ultimo, si h tiene una singularidad esencial en z
0
entonces lo mismo ha de ocurrir con
f, ya que en caso contrario h =
1
g
f tendra una singularidad evitable o un polo en z
0
(notese que 1/g es analtica en un entorno de z
0
, al ser g(z
0
) = 0).
Captulo 4
Calculo de residuos
4.1. Metodos para el calculo de residuos
Sea f(z) = g(z)/h(z), con g, h analticas en un entorno de z
0
, g(z
0
) = 0, h(z
0
) = 0 y
h
(z
0
) = 0. Entonces f tiene un polo simple en z
0
, con residuo
Res(f; z
0
) =
g(z
0
)
h
(z
0
)
.
En efecto, en un entorno de z
0
se tiene
h(z) = h
(z
0
)(z z
0
) H(z),
con H analtica y H(z
0
) = 1 (teorema de Taylor). Por tanto
f(z) =
1
h
(z
0
)(z z
0
)

g(z)
H(z)
.
Como g/H es analtica en z
0
(H(z
0
) = 0), f tiene un polo simple en z
0
con residuo
1
h
(z
0
)

g(z
0
)
H(z
0
)
=
g(z
0
)
h
(z
0
)
,
ya que H(z
0
) = 1.
Si f tiene un polo de orden n en z
0
entonces
Res(f; z
0
) =
1
(n 1)!
lm
zz
0
d
n1
dz
n1
[(z z
0
)
n
f(z)] . (4.1)
En efecto, en un entorno reducido de z
0
es valido el desarrollo de Laurent
f(z) =
b
n
(z z
0
)
n
+ +
b
1
z z
0
+g(z),
con g analtica en z
0
(serie de Taylor). Por tanto en un entorno reducido de z
0
se cumple
(z z
0
)
n
f(z) = b
n
+ +b
1
(z z
0
)
n1
+G(z) F(z),
45
CAP
ITULO 4. C
ALCULO DE RESIDUOS 46
donde G(z) = (z z
0
)
n
g(z) es analtica en z
0
y tiene un cero de orden n en dicho
punto, y F es analtica en z
0
. Por el teorema de Taylor,
Res(f; z
0
) = b
1
=
F
(n1)
(z
0
)
(n 1)!
=
1
(n 1)!
lm
zz
0
F
(n1)
(z)
=
1
(n 1)!
lm
zz
0
d
n1
dz
n1
[(z z
0
)
n
f(z)] .
Ejercicio. Si f = g/h con g y h analticas en z
0
, h(z
0
) = h
(z
0
) = 0 y g(z
0
) = 0,
h
(z
0
) = 0, probar que f tiene un polo de orden 2 en z
0
, con residuo
Res(f; z
0
) = 2
g
(z
0
)
h
(z
0
)

2
3
g(z
0
) h
(z
0
)
[h
(z
0
)]
2
.
Soluci on. La funcion f tiene claramente un polo doble en z
0
, por lo que podemos aplicar
(4.1). Por el teorema de Taylor, en un entorno reducido de z
0
es valido el desarrollo
h(z)
(z z
0
)
2
= h
2
+h
3
(z z
0
) +H(z) ,
con H analtica y con un cero de orden por lo menos 2 en z
0
. Aplicando (4.1) se obtiene
entonces
Res(f; z
0
) = lm
zz
0
d
dz
_
g(z)
h
2
+h
3
(z z
0
) +H(z)
_
=
h
2
g
(z
0
) h
3
g(z
0
)
h
2
2
.
Teniendo en cuenta que
h
2
=
1
2
h
(z
0
) , h
3
=
1
6
h
(z
0
)
se obtiene la formula anunciada.
4.2. Teorema de los residuos
Sean z
1
, . . . , z
n
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 z
i
est a en . Si f es
analtica en A{z
1
, . . . z
n
} entonces se tiene:
_
f = 2i
n
k=1
n(, z
k
) Res(f; z
k
).
Demostraci on. Por el teorema de Laurent, para cada i = 1, . . . , n hay un entorno redu-
cido C(z
i
; 0,
i
) de z
i
en el que es valido el desarrollo
f(z) =
k=1
b
ik
(z z
i
)
k
+
k=0
a
ik
(z z
i
)
k
S
i
(z) +f
i
(z),
con f
i
analtica en el disco D(z
i
;
i
). Ademas (por las propiedades de las series de Lau-
rent) la serie que dene la parte principal S
i
(z) converge absolutamente a una funcion
CAP
ITULO 4. C
analtica en C {z
i
} y uniformemente en el exterior de todo disco abierto centrado en
z
i
.
Sea
g(z) = f(z)
n
k=1
S
k
(z);
entonces g es analtica en A {z
1
, . . . , z
n
}, y ademas los puntos z
i
son singularidades
evitables de g. En efecto, para cada i = 1, . . . , n se tiene
g(z) = f
i
(z) +S
i
(z)
n
k=1
S
k
(z) = f
i
(z)
1k=in
S
k
(z) , 0 < |z z
i
| <
i
.
Deniendo g(z
i
) = lm
zz
i
g(z) la funcion g es analtica en A, y por el teorema de
Cauchy
0 =
_
g
_
f =
n
k=1
_
S
k
.
Consideremos ahora la integral
_
S
k
. Al ser C abierto, existe
k
> 0 tal que
D(z
k
;
k
) = . Por tanto, la serie de Laurent que dene a S
k
es uniformemente
convergente en , lo que nos permite escribir
_
S
k
=
j=1
_
b
kj
(z z
k
)
j
dz =
_
b
k1
(z z
k
)
1
dz = b
k1
2in(, z
k
)
= 2i n(, z
k
) Res(f; z
k
),
donde se ha utilizado el teorema fundamental del Calculo (para j = 1, (z z
k
)
j
admite
la primitiva (z z
k
)
1j
/(1 j) en C{z
k
}) y la denicion del ndice. Esto completa la
demostracion. Q.E.D.
4.3. Calculo de integrales denidas
4.3.1.
_
f(x) dx
Condiciones: f analtica en H = {z C : Imz 0}, con la posible excepcion de un
n umero nito de singularidades z
k
fuera del eje real, y p > 1, R > 0 y M > 0 t.q.
|f(z)| <
M
|z|
p
z H, |z| > R.
Resultado: 2i
Imz
k
>0
Res(f; z
k
).
Demostraci on. Sea
r
la semicircunferencia de radio r orientada positivamente, con
r > R lo sucientemente grande para que todas las singularidades (necesariamente
aisladas) de f en H esten en el interior de
r
.
CAP
ITULO 4. C
r

r r
z
k
Figura 4.1: semicircunferencia
r
Entonces
_
r
f = 2i
Imz
k
>0
Res(f; z
k
) =
_
r
r
f(x) dx +
_

0
f(re
i
)ire
i
d.
Como |f(x)| < M|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 Mr
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 : Imz 0}:
_

f(x) dx = 2i
Imz
k
<0
Res(f; z
k
).
ii) f = P/Q, con P = 0 y Q polinomios y Q(x) = 0 para todo x R, cumple las
condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 2.
Ejemplo:
_

xdx
(x
2
+ 4x + 13)
2
.
f(z) = z/(z
2
+ 4z + 13)
2
P/Q, con singularidades (polos dobles) en los ceros
z = 2 3i / R de Q. Ademas, deg Q = 4 deg P + 2 = 3. Por tanto,
I
_

xdx
(x
2
+ 4x + 13)
2
= 2i Res(f; 2 + 3i).
C alculo del residuo (z
0
= 2 + 3i):
f(z) =
g(z)
(z z
0
)
2
, con g(z) =
z
(z + 2 + 3i)
2
;
como g(z
0
) = 0, z
0
es un polo doble de f, con residuo
g
(z
0
) =
1
(z
0
+ 2 + 3i)
2

2z
0
(z
0
+ 2 + 3i)
3
=
2 + 3i z
0
(z
0
+ 2 + 3i)
3
=
4
(6i)
3
=
4i
6
3
.
Por tanto, I =
8
6
3
=
27
.
CAP
ITULO 4. C
4.3.2. Integrales trigonometricas:
_
2
0
R(cos , sen ) d
Condiciones: R funcion racional de dos variables cuyo denominador no se anula
para todo [0, 2).
Resultado: 2i
|z
k
|<1
Res(f; z
k
), siendo f(z) =
1
iz
R
_
1
2
_
z +z
1
_
,
1
2i
_
z z
1
_
_
y denotando mediante z
1
, . . . , z
n
las singularidades de f (necesariamente en n umero
nito, ya que f es una funcion racional).
Demostraci on. La funcion f(z) no tiene singularidades en la circunferencia unidad ,
ya que si [0, 2) entonces f(e
i
) = ie
i
R(cos , sen ). Parametrizando
_
f en la
forma usual (z = e
i
) se obtiene
_
f =
_
2
0
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 nito de singularidades. Q.E.D.
Ejemplo:
_
2
0
d
(5 3 sen )
2
.
f(z) =
1
iz
_
5
3
2i
_
z
1
z
_
2
=
4iz
(3z
2
10iz 3)
2
=
4iz
9
_
z
i
3
_
2
(z 3i)
2
.
Por tanto, la integral vale
I =
8
9
Res
_
g;
i
3
_
, con g(z) =
z
(z 3i)
2

1
_
z
i
3
_
2

h(z)
_
z
i
3
_
2
.
El residuo es igual a
h
(i/3) =
1
_
i
3
3i
_
2

2i
3
_
i
3
3i
_
3
=
i
3
3i
2i
3
_
i
3
3i
_
3
=
10i
3
8
3
3
3
i
3
=
10 3
2
8
3
.
Por tanto I =
10
8
2
=
5
32
.
4.3.3. Transformadas de Fourier:
_

e
ix
f(x) dx
Condiciones: > 0; f analtica en H, con la posible excepcion de un n umero nito
de singularidades z
k
/ 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
Imz
k
>0
Res(e
iz
f(z); z
k
).
CAP
ITULO 4. C
Demostraci on. Dado > 0, sea el rectangulo de vertices x
1
, x
2
, x
2
+i y
1
, x
1
+i y
1
(orientado positivamente), con x
1
, x
2
, y
1
mayores que R y lo sucientemente grandes
para que todas las singularidades de f en H esten en el interior de (g. 4.2).

x
2
x
1
x
1
+iy
1
x
2
+iy
1
z
k
Figura 4.2: rectangulo
Entonces
_
e
iz
f(z) dz = 2i
Imz
k
>0
Res(e
iz
f(z); z
k
)
=
_
x
2
x
1
e
ix
f(x) dx +i
_
y
1
0
e
i(x
2
+iy)
f(x
2
+i y) dy
_
x
2
x
1
e
i(x+iy
1
)
f(x +i y
1
) dx i
_
y
1
0
e
i(x
1
+iy)
f(x
1
+i y) dy
I
1
+I
2
I
3
I
4
.
Si y
1
se escoge lo sucientemente grande para que (x
1
+x
2
)e
y
1
< 1/ se tiene:
|I
2
|
_
y
1
0
e
y
dy =

(1 e
y
1
) <

,
|I
3
| (x
1
+x
2
) e
y
1
<

,
|I
4
|

(1 e
y
1
) <

.
Por tanto
_
x
2
x
1
e
ix
f(x) dx 2i
Imz
k
>0
Res(e
iz
f(z); z
k
)
<
3
.
Como > 0 es arbitrario, haciendo x
1
y x
2
tender a innito 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:
_

e
ix
f(x) dx = 2i
Imz
k
<0
Res(e
iz
f(z); z
k
).
ii) f = P/Q, con P = 0 y Q polinomios y Q(x) = 0 para todo x R, cumple las
condiciones anteriores (tanto en H como en L) si (y solo si) deg Q deg P + 1.
Ejemplo:
_

0
cos(x)
x
4
+x
2
+ 1
dx =
1
2
_

cos(x)
x
4
+x
2
+ 1
dx I(), > 0 .
CAP
ITULO 4. C
La integral es la parte real de
J =
1
2
_

e
ix
x
4
+x
2
+ 1
dx.
Podemos aplicar lo anterior a la funcion racional f(z) =
1
2
(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
z
4
+z
2
+ 1 = 0 z
2
=
1
2
(1 i
3) = e
2i
3
z = e
i
3
.
Las unicas singularidades en el semiplano superior son
z
1
= e
i
3
=
1
2
(1 +i
3), z
2
= e
i
3
=
1
2
(1 +i
3) = z
1
.
El residuo de e
iz
f(z) en cualquiera de estas singularidades z
i
se calcula facilmente, ya
que e
iz
f(z) = g(z)/h(z) con g(z
i
) = 0, h(z
i
) = 0 y h
(z
i
) = 0:
Res(f; z
i
) =
1
4
e
iz
i
z
i
(2z
2
i
+ 1)
.
De esto se deduce que
J =
i
2
_
e
iz
1
z
1
(2z
2
1
+ 1)

e
iz
1
z
1
(2z
2
1
+ 1)
_
= Im
_
e
iz
1
z
1
(2z
2
1
+ 1)
_
ImA.
Como
A =
2e
i
2
(1+i
3)
(1 +i
3)i
3
=
2e
2
(i
3)
3(i
3)
=
i +
3
2
3
e
2
(i
3)
,
se obtiene
I = Re J = J = ImA =

2
3
e
3
2

_
cos

2
+
3 sen

2
_
, > 0 .
4.3.4. Transformadas de Mellin:
_

0
x
a1
f(x) dx, a / Z
Condiciones: i) f analtica en C, con la posible excepcion de un n umero nito de
singularidades z
k
/ R
+
, y ii) M
1
, M
2
, R
1
> R
2
constantes positivas y c < a < b tales
que
|f(z)| <
_
_
M
1
|z|
b
, |z| > R
1
M
2
|z|
c
, 0 < |z| < R
2
.
Resultado:
e
ia
sen(a)
z
k
=0
Res(z
a1
f(z); z
k
), z
a1
e
(a1) log
[0,2)
z
.
CAP
ITULO 4. C
Demostraci on. En primer lugar, las acotaciones de |f| implican (por el teorema de com-
paracion para integrales reales impropias) que la integral es absolutamente convergente.
r r
z
k
Figura 4.3: curva
Sea la curva de la g. 4.3, donde 0 < < R
1
y r > R
2
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
e
i(a1) arg
[0,2)
z
,
la funcion z
a1
f(z) es analtica en C(R
+
{0}), salvo en las singularidades z
k
de f.
Por el teorema de los residuos se tiene:
2i
z
k
=0
Res(z
a1
f(z); z
k
) = I
1
I
2
+J,
siendo I
1
e I
2
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 =
_
r
e
i(a1)
x
a1
f(xe
i
) e
i
dx
_
r
e
i(a1)(2)
x
a1
f(xe
i(2)
) e
i(2)
dx
=
_
r
x
a1
_
e
ia
f(xe
i
) e
ia(2)
f(xe
i(2)
)
_
dx.
Haciendo 0+ (con y r jos) se obtiene
2i
z
k
=0
Res(z
a1
f(z); z
k
) =
_
r
z
a1
f(z) dz
_
z
a1
f(z) dz+(1e
2ia
)
_
r
x
a1
f(x) dx,
siendo
la circunferencia de centro 0 y radio orientada positivamente. Por las hipotesis

sobre |f| se obtiene:
_
r
z
a1
f(z) dz
M
1
r
a1b
2r = 2M
1
r
ab
r
0,
z
a1
f(z) dz
M
2
a1c
2 = 2M
2
ac
0+
0 .
CAP
ITULO 4. C
Haciendo 0+ y r (independientemente) se obtiene el resultado deseado, ya
que
2i
1 e
2ia
=
2ie
ia
e
ia
e
ia
=
e
ia
sen(a)
.
Q.E.D.
Ejemplo:
_

0
x
a1
1 +x
2
dx I(a) .
En este caso b = 2, c = 0. Para poder aplicar el resultado del apartado anterior necesi-
tamos que 0 < a < 2 y a = 1. Si esto se cumple se tiene:
I(a) =
e
ia
sen(a)
_
Res
_
z
a1
z
2
+ 1
; i
_
+ Res
_
z
a1
z
2
+ 1
; i
__
.
Los residuos se calculan facilmente, ya que ambos son claramente polos simples:
Res
_
z
a1
z
2
+ 1
; i
_
=
(i)
a1
2i
.
La suma de estos dos residuos es igual a
1
2i
_
e
i(a1)
2
e
i(a1)
3
2
_
=
1
2
_
e
ia
2
+e
ia
3
2
_
= e
ia
cos
_
a
2
_
.
Por tanto,
I(a) =
cos
_
a
2
_
sen(a)
=

2 sen
_
a
2
_ .
En particular, haciendo a = 2/5 se obtiene:
_

0
x
3/5
x
2
+ 1
dx =

2 sen(/5)
=

2
_
5
5
=

10
_
5 +
5 .
4.4. Valor principal de Cauchy
Supongamos que f : R R es no acotada en un entorno de x
0
R, y que existen
las integrales impropias
_
b
f(x) dx y
_
c
f(x) dx para todo b < x
0
< c. En ese caso,
_

f(x) dx = lm
0+
_
x
0
f(x) dx + lm
0+
_

x
0
+
f(x) dx.
Evidentemente, si la integral impropia existe entonces
_

f(x) dx = lm
0+
__
x
0
f(x) dx +
_

x
0
+
f(x) dx
_
.
El miembro derecho se denomina valor principal de Cauchy de la integral impropia:
V. P.
_

f(x) dx = lm
0+
__
x
0
f(x) dx +
_

x
0
+
f(x) dx
_
.
CAP
ITULO 4. C
(Esta denicion se generaliza de manera obvia al caso en que f tiene un n umero nito
de singularidades en el eje real.) Si existe la integral impropia entonces
_

f(x) dx = V. P.
_

f(x) dx.
Sin embargo, el valor principal de Cauchy puede existir aunque no exista la inte-
gral impropia: por ejemplo, si f es una funcion impar e integrable en entonces
V. P.
_
f(x) dx = 0.
Lema 4.1. Supongamos que f es una funci on analtica con un polo simple en z
0
C, y
sea
el arco de circunferencia
(t) = z
0
+ e
it
, con t [t
0
, t
0
+] (g. 4.4). Entonces
lm
0+
_
f = i Res(f; z
0
).
z
0
t
0
Figura 4.4: curva
Demostraci on. En un entorno reducido de z

0
es valido el desarrollo de Laurent
f(z) =
b
1
z z
0
+g(z), 0 < |z z
0
| < r,
con g analtica en D(z
0
; r). Si 0 < < r se tiene
_
f = b
1
_
dz
z z
0
+
_
g .
Pero
b
1
_
dz
z z
0
= b
1
_
t
0
+
t
0
ie
it
e
it
dt = i b
1
= iRes(f; z
0
),
mientras que, al ser g analtica en D(z
0
; r), |g(z)| < M para |z z
0
| r/2, y por tanto
M
0+
0 .
Q.E.D.
Sea f una funcion analtica en H, excepto por un n umero nito de singularidades z
k
,
siendo las posibles singularidades de f en el eje real polos simples. Si f satisface una de
las dos condiciones siguientes:
i) p > 1, R > 0, M > 0 t.q. |f(z)| <
M
|z|
p
si |z| > R y z H;
ii) f(z) = e
iz
g(z), con > 0 y |g(z)| 0 cuando |z| en H,
entonces
V. P.
_

f(x) dx = 2i
Imz
k
>0
Res(f; z
k
) +i
z
k
R
Res(f; z
k
) .
CAP
ITULO 4. C
r r x
0
z
k
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 x
0
en el eje real. Si
r > max(x
0
, R) es lo sucientemente grande para que todas las singularidades de f en
H {x
0
} esten en el interior de
r
y > 0 es sucientemente peque no, integrando f a
lo largo de la curva de la g. 4.5 se tiene:
_
f = 2i
Imz
k
>0
Res(f; z
k
) =
_
x
0
r
f(x) dx
_
f +
_
r
x
0
+
f(x) dx +
_
r
f .
Por la discusion de la seccion 4.3.1, las integrales
_
x
0
f(x) dx y
_
x
0
+
f(x) dx son
convergentes, y
lm
r
_
r
f = 0.
Por tanto,
2i
Imz
k
>0
Res(f; z
k
) =
_
x
0
f(x) dx +
_

x
0
+
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
V. P.
_

f(x) dx = 2i
Imz
k
>0
Res(f; z
k
) i
z
k
R
Res(f; z
k
) .
Ejemplo:
_

0
sen x
x
dx I .
Si denimos f(x) = sen x/x para x = 0 y f(0) = 1 entonces f es continua en 0 y par, y
por tanto
I =
1
2
_

f(x) dx.
Al ser f continua en 0
_

f(x) dx = V. P.
_

f(x) dx,
si el miembro derecho existe. En tal caso
I =
1
2
V. P.
_

f(x) dx =
1
2
Im
_
V. P.
_

e
ix
x
dx
_
1
2
ImJ .
CAP
ITULO 4. C
La funcion f(z) = sen z/z tiene una singularidad evitable en z = 0, pero no cumple las
condiciones i) o ii). Sin embargo, g(z) = e
iz
/z tiene un polo simple en el origen y cumple
la condicion ii) del apartado anterior, por lo que
J = i Res
_
e
iz
z
; 0
_
= i 1 =I =

2
.
Ejemplo:
_

0
sen
2
x
x
2
dx I .
Si f es la funcion del apartado anterior
I =
1
2
V. P.
_

f
2
(x) dx =
1
4
V. P.
_

1 cos(2x)
x
2
dx
=
1
4
Re
_
V. P.
_

1 e
2ix
x
2
dx
_
1
4
Re J.
Si g(z) = (1 e
2iz
)/z
2
entonces
|g(z)|
1 +
e
2iz
|z|
2

2
|z|
2
, Imz 0, z = 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) = 2ie
2iz
z=0
= 2i.
Por tanto,
J = i (2i) = 2 =I =

2
.
Ejemplo: V. P.
_

sen xdx
(x 1)(x
2
+ 4)
I .
Aqu
I = ImJ, J V. P.
_

e
ix
dx
(x 1)(x
2
+ 4)
.
La funcion
f(z) =
e
iz
(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
J = i [Res(f; 1) + 2 Res(f; 2i)] = i
_
e
i
5
+
2e
2
(2i 1) 4i
_
= i
_
e
i
5

e
2
2(2 +i)
_
= i
_
e
i
5

(2 i)e
2
10
_
.
Por tanto
I =

5
_
cos 1
1
e
2
_
.
CAP
ITULO 4. C
4.4.1.
_

0
f(x) log xdx, f real y par
Condiciones: i) f analtica en H, con la posible excepcion de un n umero nito de
singularidades z
k
/ R {0}, y ii) M
1
, M
2
, R
1
> R
2
constantes positivas y a < 1 < b
tales que
|f(z)| <
_
_
M
1
|z|
b
, |z| > R
1
M
2
|z|
a
, 0 < |z| < R
2
.
Resultado: Im
_
_
Imz
k
>0
Res(f(z) log z; z
k
)
_
_
, log log
[/2,3/2)
.
r r

z
k
Figura 4.6: curva
Demostraci on. En primer lugar, las acotaciones sobre |f| implican (teorema de compa-
racion) la convergencia de la integral, as como la de
_
f(x) dx. Sean 0 < < R

1
<
R
2
< r tales que todas las singularidades de f en H {0} esten el interior de (ver
g. 4.6). Entonces
2i
Imz
k
>0
Res(f(z) log z; z
k
) = I
1
+I
2
g +
_
r
g , (4.2)
siendo g(z) = f(z) log z. Si x < 0 se tiene
log x = log |x| +i = log(x) +i ,
y por tanto
I
1
=
_

r
f(x)[log(x) +i] dx =
_
r
f(x)[log(x) +i] dx
=
_
r
f(x) log xdx +i

_
r
f(x) dx.
Luego
I
1
+I
2
= 2
_
r
f(x) log xdx +i

_
r
f(x) dx.
Por otra parte,
|log z| =
log |z| +i arg z
|log z| +|arg z| ,
CAP
ITULO 4. C
donde arg z [/2, 32). Por tanto
_
r
g
r
M
1
r
b
(log r +) =
M
1
r
b1
(log r +)
r
0 ,
al ser b > 1. Del mismo modo, al ser a < 1 se tiene

M
2
a
(log +) = M
2
1a
(log +)
0+
0 .
Haciendo r y 0+ en (4.2) se obtiene:
2i
Imz
k
>0
Res(f(z) log z; z
k
) = 2
_

0
f(x) log xdx +i
_

0
f(x) dx.
Teniendo en cuenta que f es real se obtiene el resultado anunciado. Q.E.D.
Ejemplo:
_

0
log x
(x
2
+ 1)
2
dx I .
Claramente f(z) = (1 + z
2
)
2
cumple todas las condiciones anteriores (a = 0 y b = 4).
La unica singularidad en el semiplano superior es z
0
= i. Como
f(z) log z =
log z
(z +i)
2

1
(z i)
2
se tiene
Res(f(z) log z; i) =
d
dz
_
log z
(z +i)
2
_
z=i
=
1
i(2i)
2

2 log i
(2i)
3
=
i
4

i
4
log i =
i
4
+

8
.
Por tanto, I =
4
.

Variable Compleja - Artemio Gonzalez Lopez PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Variable Compleja - Artemio Gonzalez Lopez PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Artemio Gonz alez L opez

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

Figura 1.2: Denicion de argumento.

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

= la formula vale para todo n Z.

ITULO 1. FUNCIONES ANAL

z denota cualquier raz n-esima de z.

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES ANAL

(a) = 0, existen sendos abiertos U a y V f(a) tales que f

{0}). En efecto, Log

= exp no se anula y es continua en A).

ITULO 1. FUNCIONES ANAL

(t) representa el vector tangente a en el punto (t).

(0) = 0, la curva = f es diferenciable en 0,

ITULO 1. FUNCIONES ANAL

no se anula en A, las dos

ITULO 1. FUNCIONES ANAL

{0}). Pero esto es imposible, ya que si x < 0 se tendra (al

existe y es continua en cada subintervalo

(t) para i = 1, . . . , n1, aunque los lmites

(t) es continua en cada uno de los subintervalos [a

ITULO 2. EL TEOREMA DE CAUCHY 21

b]) = [a, b] una aplicacion de clase C

b] con derivada positiva en [ a,

b], es una funcion creciente en [ a,

b], y por tanto

ITULO 2. EL TEOREMA DE CAUCHY 22

b]) (es decir, y tienen la misma imagen). Observese, por ultimo,

(s) = sen s > 0 en

b] C es una reparametrizaci on de : [a, b] C,

b] [a, b]. Entonces se tiene:

ITULO 2. EL TEOREMA DE CAUCHY 23

continua en A). Si : [a, b] C es C

f es independiente del camino:

f = 0 para toda curva cerrada C

(z) = f(z) para todo z A.

ITULO 2. EL TEOREMA DE CAUCHY 24

sea continua (se

ITULO 2. EL TEOREMA DE CAUCHY 25

f(z) f(a) (z a)f

ITULO 2. EL TEOREMA DE CAUCHY 26

ITULO 2. EL TEOREMA DE CAUCHY 27

ITULO 2. EL TEOREMA DE CAUCHY 28

ITULO 2. EL TEOREMA DE CAUCHY 29

ITULO 2. EL TEOREMA DE CAUCHY 30

(z)| = 0 para todo z C. Al ser

f = 0 para toda curva cerrada (C

en A. Como F es analtica en A, es innitamente

existe en todo punto de A. Q.E.D.

ITULO 2. EL TEOREMA DE CAUCHY 31

ITULO 2. EL TEOREMA DE CAUCHY 32