Matemticas Especiales II para Fsica

Notas de Clase1
Eduardo Rodrguez
Departamento de Fsica
Universidad Nacional de Colombia
30 de noviembre de 2015

Notas de clase en proceso de construccin. Use bajo su propio riesgo. La originalidad ha sido sacrificada en aras de la claridad (o por lo menos esa es la idea). En
particular, estas notas le deben muchsimo de su contenido al libro de Saff & Snider [1]
y parte de la inspiracin al libro de Needham [2]. Si encuentra un error en estas notas,
le agradecera comunicrmelo al email eduarodriguezsal@unal.edu.co.

ndice general
1. Nmeros complejos
1.1. Motivacin . . . . . . . . . . . . . . . . . .
1.2. Representaciones . . . . . . . . . . . . . .
1.2.1. Par Ordenado . . . . . . . . . . . .
1.2.2. Matrices . . . . . . . . . . . . . . .
1.3. El Plano Complejo . . . . . . . . . . . . . .
1.4. La identidad de Euler . . . . . . . . . . . .
1.5. Algunas funciones de variable compleja
1.5.1. Potencias y Races . . . . . . . . .
1.5.2. Exponencial . . . . . . . . . . . . .
1.5.3. Funciones trigonomtricas . . . .
1.5.4. El Logaritmo . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

3
3
4
5
5
6
7
10
10
10
11
12

2. Funciones Analticas
2.1. Lmites y Continuidad . . . . . . . . .
2.2. Derivadas . . . . . . . . . . . . . . . . .
2.3. Las ecuaciones de CauchyRiemann .
2.4. Funciones armnicas . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

13
13
14
16
17

.
.
.
.
.
.
.
.

21
21
24
26
27
29
36
40
43

3. Integracin compleja
3.1. Contornos . . . . . . . . . . . . . . . .
3.2. Integrales de contorno . . . . . . . .
3.3. Cotas superiores para integrales . .
3.4. Independencia del camino . . . . . .
3.5. Teorema integral de Cauchy . . . .
3.6. Frmula integral de Cauchy . . . . .
3.7. Cotas para funciones analticas . . .
3.8. Aplicaciones a funciones armnicas

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

4. Series
4.1. Motivacin . . . . . . .
4.2. Series de potencias . .
4.3. Serie de Laurent . . . .
4.4. Ceros y singularidades
4.5. El punto en el infinito

.
.
.
.
.

49
49
51
58
64
71

5. El mtodo de los residuos

5.1. El teorema del residuo . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Integrales trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . .
5.3. Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . .

74
74
78
80

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Captulo 1

Nmeros complejos
1.1.

Motivacin

p
El protagonista de
este
curso
es
i
=
1, la unidad imaginaria. Qu
p
sentido tiene escribir 1? Existe realmente este objeto? Ciertamente, ningn
nmero real x es solucin de la ecuacin x 2 = 1.
Para motivar la introduccin de los nmeros complejos, recurriremos a la
historia. Sin embargo, es importante notar que, en ltima instancia, los nmeros
complejos son una abstraccin matemtica (pero, qu no lo es?) que estudiamos porque resulta extremadamente til para comprender el mundo real.
En uno de los primeros avances de la matemtica desde la antigua Grecia, en
1545, Gerolamo Cardano public la solucin general de la ecuacin cbica. Para
nuestros propsitos, resulta suficiente considerar la ecuacin cbica reducida
x 3 = 3p x + 2q,

(1.1)

donde p y q son dos nmeros reales. La solucin de Cardano para esta ecuacin
puede escribirse en la forma
x = (q + w)1/3 + (q w)1/3 ,

(1.2)

1/2
donde hemos definido w = q2 p3
. Usando esta frmula podemos, por
p
p
3
3
ejemplo, encontrar la solucin x = 4 + 2 a la ecuacin x 3 = 6x + 6.
Consideremos ahora el caso x 3 = 15x + 4. Inmediatamente nos p
vemos enfrentados a un problema: con p = 5 y q = 2, encontramos w = 121 =
11i. Cmo hemos de interpretar en esta ocasin la solucin de Cardano, x =
(2 + 11i)1/3 +(2 11i)1/3 ? El problema es particularmente agudo, pues la ecuacin posee una solucin real, x = 4. De hecho, como se sugiere en la figu3

100

50

0
x3
q2 > p3
q2 < p3

50
100
6

0
x

Figura 1.1: La ecuacin x 3 = 3p x + 2q tiene una solucin real cuando q2 > p3 ,

dos soluciones reales cuando q2 = p3 , y tres soluciones reales cuando q2 < p3 .
ra 1.1, la ec. (1.1) siempre tiene al menos una solucin real. La primera persona en entender cmo operar con nmeros complejos fue Rafael Bombelli.
Si podemos encontrar un nmero real b tal que (2 bi)3 = 2 11i, entonces habremos resuelto el problema, pues la solucin de Cardano nos entregar
x = (2 + bi) + (2 bi) = 4. Asumiendo, con Bombelli, que podemos tratar i del
mismo modo que una variable real cualquiera, tenemos


(2 + bi)3 = 8 + 12bi + 6 (bi)2 + (bi)3 = 8 6b2 + i b 12 b2 = 2 + 11i. (1.3)
Claramente, b = 1 resuelve esta ecuacin y nos permite obtener x = 4 mediante
aplicacin directa de la frmula de Cardano. Este ejemplo muestra cmo un
problema estrictamente sobre nmeros reales requiere de la introduccin de
los nmeros complejos para ser resuelto, incluso cuando la solucin es otro
nmero real.

1.2.

Representaciones

La idea de esta seccin es mostrar que, ms all de preguntarnos, filosficamente, qu es un nmero complejo?, lo que de verdad importa es cules son
las propiedades que ste satisface.

1.2.1.

Par Ordenado

Para un matemtico, es suficiente definir un nmero complejo z como el

par ordenado (a, b), donde a y b son nmeros reales, junto con las siguientes
operaciones:
(a, b) + (c, d) = (a + c, b + d) ,

(1.4)

c (a, b) = (ca, c b) ,

(1.5)

(a, b) (c, d) = (ac bd, ad + bc) .

(1.6)

La regla (1.6) nos permite identificar 1 = (1, 0), pues

(a, b) (1, 0) = (1, 0) (a, b) = (a, b) ,

(1.7)

para cualquier par ordenado (a, b). Adems, el par (0, 1) satisface
(0, 1)2 = (0, 1) (0, 1) = (1, 0) = 1,

(1.8)

por lo que nos vemos motivados a escribir i = (0, 1). Con estas definiciones, un
par ordenado cualquiera adopta la forma
(a, b) = a (1, 0) + b (0, 1) = a + bi,

(1.9)

y las operaciones (1.4)(1.6) son recuperadas a travs de las reglas usuales del
lgebra. Por ejemplo,
(a + bi) (c + d i) = ac + ad i + bci + bd i 2 = ac bd + (ad + bc) i.

1.2.2.

(1.10)

Matrices

Alternativamente, un nmero complejo puede ser representado a travs de

una matriz de 2 2. Esta representacin es probablemente ms significativa
para un fsico. Consideremos matrices de la forma


a b
z=
,
(1.11)
b a
donde a y b son nmeros reales. El producto de dos matrices de esta clase
produce


 

a b
c d
ac bd ad + bc
zw =
=
,
(1.12)
b a
d c
ad bc ac bd
5

y
z+w

z
w

x
Figura 1.2: Interpretacin geomtrica de la suma de dos nmeros complejos.
es decir, zw tiene tambin la misma forma que (1.11), y el producto reproduce
la regla (1.6). Adems, la matriz identidad, 1, corresponde a la eleccin a = 1,
b = 0. Poniendo a = 0, b = 1, hallamos


0 1
,
(1.13)
i=
1 0
la cual satisface i 2 = 1. Finalmente, todas las matrices de la forma (1.11)
pueden escribirse como la combinacin lineal






0 1
1 0
a b
= a1 + bi.
(1.14)
+b
=a
z=
1 0
0 1
b a
Omitiendo escribir explcitamente la matriz identidad, nos quedamos con la
forma z = a + bi.

1.3.

El Plano Complejo

Una representacin particularmente importante de un nmero complejo es

como un punto o un vector en un plano, el plano complejo.
En esta representacin, la suma de nmeros complejos corresponde a la
aplicacin de la regla del paralelogramo para vectores en dos dimensiones (ver
figura 1.2). En particular, esto significa que se satisface la identidad triangular:
|z + w| |z| + |w| .
6

(1.15)

y
zw

w
z

x
Figura 1.3: Interpretacin geomtrica de la multiplicacin de dos nmeros complejos.
Si z = a + i b, entonces la magnitud (o mdulo) y el argumento (o fase) de
z estn dados por

1/2
|z| = a2 + b2
,

b
arg (z) = tan1
.
a

(1.16)
(1.17)

En la ec. (1.16) entendemos que debemos tomar la raz cuadrada positiva para
obtener |z| 0. La ec. (1.17) es esencialmente incorrecta (aunque tradicional).
El argumento de un nmero complejo z es el ngulo que el vector asociado a
z hace con la parte positiva del eje x. La ec. (1.17) falla cuando z est en el
segundo o tercer cuadrante, porque interpreta b/a > 0 como primer cuadrante
(cuando podra ser el tercero) y b/a < 0 como cuarto cuadrante (cuando podra ser el segundo). Muchos lenguajes de programacin incluyen una funcin
atan2 ( y, x) que acepta dos argumentos y entrega siempre el ngulo correcto.1
An con estas precauciones, el argumento de z es intrnsecamente ambiguo,
pues siempre es posible sumarle un mltiplo entero (positivo o negativo) de
2. El argumento principal de z, Arg (z) (escrito con mayscula), se define explcitamente como aquel ngulo que satisface
< Arg (z) .

1.4.

(1.18)

La identidad de Euler

La suma de nmeros complejos tiene una interpretacin geomtrica directa

(ver seccin 1.3). Podemos hacer algo parecido con la multiplicacin?
1

En algunos lenguajes el orden de los argumentos est invertido; tenga cuidado.

Llamando r = |z|, = arg (z), es claro que podemos escribir

z = r (cos + i sin ) .

(1.19)

Esta forma polar de un nmero complejo resulta conveniente para la multiplicacin, del mismo modo que la forma cartesiana, z = a + i b, resulta conveniente
para la suma. Si w = R (cos + i sin ), entonces el producto zw puede escribirse como
zw = rR (cos + i sin ) (cos + i sin )
= rR [(cos cos sin sin ) + i (cos sin + sin cos )]
= rR [cos ( + ) + i sin ( + )] ,

(1.20)
(1.21)
(1.22)

donde hemos utilizado las conocidas identidades trigonomtricas para el seno

y el coseno de la suma de dos ngulos. En palabras, entonces: al multiplicar dos
nmeros complejos, se multiplican las magnitudes y se suman los argumentos.
Esta conversin de una multiplicacin en una suma es reminiscente del comportamiento de los logaritmos: log (a b) = log a + log b. En efecto, si damos el
audaz paso de escribir
e i = cos + i sin ,
(1.23)
entonces la ec. (1.22) para la multiplicacin de nmeros complejos pasa a ser
una manifestacin de las propiedades de la exponencial [dado que e i e i =
e i( +) ]. La identidad de Euler (1.23) es una de las ecuaciones ms importantes
de la teora de los nmeros complejos, cuando no de todas las matemticas.
Richard Feynman la consideraba la frmula ms notable de las matemticas.
La justificacin formal para la identidad de Euler la daremos recin en la seccin XYZ. Por ahora, presentamos dos argumentos heursticos para hacer ms
plausible la existencia de esta conexin entre funciones trigonomtricas y exponenciales.
Una manera de definir la funcin exponencial en el mbito de los nmeros
reales es recurrir a su expansin en serie,
ex =

X
xn
.
n!
n=0

(1.24)

Si extendemos esta definicin para el caso en que x = i es un nmero imagi-

nario, encontramos
e

X
(i )n
n=0

(1.25)

n!

(i )2n X (i )2n+1
=
+
(2n)! n=0 (2n + 1)!
n=0
=

X
(1)n
n=0

(2n)!

2n

X
(1)n
+i
2n+1
(2n
+
1)!
n=0

= cos + i sin ,

(1.26)
(1.27)
(1.28)

donde hemos utilizado el hecho que i 2n = (1)n , i 2n+1 = (1)n i.

Otra manera de aproximarnos a la identidad de Euler es la siguiente. Si queremos dar sentido a la expresin y = e i , necesitamos decidir qu propiedades
de la exponencial real queremos conservar como definitorias cuando extendemos su alcance a los nmeros complejos. Una de estas propiedades fundamentales es
d kx
e = ke kx ,
(1.29)
dx
para cualquier constante (real) k. Exigiendo que esta propiedad se preserve
cuando k = i, encontramos
dy
= i y,
d
d2 y
= y.
d 2

(1.30)
(1.31)

La solucin general de la ec. (1.31) puede escribirse en la forma

y = Acos + B sin ,

(1.32)

donde las constantes A y B deben determinarse a partir de las condiciones iniciales,

y (0) = 1,

d y 
= i.
d 

(1.33)
(1.34)

=0

Procediendo de este modo hallamos A = 1, B = i, y recuperamos la identidad

de Euler.
Cuando = , la identidad de Euler produce e i = 1 (ver figura 1.4).
9

Figura 1.4: Homero Simpson en el episodio Treehouse of Horror VI (1995).

Reemplazando i por i (o, equivalentemente, por ) en la identidad de
Euler hallamos ei = cos i sin . En particular, podemos escribir
e i + ei
,
2
e i ei
sin =
.
2i

cos =

1.5.

(1.35)
(1.36)

Algunas funciones de variable compleja

1.5.1.

Potencias y Races

1.5.2.

Exponencial

Ya sabemos cmo interpretar e i cuando es un nmero real (ver seccin 1.4). Cmo debemos entender el caso general, ez , donde z es un nmero
complejo? La respuesta es simple. Si la exponencial compleja ha de satisfacer
la propiedad ez+w = ez e w , entonces podemos escribir
ez = e x+i y = e x e i y = e x (cos y + i sin y) .

(1.37)

Para todos los efectos prcticos, la ec. (1.37) representa nuestra definicin de ez .
La exponencial compleja es un mapeo, exp : C C, de los nmeros complejos
en s mismos. Note que, de acuerdo a la ec. (1.37), las partes real e imaginaria
de ez son e x cos y y e x sin y, respectivamente.
Dado que |ez | = e x 6= 0, concluimos que la exponencial compleja nunca es
igual a cero. Sin embargo, asume todos los dems valores complejos (includos
todos los nmeros reales negativos).
Como ez+2i = ez , encontramos que la funcin exponencial es peridica, con
perodo igual a 2i.
10

1.5.3.

Funciones trigonomtricas

Generalizando las ecs. (1.35)(1.36), definimos ahora el seno y el coseno

de una variable compleja z como
e iz + eiz
,
2
e iz eiz
sin z =
.
2i

cos z =

(1.38)
(1.39)

Estas definiciones coinciden con las funciones trigonomtricas usuales cuando

z = x R. Al igual que la exponencial, las funciones trigonomtricas (1.38)
y (1.39) son mapeos de los nmeros complejos en s mismos. Esto significa que,
en general, el seno o el coseno de un nmero complejo es otro nmero complejo.
Sumando y restando, obtenemos

e iz = cos z + i sin z,

(1.40)

iz

(1.41)

= cos z i sin z,

generalizando la identidad de Euler. Cuidado: Este par de ecuaciones no afirma

que cos z y sin z sean, respectivamente, las partes real e imaginaria de ez . En
efecto, es directo demostrar que
cos z = cos x cosh y i sin x sinh y,

sin z = sin x cosh y + i cos x sinh y.

(1.42)
(1.43)

Las funciones trigonomtricas hiperblicas se definen en la forma

ez + ez
,
2
ez ez
sinh z =
.
2

cosh z =

(1.44)
(1.45)

Claramente, cosh (iz) = cos z, sinh (iz) = i sin z. Estas relaciones tan estrechas
hacen que las funciones hiperblicas sean ligeramente redundantes en el mbito
de los nmeros complejos.
Elevando al cuadrado y sumando o restando, podemos demostrar
cos2 z + sin2 z = 1,

(1.46)

cosh2 z sinh2 z = 1.

(1.47)

11

1.5.4.

El Logaritmo

El logaritmo de un nmero complejo z se define de manera tal que elog z = z.

Escribiendo z = r e i , encontramos inmediatamente
log z = ln r + i .

(1.48)

Al igual que el argumento de z, = arg z, el logaritmo es una multifuncin, con

infinitas ramas. En z = 0, la funcin logaritmo tiene un punto de ramificacin.
La rama principal de log z se define como
Log z = ln r + i Arg z,

(1.49)

con < Arg z . Esta rama tiene una discontinuidad en el eje real negativo.
La identidad
log (a b) = log a + log b,
(1.50)
donde a, b C, sigue siendo vlida si la interpretamos de la siguiente manera:
todos los valores posibles del lado izquierdo de la ecuacin estn contenidos
entre los valores posibles del lado derecho, y viceversa. La identidad (1.50)
falla si nos restringimos a una nica rama de la funcin logaritmo. Por ejemplo,
si bien Log (1) = i, Log (i) = i/2, el logaritmo del producto de 1 e i es
Log (i) = i/2 6= 3i/2.
A partir de la rama principal es posible obtener el valor del logaritmo en
cualquier otra rama usando la ecuacin
log z = Log z + 2ni,
donde n es un nmero entero (positivo o negativo).

12

(1.51)

Captulo 2

Funciones Analticas
2.1.

Lmites y Continuidad

Sea f (z) una funcin definida en alguna vecindad de z0 , con la posible

excepcin de z0 mismo.
Decimos que w0 es el lmite de f (z) cuando z tiende a z0 , y escribimos
lm f (z) = w0 ,

(2.1)

zz0

si, para cualquier > 0, existe siempre un > 0 tal que, si 0 < |z z0 | < ,
entonces | f (z) w0 | < . Cuando el lmite existe, los valores de la funcin f (z)
se acercan arbitrariamente a w0 cuando z se acerca a z0 (ver figura 2.1).

z0

w0

w = f (z)

Figura 2.1: Sea una vecindad pequea en torno de w0 . El lmite de f (z)

cuando z tiende a z0 existe si es posible encontrar una vecindad perforada en
torno de z0 tal que la imagen de bajo f est contenida dentro de .
Esta definicin es equivalente al lmite de una sucesin: si lmzz0 f (z) =
w0 , entonces, para cualquier sucesin z1 , z2 , . . . que converja a z0 (con zn 6= z0 ),
la sucesin f (z1 ) , f (z2 ) , . . . converge a w0 .
13

Decimos que f (z) es continua en z = z0 si

lm f (z) = f (z0 ) .

zz0

(2.2)

Las definiciones de lmites y continuidad son anlogas al caso real; escribiendo

f (z) = u (x, y) + i v (x, y) ,
(2.3)
la existencia del lmite para f (z) es equivalente a la existencia de los lmites
para u y v, y lo mismo pasa con la continuidad. En particular, esto significa que
son vlidos los teoremas del clculo real relativos a lmites y continuidad de
sumas, productos y cuocientes.

2.2.

Derivadas

Decimos que f (z) es derivable en z = z0 , y escribimos su derivada como

f (z0 ), si el lmite
0

f 0 (z0 ) = lm

z0

f (z0 + z) f (z0 )
z

(2.4)

existe. Note que z es un nmero complejo.

Las reglas usuales del clculo real para la derivada de sumas, productos,
cuocientes y composicin de funciones siguen siendo vlidas.
Ejemplo 2.1.

d n
z = nz n1 .
dz
Usando el teorema del binomio,

(2.5)

d n
(z + z)n z n
z = lm
z0
dz
z
n
n1
z + nz z + z n
=
z
n1
= nz .
Este resultado implica que todos los polinomios son derivables.
Ejemplo 2.2. z no es derivable en ningn punto.
Para demostrar que el lmite
lm

z0

(z0 + z) z0
z

14

z
z0 z

= lm

(2.6)

no existe, basta mostrar que se obtienen resultados distintos segn se tome

primero x 0 o y 0:

x i y
lm
lm
= 1,
x0 y0 x + i y

x i y
lm
lm
= 1.
y0 x0 x + i y
Definicin 2.1. Decimos que f (z) es analtica en z0 si es derivable en una
vecindad de z0 . Otros trminos equivalentes a analtica son holomorfa y
regular. Si f (z) es analtica para todo z C, decimos que f (z) es entera.
Ejemplo 2.3. Determine si las siguientes funciones son analticas:
f (z) =

x 1iy

(x 1)2 + y 2

g (z) = x 2 + y 2 + 3x + 1 + 3 y i.

(2.7)
(2.8)

Podemos reescribir f y g en trminos de z usando las relaciones

z + z
,
2
z z
y=
.
2i

x=

(2.9)
(2.10)

Obtenemos
1
,
z1
g (z) = zz + 3z + 1.
f (z) =

(2.11)
(2.12)

Claramente, f (z) es analtica para todo z 6= 1. En cambio, g (z) no es analtica

jams. Si lo fuera, entonces tambin lo sera
z =

g (z) 3z 1
z

(2.13)

(excepto en z = 0), lo cual sabemos que es falso.

Las funciones analticas son aquellas que pueden expresarse como funciones
(diferenciables) de z exclusivamente, sin involucrar z .

15

2.3.

Las ecuaciones de CauchyRiemann

Una funcin de variable compleja siempre puede escribirse en la forma

f (z) = u (x, y) + i v (x, y) .

(2.14)

Las partes real e imaginaria, u y v, son funciones de dos variables reales.

Qu condiciones sobre u y v impone la analiticidad de f (z)?
Para responder esta pregunta, calculamos el lmite
f 0 (z) = lm

z0

f (z + z) f (z)
z

(2.15)

a travs de dos caminos distintos, uno paralelo al eje x (con y = 0, z = x)

y otro paralelo al eje y (con x = 0, z = i y). En el primer caso encontramos
u (x + x, y) + i v (x + x, y) u (x, y) i v (x, y)
x0
x
u (x + x, y) u (x, y)
v (x + x, y) v (x, y)
= lm
+ i lm
x0
x0
x
x
u
v
=
+i
.
x
x

f 0 (z) = lm

En el segundo caso, en cambio, hallamos

u (x, y + y) + i v (x, y + y) u (x, y) i v (x, y)
y0
i y
u (x, y + y) u (x, y)
v (x, y + y) v (x, y)
= lm
+ i lm
y0
y0
i y
i y
u v
= i
+
.
y y

f 0 (z) = lm

Para que la derivada exista, los lmites deben ser iguales:

u
v
=
,
x
y
u
v
=
.
y
x

(2.16)
(2.17)

stas son las famosas ecuaciones de CauchyRiemann.

Las ecuaciones de CauchyRiemann son una condicin necesaria para que
una funcin f (z) sea diferenciable en un punto z0 , pero no son suficientes.
16

Teorema 2.1. Considere una funcin f (z) = u (x, y) + i v (x, y) definida en un

conjunto abierto G que contiene al punto z0 . Si las primeras derivadas parciales
de u y v existen en G, son continuas en z0 , y satisfacen las ecuaciones de Cauchy
Riemann en z0 , entonces f (z) es diferenciable en z0 .
En consecuencia, si las primeras derivadas parciales son continuas y satisfacen
las ecuaciones de CauchyRiemann para todo z G, entonces f (z) es analtica en
G.
Ejemplo 2.4. Muestre que




f (z) = x 2 + y + i y 2 x

(2.18)

no es analtica en ningn punto.

Las derivadas parciales de u y v son
u
x
u
y
v
x
v
y

= 2x,

(2.19)

= 1,

(2.20)

= 1,

(2.21)

= 2 y.

(2.22)

Las ecuaciones de CauchyRiemann se satisfacen slo sobre la recta x = y.

Como las derivadas parciales son todas continuas, f (z) es diferenciable sobre
esta recta. Sin embargo, cualquier vecindad abierta de un punto sobre la recta
incluye puntos fuera de ella, donde la funcin no es diferenciable. Luego, f (z)
no es nunca analtica, ni siquiera sobre la recta donde es diferenciable.

2.4.

Funciones armnicas

Una funcin (x, y) se dice armnica si sus derivadas parciales de segundo

orden son continuas y satisfacen la ecuacin de Laplace,
2 2
+
= 0.
x2
y2

(2.23)

Un ejemplo de funcin armnica es el potencial electrosttico en ausencia de

cargas (y considerado como una funcin de slo dos variables). Reemplazando
E~ = en la ley de Gauss, E~ = /0 , encontramos 2 = /0 . Luego,
satisface la ecuacin de Laplace cuando = 0.
17

Teorema 2.2. Si f (z) = u (x, y) + i v (x, y) es analtica, entonces u y v son armnicas.

La demostracin de este Teorema se sigue de manera inmediata a partir de
las ecuaciones de CauchyRiemann.
Dada una funcin armnica u (x, y), siempre es posible encontrar otra funcin armnica, v (x, y), tal que f (z) = u (x, y) + i v (x, y) sea analtica.
Ejemplo 2.5. Encuentre la conjugada armnica de u (x, y) = x 3 3x y 2 + y.
Las derivadas parciales de u son
u
= 3x 2 3 y 2 ,
x
u
= 6x y + 1.
y

(2.24)
(2.25)

Para ser la conjugada armnica de u, una funcin v (x, y) debe satisfacer

v
= 6x y 1,
x
v
= 3x 2 3 y 2 .
y

(2.26)
(2.27)

Integrando estas ecuaciones encontramos v (x, y) = 3x 2 y x y 3 . Interpretando u y v como las partes real e imaginaria de una funcin compleja f (z),
podemos escribir f (z) = z 3 iz.
Ejemplo 2.6. Grafique las curvas de nivel, u (x, y) = const., v (x, y) = const.,
para la funcin f (z) = z 2 = x 2 y 2 + 2x y i.
En la figura 2.2 se muestran en rojo las curvas de nivel para u y en azul las
curvas de nivel para v.

En general, las curvas de nivel u (x, y) = const. son ortogonales a las curvas
de nivel v (x, y) = const. Una manera de demostrar esto es considerar el gradiente de cada curva. Dado que el gradiente es perpendicular a las superficies
de nivel, la ortogonalidad entre los gradientes es equivalente a la ortogonalidad
entre las curvas. En efecto, con
u
+
x
v
+
v =
x
u =

18

u
,
y
v
,
y

(2.28)
(2.29)

2,5
2
1,5
1

0,5
0
0,5
1
1,5
2
2,5
2,5 2 1,5 1 0,5

0
x

0,5

1,5

2,5

Figura 2.2: Algunas curvas de nivel para f (z) = z 2 = x 2 y 2 +2x y i. En rojo las
curvas x 2 y 2 = const., y en azul las curvas 2x y = const. Se incluye el crculo
unitario (en gris) como referencia.

19

hallamos
u v =

u u u u
u v u v
+
=
+
= 0,
xx yy
xy yx

(2.30)

en virtud de las ecuaciones de CauchyRiemann. El nico caso en que esta ortogonalidad puede fallar es cuando u = 0 o v = 0. Esto es exactamente lo
que encontramos en la figura 2.2, donde las curvas rojas y las curvas azules
son siempre ortogonales, excepto cuando x = y = 0: en este punto tenemos
u = v = 0.

20

Captulo 3

Integracin compleja
Sea f : R C una funcin de variable real que toma valores complejos. La
integral de f (t) = u (t) + i v (t) sobre un intervalo a t b est definida como
Z b
Z b
Z b
a

f (t) d t =

u (t) d t + i

v (t) d t.

(3.1)

Por ejemplo, si m y n son dos nmeros enteros, entonces

Z 2
0

e i(nm) d = 2mn ,

(3.2)

donde mn es el delta de Kronecker.

Si f : C C es una funcin de variable compleja, entonces necesitamos
especificar el trayecto que tomamos para ir de a a b (incluso si a y b son puntos
en la recta real).

3.1.

Contornos

Decimos que es una curva suave si

Es continua (sin saltos o interrupciones)
Es suave (sin puntas)
No se intersecta a s misma (excepto quizs en sus puntos extremos, si es
una curva cerrada)
Si z (t) es una parametrizacin de la curva suave , con a t b, entonces
estas propiedades se traducen en condiciones sobre z (t):
21

dz/d t debe ser continua en [a, b]

dz/d t 6= 0 para todo a t b

z (t) es uno a uno (biyectiva) en [a, b]

Si adems z (a) = z (b) y z 0 (a) = z 0 (b), entonces decimos que la curva suave
es cerrada. La figura 3.1 contiene ejemplos (y contraejemplos) de curvas suaves.

(a)

(b)

(c)

(d)

Figura 3.1: (a) Una curva suave (abierta). (b) Una curva suave cerrada. (c) Esta
curva no es suave porque se intersecta a s misma. (d) Esta curva no es suave
porque tiene puntas.
Una misma curva puede admitir muchas parametrizaciones.
Ejemplo 3.1. Las siguientes tres funciones z (t) son parametrizaciones admisibles de una misma curva :
z1 (t) = t + i t, con 0 t 1

z2 (t) = (1 2t) + i (1 2t), con 0 t 1/2

z2 (t) = tan t + i tan t, con 0 t /4

Es importante notar, sin embargo, que una parametrizacin le asigna una

orientacin a una curva. En el ejemplo 3.1, la parametrizacin z2 recorre la curva
en direccin contraria a las otras dos, es decir, con orientacin opuesta.
Un contorno es una secuencia finita de curvas suaves dirigidas (1 , 2 , . . . , n )
tal que el punto final de k coincide con el punto inicial de k+1 , para k =
1, 2, . . . , n 1 (ver figura 3.2).
Un contorno hereda una orientacin a partir de la orientacin de sus componentes. Note que una curva suave es un caso particular de un contorno, con
n = 1.
Si es un contorno, denotamos por al mismo contorno recorrido en
direccin opuesta.
22

2
2
2

2
1

Figura 3.2: Algunos ejemplos de contornos abiertos y cerrados.

Decimos que un contorno (cerrado) es simple si no se intersecta a s mismo
(ms que en los puntos inicial y final).
Para especificar la direccin de un contorno cerrado simple, una herramienta til es el Teorema de la curva de Jordan.
Teorema 3.1. Todo contorno cerrado simple separa el plano en dos dominios,
siendo el contorno la frontera de ambos. Uno de estos dominios, llamado interior,
es acotado; el otro, llamado exterior, es no acotado.
La demostracin del Teorema 3.1 es sorprendentemente complicada, por lo
que la omitimos.
Decimos que un contorno tiene orientacin positiva si, al recorrer el contorno, el interior de ste queda siempre a la izquierda (sentido antihorario).
La longitud de una curva suave puede calcularse en la forma
Z
l () =

ds

(3.3)

Z
=

d x2 + d y2

(3.4)

t dx 2
dy 2
=
+
dt
dt
dt
a
Z b 
 dz 
 dt
=
dt 
Za
Z

b u

|dz| .

(3.5)
(3.6)
(3.7)

23

Es importante notar que l () es independiente de la parametrizacin escogida.

Si = 1 + 2 + + n es un contorno compuesto de n curvas suaves,
entonces su longitud es l ( ) = l (1 ) + l (2 ) + + l (n ).

3.2.

Integrales de contorno

En esta seccin definimos la integral de una funcin de variable compleja,

f : C C, a lo largo de un contorno .
Sea una curva suave con punto inicial y punto final . Una particin Pn
de es definida como una coleccin finita de puntos z0 , z1 , . . . , zn , tal que z0 =
y zn = , donde todos los puntos estn ordenados siguiendo la orientacin de
(ver figura 3.3).
zn =

zn1
z1

zk

zk1

ck

cn

c1
z0 =
Figura 3.3: Una particin de la curva suave .
Escojamos ahora n puntos sobre , c1 , c2 , . . . , cn , de manera tal que, para k =
1, 2, . . . , n, ck yace en el arco de curva entre zk1 y zk . Llamando zk = zk zk1 ,
podemos definir la suma de Riemann para la funcin f (z) correspondiente a la
particin Pn como
n
X
S (Pn ) =
f (ck ) zk .
(3.8)
k=1

Decimos que f es integrable sobre la curva suave si la suma de Riemann S (Pn )

tiene un lmite cuando n , para cualquier particin Pn :
Z
Z
lm S (Pn ) = L =

f (z) dz =

24

f.

(3.9)

Como esta definicin de integral es anloga a la definicin dada en el clculo

real, muchas propiedades de las integrales reales son preservadas en el clculo complejo. Por ejemplo, si f y g son integrables sobre una curva suave ,
entonces:
R
R
R
g
f
+
(
f
+
g)
=

cf = c

f =

donde c es cualquier constante compleja y denota el mismo contorno recorrido en sentido inverso.
Teorema 3.2. Si f es continua sobre , f es integrable sobre .
R
Para calcular f podemos recurrir al siguiente teorema.
Teorema 3.3. Sea f (z) una funcin continua sobre la curva suave dirigida . Entonces, si z (t), con a t b, es una parametrizacin admisible de , conservando
su orientacin, tenemos
Z

Z
f (z) dz =

f (z (t))

dz
d t.
dt

(3.10)

La integral en el lado derecho de (3.10) es sobre la variable real t, de manera

que se resuelve como en la ec. (3.1).
En la prctica, la parametrizacin z (t) de la curva funciona como un cambio de variable ordinario, reemplazando la variable compleja z por la variable
real t. Claramente, el valor de la integral no depende de la parametrizacin
escogida:
Corolario. Si z1 y z2 son dos parametrizaciones admisibles de , con rangos a
t b y c t d, respectivamente, entonces
Z

dz1
f (z1 (t))
dt =
dt

f (z2 (t))

dz2
d t.
dt

(3.11)

H
Ejemplo 3.2. Calcular C (z z0 )n dz, donde C r es el crculo de radio r cenr
trado en z0 , orientado positivamente.

25

Una parametrizacin sencilla de C r , orientada positivamente, es z (t) = z0 +

r e i t , con 0 t 2. Procediendo de acuerdo a la ec. (3.10), obtenemos
I
Z 2
Z 2




n
n int
it
n+1
(z z0 ) dz =
r e
ire d t = ir
e i(n+1)t d t.
(3.12)
Cr

Cuando n = 1, encontramos
I
Cr

dz
=i
z z0

d t = 2i,

(3.13)

sin importar el valor de r. Cuando n 6= 1, en cambio, hallamos

I

Cr

(z z0 ) dz = i r

n+1

e i(n+1)t
i (n + 1)

2

t=0

= 0.

(3.14)

Hasta ahora nos hemos ocupado slo de integrales sobre una curva suave
. La generalizacin a integrales sobre contornos ms generales no presenta
dificultad alguna. Si = 1 + + n es un contorno compuesto de n curvas
suaves k , entonces
Z
Z
Z
f =

3.3.

f + +

f.

(3.15)

Cotas superiores para integrales

Sea f (z) una funcin continua y acotada sobre la curva suave dirigida ,
| f (z)| M ,

z ,

(3.16)

donde M es una constante real positiva. Usando la identidad triangular, podemos acotar la suma de Riemann correspondiente a f (z) en la siguiente forma:


n
n
X
 X


f (ck ) zk 
| f (ck ) zk |



k=1

k=1

n
X
k=1

| f (ck )| |zk |

n
X
k=1

|zk |

M l () ,
26

donde l () es la longitud de . Como esta desigualdad es vlida para cualquier

suma de Riemann, concluimos que, en el lmite,

Z




(3.17)
 f (z) dz  M l () .


Para el caso de un contorno = 1 + + n , aplicamos la desigualdad
triangular para obtener

Z
 Z
Z


 

 f (z) dz  = 
f
(z)
dz
+

+
f
(z)
dz


 

1

n

Z

Z








f (z) dz 
f (z) dz  + + 





n

M l (1 ) + + M l (n ) ,

de donde


Z


 f (z) dz  M l ( ) .



(3.18)

Es decir, la integral de una funcin continua y acotada sobre un contorno

est a su vez acotada por el producto de la cota de la funcin y la longitud del
contorno.

3.4.

Independencia del camino

En general, el resultado de la integral de una funcin de variable compleja

depende de los detalles del contorno de integracin.
El Teorema 3.4 da las condiciones para cuando esta integral es independiente del camino recorrido entre los puntos inicial y final del contorno.
Definicin 3.1. Un dominio D es un conjunto abierto y conexo (i.e., dos puntos
z1 , z2 D pueden ser siempre conectados por una lnea poligonal que yace
completamente en D).
Teorema 3.4. Suponga que la funcin f (z) es continua en un dominio D y que
tiene una antiderivada (primitiva) F (z) en todo D; i.e., d F /dz = f (z) , z D.
Entonces, para todo contorno D, con punto inicial zi y punto final z f , tenemos
Z


f (z) dz = F z f F (zi ) .
(3.19)

27

Demostracin. La demostracin del teorema hace uso del Teorema Fundamental del Clculo para una variable real t.
Para una curva suave ,
Z

Z
f (z) =

f (z (t))

dz
d t,
dt

donde z (t), con a t b, es una parametrizacin admisible de . Pero

d F dz
dz
d
F (z (t)) =
= f (z (t)) ,
dt
dz d t
dt

de donde
Z

Z
f (z) =

d
F (z (t)) d t
dt

= F (z (b)) F (z (a))


= F z f F (zi ) .
Para un contorno = 1 + + n , donde zk1 y zk son los puntos inicial y final,
respectivamente, de la curva suave k , obtenemos
Z
f (z) =

n Z
X
k=1
n
X
k=1

f (z)

[F (zk ) F (zk1 )]

= F (zn ) F (z0 ) .
Note que las condiciones del Teorema 3.4 implican que F (z) es analtica (y,
por lo tanto, continua) en D. Esto significa que, por ejemplo, la funcin Log z
no es una primitiva de 1/z en cualquier dominio que contenga parte del eje real
negativo.
Corolario.
H Si f (z) es continua en un dominio D y tiene una antiderivada z D,
entonces f (z) dz = 0 para cualquier contorno cerrado D.

Este corolario
nos da una manera alternativa de entender el resultado de
H
la integral C (z z0 )n dz que calculamos en el Ejemplo 3.2. Cuando n 6= 1,
r

f (z) = (z z0 )n es la derivada de la funcin F (z) = (z z0 )n+1 / (n + 1), la cual

28

es analtica en el dominio1 D = C {z0 }. Dado que

H C r es un contorno cerrado
completamente contenido en D, concluimos que C (z z0 )n dz = 0 siempre
r
que n 6= 1. Cuando n = 1, en cambio, la funcin f (z) = 1/ (z z0 ) no tiene
una antiderivada continua en ningn dominio D que incluya el contorno cerrado
C r . La funcin F (z) = Log (z z0 ) es discontinua sobre la lnea horizontal que se
extiende desde z0 hacia la izquierda (ver figura 3.4). Otras ramas del logaritmo
igualmente muestran una discontinuidad.
Cr
r
z0

Figura 3.4: La funcin F (z) = Log (z z0 ) es discontinua sobre la lnea horizontal que se extiende desde z0 hacia la izquierda.

3.5.

Teorema integral de Cauchy

Una nocin crucial en la teora de las funciones de variable compleja es la

de deformacin de contornos.
Decimos que un loop2 0 puede ser deformado continuamente en el loop
1 , en el dominio D, si 0 puede ser movido y deformado continuamente en el
plano complejo, sin salir de D, de modo que finalmente coincida con 1 (tanto
en posicin como en orientacin).
Ejemplo 3.3. Algunos ejemplos ayudarn a clarificar esta idea.
1. En la figura 3.5 (a), el contorno 0 puede modificarse continuamente en
el contorno 1 sin nunca salir del dominio anular D.
2. Si D es el plano complejo menos los puntos i y i, entonces el contorno
circular 0 de la figura 3.5 (b) puede deformarse continuamente en el
contorno 1 , compuesto de dos crculos conectados por una lnea recta.
Se muestra tambin un contorno intermedio, 1/2 .
1

Es necesario excluir el punto z0 del dominio de analiticidad de F (z) slo cuando n es negativo. Cuando n es positivo, F (z) es analtica z C.
2
A veces usamos la expresin loop para referirnos a un contorno cerrado.

29

3. Si D es todo el plano complejo, todo contorno puede ser deformado continuamente a un punto, y vuelto a deformar en s mismo con la orientacin
opuesta.

1
+i

1/2

Figura 3.5: Deformando contornos en un dominio.

Definicin 3.2. Decimos que el loop 0 es continuamente deformable en el loop
1 , en el dominio D, si existe una funcin z (s, t), continua para 0 s 1,
0 t 1, tal que
1. s [0, 1], zs (t) z (s, t) parametriza un loop en D.

2. z0 (t) z (0, t) parametriza 0 .

3. z1 (t) z (1, t) parametriza 1 .

Definicin 3.3. Cualquier dominio D que posea la propiedad de que todo loop
D puede ser continuamente deformado a un punto es llamado dominio
simplemente conexo.
Ejemplo 3.4. Sea D = C {0}. D no es simplemente conexo. Considere la
figura 3.6.
1. 1 no puede ser continuamente deformado en 0 .
2. 0 no puede ser continuamente deformado a un punto (pero 1 s).
3. 0 no puede ser continuamente deformado en 0 (pero 1 s).

30

Figura 3.6: En el dominio D = C {0}, 1 puede contraerse a un punto, pero 0

no.

Figura 3.7: Cul de estos dominios es simplemente conexo?

Teorema 3.5. Sea f (z) una funcin analtica en un dominio D que contiene los
loops 0 y 1 . Si estos loops pueden ser deformados continuamente el uno en el otro
en el dominio D, entonces
I
I
f (z) dz.

f (z) dz =

(3.20)

Demostracin. Demostraremos slo el caso particular cuando 0 y 1 estn vinculados por una funcin z (s, t) con derivadas parciales de segundo orden continuas. Asumimos tambin que f 0 (z) es continua.
Para cada s [0, 1], la funcin z (s, t) parametriza un loop, s , con 0 t 1.
Sea I (s) la integral de f (z) sobre s :
I
I (s) =

Z
f (z) dz =

f (z (s, t))

z
d t.
t

(3.21)

Derivando con respecto a s, hallamos

dI
=
ds

Z 1
0


df z z
2z
+ f (z)
d t.
dz s t
s t

31

(3.22)

Dado que

df z z

z
2z
f (z)
=
+ f (z)
,
t
s
dz t s
t s

(3.23)

podemos escribir
Z

z
f (z (s, t))
dt
s
0 t

z t=1
= f (z (s, t))
s t=0


z 
z 
f (z (s, 0))
.
= f (z (s, 1))
s  t=1
s  t=0

dI
=
ds

Como el contorno s es cerrado, debemos tener z (s, 1) = z (s, 0), s [0, 1].
Derivando esta igualdad con respecto a s, encontramos


z 
z 
=
.
(3.24)
s  t=1
s  t=0
Luego, d I/ds = 0, y, en particular, I (0) = I (1), como queramos demostrar.
Teorema 3.6 (Teorema integral de
H Cauchy). Si f (z) es analtica en un dominio
simplemente conexo D, entonces f (z) dz = 0, donde es cualquier contorno
cerrado completamente contenido en D.
Demostracin. Como D es simplemente conexo, puede ser reducido a un punto. La integral sobre un punto es idnticamente cero.
Para satisfacer las condiciones del Teorema 3.6, basta con que f (z) sea analtica sobre y dentro de .
Los resultados que hemos establecido hasta ahora pueden resumirse en el
siguiente Teorema.
Teorema 3.7. En un dominio simplemente conexo, una funcin analtica
Tiene una antiderivada.
Sus integrales de contorno son independientes del camino.
Sus integrales sobre un loop son cero.
Analizamos ahora algunos ejemplos.

32

Ejemplo 3.5. Sea f (z) = z n , con n Z.

Si n 0, entonces
H f (z) es analtica en todo C. Como C es simplemente
conexo, obtenemos z n dz = 0, donde es cualquier contorno cerrado.
Si n < 0, entonces f (z) es analtica en D = C {0}. Como D no es simplemente conexo, no podemos asegurar que las integrales de loop se anulen. De
hecho, tenemos que
I
dz
= 2i,
(3.25)
C z
donde C es el crculo unitario centrado en el origen. Sin embargo,
I
C

z n dz = 0

(n = 2, 3, . . .) ,

(3.26)

porque en este caso z n s tiene una antiderivada analtica en D.

H
Ejemplo 3.6. Determine el valor de la integral dz/z, donde es la elipse
centrada en el origen que se muestra en la figura 3.8 (a) y 0 es el crculo
unitario.
La funcin 1/z es analtica en el dominio D = C{0}. Dentro de D, es posible
deformar continuamente hasta hacerlo
coincidir
con el crculo unitario 0 .
H
H
Luego, el teorema 3.5 asegura que dz/z = dz/z = 2i. Note que, como
0
D no es simplemente conexo, la integral es distinta de cero.
y

y
0

1 x

(a)

(b)

Figura 3.8: (a) El contorno puede deformarse continuamente en el contorno

0 . (b) Las singularidades de la funcin estn fuera del contorno de integracin.
Ejemplo 3.7. Determine el valor de la integral
I
ez
I=
dz.
2
|z|=2 z 9
33

(3.27)

Como se muestra en la figura 3.8 (b), el integrando es una funcin analtica

sobre y dentro del contorno de integracin; luego, el teorema 3.6 asegura que
I = 0.
Ejemplo 3.8. Determine el valor de la integral
I
dz
I=
,
za

(3.28)

donde es un contorno cerrado que no pasa por el punto a.

El integrando en I es analtico en el dominio D = C {a}. Si a est fuera de
, entonces puede reducirse a un punto y la integral es cero. Si a est dentro
de , entonces puede deformarse en un crculo centrado en a, para el cual la
integral vale 2i. Resumiendo:
I

dz
0
si a est fuera de
(3.29)
=
2i
si a est dentro de
za
Ejemplo 3.9. Determine el valor de la integral
I
3z 2
I=
dz,
2
z z

(3.30)

donde es el contorno poligonal que se muestra en la figura 3.9.

El integrando en I es analtico en todo C, excepto por los puntos singulares
z = 0 y z = 1. Sin salirse de este dominio de analiticidad, es posible deformar
hasta dejarlo convertido en dos crculos pequeos, uno alrededor de cada singularidad, conectados por un segmento de lnea recta recorrido una vez hacia
la izquierda yHotra vez
H hacia Hla derecha. Esta deformacin de contorno nos permite escribir f = C f + C f , porque las integrales sobre el trozo recto se
0
1
cancelan entre s. Separando el integrando en fracciones parciales,
3z 2 2
1
= +
,
2
z z
z z1

podemos escribir
I
I=

C0

1
2
1
2
+
dz +
+
dz.
z z1
z z1
C

(3.31)

(3.32)

Utilizando el resultado del ejemplo 3.8, obtenemos

I = 2 2i + 0 + 2 0 + 2i = 6i.
34

(3.33)

C0

C1

Figura 3.9: Contornos de integracin para el ejemplo 3.9.

Ejemplo 3.10. Determine el valor de la integral
I
dz
,
I=
2
z 1

(3.34)

donde es el contorno que se muestra en la figura 3.10.

Deformando el contorno a un pequeo crculo en torno a la singularidad en
z = 1 y separando el integrando en fracciones parciales, obtenemos
I

1
1
1
I=

dz
2 C z1 z+1
1
= (0 2i)
2
= i.
y

+1

Figura 3.10: Contornos de integracin para el ejemplo 3.10.

35

3.6.

Frmula integral de Cauchy

Si f (z) es analtica sobre Hy dentro de un contorno cerrado , entonces el

Teorema 3.6 nos asegura que f = 0.
Qu pasa si f (z) tiene una singularidad dentro de ? El siguiente teorema
nos permite dar una respuesta parcial a esta pregunta.
Teorema 3.8 (Frmula integral de Cauchy). Sea un contorno simple, cerrado,
y orientado positivamente. Si f (z) es analtica en un dominio simplemente conexo
D que contiene a , y z0 es un punto dentro de (ver figura 3.11), entonces
I
f (z)
dz = 2i f (z0 ) .
(3.35)
z z0
D

Cr
z0

Figura 3.11: Ilustracin del Teorema 3.8.

Demostracin. Como primer paso para demostrar la frmula integral de Cauchy,
deformamos continuamente el contorno hasta transformarlo en un pequeo
crculo de radio r centrado en z0 (ver figura 3.11). Escribimos ahora
I
I
f (z)
f (z)
dz =
dz
z z0
C r z z0
I
I
f (z0 )
f (z) f (z0 )
=
dz +
dz.
z z0
C r z z0
Cr
H
Como C dz/ (z z0 ) = 2i (ver ejemplo 3.8), obtenemos
r
I
I
f (z) f (z0 )
f (z)
dz = 2i f (z0 ) +
dz.
(3.36)
z z0
z z0
C
r

36

En esta ecuacin, el lado izquierdo y el primer trmino del lado derecho son
independientes de r. Luego, el segundo trmino del lado derecho tambin debe ser independiente de r. Esto significa que, para calcularlo, podemos escoger cualquier valor de r, incluyendo el lmite cuando r 0. Sea M r =
m
axzCr (| f (z) f (z0 )|). El integrando de este trmino esta acotado por


 f (z) f (z0 )  M r


,


z z0
r

(3.37)

donde hemos utilizado el hecho que |z z0 | = r. Luego, el valor de la integral

misma est acotado por [cf. ec. (3.18)]
I



f (z) f (z0 )  M r

2r = 2M r .
(3.38)
dz 

 C

z z0
r
r

Como f (z) es continua en z0 , lm r0 M r = 0. Luego,

I
f (z) f (z0 )
lm
dz = 0.
r0
z z0
C

(3.39)

Esto concluye la demostracin.

Reescribiendo la frmula integral de Cauchy en la forma
I
f ()
1
f (z) =
d,
2i z

(3.40)

se hace evidente que los valores de f (z) sobre el contorno simple y cerrado
determinan completamente los valores de f (z) dentro de . Tal es el poder del
concepto de analiticidad.
Ejemplo 3.11. Determine el valor de la integral
I
cos z
I=
dz,
2
z 4

donde es el contorno que se muestra en la figura 3.12.

Llamando
cos z
f (z) =
,
z+2

37

(3.41)

(3.42)

podemos escribir
I
I=

f (z)
dz
z2

= 2i f (2)
cos 2
= 2i
.
4

Note que la utilizacin de la frmula integral de Cauchy est justificada por el

hecho que f (z) es analtica sobre y dentro de .
y

+2

Figura 3.12: Contorno de integracin para el ejemplo 3.11.

Consideremos otra vez la frmula integral de Cauchy [cf. ec. (3.40)]:

I
f ()
1
d,
(3.43)
f (z) =
2i z

Derivando con respecto a z bajo el signo de integral, hallamos

I
f ()
1
0
f (z) =
d,
2i ( z)2

Iterando hasta obtener la n-sima derivada, encontramos

I
f ()
n!
(n)
f (z) =
d
(n = 0, 1, 2, . . .) ,
2i ( z)n+1

(3.44)

(3.45)

donde z est dentro del contorno . Esta ecuacin es conocida como frmula
integral de Cauchy generalizada.
Este clculo sirve esencialmente como demostracin del siguiente Teorema.
38

Teorema 3.9. Si f (z) es analtica en un dominio D, entonces todas sus derivadas,

f 0 (z), f 00 (z), . . . , f (n) (z), . . . , existen y son analticas en D.
Aunque su importancia es principalmente conceptual, la frmula integral
de Cauchy generalizada tambin puede utilizarse para el clculo de integrales.
Ejemplo 3.12. Determine el valor de la integral
I
2z + 1
I=
dz,
2
z (z 1)

(3.46)

donde es el contorno en forma de que se muestra en la figura 3.13.

Llamando
f (z) =

2z + 1

(z 1)2
2z + 1
g (z) =
,
z

(3.47)
(3.48)

podemos escribir
I
I=

C0

f (z)
dz +
z

g (z)

C1

(z 1)2

dz

= 2i f (0) + 2i g 0 (1)

= 4i,

donde es crucial notar que C0 tiene orientacin negativa.

y

C0

x
C1

Figura 3.13: Contornos de integracin para el ejemplo 3.12.

39

3.7.

Cotas para funciones analticas

En la seccin 3.3 aprendimos cmo acotar integrales de funciones acotadas

[cf. ec. (3.18)]. Como la frmula integral de Cauchy generalizada (3.45) nos
entrega una expresin para las derivadas de una funcin en trminos de una
integral de contorno, podemos acotar los valores de las derivadas combinando
ambas ideas.
Teorema 3.10. Sea f (z) una funcin analtica sobre y dentro de un crculo CR
de radio R y centrado en z0 . Si | f (z)| M , z CR , entonces


 f (n) (z ) n!M
0
Rn

(n = 1, 2, 3, . . .) .

(3.49)

Demostracin. De la frmula integral de Cauchy generalizada [cf. ec. (3.45)],

I
f ()
n!
(n)
f (z0 ) =
d.
2i C ( z0 )n+1
R

Usando la ec. (3.18) para acotar esta integral, obtenemos (con | z0 | = R)



 f (n) (z ) n! M 2R = n!M .
0
2 Rn+1
Rn

La condicin de analiticidad impone lmites estrictos a lo que puede y no

puede hacer una funcin de variable compleja.
Teorema 3.11 (Teorema de Liouville). Las nicas funciones enteras y acotadas
son las funciones constantes.
Demostracin. Sea f (z) una funcin analtica y acotada en todo el plano complejo, i.e.,
| f (z)| M ,
z C.
Entonces, la ec. (3.49) asegura que, para cualquier z C y para cualquier R > 0,
tenemos


 f 0 (z) M .
R

La nica manera en que esto puede ocurrir es que f 0 (z) = 0 en todo el plano
complejo, es decir, f (z) = const.
Armados con estas herramientas podemos intentar una demostracin (no
particularmente rigurosa) del Teorema Fundamental del lgebra.

40

Teorema 3.12 (Teorema Fundamental del lgebra). Todo polinomio no constante con coeficientes complejos tiene al menos un cero en C.
Demostracin. Asumamos que el polinomio p (z) = a0 + a1 z + + an z n , con
a0 6= 0, no tiene ninguna raz3 .
Cuando |z|  1, el comportamiento de p (z) est dominado por el trmino
n
an z . Como |an z n | crece sin lmite cuando z , lo mismo ocurrir con |p (z)|.
Sea D un disco de radio r, centrado en el origen, tal que |p (z)| > |a0 | cuando
|z| > r. La funcin 1/p (z) es acotada fuera de D, ya que |1/p (z)| < 1/ |a0 |
cuando |z| > r. Como p (z) es una funcin continua, existe un punto z0 D
donde |p (z)| alcanza su valor mnimo, i.e., |p (z)| > |p (z0 )|, z D. Como
hemos asumido que p (z) no tiene ninguna raz, p (z0 ) 6= 0. Esto significa que la
funcin 1/p (z) es acotada dentro de D, pues |1/p (z)| < 1/ |p (z0 )|, z D.
Luego, la funcin 1/p (z) es analtica y acotada en todo C. Por el teorema 3.11, 1/p (z) debe ser constante, lo cual, a su vez, implica que p (z) debe
ser constante, contradiciendo nuestra hiptesis inicial. Por lo tanto, p (z) debe
tener a lo menos un cero.
A pesar de su nombre, el teorema fundamental del lgebra no es un teorema fundamental del lgebra moderna; su nombre viene de la poca en que el
lgebra se ocupaba principalmente de encontrar soluciones a ecuaciones polinmicas con coeficiente reales o complejos. Tampoco existe una demostracin
puramente algebraica del teorema; la que hemos dado aqu hace uso de herramientas del anlisis de funciones de variable compleja. En otras palabras, el
teorema fundamental del lgebra no es fundamental ni tampoco es un teorema
del lgebra.
Consideremos ahora nuevamente la frmula integral de Cauchy (3.40) para
una funcin f (z) analtica sobre y dentro del crculo CR de radio R y centrado
en z0 . Parametrizando el crculo en la forma z = z0 + Re i , con 0 2,
tenemos
I
f (z)
1
f (z0 ) =
dz
2i C z z0
R


Z 2
f z0 + Re i
1
=
iRe i d ,
2i 0
Re i
o, equivalentemente,
1
f (z0 ) =
2
3

f z0 + Re i d .

Si a0 = 0, entonces z = 0 es una raz del polinomio.

41

(3.50)

La ec. (3.50), conocida como la propiedad del valor medio, permite interpretar
f (z0 ) como el promedio de f (z) sobre un crculo centrado en z0 .
Lema 3.13. Suponga que f (z) es analtica en un disco centrado en z0 y que el
valor mximo de | f (z)| sobre este disco es | f (z0 )|. Entonces | f (z)| es constante
en el disco.

D
CR
1

0
z0
R

z1
Figura 3.14: Demostracin del lema 3.13. En 0 (la porcin azul de CR ) se cumple la desigualdad | f (z0 )| | f (z)|; en 1 (la porcin roja) se cumple la desigualdad estricta | f (z0 )| > | f (z)|.
Demostracin. Suponga, por el contrario, que | f (z)| no es constante. Entonces
debe existir un punto z1 en el disco tal que | f (z0 )| > | f (z1 )|. Sea CR el crculo
centrado en z0 que pasa por z1 . Por hiptesis, | f (z0 )| | f (z)|, z CR . Como
f (z) es continua, existe una porcin del crculo en torno a z1 (1 , en rojo en la
figura 3.14) donde se cumple la desigualdad estricta | f (z0 )| > | f (z)|. Llamando
0 al resto del crculo (en azul en la figura 3.14), podemos escribir
Z

I
Z
f (z)
f (z)
f (z)
1
1
f (z0 ) =
dz =
dz +
dz .
2i C z z0
2i
z z0
z z0
R

Luego,
Z

Z


f (z)
f (z) 
1 
dz +
dz 
| f (z0 )| =


2  z z0
1 z z0
Z 0

Z





f (z) 
f (z) 
1 
1 

dz
+
dz




2  z z0  2  z z0 
0
1

| f (z0 )|
1 | f (z0 )|
<
l (0 ) +
l (1 ) ,
2
R
R
42

lo cual produce una contradiccin:

| f (z0 )| < | f (z0 )| .

Por lo tanto, | f (z)| debe ser constante en D, como queramos demostrar.

Observe que el lema dice que el mdulo de una funcin analtica no puede
alcanzar su mximo en el centro del disco a menos que | f (z)| sea constante.
Esta idea se extiende en el Principio del mdulo mximo.
Teorema 3.14 (Principio del mdulo mximo). Si f (z) es analtica en un dominio D y | f (z)| alcanza su valor mximo en un punto z0 D, entonces f (z) es
constante en D.
Demostracin. Omitida (por ahora).
Una versin alternativa del principio del mdulo mximo se da en el siguiente teorema.
Teorema 3.15. Una funcin analtica en un dominio acotado, continua incluso
en su frontera, alcanza su mdulo mximo sobre la frontera.
Demostracin. Omitida (por ahora).

3.8.

Aplicaciones a funciones armnicas

En la seccin 2.4 establecimos algunas conexiones entre funciones armnicas (x, y) y funciones analticas f (z). En esta seccin agregamos resultados
adicionales sobre funciones armnicas.
Teorema 3.16. Sea (x, y) una funcin armnica en un dominio simplemente
conexo D. Entonces, existe una funcin analtica f (z) tal que (x, y) = [ f (z)]
en D.
Con este teorema podemos explorar las propiedades de las funciones armnicas en dominios simplemente conexos, usando la teora de las funciones
analticas.
Sea (x, y) una funcin armnica y sea f (z) = (x, y) + i (x, y) la funcin analtica asociada en el dominio simplemente conexo D. Dado que

 
 


e f (z)  = e(x, y)+i(x, y)  = e(x, y)  e i(x, y)  = e(x, y) ,
(3.51)
los puntos mximos de (x, y) coinciden con los puntos mximos del mdulo
de la funcin analtica e f (z) . Adems, como los puntos mnimos de (x, y) son
los puntos mximos de (x, y), entonces podemos enunciar las siguientes
versiones del principio mximo-mnimo para funciones armnicas.
43

Teorema 3.17. Si (x, y) es armnica en un dominio simplemente conexo D y alcanza su valor mximo o mnimo en un punto en D, entonces (x, y) es constante
en D.
Teorema 3.18. Una funcin armnica en un dominio simplemente conexo acotado, continua incluso en la frontera, alcanza su mximo y su mnimo en la frontera.
Estos principios pueden generalizarse fcilmente a dominios mltiplemente
conexos; en lo que sigue, utilizaremos estas versiones generalizadas.
Un problema importante que surge en electromagnetismo, mecnica de fluidos, y transferencia de calor es el siguiente.
Problema de Dirichlet Encuentre una funcin (x, y), continua en un dominio D y en su frontera, armnica en D, y que tome valores especificados sobre
la frontera de D.
La funcin (x, y) puede ser interpretada como potencial elctrico, potencial de velocidad, o temperatura de estado estacionario. Al estudiar el problema
de Dirichlet, nos preocupan dos preguntas principales: Existe una solucin, y
si es as, queda sta unvocamente determinada por las condiciones de borde?
Para el caso de dominios acotados, la pregunta sobre la unicidad queda respondida en el siguiente teorema.
Teorema 3.19. Sean 1 (x, y) y 2 (x, y) dos funciones armnicas en un dominio
acotado D y continuas incluso en su frontera. Suponga que 1 = 2 sobre la
frontera de D. Entonces, 1 = 2 tambin en el interior de D.
Demostracin. Considere la funcin armnica = 1 2 . De acuerdo al principio mximo-mnimo para funciones armnicas, debe alcanzar su valor mximo y su valor mnimo sobre la frontera de D. Sin embargo = 0 en D. Esto
significa que = 0 tambin en el interior de D.
La frmula integral de Cauchy expresa una funcin analtica f dentro de
un dominio D en trminos de sus valores en la frontera de D. Escribiendo f =
+ i, podemos resolver el problema de Dirichlet si logramos desacoplar las
partes real e imaginaria de f en la frmula integral de Cauchy.
Por simplicidad, consideremos el disco acotado por el crculo orientado positivamente CR : |z| = R. La frmula integral de Cauchy toma la forma
I
f ()
1
d
(|z| < R) ,
(3.52)
f (z) =
2i C z
R

44

donde asumimos que el dominio de analiticidad de f incluye CR y su interior.

Resulta conveniente definir la funcin
g () =

z f ()
,
R2 z

(3.53)

donde z juega el rol de un parmetro fijo. Cuando |z| < R, g () es una funcin
analtica de sobre y dentro de CR (note que el denominador nunca se anula).
Luego, por el teorema integral de Cauchy, la integral de g () sobre CR se anula:
I
z f ()
1
d = 0.
(3.54)
2i C R2 z
R

Sumando las ecs. (3.52) y (3.54), hallamos

I

1
1
z
+
f () d
f (z) =
2i C z R2 z
R
I
1
R2 |z|2
=
f () d.
2i C ( z) (R2 z )
R

Parametrizando CR en la forma = Re i t , con 0 t 2, podemos escribir

Z

R2 |z|2
f Re i t iRe i t d t
i
t
2

i
t
(Re z) (R z Re )
0


Z
2
f Re i t
R2 |z|2
dt
=
2
(Re i t z) (Rei t z )
0


Z 2
f Re i t
R2 |z|2
dt
=
2
|Re i t z|2
0

1
f (z) =
2i

Tomando la parte real de esta ecuacin, identificando ( f ) con la funcin armnica , y escribiendo z = r e i (ver figura 3.15), encontramos la frmula
integral de Poisson:
Teorema 3.20. Sea una funcin armnica en un dominio que contiene el disco
|z| R. Entonces, para 0 r < R, tenemos


Z 2
it
2
2

Re
R

r
r e i =
d t.
(3.55)
2
R2 + r 2 2rR cos (t )
0

En realidad, es posible demostrar la frmula integral de Poisson bajo condiciones ms generales que las que hemos considerado aqu.
45

 = Re i t

| z|
R

z = r e i
r

CR


2
Figura 3.15: Teorema del coseno, versin nmeros complejos: Re i t r e i  =
R2 + r 2 2rR cos (t ).
Teorema 3.21. Sea U una funcin que toma valores reales definida sobre el crculo
CR : |z| = R y continua all excepto por un nmero finito de singularidades de salto.
Entonces, la funcin


Z 2
it
2
2


U
Re
R

r
u r e i =
d t.
(3.56)
2
R2 + r 2 2rR cos (t )
0

es armnica dentro de CR , y a medida

que r e i se acerca a cualquier punto sobre


CR donde U es continua, u r e i se acerca al valor de U en ese punto.
Naturalmente, el comportamiento es ms complicado en los puntos de discontinuidad de U.
La frmula integral de Poisson resuelve el problema de Dirichlet para el
disco bajo circunstancias muy generales. Es usual escribirla en la forma
Z 2




1
i
u re
=
Pr (t ) U Re i t d t,
(3.57)
2 0
donde Pr ( ) es conocido como kernel de Poisson (para el disco):


R2 r 2
R + r e i
Pr ( ) = 2
=
.
R + r 2 2rR cos
R r e i

(3.58)

Ejemplo 3.13. Encuentre la temperatura de estado estacionario T dentro del

disco unitario si la temperatura en el borde debe ser +1 en el primer cuadrante
y cero en los dems puntos.
46

Usando la ec. (3.56), hallamos

T re

1 r2
=
2

/2

1+

r2

Por ejemplo, en el centro del disco,

1
T (0) =
2

1
d t.
2r cos (t )

/2

dt =

1
,
4

(3.59)

(3.60)

que es justamente el promedio de los valores sobre el borde.

Ejemplo 3.14 (Potencial elctrico de una carga puntual). El espacio fsico es
tridimensional4 , mientras que el plano complejo es bidimensional. Esto significa que los problemas que podemos resolver apelando a la variable compleja
son aquellos que son esencialmente bidimensionales; por ejemplo, cuando el
potencial elctrico depende de slo dos de las tres coordenadas cartesianas. Un
caso sencillo donde esta condicin no se cumple es el potencial generado por
una carga puntual, = 1/r (por simplicidad, ignoramos el factor constante
1/40 ). Este potencial es una funcin armnica en tres dimensiones, dado
que satisface 2 = 0 para todo r 6= 0. Sin embargo, la funcin u = 1/r no es
armnica, ni tiene, por lo tanto, una funcin armnica conjugada en el plano
complejo. En efecto, de las ecuaciones de CauchyRiemann,
u 1 v
=
,
r
r
v
1 u
=
,
r
r

(3.61)
(3.62)

encontramos que la conjugada armnica de u = 1/r debera satisfacer simultneamente las condiciones
1
v
= ,

r
v
= 0,
r

(3.63)
(3.64)

lo cual no es posible. Usando coordenadas cartesianas en Rn , la funcin =

1/2
1/r = x 12 + x 22 + + x n2
resulta ser armnica slo cuando n = 3. En efec4

Minkowski y Einstein nos ensearon que el espacio-tiempo, de cuatro dimensiones, tiene an

ms realidad fsica que el espacio tridimensional usual. Actualmente se especula con la idea de
que el espacio-tiempo pueda tener incluso ms dimensiones que cuatro, como diez u once.

47

to, sus derivadas son

3/2

= x k x 12 + x 22 + + x n2
,
(3.65)
xk

3/2

5/2
2
= jk x 12 + x 22 + + x n2
+ 3x j x k x 12 + x 22 + + x n2
,
x j xk
(3.66)
de manera que, poniendo j = k y sumando, obtenemos
2 =

n
X
2
k=1

x k2

= (n 3) x 12 + x 22 + + x n2

que se anula (para r 6= 0) slo cuando n = 3.

48

3/2

(3.67)

Captulo 4

Series
4.1.

Motivacin

En los nmeros reales, una serie de potencias (centrada en x 0 = 0) tiene la

forma

X
f (x) =
ck x k = c0 + c1 x + c2 x 2 + . . . ,
(4.1)
k=0

donde los ck son coeficientes constantes (reales). En general, la ec. (4.1) slo
tiene sentido en algn intervalo de la forma |x| < R, donde R es llamado el
radio de convergencia.

1
Por ejemplo, la funcin G (x) = 1 x 2
puede ser expresada como la
serie de potencias
G (x) =

1
= 1 + x2 + x4 + x6 + ,
1 x2

(4.2)

que converge para |x| < 1. En este caso, resulta claro que la serie no puede
converger fuera de este intervalo, dado que la funcin misma es singular cuando
x = 1. Consideremos ahora la funcin
H (x) =

1
= 1 x2 + x4 x6 + .
1 + x2

(4.3)

El radio de convergencia de esta serie es idntico al anterior, |x| < 1, pero en

este caso no es evidente por qu. La funcin H (x) es perfectamente regular
para todo x real, y sin embargo la expansin en serie (4.3) converge slo en un
intervalo reducido (ver figura 4.1).
Qu est pasando aqu?

49

G (x) = 1/ 1 x 2

H (x) = 1/ 1 + x 2
1,5
1,2
0,9

0,6

2
4
2

0,3
1

0
x

0
2

0
x

Figura 4.1: En lnea punteada, las funciones G (x) (izquierda) y H (x) (derecha).
En lnea slida, la suma de los primeros trminos de sus expansiones en serie.
Para entender por qu la serie (4.3) converge slo cuando |x| < 1, en circunstancias que la funcin que representa es regular para todo x real, debemos
pasarnos al dominio de los nmeros complejos.
Para todo z en C, consideremos la expresin
h (z) =

1
= 1 z2 + z4 z6 + .
1 + z2

(4.4)

La funcin h (z) tiene dos singularidades, en z = i. Estas singularidades actan

como barreras para la convergencia de la serie, que est garantizada slo dentro
del crculo unitario, |z| < 1. El radio de convergencia de la serie, que esta vez
s puede interpretarse como el radio de un crculo en el plano complejo, es la
distancia desde z = 0 hasta la singularidad ms cercana de la funcin h (z),
como se sugiere en la figura 4.2.
Las series que hemos usado como ejemplos son casos particulares de la que,
probablemente, es la ms importante de todas: la serie geomtrica.
Sea c un nmero complejo. La suma finita
Sn = 1 + c + c 2 + + c n

(4.5)

puede calcularse en forma exacta recurriendo al siguiente truco. Multipliquemos Sn por c y restemos Sn :


cSn Sn = c + c 2 + c 3 + c n+1 1 + c + c 2 + + c n = c n+1 1.
50

y
+i

+1

Figura 4.2: La funcin h (z) = 1/ 1 + z 2 tiene dos singularidades en el plano
complejo, en z = i. La expansin en serie, centrada en z = 0, h (z) = 1 z 2 +
z 4 z 6 + converge slo dentro del disco limitado por estas singularidades.
Despejando Sn , hallamos

1 c n+1
.
(4.6)
1c
Esta es la suma de un nmero finito de trminos de la serie geomtrica. Cuando
|c| < 1, el lmite de c n+1 cuando n es cero, y encontramos
Sn =

lm Sn = 1 + c + c 2 + =

1
.
1c

(4.7)

Si queremos usar la suma finita (4.6) como una aproximacin de la suma infinita (4.7), entonces resulta conveniente considerar el resto, Tn , definido a partir
de la expresin
lm Sn = Sn + Tn .
(4.8)
n

El resto es una medida del error que cometemos al usar la suma finita como
una aproximacin del valor de la suma infinita. Usando las ecs. (4.6)(4.7),
hallamos
1
1 c n+1
c n+1
Tn =

=
.
(4.9)
1c
1c
1c
Cuando |c| < 1, lmn Tn = 0.

4.2.

Series de potencias

Muchos de los resultados del anlisis real para series infinitas siguen siendo vlidos en el mbito de los nmeros complejos. Por ejemplo, los criterios de
51

comparacin y del cuociente pueden ser utilizados para determinar la convergencia (o divergencia) de una serie.
En particular, vamos a estar interesados en la representacin de funciones
analticas a travs de series infinitas.
Definicin 4.1 (Serie de Taylor). Si f (z) es analtica en z0 , entonces

X
f (n) (z0 )
f 00 (z0 )
(z z0 )n = f (z0 ) + f 0 (z0 ) (z z0 ) +
(z z0 )2 + (4.10)
n!
2!
n=0

es llamada la serie de Taylor para f (z) en torno a z0 . Cuando z0 = 0, la serie (4.10) es llamada a veces serie de Maclaurin para f (z).
Teorema 4.1. Si f (z) es analtica en el disco |z z0 | < R, entonces la serie de
Taylor (4.10) converge a f (z) para todo z dentro del disco.

r
z0
R

Figura 4.3: Construccin geomtrica para la demostracin del teorema 4.1.

Demostracin. Para cualquier z en el disco |z z0 | < R, siempre es posible encontrar un crculo C, de radio r < R y centrado en z0 , tal que z est en el interior
de C (ver figura 4.3). Si C est orientado positivamente, la frmula integral de
Cauchy [cf. ec. (3.40)] garantiza que
I
f ()
1
d.
(4.11)
f (z) =
2i C z
Consideremos ahora la identidad

1
1
1
1
=
=

.
z
( z0 ) (z z0 ) z0 1 (z z0 ) / ( z0 )
52

Dado que (ver figura 4.3)



 z z0 


 z  < 1,
0

podemos utilizar la serie geomtrica (4.7) para escribir

1
1 X z z0 n
=
.
z
z0 n=0 z0

(4.12)

(4.13)

Esta serie converge para todo z en el interior de C. Utilizando este resultado en

la ec. (4.11), obtenemos
I

f () X z z0 n
1
f (z) =
d
2i C z0 n=0 z0

I


X
f ()
1 n!
d (z z0 )n
=
n+1
n! 2i C ( z0 )
n=0

X
f (n) (z0 )
(z z0 )n ,
=
n!
n=0

donde hemos usado la frmula integral de Cauchy generalizada [cf. ec. (3.45)]
para identificar la cantidad entre parntesis cuadrados con la n-sima derivada
de f (z) en z0 . Esto concluye la demostracin.
Note que el teorema 4.1 implica que la serie de Taylor converger a f (z)
dentro del mayor disco abierto, centrado en z0 , sobre el cual f (z) es analtica.
Dos series de Taylor centradas en el mismo punto pueden sumarse y multiplicarse directamente. El disco de convergencia de la serie resultante es por
lo menos tan grande como el ms pequeo de los discos de convergencia de
las series originales. Tambin es posible derivar e integrar trmino a trmino
una serie de Taylor. La serie resultante converge en el mismo disco que la serie
original.
Ejemplo 4.1. Determinemos la serie de Taylor para f (z) = Log (1 + z) en torno
a z = 0.
Las primeras derivadas de f (z) son
1
,
1+z
1
f 00 (z) =
,
(1 + z)2
2
f 000 (z) =
.
(1 + z)3
f 0 (z) =

53

El caso general es
f (n) (z) = (1)n+1 (n 1)!
de donde obtenemos

1
,
(1 + z)n

f (n) (0) = (1)n+1 (n 1)!

(4.14)

(4.15)

Notando tambin que f (0) = 0, podemos escribir

Log (1 + z) =
=

X
(1)n+1 (n 1)!

n!

n=1

X
(1)n+1

n=1

=z

zn

zn

z
z3 z4
+

+ .
2
3
4

Esta serie converge para |z| < 1. Derivando trmino a trmino, hallamos
1
= 1 z + z2 z3 + ,
1+z

(4.16)

que no es otra cosa que la serie geomtrica.

La serie de Taylor es
caso particular de una serie de potencias, que tiene la
Pun

forma general P (z) = k=0 ck (z z0 )k , donde los ck son coeficientes complejos

constantes (independientes de z). Es posible demostrar el siguiente teorema.
P
Teorema 4.2. Si la serie de potencias P (z) = k=0 ck (z z0 )k converge para
z = a, entonces converge tambin para |z z0 | < |a z0 |.

Demostracin. Use el criterio de comparacin.

P
Si la serie de potencias P (z) = k=0 ck (z z0 )k no converge en todo el
plano complejo, entonces debe existir un punto d donde diverge (ver figura 4.4).
Supongamos que P (z) converge en un punto p, con |p z0 | > |d z0 |. Entonces, el teorema 4.2 asegura que P (z) debe converger para todo z en |z z0 | <
|p z0 |, lo cual incluye a d: contradiccin! Luego, si P (z) diverge en z = d,
entonces diverge tambin para todo z en |z z0 | > |d z0 |.
Este procedimiento nos deja con un anillo de la duda, |a z0 | < |z z0 | <
|d z0 |, donde no sabemos si P (z) converge o diverge (ver figura 4.4). Consideremos un punto q dentro de este anillo. Una vez que determinemos si P (z)
54

illo de la d
u
an

da
a
p

z0
q

P
Figura 4.4: La serie de potencias P (z) = k=0 ck (z z0 )k converge para todo
z en |z z0 | < |a z0 |, y diverge para todo z en |z z0 | > |d z0 |. Qu pasa
en z = q?
converge o diverge en z = q, habremos reducido el ancho del anillo de la
duda. Iterando este procedimiento, encontraremos eventualmente un crculo
|z z0 | = R tal que P (z) convege dentro del disco y diverge fuera. De esta manera, hemos establecido el siguiente teorema.
P
Teorema 4.3. Para cualquier serie de potencias P (z) = k=0 ck (z z0 )k existe
un nmero real positivo R (que incluso puede ser infinito), que depende slo de los
coeficientes ck , tal que
la serie converge para |z z0 | < R,
la serie diverge para |z z0 | > R.

El nmero R es llamado el radio de convergencia de la serie.

El teorema 4.3 no dice nada acerca del comportamiento de la serie sobre el
crculo |z z0 | = R. Aqu, cualquier cosa puede pasar.
Es posible demostrar que si una serie de potencias converge dentro de un
disco, entonces ella es la serie de Taylor de una funcin que es analtica dentro
del disco, y que deja de ser analtica en por lo menos un punto sobre el disco.
La representacin en serie de potencias de una funcin analtica es nica,
como muestra el siguiente teorema.
Teorema 4.4 (Teorema de Identidad). Si c0 + c1 (z z0 ) + c2 (z z0 )2 + =
d0 + d1 (z z0 ) + d2 (z z0 )2 + para todo z en una vecindad de z0 , entonces
ck = dk .

55

Demostracin. Por hiptesis, tenemos que la igualdad

(c0 d0 ) + (c1 d1 ) (z z0 ) + (c2 d2 ) (z z0 )2 + = 0

(4.17)

se cumple para todo z en una vecindad V de z0 . En particular, poniendo z = z0 ,

hallamos c0 = d0 . Usando este resultado en la ec. (4.17), encontramos


(z z0 ) (c1 d1 ) + (c2 d2 ) (z z0 ) + (c3 d3 ) (z z0 )2 + = 0. (4.18)
Como esta ecuacin tambin debe cumplirse para todo z en V , hallamos que la
cantidad dentro del parntesis cuadrado debe anularse en todo V , con la posible
excepcin de z0 . Sin embargo, esta expresin define una funcin continua, de
modo que, si se anula en una vecindad de z0 , debe anularse tambin en z0
mismo. Luego, concluimos que
(c1 d1 ) + (c2 d2 ) (z z0 ) + (c3 d3 ) (z z0 )2 + = 0

(4.19)

para todo z en V . Poniendo z = z0 , encontramos c1 = d1 . Iterando este proceso

indefinidamente, eventualmente encontramos que ck = dk para k = 1, 2, . . ..
El teorema 4.4 puede hacerse bastante ms fuerte. Si dos series de potencias
coinciden en un segmento de curva que pasa por z0 , o si coinciden en todos
los puntos de una secuencia infinita que converge a z0 , entonces las series son
idnticas.
Una manera de entender el teorema 4.4 es como la generalizacin de la
afirmacin que existe un nico polinomio de grado n que mapea un conjunto
de n + 1 puntos en un conjunto dado de n + 1 puntos imgenes.
Una consecuencia del teorema 4.4 es la siguiente. Supongamos que tenemos
una funcin de variable real F (x), que puede
P ser kexpresada como una serie de
potencias
(centrada en x = 0), F (x) = k=0 ck x . Entonces, la serie compleja
P
f (z) = k=0 ck z k , con los mismos coeficientes, puede ser usada para definir la
nica funcin de variable compleja f (z) tal que (i) coincide con F (x) sobre el
eje real, y (ii) puede ser expresada como una serie de potencias. En particular,
esto significa que la funcin definida por
exp (z) = 1 + z +

z2 z3
+
+
2! 3!

(4.20)

es la nica funcin de variable compleja que coincide con e x sobre el eje real y
que puede ser expresada como una serie de potencias. En otras palabras, exp (z)
es la nica funcin analtica de variable compleja que coincide con e x sobre el
eje real.
56

Ejemplo 4.2. La funcin 1/ (a z) puede expresarse como una serie de Taylor

en torno a un punto z0 arbitrario (z0 6= a), con radio de convergencia igual a
R = |z0 a|.
Tal como hicimos en la demostracin del teorema 4.1, podemos escribir
1
1
=
az
(a z0 ) (z z0 )
1
1
=

a z0 1 (z z0 ) / (a z0 )

1 X z z0 n
=
a z0 n=0 a z0
=

X
(z z0 )n
n=0

(a z0 )n+1

la cual converge para todo z en el disco |z z0 | < |z0 a|.

Ejemplo 4.3. La funcin 1/ 1 + z 2 puede expresarse como una serie de Taylor
en torno a un punto z0 arbitrario (z0 6= i), con radio de convergencia igual a
R = mn {|z0 i| , |z0 + i|}.
Usando fracciones parciales, podemos escribir

1
1
1
1
=

.
(4.21)
1 + z2
2i i z i z
Cada uno de estos trminos puede expandirse como en el ejemplo 4.2, para
obtener


(z z0 )n
(z z0 )n
1 X
1
=

,
(4.22)
1 + z2
2i n=0 (i z0 )n+1 (i z0 )n+1

donde la serie para 1/ (i z) converge en el disco |z z0 | < |i z0 |, de manera que la suma de ambas converge en el menor de ellos.
Cuando z0 = x 0 R, con
x 0 > 0, podemos obtener una expansin en serie de Taylor para 1/ 1 + x 2 que no es fcil deducir de otra manera (ver fiq
gura 4.5). Poniendo R = |i x 0 | = 1 + x 02 , y i x 0 = Rei , donde
= tan1 (1/x 0 ), encontramos, luego de un poco de lgebra,
X (1)n sin [(n + 1) ]
1
=
(x x 0 )n .


1 + x 2 n=0
2 (n+1)/2
1+ x

57

(4.23)

y
+i

Re i

i x0

x0

i x 0

Rei

Figura 4.5: Geometra para el ejemplo 4.3. Note que i x 0 = Rei , i x 0 =

Re i .

4.3.

Serie de Laurent

La serie de Taylor nos permite expresar una funcin analtica dentro de un

disco como una serie de potencias infinita. Sin embargo, las funciones de variable compleja tienen a menudo singularidades. En esta seccin investigamos
la posibilidad de una representacin en serie para una funcin f (z) en torno a
una singularidad.
Teorema 4.5 (Serie de Laurent). Sea f (z) una funcin analtica en el anillo
abierto r < |z z0 | < R. Entonces, f (z) puede ser expresada mediante la serie
f (z) =

k=

ak (z z0 )k ,

(4.24)

que incluye tanto potencias positivas como negativas de z z0 , y converge para

todo z dentro del anillo. Los coeficientes ak estn dados por
I
f ()
1
ak =
d
(k = 0, 1, 2, . . .) ,
(4.25)
2i C ( z0 )k+1

donde C es cualquier contorno simple cerrado, orientado positivamente, completamente contenido en el anillo, y que tiene a z0 en su interior.

Note que, si f (z) es analtica en todo el disco |z z0 | < R, entonces los

coeficientes (4.25) con k = 1, 2, . . . se anulan (en virtud del Teorema integral
de Cauchy), mientras que los coeficientes con k = 0, 1, 2, . . . reproducen la serie
de Taylor para f (z).
Demostracin. Sea 0 un contorno simple, cerrado, orientado positivamente,
completamente inmerso en el anillo r < |z z0 | < R, y que contiene un punto
58

z
r

0
r

z0

1/2

z0

z
r

z0

z
r

z0
C1

C2

Figura 4.6: Deformacin de contornos usada en la demostracin del teorema 4.5.

59

z en su interior (ver figura 4.6). La frmula integral de Cauchy [cf. ec. (3.40)]
nos permite escribir

f ()
1
f (z) =
d.
(4.26)
2i
z
0

Sin nunca salir del anillo, el contorno 0 puede ser deformado en el contorno 1
(en la figura 4.6 se muestra tambin un contorno intermedio, 1/2 ), de manera
que la integral sobre 0 resulta ser equivalente a la suma

f ()
f ()
1
1
f (z) =
d +
d
(4.27)
2i
z
2i
z
C1

C2

donde C1 tiene orientacin negativa y C2 tiene orientacin positiva.

Para la integral sobre C2 procedemos de la misma manera que en la demostracin del teorema 4.1; obtenemos

X
f ()
1
d =
ak (z z0 )k ,
(4.28)
2i
z
k=0
C2

donde los coeficientes ak estn dados por

f ()
1
ak =
d
2i
( z0 )k+1

(k = 0, 1, 2, . . .) .

(4.29)

C2

Dos diferencias importantes nos separan, sin embargo, del teorema 4.1. En primer lugar, la integral sobre C2 no es igual a f (z), pues es necesario considerar
tambin la contribucin hecha por la integral sobre C1 . En segundo lugar, no
podemos interpretar ak como la k-sima derivada de f (z) en z0 ; de hecho, si z0
es una singularidad de la funcin f (como es probable, dado que f es analtica
en un dominio anular), esa derivada podra no existir.
Para la integral sobre C1 notamos que, como z est fuera de C1 , tenemos
que | z0 | < |z z0 | (ver figura 4.6). Luego, buscamos expandir 1/ ( z) en
potencias de ( z0 ) / (z z0 ):
1
1
=
z
( z0 ) (z z0 )
1
1
=

z z0 1 ( z0 ) / (z z0 )

1 X z0 k
=
.
z z0 k=0 z z0
60

Usando este resultado en la integral sobre C1 , hallamos

f ()
f () X z0 k
1
1
d =
d.
2i
z
2i
z z0 k=0 z z0
C1

(4.30)

C1

Absorbiendo el signo menos mediante una inversin en la orientacin en la

integral, y haciendo el reemplazo k (k + 1), podemos escribir
1
2i

C1

1
X
f ()
ak (z z0 )k ,
d =
z
k=

(4.31)

donde hemos definido (la orientacin de C1 es positiva en esta ecuacin)

f ()
1
ak =
d
(k = 1, 2, 3, . . .) .
(4.32)
2i
( z0 )k+1
C1

Note que los coeficientes ak con k 0 se calculan mediante integracin sobre

C2 , mientras que los coeficientes con k < 0 se calculan mediante integracin
sobre C1 . Sin embargo, como el integrando es en ambos casos analtico sobre
todo el anillo, podemos deformar ambos contornos en un nico contorno simple
cerrado C, orientado positivamente, que est completamente contenido en el
anillo y que incluya el punto z0 en su interior. Esto concluye la demostracin.
El siguiente teorema asegura que toda serie convergente de la forma (4.24)
corresponde a la serie de Laurent de alguna funcin f (z).
P
P
Teorema 4.6. Sean k=0 ck (z z0 )k y k=1 ck (z z0 )k dos series cualesquiera con las siguientes propiedades:
P
k
k=0 ck (z z0 ) converge para |z z0 | < R
P
k
converge para |z z0 | > r
k=1 ck (z z0 )
r <R

Entonces existe una funcin f (z), analtica en el anillo r < |z z0 | < R, cuya serie
de Laurent en este anillo est dada por
f (z) =

X
k=

ck (z z0 )k .

61

(4.33)

Demostracin. Omitida.
Una consecuencia del teorema 4.6 es que, sin importar el mtodo que utilicemos para encontrarla, una vez que hemos hallado una serie con potencias
positivas y negativas que representa una cierta funcin, entonces sabemos que
ella debe ser la serie de Laurent para esa funcin. Para determinar la serie de
Laurent de una funcin conocida, recurra al siguiente mantra.
Mantra 4.1. Use la serie geomtrica.
Ejemplo 4.4. Encuentre la serie de Laurent para la funcin
f (z) =
en la regin |z 1| > 1.
Para el denominador, escribimos

z 2 2z + 3
z2

(4.34)

1
1
1
1
=
=

.
z 2 (z 1) 1 z 1 1 1/ (z 1)

(4.35)

Cuando |1/ (z 1)| < 1, esto es igual a

X
1
1 X
1
1
=
=
.
k
k
z 2 z 1 k=0 (z 1)
k=1 (z 1)

(4.36)

Para el numerador, en cambio, escribimos

z 2 2z + 3 = 2 + (z 1)2 .

(4.37)

Juntndolo todo, hallamos



f (z) = 2 + (z 1)

= (z 1) + 1 +

X
k=1

X
k=1

1
(z 1)k
3

(z 1)k

Ejemplo 4.5. Encuentre la serie de Laurent para la funcin

f (z) =

1
(z 1) (z 2)

en cada una de las siguientes regiones:

62

(4.38)

I. |z| < 1

II. 1 < |z| < 2

III. 2 < |z|

Las regiones I, II, y III cubren todo el plano complejo (con la excepcin de
los crculos |z| = 1 y |z| = 2), como se muestra en la figura 4.7.
Usando fracciones parciales, podemos escribir
f (z) =

1
1
1
=

.
(z 1) (z 2) z 2 z 1

(4.39)

Cada uno de estos trminos puede escribirse como una serie geomtrica.
Cuando |z/2| < 1 (i.e., en las regiones I y II), podemos escribir

X
1
1
1
1 X  z k
zk
=
=
=
.
z2
2 1 z/2
2 k=0 2
2k+1
k=0

(4.40)

En cambio, cuando |z/2| > 1 (i.e., en la regin III), la serie convergente para
1/ (z 2) es

1
1
1
1 X 2 k X 2k1
=
=
=
.
z2
z 1 2/z
z k=0 z
zk
k=1

(4.41)

Para 1/ (z 1), tenemos que, cuando |z| < 1 (i.e., en la regin I)

X
1
1
=
=
zk.
z1
1z
k=0

(4.42)

En cambio, cuando |z| > 1 (i.e., en las regiones II y III), hallamos

1
1
1X 1 k X 1
1
=
=
=
.
z1
z 1 1/z
z k=0 z
zk
k=1

(4.43)

Luego, en la regin I podemos escribir [cf. ecs. (4.40) y (4.42)]

X
X
X
1
zk
1 3
7
k
f (z) =
+
z =
1 k+1 z k = + z + z 2 + . (4.44)
k+1
2
2
2 4
8
k=0
k=0
k=0
En cambio, en la regin II encontramos [cf. ecs. (4.40) y (4.43)]

X
X
zk
1
1
1 1 z z2
f (z) =

.
2k+1 k=1 z k
z2 z 2 4
8
k=0

63

(4.45)

Finalmente, en la regin III hallamos [cf. ecs. (4.41) y (4.43)]

f (z) =

k1
X
2
k=1

zk

k1
X
X
1
3
7
1
2
1

=
= 2 + 3 + 4 + .
k
k
z
z
z
z
z
k=1
k=2

(4.46)

y
III
II
I

Figura 4.7: Regiones para el ejemplo 4.5.

4.4.

Ceros y singularidades

Usamos la expansin de Laurent para clasificar el comportamiento de una

funcin f (z) cerca de sus ceros (races) y sus singularidades.
Definicin 4.2. Un punto z0 es llamado un cero de orden m de una funcin f (z)
si f (z) es analtica en z0 y
f (z0 ) = 0,

f 0 (z0 ) = 0,
..
.
f (m1) (z0 ) = 0,
f (m) (z0 ) 6= 0.
Un cero de orden 1 es llamado un cero simple.
Ejemplo 4.6. La funcin f (z) = sin z tiene ceros simples en z = m, con m =
0, 1, 2, . . .. Los ceros son simples porque f 0 (m) = cos (m) = (1)m 6= 0.
64

2
4
6
8
4

Figura 4.8: Grfico de la funcin f (x) = 1/ (x 1) (x 2) (restringida a la

recta real) y de los primeros trminos de sus expansiones en serie de Laurent
centradas en x = 0 [cf. ecs. (4.44)(4.46)].

65

2
1
0
1

2
5

Figura 4.9: Grfico de la funcin f (z) = tan (z/2) (restringida a la recta real).
Las singularidades son todas aisladas. En los puntos donde la funcin se anula,
la recta tangente tiene pendiente positiva, por lo que los ceros son todos simples.
Si z0 es un cero de orden m para una funcin f (z), entonces la serie de
Taylor de f (z) en torno de z0 tiene la forma
f (z) = am (z z0 )m + am+1 (z z0 )m+1 + am+2 (z z0 )m+2 +


= (z z0 )m am + am+1 (z z0 ) + am+2 (z z0 )2 ,

donde am = f (m) (z0 ) /m! 6= 0.

Teorema 4.7. Sea f (z) analtica en z0 . Entonces f (z) tiene un cero de orden m
en z0 si y slo si f (z) puede ser escrita en la forma
f (z) = (z z0 )m g (z) ,

(4.47)

donde g (z) es analtica en z0 y g (z0 ) 6= 0.

Corolario. Si f (z) es analtica y tiene un cero en z0 , entonces (i) f (z) es idnticamente cero en una vecindad de z0 o (ii) existe un disco perforado en z0 en el cual
f (z) nunca se anula.

Definicin 4.3. Una singularidad aislada de f (z) es un punto z0 tal que f (z)
es analtica en el disco perforado 0 < |z z0 | < R, para algn R > 0, pero f (z)
no es analtica en z0 .
Ejemplo 4.7. Sea f (z) = tan (z/2). Los puntos z = 0, 2, 4, . . . son ceros
simples de f (z), en tanto que los puntos z = 1, 3, . . . son singularidades
aisladas (ver figura 4.9).
Definicin 4.4. Sea z0 una singularidad aislada de f (z), y sea
f (z) =

X
k=

66

ak (z z0 )k

(4.48)

la expansin de Laurent de f (z) en el disco perforado 0 < |z z0 | < R, para

algn R > 0. Entonces:
Si ak = 0 para k = 1, 2, 3, . . ., decimos que z0 es una singularidad
removible de f (z).
Si am 6= 0 para algn entero positivo m, pero ak = 0 para k = m
1, m 2, m 3, . . ., decimos que z0 es un polo de orden m de f (z).

Si ak 6= 0 para un nmero infinito de valores negativos de k, decimos que

z0 es una singularidad esencial de f (z).
Ejemplo 4.8. Las funciones sin z/z y (cos z 1) /z 2 tienen singularidades removibles en z = 0. En efecto, para |z| > 0, tenemos:


1
z3 z5
z2 z4
sin z
=
z
+
+ = 1
+
+ ,
(4.49)
z
z
3! 5!
3! 5!



cos z 1
1
z2 z4
1
z2 z4
=
1

+
+

1
=

+
.
(4.50)
z2
z2
2! 4!
2! 4! 6!
Lema 4.8. Si f (z) tiene una singularidad removible en z0 , entonces:
f (z) es acotada en alguna vecindad perforada de z0 (e.g., 0 < |z z0 | < R);

el lmite lmzz0 f (z) existe; y

f (z) puede ser redefinida en z0 de manera que sea analtica en z0 .

La serie de Laurent para una funcin con un polo de orden m en z0 tiene la
forma
f (z) =

am+1
am
a1
+ +
+ a0 + a1 (z z0 ) + , (4.51)
m +
m1
(z z0 )
z z0
(z z0 )

la cual converge en alguna vecindad perforada de z0 (e.g., 0 < |z z0 | < R).

Ejemplo 4.9. La funcin ez /z 2 tiene un polo de orden 2 en z = 0:


ez
1
z2 z3
1
1
1
z
z2
=
1
+
z
+
+
+

=
+
+
+
+
+ .
z2
z2
2! 3!
z 2 z 2! 3! 4!

Ejemplo 4.10. La funcin sin z/z 5 tiene un polo de orden 4 en z = 0:



sin z
1
z3 z5
1
1
1
z2
=
z

+
+

+ .
z5
z5
3! 5!
z 4 3!z 2 5! 7!
67

(4.52)

(4.53)

Definicin 4.5. Un polo de orden 1 es llamado un polo simple.

Ejemplo 4.11. z = 0 es un polo simple de la funcin sin z/z 2 .
Lema 4.9. Si una funcin f (z) tiene un polo de orden m en z0 , entonces


(4.54)
lm (z z0 )l f (z) =
zz0

para todos los enteros l < m, mientras que (z z0 )m f (z) tiene una singularidad
removible en z0 . En particular (cuando l = 0), | f (z)| cuando z tiende a un
polo.
Lema 4.10. Una funcin f (z) tiene un polo de orden m en z0 si y slo si, en
alguna vecindad perforada de z0 ,
g (z)
,
(z z0 )m

f (z) =

(4.55)

donde g (z) es analtica en z0 y g (z0 ) 6= 0.

Ejemplo 4.12. Clasifique la singularidad en z = 1 de la funcin

sin z

f (z) =

(z 2 1)2

(4.56)

De acuerdo al lema 4.9, la funcin f (z) tiene un polo de orden 2 en z = 1,

porque
(z 1)l2
sin z
(4.57)
(z 1)l f (z) =
(z + 1)2
tiene una singularidad removible cuando l = 2, mientras que su mdulo tiende
a infinito si l = 1, 0, 1, . . .. Adems, | f (z)| cuando z 1.
Alternativamente, dado que f (z) puede escribirse en la forma
f (z) =
con
g (z) =

g (z)

(z 1)2
sin z
(z 1)2

(4.58)

(4.59)

y g (z) es analtica en z = 1, con g (1) 6= 0, el lema 4.10 garantiza que f (z)

tiene un polo de orden 2 en z = 1.

68

Lema 4.11. Si f (z) tiene un cero de orden m en z0 , entonces 1/ f (z) tiene un

polo de orden m en z0 . Recprocamente, si f (z) tiene un polo de orden m en z0 ,
entonces 1/ f (z) tiene una singularidad removible en z0 ; si definimos 1/ f (z0 ) = 0,
entonces (la nueva funcin) 1/ f (z) tiene un cero de orden m en z0 .
Cuidado: no es cierto que | f (z)| cuando z se acerca a una singularidad
esencial.
Teorema 4.12 (Teorema de Picard). Si una funcin analtica f (z) tiene una
singularidad esencial en z0 , entonces, en cualquier vecindad perforada de z0 , f (z)
asume todos los valores complejos posibles, con a lo ms una excepcin, infinitamente a menudo.
Demostracin. Omitida.
Ejemplo 4.13. La funcin f (z) = e1/z tiene una singularidad esencial en z = 0.
Si bien e1/z es siempre distinto de cero, no es difcil ver que asume todos
los dems valores complejos a medida que z 0. En efecto, podemos escribir
f (z) = u (r, ) + i v (r, ), con

sin
u = ecos /r cos
,
(4.60)
r

sin
v = ecos /r sin
.
(4.61)
r
Si nos acercamos a z = 0 siguiendo una espiral, tanto u como v barren en forma
continua todos los nmeros reales, positivos y negativos.
Note tambin que
| f (z)| = ecos /r .
(4.62)

En particular, esto significa que:

Si cos > 0, entonces | f (z)| cuando r 0

Si cos < 0, entonces | f (z)| 0 cuando r 0

Luego, no existe el lmite lmz0 | f (z)|.

Ejemplo 4.14. Clasifique todos los ceros y todas las singularidades de la funcin

1
f (z) = sin 1
.
(4.63)
z
Los ceros de f (z) ocurren cuando 1 1/z = n, es decir, en la secuencia
infinita de puntos
zn =

1
1 n

(n = 0, 1, 2, . . .) .
69

(4.64)

Note que lmn zn = 0.

La derivada de f (z) es
f 0 (z) =
de donde

1
1
cos
1

,
z2
z

f 0 (zn ) = (1)n (1 n)2 6= 0.

(4.65)
(4.66)

Esto significa que todos los ceros son simples.

La nica singularidad de f (z) ocurre en z = 0. En una vecindad perforada
de la forma |z| < , con > 0, siempre encontramos infinitos puntos de la
secuencia zn , donde f (zn ) = 0. Luego, no es cierto que lmz0 | f (z)| = ,
por lo que la singularidad en z = 0 no puede ser un polo. Tampoco es una
singularidad removible, porque f (z) no tiende a cero cuando z 0. De hecho,
f (z) = 1 en todos los puntos de la secuencia
wn =

1
1 2n /2

(n = 0, 1, 2, . . .) ,

(4.67)

que tiende sin embargo a cero: lmn w n = 0. Por eliminacin, z = 0 debe ser
una singularidad esencial.
El siguiente teorema da un resumen de la situacin.
Teorema 4.13. Si f (z) tiene una singularidad aislada en z0 , las siguientes afirmaciones son equivalentes:
I.

z0 es una singularidad removible si y slo si

| f (z)| es acotada cerca de z0

existe el lmite de f (z) cuando z z0

f (z) puede ser redefinida en z0 de manera que sea analtica en z0

II .

z0 es un polo si y slo si
| f (z)| cuando z z0

III .

f (z) = g (z) / (z z0 )m para algn entero positivo m y alguna funcin

analtica g (z), con g (z0 ) 6= 0.

z0 es una singularidad esencial si y slo si

no existe el lmite de | f (z)| cuando z z0 (i.e., no es acotada, no tiende

a infinito)
f (z) asume todos los valores complejos, con a lo ms una excepcin, en
cualquier vecindad de z0
70

4.5.

El punto en el infinito

La recta real tiene dos infinitos, uno positivo y otro negativo. Cuntos infinitos tiene el plano complejo?
Usando una proyeccin estereogrfica, cada punto del plano complejo puede ser mapeado a un punto sobre la esfera de Riemann (ver figura 4.10):
El origen (z = 0) es mapeado al polo sur
El interior del crculo unitario es mapeado al hemisferio sur
El crculo unitario es mapeado al ecuador
El exterior del crculo unitario es mapeado al hemisferio norte
Sin embargo, ningn punto sobre el plano complejo es mapeado al polo norte de
la esfera de Riemann.
N

S
Figura 4.10: La esfera de Riemann.
La esfera de Riemann, incluyendo el polo norte, es un modelo para el plano
complejo extendido, i.e., el plano complejo ms el punto en el infinito, .
Una vecindad de es cualquier conjunto de la forma |z| > M , con M > 0.
Escribimos f (z0 ) = si, para cualquier M > 0, existe un > 0 tal que,
si 0 < |z z0 | < , entonces | f (z)| > M . Escribimos f () = w0 cuando
f (z) w0 si z .
Ejemplo 4.15. Para la funcin

f (z) =
tenemos f (1) = y f () = 2.

2z + 1
,
z1

71

(4.68)

Podemos incluso hablar de funciones que son analticas en z = , en el

siguiente sentido:
f (z) es analtica en si f (1/w) es analtica (o tiene una singularidad
removible) en w = 0.
f (z) tiene un polo de orden m en z = si f (1/w) tiene un polo de
orden m en w = 0.
f (z) tiene una singularidad esencial en z = si f (1/w) tiene una singularidad esencial en w = 0.
Ejemplo 4.16. La funcin f (z) = z 2 + 2 tiene un polo en . Como f (1/w) =
1/w2 + 2, el polo es de orden 2.
Ejemplo 4.17. La funcin
f (z) =
es analtica en z = , porque
f

iz + 1
z1

1
i/w + 1
=
w
1/w 1

(4.69)

(4.70)

tiene una singularidad removible en w = 0. En efecto, como lmw0 f (1/w) = i,

tenemos f () = i.
Ejemplo 4.18. La funcin f (z) = sin z tiene una singularidad esencial en z =
, ya que f (1/w) = sin (1/w) tiene una singularidad esencial en w = 0.

Ejemplo 4.19. Sea f (z) analtica en todo el plano complejo extendido (i.e., en
toda la esfera de Riemann). Como f (z) es analtica en , debe ser acotada
para |z| > M . Por continuidad, f (z) tambin debe ser acotada para |z| M .
Luego, f (z) es una funcin entera y acotada; por el teorema 3.11, f (z) debe
ser constante. Esto quiere decir que las nicas funciones analticas sobre toda
la esfera de Riemann son las funciones constantes.
Ejemplo 4.20. Clasifique todas las funciones que son analticas en todas partes
excepto en un punto z0 , donde tienen un polo.
Si f (z) tiene un polo de orden m en z0 , con z0 6= , podemos escribir
f (z) =

k=m

ak (z z0 )k ,

72

(4.71)

la cual converge para todo z 6= z0 . La serie de potencias con m 0, a0 +

a1 (z z0 ) + a2 (z z0 )2 + , define una funcin entera y acotada, por lo que
debe ser igual a una constante:

X
k=0

ak (z z0 )k = a0 .

(4.72)

Luego, la forma ms general para f (z) es

f (z) =

am+1
am
a1
+ +
+ a0 .
m +
m1
(z z0 )
z z0
(z z0 )

(4.73)

Si el polo ocurre en z0 = , entonces f (1/w) tiene un polo en w = 0. Por

lo tanto, f (1/w) tiene la forma

am am+1
a1
1
f
= m + m1 + +
+ a0 .
(4.74)
w
w
w
w
Esto significa que f (z) est dada por
f (z) = a0 + a1 z + + am z m ,
es decir, un polinomio.

73

(4.75)

Captulo 5

El mtodo de los residuos

5.1.

El teorema del residuo

H
Queremos evaluar I = f (z) dz, donde es un contorno simple, cerrado, orientado positivamente, y f (z) es una funcin analtica sobre y dentro de
, excepto por una nica singularidad aislada z0 , que yace en el interior de .
Con estas condiciones, f (z) puede ser expresada como una serie de Laurent
centrada en z0 ,

X
f (z) =
ak (z z0 )k .
(5.1)
k=

Si C es un crculo centrado en z0 , completamente contenido dentro del interior

de (ver figura 5.1), entonces podemos escribir
I
I=
I
=
=

f (z) dz

ak (z z0 )k dz

C k=
I

ak

k=

(z z0 )k dz

= 2ia1 ,
donde hemos usado el resultado del ejemplo 3.2. La importancia crucial del
coeficiente a1 en el clculo de I motiva la siguiente definicin.

Definicin 5.1. Si f (z) tiene una singularidad aislada en z0 , entonces el coeficiente a1 de 1/ (z z0 ) en la expansin de Laurent para f (z) en torno a z0 es
74


C
z0
R

Figura 5.1: La expansin de Laurent para f (z) en torno a z0 converge en el

disco perforado 0 < |z z0 | < R, donde R es la distancia a la singularidad ms
cercana, indicada con , que se encuentra en el exterior de . Esto quiere decir
que, en particular, converge sobre un crculo C centrado en z0 y completamente
contenido dentro de .
llamado el residuo de f (z) en z0 , y es denotado como a1 = Res ( f ; z0 ) o, si no
es imprescindible especificar la funcin, simplemente como a1 = Res (z0 ).
Ejemplo
5.1. Encuentre el residuo en z = 0 de la funcin f (z) = ze3/z y calcule
H
I = C f (z) dz, donde C es el crculo de radio 4 centrado en el origen.
P
Usando la expansin e w = k=0 wk /k!, encontramos
ze

3/z

X
1 3 k
=z
k! z
k=0



3
1 3 2
=z 1+ +
+
z 2! z
27
9
=z+3+
+ 2 + ,
2z 6z

de donde hallamos Res (0) = 9/2. Luego,

I
|z|=4

ze3/z dz =

9
2i = 9i.
2

(5.2)

Note que z = 0 es una singularidad esencial de f (z).

Dada la importancia del residuo, resulta conveniente tener formas de calcularlo que no involucren determinar toda la serie de Laurent para la funcin.
Si f (z) tiene una singularidad removible en z0 , entonces Res ( f ; z0 ) = 0.

75

Si f (z) tiene un polo simple en z0 , entonces podemos escribir

a1
f (z) =
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + .
z z0

(5.3)

Para aislar a1 , multiplicamos por (z z0 ) y tomamos el lmite cuando z z0 :

(z z0 ) f (z) = a1 + (z z0 ) [a1 + a2 (z z0 ) + ]

lm (z z0 ) f (z) = a1 .

zz0

Luego, si z0 es un polo simple de f (z), entonces

Res ( f ; z0 ) = lm (z z0 ) f (z) .
zz0

(5.4)

Ejemplo 5.2. La funcin

ez
(5.5)
z (z + 1)
tiene polos simples en z = 0 y z = 1. Usando la ec. (5.4), podemos determinar
los residuos:
ez
Res (0) = lm z f (z) = lm
= 1,
(5.6)
z0
z0 z + 1
z
e
1
Res (1) = lm (z + 1) f (z) = lm
= .
(5.7)
z1
z1 z
e
Ejemplo 5.3. Considere la funcin f (z) = P (z) /Q (z), donde P (z) y Q (z) son
analticas en z0 , Q (z) tiene un cero simple en z0 , y P (z0 ) 6= 0. En estas circunstancias, f (z) tiene un polo simple en z0 , por lo que podemos calcular su residuo
recurriendo a la ec. (5.4):
f (z) =

Res ( f ; z0 ) = lm (z z0 )
zz0

P (z)
.
Q (z)

Recordando que Q (z0 ) = 0, podemos escribir

Q (z) Q (z0 ) 1
P (z0 )
Res ( f ; z0 ) = lm P (z)
= 0
.
zz0
z z0
Q (z0 )

(5.8)

(5.9)

Ejemplo 5.4. Calcule los residuos en todas las singularidades de la funcin

cos z
f (z) = cot z =
.
(5.10)
sin z
Las singularidades de f (z) corresponden a los ceros de sin z, z = n, con
n = 0, 1, 2, . . .. Todos estos ceros son simples. Como adems cos (n) 6= 0,
podemos aplicar el resultado del ejemplo 5.3:

cos z 
cos n
Res (cot z; n) =
= 1.
(5.11)
=
0
(sin z) z=n cos n
76

Cmo obtenemos una frmula para Res ( f ; z0 ) cuando z0 es un polo de

orden m de f (z)? En este caso, la serie de Laurent para f (z) en torno a z0
toma la forma
am+1
am
a1
f (z) =
+ +
+ a0 + a1 (z z0 )+ a2 (z z0 )2 +
m+
m1
(z z0 )
z z0
(z z0 )
(5.12)
Multiplicando por (z z0 )m , hallamos

(z z0 )m f (z) = am + am+1 (z z0 ) + + a1 (z z0 )m1 + a0 (z z0 )m +

(5.13)
Para aislar a1 , derivamos m 1 veces:
d m1
[(z z0 )m f (z)] = (m 1)!a1 + m!a0 (z z0 ) + .
dz m1

(5.14)

Tomando el lmite cuando z z0 , obtenemos

Res ( f ; z0 ) = lm

zz0

1
d m1
[(z z0 )m f (z)] .
(m 1)! dz m1

(5.15)

La ec. (5.4) puede considerarse como una caso particular de la ec. (5.15) cuando
m = 1.
Ejemplo 5.5. Determine los residuos en todas las singularidades de la funcin
f (z) =

cos z
z 2 (z

)3

(5.16)

Qu pasa si dentro de un contorno hay varias singularidades deHla funcin

f (z)? En este caso, podemos deformar de manera que la integral f (z) dz
se reduzca a una suma de integrales sobre crculos Ck que rodean cada uno a
una sola singularidad de f (z) (ver figura 5.2). Encontramos
I
n I
n
X
X
f (z) dz =

k=1

Ck

f (z) dz =

2i Res ( f ; zk ) .

(5.17)

k=1

Hemos demostrado el siguiente teorema.

Teorema 5.1 (Teorema del residuo de Cauchy). Sea f (z) una funcin analtica
sobre y dentro del contorno simple cerrado, orientado positivamente, , excepto
por las singularidades aisladas z1 , z2 , . . . , zn , que yacen todas en el interior de .
Entonces
I
n
X
f (z) dz = 2i
Res ( f ; zk ) .
(5.18)
k=1

77

z2

z3

z1

Figura 5.2: Deformacin de contornos para la demostracin del teorema 5.1.

Se ilustra el caso n = 3.
Ejemplo 5.6. Calcular
I
I=

|z|=2

1 2z
dz.
z (z 1) (z 3)

(5.19)

La funcin a integrar tiene tres singularidades, todas polos simples, en z = 0,

z = 1 y z = 3. De estas tres, slo las dos primeras estn en el interior del
contorno de integracin (ver figura 5.3). Luego, podemos calcular
I = 2i [Res (0) + Res (1)] ,

(5.20)

donde los residuos estn dados por [cf. ec. (5.4)]

1 2z
1
= ,
z0 (z 1) (z 3)
3
1 2z
1
Res (1) = lm
= .
z1 z (z 3)
2

Res (0) = lm

(5.21)
(5.22)

Sumando, hallamos I = 5i/3.

5.2.

Integrales trigonomtricas

Vamos a usar el teorema del residuo para evaluar integrales reales de la

forma
Z 2
I=

U (cos , sin ) d ,
78

(5.23)

Figura 5.3: Contorno de integracin y singularidades para el ejemplo 5.6.

donde U es una funcin racional (con coeficientes reales) de cos y sin . La
idea es transformar I en la integral de una funcin de variable compleja sobre
el crculo unitario C, y calcular esta integral usando el teorema 5.1.
Parametrizando C en la forma z = e i , podemos escribir
dz
,
iz

1
1
z+
,
cos =
2
z

1
1
sin =
z
,
2i
z
d =

de manera que I queda dada por

I

1
1
1
1
dz
I=
U
z+
,
z
.
2
z 2i
z
iz
C

(5.24)
(5.25)
(5.26)

(5.27)

Como U es una funcin racional, el integrando en (5.27) tendr a lo ms singularidades removibles y polos, por lo que puede ser evaluada usando el teorema
del residuo.
Ejemplo 5.7. Evaluar

Z
I=

sin2
d .
5 + 4 cos

(5.28)

Haciendo las sustituciones (5.24)(5.26), podemos escribir

I 1
I=

1
z

2

dz
1
2i


=
1 iz
8i
5+2 z+ z

79

z2

2
z2 1


dz.
z + 12 (z + 2)

(5.29)

El integrando tiene singularidades en z = 0 (polo de orden 2), z = 1/2, y z =

2 (ambas polos simples). De estas tres, slo z = 0 y z = 1/2 se encuentran
en el interior del crculo unitario (ver figura 5.4). Luego, podemos calcular la
integral en la forma

1
I = 2i Res (0) + Res
,
(5.30)
2
donde los residuos estn dados por

2
2
z 1
1
d

Res (0) = lm
8i z0 dz
z + 12 (z + 2)
4z z 2 1
1
= lm
8i z0
=

z+

1
2

5
,
16i

1
1
Res
=
2
8i

Sumando, hallamos

lm

(z + 2) z 2 1

2
z + 12 (z + 2)2

z1/2

z2 1

2

z 2 (z + 2)

5
3
I = 2i

16i 16i

.
4

2

z+

3
.
16i

1
2

+z+2

(5.31)

(5.32)

y
C

12

Figura 5.4: Contorno de integracin y singularidades para el ejemplo 5.7.

5.3.

Integrales impropias

R
Cunto vale x d x? Para responder a esta pregunta, consideremos las
siguientes definiciones.
80

Definicin 5.2. Para una variable real x, definimos

R
R
f (x) d x = lm 0 f (x) d x
0
R0

f (x) d x = lm
f (x) d x =

R0

R0

f (x) d x

f (x) d x +

R
0

f (x) d x

cuando los lmites respectivos existen.

R
Cuando est definida, la integral f (x) d x puede calcularse a travs
R
del lmite lm f (x) d x (porque, cuando todos los lmites involucrados existen, el lmite de la suma es la suma de los lmites). Sin embargo, puede
ocurrir que este lmite exista incluso cuando la integral sobre (, ) no est
definida. Esta situacin motiva la siguiente definicin.
Definicin 5.3 (Valor principal de Cauchy). Llamamos valor principal de Cauchy
al lmite
Z
Z
V. P.

Ejemplo 5.8. Dado que

f (x) d x = lm

f (x) d x.

(5.33)

Z
0

x d x = ,

(5.34)

x d x = ,

(5.35)

R
R
la integral x d x no est definida. Sin embargo, como x d x = 0 para
cualquier R, tenemos que
Z

V. P.

x d x = lm

x d x = 0.

(5.36)

El siguiente ejemplo describe una tcnica para evaluar valores principales

de integrales impropias usando el mtodo de los residuos.
Ejemplo 5.9. Evaluar

Z
I = V. P.

81

dx
.
+4

x4

(5.37)

Llamando

Z
I =

dz
,
+4

(5.38)

z4

donde es el segmento dirigido de la recta real que va desde hasta +,

podemos escribir I = lm I . Como no es un contorno cerrado, no es posible aplicar directamente el teorema del residuo. Sin embargo, podemos construir un contorno simple, cerrado, orientado positivamente = + C+ , de
manera tal que la integral sobre C+ resulte fcil de calcular (o, por lo menos,
su lmite cuando ). Para cerrar , escogemos C+ como la semicircunferencia de radio , centrada en el origen, que se muestra en la figura 5.5.
y
C+
z1

z0

z2

z3

R
Figura 5.5: Para calcular V. P. f (x) d x, cerramos el contorno de integracin usando la semicircunferencia C+ en el semiplano superior. Las marcan
las singularidades de f (z) en el plano complejo.
Sobre C+ , |z| = . Usando la identidad triangular en la forma |u + v|


||u| |v|| [cf. ec- (1.15)], con u = z 4 , v = 4, encontramos z 4 + 4 4 4

(asumiendo 4 > 4). Esto quiere decir que podemos acotar la integral sobre C+
en la forma
Z




dz 

.
(5.39)

 4
4
 C+ z + 4  4

Como esta cota tiende a cero cuando , concluimos que

Z
dz
lm
= 0.
4+4

z
C+

82

(5.40)

Por lo tanto, la integral original puede calcularse directamente como

I
dz
I = lm
.
4

z +4

(5.41)

El integrando tiene singularidades cuando z 4 + 4 = 0, i.e., en los puntos (ver

figura 5.5)
z0 = 1 + i,

(5.42)

z1 = 1 + i,

(5.43)

z3 = 1 i.

(5.45)

z2 = 1 i,

(5.44)

De estos cuatro, slo z0 y z1 estn en el interior de , por lo que podemos

escribir
I
dz
= 2i [Res (z0 ) + Res (z1 )] .
(5.46)
4+4
z

Como todas las singularidades son polos simples, los residuos son fciles de
calcular:
z z0
Res (z0 ) = lm 4
(5.47)
zz0 z + 4
1
= lm
(5.48)
zz0 (z z1 ) (z z2 ) (z z3 )
1
=
(5.49)
(z0 z1 ) (z0 z2 ) (z0 z3 )
1
=
,
(5.50)
8i (1 + i)
Res (z1 ) = lm

zz1

z z1
z4 + 4

1
zz1 (z z0 ) (z z2 ) (z z3 )
1
=
(z1 z0 ) (z1 z2 ) (z1 z3 )
1
=
.
8i (1 i)
= lm

Sumando, hallamos
I

dz
1
1

= 2i
+
= .
z4 + 4
8i (1 + i) 8i (1 i)
4
83

(5.51)
(5.52)
(5.53)
(5.54)

(5.55)

Como este resultado es independiente de (para suficientemente grande, de

modo que encierre ambas singularidades), obtenemos I = /4.
El xito del mtodo descrito en el ejemplo 5.9 depende de las siguientes
condiciones:
f (z) es analtica sobre el eje real y en el semiplano superior, excepto por
un nmero finito de singularidades cuando (z) > 0.
R
f (z) dz = 0.
II . lm
C+
I.

Para garantizar el cumplimiento de la condicin II, es suficiente que f (z) tenga

la forma f (z) = P (z) /Q (z), donde P y Q son dos polinomios, con grado de Q
2 + grado de P. Cuando ste es el caso, tenemos que, para |z| suficientemente
grande,


 P (z) 
 K ,
| f (z)| = 
(5.56)
Q (z)  |z|2

donde K > 0 es una constante. Esto nos permite asegurar que


Z


 K

f (z) dz 
.


 C+

(5.57)

Como esta cota tiende a cero cuando , obtenemos

Z
lm

C+

f (z) dz = 0.

(5.58)

El siguiente ejemplo muestra un caso donde la condicin I falla debido a que

la funcin a integrar tiene infinitas singularidades en el semiplano superior.
Ejemplo 5.10. Calcular
Z
I = V. P.

e ax
d x,
1 + ex

(5.59)

donde 0 < a < 1.

La condicin 0 < a < 1 es necesaria para garantizar la convergencia de la
integral. Cuando x , el integrando se comporta como e(a1)x , el cual tiende
a cero gracias a que a 1 < 0. Cuando x , en cambio, el integrando se
comporta como e a x , el cual tiende a cero gracias a que a > 0.
La funcin
e az
f (z) =
(5.60)
1 + ez
84

+ 2i

3i

i
1

+ 2i
2
+

Figura 5.6: Contorno de integracin para el ejemplo 5.10.

tiene singularidades cuando 1 + ez = 0, i.e., para z = (2n + 1) i, con n =
0, 1, 2, . . .. Si cerramos el contorno usando una semicircunferencia en el semiplano superior, como en el ejemplo 5.9, incluimos infinitas singularidades
de f (z) dentro del contorno, lo que significa que tenemos que calcular infinitos residuos. Para evitar esta situacin, usamos el contorno rectangular que se
muestra en la figura 5.6.
Llamamos 1 , . . . , 4 a cada uno de los lados del rectngulo, = 1 + +4 .
Las integrales respectivas son I = I1 + + I4 . De stas, la que nos interesa es
I1 , ya que I = lm I1 . Nuestro trabajo ahora es determinar qu ocurre con
las otras tres.
Podemos parametrizar 2 en la forma z = + i t, con 0 t 2. Usando
esta parametrizacin en I2 , podemos acotar la integral en la forma1
Z

 2 a(+i t)

e
2e(a1)

 2e a
|I2 | = 

id
t
=
.
(5.61)

 0 1 + e+i t
 e 1
1 e
Como esta cota tiende a cero cuando (gracias a que a < 1), tenemos
que
lm I2 = 0.
(5.62)

Algo similar ocurre en 4 . Poniendo z = + i (2 t), con 0 t 2,

obtenemos
Z


   2 e a[+i(2t)]
 2ea
I  = 
(i)
d
t
.
(5.63)

4
 0 1 + e+i(2t)
 1 e
1

Aqu ocupamos la desigualdad triangular, ec. (1.15).

85

Como esta cota tambin tiende a cero cuando (gracias a que a > 0),
encontramos que
lm I4 = 0.
(5.64)

Parametrizando 3 en la forma z = t + 2i, con t , podemos

escribir
Z a(t+2i)
Z
e
eat
2ai
I3 =
(d
t)
=
e
d t.
(5.65)
t+2i
t
1 + e
1 + e

Sustituyendo u = t, hallamos
I3 = e

2ai

e au
du = e2ai I1 .
u
1+e

Por lo tanto, en el lmite cuando , obtenemos

lm I = lm I1 + I2 + I3 + I4 = 1 e2ai lm I1 ,

de donde
I = lm I1 =

1
lm I .
1 e2ai

(5.66)

(5.67)

(5.68)

Para calcular I , recurrimos al mtodo de los residuos. La nica singularidad

de f (z) que est en el interior de es z = i. Luego,
I=

2i
Res ( f ; i) .
1 e2ai

(5.69)

(Como este resultado es independiente de , resulta automtico tomar el lmite

cuando ). Para calcular el residuo, notamos que f (z) tiene la forma
P/Q, donde P (z) = e az y Q (z) = 1 + ez son funciones analticas en i, con
P (i) = eai 6= 0. Adems, Q (z) tiene un cero simple en i [ya que Q0 (i) =
ei = 1 6= 0]. Esto significa que i es un polo simple de f (z), y podemos
calcular el residuo en la forma (ver ejemplo 5.3)
Res ( f ; i) =
Finalmente,
I =

P (i)
= eai .
Q0 (i)

2ieai
2i

= ai
=
.
2ai
ai
1e
e e
sin (a)

La figura 5.7 muestra este resultado como funcion de a.

86

(5.70)

(5.71)

10
8

6
4
2
0

0,2

0,4

0,6

0,8

a
Figura 5.7: La integral I = / sin (a) diverge para a = 0 y para a = 1.

87

Bibliografa
[1] E. B. Saff, A. D. Snider, Fundamentals of Complex Analysis for Mathematics,
Science, and Engineering. Prentice-Hall, Inc., Englewood Cliffs, New Jersey
(1976).
[2] T. Needham, Visual Complex Analysis. Oxford University Press, Inc., New
York (2000).
[3] J. W. Brown, R. V. Churchill, Variable Compleja y Aplicaciones. McGrawHill/Interamericana de Espaa (2004).
[4] R. A. Silverman, Complex Analysis with Applications. Dover Publications,
Inc., New York (1984).
[5] G. B. Arfken, H. J. Weber, Mathematical Methods for Physicists. Elsevier, Boston, Amsterdam (2005).
[6] M. L. Boas, Mathematical Methods in the Physical Sciences. Wiley, Hoboken,
NJ (2006).
[7] R. Penrose, The Road to Reality. Alfred A. Knopf, New York (2006).

88