Manual de Variable Compleja PDF

Manual de
Variable Compleja
Artemio Gonzlez Lpez
Madrid, octubre de 2009
Edita: Universidad Complutense de Madrid
rea de Ciencias Exactas y de la Naturaleza
Departamento de Fsica Terica II
Facultad de Ciencias Fsicas
Avenida Complutense s/n
Ciudad Universitaria
28040 Madrid
Universidad Complutense de Madrid
Autor:
Artemio Gonzlez Lpez
El autor
Se prohbe la reproduccin total o parcial de esta obra incluido el diseo de portada, sea cual fuere el medio,
electrnico o mecnico, sin el consentimiento del editor.
ISBN: 978-84-692-4886-7
Depsito Legal:
Impreso en Madrid
ndice general
1 Funciones analticas 1
1.1 Denicin y propiedades algebraicas de los nmeros complejos . . . . . . . . . . . 1
1.2 Conjugacin. Mdulo y argumento. Frmula de de Moivre. Races. . . . . . . . . . . 3
1.2.1 Argumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Frmula de de Moivre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Races n-simas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 La funcin exponencial, funciones trigonomtricas e hiperblicas, logaritmos y po-
tencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1 Funcin exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.2 Funciones trigonomtricas e hiperblicas . . . . . . . . . . . . . . . . . . . 8
1.3.3 Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.4 Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4 Lmites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1 Conceptos topolgicos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.2 Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.3 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Derivabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1 Ecuaciones de CauchyRiemann . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.2 Regla de la cadena . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.3 Teorema de la funcin inversa . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.4 Funciones armnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2 El teorema de Cauchy 21
2.1 Integracin sobre arcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1.1 Propiedades de
_
;
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.1.2 Integral respecto de la longitud de arco . . . . . . . . . . . . . . . . . . . . 23
2.1.3 Teorema fundamental del Clculo. Independencia del camino . . . . . . . . 24
2.2 Teorema de CauchyGoursat. Homotopa. Antiderivadas . . . . . . . . . . . . . . . 25
2.2.1 Homotopa. Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 ndice. Frmula integral de Cauchy y sus consecuencias . . . . . . . . . . . . . . . . 28
2.3.1 ndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2 Frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.3 Frmula integral de Cauchy para las derivadas . . . . . . . . . . . . . . . . 32
2.3.4 Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3.5 Desigualdades de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3.6 Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3.7 Teorema fundamental del lgebra . . . . . . . . . . . . . . . . . . . . . . . 34
2.4 Propiedad del valor medio. Principio del mdulo mximo. . . . . . . . . . . . . . . 34
2.4.1 Propiedad del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4.2 Principio local del mdulo mximo . . . . . . . . . . . . . . . . . . . . . . 35
i
ii NDICE GENERAL
2.4.3 Principio global del mdulo mximo . . . . . . . . . . . . . . . . . . . . . . 35
3 Representacin de funciones analticas mediante series 37
3.1 Convergencia de sucesiones y series de funciones . . . . . . . . . . . . . . . . . . . 37
3.1.1 Sucesiones y series de nmeros complejos . . . . . . . . . . . . . . . . . . . 37
3.1.2 Sucesiones y series de funciones. Convergencia uniforme . . . . . . . . . . . 38
3.2 Convergencia de series de potencias. Teoremas de Taylor y Laurent. . . . . . . . . . 40
3.2.1 Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2.2 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2.3 Principio de prolongacin analtica . . . . . . . . . . . . . . . . . . . . . . 44
3.2.4 Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.5 Clasicacin de singularidades aisladas . . . . . . . . . . . . . . . . . . . . 49
4 Teorema de los residuos 53
4.1 Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.2 Mtodos para el clculo de residuos . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3 Clculo de integrales denidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.3.1
_
1
1
(.) d. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.3.2 Integrales trigonomtricas:
_
2
0
1(cos 0. sen 0) d0 . . . . . . . . . . . . . . 57
4.3.3 Transformadas de Fourier:
_
1
1
e
iox
(.) d. . . . . . . . . . . . . . . . . . 58
4.3.4 Transformadas de Mellin:
_
1
0
.
o1
(.) d., a Z . . . . . . . . . . . . . 60
4.3.5
_
1
0
(.) log . d., (.) real y par . . . . . . . . . . . . . . . . . . . . . 62
4.4 Valor principal de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Captulo 1
Funciones analticas
1.1 Denicin y propiedades algebraicas de los nmeros complejos
Denicin 1.1. C =
R
2
. .
_
(espacio vectorial real), con la suma y el producto denidos por
(.
1
. ,
1
) (.
2
. ,
2
) = (.
1
.
2
. ,
1
,
2
)
(.
1
. ,
1
) (.
2
. ,
2
) = (.
1
.
2
,
1
,
2
. .
1
,
2
.
2
,
1
).
Justicacin:
v La suma y la multiplicacin de los pares de la forma (.. 0) C coinciden con la de los
nmeros reales . R
==podemos identicar el complejo (.. 0) con el nmero real . R
==podemos identicar R con el subconjunto {(.. 0) [ . R] C (eje real)
v Ntese que para todo z R se tiene z(.. ,) = (z.. z,) = (z. 0)(.. ,)
v i (0. 1) ==i
2
= i i = (0. 1) (0. 1) = (1. 0) 1
v (.. ,) = (.. 0) ,(0. 1) . i,
==(.
1
i,
1
)(.
2
i,
2
) = (.
1
.
2
,
1
,
2
) i(.
1
,
2
.
2
,
1
) .
que es la frmula tradicional para multiplicar los nmeros complejos .
1
i,
1
y .
2
i,
2
.
v Si z = . i, (.. , R), se dene Re z = .. Imz = , (partes real e imaginaria del
complejo z)
v Al ser C = R
2
(como conjuntos), la igualdad en C se dene mediante
z = . i, = n = u i ==. = u. , = .
En particular,
z = . i, = 0 ==. = , = 0.
Proposicin 1.2. C es un cuerpo: para todo z. n. s C se cumple
z n = n z z n = nz
z (n s) = (z n) s z (ns) = (z n) s
z 0 = z 1 z = z
J z C t.q. z (z) = 0 z = 0 ==Jz
1
C t.q. z z
1
= 1
z(n s) = z n z s.
1
2 FUNCIONES ANALTICAS
Demostracin. Obviamente, z = . i, ==z = . i,. La existencia de inverso respecto del
producto para todo z = . i, = 0 se deduce del siguiente clculo:
z
1
= u i ==z z
1
= (. u , ) i (. , u) = 1
==
_
. u , = 1
, u . = 0
==u =
.
.
2
,
2
. =
,
.
2
,
2
(ntese que z = 0 ==.
2
,
2
= 0)
==z
1
=
.
.
2
,
2
i
,
.
2
,
2
.
Las dems propiedades se comprueban fcilmente a partir de la denicin de las operaciones en
C. Q.E.D.
N.B. Como en todo cuerpo, los inversos z y z
1
(si z = 0) del nmero z C respecto de la suma
y el producto son nicos.
Notacin:
z
n
z n
1
. z
n
= z z z
n veces
(n N).
v C no es un cuerpo ordenado: si lo fuera,
i
2
= i i = 1 _ 0.
v Races cuadradas (mtodo algebraico):
Si z = . i,, queremos hallar todos los n u i C tales que n
2
= z:
n
2
= z ==u
2

2
2iu = . i,
==
_
u
2

2
= .
2 u = ,
==.
2
,
2
= (u
2
2
)
2
==u
2
2
=
_
.
2
,
2
==u
2
=
1
2
_
.
_
.
2
,
2
_
.
2
=
1
2
_
.
_
.
2
,
2
_
Como (por la segunda ecuacin) el signo de u ha de coincidir con el de ,, de esto se sigue que
n =
__
xC
_
x
2
C,
2
2
i sgn ,
_
xC
_
x
2
C,
2
2
_
. , = 0
_
.. , = 0. . _ 0
i
_
.. , = 0. . < 0.
Las races cuadradas de un nmero complejo z = 0 son por tanto dos nmeros complejos distintos
(de signos opuestos). Las races cuadradas de z son reales si y slo si z R
C
L {0], e imaginarias
puras si y slo si z R
.
Ejemplo 1.3. Las races cuadradas de 3 4 i son
_
_
8
2
i
_
2
2
_
= (2 i).
Conjugacin. Mdulo y argumento. Frmula de de Moivre. Races. 3
Los siguientes resultados, bien conocidos en el campo real, son consecuencia inmediata de la estruc-
tura de cuerpo que posee C:
v Cualquier ecuacin cuadrtica con coecientes complejos se puede resolver utilizando la fr-
mula usual:
a z
2
b z c = 0 == z =
1
2a
_
b
_
b
2
4ac
_
a. b. c C. a = 0.
v El teorema del binomio de Newton es vlido en el campo complejo:
(a b)
n
=
n
kD0
_
n
k
_
a
k
b
nk
. a. b C. n N.
1.2 Conjugacin. Mdulo y argumento. Frmula de de Moivre. Races.
v Geomtricamente, los nmeros complejos se pueden identicar con los puntos del plano ha-
ciendo corresponder al complejo z = . i, el punto de coordenadas (.. ,). De ah que
el conjunto C reciba el nombre de plano complejo. Es tambin corriente cuando se utiliza
esta representacin geomtrica de C denominar eje real al eje horizontal y eje imaginario al
vertical (g. 1.1).
z
z
Figura 1.1: Plano complejo.

v Si z = . i, C, se denen el mdulo y el complejo conjugado de z respectivamente como
sigue:
[z[ =
_
.
2
,
2
(distancia de z al origen)
z = . i, (reexin de z respecto del eje real)
== Re z =
1
2
(z z). Imz =
1
2i
(z z) .
El nmero z C es real si y slo z = z, e imaginario puro si y slo z = z.
v Propiedades:
i) z = z
ii) z n = z n
iii) z n = z n == 1,z = 1,z (si z = 0)
iv) [z[ = [z[
v) zz = [z[
2
==
z = 0 == z
1
=
z
[z[
2
[z[ = 1 == z = z
1
vi) [z n[ = [z[ [n[ (elevar al cuadrado) ==
z
1
= [z[
1
(si z = 0)
vii) n = 0 == z,n = z,n. [z,n[ = [z[ , [n[ (consecuencia de iii) y vi))
viii) [Re z[ _ [z[ . [Imz[ _ [z[ (i.e., [z[ _ Re z. Imz _ [z[)
v Desigualdad triangular: [z n[ _ [z[ [n[
En efecto:
[z n[
2
= (z n)(z n) = [z[
2
[n[
2
(zn zn) = [z[
2
[n[
2
2 Re(zn)
_ [z[
2
[n[
2
2 [zn[ = [z[
2
[n[
2
2 [z[ [n[ = ([z[ [n[)
2
.
v Consecuencias:
i) [[z[ [n[[ _ [z n[
En efecto:
[z[ = [(z n) n[ _ [z n[ [n[ ==[z[ [n[ _ [z n[ .
y cambiando z por n se obtiene la desigualdad [n[ [z[ _ [z n[.
ii) [z[ > [n[ ==
1
[z n[
_
1
[z[ [n[
1.2.1 Argumento
z
Figura 1.2: Denicin de argumento.
v Dado 0 = z C, existe 0 R t.q.
z = [z[ (cos 0 i sen 0) (cf. g. 1.2).
El nmero 0 es el ngulo que forma el eje real positivo con el vector z, y est por tanto denido
mdulo un mltiplo entero de 2. Por ejemplo,
z = i == 0
_
2
.
2
2.
2
4. . . .
_
=
_
2
2k
k Z
_
.
Denicin 1.4. arg z (argumento de z): cualquier 0 R t.q. z = [z[ (cos 0 i sen 0).
Conjugacin. Mdulo y argumento. Frmula de de Moivre. Races. 5
En otras palabras, arg z es cualquiera de los ngulos orientados formados por el eje real posi-
tivo con el vector z. Por tanto arg z toma innitos valores, que dieren entre s en un mltiplo
entero de 2. Ntese, en particular, que arg no es una funcin.
Ejemplos:
arg i
2
2k [ k Z
_
.
arg(1 i)
5
4
2k [ k Z
_
=
3
4
2k [ k Z
_
.
v Para que 0 sea nico, basta imponerle la condicin adicional de que pertenezca a un cierto
intervalo semiabierto 1 de longitud 2 (como 0. 2), (. |,
_

2
.
3
2
_
, etc.). Escoger este
intervalo 1 se conoce como tomar la determinacin del argumento arg
J
; ntese, en particular,
que arg
J
: C {0] 1 es una funcin.
Denicin 1.5. arg
J
(z) nico valor de arg z que pertenece a 1
Ejemplo: arg
0,2)
(1 i) = 5,4, arg
(,j
(1 i) = 3,4.
v Determinacin principal del argumento:
Arg arg
(,j
Ejemplo:
z 1 1 i i 1 1 i i 1 i
Arg z 0 ,4 ,2 3,4 ,2 ,4
v Claramente, Arg : C {0] (. | es una funcin discontinua en R
L {0]. Anloga-
mente, arg
0,2)
es discontinua en R
C
L {0]. En general, la determinacin arg
0
0
,0
0
C2)
(
arg
(0
0
,0
0
C2j
) es discontinua en la semirrecta cerrada que forma un ngulo 0
0
con el eje real
positivo.
v Forma trigonomtrica polar de los nmeros complejos:
z = 0 == z = r(cos 0 i sen 0). r = [z[ . 0 = arg z.
v z. n = 0: z = n ==
_
[z[ = [n[ . arg z = arg n mod 2
_
.
v Interpretacin geomtrica del producto en C: si z
k
= r
k
(cos 0
k
i sen 0
k
= 0) (k = 1. 2)
entonces
z
1
z
2
= r
1
(cos 0
1
i sen 0
1
) r
2
(cos 0
2
i sen 0
2
)
= r
1
r
2
(cos 0
1
cos 0
2
sen 0
1
sen 0
2
) i(cos 0
1
sen 0
2
sen 0
1
cos 0
2
)|
= r
1
r
2
cos(0
1
0
2
) i sen(0
1
0
2
)|
De este clculo se sigue que [z
1
z
2
[ = [z
1
[ [z
2
[ (cf. la propiedad vi) de la pg. 4), junto con
arg(z
1
z
2
) = arg z
1
arg z
2
mod 2. (1.1)
v Ntese que, en general, Arg(z
1
z
2
) = Arg z
1
Arg z
2
. Por ej.,
Arg(i) =
2
= Arg(1) Arg i =
3
2
.
v Consecuencias: si z. n = 0 se cumple
(zz
1
= 1 ==) arg(z
1
) = arg z mod 2
(zz = [z[
2
_ 0 ==) arg(z) = arg z mod 2
== arg(z,n) = arg z arg n mod 2.
1.2.2 Frmula de de Moivre
v Si z = r(cos 0 i sen 0), a partir de (1.1) se demuestra por induccin la frmula de de Moivre
z
n
= r
n
_
cos(n0) i sen(n0)
_
. n N.
v z
1
= r
1
_
cos(0) i sen(0)
_
== la frmula vale para todo n Z.
v La frmula de de Moivre permite expresar cos(n0) y sen(n0) como un polinomio en cos 0 y
sen 0. Por ejemplo:
(cos 0 i sen 0)
3
= cos(30) i sen(30)
= (cos
3
0 3 cos 0 sen
2
0) i(3 cos
2
0 sen 0 sen
3
0)
==
_
_
_
cos(30) = cos
3
0 3 cos 0 sen
2
0
sen(30) = 3 cos
2
0 sen 0 sen
3
0.
1.2.3 Races n-simas
v Si z = r(cos 0 i sen 0) = 0 y n N, las races n-simas de z son las soluciones n C de
la ecuacin n
n
= z:
n = 0 == n = j(cos i sen )
n
n
= j
n
_
cos(n) i sen(n)
_
= r(cos 0 i sen 0)
==
_
_
_
j
n
= r ==j =
n
_
r r
1{n
n = 0 2k. k Z
==n =
n
_
r
_
cos
_
0
n
2k
n
_
i sen
_
0
n
2k
n
__
. k = 0. 1. . . . . n 1
(ya que k y k ln, con l Z, dan lugar al mismo nmero n).
) Un nmero complejo no nulo tiene n races n-simas distintas.
Ejemplo: las races cbicas de i son los nmeros
n = cos
_
2k
3
_
i sen
_
2k
3
_
. k = 0. 1. 2
==n =
1
2
(
_
3 i).
1
2
(
_
3 i). i.
v En particular, las n races n-simas de la unidad (z = 1) son los nmeros
c
n,k
= cos
_
2k
n
_
i sen
_
2k
n
_
. k = 0. 1. . . . . n 1
(vrtices de un polgono regular de n lados inscrito en la circunferencia unidad).
v Ntese que c
n,k
= (c
n
)
k
, siendo c
n
c
n,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).
La funcin exponencial, funciones trigonomtricas e hiperblicas, logaritmos y potencias 7
Ejercicio. Probar que las n races n-simas de z = 0 estn dadas por
n
_
z (c
n
)
k
. k = 0. 1. . . . . n 1.
donde
n
_
z denota cualquier raz n-sima de z.
1.3 La funcin exponencial, funciones trigonomtricas e hiperblicas,
logaritmos y potencias
1.3.1 Funcin exponencial
Si t R,
e
t
=
1
kD0
t
k
k
cos t =
1
kD0
(1)
k
t
2k
(2k)
sen t =
1
kD0
(1)
k
t
2kC1
(2k 1)
.
Si z = . i, C (con .. , R), la propiedad e
t
1
Ct
2
= e
t
1
e
t
2
sugiere denir e
;
= e
x
e
i,
. A su
vez, procediendo formalmente se obtiene
e
i,
=
1
nD0
i
n
,
n
n
=
1
kD0
i
2k
,
2k
(2k)
i
1
kD0
i
2k
,
2kC1
(2k 1)
= cos , i sen , (ya que i
2k
= (i
2
)
k
= (1)
k
).
Denicin 1.6. Para todo z = . i, C (con .. , R), denimos
e
;
= e
x
(cos , i sen ,) .
Nota: Si z R, la exponencial compleja se reduce obviamente 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. n C se tiene
i) [e
;
[ = e
Re ;
. arg(e
;
) = Imz mod 2.
ii) e
;Cu
= e
;
e
u
.
iii) e
;
= 0, para todo z C.
iv) e
;
= 1 ==z = 2ki, con k Z.
v) e
;
es una funcin peridica, cuyos perodos son los nmeros 2ki con k Z.
Demostracin:
i) Consecuencia inmediata de la denicin.
ii) Si z = . i,, n = u i, de la propiedad anterior y la ec. (1.1) se sigue que
e
;
e
u
= e
x
e
u
cos(, ) i sen(, )| = e
xCu
cos(, ) i sen(, )| = e
;Cu
.
iii) e
;
e
;
= e
0
= 1 == (e
;
)
1
= e
;
.
iv) e
;
= e
x
(cos , i sen ,) = 1 ==e
x
= 1. , = 0 mod 2 == . = 0. , = 2k (k
Z).
v) e
;
= e
;Cu
==e
u
= 1 ==n = 2ki (k Z).
v z = [z[ e
i arg ;
: e
;
= e
;
.
1.3.2 Funciones trigonomtricas e hiperblicas
Si , es real entonces
e
i,
= cos ,i sen ,. e
i,
= cos ,i sen , == cos , =
1
2
_
e
i,
e
i,
_
. sen , =
1
2i
_
e
i,
e
i,
_
.
Denicin 1.7. Para todo z C se dene
cos z =
1
2
_
e
i;
e
i;
_
. sen z =
1
2i
_
e
i;
e
i;
_
.
Evidentemente, si z es real cos z y sen z se reducen a las correspondientes funciones reales.
Propiedades: para todo z. n C se tiene
i) cos(z) = cos(z). sen(z) = sen z.
ii) cos(z n) = cos z cos n sen z sen n. sen(z n) = sen z cos n cos z sen n.
iii) cos 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), cos z = 0 ==z =

2
k (k Z).
vii) cos z y sen z son funciones peridicas de perodo 2k, con k Z.
Demostracin:
i) Inmediato.
ii) Por ejemplo,
cos z cos n sen z sen n =
1
4
_
e
i;
e
i;
_ _
e
iu
e
iu
_
1
4
_
e
i;
e
i;
_ _
e
iu
e
iu
_
=
1
2
(e
i;
e
iu
e
i;
e
iu
) = cos(z n).
iii) Caso particular de las frmulas anteriores.
iv) Hacer n = z en la frmula para cos(z n).
v) Consecuencia de e
w
= e
u
.
La funcin exponencial, funciones trigonomtricas e hiperblicas, logaritmos y potencias 9
vi) sen z = 0 ==e
i;
e
i;
= 0 ==e
2i;
= 1 ==2iz = 2ki (k Z) ==z = k (k
Z). Del apartado iii) se sigue la frmula correspondiente para los ceros de cos.
vii) Por el apartado iii), basta probar la armacin para la funcin sen. De la identidad
sen(z n) sen z sen
_
z
n
2
n
2
_
sen
_
z
n
2
n
2
_
= 2 sen
_
n
2
_
cos
_
z
n
2
_
se sigue que sen(zn)sen z = 0 para todo z si y slo si sen(n,2) = 0 (tomar z = n,2).
Por el apartado anterior, esto es equivalente a que n sea un mltiplo entero de 2.
Como en el caso real, a partir de sen y cos se denen las dems funciones trigonomtricas:
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 hiperblicas: para todo z C se dene
cosh z =
1
2
_
e
;
e
;
_
. senh z =
1
2
_
e
;
e
;
_
.
== cosh z = cos(iz). senh z = i sen(iz)
De estas igualdades se deducen las propiedades de las funciones hiperblicas. Por ejemplo:
v cosh
2
z senh
2
z = 1.
v sen z = sen(. i,) = sen . cos(i,) cos . sen(i,) = sen . cosh , i cos . senh ,.
En particular, ntese que sen z es real si z es real, o si z =

2
i, k con , Rarbitrario y
k Z. Anlogamente, cos z es real si z R, o si z = i, k con , R arbitrario y k Z.
v tanh z
senh z
cosh z
= i tan(iz) (z =
i
2
ki. k Z), etc.
Ejercicio. Si z = . i, (con .. , R), probar que [ sen z[
2
= sen
2
. senh
2
,, [ cos z[
2
=
cos
2
. senh
2
,. Deducir que [ senh ,[ _ [ sen z[. [ cos z[ _ cosh ,. En particular, sen y cos no
estn acotadas en C.
1.3.3 Logaritmos
v En R, exp : R R
C
(donde exp(t ) e
t
) es una aplicacin biyectiva. Su inversa es la funcin
log : R
C
R. Por denicin,
log . = , ==. = e
,
(==. > 0).
v En C, exp no es invertible al no ser inyectiva (por ser peridica). Por denicin, los posibles
logaritmos de z C son todos los complejos n C tales que e
u
= z. Se tiene entonces:
e
u
= z == z = 0:
n = u i == e
u
(cos i sen ) = z = 0
==
_
e
u
= [z[ ==u = log [z[
= arg z mod 2
==n = log [z[ i arg z mod 2i.
Si z = 0, la ecuacin e
u
= z tiene por tanto innitas soluciones, que dieren entre s en
mltiplos enteros de 2i. A cada uno de estos (innitos) n se les denomina logaritmos de
z = 0. En otras palabras,
z = 0 == log z = log [z[ i arg z 2ki. k Z.
Ntese, en particular, que log (al igual que arg) no es una funcin.
v Ejemplo:
log(2i) = log 2
i
2
2ki . k Z.
Denicin 1.8. Si 1 es un intervalo semiabierto de anchura 2, se dene la determinacin 1 del
logaritmo mediante
log
J
z = log [z[ i arg
J
z. Vz = 0.
Por ejemplo, log
0,2)
(2) = log 2
3i
2
.
v Ntese que log
J
: C {0] {s C [ Ims 1] es una funcin.
v La determinacin principal del logaritmo se dene por
Log = log
(,j
.
Ejemplo: Log(2i) = log 2
i
2
, Log(1) = i, Log(1 i) =
1
2
log 2
3i
4
.
Propiedades:
i) Para todo z = 0, e
log
I
;
= z.
ii) log
J
(e
u
) = n mod 2i. En particular, log
J
(e
u
) = n ==Imn 1.
iii) log
J
: C{0] {s C [ Ims 1] es biyectiva, siendo su inversa la funcin exp : {s C [ Ims 1]
C {0] (donde exp(z) e
;
) .
iv) z. n = 0 == log
J
(z n) = log
J
z log
J
n mod 2i.
Demostracin:
i) z = 0 ==e
log
I
;
= e
logj;jCi arg
I
;
= e
logj;j
e
i arg
I
;
= [z[ e
i arg
I
;
= z.
ii) Si n = u i entonces
log
J
(e
u
) = log(e
u
) i arg
J
(e
u
) = u i n mod 2i .
ya que arg
J
(e
u
) = Imn mod 2. Por otra parte, del clculo anterior se sigue que
log
J
(e
u
) = n ==arg
J
(e
u
) = == Imn 1 .
iii) Para establecer la biyectividad de log
J
, hay que probar que para todo n con Imn 1 existe
un nico z C {0] tal que log
J
z = n. Esto es cierto por los apartados anteriores, siendo
z = e
u
exp(n).
Lmites y continuidad 11
iv) Las exponenciales de ambos miembros coinciden; por tanto, esta propiedad se sigue de la
prop. ii). Otra forma de deducirla es observando que
log
J
(zn) = log [zn[ i arg
J
(zn)
= log [z[ log [n[ i(arg
J
z arg
J
n) mod 2i
= (log [z[ i arg
J
z) (log [n[ i arg
J
n) mod 2i
log
J
z log
J
n mod 2i.
Nota: En general, Log(zn) = Log z Log n. Por ejemplo,
Log(i) =
i
2
= Log(1) Log i = i
i
2
=
3i
2
.
1.3.4 Potencias complejas
Si a. b C y a = 0. e, denimos
a
b
= e
b log o
. donde log a = log
J
a 2ki. k Z.
Por tanto, en general a
b
denota un conjunto de nmeros complejos:
a
b
= e
2kbi
e
b log
I
o
. k Z.
Ms concretamente, se tiene:
i) b Z == a
b
tiene un valor nico: a a a
b veces
si b > 0, 1 si b = 0 , a
1
a
1
a
1
b veces
si b < 0.
ii) Si b = ,q Q, con Z y 1 < q N primos entre s, entonces a
b
= a
]{q
toma
exactamente q valores (las q races q-simas de a
]
).
iii) En los dems 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
iLog(1Ci)C2kij
= e
2k
e
i(
1
2
log 2C
3i
4
)
(k Z)
= e
5
4
C2n
e
i
2
log 2
(n Z).
v Si a = 0. e, cada determinacin de log dene una funcin a
;
J
e
;log
I
o
.
Ejercicio: dados a. b C con a = 0. e, estudiar si se cumple la igualdad
a
bCc
= a
b
a
c
.
1.4 Lmites y continuidad
1.4.1 Conceptos topolgicos bsicos
i) Un entorno de a C es cualquier disco abierto de centro a C y radio r > 0
D(a: r) =
z C [ [z a[ < r
_
.
Denotaremos por D(a: r) =
z C [ [z a[ _ r
_
el correspondiente disco cerrado
ii) Entorno perforado de a C D(a: r) {a] =
z C [ 0 < [z a[ < r
_
.
iii) C es abierto si contiene un entorno de cada uno de sus puntos:
Va . Jr > 0 t.q. D(a: r) .
iv) C cerrado ==C es abierto.
v) C es compacto == es cerrado y acotado (se dice que es acotado si J1 > 0
t.q. D(0: 1)).
vi) C abierto es conexo si para todo par de puntos z. n hay una curva continua
; : 0. 1| t.q. ;(0) = z, ;(1) = n. [Nota: de hecho, se puede demostrar que en la
denicin anterior se puede sustituir la palabra continua por diferenciable.]
vii) Una regin dominio es un subconjunto abierto conexo y no vaco de C.
1.4.2 Lmites
Notacin:
: C C
z = . i, (z) u(.. ,) i(.. ,).
Nota: La notacin : C C no signica que est denida en todo C.
v u : R
2
R y : R
2
R (la parte real e imaginaria de , resp.) son funciones escalares
reales.
Denicin 1.9. Si : C C est denida en un entorno perforado de a C y l C, diremos
que lim
;!o
(z) = l si
Vc > 0 J > 0 t.q. 0 < [z a[ < == [(z) l[ < c.
Nota: al ser el mdulo de un nmero complejo n = u i igual a la norma del vector (u. ) R
2
,
la denicin anterior de lmite coincide con la usual para una funcin : R
2
R
2
.
Propiedades de los lmites:
i) Si existe lim
;!o
(z), dicho lmite es nico.
ii) lim
;!o
(z) = l == lim
(x,,)!o
u(.. ,) = Re l y lim
(x,,)!o
(.. ,) = Iml.
iii) J lim
;!o
(z). lim
;!o
g(z) == lim
;!o
(z) g(z)| = lim
;!o
(z) lim
;!o
g(z).
iv) J lim
;!o
(z). lim
;!o
g(z) == lim
;!o
(z)g(z)| = lim
;!o
(z) lim
;!o
g(z).
v) lim
;!o
g(z) = 0 == lim
;!o
1
g(z)
=
1
lim
;!o
g(z)
.
Demostracin:
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 mdulo.
Derivabilidad 13
1.4.3 Continuidad
Denicin 1.10. Sean a C y : C C denida en un entorno de a. Diremos que es continua
en a si
lim
;!o
(z) = (a) .
Diremos que : C C es continua en C si y slo si es continua en todos los puntos de .
Propiedades:
i) y g continuas en a == g y g continuas en a.
ii) Si, adems, g(a) = 0, entonces ,g es continua en a.
iii) : C C continua en a y h : C C continua en (a) == h continua en a.
Demostracin:
i)ii) son consecuencia inmediata de las propiedades de los lmites iii)v), mientras que iii) se de-
muestra como en el caso de funciones R R.
Ejemplo: los polinomios y las funciones racionales son funciones continuas en todos los puntos de
su dominio.
1.5 Derivabilidad
Denicin 1.11.
v : C C denida en un entorno de a C es derivable en a si existe
lim
;!o
(z) (a)
z a

0
(a).
v : C C es analtica (u holomorfa) en un abierto si es derivable en todos los puntos de
.
v es analtica en un conjunto arbitrario T si es analtica en un abierto T o, equivalente-
mente, si es analtica en un entorno de cada punto de T.
En particular, es analtica en un punto a C si es derivable en un entorno de a. (Ntese que
analtica en a es por tanto ms fuerte que derivable en a.)
Proposicin 1.12. : C C derivable en a == continua en a.
Demostracin. En efecto,
lim
;!o
(z) (a)| = lim
;!o
_
(z) (a)
z a
(z a)
_
= lim
;!o
(z) (a)
z a
lim
;!o
(za) =
0
(a)0 = 0.
Q.E.D.
Propiedades algebraicas:
Si : C C y g : C C son derivables en z C, y a. b C, se tiene:
i) a bg es derivable en z, siendo (a bg)
0
(z) = a
0
(z) bg
0
(z).
ii) g es derivable en z, siendo (g)
0
(z) =
0
(z)g(z) (z)g
0
(z) (regla de Leibniz).
iii) Si g(z) = 0, ,g es derivable en z, siendo
(,g)
0
(z) =
g(z)
0
(z) (z)g
0
(z)
g(z)
2
.
Ejemplo: los polinomios y las funciones racionales son derivables en todos los puntos de su dominio,
y sus derivadas se calculan como en el caso real.
1.5.1 Ecuaciones de CauchyRiemann
v Si a = a
1
ia
2
C, denotaremos por M
o
: C R
2
C R
2
la aplicacin lineal denida
por
M
o
z = a z . Vz C.
La matriz de M
o
en la base cannica {1. i] de R
2
es
_
a
1
a
2
a
2
a
1
_
.
v Recordemos que una funcin : C C denida en un entorno de z
0
C es diferenciable
en sentido real en z
0
si existe una aplicacin lineal D(z
0
) : R
2
C R
2
C tal que
lim
;!;
0
[(z) (z
0
) D(z
0
) (z z
0
)[
[z z
0
[
= 0.
(Ntese de nuevo que el mdulo de z = . i, C es la norma del correspondiente vector
(.. ,) R
2
.) A la aplicacin D(z
0
) se le denomina derivada en sentido real de en z
0
.
La matriz de D(z
0
) en la base cannica de R
2
, llamada la matriz jacobiana de en z
0
, est
dada por
J(z
0
) =
_
u
x
(z
0
) u
,
(z
0
)
x
(z
0
)
,
(z
0
)
_
.
donde hemos utilizado la notacin habitual u
x

du
d.
, y anlogamente u
,
.
x
.
,
.
Teorema 1.13. Sea = u i : C C denida en un entorno de z
0
= .
0
i,
0
C. Entonces
es derivable (en sentido complejo) en z
0
si y slo si se cumplen las dos condiciones siguientes:
i) es diferenciable en sentido real en (.
0
. ,
0
).
ii) Se verican las ecuaciones de CauchyRiemann
du
d.
(.
0
. ,
0
) =
d
d,
(.
0
. ,
0
).
du
d,
(.
0
. ,
0
) =
d
d.
(.
0
. ,
0
).
Demostracin.
==) es diferenciable (en sentido real) en z
0
= (.
0
. ,
0
) con derivada D(z
0
) = M
(
0
(;
0
)
, ya que
lim
;!;
0
[(z) (z
0
)
0
(z
0
)(z z
0
)[
[z z
0
[
= lim
;!;
0
(z) (z
0
)
0
(z
0
)(z z
0
)
z z
0
= lim
;!;
0
(z) (z
0
)
z z
0

0
(z
0
)
= 0 .
Denotemos abreviadamente
du
d.
(.
0
. ,
0
) por u
x
, y anlogamente para las dems derivadas parciales
de u y en (.
0
. ,
0
). Igualando la matriz de D(z
0
) en la base cannica de R
2
es decir, la matriz
jacobiana J(z
0
) con la de M
(
0
(;
0
)
se obtiene
_
u
x
u
,
x

,
_
=
_
Re
0
(z
0
) Im
0
(z
0
)
Im
0
(z
0
) Re
0
(z
0
)
_
.
de donde se deducen las ecs. de CauchyRiemann, junto con las relaciones
0
(z
0
) = u
x
i
x
=
1
i
(u
,
i
,
).
Derivabilidad 15
==) Por las ecs. de CauchyRiemann, la matriz jacobiana de en z
0
es de la forma
_
u
x

x
x
u
x
_
.
y por tanto dicha matriz es igual a la del operador lineal M
c
, con c u
x
i
x
. De esto se sigue que
D(z
0
) = M
c
, es decir D(z
0
) (z z
0
) = c(z z
0
), y por tanto
0 = lim
;!;
0
[(z) (z
0
) c(z z
0
)[
[z z
0
[
= lim
;!;
0
(z) (z
0
)
z z
0
c
== lim
;!;
0
(z) (z
0
)
z z
0
= c .
Esto demuestra que es derivable (en sentido complejo) en z
0
, siendo
0
(z
0
) = c u
x
i
x
=
1
i
(u
,
i
,
).
donde la ltima igualdad es consecuencia de las ecuaciones de CauchyRiemann. Q.E.D.
v De la demostracin del teorema se sigue que si = u i es derivable en sentido complejo en
z
0
= .
0
i,
0
entonces
0
(z
0
) = u
x
(.
0
. ,
0
) i
x
(.
0
. ,
0
)
d
d.
(z
0
)
=
1
i
_
u
,
(.
0
. ,
0
) i
,
(.
0
. ,
0
)
_
1
i
d
d,
(z
0
).
Estas igualdades se deducen tambin fcilmente de la denicin de derivada 1.11 (ejercicio). Ntese
tambin que las ecuaciones de CauchyRiemann son equivalentes a la relacin
d
d.
(z
0
) =
1
i
d
d,
(z
0
).
v El teorema anterior puede formularse tambin de la siguiente forma alternativa:
Teorema 1.14. : C C denida en un entorno de z
0
= .
0
i,
0
C es derivable en z
0
si y
slo si se cumplen las dos condiciones siguientes:
i) es diferenciable en sentido real en (.
0
. ,
0
)
ii) Existe c C tal que D(.
0
. ,
0
) = M
c
.
Adems, si se cumplen las condiciones anteriores entonces
0
(z
0
) = c.
Derivabilidad de la funcin exponencial:
(z) = e
;
== u(.. ,) = e
x
cos ,. (.. ,) = e
x
sen , == u y de clase C
1
en R
2
==
diferenciable en sentido real en todo R
2
. Adems,
u
x
= e
x
cos , =
,
. u
,
= e
x
sen , =
x
.
Por tanto, e
;
es derivable (en sentido complejo) en C, siendo
(e
;
)
0
= u
x
i
x
= e
x
cos , ie
x
sen , = e
;
. Vz C.
Una consecuencia inmediata del Teorema 1.13 es la siguiente
Proposicin 1.15. Si : C C es analtica en una regin , y
0
(z) = 0 para todo z ,
entonces es constante en .
Demostracin. En efecto, derivable en sentido complejo en z implica que es derivable en
sentido real en dicho punto, siendo D(z) = M
(
0
(;)
= 0. El resultado anterior se sigue entonces de
su anlogo para funciones R
n
R
n
. Q.E.D.
1.5.2 Regla de la cadena
Proposicin 1.16. Si : C C es derivable en z y g : C C es derivable en (z), entonces
g es derivable en z, y se tiene
(g )
0
(z) = g
0
_
(z)
_

0
(z). (1.2)
Demostracin. En efecto, utilizando la continuidad de en z y el hecho de que g est denida en un
entorno de (z) (por ser derivable en dicho punto), es fcil ver que g est denida en un entorno
de z. Adems, por el teorema anterior y g son derivables en sentido real en z y (z), resp., siendo
D(z) = M
(
0
(;)
. Dg
_
(z)
_
= M
0
(((;))
.
Por la regla de la cadena para funciones de R
n
en R
n
, g es derivable en sentido real en z, y se
tiene:
D(g )(z) = Dg
_
(z)
_
D(z) = M
0
(((;))
M
(
0
(;)
= M
0
(((;))(
0
(;)
.
que implica (1.2) por el Teorema 1.14. Q.E.D.
Derivabilidad de las funciones trigonomtricas e hiperblicas:
De las propiedades de la derivada compleja (linealidad y regla de la cadena) y la derivabilidad de la
funcin exponencial (z) = e
;
se sigue que sen y cos son derivables en C, siendo
(sen z)
0
=
ie
i;
ie
i;
2i
= cos z. (cos z)
0
=
1
2
(ie
i;
ie
i;
) = sen z.
De estas frmulas se deduce la derivabilidad de las restantes funciones trigonomtricas en todos los
puntos de sus dominios. Por ejemplo,
(tan z)
0
=
cos
2
z sen
2
z
cos
2
z
= sec
2
z. Vz =

2
k (k Z).
Al igual que en el caso real, la derivabilidad de la exponencial junto con la regla de la cadena propor-
ciona inmediatamente la derivabilidad de las funciones senh y cosh, junto con las frmulas usuales
para derivar dichas funciones:
(senh z)
0
= cosh z . (cosh z)
0
= senh z .
De nuevo, de estas frmulas se deduce la derivabilidad de las restantes funciones hiperblicas en
todos los puntos de sus dominios. Por ejemplo,
(tanh z)
0
=
cosh
2
z senh
2
z
cosh
2
z
= sech
2
z. Vz =
i
2
ki (k Z).
1.5.3 Teorema de la funcin inversa
Teorema 1.17. Sea : C C analtica en el abierto (con
0
continua
1
en ). Si a y
0
(a) = 0, existen sendos abiertos U a y V (a) tales que U ,
0
no se anula en U y
: U V es biyectiva. Adems,
1
: V U es analtica en V , siendo
(
1
)
0
(n) =
1
0
_
1
(n)
_. Vn V.
1
Veremos ms adelante (Seccin 2.3.3) que si es analtica en entonces
0
es automticamente continua en .
Derivabilidad 17
Demostracin. es derivable en sentido real en todo z , y su matriz jacobiana
J(z) =
_
u
x
(z)
x
(z)
x
(z) u
x
(z)
_
tiene determinante u
2
x
(z)
2
x
(z) = [
0
(z)[
2
. En particular, de esto se sigue que det D(a) =
[
0
(a)[
2
= 0. Por el teorema de la funcin inversa para funciones R
2
R
2
(ntese que la conti-
nuidad de
0
implica la continuidad de las derivadas parciales de u y ), hay sendos abiertos U a
y V (a) tales que U , : U V es biyectiva, D es invertible en U y
1
: V U es
diferenciable en sentido real en V , con
D(
1
)(n) =
_
D
_
1
(n)
__
1
. Vn V.
Ntese que
0
no se anula en U, al ser [
0
(z)[
2
= det D(z). Llamando z =
1
(n) se tiene, por
el Teorema 1.14:
D(
1
)(n) = D(z)|
1
= M
1
(
0
(;)
= M
1{(
0
(;)
.
De nuevo por el Teorema 1.14, de esto se deduce que
1
es derivable en sentido complejo en n,
con derivada 1,
0
(z). Q.E.D.
Derivabilidad de log
J
:
v Log : C{0] {z C [ < Imz _ ] es discontinua en R
L{0] (por la discontinuidad

de Arg), y por tanto no es derivable en dicho conjunto.
v Sin embargo, Log es derivable en el abierto T = C(R
L{0]). En efecto, Log es la inversa

global de
exp : = {z C [ < Imz < ] T.
y exp satisface las condiciones del teorema de la funcin inversa en todo punto de (exp
0
=
exp no se anula y es continua en ).
v Si z y n = e
;
T, hay dos abiertos U z y V n tales que exp : U V es
invertible en U, y
(exp
1
)
0
(n) =
1
exp
0
(z)
=
1
e
;
=
1
n
.
Al ser U se tiene exp
1
= Log, y por tanto
(Log n)
0
=
1
n
. Vn C (R
L {0]).
Del mismo modo se prueba la derivabilidad de log
J
(con 1 = ,
0
. ,
0
2) (,
0
. ,
0
2|)
en el abierto C ({n [ arg n = ,
0
mod 2] L {0]), siendo de nuevo log
0
J
(n) = 1,n.
1.5.4 Funciones armnicas
Denicin 1.18. Una funcin u : R
2
R es armnica en el abierto R
2
si u C
2
(), y se
cumple
V
2
u
d
2
u
d.
2

d
2
u
d,
2
= 0 en .
Proposicin 1.19. Si : C es analtica en el abierto entonces u = Re y = Im son
armnicas en . (Se dice entonces que u y son funciones armnicas conjugadas en ).
Demostracin. En efecto, veremos ms adelante (Seccin 2.3.3) que analtica en == u.
C
1
(). De las ecuaciones de CauchyRiemann se sigue entonces que
u
xx
=
d
,
d.
=
,x
=
x,
=
du
,
d,
= u
,,
.
y anlogamente para . (Ntese que
x,
=
,x
, por ser de clase C
2
().) Q.E.D.
Proposicin 1.20. Si u : R
2
C Res armnica en el abierto , z
0
y U es un entorno
de z
0
, hay una funcin : U C analtica en U tal que Re = u.
Demostracin. En efecto, si z = . i, U entonces = Im debera cumplir:
,
= u
x
== (.. ,) =
_
,
,
0
u
x
(.. t ) Jt h(.):
x
(.. ,) =
_
,
,
0
u
xx
(.. t ) Jt h
0
(.) =
_
,
,
0
u
,,
(.. t ) Jt h
0
(.)
= u
,
(.. ,) u
,
(.. ,
0
) h
0
(.) = u
,
(.. ,) ==h
0
(.) = u
,
(.. ,
0
)
== h(.) =
_
x
x
0
u
,
(t. ,
0
) Jt c (c R)
== (.. ,) =
_
,
,
0
u
x
(.. t ) Jt
_
x
x
0
u
,
(t. ,
0
) Jt c . V(.. ,) U . (1.3)
Si est dada por la frmula anterior = ui cumple las ecuaciones de CauchyRiemann en U y
es diferenciable en sentido real en U (al ser u, y por tanto , de clase C
2
en dicho conjunto) ==
es analtica en U.
Q.E.D.
Comentarios
v La proposicin anterior garantiza la existencia de una armnica conjugada de u en cualquier
disco abierto contenido en (aunque no necesariamente en todo , como veremos a continua-
cin).
v En una regin, la armnica conjugada (si existe) est determinada a menos de una constante.
En efecto, si
1
y
2
son armnicas conjugadas de la misma funcin armnica u en la regin
, las funciones
1
= ui
1
y
2
= ui
2
son analticas en , por lo que =
1
2
=
i(
1

2
) tambin es analtica en . Al ser Re = 0 en , las ecuaciones de Cauchy
Riemann implican que las derivadas parciales de Im se anulan en . Por ser una regin,
Im =
1

2
ha de ser constante en .
v Podemos reescribir la frmula (1.3) para la armnica conjugada como
(z) =
_
;
0
(u
x
d, u
,
d.) c
_
;
0
(u
,
. u
x
) dr c . Vz U .
donde dr (d.. d,) y ;
0
es la lnea quebrada formada por el segmento horizontal que une
z
0
.
0
i,
0
con . i,
0
y el segmento vertical que une este ltimo punto con z . i,.
Como el campo vectorial (u
,
. u
x
) es conservativo (al ser u armnica), esta integral de lnea
es independiente del camino, por lo que tambin podemos escribir
(z) =
_
;
(u
x
d, u
,
d.) c . Vz U .
donde ; es cualquier curva (diferenciable) contenida en U que une z
0
con z.
Derivabilidad 19
v La existencia de armnica conjugada de una funcin armnica en un abierto no est asegura-
da globalmente en . Consideremos, por ejemplo, la funcin u : = R
2
{0] R denida
por u(.. ,) =
1
2
log(.
2
,
2
). Si U es un disco abierto cualquiera contenido en entonces
la funcin log
J
z = log [z[ i arg
J
z es analtica en U, si escogemos la determinacin 1 de
forma que la semirrecta en que arg
J
es discontinuo no corte a U. Por tanto Re = u es arm-
nica en U, y = arg
J
z c (con c R) es una armnica conjugada de u en U. Esto prueba,
en particular, que u es armnica en todo , como se puede comprobar fcilmente calculando
sus derivadas parciales.
Veamos ahora que u no admite una armnica conjugada denida en todo . En efecto, si
existiera analtica en con Re = u entonces y Log (p. ej.) diferiran en una constante
(imaginaria pura) en la regin T = C (R
L {0]) (ya que Log es analtica en T, y

Re Log z = u(z)). Pero esto es imposible, ya que si . < 0 se tendra (al ser continua en
y = Log c en T)
2i = lim
,!0C
_
Log(.i,)Log(.i,)
_
= lim
,!0C
_
(.i,)(.i,)
_
= (.)(.) = 0 .
Captulo 2
El teorema de Cauchy
2.1 Integracin sobre arcos
v Si h
1
. h
2
: R Rson integrables (por ej., continuas) en a. b| Ry h = h
1
ih
2
: R C,
denimos
_
b
o
h
_
b
o
h(t ) dt =
_
b
o
h
1
(t ) dt i
_
b
o
h
2
(t ) dt C.
Ejemplo:
_

0
e
it
dt =
_

0
cos t dt i
_

0
sen t dt = 2i.
v Un arco continuo ( curva continua) es una aplicacin ; : a. b| C continua en a. b|
(i.e., Re ; e Im; son continuas en a. b|).
v El arco continuo ; es C
1
a trozos si existe una subdivisin nita a = a
0
< a
1
< . . . <
a
n1
< a
n
= b de a. b| tal que ;
0
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 lim
t!oC
;
0
(t ),
lim
t!b
;
0
(t ) y lim
t!o
i
;
0
(t ) para i = 1. . . . . n 1, aunque los lmites por la izquierda y
por la derecha en a
i
no coincidan.
v Si ; : a. b| C es un arco de clase C
1
a trozos, : C C es continua en el abierto
y ;(a. b|) , denimos
_
;

_
;
(z) dz =
n
iD1
_
o
i
o
i1
_
;(t )
_
;
0
(t ) dt C.
Ntese que
_
;(t )
_
;
0
(t ) es continua en cada uno de los subintervalos a
i
. a
i1
|, por lo que cada una
de las integrales que aparecen en la frmula anterior tiene sentido.
v Si = u i y ;(t ) = .(t ) i,(t ), entonces (suponiendo por sencillez que ; es C
1
en
a. b|)
_
;
=
_
b
o
_
u
_
.(t ). ,(t )
_
i
_
.(t ). ,(t )
__ _
.
0
(t ) i,
0
(t )
_
dt
=
_
b
o
_
u
_
.(t ). ,(t )
_
.
0
(t )
_
.(t ). ,(t )
_
,
0
(t )
_
dt
i
_
b
o
_
u
_
.(t ). ,(t )
_
,
0
(t )
_
.(t ). ,(t )
_
.
0
(t )
_
dt
=
_
;
(ud. d,) i
_
;
( d. ud,).
21
22 EL TEOREMA DE CAUCHY
2.1.1 Propiedades de
_
;

Linealidad. Para todo z. j C se cumple
_
;
(z jg) = z
_
;
j
_
;
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 ). Vt a. b|.
En otras palabras, ; diere de ; nicamente en el sentido en que est recorrida. Si ;(a. b|)
abierto y : C es continua en se cumple
_
;
=
_
b
o
_
;(a b t )
__
;
0
(a b t )
_
dt
xDoCbt
=
_
o
b
_
;(s)
_
;
0
(s) ds (2.1)
=
_
b
o
_
;(s)
_
;
0
(s) ds =
_
;
. (2.2)
Si ;
1
: a. b| C y ;
2
: c. J| C son curvas C
1
a trozos con ;
1
(b) = ;
2
(c), denimos la curva
C
1
a trozos ;
1
;
2
: a. b J c| C mediante
(;
1
;
2
)(t ) =
_
;
1
(t ). t a. b|
;
2
(c b t ). t b. b J c|.
De forma anloga se dene la curva C
1
a trozos ;
1
;
n
, si el extremo nal de cada curva
;
i
coincide con el inicial de la curva siguiente ;
iC1
. Del mismo modo, si ;
1
y ;
2
son curvas C
1
a
trozos tales que el extremo nal de ;
1
coincide con el de ;
2
, se dene ;
1
;
2
= ;
1
(;
2
). Si
;
1
(a. b|). ;
2
(c. J|) abierto, y : C es continua en , se tiene
_
;
1
C;
2
=
_
;
1

_
;
2
.
Anlogamente,
_
;
1
CC;
n
=
n
iD1
_
;
i
.
Combinando este resultado con la ecuacin (2.1) se obtiene la expresin ms general
_
t
1
;
1
CCt
n
;
n
=
n
iD1
c
i
_
;
i
.
donde c
i
= 1 para cada i , y se supone que el extremo nal de c
i
;
i
coincide con el inicial de
c
iC1
;
iC1
. A la expresin c
1
;
1
c
n
;
n
se le denomina cadena.
Invariancia bajo reparametrizaciones. Si ; : a. b| C es C
1
a trozos, una reparametrizacin de
; es una curva ; : a.

b| C de la forma ; = ; , siendo : a.

b| ( a.

b|) = a. b| una
aplicacin de clase C
1
en a.

b| con derivada positiva en a.

b|.
Ntese que, al ser
0
> 0 en a.

b|, es una funcin creciente en a.

b|, y por tanto (al ser
suprayectiva por hiptesis) ( a) = a, (
b) = b. Evidentemente, si el arco ; es C
1
a trozos tambin
lo es ;, y ;(a. b|) = ;( a.

b|) (es decir, ; y ; tienen la misma imagen). Obsrvese, por ltimo,
que el teorema de la funcin 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 reparametrizacin de ;.
Integracin sobre arcos 23
Ejemplo: ;(s) = e
ix
_
s
_
3
.
2
3
__
es una reparametrizacin 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
0
(s) =
sen s > 0 en
_
3
.
2
3
_
.
Proposicin 2.1. Si ; : a.

b| C es una reparametrizacin de ; : a. b| C, ;(a. b|) , y
: C es continua en el abierto , se cumple:
_
Q ;
=
_
;
.
Demostracin. Supongamos por sencillez que ; es de clase C
1
en a. b|, y sea ; = ; con
: a.

b| a. b|. Entonces se tiene:
_
Q ;
=
_ Q
b
Q o
_
;(s)
_
;
0
(s) ds =
_ Q
b
Q o
_
;((s))
_
;
0
_
(s)
_
0
(s) ds
tD(x)
=
_
b
o
_
;(t )
_
;
0
(t ) dt =
_
;
.
Q.E.D.
2.1.2 Integral respecto de la longitud de arco
Si : C es continua en al abierto , ; : a. b| C es C
1
a trozos y ;(a. b|) , se dene
_
;
(z) [dz[ =
_
b
o
_
(;(t )
_
;
0
(t )
dt.
Ntese que si ;(t ) = .(t ) i,(t ) entonces [;
0
(t )[ dt =
_
.
0 2
(t ) ,
0 2
(t ) dt es el elemento de
longitud de arco ds a lo largo de la curva ;. Por tanto si = u i entonces
_
;
(z) [dz[ =
_
;
uds i
_
;
ds .
En particular,
_
;
[dz[ =
_
;
ds = l(;) longitud de ;.
Propiedades:
i)
_
;
_
z(z) jg(z)
_
[dz[ = z
_
;
(z) [dz[ j
_
;
(z) [dz[ . Vz. j C.
ii)
_
;
(z) [dz[ =
_
;
(z) [dz[.
iii)
_
t
1
;
1
CCt
n
;
n
(z) [dz[ =
n
iD1
_
;
i
(z) [dz[.
iv) Si ; es una reparametrizacin de ;, entonces
_
Q ;
(z) [dz[ =
_
;
(z) [dz[.
Desigualdad fundamental:
_
;
(z) dz
_
_
;
[(z)[ [dz[.
En particular, si max
t2o,bj
_
;(t )
_
= M entonces
_
;
(z) dz
_ M l(;).
En efecto, la segundad desigualdad es consecuencia de la primera (por las propiedades de la integral
de funciones reales de una variable real). Si
_
;
= 0, la primera desigualdad se cumple trivialmente.
En caso contrario, llamando 0 = Arg(
_
;
) se tiene:
_
;
= Re
_
e
i0
_
;
_
=
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt _
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt
_
_
b
o
Re
_
e
i0
_
;(t )
_
;
0
(t )
_
dt _
_
b
o
_
;(t )
_
;
0
(t )
dt =
_
;
[(z)[ [dz[ .
2.1.3 Teorema fundamental del Clculo. Independencia del camino
Lema 2.2. Si ; : R C es derivable en t R (es decir, si Re ;. Im; : R R son derivables en
t ) y : C C es derivable en ;(t ), entonces ; es derivable en t , con derivada
( ;)
0
(t ) =
0
_
;(t )
_
;
0
(t ) .
Demostracin. Por el Teorema 1.13, la funcin : C R
2
C R
2
es diferenciable en sentido
real en ;(t ), siendo D
_
;(t )
_
= M
(
0
(;(t))
. La regla de la cadena para funciones R
n
R
n
implica
que la funcin compuesta ; es derivable en t , con derivada
( ;)
0
(t ) = D
_
;(t )
_
;
0
(t ) = M
(
0
(;(t))
;
0
(t )
0
_
;(t )
_
;
0
(t ) .
Q.E.D.
Teorema fundamental del Clculo. Sea J : C analtica en el abierto (con J
0
continua
1
en ). Si ; : a. b| C es C
1
a trozos y ;(a. b|) entonces se cumple:
_
;
J
0
= J
_
;(b)
_
J
_
;(a)
_
.
En particular, si ; es cerrada (i.e., ;(b) = ;(a)) se tiene
_
;
J
0
= 0.
Demostracin.
_
;
J
0
=
_
b
o
J
0
_
;(t )
_
;
0
(t ) dt =
_
b
o
(J ;)
0
(t ) dt = J
_
;(b)
_
J
_
;(a)
_
.
por el teorema fundamental del Clculo para funciones R R. Q.E.D.
Independencia del camino. Si : C es continua en una regin , las siguientes armaciones
son equivalentes:
i)
_
;
es independiente del camino:
_
;
1
=
_
;
2
para todo par de curvas C
1
a trozos ;
1
y
;
2
contenidas en que unen cualquier punto z
1
con cualquier otro punto z
2
.
ii)
_
T
= 0 para toda curva cerrada C
1
a trozos 1 contenida en .
iii) admite una antiderivada ( primitiva) en , es decir, existe J : C analtica en y
tal que J
0
(z) = (z) para todo z .
1
Veremos ms adelante (Seccin 2.3.3) que si J es analtica en entonces J
0
es automticamente continua en dicho
conjunto.
Teorema de CauchyGoursat. Homotopa. Antiderivadas 25
Demostracin.
ii) == i) Si ;
1
y ;
2
son dos curvas C
1
a trozos contenidas en que unen z
1
con z
2

entonces 1 = ;
1
;
2
es una curva cerrada, y por tanto
_
;
1

_
;
2
=
_
;
1
;
2
=
_
T
= 0 .
i) == ii) Sea 1 una curva cerrada C
1
a trozos contenida en . Si 1 se reduce a un punto z
0

(es decir, si 1(t ) = z
0
para todo t a. b|), la integral
_
T
es claramente nula, ya que 1
0
(t ) = 0.
En caso contrario, podemos escoger dos puntos z
1
= z
2
1
_
a. b|
_
y escribir 1 = ;
1
;
2
, siendo
;
1
y ;
2
curvas contenidas en con extremos z
1
y z
2
. Entonces
_
T
=
_
;
1
;
2
=
_
;
1

_
;
2
= 0 .
iii) ==i) Por el teorema fundamental del Clculo (ya que J
0
= es continua por hiptesis).
i)==iii) Fijemos (arbitrariamente) un punto z
0
. Si z es un punto cualquiera de , por ser
una regin hay una curva (C
1
a trozos) ; contenida en que une z
0
con z. Denimos entonces
J(z) =
_
;
.
Ntese que, por hiptesis, J no depende de la curva ; que utilicemos para unir z
0
con z.
Probemos nalmente que J es diferenciable en todo punto z , con J
0
(z) = (z). Si c > 0,
al ser abierto y continua en , existe > 0 tal que [() (z)[ < c si D(z: ) . Dado
un punto cualquiera n D(z: ) distinto de z, sea 1 D(z: ) el segmento que une z con n.
Entonces se tiene:
J(n) J(z) =
_
;C1

_
;
=
_
1
.
Por el Teorema Fundamental del Clculo, nz =
_
1
J (ya que 1 =
0
), y por tanto (nz)(z) =
(z)
_
1
J =
_
1
(z) J. Luego
J(n) J(z)
n z
(z)
=
[J(n) J(z) (n z)(z)[
[n z[
=
_
1
() J
_
1
(z) J
[n z[
=
_
1
() (z)| J
[n z[
_
c l(1)
[n z[
= c.
Q.E.D.
2.2 Teorema de CauchyGoursat. Homotopa. Antiderivadas
v Una curva cerrada ; : a. b| C es simple si a < s < t < b ==;(s) = ;(t ).
Teorema de Cauchy (versin original). Si ; es una curva cerrada simple C
1
a trozos y : C C
es analtica con derivada continua en ; y en el interior de ;, entonces
_
;
= 0.
Demostracin. Por el teorema de Green (orientando la curva en sentido antihorario, de modo que el
interior D de ; quede a la izquierda de ;), si = u i se tiene
_
;
dz =
_
;
(ud. d,)i
_
;
(ud, d.) =
_
T
(u
,
x
) d. d,i
_
T
(u
x
,
) d. d, = 0.
en virtud de las ecuaciones de CauchyRiemann. Q.E.D.
v Este resultado es insuciente, ya que no hace falta suponer que
0
sea continua (probaremos
que esta hiptesis se deduce de la analiticidad de ). Adems, el resultado es vlido para
curvas mucho ms generales que las cerradas simples.
Teorema de CauchyGoursat para un rectngulo. Sea 1 un rectngulo cerrado con los lados
paralelos a los ejes, y sea d1 la frontera de 1. Si : C C es analtica en 1 se cumple:
_
JT
= 0.
Demostracin. Orientemos d1 en sentido antihorario (obviamente, el resultado es independiente de
la orientacin de d1). Si dividimos 1 en cuatro subrectngulos congruentes 1
(i)
(i = 1. . . . . 4)
(tambin orientados en sentido antihorario) entonces
_
JT
=
4
iD1
_
JT
.i/
.
ya que las integrales a lo largo de los lados interiores de los rectngulos 1
(i)
se cancelan a pares. Por
tanto, existe k {1. . . . . 4] tal que
_
JT
.k/
_
1
4
_
JT
.
Llamemos 1
1
= 1
(k)
. Repitiendo indenidamente el proceso anterior, obtenemos una sucesin de
rectngulos cerrados encajados 1
0
1 1
1
1
2
1
n
1
nC1
. . . tales que
_
JT
n
_
1
4
_
JT
n1
==
_
JT
n
_
1
4
n
_
JT
. Vn N.
Adems, si 1
i
y D
i
denotan respectivamente el permetro y la diagonal del i -simo rectngulo y
1 1
0
, D D
0
, se tiene:
1
i
=
1
2
i
. D
i
=
D
2
i
. Vi N.
Por el teorema de encaje de Cantor,
_
n2N
1
n
= {a], con a 1. Ntese que
z 1
n
== [z a[ _ D
n
= 2
n
D.
al ser a 1
n
cualquiera que sea n N. Si c > 0, tomemos > 0 sucientemente pequeo de modo
que sea analtica en D(a: ) y adems se verique
(z) (a) (z a)
0
(a)
< c [z a[ . Vz D(a: ). z = a.
(Ntese que, por hiptesis, es derivable en un entorno de cada punto de 1.) Escojamos ahora n
sucientemente grande para que D
n
= 2
n
D < , de modo que 1
n
D(a: ). Ntese que, por el
teorema fundamental del Clculo,
_
JT
n
dz =
_
JT
n
z dz = 0.
De esto se sigue que
_
JT
_ 4
n
_
JT
n
= 4
n
_
JT
n
_
(z) (a)
0
(a)(z a)
_
dz
_ 4
n
_
JT
n
c [z a[ [dz[ _ 4
n
2
n
Dc 1
n
= 4
n
2
n
Dc 2
n
1 = 1Dc.
Como c > 0 es arbitrario y 1D es constante, el teorema est demostrado. Q.E.D.
Teorema de CauchyGoursat. Homotopa. Antiderivadas 27
Teorema de CauchyGoursat generalizado. Sea a un punto interior a 1, y supongamos que :
C C es analtica en 1 {a] y lim
;!o
(z a)(z)| = 0. Entonces
_
JT
= 0.
Demostracin. Sea Q 1un cuadrado con lados paralelos a los ejes coordenados de centro a y lado
l > 0 sucientemente pequeo de forma que que [(z a)(z)[ < c si z Q {a]. Prolongando
los lados de Q podemos subdividir el rectngulo 1 en 9 subrectngulos 1
0
Q, 1
1
. . . . . 1
S
. Por
tanto
_
JT
=
_
JQ

S
iD1
_
JT
i
.
La funcin es analtica en cada uno de los rectngulos 1
i
, ya que a 1
i
1. Por el teorema de
CauchyGoursat
_
JT
i
= 0 si i = 1. . . . . 8, y por tanto
_
JT
_
JQ
_ c
_
JQ
[dz[
[z a[
_ c
2
l
4l = 8c .
lo que demuestra el teorema. Q.E.D.
2.2.1 Homotopa. Teorema de Cauchy
v Sea C una regin, y sean ;
1
y ;
2
dos curvas continuas contenidas en con los mismos
extremos z
1
. z
2
(z
1
= z
2
), dos curvas cerradas continuas contenidas en . Diremos
que ;
1
es homtopa a ;
2
en si se puede deformar de manera continua hasta transformarse
en ;
2
sin salirse de . En el primer caso (homotopa de curvas abiertas con extremos jos), los
extremos de todas las curvas deformadas han de mantenerse iguales a z
1
y z
2
, mientras que en
el segundo (homotopa de curvas cerradas) todas las curvas deformadas han de ser cerradas.
Es importante observar que el concepto de homotopa depende de la regin considerada. En
otras palabras, dos curvas homtopas en una cierta regin pueden no serlo en otra regin
0
.
v Ntese que un punto z
0
es una curva cerrada constante: ;(t ) = z
0
, Vt a. b|. En
particular,
_
;
0
= 0 para toda .
v Una regin C es simplemente conexa si toda curva cerrada continua ; contenida en
es homtopa a un punto en .
Ejemplo: C es simplemente conexo. Un disco abierto es una regin simplemente conexa. Un disco
abierto sin uno de sus puntos no lo es. El plano complejo menos una semirrecta es simplemente
conexo.
Teorema de la deformacin. Sean ;
1
y ;
2
dos curvas C
1
a trozos homtopas en una regin , y
sea : C analtica en . Entonces se verica
_
;
1
=
_
;
2
.
Teorema de Cauchy. Sea ; una curva cerrada C
1
a trozos homtopa a un punto en una regin .
Si : C es analtica en se cumple
_
;
= 0. (2.3)
Se demuestra que cualquiera de los dos teoremas anteriores implica el otro, por lo que basta con pro-
bar uno de ellos. Vase, por ejemplo, el libro Basic Complex Analysis, de J.E. Marsden y M.J. Hoffman,
para una demostracin detallada y rigurosa de cualquiera de estos teoremas. Aplicando el teorema de
Cauchy a una regin simplemente conexa se deducen los dos corolarios siguientes:
Corolario 2.3. Si C es una regin simplemente conexa y : C es analtica en entonces
_
;
= 0.
para toda curva cerrada ; contenida en .
Nota. A partir de ahora, supondremos sin mencionarlo en los enunciados que todas las curvas con
que tratemos son C
1
a trozos, a menos que no se indique explcitamente lo contrario.
Demostracin. En efecto, si es una regin simplemente conexa toda curva cerrada ; contenida en
es homtopa a punto en , por lo que
_
;
= 0 en virtud del teorema de Cauchy. Q.E.D.
Corolario 2.4. Si : C es analtica en una regin simplemente conexa entonces admite
una primitiva en .
Demostracin. Por el corolario anterior,
_
;
= 0 para toda curva cerrada ; contenida en . Esto
implica que tiene una primitiva en , en virtud de la equivalencia ii) == iii) del teorema sobre
la independencia del camino de la pg. 24. Q.E.D.
Necesitaremos tambin la siguiente generalizacin del teorema de Cauchy, que se prueba utili-
zando el teorema de CauchyGoursat generalizado:
Teorema de Cauchy generalizado. Sea ; : a. b| C una curva cerrada homtopa a un punto en
una regin , y sea z
0
;(a. b|). Si es analtica en {z
0
] y lim
;!;
0
(z z
0
)(z)| = 0
entonces
_
;
= 0.
Idea de la demostracin. Si z
0
es exterior a la curva, entonces ; es homtopa a un punto en la regin
{z
0
], e
_
;
= 0 por el teorema de Cauchy aplicado a dicha regin. Si, por el contrario, z
0
es
interior a ;, al ser dicha curva homtopa a un punto en puede probarse que existe un cuadrado
sucientemente pequeo Q centrado en z
0
tal que ; es homtopa a Q en {z
0
]. Por el
teorema de la deformacin aplicado a en la regin {z
0
],
_
;
=
_
JQ
= 0 .
donde la ltima igualdad es consecuencia del teorema de CauchyGoursat generalizado. Q.E.D.
2.3 ndice. Frmula integral de Cauchy y sus consecuencias
2.3.1 ndice
v Si ; es una curva cerrada y a ;, denimos el ndice de a respecto de ; mediante
n(;. a) =
1
2i
_
;
dz
z a
.
v 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
i re
it
re
it
dt = n.
ndice. Frmula integral de Cauchy y sus consecuencias 29
Anlogamente, si ; es la circunferencia de centro a y radio r > 0 recorrida n veces en sentido
horario,
n(;. a) = n.
En virtud del teorema de la deformacin, esto sugiere que n(;. a) es el nmero de vueltas que
da la curva ; alrededor de a, contando como positivas las vueltas dadas en sentido antihorario.
Ejemplo: Si z
0
es un punto exterior a una circunferencia ( a cualquier curva cerrada simple) ;,
entonces (zz
0
)
1
es analtica en = C{z
0
] y ; es homtopa a un punto en ==n(;. z
0
) = 0,
por el teorema de Cauchy.
Proposicin 2.5. n(;. z
0
) es un entero.
Demostracin. Supongamos, por sencillez, que ; : a. b| C es C
1
en a. b|. Si denimos
h(t ) =
_
t
o
;
0
(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
0
(t ) =
;
0
(t )
;(t ) z
0
==
d
dt
_
e
h(t)
;(t ) z
0
|
_
= 0. Vt a. b|.
Por tanto e
h(t)
_
;(t ) z
0
_
es constante en a. b|, de donde se deduce (al ser h(a) = 0) que
;(a)z
0
= e
h(b)
(;(b)z
0
) = e
h(b)
(;(a)z
0
) == e
h(b)
= 1
;
0
;
== h(b) = 2ni. n Z.
Q.E.D.
2.3.2 Frmula integral de Cauchy
Sea : C analtica en una regin , sea ; una curva homtopa a un punto en , y sea a
un punto que no est sobre ;. Entonces se verica
n(;. a) (a) =
1
2i
_
;
(z)
z a
dz.
Demostracin. La funcin
g(z) =
_
_
_
(z) (a)
z a
. z = a
0
(a). z = a
es analtica en {a] y lim
;!o
(z a)g(z)| = lim
;!o
(z) (a)| = 0. Por el teorema de Cauchy
generalizado,
0 =
_
;
g =
_
;
(z) (a)
z a
dz =
_
;
(z)
z a
dz(a)
_
;
dz
z a
=
_
;
(z)
z a
dz(a)2in(;. a).
Q.E.D.
Si : C C es una funcin analtica en una regin y z , podemos aplicar la frmula
integral de Cauchy a la circunferencia ; de centro z y radio r sucientemente pequeo para que
D(z: 2r) , ya que ; es homtopa a un punto en D(z: 2r) y, por tanto, en . Si orientamos la
circunferencia ; positivamente (en sentido antihorario) entonces n(;. z) = 1, y por tanto la frmula
integral de Cauchy permite expresar (z) como
(z) =
1
2i
_
;
(n)
n z
dn.
Derivando esta frmula formalmente respecto de z bajo el signo integral obtenemos
(k)
(z) =
k
2i
_
;
(n)
(n z)
kC1
dn. k N. (2.4)
En particular, si se verica (2.4) es innitas veces diferenciable en cualquier punto z . Vea-
mos a continuacin cmo se justica rigurosamente la derivacin bajo la integral que conduce a la
ecuacin (2.4):
Lema 2.6. Consideremos la integral de tipo Cauchy
G(z) =
_
;
g(n)
n z
dn.
donde g : C C es una funcin continua sobre una curva ; (no necesariamente cerrada) y
z ;(a. b|). Entonces G es innitas veces derivable en todo punto z
0
;(a. b|), siendo
G
(k)
(z
0
) = k
_
;
g(n)
(n z
0
)
kC1
dn. (2.5)
Demostracin. La demostracin es por induccin sobre k.
i) Supongamos, en primer lugar, que k = 1. Sea z
0
;(a. b|), y denamos
Figura 2.1: integral de tipo Cauchy
2j = min
t2o,bj
[;(t ) z
0
[ > 0. M = max
t2o,bj
g
_
;(t )
_
.
Ntese que j > 0 y M < opor la continuidad de ; y g ; en el compacto a. b|. Si z D(z
0
: j)
con z = z
0
se tiene
G(z) G(z
0
)
z z
0
=
_
;
1
z z
0
_
1
n z
1
n z
0
_
g(n) dn.
Pero
1
z z
0
_
1
n z
1
n z
0
_
=
1
(n z)(n z
0
)
=
1
(n z
0
)
2
n z
0
n z
=
1
(n z
0
)
2
_
1
z z
0
n z
_
.
(2.6)
Si n est sobre la curva ;, por denicin de M y j se tiene:
[g(n)[ _ M . [n z
0
[ _ 2j . [n z[ _ j .
Por tanto
G(z) G(z
0
)
z z
0
_
;
g(n)
(n z
0
)
2
dn
= [z z
0
[
_
;
g(n)
(n z
0
)
2
(n z)
dn
_ [z z
0
[
M l(;)
4j
2
j
;!;
0
0.
ii) Supongamos ahora el lema cierto para k = 1. . . . . n 1, y probmoslo para k = n. Veamos, en
primer lugar, que G
(n1)
es continua en z
0
C ;(a. b|). En efecto, por la hiptesis de induccin
se tiene
G
(n1)
(z) = (n 1)
_
;
g(n)
(n z)
n
dn.
Multiplicando la primera identidad (2.6) por 1,(n z)
n1
se obtiene
1
(n z)
n
=
1
(n z)
n1
(n z
0
)
z z
0
(n z)
n
(n z
0
)
.
y por tanto
G
(n1)
(z) G
(n1)
(z
0
) = (n 1)
__
;
g(n)
(n z)
n1
(n z
0
)
dn
_
;
g(n)
(n z
0
)
n
dn
_
(n 1) (z z
0
)
_
;
g(n)
(n z)
n
(n z
0
)
dn. (2.7)
Por la hiptesis de induccin aplicada a g(n),(n z
0
) (que tambin es continua sobre ;, ya que
z
0
;(a. b|)), la funcin
_
;
g(n)
(n z)
n1
(n z
0
)
dn
es derivable, y por tanto continua, si z C;(a. b|), lo cual implica que el trmino entre corchetes
en el miembro derecho de (2.7) tiende a 0 si z z
0
. En cuanto a la integral que aparece en el
segundo trmino del MD de dicha ecuacin, procediendo como en el caso k = 1 se demuestra que
_
;
g(n)
(n z)
n
(n z
0
)
dn
_
Ml(;)
2j
nC1
. Vz D(z
0
: j) .
lo que prueba que el segundo trmino del MD de (2.7) tambin tiende a 0 si z z
0
.
Veamos, por ltimo, que G
(n1)
es derivable en z
0
. En efecto, si z D(z
0
: j) {z
0
] dividien-
do (2.7) por z z
0
se obtiene
G
(n1)
(z) G
(n1)
(z
0
)
z z
0
=
(n 1)
z z
0
__
;
g(n)
(n z)
n1
(n z
0
)
dn
_
;
g(n)
(n z
0
)
n
dn
_
(n 1)
_
;
g(n)
(n z)
n
(n z
0
)
dn. (2.8)
De nuevo por la hiptesis de induccin aplicada a g(n),(nz
0
), cuando z z
0
el primer trmino
del MD de esta identidad tiende a
(n 1)
d
dz
;D;
0
_
;
g(n)
(n z)
n1
(n z
0
)
dn = (n 1)
d
n1
dz
n1
;D;
0
_
;
g(n)
(n z)(n z
0
)
dn
= (n 1)(n 1)
_
;
g(n)
(n z
0
)
nC1
dn.
En cuanto al segundo trmino de (2.8), de lo probado anteriormente sobre la continuidad de G
(n1)
(z
0
)
aplicado ahora a la integral de tipo Cauchy
_
;
g(n)
(n z)
n
(n z
0
)
dn
se sigue que esta ltima integral es una funcin continua en z
0
, y por tanto tiende a
_
;
g(n)
(n z
0
)
nC1
dn.
cuando z z
0
. De lo anterior se sigue que G
(n1)
es derivable en z
0
, siendo
G
(n)
(z
0
) = (n 1)(n 1)
_
;
g(n)
(n z
0
)
nC1
(n 1)
_
;
g(n)
(n z
0
)
nC1
dn
= n
_
;
g(n)
(n z
0
)
nC1
dn.
Q.E.D.
2.3.3 Frmula integral de Cauchy para las derivadas
Sea : C una funcin analtica en una regin . Entonces es innitas veces derivable en
cualquier punto de . Adems, si ; : a. b| es una curva cerrada homtopa a un punto en y
z
0
;(a. b|) se verica
n(;. z
0
)
(k)
(z
0
) =
k
2i
_
;
(n)
(n z
0
)
kC1
dn. k N. (2.9)
Demostracin. Sea z
0
;(a. b|), y sea D cualquier entorno de z
0
que no corte a ; (por
ejemplo, el disco D(z
0
: j) denido en la demostracin del lema anterior) contenido en . Al ser
n(;. z) una integral de tipo Cauchy (con g = 1,2i), es una funcin continua de z para todo z D,
y como es un nmero entero ha de ser constante en dicho entorno. Por tanto, si
J(z) =
1
2i
_
;
(n)
n z
dn. z D.
entonces (en virtud de la frmula integral de Cauchy)
J(z) = n(;. z)(z) = n(;. z
0
)(z) . Vz D. (2.10)
Como J es tambin de tipo Cauchy, aplicando las ecs. (2.5) y (2.10) se obtiene
J
(k)
(z) =
k
2i
_
;
(n)
(n z)
kC1
dn = n(;. z
0
)
(k)
(z) . Vz D.
Haciendo z = z
0
se deduce (2.9). Q.E.D.
A partir del teorema anterior se prueba fcilmente el siguiente resultado fundamental:
Teorema 2.7. Si : C C es analtica en un conjunto arbitrario C, entonces es innitas veces
derivable en todo punto de C.
Demostracin. Dado un punto z C, basta aplicar el teorema anterior en un entorno de z en que
sea analtica. Q.E.D.
2.3.4 Teorema de Morera
Si : C C es continua en una regin y
_
;
= 0 para toda curva cerrada ; contenida en ,
entonces es analtica en .
Demostracin. El teorema acerca de la independencia del camino implica que existe J : C C
analtica en tal que = J
0
en . Como J es analtica en , es innitamente derivable en dicha
regin, y por tanto
0
= J
00
existe en todo punto de . Q.E.D.
Ejercicio. Es cierto el resultado anterior si slo suponemos que
_
;
= 0 para toda curva cerrada
; homtopa a un punto en ?
2.3.5 Desigualdades de Cauchy
Sea analtica en una regin , sea a , y supongamos que D(a: 1) {z C [ [z a[ _ 1]
. Si M = max
j;ojDT
[(z)[ entonces
(k)
(a)
_
k
1
k
M. Vk = 0. 1. 2. . . . .
Demostracin. Si ; es el crculo de centro a y radio 1 orientado positivamente, entonces ; es ho-
motpico a un punto en y n(;. a) = 1. La frmula integral de Cauchy para la k-sima derivada
proporciona entonces
(k)
(a)
=
k
2
_
;
(z)
(z a)
kC1
dz
_
k
2
_
;
[(z)[
[z a[
kC1
[dz[ _
k
2
M
1
kC1
21 =
k
1
k
M.
Q.E.D.
2.3.6 Teorema de Liouville
Si : C C es entera (es decir, analtica en todo C) y [ [ est acotado en C, entonces es
constante.
Demostracin. La hiptesis implica que existe 1 > 0 tal que [(z)[ < 1 para todo z C. Si
z C, de la desigualdad de Cauchy para la primera derivada se deduce que
0
(z)
<
1
1
. V1 > 0
(ya que, al ser = C, las desigualdades de Cauchy son vlidas para cualquier 1 > 0). De esto
se sigue obviamente que [
0
(z)[ = 0 para todo z C. Al ser C conexo, ha de ser constante en
C. Q.E.D.
2.3.7 Teorema fundamental del lgebra
Un polinomio de grado n _ 1 tiene al menos una raz.
Demostracin. Sea (z) =

n
iD0
a
i
z
i
, con a
n
= 0 y n _ 1. Si no tuviera ninguna raz, la
funcin = 1, sera entera. Probaremos que esto es imposible demostrando que en tal caso
sera tambin acotada en C y no constante, en contradiccin con el teorema de Liouville.
Para probar que est acotada, ntese que si z = 0
[(z)[ _ [z[
n
_
[a
n
[
[a
n1
[
[z[

[a
0
[
[z[
n
_
.
Como
[a
k
[
[z[
nk

j;j!1
0 (k = 0. . . . . n 1), existe M > 1 tal que
[z[ > M ==
[a
k
[
[z[
nk
<
[a
n
[
2n
. k = 0. . . . . n 1.
Por tanto
[z[ > M == [(z)[ > [z[
n
_
[a
n
[ n
[a
n
[
2n
_
=
[a
n
[
2
[z[
n
>
[a
n
[
2
> 0.
Por otra parte, al ser el disco cerrado de centro 0 y radio M compacto, existe z
0
D(0: M) tal que
[(z)[ _ [(z
0
)[ c > 0 si [z[ _ M (ntese que c > 0, al ser, por hiptesis, (z) = 0 para todo
z C). Por tanto, hemos probado que
[(z)[ =
1
[(z)[
_ max
_
2
[a
n
[
.
1
c
_
. Vz C.
Esto contradice el teorema de Liouville, al ser 1, entera y no constante ( no es constante, ya
que a
n
= 0 y n _ 1). Q.E.D.
2.4 Propiedad del valor medio. Principio del mdulo mximo.
2.4.1 Propiedad del valor medio
Si : C C es analtica en el disco cerrado D(a: r) se verica
(a) =
1
2
_
2
0
_
a r e
i0
_
d0.
Demostracin. Antes de probar este resultado, ntese que la frmula anterior expresa que el valor
de en a es la media de los valores de en el crculo de centro a y radio r.
La demostracin es una consecuencia inmediata de la frmula integral de Cauchy. En efecto, por
hiptesis es analtica en un abierto D(a: r), que puede tomarse como una regin (de hecho,
como un disco abierto de radio ligeramente mayor que r: cf. MarsdenHoffman, prob. 1.4.27). La
circunferencia ; de centro a y radio r (orientada positivamente) es entonces homtopa a un punto en
. Aplicando la frmula integral de Cauchy se obtiene:
(a) =
1
2i
_
;
(z)
z a
dz
;DoCie
i
=
1
2i
_
2
0
(a r e
i0
)
r e
i0
ire
i0
d0 =
1
2
_
2
0
_
a r e
i0
_
d0.
Q.E.D.
Propiedad del valor medio. Principio del mdulo mximo. 35
2.4.2 Principio local del mdulo mximo
Sea : C C analtica en un abierto , y supongamos que [ [ tiene un mximo relativo en
a . Entonces es constante en un entorno de a.
Demostracin. Por hiptesis, existe 1 > 0 tal que
[(z)[ _ [(a)[ . Vz D(a: 1) D .
Vamos a probar, en primer lugar, que [ [ es constante en D. Para ello, supongamos que existiera
z
0
= a re
i
D tal que [(z
0
)[ < [(a)[. Por la continuidad de en D , existen c > 0 y
0 < _ tales que
(a re
i0
)
<
(a)
c. _ 0 _ .
En efecto, al ser

(a)
(z
0
)
> 0, existe c > 0 tal que

(z
0
)
<
(a)
c. Por continuidad de
g(0)
(a re
i0
)
en 0 = , existe entonces 0 < _ tal que para todo _ 0 _ se verica
(are
i0
)
(are
i
)
(are
i0
)
(z
0
)
<
(a)
(z
0
)
c ==
(are
i0
)
<
(a)
c.
Aplicando la propiedad del valor medio a la circunferencia de centro a y radio r obtenemos:
[(a)[ =
1
2
_
2
0
(a re
i0
) d0
=
1
2
_
C
(a re
i0
) d0
_
1
2
(a re
i0
) d0
1
2
_
C
(a re
i0
) d0
1
2
_
C
C
(a re
i0
) d0
_
1
2
_
[(a)[ ( )
_
[(a)[ c
_
(2) [(a)[ ( )
_
= [(a)[
c
< [(a)[ .
lo cual es absurdo. Esto demuestra que [ [ es constante en D, lo cual implica que es tambin
constante en D en virtud de las ecuaciones de CauchyRiemann (ejercicio). Q.E.D.
Corolario 2.8. Si : C es analtica en una regin y [ [ tiene un mximo relativo en ,
entonces es constante en .
Demostracin. Por el principio local del mdulo mximo, es constante en un disco abierto D .
Por otra parte, en el captulo siguiente (cf. el Teorema 3.11) veremos que una funcin analtica en
una regin y constante en un entorno de un punto de ha de ser constante en todo .
Q.E.D.
2.4.3 Principio global del mdulo mximo
Sea : C C analtica en una regin acotada y continua en la frontera d de . Si M =
max
;2J
[(z)[, entonces se cumple:
i) [(z)[ _ M para todo z
ii) Si [(a)[ = M para algn a entonces es constante en .
Demostracin. En primer lugar M Rexiste, al ser dcerrado (la frontera de cualquier conjunto es
siempre cerrada) y acotado (por ser acotado), y [ [ continua en d. En segundo lugar, la segunda
armacin es consecuencia de la primera y del corolario del principio local del mdulo mximo.
Basta por tanto probar la primera armacin. Para ello, ntese que la funcin [ [ tambin es continua
en el compacto = L d ( es acotado, ya que el cierre de un conjunto acotado es acotado),
de forma que alcanza un mximo en dicho conjunto. Si dicho mximo se alcanza en d, entonces la
primera armacin se cumple por denicin de mximo. Si, por el contrario, el mximo de [ [ en
se alcanza en un punto z
0
, el corolario del principio local del mdulo mximo implica que
(z) = (z
0
) para todo z . Por continuidad, (z) = (z
0
) para todo z , lo cual implica
trivialmente la primera armacin (ya que en este caso es constante en ). Q.E.D.
Ejercicio. Calcular el mximo de [e
;
[ en el disco [z[ _ 1.
Solucin. La funcin (z) = e
;
verica las hiptesis del principio global del mdulo mximo en
= D(0: 1), y por tanto [e
;
[ alcanza su mximo valor en la circunferencia unidad [z[ = 1. Pero
si z = e
i0
con 0 _ 0 < 2 entonces [e
;
[ = e
cos 0
_ e
cos 0
= e, ya que la exponencial real es
una funcin montona creciente. Luego el mximo de [e
;
[ en el disco [z[ _ 1 es e, y se alcanza en
el punto z = 1 de la frontera del disco. Ntese que dicho mximo no puede alcanzarse en ningn
punto interior al disco, ya que entonces el principio global del mdulo mximo implicara que es
constante en el disco cerrado.
El resultado anterior se puede tambin obtener de forma elemental observando que si z = re
i0
(con 0 _ 0 < 2) entonces [e
;
[ = e
i cos 0
, que alcanza su valor mximo cuando r cos 0 es mximo.
Como r _ 1, el valor mximo de r cos 0 se alcanza para r = 1 y 0 = 0.
Captulo 3
Representacin de funciones analticas
mediante series
3.1 Convergencia de sucesiones y series de funciones
3.1.1 Sucesiones y series de nmeros complejos
v Una sucesin de nmeros complejos {z
n
]
1
nD1
converge a z C ( = lim
n!1
z
n
= z) si
Vc > 0. JN N t.q. n _ N ==[z
n
z[ < c.
v lim
n!1
z
n
, si existe, es nico.
v lim
n!1
z
n
= z . i, == lim
n!1
Re(z
n
) = ., lim
n!1
Im(z
n
) = ,.
v Criterio de Cauchy:
J lim
n!1
z
n
==Vc > 0. JN N t.q. n. m _ N ==[z
n
z
n
[ < c.
Demostracin.
==) [z
n
z
n
[ _ [z
n
z[ [z
n
z[
==) z
n
= .
n
i,
n
== [.
n
.
n
[ _ [z
n
z
n
[ . [,
n
,
n
[ _ [z
n
z
n
[ == {.
n
]
1
nD1
y
{,
n
]
1
nD1
convergentes (sucesiones reales de Cauchy) =={z
n
]
1
nD1
convergente.
v La serie
1
kD1
z
k
converge a s C
_
=
1
kD1
z
k
= s
_
si la sucesin de sumas parciales

n
kD1
z
k
_
1
nD1
converge a s, es decir
1
kD1
z
k
= s == lim
n!1
n
kD1
z
k
= s.
v
1
kD1
z
k
convergente == lim
n!1
z
n
= 0. En efecto,
lim
n!1
z
n
= lim
n!1
_
n
kD1
z
k

n1
kD1
z
k
_
= lim
n!1
n
kD1
z
k
lim
n!1
n1
kD1
z
k
= s s = 0 .
37
38 REPRESENTACIN DE FUNCIONES ANALTICAS MEDIANTE SERIES
v Se dice que
1
kD1
z
k
es absolutamente convergente si
1
kD1
[z
k
[ es convergente.
Proposicin 3.1. Si
1
kD1
z
k
es absolutamente convergente entonces es convergente.
Demostracin. Es consecuencia del criterio de Cauchy, ya que si (por ej.) m > n se tiene
kD1
z
k

n
kD1
z
k
kDnC1
z
k
_
n
kDnC1
[z
k
[ =
kD1
[z
k
[
n
kD1
[z
k
[
.
3.1.2 Sucesiones y series de funciones. Convergencia uniforme
Una sucesin de funciones
n
: C denidas en un conjunto C (n N) converge
puntualmente a una funcin en si para todo z existe lim
n!1
n
(z) = (z). Anlogamente,
la serie de funciones

1
kD1
g
k
converge puntualmente a la funcin g en si existe

1
kD1
g
k
(z) =
g(z) para todo z .
Denicin 3.2. La sucesin de funciones {
n
]
1
nD1
denidas en converge uniformemente a en
si
Vc > 0. JN N t.q. n _ N ==[
n
(z) (z)[ < c. para todo z .
Anlogamente,
1
kD1
g
k
converge uniformemente a g en si la sucesin de funciones

n
kD1
g
k
_
1
nD1
converge uniformemente a g en , es decir si
Vc > 0. JN N t.q. n _ N ==
kD1
g
k
(z) g(z)
< c. para todo z .

v Obviamente, si una sucesin serie de funciones converge uniformemente a una funcin en
entonces dicha sucesin o serie converge puntualmente en a la misma funcin. Sin embargo, la
convergencia puntual de una sucesin o serie de funciones no implica, en general, su convergencia
uniforme.
v Criterio de Cauchy: {
n
]
1
nD1
converge uniformemente en si y slo si
Vc > 0. JN N t.q. n. m _ N ==[
n
(z)
n
(z)[ < c. para todo z .
Demostracin. En primer lugar, es claro que la convergencia uniforme de
n
a en implica el
criterio de Cauchy. Para demostrar el recproco ntese que, por el criterio de Cauchy para sucesiones
numricas, la sucesin {
n
]
1
nD1
converge puntualmente a una funcin en . Haciendo tender m a
innito en la condicin de Cauchy uniforme se prueba que si n _ N entonces [
n
(z) (z)[ _ c
para todo z .
Anlogamente, la serie
1
kD1
g
k
converge uniformemente a una funcin g en si
Vc > 0. JN N t.q. m > n _ N ==
kDnC1
g
k
(z)
< c. para todo z .

Convergencia de sucesiones y series de funciones 39
Criterio M de Weierstrass. Sea g
k
: C C (k N) una sucesin de funciones, y
supongamos que [g
k
(z)[ _ M
k
para todo z y para todo k N. Si la serie numrica

1
kD1
M
k
es convergente, entonces

1
kD1
g
k
converge absoluta y uniformemente en .
Demostracin. Es consecuencia del criterio de Cauchy para la convergencia uniforme, ya que si
m > n entonces

kDnC1
g
k
(z)
_
n
kDnC1
[g
k
(z)[ _
n
kDnC1
M
k
.
v Si {
n
]
1
nD1
converge uniformemente a en y
n
: C es continua en para todo n N,
entonces es continua en . Anlogamente, si g
n
es continua en para todo n N y

1
kD1
g
k
converge uniformemente a g en entonces g es continua en .
La demostracin de este resultado es idntica a la del caso real, sin ms que reemplazar el valor
absoluto por el mdulo.
Lema 3.3. Sea
n
continua en para todo n N. Si {
n
]
1
nD1
converge uniformemente a en y
; es una curva C
1
a trozos contenida en entonces
lim
n!1
_
;
n
=
_
;

_
;
lim
n!1
n
.
En particular, si g
k
es continua en para todo k N y

1
kD1
g
k
converge uniformemente en
entonces
_
;
1
kD1
g
k
=
1
kD1
_
;
g
k
.
Demostracin. En primer lugar, ntese que es continua, al ser uniforme la convergencia de
n
a
, y por tanto existe la integral
_
;
. Dado c > 0, existe N N tal que [
n
(z) (z)[ < c para
todo z y n _ N. Entonces se tiene:
n _ N ==
_
;
_
;
_
;
(
n
)
_
_
;
[
n
(z) (z)[ [dz[ _ c l(;) .
Teorema de la convergencia analtica. Sea {
n
]
1
nD1
una sucesin de funciones analticas en un
abierto tales que
n
uniformemente en cada disco cerrado contenido en . Entonces es
analtica en , y
0
n

0
uniformemente en cada disco cerrado contenido en .
Demostracin. En primer lugar, por ser uniforme la convergencia de
n
a en discos cerrados
contenidos en , es continua en cada disco cerrado contenido en , y por tanto es continua en .
Sea D(a: r) . Si ; es una curva cerrada C
1
a trozos contenida en D(a: r) entonces es continua
en D(a: r) y
_
;
= lim
n!1
_
;
n
= 0.
por el Lema 3.3 y el teorema de Cauchy (
n
es analtica en D(a: r) y D(a: r) es simplemente
conexo). Por el teorema de Morera, es analtica en D(a: r), y por tanto en .
Para probar que
0
n

0
uniformemente en D(a: r), ntese que existe 1 > r tal que D(a: 1)
. Dado c > 0, existe N N tal que [
n
(n) (n)[ < c para todo n D(a: 1) y n _ N.
Si z D(a: r) y ; es la circunferencia de centro a y radio 1 (orientada positivamente) se tiene
entonces, por la frmula integral de Cauchy para la primera derivada:
0
n
(z)
0
(z)
=
1
2
_
;
n
(n) (n)
(n z)
2
dn
_
1
2
c
(1 r)
2
21 =
c1
(1 r)
2
.
Corolario 3.4. Sea

1
kD1
g
k
una serie de funciones analticas en un abierto uniformemente
convergente a g en cada disco cerrado contenido en . Entonces g es analtica en , y

1
kD1
g
0
k
converge uniformemente a g
0
en cada disco cerrado contenido en .
En particular, ntese que
d
dz
1
kD1
g
k
=
1
kD1
dg
k
dz
en :
en otras palabras, si se cumplen las hiptesis del corolario precedente la serie se puede derivar
trmino a trmino en .
3.2 Convergencia de series de potencias. Teoremas de Taylor y Lau-
rent.
3.2.1 Series de potencias
Una serie de potencias centrada en z
0
C es una serie del tipo
1
kD0
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 1 tal que 0 _ 1 _ o, llamado el
radio de convergencia de la serie, que cumple:
i) La serie converge absolutamente para [z z
0
[ < 1. Adems, la convergencia es uniforme en
todo disco cerrado D(z
0
: r) de radio r < 1.
ii) La serie diverge si [z z
0
[ > 1.
iii) Si 1 > 0, la suma de la serie es una funcin analtica en el disco de convergencia D(z
0
: 1),
cuya derivada se obtiene derivando trmino a trmino la serie dada.
Demostracin. Claramente, de i) y ii) se sigue que 1, si existe, es nico. Probaremos que
1 = sup 1 . 1
r _ 0 [ {[a
n
[ r
n
]
1
nD0
acotado
_
.
Ntese que si {[a
n
[ r
n
]
1
nD0
est acotado tambin lo est {[a
n
[ j
n
]
1
nD0
para todo j _ r, por lo que
el conjunto 1 es un intervalo con extremo inferior en 0. En particular, 1 = osi {[a
n
[ r
n
]
1
nD0
est
acotado para todo r _ 0. Con esta denicin, la parte ii) es trivial: en efecto, si [z z
0
[ > 1 la
sucesin

[a
n
[ [z z
0
[
n
_
1
nD0
= {[a
n
(z z
0
)
n
[]
1
nD0
no est acotada (ya que [z z
0
[ 1), y por
tanto el trmino general de la serie no tiende a cero cuando n o.
Para probar i), ntese en primer lugar que si 1 = 0 la serie diverge para todo z = z
0
, y no hay
nada que probar. Supongamos, por tanto, que 1 > 0, y sea 0 < r < 1. Entonces r 1, y por
denicin de supremo existen r < j < 1 y M > 0 tal que [a
n
[ j
n
< M para todo n. Si [z z
0
[ _ r
se tiene:
[a
n
(z z
0
)
n
[ = [a
n
[ j
n
_
[z z
0
[
j
_
n
_ M
_
r
j
_
n
.
Por el criterio M de Weierstrass, la serie converge absoluta y uniformemente en D(z
0
: r); en par-
ticular, converge absolutamente en D(z
0
: 1). El apartado iii) se sigue del criterio de la convergen-
cia analtica, ya que de i) se deduce que la serie converge uniformemente en cada disco cerrado
D(a: r) D(z
0
: 1) (en efecto, todo disco cerrado contenido en D(z
0
: 1) est contenido en algn
disco cerrado centrado en z
0
de radio menor que 1).
Convergencia de series de potencias. Teoremas de Taylor y Laurent. 41
v 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 Abel, basta ver que la serie
1
kD1
ka
k
(zz
0
)
k1
diverge si [z z
0
[ > 1,
siendo 1 el radio de convergencia de la serie original
1
kD1
a
k
(z z
0
)
k
. 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 denicin de 1, el ltimo trmino no est acotado cuando [z z
0
[ > 1. Luego el trmino
general de la serie

1
kD1
ka
k
(z z
0
)
k1
no tiende a cero si [z z
0
[ > 1, por lo que dicha serie
diverge si [z z
0
[ > 1.
Aplicando repetidamente el teorema de Abel y el resultado anterior se obtiene el siguiente
Teorema 3.5. Sea 0 < 1 _ oel radio de convergencia de la serie (z) =
1
kD0
(zz
0
)
k
. Entonces
es innitas veces derivable en D(z
0
: 1), y se cumple
(n)
(z) =
1
kDn
k(k 1) (k n 1)a
k
(z z
0
)
kn
=
1
kD0
(k n)(k n 1) (k 1)a
kCn
(z z
0
)
k
. Vn N. Vz D(z
0
: 1).
siendo el radio de convergencia de todas estas series de potencias igual a 1. Adems, los coecientes
a
n
vienen dados por
a
n
=

(n)
(z
0
)
n
. Vn = 0. 1. 2. . . . .
Corolario 3.6 (unicidad de las series de potencias). Si existe r > 0 tal que
1
kD0
a
k
(z z
0
)
k
=
1
kD0
b
k
(z z
0
)
k
. Vz D(z
0
. r).
entonces a
k
= b
k
para todo k = 0. 1. 2. . . . .
Demostracin. a
k
= b
k
=
(k)
(z
0
),k, siendo (z) la suma de cualquiera de las dos series.
v Los criterios del cociente y de la raz son vlidos en el campo complejo. En efecto, consideremos
la serie

1
kD0
z
k
, y supongamos que existe (o vale o) lim
n!1
[z
nC1
[ , [z
n
[ c. Si c < 1
la serie de reales no negativos

1
kD0
[z
k
[ es convergente, por lo que la serie

1
kD0
z
k
converge
absolutamente. Si, por el contrario, c > 1 (o c = o) entonces [z
n
[ no est acotado para n o,
por lo que la serie

1
kD0
z
k
diverge (su trmino general no tiende a cero si n o). El criterio de
la raz se establece con un razonamiento anlogo.
v Si existe (o vale o) lim
n!1
[a
n
[
[a
nC1
[
, entonces 1 = lim
n!1
[a
n
[
[a
nC1
[
.
Anlogamente, si existe (o vale o) lim
n!1
n
_
[a
n
[ entonces
1
1
= lim
n!1
n
_
[a
n
[.
Probemos, por ejemplo, la primera frmula. Por el criterio del cociente, si z = z
0
la serie
1
kD0
[a
k
[ [z z
0
[
k
converge si
lim
n!1
[a
nC1
[ [z z
0
[
nC1
[a
n
[ [z z
0
[
n
= [z z
0
[ lim
n!1
[a
nC1
[
[a
n
[
< 1.
y diverge si
[z z
0
[ lim
n!1
[a
nC1
[
[a
n
[
> 1.
Anlogamente (aplicando el criterio de la raz) se prueba la segunda frmula.
v El radio de convergencia 1 de la serie de potencias
1
kD0
a
k
(zz
0
)
k
se puede calcular mediante
la frmula de Hadamard
1
1
= limsup
n!1
n
_
[a
n
[.
Nota: si .
n
_ 0 para todo n N,
limsup
n!1
.
n
= lim
n!1
sup {.
k
[ k _ n] .
El lmite superior siempre existe, vale innito si y slo si {.
n
]
1
nD1
no est acotada superiormente, y
coincide con el lmite ordinario cuando dicho lmite existe.
Ejemplo 3.7. Consideremos la serie geomtrica de razn z C, dada por
1
kD0
z
k
. Se trata de una
serie de potencias centrada en z
0
= 0 y de radio de convergencia 1 (ya que a
n
= 1 para todo n). Por
tanto la serie es absolutamente convergente si el mdulo de la razn es menor que uno, y divergente si
es mayor que uno. Este resultado se puede probar de forma ms elemental observando que si [z[ > 1
el trmino general de la serie no est acotado (su mdulo tiende a innito para n o), por lo que
la serie es divergente. Por el contrario, si [z[ < 1 entonces la n-sima suma parcial de la serie est
dada por
n
kD0
z
k
=
1 z
nC1
1 z
n!1
1
1 z
.
ya que [z[
nC1
n!1
0 al ser [z[ < 1. Ntese que la serie geomtrica es divergente en todos los
puntos de la frontera de su disco de convergencia, ya que si [z[ = 1 el trmino general de la serie es
de mdulo 1, y por tanto no tiende a cero si n tiende a innito. En denitiva,
1
kD0
z
k
=
1
1 z
. [z[ < 1 .
3.2.2 Teorema de Taylor
Si es analtica el disco D(z
0
: r) (con r > 0), entonces admite el desarrollo en serie de Taylor
(z) =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
. Vz D(z
0
: r). (3.2)
z
w
z
0
D(z
0
;r)

Figura 3.1: teorema de Taylor
Demostracin. Fijemos un punto cualquiera z D(z
0
: r), y sea j > 0 tal que [z z
0
[ < j < r.
Si ; es la circunferencia de centro z
0
y radio j (orientada positivamente) se tiene, por la frmula
integral de Cauchy:
(z) =
1
2i
_
;
(n)
n z
dn.
Por otra parte,
1
n z
=
1
n z
0
z
0
z
=
1
n z
0
1
1
z z
0
n z
0
=
1
n z
0
1
kD0
_
z z
0
n z
0
_
k
.
ya que n ; ==[z z
0
[ < j = [n z
0
[. Como (n) es analtica en ;, est acotada en ; (al ser
; un compacto), por lo que
(n)
n z
0
z z
0
n z
0
k
<
M
j
z z
0
j
k
. Vn ; .
La serie numrica (es decir, independiente de n)

p
1
kD0
;;
0
p
k
es convergente (se trata de una serie
geomtrica de razn menor que 1). Por el criterio M de Weierstrass, la serie
g(n)
1
kD0
(n)
n z
0
_
z z
0
n z
0
_
k
converge uniforme y absolutamente en ;. Integrando trmino a trmino obtenemos
(z) =
1
2i
_
;
g(n) dn =
1
2i
1
kD0
_
;
(n)
(n z
0
)
kC1
(z z
0
)
k
dn
=
1
kD0
(z z
0
)
k
1
2i
_
;
(n)
(n z
0
)
kC1
dn =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
.
por la frmula integral de Cauchy para las derivadas.
Sea analtica en un abierto no vaco C. Si z
0
, denimos la distancia de z
0
a la
frontera d de por
J(z
0
: d) = inf {[z z
0
[ [ z d] .
Es fcil probar que J(z
0
: d) (0. o|. Claramente, el disco abierto de centro z
0
y radio J(z
0
: d)
est contenido en . Aplicando el teorema de Taylor a dicho disco se obtiene el siguiente
Corolario 3.8. El radio de convergencia de la serie de Taylor centrada en z
0
de una funcin
analtica en es mayor o igual que la distancia de z
0
a la frontera de .
El radio de convergencia de la serie de Taylor de (3.2) puede ser estrictamente mayor que
J(z
0
: d). Por ejemplo, esto ocurre si (z) = Log z y z
0
= 1 i:
Ejercicio. Probar que la serie de Taylor de Log z centrada en 1i tiene radio de convergencia
_
2,
mientras que la distancia de 1 i a la frontera de la regin de analiticidad de Log es igual 1. A
qu funcin converge la serie de Taylor anterior en D(1 i:
_
2)?
Solucin. La funcin (z) = Log z es analtica en = C
_
R
L{0]
_
, por lo que d = R
L{0].
Si z
0
= 1 i entonces
J(z
0
: d) = 1 J .
Por otra parte,
0
(z) =
1
z
==
(k)
(z) = (1)
k1
(k 1)
z
k
. k = 1 . 2 . . . . .
Por tanto la serie de Taylor de centrada en z
0
es
(z) = Log(z) = Log z
0
kD1
(1)
k1
kz
k
0
(z z
0
)
k
(3.3)
(ntese que Log(z
0
) =
1
2
log 2
3i
4
, aunque este hecho no es importante). Por el criterio de la raz,
el radio de convergencia de esta serie es
1 = lim
k!1
k
_
k[z
0
[
k
= [z
0
[ lim
k!1
k
_
k = [z
0
[ =
_
2 > J = 1 .
La serie de Taylor de Log centrada en z
0
1 i converge a J(z) = log
0,2)
en D(z
0
:
_
2). En
efecto, y J claramente coinciden en D(z
0
: 1), por lo que
J
(k)
(z
0
) =
(k)
(z
0
) . k = 0 . 1 . . . . .
Por tanto la serie de Taylor de J centrada en z
0
coincide con la de . Como J es analtica en el
disco D(z
0
:
_
2), J(z) es igual a la suma de su serie de Taylor, es decir a la suma de la serie (3.3),
en dicho disco.
Proposicin 3.9. Sea analtica en , sea z
0
, y supongamos que no est acotada en el
disco de centro z
0
y radio J(z
0
: d). Entonces el radio de convergencia de la serie de Taylor de
centrada en z
0
es exactamente igual a J(z
0
: d).
Demostracin. Sea 1 el radio de convergencia de la serie de Taylor de centrada en z
0
, y supon-
gamos que 1 > J(z
0
: d) J. Si
J(z) =
1
kD0
(k)
(z
0
)
k
(z z
0
)
k
. [z z
0
[ < 1.
entonces J = en D(z
0
: J). Por otra parte, J est acotada en D(z
0
: J), ya que este disco cerrado
est enteramente contenido en D(z
0
: 1), y J es continua (analtica) en este ltimo disco. En parti-
cular, J est acotada en el disco abierto D(z
0
: J). Pero esto contradice la hiptesis, ya que J =
en D(z
0
: J).
3.2.3 Principio de prolongacin analtica
Lema 3.10. Sea : C C una funcin analtica en un punto a C, y supongamos que (a) = 0.
Entonces o bien se anula idnticamente en un entorno de a, o bien no se anula en un entorno
reducido de dicho punto.
Demostracin. Si es analtica en a entonces es derivable en un cierto entorno D(a: r) D de
a. Por el teorema de Taylor,
(z) =
1
kD1
c
k
(z a)
k
. [z a[ < r .
Si los coecientes c
k
son todos nulos, entonces = 0 en D. En caso contrario, existe n N tal que
c
0
= = c
n1
= 0. c
n
= 0.
y por tanto
(z) =
1
kDn
c
k
(z a)
k
= (z a)
n
1
kD0
c
kCn
(z a)
k
(z a)
n
g(z) . [z a[ < r .
La funcin g(z) es analtica en D (ya que es la suma de una serie de potencias convergente en D), y
g(a) = c
n
= 0. Al ser g continua en a, existe 0 < < r tal que g(z) = 0 para todo z D(a: ).
En particular, (z) = (z a)
n
g(z) no se anula en el entorno reducido D(a: ) {a] de a.
v Sea, como antes, analtica en a C y no idnticamente nula en un entorno de dicho punto. Si
(a) = 0, por el lema anterior existe n N tal que
(z) = (z a)
n
g(z) .
con g analtica y no nula en un entorno de a. Adems, en este caso se tiene
(a) = =
(n1)
(a) = 0.
(n)
(a) = 0 .
dado que
(k)
(a) = kc
k
. Se dice entonces que tiene un cero de orden n en a.
Con ayuda del lema anterior se prueba la siguiente propiedad fundamental de las funciones ana-
lticas, que es la base del principio de prolongacin analtica:
Teorema 3.11. Si : C C es analtica en una regin , y se anula en un entorno de un punto
z
0
, entonces es idnticamente nula en todo .
Demostracin. Supongamos que (n) = 0 para todo n D(z
0
: r) D , y sea z un punto
cualquiera de . Al ser una regin, hay una curva continua ; : a. b| tal que ;(a) = z
0
,
;(b) = z. Denimos entonces
T = sup
t a. b| [ 0 en un entorno de ;(t )
_
sup T :
ntese que el supremo existe, al ser el conjunto T no vaco (a T) y acotado superiormente (por b).
Por denicin de supremo (y por la continuidad de ;) todo entorno de ;(T ) contiene algn punto de
la forma ;(s) con s T. Al ser
_
;(s)
_
= 0 para todo s T, el punto T ha de pertenecer a T por
el lema anterior. Veamos, por ltimo, que T = b, lo que prueba (al ser T T) que
(z) =
_
;(b)
_
=
_
;(T )
_
= 0 .
En efecto, como T T la funcin se anula idnticamente en un entorno U de
_
;(T )
_
. Si
fuera T < b, por la continuidad de ; existira > 0 tal que
;(t ) U . Vt (T . T ) .
Pero entonces el intervalo (T . T ) estara contenido en T, en contradiccin con la denicin
de supremo.
Se dice que un punto z C C es un punto aislado del conjunto C si hay un entorno reducido
de z que no contiene ningn punto de C. Combinando el lema y el teorema anteriores se deduce
inmediatamente el siguiente
Teorema 3.12. Sea analtica y no idnticamente nula en una regin , y sea 7 | el conjunto de
los ceros de en . Entonces todos los puntos de 7 | son aislados.
El Teorema 3.12 tiene numerosas aplicaciones en relacin con el principio de prolongacin ana-
ltica, de las cuales citaremos slamente el siguiente resultado fundamental:
Proposicin 3.13. Sean y g funciones analticas en una regin , y supongamos que = g en un
subconjunto T . Si T tiene algn punto de acumulacin
1
perteneciente a , entonces = g
en .
Demostracin. Supongamos que T tiene un punto de acumulacin z
0
. Por denicin, todo
entorno de z
0
contiene algn punto de T distinto de z
0
, y por tanto existe una sucesin de puntos
z
k
T {z
0
] (k N) que converge a z
0
. Consideremos la funcin h = g, analtica en .
Como z
k
T para todo k N se tiene h(z
k
) = (z
k
) g(z
k
) = 0. Por continuidad,
h(z
0
) = lim
k!1
h(z
k
) = 0 .
y por tanto h tiene un cero no aislado en z
0
. Por el teorema anterior, h 0 en .
Corolario 3.14. Sean y g funciones analtica en una regin cuya interseccin con el eje real es
no vaca. Si = g en R , entonces = g en .
Demostracin. Las funciones y g coinciden en el conjunto T = R . Si b T, como es
abierto y b existe r > 0 tal que D(b: r) , por lo que el intervalo (br. br) = D(b: r)R
est contenido en R T. Por tanto todos los puntos de T son de acumulacin. Al ser T no
vaco, por el teorema anterior h = g ha de anularse idnticamente en todo .
El resultado anterior permite extender al campo complejo la mayor parte de las identidades entre
funciones elementales vlidas en el campo real. Por ejemplo, en la Seccin 1.2.2 se demostr que
cos(3z) = cos
3
z 3 sen
2
z cos z . Vz R.
Aplicando la proposicin anterior se deduce inmediatamente que dicha igualdad es vlida de hecho
para todo z C.
3.2.4 Teorema de Laurent
Una serie de la forma
(z) =
1
kD1
b
k
(z z
0
)
k
(3.4)
es una serie de potencias en la variable n = (z z
0
)
1
. Por tanto, si j es el radio de convergencia
de esta serie de potencias y 1 = 1,j (con 0 _ 1 _ o), la serie (3.4) converge si [z z
0
[ > 1 y
diverge si [z z
0
[ < 1, siendo la convergencia de la serie absoluta y uniforme en el complemento de
cualquier disco D(z
0
: r) con r > 1. Adems, la funcin es analtica en la regin de convergencia
[zz
0
[ > 1, ya que es la composicin de la serie de potencias g(n)
1
kD1
b
k
n
k
, analtica para
[n[ < j 1,1, con la funcin h(z) = (z z
0
)
1
.
Consideremos a continuacin la expresin ms general
(z) =
1
kD1
a
k
(z z
0
)
k

1
kD0
a
k
(z z
0
)
k
kD1
a
k
(z z
0
)
k
. (3.5)
La primera serie converger absolutamente para [z z
0
[ > 1
1
, y la segunda si [z z
0
[ < 1
2
. Por
tanto, estar denida y ser analtica en la corona circular
C(z
0
: 1
1
. 1
2
) = {z [ 1
1
< [z z
0
[ < 1
2
] .
1
Por denicin, z C es un punto de acumulacin de un conjunto C C si todo entorno reducido de z contiene
algn punto de C. Ntese que un punto z C es punto de acumulacin de C si y slo no es aislado.
llamada corona de convergencia, siempre y cuando 0 _ 1
1
< 1
2
_ o. Adems (por los resultados
sobre series de potencias) la convergencia de ambas series (3.5) es absoluta y uniforme en toda sub-
corona cerrada contenida en C(z
0
: 1
1
. 1
2
). Una serie del tipo (3.5) se denomina serie de Laurent
centrada en z
0
.
Proposicin 3.15. Si la serie de Laurent
(z) =
1
kD1
a
k
(z z
0
)
k
converge en la corona C(z
0
: 1
1
. 1
2
) (con 0 _ 1
1
< 1
2
_ o), y ;
i
es la circunferencia de centro
z
0
y radio r (con 1
1
< r < 1
2
) orientada positivamente, entonces se tiene:
a
n
=
1
2i
_
;
r
(z)
(z z
0
)
nC1
. Vn Z.
Demostracin. En efecto, por denicin de se tiene:
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz =
1
2i
_
;
r
1
kD1
a
k
(z z
0
)
kn1
dz .
La serie bajo el signo integral es una serie de Laurent convergente en la corona C(z
0
: 1
1
. 1
2
), y por
tanto converge uniformemente en la circunferencia ;
i
(por las propiedades de las series de Laurent).
Aplicando el Lema 3.3 se obtiene:
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz =
1
kD1
a
k

1
2i
_
;
r
(z z
0
)
kn1
dz .
Por el teorema fundamental del Clculo, para todo entero = 1 se tiene
_
;
r
(z z
0
)
}
dz =
_
;
r
d
dz
_
(z z
0
)
}C1
1
_
dz = 0 .
y por tanto
1
2i
_
;
r
(z)
(z z
0
)
nC1
dz = a
n
1
2i
_
;
r
dz
z z
0
= a
n
n(;
i
. z
0
) = a
n
.
Corolario 3.16 (unicidad de las series de Laurent). Si
1
kD1
a
k
(z z
0
)
k
=
1
kD1
c
k
(z z
0
)
k
. 1
1
< [z z
0
[ < 1
2
. (3.6)
entonces a
k
= c
k
para todo k Z.
Teorema de Laurent. Sea una funcin analtica en la corona C(z
0
: 1
1
. 1
2
), con 0 _ 1
1
<
1
2
_ o. Si 1
1
< r < 1
2
, sea ;
i
la circunferencia de centro z
0
y radio r orientada positivamente,
y denamos
a
k
=
1
2i
_
;
r
(z)
(z z
0
)
kC1
dz. Vk Z. (3.7)
Entonces admite el desarrollo en serie de Laurent
(z) =
1
kD1
a
k
(z z
0
)
k
. 1
1
< [z z
0
[ < 1
2
. (3.8)
donde la serie del miembro derecho converge absoluta y uniformemente en cada subcorona cerrada
contenida en C(z
0
: 1
1
. 1
2
).
z
w
2
z
0
1
R
1
R
2
w
1
S
Figura 3.2: teorema de Laurent
Demostracin. Sea z C(z
0
: 1
1
. 1
2
) y tomemos r
1
y r
2
tales que 1
1
< r
1
< [z z
0
[ < r
2
< 1
2
,
de modo que la corona cerrada = C(z
0
: r
1
. r
2
) est contenida en C(z
0
: 1
1
. 1
2
). Llamemos
;
i
1
;
1
, ;
i
2
;
2
. La curva cerrada S ;
2
S ;
1
es homtopa a un punto en C(z
0
: 1
1
. 1
2
)
(vase la g. 3.2). Por la frmula integral de Cauchy,
(z) =
1
2i
_
SC;
2
S;
1
(n)
n z
dn =
1
2i
_
;
2
(n)
n z
dn
1
2i
_
;
1
(n)
n z
dn
2
(z)
1
(z) .
La demostracin del teorema de Laurent consiste, bsicamente, en desarrollar
1
y
2
como series
de potencias en (z z
0
)
1
y z z
0
, respectivamente. Para
2
, repitiendo el razonamiento que se
utiliz para probar el teorema de Taylor se obtiene
2
(z) =
1
2i
_
;
2
(n)
1
n z
0
1
kD0
_
z z
0
n z
0
_
k
dn =
1
kD0
(z z
0
)
k
1
2i
_
;
2
(n)
(n z
0
)
kC1
dn.
donde el ltimo paso est justicado por la convergencia uniforme de la serie para n ;
2
(n
;
2
==[z z
0
[ , [n z
0
[ = [z z
0
[ ,r
2
< 1). En cuanto a
1
, basta observar que si r
1
< [z z
0
[
se tiene
1
n z
=
1
z z
0
1
1
n z
0
z z
0
=
1
z z
0
1
kD0
_
n z
0
z z
0
_
k
.
De nuevo, la convergencia es uniforme para n ;
1
(n ;
1
==[n z
0
[ , [z z
0
[ = r
1
, [z z
0
[ <
1), por lo que
1
(z) =
1
2i
_
;
1
(n)
1
kD0
(n z
0
)
k
(z z
0
)
kC1
dn =
1
kD0
(z z
0
)
k1
1
2i
_
;
1
(n)(n z
0
)
k
dn
=
1
nD1
(z z
0
)
n
1
2i
_
;
1
(n)
(n z
0
)
nC1
dn.
Por el teorema de la deformacin,
_
;
r
(n)(n z
0
)
n1
dn es independiente de r si 1
1
< r <
1
2
, lo que prueba (3.7)(3.8). La corona de convergencia de la serie de Laurent (3.7)(3.8) es por
lo menos C(z
0
: 1
1
. 1
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
: 1
1
. 1
2
).
3.2.5 Clasicacin de singularidades aisladas
Denicin 3.17. Una funcin : C C tiene una singularidad aislada en z
0
C si no es
derivable en z
0
, pero es analtica en algn entorno reducido C(z
0
: 0. r) (con r > 0) de z
0
.
Por el teorema de Laurent, si tiene una singularidad aislada en z
0
existe r > 0 tal que admite
un desarrollo en serie de Laurent (3.5) en C(z
0
: 0. r):
(z) =
1
kD1
b
k
(z z
0
)
k

1
kD0
a
k
(z z
0
)
k
. si 0 < [z z
0
[ < r.
i) Si b
k
= 0 para todo k N, se dice que z
0
es una singularidad evitable de .
ii) Si b
]
= 0 y b
k
= 0 para todo k > , el punto z
0
es un polo de orden para .
iii) Finalmente, si existen innitos coecientes b
k
= 0 se dice que tiene una singularidad
esencial en z
0
.
Denicin 3.18. La serie
1
kD1
b
k
(z z
0
)
k
se denomina parte principal del desarrollo de Laurent
de en z
0
. El residuo de en z
0
es
Res( : z
0
) = b
1
.
v Si tiene una singularidad evitable en z
0
entonces existe el lmite
lim
;!;
0
(z) = a
0
. (3.9)
Deniendo (z
0
) = a
0
, la funcin es analtica en D(z
0
: r) (ya que la serie de potencias que
representa a para 0 < [z z
0
[ < r converge en dicho disco). Recprocamente, si es analtica
en un entorno reducido de z
0
y se verica (3.9) entonces tiene una singularidad evitable en z
0
. En
efecto, (3.9) implica que
lim
;!;
0
_
(z z
0
)(z)
_
= 0 . (3.10)
Aplicando el teorema de Cauchy generalizado se obtiene entonces
a
n
=
1
2i
_
;
(z)(z z
0
)
n1
dz = 0 . Vm N.
Por tanto:
tiene una singularidad evitable en z
0
si y slo si (z) tiene lmite cuando z tiende a z
0
.
De hecho, es vlido el siguiente resultado, ligeramente ms general:
Proposicin 3.19. Sea z
0
C una singularidad aislada de : C C. Entonces tiene una
singularidad evitable en z
0
si y slo se verica la condicin (3.10).
Demostracin. En efecto, si tiene una singularidad evitable en z
0
entonces tiene lmite en z
0
,
lo cual implica (3.10). Recprocamente, si se verica esta condicin entonces el teorema de Cauchy
generalizado implica que todos los coecientes a
k
con k < 0 del desarrollo de Laurent de centrado
en z
0
son nulos.
Ejemplo 3.20. La funcin (z) = sen z,z, denida para todo z = 0, tiene una singularidad aislada
en el origen. En efecto, aunque formalmente no est denida en z = 0 se cumple la condi-
cin (3.10), ya que lim
;!0
z(z)| = lim
;!0
sen z = 0. La serie de Laurent de en la corona de
analiticidad C(0: 0. o) se calcula fcilmente a partir de la serie de Taylor de sen z:
(z) =
1
z
1
kD0
(1)
k
z
2kC1
(2k 1)
=
1
kD0
(1)
k
z
2k
(2k 1)
. z = 0 .
Si denimos (0) = lim
;!0
(z) = 1, la funcin est dada por la suma de la serie anterior para
todo z C, y es por tanto entera.
v tiene un polo de orden en z
0
si y slo si existe r > 0 tal que
0 < [z z
0
[ < r ==(z) =
1
(z z
0
)
]
_
b
]
b
]1
(z z
0
) b
1
(z z
0
)
]1
kD0
a
k
(z z
0
)
kC]
_
J(z)
(z z
0
)
]
.
siendo J analtica en D(z
0
: r) y J(z
0
) = b
]
= 0. Por tanto:
tiene un polo de orden en z
0
si y slo si (z z
0
)
]
(z) tiene una singularidad evitable en
z
0
, con
lim
;!;
0
_
(z z
0
)
]
(z)
_
= 0 . (3.11)
De hecho, puede probarse un resultado ligeramente ms general:
Proposicin 3.21. Sea : C C analtica en un entorno reducido de z
0
. Entonces tiene un
polo de orden en z
0
si y slo si se cumple la condicin (3.11).
Demostracin. En efecto, por lo visto anteriormente la condicin (3.11) se cumple cuando tiene
un polo de orden en z
0
. Recprocamente, si se verica dicha condicin es claro que z
0
es una
singularidad aislada de , ya que (3.11) claramente implica que no tiene limite cuando z z
0
, y
por tanto no es derivable en dicho punto. Adems, de la Proposicin 3.19 aplicada a (z z
0
)
]
(z)
se sigue que (z z
0
)
]
(z) tiene una singularidad evitable en z
0
. La observacin que precede a esta
proposicin implica entonces que tiene un polo de orden en z
0
.
v Si tiene un polo de orden en z
0
, entonces
(z) =
J(z)
(z z
0
)
]
. 0 < [z z
0
[ < r .
con J analtica en D(z
0
: r) y J(z
0
) = b
]
= 0. Por continuidad, existe 0 < _ r tal que J(z) = 0
si [z z
0
[ < , y por tanto
1
(z)
= (z z
0
)
]
1
J(z)
. 0 < [z z
0
[ < .
con 1,J analtica y no nula en D(z
0
: ). Luego 1, tiene una singularidad evitable (cero de orden
) en z
0
. Recprocamente (vase la Seccin 3.2.3) si tiene un cero de orden > 0 en z
0
entonces
1, tiene un polo de orden en z
0
. Por tanto:
tiene un polo de orden en z
0
si y slo si la funcin g(z) =
_
_
_
1
((;)
. z = z
0
0 . z = z
0
tiene un cero
de orden en z
0
.
Ejemplo 3.22. Consideremos la funcin (z) = csc
2
z, analtica para z = k con k Z. En este
caso la funcin g(z) = sen
2
z tiene un cero doble en cada una de las singularidades z = k de ,
ya que sen z tiene un cero simple
2
en dichos puntos (pues sen(k) = 0, cos(k) = (1)
k
= 0).
Por tanto, tiene un polo de orden dos en cada uno de los puntos z = k, con k Z.
v Supongamos que = g,h, donde g y h son funciones analticas en z
0
con ceros de orden n _ 0
y m _ 1, respectivamente, en dicho punto. Entonces existe r > 0 tal que
[z z
0
[ < r == g(z) = (z z
0
)
n
G(z) . h(z) = (z z
0
)
n
H(z) .
con G y H analticas y no nulas en D(z
0
: r). Por tanto
0 < [z z
0
[ < r ==(z) =
g(z)
h(z)
=
(z z
0
)
n
G(z)
(z z
0
)
n
H(z)
(z z
0
)
nn
1(z).
siendo 1 G,H analtica (cociente de funciones analticas con H(z) = 0) y no nula en z
0
(ya que
G(z
0
) = 0). Luego:
i) Si n _ m, tiene una singularidad evitable (cero de orden n m) en z
0
.
ii) Si n < m, tiene un polo de orden m n en z
0
.
En particular, de lo anterior se deduce que las singularidades del cociente de dos funciones analticas
no idnticamente nulas slo pueden ser polos o singularidades evitables.
Proposicin 3.23. Supongamos que = 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 , del mismo tipo
que lo es para h.
Demostracin. En efecto, es claro que 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 g h es analtica en C(z
0
: 0. r).
Adems, no puede ser derivable en z
0
, ya que en tal caso h = ,g sera derivable en dicho punto
(al ser el cociente de dos funciones derivables en z
0
, con denominador no nulo en z
0
).
Si z
0
es una singularidad evitable de h entonces h coincide con una funcin analtica en un
entorno reducido de z
0
, y por tanto lo mismo ocurre con . Luego en este caso tiene tam-
bin una singularidad evitable en z
0
. Por otra parte, si h tiene un polo de orden en z
0
enton-
ces h(z) = (z z
0
)
]
H(z), con H analtica en un entorno de z
0
y H(z
0
) = 0 == (z) =
(z z
0
)
]
g(z) H(z) (z z
0
)
]
J(z), con J = gH analtica en un entorno de z
0
y
J(z
0
) = g(z
0
)H(z
0
) = 0 == tiene un polo de orden en z
0
. Por ltimo, si h tiene una singu-
laridad esencial en z
0
entonces lo mismo ha de ocurrir con , ya que en caso contrario h =
1

tendra una singularidad evitable un polo en z
0
(ntese que 1,g es analtica en un entorno de z
0
,
al ser g(z
0
) = 0).
Ejemplo 3.24. La funcin (z) = e
1{;
es analtica en C {0], y tiene una singularidad esencial en
el origen. En efecto,
(z) =
1
kD0
1
k
1
z
k
. Vz = 0 .
Por la unicidad de las series de Laurent, este es el desarrollo de Laurent de en C(0: 0. o). En
particular, al ser
b
k
=
1
k
= 0 . Vk = 1. 2. . . . .
2
Es inmediato probar que si h(z) tiene un cero simple en un punto z
0
y n N entonces h(z)
n
tiene un cero de orden
n en dicho punto.
z = 0 es una singularidad esencial de . Consideremos a continuacin la funcin (z) = e
cot ;
,
analtica en todo el plano complejo salvo en los puntos z = k con k Z. Estos puntos son polos
simples de cot z = cos z, sen z (ceros simples de sen z en que no se anula el cos z). Por tanto, en un
entorno reducido de k se tiene
cot z =
c
k
z k
g
k
(z) .
con g
k
analtica en dicho entorno
3
. En consecuencia,
e
cot ;
= e
c
k
k
e
k
(;)
.
con e
k
analtica en k (composicin de funciones analticas) y no nula en dicho punto. Por la
Proposicin 3.23, tiene una singularidad esencial en k para todo k Z.
v Si tiene un polo en z
0
entonces
lim
;!;
0
[(z)[ = o: (3.12)
en particular, [ [ no est acotado en un entorno reducido de z
0
. Sin embargo, (3.12) no se cumple
si tiene una singularidad esencial en z
0
. Por ejemplo, (z) = e
1{;
tiene una singularidad esencial
en el origen, y (z
n
) = 1 si z
n
= 1,(2ni)
n!1
0, para todo n N. De hecho, la proposicin
siguiente implica que (3.12) slo se verica si tiene un polo en z
0
:
Teorema de CasoratiWeierstrass. Si tiene una singularidad esencial en z
0
y a C, existe una
sucesin {z
n
]
1
nD1
tal que z
n
z
0
y (z
n
) a.
Nota: de hecho, puede probarse (teorema grande de Picard) que para todo nmero complejo a, con
a lo sumo una excepcin, se puede encontrar una sucesin {z
n
]
1
nD1
tal que z
n
z
0
y (z
n
) = a
para todo n N (cf. (z) = e
1{;
).
3
Por el teorema de Laurent, la frmula anterior es vlida en si 0 < [z k[ < .
Captulo 4
Teorema de los residuos
4.1 Teorema de los residuos
Sean z
1
. . . . . z
n
n puntos distintos pertenecientes a una regin , y sea ; una curva cerrada (C
1
a trozos) homtopa a un punto en y tal que ningn z
i
est sobre ;. Si es analtica en
{z
1
. . . . z
n
] entonces se tiene:
_
;
= 2i
n
kD1
n(;. z
k
) Res( : z
k
).
Demostracin. Por el teorema de Laurent, para cada i = 1. . . . . n hay un entorno reducido C(z
i
: 0. c
i
)
de z
i
en el que es vlido el desarrollo
(z) =
1
kD1
b
ik
(z z
i
)
k
kD0
a
ik
(z z
i
)
k
S
i
(z)
i
(z). 0 < [z z
i
[ < c
i
.
con
i
analtica en el disco D(z
i
: c
i
). Adems, por las propiedades de las series de Laurent la serie
que dene la parte principal S
i
(z) converge absolutamente a una funcin analtica en C{z
i
], siendo
la convergencia uniforme en el exterior de todo disco abierto centrado en z
i
.
Veamos a continuacin que la funcin
g(z) = (z)
n
kD1
S
k
(z) .
que claramente es analtica en {z
1
. . . . . z
n
], tiene en los puntos z
i
(i = 1. . . . . n) singularidades
evitables. En efecto, para cada i = 1. . . . . n se tiene
g(z) =
i
(z) S
i
(z)
n
kD1
S
k
(z) =
i
(z)
1kin
S
k
(z) .
desarrollo vlido en un entorno reducido sucientemente pequeo de z
i
. Deniendo g(z
i
) = lim
;!;
i
g(z),
la funcin g es por tanto analtica en todo , y por el teorema de Cauchy
_
;
g = 0 ==
_
;
=
n
kD1
_
;
S
k
.
Consideremos ahora la integral
_
;
S
k
. Al ser C; abierto (en efecto, ; es compacto, y por tanto
cerrado, al ser la imagen de un intervalo compacto a. b| bajo la aplicacin continua que parametriza
53
54 TEOREMA DE LOS RESIDUOS
la curva), existe
k
> 0 tal que D(z
k
:
k
) ; = 0. Por tanto, la serie de Laurent que dene a S
k
es
uniformemente convergente en ;, lo que en virtud del Lema 3.3 nos permite escribir
_
;
S
k

_
;
1
}D1
b
k}
(z z
k
)
}
dz =
1
}D1
_
;
b
k}
(z z
k
)
}
dz .
Por el teorema fundamental del Clculo, si = 2. 3. . . . se tiene
_
;
(z z
}
)
}
dz =
_
;
d
dz
_
(z z
}
)
1}
1
_
dz = 0 . = 2. 3. . . . .
Por tanto
_
;
S
k
=
_
;
b
k1
(z z
k
)
1
dz = b
k1
2in(;. z
k
) 2i n(;. z
k
) Res( : z
k
).
donde hemos utilizado la denicin del ndice (cf. la Seccin 2.3.1). Esto completa la demostracin.
4.2 Mtodos para el clculo de residuos
v Sea (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
0
(z
0
) =
0. Entonces tiene un polo simple en z
0
(cero simple del denominador en que el numerador no se
anula), con residuo
Res( : z
0
) =
g(z
0
)
h
0
(z
0
)
.
En efecto, por el teorema de Taylor en un entorno de z
0
es vlido el desarrollo
h(z) =
1
kD1
h
(k)
(z
0
)
k
(z z
0
)
k
= (z z
0
)
1
kD1
h
(k)
(z
0
)
k
(z z
0
)
k1
(z z
0
) H(z).
con H analtica en z
0
(serie de potencias convergente en un entorno de z
0
) y H(z
0
) = h
0
(z
0
). Por
tanto
(z) =
1
(z z
0
)
g(z)
H(z)
.
Como g,H es analtica en z
0
(al ser H(z
0
) = h
0
(z
0
) = 0), aplicando de nuevo el teorema de Taylor
se obtiene el desarrollo
g(z)
H(z)
=
g(z
0
)
H(z
0
)
kD1
a
k
(z z
0
)
k
=
g(z
0
)
h
0
(z
0
)
kD1
a
k
(z z
0
)
k
.
y por tanto
(z) =
g(z
0
)
h
0
(z
0
)
1
z z
0
kD1
a
k
(z z
0
)
k1
.
de donde se deduce que el residuo de en z
0
es efectivamente igual a
g(z
0
)
h
0
(z
0
)
.
Ejemplo 4.1. Hallemos el valor de la integral
1 =
_
j;jDS
tan z dz .
Mtodos para el clculo de residuos 55
La funcin (z) = tan z es singular en los puntos z
k
= (2k 1)
2
, con k Z, ninguno de los
cuales est sobre la circunferencia [z[ = 8. Adems, en el interior de cualquier disco abierto hay
obviamente un nmero nito de singularidades de , por lo que podemos aplicar el teorema de los
residuos tomando como un disco de radio mayor que 8. De esta forma obtenemos
1 = 2i
j;
k
j~S
Res(tan: z
k
) = 2i
2
kD3
Res(tan: z
k
) .
ya que
5
2
< 8 <
T
2
. Para calcular el residuo de tan en la singularidad z
k
, basta observar que dicha
singularidad es un polo simple (ya que sen z
k
= 0 y cos
0
(z
k
) = sen z
k
= 0), por lo que
Res(tan: z
k
) =
sen z
k
sen z
k
= 1 .
Por tanto 1 = 2i (6) = 12i .
v Si tiene un polo de orden n en z
0
entonces
Res( : z
0
) =
1
(n 1)
lim
;!;
0
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
. (4.1)
En efecto, en un entorno reducido de z
0
es vlido el desarrollo de Laurent
(z) =
b
n
(z z
0
)
n

b
n1
(z z
0
)
n1

b
1
z z
0
g(z).
con g analtica en z
0
(serie de potencias convergente). Por tanto, en un entorno reducido de z
0
se
cumple
(z z
0
)
n
(z) = b
n
b
n1
(z z
0
) b
1
(z z
0
)
n1
G(z) J(z). (4.2)
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 J es
analtica en z
0
. Por el teorema de Taylor,
Res( : z
0
) = b
1
=
J
(n1)
(z
0
)
(n 1)
=
1
(n 1)
lim
;!;
0
J
(n1)
(z)
=
1
(n 1)
lim
;!;
0
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
.
Nota: de la ec. (4.2) se sigue que (z z
0
)
n
(z) tiene una singularidad evitable en z
0
, por lo que
muchas veces la frmula (4.1) se escribe (con un cierto abuso de notacin) en la forma ms sencilla
Res( : z
0
) =
1
(n 1)
J
n1
dz
n1
_
(z z
0
)
n
(z)
_
;D;
0
.
Ejercicio. Si = g,h con g y h analticas en z
0
, h(z
0
) = h
0
(z
0
) = 0 y g(z
0
) = 0, h
00
(z
0
) = 0,
probar que tiene un polo de orden 2 en z
0
, con residuo
Res( : z
0
) = 2
g
0
(z
0
)
h
00
(z
0
)
2
3
g(z
0
) h
000
(z
0
)
h
00
(z
0
)|
2
.
Solucin. La funcin tiene claramente un polo doble en z
0
, por lo que podemos aplicar la frmu-
la (4.1). Por el teorema de Taylor, en un entorno reducido de z
0
es vlido el desarrollo
h(z)
(z z
0
)
2
= h
2
h
3
(z z
0
) H(z) .
con
h
2
=
1
2
h
00
(z
0
) . h
3
=
1
6
h
000
(z
0
) (4.3)
y H analtica en z
0
y con un cero de orden por lo menos 2 en dicho punto. Aplicando (4.1) se obtiene
entonces
Res( : z
0
) = lim
;!;
0
d
dz
_
g(z)
h
2
h
3
(z z
0
) H(z)
_
=
h
2
g
0
(z
0
) h
3
g(z
0
)
h
2
2
.
Teniendo en cuenta la ec. (4.3) se obtiene la frmula anunciada.
4.3 Clculo de integrales denidas
En esta seccin utilizaremos la notacin
H =
z C [ Imz _ 0
_
. 1 =
z C [ Imz _ 0
_
para denotar los semiplanos superior e inferior, respectivamente.
4.3.1
_
1
1
(.) d.
v Condiciones:
i) analtica en H {z
1
. . . . . z
n
], con z
k
H R (es decir, slo puede tener a lo sumo un
nmero nito de singularidades en H, todas ellas fuera del eje real )
ii) J > 1, 1 > 0 y M > 0 t.q.
[(z)[ <
M
[z[
]
. Vz H. [z[ > 1
v Resultado: 2i
n
kD1
Res( : z
k
) .
(Ntese que la suma est extendida a las singularidades de en el semiplano superior H.)
Demostracin. Sea ;
i
la semicircunferencia de radio r orientada positivamente, con r > 1 lo su-
cientemente grande para que todas las singularidades de en H estn en el interior de ;
i
(vase la
g. 4.1).
r

r r
z
k
Figura 4.1: semicircunferencia ;
i
Al ser n(;
i
. z
k
) = 1 para k = 1. . . . . n, por el teorema de los residuos se tiene:
_
;
r
= 2i
n
kD1
Res( : z
k
) =
_
i
i
(.) d.
_

0
(re
i0
) ire
i0
d0. (4.4)
Clculo de integrales denidas 57
Como [(.)[ < M [.[
]
con > 1 para [.[ > 1, la primera integral del miembro derecho converge
a
_
1
1
(.) d. cuando r o (criterio de comparacin). En cuanto a la segunda, su mdulo est
acotado por Mr
1]
, que tiende a 0 cuando r o. Haciendo r tender a innito en (4.4) se obtiene
por tanto el resultado anunciado.
v Notas:
i) Si es analtica en 1 {z
1
. . . . . z
n
], con z
k
1 R, y se cumple la condicin ii) de la
pgina anterior en el semiplano inferior 1, entonces
_
1
1
(.) d. = 2i
n
kD1
Res( : z
k
) .
El signo menos se debe a que en este caso ;
i
es la semicircunferencia de centro 0 y radio r en
el semiplano inferior recorrida en sentido horario, y por tanto n(;
i
. z
k
) = 1.
ii) Si = 1,Q, con 1 = 0 y Q polinomios y Q(.) = 0 para todo . R, entonces cumple
las condiciones anteriores (tanto en H como en 1) si y slo si deg Q _ deg 1 2.
v Ejemplo:
_
1
1
. d.
(.
2
4. 13)
2
.
En este ejemplo
(z) =
z
(z
2
4z 13)
2

1(z)
Q(z)
.
con singularidades (polos dobles) en los ceros z = 23i Rdel denominador Q. Como deg Q =
4 _ deg 1 2 = 3, se tiene
1
_
1
1
. d.
(.
2
4. 13)
2
= 2i Res( : 2 3i).
La funcin tiene un polo doble en z
0
2 3i, con residuo (cf. (4.1))
d
dz
_
(z z
0
)
2
(z)
_
;D;
0
=
d
dz
z
(z 2 3i)
2
;D2C3i
=
1
(6i)
2

2(2 3i)
(6i)
3
=
4
(6i)
3
=
4i
6
3
.
Por tanto 1 =
8
6
3
=
27
.
4.3.2 Integrales trigonomtricas:
_
2
0
1(cos 0. sen 0) d0
v Condiciones: 1(.. ,) funcin racional de dos variables cuyo denominador no se anula en la
circunferencia unidad .
2
,
2
= 1.
v Resultado: 2i
j;
k
j~1
Res( : z
k
), siendo
(z) =
1
iz
1
_
1
2
_
z z
1
_
.
1
2i
_
z z
1
_
_
y denotando mediante z
k
las singularidades de (necesariamente en nmero nito, ya que es una
funcin racional).
Demostracin. La funcin (z) no tiene singularidades en la circunferencia unidad ;, ya que si 0
0. 2) entonces (e
i0
) = ie
i0
1(cos 0. sen 0). Parametrizando
_
;
en la forma usual (z = e
i0
)
se obtiene
_
;
=
_
2
0
1(cos 0. sen 0) d0 .
El resultado anunciado se sigue del teorema de los residuos, ya que al ser una funcin racional de
z tiene un nmero nito de singularidades en el interior de la circunferencia unidad.
v Ejemplo:
_
2
0
d0
(5 3 sen 0)
2
.
En este caso
(z) =
1
iz
_
5
3
2i
_
z
1
;
__
2
=
4iz
(3z
2
10iz 3)
2
=
4iz
9
_
z
i
3
_
2
(z 3i)
2
.
Por tanto, la integral vale
1 =
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
0
(i,3) =
1
_
i
3
3i
_
2

2i
3
_
i
3
3i
_
3
=
i
3
3i
2i
3
_
i
3
3i
_
3
=

10i
3
S
3
3
3
i
3
=
10 3
2
8
3
.
Luego 1 =
10
8
2
=
5
32
.
4.3.3 Transformadas de Fourier:
_
1
1
e
iox
(.) d.
v Condiciones:
i) o > 0
ii) analtica en H {z
1
. . . . . z
n
], con z
k
H R (es decir, tiene a lo sumo un nmero
nito de singularidades en el semiplano superior, y ninguna de ellas pertenece al eje real)
iii) [(z)[ 0 cuando [z[ oen H, es decir
Vc > 0. J1 > 0 t.q. [z[ > 1. z H ==[(z)[ < c
v Resultado: 2i
n
kD1
Res
_
e
io;
(z): z
k
_
.
(De nuevo, la suma slo est extendida a las singularidades de en el semiplano superior H.)
Demostracin. Dado c > 0, sea ; el rectngulo de vrtices .
1
. .
2
. .
2
i,
1
. .
1
i,
1
(orien-
tado positivamente), con .
1
. .
2
. ,
1
mayores que 1 y lo sucientemente grandes para que todas las
singularidades de en H estn en el interior de ; (g. 4.2).

x
2
x
1
x
1
+iy
1
x
2
+iy
1
z
k
Figura 4.2: rectngulo ;
Entonces
_
;
e
io;
(z) dz = 2i
n
kD1
Res
_
e
io;
(z): z
k
_
=
_
x
2
x
1
e
iox
(.) d. i
_
,
1
0
e
io(x
2
Ci,)
(.
2
i,) d,
_
x
2
x
1
e
io(xCi,
1
)
(. i,
1
) d. i
_
,
1
0
e
io(x
1
Ci,)
(.
1
i,) d,
1
1
1
2
1
3
1
4
.
Si ,
1
se escoge lo sucientemente grande para que (.
1
.
2
)e
o,
1
< 1,o se tiene:
[1
2
[ _ c
_
,
1
0
e
o,
J, =
c
o
(1 e
o,
1
) <
c
o
.
[1
3
[ _ c (.
1
.
2
) e
o,
1
<
c
o
.
[1
4
[ _
c
o
(1 e
o,
1
) <
c
o
.
Por tanto

_
x
2
x
1
e
iox
(.) d. 2i
n
kD1
Res
_
e
io;
(z): z
k
_
<
3c
o
.
Como c > 0 es arbitrario, haciendo .
1
y .
2
tender a innito por separado se demuestra que la integral
converge al resultado deseado.
v Notas:
i) Si o < 0 y cumple condiciones anlogas a ii)iii) en el semiplano inferior 1 se prueba de
forma semejante que
_
1
1
e
iox
(.) d. = 2i
n
kD1
Res
_
e
io;
(z): z
k
_
.
donde z
1
. . . . . z
n
son las singularidades de en 1 (todas ellas con parte imaginaria negativa)
ii) = 1,Q, con 1 = 0 y Q polinomios y Q(.) = 0 para todo . R, cumple las condiciones
anteriores (tanto en H como en 1) si y slo si deg Q _ deg 1 1.
v Ejemplo:
_
1
0
cos(o.)
.
4
.
2
1
d. =
1
2
_
1
1
cos(o.)
.
4
.
2
1
d. 1(o). o > 0 .
La integral es la parte real de
J(o) =
1
2
_
1
1
e
iox
.
4
.
2
1
d. .
De hecho, al ser sen(o.) impar ImJ(o) = 0, y por tanto 1(o) = J(o). Podemos aplicar el resultado
anterior a la funcin racional (z) =
1
2
(z
4
z
2
1)
1
en el semiplano superior ( no tiene
singularidades en el eje real). Las singularidades (polos) de se calculan resolviendo la ecuacin
z
4
z
2
1 = 0 ==z
2
=
1
2
(1 i
_
3) = e
2i
3
==z = e
i
3
.
Las nicas 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
io;
(z) en cualquiera de estas singularidades z
k
se calcula fcilmente, ya que e
io;
(z) =
g(z),h(z) con g(z
k
) = 0, h(z
k
) = 0 y h
0
(z
k
) = 0:
Res( : z
k
) =
1
4
e
io;
k
z
k
(2z
2
k
1)
.
De esto se deduce que
1 =
i
2
_
e
io;
1
z
1
(2z
2
1
1)
e
io;
1
z
1
(2z
2
1
1)
_
= Im
_
e
io;
1
z
1
(2z
2
1
1)
_
Im.
Como
=
2e
i!
2
(1Ci
p
3)
(1 i
_
3) i
_
3
=
2e
!
2
(i
p
3)
_
3 (i
_
3)
=
i
_
3
2
_
3
e
!
2
(i
p
3)
.
se obtiene
1 = Im =

2
_
3
e
p
3
2
o
_
cos
o
2
_
3 sen
o
2
_
. o > 0 .
4.3.4 Transformadas de Mellin:
_
1
0
.
o1
(.) d., a Z
v Condiciones:
i) analtica en C {z
1
. . . . . z
n
], con z
k
R
C
para k = 1. . . . n (es decir, tiene un nmero
nito de singularidades, todas ellas fuera del eje real positivo)
ii) JM
1
. M
2
. 1
2
> 1
1
constantes positivas y b < a < c tales que
[(z)[ <
_
_
M
1
[z[
b
. 0 < [z[ < 1
1
M
2
[z[
c
. [z[ > 1
2
v Resultado:
e
io
sen(a)
;
k
0
Res
_
z
o1
(z): z
k
_
. z
o1
e
(o1) log
0;2/
;
.
Demostracin. En primer lugar, las acotaciones de [ [ implican (por el teorema de comparacin
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 < c < 1
1
y r > 1
2
se toman de modo que todas las
singularidades de (z) distintas de 0 estn en el interior de ;, y 0 < j < ,2. Si denotamos
z
o1
= e
(o1) log
0;2/
;
= [z[
o1
e
i(o1) arg
0;2/
;
.
la funcin z
o1
(z) es analtica en C , con = R
C
L {0. z
1
. . . . . z
n
]. Por el teorema de los
residuos se tiene:
2i
;
k
0
Res
_
z
o1
(z): z
k
_
=
_
;
z
o1
(z) dz = 1
1
1
2
J. (4.5)
siendo 1
1
e 1
2
las integrales de z
o1
(z) sobre los arcos arg
0,2)
z j. 2 j| de las circunfe-
rencias (orientadas positivamente) de radios r y c, respectivamente, y J la integral a lo largo de los
segmentos z = .e
i)
y z = .e
i(2))
, c _ . _ r. Ntese que en la suma del miembro izquierdo
de (4.5) no se incluye el residuo en el origen, aunque sea singular en dicho punto. La integral a lo
largo de los dos segmentos est dada por
J =
_
i
t
e
i(o1))
.
o1
(.e
i)
) e
i)
d.
_
i
t
e
i(o1)(2))
.
o1
(.e
i(2))
) e
i(2))
d.
=
_
i
t
.
o1
_
e
io)
(.e
i)
) e
io(2))
(.e
i(2))
)
_
d. .
Haciendo j 0(con c y r jos) en (4.5) se obtiene (al ser analtica, y por tanto continua, en el
eje real positivo)
2i
;
k
0
Res
_
z
o1
(z): z
k
_
=
_
;
r
z
o1
(z) dz
_
;
"
z
o1
(z) dz(1e
2io
)
_
i
t
.
o1
(.) d. .
siendo ;
p
la circunferencia de centro 0 y radio j orientada positivamente. Por las hiptesis sobre [ [
se obtiene:
_
;
"
z
o1
(z) dz
_ M
1
c
o1b
2c = 2M
1
c
ob
t!0C
0.
_
;
r
z
o1
(z) dz
_ M
2
r
o1c
2r = 2M
2
r
oc
i!1
0 .
Haciendo c 0y r o(independientemente) se obtiene el resultado deseado, ya que
2i
1 e
2io
=
2ie
io
e
io
e
io
=
e
io
sen(a)
.
v Nota: Sea (z) = 1(z),Q(z) (con 1. Q polinomios) una funcin racional. Entonces la primera
condicin se cumple si y slo si Q(.) = 0 para todo . > 0, mientras que la segunda se satisface
para
b = ord(0: Q) ord(0: 1) . c = deg Q deg 1 .
siendo ord(0: 1) y ord(0: Q) la multiplicidad de 0 como raz de 1 y Q, respectivamente. (Los
polinomios 1 y Q se pueden escoger, sin prdida de generalidad, de modo que no se anulen en el
origen, en cuyo caso b = 0.)
v Ejemplo:
_
1
0
.
o1
1 .
2
d. 1(a) .
En este caso c = 2, b = 0. Para poder aplicar el resultado del apartado anterior necesitamos por
tanto que 0 < a < 2 y a = 1. Si estas condiciones se cumplen se tiene:
1(a) =
e
io
sen(a)
_
Res
_
z
o1
z
2
1
: i
_
Res
_
z
o1
z
2
1
: i
__
.
Los residuos se calculan fcilmente, ya que ambos son claramente polos simples (ceros simples del
denominador en que no se anula el numerador):
Res
_
z
o1
z
2
1
: i
_
=
(i)
o1
2i
=
1
2
(i)
o
.
Teniendo en cuenta la determinacin de z
o1
, la suma de estos dos residuos es igual a
1
2
_
e
io
2
e
io
3
2
_
= e
io
cos
_
a
2
_
.
y por tanto
1(a) =
cos
_
o
2
_
sen(a)
=

2 sen
_
o
2
_ .
4.3.5
_
1
0
(.) log . d., (.) real y par
v Condiciones:
i) analtica en H, con la posible excepcin de un nmero nito de singularidades z
k
R{0]
con k = 1. . . . . n
ii) JM
1
. M
2
. 1
2
> 1
1
constantes positivas y a < 1 < b tales que
[(z)[ <
_
_
M
1
[z[
o
. 0 < [z[ < 1
1
M
2
[z[
b
. [z[ > 1
2
.
v Resultado: Im
_

Im;
k
>0
Res
_
(z) log z: z
k
_
_
. log log
{2,3{2)
.
r r

z
k
Figura 4.4: curva ;
Demostracin. En primer lugar, las acotaciones sobre [ [ implican (teorema de comparacin) la
convergencia absoluta de la integral, as como la de
_
1
0
(.) d.. Sean 0 < c < 1
1
< 1
2
< r tales
que todas las singularidades de en H {0] estn el interior del arco ; de la g. 4.4. Entonces
(z) log z es analtica en H {0], excepto por un nmero nito de singularidades z
k
(ya que la
determinacin escogida de log es singular slo en el eje imaginario negativo junto con el origen). Por
el teorema de los residuos,
2i
Im;
k
>0
Res
_
(z) log z: z
k
_
=
_
t
i
g
_
i
t
g
_
;
"
g
_
;
r
g 1
1
1
2
_
;
"
g
_
;
r
g . (4.6)
siendo g(z) = (z) log z. Si . < 0 se tiene
log . = log [.[ i = log(.) i.
y por tanto
1
1
=
_
t
i
(.)log(.)i| d. =
_
i
t
(.)log(.)i| d. =
_
i
t
(.) log . d.i
_
i
t
(.) d. .
Luego
1
1
1
2
= 2
_
i
t
(.) log . d. i
_
i
t
(.) d. .
Por otra parte,
[log z[ =
log [z[ i arg z
_ [log [z[[ [arg z[ .

donde arg z ,2. 32). Por tanto
_
;
r
g
_ r
M
2
r
b

_
log r
3
2
_
=
M
2
r
b1

_
log r
3
2
_
i!1
0 .
al ser b > 1. Del mismo modo, al ser a < 1 se tiene
_
;
"
g
_ c
M
1
c
o

_
log c
3
2
_
= M
1
c
1o
_
[ log c[
3
2
_
t!0C
0 .
Haciendo r oy c 0en (4.6) se obtiene:
2i
Im;
k
>0
Res
_
(z) log z: z
k
_
= 2
_
1
0
(.) log . d. i
_
1
0
(.) d. .
Teniendo en cuenta que es real se obtiene el resultado anunciado.
v Ejemplo:
_
1
0
log .
(.
2
1)
2
d. 1 .
Claramente (z) = (1 z
2
)
2
cumple todas las condiciones anteriores (a = 0 y b = 4). La nica
singularidad en el semiplano superior es z
0
= i. Como
(z) log z =
log z
(z i)
2

1
(z i)
2
utilizando la frmula (4.1) se tiene
Res
_
(z) log z: i
_
=
d
dz
_
log z
(z i)
2
_
;Di
=
1
i(2i)
2

2 log i
(2i)
3
=
i
4
i
4
log i =
i
4

8
.
Por tanto, 1 =
4
.
Ejercicio. Supongamos que cumple las condiciones i)ii) de la pg. 60 con a = 1. Integrando la
funcin (z) log
0,2)
z a lo largo de la curva de la gura 4.3, demostrar que
_
1
0
(.) d. =
;
k
0
Res
_
(z) log z: z
k
_
. log log
0,2)
.
Utilizando este resultado, probar que
_
1
0
d.
1 .
3
=
2
3
_
3
.
4.4 Valor principal de Cauchy
Supongamos que : R R es no acotada en un entorno de .
0
R, y que existen las integrales
impropias
_
b
1
(.) d. y
_
1
c
(.) d. para todo b < .
0
< c. En ese caso, se dene la integral
impropia
_
1
1
(.) d. mediante
_
1
1
(.) d. = lim
t!0C
_
x
0
t
1
(.) d. lim
!0C
_
1
x
0
C
(.) d. .
Evidentemente, si la integral impropia existe entonces
_
1
1
(.) d. = lim
t!0C
__
x
0
t
1
(.) d.
_
1
x
0
Ct
(.) d.
_
.
El miembro derecho de esta ltima expresin se denomina valor principal de Cauchy de la integral
impropia:
VP
_
1
1
(.) d. = lim
t!0C
__
x
0
t
1
(.) d.
_
1
x
0
Ct
(.) d.
_
.
(Esta denicin se generaliza de manera obvia al caso en que tiene un nmero nito de singu-
laridades en el eje real.) Por tanto, si existe la integral impropia entonces existe tambin su valor
principal, y se verica la igualdad
_
1
1
(.) d. = VP
_
1
1
(.) d. .
Ntese, sin embargo, que el valor principal de Cauchy puede existir aunque no exista la integral
impropia. Por ejemplo, si es una funcin impar singular en .
0
= 0 pero integrable en oentonces
VP
_
1
1
(.) d. = 0.
Valor principal de Cauchy 65
Lema 4.2. Supongamos que es una funcin analtica con un polo simple en z
0
C, y sea ;
t
el
arco de circunferencia ;
t
(t ) = z
0
c e
it
, con t t
0
. t
0
| (g. 4.5). Entonces
lim
t!0C
_
;
"
= i Res( : z
0
).
z
0
t
0
Figura 4.5: curva ;
t
Demostracin. En un entorno reducido de z
0
es vlido el desarrollo de Laurent
(z) =
b
1
z z
0
g(z). 0 < [z z
0
[ < r.
con g analtica en D(z
0
: r). Si 0 < c < r se tiene
_
;
"
= b
1
_
;
"
dz
z z
0
_
;
"
g .
Pero
b
1
_
;
"
dz
z z
0
= b
1
_
t
0
C
t
0
ice
it
ce
it
dt = ib
1
= i Res( : 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 si c _ r,2
se tiene

_
;
"
g
_ Mc
t!0C
0 .
v Sea una funcin analtica en H, excepto por un nmero nito de singularidades z
k
, siendo las
posibles singularidades de en el eje real polos simples. Si satisface una de las dos condiciones
siguientes:
i) J > 1, 1 > 0, M > 0 t.q. [(z)[ <
M
[z[
]
si [z[ > 1 y z H;
ii) (z) = e
io;
g(z), con o > 0 y [g(z)[ 0 cuando [z[ oen H,
entonces VP
_
1
1
(.) d. existe y est dado por
VP
_
1
1
(.) d. = 2i
Im;
k
>0
Res( : z
k
) i
;
k
2R
Res( : z
k
) .
r r x
0
z
k
Figura 4.6: curva ;
Demostracin. Supongamos, por ejemplo, que cumple la condicin i). Por sencillez, nos restrin-
giremos al caso en que slo tiene una singularidad .
0
en el eje real. Si r > max([.
0
[. 1) es lo
sucientemente grande y c > 0 lo sucientemente pequeo para que todas las singularidades de
en H {.
0
] estn en el interior de la curva ; de la g. 4.6, integrando a lo largo de dicha curva se
tiene:
_
;
= 2i
Im;
k
>0
Res( : z
k
) =
_
x
0
t
i
(.) d.
_
;
"

_
i
x
0
Ct
(.) d.
_
;
r
.
Por la discusin de la Seccin 4.3.1, las integrales
_
x
0
t
1
(.) d. y
_
1
x
0
Ct
(.) d. son convergentes,
y
lim
i!1
_
;
r
= 0.
Haciendo tender r a ose obtiene por tanto
2i
Im;
k
>0
Res( : z
k
) =
_
x
0
t
1
(.) d.
_
1
x
0
Ct
(.) d.
_
;
"
.
El resultado anunciado se obtiene haciendo c 0y utilizando el lema anterior con = .
v Nota: Si reemplazamos H por 1 y o > 0 por o < 0 en el enunciado anterior entonces
VP
_
1
1
(.) d. = 2i
Im;
k
~0
Res( : z
k
) i
;
k
2R
Res( : z
k
) .
v Ejemplo:
_
1
0
sen .
.
d. 1 .
Si denimos (.) = sen .,. para . = 0 y (0) = 1 entonces es continua en 0 y par, y por tanto
1 =
1
2
_
1
1
(.) d. .
Esta integral no es del tipo estudiado en la seccin 4.3.1, ya que [sen z[ =
_
cosh
2
, cos
2
.
_
1{2
tiende a innito cuando [,[ tiende a innito ms rpido que cualquier potencia de [z[. Tampoco se
cumple la relacin
1 =
1
2
Im
_
1
1
e
ix
.
d..
ya que la parte real de la integral del miembro derecho claramente diverge en 0 (el integrando se
comporta como 1,. en el origen). Sin embargo,
VP
_
1
1
cos .
.
d. = 0
al ser cos . par, y
VP
_
1
1
sen .
.
d. =
_
1
1
sen .
.
d. .
al ser convergente la integral del miembro derecho. Por tanto
1 =
1
2
Im
_
VP
_
1
1
e
ix
.
d.
_
=
1
2i
VP
_
1
1
e
ix
.
d. .
Valor principal de Cauchy 67
La funcin g(z) = e
i;
,z tiene un polo simple en el origen y cumple la condicin ii) de esta seccin
(o = 1 > 0), por lo que
1 =

2
Res
_
e
i;
z
: 0
_
=

2
.
v Ejemplo:
_
1
0
sen
2
.
.
2
d. 1 .
En este caso
1 =
1
2
_
1
1
sen
2
.
.
2
d. =
1
4
_
1
1
1 cos(2.)
.
2
d. =
1
4
VP
_
1
1
1 e
2ix
.
2
d. .
ya que
VP
_
1
1
sen(2.)
.
2
d. = 0
por ser el integrando una funcin impar. Si g(z) = (1 e
2i;
),z
2
entonces
[g(z)[ _
1
e
2i;
[z[
2
=
1 e
2Im;
[z[
2
_
2
[z[
2
. Imz _ 0. z = 0.
y por tanto se cumple la condicin i) en el semiplano superior. Adems, 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) =
d
dz
_
1 2e
i;
_
;D0
= 2ie
i;
;D0
= 2i.
Por tanto,
1 =
1
4
i (2i) =

2
.
v Ejemplo: VP
_
1
1
sen . d.
(. 1)(.
2
4)
1 .
Aqu
1 = ImJ. J VP
_
1
1
e
ix
d.
(. 1)(.
2
4)
.
La funcin
(z) =
e
i;
(z 1)(z
2
4)
es analtica en C {1. 2i], y la singularidad en z = 1 es claramente un polo simple. Adems, se
cumple claramente la condicin ii) en el semiplano superior (o = 1 > 0), por lo que
J = i Res( : 1) 2 Res( : 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
1 =

5
_
cos 1
1
e
2
_
.

Manual de Variable Compleja PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Manual de Variable Compleja PDF

Uploaded by

Copyright:

Available Formats

Manual de

Figura 1.1: Plano complejo.

L{0] (por la discontinuidad

L{0]). En efecto, Log es la inversa

L {0]) (ya que Log es analtica en T, y

> 0, existe c > 0 tal que

en 0 = , existe entonces 0 < _ tal que para todo _ 0 _ se verica

< c. para todo z .

< c. para todo z .

log [z[ i arg z

_ [log [z[[ [arg z[ .

You might also like