Variable Compleja

1
VARIABLE COMPLEJA
Mariano A. del Olmo
Dpto. de Fsica Teorica
Universidad de Valladolid
2
Indice general
1. Funciones de una variable compleja 7
1.1. N umeros complejos: primeras deniciones . . . . . . . . . . . . . . . . . 7
1.2. Forma polar de un n umero complejo . . . . . . . . . . . . . . . . . . . 8
1.3. Races n-esimas de un n umero complejo . . . . . . . . . . . . . . . . . 12
1.3.1. Races nesimas de la unidad . . . . . . . . . . . . . . . . . . . 14
1.3.2. Races y potencias de un n umero complejo . . . . . . . . . . . . 14
1.4. Representacion matricial de los n umeros complejos . . . . . . . . . . . 15
1.5. Topologa en el plano complejo . . . . . . . . . . . . . . . . . . . . . . 17
1.6. Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . 19
1.6.1. Representacion graca de funciones de variable compleja . . . . 20
1.7. Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.7.1. Propiedades de los lmites . . . . . . . . . . . . . . . . . . . . . 22
1.8. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8.1. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.9. Esfera de Riemann y puntos en el innito . . . . . . . . . . . . . . . . . 26
1.10. Derivacion de funciones de variable compleja . . . . . . . . . . . . . . . 28
1.10.1. Formulas de derivacion . . . . . . . . . . . . . . . . . . . . . . . 31
1.10.2. Derivabilidad de funciones reales de varias variables . . . . . . . 31
1.10.3. Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . 33
1.11. Funciones analticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3
4

INDICE GENERAL
1.12. Funciones armonicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2. Funciones elementales 41
2.1. Funcion exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.2. Funciones trigonometricas . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.3. Funciones hiperbolicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.4. Funcion logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.4.1. Propiedades de la funcion logaritmo . . . . . . . . . . . . . . . . 49
2.4.2. Ramas del logaritmo . . . . . . . . . . . . . . . . . . . . . . . . 51
2.4.3. Propiedades de la funcion logaritmo . . . . . . . . . . . . . . . . 53
2.5. Potencias y raz n-esima . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.5.1. Potencia f(z) = z
n
. . . . . . . . . . . . . . . . . . . . . . . . . 56
2.5.2. Raz n-esima . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.5.3. Potencias complejas . . . . . . . . . . . . . . . . . . . . . . . . . 59
3. Integracion en el plano complejo 61
3.1. Integrales de funciones complejas de variable real . . . . . . . . . . . . 61
3.2. Contornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.3. Integracion (curvilnea) en el campo complejo . . . . . . . . . . . . . . 64
3.3.1. Propiedades de las integrales de contorno . . . . . . . . . . . . . 65
3.3.2. Reparametrizacion de contornos . . . . . . . . . . . . . . . . . . 66
3.3.3. Longitud de arco de una curva . . . . . . . . . . . . . . . . . . . 68
3.3.4. Teorema fundamental del Calculo (para integrales de contorno) 69
3.3.5. Teorema de la independencia del camino . . . . . . . . . . . . . 70
3.4. El teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.4.1. Homotopa y Teorema de Cauchy . . . . . . . . . . . . . . . . . 74
3.5. Formula Integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 77
3.5.1.

Indice de una curva cerrada . . . . . . . . . . . . . . . . . . . . 77
INDICE GENERAL 5
3.5.2. Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . 78
3.6. Consecuencias del teorema de Cauchy . . . . . . . . . . . . . . . . . . . 82
3.6.1. Desigualdades de Cauchy . . . . . . . . . . . . . . . . . . . . . . 82
3.6.2. Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . 83
3.6.3. Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.6.4. Teorema fundamental del algebra . . . . . . . . . . . . . . . . . 84
3.6.5. El teorema del modulo maximo . . . . . . . . . . . . . . . . . . 85
4. Series de potencias y funciones analticas 89
4.1. Sucesiones y series de funciones . . . . . . . . . . . . . . . . . . . . . . 89
4.1.1. Sucesiones y series de n umeros complejos: conceptos basicos . . 89
4.1.2. Sucesiones y series de funciones . . . . . . . . . . . . . . . . . . 90
4.2. Series de potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.3. Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.4. Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.5. Productos y cocientes de series de potencias . . . . . . . . . . . . . . . 104
4.6. Singularidades aisladas: su clasicacion . . . . . . . . . . . . . . . . . . 105
5. Calculo de residuos. Calculo de integrales 113
5.1. Calculo de residuos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
5.2. El teorema de los residuos. . . . . . . . . . . . . . . . . . . . . . . . . . 117
5.3. Calculo de integrales denidas. . . . . . . . . . . . . . . . . . . . . . . . 118
5.3.1. Integrales impropias del tipo
_
f(x) dx . . . . . . . . . . . . . 119
5.3.2. Transformadas de Fourier
_
e
iax
f(x) dx . . . . . . . . . . . . 122
5.3.3. Integrales trigonometricas
_
2
0
R(cos , sen ) d . . . . . . . . . 125
5.4. Valor principal de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 126
5.5. Integrales con cortes de ramicacion . . . . . . . . . . . . . . . . . . . . 130
5.5.1. Transformadas de Mellin
_
0
x
a1
f(x) dx, a Z . . . . . . . . 130
6

INDICE GENERAL
5.5.2.
_
0
f(x) log x dx . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.6. Suma de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Captulo 1
Funciones de una variable compleja
1.1. N umeros complejos: primeras deniciones
Los n umeros complejos z se pueden escribir en terminos de dos n umeros reales x e
y del modo siguiente z = x + iy, donde i es la unidad imaginaria que verica que
i
2
= 1. A los n umeros reales x e y se les denomina parte real y parte imaginaria de
z, respectivamente. As
x = Re z, y = Imz. (1.1)
El conjunto de los n umeros complejos C tiene estructura de cuerpo con las operaciones
de suma (+) y producto () denidas por
z
1
+ z
2
(x
1
+ iy
1
) + (x
2
+ iy
2
) := (x
1
+ x
2
) + i(y
1
+ y
2
),
z
1
z
2
(x
1
+ iy
1
) (x
2
+ iy
2
) := x
1
x
2
y
1
y
2
+ i(x
1
y
2
+ x
2
y
1
).
(1.2)
La igualdad de dos n umeros complejos z
1
y z
2
se dene (teniendo en cuenta que como
conjuntos C = R
2
) del modo siguiente
z
1
= z
2
Re z
1
= Re z
2
, Imz
1
= Imz
2
.
Dado un n umero complejo z = x + iy, su complejo conjugado, z
o z, se dene como
z
z = x iy. (1.3)
Podemos considerar la aplicacion conjugacion compleja que nos lleva cada n umero
7
8 CAP
ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

complejo z en su complejo conjugado (
: C C). Sus principales propiedades son:
z = (z
= z,
(z
1
+ z
2
) = z
1
+ z
2
,
z
1
z
2
= z
1
z
2
,
_
z
1
z
2
_
=
z
1
z
2
, z
2
= 0.
(1.4)
Ejercicio 1.1. Demostrar las propiedades (1.4).
El modulo de un n umero complejo z = x+iy, que denotaremos por |z|, se dene como
|z| = +
_
x
2
+ y
2
. (1.5)
Las propiedades del modulo de un n umero complejo son:
z = 0 si y solo si |z| = 0,
|z| = | z|,
|z
1
z
2
| = |z
1
| |z
2
|,
z
1
z
2
=
|z
1
|
|z
2
|
, z
2
= 0,
|z|
2
= z z
Desigualdad del triangulo :
_
|z
1
+ z
2
| |z
1
| +|z
2
|,
|z
1
z
2
| ||z
1
| |z
2
||.
(1.6)
De la relacion (1.6.e) uno puede probar que
z
1
1
z
=
z
|z|
2
, si z = 0,
z
1
= z, si |z| = 1.
Ejercicio 1.2. Demostrar las propiedades (1.6).
1.2. Forma polar de un n umero complejo
Desde un punto de vista geometrico, los n umeros complejos se pueden identicar con
los punto del plano real mediante la correspondencia
z = (x + iy) C (x, y) R
2
. (1.7)
1.2. FORMA POLAR DE UN N
UMERO COMPLEJO 9
Esta relacion uno a uno entre C y R
2
posibilita que los n umeros complejos puedan ser
representados mediante el plano real de forma que el eje real sea el eje horizontal y
el eje imaginario el eje vertical (Figura 1.1). Por ello es usual denominar a C plano
complejo.
CAP
ITULO 1. FUNCIONES ANAL
ITICAS 3
El teorema del binomio de Newton es valido en el campo complejo:
(a + b)
n
=
n
i=0
n
i
a
i
b
ni
, a, b C, n N.
1.2. Modulo y argumento. Formula de de Moivre.
Races. Conjugacion.
Geometricamente, los n umeros complejos se pueden identicar con los puntos del
plano haciendo corresponder al complejo z = x + i y el punto (x, y). De ah que el
conjunto C reciba el nombre de plano complejo. Es tambien corriente cuando se
utiliza esta representacion geometrica de C denominar eje real al eje horizontal y
eje imaginario al vertical (g. 1.1).
x
y
z
z
Figura 1.1: Plano complejo.
Si z = x + i y C, se denen el m odulo y el complejo conjugado de z respectiva-
mente como sigue:
|z| =
x
2
+ y
2
(distancia al origen)
z = x i y (reexion respecto del eje real)
= Re z =
1
2
(z + z), Imz =
1
2i
(z z)
Propiedades:
i) z = z
ii) z + w = z + w
iii) z w = z w = 1/z = 1/z
iv) |z| = |z|
v) zz = |z|
2
=
z = 0 z
1
=
z
|z|
2
|z| = 1 z = z
1
Figura 1.1: Plano complejo
Sea z = x + iy un n umero complejo, de acuerdo con lo anterior tiene asociado un
punto en el plano real R
2
, de coordenadas (x, y), con el que le podemos identicar. La
distancia eucldea entre el punto (x, y) y el origen, (0, 0), es +
_
x
2
+ y
2
que coincide
con |z|. Precisamente y , angulo que forman el eje horizontal con la recta que une
(x, y) con el origen (0, 0) (ver Figura 1.2) constituyen las coordenadas polares del punto
(x, y) del plano real. Llamando = |z| se tiene que
x = cos , y = sen ,
con lo que
z = (cos + i sen ). (1.8)
El angulo se denomina argumento de z (arg z) y esta denido salvo un n umero
entero de vueltas (modulo 2), es decir que si k es un n umero entero arbitrario, el
argumento + 2k representa el mismo argumento que . Este hecho esta ligado con
la periodicidad de las funciones trigonometricas, esto es:
cos( + 2k) = cos , sen( + 2k) = sen , k Z.
Si uno quiere que el argumento sea unico debe entonces restringirse a un intervalo
semiabierto I de longitud 2, por ejemplo [0, 2), (, ], etc. A esta eleccion del
intervalo se denomina tomar una determinacion del argumento: arg
I
. En otras palabras,
10 CAP

CAP
ITULO 1. FUNCIONES ANAL
ITICAS 4
vi) |z w| = |z| |w| (elevar al cuadrado) =
z
1
= |z|
1
vii) w = 0 = z/w = z/w, |z/w| = |z| / |w|
(consecuencia de iii) y vi))
viii) |Re z| |z| , |Imz| |z| (|z| Re z, Imz |z|)
Desigualdad triangular: |z + w| |z| +|w|
|z + w|
2
= (z + w)(z + w) = |z|
2
+|w|
2
+ (zw + zw) = |z|
2
+|w|
2
+ 2 Re(zw)
|z|
2
+|w|
2
+ 2 |zw| = |z|
2
+|w|
2
+ 2 |z| |w| = (|z| +|w|)
2
.
Consecuencias:
i) ||z| |w|| |z w|
|z| = |(z w) + w| |z w| +|w| = |z| |w| |z w| ;
cambiando z por w se obtiene |w| |z| |z w|.
ii) |z| > |w| =
1
|z w|

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

Dado 0 = z C, existe R t.q.
z = |z| (cos + i sen ) (g. 1.2).
El n umero esta denido modulo un m ultiplo entero de 2. Por ejemplo,
z = 1 = {0, 2, 4, . . . } = {2 k : k Z} .
Denici on 1.4. arg z (argumento de z): cualquier t.q. z = |z| (cos +i sen ).
= arg no es una funcion.
arg z = cualquiera de los angulos orientados formados por el vector z con el eje
real positivo.
Ejemplos:
arg i {/2 + 2 k : k Z}
arg(1 i) {5/4 + 2 k : k Z} = {3/4 + 2 k : k Z} .
Figura 1.2: Forma polar de un n umero complejo
arg
I
z es el unico valor de argz que pertenece a I. Cuando I = (, ], arg
(,]
se
denomina la determinacion principal del argumento.
A la representacion polar (1.8) de z se le denomina tambien forma trigonometrica o
modulo-argumental de un n umero complejo.
En forma polar dos n umeros complejos, z
1
y z
2
son iguales si y solo si |z
1
| = |z
2
| y
arg z
1
= arg z
2
+ 2k, k Z.
En la representacion polar la multiplicacion de n umeros complejos se expresa de forma
simple. En efecto, sean dos n umeros complejos z
j
=
j
(cos
j
+ i sen
j
), j = 1, 2, su
producto se escibe como
z
1
z
2
=
1

2
[cos
1
cos
2
sen
1
sen
2
+ i(cos
1
sen
2
+ cos
2
sen
1
)].
Usando las formulas trigonometricas de la suma de angulos obtenemos que
z
1
z
2
=
1

2
[cos(
1
+
2
) + i sen(
1
+
2
)]. (1.9)
De la expresion (1.9) inferimos, por un lado el conocido resultado de que |z
1
z
2
| =
|z
1
| |z
2
|, y por otro que
arg (z
1
z
2
) = arg (z
1
) + arg (z
2
) mod 2.
Notese que, en general, arg (z
1
z
2
) = arg (z
1
) + arg (z
2
). As, por ejemplo,
arg
(,]
(i) = /2 = arg
(,]
(1) + arg
(,]
i = + /2 = 3/2.
Si consideramos en (1.9) el caso particular de z
1
= z
2
= z tenemos que
z
2
=
2
(cos 2 + i sen 2).
1.2. FORMA POLAR DE UN N
UMERO COMPLEJO 11
Y usando el metodo de induccion, llegamos al siguiente resultado
z
n
=
n
(cos n + i sen n), (1.10)
valido para todo n umero natural n = 1, 2, . . . (incluso para n = 0). Por otro lado, de
la forma polar de z se tiene que
z
n
=
n
(cos + i sen )
n
. (1.11)
De la igualdad entre estas dos ultimas expresiones, (1.10) y (1.11), obtenemos la cono-
cida formula de Moivre
cos n + i sen n = (cos + i sen )
n
, (1.12)
siendo n = 0, 1, 2, . . .
Ejemplo 1.1. Calculo de cos 3 en funcion de .
De acuerdo con la formula de Moivre podemos escribir
cos 3 + i sen 3 = (cos + i sen )
3
= cos
3
3 cos sen
2
+ i(cos
2
sen sen
3
).
De la igualdad de n umeros complejos obtenemos que
cos 3 = cos
3
3 cos sen
2
,
sen 3 = cos
2
sen sen
3
.
Dado un complejo z cuya expresion modulo-argumento viene dada por (1.8) la de su
complejo conjugado es z = [cos() + i sen()]. Ahora si z = 0, entonces es facil
probar que
1
z
z
1
=
z
z z
=
1
[cos() + i sen()] =
1
(cos i sen ).
De la expresion anterior se puede ver que:
z
1
z
2
=

1
2
[cos(
1
2
) + i sen(
1
2
)], z
2
= 0; (1.13)
1
z
n
z
n
=
1
n
[cos(n) + i sen(n)], z = 0. (1.14)
Ejercicio 1.3. Comprobar las expresiones (1.13) y (1.14).
12 CAP

1.3. Races n-esimas de un n umero complejo
Sean z = 0 C y n N. Vamos a buscar todos los n umeros complejos w tales que
w
n
= z. (1.15)
A cada n umero complejo w solucion de la ecuacion anterior (1.15), de existir, lo llama-
remos raz n-esima de z.
Como z = 0 si existe una solucion w sera no nula. Para resolver la ecuacion w
n
= z
escribamos los complejos w y z en forma polar
z =
z
(cos
z
+ i sen
z
), w =
w
(cos
w
+ i sen
w
).
La ecuacion (1.15) en forma polar se reescribe como
n
w
(cos(n
w
) + i sen(n
w
)) =
z
(cos
z
+ i sen
z
).
La igualdad de dos n umeros complejos implica que
n
w
=
z
=
w
=
1/n
z
n
w
=
z
+ 2k =
w
=

z
n
+
2k
n
, k Z.
En principio k puede ser cualquier n umero entero. Sin embargo, si se reemplaza k por
k + pn con p entero se tiene que
2(k + p n)
n
=
2k
n
+ 2p.
Por tanto, el angulo

z
n
+
2k
n
es igual al angulo

z
n
+
2k
n
+ 2p puesto que ambos
dieren en un m ultiplo entero de 2. De este modo es suciente con que k varie entre
0, 1, . . . , n1, pues para cualquier otro valor de k, se iran repitiendo los valores de
w
.
Es facil demostrar que los n valores angulares
w
=

0
n
+
2k
n
; k = 0, 1, . . . , n 1
son diferentes. Por tanto, la ecuacion con variable w dada por w
n
= z, tiene justamente
n soluciones que son
w =
1/n
z
_
cos
_
z
n
+
2k
n
_
+ i sen
_
z
n
+
2k
n
__
, k = 0, 1, . . . , n 1. (1.16)
En otras palabras, un n umero complejo no nulo tiene n races nesimas (no nulas)
distintas.
1.3. RA
ICES N-
ESIMAS DE UN N
UMERO COMPLEJO 13
Ejemplo 1.2. Calculemos las races quintas de z = (
3/2 + i/2).
Vemos que |z| = 1, arg z = 5/6, luego las races quintas vienen dadas por
cos
_
6
+
2k
5
_
+ i sen
_
6
+
2k
5
_
, k = 0, 1, . . . , 4,
y explcitamente se escriben como
cos

6
+ i sin

6
=
3
2
+
i
2
,
cos
17
30
+ i sin
17
30
= 0,207912 + 0,978148 i,
cos
29
30
+ i sin
29
30
= 0,994522 + 0,104528 i,
cos
41
30
+ i sin
41
30
= 0,406737 0,913545 i,
cos
53
30
+ i sin
53
30
= 0,743145 0,669131 i.
Las races nesimas de z = 0 C tienen el mismo modulo: |z|
1/n
, de modo que todas
ellas estaran situadas sobre la circunferencia centrada en el origen y de radio |z|
1/n
.
Como todas las races nesimas dieren en su argumento un m ultiplo de
2
n
estan
dispuestas de forma equidistante sobre la circunferencia.
CAP
ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA 10

i
1
1
i
(a) Races cuartas
i
1
1
i
(b) Races octavas
Figura 1.2: Races de la unidad
De esta suerte, para dibujar todas las races n-esimas de z
0
= 0, primero encontraremos una
de ellas, z
1
, y la situaremos en el plano complejo. Trazaremos la circunferencia centrada en
el origen y de radio |z
1
|. Sobre esta circunferencia y, a partir de z
1
, giremos un arco de
2
n
radianes, para encontrar la segunda raz n-esima de z
0
. A continuaci on giremos, en el mismo
sentido, otro angulo de
2
n
radianes para hallar la tercera y as sucesivamente.
1.5. Topologa en el plano complejo
Aprovechando la relaci on biunvoca que existe entre el plano complejo C y el plano real R
2
dada por
x + iy (x, y),
vamos a denir una topologa en C que tambien sea identica a la topologa metrica usual
que existe en R
2
. Una topologa se dene o bien dando el sistema de abiertos de la misma
o, equivalentemente, dando los entornos de cada punto. Nosotros utilizaremos esta segunda
estrategia.
De todas las maneras, supondremos que el lector conoce ya los elementos de la topologa
metrica y, en particular, de la topologa eucldea en el plano real R
2
, por lo que aqu pre-
sentaremos un simple resumen de las ideas fundamentales.
Sean z y w dos n umeros complejos. Llamaremos distancia entre z y w al m odulo |z w|.
Entonces:
Disco abierto centrado en z
0
y de radio > 0 es el conjunto de puntos del plano complejo
que distan de z
0
menos que . Este disco se denota como D(z
0
, ). Tenemos entonces que
D(z
0
, ) = {z C; |z z
0
| < }.
Disco cerrado centrado en z
0
y de radio > 0 es el conjunto de puntos del plano complejo
que distan de z
0
igual o menos que . Este disco se denota como

D(z
0
, ). Entonces
D(z
0
, ) = {z C; |z z
0
| }.
Figura 1.3: Races cuartas y octavas de la unidad
14 CAP

1.3.1. Races nesimas de la unidad
Si consideramos z = 1 (
z
= 1 y
z
= 0) las races nesimas de la unidad son, seg un la
formula (1.16), de la siguiente forma
w
k
= cos
_
2k
n
_
+ i sen
_
2k
n
_
, k = 0, 1, . . . , n 1.
Teniendo en cuenta la formula de Moivre podemos comprobar facilmente que w
k
= w
k
con w w
1
= cos
_
2
n
_
+ i sen
_
2
n
_
.
Por ejemplo, las races octavas de la unidad son
_
cos
_
4
_
+ i sen
_
4
__
k
=
1
(
2)
k
(1 + i)
k
, k = 0, 1, . . . , 7.
De forma explcita
1
1/8
= {1,
1
2
(1 + i), i,
1
2
(1 + i), 1
1
2
(1 + i), i,
1
2
(1 i) }.
Si z es un n umero complejo arbitrario distinto de cero y z
1/n
una de sus races nesimas
se puede probar que las n races nesimas de z vienen dadas por
z
1/n
k
, k = 0, 1, . . . , n 1. (1.17)
La demostracion consta de dos etapas:
i) probar que z
1/n
k
es una raz nesima de z para todo k = 0, 1, . . . , n 1;
ii) comprobar que los n umeros z
1/n
k
, k = 0, 1, . . . , n 1 son todos distintos.
Ejercicio 1.4. Probar la relacion (1.17).
1.3.2. Races y potencias de un n umero complejo
Es bien conocido que si r es un n umero real positivo y m y n son dos n umeros naturales,
entonces (r
m
)
1/n
= (r
1/n
)
m
, en el dominio de los n umeros reales positivos. Sin embargo,
no ocurre lo mismo en el caso de un n umero complejo z no nulo, ya que este tiene
exactamente n races nesimas y, por lo tanto, z
1/n
es, en realidad, un conjunto de n
n umeros complejos.
As, por ejemplo, si m y n son primos entre s (z
m
)
1/n
= (z
1/n
)
m
como conjuntos (con
z = 0).
1.4. REPRESENTACI
ON MATRICIAL DE LOS N
UMEROS COMPLEJOS 15
Sin embargo, cuando m y n no son primos entre s, los conjuntos de n umeros (z
1/n
)
m
y (z
m
)
1/n
no son, en general, identicos. Para comprobarlo, basta considerar el caso
cuando m = 4; n = 2. En efecto, sea z = (cos + i sen ), entonces
(z
4
)
1/2
=
2
(cos 2 + i sen 2)
k
, k = 0, 1,
siendo
0
y
1
las races cuadradas de la unidad (
0
= 1,
1
= cos + i sen = 1).
Por tanto
(z
4
)
1/2
= (1)
2
(cos 2 + i sen 2).
Luego (z
4
)
1/2
es un conjunto de dos n umeros como corresponde al n umero de races
cuadradas de un n umero complejo no nulo.
Por otra parte
z
1/2
= (1)
1/2
_
cos

2
+ i sen

2
_
son dos n umeros, de modo que
(z
1/2
)
4
= (1)
4
2
(cos 2 + i sen 2) =
2
(cos 2 + i sen 2).
es un unico n umero que coincide con uno de los valores de (z
4
)
1/2
. Luego {(z
1/2
)
4
} es
un subconjunto de {(z
4
)
1/2
}.
1.4. Representacion matricial de los n umeros com-
plejos
Comenzaremos viendo como la multiplicacion por un n umero complejo puede repre-
sentarse por una matriz.
Sea = a + ib un n umero complejo arbitrario pero jo. Consideremos la aplicacion
lineal (entre espacios vectoriales)
M
: C R
2
C R
2
z M
(z) = z
entonces en la base canonica de R
2
{1
_
1
0
_
, i
_
0
1
_
} la matriz asociada a la
aplicacion M
viene dada por

_
a b
b a
_
. (1.18)
En efecto, sea z = (x + iy) luego
M
(z) = z = (a + ib)(x + iy) = ax by + i(ay + bx). (1.19)

16 CAP

Sea la matriz de entradas reales
M
=
_
a
11
a
12
a
21
a
22
_
asociada a M
en la base canonica. Entonces tenemos

M
(z) = M
_
x
y
_
=
_
a
11
a
12
a
21
a
22
_
_
x
y
_
=
_
a
11
x + a
12
y
a
21
x + a
22
y
_
. (1.20)
Comparando (1.19) y (1.20) se obtienen las ecuaciones
ax by = a
11
x + a
12
y, ay + bx = a
21
x + a
22
y, (x, y) R
2
.
de donde se inere que
a
11
= a
22
= a, a
12
= a
21
= b.
Luego
M
=
_
a b
b a
_
. (1.21)
Por otra parte, los n umeros complejos se pueden representar por matrices reales 2 2:
= a + ib C M
=
_
a b
b a
_
.
Notese que ||
2
= det M
.
El conjunto de matrices
M
C
= {M
=
_
a b
b a
_
: a, b R}
viene generado por
M
1
=
_
1 0
0 1
_
, M
i
=
_
0 1
1 0
_
,
es decir,
M
=
_
a b
b a
_
= aM
1
+ bM
i
.
La suma y la multiplicacion de matrices de M
C
se correponde con la suma y multipli-
cacion en C como facilmente se comprueba. De modo que {M
C
, +, } {C, +, }.
1.5. TOPOLOG
IA EN EL PLANO COMPLEJO 17
1.5. Topologa en el plano complejo
La relaci on biunvoca (1.7) existente entre el plano complejo C y el plano real R
2
permite denir una topologa en C identica a la topologa metrica usual que existe en
R
2
.
Una topologa se dene dando el sistema de abiertos de la misma o, equivalentemente,
dando los entornos de cada punto, que es el modo como lo presentamos aqu.
A continuacion describiremos simplemente los conceptos topologicos necesarios para
nuestros propositos.
Llamaremos distancia entre dos n umeros complejos z y w al modulo |z w|.
Disco abierto centrado en z
0
y de radio > 0 (D(z
0
, )) es el conjunto de puntos del
plano complejo que distan de z
0
menos que
D(z
0
, ) = {z C : |z z
0
| < }.
Disco cerrado centrado en z
0
y de radio > 0 (

D(z
0
, )) es el conjunto de puntos del
plano complejo que distan de z
0
igual o menos que
D(z
0
, ) = {z C : |z z
0
| }.
Entorno de z
0
C es cualquier conjunto conteniendo un disco abierto centrado en z
0
.
En particular, un disco abierto centrado en z
0
es un entorno de z
0
. En lo que sigue,
si no se dice lo contrario, por entorno de un punto z
0
entenderemos un disco abierto
centrado en z
0
: D(z
0
, ).
Punto interior a un conjunto no vaco A C es un punto de A tal que tiene al menos
un entorno completamente contenido en A. Esto es, si z
0
es un punto interior a A
entonces > 0 tal que D(z
0
, ) A.
El interior de A es el conjunto de sus puntos interiores y se denota por
A. Obviamente
A A.
Un punto z
0
C es punto adherente de un conjunto no vaco A C si todo entorno
de z
0
corta a A. Luego, si z
0
es un punto adherente a A, D(z
0
, )
A = , > 0.
La adherencia de A es el conjunto de sus puntos adherentes y se denota por

A. Ahora
se tiene que
A

A.
18 CAP

Un conjunto A C es un conjunto abierto o, simplemente un abierto, si coincide con
su interior: A =
A. En otras palabras, si contiene un entorno de cada uno de sus puntos

a A, > 0 : D(a, ) A.
Un conjunto A C es un conjunto cerrado, o simplemente un cerrado, si coincide con
su adherencia, esto es A =

A.
Sea B un subconjunto del conjunto A entonces A B := {a A : a / B}. Se dice
que A B es el conjunto complementario de B con respecto a A.
Se demuestra que un conjunto es abierto si y solamente si su complementario, con
respecto al plano complejo, es cerrado. Y tambien que un conjunto es cerrado si y solo
si su complementario es abierto.
Los unicos conjuntos abiertos y cerrados en C son el total C y el vaco .
Sea un punto z
0
A C. Se dice que z
0
es un punto frontera de A si es un punto
adherente de A que no pertenece al interior de A. Es decir, Frontera(A) =

A
A.
Un conjunto A C esta acotado si R > 0 t.q. A D(0, R). Un conjunto A C se
dice que es compacto si es cerrado y acotado.
Por entorno (o disco) perforado de z
0
C (D
(z
0
, )) se entiende D(z
0
, ) {z
0
}, esto
es D
(z
0
, ) = {z C : 0 < |z z
0
| < }. De un modo similar, C
= C {0}.
Un conjunto A C es conexo si dados dos puntos del mismo se pueden unir mediante
una lnea poligonal totalmente contenida en A. En particular, dicha lnea poligonal se
puede elegir teniendo los lados paralelos a los ejes.
Notese que todo disco centrado en cualquier punto z
0
C es un conjunto conexo.
CAP

z
w
Figura 1.3: Conjunto conexo
1.6. Funciones de variable compleja
Sea D una regi on del plano complejo, esto es, D es en subconjunto de C. Llamaremos fuci on
de variable compleja a toda aplicaci on
f : D C
Esta funci on se denota como f(z). Para cada valor z D, f(z) representa un unico n umero
complejo. As por ejemplo
f(z) =
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
donde
0
,
1
, . . . ,
n
son n umeros comlejos jos, es una funci on de variable compleja denida
en la regi on D C, es decir, aqu la regi on D en la cual f(z) est a denida es todo el plano
complejo. Si tuvieramos
f(z) =
1
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
,
entonces D sera todo el plano complejo, excepto aquellos valores de z que anulan el denom-
inador y son, a lo mas, n.
Decamos que para cada z D, f(z) es un n umero complejo. Por lo tanto, f(z) tiene su
parte real, u(z), y su parte imaginaria, v(z). Las funciones u(z) y v(z) est an denidas en
todo z D, pero son funciones reales de variable compleja. Esto es, para cada z D, u(z) y
v(z) son n umeros reales. Recordemos que el plano complejo puede identicarse con el plano
real mediante la identicaci on del n umero complejo z = x + iy con el par de n umeros reales
(x, y). De esta manera, podemos escribir
f(z) = u(x, y) + iv(x, y),
con lo que las partes real e imaginaria de f(z), son funciones de D, identicado ahora como
un subconjunto de R
2
, en R. De esta manera:
u(x, y) : R
2
R
(x, y) u(x, y)
v(x, y) : R
2
R
(x, y) v(x, y),
Figura 1.4: Conjunto conexo
1.6. FUNCIONES DE VARIABLE COMPLEJA 19
Por dominio entenderemos un subconjunto del plano complejo abierto y conexo.
Por region del plano complejo se considerara un subconjunto de C.
1.6. Funciones de variable compleja
Sea D una region del plano complejo. Llamaremos funcion de variable compleja a toda
aplicacion
f : D C
z f(z).
As, por ejemplo,
f(z) =
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
,
con
0
,
1
, . . . ,
n
n umeros complejos jos, es una funcion de variable compleja denida
en la regi on D C. Sin embargo, la funcion
f(z) =
1
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
no esta denida en aquellos valores de z que anulan el denominador (como maximo n
distintos). Es decir, D = C {races del denominador}.
Puesto que para cada z D, f(z) C podemos considerar tanto la parte real, u(z),
como la parte imaginaria, v(z), de f(z). Las funciones u(z) y v(z) estan denidas en
todo z D, pero son funciones reales de variable compleja (z D, u(z), v(z) R).
Como ya hemos dicho, el plano complejo puede identicarse con el plano real mediante
la correspondencia del n umero complejo z = x+iy con el par de n umeros reales (x, y).
De esta manera, podemos escribir
f(z) f(x + iy) = u(x, y) + iv(x, y), (1.22)
con lo que las partes real e imaginaria de f(z), son funciones de D (considerado ahora
como un subconjunto de R
2
) en R. As pues:
u : R
2
R, v : R
2
R
(x, y) u(x, y), (x, y) v(x, y).
(1.23)
Es decir, u(x, y) y v(x, y) son funciones reales de dos variables reales.
Ejemplo 1.3. Sea la funcion f(z) = z
2
.
20 CAP

Al ser una funcion polinomica esta denida para todo z C. Se puede descomponer
en parte real e imaginaria teniendo en cuenta que si z = x + iy entonces
z
2
= (x + iy)
2
= x
2
y
2
+ i2xy,
de manera que
Re f(z) = u(x, y) = x
2
y
2
, Imf(z) = v(x, y) = 2xy.
Ejemplo 1.4. Sea f(z) = |z| =
_
x
2
+ y
2
.
Su dominio de denicion es tambien C. En este caso
u(x, y) =
_
x
2
+ y
2
, v(x, y) = 0.
Ejemplo 1.5. Consideremos la funcion f(z) = 1/z.
Como
1
z
=
z
z z
=
x iy
x
2
+ y
2
vemos que
u(x, y) =
x
x
2
+ y
2
, v(x, y) =
y
x
2
+ y
2
.
En este caso, f(z) esta denida en todo el plano complejo, excepto en el origen (raz
del denominador), es decir D = C {0} C
.
Ejemplo 1.6. Sea f(z) = |z| iy
Entonces
u(x, y) =
_
x
2
+ y
2
, v(x, y) = y.
El dominio de denicion es C.
1.6.1. Representacion graca de funciones de variable com-
pleja
A diferencia de las funciones reales de una variable real que permiten representar en el
plano los pares (x, f(x)), en el caso de funciones de variable compleja f : A C C
esto no es as, pues para representar los pares (z, f(z)) necesitariamos un espacio cuadri-
dimensional.
La forma de soslayar este problema es pensar la funcion f como una transformacion
que lleva el conjunto A C en el conjunto f(A) C. Podemos as representar en un
plano los puntos z del conjunto A de la forma habitual (Re z en el eje horizontal e Imz
en el eje vertical) y en otro plano los puntos de f(A) considerando Re f(z) en el eje
horizontal e Imf(z) en el eje vertical.
1.6. FUNCIONES DE VARIABLE COMPLEJA 21
Ejemplo 1.7. Consideremos la transformacion f(z) = z
2
que acabamos de ver en el
ejemplo 1.3.
Sus partes real e imaginaria son
Re f(z) = u(x, y) = x
2
y
2
, Imf(z) = v(x, y) = 2xy.
Supongamos, por ejemplo que x = 0 entonces podemos escribir
y =
v
2x
,
sustituyendo en Re f(z) obtenemos que
u = x
2
v
2
4x
2
.
De manera que tenemos una familia de parabolas, una para cada valor de x = 0.
En el caso de x = 0 obtenemos que (u = y
2
, v = 0).
En las dos guras siguientes se representan una familia de semirrectas y sus transfor-
madas por f(z) = z
2
.
In[97]:= ParametricPlotEvaluaterectasver, t, ,
AspectRatio Automatic, PlotStyle estilorectas
Out[97]=
2 1 1 2
0.5
1.0
1.5
2.0
16 clase2B.nb
Familia de semirrectas con 2 x 2, 0 y.
In[98]:= ParametricPlotEvaluatecuadradover, t ,
AspectRatio Automatic, PlotStyle estilorectas
Out[98]=
4 2 2 4
5
5
clase2B.nb 17
Familia de parabolas transformadas por f(z) = z
2
de las semirrec-
tas 2 x 2, 0 y. La semirrecta y su parabola transformada
presetan el mismo color.
22 CAP

1.7. Lmites
Sean un abierto A C, una funcion f : A C denida en A {z
0
} (z
0
A) y un
n umero complejo l.
Se dice que l es el lmite de f(z) cuando z tiende a z
0
(o en z
0
), y escribiremos
lm
zz
0
f(z) = l,
si > 0 > 0 tal que si z A y |z z
0
| < entonces |f(z) l| < .
CAP

z0
x
y
(a) ??
u
v
e
(b) ???
Figura 1.4: Lmites
Notemos que esta denici on quiere decir que para todo punto que este en el entorno centrado
en z
0
y de radio delta, salvo posiblemente z
0
, es decir, D(z
0
, ) {z
0
}, f(z) est a en un
entorno centrado en
0
y de radio .
Consideremos ahora una funci on de dos variables reales g(x, y), denida en un entorno de
un punto (x
0
, y
0
) del plano real R
2
(excepto quiz a en el propio (x
0
, y
0
)). Diremos que g(x, y)
tiende al n umero real g
0
si (x, y) tiende a (x
0
, y
0
) y escribiremos:
lm
(x,y)(x
0
,y
0
)
g(x, y) = g
0
,
si > 0, > 0, tal que si
(x x
0
)
2
+ (y y
0
)
2
< , entonces |g
0
g(x, y)| < .
Utilizaremos esta noci on en nuestro pr oximo resultado.
Teorema 1.1. Sea f(z) una funci on denida en un conjunto D del plano complejo, tal que
exista > 0 y un n umero complejo z
0
tal que D(z
0
, ){z
0
} D (es decir, f(z) est a denida
en todos los puntos de un entorno de z
0
, excepto quiz a en el propio z
0
). Entonces existe el
lmite
lm
zz
0
f(z) =
0
= u
0
+ iv
0
y es
0
con parte real u
0
y parte imaginaria v
0
si y solamente si existen los siguientes lmites
lm
(x,y)(x
0
,y
0
)
u(x, y) = u
0
; lm
(x,y)(x
0
,y
0
)
v(x, y) = v
0
.
Notemos que , para que D(z
0
, ) {z
0
} D.
Demostraci on.- Supongamos, en primer lugar, que
lm
zz
0
f(z) = u
0
+ iv
0
=
0
.
Entonces, > 0, > 0 tal que si |z z
0
| < ,
|f(z)
0
| = |u(x, y) u
0
+ i[v(x, y) v
0
]| =
[u(x, y) u
0
]
2
+ [v(x, y) v
0
]
2
< .
Figura 1.5: Lmites: discos centrados en z
0
y en l.
1.7.1. Propiedades de los lmites
Las principales propiedades de los lmites son las siguientes:
1. Si existe lm
zz
0
f(z), este es unico.
2. Existe lm
zz
0
f(z) = l si y solo si lm
(x,y)z
0
u(x, y) = Re l y lm
(x,y)z
0
v(x, y) = Iml.
Las propiedades listadas a continuacion son similares al caso de variable real. Si existen
lm
zz
0
f(z) y lm
zz
0
g(z) entonces se tiene que:
3. lm
zz
0
[f(z) + g(z)] = lm
zz
0
f(z) + lm
zz
0
g(z)
4. lm
zz
0
[f(z) g(z)] = lm
zz
0
f(z) lm
zz
0
g(z)
5. lm
zz
0
f(z)
g(z)
=
lm
zz
0
f(z)
lm
zz
0
g(z)
si lm
zz
0
g(z) = 0 .
1.8. CONTINUIDAD 23
Demostracion:
La propiedad (1) se demuestra como en el caso real. En cuanto a la propiedad (2) puesto
que Re f y Imf son funciones reales de dos variables reales (1.22) y (1.23) basta tener
en cuenta la siguiente denicion:
Sea una funcion real de dos variables reales g(x, y), denida en un entorno de un punto
(x
0
, y
0
) del plano real R
2
(excepto quizas en el propio (x
0
, y
0
)). Diremos que g(x, y)
tiende al n umero real g
0
si (x, y) tiende a (x
0
, y
0
), y escribiremos
lm
(x,y)(x
0
,y
0
)
g(x, y) = g
0
,
si > 0 > 0 tal que si
_
(x x
0
)
2
+ (y y
0
)
2
< entonces |g
0
g(x, y)| < .
Las restantes propiedades se demuestran de una forma similar al caso real.
1.8. Continuidad
Sean un abierto A C y una funcion f : A C. Se dice que f(z) es continua en
z
0
A si y solo si
lm
zz
0
f(z) = f(z
0
).
En otras palabras, f(z) es continua en z
0
A si y solo si > 0 > 0 tal que si
|z z
0
| < entonces |f(z) f(z
0
)| < .
Notese que si la funcion f es continua en z
0
entonces f esta denida en (todos los
puntos de un entorno de z
0
incluido) z
0
.
La funcion f : A C (A abierto) se dice que es continua en A si y solo si es continua
en todos los puntos de A.
1.8.1. Propiedades
Podemos enunciar las siguientes propiedades de las funciones de variable compleja
continuas:
1. Sea f(z) = u(x, y) + iv(x, y), entonces f es continua en z
0
= x
0
+ iy
0
si y solo si
u y v son continuas en (x
0
, y
0
).
2. Si dos funciones f y g son continuas en un punto z
0
entonces f + g y f g son
continuas en z
0
.
24 CAP

3. Si f y g son continuas en z
0
y ademas g(z
0
) = 0 entonces f/g es continua en z
0
.
4. Sean f : A C y g : B C continuas en z
0
A y en f(z
0
) B, respectiva-
mente, entonces g f es continua en z
0
.
Demostracion: La propiedad (1) se demuestra teniendo en cuenta la denicion de con-
tinuidad para funciones de R
2
en R que enunciamos a continuacion.
Una funcion real de dos variables reales g : A R
2
R, con A abierto, es continua
en (x
0
, y
0
) A si > 0 > 0 tal que si
_
(x x
0
)
2
+ (y y
0
)
2
< , entonces
|g(x, y) g(x
0
, y
0
)| < . Esto sucede si y solamente si
lm
(x,y)(x
0
,y
0
)
g(x, y) = g(x
0
, y
0
).
En realidad las demostraciones son similares a las llevadas a cabo para demostrar las
propiedades de los lmites del apartado 1.7.1.
Sea un funcion f denida en una region D C. Diremos que f esta acotada si existe
una constante positiva K > 0 tal que |f(z)| < K z D. Es decir, el conjunto imagen
de D por f esta acotado
f(D) := { C : z D : = f(z)} D(0, K).
Se puede probar que si f es una funcion continua en un abierto A C y K A es
compacto entonces f esta acotada en K.
Vamos a presentar un tipo de continuidad mas fuerte y menos general que el que
acabamos de denir y que tiene un caracter global.
Una funcion f : A C C es uniformemente continua en A si > 0 > 0 tal que
si z, z
A con |z z
| < entonces |f(z) f(z
)| < .
Notese que si f es uniformemente continua en A es continua en A como se ve facilmente
de las deniciones correspondientes.
En el caso de la continuidad uniforme, jados un punto z A y > 0 el correspon-
diente a este , es el mismo para todos los z K. Esto es lo que hace que la continuidad
uniforme sea una propiedad global.
Sin embargo, esto no tiene porque ser cierto si f es continua en A pues la continuidad es
una propiedad local. Es decir, depende del comportamiento de la funcion en cada punto.
Luego, en general, aunque f sea continua en A no tiene porque ser uniformemente
continua en A.
El siguiente ejemplo ilustra tal diferencia.
1.8. CONTINUIDAD 25
Ejemplo 1.8. Sea la funcion f(z) = 1/z denida en el disco unidad perforado en el
origen D
(0, 1) = D(0, 1) {0} = {z C : 0 < |z| < 1}.

Podemos escribir f en terminos de su parte real e imaginaria:
f(z) =
1
z
=
x
x
2
+ y
2
i
y
x
2
+ y
2
.
En R
2
las funciones reales de dos variables u y v
u(x, y) =
x
x
2
+ y
2
, v(x, y) =
y
x
2
+ y
2
son continuas en todos los puntos salvo en el (0, 0) al ser cocientes de polinomios en x
e y y que el denominador solamente se anula en el origen (0, 0). Luego f es continua en
todos los puntos salvo el origen del plano complejo no solo en D
(0, 1). Sin embargo,

f no es uniformemente continua en D
(0, 1).
En efecto: para que un entorno de un punto z
0
D
(0, 1) de la forma D(z
, ) este con-
tenido en D
(0, 1) basta que < mn{|z
|, 1 |z
|}. Luego los centrados en puntos de

D
(0, 1) seran mas peque nos cuanto mas proximos esten al origen y, por lo tanto, van
a tener que depender del punto, impidiendo as la convergencia uniforme.
De un modo mas preciso: sea z
(0, 1), con |z
| <
1
2
. Como f es continua en z
,
> 0, > 0 tal que si |z
z| < , entonces |
1
z

1
z
| < .
| z |
!
z
Figura 1.6: Continuidad
De manera que jando |z z
| < llegamos a que
1
z

1
z
=
|z z
|
|z
| |z|
<

|z
| |z|
. (1.24)
Por otro lado, haciendo uso de la desigualdad del triangulo (1.6-6) tenemos que
||z| |z
|| < |z z
| < .
26 CAP

Distinguimos los casos |z
| > |z| y |z| > |z
|.
i) Si |z
| > |z| entonces ||z| |z
|| = |z
| |z| < |z
| < |z|.
ii) Si |z| > |z
|, entonces es obvio que |z| > |z
| .
Luego en cualquier caso, si |z z
| < se verica que

|z| > |z
|
1
|z|
<
1
|z
|
.
Por tanto (1.24) se puede reescribir como
1
z

1
z
<

|z
|(|z
| )
.
Fjado > 0, elijamos > 0 tal que
=

|z
|(|z
| )
(1.25)
con lo que |1/z
1/z| < . Despejando de (1.25) se obtiene que

=
|z
|
2
1 + |z
|
.
Luego depende de z
y, por lo tanto, no hay convergencia uniforme de la funcion

f(z) = 1/z en D
(0, 1).
Ahora bien, se puede demostrar que una funcion continua en un conjunto compacto es
uniformemente continua.
Ejercicio 1.5. Sea una funcion f continua en una disco abierto D(z
0
,
0
). Supongamos
que existe un punto z D(z
0
,
0
) tal que |f(z)| < |f(z
0
)|, que escribimos como z =
z
0
+ e
i
con
0
. Probar que existiran dos n umeros positivos y tal que
|f(z
0
+ e
i
)| < |f(z
0
)| , [ , + ].
1.9. Esfera de Riemann y puntos en el innito
En algunas ocasiones es interesante a nadir al plano complejo el punto del innito, .
De este modo a C
{} se denomina plano complejo extendido.

Notese que cuando completamos la recta real R a nadimos dos puntos , sin embargo
solo uno en el caso complejo. Esto es debido a que C no es un conjunto ordenado a
diferencia de R que si lo es.
1.9. ESFERA DE RIEMANN Y PUNTOS EN EL INFINITO 27
En el plano complejo extendido podemos denir operaciones donde este involucrado
del modo siguiente:
z += , z = si z = 0,
+= , = ,
z/= 0,
para todo z C. Sin embargo, siguen apareciendo ciertas indeterminaciones como:
/, 0 , .
Aparecen nuevos lmites cuando ya el punto z o el lmite propiamente dicho o ambos
a la vez tienden a . As,
lm
z
f(z) = l si > 0 R > 0 t.q. |f(z) l| < siempre que |z| R,
lm
zz
0
f(z) = si R > 0 > 0 t.q. |f(z)| > R siempre que |z z
0
| .
Un modo geometrico de visualizar el plano complejo extendido y el punto del innito
es a traves de la esfera de Riemann. Consideremos la proyeccion estereograca que nos
asocia a cada punto de la esfera un punto del plano complejo. La esfera de Riemann sin
el polo norte N coincide con el plano complejo C. El polo sur de la esfera S coincide
con el punto z = 0 del plano complejo y cada punto P de la esfera origina un punto
en el plano a traves de la interseccion de la recta NP con el plano: punto P. El polo
norte sera el punto del innito. En la Figura 1.7 se muestra la proyeccion estereograca
de la esfera en el plano, mientras que en la Figura 1.8 presentamos el meridiano de la
esfera determinados por los puntos N y P y la proyeccion estereograca del mismo. La
siguiente direccion web [http://es.youtube.com/watch?v=6JgGKViQzbc] nos remite a
un video que ilustra la proyeccion estereograca de la esfera de Riemann.
Ejemplo 1.9. Transformacion de Moebius.
Viene dada por
f(z) =
az + b
cz + d
, (1.26)
tal que a, b, c, d C y ad bc = 0.
Esta denida en el plano complejo extendido y es una biyeccion de C
{} en si
mismo.
Entre las transformaciones de Moebius podemos considerar las mas sencillas:
Translaciones: a = 0, b = 0, c = 0, d = a
28 CAP

Out[123]=
N
S
P
P'
Figura 1.7: Proyeccion estereograca
Inversion: a = 0, b = 0, c = b, d = 0
Dilatacion: a = 0, b = 0, c = 0, d = y a/d R.
Rotacion: a = 0, b = 0, c = 0, d = y |a/d| = 1.
En la siguiente direccionweb [http://www.youtube.com/watch?v=JX3VmDgiFnY] se
puede contemplar un vdeo que ilustra las transformaciones de Moebius.
1.10. Derivacion de funciones de variable compleja
Sea f : A C con A C un conjunto abierto. Se dice que f es derivable (o diferen-
ciable en el sentido complejo) en el punto z
0
A si existe
lm
zz
0
f(z) f(z
0
)
z z
0
. (1.27)
A dicho lmite (n umero complejo) se le llama la derivada de f(z) en z
0
y se lo designa
como f
(z
0
) (o tambien
df
dz
z=z
0
).
1.10. DERIVACI
ON DE FUNCIONES DE VARIABLE COMPLEJA 29

N
S
P
P'
N
Figura 1.8: Proyeccion estereograca
Si ponemos z = z z
0
, entonces podemos reencontrar la expresion familiar
f
(z
0
) = lm
z0
f(z
0
+ z) f(z
0
)
z
. (1.28)
Es facil probar que si una funcion f es derivable en z
0
, entonces es continua en z
0
. En
efecto:
lm
zz
0
(f(z) f(z
0
)) = lm
zz
0
_
f(z) f(z
0
)
z z
0
(z z
0
)
_
= lm
zz
0
f(z) f(z
0
)
z z
0
lm
zz
0
(z z
0
)
= f
(z
0
) 0 = 0.
Ejemplo 1.10. Funciones polinomicas.
f(z) =
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
,
0
,
1
, . . . ,
n
C
es derivable en todo punto de C y con derivada
f
(z) =
0
nz
n1
+
1
(n 1)z
n2
+ . . . +
n1
.
Ejemplo 1.11. f(z) = z
2
.
Como caso particular calculemos la derivada de f(z) = z
2
en un punto z
0
. De acuerdo
con la denicion (1.28)
f
(z
0
) = lm
z0
(z
0
+ z)
2
z
2
0
z
= lm
z0
z
2
0
+ 2z 0z + (z)
2
z
2
0
z
= lm
z0
2z 0z + (z)
2
z
= lm
z0
(2z 0 + z) = 2z
0
.
30 CAP

Ejemplo 1.12. Funciones racionales.
f(z) =

0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
0
z
m
+
1
z
m1
+ . . . +
m1
z +
m
,
i
,
j
C
es derivable en todo punto de C {races del denominador}.
Ejemplo 1.13. f(z) = |z|
2
es derivable solo en z = 0.
Como |z|
2
= x
2
+ y
2
entonces u(x, y) = x
2
+ y
2
, v(x, y) = 0. Ambas funciones son
continuas en todo el plano real, puesto que u(x, y) = x
2
+y
2
es una funcion polinomica
en ambas variables y v(x, y) es una funcion constante en las dos variables reales. Luego,
f es continua como funcion de z en todo el plano complejo.
Para ver que f(z) es derivable en z = 0, probaremos que existe el lmite
lm
z0
f(z) f(0)
z
= lm
z0
|z|
2
z
.
Puesto que |z|
2
/z = z z/z = z entonces si z tiende a cero, su complejo conjugado z
tambien tiende a cero. Luego:
lm
z0
f(z) f(0)
z 0
= lm
z0
z = 0 =f
(0) = 0.
Sea ahora z
0
= 0. Consideremos la denicion de derivada (1.28)
lm
zz
0
f(z) f(z
0
)
z z
0
= lm
z0
f(z
0
+ z) f(z)
z
= lm
z0
|z
0
+ z|
2
|z
0
|
2
z
= lm
z0
_
z
0
+ z
0
z
z
+ z
_
.
Veamos que este lmite no existe pues depende de la forma en la que z tienda a cero.
En efecto, sean Re z x = xx
0
, Im y = yy
0
, de modo que z = x+iy.
Supongamos que y = 0, es decir que z tiende a cero a lo largo del eje real. Entonces
lm
z0
_
z
0
+ z
0
z
z
+ z
_
= lm
x0
_
z
0
+ z
0
x
x
+ x
_
= z
0
+ z
0
= 2 Re z
0
.
Ahora consideremos x = 0, esto es z tiende a cero a lo largo del eje imaginario. Se
tiene que
lm
z0
_
z
0
+ z
0
z
z
+ z
_
= lm
y0
_
z
0
+
iy
iy
z
0
iy
_
= z
0
z
0
= 2i Imz
0
.
1.10. DERIVACI

Para que estos dos lmites sean iguales se debe vericar
Re z
0
= Imz
0
i =Re z
0
= Imz
0
= 0.
Pero como hemos suponemos que z
0
= x
0
+ iy
0
= 0, ambos lmites nunca pueden ser
iguales, luego el lmite no existe y, por tanto, la funcion f(z) = |z|
2
no es derivable
z C {0} C
.
1.10.1. Formulas de derivacion
Las formulas de derivacion en variable compleja generalizan las correspondientes formu-
las en variable real.
Supongamos dos funciones f y g denidas en un entorno del punto z
0
C y derivables
en dicho punto. Se tiene que:
1. (f + g)
(z
0
) = f
(z
0
) + g
(z
0
), , C.
2. (f g)
(z
0
) = f
(z
0
)g(z
0
) + f(z
0
)g
(z
0
).
3. Si g(z
0
) = 0 entonces (f/g)
(z
0
) =
f
(z
0
)g(z
0
) f(z
0
)g
(z
0
)
g(z
0
)
2
.
4. Regla de la cadena: sean f : A C derivable en z
0
A y g : B C derivable
en f(z
0
) B, , entonces [g f]
(z
0
) = g
(f(z
0
)) f
(z
0
).
Ejercicio 1.6. Demostrar las formulas de derivacion.
1.10.2. Derivabilidad de funciones reales de varias variables
Sean A un conjunto abierto de R
2
y una funcion u : A R. Se dene la derivada
parcial de u con respecto a x en el punto (x
0
, y
0
) A como
u
x
(x
0
,y
0
)
:= lm
x0
u(x
0
+ x, y
o
) u(x
0
, y
0
)
x
(1.29)
cuando este lmite existe.
Analogamente la derivada parcial de u con respecto a y en el punto (x
0
, y
0
) A es
u
y
(x
0
,y
0
)
:= lm
y0
u(x
0
, y
0
+ y) u(x
0
, y
0
)
y
(1.30)
cuando este lmite existe.
32 CAP

Diremos que estas derivadas parciales existen en un conjunto abierto A R
2
, cuando
existen en todos los puntos de A. Las denotaremos entonces como
u
x
(x, y) y
u
x
(x, y)
(o simplemente
u
x
u
x
y
u
y
u
y
), respectivamente.
Sea la funcion u : A R con A R
2
un conjunto abierto. Entonces u se dice
diferenciable en el punto (x
0
, y
0
) A si existen las derivadas parciales u/x y u/y
en (x
0
, y
0
) y si
lm
(x,y)(x
0
,y
0
)
u(x, y) u(x
0
, y
0
) u/x|
(x
0
,y
0
)
(x x
0
) u/y|
(x
0
,y
0
)
(y y
0
)
||(x, y) (x
0
, y
0
)
= 0.
Notese que ||(x, y) (x
0
, y
0
)|| denota la distancia (eucldea) entre los puntos (x, y)
y (x
0
, y
0
) de R
2
. El lmite anterior se puede reescribir usando la matriz jacobiana (o
matriz derivada), que se dene como la matriz de las derivadas parciales en cada punto
(x, y) A R
2
Du(x, y) =
_
u
x
,
u
y
_
.
En lo que sigue de esta seccion usaremos notacion vectorial: x = (x, y), y denotaremos
por Du(x
0
)(x x
0
) el producto matricial
Du(x
0
)(x x
0
) := Du(x
0
)
_
x x
0
y y
0
_
.
As, u se dice diferenciable en el punto (x
0
, y
0
) A si existen las derivadas parciales
en x
0
y si
lm
xx
0
u(x, y) u(x
0
, y
0
) Du(x
0
)(x x
0
)
x x
0
= 0.
Sea la funcion f : A R
2
con A R
2
un conjunto abierto. Si f = (u, v) con
u, v : A R
2
R, su correspondiente matriz jacobiana se dene como la matriz de
las derivadas parciales
Df(x, y) =
_
_
_
u
x
,
u
y
v
x
,
v
y
_
_
_
(1.31)
en cada punto (x, y) A R
2
.
La funcion f se dice diferenciable en el punto (x
0
, y
0
) A si las derivadas parciales
existen en x
0
y si
lm
xx
0
f(x) f(x
0
) Df(x
0
)(x x
0
)
x x
0
= 0.
1.10. DERIVACI

Las anteriores deniciones de matriz jacobiana y de funcion diferenciable se generalizan
facilmente para funciones f : A R
m
R
n
.
Se puede demostrar que si f : A R
m
R
n
es diferenciable en x
0
, entonces es
continua en x
0
.
El siguiente criterio, que simplemente enunciamos, nos da una condicion suciente para
que una funcion sea diferenciable.
Teorema 1.1. Sea una funcion f : A R
m
R
n
tal que las derivadas parciales
f
i
/x
j
, (i = 1, 2, , n; j = 1, 2, , m) existen en un entorno de un punto x A y
son continuas. Entonces f es diferenciable en x A.
Las funciones que tienen derivadas parciales continuas se dice que son de clase C
1
o
suaves.
1.10.3. Ecuaciones de Cauchy-Riemann
Vamos ahora a ver que condiciones son necesarias y sucientes para que una funcion de
variable compleja f sea derivable en un punto z
0
perteneciente al interior del conjunto
en el que esta denida.
Si tenemos en cuenta el calculo de varias variables reales acabamos de ver que si la
funcion f es diferenciable las derivadas parciales u
x
, u
y
, v
x
, v
y
existen. Por otra parte
si las derivadas parciales existen y son continuas entonces f es diferenciable.
Una funcion de variable compleja f : A C con A C la podemos considerar como
una funcion real de variables reales f : A R
2
R
2
con f(x, y) = (u(x, y), v(x, y)) =
u(x, y) + iv(x, y) y su matriz jacobiana vendra dada en cada punto (x, y) por (1.31)
Df(x, y) =
_
u/x, u/y
v/x, v/y
_
.
Como funcion real de variables reales f sera diferenciable (en sentido real) con derivada
la matriz jacobiana Df(x
0
, y
0
) si y solo si
lm
(x,y)(x
0
,y
0
)
f(x, y) f(x
0
, y
0
) Df(x
0
, y
0
)[(x, y) (x
0
, y
0
)]
(x, y) (x
0
, y
0
)
= 0. (1.32)
Hemos dicho anteriormente que si una funcion de variable compleja f tiene derivada
en un punto se dice que es derivable o diferenciable (en el sentido complejo) en dicho
punto. Supongamos una f : A C con A C un conjunto abierto, derivable en
34 CAP

z
0
A. Por tanto, existe
f
(z
0
) = lm
zz
0
f(z) f(z
0
)
z z
0
.
De la denicion de lmite podemos escribir equivalentemente que
> 0 > 0 tal que si z
0
A y |z z
0
| < =
(z
0
)
f(z) f(z
0
)
z z
0
< .
(1.33)
Ahora bien
(z
0
)
f(z) f(z
0
)
z z
0
f(z) f(z
0
) f
(z
0
)(z z
0
)
z z
0
. (1.34)
Como vimos en la seccion 1.4 el producto por el n umeros complejo f
(z
0
) se puede
escribir en terminos de una aplicacion lineal M
f
(z
0
)
, cuya matriz en la base canonica
de R
2
denotarermos por M
f
(z
0
)
y viene dada por
M
f
(z
0
)
=
_
Re f
(z
0
) Imf
(z
0
)
Imf
(z
0
) Re f
(z
0
)
_
. (1.35)
Luego de las expresiones (1.33), (1.34) y (1.37) podemos escribir
lm
zz
0
f(z) f(z
0
) M
f
(z
0
)
(z z
0
)
z z
0
= 0. (1.36)
Comparando la expresion (1.36) con la (1.32) correspondiente a la diferenciabilidad de
funciones de variable real inferimos que f es diferenciable en el sentido real en el punto
z
0
= (x
0
, y
0
) con lo que la matriz M
f
(z
0
)
coincide con la matriz jacobiana Df(z
0
) (1.31)
y por tanto
_
Re f
(z
0
) Imf
(z
0
)
Imf
(z
0
) Re f
(z
0
)
_
=
_
u/x, u/y
v/x, v/y
_
. (1.37)
De la igualdad (1.37) obtenemos:
1. las denominadas ecuaciones o condiciones de CauchyRiemann
u/x = v/y, u/y = v/x (1.38)
2.
f
(z
0
) = u/x + iv/x = v/y iu/y. (1.39)
Resumiendo, hemos probado que
Si f
(z
0
) =
_
f es diferenciable en z
0
,
se verican las ecuaciones de CauchyRiemann.
1.10. DERIVACI

Acabamos de ver condiciones necesarias para que exista la derivada de f en un punto del
plano complejo. Tales condiciones son tambien sucientes como veremos a continuacion,
de manera que estamos en condiciones de enunciar el teorema de Cauchy-Riemann.
Teorema 1.2. (de Cauchy-Riemann)
Sean una funcion f = u+iv : A C C con A abierto y un punto z
0
= x
0
+iy
0
A.
Entonces f es diferenciable en el sentido complejo ( f
(z
0
)) si y solo si se verica que:
1. f es diferenciable en el sentido real en (x
0
, y
0
).
2. En (x
0
, y
0
) las funciones u, v verican las ecuaciones de CauchyRiemann
u/x = v/y, u/y = v/x.
Demostracion
i) La condicion necesaria la hemos demostrado lneas mas arriba.
ii) La condicion suciente se demuestra facilmente como sigue. Si se verican las ecua-
ciones de CauchyRiemann entonces la matriz jacobiana de f en z
0
al ser tambien f
diferenciable en el sentido real vendra dada por
Df(z
0
) =
_
u/x, v/x
v/x, u/x
_
.
Esta matriz corresponde a la representacion matricial de la multiplicacion por un n ume-
ro complejo (1.18) = u/x + v/x, esto es Df(z
0
) = M
. Luego
Df(z
0
)(z z
0
) = (z z
0
).
Al ser f diferenciable en el sentido real entonces la condicion de lmite (1.32) se puede
reescribir como
lm
zz
0
f(z) f(z
0
) (z z
0
)
z z
0
= lm
zz
0
f(z) f(z
0
)
z z
0
= 0. (1.40)
Por tanto, recordando la denicion de la derivada de f en z
0
inferimos de la ultima
igualdad que esta existe y viene dada por , esto es
f
(z
0
) = = u/x + iv/x = v/y iu/y.
Ejemplo 1.14. Consideremos la funcion f(z) = z
2
.
36 CAP

Como vimos anteriormente en el ejemplo 1.3, las partes real e imaginaria de f(z) son:
u(x, y) = x
2
y
2
, v(x, y) = 2xy.
Estas funciones son polinomios en las variables x e y. Los polinomios son funciones
continuas que admiten derivadas parciales continuas en todos los puntos del plano
real. Por tanto u y v son diferenciables en todo R
2
.
Para comprobar si f es diferenciable en sentido complejo es suciente, comprobar si
satisfacen las condiciones de Cauchy-Riemann. En este caso se tiene que
u
x
= 2x,
u
y
= 2y,
v
x
= 2y,
v
y
= 2x.
Luego se verican las ecuaciones de Cauchy-Riemann en todos los puntos del plano
real. Entonces la funcion f(z) es derivable en todos los puntos del plano complejo.
La derivada en el punto arbitrario z = x + iy de f es
f
(z) =
u
x
+ i
v
x
= 2x + 2iy = 2z.
Ejemplo 1.15. Sea la funcion f(z) = e
x
(cos y i sen y).
Las partes real e imaginaria de f(z) son, respectivamente:
u(x, y) = e
x
cos y, v(x, y) = e
x
sen y.
Ambas funciones u y v son continuas en todos los puntos del plano R
2
puesto que son
productos de una funcion en la variable x continua en todo x R y una funcion en la
variable y continua en todo y R.
Las derivadas parciales de u y v existen y son continuas en todo R
2
pues las funciones
(en una variable) exponencial y trigonometricas seno y coseno tienen derivadas de
cualquier orden y continuas en toda la recta real (funciones de clase C
).
Calculando las derivadas parciales de u y v obtenemos
u
x
= e
x
cos y, u
y
= e
x
sen y, v
x
= e
x
sen y, v
y
= e
x
cos y.
Luego se verican las condiciones de Cauchy-Riemann en todos los puntos del plano
real. As pues, f(z) es derivable en todos los puntos del plano complejo. La expresion
de la derivada en el punto arbitrario z = x + iy C es
f
(z) = u
x
+ iv
x
= e
x
(cos y i sen y).
Ejercicio 1.7. Estudiar si las siguientes funciones son analticas:
f(z) = e
x
(cos y + i sen y),
f(z) = e
x
(cos y + i sen y),
f(z) = e
x
(cos y i sen y).
1.11. FUNCIONES ANAL
ITICAS 37
1.11. Funciones analticas
En Teora de Funciones de Variable Compleja el concepto de funcion diferenciable en
el sentido complejo es esencial, a un mas que el de continuidad. Ademas en el caso de
funciones complejas diferenciables aparecen ciertas propiedades sorprendentes e intere-
santes. De este modo, podemos decir que el concepto de funcion analtica es quiz as
el mas fundamental en Teora de Variable Compleja.
Denici on 1.1. Sea f : A C una funcion denida en un abierto A C. Diremos
que f es analtica en z
0
si f(z) es derivable en todos los puntos de un cierto entorno
de z
0
contenido en A.
Se dira que f es analtica en un abierto A si f es analtica en todos los puntos de A.
Diremos que una funcion es analtica en un conjunto no abierto D C si es analtica
en un abierto que contiene a D.
Las funciones analticas tambien se denominan regulares u holomorfas.
Una funcion se denomina entera si es analtica en todo el plano complejo. Por ejemplo,
las funciones polinomicas son funciones enteras.
Diremos que un punto z
0
C es un punto singular o singularidad de una funcion f si
dicha funcion no es analtica en z
0
pero lo es en alg un punto de todo entorno de z
0
.
Las principales propiedades algebraicas de las funciones analticas son las siguientes:
sean dos funciones, f, g, analticas en un punto z
0
C. Entonces:
1. f + g es analtica en z
0
para todo , C.
2. f g es analtica en z
0
.
3. Si g(z
0
) = 0 entonces f/g es analtica en z
0
.
4. Si f es analtica z
0
y g es analtica en f(z
0
) entonces f g es analtica en z
0
.
Ejercicio 1.8. Sea f(z) una funcion continua en z
0
y tal que f(z
0
) = 0. Probar que
existe un entorno de z
0
, D(z
0
, ), en el cual f(z) = 0 z D(z
0
, ).
El resultado de este ejercicio 1.8 es necesario para probar el apartado 3
o
del ejercicio
1.9.
Ejercicio 1.9. Demostrar las propiedades de las funciones analticas que acabamos de
enumerar.
38 CAP

Ejercicio 1.10. Comprobar que cualquier polinomio es funcion analtica z C (entera)
y que cualquier funcion racional es analtica en todo z C{races del denominador}.
Ejercicio 1.11. Sea f una funcion analtica en un dominio D C tal que |f| es
constante en D. Probar que f es constante en D.
1.12. Funciones arm onicas
Consideremos una funcion u : A R
2
R, tal que A es un conjunto abierto y f es
de clase C
2
en A. Diremos que u es armonica si verica la ecuacion de Laplace
2
u

2
u
x
2
+

2
u
y
2
= 0.
El smbolo
2
se denomina laplaciano. Notese que como f C
2
(A) entonces existen
las derivadas parciales de segundo orden de u y son continuas en todo A.
Una sorprendente propiedad de cualquier funcion analtica es que tanto su parte real
como su parte imaginaria son funciones armonicas en A. Para probar dicha propiedad
haremos uso del resultado, que se demostrara mas adelante, que arma que cualquier
funcion analtica es innitamente diferenciable. Y, por tanto, su parte real como su
parte imaginaria son funciones innitamente diferenciables, esto es, u y v admiten
derivadas parciales continuas a todos los ordenes.
Teorema 1.3. Supongamos que la funcion de variable compleja f = u+iv es analtica
en un conjunto abierto A del plano complejo. Entonces u y v son armonicas en A.
Demostracion.
Derivando las ecuaciones de Cauchy Riemann u/x = v/y, u/y = v/x con
respecto a x la primera ecuacion y con respecto a y la segunda, obtenemos
2
u
x
2
=

2
v
xy
,

2
u
y
2
=

2
v
yx
. (1.41)
Puesto que las derivadas parciales de u y de v son continuas con respecto a las variables
x e y, podemos aplicar el lema de Schwarz obteniendose la igualdad de las derivadas
cruzadas:
2
v
yx
=

2
v
xy
, (x, y) A.
Sumando las dos ecuaciones de (1.41) obtenemos
2
u
x
2
+

2
u
y
2
= 0.
1.12. FUNCIONES ARM
ONICAS 39
Analogamente se demuestra que v satisface tambien la ecuacion de Laplace en A y es,
por tanto, armonica en A.
Si dos funciones reales de dos variables reales, u, v, denidas en un abierto A R
2
son armonicas y son, respectivamente, parte real y parte imaginaria de una funcion
analtica en A, entonces diremos que u y v son armonicas conjugadas.
Observese que una condicion necesaria para que una funcion real de dos variables reales
sea la parte real o la parte imaginaria de una funcion de variable compleja analtica es
que sea armonica.
Se puede demostrar que si u : A R
2
R denida en un abierto A es armonica y si
z
0
A, entonces existe un entorno U de z
0
contenido en A en el que esta denida una
funcion analtica f : U C tal que Re f = u.
Ejemplo 1.16. Consideremos la funcion u(x, y) = y
3
3x
2
y.
Como esta funcion es un polinomio en x e y, admite entonces derivadas parciales
continuas para todos los ordenes en todos los puntos del plano real R
2
. Luego es una
funcion de clase C
.
Para que u sea la parte real o la parte imaginaria de una funcion analtica en C (entera)
es necesario que sea armonica. Calculamos sus derivadas parciales
u
x
= 6xy,

2
u
x
2
= 6y,
u
y
= 3y
2
3x
2
,

2
u
y
2
= 6y.
Por tanto, u(x, y) es armonica en todo R
2
.
Si u es la parte real de una funcion entera debe existir otra funcion v de clase C
2
en R
2
y que satisfaga, junto con u, las ecuaciones de Cauchy-Riemann. Es decir, u y v deben
ser armonicas conjugadas. As pues, v(x, y) debe vericar:
v
y
=
u
x
= 6xy,
v
x
=
u
y
= 3y
2
3x
2
.
Integrando la primera ecuacion, obtenemos que
v(x, y) = 3xy
2
+ (x),
siendo (x) una funcion arbitraria en x, derivable para todo valor de x. Integrando la
segunda ecuacion se tiene que
v(x, y) = 3xy
2
+ x
3
+ (y),
40 CAP

donde (y) es una funcion arbitraria de y. Comparando ambas expresiones de v(x, y)
encontramos que
v(x, y) = 3xy
2
+ x
3
+ K,
donde K C es una constante arbitraria. Se comprueba que v(x, y) satisface la ecuacion
de Laplace.
Luego
f(z) = u(x, y) + iv(x, y) = y
3
3x
2
y + i(3xy
2
+ x
3
+ K) = iz
3
+ K, K C.
Observese que u(x, y) y v(x, y) son diferenciables en todos los puntos del plano real y
que satisfacen las condiciones de Cauchy-Riemann en todos R
2
. Es decir f(z) es entera.
Ejercicio 1.12. Encontrar las funciones armonicas conjugadas a
u(x, y) = x
2
y
2
, u(x, y) = sin x cosh y.
Captulo 2
Funciones elementales
A continuacion estudiaremos las funciones elementales de una variable compleja, que
son las mismas que en variable real: los polinomios, la funcion exponencial, las funciones
trigonometricas, las hiperbolicas, el logaritmo y la raz.
Las funciones polinomicas son funciones enteras, como hemos visto en el captulo an-
terior, y las restantes propiedades de los polinomios son las mismas que en variable
real.
2.1. Funcion exponencial
La funcion exponencial en variable real esta caracterizada por ser la derivada de ella
misma: f
(x) = f(x). Con la condicion f(0) = 1 la solucion es unica f(x) = e

x
.
Siguiendo el caso real deniremos la funcion exponencial de la variable compleja z como
una funcion f(z) que satisface la propiedad f(z) = f
(z) y que, ademas, cuando z sea

real (z = x), recuperemos la exponencial real f(z) = e
x
.
Para encontrar la forma de la exponencial compleja podemos recordar que la funcion
exponencial real puede desarrollarse en serie de Taylor alrededor del origen (serie de
MacLaurin)
e
x
= 1 +
x
1!
+
x
2
2!
+ +
x
n
n!
+
Generalizando al caso imaginario la parte de la derecha del desarrollo y sustituyendo
x por iy, y R tendramos formalmente
e
iy
= 1 +
iy
1!
+
(iy)
2
2!
+ +
(iy)
n
n!
+
41
42 CAP
ITULO 2. FUNCIONES ELEMENTALES

agrupando independientemente los terminos reales e imaginarios de la serie tenemos
e
iy
=
_
1
y
2
2!
+
y
4
4!
+
_
+ i
_
y
y
3
3!
+
y
5
5!

_
que corresponden a los desarrollos en serie de cos y y sin y, respectivamente. Luego
denimos
e
iy
:= cos y + i sin y.
Para completar la denicion de e
z
con z = x + iy podemos tener en cuenta que en el
caso real e
x+y
= e
x
e
y
, de modo que podemos escribir
e
z
= e
x+iy
:= e
x
e
iy
.
Denicion 2.1. Sea z = x + iy. Entonces la funcion exponencial de z se dene de la
siguiente forma:
exp z e
z
:= e
x
(cos y + i sen y).
Obviamente, si z es real (y = 0) recobramos la denicion usual de exponencial de una
variable real.
Las partes real, u(x, y), e imaginaria, v(x, y), de e
z
son, respectivamente,
u(x, y) = e
x
cos y, v(x, y) = e
x
sen y.
Ambas funciones son diferenciables en todos los puntos (x, y) del plano real y satisfacen
las ecuaciones de Cauchy-Riemann en todos los puntos. Por la tanto, la funcion e
z
es
entera.
La derivada de e
z
coincide con ella misma. En efecto,
d
dz
e
z
=
u
x
+ i
v
x
= e
x
cos y + i e
x
sen y = e
z
, z C.
Las principales propiedades de la funcion exponencial son las siguientes:
1. e
z
= 0, para todo z C:
|e
z
|
2
= e
2x
cos
2
y + e
2x
sen
2
y = e
2x
|e
z
| = e
x
Si e
z
= 0 |e
z
| = e
x
= 0. Pero como e
x
= 0, x R entonces e
z
= 0 z C.
2. Sea w = 0 C que en forma polar se escribira como w = (cos + i sen ).
Podemos preguntarnos si existe z C tal que e
z
= w. La respuesta es armativa:
2.1. FUNCI
ON EXPONENCIAL 43
como > 0, existe un unico x R (x = ln ) tal que e
x
= . Entonces w =
e
x
(cos + i sen ) y, por tanto, w = e
z
con z = x + i.
Sin embargo, z no esta unicamente denido. En efecto, si en lugar de conside-
ramos + 2k con k Z se tiene que
e
x+i(+2n)
= e
x
[cos( + 2k) + i sen( + 2k)] = e
x
(cos + i sen ) = w.
Por tanto, la funcion exponencial no es inyectiva.
3.
z C t.q. |z| = 1 z = cos + i sen e
i
, R.
4.
e
z
1
e
z
2
= e
z
1
+z
2
, z
1
, z
2
C.
Por induccion se prueba que
(e
z
)
n
= e
nz
, n N.
5.
e
z
1
e
z
2
= e
z
1
z
2
, z
1
, z
2
C.
6.
e
z
= e
z
, z C.
7. Si m y n son primos entre s
(e
z
)
m
n
= e
m
n
(z+2ki)
, k Z, z C.
8. Si z
1
=
1
(cos
1
+ i sen
1
), z
2
=
2
(cos
2
+ i sen
2
), entonces
z
1
z
2
=
1
2
e
i(
1
+
2
)
,
z
1
z
2
=

1
2
e
i(
1
2
)
.
Ejercicio 2.1. Demostrar las propiedades anteriores.
44 CAP

2.2. Funciones trigonometricas
Partiendo de las formulas:
e
ix
= cos x + i sen x, e
ix
= cos x i sen x.
podemos despejar:
cos x =
e
ix
+ e
ix
2
, sen x =
e
ix
e
ix
2i
.
Estas formulas son validas para el seno y el coseno de un n umero real arbitrario x.
Debemos denir ahora el seno y el coseno de un n umero complejo arbitrario z. Igual
que en el caso de la funcion exponencial compleja, queremos recuperar cuando z sea
real (z = x) la denicion usual de sen x y cos x, que la derivada de sen z sea cos z y la
de cos z sea sen z como en variable real y que las formulas trigonometricas, al menos
las mas relevantes, se conserven en variable compleja.
Denicion 2.2. Se denen las funciones seno y coseno de un n umero complejo, res-
pectivamente, por:
cos z :=
e
iz
+ e
iz
2
, sin z :=
e
iz
e
iz
2i
.
Las funciones as denidas son funciones enteras puesto que son combinacion lineal
de funciones enteras e
iz
. En realidad e
iz
es la composicion, f g
, de dos funciones
enteras f(z) = e
z
y g
(z) = iz.
Si derivamos formalmente las funciones seno y coseno obtenemos que:
d
dz
cos z = i
e
iz
ie
iz
2
=
e
iz
e
iz
2i
= sen z (2.1)
d
dz
sen z = i
e
iz
+ ie
iz
2i
= cos z. (2.2)
Tambien tenemos que
sen
2
z + cos
2
z =
_
e
iz
e
iz
2i
_
2
+
_
e
iz
+ ie
iz
2
_
2
= 1. (2.3)
Se puede denir las restantes funciones trigonometricas del modo usual:
tg z =
sen z
cos z
, cotg z =
cos z
sen z
, sec z =
1
cos z
, cosec z =
1
sen z
.
Las funciones trigonometricas en variable compleja satisfacen las propiedades siguien-
tes:
2.2. FUNCIONES TRIGONOM
ETRICAS 45
1.
cos(z + ) = cos z, sen(z + ) = sen z.
Por tanto
tg(z + ) = tg z, sen(z + 2) = sen z, cos(z + 2) = cos z.
La demostracion de estas propiedades es trivial. Usando estas propiedades y la
expresion (2.3) se puede demostrar que las formulas trigonometricas en el caso
real siguen siendo validas en variable compleja.
2. El calculo de las partes real e imaginaria de cos z
cos z =
e
iz
+ e
iz
2
=
e
ix
e
y
+ e
ix
e
y
2
=
1
2
e
y
(cos x + i sen x) +
1
2
e
y
(cos x i sen x) = cos x
e
y
+ e
y
2
+ i sen x
e
y
e
y
2
= cos x coshy i sen x senhy.
nos lleva a que
u(x, y) = cos x coshy, v(x, y) = sen x senhy.
Por lo que respecta a sen z
sen z =
e
iz
e
iz
2i
=
e
ix
e
y
e
ix
e
y
2i
=
1
2i
e
y
(cos x + i sen x)
1
2i
e
y
(cos x i sen x) = i cos x
e
y
+ e
y
2
+ sen x
e
y
+ e
y
2
= sen x coshy + i cos x senhy.
De esta manera:
u(x, y) = sen x coshy, v(x, y) = cos x senhy.
3. Calculemos el modulo de cos z:
| cos z|
2
= cos
2
x cosh
2
y + sen
2
x senh
2
y = cos
2
x(1 + senh
2
y) + sen
2
x senh
2
y
= cos
2
x + senh
2
y (cos
2
x + sen
2
x) = cos
2
x + senh
2
y.
Analogamente, el modulo de sen z
| sen z|
2
= sen
2
x + senh
2
y.
De estas formulas observamos que como senh
2
y puede tomar cualquier valor real
positivo, entonces | sen
2
z| y | cos
2
z| pueden tener cualquier valor en R
+
y no
estar restringidos al intervalo [0, 1] como sen
2
x y cos
2
x.
46 CAP

La ecuacion cos z = w siempre tiene solucion en z jado w C. Esta ecuacion
da lugar a dos ecuaciones en las variables reales x, y (z = x + iy)
Re w = cos x coshy, Imw = sen x senhy.
La solucion no es unica, ya que para todo entero k se tiene que cos(z +2k) = w.
Lo mismo sucede con sen z. Notese que sen z y cos z llevan C sobre C, pero no
son inyectivas.
4. Las soluciones de las ecuaciones cos z = 0 y sen z = 0 son los ceros de cos z y
sen z. Como cos z = 0 | cos z|
2
= 0, los ceros de cos z son los mismos que los
ceros de | cos z|
2
, de modo que calcularemos los ceros de | cos z|
2
| cos z|
2
= cos
2
z + senh
2
z = 0 cos
2
x = 0, senh
2
y = 0.
De modo que
senh
2
y = 0 y = 0,
cos
2
x = 0 x =

2
+ n =
_
n +
1
2
_
, n Z.
Luego los ceros de cos z son z
n
=
_
n +
1
2
_
+i0, es decir, exactamente los mismos
puntos en los que se anula cos x, cuando x es una variable real: la variable compleja
no a nade ceros a la funcion coseno.
La misma situacion se origina con sen z: los ceros de sen z son los puntos z
n
=
n + i0 con n entero.
2.3. Funciones hiperbolicas
Las funciones hiperbolicas en variable compleja se denen de un modo similar a como
se hizo para las funciones trigonometricas. complejas. Por tanto denamos:
cosh z :=
e
z
+ e
z
2
, senhz :=
e
z
e
z
2
, tgh z :=
senhz
coshz
.
Las funciones hiperbolicas coshz y senhz tienen las siguientes propiedades:
1. Son funciones enteras, al ser combinacion lineal de funciones enteras. Sus deriva-
das son
d
dz
coshz = senhz;
d
dz
senhz = coshz,
exactamente igual que en variable real.
2.3. FUNCIONES HIPERB
OLICAS 47
2. Verican las mismas relaciones que en variable real. En particular
cosh
2
z senh
2
z = 1,
cosh(z + 2in) = coshz, senh(z + 2in) = senhz, n Z.
3. Calculamos las partes real e imaginaria de coshz
coshz =
e
z
+ e
z
2
=
e
x
e
iy
+ e
x
e
iy
2
=
1
2
e
x
(cos y + i sen y) +
1
2
e
x
(cos y i sen y)
= cos y
_
e
x
+ e
x
2
_
+ i sen y
_
e
x
e
x
2
_
= cos y coshx + i sen y senhx.
Es decir,
u(x, y) = coshx cos y, v(x, y) = senhx sen y.
En cuanto a senhz obtenemos de manera analoga que
u(x, y) = senhx cos y, v(x, y) = coshx sen y.
4. El calculo de los modulos de cosh z y senh z nos lleva a que
|coshz|
2
= cosh
2
x cos
2
y + senh
2
x sen
2
y
= (1 + senh
2
x) cos
2
y + senh
2
x sen
2
y = senh
2
x + cos
2
y,
|senhz|
2
= senh
2
x + sen
2
y.
5. Ceros de las funciones hiperbolicas coshz y senhz. Para la primera de ellas se
tiene que
|coshz|
2
= senh
2
x + cos
2
y = 0
implica que
senh
2
x = 0 x = 0
cos
2
y = 0 y =
_
n +
1
2
_
.
Luego los ceros de la funcion coshz estan en los puntos z
n
= 0 + i
_
n +
1
2
_
con
n entero.
Contrariamente a lo que sucede con la funcion cos z, los ceros de coshz no aparecen
en variable real, donde la funcion coshx no se anula nunca. Observese que todos
los ceros de coshz aparecen en el eje imaginario.
Analogamente, la funcion senhz tiene innitos ceros en los puntos z
n
= in,
con n entero. Mientras que en variable real senhx tiene un unico cero en x = 0,
senhz tiene ademas un n umero innito de ceros, todos ellos colocados sobre el
eje imaginario.
48 CAP

2.4. Funcion logaritmo
Como bien sabemos el logaritmo neperiano de un n umero real positivo r es el valor
real, ln r ( o log w) tal que e
ln r
= r.
Igual que en los casos precedentes vamos a extender el concepto de logaritmo neperia-
no al plano complejo. Parece razonable con la experiencia de las funciones anteriores
comprobar si dado un w = 0 C existe otro complejo log w tal que
e
log w
= w.
Escribamos w en forma polar ( = |w| y = arg w) de modo que tenemos
e
log w
= (cos + i sen ) = e
i
Ahora teniendo en cuenta que dos n umeros complejos son iguales si y solo si sus modulos
son iguales y sus argumentos dieren en un m ultiplo entero de 2. Considerando log w =
Re log w + i Im log w tenemos que
e
log w
= e
Re log w
e
iIm log w
= e
i
=e
Re log w
= , Im log w = + 2n,
donde n Z. En variable real es bien sabido que la ecuacion
e
Re log w
=
con incognita Re log w admite una unica solucion de la forma
Re log w = ln
donde ln (o log ) es el logaritmo neperiano del n umero positivo . Por tanto, obte-
nemos que
log w = ln + i( + 2n) = ln |w| + i(arg w + 2n), n Z.
Luego el logaritmo de un n umero complejo no nulo no es un solo n umero complejo,
sino una coleccion innita de n umeros complejos: todos ellos con la misma parte real,
pero sus partes imaginarias dieren en un m ultiplo entero de 2.
Por tanto, log w no es una funcion de la variable compleja w, puesto que una funcion
es una correpondencia que a cada elemento de un conjunto dado le asigna uno y solo
uno de otro conjunto. El log w asigna a cada n umero complejo w = 0 una coleccion
innita de n umeros complejos.
Parece obvio que si entre todos los n umeros complejos de la coleccion innita que
representa log w, para cada w = 0, se selecciona uno de ellos se tendra entonces una
funcion. Pero para ello debemos encontrar un criterio adecuado para hacer la eleccion.
2.4. FUNCI
ON LOGARITMO 49
Recordemos que en el caso de que w fuera real positivo se tendra arg w = 0 y log w =
ln w +i2n con n un entero arbitrario. Pero el logaritmo neperiano de un n umero real
positivo w es uno de los posibles valores de log w: aquel para el cual n = 0.
Hasta ahora hemos considerado unicamente n umeros complejos no nulos para calcular
su logaritmo. Si tomamos w = 0 no puede existir un z C tal que e
z
= 0, pues ya
vimos al estudiar la funcion exponencial que e
z
= 0 z C. Por tanto, log 0 no tiene
sentido.
Dado un w = 0 C tenemos que e
log w
= w. Vamos a analizar log e
z
con z = x+iy C:
log e
z
= log e
x
e
iy
= ln e
x
+ i(y + 2n) = x + iy + 2ni = z + 2ni, n Z.
Ahora bien si consideramos n = 0 = log e
z
= z, esto es similar al caso real ln e
x
= x.
2.4.1. Propiedades de la funcion logaritmo
1.
ln r
1
r
2
= ln r
1
+ ln r
2
, r
1
, r
2
R
+
.
2.
log z
1
z
2
= log z
1
+ log z
2
, z
1
, z
2
C
.
En efecto,
log z
1
z
2
= ln |z
1
| |z
2
| + i(arg(z
1
z
2
) + 2n)
= ln |z
1
| + ln |z
2
| + i(arg z
1
+ arg z
2
+ 2n), n Z.
Por otro lado
log z
1
+ log z
2
= ln |z
1
| + ln |z
2
| + i(arg z
1
+ 2n) + i(arg z
2
+ 2m)
= ln |z
1
| + ln |z
2
| + i(arg z
1
+ arg z
2
+ 2(n + m)), n, m Z.
Y ambos conjuntos de n umeros son iguales pues n + m es un entero.
3.
log
z
1
z
2
= log z
1
log z
2
, z
1
, z
2
C
.
4. Si r R
+
tenemos la siguiente relacion en variable real ln r
n
= nln r con n =
1, 2, . . . Sin embargo, en el caso complejo
{nlog z} {log z
n
}, n > 1.
50 CAP

Efectivamente: sea z C
nlog z = n(ln |z| + i(arg z + 2m)) = ln |z|

n
+ i(arg z + 2nm)), m Z.
Cuando m recorre Z, el producto nm toma valores
nm = 0, n, 2n, 3n, . . .
Por otro lado
log z
n
= ln |z
n
| + i(arg nz + 2m) = ln |z|
n
+ i(narg z + 2m)), m Z.
Obviamente, el conjunto de valores nm y m cuando m recorre Z son distintos y
el conjunto {nm}
mZ
esta contenido en {m}
mZ
= Z. Esta contencion es estricta
salvo para n = 1 en que ambos conjuntos coinciden.
5. Si r R
+
, ln r
1/n
=
1
n
ln r con n = 1, 2, . . . . En el caso complejo tenemos tambien
que
ln z
1/n
=
1
n
log z, n = 1, 2, . . .
En efecto, si z = 0 C,
z
1/n
= |z|
1/n
exp (i
arg z + 2k
n
), k = 0, 1, . . . , n 1.
De donde
nlog z
1/n
= n
_
ln |z|
1/n
+ i
_
arg z + 2k
n
+ 2m
__
= ln |z| + i(arg z + 2(k + nm)),
= ln |z| + i(arg z + 2 + s) = log z,
donde k = 0, 1, . . . , n 1, s Z. Puesto que
{k + nm | k = 0, 1, . . . , n 1, con n N jo, m Z} = Z.
Efectivamente
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
si m = 1, k + nm = n, n + 1, . . . , 1,
si m = 0, k + nm = 0, 1, 2, . . . , n 1,
si m = 1, k + nm = n, n + 1, n + 2, . . . , 2n 1,
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Si m, n N son primos entre s. Entonces
z
m/n
= exp
_
m
n
log z
_
.
Ejercicio 2.2. Demostrar esta ultima igualdad.
2.4. FUNCI
ON LOGARITMO 51
2.4.2. Ramas del logaritmo
Recordemos que si z = 0 C entonces log z esta bien denido aunque no es una
funcion, es lo que se denomina una funcion multivaluada.
Ahora bien, si consideramos arg z [0, 2) y n = 0 seleccionamos, por tanto, un
solo valor para log z y log z puede ser una funcion. Lo mismo sucede si, en lugar de
n = 0, escogemos otro n = 0, z C
. Por consiguiente, se puede escoger una funcion

logaritmo de innitas maneras, una por cada entero n. Cada una de ellas se denomina
una rama o determinacion del logaritmo.
Como es bien sabido en variable real, el logaritmo neperiano es la funcion inversa de
la funcion exponencial
x R e
x
= 0 ln e
x
= x,
por tanto, vamos a utilizar esta misma idea en variable compleja.
En el caso complejo
z C e
z
= 0,
es decir la funcion exponencial lleva C en C
pero no es inyectiva pues ya demostramos

que e
z
= e
z+i2n
, n Z.
Sin embargo, si nos restringimos a un subconjunto adecuado de C la funcion exponencial
es inyectiva. As, si tomamos la banda
B
y
0
= {z C | y
0
Imz < y
0
+ 2} (2.4)
e
z
By
0
es inyectiva. Notemos que B
y
0
es una banda paralela al eje real y limitada por
las rectas Imz = y
0
+ 2 por arriba e Imz = y
0
por abajo que esta contenida en la
banda.
Estamos en condiciones de enunciar la siguiente proposicion:
Proposicion 2.1. La funcion exponencial e
z
es una biyeccion de B
y
0
en C
.
Demostracion.
Inyectividad. Sean z
1
= x
1
+ iy
1
= z
2
= x
2
+ iy
2
B
y
0
y supongamos que e
z
1
= e
z
2
.
Veamos que llegamos a una contradiccion.
En efecto,
e
z
1
= e
z
2
= e
x
1
e
iy
1
= e
x
2
e
iy
2
= e
x
1
= e
x
2
, y
1
= y
2
+ 2n, n Z.
Como e
x
1
= e
x
2
= x
1
= x
2
tenemos nalmente que
e
z
1
= e
z
2
=x
1
= x
2
, y
1
= y
2
+ 2n, n Z.
52 CAP

Pero si z
1
, z
2
B
y
0
sus partes imaginarias no pueden diferir en 2 o mas, luego y
1
= y
2
.
Y, por tanto
Si z
1
, z
2
B
y
0
e
z
1
= e
z
2
= z
1
= z
2
.
Sobreyectividad. Sea w = e
i
C
y supongamos que existe un z = x + iy B

y
0
tal
que w = e
z
. Por tanto, escribimos
w = e
z
= e
i
= e
x
e
iy
= x = ln , y = + 2n, n Z.
Hemos obtenido no un solo z B
y
0
sino un n umero innito de ellos diriendo en
sus partes imaginarias en un m ultiplo de 2. Sin embargo, la recta real es una union
disjunta de los intervalos de la forma [y
0
+ 2m, y
0
+ 2(m + 1)) con n entero
R =
_
mZ
[y
0
+ 2m, y
0
+ 2(m + 1)) .
Por tanto, jado , podemos escoger un n de forma que y = +2n este en el intervalo
[y
0
, y
0
+ 2). De esta manera, podemos escoger z = x + iy con y
0
y < y
0
+ 2. Es
decir, existe un z B
y
0
tal que e
z
= w, w C
.
Hemos probado que e
z
es una aplicacion biyectiva de B
y
0
sobre C {0} y, por tanto,
existira la funcion inversa de C
sobre B
y
0
que sera tambien biyectiva
w C
= z = log w B
y
0
.
Como se puede demostrar facilmente, el plano complejo C es union disjunta de las
bandas de la forma B
y
0
+2n
= {z C | y
0
+ 2n Imz < y
0
+ 2(n + 1)}, donde
n Z,
C =
_
nZ
B
y
0
+2n
.
Por tanto, jado w C
, w tendra un logaritmo y solo uno en cada una de las bandas

B
y
0
+2n
. El n umero real y
0
puede escogerse arbitrariamente, por lo tanto, la particion
de C en bandas puede efectuarse de innitas maneras.
Denicion 2.3. Sea la funcion exponencial e
z
= w de B
y
0
sobre C
. Llamaremos
una determinacion o rama del logaritmo a su funcion inversa, que denotaremos como
log
y
0
w.
Cuando se considera la determinacion log
w, denida en la banda
B
= {z C | < Imz }, (2.5)

2.4. FUNCI
ON LOGARITMO 53
se dice que estamos tomando la determinacion principal del logaritmo. Esta banda
diere de la que se obtiene por la denicion (2.4)
= {z C | Imz < }.
Ambas bandas son adecuadas y basta con ser consecuente con la denicion que tome-
mos, lo importante es que la anchura de ambas es 2.
Como acabamos de mencionar, y
0
R lo escogemos arbitrariamente, pero una vez
elegido nos proporciona una funcion log
y
0
w que asigna a cada w C
su logaritmo en
la banda B
y
0
.
La funcion exponencial e
z
nos lleva la recta Imz = y
0
sobre la semirecta = y
0
, que
es la semirecta conteniendo a todos los puntos del plano complejo cuyo argumento
coincide con y
0
.En lo sucesivo, sin perdida de la generalidad, bastara con considerar
y
0
[0, 2) pues la recta = y
0
coincide con la recta = y
0
+ 2n con n Z.
Ejercicio 2.3. Demostrar que esta correspondencia e
z
: Imz = y
0
= y
0
es
biyectiva.
2.4.3. Propiedades de la funcion logaritmo
En lo sucesivo, llamaremos funcion logaritmo a una funcion del tipo log
y
0
z donde y
0
es un n umero real arbitrario.
Sus principales propiedades son las siguientes:
1.
log z =
_
kZ
log
y
0
+2k
z, k Z.
2. Mientras que
exp(log
y
0
z) = z.
se tiene que
log
y
0
(e
z
) = log
y
0
(e
Re z
e
iImz
) = Re z + i(Imz + 2k) = z + i2k, k Z jo,
pues la parte imaginaria de log
y
0
w ha de estar en el intervalo [y
0
, y
0
+2), luego
y + 2k [y
0
, y
0
+ 2).
3. En general
log
y
0
z
1
z
2
= log
y
0
z
1
+ log
y
0
z
2
.
54 CAP

Por ejemplo, sean y
0
= y z
1
= z
2
= 1. Entonces
log
z
1
z
2
= log
1 = ln 1 = 0.
Pero
log
(1) = ln 1i = i = log
(1)+log
(1) = 2i = 0 = log
1.
Sin embargo,
log
y
0
z
1
z
2
= log
y
0
z
1
+ log
y
0
z
2
, mod 2i.
4. Continuidad: la funcion log
y
0
es continua en todo el plano complejo excepto en
el origen (donde no esta denida) y en la recta arg z = y
0
.
En efecto, tenemos que
log
y
0
z = ln
_
x
2
+ y
2
+ i
_
arc tg
y
x
+ 2k
_
, k Z jo. (2.6)
Por mor de la simplicidad, supongamos que y
0
= , con lo que la banda con-
siderada sera la denida en (2.5). Esta banda es la imagen de C
por la funcion
log
z.
En cualquier punto (x, y) = (0, 0) la funcion ln
_
x
2
+ y
2
es continua y admite
derivadas parciales continuas a todos los ordenes.
La funcion arc tg(y/x) no esta denida en el punto (0, 0). Vamos a analizar que
ocurre en los puntos de la forma {(0, y), y = 0}. Sea y > 0 , como
lm
x0
+
y
x
= +, lm
x0
y
x
= .
entonces
lm
x0
arc tg
y
x
=

2
+ 2k, k Z.
Como Im log
z debe de estar en el intervalo (, ] entonces k = 0.

Sea y < 0, ahora
lm
x0
+
y
x
= , lm
x0
y
x
= +.
Por tanto
lm
x0
arc tg
y
x
=
2
,
pues /2 (, ]. Vemos, por lo tanto no hay discontinuidad en el eje de
ordenadas, pero si en el semieje real negativo, pues arc tg(y/x) tiende a si nos
acercamos por abajo (y < 0), y a si nos acercamos por arriba (y > 0).
2.4. FUNCI
ON LOGARITMO 55
En cambio, para todos los puntos (x, y) = (0, 0) la funcion arc tg(y/x) es inde-
nidamente derivable y sus derivadas son continuas.
Luego, la funcion log
es continua en todo C
excepto en el semieje real negativo

(recta arg z = ).
Otra manera de ver que log
z no es continua en el semieje real negativo es la

siguiente: tomemos el punto real negativo x y sea {
n
} una sucesion arbitraria
de n umeros positivos tendiendo hacia cero, con
1
<

2
(por ejemplo
n
=
1
2
n+1
).
Consideremos las sucesiones
z
n
:= |x|e
i(n)
, w
n
:= |x|e
i(+n)
.
cuyos lmites coinciden
lm
n
z
n
= |x|e
i
, lm
n
w
n
= |x|e
i
= x,
pero los elementos de la sucesion z
n
estan en el semiplano superior (Imz
n
> 0) y
los de w
n
en el semiplano inferior (Imw
n
> 0). Consideremos ahora las sucesiones
log
z
n
y log
w
n
:
log
z
n
= ln |z
n
| + i(
n
) = ln x + i(
n
),
log
w
n
= ln x + i( +
n
2) = ln x + i( +
n
).
En el primer caso,
n
[, ) y en el segundo caso +
n
> por lo que
tenemos que restarle 2 para que este en el intervalo [, ), de modo que
lm
n
log
z
n
= ln x + i, lm
n
log
w
n
= ln x i.
Luego log
z no es continua en cualquier x < 0.

5. Analiticidad: la funcion log
y
0
es analtica en todo el plano complejo excepto en
el origen (donde no esta denida) y en la recta arg z = y
0
.
De acuerdo con (2.6) tenemos que
u(x, y) = ln
_
x
2
+ y
2
, v(x, y) = arc tg
y
x
+ cte.,
con < arc tg
y
x
< . Las derivadas parciales de u y v son
u
x
=
x
x
2
+ y
2
=
v
y
,
u
y
=
y
x
2
+ y
2
=
v
x
.
Vemos que las derivadas parciales son continuas en todo R
2
excepto en el origen
y verican las ecuaciones de CauchyRiemann.
56 CAP

Luego, log
z es analtica en todo el plano complejo, excepto en el origen y el

semieje real negativo, region donde es continua.
Para otra determinacion del logaritmo, por ejemplo log
y
0
z, la parte imaginaria
de esta funcion no sera continua en el semieje arg z = y
0
, por lo que log
y
0
z sera
analtica en todo el plano excepto en el origen y el semieje arg z = y
0
.
Luego, una determinacion arbitraria del logaritmo es analtica excepto en el ori-
gen y una semirecta partiendo del origen relacionada con la recta que limita
inferiormente (o superiormente, dependiendo la denicion de la banda) a la ban-
da imagen. El origen es el punto de partida de todas estas semirrectas.
Se llama punto de ramicacion al punto del cual parten todas las semirrectas de no
analiticidad del logaritmo. Para funciones del tipo log
z, el punto de ramicacion
es el origen.
Por corte de la funcion log
z se designa a la semirrecta arg z = de puntos de

no analiticidad de dicha funcion.
Si en lugar de log
z, tuvieramos otra determinacion tal como log
z, un razo-
namiento similar nos permite probar que log
z no es continua en la semirrecta
argz = .
Ejercicio 2.4. C ual es el punto de ramicacion y el corte de log
(z 1)?
6. Derivada:
d log
z
dz
=
1
z
, z C
{arg z = }.
En efecto
d log
z
dz
=
u
x
+ i
v
x
=
x
x
2
+ y
2
i
y
x
2
+ y
2
=
x iy
x
2
+ y
2
=
z
|z|
2
=
z
z z
=
1
z
.
Ejercicio 2.5. Estudiar la analiticidad de la funcion f(z) = log
(z
2
1) y calcular
su derivada.
2.5. Potencias y raz n-esima
2.5.1. Potencia f(z) = z
n
Comencemos estudiando la funcion f(z) = z
n
con n = 2, 3, 4, . . .. Si escribimos z C
en forma polar z = |z|e
i arg z
entonces
z
n
= |z|
n
e
inarg z
.
2.5. POTENCIAS Y RA
IZ N-
ESIMA 57
Vemos que si nos restringimos al subconjunto de C
C
= {z C | arg z < +
2
n
}
_
{0}.
su imagen por z
n
es todo C. Observemos que el plano complejo C es union de n cu nas
C
, las cuales tienen solamente el origen en com un.

La funcion
f : C
C
z z
n
es biyectiva. En efecto:
Inyectividad. Sean z
1
= z
2
C
{0} y supongamos que z

n
1
= z
n
2
. Entonces
z
n
1
= |z
1
|
n
e
inarg z
1
, z
n
2
= |z
2
|
n
e
inarg z
2
.
Por lo tanto
z
n
1
= z
n
2
=
_
_
_
|z
1
|
n
= |z
2
|
n
|z
1
| = |z
2
|
narg z
1
= narg z
2
+ 2k con k Z arg z
1
= arg z
2
+ 2
k
n
.
Si k es m ultiplo de n, entonces k/n es entero y, por consiguiente, z
1
= z
2
. Si k no
fuera m ultiplo de n, entonces z
1
y z
2
no pueden estar simultaneamente en C
ya que el
modulo de la diferencia entre sus argumentos es mayor que
2
n
y distinta a un m ultiplo
entero de 2. Por tanto llegamos a un absurdo salvo que k sea un m ultiplo entero de
n, luego. z
1
= z
2
.
Sobreyectividad. Como 0
n
= 0 entonces el cero tiene un antecedente en C
por la
funcion z
n
. Sea ahora C
, debemos resolver la ecuacion z

n
= cuyas soluciones
son
z = |w|
1/n
exp
_
i
arg w + 2k
n
_
, k = 0, 1, . . . , n 1.
Una y solo una de esas soluciones estara en la cu na elegida C
pues la diferencia de
argumento entre dos soluciones es un m ultipo de 2/n.
Ejercicio 2.6. Comprobar que la funcion potencial f(z) = z
n
es una aplicacion biyec-
tiva de la semirrecta arg z = a la semirrecta arg z = n.
2.5.2. Raz n-esima
Obviamente, la funcion potencial f(z) = z
n
es una biyeccion entre cualquiera de las n
cu nas C
+2k/n
(k = 0, 1, . . . , n = 1) y el plano complejo C.
58 CAP

Podemos ahora decir, de modo similar al caso del logaritmo, que una determinacion o
rama de la raz n-esima de C es la aplicacion inversa de la funcion f(z) = z
n
= ,
que nos lleva el plano complejo C a una de las cu nas C
+2k/n
, k = 0, 1, . . . , n 1.
Las principales propiedades de la raz n-esima son las siguientes:
1.- Continuidad: Consideremos n
: C C
. Dicha rama de la raz n-esima es continua

en todo el plano complejo excepto en la semirrecta arg z = n.
Demostracion.
Consideremos una sucesion de n umeros positivos
k
> 0, tales que lm
k

k
= 0 y
k
< 2 para todo k N. Una tal sucesion es, por ejemplo,
k
= /( R)
k
con R R
+
.
Sean ahora las siguientes sucesiones:
k
= e
i(n+
k
)
,
k
= e
i(n
k
)
,
con R
+
. Observemos que
lm
k
k
= lm
k
k
= e
in
.
Consideremos la determinacion de la raz n-esima que nos lleva C en C
. Tenemos que
n
k
=
1/n
e
i(1+
k
n
)
,
n
k
=
1/n
e
i(1
k
n
)+
2
n
donde
< (1 +

k
n
) < +
2
n
, < (1

k
n
) +
2
n
< +
2
n
.
Por tanto,
n
,
n
k
C
0
, para todo k = 1, 2, . . . ,. Veamos los lmites de las sucesiones
de las races
lm
k
n
k
= lm
k
1/n
e
i(1+
k
n
)
=
1/n
e
i
,
lm
k
n
k
= lm
k
1/n
e
i(1
k
n
)+
2
n
=
1/n
e
i(+
2
n
)
.
Como los lmites son diferentes, la determinacion de la raz no es continua en el punto
e
in
de la semirrecta arg z = n. Como este es un punto arbitrario de dicha semirrecta,
la rama de la raz no es continua en ning un punto de la semirrecta (que pasa en el
origen?).
2.- Sea f(z) =
n
z la rama de la raz determinada por

0
(es decir, C
0
). Entonces,
n
z = exp
_
1
n
log
n
0
z
_
, z C
.
En efecto, sea z C
. Entonces
exp
_
1
n
log
n
0
z
_
= exp
_
1
n
(ln |z| + i)
_
= |z|
1/n
e
i/n
,
2.5. POTENCIAS Y RA
IZ N-
ESIMA 59
que es, obviamente, una raz n-esima de , y por la determinacion del logaritmo escogida
se tiene que
n
0
< n
0
+ 2.
De esta manera,
0

n
<
0
+
2
n
,
luego
n
z = exp
_
1
n
log
n
0
z
_
C
0
para todo z = 0.
3.- Analiticidad: como la semirrecta arg z = n
0
(incluyendo el origen) es un conjunto
cerrado, su complementario (C{arg z = n
0
}
{0}) es un conjunto abierto. Luego es

sucente demostrar que la determinacion de la raz n-esima es derivable en cada punto
de este abierto para concluir que es analtica en el mismo.
Sea w = 0 tal que arg w = n
0
, sabemos que existe
d log
n
0
z
dz
, por lo tanto, la funcion

n
z = exp
_
1
n
log
n
0
z
_
es derivable en . Luego, la determinacion escogida de
n
z es
derivable en el abierto {z = 0 | arg z = n
0
} y, por lo tanto, es analtica en dicho
abierto. La derivada en cualquier punto z de dicho abierto es
d
dz
_
exp
_
1
n
log
n
0
z
__
=
1
nz
exp
_
1
n
log
n
0
z
_
=
1
nz
n
z.
Notese que si realizamos una derivacion formal de
n
z obtenemos el mismo resultado:

n
z = z
1/n
=
d
dz
z
1/n
=
1
n
z
1
n
1
=
1
nz
z
1
n
=
1
nz
n
z.
2.5.3. Potencias complejas
Consideraremos la funcion f(z) = z
, con z C
y un complejo jo, que denimos

por
z
:= e
log z
.
Obviamente, esta denicion es tambien valida para z
n
o z
1/n
como vimos anteriormente,
y si no es natural, z
es multivaluada. Escoger una determinacion de log z equivale

a escoger una determinacion de z
, es decir, elegir una funcion.

La derivada de z
= e
log
z
es
d
dz
z
=
d
dz
e
log
z
=

z
e
log
z
= z
1
,
cuyo valor es independiente de la rama del logaritmo elegida log
.
60 CAP

Tambien tenemos funciones multivaluadas del tipo f(z) =
z
, siendo = 0 un n umero
complejo jo, que se denen como
z
= e
z log
.
Notemos que, una vez jado la rama del logaritmo, por ejemplo, log
tendremos una
funcion
z
= e
z log
que es entera, puesto que log
es una constante.
La derivada de esta funcion es
d
dz
e
z log

= log e
z log

=
z
log
.
Captulo 3
Integracion en el plano complejo
Vamos ahora a exponer la teora tradicional de la integracion de una funcion de variable
compleja sobre una curva regular contenida en el plano complejo.
3.1. Integrales de funciones complejas de variable
real
Sean u y v dos funciones reales de variable real,
u, v : R R,
continuas en el intervalo [a, b] R (excepto, quizas, en un n umero nito de puntos en
(a, b)), de manera que ambas funciones seran integrables en el sentido de Riemann en
el intervalo [a, b].
Podemos denir una funcion por
f = u + iv : R C,
que sera una funcion compleja de variable real, continua en el intervalo [a, b].
La integral de f en el intervalo [a, b] tiene sentido y vendra denida por
_
b
a
f(t) dt :=
_
b
a
u(t) dt + i
_
b
a
v(t) dt (3.1)
y cuyo valor sera un n umero complejo.
Un ejemplo de este tipo de integral sera
_

0
e
it
dt =
_

0
cos t + i
_

0
sin t dt = 2i.
61
62 CAP
ITULO 3. INTEGRACI
ON EN EL PLANO COMPLEJO
Las principales propiedades de esta integral son las siguientes:
1.
Re
_
b
a
f(t) dt =
_
b
a
u(t) dt =
_
b
a
[Re f(t)] dt,
Im
_
b
a
f(t) dt =
_
b
a
v(t) dt =
_
b
a
[Imf(t)] dt.
2.
_
b
a
f(t) dt =
_
b
a
f(t) dt, C.
3. Sea c (a, b). Entonces:
_
b
a
f(t) dt =
_
c
a
f(t) dt +
_
b
c
f(t) dt.
Por induccion, si a < c
1
< c
2
< . . . < c
n
< b, tenemos que
_
b
a
f(t) dt =
_
c
1
a
f(t) dt +
_
c
2
c
1
f(t) dt + +
_
b
cn
f(t) dt.
4. De la denicion (3.1) obtenemos que
_
a
a
f(t) dt = 0;
_
b
a
f(t) dt =
_
a
b
f(t) dt.
5.

_
b
a
f(t) dt
_
b
a
|f(t)| dt. (3.2)
Demostracion:
_
b
a
f(t) dt es un n umero complejo jo con modulo
0
y argumento
0
. Esto es
_
b
a
f(t) dt =
0
e
i
0
,
0
=
_
b
a
f(t) dt
.
De aqu
0
= e
i
0
_
b
a
f(t) dt =
_
b
a
e
i
0
f(t) dt,
pues e
i
0
es una constante y puede introducirse dentro de la integral. Al ser
0
real podemos escribir que
0
= Re
_
b
a
e
i
0
f(t) dt =
_
b
a
Re [e
i
0
f(t)] dt. (3.3)
Como Re z |z|, entonces
Re [e
i
0
f(t)]
e
i
0
f(t)
f(t)
. (3.4)
3.2. CONTORNOS 63
Integrando (3.4) y comparando el resultado con (3.3) se obtiene nalmente que
0
=
_
b
a
f(t) dt
_
b
a
|f(t)| dt.
6. Linealidad: sean dos funciones f, g : R R C continuas (o continuas a trozos)
en el intervalo [a, b] se tiene que
_
b
a
[f(t) + g(t)] dt =
_
b
a
f(t) dt +
_
b
a
g(t) dt, , C.
Ejercicio 3.1. Demostrar las propiedades (1-4) y (6).
3.2. Contornos
La teora de la integracion de funciones de variable compleja suele restringirse a un
tipo especial de integrales curvilneas en C. Es decir, no consideraremos solo integrales
de funciones complejas denidas en un intervalo de la recta real, tal como vimos en la
seccion anterior, sino que lo haremos sobre curvas en el plano complejo.
Estas curvas suelen llamarse curvas regulares a trozos, curvas de Jordan o, simplemente,
contornos, como las llamaremos aqu. Los contornos son curvas que uniran dos puntos
del plano complejo de manera continua, pero cuya tangente puede no existir en un
n umero nito de puntos.
Una curva (o arco de curva), (t), es una aplicacion continua de un intervalo compacto,
[a, b], de la recta real R en el plano complejo,
: [a, b] R C
t (t).
Notese que la continuidad de en los extremos del intervalo cerrado es lateral, es decir
(a) = lm
ta
+
(t), (b) = lm
tb
(t).
La curva determinada por es un subconjunto compacto de C, pues la imagen de un
compacto por una aplicacion continua es tambien un compacto.
Denici on 3.1. Una curva, : [a, b] R C se dice de clase C
1
a trozos (o
contorno) si :
1. existen n puntos a
1
, a
2
, , a
n
en el intervalo abierto (a, b) vericando que a =
a
0
< a
1
< a
2
< . . . < a
n
< a
n+1
= b, de modo que la derivada
(t) existe en
cada subintervalo abierto (a
i
, a
i+1
),
64 CAP
ITULO 3. INTEGRACI
2. la derivada
(t) es continua en cada subintervalo cerrado [a

i
, a
i+1
], esto es, los
lmites laterales
lm
ta
+
i
(t), lm
ta
i+1
(t)
existen (y son nitos).
Las discontinuidades de la derivada
(t) deben ser de primera especie (esto es, saltos

nitos) en los puntos a
1
, a
2
, . . . , a
n
.
En lo que sigue, si no especicamos lo contrario siempre nos referiremos a curvas de
clase C
1
a trozos.
Normalmente cuando consideramos una curva uno tiene en cuenta el sentido de recorri-
do de la misma: la orientacion. Esto no lleva, dada una curva : [a, b] C a denir
la curva opuesta : [a, b] C de la siguiente manera
()(t) := (a + b t). (3.5)
La curva describe geometricamente la misma curva que pero recorrida en sentido
opuesto ((b) = (a) y (a) = (b)). Luego (t) y (t) son, en realidad, dos
orientaciones de la misma curva. Si suponemos que (t) comienza en (a) y termina en
(b), la curva (t) nos hara el recorrido contrario, comenzando en (b) y terminando
en (a).
Sea una curva : [a, b] C. Diremos que es curva cerrada si (a) = (b).
Una curva cerrada : [a, b] C se dice simple (o de Jordan) si existen sendos puntos
s
1
, s
2
tales que a < s
1
< s
2
< b de modo que (s
1
) = (s
2
) entonces s
1
= a y s
2
= b.
En otras palabras, el contorno no tiene bucles o no se corta a s mismo.
Dos curvas se pueden unir o sumar siempre que donde acabe la primera comience la
segunda originando una unica curva. Dados dos contornos o curvas
1
: [a, b] C y
2
: [b, c] C con
1
(b) =
2
(b) la suma de ambos contornos,
1
+
2
: [a, c] C, se
dene del modo siguiente
(
1
+
2
)(t) =
_

1
(t) si t [a, b]
2
(t) si t [b, c].
(3.6)
Obviamente se puede contemplar la suma de n arcos de curva
1
+
2
+ +
n
.
3.3. Integracion (curvilnea) en el campo complejo
La denici on de la integral de una funcion de variable compleja sobre un contorno (t)
del plano complejo es como sigue:
3.3. INTEGRACI
ON (CURVIL
INEA) EN EL CAMPO COMPLEJO 65

Denici on 3.2. Sea f una funcion continua, denida en un abierto A C y sea
: [a, b] C una curva de clase C
1
a trozos tal que ([a, b]) A. La integral de f a
lo largo de viene denida por la expresion
_
f
_
f(z) dz :=
n
k=0
_
a
k+1
a
k
f((t))
(t) dt. (3.7)

Notese que en cada intervalo (a
k
, a
a
k+1
) la funcion f((t) es continua por ser la com-
posicion (f ) de dos funciones continuas (en [a
k
, a
k+1
]) y f (en ([a
k
, a
k+1
]) A).
Tambien f((t))
(t) es continua en (a
k
, a
k+1
) con lmites laterales nitos en a
k
y a
k+1
,
lo que implica que la integral de Riemann
_
a
k+1
a
k
f((t))
(t) dt
existe para k = 0, 1, . . . , n.
Para simplicar la notacion reescribiremos (3.7) en forma compacta sin tener en cuenta
las discontinuidades de
(t)
_
f
_
f(z) dz :=
_
b
a
f((t))
(t) dt. (3.8)

La denicion de la integral de contorno (3.7) es similar a la integral de lnea en R
2
como se puede comprobar a continuacion. Sea f(z) = u(x, y) + iv(x, y) y la curva
(t) = x(t) +iy(t), entonces como z = x+iy tenemos que dz = dx+idy, de modo que
_
f =
_
(u(x(t), y(t)) + iv(x(t), y(t)))(x
(t) + iy
(t)) dt
=
_
(u x
(t) v y
(t)) dt + i
_
(u y
(t) + v x
(t)) dt
=
_
(u dx v dy) + i
_
(v dx + u dy).
(3.9)
3.3.1. Propiedades de las integrales de contorno
Sea : [a, b] C una curva C
1
a trozos, y f, g : C C.
1. Linealidad. Sean f y g dos funciones continuas sobre ([a, b]). Entonces
_
(f + g) =
_
f +
_
g, , C.
66 CAP
ITULO 3. INTEGRACI
2. Consideremos ahora el contorno (t) opuesto a y sea f continua en ([a, b]).
Entonces se verica que
_
f =
_
f.
Demostracion. En efecto, teniendo en cuenta la denicion (3.5) podemos escri-
bir que
_
f =
_
b
a
f((a + b t))(
(a + b t)) dt
con el cambio de variable s = a + b t la ultima integral se reescribe como
_
a
b
f((s))
(s) ds =
_
b
a
f((s))
(s) ds =
_
a
b
f((s))
(s) ds =
_
f.
3. Sean
1
(t) y
2
(t) dos curvas C
1
a trozos tales que la curva (
1
+
2
) esta bien
denida seg un (3.6) y sea f continua en (
1
+
2
)([a, b]). Entonces
_
1
+
2
f =
_
1
f +
_
2
f.
Ejercicio 3.2. Demostrar las propiedades (1) y (3).
3.3.2. Reparametrizacion de contornos
Una curva (geometrica) en el plano complejo uniendo los puntos z
1
y z
2
esta denida
mediante una funcion continua, , de un intervalo [a, b] R en el plano complejo tal
que z
1
= (a) y z
2
= (b). Esta funcion es la representacion funcional de una entidad
geometrica, un camino en C entre los puntos z
1
y z
2
, y, en general, puede ser denida
mediante funciones distintas. Surge entonces la cuestion de si la integral a lo largo de
un contorno de una funcion f depende o no de la representacion funcional del contorno.
Ejemplo 3.1. Sea una curva dada representada por las funciones
: [0, 1] C, : [1, 2] C,
es decir ([0, 1]) = ([1, 2]).
Vemos que existe una aplicacion , entre los dos intervalos en R,
: [1, 2] [0, 1]
x (x) = x 1,
3.3. INTEGRACI
ON (CURVIL

que relaciona las funciones y . En efecto como
[1, 2]

[0, 1]

C
y y representan la misma curva entonces
= : [1, 2] C
(x) = ( )(x) = ((x)).
Ahora bien, si lo esencial en la nocion de contorno es la curva, es decir, la gura
geometrica, deberamos exigir que la nocion de integral a lo largo del contorno, dependa
tan solo de la gura geometrica y no de la funcion que la represente. Esto es, si (t) y
(x) representan a la misma curva, deberamos de tener que
_
f(z) dz =
_
f(z) dz
para que la nocion de integral a lo largo de un contorno (identicado con la curva que
el contorno dene en C) pueda considerarse bien denida.
Realmente (t) y (x) seran dos parametrizaciones consecuencia inmediata de nuestra
proxima denicion:
Denicion 3.3. Sean : [a, b] C y : [c, d] C sendas curvas C
1
a trozos.
Diremos que es una reparametrizacion de si existe una funcion de clase C
1
: [a, b] [c, d],
tal que
(t) > 0 para todo t [a, b] y = .

Como
> 0 en el intervalo [a, b] entonces es estrictamente creciente en [a, b] con

lo que (a) = c y (b) = d. El que = nos asegura que ([a, b]) = ([c, d]),
es decir que ambas funciones denen la misma curva geometrica orientada. Existe la
funcion inversa de (teorema de la funcion inversa),
1
: [c, d] [a, b], que tambien
es de clase C
1
y con derivada positiva en [c, d] lo que asegura que =
1
es una
reparametrizacion de .
El siguiente resultado nos va a probar que la integral de una funcion continua sobre
un contorno es independiente de la reparametrizacion que usemos, depende de la curva
geometrica que representa dicho contorno.
Teorema 3.1. Sea una reparametrizacion de una curva de clase C
1
a trozos, . Sea
f una funcion continua sobre un abierto que contiene la imagen de (que es la misma
que la imagen de ). Entonces:
_
f =
_
f.
68 CAP
ITULO 3. INTEGRACI
Demostracion. Por la denicion (3.7)
_
f =
_
b
a
f((t))
(t) dt.
Como = entonces por la regla de la cadena tenemos que
(t) =
((t))
(t)
de manera que la integral anterior se escribe
_
b
a
f((t))
(t) dt =
_
b
a
f(((t)))
((t))
(t) dt,
con el cambio de variable (t) = s (ds =
(t)dt) y teniendo en cuenta los nuevos

lmites de integracion podemos escribir que
_
b
a
f(((t)))
((t))
(t) dt =
_
d
c
f((s))
(s) ds =
_
f.
3.3.3. Longitud de arco de una curva
Consideremos la curva de clase C
1
a trozos : [a, b] C, como funcion compleja de
variable real (t) = x(t) + i y(t). Entonces, la funcion real de variable real
(t) =
_
[x
(t)]
2
+ [y
(t)]
2
,
es integrable Riemann en el intervalo [a, b]. De modo que podemos denir la longitud
de arco
l() :=
_
b
a
|
(t)| dt =
_
b
a
_
[x
(t)]
2
+ [y
(t)]
2
dt.
Las propiedades de nos aseguran que la integral existe y es nita siempre y cuando a
y b sean dos n umeros reales. La longitud de arco es independiente de la parametrizacion
de la curva como puede comprobarse facilmente.
El siguiente resultado es muy util y de uso com un en Variable Compleja para evaluar
integrales.
Proposicion 3.1. Sea f una funcion de variable compleja continua en un conjunto
abierto A C y sea una curva C
1
a trozos contenida en A. Entonces
f(z) dz
|f(z)| |dz|
donde
_
|f(z)| |dz| :=
_
b
a
|f((t))| |
(t)| dt.
3.3. INTEGRACI
ON (CURVIL

Demostracion. La desigualdad se basa en el hecho que el modulo de la integral es
menor o igual que la integral del modulo como ya vimos anteriormente en la expresion
(3.2)
f(z) dz
_
b
a
f((t))
(t) dt
_
b
a
|f((t)| |
(t)| dt =
_
|f(z)| |dz|.
Corolario 3.1. Sean f y que verican las condiciones de la proposicion 3.1. Suponga-
mos que existe una constante M tal que |f(z)| M para todos los puntos z ([a, b]),
entonces se tiene que
f(z) dz
Ml().
Demostracion. La acotacion de f en por M implica de manera inmediata que
_
b
a
|f((t)| |
(t)| dt M
_
b
a
|
(t)| dt = M l().
3.3.4. Teorema fundamental del Calculo (para integrales de
contorno)
El siguiente resultado es una generalizacion de la formula de Barrow para la integral
de Riemann.
Teorema 3.2. Sea : [a, b] C una curva C
1
a trozos contenida en un abierto
A C. Supongamos que existe una funcion F : A C analtica en A y tal que F
es
continua en A. Entonces
_
(z) dz = F((b)) F((a)).

Si la curva es cerrada ((b) = (a)) se verica que
_
(z) dz = 0.
Demostracion.
_
(z) dz =
_
b
a
F
((t))
(t) dt =
_
b
a
dF((t))
dt
dt
en la ultima igualdad hemos usado la regla de la cadena
=
_
b
a
d
dt
[Re F((t))] dt + i
_
b
a
d
dt
[ImF((t))] dt
70 CAP
ITULO 3. INTEGRACI
por la formula de Barrow aplicable a las funciones reales de variable real
= [Re F((b))] [Re F((a))] + i [ImF((b))] i [ImF((a))]
= F((b)) F((a)).
Corolario 3.2. Sea f : D C C una funcion analtica en un dominio (conjunto
abierto y conexo) D si f
(z) = 0 en todo punto de D. Entonces f es constante en D.

Ejercicio 3.3. Demostrar el Corolario 3.2.
3.3.5. Teorema de la independencia del camino
Teorema 3.3. Sea una funcion continua en un dominio D C. Entonces las siguien-
tes armaciones son equivalentes:
1. Las integrales de contorno son independientes del camino: si z
1
y z
2
dos puntos
cualesquiera de D y
1
y
2
dos contornos que unen z
1
y z
2
, entonces
_
1
f =
_
2
f.
2. Las integrales sobre curvas cerradas son nulas: si es una curva cerrada contenida
en D entonces
_
f = 0.
3. La funcion f admite una primitiva F en D: F : D C analtica en D tal que
F
(z) = f(z) para todo z D.

Demostracion.
(1) (2) Basta considerar que si
1
y
2
son dos contornos que unen z
1
y z
2
, entonces
1
+ (
2
) forman una curva cerrada contenida en D.
(1) (2) Tomando dos puntos cualesquiera de un contorno cerrado y considerar que
esta curva cerrada es suma de dos curvas: una que va de un punto al otro y la otra
vuelve al punto original.
En ambos casos (1) (2)
_
f =
_
1
f +
_
2
f =
_
1
f
_
2
f.
3.4. EL TEOREMA DE CAUCHY 71
(1) (3) Basta tener en cuenta el Teorema Fundamental del Calculo que nos dice que
el valor de la integral depende de los extremos de la curva y no de la curva en s.
_
1
f = F(z
2
) F(z
1
) =
_
2
F
.
(1) (3) Sea z
0
un punto arbitrario pero jo de D, cualquier punto z D esta unido
con z
0
por una curva C
1
a trozos contenida en D. Podemos, pues, denir una funcion
F(z) =
_
f
que por la condicion (1) no depende de la curva que une z
0
con z. Esta funcion es
derivable con derivada F
(z) = f(z) en todo punto z D como vamos a probar.

En efecto, como D es abierto y f continua en D si tomamos un > 0 > 0 tal que
|f() f(z)| < si D(z, ) D. Tomemos un punto arbitrario = z D(z, ) y
sea el segmento de recta que une los puntos y z que esta contenido en D(z, ). Se
tiene que
F() F(z) =
_
+
f
_
f =
_
f.
Por otra parte
( z)f(z) = f(z)
_
1 = f(z)
_
d =
_
f(z) d
con lo que
F() F(z)
z
f(z)
F() F(z) ( z)f(z)
| z|
=
f() d
_
f(z) d
| z|
=
(f() f(z)) d
| z|
=
l()
| z|
= .
Por tanto F
= f en D.
3.4. El teorema de Cauchy
El Teorema de Cauchy es un resultado fundamental en Teora de Funciones de Variable
Compleja, posiblemente el resultado mas importante de la Teora de Funciones de Va-
riable Compleja. La importancia del mismo se puede ver a traves de sus consecuencias
que estudiaremos mas adelante.
72 CAP
ITULO 3. INTEGRACI
Comencemos recordando el teorema de Green del calculo vectorial en R
2
que relacio-
na integrales de lnea con integrales dobles. El teorema arma que dadas dos funciones
P(x, y) y Q(x, y) que son de clase C
1
en y dentro de un contorno cerrado simple de
R
2
, orientado positivamente, entonces
_
P(x, y) dx + Q(x, y) dy =
_ _
A
(Q
x
P
y
) dx dy,
siendo A el recinto que encierra la curva .
Teorema 3.4 (Teorema de Cauchy). Sea un contorno cerrado simple y f una
funcion analtica con derivada continua en y dentro de . Entonces
_
f = 0.
Demostracion. Consideremos f = u +iv and dz = dx +idy entonces de acuerdo con
(3.9) tenemos que
_
f =
_
f(z) dz =
_
(u dx v dy) + i
_
(u dy + v dx).
Haciendo uso del teorema de Green en cada una de las dos integrales tenemos que
_
f =
_ _
A
(v
x
u
y
) dx dy + i
_ _
A
(u
x
v
y
) dx dy.
Teniendo en cuenta las condiciones de Riemann (u
x
= v
y
, u
y
= v
x
) los integrandos
de ambas integrales son nulos.
Notese que como la integral es nula el sentido de recorrido de la curva es irrelevante.
Goursat demostro el teorema de Cauchy sin la condicion de continuidad de las deri-
vadas de la funcion analtica. Como veremos mas adelante, la derivada de una funcion
analtica es analtica, de manera que la condicion de continuidad de la derivada es
redundante.
Teorema 3.5 (Teorema de Cauchy-Goursat). Sea un contorno cerrado simple
y f una funcion analtica en y dentro de . Entonces
_
f = 0.
Obviaremos la demostracion, el lector interesado puede consultarla en la bibliografa
del curso.
El teorema de Cauchy se puede generalizar tambien para recintos recintos mas gene-
rales.
Figura 3.1: Contorno del Corolario 3.3.
Corolario 3.3 (Teorema de Cauchy generalizado para dominios multiplemen-
te conexos). Sean un contorno cerrado simple,
1
,
2
, . . . ,
n
contornos cerrados
simples que no se cortan entre s, ninguno de ellos esta dentro de alguno de los demas
pero todos ellos estan contenidos dentro de , y f una funcion analtica en el dominio
comprendido entre y
1
,
2
, . . . ,
n
. (ver Figura 3.1). Entonces
_
f =
n
k=1
_
k
f.
Demostracion. Consideremos la gura 3.1 donde hemos tomado n = 3 por obvias
razones de simplicidad. El razonamiento que sigue es identico con n = 3.
Comencemos a movernos sobre a partir del punto A, en la direccion contraria a las
agujas del reloj, hasta el punto B. Del punto B, pasamos al punto G
1
(camino BG
1
)
del contorno
1
, que recorremos completamente en sentido horario y volvemos al punto
B por el mismo camino pero en sentido contrario, seguimos por hasta pasar a
2
que
recorremos en sentido antihorario. Volvemos al camino y saltamos al contorno
3
,
que recorremos completamente en sentido antihorario y luego regresamos de nuevo al
camino donde nos desplazamos hasta el punto de partida A. De este modo hemos
recorrido un contorno cerrado, , sobre el cual y en los puntos encerrados por el mismo,
74 CAP
ITULO 3. INTEGRACI
la funcion f es analtica, luego por el Teorema de Cauchy se tiene que
_
f(z) dz = 0.
El contorno esta formado por la suma de los contornos ,
1
,
2
,
3
y los caminos
A
1
G
1
, G
1
A
1
, A
2
G
2
, G
2
A
2
, A
3
G
3
y G
3
A3. Obviamente como A
i
G
i
= G
i
A
i
se tiene
que
_
A
i
G
i
f +
_
G
i
A
i
f = 0. Luego
_
f =
_
f +
_
1
f +
_
2
f +
_
3
f = 0,
y como
_
i
f =
_
i
f llegamos a que
_
f =
_
1
f +
_
2
f +
_
3
f.
Luego, en el caso general se obtendra
_
f =
n
k=1
_
k
f.
3.4.1. Homotopa y Teorema de Cauchy
Consideremos un dominio (conjunto abierto conexo) D C y dos curvas,
0
y
1
,
contenidas en D (con los mismos extremos en los puntos z
0
, z
1
tales que z
0
= z
1
de
D si no son curvas cerradas). Se dice que
0
y
1
son homotopas en D si
0
se puede
deformar de forma continua hasta obtener
1
siempre sin salirse de D.
Una denicion mas exacta de la homotopa sera la siguiente para curvas abiertas:
Denicion 3.4. Sean
0
,
1
: [0, 1] C dos curvas uniendo los puntos z
1
y z
2
en
D. Diremos que ambas curvas son homotopas con extremos jos en D si existe una
funcion continua
h : [0, 1] [0, 1] D
tal que
1. h(0, t) =
0
(t) si 0 t 1,
2. h(1, t) =
1
(t) si 0 t 1,
3. h(s, 0) = z
0
si 0 s 1,
4. h(s, 1) = z
1
si 0 s 1.
Para curvas cerradas la denion de curvas homotopas es como sigue:
Denici on 3.5. Sean
0
,
1
: [0, 1] C dos curvas cerradas contenidas en D. Diremos
que ambas curvas son homotopas en D si existe una funcion continua
h : [0, 1] [0, 1] D
tal que
1. h(0, t) =
0
(t) si 0 t 1,
2. h(1, t) =
1
(t) si 0 t 1,
3. h(s, 0) = h(s, 1) si 0 s 1.
Un punto z
0
D puede considerarse como una curva cerrada constante
(t) = z
0
t [a, b].
Luego una curva cerrada es homotopa a un punto si puede deformarse continuamente
a un punto.
Teorema 3.6 (Teorema de la deformacion). Consideremos una funcion analtica
en un dominio D y dos curvas
0
y
1
C
1
a trozos contenidas en D y homotopas
(cerradas o abiertas) en D. Entonces
_
0
f =
_
1
f.
Demostracion. La prueba de este teorema se basa en descomponer el recinto contenido
entre las dos curvas en un retculo e ir calculando las integrales de contorno a lo
largo de cada una de las celdas del retculo. La demostracion puede verse en el libro
de Mardsden-Homan. En principio para una demostracion del teorema uno puede
considerar que la funcion h que relaciona las curvas homotopas no es solo continua sino
C
1
aunque el teorema se puede demostrar sin esta hipotesis suplementaria.
Corolario 3.4 (Forma homotopica del Teorema de Cauchy). Si f es una funcion
analtica en un dominio D y una curva cerrada C
1
a trozos homotopa a un punto en
D. Entonces
_
f = 0.
76 CAP
ITULO 3. INTEGRACI
Demostracion. Sea el punto z
0
considerado como la curva constante
0
(t) = z
0
. Por
hipotesis las curvas y
0
son homotopas. Por el teorema anterior
_
f =
_
0
f =
_
b
a
f(
0
(t))
0
(t)dt = 0,
pues
0
(t) = 0, t.
Teorema 3.7 (Teorema de Cauchy generalizado). Sean D C un dominio,
una curva cerrada C
1
a trozos homotopa a un punto en D, z
0
un punto de D tal que
z
0
/ ([a, b]) pero z
0
esta contenido dentro de gamma y f una funcion analtica en
D {z
0
} vericando que lm
zz
0
[(z z
0
)f(z)] = 0. Entonces
_
f = 0.
Demostracion. Como lm
zz
0
[(z z
0
)f(z)] = 0 entonces > 0 > 0 tal que si
|z z
0
| < |(z z
0
)f(z)| < . Tomemos ahora un circunferencia
z
0
centrada en z
0
y
radio /2. Entonces tenemos
_
z
0
f
_
z
0
(z z
0
)f(z)
z z
0
dz

_
z
0
dz
z z
0
2;

2
= 2 .
Este teorema es tambien valido cuando f no es analtica en un n umero nito de puntos

de D vericando en cada uno de ellos la hipotesis del teorema. Igualmente si se asume
que f es una funcion analtica en D {z
0
} y continua en z
0
el teorema se verica.
Un dominio D C se dice que es simplemente conexo si toda curva cerrada contenida
en D es homotopa a un punto en D.
Observese que C es simplemente conexo, y todo disco abierto en C es simplemente
conexo, sin embargo D
(z, ) = D(z, ) {z} no lo es.

Corolario 3.5 (Teorema de Cauchy para dominios simplemente conexos). Si
f es una funcion analtica en un dominio simplemente conexo D y una curva cerrada
contenida en D. Entonces _
f = 0.
Corolario 3.6. Si f es una funcion analtica en un dominio simplemente conexo D y
0
y
1
dos curvas C
1
a trozos uniendo los puntos z
0
y z
1
en D. Entonces
_
0
f =
_
1
f.
3.5. F
ORMULA INTEGRAL DE CAUCHY 77

Corolario 3.7 (Teorema de la primitiva). Sea f una funcion analtica en un do-
minio simplemente conexo D. Entonces existe una funcion primitiva F de f analtica
en D.
Corolario 3.8. Se f es una funcion analtica en un dominio simplemente conexo D.
Entonces _
f = 0
para toda contorno cerrado contenido en D.
Ejercicio 3.4. Sea : [0, 2] C el contorno circular dado por (t) = z
0
+ e
it
, con
> 0 y z
0
C (circunferencia de radio y centrada en el punto z
0
). Probar que
_
|dz|
|z z
0
|
= 2. (3.10)
3.5. Formula Integral de Cauchy
3.5.1.

Indice de una curva cerrada
Intuitivamente el ndice de una curva cerrada respecto a un punto es el n umero de
vueltas que la curva da alrededor de dicho punto.
Una denicion precisa del ndice es la siguiente. Consideremos una curva cerrada C
1
a trozos y un punto z
0
/ se denomina ndice de alrededor de z
0
, I(; z
0
), al valor
de la integral
I(; z
0
) =
1
2i
_
dz
z z
0
. (3.11)
El ndice es una funcion continua en z
0
siempre que z
0
no cruce la curva.
Ejemplo 3.2. Sea la circunferencia de radio y centrada en el punto z
0
(ver ejercicio
4.2) que da n vueltas alrededor de su centro en sentido antihorario.
Por lo tanto : [0, 2] C esta denida por (t) = z
0
+ e
int
. Ahora
I(; z
0
) =
1
2i
_
dz
z z
0
=
1
2i
_
2
0
ine
int
dt
e
int
= n.
Es facil de comprobar que si el recorrido hubiera sido en el sentido horario hubieramos
obtenido I(; z
0
) = n.
Notese que el resultado hubiera sido el mismo, obviamente si hubieramos denido la
curva como (t) = z
0
+ e
it
con t [0, 2n].
78 CAP
ITULO 3. INTEGRACI
Por otro lado, si el punto z
0
fuera un punto exterior a la curva cerrada el ndice de la
curva respecto a ese punto sera cero. En efecto la funcion 1/(z z
0
) sera analtica
dentro y sobre con lo cual la integral sera nula.
Observese que el ndice de un curva cerrada simple con respecto a un punto contenido
dentro de la curva es 1 y 0 si el punto es exterior a la curva.
Teorema 3.8. Sean : [a, b] C una curva cerrada C
1
a trozos y z
0
/ ([a, b]).
Entonces el ndice de dicha curva respecto de z
0
es un n umero entero.
Demostracion Consideremos la funcion continua
g(t) =
_
t
a
(s)
(s) z
0
ds, t [a, b].
El integrando es continuo (a trozos) para todo t [a, b] luego en los puntos donde
(t)
es continua se tiene la derivada de g(t(
g
(t) =

(t)
(t) z
0
,
que es la derivada logartmica de (t) z
0
. Facilmente se comprueba, a partir de la
expresion anterior de g
(t) , que
d
dt
e
g(t)
((t) z
0
) = 0.
Luego la funcion e
g(t)
((t)z
0
) es constante a trozos en [a, b]. Como e
g(t)
((t)z
0
) es
continua entonces es constante en [a, b]. Por tanto, e
g(b)
((b) z
0
) = e
g(a)
((a) z
0
)
y al ser (a) = (b) y g(a) = 0 tenemos que
e
g(b)
= 1 = g(b) = 2ni.
Puesto que el ndice es una funcion continua mientras z
0
no cruce la curva y es un
n umero entero entonces debe ser constante. De este resultado podemos decir que el
interior de una curva corresponde a aquellos puntos de z C tales que I(; z) = 0.
3.5.2. Formula integral de Cauchy
Teorema 3.9 (Formula integral de Cauchy). Sean f : D C una funcion analti-
ca en un dominio D C, un curva cerrada contenida en D al igual que su interior
y z
0
un punto encerrado por (ver gura). Entonces
f(z
0
) I(; z
0
) =
1
2i
_
f(z)
z z
0
dz. (3.12)
3.5. F

Cuando tenemos una curva simple recorrida en el sentido antihorario y z
0
pertenece al
interior de como I(; z
0
) = 1 entonce la formula integral se reduce a
f(z
0
) =
1
2i
_
f(z)
z z
0
dz.
Demostracion. Consideremos la funcion
g(z) =
_
_
_
f(z) f(z
0
)
z z
0
si z = z
0
f
(z
0
) si z = z
0
La funcion g es analtica excepto quizas en z
0
, pero es continua pues existe la derivada
de f en z
0
. Entonces por el teorema 3.7 se tiene que
_
g = 0, de modo que
_
g =
_
f(z) f(z
0
)
z z
0
dz =
_
f(z)
z z
0
dz
_
f(z
0
)
z z
0
dz = 0
Con lo que
_
f(z
0
)
z z
0
dz = f(z
0
)
_
1
z z
0
dz = 2if(z
0
)I(; z
0
).
Por lo tanto, facilmente se obtiene la formula (3.12).
Vemos, pues, que mediante la formula integral de Cauchy si f es analtica sobre una
curva cerrada y sobre todos los puntos encerrados en , el valor de f en cada un
de los puntos encerrados por puede obtenerse conociendo tan solo los valores de la
funcion sobre .
La formula integral de Cauchy permite, ademas, obtener formulas similares para las
derivadas (de cualquier orden) de f.
Integrales de tipo Cauchy
Consideremos primeramente un tipo de funciones denominadas integrales de tipo Cau-
chy que apareceran a continuacion
G(z) =
_
g(s)
(s z)
ds,
siendo : [a, b] C una curva C
1
a trozos y g : C C una funcion continua en
([a, b]). Entonces la funcion G es analtica en C([a, b]). Ademas G es innitamente
derivable con derivada n-esima (n = 1, 2, . . . )
G
(n)
(z) = n!
_
g(s)
(s z)
n+1
ds.
80 CAP
ITULO 3. INTEGRACI
Esta formula puede obtenerse derivando formalmente G (dentro del signo integral)
respecto de z. La demostracion de que G es indenidamente derivable es como sigue.
Notese que el ndice de una curva (3.11) es una integral tipo Cauchy.
Demostracion. Consideremos el caso de la derivada primera.
La curva cerrada es un conjunto compacto de C, luego toda funcion continua en
un compacto esta acotada. Esto quiere decir que existe M > 0, tal que para todo
z ([a, b]) se verica que |g(z)| M. Sea d la distancia entre z
0
y , esto es d =
mn|(t) z
0
|, t [a, b]. Luego existe un disco abierto D(z
0
, d/2) tal que D(z
0
, d/2)
([a, b]) = . Tenemos que z = z
0
D(z
0
, d/2)
G(z) G(z
0
)
z z
0
=
_
1
z z
0
_
1
s z

1
s z
0
_
g(s) ds.
Como
1
z z
0
_
1
s z

1
s z
0
_
=
1
(s z)(s z
0
)
=
1
(s z
0
)
2
s z
0
s z
=
1
(s z
0
)
2
_
1 +
z z
0
s z
_
,
podemos escribir que
G(z) G(z
0
)
z z
0
g(s)
(s z
0
)
2
ds
= |z z
0
|
g(s)
(s z
0
)
2
(s z)
ds
|z z
0
|
Ml()
d
2
d/2
0
cuando |z z
0
| 0. Luego
G
(z) =
_
g(s)
(s z)
2
ds.
Vemos, pues, que la G
existe para todo punto de C que no pertenece a la curva .

Luego G es analtica en C ([a, b]). Por induccion podemos probar que existe la
derivada n-esima.
Formula integral de Cauchy para derivadas
Teorema 3.10. Sean f una funcion analtica en un dominio D. Entonces las derivadas
de cualquier orden de f existen en D. Si z
0
D y una curva cerrada de clase C
1
a
trozos y homotopa a un punto en D tal que z
0
/ ([a, b]). Entonces
f
(k)
(z
0
) I(; z
0
) =
k!
2i
_
f(z)
(z z
0
)
k+1
dz, k = 1, 2, . . . (3.13)
3.5. F

Demostracion. Como vimos anteriormente al ser D abierto podemos encontrar siem-
pre un disco D(z
0
, d/2) tal que no intersecciona con la curva para todo punto z
0
D.
Podemos, entonces, considerar en todo punto z D ([a, b]) la funcion
G(z) = f(z) I(; z) =
1
2i
_
f(s)
s z
ds,
que es una integral tipo Cauchy innitamente derivable en todo punto de D([a, b]).
Por tanto
G
(n)
(z) =
n!
2i
_
f(s)
(s z)
n+1
ds.
Puesto que las funciones
f(z) =
1
2i
_
0
f(s)
s z
ds, I(; z) =
1
2i
_
1
s z
ds,
con
0
la circunferencia centrada en z
0
de radio d/2, son tambien integrales de tipo
Cauchy son innitamente derivables en D(z
0
, d/2) y como I(; z) es constante dentro
del disco D(z
0
, d/2), es decir I(; z) = I(; z
0
) = n, z D(z
0
, d/2) tenemos que
G
(k)
(z) = f
(k)
(z) I(; z
0
)
con lo que
f
(k)
(z) =
k!
2ni
_
f(s)
(s z)
k+1
ds k =, 1, 2, . . . .
Si la curva cerrada es simple y orientada en el sentido antihorario y encierra en su
interior al punto z
0
entonces (n = 1)
f
(k)
(z) =
k!
2i
_
f(s)
(s z)
k+1
ds. (3.14)
Vemos entonces que los valores de la funcion f
(k)
en los puntos encerrados por , se
pueden obtener conociendo los valores de la funcion analtica f sobre , mediante una
formula muy similar a la que nos da los valores de f en el mismo conjunto.
La formula de Cauchy para las derivadas (3.13) tiene una consecuencia muy importante.
Gracias a la existencia de la funcion derivada f
en todo punto del dominio D podemos

concluir que f es analtica en todos los puntos del dominio D. La existencia de f
(2)
en todo D nos indica que f
es analtica en D, y as sucesivamente. Por tanto, f

(k)
es
analtica en D para cualquier k N.
Este resultado es facilmente generalizable a cualquier conjunto A C. Esto es, si f
es analtica en A es innitamente derivable en A. Y, por tanto, sus derivadas f
(k)
son,
tambien analticas en A.
82 CAP
ITULO 3. INTEGRACI
3.6. Consecuencias del teorema de Cauchy
Acabamos de ver en el apartado anterior que todas las derivadas de una funcion analti-
ca en un abierto existen y son funciones analticas en dicho abierto. Es decir, si una
funcion compleja de variable compleja es derivable en un abierto, es indenidamente
derivable (las derivadas de cualquier orden existen en este abierto). Esto no sucede en
variable real como nos muestra el siguiente contraejemplo.
Ejemplo 3.3. Consideremos la funcion de variable real denida por
(x) =
_
0, si x (1, 0]
x, si x (0, 1).
Esta funcion es continua en (1, 1) pero no derivable en (1, 1) pues la derivada de
no existe en el punto 0. Construyamos la funcion real en el intervalo (1, 1) del
modo siguiente:
(x) :=
_
1
1
(t) dt.
Obviamente, la funcion es derivable en todos los puntos del intervalo (1, 1) y su
derivada es la funcion continua , la cual no es derivable en el abierto (1, 1).
A continuacion veremos como las funciones de variable compleja tiene otras propiedades
insospechadas para quien conozca la teora de funciones de una o incluso dos variables
reales.
Corolario 3.9. Si f = u +iv es una funcion analtica en el abierto A C entonces u
y v son de clase C
en A.
Demostracion. Tenemos que
f
(z) = u
x
(x, y) + iv
x
(x, y) = v
y
(x, y) u
y
(x, y).
Como f
es analtica en A, es continua en A, lo que implica que la parte real y la parte

imaginaria de f
son continuas en A. Ahora

f
(z) = u
xx
(x, y) + iv
xx
(x, y) = v
yx
(x, y) u
yx
(x, y).
al ser f
analtica en A es, por tanto, continua en A. Siguiendo esta lnea de razona-

miento se prueba el corolario por induccion.
3.6.1. Desigualdades de Cauchy
Corolario 3.10. Sea f una funcion analtica en un dominio D, un contorno cerrado
(curva cerrada simple) contenido en D que encierra solo puntos de D, z
0
uno de estos
3.6. CONSECUENCIAS DEL TEOREMA DE CAUCHY 83
puntos encerrados por y que no estan en el contorno, d la distancia entre z
0
y y
M = max |f(z)| z . Entonces
|f
(n)
(z
0
)|
n!
2
M
d
n+1
l(), n = 0, 1, 2, (3.15)
siendo l() la longitud del contorno .
Si es una circunferencia de radio R centrada en z
0
, se tiene que
|f
(n)
(z
0
)|
n!
R
n
M, n = 0, 1, 2, . (3.16)
Demostracion. Se prueba usando de la formula (3.14).
3.6.2. Teorema de Liouville
Corolario 3.11 (Teorema de Liouville). Sea f una funcion de variable compleja
entera (analtica en todo el plano) y acotada. Entonces f es constante (en todo C).
Demostracion. Como f esta acotada, existe una constante positiva M > 0, tal que
|f(z)| M, z C. Sea z
0
un punto arbitrario de C, teniendo en cuenta la desigualdad
de Cauchy (3.16) podemos escribir que
|f
(z
0
)|
M
R
, R > 0, (3.17)
pues al ser f entera podemos considerar circunferencias de cualquier radio R centradas
en z
0
. Luego |f
(z
0
)| es menor o igual que un n umero arbitrariamente peque no, y esto
solamente es posible si |f
(z
0
)| = 0 o, equivalentemente, f
(z
0
) = 0. Como z
0
es un
punto arbitrario de C el resultado anterior implica que f
(z) = 0, para todo z C.

Como el plano complejo es conexo entonces f(z) es constante en C.
3.6.3. Teorema de Morera
El teorema de Morera puede ser considerado, desde cierto punto de vista, como el
recproco del teorema de Cauchy.
Teorema 3.11 (Teorema de Morera). Sean D un dominio del plano complejo y f
una funcion continua en D, tal que, para todo contorno cerrado contenido en D se
verica que
_
f(z) dz = 0, (3.18)
entonces f es analtica en D.
84 CAP
ITULO 3. INTEGRACI
Demostracion. El apartado (ii) del teorema de la independencia del camino Teor. 3.3
(
_
f = 0 C
1
a trozos contenida en D) nos dice que existe una funcion analtica F
en D tal que F
(z) = f(z), z D. Al ser F analtica en D su derivada tambien es

analtica en D.
3.6.4. Teorema fundamental del algebra
Este teorema es un importante resultado, como ya indica su nombre (teorema fun-
damental del algebra), que nos dice que todo polinomio de orden n tiene al menos
una raz en el cuerpo de los n umeros complejos. A partir de aqu, y usando nociones
elementales de algebra, se obtiene que un polinomio de orden n tiene a lo mas n races
complejas.
Ejercicio 3.5. Probar que dado un polinomio complejo P(z) de grado n(n 1) existen
dos constantes positivas, M 0 y K 1, tales que si |z| > K se tiene que |P(z)|
M|z|
n
.
Teorema 3.12 (Teorema fundamental del algebra). Sea
P(z) =
0
z
n
+
1
z
n1
+ . . . +
n1
z +
n
un polinomio en la variable z, de grado n 1, con coecientes
0
,
1
, . . . ,
n
, n umeros
complejos (jos). Entonces la ecuacion P(z) = 0 tiene, al menos, una raz (es decir,
existe un cierto z
0
C tal que P(z
0
) = 0).
Demostracion. Razonemos por reduccion al absurdo y supongamos que tal raz no
existe, esto es P(z) = 0 z C. Ello nos va a llevar a probar que f = 1/P esta acotada
en C pero que no es constante en C contradiciendo el teorema de Liouville.
Sea ahora la funcion f(z) = 1/P(z). Como P(z) no se anula en ning un punto de C y
es una funcion entera, por ser un polinomio en z, entonces f(z) es tambien entera.
Usando el resultado del ejercicio (3.5) existen dos constantes positivas, M > 0 (pues
P no se anula nunca en C) y K 1, tales que si |z| > K se tiene que |P(z)| M|z|
n
.
Entonces
|f(z)|
1
|P(z)|

1
M
1
|z|
n
, z C t.q. |z| > K,
Esto implica que
lm
|z|
|f(z)| = 0, (3.19)
en otras palabras, > 0, R > 0 tal que si |z| > R entonces |f(z)| < . En efecto,
jado > 0 elijamos un R tal que R = max {(1/M)
1/n
, K} entonces z con |z| > R
se tiene que
|f(z)|
1
M
1
|z|
n

1
M
1
R
n

1
M
1
[(1/M)
1/n
]
n
= .
Este resultado nos dice que si |z| > R (con R = max {(1/M)
1/n
, K}) entonces f(z)
esta acotada por .
Sea ahora |z| R. El conjunto de tales n umeros complejos forma el disco cerrado
centrado en el origen y de radio R, D(0, R), que es un compacto. Al ser f(z) analtica,
es continua y lo es, en particular, en D(0, R). Como toda funcion continua en un
compacto esta acotada, existe, por lo tanto, una constante M
tal que |f(z)| M
si
z D(0, R), es decir, si |z| R. De aqu que si
N = max {M
, } = |f(z)| N, z C.
Por lo tanto tenemos que f es entera y acotada, luego por el teorema de Liouville f es
una constante. Sin embargo, como f =
1
P
se desprende que P debe ser una constante.
Lo cual no es as, ya que el grado de P es mayor o igual a uno y
n
= 0.
3.6.5. El teorema del modulo maximo
En este caso tambien volvemos a encontrarnos con un resultado tpico de la Teora
de Funciones de Variable Compleja, que no tiene su contrapartida en variable real. El
teorema del modulo maximo viene a decir lo siguiente: si una funcion es analtica en
un dominio y su frontera, entonces o bien es constante o bien el maximo de su modulo
recae en un punto de la frontera. Esta idea es falsa en variable real, como podemos
comprobar con el siguiente ejemplo.
Ejemplo 3.4. Consideremos la funcion (x) = e
x
2
.
Esta funcion es indenidamente derivable en toda la recta real y, en particular, en el
intervalo [1, 1]. La funcion (x) no es constante y en el intervalo [1, 1] el maximo
del modulo esta en x = 0 y no en un punto de la frontera, que es el conjunto {1, 1}.
Este maximo es, obviamente, |(0)| = (0) = e
0
= 1.
Ejercicio 3.6 (Propiedad del valor medio). Sea f analtica en un abierto del plano
complejo y sea D(z
0
, ) un disco cerrado contenido en dicho abierto. Demostrar que
f(z
0
) =
1
2
_
2
0
f(z
0
+ e
i
) d.
El resultado del ejercicio anterior nos muestra que el valor de f en el punto z
0
es la
media de los valores que toma f en la circunferencia centrada en z
0
y de radio .
86 CAP
ITULO 3. INTEGRACI
Teorema 3.13 (Principio del modulo maximo (version local)). Sea f analtica
en un dominio D C y z
0
D. Supongamos que |f| posee un maximo relativo en z
0
.
Entonces f es constante en un entorno de z
0
.
Demostracion.
Como f tiene un maximo relativo en z
0
existe un disco abierto D(z
0
,
0
) D tal que
|f(z)| |f(z
0
)| z D(z
0
,
0
).
Supongamos que existe un punto z = z
0
+ e
i
D(z
0
,
0
) tal que |f(z)| < |f(z
0
)|,
luego
0
. Como f es continua en D(z
0
,
0
) entonces existiran > 0 y > 0 tal
que (ver Ejercicio 1.5)
|f(z
0
+ e
i
)| < |f(z
0
)| , [ , + ].
Consideremos la circunferencia centrada en z
0
y de radio : () = z
0
+ e
i(+)
,
[, ]. Aplicando la propiedad del valor medio (Ejerc. 3.6) tenemos que
|f(z
0
)| =
1
2
f(z
0
+ e
i(+)
) d
=
1
2
f(z
0
+ e
i(+)
) d +
_

f(z
0
+ e
i(+)
) d +
_

f(z
0
+ e
i(+)
) d
1
2
_

f(z
0
+ e
i(+)
)
d +
1
2
_

f(z
0
+ e
i(+)
)
d
+
1
2
_

f(z
0
+ e
i(+)
)
d.
De acuerdo con lo anterior tenemos que
_

f(z
0
+ e
i(+)
)
d |f(z
0
)|(),
_

f(z
0
+ e
i(+)
)
d |f(z
0
)| (),
y
_

f(z
0
+ e
i(+)
)
d < 2 (|f(z
0
)| ).
Con lo que obtenemos que
|f(z
0
)| <
1
2
(2|f(z
0
)| ( ) + 2 (|f(z
0
)| ) = |f(z
0
)| < |f(z
0
)|

.
Hemos llegado a un absurdo, luego no puede existir ning un punto z de D(z
0
,
0
) tal
que |f(z)| < |f(z
0
)| para todo z de D(z
0
,
0
), lo que implica que |f| es constante en
D(z
0
,
0
). Usando el resultado del Ejercicio 1.11 se demuestra que f es constante en
D(z
0
,
0
).
Hemos probado una version local del Principio del modulo maximo, que viene a decir
que una funcion analtica no puede tener un maximo local en un punto excepto que
sea constante en los alrededores de ese punto.
Antes de abordar el teorema del modulo maximo hemos de recordar que toda funcion
compleja de variable compleja, f, continua en un compacto K del plano complejo,
esta acotada. Ademas existe un z
0
K tal que |f(z
0
)| = max
zK
|f(z)|. Este resultado
es un caso particular del mismo referido a espacio metricos, por lo que su demostracion
se omite.
Recordemos tambien que dado un conjunto abierto A entonces la clausura o adherencia
de A, A viene dada por A = A A siendo A la frontera de A.
Teorema 3.14 (Principio del modulo maximo global). Sea f una funcion analti-
ca en un dominio acotado D C y continua en la frontera, D, de D. Entonces
M = max
zD
|f(z)| si existe se alcanza en D, o bien f es constante en D.
Demostracion.
Sean
M = sup
zD
|f(z)|, M
= sup
zD
|f(z)|
es decir, M y M
son los supremos de |f(z)| en D y D, respectivamente. Por ser D

y D cerrados y acotados en C son subconjuntos compactos en C. De esta manera
existen dos puntos z
0
D y z
1
D tales que
M = |f(z
0
)|, K
= |f(z
1
)|.
Notemos que los puntos z
0
y z
1
con estas propiedades existen, pero no tienen porque ser
unicos.
Dos situaciones son posibles:
1. Ning un z
0
tal que |f(z
0
)| = M esta en D. Entonces, obviamente estos puntos z
0
tienen que estar en D. De modo que M = M
.
2. Existe un z
0
con |f(z
0
)| = M en D. Por el teorema anterior, existe un disco
abierto D(z
0
, ) tal que f(z) es constante (y, por lo tanto, igual a f(z
0
)) en
D(z
o
, ).
Consideremos el conjunto H = {z D / f(z) = f(z
0
)}. Sea H, por tanto
f() = f(z
0
), entonces |f()| = |f(z
0
)| = M = sup
zD
|f(z)|. De modo que en todos
los puntos z de cada entorno de contenido en D, se tiene que |f(z)| |f()|. Por
88 CAP
ITULO 3. INTEGRACI
el teorema anterior existe un disco abierto centrado en , D(,
), tal que f(z) =

f() z D(,
), luego D(,
) H. Como H es arbitrario, vemos que todo

punto de H tiene un disco abierto centrado en dicho punto totalmente contenido en
H. Por consiguiente, H es abierto. Sin embargo, H es tambien cerrado pues H =
f
1
({f(z
0
)}) = {z H; f(z) = f(z
0
)} y como f es continua la imagen inversa por f
de un cerrado ({f(z
0
)}) es un cerrado (H). Por tanto H es abierto y cerrado en D, que
es conexo por hipotesis. Existen entonces dos posibilidades:
1. H = . Es decir, no existe z
0
D, tal que M = |f(z
0
)| y, por lo tanto este z
0
debe de estar en A A = A. Como en la situacion estudiada anteriormente, el
maximo del modulo de f esta en la frontera de A y M = M
.
2. H = D. Entonces, obviamente, f es constante en D (y, por continuidad, en D).
Concluimos, pues, que o bien M = max
zD
|f(z)| se alcanza en la frontera de D, o bien
f es constante en D.
Captulo 4
Series de potencias y funciones
analticas
En este captulo veremos como una funcion de variable compleja puede desarrollarse
en serie de potencias. Probaremos que toda funcion analtica en un punto puede desa-
rrollarse en serie de potencias en un disco abierto centrado en dicho punto. Recproca-
mente, cuando una funcion pueda desarrollarse en serie de potencias en, por ejemplo,
un disco alrededor de un cierto punto demostraremos que dicha funcion es analtica en
dicha region. Estos resultados no llevan a concluir que las nociones de analiticidad y
desarrollo en serie de potencias son, en cierto modo, equivalentes.
4.1. Sucesiones y series de funciones
4.1.1. Sucesiones y series de n umeros complejos: conceptos
basicos
Diremos que una sucesion de n umeros complejos {z
n
}
n=0
converge a z C si
> 0, N N t.q. si n N entonces |z
n
z| < .
En otras palabras, lm
n
z
n
= z.
Ejercicio 4.1. Probar que si el lmite de una sucesion existe entonces es unico.
Ejercicio 4.2. Demostrar que
lm
n
z
n
= z si y solo si lm
n
Rz
n
= Rz y lm
n
Imz
n
= Imz .
89
90 CAP
ITULO 4. SERIES DE POTENCIAS Y FUNCIONES ANAL
ITICAS
El criterio de convergencia de Cauchy para sucesiones de n umeros reales se puede
generalizar para sucesiones de n umeros complejos.
Teorema 4.1 (Criterio de Cauchy). La sucesion de n umeros complejos {z
n
}
n=0
es
convergente si y solo si
> 0, N N t.q. si m, n N entonces |z
m
z
n
| < .
Ejercicio 4.3. Demostrar el Criterio de Cauchy.
La serie de n umeros complejos
n=0
z
n
converge al n umero complejo s si la sucesion
de sumas parciales {S
N
=
N
n=0
z
n
}
N=0
converge a s.
Ejercicio 4.4. Probar que que la serie
n=0
z
n
converge si y solo si las series
n=0
Rz
n
y
n=0
Imz
n
convergen.
Diremos que la serie de n umeros complejos
n=0
z
n
es absolutamente convergente si
la serie
n=0
|z
n
| converge.
Ejercicio 4.5. Demostrar que, al igual que ocurre con las series de n umeros reales, si
n=0
z
n
es absolutamente convergente entonces converge (el recproco no es cierto).
Otro resultado de las series de n umeros reales que se generaliza inmediatamente a las
series de n umeros complejos aparece en el ejercicio siguiente.
Ejercicio 4.6. Si
n=0
z
n
converge entonces lm
n
z
n
= 0 (el recproco no es cierto).
4.1.2. Sucesiones y series de funciones
Consideremos una sucesion de funciones {f
n
: A C}
n=0
siendo A un conjunto de C.
Dicha sucesion de funciones converge puntualmente a la funcion f en A si para todo
z A
lm
n
f
n
(z) = f(z).
La serie de funciones
n=0
f
n
converge puntualmente a la funcion f en A si para todo
z A
n=0
f
n
(z) = f(z).
Denicion 4.1. La sucesion de funciones {f
n
: A C}
n=0
converge uniformemente
a la funci on f en A si
> 0, N N t.q. si n N entonces |f
n
(z) f(z)| < , z A.
4.1. SUCESIONES Y SERIES DE FUNCIONES 91
Denici on 4.2. La serie de funciones {
n=0
f
n
}
n=0
converge uniformemente a la
funcion f en A si
> 0, N N t.q. si n N entonces |
n=0
f
n
(z) f(z)| < , z A.
La convergencia uniforme implica la convergencia puntual pero el recproco no es cierto.
En la convergencia puntual jado un el N |N necesario puede depender de cada
z A. Sin embargo, en la convergencia uniforme jado el el N |N que debemos
encontrar es valido para todo z A.
El criterio de Cauchy (Teorema 4.1) se reformula para la convergencia absoluta de
sucesiones (y de series) de funciones del modo siguiente:
la sucesion de funciones {f
n
: A C}
n=0
converge absolutamente a la funcion f en A
si y solo si
> 0, N N t.q. si m, n N entonces |f
m
(z) f
n
(z)| < z A.
Ejercicio 4.7. Probar el criterio de Cauchy para la convergencia absoluta de sucesiones
(y de series) de funciones.
Teorema 4.2 (Criterio M de Weierstrass). Sea la sucesion de funciones {f
n
:}
n=0
de A en C tal que |f
n
(z)| M
n
, z A y n N. Si la serie
n=0
M
n
es convergente
entonces la serie de funciones
n=0
f
n
converge absolutamente y uniformente en A.
Demostracion.- Si aplicamos el criterio de Cauchy para la convergencia uniforme la
prueba es inmediata, basta tomar m < n entonces
k=m+1
f
n
(z)
k=m+1
f
n
(z)
k=m+1
M
n
.
Si tenemos una sucesion de funciones continuas {f
n
: A C}
n=0
que converge unifor-
memente en A a la funcion f entonces f : A C es continua. Un resultado similar es
valido para series de funciones continuas.
Ejercicio 4.8. Probar esta armacion.
Lema 4.1. Sea una sucesion de funciones continuas {f
n
: A C}
n=0
que converge
uniformemente en A a la funcion f y una curva de clase C
1
a trozos contenida en
A entonces
lm
n
_
f
n
=
_
f =
_
lm
n
f
n
.
92 CAP
ITICAS
Si la serie de funciones
n=0
f
n
converge uniformemente en A entonces
_
n=0
f
n
=
n=0
_
f
n
.
Demostracion.- La funcion f = lm
n
f
n
es continua por ser la convergencia uni-
forme entonces jado un > 0 existe un N N tal que |f
m
(z) f(z)| < z A si
m N. Luego
f
m
(f
m
f)
f
m
(z) f(z)
|dz| l(), m > N.

Teorema 4.3 (de la convergencia analtica). Sea {f
n
}
n=0
una sucesion de funcio-
nes analticas en un abierto A C tal que converge uniformemente a la funcion f en
cada disco cerrado contenido en A. Entonces f es analtica en A y la sucesion de las
derivadas {f
n
}
n=0
converge a f
uniformemente en cada disco cerrado contenido en A.

Demostracion.- Puesto que la convergencia de {f
n
}
n=0
a la funcion f es uniforme en
discos cerrados contenidos en A f es continua en cada disco cerrado contenido en A
de modo que f es continua en A. Sea D(a, r) un disco cerrado centrado en un punto
a A y contenido en A y sea una curva cerrada de clase C
1
a trozos contenida en
D(a, r). Entonces
_
f =
_
lm
n
f
n
= 0
por el lema anterior y por el teorema de Cauchy (pues f
n
es analtica y es homotopa
a un punto en D(a, r) A). Teniendo en cuenta el teorema de Morera se desprende
que f es analtica en D(a, r) y, por tanto, tambien en A.
La segunda parte del teorema se demuestra como sigue: como D(a, r) A existe un
R > r tal que D(a, R) A. Fijado un > 0, existe N N tal que |f
n
(w) f(w)| <
para todo w D(a, R) y n N N. Si z D(a, r) y es la circunferencia orientada
positivamente de centro a y radio R se tiene entonces, aplicando la formula integral de
Cauchy para la primera derivada, que
|f
n
(z) f
(z)| =
1
2
f
n
(w) f(w)
(w z)
2
dw
1
2
(R r)
2
2R =
R
(R r)
2
.
Corolario 4.1. Sea
n=0
f
n
una serie de funciones analticas en un abierto A C
que converge uniformemente a la funcion f en cada disco cerrado contenido en A.
Entonces f es analtica en A, y la serie de las funciones derivadas
n=0
f
n
converge
uniformemente a f
en cada disco cerrado contenido en A.

4.2. SERIES DE POTENCIAS 93
Observese que del corolario anterior se desprende que
d
dz
n=0
f
n
=
n=0
d f
n
dz
es decir, la serie se puede derivar termino a termino en A .
4.2. Series de potencias
En esta seccion vamos a tratar con series de funciones del tipo siguiente:
n=0
a
n
(z z
0
)
n
, z
0
C, a
n
C, n N, (4.1)
que se denominan series de potencias centradas en el punto z
0
.
Teorema 4.4 (Abel). Si una serie de potencias de la forma (4.1) converge absoluta-
mente cuando z = z
1
, siendo z
1
un n umero complejo jo, entonces dicha serie converge
absolutamente para cualquier z C tal que |z z
0
| < |z
1
z
0
| y la convergencia es
uniforme en cada disco cerrado D(z
0
, r) con r < |z
1
z
0
|.
Demostracion.- Por hipotesis la serie
n=0
a
n
(z
1
z
0
)
n
es convergente, lo que implica,
seg un hemos visto (ejercicio (4.6)), que el termino general de la serie tiende a cero, es
decir, lm
n
a
n
(z
1
z
0
)
n
= 0. Luego existe un M > 0 tal que |a
n
(z
1
z
0
)
n
| < M, n N.
Sea z C tal que |z z
0
| < |z
1
z
0
|, se tiene que
|z z
0
|
|z
1
z
0
|
= K < 1 ,
lo que implica que
|a
n
(z z
0
)
n
| = |a
n
(z z
0
)
n
|
|z
1
z
0
|
n
|z
1
z
0
|
n
= |a
n
(z
1
z
0
)
n
|
|z z
0
|
n
|z
1
z
0
|
n
MK
n
, n N,
con lo que la serie
n=0
MK
n
es convergente (=
M
1K
). Aplicando el Criterio M de
Weierstrass la serie
n=0
a
n
(z
1
z
0
)
n
converge absolutamente si |z z
0
| < |z
1
z
0
| y
uniformemente en cada disco cerrado D(z
0
, r) con r < |z
1
z
0
|.
Corolario 4.2. Para toda serie de potencias de tipo (4.1) existe un n umero real 0
R tal que la serie converge absolutamente si |z z
0
| < R y diverge si |z z
0
| > R.
La convergencia es uniforme en todo disco cerrado centrado en z
0
de radio r < R.
94 CAP
ITICAS
Obviamente R, si existe, debe de ser unico. Deniendo R como el supremo de todos los
n umeros reales |z z
0
| tales que la serie
n=0
|a
n
||z z
0
|
n
es convergente, y teniendo
en cuenta el teorema de Abel la demostracion es inmediata.
Denicion 4.3. Se denomina crculo de convergencia al disco abierto D(z
0
, R) en el
cual la serie de potencias
n=0
a
n
(z z
0
)
n
converge y radio de convergencia a R.
Corolario 4.3. Sea una serie de potencias (4.1) con radio de convergencia R > 0.
Entonces la suma de la serie es una funcion analtica en el disco de convergencia
D(z
0
, R), cuya derivada se obtiene derivando termino a termino la serie dada.
Demostracion.- Basta tener en cuenta el corolario 4.1 del teorema de la convergencia
analtica 4.3.
Corolario 4.4. Sea una serie de potencias
n=0
a
n
(z z
0
)
n
con radio de convergencia
R > 0. Entonces el radio de la serie derivada es tambien R.
Demostracion.- La serie derivada, que viene dada por
n=0
na
n
(z z
0
)
n1
,
diverge para |z z
0
| > R como vamos a ver. En efecto,
n|a
n
||z z
0
|
n1
=
1
|z z
0
|
n|a
n
||z z
0
|
n
1
|z z
0
|
|a
n
||z z
0
|
n
y basta tener en cuenta que el termino |a
n
||z z
0
|
n
no esta acotado si |z z
0
| > R
por la misma denicion de radio de convergencia. Por lo tanto el termino general de la
serie derivada no tiende a cero con lo que dicha serie no converge para |z z
0
| > R.
Corolario 4.5. Sea una serie de potencias f(z) =
n=0
a
n
(z z
0
)
n
con radio de
convergencia 0 < R . Entonces la derivada n-esima de f(z) viene dada por
f
(n)
(z) =
k=n
k(k 1) . . . (k n + 1)a
k
(z z
0
)
kn
, n N, z D(z
0
, R),
con radio de convergencia R para todas las series derivadas n-esimas. Los coecientes
a
k
de la series vienen dados por
a
k
=
f
(k)
(z
0
)
k!
, k N.
Ejercicio 4.9. Demostrar el corolario anterior.
4.2. SERIES DE POTENCIAS 95
Corolario 4.6 (unicidad de las series de potencias). Sean dos series de potencias
f(z) =
n=0
a
n
(z z
0
)
n
y g(z) =
n=0
b
n
(z z
0
)
n
. Si existe un r > 0 tal que
f(z) = g(z), z D(z
0
, r), entonces a
n
= b
n
, n = 0, 1, 2, . . . .
Un problema interesante es determinar el radio de convergencia de una serie de poten-
cias de tipo (4.1), para ello se utilizan los mismos procedimientos que en variable real.
Los mas usuales son el metodo del cociente y el de la raz.
Teorema 4.5. Sea la serie de potencias
n=0
a
n
(z z
0
)
n
.
1) Criterio del cociente: si existe el lmite
R = lm
n
|a
n
|
|a
n+1
|
. (4.2)
Entonces R es el radio de convergencia de la serie.
2) Criterio de la raz: si existe el lmite
= lm
n
|a
n
|
1/n
. (4.3)
Entonces R = 1/ es el radio de convergencia de la serie.
Demostracion.- Por el criterio del cociente la serie de potencias
n=0
|a
n
||z z
0
|
n
(z = z
0
) converge si
lm
n
|a
n+1
||z z
0
|
n+1
|a
n
||z z
0
|
n
= |z z
0
| lm
n
|a
n+1
|
|a
n
|
< 1,
y diverge si
|z z
0
| lm
n
|a
n+1
|
|a
n
|
> 1.
El criterio de la raz indica que la serie de potencias
n=0
|a
n
||zz
0
|
n
(z = z
0
) converge
si
lm
n
(|a
n
||z z
0
|
n
)
1/n
= |z z
0
| lm
n
|a
n
|
1/n
< 1,
y diverge si
|z z
0
| lm
n
|a
n
|
1/n
> 1.
Tambien la formula de Hadamard nos permite calcular el radio de convergencia
1
R
= lm sup
n
|a
n
|
1/n
96 CAP
ITICAS
Recordar que dada una sucesion de n umeros reales {x
n
}
n=1
se dene
lm sup
n
x
n
:= lm
n
(sup x
m
)
m>n
El lmite superior siempre existe, vale innito si y solo si la sucesion {x
k
}
k=1
no esta aco-
tada superiormente, y coincide con el lmite ordinario cuando dicho lmite existe.
Ejemplo 4.1. Calcular el radio de convergencia de la serie
n=0
n! z
n
.
Usando el criterio del cociente obtenemos
lm
n
n!
(n + 1)!
= 0 ,
luego R = 0. La serie converge si y solo si z = 0 y la suma es 0! = 1.
Ejemplo 4.2. Consideremos la serie
n=0
z
n
/n!.
Aplicando de nuevo el criterio del cociente se calcula el radio de convergencia
R = lm
n
1/n!
1/(n + 1)!
= .
Como el radio de convergencia de esta serie es innito entonces la serie converge en
todos los puntos de C (a la funcion exponencial e
z
, como veremos en el ejemplo 4.6).
Ejemplo 4.3.
n=0
z
n
.
Usando de nuevo el criterio del cociente vemos que R = 1. Luego, la serie converge
en el disco unidad abierto D(0, 1). Podemos preguntarnos si tambien converge en la
frontera del disco, que es la circunferencia de radio unidad. Un punto arbitrario de
dicha circunferencia es de la forma z = e
i
con lo cual la serie en tal punto se escribe
n=0
e
in
y no puede converger porque e
in
no tiende a cero ya que |e
in
| = 1 para todo n.
Entonces la serie no converge en ning un punto de la circunferencia de radio unidad.
Ejemplo 4.4.
n=1
z
n
n
.
4.3. TEOREMA DE TAYLOR 97
De nuevo el criterio del cociente muestra que R = 1. En la circunferencia unidad ahora
hay puntos en los cuales la serie converge y puntos en los que no. Sin embargo, la serie
nunca converge absolutamente en la circunferencia unidad, ya que all
n=1
|z|
n
n
=
n=0
1
n
= .
Analogamente, la serie diverge para z = 1. Sin embargo en z = 1 obtenemos la serie
n=1
(1)
n
/n que converge, aunque no absolutamente, ya que es una serie alternada
cuyo termino general tiende a cero.
Ejemplo 4.5.
n=1
z
n
n
2
.
Por el criterio del cociente obtenemos que el radio de convergencia es uno. Pero
aqu cuando |z| = 1, se tiene que
n=1
1
n
2
< ,
que es una serie de terminos positivos tpicamente convergente. De esta manera, la
serie converge en todo el disco unidad cerrado D(0, 1).
4.3. Teorema de Taylor
Teorema 4.6 (Taylor). Sean f(z) una funcion analtica en un abierto A C, z
0
un punto de A y D(z
0
, r) un disco abierto contenido en A. Entonces f(z) se puede
desarrollar en serie de Taylor
f(z) =
n=0
f
(n
(z
0
)
n!
(z z
0
)
n
, z D(z
0
, r). (4.4)
Demostracion.- Consideremos 0 < < r, un punto z D(z
0
, ) y la circunferencia,
, centrada en z y radio . Aplicando la formula integral de Cauchy se tiene
f(z) =
1
2i
_
f()
z
d.
Reescribiendo
1
z
=
1
z
0
+ z
0
z
=
1
z
0
1
1
zz
0
z
0
=
1
z
0
n=0
_
z z
0
z
0
_
n
,
98 CAP
ITICAS
z
0 r !
g
w
"
Figura 4.1: Teorema de Taylor
donde se ha tenido en cuenta que como entonces |z z
0
| < = | z
0
|. Al
ser la funcion f analtica en entonces f esta acotada en (M > 0 t.q. |f()| <
M w ) y podemos escribir
f()
z
0
z z
0
z
0
n
<
M
z z
0
n
, w .
La serie
M
n=0
z z
0
n
es una progresion geometrica de razon menor que uno y, por
tanto, es convergente. Usando el criterio M de Weierstrass la serie
f()
z
0
n=0
_
z z
0
z
0
_
n
converge absoluta y uniformemente en D(z
0
, ). Luego hemos encontrado que
f()
z
=
f()
z
0
n=0
_
z z
0
z
0
_
n
.
Integrando la serie termino a termino y luego teniendo en cuenta la formula integral
de Cauchy para las derivadas obtenemos que
f(z) =
1
2i
n=0
_
f()
( z
0
)
n+1
(z z
0
)
n
d
=
n=0
(z z
0
)
n
1
2i
_
f()
( z
0
)
n+1
d =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
4.3. TEOREMA DE TAYLOR 99
Luego queda probado que la funcion f(z) puede desarrollarse en serie de Taylor (4.4)
para todo z D(z
0
, ) con 0 < < r. Al ser arbitrario el desarrollo de Taylor es
valido para todo z D(z
0
, r). .
Ejemplo 4.6. Funcion exponencial: f(z) = e
z
.
Sea z un punto arbitrario del plano complejo. Consideremos ahora una circunferencia
centrada en el origen y de radio R > |z| . Aplicando el Teorema de Taylor, teniendo en
cuenta que f(z) = e
z
es entera y, por tanto, es analtica en D(0, R) y que z D(0, R).
Entonces el desarrollo de Taylor en torno al origen sera
e
z
=
n=0
f
(n
(0)
n!
z
n
=
n=0
1
n!
z
n
. (4.5)
Este razonamiento es valido cualquiera que sea el punto z C. Por consiguiente, el
desarrollo en serie (4.5) es valido para todo z C.
Ejemplo 4.7. Funciones seno y coseno.
Siguiendo el mismo razonamiento que en el caso de la funcion exponencial, llegamos a
la conclusion que la funcion f(z) = sen z admite un desarrollo en serie en todo el plano
complejo en torno al origen:
sen z =
n=0
(1)
n
(2n + 1)!
z
2n+1
. (4.6)
Lo mismo podemos asegurar para la funcion f(z) = cos z, cuyo desarrollo en serie en
torno al origen es
cos z =
n=0
(1)
n
(2n)!
z
2n
. (4.7)
Ejemplo 4.8. Funcion f(z) = (1 z)
1
.
Esta funcion es analtica en C {1} pues en z = 1 se anula el denominador y, por
tanto, es analtica en el disco abierto D(0, 1) (disco unidad), de modo que podemos
aplicar el Teorema de Taylor en el interior del disco unidad. Las derivadas sucesivas de
f(z) son:
f
(z) =
1
(1 z)
2
, f
(z) =
2
(1 z)
3
, f
(z) =
3!
(1 z)
4
, , f
(n
(z) =
n!
(1 z)
(n+1)
,
Los valores de las derivadas sucesivas en el origen son obviamente:
f(0) = 1 , f
(0) = 1 , f
(0) = 2 , f
(0) = 3! , . . . , f
(n
= n! , . . .
100 CAP
ITICAS
Finalmente, usando la expresion (4.4), llegamos a que
1
1 z
=
n=0
z
n
= 1 + z + z
2
+ + z
n
+ . (4.8)
Ahora bien, contrariamente a lo que suceda en los ejemplos anteriores, el desarrollo en
serie (4.8) es tan solo valido en el interior del disco unidad (resultado que se obtiene
del Teorema de Taylor). Esta serie (4.8) recibe el nombre de serie geometrica.
Ejemplo 4.9. Funcion f(z) = (1 + z)
1
.
Podemos estudiarla directamente, tal y como hicimos en el ejemplo anterior, o bien
haciendo el cambio = z que nos transforma la funcion f(z) = (1 + z)
1
en
1
1
=
n=0
n
.
Deshaciendo de nuevo el cambio llegamos a
f(z) =
1
1 + z
= 1 z + z
2
z
3
+ + (1)
n
z
n
+ =
n=0
(1)
n
z
n
.
Esta ultima serie es tambien convergente en D(0, 1) ({|z| < 1}).
Denicion 4.4. Diremos que una funcion analtica f denida en un abierto A del
plano complejo admite un cero en un punto z
0
A si f(z
0
) = 0.
Se dice que es un cero de orden k si
f(z
0
) = f
(z
0
) = f
(z
0
) = = f
(k1)
(z
0
) = 0, f
(k)
(z
0
) = 0.
Si f tiene un cero de orden k en z
0
existe un r > 0 tal que f admite un desarrollo de
Taylor para todo z C tal que |z z
0
| < r
f(z) =
n=k
f
(n)
(z
0
)
n!
(z z
0
)
n
= (z z
0
)
k
n=0
f
(n+k)
(z
0
)
(n + k)!
(z z
0
)
n
= (z z
0
)
k
g(z) .
Obviamente, la funcion g(z) al ser una serie de potencias convergente es analtica en
D(z
0
, r) y verica que g(z
0
) = 0.
Ejercicio 4.10. Demostrar que si f es una funcion analtica en un abierto A C
y z
0
un cero de f(z). Entonces se vericara una y solo una de las dos siguientes
posibilidades:
4.4. TEOREMA DE LAURENT 101
1. Existe un entorno U de z
0
tal que z = z
0
U se tiene que f(z) = 0.
2. Existe un entorno V de z
0
tal que f se anula en todo punto de V .
Este ejercicio nos dice que los ceros de una funcion analtica estan o bien aislados
(existe un entorno de los mismos en el cual no hay mas puntos en los cuales la funcion
se anule) o bien la funcion se anula tambien en todos los puntos de un entorno del
punto en el cual la funcion se anule.
4.4. Teorema de Laurent
En esta seccion vamos a estudiar series de potencias del tipo
f(z) =
n=1
b
n
(z z
0
)
n
.
Notese que el cambio de variable w = (z z
0
)
1
nos lleva a una serie de potencias
positivas (del tipo (4.1)) Como vimos, existira un 0 R tal que la serie original
es convergente si |z z
0
| > R y divergente si |z z
0
| < R. Ademas la convergencia es
absoluta y uniforme a una funcion analtica en C D(z
0
, r) para todo r > R.
La forma mas general de una serie de potencias (serie de Laurent) sera
f(z) =
n=0
a
n
(z z
0
)
n
+
n=1
b
n
(z z
0
)
n
, (4.9)
que podemos escribir de forma abreviada como
f(z) =
n=
c
n
(z z
0
)
n
.
Es obvio que las potencias positivas convergera absolutamente en un disco D(z
0
, R
2
) y
la serie de potencias negativas para |zz
0
| > R
1
. Luego f estara denida y sera analtica
en la corona circular centrada en z
0
C(z
0
; R
1
, R
2
) = {z C t.q. R
1
< |z z
0
| < R
2
} ,
siempre que 0 R
1
< R
2
. La convergencia sera absoluta y uniforme en toda
subcorona cerrada contenida en C(z
0
; R
1
, R
2
).
102 CAP
ITICAS
z
0
R
1
R
2
g
1
g
2
g
S
!
w
2
w
1
w
Figura 4.2: Teorema de Laurent
Teorema 4.7. Teorema de Laurent.- Sea f una funcion analtica en una corona
circular C(z
0
; R
1
, R
2
) C con 0 R
1
< R
2
. Entonces f se puede desarrollar en
serie de Laurent
f(z) =
k=
c
k
(z z
0
)
k
, z C(z
0
; R
1
, R
2
), (4.10)
y tal que los coecientes c
k
vienen dados por
c
k
=
1
2i
_
f(z)
(z z
0
)
k+1
d z , k Z, (4.11)
siendo una circunferencia con centro en z
0
y radio r tal que R
1
< r < R
2
orien-
tada positivamente. La serie de potencias converge absoluta y uniformemente en cada
subcorona cerrada contenida en C(z
0
; R
1
, R
2
).
Demostracion.- Sea la corona C(z
0
; R
1
, R
2
) C y consideremos la subcorona cerrada
C(z
0
; r
1
, r
2
) C(z
0
; R
1
, R
2
) con R
1
< r
1
< r
2
< R
2
. Sean
1
y
2
las circunferencias
centradas en z
0
de radios r
1
y r
2
, respectivamente, orientadas positivamente.
Consideremos el contorno cerrado =
2
+ S
1
S que es, obviamente, homotopo
a un punto en C(z
0
; R
1
, R
2
). Aplicando la formula integral de Cauchy para todo z de
4.4. TEOREMA DE LAURENT 103
la corona C(z
0
; r
1
, r
2
) obtenemos el resultado siguiente
f(z) =
1
2i
_
f()
z
d =
1
2i
_
2
f()
z
d
1
2i
_
1
f()
z
d f
2
(z) f
1
(z).
La primera integral, f
2
(z), se puede desarrollar en serie de potencias de z z
0
mediante
el procedimiento seguido en la demostracion del teorema de Taylor obteniendose
f
2
(z) =
1
2i
_
2
f()
z
0
n=0
_
z z
0
z
0
_
n
d =
n=0
(z z
0
)
n
1
2i
_
2
f()
( z
0
)
n+1
d.
En cuanto a la segunda integral, f
1
(z), se puede desarrollar como
f
1
(z) =
1
2i
_
1
f()
n=0
( z
0
)
n
(z z
0
)
n+1
d =
n=0
(zz
0
)
n1
1
2i
_
1
f()
( z
0
)
n+1
d,
debido a que
1
z
=
1
(z z
0
)
1
1
z
0
zz
0
=
n=0
( z
0
)
n
(z z
0
)
n+1
,
pues en este caso r
1
= | z
0
| < |z z
0
|, y a que la convergencia es uniforme.
Ejemplo 4.10. f(z) = e
1/z
.
El cambio = 1/z transforma f(z) en la funcion exponencial e
, que admite, para

todo valor de , el siguiente desarrollo en serie:
e
n=0
n
n!
=
n=0
1
z
n
n!
= 1 +
1
z
+
1
2z
2
+
1
3! z
3
+ +
1
n! z
n
+ . (4.12)
Esta claro que este desarrollo en serie no tiene sentido cuando z = 0 pero converge si
|1/z| < , es decir si 0 < |z|. Este es un ejemplo de desarrollo en serie de Laurent en
el cual la corona tiene R
2
= y R
1
= 0.
Ejemplo.- Consideremos la serie:

1
z
n
+ +
1
z
2
+
1
z
+ 1 + z + z
2
+ + z
n
+ (4.13)
La serie de potencias positivas en (4.13) es la serie geometrica
n=0
z
n
que converge
a 1/(1 z) si |z| < 1. En cuanto a la serie de potencias negativas en (4.13), la cual es
n=1
z
n
, converge cuando || < 1, siendo = 1/z. De esta manera vemos que dicha
serie converge si |z| > 1. Ademas, si z = e
i
, es decir si |z| = 1, ninguna de las dos
104 CAP
ITICAS
series puede converger ya que su termino general no tiende a cero. Luego la serie (4.13)
realmente no converge en ning un punto de C.
Por otra parte, haciendo el cambio := z
1
, vemos que la serie
n=1
z
n
, si |z| > 1,
converge a
1
1 1/z
=
z
z 1
.
4.5. Productos y cocientes de series de potencias
Sean f(z) :=
n=0
a
n
(z z
0
)
n
y g(z) :=
n=0
b
n
(z z
0
)
n
dos series de potencias con
radios de convergencia R
1
y R
2
, respectivamente, es decir ambas series de potencias
convergen a dos funciones analticas en los discos D(z
0
, R
1
) y D(z
0
, R
2
). Supongamos
que R
1
< R
2
, entonces f(z) y g(z) seran ambas analticas en el disco mas peque no,
es decir D(z
0
, R
1
). En dicho disco, el producto f(z) g(z) (f g)(z) es tambien
una funcion analtica y, por el Teorema de Taylor, desarrollable en serie de potencias
positivas en torno a z
0
:
f(z) g(z) =
n=0
c
n
(z z
0
)
n
. (4.14)
Nuestro problema es ahora calcular los coecientes c
n
en terminos de los a
n
y b
n
.
Usando la expresion (4.4) se tiene que
c
n
=
(f g)
(n)
(z
0
)
n!
,
de modo que teniendo en cuenta que a
n
= f
(n)
(z
0
)/n! y b
n
= g)
(n)
(z
0
)n! obtenemos
c
n
= a
n
b
0
+ a
n1
b
1
+ . . . a
k
b
nk
+ + a
n
b
0
=
n
i=0
a
i
b
ni
, (4.15)
que coincide, obviamente, con el que se obtiene multiplicando formalmente las series
termino a termino
f(z) g(z) =
m=0
n=0
a
m
b
n
(z z
0
)
m+n
=
p=0
_
p
m=0
a
m
b
pm
_
(z z
0
)
p
.
Ejercicio 4.11. Calcular la expresion (4.15) del termino general c
n
.
Supongamos ahora que la funcion g(z) no admite ning un cero en el disco D(z
0
, R
1
).
Podemos, por tanto, considerar el cociente
_
f
g
_
(z)
f(z)
g(z)
=
n=0
c
n
(z z
0
)
n
, (4.16)
4.6. SINGULARIDADES AISLADAS: SU CLASIFICACI
ON 105
que sabemos representa una funcion analtica c(z) en D(z
0
, R
1
).
En este caso, el calculo de los coecientes c
n
en terminos de los coecientes a
n
y b
n
del desarrollo de f(z) y del de g(z), respectivamente, no es tan sencillo como para el
producto, pues, aunque
c
n
=
1
n!
_
f
g
_
(n)
(z
0
),
las expresiones de los primeros coecientes c
n
c
0
=
a
0
b
0
c
1
=
b
1
a
0
a
1
b
0
b
2
0
c
2
= 2
(b
1
a
0
a
1
b
0
) b
1
b
2
0
(b
2
a
0
b
2
a
0
)
b
4
0
.
muestran la dicultad de obtener la forma general de los c
n
en funcion de los a
n
y b
n
.
Otra forma de obtener los coecientes c
n
consiste en considerar
f(z)
g(z)
= c(z) =f(z) = g(z) c(z)
con lo que tenemos una igualdad de series
n=0
a
n
(z z
0
)
n
=
_

n=0
b
n
(z z
0
)
n
_
n=0
c
n
(z z
0
)
n
_
,
e igualando los coecientes termino a termino
a
n
=
n
i=0
b
i
c
ni
podemos encontrar los coecientes c
n
.
4.6. Singularidades aisladas: su clasicacion
Denicion 4.5. Sea f una funcion analtica y z
0
un punto del plano complejo. Diremos
que z
0
es un punto singular aislado (o una singularidad aislada de f) si f es analtica
en un entorno de z
0
excepto en el punto z
0
.
Supongamos que f tiene un punto singular aislado en z
0
C, si aplicamos el teorema
de Laurent existe un r > 0 tal que f admite un desarrollo en serie de Laurent en la
106 CAP
ITICAS
corona C(z
0
; 0, r)
f(z) =
k=1
b
k
(z z
0
)
k
+
k=0
a
k
(z z
0
)
k
.
Analizando el desarrollo de Laurent de f en potencias de z z
0
podemos clasicar el
punto singular z
0
de f:
1. Si b
k
= 0 k N se dice que z
0
es una singularidad evitable de f.
2. Si b
p
= 0 y b
k
= 0 k < p se dice que z
0
es un polo de orden p de f. Si p = 1 el
polo se dice simple.
3. Si existen innitos coecientes b
k
= 0 se dice que z
0
es una singularidad esencial
de f.
Denicion 4.6. El residuo de la funcion f en el punto singular aislado z
0
es justa-
mente el valor del primer coeciente b
1
del desarrollo de Laurent de f en un entorno
de z
0
Res (f, z
0
) = b
1
.
Este coeciente se calcula, como hemos visto (4.11), mediante la integral:
b
1
=
1
2i
_
f(z) dz , (4.17)
siendo una circunferencia centrada en z
0
y contenida en la corona de convergencia
de la serie.
La serie
k=1
b
k
(z z
0
)
k
se denomina la parte principal del desarrollo de Laurent de
f en el punto z
0
.
Ejemplo 4.11. Consideremos la funcion f(z) = sen z/z.
Tanto numerador como denominador son funciones enteras. Sin embargo, el denomi-
nador se anula en z = 0, con lo que tenemos ah una dicultad. Pero como sen 0 = 0 y
ademas
lm
z0
sen z
z
= 1 , (4.18)
podemos denir f(0) := 1. De esta manera, la funcion esta denida en el origen y es,
ademas, contnua en el mismo. Por otro lado, desarrollando f(z) = (1/z) sen z en serie
de Taylor obtenemos
sen z
z
=
1
z
(z
z
3
3!
+
z
5
5!
+ . . . ) = 1
z
2
3!
+
z
4
5!
+ =
n=0
(1)
2n+1
(2n + 1)!
z
2n
. (4.19)
ON 107
Este desarrollo en serie es valido tambien en el origen, por lo que la serie que aparece
en (4.19) es entera (radio de convergencia innito, como puede probarse usando el
criterio del cociente). Notemos que para z = 0 el valor de la serie es igual a uno, luego
coincide con el de f en todos los puntos, luego f es entera pese a tener un cero en el
denominador, que queda en este caso cancelado con el cero en el numerador.
Teorema 4.8. Las tres condiciones siguientes son equivalentes:
1. El punto z
0
es una singularidad evitable de la funcion f(z).
2. El lmite lm
zz
0
f(z) existe.
3. En z
0
se verica que lm
zz
0
(z z
0
)f(z) = 0 .
Demostracion.-
1) = 2). Al ser z
0
una singularidad evitable, entonces f(z) admite un desarrollo de
Taylor en torno a z
0
(f(z) sera analtica en z
0
y por lo tanto continua y el lmite existe)
de la forma f(z) =
n=0
a
n
(z z
0
)
n
, luego lm
zz
0
f(z) = f(z
0
) = a
0
.
2) = 3).
lm
zz
0
(z z
0
)f(z) = lm
zz
0
(z z
0
) lm
zz
0
f(z) = 0.
3) = 1)
Teniendo en cuenta que en todo punto singular aislado z
0
, la funcion f(z) ha de ser
analtica en un disco abierto reducido D(z
0
, R) {z
0
}, podemos desarrollarla en serie
de Laurent en la corona circular C(z
0
, 0, R) Los coecientes b
k
del desarollo de Laurent
tienen la siguiente forma
b
n
=
1
2i
_
f(z) (z z
0
)
n1
dz , (4.20)
siendo la circunferencia centrada en z
0
y radio 0 < < R. Aplicando el teorema
de Cauchy generalizado comprobamos que b
k
= 0, k N. Luego solo tenemos el
desarrollo en potencias positivas, esto es el desarrollo de Taylor, luego la singularidad
es evitable.
Luego si f tiene una singularidad evitable en el punto z
0
basta con denir f(z
0
) := a
0
para que f sea analtica en un entorno de z
0
.
Teorema 4.9. Un punto singular aislado z
0
de una funcion analtica f(z) es un polo
de orden k si y solamente si
lm
zz
0
(z z
0
)
k
f(z) (4.21)
existe y es distinto de cero.
108 CAP
ITICAS
Demostracion.- Supongamos que z
0
es un polo de orden k de f. Por denicion de
polo de orden k, tenemos que en un entorno reducido de z
0
, D
(z
0
, r) = D(z
0
, r){z
0
},
se verica que
f(z) =
1
(z z
0
)
k
_
b
k
+ b
k1
(z z
0
) + + b
1
(z z
0
)
k1
+
n=0
a
n
(z z
0
)
k+n
_
=
F(z)
(z z
0
)
k
,
donde F es analtica en un entorno de z
0
y ademas F(z
0
) = b
k
= 0. Luego tenemos que
lm
zz
0
(z z
0
)
k
f(z) = lm
zz
0
F(z) = b
k
= 0 . (4.22)
Notese que en caso de que z
0
sea un polo simple
lm
zz
0
(z z
0
)f(z) = b
1
= Res(f, z
0
) .
Veamos a continuacion el recproco. Supongamos que z
0
es un punto singular aislado
de f(z) y que el lmite (5.1) existe y es distinto de cero. Entonces, se vericara que
lm
zz
0
(z z
0
)
k+1
f(z) = 0 . (4.23)
Por la denicion de lmite, > 0,
tal que si |z z
0
| <
se verica entonces que

|z z
0
|
k+1
|f(z)| < . Sea ahora 0 < < mn(
, r), tenemos entonces que

b
n
=
1
2i
_
f(z) (z z
0
)
n1
dz,
siendo una circunferencia centrada en z
0
de radio y recorrida en sentido antihorario.
Podemos acotar el valor absoluto del coeciente b
n
|b
n
|
1
2
_
|f(z)| |z z
0
|
n1
d|z|
1
2
_
|f(z)| |z z
0
|
k+1
|z z
0
|
k+1
|z z
0
|
n1
d|z|
1
2
_
|f(z)| |z z
0
|
k+1
k+1

n1
d|z|
1
2
nk2
_
d|z|
nk1
.
Luego los |b
n
| con n k + 1 son menores o iguales a un n umero positivo arbitrario, lo
cual signica que han de ser nulos: b
k+1
= b
k+2
= = 0. Entonces, tenemos que el
desarrollo de Laurent en el entorno reducido D
(z
0
, r) tiene que ser de la forma:
f(z) =
b
k
(z z
0
)
k
+
b
k1
(z z
0
)
k1
+ +
b
1
(z z
0
)
+
n=0
a
n
(z z
0
)
n
. (4.24)
Luego, lm
zz
0
(z z
0
)
k
f(z) = b
k
y como este lmite ha de ser distinto de cero por
hipotesis, entonces b
k
= 0 y, como consecuencia de (4.24), el punto singular aislado de
f(z) en z
0
es un polo de orden k.
ON 109
Ejemplo 4.12. f(z) =
sen z
z
2
.
Habamos visto que sen z/z era una funcion entera (ejemplo 4.11), por lo que hemos
de esperar que si la multiplicamos por 1/z obtengamos una funcion denida en todo el
plano complejo, salvo en el origen donde esperaramos que hubiera un polo simple. En
efecto, aplicando el Teorema 4.9
lm
z0
z
sen z
z
2
= lm
z0
sen z
z
= 1 = 0 . (4.25)
vemos que f tiene un polo simple en el origen con residuo igual a uno. Alrededor del
origen, dicha funcion admitira el siguiente desarrollo de Laurent:
sen z
z
2
=
1
z
2
sen z =
1
z
2
n=0
(1)
2n
(2n + 1)!
z
2n+1
=
1
z
+
n=1
(1)
2n
(2n + 1)!
z
2n1
, 0 < |z|,
pues f(z) es analtica en C {0}.
z
/z
El analisis en este caso es muy similar al anterior. La funcion es analtica en C {0},
el origen es un polo simple y el desarrollo de Laurent en torno al origen de f(z) viene
dado por
1
z
exp z =
1
z

n=0
z
n
n!
=
1
z
+
n=1
z
n1
n!
, 0 < |z|.
Ejemplo 4.14. f(z) = 1/sen z .
Los ceros del denominador son z
n
= n, n Z. Dichos puntos son, obviamente,
puntos singulares de f(z) ya que en ellos el numerador no se anula.Veamos si son polos
simples, para ello calculemos
lm
zn
(z n)
1
sen z
= lm
zn
1
cos z
=
1
cos n
= (1)
n
= 0. (4.26)
La primera igualdad la hemos obtenido mediante la regla de lHopital. Luego, los
n umeros reales z
n
= n con n Z son polos simples de f.
El desarrollo de Laurent en torno a z
n
= n con n Z jo viene dado por:
1
sen z
=
(1)
n
(z n)
+ (z) , (4.27)
donde (z) es una funcion analtica en un cierto entorno de z
n
= n (a determinar),
denida por una serie de potencias en (z n), es decir, (z) =
n=1
a
n
(z n)
n
.
Los puntos singulares de f mas proximos a n son (n 1) y (n + 1), de tal manera
que f(z) es analtica en un entorno de radio alrededor de n. En dicho entorno
110 CAP
ITICAS
convergera la serie (z), serie que no puede converger en un disco mas grande debido
a la presencia de los polos en (n 1) y (n + 1).
Para encontrar los coecientes a
n
no es aconsejable buscar las derivadas sucesivas de
1/sen z (como el lector podra comprobar si intenta seguir ese camino). En lugar de
ello, usaremos otra tecnica, ya utilizada en la seccion 4.5, para obtener los primeros
terminos del desarrollo de f en un entorno del origen. Como
1
sen z
=
1
z
+
n=1
a
n
z
n
, (4.28)
podemos escribir (multiplicando por sen z)
1 =
sen z
z
+
_

n=1
a
n
z
n
_
sen z
Desarrollando en series de potencias el termino de la derecha (rhs) de la igualdad
anterior tenemos
rhs = 1
z
2
3!
+
z
4
5!
+ + (a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ ) (z
z
3
3!
+
z
5
5!
+ )
= 1 + a
0
z +
_
a
1
1
3!
_
z
2
+
_
a
2
a
0
3!
_
z
3
+
_
a
3
a
1
3!
+
1
5!
_
z
4
+
La igualdad 1= rhs nos dice que los coecientes de z
n
son todos cero, excepto el de z
0
que es uno. De aqu se obtiene que
a
0
= 0
a
1
1
3!
= 0 = a
1
=
1
3!
a
2
a
0
3!
= 0 = a
2
= 0
va
3
a
1
3!
+
1
5!
= 0 = a
3
=
1
(3!)
2

1
5!
a
4
a
2
3!
+
a
0
5!
= 0 = a
4
= 0
Vemos que los coecientes del tipo a
2n
van siendo cero. Los primeros terminos del
desarrollo de f entorno al origen son los siguientes:
1
sen z
=
1
z
+
1
3!
z +
_
1
(3!)
2

1
5!
_
z
3
+ (4.29)
La serie converge en D
(0, ).
ON 111
Ejercicio 4.12. Demostrar que las siguientes funciones tienen todas un polo doble en
el origen
e
z
z
2
,
sen z
z
3
,
1
z
2
,
z 3
z
2
(z + 5)
,
Ejercicio 4.13. Que tipo de polos m ultiples tienen las funciones
1
(z 3)
5
,
e
z
2
z
6
,
z
z
3
(z 2)
2
1 z
2
z
2
(1 z)
,
y en que puntos?
Teorema 4.10. Sea z
0
un polo de orden k de una funcion analtica f. Entonces
lm
zz
0
|f(z)| = . (4.30)
Demostracion.- Supongamos que z
0
es un polo de orden k de f. Entonces se verica
que (4.22)
lm
zz
0
(z z
0
)
k
f(z) = b
k
= 0 .
Por otro lado
lm
zz
0
1
|z z
0
|
k
= . (4.31)
En efecto, jado K > 0 existe = K
1/k
. Entonces si
|z z
0
| < =
1
|z z
0
|
>
1
=
1
|z z
0
|
k
>
1
k
= K .
Ahora tenemos que
lm
zz
0
|f(z)| = lm
zz
0
(z z
0
)
k
f(z)
(z z
0
)
k
= lm
zz
0
1
|z z
0
|
k
lm
zz
0
|(z z
0
)
k
f(z)| = .
1/z
.
Para obtener su desarrollo en serie realizamos el cambio de variable = 1/z de modo
que
e
1/z
= e
n=0
n
n!
=
n=0
1
z
n
n!
=
n=0
1/n!
z
n
. (4.32)
La serie exponencial e
converge para todo || < luego como = 1/z entonces

|1/z| < = |z| > 0
Por tanto la serie e
1/z
converge para todo z en C {0}.
El cero es, entonces, un punto singular aislado para el que b
n
= 1/n! = 0, n N.
Luego el cero es una singularidad esencial.
112 CAP
ITICAS
Ejercicio 4.14. Estudiar el tipo de singularidad de las funciones
sen
1
z
, cos
1
z + 3
, z
2
sen
1
z 1
.
Contrariamente a lo que la intuicion nos pueda sugerir, el comportamiento de de una
funcion analtica en el entorno de una singularidad esencial es muy distinto al comporta-
miento de una tal funcion en las proximidades de un polo. Sabemos por el Teorema 4.10
que el modulo de la funcion se hace innito cuando llegamos a un polo. En las proximi-
dades de una singularidad esencial, la situacion es mucho mas complicada. Una pista
la podemos encontrar cuando hacemos un simple calculo de lmites en variable real:
lm
x0
e
1/x
= 0 lm
x0
+
e
1/x
= . (4.33)
Vemos que el lmite por la izquierda no es innito en contraste con lo que sucede por
ejemplo con la funcion 1/x
n
, para la cual el lmite a la izquierda es o seg un que
n sea par o impar, respectivamente.
Pero si reemplazamos la variable real x por la variable compleja z, tenemos la funcion
e
1/z
. Ahora para tomar el lmite cuando z tiende a cero no tenemos tan solo dos
posibilidades, sino innitas y nos podemos imaginar que cada una de esas formas de
tender a cero nos puede dar un lmite distinto. As, por ejemplo, si consideramos la
sucesion de n umeros complejos
{z
n
= 1/(2ni)}
n=0
0 = {e
1/zn
= e
2ni
1}
n=0
1.
El siguente teorema nos aclara este comportamiento.
Teorema 4.11. Casaroti-Weiersstrass Si la funcion analtica f tiene una singula-
ridad esencial en el punto z
0
y es un n umero complejo arbitrario. Entonces, existe
una sucesi on {z
n
}
n=1
de n umeros complejos convergiendo a z
0
, tal que la sucesion
{f(z
n
)}
n=1
converge a .
Vemos que el lmite de f(z) cuando z tiende a un punto singular esencial no puede
existir en ning un caso, ni siquiera ser innito, contrariamente a lo que sucedera si z
0
fuera un polo.
Captulo 5
Calculo de residuos. Calculo de
integrales
5.1. Calculo de residuos.
En este seccion vamos a buscar estrategias que nos permitan encontrar el residuo de
una funcion analtica f en un punto singular aislado. Su interes lo comprobaremos
cuando usemos los residuos para calcular integrales.
Estas estrategias fallan cuando el punto singular aislado en cuestion es una singularidad
esencial. En dicha circunstancia, no tenemos mas remedio que obtener el desarrollo de
Laurent de la funcion alrededor del punto en cuestion o, en su defecto, usar la formula
(4.17).
Polos simples
Si f es una funcion analtica con un polo simple en el punto z
0
, el residuo se obten-
dra mediante el lmite
Res (f, z
0
) = lm
zz
0
(z z
0
) f(z). (5.1)
Polos m ultiples
Si f es una funcion analtica con un un polo de orden k (k 2) en el punto z
0
se tiene
que
Res (f, z
0
) =
1
(k 1)!
lm
zz
0
d
k1
dz
k1
[(z z
0
)
k
f(z)] . (5.2)
113
114 CAP
ITULO 5. C
ALCULO DE RESIDUOS. C
ALCULO DE INTEGRALES
En efecto, en un entorno reducido D
(z
0
, ) alrededor del polo la funcion f tendra el
siguiente desarrollo de Laurent:
f(z) =
b
k
(z z
0
)
k
+ +
b
1
z z
0
+
n=0
a
n
(z z
0
)
n
. (5.3)
Multiplicando (5.3) por (z z
0
)
k
obtenemos:
F(z) := (z z
0
)
k
f(z) = b
k
+ + b
1
(z z
0
)
k1
+
n=0
a
n
(z z
0
)
n+k
, (5.4)
que es una funcion analtica en (la corona) D
(z
0
, ) {0 < |z z
0
| < }. En z
0
la funcion F tiene una singularidad evitable y, por lo tanto, F es analtica en (todo)
el disco D(z
0
, ) y tiene un cero de orden k en z
0
. Teniendo en cuenta el teorema de
Taylor vemos que
Res (f, z
0
) = b
1
=
F
(k1)
(z
0
)
(k 1)!
=
1
(k 1)!
lm
zz
0
F
(k1)
(z)
=
1
(k 1)!
lm
zz
0
_
d
k1
dz
k1
[(z z
0
)
k
f(z)]
_
.
(5.5)
Notese que esta formula es tambien valida para polos simples (k = 1).
Ejemplo 5.1. f(z) = z/(z + 1)
Esta funcion tiene un polo simple en z = 1, ya que
lm
z1
(z (1) )
z
z + 1
= 1 = 0 .
Esta formula, ademas, tambien nos da el residuo de f en z
0
= 1, que es b
1
= 1.
Ejemplo 5.2. e
z
/z
2
Esta funcion tiene un polo doble en z
0
= 0. Para calcular el residuo de esta funcion en
el origen, usamos (5.5) con k = 2. De esta manera:
b
1
= lm
z0
d
dz
_
z
2
e
z
z
2
_
= 1 .
En este caso, es facil obtener el residuo haciendo un desarrollo en serie en torno a
z
0
= 0:
e
z
z
2
=
1
z
2
e
z
=
1
z
2
_
1 + z +
z
2
2
+
z
3
3!
+
_
=
1
z
2
+
1
z
+
1
2
+
z
3!
+ .
Luego, el coeciente de 1/z es igual a uno.
5.1. C
ALCULO DE RESIDUOS. 115

A veces es mas sencillo obtener el residuo mediante un desarrollo en serie que usando
la formula (5.5).
Ejemplo 5.3. e
1/z
Como sabemos esta funcion tiene una singularidad esencial en el origen. Para obtener
el residuo, lo mas sencillo en este caso es encontrar el desarrollo en serie de Laurent
alrededor del origen (ejercicio 4.10):
e
1
z
= 1 +
1
z
+
1
2 z
2
+
1
3! z
3
+ .
Por lo tanto, el residuo es b
1
= 1.
Cocientes de funciones analticas.
Sea f una funcion analtica tal que z
0
es un cero de orden k. Entonces z
0
es un polo
de orden k de la funcion F = 1/f.
En efecto, si f tiene un cero de orden k en z
0
existe un 0 < r tal que f admite un
desarrollo de Taylor para todo z D(z
0
, r)
f(z) =
n=k
f
(n)
(z
0
)
n!
(z z
0
)
n
= (z z
0
)
k
n=0
f
(n+k)
(z
0
)
(n + k)!
(z z
0
)
n
= (z z
0
)
k
g(z) .
La funcion g es analtica en D(z
0
, r) y verica que g(z
0
) = 0, de modo que existe un
entorno de z
0
, D(z
0
, r
) D(z
0
, r), tal que g(z) = 0, z D(z
0
, r
). Luego F(z) =
1/[(z z
0
)
k
g(z)] es analtica en el disco reducido D
(z
0
, r
) y z
0
es un polo de orden k
de F.
El recproco tambien se verica: si f es una funcion analtica tal que z
0
es un polo de
orden k. Entonces z
0
es un cero de orden k de la funcion F = 1/f.
En este caso, al ser z
0
un polo de orden k de f existe un 0 < r tal que f admite un
desarrollo de Laurent para todo z D
(z
0
, r)
f(z) =
1
(z z
0
)
k
_
b
k
+ b
k1
(z z
0
) + + b
1
(z z
0
)
k1
+
k=0
a
k
(z z
0
)
k
_
=
g(z)
(z z
0
)
k
,
donde g es analtica en un entorno de z
0
y ademas g(z
0
) = b
k
= 0 por lo que existe
un entorno de z
0
, D(z
0
, r
) D(z
0
, r), tal que g(z) = 0, z D(z
0
, r
). Entonces
F(z) = 1/f(z) = (z z
0
)
k
/g(z) es analtica en D(z
0
, r
) teniendo en z
0
un cero de
orden k.
116 CAP
ITULO 5. C
Teorema 5.1. Consideremos f = g/h, donde donde g y h son dos funciones analticas
en D(z
0
, R) con ceros de orden m y n, respectivamente, en z
0
. Entonces
1. Si m < n, f tiene una polo de orden n m en z
0
.
2. Si m n, f tiene una singularidad evitable en z
0
(cero de orden mn).
En efecto, por lo que acabamos de ver existe un D(z
0
, r) D(z
0
, R) tal que
f(z) =
g(z)
h(z)
=
(z z
0
)
m
G(z)
(z z
0
)
n
H(z)
, z D(z
0
, r),
con G y H sendas funciones analticas en D(z
0
, r) con G(z
0
) = 0 y H(z
0
) = 0. Por
tanto F = G/H es analtica en D(z
0
, r).
Ejercicio 5.1. Completar la deemostracion del teorema 5.1.
Sea f = g/h, donde g y h son dos funciones analticas en D(z
0
, R) tales que g(z
0
) = 0,
h(z
0
) = 0 y h
(z
0
) = 0. Entonces f tiene un polo simple en z
0
cuyo residuo es
Res (f, z
0
) =
g(z
0
)
h
(z
0
)
. (5.6)
Efectivamente, tenemos que en un entorno de z
0
podemos escribir por el teorema de
Taylor que
h(z) = h
(z
0
)(z z
0
)H(z)
siendo H analtica en z
0
tal que H(z
0
) = 1. Luego
f(z) =
1
h
(z
0
)(z z
0
)
g(z)
H(z)
con g/H funcion analtica en z
0
. De modo que usando la formula (5.1) obtenemos que
Res (f, z
0
) =
1
h
(z
0
)
g(z
0
)
H(z
0
)
=
g(z
0
)
h
(z
0
)
.
Sea f = g/h, donde g y h son dos funciones analticas en D(z
0
, R) tales que g(z
0
) = 0
y h tiene un cero de orden 2 en z
0
. Entonces f tiene un polo doble en z
0
con residuo
Res (f, z
0
) = 2
g
(z
0
)
h
(z
0
)

2
3
g(z
0
)h
(z
0
)
(h
(z
0
))
2
. (5.7)
Ejercicio 5.2. Demostrar la fomula (5.7).
5.2. EL TEOREMA DE LOS RESIDUOS. 117
5.2. El teorema de los residuos.
Denici on 5.1. Sea f una funcion denida en un abierto A C. Diremos que f
es meromorfa en A si f es analtica en A excepto en un conjunto nito de puntos
singulares aislados.
Teorema 5.2. Sean A un conjunto abierto y conexo de C, f una funcion meromorfa
en A y una curva cerrada de clase C
1
a trozos homotopa a un punto en A tal que
ning un punto singular aislado z
i
(i = 1, . . . , n) esta en . Entonces
_
f = 2i
n
k=1
n(, z
k
) Res (f, z
k
) , (5.8)
siendo n(, z
k
) el ndice del punto z
k
respecto de la curva .
Demostracion.- Aplicando el teorema de Laurent en cada punto singular aislado
z
i
(i = 1, , n) podemos desarrollar f en un entorno reducido D
(z
i
,
i
) que no
contiene ning un punto singular z
j
, j = i,
f(z) =
k=1
b
ik
(z z
i
)
k
+
k=0
a
ik
(z z
i
)
k
P
i
(z) + f
i
(z), (5.9)
donde f
i
es una funcion analtica en D(z
i
,
i
). Notese que la parte principal P
i
(z) del
desarrollo (5.9) converge absolutamente en C {z
i
} y converge uniformemente en el
exterior de cada disco abierto centrado en z
i
. La funcion g denida por
g(z) := f(z)
n
k=1
P
k
(z)
es, obviamente, analtica en A {z
1
, , z
n
} y todos los puntos singulares z
i
son
singularidades evitables de g pues para cada singularidad z
i
se tiene
g(z) = f
i
(z) + P
i
(z)
n
k=1
P
k
(z) = f
i
(z)
n
k=1;k=i
P
k
(z), z D
(z
i
,
i
).
Como las funciones P
j
, j = i, son analticas en C {z
j
}
j=i
podemos tomar g(z
i
) :=
lm
zz
i
g(z) = a
i0

n
k=1;k=i
P
k
(z
k
) de modo que g es analtica en A. Aplicando el
teorema de Cauchy obtenemos que
_
g = 0, de donde tenemos que

_
f =
n
k=1
_
P
k
.
118 CAP
ITULO 5. C
Recordando que como C ([a, b]) es un conjunto abierto existe para cada z
i
un
disco D(z
i
,
i
) que no corta a la curva. Luego, la convergencia de las series P
i
(z) =
k=1
b
ik
(z z
i
)
k
es uniforme en . Entonces se tiene que
_
P
i
=
k=1
_
b
ik
(z z
i
)
k
dz . (5.10)
La integrales del termino de la derecha de (5.10) son nulas para todo k > 1. Basta
con aplicar la formula integral de Cauchy para las derivadas a la funcion constante
h(z) := b
ik
para comprobarlo. Luego, teniendo en cuenta la denicion del ndice de un
punto respecto de una curva obtenemos que
_
P
i
=
_
b
i1
(z z
i
)
1
dz = b
i1
2i n(, z
i
) = 2i n(, z
i
) Res (f, z
i
).
Notese que si es, ademas, una curva simple, entonces n(, z
i
) = 1 para todo punto
singular aislado de f que este dentro del recinto D
limitado por la curva y n(, z

i
) = 0
para los que se encuentren en el exterior, de modo que se tiene que
_
f = 2i
z
i
D
Res (f, z
i
).
5.3. Calculo de integrales denidas.
Comencemos recordando algunas nociones sobre integrales impropias reales:
_

a
f(x)dx := lm
R
_
R
a
f(x)dx,
_
b
f(x)dx := lm
R
_
b
R
f(x)dx,
_

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

0
f(x)dx
= lm
R
_
0
R
f(x)dx + lm
R
_
R
0
f(x)dx .
Para que existan las integrales impropias anteriores todos los lmites deben existir de
forma independiente y ser nitos.
Si existe
_
f(x)dx entonces podemos escribir que

_

f(x)dx = lm
R
_
R
R
f(x)dx .
Los siguientes criterios para saber si una integral impropia es convergente o no nos
seran utiles de ahora en adelante.
5.3. C
ALCULO DE INTEGRALES DEFINIDAS. 119

Proposicion 5.1 (Criterio de comparacion). Sea |f(x)| |g(x)| para todo x > a
y
_
a
g(x) dx = G < . Entonces
_
a
f(x) dx converge y |
_
a
f(x) dx| G.
Proposicion 5.2 (Criterio de Pringsheim). Sea f una funcion no negativa local-
mente integrable en el intervalo [a, +) y tal que
lm
x+
x
f(x) = l R
0
{+}.
Entonces
si 1, l > 0 =
_
a
f diverge
si > 1, l = + =
_
a
f converge.
Proposicion 5.3.
_
f(x) dx es convergente si y solo si lm

|x|
xf(x) = 0.
5.3.1. Integrales impropias del tipo
_
f(x) dx
Teorema 5.3. Sea f una funcion meromorfa en C, tal que los puntos singulares de f
no estan sobre el eje real. Ademas, vamos a suponer que existen tres n umeros positivos,
M > 0, > 1 y R > 0, tales que
|f(z)|
M
|z|
, z C t.q. |z| R.
Entonces,
_

f(x) dx = 2i
Imz
k
>0
Res (f, z
k
) = 2i
Imz
k
<0
Res (f, z
k
). (5.11)
g
r
! -!
z
k
I
Figura 5.1: Contorno =
r
+ I
Demostracion.- Consideremos el contorno de la gura 5.1 , formado por la semicir-
cunferencia
r
de radio r > R y el segmento de la recta real [r, r] I, recorrido en
120 CAP
ITULO 5. C
sentido antihorario y tal que encierre en su interior a la totalidad de las singularidades
(aisladas) de f en el semiplano superior.
Tenemos que
_
f = 2i
Imz
k
>0
Res (f, z
k
) =
_
r
r
f(x)dx +
_
r
f , (5.12)
Analizemos las integrales de (5.12). La primera integral converge a
_
f(x) dx cuando
r . En efecto, como |f(x)| < M|x|
para |x| > R las integrales

_
r
M
|x|
dx =
_

r
M
|x|
dx , (5.13)
convergen. Entonces:
_

|f(x)| dx =
_
r
|f(x)| dx +
_
r
r
|f(x)| dx +
_

r
|f(x)| dx . (5.14)
La segunda integral a la derecha de (5.14) es convergente por ser la integral de Rie-
mann de una funcion continua. Las otras dos integrales son convergentes ya que estan
acotadas superiormente por las integrales convergentes (5.13). La convergencia de la
integral
_
|f(x)| dx implica la convergencia de la integral

_
f(x) dx por el criterio

de comparacion. Luego
lm
r
_
r
r
f(x) dx =
_

f(x) dx .
En cuanto a la segunda integral de (5.12), como la semicircunferencia
r
se parametriza
por
r
() = r e
i
con [0, ] llegamos a que
_
r
f(z) dz =
_

0
f(r e
i
) ir e
i
d .
Al ser r > R se tiene que
|f(r e
i
)|
M
|r e
i
|
=
M
r
.
Por lo tanto,
_

0
f(r e
i
) iR
e
i
d
_

0
|f(r e
i
)| r d
M
r
1
r
0 ,
pues 1 > 0. Podemos, nalmente, concluir que
lm
r
_
r
f(z) dz +
_

f(x) dx =
_

f(x) dx = 2i
Imz
k
>0
Res (f, z
k
) ,
5.3. C

pues para todo r > R se verica el teorema de los residuos.
La segunda formula de (5.11)
_

f(x) dx = 2i
Imz
k
<0
Res (f, z
k
) ,
se demuestra de manera analoga usando un semicrculo en el semiplano inferior.
Proposicion 5.4. Supongamos que f es una funcion racional del tipo f = Q/P , donde
Q y P son polinomios de grado p y q, respectivamente, con p q + 2. Si P no tiene
ceros en el eje real, entonces f satisface las condiciones del Teorema 5.3.
Demostracion.- Como P no tiene ceros en el eje real tampoco f tiene polos en el eje
real. Por otro lado, el ejercicio 3.5 nos asegura que deben de existir un M
1
> 0 tal que,
si |z| > 1, entonces |Q(z)| M
1
|z|
q
, y un M
2
> 0 y un R > 1 tal que, si |z| > R,
entonces |P(z)| M
2
|z|
p
. De aqu se deduce que, si |z| > R:
|f(z)|
M
1
|z|
q
M
2
|z|
p
=
M
1
M
2
1
|z|
pq
=
M
|z|
, = p q 2.
Ejemplo 5.4.
_
x/(x
2
+ 2x + 2)
2
dx
En este caso f(z) = z/(z
2
+ 2z + 2)
2
es el cociente de los polinomios P(z) = z y
Q(z) = (z
2
+ 2z + 2)
2
, con singularidades en los ceros de Q (z = 1 i) y deg Q =
4 deg P + 2 = 3. Luego
I =
_

x/(x
2
+ 2x + 2)
2
dx = 2iRes (f, 1 + i).
Como z
0
= 1 + i es un cero de orden 2 de Q podemos escribir
f(z) =
g(z)
(z z
0
)
2
, g(z) =
z
(z + 1 + i)
2
.
Puesto que g(z
0
) = 0 entonces z
0
es un polo de orden 2 de f. Luego aplicando la
formula (5.2) obtenemos
Res (f, 1 + i) = g
(z
0
) =
i
4
= I = /2.
Ejercicio 5.3. Calcular las integrales
_

2x
2
1
x
4
+ 5x
2
+ 4
dx,
_

x
2
x
2
+ 4x + 13)
2
dx .
122 CAP
ITULO 5. C
5.3.2. Transformadas de Fourier
_
e
iax
f(x) dx
Teorema 5.4. Sea f una funcion meromorfa en C, tal que ninguno de sus puntos
singulares z
k
esta en el eje real. Supongamos que lm
z
f(z) = 0. Entonces, para todo
a > 0
_

e
iax
f(x) dx = 2i
Imz
k
>0
Res (e
iaz
f(z), z
k
) . (5.15)
Si f(x) fuera real en todo el eje real, entonces
_

sen(ax) f(x) dx = Im
_
2i
Imz
k
>0
Res (e
iaz
f(z), z
k
)
_
,
_

cos(ax) f(x) dx = R
_
2i
Imz
k
>0
Res (e
iaz
f(z), z
k
)
_
.
(5.16)
Si a < 0, las formulas (5.15) y (5.16) permanecen identicas si cambiamos
2i
Imz
k
>0
Res (e
iaz
f(z), z
k
) 2i
Imz
k
<0
Res (e
iaz
f(z), z
k
) .
-x
1
x
2
-x
1
+i y
1
x
2
+i y
1
g
L
1
L
2
L
3
L
4
Figura 5.2: Rectangulo
Demostracion.- Sea a > 0. Consideremos el contorno formado por los lados de un
rectangulo (Figura 5.2), tal que que todos los puntos singulares de f en el semiplano
superior esten encerrados por el mismo, sin que ninguna de las singularidades este sobre
. Por el teorema de los residuos
_
e
iaz
f(z) dz = 2i
Imz
k
>0
Res (e
iaz
f(z), z
k
). (5.17)
Parametrizando los lados L
k
del rectangulo por
L
1
x, x
1
x x
2
; L
2
x
2
+ iy, 0 y y
1
;
L
3
x + iy
1
, x
1
x x
2
; L
4
x
1
+ iy, 0 y y
1
.
5.3. C

se tiene que = L
1
+L
2
L
3
L
4
y, por tanto, el termino izquierdo (lhs) de (5.17) se
escribe explcitamente como
_
R
e
iaz
f(z) dz =
_
x
2
x
1
e
iax
f(x) dx + i
_
y
0
0
e
ia(x
2
+iy)
f(x
2
+ iy) dy
_
x
2
x
1
e
ia(x+iy
1
)
f(x + iy
1
) dx i
_
y
1
0
e
ia(x
1
+iy)
f(x
1
+ iy) dy
= I
1
+ I
2
+ I
3
+ I
4
.
Analicemos una por una estas cuatro integrales I
k
. Como la condicion |f(z)| 0
cuando |z| en C es equivalente a que
> 0, R > 0 t.q. |f(z)| < si |z| > R,
jado un elegimos un rectangulo lo sucientemente grande para que contenga la
semicircunferencia de radio R y todas las singularidades de f en el semiplano complejo
superior. Tenemos que:
|I
3
|
_
x
2
x
1
|e
iax
e
ay
1
| dx e
ay
1
_
x
1
x
1
dx e
ay
1
(x
2
+ x
1
)

a
,
donde se ha tenido en cuenta en la ultima desigualdad el tomar y
1
lo sucientemente
grande para que e
ay
1
(x
2
+ x
1
) 1/a.
|I
2
|
_
y
1
0
|e
iax
e
ay
| dy =
_
y
1
0
e
ay
dy

a
(1 e
ay
1
)

a
,
|I
4
|
_
y
1
0
|e
iax
e
ay
| dy =
_
y
1
0
e
ay
dy

a
(1 e
ay
1
)

a
.
Teniendo en cuenta estas acotaciones podemos escribir que
_
x
2
x
1
e
iax
f(x) dx 2i
Imz
k
>0
Res (e
iaz
f(z), z
k
)
a
.
Haciendo tender separadamente x
1
y x
1
hacia innito y como > 0 es arbitrario
llegamos al resultado buscado (5.15).
Si f(x) es real en el eje real, tenemos que
_

e
iax
f(x) dx =
_

cos(ax) f(x) dx + i
_

sen(ax) f(x) dx , (5.18)

124 CAP
ITULO 5. C
y ambas integrales son reales, lo que implica (5.16). Finalmente, un razonamiento
analogo nos permite obtener el resultado para el caso a < 0.
Notese que si tenemos una funcion (racional) f = P/Q cociente de dos polinomios P
y Q tales que P = 0 y Q(x) no tiene races reales verica las condiciones del teorema
anterior (teorema 5.4) si y solo si deg Q deg P + 1.
Ejercicio 5.4. Demostrar esta armacion.
Ejemplo 5.5.
_
0
cos ax/(1 + x
2
)dx
En primer lugar como el integrando es una funcion par (f(x) = f(x)) se tiene que
_

0
cos ax
1 + x
2
dx =
1
2
_

cos ax
1 + x
2
dx .
Por otro lado, como 1/(1 + x
2
) es una funcion real para todo x R tenemos que
I =
_

cos ax
(1 + x
2
)
dx = Re
_

e
iax
1 + x
2
dx.
Las singularidades de la funcion f(z) = 1/(1 +z
2
) son los puntos tales que 1 +z
2
= 0,
es decir, los puntos z = i que facilmente se comprueba que son polos simples, uno en
el semiplano complejo superior (z
1
= i) y otro en el inferior(z
2
= i).
Consideremos a > 0, luego tomaremos nuestro contorno en el semiplano superior.
Ahora utilizando, por ejemplo, la formula (5.1) (tambien podra haberse usado en este
caso la formula (5.6))
Res (
e
iaz
1 + z
2
, z
1
) =
e
iaz
1
z
1
z
2
=
e
a
2i
.
Con lo que
I = Re (2i
e
a
2i
) = e
a
=
_

0
cos ax
(1 + x
2
)
dx =
e
a
2
.
Si a < 0, el residuo es en el polo z
2
y valdra
Res (
e
iaz
1 + z
2
, z
1
) =
e
iaz
2
z
2
z
1
=
e
a
2i
,
con lo que
I = Re (2i
e
a
2i
) = e
a
=
_

0
cos ax
(1 + x
2
)
dx =
e
a
2
.
Ejercicio 5.5. Calcular
_

0
cos ax
x
4
+ x
2
+ 1
dx .
5.3. C

5.3.3. Integrales trigonometricas
_
2
0
R(cos , sen ) d
Teorema 5.5. Sea R(x, y) una funcion racional cuyo denominador no se anula para
todo [0, 2). Entonces,
_
2
0
R(cos , sen ) d = 2i
|z
k
|<1
Res (f, z
k
) , (5.19)
donde
f(z) =
1
iz
R
_
1
2
(z + 1/z) ,
1
2i
(z 1/z)
_
. (5.20)
Demostracion.- Parametrizando la circunferencia unidad ( |z| = 1) por z = e
i
con 0 2 y, de esta manera, teniendo en cuenta que
cos = (z + 1/z)/2, sin =
1
2i
(z 1/z) ,
podemos escribir
R(cos , sen ) = R
_
1
2
(z + 1/z) ,
1
2i
(z 1/z)
_
, dz = ie
i
d ,
con lo que
_
2
0
R(cos , sen ) d =
_
1
iz
R
_
1
2
(z + 1/z) ,
1
2i
(z 1/z)
_
dz =
_
f.
Ejemplo 5.6.
_
2
0
d/(1 + sen
2
)
En este caso
f(z) =
1
1 +
_
(z
1
z
)/(2i)
_
2
=
4
4 + (z 1/z)
2
=
4z
2
6z
2
+ z
4
+ 1
.
Las cuatro singularidades de f, 1
2 y 1
2, son polos simples. Los de modulo

menor que uno son z
1
= 1 +
2 y z
2
= 1
2. Luego
f(z) =
4z
2
(z z
1
)(z z
2
)(z
2
3 2
2)
,
con lo que los residuos de f en los polos z
1
y z
2
se encuentran facilmente usando la
formula (5.1)
Res (f, z
1
) =
3 2
2
4 2
2
, Res (f, z
2
) =
3 2
2
4 + 2
2
,
con lo que el valor de la integral es I = 0.
Ejercicio 5.6. Demostrar que
_
2
0
d
1 + a sen
=
2
1 a
2
, 1 < a < 1 ,
_
2
0
d
(5 3 sen )
2
=
5
32
.
126 CAP
ITULO 5. C
5.4. Valor principal de Cauchy
En esta seccion veremos que el teorema de los residuos nos permite tambien obtener el
valor principal de Cauchy en algunos casos.
Sea una funcion continua real o compleja f de la variable real x y con singularidades
de segundo orden (saltos innitos) en los puntos x
0
< x
1
< < x
N
. Se denomina
valor principal de Cauchy de f al siguiente lmite si existe y es nito:
VP
_

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

x
N
+
f(x) dx
_
.
Notese que si la integral impropia
_
f(x) dx existe, entonces coincide con su valor

principal de Cauchy.
Ejemplo 5.7. Consideremos la funcion f(x) = 1/x
3
.
Esta funcion tiene un salto innito en el origen. Veamos que existe el valor principal
de Cauchy para f y calculemoslo:
_

dx
x
3
+
_

dx
x
3
= 2x
2
2x
2
=
2
2
+
2
2
= 0
0
0 .
Luego el valor principal de Cauchy de f(x) = 1/x
3
existe y es igual a cero.
Lema 5.1. Sea f una funcion analtica en D(z
0
, ) {z
0
} con un polo simple en z
0
.
Sea
un arco circular centrado en z

0
, de radio < y angulo . Entonces,
lm
0
_
f(z) dz = i Res (f; z

0
) . (5.21)
Demostracion.- Sabemos que en el interior de D(z
0
, ) {z
0
}, f debe de tener la
siguiente forma
f(z) =
b
1
z z
0
+ g(z) ,
con g analtica en D(z
0
, ) y b
1
= Res(f; z
0
). Como el arco
(ver gura 5.3) esta con-

tenido en el disco D(z
0
, ), las siguientes integrales estan bien denidas:
_
f =
_
b
1
z z
0
dz +
_
g .
Parametrizando el arco
por
() = z
0
+ e
i
con [
0
,
0
+ ] (
0
arbitrario)
podemos escribir
_
b
1
z z
0
dz = b
1
_

0
+
0
1
e
i
ie
i
d = ib
1
.
5.4. VALOR PRINCIPAL DE CAUCHY 127
t
0
g
e
e
a
z
0
Figura 5.3: Contorno
Por otro lado,
M l(
) = M
0
0 .
Este lema nos sirve de apoyo para demostrar el resultado que viene a continuacion.
Teorema 5.6. Sea f una funcion meromorfa en el plano complejo, que admite polos
en el eje real, a condicion de que estos sean simples. Ademas ha de vericarse al menos
una de las dos siguientes hipotesis:
1. Existen dos constantes, R > 0 y M > 0, tales que para todo z C con las
condiciones de que Imz 0 y |z| R, se verica que
|f(z)|
M
|z|
2
. (5.22)
2. La funcion f tiene la forma f(z) = e
iaz
g(z) con a > 0. Ademas existen dos
constantes R > 0 y M > 0 tales que para todo z C con Imz 0 y |z| R,
tenemos que
|g(z)|
M
|z|
. (5.23)
Entonces:
VP
_

f(x) dx = 2i
Imz
k
>0
Res (f, z
k
) + i
Imz
k
=0
Res (f, z
k
). (5.24)
128 CAP
ITULO 5. C
g
r
g
e
! -!
z
k
e
I
1
I
2
x
0
Demostracion.- De acuerdo con el contorno (gura 5.4) supondremos, por simpli-
cidad, que f tiene solo un polo simple x
0
en el eje real. Ademas r > max(x
0
, R) de
tal manera que contiene todos los puntos singulares aislados de f en el semiplano
superior. Luego
_
f = 2i
Imz
k
>0
Res (f, z
k
) =
_
x
0
r
f(x) dx
_
f +
_
r
x
0
+
f(x) dx +
_
r
f.
Notese que
_
x
0
f(x) dx < ,
_

x
0
+
f(x) dx < , lm
r
_
r
f = 0. (5.25)
Por el lema 5.1 tenemos que
_
f = i
Imz
k
=0
Res (f, z
k
). De acuerdo con estos
resultados se tiene que
2i
Imz
k
>0
Res (f, z
k
) i
Imz
k
=0
Res (f, z
k
) =
_
x
0
f(x) dx +
_

x
0
+
f(x) dx . (5.26)
Por ultimo tomando el lmite del rhs de la expresion (5.26) cuando 0
+
se demuestra
el teorema.
Ejercicio 5.7. Demostrar las igualdades (5.25).
Ejercicio 5.8. Como debe de modicarse el enunciado del Teorema 5.6 si en la se-
gunda hipotesis a < 0?
Ejemplo 5.8.
_
0
sen x
x
dx
El integrando, f(x) = sen x/x, es par y como lm
x0
sen x/x = 1 podemos denir
f(0) = 1 con lo que f es continua en 0. Luego
I =
_

0
sen x
x
dx =
1
2
_

sen x
x
dx.
5.4. VALOR PRINCIPAL DE CAUCHY 129
Por otro lado al ser f continua en 0
si VP
_

sen x
x
dx =
_

sen x
x
dx = VP
_

sen x
x
dx.
Ahora bien, f(z) = sen z/z es entera (singularidad evitable en 0) pero f no verica
la condiciones del teorema 5.6. Pero, f(z) = e
iz
/z verica la segunda condicion del
teorema 5.6 (con g(z) = 1/z). Luego
I =
1
2
VP
_

sen x
x
dx =
1
2
Im
_
VP
_

e
ix
x
dx
_
.
Aplicando la formula (5.24) teniendo en cuenta que el origen es el ( unico) polo simple
de f(z) obtenemos que
I =
1
2
Im
_
i Res (e
iz
/z, 0)
_
=
1
2
Im(i 1) =

2
.
Ejemplo 5.9.
_
0
sen
2
x
x
2
dx
Igual que en el ejemplo anterior
I =
_

0
sen
2
x
x
2
dx =
1
2
_

sen
2
x
x
2
dx =
1
2
VP
_

sen
2
x
x
2
dx.
Teniendo en cuenta que sen
2
x = (1 cos 2x)/2 podemos escribir que
I =
1
4
_

1 cos 2x
x
2
dx =
1
4
_

1 e
2xi
x
2
dx .
En este caso la funcion f(z) = (1e
2zi
)/z
2
verica la primera condicion del teorema 5.6.
En efecto,
|f(z)| =
|1 + e
2iza
|
|z
2
|

1 +|e
2iza
|
|z
2
|

2
|z
2
|
, Imz 0, z = 0.
El punto z = 0 es un polo simple de f, pues el numerador tiene un cero en z = 0 y el
denominador tiene un polo doble en dicho punto. El residuo de f en dicho punto es
Res ((1 e
2zi
)/z
2
, 0) = lm
z0
z(1 e
2zi
)/z
2
= 2i.
Luego
I =
1
4
i (2i) =

2
.
130 CAP
ITULO 5. C
Ejemplo 5.10. VP
_
0
sen xdx
(x+1)(x
2
+9)
dx
Consideraremos en este caso la funcion
e
iz
(z + 1)(z
2
+ 9)
,
analtica en C excepto en los ceros del denominador (1, 3i). Estos tres puntos son
polos simples de f. El polo z
1
= 1 es real. En este caso f verica la segunda condicion
del teorema 5.6 en el semiplano superior, pues a = 1 > 0, con g(z) = 1/(z + 1)(z
2
+ 9).
Luego, calculemos los residuos en los puntos 1, 3i
Res (f, 1) =
e
i
10
, Res (f, 3i) =
e
3
(1 + 3i)(6i)
= i
e
3
(1 3i)
6
10
,
El valor de la integral viene dada por (5.24), por tanto
VP
_

e
ix
dx
(x + 1)(x
2
+ 9)
= 2i
_
i
e
3
(1 3i)
6
10
_
+ i
e
i
10
I ,
con lo que
VP
_

0
sen x dx
(x + 1)(x
2
+ 9)
=
1
2
Im I =

20
_
cos 1
10
e
3
_
.
5.5. Integrales con cortes de ramicacion
Consideraremos el caso de integrales impropias en los que al extender el integrando al
plano complejo, la funcion resultante tiene un corte de ramicacion. Casos tpicos son,
por ejemplo, las integrales conteniendo log x.
5.5.1. Transformadas de Mellin
_
0
x
a1
f(x) dx, a Z
Teorema 5.7. Sean f una funcion meromorfa en C tal que ninguna singularidad de f
esta sobre el semieje real positivo abierto (0, )y a > 0 un n umero positivo no entero.
Supongase ademas que existen M
1
, M
2
, R
1
> R
2
constantes positivas y c < a < b tales
que si |z| R
1
se verica que
|f(z)|
_
_
M
1
|z|
b
, |z| > R
1
M
2
|z|
c
, 0 < |z| < R
2
.
(5.27)
5.5. INTEGRALES CON CORTES DE RAMIFICACI
ON 131
Entonces
_

0
x
a1
f(x) dx =
e
ai
sen(a)
z
k
=0
Res (z
a1
f(z), z
k
) , (5.28)
siendo z
a1
:= e
(a1) log
0
z
.
g
r
g
e
h
e ! -!
z
k
I
1
I
2
Demostracion.- Haciendo uso de las acotaciones de |f| (5.27) se prueba que la integral
es absolutamente convergente mediante el criterio de comparacion para integrales reales
impropias.
Consideremos el contorno de la gura 5.4 que contiene en su interior todos los puntos
singulares no nulos de z
a1
f(z) y donde hemos tomado 0 < < R
1
, R
2
< r y
(0, /2).
Deniendo
z
a1
:= e
(a1) log
0
z
= |z|
a1
e
i(a1)argz
, argz [0, 2),
vemos que es una funcion analtica en C(R
+
{0}) {Singularidades de f}. Luego
por el teorema de los residuos podemos escribir que
_
z
a1
f(z) dz = 2i
z
k
=0
Res (z
a1
f(z), z
k
) .
Por otro lado, de acuerdo con el contorno
_
z
a1
f(z)dz =
_
r
z
a1
f(z)dz
_
z
a1
f(z)dz +
_
I
1
z
a1
f(z)dz
_
I
2
z
a1
f(z)dz,
132 CAP
ITULO 5. C
con
y
r
los arcos [, 2] de circunferencia orientados positivamente centrados en el
origen y de radios y r, respectivamente; I
1
y I
2
los segmentos de recta parametrizados
por I
1
= {z = e
i
| [, r]} y I
2
= {z = e
i(2)
| [, r]}. Luego, teniendo en
cuenta las hipotesis de acotacion de |f| (5.27) se tiene que
_
r
z
a1
f(z)dz
M
1
r
a1b
(2 )r
0
M
1
r
a1b
2r
r
0 ,
_
r
z
a1
f(z)dz
M
1

a1c
(2 )
0
M
1

a1c
2r
0
+
0 .
En cuanto las integrales a lo largo de los segmentos I
1
y I
2
podemos escribirlas explci-
tamente
_
r
e
i(a1)
a1
f( e
i
) e
i
d
_
r
e
i(a1)(2)
a1
f( e
i(2)
) e
i(2)
d
=
_
r
a1
_
e
ia
f( e
i
) e
ia(2)
f( e
i(2)
_
d
0
(1 e
i2a
)
_
r
a1
f() d.
Finalmente, considerando independientemente 0
+
y r llegamos a
(1 e
i2a
)
_

0
x
a1
f(x) dx = 2i
z
k
=0
Res (z
a1
f(z), z
k
),
y teniendo en cuenta que
2i
1 e
i2a
=
2ie
ia
e
ia
e
ia
=
e
ia
sin a
,
queda probado el teorema.
Si se tiene una funcion f = P/Q, donde P y Q son polinomios de grado p y q, respec-
tivamente, tales que: 1) 0 < a < p q, y 2) si n
Q
es el orden del cero de Q en z = 0 y
n
P
es el orden del cero de P en z = 0, se verica que n
Q
n
P
< a. Entonces se puede
probar que se verican las condiciones del teorema 5.7.
Ejercicio 5.9. Demostrar esta aseveracion sobre P/Q.
Ejemplo 5.11.
_
0
x
a1
/(1 + x
2
) dx
En primer lugar tenemos que ver si se verican las hipotesis del teorema 5.7. En este
caso tenemos que b = 2 y c = 0 con lo que el parametro a debe vericar que 0 < a < 2
y a = 1. Teniendo en cuenta que el valor de la integral viene dado por la formula (5.28)
ON 133
debemos calcular los residuos de z
a1
f(z) en los polos distintos del origen de la funcion
f, Como, z = i son las unicas singularidades (polos simples) de f entonces tenemos
Res (z
a1
f(z), z
k
) =
i
a1
2i
=
1
2i
e
i(a1)/2
, Res (z
a1
f(z), i) =
(i)
a1
2i
=
1
2i
e
i(a1)3/2
.
Con lo que
k=i
Res (z
a1
f(z), i) =
1
2i
(e
i(a1)/2
e
i(a1)/2
) =
1
2
(e
ia/2
+e
ia3/2
) = e
ia
cos
_
a
2
_
.
De esta manera
_

0
x
a1
/(1 + x
2
) dx =
_
e
ai
sen(a)
_
_
e
ia
cos
_
a
2
__
=
cos
_
a
2
_
sen(a)
=

2 sen
_
a
2
_ .
5.5.2.
_
0
f(x) log x dx
Teorema 5.8. Sean f(x) una funcion real par, y f(z) una funcion meromorfa en C
tal que ninguna singularidad de f esta sobre el eje real excepto en el cero. Existen,
ademas, M
1
, M
2
, R
1
> R
2
constantes positivas y a < 1 < b tales que
|f(z)| <
_
_
M
1
|z|
b
, |z| > R
1
M
2
|z|
a
, 0 < |z| < R
2
.
(5.29)
Entonces
_

0
f(x) log x dx = Im
_
i
Im z
k
>0
Res (f(z) log(z), z
k
)
_
, (5.30)
donde se ha tomado la determinacion del logaritmo log
[/2,3/2)
.
Ejemplo 5.12.
_
0
log x/(x
2
+ a
2
) dx, a R
+
La funcion f(z) = 1/(z
2
+ a
2
) tiene polos simples en los puntos ia. Consideramos el
contorno (gura 5.6) y la determinacion del logaritmo log log
[/2,3/2)
cuyo corte
de ramicacion es la recta arg z = /2. El polo z = ia esta contenido dentro del
contorno .
Se tiene pues que
_
log z
z
2
+ a
2
dz =
_
r
log z
z
2
+ a
2
dz
_
log z
z
2
+ a
2
dz +
_
I
2
log x
x
2
+ a
2
dx +
_
I
1
log x
x
2
+ a
2
dx
= 2i Res
_
log z
z
2
+ a
2
, ia
_
= 2i
_
log ia
i2a
_
=

a
ln a +

2
2a
i .
134 CAP
ITULO 5. C
g
r
g
e
! -!
"#
e -e
I
1
I
2
Analicemos cada integral
_
r
log z
z
2
+ a
2
dz
_
r
| ln r + i|
r
2
a
2
|dz|
ln r +
r
2
a
2
r
r
0 ,
log z
z
2
+ a
2
dz
| ln + i|
a
2
2
|dz|
| ln | +
a
2
2

0
0 ,
_
I
1
log x
x
2
+ a
2
dx =
_
I
1
ln x
x
2
+ a
2
dx
r , 0
_

0
ln x
x
2
+ a
2
dx ,
_
I
2
log x
x
2
+ a
2
dx =
_
I
2
log x
x
2
+ a
2
dx =
_

r
log(x)
(x)
2
+ a
2
(dx)
=
_
r
ln x + i
x
2
+ a
2
dx
r , 0
_

0
ln x + i
x
2
+ a
2
dx .
Luego, nalmente podemos escribir
_

0
ln x
x
2
+ a
2
dx +
_

0
ln x + i
x
2
+ a
2
dx = 2
_

0
ln x
x
2
+ a
2
dx + i
_

0
1
x
2
+ a
2
dx
=

a
ln a +

2
4a
i .
Con lo que llegamos a
_

0
ln x
x
2
+ a
2
dx =

2a
ln a ,
_

0
1
x
2
+ a
2
dx =

2a
Ejemplo 5.13. Demostrar el teorema 5.8.
Otro modo de resolver las integrales con logaritmos se muestra resolviendo de nuevo
la integral del ejemplo anterior.
ON 135
Ejemplo 5.14.
_
0
log x/(x
2
+ a
2
) dx, a R
+
Ahora consideramos el contorno (gura 5.7) y la determinacion del logaritmo log
log
[0,2)
cuyo corte de ramicacion es la recta arg z = 0, pues los polos de f no estan
en el semieje real positivo, excepto quizas en el origen. Ahora los polos z = ia estan
contenidos dentro del contorno .
g
r
g
e
e ! -!
"#
-"#
I
1
I
2
En este caso debe tomarse la funcion log
2
x/(x
2
+ a
2
). Se tiene pues que
_
log
2
z
z
2
+ a
2
dz =
_
r
log
2
z
z
2
+ a
2
dz
_
log
2
z
z
2
+ a
2
dz +
_
I
1
log
2
z
z
2
+ a
2
dz
_
I
2
log
2
z
z
2
+ a
2
dz
= 2i
_
Res
_
log
2
z
z
2
+ a
2
, ia
_
+ Res
_
log
2
z
z
2
+ a
2
, ia
__
= 2i
_
log
2
ia
i2a
_
+ 2i
_
log
2
(ia)
i2a
_
=

a
(ln a +

2
i)
2

a
(ln a +
3
2
i)
2
=

a
(2
2
i2 ln a) =
2
3
a
i
2
2
a
ln a .
Analicemos cada integral
_
r
log
2
z
z
2
+ a
2
dz
_
r
| ln r + i|
2
r
2
a
2
|dz|
ln
2
r + (2)
2
r
2
a
2
2r
r
0 ,
log
2
z
z
2
+ a
2
dz
| ln + i|
2
a
2
2
|dz|
ln
2
+ 4
2
a
2
2
2
0
0 ,
136 CAP
ITULO 5. C
_
I
1
log
2
x
x
2
+ a
2
dx =
_
r
ln
2
x
x
2
+ a
2
dx
r , 0
_

0
ln
2
x
x
2
+ a
2
dx ,
_
I
2
log
2
x
x
2
+ a
2
dx =
_
r
log
2
x
x
2
+ a
2
dx =
_
r
(ln x + 2i)
2
x
2
+ a
2
dx
r , 0

_

0
(ln x + 2i)
2
x
2
+ a
2
dx .
Luego, nalmente podemos escribir
_

0
ln
2
x
x
2
+ a
2
dx
_

0
(ln x + 2i)
2
x
2
+ a
2
dx = 4i
_

0
ln x
x
2
+ a
2
dx + 4
2
_

0
1
x
2
+ a
2
dx
=
2
3
a
i
2
2
a
ln a .
Con lo que llegamos de nuevo a
_

0
ln x
x
2
+ a
2
dx =

2a
ln a ,
_

0
1
x
2
+ a
2
dx =

2a
.
El resultado anterior se generaliza del modo siguiente:
Teorema 5.9. Sea f = P/Q con P y Q polinomios tales que deg P +2 deg Q y que
Q no tiene ceros en el semieje real positivo entonces
_

0
f(x) log x dx =
1
2
Re
_
Res (f(z) log

2
z, z
k
)
_
,
_

0
f(x) dx =
1
2
Im
_
Res (f(z) log

2
z, z
k
)
_
,
donde se ha tomado log
[0,2)
.
Ejercicio 5.10. Probar que
_

0
log x dx
1 + x
3
=
1
2
.
5.6. Suma de series
El teorema de los residuos sirve tambien para calcular la suma de algunas series. El
siguiente teorema nos indica la solucion en estos casos.
Teorema 5.10. Sea f una funcion meromorfa en C. Ninguna de las singularidades
z
k
de f recae en un n umero entero. Supongamos que existan dos constantes R > 0 y
M > 0 tales que si |z| > R se verica entonces que:
|f(z)|
M
|z|
. (5.31)
5.6. SUMA DE SERIES 137
En estas circunstancias:
n=
f(n) = lm
N
N
n=N
f(n) =
sing. f
Res ( cot z f(z), z
k
) . (5.32)
!
"
g
N
L
1
L
2
L
3
L
4
N N+1 -N -N-1
! N
!HN+1L
-! N
-!HN+1L
N
Demostracion.- Considerese el contorno
N
de la gura 5.8. Vemos que
N
es un
cuadrado centrado en el origen, de lados paralelos a los ejes y de longitud L con
2N < L < 2N +2. Como el n umero de singularidades de f es nito, siempre podremos
suponer que el contorno
N
encierra a todas ellas. Notese que dicho contorno no pasa
por ning un n umero entero o de la forma iN donde N es entero. Como
cotg z =
cos z
sen z
, (5.33)
entonces cotg z tiene como unicas singularidades polos simples en los puntos de la
forma z
n
= N siendo N entero. De esta manera, las singularidades de cotg zf(z)
son los enteros, que son polos simples mas los puntos singulares de la funcion f. Como
consecuencia, el teorema de los residuos nos dice que
_
N
cotg zf(z) dz = 2i
N
n=N
Res ( cotg zf(z), n) + 2i
sing. f
Res ( cotg zf, z
k
).
138 CAP
ITULO 5. C
Los polos de cotg z son polos simples de cotg z f(z). En efecto,
lm
zn
(z n)
cos z
sen z
f(z) = cos nf(n) lm
zn
z n
sen z
= (1)
n
f(n) lm
zn
1
cos z
= (1)
n
f(n)
1
(1)
n
= f(n) .
Por tanto
Res (cotg z f(z), n) = f(n).
Luego
_
N
cotg zf(z) dz = 2i
N
n=N
f(n) + 2i
sing. f
Res ( cotg zf(z), z
k
).
As pues, el teorema quedara demostrado si probamos que
lm
N
_
N
cotg zf(z) dz = 0 . (5.34)
Para ello consideremos la hipotesis (5.31) y reescribamosla como
|zf(z)| M si |z| > R
z=1/w
1
w
f
_
1
w
_
M si |w| <
1
R
.
Denimos la funcion g
g(w) :=
1
w
f
_
1
w
_
, (5.35)
que verica |g(w)| M si |w| < 1/R y, ademas, no puede tener ninguna singularidad
en D(0, 1/R). En efecto, si g tuviera un polo en w
0
D(0, 1/R) con |w
0
| < 1/R,
entonces, lm
ww
0
|g(w)| = , como vimos en el captulo anterior. Luego g no puede
estar acotada en D(0, 1/R). Si en dicho disco g tuviera una singularidad esencial en w
0
,
por el teorema de Casaroti-Weiesstrass, si K > M, existira una sucesion w
n
n
w
0
tal
que g(w
n
)
n
K, con lo cual g no estara acotada por M en el disco considerado. De
esta manera, g es analtica en D(0, 1/R) y entonces en dicho disco podra desarrollarse
en serie de Taylor,
g(w) :=
1
w
f
_
1
w
_
= a
0
+ a
1
w + . . . a
n
w
n
+ . . . . (5.36)
Deshaciendo el cambio de variable obtenemos
f(z) =
a
0
z
+
a
1
z
2
+ +
a
n
z
n+1
+ , |z| > R.
Por otro lado la funcion (z) := cotg z/z admite un desarrollo en serie de Laurent
en torno al polo doble z
0
= 0 en la corona C(0, 0, ) de la forma
(z) :=
cotg z
z
=
b
2
z
2
+
b
1
z
+c
0
+c
1
z + +c
N
z
n
+ , 0 < |z| < . (5.37)
Notese que como es una funcion par ((z) = (z)) los coecientes impares b
1
, c
1
, c
3
,
deben ser nulos. Luego Res (, 0) = 0.
Los puntos n, n Z {0} son polos simples de con residuo
Res (; n) = lm
zn
(zn)
cos z
sen z
=
(1)
n
n
lm
zn
z n
sen z
=
(1)
n
n
1
cos z
=
1
n
. (5.38)
De (5.38) y del Teorema de los residuos se obtiene entonces que:
_
N
cotg z
z
dz = 2i
N
n=N,N=0
1
n
= 0 . (5.39)
Este resultado implica que
_
N
cotg zf(z) dz =
_
N
cotg z
_
f(z)
a
0
z
_
dz (5.40)
De acuerdo con el desarrollo en serie de f para todo |z| > R (o para todo |w| < 1/R)
se tiene que
f(z)
a
0
z
=
a
1
z
2
+
a
2
z
3
+ +
a
n
z
n+1
+ = w
2
(a
1
+a
2
w+ +a
n
w
n1
+ ) := w
2
h(w) .
Recordemos que la funcion g es analtica en D(0, 1/R) luego (g(w) a
0
)w = w
2
h(w)
tambien lo sera y, por tanto, h representa a una funcion analtica en D(0, 1/R).
Sea ahora R
> R. Entonces 1/R
< 1/R. En el disco cerrado D(0, 1/R
) D(0, 1/R)
la funcion h esta acotada por una constante K. Entonces si |w| < 1/R
(o equivalente-
mente, |z| > R
) se verica que:
f(z)
a
0
z
= |w|
2
|h(w)| |w|
2
K =
K
|z|
2
, z| > R
. (5.41)
Siempre podremos escoger N de tal manera que el contorno
N
rodee a la circunferencia
|z| = R
, es decir que todo z

N
verique que |z| > R
con lo que
N
cotg z
_
f(z)
a
0
z
_
dz
K( sup
z
N
| cotg z|)
_
N
|dz|
|z|
2
.
140 CAP
ITULO 5. C
Para calcular la integral
_
N
d|z|/|z|
2
comenzemos parametrizando cada uno de los
lados del cuadrado. Por ejemplo, el lado L
1
puede parametrizarse por
(x) = x + i(N + 1/2), x [N 1/2, N + 1/2].
Luego
_
|dz|
|z|
2
=
_
N+1/2
N1/2
dx
x
2
+ (N + 1/2)
2
=
1
N + 1/2
_
N+1/2
N1/2
dx
N+1/2
x
2
(N+1/2)
2
+ 1
. (5.42)
El cambio de variable y := x/(N + 1/2), con lo que la ultima integral en (5.42) queda
como:
1
N + 1/2
_
1
1
dy
y
2
+ 1
=
1
N + 1/2
arctg y
1
1

4
N + 1/2
. (5.43)
Repitiendo este mismo calculo para los otros tres lados obtenemos que
_
N
|dz|
|z|
2

16
N + 1/2
. (5.44)
Vamos ahora a buscar una cota superior para cotg z en
N
. Consideremos en primer
lugar que z esta sobre el lado L
2
. Entonces,
z = (N + 1/2) + iy N 1/2 y N + 1/2
y
| cotg z| =
e
2iz
+ 1
e
2iz
1
e
2i(N+1/2)
e
2y
+ 1
e
2i(N+1/2)
e
2y
1
e
2y
+ 1
e
2y
+ 1
1 .
El otro lado vertical L
4
admite una acotacion identica. En cuanto a los lados horizon-
tales, para L
3
z = x + i(N + 1/2) N 1/2 x N + 1/2
se tiene que
| cotg z|
2
=
e
2ix
e
2(N+1/2)
+ 1
e
2ix
e
2(N+1/2)
1
2
=
e
4(N+1/2)
+ 1 + 2e
2(N+1/2)
cos(2x)
e
4(N+1/2)
+ 1 2e
2(N+1/2)
cos(2x)
.
De la ultima expresion vemos que | cotg z| alcanzara un valor maximo cuando cos(2x)
alcance un valor maximo, es decir cuando cos(2x) = 1. De aqu que
sup
z
N
| cotg z| =
e
2(N+1/2)
+ 1
e
2(N+1/2)
1
> sup
z
N
| cotg z| . (5.45)
En el lado L
1
podemos hacer el mismo analisis obteniendose
sup
z
N
| cotg z| =
e
2(N+1/2)
+ 1
e
2(N+1/2)
1
< 1 . (5.46)
De donde concluimos que
sup
z
N
| cotg z| =
e
2(N+1/2)
+ 1
e
2(N+1/2)
1
. (5.47)
Todos los calculos anteriores nos dan la siguiente acotacion para la integral (5.6):
N
cotg z
_
f(z)
a
0
z
_
dz
16
2
K
N + 1/2
e
2(N+1/2)
+ 1
e
2(N+1/2)
1
N
0 . (5.48)
Luego,
lm
N
_
N
cotg zf(z) dz = 0 .
Llevando este resultado a (5.6) vemos que el teorema queda demostrado.
Ejemplo 5.15. Demostar que
n=1
1/n
2
=
2
/6
Consideremos la funcion f(z) = 1/z
2
que tiene un polo doble en z = 0. Aplicando el
teorema 5.8 tenemos que la funcion cot z tiene tambien un polo (simple) en z = 0.
De acuerdo con el teorema 5.10 debemos calcular
Res (
cot z
z
2
, 0) .
Para ello desarrollaremos la funcion cot z en un entorno del cero
cot z =
cos z
sen z
=
1 z
2
/2! + z
4
/4! z
6
/6! +
z(1 z
2
/3! + z
4
/5! z
6
/7! + )
=
1
z

1 z
2
/2! + z
4
/4!
1 z
2
/3! + z
4
/5!
.
Luego, cot z = (1/z) g(z) siendo g(z) una funcion analtica en un disco D(0, r) tal que
g(0) = 1 y cuyo desarrollo en serie solo contiene potencias pares en z como se ve de la
invariancia z z. De esta manera
cot z =
1
z

n=0
a
2n
z
2n
.
Nuestro problema es calcular los coecientes a
n
, para ello se tiene que
1 z
2
/2! + z
4
/4! z
6
/6! + = (1 z
2
/3! + z
4
/5! ) (a
0
+ a
2
z
2
+ a
4
z
4
+ )
= a
0
+ (a
0
/3! + a
2
)z
2
+ (a
4
a
2
/3! + a
0
/5!)z
4
+
142 CAP
ITULO 5. C
Igualando termino a termino obtenemos
a
0
= 1,
a
0
/3! + a
2
= 1/2! = a
2
= 1/3
a
4
a
2
/3! + a
0
/5! = 1/4! = a
4
= 1/45
=
Luego
cot z
z
2
=
1
z
2
(1
(z)
2
3

1
45
(z)
4
+ )
z
=
1
z
3

2
3z

4
45
z +
Por tanto
Res (
cot z
z
2
, 0) =
2
3
.
Y de acuerdo con la formula (5.32) obtenemos el resultado pedido
n =
n = 0
1
n
2
=

2
3
=
n=1
1
n
2
=

2
6
.
n=1
1
n
4
=

4
90
,
n=1
1
n
6
=

6
945
,
n=0
1
n
2
+ a
2
=

2a
coth a +
1
2a
2
, a > 0 .
Variaciones del teorema 5.10 pueden ser utiles para sumar otros tipos de series, as por
ejemplo el caso descrito en el siguiente ejercicio.
Ejercicio 5.12. Demostrar que bajo las hipotesis para f del teorema 5.10 se tiene que
n=
(1)
n
f(n) = lm
N
N
n=N
(1)
n
f(n) =
sing. f
Res
_
f(z)
sen z
, z
k
_
.
n=1
(1)
n1
n
2
=

2
12
,
n=1
(1)
n1
(2n 1)
3
=

3
32
.

Variable Compleja

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Variable Compleja

Hochgeladen von

Copyright:

Verfügbare Formate

1

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

: C C). Sus principales propiedades son:

ITULO 1. FUNCIONES ANAL

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES ANAL

Figura 1.2: Denicion de argumento.

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA 10

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

viene dada por

(z) = z = (a + ib)(x + iy) = ax by + i(ay + bx). (1.19)

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

en la base canonica. Entonces tenemos

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

A. En otras palabras, si contiene un entorno de cada uno de sus puntos

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA 12

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA 14

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

| < entonces |f(z) f(z

(0, 1) = D(0, 1) {0} = {z C : 0 < |z| < 1}.

(0, 1). Sin embargo,

(0, 1) de la forma D(z

(0, 1) basta que < mn{|z

|}. Luego los centrados en puntos de

(0, 1), con |z

| < llegamos a que

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

| > |z| y |z| > |z

| > |z| entonces ||z| |z

|, entonces es obvio que |z| > |z

| < se verica que

1/z| < . Despejando de (1.25) se obtiene que

y, por lo tanto, no hay convergencia uniforme de la funcion

{} se denomina plano complejo extendido.

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ON DE FUNCIONES DE VARIABLE COMPLEJA 29

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ON DE FUNCIONES DE VARIABLE COMPLEJA 31

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ON DE FUNCIONES DE VARIABLE COMPLEJA 33

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ON DE FUNCIONES DE VARIABLE COMPLEJA 35

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

ITULO 1. FUNCIONES DE UNA VARIABLE COMPLEJA

(x) = f(x). Con la condicion f(0) = 1 la solucion es unica f(x) = e

(z) y que, ademas, cuando z sea

ITULO 2. FUNCIONES ELEMENTALES

ITULO 2. FUNCIONES ELEMENTALES

ITULO 2. FUNCIONES ELEMENTALES

ITULO 2. FUNCIONES ELEMENTALES

ITULO 2. FUNCIONES ELEMENTALES

nlog z = n(ln |z| + i(arg z + 2m)) = ln |z|

. Por consiguiente, se puede escoger una funcion

pero no es inyectiva pues ya demostramos

ITULO 2. FUNCIONES ELEMENTALES

y supongamos que existe un z = x + iy B

, w tendra un logaritmo y solo uno en cada una de las bandas

= {z C | < Imz }, (2.5)

ITULO 2. FUNCIONES ELEMENTALES

z debe de estar en el intervalo (, ] entonces k = 0.