Variable Compleja

LiFTA-AAFyM-ICBI-UAEH
Dr. Benjamı́n A. Itzá Ortiz
Semestre agosto-noviembre 2024

1. Introduction
Los números complejos pueden motivarse a partir de dar sentido a las raı́ces
de ecuaciones de grado n. De este modo, en√vez de decir que la ecuación x2 +1 = 0
“no tiene solución”, se formaliza que x = −1 es una de tales soluciones, si bien
“imaginaria”. √
Convención: i = −1 con la regla i2 = −1.
Formalmente, los números complejos son el campo

C = {a + ib : a, b ∈ R}
con la suma definida por

(a + ib) + (c + id) = (a + c) + i(b + d)

y el producto dado por

(a + ib)(c + id) = (ac − bd) + i(ad + bc)

Si z = a + ib es un número complejo, se define la parte real de z como

Re(z) = a y a la parte imaginaria de z como Im(z) = b.
El módulo de un número complejo z = a + ib se denota por |z| y se define
por p
|z| = a2 + b2 .
El conjugado de un número complejo z = a + ib se denota por z y se define
por
z = a − ib.
El argumento de un número complejo z = a+ib ̸= 0 se define como el ángulo
(en radianes) que forma con el vector (a, b) con el eje real positivo y se denota
por arg(z).
Ejemplos:

1
 1. Si z = a + ib ̸= 0 es un número complejo y θ = arg(z) entonces se tiene
que Re(z) = |z| cos θ y Im(z) = |z| sen θ. Por tanto
z = |z|(cos θ + i sen θ).
A esta fórmula se le conoce como la forma polar del número complejo z.
2. Si z = a + ib ̸= 0 es un número complejo, hallar una expresión para el
inverso multiplicativo z −1
Demostración: Proponemos
a b
z −1 = −i 2 .
a2 + b2 a + b2
Para verificar que funciona, tenemos que probar que zz −1 = 1. Esto se
sigue por
 
−1 a b
zz = (a + ib) −i 2
a2 + b2 a + b2
2 2
 
a b ab ab
= 2 + 2 +i − 2
a + b2 a + b2 a2 + b2 a + b2
2 2
a +b
= 2
a + b2
= 1,
como se querı́a.
Del ejemplo 2 anterior podemos deducir que si z ̸= 0 es un número complejo
distinto de cero entonces
z
z −1 = 2 . (1)
|z|
De la fórmula (1) a su vez podemos deducir otra de las fórmulas útiles en variable
compleja, la cual se cumple para cualquier número complejo z:
zz = |z|2 . (2)
Proposición 1 (Fórmula de De Moivre). Sea z ∈ C y suponga que θ = arg(z).
Entonces, para n ≥ 1 se tiene que
z n = |z|n (cos(nθ) + i sen(nθ)).
Demostración. Por inducción sobre n. Para n = 1 esto es precisamente la repre-
sentación polar de z. Supongamos que la fórmula
es válida para n − 1, es decir,
que z n−1 = |z|n−1 cos((n − 1)θ) + i sen((n − 1)θ) . Entonces
z n = z z n−1
= [|z| (cos(θ) + i sen(θ))] |z|n−1 cos((n − 1)θ) + i sen((n − 1)θ)



= |z|n [(cos(θ) cos((n − 1)θ) − sen(θ) sen((n − 1)θ))


+i cos(θ) sen((n − 1)θ) + sen(θ) cos((n − 1)θ)
= |z|n (cos(nθ) + i sen(nθ))
como se querı́a demostrar.

2
Proposición 2. Si z y w son números complejos entoces

|zw| = |z| |w|.

Demostración. Supongamos que z = a + ib y w = c + id. Entonces zw =

(ac − bd) + i(ad + bc). Luego
p
|zw| = (ac − bd)2 + (ad + bc)2
p
= a2 c2 − 2abcd + b2 d2 + a2 d2 + 2abcd + b2 c2
p
= a2 (c2 + d2 ) + b2 (c2 + d2 )
p
= (a2 + b2 )(c2 + d2 )
p p
= a2 + b2 c2 + d2
= |z| |w|

Proposición 3. Sean z y w números complejos. Supongamos que restringimos

los valores del argumento en intervalo [0, 2π). Entonces

arg(zw) = arg(z) + arg(w) + 2πn.

para algún entero n.

Demostración. Supongamos que θ = arg(zw), ϕ = arg(z) y ψ = arg(w). Enton-

ces
zw = |zw|(cos(θ) + i sen(θ))
y por otro lado

zw = (|z|(cos(ϕ) + i sen(ϕ)) (|w|(cos(ψ) + i sen(ψ))

= |z| |w| ((cos(ϕ) cos(ψ) − sen(ϕ) sen(ψ)) + i(sen(ϕ) cos(ψ) + cos(ϕ) sen(ψ))
= |zw|(cos(ϕ + ψ) + i sen(ϕ + ψ))

Luego cos(ϕ + ψ) = cos(θ) y sen(ϕ + ψ) = sen(θ), de donde se sigue que θ =

ϕ + ψ + 2πn para algún n entero.
Por ejemplo, si z y w son los número tales que |z| = 7 = |w|, arg(z) = π y
arg(w) = 3π/2, entonces arg(zw) = π/2 = arg(z) + arg(w) − 2π.

1.0.1. Función exponencial compleja

Recordemos que la función exponencial real se define por
∞
X xn
ex = .
n=0
n!

3
Y por otro lado, las representaciones en serie de las funciones seno y coseno son
x3 x5
sen(x) = x − + − ···
3! 5!
y
x2 x4
cos(x) = 1 −
+ − ···
2! 4!
Notar que utilizando la serie de potencias de la exponencial con x = ib se tiene

eib = 1 + ib + b2 i2 /2! + b3 i3 /3! + b4 i4 /4! + b5 i5 /5! + · · ·

= (1 − b2 /2! + b4 /4! − · · · ) + i(b − b3 /3! + b5 /5! − · · · )
= cos(b) + i sen(b)

Esto motiva la definción de exponencial compleja

ez = ea+ib = ea (cos(b) + i sen(b)).

Por ejemplo, eiπ = cos(π) + i sen(π) = −1 y ei = cos(1) + i sen(1).

Proposición 4. Sean z y w números complejos. Entonces
1. ez+w = ez ew
2. ez ̸= 0.
3. |ez | = eRe(z) .
4. ez = 1 si y solo si z = 2πin para algún n entero.
5. La función exponencial compleja es periodica con periodo 2πin para n
entero, es decir, ez+2πin = ez .
Demostración. 1. Supongamos que z = a + ib y w = c + id. Entonces

ez+w = ea+c (cos(b + d) + i sen(b + d))

= ea ec (cos(b) cos(d) − sen(b) sen(d) + i(sen(b) cos(d) + cos(b) sen(d)))
= ea ec ((cos(b) + i sen(b)) cos(d) + i(cos(b) + i sen(b)) sen(d))
= (ea (cos(b) + i sen(b)) (ec (cos(d) + i sen(d)))
= ez ew .

2. Supongamos por contradicción que existe un z ∈ C tal que ez = 0. En-

tonces

0 = 0e−z
= ez e−z
= ez−z
= e0
=1

4
una contradicción, con lo cual se completa la prueba.
3. Supongamos que z = a+ib es un número complejo. Entonces por definición
ez = ea (cos(b) + i sen(b)). Por lo tanto,
p
|ez | = e2a (cos2 (b) + sen2 (b))
= ea

4. ⇒) Sea n un número entero. Tenemos que

e2πin = e0 (cos(2πn) + i sen(2πn)) = 1.

⇐). Supongamos que ez = 1, donde z = a + ib es un número complejo. Entonces

por el inciso (3), 1 = |ez | = ea y por como la función exponencial real es uno-a-
uno, conlcuimos que a = 0. Por lo tanto 1 = ez = cos(b) + i sen(b) y obtenemos
las ecuaciones cos(b) = 1 y sen(b) = 0. Por lo tanto, b = 2πn para alguna n.
5. Tenemos que por los incisos (1) y (4) se obtiene

ez+2πin = ez e2πin = ez 1 = ez ,

como se querı́a demostrar.

Notemos que las rectas paralelas al eje imaginario que pasan por a, es decir
ℓa = {a + ib : b ∈ R}, tienen como imagen bajo la función exponencial, un
cı́rculo de radio ea . En cierto sentido, la función exponencial tranforma el plano
partido en lı́neas paralelas al eje imaginario en cı́rculos concéntricos al origen
(sin pegarle al origen).
Definición 1. Notación exponencial: Si z es un número complejo distinto de
cero, su notación exponencial es:

z = |z|eiarg(z) .

Puede decirse que la notación exponencial es una abreaviación de la forma polar

de un número complejo.

1.0.2. Seno y coseno complejos

Notar que eiy = cos(y) + i sen(y) y e−iy = cos(−y) + i sen(−y) = cos(y) −
i sen(y). Sumando y restando estas expresiones, queda

eiy + e−iy eiy − e−iy

cos(y) = y sen(y) =
2 2i
Generalizando estas expresiones definimos

eiz + e−iz eiz − e−iz

cos(z) = y sen(z) =
2 2i

5
 Identidad pitagórica:
sen2 (z) + cos2 (z) = 1.
Demostración:
2  iz 2
eiz − e−iz e + e−iz

2 2
sen (z) + cos (z) = +
2i 2
e2iz + e−2iz − 2 e2iz + e−2iz + 2
= +
−4 4
4
=
4
= 1.
Definición 2. Se define la función tangente compleja por
sen(z)
tan(z) = .
cos(z)

1.1. Función Logaritmo compleja

Para definir la función logaritmo compleja, se requiere dar significado a la
expresión log(z) = w. Lo que esto debe significar, en analogı́a con el caso real
es que ew = z. Por un resultado previo, sabemos que la exponencial compleja
nunca es cero, por lo que se descarta de inicio el número z = 0 del dominio de
la función logaritmo compleja. Puesto que |z| = |ew | = eRe(w) , deducimos que
log |z| = Re(w). Por otro lado, se requiere que Im(w) = arg(ew ) = arg(z). Por
tanto se defina la función logaritmo compleja como log C \ {0} → C donde
log(z) = log |z| + iarg(z).
Notar que en principio la función logartimo es multivaluada, pues si no
se restringe los valores del argumento, por ejemplo en [0, 2π), se tendrı́a una
infinidad de posibles valores. Para restringir los posibles valores que toma la
función logaritmo complejo, introducimos la notación:

S(y0 ) = {x + iy : x ∈ R y y0 ≤ y < y0 + 2π},

con y0 un real fijo. Si no se especifica, se asumirá que logaritmo toma valores en
S(0) y se dirá que son los valores de la rama prinicipal del logaritmo. Notar que
la diferencia entre dos valores de logaritmo del mismo z, es de la forma 2πin.
Ejemplo: log(i) = log |i| + iarg(i) = log(1) + iπ/2 = iπ/2.
log(ei ) = log |ei | + iarg(ei ) = log 1 + i = i, pues arg(eiθ ) = θ.
Proposición 5. Diremos que log(z) es la función inversa de ez en el siguiente
sentido
1. Siempres se cumple que
elog(z) = z
independientemente de la rama del logaritmo.

6
 2. Consideremos la rama S(y0 ) del logaritmo. Entonces

log(ez ) = z

siempre y cuando se tome Im(z) en el intervalo de la rama de logaritmo

[y0 , y0 + 2π), es decir, que z pertenezca a S(y0 ).

Demostración. 1.

elog(z) = elog |z|+iarg(z)

= elog |z| (cos(arg(z)) + i sen(arg(z)))
= |z| (cos(arg(z)) + i sen(arg(z)))
= z.

2. Sea z ∈ S(y0 ) y supongamos que su argumento se toma en [y0 , y0 + 2π).

Entonces

log(ez ) = log |ez | + iarg(ez )

= log eRe(z) + iIm(z)
= Re(z) + iIm(z)
= z.

Proposición 6. Sean z y w números complejos distintos de cero. Entonces

log(zw) = log(z) + log(w) + 2πin,

para algún entero n.

Demostración. Por una proposición previa, arg(zw) = arg(z) + arg(w) + 2πn,
para algún entero n. Por tanto

log(zw) = log |zw| + iarg(zw)

= log(|z| |w|) + i (arg(z) + arg(w) + 2πn)
= log |z| + iarg(z) + log |w| + iarg(w) + 2πin
= log(z) + log(w) + 2πin.

1.1.1. Potencia compleja de números complejos

Definición 3. Sean z, w ∈ C, con z ̸= 0. Se define

z w = ew log(z) .

7
 Ejemplos: 1.
√
1 1 1 π π 2
i 2 = e 2 log(i) = e 2 (i 2 ) = ei 4 = (1 + i).
2
2.
π π
ii = ei log(i) = ei(i 2 ) = e− 2 .
En el ejemplo (1) arriba, motiva la definición de raı́ces n-ésimas de números
complejos. Notar que para un número natural n, tenemos
1 1
z n = e n log(z)
y por tanto  n
1 n
zn = e n log(z) = z.

Proposición 7. Sea z = reiθ ∈ C. Entonces

1 √ θ
z n = n rei n .
Demostración.
1 1
z n = e n log(z)
1
= e n (log(r)+iθ)
1 θ
= e n log(r) ei n
1
θ
= elog(r n ) ei n
√ θ
= n rei n

√ θ 2πk
Debemos notar que si z = reiθ entonces wk = n rei n ei n para cada valor
de k ∈ {0, 1, 2, . . . , n − 1}, también satisface que wkn = z. En particular el
2π
z = 1, como número complejo, tiene n raı́ces, a saber wk = eik n con k ∈
{0, 1, 2, . . . , n − 1}, conocidas como las raı́ces de la unidad. Curiosamente
estas corresponden a los vértices de un polı́gono regular sobre la circunferencia
unitaria, uno de los cuales es z = w0 = 1.

2. Continuidad
Definición 4. (Lı́mite) Recuerde que la bola abierta con centro en z0 ∈ C y
radio r > 0 se define y denota por
Br (z0 ) = {z ∈ C : |z − z0 | < r}.
Sea f : Br (z0 ) \ {z0 } → C una función. Decimos que f tiene lı́mite igual a
w cuando z tiende a z0 , denotado por
lı́m f (z) = w
z→z0

si para todo ϵ > 0 existe un δ > 0 tal que si |z − z0 | < δ entonces |f (z) − w| < ϵ.

8
Proposición 8. Si el lı́mite de un función de variable compleja existe entonces
es único.
Demostración. Por contradicción, supongamos que la función f cuando z tiende
a z0 tiene dos lı́mites, digamos lı́mz→z0 f (z) = w1 y lı́mz→z0 f (z) = w2 con
w1 ̸= w2 . Sea ϵ = |w1 −w
2
2|
el cual es mayor que cero. Por la definición de lı́mite,
existe un δ1 > 0 tal que si |z − z0 | < δ1 entonces |f (z) − w1 | < ϵ y existe
δ2 > 0 tal que si |z − z0 | < δ2 entonces |f (z) − w2 | < ϵ. Sea δ = mı́n{δ1 , δ2 } y
supongamos que z es un número complejo que satisface |z − z0 | < δ. Entonces

|w1 − w2 | = |w1 − f (z) + f (z) − w2 |

≤ |w1 − f (z)| + |f (z) − w2 |
<ϵ+ϵ
|w1 − w2 |
=2 ⇒⇐
2
una contradicción, lo cual completa la prueba.
Los lı́mites para funciones de variable compleja, comparten muchas de las
propiedades que tienen los lı́mites de las funciones reales, como se muestra a
continuación. Las pruebas son análogas a aquellas para funciones reales por lo
que se omiten las pruebas en estas notas.
Proposición 9. Suponga que lı́mz→z0 f (z) y lı́mz→z0 g(z) existen. Entonces
1. lı́mz→z0 (f + g) = lı́mz→z0 f (z) + lı́mz→z0 g(z)
2. lı́mz→z0 (f g) = lı́mz→z0 f (z) lı́mz→z0 g(z)
f
3. lı́mz→z0 g = lı́mz→z0 f (z)/ lı́mz→z0 g(z), cuando lı́mz→z0 g(z) ̸= 0.
Definición 5. Recordar que un conjunto A ⊂ C es abierto si se puede escribir
como unión de bolas abiertas. Supongamos que A es un abierto y sea f : A → C
una función. Diremos que f es continua en z0 ∈ A si

lı́m f (z) = f (z0 ).

z→z0

Si la función es continua en todos los puntos de su dominio A diremos simple-

mente que f es continua.
Notar que la noción de continuidad de funciones de variable compleja tiene
el mismo sentido que en variable real: si z está cerca de z0 y f es continua en z
entonces f (z) debe estar cerca de f (z0 ).
Muchas de las propiedades de funciones continuas conocidas para variable
real, siguen siendo ciertas para variable compleja. Por ejemplo la siguiente.
Proposición 10. Sean f y g funciones definidas en un abierto A ⊂ C. Si f y
g son continuas en z0 ∈ A entonces f + g, gf y f /g (en caso de que g(z0 ) ̸= 0
son continuas en z0 .

9
 La prueba es una aplicación de la proposición anterior. También se tiene el
siguiente resultado.
Proposición 11. 1. Si lı́mz→z0 f (z) = w y g es una función definida en una
bola alrededor de w y continua en w, entonces lı́mz→z0 (g ◦ f )(z) = g(w).

2. Si f es continua en un abierto A ⊂ C y g es continua en un abierto que

contiene a f (A) entonces g ◦ f es una función continua en A.
Demostración. 1. Sea ϵ > 0. Por hipótesis de continuidad, como lı́mz→w g(z) =
g(w), se tiene que existe δ1 > 0 tal que si |z − w| < δ1 entonces |g(z) − g(w)| < ϵ.
Por otro lado, también por la hipótesis y la definición de lı́mite, para δ1 > 0
existe δ > 0 tal que si |z − z0 | < δ entonces |f (z) − w| < δ1 . Por tanto, si
|z − z0 | < δ se obtien que |f (z) − w| < δ1 lo que implica que |g(f (z)) − g(w)| < ϵ.
Esto prueba que lı́mz→z0 (g ◦ f )(z) = g(w), como se querı́a.
2. Sea z0 ∈ A. Vamos probar que g ◦ f es continua en z0 . Por hipótesis, f es
continua en z0 y esto implica que lı́mz→z0 f (z) = f (z0 ). Como g es continua en
un abierto alrededor de f (A), entonces f es continua en una bola alrededor de
f (z0 ) ∈ f (A). Aplicando el inciso anterior se concluye que lı́mz→z0 (g ◦ f )(z) =
g(f (z0 )) y como consecuencia, g ◦ f es continua
Ejemplo: 1. Demostrar que f (z) = |z| es una función continua. Sea ϵ >
0. Tomemos δ = ϵ. Entonces, si |z − z0 | < δ, se obtiene, por la desigualdad
triangular (Ejercicio 2(j) de la lista de la tarea para el primer parcial), que

|f (z) − f (z0 )| = ||z| − |z0 || ≤ |z − z0 | < δ = ϵ,

esto prueba que lı́mz→z0 f (z) = f (z0 ), como se querı́a demostrar.

2. Demostrar que f (z) = Re(z) es una función continua. Tomemos δ = ϵ.
Entonces, si |z − z0 | < δ, se obtiene, por la desigualdad triangular (ejercicio
15(a) de la lista de la tarea para el primer parcial), que

|f (z) − f (z0 )| = |Re(z) − Re(z0 )| ≤ |z − z0 | < δ = ϵ,

esto prueba que lı́mz→z0 f (z) = f (z0 ), como se querı́a demostrar.

3. Demostrar o dar un contraejemplo si es falso: Suponga que lı́mz→z0 f (z) =
a, que h es una función definida en los puntos f (z) y lı́mw→a h(w) = c. Entonces
lı́mz→z0 h(f (z)) = c. [Sugerencia: Pensar si será posible tener h(a) ̸= c]
4. Sea f : C → C la función definida por
(
sen(θ) si r > 0
f (r(cos(θ) + i sen(θ))) = .
0 r=0

Probar que f es continua en todo z ̸= 0 pero discontinua en z = 0. (Idea de la

prueba:). Para ver que f es continua en z ̸= 0, tomar un δ > 0 tal que si |z−z0 | <
δ entonces z ̸= 0 y esto implica que |r − r0 | < δ1 y |θ − θ0 | < δ2 . Como la función
real sen(θ) es continua, se concluye que |f (z) − f (z0 )| = | sen(θ) − sen(θ0 )| < ϵ.

10
También, como f (z) = Im(z) |z| para z ̸= 0, entonces f es continua en z ̸= 0 por
ser cociente de funciones continuas.
Para ver que f no es continua en z = 0, se procede por contradicción, es decir,
supongamos que lı́mz→0 f (z) = 0. Para ϵ = 1, sea δ > 0 un valor arbitrario.
Tomemos z = 2δ i. Entonces |z − z0 | = |z| = 2δ < δ, pero |f (z) − f (0)| = |f (z) =
| sen(θ)| = | sen( π2 )| = 1 ≥ ϵ, una contradicción.

3. Derivadas de funciones de variable compleja

Definición 6. Sea A ⊂ C un conjunto abierto y sea f : A → C una función de
variable compleja. Decimos que f es diferenciable en z0 ∈ A si
f (z) − f (z0 )
lı́m
z→z0 z − z0
existe. En caso de que el lı́mite exista, la derivada se denota por f ′ (z0 ) o bien
df df
dz (z0 ) = dz |z=z0 . Si f es diferenciable en todos los puntos de A, diremos que f
es analı́tica. Diremos que f es analı́tica en un punto z0 ∈ A, si f es diferenciable
en todos los puntos de una bola alrededor de z0 . Un sinónimo para el término
función analı́tica es función holomorfa. Por último, diremos que una función es
entera si es analı́tica en todos los complejos.
Proposición 12. Si f ′ (z0 ) existe entonces f es continua en z0 .
Demostración. Tenemos que
f (z) − f (z0 )
lı́m (f (z) − f (z0 )) = lı́m · (z − z0 )
z→z0 z→z0 z − z0
f (z) − f (z0 )
= lı́m lı́m (z − z0 )
z→z0 z − z0 z→z0

= f ′ (z0 ) · 0
=0

y por tanto lı́mz→z0 f (z) = f (z0 ), es decir, f es continua en z0 , como se querı́a

demostrar.
Algunas propiedades de funciones analı́ticas se resumen a continuación.
Proposición 13. Sea A ⊂ C un abierto y sean f : A → C y g : A → C funciones
analı́ticas. Entonces
1. para cualesquiera a, b ∈ C, la función af + bg es analı́tica. Más aún

(af + bg)′ (z) = af ′ (z) + bg ′ (z).

2. el producto f g es una analı́tica y

(f g)′ (z) = f ′ (z)g(z) + f (z)g ′ (z).

11
 3. si g(z) ̸= 0 para toda z ∈ A entonces el cociente f /g es una función
analı́tica y  ′
f f ′ (z)g(z) − f (z)g ′ (z)
(z) =
g g 2 (z)
4. Si f (z) = an z n + an−1 z n−1 + · · · + a1 z + a0 es una función polinomial
compleja entones f es analı́tica en todos los complejos y f ′ (z) = nan z n−1 +
(n − 1)an−1 z n−2 + · · · + a1
5. Las funciones racionales complejas (aquellas que son cocientes de dos po-
linomios) son analı́ticas en su dominio, que consiste de todos los números
complejos donde el denominador no se hace cero.
Demostración. Para probar (1), sea z0 ∈ A. Tenemos que
(af + bg)(z) − (af + bg)(z0 ) f (z) − f (z0 ) g(z) − g(z0 )
lı́m = a lı́m + b lı́m
z→z0 z − z0 z→z 0 z − z0 z→z 0 z − z0
y este lı́mite existe y es igual a af ′ (z0 ) + bg ′ (z0 ), como se querı́a.
Para probar (2), sea z0 ∈ A. Tenemos que
(f g)(z) − (f g)(z0 ) (f g)(z) − f (z0 )g(z) f (z0 )g(z) − (f g)(z0 )
lı́m = lı́m +
z→z0 z − z0 z→z0 z − z0 z − z0
f (z) − f (z0 ) g(z) − g(z0 )
= lı́m lı́m g(z) + f (z0 ) lı́m
z→z0 z − z0 z→z 0 z→z 0 z − z0
y este lı́mite existe y es igual a f ′ (z0 )g(z0 ) + f (z0 )g ′ (z0 ), como se querı́a.
Para probar (3), sea z0 ∈ A. Tenemos
f (z)g(z0 )−f (z0 )g(z)
(f /g)(z) − (f /g)(z0 ) z−z0
lı́m = lı́m
z→z0 z − z0 z→z0 g(z)g(z0 )
f (z)g(z0 )−f (z0 )g(z0 )−f (z0 )g(z)+f (z0 )g(z0 )
lı́mz→z0 z−z0
=
g 2 (z0 )
f (z)−f (z0 )
lı́mz→z0 z−z0 g(z0 ) − f (z0 ) lı́mz→z0 g(z)−g(z
z−z0
0)

=
g 2 (z0 )
′ ′
y este lı́mite existe y es igual a f (z0 )g(zg02)−f (z0 )g (z0 )
(z0 )
Para probar (4), notemos que la función I(z) = z es analı́tica en todo C,
pues para cualquier z0 ∈ C se tiene que lı́mz→z0 I(z)−I(z z−z0
0)
= 1, por lo que
′ 2 2
I (z) = 1. Entonces I (z) = z , por la parte (2), es analı́tica en todo C y su
2
derivada dI dz (z) = 2z. Por un argumento de inducción se deduce que I (z) = z
n n
n−1
es analı́tica y su derivada es nz . Por la parte (1) concluimos que las funciones
polinomiales f (z) = an z n + an−1 z n−1 + · · · + a1 z + a0 son analı́ticas en todo C
y f ′ (z) = nan z n−1 + (n − 1)an−1 z n−2 + · · · + a1 .
Finalmente, usando (3) y (4), las funciones racionales son analı́ticas, por ser
cociente de analı́ticas, en todo su dominio, es decir, en todo los complejos salvo
los puntos donde el denominador se hace cero.

12
 Finalmente, probaremos que la regla de la cadena también es generalización
del caso conocido para funciones de variable real.
Proposición 14. Sean A, B ⊂ C conjuntos abiertos. Suponga que f : A →
C y g : B → C son funciones analı́ticas con f (A) ⊂ B. Entonces la función
composición g ◦ f : A → C es analı́tica y
d
(g ◦ f )(z) = g ′ (f (z))f ′ (z).
dz
Demostración. Sea z0 ∈ A. Supongamos que w0 = f (z0 ) ∈ B. Definir la función
h : B → C por
(
g(w)−g(w0 )
w−w0 − g ′ (w0 ) si w ̸= w0
h(w) =
0 si w = w0

Tenemos que h es continua. Pero f también es continua por ser analı́tica, por
lo que la composición h ◦ f es continua. Luego
0 = h(w0 ) = h(f (z0 )) = lı́m (h ◦ f )(z).
z→z0

Tomando w = f (z) y despejando de la definición de h se obtiene que

g(f (z)) − g(f (z0 )) = (h(f (z)) + g ′ (f (z0 ))) (f (z) − f (z0 )).
Por tanto
g(f (z)) − g(f (z0 )) f (z) − f (z0 )
lı́m = lı́m (h(f (z)) + g ′ (f (z0 )))
z→z0 z − z0 z→z0 z − z0
f (z) − f (z0
= g ′ (f (z0 )) lı́m
z→z0 z − z0
= g ′ (f (z0 ))f ′ (z0 )

3.1. Mapeos conformes

En general no hay una interpretación de la derivada de una función de varia-
ble compleja como en el caso de funciones de variable real. Sin enbargo, cuando
f es analı́tica y f ′ (z0 ) ̸= 0, vamos a probar que “infinitesimalmente” cerca de
z0 lo que la función hace es rotar ángulos por un ángulo de argf ′ (z0 ) y reescalar
las longitudes de los ángulos por un factor de |f ′ (z0 )|.
Definición 7. Sea A ⊂ C un conjunto abierto y sea f : A → C una función.
Decimos que f es un mapeo conforme en z0 ∈ A si existe θ ∈ [0, 2π) y r > 0 tales
que para cualquier curva γ : [0, 1] → A diferenciable en t = 0, con γ(0) = z0 y
γ ′ (0) ̸= 0. Entonces la curva σ(t) = f (γ(t)) es diferenciable en t = 0 y satisface
|σ ′ (0)| = r|γ ′ (0)| y arg(σ ′ (0)) = arg(γ ′ (0)) + θ mód 2π.
Diremos que f es un mapeo conforme si es conforme en todos los puntos de A.

13
 Por ejemplo, consideremos f (z) = ez y z0 = 1 − i. Notemos que para z0 =
1+i, r = e y θ = arg(e1+i ) tenemos los siguiente. Considemos γ1 (t) = 1+i(t+1).
Se observa que σ1 (t) = e(cos(t + 1) + i sen(t + 1)). Tenemos que γ1′ (t) = i,
σ1′ (t) = e1 (− sen(t + 1) + i cos(t + 1)). Se cumple que f es mapeo conforme en
z0 para γ1 .

Teorema 1. Sea A ⊂ C un conjunto abierto y sea f : A → C una función

analı́tica. Si z0 ∈ A y f ′ (z0 ) ̸= 0 entones f es mapeo conforme en z0 con
respecto a r = |f ′ (z0 )| y θ = arg(f ′ (z0 )).
Demostración. Sea γ : [0, 1] → A una curva tal que es diferenciable en t = 0,
con γ(0) = z0 y γ ′ (0) ̸= 0. Por la regla de la cadena

σ ′ (t) = (f ◦ γ)′ (t) = f ′ (γ(t))γ ′ (t).

Por tanto

|σ ′ (0)| = |f ′ (γ(0))||γ ′ (0)| = |f ′ (z0 )||γ ′ (0)| = r|γ ′ (0)|,

arg(σ ′ (0)) = arg(f ′ (z0 )) + arg(γ ′ (0)) mód 2π = θ + arg(γ ′ (0)) mód 2π.

Luego f es conforme en z0 .

3.2. Ecuaciones de Cauchy-Riemann

Sea A ⊂ C un abierto y sea f : A → C una función. Reescribir a f usando
su parte real e imaginaria, es decir,

f (z) = f (x, y) = u(x, y) + iv(x, y).

Por ejemplo si f (z) = ez entonces f (z) = f (x, y) = ex cos(y) + iex sen(y) de

donde u(x, y) = ex cos(y) y v(x, y) = ex sen(y). Como otro ejemplo, si f (z) = z,
entonces f (z) = f (x, y) = x − iy, de modo que u(x, y) = x y v(x, y) = −y
Definición 8. Se define la matrix jacobiana Df de una función de variable
compleja f (z) = f (x, y) = u(x, y) + iv(x, y) como
!
∂u ∂u
∂x ∂y
Df = ∂v ∂v
∂x ∂y

Recuerde que como campo vectorial f : R2 → R2 × R2 decimos que f es

diferenciable en (x0 , y0 ) con derivada Df (x0 , y0 ) si para ϵ > 0 existe δ > 0 tal
que si |(x, y) − (x0 , y0 )| < δ entonces

|f (x, y) − f (x0 , y0 ) − Df (x0 , y0 )(x − x0 , y − y0 )| ≤ ϵ|(x − x0 , y − y0 )|

14
Teorema 2 (Cauchy-Riemann). Sea A ⊂ C un conjunto abierto y sea f : A → C
una función de variable compleja. Entonces f ′ (z0 ) existe si y solo si f (z) =
f (x, y) = u(x, y)+iv(x, y) es diferenciable como campo vectorial en z0 = (x0 , y0 )
y las parciales de u y v satisfacen las ecuaciones de Cauchy-Riemann:
∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x
.
Por tanto, si las parciales ∂u ∂u ∂v ∂v
∂x , ∂y , ∂x y ∂y existen y son continuas y satisfacen
las ecuaciones de Cauchy-Riemann en A, entonces f es analı́tica.
Más aún, si f ′ (z0 ) existe entonces

∂u ∂v ∂v ∂u
f ′ (z0 ) = +i = −i
∂x ∂x ∂y ∂y

Demostración. ⇒). Supongamos que f ′ (z0 ) existe. Esto significa que el lı́mite

f (z) − f (z0 )
lı́m
z→z0 z − z0
existe. Supongamos que z = x + iy0 entonces

f (z) − f (z0 ) u(x, y0 ) − u(x0 , y0 ) v(x, y0 ) − v(x0 , y0 )

= +i
z − z0 x − x0 x − x0
tomando lı́mites cuando x → x0 se obtiene
∂u ∂v
f ′ (z0 ) = +i .
∂x ∂x
Similarmente, si suponemos que z = x0 + iy entonces

f (z) − f (z0 ) u(x0 , y) − u(x, y0 ) v(x0 , y) − v(x0 , y0 )

= +
z − z0 i(y − y0 ) y − y0

tomando lı́mites cuando y → y0 se obtiene

∂v ∂u
f ′ (z0 ) = −i .
∂y ∂y

Igualando las partes real e imaginaria en la expresión para f ′ (z0 ) obtenemos

las ecuaciones de Cauchy-Riemann
∂u ∂v ∂u ∂v
= y =− .
∂x ∂y ∂y ∂x
Nos falta probar que como campo vectorial, f es diferenciable.
 Primero
 re-
a −b
cordar que la función ϕ : C → M definida por f (a + ib) = donde
b a

15
   
a b
M = ∈ M2 (R) : a = d y b = −c es un isomorfismo. Notar que por
c d
la ecuaciones de Cauchy-Riemann
!
 ∂u ∂v
 ∂u ∂u
′ ∂x − ∂x ∂x ∂y
ϕ(f (z0 )) = ∂v ∂u = ∂v ∂v = Df.
∂x ∂x ∂x ∂y

Sea ϵ > 0. Por la definición de la existencia de f ′ (z0 ), existe δ > 0 tal que si
|z − z0 | < δ entonces
f (z) − f (z0 )
− f ′ (z0 ) < ϵ
z − z0
entonces
f (z) − f (z0 ) − f ′ (z0 )(z − z0 )
<ϵ
z − z0
y multiplicando ambos lados por |z − z0 | se obtiene

|f (z) − f (z0 ) − f ′ (z0 )(z − z0 )| < ϵ|z − z0 |.

Por lo tanto, si |(x, y) − (x0 , y0 )| < δ se obtiene que

|f (x, y) − f (x0 , y0 ) − Df (x − x0 , y − y0 ))| < ϵ|(x − x0 , y − y0 )|.

Notar la correspondencia entre el poducto de números complejos f ′ (z0 )(z − z0 )

con el producto de la matriz Df con el vector (x − x0 , y − y0 )
⇐). Supongamos que f (z) = f (x, y) = u(x, y) + iv(x, y) es diferenciable
como campo vectorial en z0 = (x0 , y0 ) y las parciales de u y v satisfacen las
ecuaciones de Cauchy-Riemann. Notar por la ecuaciones de Cauchy-Riemann,
entonces el jacobiano de f se puede escribir de la forma
 ∂u ∂v

∂x − ∂x
Df = ∂v ∂u
∂x ∂x

∂u ∂v
 
por lo que el producto Df (x − x0 , y − y0 ) = ∂x (x − x0 ) − ∂x (y − y0 ) co-
∂v ∂u
∂x (x − x0 ) + ∂x (y − y0 ) =

rresponde al producto de los números complejos f ′ (z0 )(z−z0 ) = ∂u ∂v
∂x + i ∂x (x−
∂u ∂v ∂v ∂u
x0 + i(y − y0 ) = ∂x (x − x0 ) − ∂x (y − y0 ) + i( ∂x (x − x0 ) + ∂x (y − y0 )). Luego,
por hipótesis, dado ϵ > 0 existe δ > 0 tal que si |(x, y) − (x0 , y0 )| < δ se obtiene
que

|f (x, y) − f (x0 , y0 ) − Df (x − x0 , y − y0 ))| < ϵ|(x − x0 , y − y0 )|.

O bien, si |z − z0 | < δ, entonces

|f (z) − f (z0 ) − f ′ (z0 )(z − z0 )| < ϵ|z − z0 |.

Esto implica que

f (z) − f (z0 )
− f ′ (z0 ) < ϵ
z − z0

16
por lo que f ′ (z0 ) existe, como se querı́a.
Finalmente, si las parciales existen y son continuas en todo A entonces f es
diferenciable como campo vectorial en todo A, y si además satisfacen las ecua-
ciones de Cauchy-Riemann en todo A, entones f es diferenciable como función
de variable compleja en todo A. Luego f es analı́tica.
Ejemplo. Probar que f (z) = z 2 es entera (es decir, analı́tica en todo C)
pero que g(z) = |z|2 no es analı́tica en ningún punto. Solución: Ya sabemos
que f (z) es analı́tica en todos sus puntos por ser polinomial. Vamos a dar un
argumento alternativo usando el teorema de Cauchy-Riemann. Tenemos que
f (z) = f (x, y) = (x + iy)2 = x2 − y 2 + 2xyi. Es claro que u(x, y) = x2 − y 2
y v(x, y) = 2xy tienen parciales continuas y además satisfacen las ecuaciones
de Cauchy-Riemann pues ∂u ∂v ∂u ∂v
∂x = 2x = ∂y y ∂y = −2y = − ∂x . Por tanto f es
analı́tica en todos sus puntos y luego es entera. Por otro lado g(z) = g(x, y) =
x2 + y 2 + i0. De aquı́ vemos que aunque u(x, y) = x2 + y 2 y v(x, y) = 0 tienen
parciales continuas, solamente satisfacen las ecuaciones de Cauchy-Riemann en
el punto (x0 , y0 ) = (0, 0). Luego por el teorema de Cauchy-Riemann, g única-
mente es diferenciable en z0 = 0 y por tanto no es analı́tica en ningún punto
(tendrı́a que ser diferenciable en toda una bola abierta para ser analı́tica en
algún punto).

3.3. Teorema de la función inversa

Vamos a recordar primero este teorema para funciones de varias variables.
Teorema 3. Sea A ⊂ R2 un abierto y suponga que la función f : A → R2
es continuamente diferenciable y el jacobiano Df (x0 , y0 ) tiene determinante
distinto de cero. Entonces existen U y V abiertos que contienen a (x0 , y0 ) y
f (x0 , y0 ) respectivamente tales que f : U → V es biyectivo, f −1 : V → U es
diferenciable y
1
Df −1 (x, y) = .
Df (x, y)
Ahora vamos a escribir y probar el resultado para funciones de variable
compleja.
Teorema 4 (Teorema de la función inversa). Sea A ⊂ C un abierto. Suponga
que f : A → C es una función analı́tica (con f ′ (z) continua) y que f ′ (z0 ) ̸= 0,
Entonces existen U y V abiertos que contienen a z0 y f (z0 ), respectivamente,
tales que f : U → V es biyectivo, f −1 : V → U es analı́tica y

df −1 1
(w) = ′ donde w = f (z).
dw f (z)

Demostración. Como f es analı́tica, por el teorema de Cauchy-Riemann, la

función f es diferenciable como campo vectorial. Y como además estamos supo-
niendo que f ′ (z) es continua, entonces f es continuamente diferenciable como
función de varias variables reales. Para poder aplicar el teorema de la función

17
inversa en su versión de cálculo de varias variable, nos falta ver que el de-
terminante de Df (x0 , y0 ) es distinto de cero. Nuevamente, por el teorema de
Cauchy-Riemann, tenemos que
! 
∂u ∂u ∂u ∂v

∂x ∂y ∂x − ∂x
Df = ∂v ∂v = ∂v ∂u
∂x ∂y ∂x ∂x

Por tanto,
 2  2
∂u ∂v
det(Df (x0 , y0 ) = (x0 , y0 ) + (x0 , y0 ) = |f ′ (z0 )|2 ̸= 0.
∂x ∂x
Por tanto, por el teorema de la función inversa en su versión de cálculo en varias
variables reales, nos arroja la existencia de abiertos U y V que contienen a z0 y
f (z0 ) tales que f : U → V es bijectiva, f −1 : V → U es analı́tica. Falta probar
que la derivada de la función inversa es la inversa de la derivada. Supongamos
que f −1 : a(x, y) + ib(x, y). Tenemos por un lado, por el teorema de Cauchy-
Riemann, que
df −1 ∂a ∂b
= +i
dw dx dx
y entonces que la diferencial de f −1 como función de varias variable es
!
∂a ∂a
Df −1 = ∂x
∂b
∂y
∂b
∂x ∂y

Pero por el teorema de la función inversa para funciones de varias variable reales,
se tiene que
 ∂u ∂v

−1 1 1 ∂x ∂x
Df (x0 , y0 ) = = ′ ∂v ∂u
Df (x0 , y0 ) |f (z0 )|2 − ∂x ∂x

Por tanto
df −1 ∂a ∂b
= +i
dw dx dx  
1 ∂u ∂v
=− − i
|f (z0 )|2 dx dx
f ′ (z0 )
=
|f ′ (z0 )|2
1
= ′ .
f (z0 )

Ejemplo: Considere la función f (z) = z 2 con dominio A = C \ {0}. Para

z0 ∈ A se tiene que f ′ (z0 ) ̸= 0, por lo que aplica la hipótesis del teorema de la
función inversa. Hay que ejercer precaución, pues el teorema no necesariamente

18
da una fórmula
√ globar para la derivada de la función inversa, que en este caso
es f −1 (w) = w, mas bien es una fórmula local. En este caso existen U y V
vecindades de z0 y z02 que no pueden contener al origen. Y

df −1 1 1 1
= ′ = = √ ,
dw f (z) 2z 2 w

donde w = f (z) = z 2 .

3.4. Conjugadas armónicas

Sea A ⊂ R2 un abierto. Recuerde que decimos que u : A → R es armónica si
es continuamente diferenciable dos veces y su Laplaciano es cero, es decir,

∂2u ∂2v
∇2 u = + 2 = 0.
∂x2 ∂y
Proposición 15. Sea f (z) = f (x, y) = u(x, y) + iv(x, y) una función analı́tica
en un abierto A ⊂ C. Entonces u y v son armónicas en A.
Demostración. Como f es analı́tica entonces uy v satisfacen las ecuaciones de
Cauchy-Riemann, es decir,
∂u ∂v ∂u ∂v
= y =−
∂x ∂y ∂y ∂x
por lo que tomando la segunda parcial respecto de x y y queda

∂2u ∂2v ∂2u ∂2v

2
= y 2
=− .
∂x ∂x∂y ∂y ∂y∂x
Por el teorema de Cauchy-Riemann, como f es diferenciable como campo vec-
torial, las parciales mixtas de v respecto de x y y son iguales. Luego

∂2u ∂2u ∂2v ∂2v

∇2 u = 2
+ 2 = − = 0.
∂x ∂y ∂x∂y ∂y∂x

Similarmente se prueba que ∇2 v = 0.

Definición 9. Sea A ⊂ R2 un abierto y sean u : A → R y v : A → R dos campos
escalares. Diremos que u y v son armónico conjugadas si f (z) = f (x, y) =
u(x, y) + iv(x, y) es analı́tica.
Por ejemplo, u(x, y) = x2 − y 2 y v(x, y) = 2xy son armónico conjungadas,
pues f (z) = z 2 = f (x, y) = u(x, y) + iv(x, y) es analı́tica (en todo C). Por otro
lado, los campos escalares x2 + y 2 y 0 no son armónico conjugados. Una razón
es por que f (z) = |z|2 = f (x, y) = x2 + y 2 + i0 no es analı́tica, otra razón es por
si lo fueran entonces x2 + y 2 serı́a armónica, pero no lo es.
Una pregunta usual consiste en calcular la armónica conjunjadad v(x, y) de
una función armónica u(x, y). Por ejemplo, si u(x, y) = x2 − y 2 , para hallar

19
su armónico conjungada v(x, y), usamos las ecuaciones de Cauchy-Riemann.
∂v
Como ∂y = ∂u∂x = 2x entonces integrando respecto de y se obtiene v(x, y) =
2xy + C ′ (x), por lo que de la otra ecuación de Cauchy-Riemann 2y + C ′ (x) =
∂v ∂u ′
∂x = − ∂y = 2y se deduce C (x) = 0 y esto implica C(x) = 0. Por tanto
v(x, y) = 2xy.
Proposición 16. Si u(x, y) y v(x, y) son armónico conjugadas en una abierto
A ⊂ R2 entonces sus curvas de nivel se intersecan ortogonalmente en A.
Como el vector gradiente de u es perpendicular a la tangente de u el vector
gradiente de v es perpendicular a la tangente de v, bastará probar que las
gradientes de u y v son perpendiculares, es decir, bastará probar que ∆u·∆v = 0.
Tenemos que
   
∂u ∂u ∂v ∂v
∆u · ∆v = , · ,
∂x ∂y ∂x ∂y
∂u ∂v ∂u ∂v
= +
∂x ∂x ∂y ∂y
∂u ∂u ∂u
=− +
∂y ∂y ∂x
= 0.

3.5. Derivadas de funciones elementales

Proposición 17. La función exponencial z 7→ ez es entera y
dez
= ez .
dz
Demostración. Denotemos la función exponencial por f (z) = ez . Notemos que
f (z) = f (x, y) = ex (cos y + i sen(y)), donde u(x, y) = ex cos y y v(x, y) =
ex sen y. Es claro que u y v tienen parciales continuas. Falta ver que satisfacen
las ecuaciones de Cauchy-Riemann. Esto se sigue de los cálculos
∂u ∂v ∂u ∂v
= ex cos y = y = −ex sen y = −
∂x ∂y ∂y ∂x
. Por tanto f (z) = ez es entera. Y finalmente, por el teorema de Cauchy-
Riemann, establecemos que
dez ∂u ∂v
= +i = ex cos(y) + iex sen y = ez .
dz ∂x ∂x

Proposición 18. Sea A el abierto consistente de todos los complejos menos el

eje real negativo, es decir A = C \ {x + iy ∈ C : x ≤ 0 y y = 0}. Fijar la rama
de logaritmo en [−π, π). Entonces la función logaritmo z 7→ log z es analı́tica
en A y
d log z 1
= .
dz z

20
Demostración. Vamos a proponer dos pruebas de esta propocisión. En la prime-
ra vamos a argumentar con el teorema de la función inversa. Sea w = f (z) = ez .
Tenemos que f es analı́tica en A (de hecho en todo C), su derivada es continua
y su derivada es distinta de cero. Por el teorema de la función inversa existe
abiertos U y V que contienen a z y ez tales que f −1 (w) = log w es analı́tica y
d log w 1 1 1
= ′ = z = .
dw f (z) e w
Para la segunda demostración de la proposición, usaremos las ecuaciones
de Cauchy-Riemann en su forma polar. Recuerde las fórmulas de cambio de
variable son:
x = r cos(θ) y y = r sen(θ)
Por la regla de la cadena y las ecuaciones de Cauchy-Riemann (en coordenadas
cartesianas) se obtiene que
∂u ∂u ∂x ∂u ∂y
= +
∂r ∂x ∂r ∂y ∂r
∂u ∂u
= cos(θ) + sen(θ)
∂x ∂y
 
1 ∂v ∂v
= r cos(θ) − r sen(θ)
r ∂y ∂x
 
1 ∂v ∂x ∂v ∂y
= +
r ∂x ∂θ ∂y ∂θ
1 ∂v
=
r ∂θ
y
∂v ∂v ∂x ∂v ∂y
= +
∂r ∂x ∂r ∂y ∂r
∂v ∂v
= cos(θ) + sen(θ)
∂x ∂y
 
1 ∂v ∂v
= r cos(θ) + r sen(θ)
r ∂x ∂y
 
1 ∂u ∂y ∂u ∂x
= − −
r ∂y ∂θ ∂x ∂θ
1 ∂u
=−
r ∂θ
En resumen, las ecuaciones de Cauchy-Riemann en forma polar son
∂u 1 ∂v ∂v 1 ∂u
= y =−
∂r r ∂θ ∂r r ∂θ
Aplicando el ejercicio 6 de la lista de problemas para el segundo parcial, es
decir, la fórmula f ′ (z) = − zi ( ∂u ∂v
∂θ + i ∂θ ) y dado que f (z) = f (r, θ) = log(r) + iθ,

21
concluimos que
d log z −i 1
= (0 + i) = .
dz z z

Proposición 19. Las funciones seno y coseno complejas son enteras y

d sen z d cos z
= cos z y = − sen z
dz dz
iz −iz
Demostración. Recuerde que sen z = e −e 2i . Notar que las funciones z 7→ iz y
z 7→ ez son enteras, por lo que la composición z 7→ eiz es entera. Similarmente,
z 7→ e−iz es entera por ser composición de funciones enteras. Luego z 7→ eiz −
e−iz es entera por se suma de funciones enteras. Por lo tanto, sen z es entera
por ser cociente de una función entera con una contante. Finalmente calculamos
por la linealidad de la derivada y la fórmula de la regla de la cadena, que:

1 deiz de−iz
 
d sen z
= −
dz 2i dz dz
1 iz
= (e + e−iz )
2
= cos z
iz −iz
Similarmente, la función cos z = e +e 2 es entera por ser composición,
suma y cociente de función entera por una contante. El cálculo de la derivada
también es análogo:

1 deiz de−iz
 
d cos z
= +
dz 2 dz dz
i
= (eiz − e−iz )
2
1
= − (eiz − e−iz )
2i
= − sen z

Proposición 20. 1. La función z 7→ wz es entera y su derivada es

dwz
= (log w)wz ,
dz
con w ̸= 0 una constante.
2. La función z 7→ z w es analı́tica en el dominio de la rama de logaritmo
elegida. Y su derivada es
dz w
= wz w−1 .
dz

22
Demostración. Dado que la función wz = ez log w por se la composición de las
funciones enteras z 7→ z log w y z 7→ ez . Por la regla de la cadena,
dwz d z log w
= e
dz dz
= (log w)ez log w
= (log w)wz

Para probar el inciso (2), observemos que z w = ew log z es la composición de

las funciones z 7→ w log z y z 7→ ez ambas funciones son analı́ticas en el dominio
de la rama elegida (por ejemplo, si se elige la rama [−π, π), es analı́tca por la
proposición 18, la función logaritmo es analı́tica en A = C \ {x + iy ∈ C : x ≤
0 y y = 0}.). Por la regla de la cadena,
dz w d w log z
= e
dz dz
w w log z
= e
z
w w
= z
z
= wz w−1 .

4. Integrales de funciones de variable compleja

Definición 10. Diremos que una función continua γ : [a, b] → C es una curva
o contorno. Diremos que la curva γ es de clase C 1 por pedazos si existe una
partición finita a = a0 < a1 < a2 < . . . < an = b tal que γ es diferenciable en
cada subintervalo abierto (aj , aj+1 ) y continua en [aj , aj+1 ].
A menos que se indique lo contrario, siempre se supondrá que las curvas son
de clase C 1 por pedazos.
Definición 11. Sea A ⊂ C un abierto y sea f : A → C una función continua.
Sea γ : [a, b] → C una curva tal que γ([a, b]) ⊂ A. Entonces se define la integral
de f sobre γ como
Z n−1
X Z ak+1
f (z) dz = f (γ(t))γ ′ (t) dt.
γ k=0 ak

′
Notar que integrando f (γ(t))γ (t) puede descomponerse en Re(f (γ(t))γ ′ (t))+
R ak+1
iIm(f (γ(t))γ (t)) por lo que el sumando ak f (γ(t))γ ′ (t) dt no es otra cosa que
′

Z ak+1 Z ak+1 Z ak+1

f (γ(t))γ ′ (t) dt = Re(f (γ(t))γ ′ (t)) dt + i Im(f (γ(t))γ ′ (t)) dt
ak ak ak

donde las integrales del lado derecho son integrales usuales de variable real.

23
Proposición 21. Si f (z) = f (x, y) = u(x, y) + iv(x, y) entonces
Z Z Z
f (z) dz = u(x, y)dx − v(x, y)dy + i u(x, y)dy + v(x, y)dx.
γ γ γ

Demostración. Tenemos

f (γ(t))γ ′ (t) = (u(x(t), y(t)) + iv(x(t), y(t))) (x′ (t) + iy ′ (t))

= u(x(t), y(t))x′ (t) − v(x(t), y(t))y ′ (t)
+ i (v(x(t), y(t))x′ (t) + u(x(t), y(t))y ′ (t))

Integrando ambos lados respecto de γ se obtiene el resultado.

Notar que cálculo de varias variable, la integral de lı́nea de una campo vec-
torial se define por
Z Z
F · d⃗r = (P (x, y), Q(x, y)) · (dx, dy).
γ γ

Para integral de variable compleja, la proposición anterior nos permite es-

cribir la integral de variable compleja como
Z Z
f (z) dz = (u(x, y) + iv(x, y)) · (dx + idy).
γ γ

Definición 12. Si γ : [a, b] → C es una curva entonces la curva opuesta a γ se

denota por −γ : [a, b] → C y se define por −γ(t) = γ(a + b − t)
Por otro lado, si γ1 : [a, b] → C y γ2 : [b, c] → C son curvas tales que γ1 (b) =
γ2 (b), se define la suma o concatenación de las curvas γ1 y γ2 como la función
γ1 + γ2 = γ : [a, c] → C definida por
(
γ1 (t) si t ∈ [a, b]
γ(t) =
γ2 (t) si t ∈ [b, c]

Proposición 22. Sean f y g funciones continuas con el mismo dominio A ⊂ C

abierto, sean c1 y c2 constantes y sean γ, γ1 , γ2 curvas con imágenes en A.
R R R
1. γ (c1 f + c2 g) dz = c1 γ f dz + c2 γ g dz.
R R
2. −γ f dz = − γ f dz.
R R R
3. γ1 +γ2 f dz = γ1 f dz + γ2 f dz.

Demostración. Como γ : [a, b] → C es de clase C 1 a trozos, existe una partición

a = a0 < a1 < a2 < . . . < an = b con γ diferenciable en (ak , ak+1 ) y continua en
[ak , ak+1 ]. Solamente vamos a argumentar el primer inciso. Los demás incisos se
demuestran de manera similar. Por definición de integral,
Z n−1
X Z ak+1
(c1 f + c2 g) dz = (c1 f (γ(t)) + c2 g(γ(t))) γ ′ (t) dt
γ k=0 ak

24
. Para cada k tenemos
Z ak+1
(c1 f (γ(t)) +c2 g(γ(t))) γ ′ (t) dt dt
ak
Z ak+1
= (c1 f (γ(t))γ ′ (t) + c2 g(γ(t))γ ′ (t)) dt
a
Z kak+1
= Re (c1 f (γ(t))γ ′ (t) + c2 g(γ(t))γ ′ (t)) dt
ak
Z ak+1
+i Im (c1 f (γ(t))γ ′ (t) + c2 g(γ(t))γ ′ (t)) dt
ak
Z ak+1 Z ak+1
′
= Re (c1 f (γ(t))γ (t)) dt + Re (c2 g(γ(t))γ ′ (t)) dt
ak ak
Z ak+1 Z ak+1
′
+i Im (c1 f (γ(t))γ (t)) dt + i Im (c2 g(γ(t))γ ′ (t)) dt
ak ak
Z ak+1 Z ak+1
′
= c1 f (γ(t))γ (t) dt + c2 f (γ(t))γ ′ (t) dt
ak ak

tomando la suma sobre k se completa la prueba.

Definición 13. Sea γ : [a, b] → C una curva. Decimos que la curva σ : [c, d] → C
es una reparametrización de γ si exsite una función de clase C 1 , α[a, b] → [c, b],
que cumple que α′ (t) > 0, α(a) = c, α(b) = d y

γ(t) = σ(α(t)).

Por ejemplo, si γ(t) = e2πit con 0 ≤ t ≤ 1 entonces σ(t) = eit es una repa-
rametrizción de γ con α : [0, 1] → [0, 2π] con α(t) = 2πt. El siguiente resultado
muestra que la integral es independiente de la parametrización.

Proposición 23. Sea A ⊂ C un abierto y sea f : A → C una función continua.

Si γ : [a, b] → A es una curva y σ : [c, d] → C es una reparametrización de γ
entonces Z Z
f (z) dz = f (z) dz.
γ σ

Demostración. Vamos a suponer que γ es C 1 en todo [a, b] o de otro modo,

seguir la presente demostración en los subintervalos donde γ sea C 1 y ocupar la
linealidad de la integral demostrada en la proposición anterior, para concluir el
resultado deseado. Por definición
Z Z b
f (z) dz = f (γ(t))γ ′ (t) dt.
γ a

Como σ es reparametrización de γ, existe α : [a, b] → [c, d] tal que γ = σ ◦ α.

Por la regla de la cadena, γ ′ (t) = σ ′ (α(t))α′ (t). Haciendo el cambio de variable

25
s = α(t) se concluye que
Z Z b
f (z) dz = f (γ(t))σ ′ (α(t))α′ (t) dt
α a
Z d
= f (s)σ ′ (s) ds
c
Z
= f (z) dz.
σ

Recuerde que si γ : [a, b] → C es una curva y escribimos γ(t) = x(t) + iy(t),

entonces su longitud de arco está dada por la fórmula
Z b Z b p
l(t) = |γ ′ (t)| dt = x′ (t)2 + y ′ (t)2 dt.
a a

El módulo de una integral puede estimarse usando el siguiente resultado.

Proposición 24. Sea A ⊂ C un abierto y sea f : A → C una función continua.
Supongamos que γ : [a, b] → A es una curva. Si f es acotada, es decir, existe
M > 0 tal que |f (z)| < M para todo z ∈ A, entonces
Z
f (z) dz ≤ M l(γ).
γ

De manera más general, se tiene que

Z Z Z b
f (z) dz ≤ |f | |dz| := |f (γ(t))| |γ ′ (t)| dt.
γ γ a

Demostración. Primero vamos a verificas que si g : [a, b] → C es una función

Rb Rb
compleja entonces a g(t) dt ≤ a |g(t)| dt. Recordar que por definición
Z b Z b Z b
g(t) dt = Re(g(t)) dt + i Im(g(t)) dt,
a a a
R 
b Rb
por lo que Re a g(t) dt = a Re(g(t)) dt. Supongamos que en notación de
Rb
Euler, a g(t) dt := reiθ . Entonces
Z b Z b
−iθ
r=e g(t) dt = e−iθ g(t) dt.
a a

26
Por tanto
Z b
g(t) dt = r
a

= Re(r)
!
Z b
= Re e−iθ g(t) dt
a
Z b
Re e−iθ g(t) dt


=
a
Z b
≤ e−iθ g(t) dt
a
Z b
= |g(t)| dt
a

Ocupando g(t) = f (γ(t))γ ′ (t) concluimos que

Z Z b Z
f (z) dz = f (γ(t))γ ′ (t) dt ≤ |f | |dz|,
γ a γ

como se querı́a. En caso de que f esté acotado por M , como |f (γ(t))| ≤ M para
todo t entonces
Z Z b Z b
f (z) dz ≤ |f (γ(t))| |γ ′ (t)| dt ≤ M |γ ′ (t)| dt = M l(γ).
γ a a

Teorema 5 (Teorema Fundamental del Cálculo). Sea γ : [0, 1] → C un cur-

va y sea F una función analı́tica en un abierto que contenga a γ. Entonces
(asumiendo que F ′ es continua)
Z
F ′ (z) dz = F (γ(1)) − F (γ(0)).
γ

En particular, si γ es una curva cerrada, es decir, γ(1) = γ(0), entonces

Z
F ′ (z) dz = 0.
γ

Demostración. Para evitar tomar sumas y simplificar la prueba, vamos a supo-

ner que la curva γ es de clase C 1 en lugar de C 1 a trozos. Sea g(t) = F (γ(t)) =
u(t) + iv(t). Entonces

g ′ (t) = F ′ (γ(t))γ ′ (t) = u′ (t) + iv ′ (t).

27
Por tanto, usando el teorema fundamental del cálculo para funciones de variable
real,
Z Z 1
F ′ (z) dz = F ′ (γ(t))γ ′ (t) dt
γ 0
Z 1
= (u′ (t) + iv ′ (t)) dt
0
Z 1 Z 1
′
= u (t) dt + i v ′ (t) dt
0 0
= u(1) + iv(1) − (u(0) + iv(0))
= F (γ(1)) − F (γ(0))

Ejemplo: Calcular γ z 2 dz donde γ es el segmento de la elipse x2 + 4y 2 = 1

R

que va del punto z = 1 al punto z = i/2.

Solución: Por el teorema fundamental del cálculo
d z3 (i/2)3
Z Z  
2 1 1 1
z dz = dz = − =− − i
γ γ dz 3 3 3 3 24

El siguiente corolario pudiera ser probado usando el teorema de Caucy-

Riemman. En este caso lo vamos a probar utilizando el teorema fundamental
del cálculo.
Corolario 1. Sea f una función analı́tica en un abierto y conexo G ⊂ C. Si
f ′ (z) = 0 para todo z ∈ G entonces f es constante en G.
Demostración. Sea z0 ∈ G fijo y sea z ∈ G arbitrario. Por ser G conexo, existe
una curva γ en G que va de z0 a z. Como f ′ (z) = 0 para todo z ∈ G, entonces
Rb
f ′ (γ(t)) = 0 para todo t por lo que γ f ′ (z) dz = a f ′ (γ(t))γ ′ (t) dt = 0. Pero
R
R ′
por el teorema fundamental del cálculo, γ f (z) dz = f (z) − f (z0 ). Por tanto
f (z) − f (z0 ) = 0, por lo que f (z) = f (z0 ) para todo z ∈ G. Luego, f es contante
en G.
Ejemplo: Consideremos f (z) = z1 . Sean γ1 y γ2 las partes superior e inferior
de la circunferencia unitaria desde 1 hasta −1. Calcular las integrales de f (z)
sobre γ1 y γ2 .
Solución: Notemos que no podemos aplicar el teorema fundamental del cálcu-
d
lo pues aunque dz (log(z)) = z1 , la función log(z) no es analı́tica en z = −1.
Entonces calculamos las integrales por definición.
La parametrización de γ1 es γ1 (t) = eit con 0 ≤ t ≤ π. Por tanto
Z Z π
1 1 it
dz = it
ie dt
γ1 z 0 e
= iπ

28
 La parametrización de γ2 es γ2 (t) = e−it con 0 ≤ t ≤ π. Por tanto
Z Z π
1 1
dz = − −it
ie−it dt
γ2 z 0 e
= −iπ

Notar que si γ3 es la circunfencia unitaria, entonces γ3 = γ1 − γ2 por lo que

Z Z Z
1 1 1
dz = dz − dz = iπ + iπ = 2πi.
γ3 z γ1 z γ2 z

Del anterior ejemplo vemos que si no se satisfacen las hipótesis de teorema

fundamental del cálculo, no se espera que la integral de la derivada de una
función sobre una curva cerrada de cero (en este caso, la curva sobre la que
se integra tiene un punto donde la deriva de la función que se integra, no es
analı́tica). Del mismo modo, la integral de funciones sobre curvas que inician
y terminan en los mismos puntos no tienen por que dar el mismo resultado.
El siguiente teorema da las condiciones que se necesitan para que las integrales
sean independientes del camino.
Teorema 6 (Teorema de Independencia de Caminos). Sea f una función con-
tinua sobre un abierto y conexo G ⊂ C. Los enunciados son equivalentes.
1. La integral de f es independiente de caminos. Es decir, si γ1 y γ2 son
curvas que inician y terminan en los mismos puntos en G, entonces
Z Z
f (z) dz = f (z) dz.
γ1 γ2

2. La integral de f sobre curvas cerradas es cero. Es decir, si γ es una curva

en G que inicia y termina en el mismo punto, entonces
Z
f (z) dz = 0.
γ

3. La función f admite una antiderivada analı́tica en G. Es decir, existe una

función F analı́tca en G tal que F ′ (z) = f (z) para todo z ∈ G.
Demostración. (1) ⇒ (2). Supongamos que γ : [0, 1] → G es una curva cerrada,
es decir, que inicia y termina en el
mismo punto z0 ∈ G.
Definamos γ1 [0, 1] → G
y γ2 : [0, 1] → G por γ1 (t) = γ 21 t y γ2 (t) = γ 12 t + 12 . Entonce γ1 y −γ2 son
curvas que
inician en el mismo punto z0 = γ(0) y terminan en el mismo punto
z1 = γ 21 t . Por la hipótesis de independencia de caminios, las integrales de f
sobre γ1 y −γ2 son iguales. Por tanto
Z Z Z
0= f (z) dz − f (z) dz = f (z) dz.
γ1 −γ2 γ1 +γ2
R
Pero γ = γ1 + γ2 . Por tanto γ
f (z) dz = 0, como se querı́a.

29
 (2) ⇒ (1). Sean γ1 y γ2 dos curvas que inician y terminan en el mismo punto,
respectivamente. Entonces γ = γ1 − γ2 es una curva cerrada. Por hipótesis, la
integral de f (z) sobre γ es cero. Luego
Z Z Z Z Z
0= f (z) dz = f (z) dz + f (z) dz = f (z) dz − f (z) dz.
γ γ1 −γ2 γ1 γ2

Por tanto Z Z
f (z) dz = f (z) dz,
γ1 γ2

como se querı́a.
(3) ⇒ (1). Sean γ1 : [0, 1] → G y γ2 : [0, 1] → G dos curvas que comienzan y
terminan en los mismos puntos z0 y z1 , respectivamente. Por hipótesis y por el
Teorema Fundamental de Cálculo se obtiene
Z Z
f (z) dz = F ′ (z) dz
γ1 γ1
= F (γ1 (1)) − F (γ1 (0))
= F (z1 ) − F (z0 )
= F (γ2 (1)) − F (γ2 (0))
Z
= F ′ (z) dz
γ2
Z
= f (z) dz.
γ2

(1) ⇒ (3). Fijemos un z0 ∈ G a lo largo de lo que resta de la prueba. Para

un z1 ∈ G arbitrario, definamos la función F (z1 ) por la fórmula siguiente. Como
G es conexo, entonces G es conexo por caminos, por lo que existe una curva γz1
que va de z0 a z1 . Sea Z
F (z1 ) = f (z) dz.
γz1

Notar que como por hipótesis la integral es independiente por caminos, la función
F está bien definida. Nos falta probar que F ′ (z1 ) = f (z1 ), es decir, que

F (z2 ) − F (z1 )
lı́m = f (z1 ).
z2 →z1 z2 − z1
Sea ϵ > 0. Por continuidad de f en z = z1 , existe δ > 0 tal que si |z2 − z1 | < δ
entonces |f (z2 ) − f (z1 )| < ϵ. Supongamos que |z2 − z1 | < δ y vamos a probar
F (z2 )−F (z1 )−(z2 −z1 )f (z1 ) F (z2 )−F (z1 )
que z2 −z1 = z2 −z1 − f (z1 ) < ϵ.
Sea σ(t) = (1 − t)z1 + tz2 el segmento de recta que une a z1 por z2 . Por
definición de integral se tiene que
Z Z 1
f (z1 ) dz = f (z1 )(z2 − z1 ) dt = f (z1 )(z2 − z1 ).
σ 0

30
Por otro lado, por independencia de caminos tenemos que
Z Z
F (z2 ) − F (z1 ) = f (z) dz = f (z) dz.
γ2 −γ1 σ

Por tanto
F (z2 ) − F (z1 ) − (z2 − z1 )f (z1 )
Z Z
1
= f (z) dz − f (z1 ) dz
z2 − z1 |z2 − z1 | σ σ
Z
1
= (f (z) − f (z1 )) dz
|z2 − z1 | σ
1
≤ ϵ l(σ)
|z2 − z1 |
1
= ϵ|z2 − z1 |
|z2 − z1 |
=ϵ

Esto prueba que F es diferenciable en todo G y que F ′ (z) = f (z). Luego F es

analı́tica en G y F ′ (z) = f (z), como se querı́a.

4.1. Teorema de Cauchy

Definición 14. Sea A ⊂ C un abierto y sea γ : [a, b] → A una curva cerrada
en A, es decir, γ(b) = γ(a). Diremos que γ es simple si los únicos puntos de
intersección son en los puntos extremos.

Si γ es una curva cerrada simple, la gráfica de γ define la frontera de un

conjunto abierto en C, al cual nos referiremos como el interior de γ. En el
siguiente teorema, una versión preliminar del teorema de Cauchy, nos referiremos
a una función analı́tica sobre una curva cerrada simple y su interior. Notar que
esto obliga a que el dominio de la función sea algún abierto que contiene a la
curva cerrada simple y su interior, pero esto no se necesita especificar en la
hipótesis.
Teorema 7 (Teorema de Cauchy). Sea γ una curva cerrada simple. Si f es
una función analı́tica sobre γ y su interior, entonces
Z
f (z) dz = 0.
γ

(Asumir -aún no se prueba- que la derivada de f es continua.)

Demostración. Por la proposición 21, el Teorema de Green y el Teorema de

31
Cauchy-Riemann, tenemos que
Z Z
f (z) dz = (u + iv)(dx + idy)
γ γ
Z Z
= (u dx − v dy) + i (u dy + v dx)
γ γ
ZZ  
∂v ∂u
= − − dxdy
D ∂x ∂y
ZZ  
∂u ∂v
+i + dxdy
D ∂x ∂y
= 0,

como se querı́a.
2
Ejemplo: Calcular γ zez dz donde γ es la circunferencia unitaria.
R

Solución: Dado que estamos integrando sobre una curva cerrada simple (la
circunferencia unitaria), para aplicar el teorema de Cauchy, solo debemos checar
2
que la función a integrar es analı́tica sobre γ y su interior. Pero la función zez
es una función entera ya que es producto de dos funciones enteras: la z 7→ z
2
y z 7→ ez la primera de las cuales por ser polinomial y la segunda por ser
composición de una polinomial con la exponencial. Por lo tanto, por el Teorema
de Cauchy, se concluye que Z
2
zez dz = 0.
γ

4.2. Fórmula Integral de Cauchy

Definición 15. Sea γ una curva cerrada en C y sea z0 ∈ C un punto que no
está sobre γ. Se define el ı́ndice de γ respecto de z0 , denotado I(γ, z0 ) como
Z
1 dz
I(γ, z0 ) = .
2πi γ z − z0

La intuición detrás de ı́ndice de una curva cerrada respecto a un punto que

no esté sobre ella, es que se trata del número de vueltas que la curva cerrada γ
da alrededor de z0 .
Proposición 25. Si γ(t) = z0 + reit con 0 ≤ t ≤ 2πn es la circunferencia de
radio r > 0 que da n vueltas alrededor de su centro z0 , entonces I(γ, z0 ) = n. La
curva opuesta a γ es −γ(t) = z0 + re−it con 0 ≤ t ≤ 2πn, la circunferencia con
radio r que da n vueltas alrededor de su centro z0 en sentido negativo (horario).
Entonces I(−γ, z0 ) = −n.

32
Demostración. Por definición de integral
Z
1 dz
I(γ, z0 ) =
2πi γ z − z0
Z 2πn
1 ireit
= dt
2πi 0 (z0 + reit ) − z0
Z 2πn
1
= i dt
2πi 0
=n

Similarmente
Z
1 dz
I(−γ, z0 ) =
2πi −γ z − z0
2πn
−ire−it
Z
1
= dt
2πi 0 (z0 + re−it ) − z0
Z 2πn
1
= −i dt
2πi 0
= −n

Proposición 26. El ı́ndice I(γ, z0 ) es un número entero.

Demostración. Supongamos que γ : [a, b] → C es una parametrización de la
curva y consideremos la función
Z t
γ ′ (s)
g(t) = ds.
a γ(s) − z0

Por el teorema fundamental del cálculo se obtiene

γ ′ (t)
g ′ (t) = .
γ(t) − z0

Por tanto
d  −g(t) 
e (γ(t) − z0 ) = e−g(t) γ ′ (t) − e−g(t) g ′ (t)(γ(t) − z0 )
dt
= e−g(t) γ ′ (t) − e−g(t) γ ′ (t)
=0

Por tanto la función e−g(t) (γ(t) − z0 ) es contante. En particular, vale lo mismo

en t = a que en t = b, es decir

e−g(a) (γ(a) − z0 ) = e−g(b) (γ(b) − z0 ).

33
Pero como γ es una curva cerrada, podemos cancelar γ(a) − z0 = γ(b) − z0 de
la expresión anterior y concluir que

e−g(b) = 1.

Por tanto g(b) = 2πin para algún entero n. Luego

1
I(γ, z0 ) = g(b) = n ∈ Z.
2πi

Teorema 8 (Fórmula Integral de Cauchy). Sea f una función analitica sobre

una curva cerrada simple γ y su interior. Si z0 está en el interior de γ entonces
Z
1 f (z)
f (z0 ) = dz.
2πi γ z − z0

Más generalmente, si γ es una curva cerrada homotópica a un punto y z0 no

está sobre γ, entonces
Z
1 f (z)
f (z0 ) I(γ, z0 ) = dz.
2πi γ z − z0

Demostración. Solo vamos a probar la versión para curvas cerradas simples y

en particular cuando γ es una circunferencia con centro en z0 . Consideremos la
función (
f (z)−f (z0 )
z−z0 si z ̸= z0
g(z) = .
f ′ (z0 ) si z = z0
Tenemos que g es continua y además es analı́tica en todos los puntos z ̸= z0 .
Debido a que el Teorema de Cauchy sigue siendo cierto para g(z), tenemos que

f (z) − f (z0 )
Z Z Z Z
f (z) f (z0 )
0= g(z) dz = dz = dz − dz.
γ γ z − z0 γ z − z0 γ z − z0

Por tanto
Z Z
1 f (z) f (z0 ) 1
dz = dz = f (z0 )I(γ, z0 ) = f (z0 )
2πi γ z − z0 2πi γ z − z0

La noción de homotopı́a no la cubrimos en el curso, pero podemos decir que

se trata de deformar una curva en otra. Por ejemplo, la circunferencia unitaria
puede deformarse al origen por medio de circunferencias de radio cada vez más
pequeño.
Otra observación es la similiridad entre el Teorema de Cauchy y la Fórmula
Integral de Cauchy, por tratarse de teoremas donde aparecen integrales sobre
curvas cerradas. Sin emgargo, son distintos resultados en cuanto en el teorema

34
la integral da cero y en la fórmula la integral no necesariamente es cero. Esto
se debe a que en el teorema se necesita que el integrando sea analı́tico sobre γ
y su interior, mientras que el la fórmula, el integrando no es continuo en z0 que
está en el interior de γ, de hecho,R el integrando ni siquiera está definido en z0 .
z
Ejemplo. Calcular la integral γ ez dz, donde γ es la circunferencia unitaria.
Solución: Tomando f (z) = ez yR z0 = 0, por la fórmula R integral de Cauchy
1 ez ez
tenemos que 1 = e0 = f (z0 ) = 2πi γ z−0
dz y por tanto γ z−0
dz = 2πi.

Teorema 9. Sea γ : [a, b] → C una curva y sea g una función continua sobre
γ. Considere la función
Z
1 g(w)
G(z) = dw.
2πi γ w − z

Entonces G es analı́tica en C \ γ([a, b]). Más aún, G tiene derivadas de todos

los órdenes y Z
(k) k! g(w)
G (z) = dw,
2πi γ (w − z)k+1
para k = 1, 2, 3, . . . .
Demostración. Sea z0 un punto que no está sobre γ. Primero probamos el caso
para k = 1. Queremos entonces probar que
G(z) − G(z0 )
Z
1 g(w)
G′ (z0 ) = lı́m = dw.
z→z0 z − z0 2πi γ (w − z0 )2

Es decir, debemos probar que

 
G(z) − G(z0 )
Z
1 g(w)
lı́m − dw = 0. (3)
z→z0 z − z0 2πi γ (w − z0 )2

Primero observemos que

1 1
−
 
w−z w−z0 1 1 (w − z0 ) − (w − z) 1
− = −
z − z0 (w − z)2 z − z0 (w − z)(w − z0 ) (w − z)2
1 1
= −−
(w − z)(w − z0 ) (w − z)2
z − z0
=
(w − z)(w − z0 )2

de aquı́ se obtiene que la expresión dentro del lı́mite en (3) se puede reescribir
como
G(z) − G(z0 ) z − z0
Z Z
1 g(w) g(w)
− dw = dw.
z − z0 2πi γ (w − z0 )2 2πi γ (w − z)(w − z0 )2

Como z0 no está sobre γ entonces existe un número η > 0 tal que la bola
con centro en z0 y radio η no interseca a γ. Por otro lado como γ es continua,

35
el γ([a, b]) es compacto en C. Y como g es continuo, entonces g(γ([a, b]) es
compacto, en particular acotado. Digamos |g(γ(t))| ≤ K para todo t ∈ [a, b].
Sea ϵ > 0. Elegir δ = mı́n{η/2, ϵπη 3 /(K l(γ))}. Notar que si w está sobre γ
entonces w no está en la bola con centro en z0 y radio η, por lo que |w − z0 | > η
1 1
y entonces |w−z 2 ≤ η 2 De este modo, si |z − z0 | < δ entonces como δ ≤ η/2,
0|
para w sobre γ se tiene que

|w − z| ≥ |w − z0 | − |z − z0 | > η − η/2 = η/2.

g(w) 3
Concluimos que la función (w−z)(w−z 0)
2 para w sobre γ está acatada por 2K/η .

Por tanto por la proposicion 24 se concluye que

G(z) − G(z0 ) z − z0
Z Z
1 g(w) g(w)
− 2
dw = dw
z − z0 2πi γ (w − z0 ) 2πi γ (w − z)(w − z0 )2
|z − z0 | 2K
≤ l(γ)
2π η3
Kl(γ)
<δ
πη 3
≤ ϵ.

Vamos ahora a probar el teorema usando inducción matemática. Para k = 1

la prueba ya está hecha arriba. Supongamos ahora que el teorema es válido para
k = 1, 2, · · · , n − 1 y vamos a probar que el teorema sigue siendo cierto para
k = n. Como el teorema es cierto, por hipótesis de inducción, para k = n − 1
entonces sabemos que

(n − 1)!
Z
g(w)
G(n−1) (z) = dw.
2πi γ (w − z)n

Sea z0 ∈ C \ γ([a, b]). Tenemos que

1 z − z0 (w − z) + (z − z0 )
+ =
(w − z)n−1 (w − z0 ) (w − z)n (w − z0 ) (w − z)n (w − z0 )
1
=
(w − z)n

Por tanto
(n − 1)! (n − 1)!
Z Z
g(w) g(w)
G(n−1) (z) − G(n−1) (z0 ) = n
dw − n
dw
2πi γ (w − z) 2πi γ (w − z0 )
Z 
(n − 1)!
Z
g(w) g(w)
= n−1 (w − z )
dw − n
dw
2πi γ (w − z) 0 γ (w − z0 )
(n − 1)!
Z
g(w)
+ (z − z0 ) n (w − z )
dw
2πi γ (w − z) 0

36
 Entonces
G(n−1) (z) − G(n−1) (z0 )
Z 
(n − 1)!
Z
g(w) g(w)
= dw − dw
z − z0 2πi(z − z0 ) γ (w − z)n−1 (w − z0 ) γ (w − z0 )n
(4)
(n − 1)!
Z
g(w)
+ dw (5)
2πi γ (w − z)n (w − z0 )

Observe que la primera expresión en el lado derecho se puede reescribir como

Z 
(n − 1)!
Z
g(w) g(w)
dw − dw
2πi(z − z0 ) γ (w − z)n−1 (w − z0 ) γ (w − z0 )
n
 
g(w) g(w)
(n − 2)! 
Z Z
(w−z0 ) w−z0
= (n − 1) n−1
dw − n−1
dw
2πi(z − z0 ) γ (w − z) γ (w − z0 )

Cuando z → z0 se obtiene
 
g(w)
n−2 Z
d d (w−z0 )
(n − 1) dw |z=z0
dz dz n−2 γ (w − z)n−1

que por hipótesis de inducción aplicada a la n−2 derivada con g(w)/(w −z0 )
en vez de g(w), resulta en

(n − 1)!
Z
g(w)
(n − 1) dw
2πi γ (w − z0 )n+1

Por otro lado, cuando z → z0 el segundo termino de la expresión en el lado

derecho de (4) es
(n − 1)!
Z
g(w)
dw
2πi γ (w − z0 )n+1
Luego Z
(n) d (n−1) n! g(w)
G (z0 ) = G = dw.
dz 2πi γ (w − z0 )n+1

Aplicado estos resultados llegamos a otro de los teoremas importantes del

curso.
Teorema 10 (Fórmula integral de Cauchy para Derivadas). Sea γ una curva
cerrada simple y sea f una función analı́tica sobre γ y su interior. Si z0 está en
el interior de γ entonces
Z
k! f (w)
f (k) (z0 ) = dw,
2πi γ (w − z0 )k+1

37
para k = 1, 2, · · · y donde f (k) denota la k-ésima derivada de f . Más general-
mente, si gamma es una curva cerrada homotópica a un punto y z0 es un punto
que no está sobre γ entonces
Z
(k) k! f (w)
f (z0 )I(γ, z0 ) = dw.,
2πi γ (w − z0 )k+1
1
R f (w)
Demostración. Por la fórmula integral de Cauchy sabemos que f (z) = 2πi γ w−z
dz
para cualquier z en el interior de γ. Por tanto, por el teorema anterior concluimos
Z
(k) k! f (w)
f (z0 ) = dw.
2πi γ (w − z0 )k+1

Teorema 11 (Desigualdad de Cauchy). Sea γR una circunferencia de radio

R y centro en z0 ∈ C. Suponga que f es una función analı́tica sobre γR y su
interior. Si f está acotada sobre γR , es decir, si |f (z)| ≤ M para todo z = γR (t)
y para algún M > 0, entonces
k!
|f (k) (z0 )| ≤ M.
Rk
Demostración. Notemos que si w = γR (t) entonces por ser γR la circunferencia
con centro en z0 y radio R se tiene que w = z0 + Reit . Por lo que
1 1
= k+1 .
(w − z0 )k+1 R
Por tanto, para todo w sobre γR se cumple que
f (w) M
≤ k+1 .
(w − z0 )k+1 R
Luego, usando la proposición 24 y la Fórmula Integral de Cauchy para Deriva-
das, obtenemos
Z
(k) k! f (w)
|f (z0 )| = dw
2πi γR (w − z0 )k+1
k! M
≤ l(γR )
2π Rk+1
k! M
=≤ (2πR)
2π Rk+1
k!
= k M.
R

Teorema 12 (Liouville). Si f es una función entera y acotada entonces f es

constante.

38
Demostración. Supongamos que M es cota para f , es decir, que |f (z)| ≤ M
para todo z ∈ C. Vamos a aplicar la desigualdad de Cauchy para k = 1. Sea
z0 ∈ C y sea R > 0. Por la desigualdad de Cauchy, la cual aplica ya que f por
entera es analı́tica sobre la circunferencia con centro en z0 y radio R, se tiene
1
|f ′ (z0 )| ≤ M.
R
Puesto que la R es arbitraria, la desigualdad anterior implica que el módulo de
f ′ (z0 ) es tan pequeño como se quiera, por lo tanto |f ′ (z0 )| = 0. Como la z0 fue
tomada de manera arbitraria se concluye que f ′ = 0 y luego f es contante.
El teorema de Liouville puede ser sorprendente pues es un fenómeno que está
lejos de ocurrir en funciones de variable real, donde, por ejemplo, la función seno
de x es diferenciable en todos los reales y acotada, pero dista de ser constante.
Por supuesto la función sen z en variable compleja es entera pero constante, por
lo que puede deducir del teorema de Liouville que no es acotada: en efecto se
puede ver que sen(iy) = 12 (e−y − ey ) que no es acotada como función de y (se
ve como la función x3 reflejada sobre el eje y).

Teorema 13 (Teorema Fundamental del Álgebra). Si p(z) = a0 + a1 z + a2 z 2 +

· · · + an z n es un polinomio con coeficientes complejos de grado n ≥ 1 (por lo
que an ̸= 0) entonces p(z) tiene una raı́z compleja, es decir, existe z0 ∈ C tal
que p(z0 ) = 0.
Demostración. La prueba es por contradicción. Supongamos por contradicción
que p(z) ̸= 0 para todo z ∈ C. Entonces la función definida por f (z) = 1/p(z)
es una función entera. Vamos a probar que f es una función acotada y por el
teorema de Liouville, concluir que f entonces debe ser constante, con lo cual
llegaremos a una contradicción ya que f (z) no es constante.
Sea M > 0 y consideremos K = máx{1, M +|a0 |+|a|a1n|+···+|a |
n−1
}. Afirmamos
que si |z| > K entonces |p(z)| ≥ M . Supongamos que |z| > K. Entonces |z| >
K ≥ M +|a0 |+|a|a1n|+···+|a
|
n−1
por lo que |an | |z| − |a0 | − |a1 | − · · · − |an−1 | ≥ M > 0.
Por otro lado, como también |z| > K ≥ 1 entonces |z|n−1 ≥ 1 y por tanto
|z|n−1 (|an | |z|−|a0 |−|a1 |−· · ·−|an−1 |) ≥ |an | |z|−|a0 |−|a1 |−· · ·−|an−1 | ≥ M .
Pero además, como an z n = p(z) − a0 − a1 z − · · · − an−1 z n−1 , por la desiguladad
del triángulo,

|an z n | ≤ |p(z)| + |a0 | + |a1 z| + · · · + |an−1 z n−1 |.

De aquı́ se obtiene la desigualdad

|p(z)| ≥ |an z n | − |a0 | − |a1 z| − · · · − |an−1 z n−1 |

 
|a0 | |a1 |
= |z n−1 | |an | |z| − n−1 − n−2 − · · · − |an−1 |
|z| |z|
≥ M.

39
Luego |f (z)| = 1/|p(z)| ≤ M siempre que |z| > K, es decir, f es una función
acotada fuera de la circunferencia con centro en el origen y radio K. Por otro
lado, por continuidad de f , sabemos que f es acotada en el compacto que es la
bola cerrada con centro en el origen y radio K. Por lo tanto, f es acotada en
todo el plano complejo. Esto completa la prueba.

Teorema 14 (Morera). Sea A ⊂R C un abierto y conexo y sea f una función

continua en A. Supongamos que γ f (z) dz = 0 para toda curva cerrada en A.
Entonces f es analı́tica en A. Más aún, existe una función analı́tica F en A tal
que f = F ′ .
Demostración. Por el Teorema de Independencia de Caminos (teorema ??) tene-
mos que existe una función analı́tica F en A tal que F ′ = f . Vamos a argumentar
que de hecho F admite una segunda derivada en A, por lo que se concluirá que
f es derivable en A y por tanto f es analı́tica en A. Sea z0 ∈ A. Como A es
abierto, existe una curva cerrada simple γ dentro de A de modo que z0 está en el
interior de γ. Por la Fórmula Integral de Cauchy para Derivadas (teorema ??),
la función F admite una segunda derivada en z0 . Como z0 ∈ A fue tomada de
manera arbitraria, concluimos que F admite una segunda derivada en A. Luego
f es analı́tica en A.
Hay que notar que el teorema de Morera es una especie de recı́proco del
teorema de Cauchy, pues establece que si las integrales sobre curvas cerradas
simples son cero entonces la función en el integrando es analı́tica.

Proposición 27. Supongamos f es una función continua en abierto y conexo

A y analı́tica en A \ {z0 }, para algún z0 ∈ A. Entonces f es analı́tica en A.
Demostración. Sea γ una curva cerrada en A. Hay tres casos.
Caso 1: z0 está fuera de γ. Entonces podemos afirmar que f es analı́tica
sobre γ y su interior. Por el Teorema de Cauchy, concluimos que
Z
f (z) dz = 0.
γ

Caso 2: Si z0 está sobre γ, considerar la bola con centro en z0 y radio ϵ.

Considerar la curva cerrada γϵ que recorre γ excepto cerca de z0 en donde sigue
la parte de la frontera de la ϵ-bola en el sentido de γ y de modo que z0 quede
fuera de Rγϵ . Por el caso anterior, como f es analı́tica sobre γϵ y su interior,
entonces γϵ f (z) dz = 0. Al hacer ϵ → 0 tenemos que γϵ → γ y por tanto
Z
f (z) dz = 0.
γ

Caso 3: Si z0 está en el interior γ. Nuevamente vamos a considerar una bola

con centro en z0 y radio ϵ dentro de γ. Considerar una nueva curva γϵ que recorra
γ y luego en lı́nea recta hacia un punto de la frontera de la bola, a continuación
recorre la frontera de la bola en sentido contrario a γ para luego regresarse

40
sobre el mismo segmento. La curva resultante γϵ es cerrada y z0 queda en el
exterior
R de ella. Por lo que como f es analı́tica sobre γϵ y su interior, entonces
γϵ
f (z) dz = 0. Al hacer ϵ → 0 tenemos que γϵ → γ y por tanto
Z
f (z) dz = 0.
γ

En cualquier caso se obtiene el resultado deseado.

Teorema 15 (Propiedad del Valor Medio). Sea f una función analı́tica sobre
una circunferencia con centro en z0 y radio r y su interior. Entonces
Z 2π
1
f (z0 ) = f (z0 + reiθ ) dθ.
2π 0

Demostración. Por la fórmula integral de Cauchy

Z
1 f (w)
f (z0 ) = dw,
2πi γ w − z0

donde γ(θ) = z0 + reiθ con 0 ≤ θ ≤ 2π. Usando la definición de integral

obtenemos:
Z 2π
1 f (γ(θ)) ′
f (z0 ) = γ (θ) dθ
2πi 0 γ(θ) − z0
Z 2π
1 f (z0 + reiθ ) iθ
= rie dθ
2πi 0 reiθ
Z 2π
1
= f (z0 + reiθ ) dθ.
2π 0

Teorema 16 (Principio de Módulo Máximo, versión local). Sea f un función

analı́tica en un abierto y conexo A. Suponga que f tiene un máximo relativo en
z0 ∈ A, es decir, que |f (z)| ≤ |f (z0 )| para todo z en alguna vecindad de z0 ).
Entonces f es constante en alguna vecindad de z0 .
Ahora la versión general.
Teorema 17 (Principio de Módulo Máximo). Sea γ una curva cerrada simple.
y supongamos que f es analı́tica sobre el interior de γ y continua sobre γ y su
interior. Entonces f alcanza su máximo sobre γ, es decir, existe z0 sobre γ tal
que |f (z)| ≤ |f (z0 )|. En caso de que f alcance su máximo en el interior de γ
entonces f es constante.
Como aplicación del Principio de Módulo Máximo.

41
Lema 1 (Lema de Schwarz). Sea f una función analı́tca en el conjunto abierto
A = {z ∈ C : |z| < 1} y suponga que f (0) = 0 y |f (z)| ≤ 1 para todo z ∈ A.
Entonces |f ′ (0)| ≤ 1 y |f (z)| ≤ |z| para todo z ∈ A. Más aún, si |f ′ (0)| = 1 o
bien |f (z0 )| = |z0 | para algún 0 ̸= z0 ∈ A entonces f (z) = cz para algún c ∈ C
con |c| = 1 y para todo z ∈ A.
Demostración. Consideremos la función
(
f (z)
z si z ∈ A \ {0}
g(z) = ′
.
f (0) si z = 0

Dado que las funciones f y z son analı́ticas en A\{0}, tenemos que g es analı́tica
A \ {0}. Por otro lado, dado que
f (z) − f (0)
lı́m g(z) = lı́m = f ′ (0) = g(0)
z→0 z→0 z−0
tenemos que g es continua en A. Por la proposición 27, concluimos que g es
analı́tica en A. Para cada 0 < r < 1, consideremos ahora la curva γr (θ) = reiθ
con 0 ≤ θ ≤ 2π. Por tanto g es analı́tica en el interior de γr y además continua
sobre γr y su interior. Por el principio del módulo máximo, el módulo g alcanza
su valor máximo en algún punto z0 sobre γr . De este modo, se tiene que
f (z0 ) 1
|f ′ (0)| = |g(0)| ≤ |g(z0 )| = ≤
z0 r
y de la misma manera, para cualquier z ̸= 0 en el interior de γr se tiene
f (z) f (z0 ) 1
| | = |g(z)| ≤ |g(z0 )| = ≤
z z0 r
por lo que
1
|f (z)| ≤ |z|.
r
Tomando el lı́mite cuando r → 1 se obtiene el resultado, es decir, |f ′ (0)| ≤ 1 y
|f (z)| ≤ |z|.
Si |f (z0 )| = |z0 | para algún 0 ̸= z0 ∈ A entonces |g(z0 )| = |f|z(z00|)| = 1 por
lo que por el principio de módulo máximo, g es contante pues su máximo se
alcanza. Por tanto f (z) = cz para alguna contante de módulo 1.
Si |f ′ (0)| = 1 entonces 1 = |f ′ (0)| = |g(0)| ≤ |g(z0 )| ≤ 1 implica que
g alcanza su máximo en el interior de γr y por tanto es contante. Por tanto
f (z) = cz para alguna contante de módulo 1.

5. Series de potencias
Recuerde que una sucesión de números complejor {zn }∞
n=0 converge a w si
para todo ϵ > 0 existe N > 0 tal que si n > N entonces |zn − w| < ϵ. Esta
convergencia se denota por zn → w o bien lı́mn→∞ zn = w.

42
 P∞
Por otro lado, decimos oque la serie n=0 zn converge a w si la sucesión de
nP ∞
k
sumas parciales n=0 zn converge a w. Esta convergencia se denota por
P∞ k=0
n=0 zn = w.

Definición 16. Una serie de potencias es una serie de la forma

∞
X
an (z − z0 )n
n=0

donde las an y el z0 son números complejos fijos.

Es claro que cada término en la serie de potencia es una función entera. Que
la serie sea analı́tica en el contenido del siguiente teorema.
Teorema P∞18 (Convergencia de las Series de Potencias). Dada la serie de po-
tencias n=0 an (z −z0 )n existe un único número R ≥ 0, o R = ∞, denominado
el radio de convergencia de la serie, tal que si |z − z0 | < R entonces la serie
converge y si |z − z0 | > R entonces la serie diverge.
Más aún, la serie de potencia es una función analı́tica dentro del cı́rculo de
convergencia.
Proposición
P∞ 28 (Criterios de Convergencia). Considere la serie de potencias
n
a
n=0 n (z − z0)

1. Criterio del cociente Si

|an |
lı́m
n→∞ |an+1 |

existe, entonces el radio de convergencia de la serie de potencias es dicho

lı́mite.
2. Criterio de la raı́z Si p
n
ρ = lı́m |an |
n→∞

existe, entonces R = ρ1 es el radio de convergencia de la serie de ponten-

cias, con R = ∞ si ρ = 0.
P∞ 1
3. Serie Geométrica Si |z| < 1 entonces n=0 z n = 1−z . Si |z| ≥ 1 en-
P∞ n
tonces la serie n=0 z diverge.
Recuerde que una sucesión de funciones fk : A → C converge puntualmente
a una función f : A → C si dado cualquier z ∈ A y para todo ϵ > 0 exite N > 0
tal que si k > N entonces |fk (z) − f (z)| < ϵ. Una noción de convergencia de
funciones que quizá no es tan conocida pero que es importante en las hipótesis
de los teoremas de integración, es la noción de convergencia uniforme. Decimos
que la sucesión fk : A → C converge uniformenente a una función f : A → C
si para todo ϵ > 0 existe n > 0 tal que |fk (z) − f (z)| < ϵ para todo z ∈ A.
Notar que la diferencia radica que en que la convergencia puntual es para cada

43
z fijo, es decir, la N que se encuentra sirve para esa z en particular; mientras
que en la convergencia uniforme, la N que se encuentra sirve para todas las z
en el dominio.
Cuando se considera a una serie de potencias como una función que depende
de z, por el Teorema de Convergencia de las Series de Potencia, puede pensarse
que la función
∞
X
f (z) = an (z − z0 )n
n=0

está definida en B(z0 , R). Equivalentemente, puede decirse que la sucesión de

Pk
sumas parciales fk (z) = n=0 an (z − z0 )n converge puntualmente para cada
z ∈ B(z0 , R).
A continuación listamos varios resultados teóricos relevantes sobre la con-
vergencia uniforme. De una vez espoleamos, que el objetivo es llegar a probar
que la convergencia de las series de potencia es uniforme.
Proposición 29. Si fk : A → C es una sucesión de funciones continuas y
fk → f uniformemente, entonces f también es continua en A. Similarmente,
P∞ si
gn (z) es una sucesión de funciones continuas en A y la serie g(z) = n=0 gn (z)
converge uniformemente en A, entonces g es continua en A.
Teorema 19 (Criterio M de Weierstrass). Sea {gk }k = 0∞ una sucesión de
funciones definidas en el abierto A ⊂ C. Suponga que existe una sucesión de
números Mn ≥ 0 tal que
1. |gn (z)| ≤ Mn para todo z ∈ A
P∞
2. n=0 Mn converge
P∞
Entonces n=0 gn converge absolutamente y uniformemente en A

Teorema 20 (Convergencia Analı́tica). Sea A ⊂ C es un abierto

1. Sea {fn }∞
n=0 es una sucesión de funciones analı́ticas en A. Si fn → f uni-
formemente en todo disco cerrado contenido en A entonces f es analı́tica.
Más aún, se tiene que fn′ → f puntualmente en A y uniformemente en
todo disco cerrado en A.
P∞
2. Si gk es una sucesión de funciones analı́ticas en A y g(z) = k=0 gk con-
verge uniformemente enP todo disco cerrado en A, entonces g es analı́tica
∞
en A, la serie g ′ (z) = k=0 gk′ converge puntualmente en A y también
converge uniformemente en todo disco cerrado en A.

Proposición 30. Sea γ : [a, b] → A una curva en un abierto y conexo A y sea

fn una sucesión de funciones continuas en γ([a, b]) que converge uniformemente
a una función f en γ([a, b]). Entonces
Z Z
fn dz → f dz.
γ γ

44
 P∞
Similarmente, si n=0 gn (z)converge uniformemente en γ entonces
∞
Z X ∞ Z
X
gn (z) dz = gn (z) dz.
γ n=0 n=0 γ

Teorema 21 (Analiticidad de la Serie de Potencias). Una serie de potencias

∞
X
an (z − z0 )n
n=0

es una función analı́tica en B(z0 , R), donde R es el radio de convergencia.

Teorema 22 (Diferenciación de Series de Potencias). Considere la serie de
potencias
∞
X
f (z) = an (z − z0 )n
n=0

la cual es analı́tica en B(z0 , R), donde R es el radio de convergencia. Entonces

∞
X
f ′ (z) = nan (z − z0 )n−1
n=1

que es una nueva serie de potencias con el mismo radio de convergencia que
f (z). Más aún, se tiene la caracterización siguiente de los coeficientes de la
serie de potencia
f (n) (z0 )
an = .
n!
Este último teorema nos da una receta para derivar series de potencia: for-
malmente se derivan los términos de la serie de potencias. Más aún, los coefi-
cientes de la serie de potencias son múltiplos de las derivadas de f (z) evaluadas
en z0 . En consecuencia, la expanción en series de potencia alrededor de z0 son
únicas. Es decir, si
∞
X ∞
X
an (z − z0 )n = f (z) = an (z − z0 )n
n=0 n=0

entonces an = bn para todo n ≥ 0.

Ya tenemos que toda serie de potencias es analı́tica. Que el recı́proco sea
cierto, es decir, que toda función analı́tica posee una descomposición en serie
de potencias, es el contenido del famoso Teorema de Taylor que se enuncia a
continuación.
Teorema 23 (Teorema de Taylor). Supongamos que f es una función analı́tica
en un abierto A ⊂ C. Sea z0 ∈ A y sea r > 0 el número más grande tal que tal
que B(z0 , r) = {z ∈ C : |z − z0 | < r} ⊂ A. (se toma r = ∞ si B(z0 , ∞) = A =
C). Entonces
∞
X f (n) (z0 )
f (z) = (z − z0 )n
n=0
n!

45
para todo z ∈ Ar . A esta serie de potencias se le conoce como la serie de Taylor
de f (z) alrededor de z0 .
Ejemplo: Calcular la serie de Taylor de ez alrededor de z0 = 0.
z
dn z dn z
Solución: Sabemos que de z z
dz = e por lo que dz n = e . Luego dz n |z=z0 =0 =
e0 = 1 y por el Teorema de Taylor
∞
X zn
ez = .
n=0
n!

dn z
Para el caso z0 = i, tenemos dz n |z=z0 =i = ei por lo que
∞
X ei
ez = (z − i)n .
n=0
n!

Convención: Si z0 = 0, diremos que la serie de Taylor es la serie de Maclaurin.

Algunos ejemplos de la serie de Maclaurin.
1
P∞
1. f (z) = 1−z = n=0 z n , con |z| ≤ 1 (que es equivalente a z ∈ B(0, 1).)
z3 z5 n+1 z 2n−1
P∞
2. f (z) = sen(z) = z − 3! + 5! − ··· = n=1 (−1) (2n−1)! , z ∈ C.

z2 z4 n z 2n
P∞
3. f (z) = cos(z) = 1 − 2! + 4! − ··· = n=0 (−1) (2n)! , z ∈ C.
P∞ n−1
4. f (z) = log(1 + z) = n=1 (−1)n z n , |z| < 1, la rama principal de loga-
ritmo.
P∞
5. f (z) = (1 + z)α = n=0 αk z n , |z| < 1 (o bien z ∈ C si z ∈ Z+ ), rama

principal del logaritmo.

1
Ejemplo: Hallar la serie de Maclaurin de f (z) = 4+z 2 y calcular el radio de
convergencia.
Solución:
1 1
=
1+z 2 4(1 + 41 z 2 )
1 1
=
4 1 − (− 14 z 2 )
∞
1X 1 2 n
= (− z )
4 n=0 4
∞
X z 2n
= (−1)n ,
n=1
4n+1

cuando − 14 z 2 < 1 que ocurre si |z| < 2.

Ejemplo: Hallar la serie de Maclaurin de log(z + 1).

46
 Solución: Denotemos f (z) = log(z + 1) Tenemos que f (0) = log(1) = 0.
Por otro lado,
1
f ′ (z) = ⇒ f ′ (0) = 1
z+1
1
f ′′ (z) = − ⇒ f ′′ (0) = 1
(z + 1)2
2
f ′′′ (z) = ⇒ f ′′′ (0) = 2!
(z + 1)3
3!
f (iv) (z) = ⇒ f (iv) (0) = 3!
(z + 1)4
......
(n − 1)!
f (n) (z) = (−1)n−1 ⇒ f (n) (0) = (−1)n−1 (n − 1)!
(z + 1)n

Por tanto
∞
X f (n) (0) n
log(z + 1) = z
n=0
n!
∞
X (−1)n−1 (n − 1)! n
= z
n=1
n!
∞
X (−1)n−1 n
= z
n=1
n

6. Series de Laurent y singularidades

En el Teorema de Taylor se encuentra la expansión en series de potencia de
funciones bajo la hipótesis de que son analı́ticas en una bola con centro en algún
número complejo z0 . Por ende, no todas las funciones tienen descomposición en
series de Taylor, por ejemplo, f (z) = 1/z con z0 = 0. Sin embargo, resulta que
podemos considerar expansiones en serie de potencias con potencias negativas.
Este será el contenido de esta sección al explicar las series de Laurent.

Teorema 24 (Expansión en Series de Laurent). Suponga que 0 ≤ r1 < r2 ≤ ∞

y sea z0 ∈ C. Considere la región anular A = {z ∈ C : r1 < |z − z0 | < r2 }
y a γ la curva cerrada representada por la circunferencia de radio z0 y radio
r1 < r < r2 . Si la función de variable compleja f es analı́tica en A, entonces
podemos escribir la expansión en series de Laurent
∞ ∞
X X bn
f (z) = an (z − z0 )n +
n=0 n=1
(z − z0 )n

47
donde los coeficientes están dados por las fórmulas
Z Z
1 f (z) 1 f (z)
an = dz y bn = dz.
2πi γ (z − z0 )n+1 2πi γ (z − z0 )−n+1
Definición 17. Sea f una función de variable compleja. Si f no es analı́tica en
z0 pero cada vecindad de z0 contiene algún punto donde f es analı́tica, diremos
que z0 es una singularidad de f .
Por ejemplo f (z) = 1/z tiene una vecindad aislada en z0 = 0, ya que cada
vecindad de f tiene un punto donde f es analı́tica. De hecho, f es analı́tica en
todos los complejos excepto z0 .
Definición 18. Si z0 es una singularidad de f , diremos que z0 es una singula-
ridad aislada de f si f es analı́tica en alguna región anular (vecindad punteada)
{z ∈ C : 0 < |z − z0 | < r}.
La singularidad z0 = 0 es singularidad aislada de f (z) = 1/z. Por otro
z+1
lado, la función f (z) = z3 (z 2 +1) tiene singularidades aisladas en los puntos

z0 = −i, 0, i. Finalmente, la función f (z) = log(z) tiene una singularidad en

z0 = 0 pero esta singularidad no es singularidad aislada.
Definición 19. Si z0 es una singularidad aislada de f , considere su expansión
en series de Laurent respecto a A = {z ∈ C : 0 < |z − z0 | < r2 }. Si la cantidad
de coeficientes bn distinta de cero es finita entonces diremos que z0 es un polo
de f . Si k es el entero más grande tal que bk ̸= 0, entonces diremos que z0 es
un polo de orden k. Cuando z0 sea un polo de orden 1, entonces diremos que z0
es un polo simple. En el caso de que la cantidad de coeficientes bn distintos de
cero sea infinita, diremos que z0 es una singularidad esencial (en vez de “polo
infinito”para reservar el término “polo” exclusivamente cuando la cantidad de
bn ̸= 0 es finita.)

7. Teorema del Residuo

Si z0 es una singularidad aislada de f , considere su expansión en series de
Laurent respecto a A = {z ∈ C : 0 < |z − z0 | < r2 }. Decimos que el coeficiente
b1 es el residuo de f respecto de z0 y lo denotamos por
b1 = Res(f ; z0 ).
2 2
Por ejemplo, dado que z0 es singularidad aislada de e1/z y que e1/z =
1 + z12 + 2!
1 1 1 1
z 4 + 3! z 6 + . . . , tenemos que Res(f ; z0 ) = 0. Por otro lado e
1/z
=
1 1 1
1 + z + 2z2 + · · · + n!zn + . . . por lo que Res(f ; z0 ) = 1.
Teorema 25. Si γ es una curva cerrada simple tal que la función f es analı́tica
sobre γ y su interior, salvo por las singularidades z1 , z2 , . . . , zn . Entonces
Z Xn
f (z) dz = Res(f ; zk ).
γ k=1

48