Apuntes de Variable Compleja (Nicolás Eugenio Herrera)

Variable compleja
Apuntes complementarios
Nicolás Eugenio H.
Copyright © 2018 Nicolás Eugenio H.
Diseño basado en la plantilla “Clustering the interstellar medium” por Andrea Hidalgo
Contacto: nicolas.eugenio@usach.cl
Edición preliminar, 2018

Índice general
1 Números complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1 Introducción 5
1.2 Algunas propiedades de los números complejos 6
1.3 Plano complejo 6
1.4 Potencias de números complejos 9
1.5 Regiones en el plano complejo 12
2 Funciones analíticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1 Funciones de variable compleja 14
2.2 Límites 16
2.3 Derivada compleja 17
2.4 Condiciones de Cauchy-Riemann 18
2.5 Funciones analíticas 19
2.6 Funciones armónicas 20
3 Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1 La función exponencial 24
3.2 Funciones trigonométricas 25
3.3 Funciones hiperbólicas 25
3.4 La función logarítmica 26
4
3.5 Exponenciación compleja 27

3.6 Funciones trigonométricas e hiperbólicas inversas 28
4 Integrales en el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

4.1 Integrales complejas de variable real 29
4.2 Contornos 29
4.3 Integrales de contorno complejas 30
4.4 La fórmula integral de Cauchy 34
5 Series infinitas de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

5.1 Series de Taylor 37
5.2 Series de Laurent 39
6 Residuos y polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
6.1 Clasificación de singularidades 40
6.2 Residuos 41
6.3 Técnicas para determinar el residuo 41
6.4 Integrales trigonométricas 43
6.5 Integrales impropias 44
6.6 Integrales en torno a puntos de rama 47
7 Bibliografía . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Libros 50
1. Números complejos
1.1 Introducción
Un número complejo, z, es aquel que puede escribirse de la forma:
z = a + ib a, b ∈ R i2 = −1
Se dice que a es la parte real de z y b su parte imaginaria. Se escribe frecuentemente
como:
a = Re{z} b = Im{z}
Dos números complejos son iguales, sólo si las partes reales de ambos son iguales entre
sí, como también las partes imaginarias. Es decir, si se consideran los números complejos z
y w:
z = a + ib w = c + id
para que sean iguales necesariamente debe cumplirse que
a=c b=d
Para sumar o restar estos números (z y w definidos previamente) se agrupan las partes
reales e imaginarias, considerando i como una variable algebraica:
z ± w = (a + i b) ± (c + i d) = (a ± c) + i (b ± d)
De la misma forma con el producto:
z w = (a + i b) (c + i d) = (a c − b d) + i (a d + b c)
Los números complejos obedecen las leyes conmutativas, asociativas y distributivas. Si
se considera un número complejo con parte imaginaria igual a cero, entonces se obtiene una
cantidad que se comporta matemáticamente como un número real; por lo que el conjunto
de los números complejos C contiene a los reales.
6 Capítulo 1. Números complejos
1.2 Algunas propiedades de los números complejos

Es necesario definir el conjugado de un número complejo z. Éste corresponde a tomar
un número de igual parte real que z, pero de parte imaginaria con signo opuesto. Se escribe
usualmente como z ∗ o z̄, es decir:
z = a + ib =⇒ z∗ = a − i b
En términos de esta cantidad nacen algunas identidades útiles:
z + z ∗ = (a + i b) + (a − i b) = 2 a = 2 Re{z}
z − z ∗ = (a + i b) − (a − i b) = 2 i b = 2 i Im{z}
z z ∗ = (a + i b) (a − i b) = a2 + b2
Una representación alternativa a la notación con la variable i, toma los números com-
plejos como un par ordenado de sus partes real e imaginaria como:
z = a + ib z = (a, b)
En esta notación, se define el conjugado simplemente como:
z ∗ = (a, −b)
y se obedece el álgebra de los pares en R2 . Considerando que un par ordenado representa

un punto en un plano coordenado, es posible también asociar a dicha cantidad un vector
que indique su ubicación.
1.3 Plano complejo

Como se mencionó, es posible ubicar el par ordenado z = (x, y) en un plano, el que se
denomina plano complejo o plano de Argand, como muestra la figura 1.1:
Figura 1.1: Plano complejo
Donde el eje horizontal representa a las partes reales, mientras que el vertical a las
partes imaginarias.
1.3 Plano complejo 7
Es inmediato definir el módulo, o valor absoluto, de un número complejo como la can-

tidad no negativa (utilizando el teorema de pitágoras):
√ √
|z| = x2 + y 2 = z z ∗
Geométricamente, |z| corresponde a la distancia entre el punto (x, y) y el origen, o bien, el

largo del vector que representa a z.
Es importante notar que la desigualdad z1 < z2 no tiene sentido en los complejos, la
afirmación |z1 | < |z2 | denota que z1 es un punto más cercano al origen que z2 .
Es posible también definir los números complejos a través de coordenadas polares (Fi-
gura 1.2). Un punto z = (x, y), puede ser escrito como z = (r, θ), donde se satisface que
r = |z| y θ = tan−1 (y/x). Al ángulo θ se le denomina el argumento de z, y se denota como
θ = arg z
Figura 1.2: Representación polar
Existen infinitos ángulos que describen el mismo punto en el plano, ya que al sumar o
restar 2π se vuelve al mismo lugar. De forma estándar se define el argumento principal de
z, corresponde al ángulo que cumple con
−π < θ ≤ +π
Haciendo uso de las relaciones trigonométricas, y considerando lo anterior, es posible

escribir un número z como:
z = x + i y = r (cos θ + i sin θ)
Tomando en cuenta la fórmula de Euler:
ei θ = cos θ + i sin θ
Entonces también es posible escribir z de manera más compacta, en forma exponencial:
z = r ei θ
Esta notación es tremendamente útil ya que permite tomar todas las propiedades de las
potencias a la hora de hacer cálculos.
Las propiedades que ya se han visto pueden ser derivadas desde esta notación. Para
hacer más claro el concepto del conjugado en el plano, es posible tomar en cuenta la figura
1.3:
Figura 1.3: z y su conjugado
Aquí es posible notar que en notación exponencial, r es el mismo para z y para z̄,
mientras que el ángulo que describe al conjugado sólo cambia de signo. Es decir
z = r ei θ z ∗ = r e−i θ
Si se multiplican estas dos cantidades:
z z ∗ = r2 ei θ e−i θ = r2 e(i θ−i θ) = r2
Por otro lado, si se suman o restan:
( )
z + z ∗ = r ei θ + e−i θ = 2 r cos θ = 2 x
( )
z − z ∗ = r ei θ − e−i θ = 2i r sin θ = 2i y
Recuperándose así las propiedades encontradas anteriormente. Se utilizó que

1 ( iθ )
sin θ = e − e−i θ
2i
1 ( iθ )
cos θ = e + e−i θ
2
1.4 Potencias de números complejos

Potencias enteras
Para tomar la potencia n-ésima de un número complejo, se realiza el tratamiento usual
considerando a i como una variable algebraica. En la forma cartesiana, una potencia corres-
ponderá a tomar la potencia de un binomio:
z = x + iy =⇒ z n = (x + i y)n
Pero en su forma exponencial o polar el tratamiento es mucho más sencillo:
z = r ei θ =⇒ z n = rn ei (n θ) = rn [cos (n θ) + i sin(n θ)]
donde la última expresión se deriva de la fórmula de Euler y es conocida como la fórmula

de De Moivre (la cual es totalmente válida sólo para n enteros).
Potencias fraccionarias
En el caso de las potencias fraccionarias, es necesario considerar todo el espectro de
argumentos. Es decir, hay que recordar que si un número z posee argumento principal θ,
entonces sumarle o restarle la cantidad 2π:
θ → θ + 2πk k = 0, ±1, ±2, ...
no afecta el punto que define en el plano. Por lo que al tomar una potencia fraccionaria de
z, por ejemplo, 1/m con m entero, se obtiene:
( )1/m i
k = 0, ±1, ±2, ...
1/m 1
z = r ei(θ+2 π k) =⇒ z = r ei(θ+2 π k) = r /m e m (θ+2 π k)
Ya que se trabaja con coordenadas polares, es necesario elegir la raíz positiva de r1/m
√
(Se denota como m r). Para visualizar cómo afecta el tomar todo el espectro de argumentos,
es posible escribir lo anterior con funciones trigonométricas:
[ ( ) ( )]
√ i √ θ + 2πk θ + 2πk
k = 0, ±1, ±2, ...
1/m m (θ+2 π k) m
z = re m = r cos + i sin
m m
Aquí es posible notar que se genera más de un valor para z 1/m , ya que al interior de
las funciones seno y coseno, se está sumando la cantidad 2π k/m, la que no deja invariante
estas funciones.
√ )1/5 (
Ejemplo 1.1 Encontrar todos los valores de 1 + i3 .
Solución: Es necesario utilizar lo anterior con m = 5. Primero hay que calcular el
módulo r y el argumento principal θ del número elevado:
√
√ √ 2
r = 1 + i 3 = 12 + 3 = 2
√ π
θ = tan−1 3 =
3
Así entonces se encuentra aplicando lo anterior:

( [ ( ) ( )]
√ )1/5 √ 5 π 2π π 2π
1+i 3 = 2 cos + k + i sin + k k = 0, 1, 2, ...
15 5 15 5
El valor del módulo está fijo, por lo que todos yacen en el mismo círculo, pero el
ángulo va cambiando, partiendo desde θ = π/15 en k = 0, aumentando 2π/5 por vez.
Tomando los valores decimales, se tiene para los diferentes k:
θ = 12◦ 1,123 + i 0,241 k=0

◦
θ = 84 0,120 + i 1,142 k=1
◦
θ = 156 −1,049 + i 0,467 k=2
◦
θ = 228 −0,769 − i 0,854 k=3
◦
θ = 300 1,574 − i 0,995 k=4
◦
θ = 372 1,123 + i 0,241 k=5
Cuando se llega a k = 5 las raíces comienzan a repetirse, ya que sólo hay cinco
valores diferentes. Cada raíz nace de agregar la cantidad 2π/5 una y otra vez, por lo que
entre ellas se encuentran separadas esta cantidad en el plano complejo. Una vez que se
se avanza cinco veces la cantidad 2π/5, se llega a que se ha avanzado en total 2π, por lo
que las raíces aquí comienzan a ser iguales (Figura 1.4).
Figura 1.4: Valores de la raíz buscada[4]

En general, una raíz de la forma z 1/m , con m entero, posee m valores distintos. Si se
desea tomar una potencia de la forma z n/m , con n y m enteros, entonces se puede usar lo
visto hasta ahora para obtener:
[ ( ) ( )]
( √ )n n 2knπ n 2knπ
z n/m
= mr cos θ+ + i sin θ+ k = 0, 1, 2, ..., m − 1
m m m m
Con este conocimiento es posible resolver ecuaciones que involucren potencias de canti-
dades complejas.
Ejemplo 1.2 Resolver la siguiente ecuación para w:
w4/3 + 2 i = 0
Solución Es posible despejar w de la forma usual:
w = (−2 i)3/4
Ahora es posible utilizar lo anterior, con n = 3 y m = 4. Es necesario determinar el

módulo y el argumento prinicipal:
√
r = |w| = 02 + (−2)2 = 2
( )
−1 −2 π
θ = tan = lı́m tan−1 (−b) = −
0 b→∞ 2
El argumento puede deducirse al considerar que −2 i se encuentra en la parte negativa

del eje imaginario. Ahora es posible aplicar la fórmula anterior:
( √ )3 [ (
3π 3
) (
3π 3
)]
3/4
cos − + 2 π k + i sin −
4
w = (−2 i) = 2 + 2π k k = 0, 1, 2, 3
42 4 42 4
( )
3π
w1 = 1,68 exp − i
8
( )
9π
w2 = 1,68 exp − i
8
( )
21 π
w3 = 1,68 exp − i
8
( )
33 π
w4 = 1,68 exp − i
8

Existen diferentes notaciones equivalentes (teniendo los cuidados necesarios) para represen-
tar lo anterior:
r ei θ = r exp (i θ) = r cos θ + i r sin θ = r cis θ = r θ

1.5 Regiones en el plano complejo

Además de puntos, es posible representar curvas y áreas en el plano complejo a través
de ecuaciones e inecuaciones. Como se mencionó las inecuaciones de números complejos no
tienen sentido, por lo que éstas deben plantearse sólo entre cantidades reales, por ejemplo
Re{z}, Im{z}, |z|, etcétera. Si se considera las cantidades complejas en coordenadas rectan-
gulares (z = x + i y), entonces las desigualdades funcionan de forma equivalente a los pares
ordenados de números reales (R2 ). Por ejemplo, es posible plantear:
Re{z} ≤ Im{z} =⇒ x≤y
lo que es satisfecho por todos aquellos números complejos z cuya parte real sea menor
o igual a su parte imaginaria (Figura (1.5))
Figura 1.5: Desigualdad representada por un área en el plano[4]
Es posible también representar curvas, como circunferencias, a través de las ecuaciones

clásicas en coordenadas cartesianas. Una circunferencia de radio r centrada en (x0 , y0 )
puede escribirse como:
(x − x0 )2 + (y − y0 )2 = r2
Pero también es posible escribirla en término de una variable compleja z y un punto
fijo z0 = x0 + i y0 en el plano como
|z − z0 | = r
Esta ecuación es satisfecha por todos los puntos z = x + i y que cumplan con pertenecer
a la circunferencia de radio r centrada en z0 (Figura 1.6a).
Demostración.
z − z0 = (x − x0 ) + i (y − y0 )
√
|z − z0 | = (x − x0 )2 + (y − y0 )2
|z − z0 |2 = (x − x0 )2 + (y − y0 )2

1.5 Regiones en el plano complejo 13
(a) Circunferencia de radio r centrada en z0 (b) Entorno punteado de radio r en torno a z0
Figura 1.6: Representaciones de curvas y regiones
Para definir una región circular se puede plantear la inecuación:
0 < |z − z0 | < r
Esta área estará definida por todos los puntos que estén contenidos sólo al interior del
círculo de radio r centrado en z0 , sin contener al punto z0 (Figura 1.6b).
La línea punteada denota que la curva no está contenida, y el círculo blanco denota
que el punto no está contenido. Esta región recibe el nombre de entorno punteado (deleted
neighborhood). De estar contenido el punto z0 , la región correspondería simplemente al en-
torno o vecindad de radio r del punto z0 .
El conjunto de puntos considerandos, recibe el nombre de conjunto, mientras que los

puntos que pertenecen al conjunto, se denominan miembros o elementos de éste.
Es importante considerar el concepto de conjunto abierto; éste corresponde a una

extensión de un intervalo abierto en los números reales, es decir, en el caso de R éste co-
rresponde al conjunto que se encuentra entre dos números reales, pero sin considerar los
extremos; en caso de R2 es equivalente, pero aquí un conjunto abierto serán los puntos
(x, y) al interior de una curva cerrada, pero sin incluirla. Por ejemplo, la circunferencia de
la figura 1.6a es una curva, y los puntos de la figura 1.6b corresponde al conjunto abierto
que ésta delimita.
Por último, un dominio se define como aquel conjunto que es abierto, y que además
es conexo, ésto quiere decir que es una región donde los puntos que pertenecen al conjunto,
siempre pueden ser conectados por una curva cuyos puntos también sean pertenezcan al
conjunto. En palabras simples, es una región que puede tener agujeros, pero no puede estar
separada en más regiones.
2. Funciones analíticas
2.1 Funciones de variable compleja

Una función compleja f (z) corresponde a una función que toma un punto z = (x, y)
del plano complejo, y entrega una cantidad que también puede ser compleja. Como toda
cantidad compleja, también es posible separarla en su parte real e imaginaria (las que a su
vez serán funciones de x e y):
w = f (z) =⇒ u(x, y) + i v(x, y) = f (x + i y)
Análogamente, es posible describir los puntos del dominio de la función, en coordenadas

polares:
z = r ei θ =⇒ f (z) = u(r, θ) + i v(r, θ)
Una dificultad que se presenta, es al momento de visualizar estas funciones, ya que al

ser cantidades complejas, hacen falta dos cantidades para definir el valor de la función, y
como su dominio también son cantidades complejas, hacen falta dos cantidades más para
definirlo. Es decir, en total, el dominio más el recorrido de la función, es un espacio de
cuatro dimensiones.
Una forma de solucionar esto, es graficar sólo una cantidad de interés (como la magnitud
de la función, o sólo la parte real o imaginaria) en función del plano complejo. Esto es ahora
un espacio de tres dimensiones por lo que es posible visualizarlo a través de una superficie,
asignando al eje z el valor de la cantidad de interés.
2.1 Funciones de variable compleja 15
Si por ejemplo se desea visualizar la función w = z 2 con z = x + i y, podría graficarse

|w|, Re{w} o Im{w}, para estudiar el comportamiento de la función.
w = z 2 = (x + i y)2 = x2 − y 2 + 2 i x y
√ √
|w| = w w = z 2 (z 2 )∗ = z z ∗ = x2 + y 2
∗
Re{w} = x2 − y 2
Im{w} = 2 x y
0
2
1 2
0 1
0
-1
-1
-2 -2
(a) |w| = x2 + y 2
5
2
0 0
-2
-5
-4
2 2
1 2 1 2
0 1 0 1
0 0
-1 -1
-1 -1
-2 -2 -2 -2
(b) Re{w} = x2 − y 2 (c) Im{w} = 2 x y
Figura 2.1: Formas de visualizar w

16 Capítulo 2. Funciones analíticas
2.2 Límites
La definición de límites es análoga al caso de funciones reales. La función f (z) tendrá
un límite f0 cuando z tienda a z0 si la magnitud de la diferencia entre f (z) y f0 puede
hacerse tan pequeña como se desee, al elegir un z suficientemente cercano a z0 . De forma
matemática, si para cada ε > 0, existe un número δ > 0 tal que
|f (z) − f0 | < ε
para todo z que viva al interior del entorno punteado de z0 de radio δ:
0 < |z − z0 | < δ
entonces se dice que f0 es el límite de f (z) cuando z tiende a z0 :
lı́m f (z) = f0
z→z0
Es importante recordar de las funciones en R, que para que el límite exista en un punto,
los límites laterales deben coincidir. Aquí el concepto es análogo, pero la existencia de un
límite en un punto requiere que los límites, acercándose por cualquier dirección en el plano,
coincidan.
Límites en el infinito
Para introducir el concepto del infinito en los números complejos, es posible considerar
el plano complejo, atravesando por el ecuador a una esfera unitaria centrada en el origen
(o bien, que el polo sur de la esfera esté ubicado en el origen). A cada punto z del plano le
corresponderá sólo un punto P en la superficie de la esfera, que es donde se intersecta una
línea que conecta el punto z con el polo norte N de la esfera.
Figura 2.2: Esfera de Riemann en dos representaciones [2, 4]
La única manera de que el punto P coincida con N , es que se tome un punto z infinita-
mente lejano al origen; por lo que N es una representación del infinito. La esfera es conocida
como la esfera de Riemann, y el conjunto que incluye al infinito se denomina plano complejo
extendido.
2.3 Derivada compleja 17
Continuidad
Una función f (z) es continua en z0 si f (z0 ) está definida, y existe el límite
lı́m f (z) = f (z0 )
z→z0
Ejemplo 2.1 Estudiar la continuidad en z = i de la función



 z2 + 1

 z−i z ̸= i
f (z) =



3 i z=i
La primera condición es que la función esté definida en el punto z = i. En este caso,

lo está y toma el valor f (i) = 3 i. Además, el límite en este punto debe coincidir con el
valor que toma la función en éste. Para explorarlo es posible considerar la función para
z ̸= i, y determinar el valor cuando se acerca a z = i:
z2 + 1 (z − i)(z + i)
lı́m f (z) = lı́m = lı́m f (z) = lı́m = lı́m z + i = 2 i
z→i z→i z − i z→i z→i z−i z→i
Aquí es posible notar que la función no es continua, ya que el límite no coincide con la
función en el punto. Si la función estuviese definida en z = i como 2 i entonces sí sería
una función continua.

La suma, diferencia, productos o cocientes∗ de funciones continuas, es también una

función continua.
Si f (z) es continua en una región R, entonces |f (z)| también lo es.
∗
Excepto donde el denominador es cero
2.3 Derivada compleja

La derivada de f en z0 puede escribirse como los límites
f (z0 + ∆z) − f (z0 ) f (z) − f (z0 )
f ′ (z0 ) = lı́m f ′ (z0 ) = lı́m
∆z→0 ∆z z→z0 z − z0
y la función f se dice que es diferenciable en z0 si f ′ (z0 ) existe. Se simboliza como:
( )
df
≡ f ′ (z0 )
dz z0
Si se toma ∆ω = w(z + ∆z) − w(z) (es decir, la diferencia de una función w en un punto
arbitrario z0 = z), es posible escribir lo anterior de forma más simple como:
dw ∆ω
= lı́m
dz ∆z→0 ∆z
Regla de l’Hôpital
Al igual que en las funciones reales, se cumple la regla de l’Hôpital para evaluar los
límites que estén en formas indeterminadas con ayuda de las derivadas:
′
g(z) g (z)
lı́m = lı́m ′
z→z0 h(z) z→z0 h (z)
Identidades importantes de derivación:

d df dg
( f (z) ± g(z) ) = ±
dz dz dz
d df dg
( f (z) g(z) ) = g(z) + f (z)
dz dz dz
d df dg
f ( g(z) ) =
dz dg dz
Estas identidades se satisfacen cuando f (z) y g(z) son diferenciables para algún z
según corresponda.
2.4 Condiciones de Cauchy-Riemann

Para que exista una derivada, deben cumplirse las condiciones de existencia de un límite
como cualquier otro. Es decir, que éste sea el mismo al acercarse por cualquier dirección.
Si se considera una función compleja de la forma f (z) = u(x, y) + i v(x, y), para que
exista la derivada
f (z) − f (z0 )
f ′ (z0 ) = lı́m
z→z0 z − z0
es necesario que el límite entregue el mismo valor al acercarse a z0 = x0 + i y0 desde
cualquier dirección. En particular se puede acercar a este punto de forma horizontal, o de
forma vertical. La variación de z puede también separarse en las variaciones respectivas en
el eje real y el imaginario como ∆z = ∆x + i ∆y, por lo que es más conveniente utilizar la
notación
f (z0 + ∆z) − f (z0 )
f ′ (z0 ) = lı́m
∆z→0 ∆z
Si se acerca al punto z0 de forma horizontal, entonces la variación de z será simplemente
∆z = ∆x:
f (z0 + ∆x) − f (z0 )
f ′ (z0 ) = lı́m
∆x→0 ∆x
u(x0 + ∆x, y0 ) − u(x0 , y0 ) v(x0 + ∆x, y0 ) − v(x0 , y0 )
= lı́m + lı́m i
∆x→0
( ) ∆x ∆x→0 ∆x
∂u ∂v
= +i
∂x ∂x (x0 , y0 )
2.5 Funciones analíticas 19
Al evaluar la función en ∆z se obtienen dos límites que corresponden a las derivadas

parciales con respecto a x (ya que u(x, y) y v(x, y) son funciones de x e y).
De forma análoga, es posible acercarse al punto z0 de forma vertical, esto implicaría que
∆z = i ∆y:
f (z0 + i ∆y) − f (z0 )
f ′ (z0 ) = lı́m
∆y→0 i ∆y
u(x0 , y0 + ∆y) − u(x0 , y0 ) v(x0 , y0 + ∆y) − v(x0 , y0 )
= lı́m + lı́m i
∆y→0 i ∆y ∆y→0 i ∆y
( )
∂u ∂v
= −i +
∂y ∂y (x0 , y0 )
Se utilizó que 1/i = −i. Ya que para que el límite exista, ambas cantidades encontradas
deben ser iguales, entonces debe cumplirse que:
∂u ∂v ∂u ∂v
−i + = +i
∂y ∂y ∂x ∂x
Igualando las partes reales e imaginarias, se obtienen las ecuaciones de Cauchy-Riemann:
∂u ∂v ∂u ∂v
= =−
∂x ∂y ∂y ∂x
Éstas son una condición necesaria para la existencia de la derivada en un punto.
La derivada, como ya fue mostrado, puede calcularse como:
df ∂u ∂v df ∂u ∂v
= +i = −i +
dz ∂x ∂x dz ∂y ∂y
Las ecuaciones de Cauchy-Riemann también pueden ser escritas en coordenadas polares
x = r cos θ y = r sin θ
quedando de la forma:
∂u 1 ∂v ∂v 1 ∂u
= =−
∂r r ∂θ ∂r r ∂θ
mientras que la derivada en forma polar puede calcularse como:
( ) ( )
df −i θ ∂u ∂v df e−i θ ∂u ∂v
=e +i = −i +i
dz ∂r ∂r dz r ∂θ ∂θ
2.5 Funciones analíticas

Una función se dice que es analítica en un punto z0 , si existe la derivada en éste, y además
en su entorno. También puede ser analítica en todo un dominio, si es que es analítica en
cada uno de sus puntos.
Si la función es analítica en todo el plano complejo, entonces se dice que es una función
entera.
Un concepto importante es de las singularidades; éstas corresponden a los puntos donde
la función no es analítica, pero sí lo es en algún punto del entorno más pequeño de estos
puntos.
Ejemplo 2.2 Estudiar la diferenciabilidad de
f (z) = ez
Encontrar su derivada y el dominio donde existe. La función puede escribirse como:
f (z) = ez = ex ei y = ex (cos y + i sin y)
Por lo que se satisfacen las condiciones de Cauchy-Riemann

∂u ∂v ∂u ∂v
= ex cos y = = −ex sin y = −
∂x ∂y ∂y ∂x
para todo z y las derivadas son continuas en todo el plano. De esta forma, la derivada
es
df ∂u ∂v
= +i = ex cos y + i ex sin y = ez
dz ∂x ∂x
Ya que la derivada existe en todo el plano, entonces f (z) corresponde a una función
entera.

Si dos funciones son analíticas en un dominio, entonces la suma, diferencia, el producto

y el cociente (excepto donde el denominador es cero) entre éstas, es también una
función analítica en el dominio.
2.6 Funciones armónicas

Una función ϕ se dice que es armónica si satisface la ecuación de Laplace:
∂2ϕ ∂2ϕ
+ 2 =0
∂x2 ∂y
Para esto debe tener derivadas parciales continuas de primer y segundo orden en el
dominio considerado.
Si una función es analítica en un dominio D, entonces tanto la parte real como la

imaginaria serán armónicas en D.
Para ver lo anterior, es posible considerar las condiciones de Cauchy-Riemann y derivar

respectivamente por x e y:
∂u ∂v ∂2u ∂2v
= =⇒ =
∂x ∂y ∂x2 ∂y∂x
∂u ∂v 2
∂ u ∂2v
=− =⇒ =− 2
∂y ∂x ∂y∂x ∂x
Al sumar ambas ecuaciones obtenidas, se obtiene la ecuación de Laplace para la parte

real u(x, y):
∂2u ∂2u
+ 2 =0
∂x2 ∂y
Si se derivan las ecuaciones de Cauchy en función de las variables invertidas (u con

respecto a y y v con respecto a x), al sumarlas, se obtiene la ecuación de Laplace para la
parte imaginaria v(x, y).
Otra forma de escribir la ecuación de Laplace es a través del operador laplaciano ∇2 :
∂2 ∂2
∇2 ϕ = 0 ∇2 = +
∂x2 ∂y 2
En coordenadas polares, la ecuación de Laplace queda como:
∂2ϕ 1 ∂ 2 ϕ 1 ∂ϕ
∇2 ϕ = + + =0
∂r2 r2 ∂θ2 r ∂r
Si se conoce una función real ϕ(x, y) que es armónica, siempre se puede encontrar una
función f (x, y) = ϕ(x, y) + i v(x, y) que sea analítica. La función v que satisface esto, recibe
el nombre de la función armónica conjugada de ϕ.
Dada una función ϕ(x, y) que es armónica en un dominio simplemente conexo D,

entonces existe una función analítica cuya parte real es ϕ(x, y) (También existe una
cuya parte imaginaria es ϕ(x, y))
Para encontrar la función armónica conjugada es necesario resolver las ecuaciones de

Cauchy-Riemann, lo que entregará una solución única excepto por la adición de una cons-
tante.
Ejemplo 2.3 Mostrar que la función
u(x, y) = y 3 − 3 x2 y
puede ser la parte real de una función analítica. Encontrar la parte imaginaria de ésta.
En posible verificar que u(x, y) satisface la ecuación de Laplace:
∂2u ∂2u
= −6 y = 6y =⇒ ∇2 u(x, y) = 0
∂x2 ∂y 2
Por lo que corresponde a una función armónica. La función armónica conjugada v(x, y)
se relaciona mediante las condiciones de Cauchy-Riemann, por lo que se cumple que:
ˆ
∂u ∂v ∂v
= −6 x y = =⇒ v(x, y) = dy = −3 x y 2 + ϕ(x)
∂x ∂y ∂y
Utilizando la otra condición de Cauchy-Riemann:

∂u ∂v dϕ
=− =⇒ 3 y 2 − 3 x2 = 3 y 2 −
∂y ∂x dx
Por lo que integrando se encuentra que ϕ = x3 + C, donde C es un número real que

depende de las condiciones de borde. De esta forma, la función armónica conjugada es
v(x, y) = −3 x y 2 + x3 + C
Y la función analítica correspondiente será

( ) ( )
f (z) = y 3 − 3 x2 y + i −3 x y 2 + x3 + C
Si se considera una función analítica f (z) = u(x, y)+i v(x, y), la familia de curvas, donde
u es igual a una constante (Curvas de contornoonivel : u = c1 , u = c2 , etc) , es ortogonal a
la familia de curvas donde v es constante (v = k1 , v = k2 , etc.).
Considerando una función analítica f (z) = u + i v, entonces cada curva de nivel de

u , forma un ángulo de 90◦ en la intersección con las curvas de contorno de v (No
necesariamente donde la derivada se anula).
Ejemplo 2.4 Graficar algunas curvas de nivel de f (z) = z 2 .

Es necesario escribir la función en la forma f (z) = u + i v:
( )
f (z) = z 2 = (x + i y)2 = x2 − y 2 + i (2 x y)
Al graficar para diferentes constantes las funciones u(x, y) = c y v(x, y) = k se obtie-

ne una figura como la siguiente:
Donde las líneas continuas corresponden a curvas de nivel de u(x, y) = x2 − y 2 ,

mientras que las líneas punteadas son curvas de nivel de v(x, y) = 2 x y. Es fácil notar
que en la intersección de las curvas de u con las curvas de v son perpendiculares entre sí.

3. Funciones elementales
3.1 La función exponencial

Se define una función de forma análoga al caso real:
ez = ex+i y = ex { cos y + i sin y }
Puede mostrarse que es una función entera, y se reduce al caso real cuando y = 0. La
derivada de la función es la misma función, lo que puede verse escribiéndola como:
d z ∂ x ∂ x
e = e cos y + i e sin y = ex cos y + i ex sin y = ez
dz ∂x ∂x
Ya que la parte imaginaria ei y , define un punto en el espacio en el círculo unitario,
entonces al aumentar y en 2 π se define nuevamente el mismo punto (lo que puede repetirse
infinitas veces), es decir:
ei y = ei (y+2 π k) =⇒ ez = ez+i 2 π k k ∈ Z
Ya que hay funciones de una variable real, que pueden escribirse como la parte real
de una función compleja de una variable real, entonces es importante mencionar que la
derivada de la parte real, es equivalente a la parte real de la derivada:
( ) ( )
d d
Re f (x) = Re f (x)
dx dx
3.2 Funciones trigonométricas 25
3.2 Funciones trigonométricas

Se definen las funciones seno y coseno de forma equivalente al caso real, a través de
exponenciales (esta vez complejas):
1 ( iz ) 1 ( iz )
sin z = e − e−i z cos z = e + e−i z
2i 2
donde se reduce al caso real cuando z es un número real. Ya que e±i z es una función entera,
el seno y el coseno también lo son. Se cumplen las reglas de derivación al igual que en los
reales:
d i ( iz ) d i ( iz )
sin z = e + e−i z = cos z cos z = e − e−i z = − sin z
dz 2i dz 2
Considerando las funciones hiperbólicas
1 ( θ ) 1 ( θ )
sinh θ = e − e−θ cosh θ = e + e−θ
2 2
Es posible reescribir las funciones anteriores como:
1 ( i (x+i y) ) 1 ( −y )
sin z = e − ei (x−i y) = e (cos x + i sin x) − ey (cos x − i sin x)
2i 2i
Obteniéndose:
sin z = sin x cosh y + i cos x sinh y

cos z = cos x cosh y − i sin x sinh y
También, existe una propiedad que relaciona los senos y cosenos con sus análogos hiper-
bólicos. Es posible notar que al tomar z = i θ en la forma exponencial de las funciones:
1 ( −θ )
sin (i θ) = e − eθ = i sinh(θ) = i sin z
2i
1 ( −θ )
cos (i θ) = e + eθ = cosh θ
2
A partir del seno y el coseno, se definen también las funciones tangente, secante y
cosecante, cuyas derivadas poseen la misma forma que en el caso real:
d d d
tan z = sec2 z sec z = tan z sec z csc z = − cot z csc z
dz dz dz
3.3 Funciones hiperbólicas

Se definen de forma análoga al caso real como:
1 ( z ) 1 ( z )
sinh z = e − e−z cosh z = e + e−z
2 2
Se verifica que sus derivadas son funciones enteras y de la forma:
d d
sinh z = cosh z cosh z = sinh z
dz dz
26 Capítulo 3. Funciones elementales
Es posible relacionar las funciones anteriores con el seno y el coseno:

1 ( iz )
sinh(iz) = e − e−i z = i sin z
2
1 ( iz )
cosh(iz) = e + e−i z = cos z
2
En general se cumplen las identidades de las funciones hiperbólicas de los reales, como
por ejemplo:
cosh2 z − sinh2 z = 1
También pueden ser expandidas en la forma a + i b, a través de funciones reales de

variable real como:
sinh z = sinh x cos y + i cosh x sin y

cosh z = cosh x cos y + i sinh x sin y
3.4 La función logarítmica

Para definir la función logarítmica, se busca resolver la ecuación
ew = z
para w, donde z es algún número complejo no nulo. Si se escribe w como w = u + i v y z

como z = r ei θ (con −π < θ ≤ π), entonces la ecuación anterior genera:
eu ei v = r ei θ
Es decir, se tienen las ecuaciones
eu = r v = θ + 2πk k∈Z
ya que u es real, entonces
u = Log r
y w puede ser escrito como
w = Log r + i (θ + 2π k) k∈Z
y es posible utilizar ésta como la definición de la función logaritmo (multivaluada) de

una cantidad compleja:
log z = Log r + i (θ + 2 π k) o bien log z = Log |z| + i arg z k∈Z
ya que satisface la ecuación del inicio
ew = elog z = z z ̸= 0
3.5 Exponenciación compleja 27
Es importante notar que si se toma el logaritmo de la exponencial, no se llega necesa-

riamente al valor de z, ya que
log (ez ) = Log |ez | + i arg (ez )
donde
|ez | = ex arg (ez ) = y + 2 π k k∈Z
Ya que
z = x + iy =⇒ ez = ex ei y
Es decir,
log (ez ) = Log (ex ) + i (y + 2 π k) = x + i (y + 2 π k) k∈Z
Se puede reconocer z = x + i y en la ecuación anterior, obteniéndose:
log (ez ) = z + 2 π k i k∈Z
El valor principal, denotado por Log z, se obtiene tomando k = 0 en lo anterior:
Log z = Log |z| + i θ z ̸= 0 −π < θ ≤ π
donde Log |z| es el típico logaritmo natural real, ya que |z| es una cantidad real, y Log z
es el argumento principal del logaritmo complejo, ya que z es complejo. De la forma en
que está definida anteriormente, la función no es continua en θ = π, ya que en el plano,
al acercarse por arriba al eje real negativo, se tiene un valor de θ = π, mientras que al
acercarse por abajo, se tiene que θ = −π, por lo que existe un salto entre éstos valores.
Para que sea continua, es posible remover estos valores, de modo que se cumpla la
condición de continuidad:
log z = Log r + i θ r>0 −π < θ < π
Obteniéndose que en esta región la función es analítica y corresponde a un dominio, por

lo que define el concepto de rama principal del logaritmo.
3.5 Exponenciación compleja

Cuando z ̸= 0 y el exponente c es cualquier número complejo, la función z c está definida
de forma análoga al caso real:
z c = ec log z
donde log z corresponde a la función logaritmo multivaluada. Para que la función sea
univaluada y analítica es necesario considerar una de las ramas del logaritmo
log z = Log r + i θ r > 0, α < θ < α + 2π

28 Capítulo 3. Funciones elementales
donde Log r corresponde al logaritmo real y α es un número real arbitrario. Se cumple

que la derivada posee la misma forma que en el caso real:
d c
z = c z c−1 |z| > 0, α < arg z < α + 2π
dz
la rama principal de la función z c , corresponde a la elección de la rama principal del
log z.
Utilizando la definición, se puede obtener el caso de la función exponencial de base c,
donde c es cualquier constante compleja:
cz = ez log c
Especificando una rama de log c, cz es una función entera de z, y se cumple que la

derivada posee la misma estructura que en el caso real:
d z
c = cz log c
dz
3.6 Funciones trigonométricas e hiperbólicas inversas
[ ( )1/2 ] [ ( )1/2 ]
sin−1 z = −i log z i + 1 − z 2 cos−1 z = −i log z + i 1 − z 2
[ ( )1/2 ] [ ( )1/2 ]
sinh−1 z = log z + z 2 + 1 cosh−1 z = log z + z 2 − 1
4. Integrales en el plano complejo
4.1 Integrales complejas de variable real

En primera instancia, es posible considerar el caso en que se desea integrar una función
ω(t) que corresponda a una función compleja de variable real t. Es posible escribir:
w(t) = u(t) + i v(t)
donde u(t) y v(t) son funciones reales, por lo que la integral de w(t) en el intervalo
a ≤ t ≤ b está dada por
ˆ b ˆ b ˆ b
w(t) dt = u(t) dt + i v(t) dt
a a a
Y las integrales de u(t) y de v(t) se realizan según las reglas usuales de cálculo real.
Ya que las integrales de u(t) y v(t) son reales, debe cumplirse además que:
{ˆ b } ˆ b {ˆ b } ˆ b
Re w(t) dt = Re [w(t)] dt Im w(t) dt = Im [w(t)] dt
a a a a
4.2 Contornos
En el caso de las integrales de funciones de variable compleja, es necesario considerar un
camino C a recorrer en el plano complejo para la integración, a diferencia del caso real, en
que se recorre sólo un intervalo. Este camino debe cumplir con ser una unión de arcos, donde
un arco es un conjunto de puntos z = (x, y) en el plano, que dependen de un parámetro t:
dz dψ dϕ
x = ψ(t) y = ϕ(t) z = x + iy = +i
dt dt dt
con ψ y ϕ funciones continuas. El parámetro real t varía entre ta ≤ t ≤ tb , tal que al
barrer el intervalo, z(x(t), y(t)) recorra el camino C.
30 Capítulo 4. Integrales en el plano complejo
4.3 Integrales de contorno complejas
Para evaluar integrales de contorno en el plano complejo, se puede recorrer el contorno

a través del cambio de variable
ˆ ˆ tb
dz(t)
f (z) dz = f (z(t)) dt
C ta dt
a modo que la dependencia del camino, ahora se encuentre en el parámetro t (La integral
puede separarse en varios arcos para facilitar la parametrización), donde z(t), entre ta y tb ,
debe dar cuenta de la forma de C.
Ejemplo 4.1 Hallar el valor de la integral

ˆ
π π
I= z ∗ dz con C : z = 2 ei θ − ≤θ≤
C 2 2
donde C corresponde a la parte derecha del círculo |z| = 2.
Figura 4.1: Contorno de la integral C
Con lo visto anteriormente, es posible llevar la integral de contorno, a una integral

en un parámetro que lo recorra. En este caso el contorno ya está parametrizado a través
de θ, por lo que la integral queda:
ˆ ˆ θ2 ˆ π/2 ( )∗ d ( )
dz(θ)
I= z ∗ dz = z ∗ (θ) dθ = 2 ei θ 2 ei θ dθ
C θ1 dθ −π/2 dt
ˆπ/2 ˆ π/2
= 2 e−i θ 2 i ei θ dθ = 4 i = 4πi
−π/2 π/2

Cota superior para el módulo de integrales de contorno

Existe una desigualdad que puede ser relevante en diferentes aplicaciones y demostra-
ciones, y entrega una cota superior para el módulo de una integral de contorno compleja
de la forma:
ˆ
f (z) dz ≤ M L
C
donde C denota un contorno de largo L, y f (z) debe ser continua en C. M corresponde

a una constante no negativa tal que representa una cota para la magnitud de la función:
|f (z)| ≤ M
y como ya se mencionó, L corresponde al largo del camino C, que puede ser encontrado
por
ˆ ˆ b
d
L= |dz| = z(t) dt
C a dt
donde z(t) es alguna parametrización de C en t, con a ≤ t ≤ b.
Ejemplo 4.2 Si se considera C como el arco de círculo |z| = 2, desde z = 2 a z = 2i en
el primer cuadrante, se puede encontrar una cota para la integral

ˆ
z+4
3−1
dz
C z
Es necesario encontrar una cota para la función, en el camino de integración (|z| = 2):
z+4
|z + 4| ≤ |z| + 4 = 6 z 3 − 1 ≥ |z|3 − 1 = 7
z3 − 1
z+4 6
≤
z −1
3 7
Si se considera este valor como M = 6/7, y notando que L = π, ya que corresponde a

un cuarto de perímetro de una circunferencia de radio 2, entonces:
ˆ
z+4 6
dz ≤ M L =
C z −1
3 7

Teorema de Cauchy Goursat

Si se toma la integral cerrada de una función analítica f (z) = u + i v, en algún dominio
simplemente conexo D, donde el diferencial dz puede ser descompuesto en sus partes reales
e imaginarias:
‰ ‰ ‰ ‰
f (z) dz = (u + i v) (dx + i dy) = u dx − v dy + i v dx + u dy
C C C C
Considerando el teorema de Green, es posible reescribir lo anterior como:

‰ ¨ { }
∂u ∂v ∂v ∂u
f (z) dz = − − − dx dy
C R ∂x ∂y ∂x ∂y
Pero si f (z) es analítica, entonces satisface las condiciones de Cauchy Riemann:
∂u ∂v ∂v ∂u
= =−
∂x ∂y ∂x ∂y
Es decir, los términos de la integral se cancelan y finalmente se obtiene:
‰
f (z) dz = 0 (Teorema de Cauchy-Goursat)
C
donde es necesario que f (z) sea analítica al interior de un contorno cerrado simple C
(y en C mismo) para que lo anterior se cumpla.
Ejemplo 4.3 Si C es el contorno cerrado dado por z = 2, o cualquier contorno en su

interior, entonces la integral sobre éste de cualquier función analítica será nula, como
por ejemplo,
ˆ
cosh z
2 3
dz = 0
C (z + 9)
ya que en este caso, las singularidades z = ±3i, están fuera del contorno de integra-
ción, y la función es analítica en su interior.

Figura 4.2: Contorno de la integral C
Principio de deformación de contornos

Ya que al tomar cualquier contorno cerrado para realizar una integral de una función
analítica se obtiene que ésta se anula, entonces es posible considerar que los contornos de
dichas integrales son independientes del camino:
‰ ‰
f (z) dz = f (z) dz C1 ̸= C2
C1 C2
Figura 4.3
Esto es válido siempre y cuando C1 pueda ser llevado a C2 sin cruzar una singularidad.
Por ejemplo, al considerar la situación de la figura 4.3, donde se tiene una función que
es analítica en C1 y C2 , pero no en C3 , al realizar una integral cerrada es posible deformar
el camino de C1 a C2 , ya que es analítica al interior de éstos, pero no a C3 ya que implicaría
cruzar una singularidad, o bien,
‰ ‰ ‰
f (z) dz = f (z) dz ̸= f (z) dz
C1 C2 C3
Independencia de caminos
Ya que el teorema de Cauchy Goursat implica que la integral cerrada de una función
analítica es cero, es posible tomar uno de estos caminos y dividirlo en dos, como se muestra
en la figura 4.4, tal que la suma de ambos siga siendo cero:
‰ ˆ ˆ
f (z) dz = f (z) dz + f (z) dz = 0
C C1 −C2
Despejando y considerando que recorrer la integral en sentido contrario, cambia el signo

del valor de la integral:
ˆ ˆ ˆ
f (z) dz = − f (z) dz = f (z) dz
C1 −C2 C2
Por lo que es lo mismo realizar la integral a través de C1 o C2 , y considerando el principio

de deformación de contornos, es equivalente a realizar la integral en cualquier camino que
se encuentre dentro de un dominio D donde f (z) sea analítica:
ˆ z2 ˆ z2 ˆ z2
f (z) dz = f (z) dz = f (z) dz
z1 z1 z1
a través de C1 a través de C2 a través de Ck
donde Ck es un camino perteneciente al dominio donde la función f (z) es analítica.

Figura 4.4: Independencia de caminos
Teorema fundamental del cálculo en el plano complejo

Ya que existen situaciones en las que las integrales son independientes del camino, debe
suceder que sea posible obtener su resultado sólo a través de los puntos iniciales y finales.
Si F (z) es analítica en un dominio D, y dF/dz = f (z) en éste, entonces:
ˆ z2
f (z) dz = F (z2 ) − F (z1 )
z1
en algún contorno perteneciente a D que contenga a z1 y z2 .

Lo anterior puede ser observado a través de considerar la integral de una función f (z)
en un contorno que posea una parametrización en t, y que en el dominio de integración
tenga una primitiva analítica F (z) tal que dF/dz = f (z):
ˆ z2 ˆ t2 ˆ t2 ˆ t2
dz dF dz
f (z) dz = f (z(t)) dt = dt = dF (z(t)) = F (z2 ) − F (z1 )
z1 t1 dt t1 dz dt t1
4.4 La fórmula integral de Cauchy

El principio de deformación de contornos también es válido cuando se integra una fun-
ción f (z) que no es analítica, sólo que el contorno de integración puede ser deformado a
otro que siga conteniendo a las mismas singularidades que el original.
Esto quiere decir que si se realiza la integral cerrada de una función que posee una
singularidad en z0 , ésta sólo puede depender del valor que tome el integrando en z0 . Esta
idea se encuentra descrita por la fórmula integral de Cauchy:
Si f (z) es una función analítica en todas partes al interior de un contorno cerrado simple
4.4 La fórmula integral de Cauchy 35
C, y z0 está al interior de C, se cumple que:

‰
1 f (z)
f (z0 ) = dz
2π i C z − z0
Ejemplo 4.4 Encontrar el valor de la integral

‰ ‰ { }
z z/(9 − z 2 ) z π
dz = dz = 2 π i =
|z|=2 (9 − z )(z + i)
2
|z|=2 z − (−i) 9 − z2 z=−i 5
donde se consideró sólo la singularidad en z = −i, ya que las que se encuentran en

z = ±3 están fuera del contorno dado por |z| = 2.
Además, es posible extender lo anterior, tomando la derivada n-ésima con respecto a z0

a ambos lados, obteniendo la forma general:
‰
n! f (z)
f (n) (z0 ) = dz
2πi C (z − z0 )n+1

‰
e2z 2 π i d3 2z 2 π i 2z 8πi
dz = e = 8e =
|z|=1 z4 3! dz 3 z=0 3! z=0 3
donde fue necesario tomar la tercera derivada acorde a la fórmula y evaluarla en el

lugar de la singularidad z = 0.

La fórmula anterior sirve cuando se está conteniendo sólo una singularidad al interior
del contorno, en z = z0 , pero de ésta puede derivarse una análoga que considera el caso en
que se tienen n singularidades al interior del contorno C:
‰
1 f (z) f (z)
=
2π i C (z − z1 ) (z − z2 ) · · · (z − zn ) (z − z2 ) (z − z3 ) · · · (z − zn ) z=z1
f (z)
+ + ···+
(z − z1 ) (z − z3 ) · · · (z − zn ) z=z2
f (z)
+
(z − z1 ) (z − z2 ) · · · (z − zn−1 ) z=zn
Esto puede observarse al considerar un contorno que posee dos singularidades en su

interior:
Figura 4.5: Múltiples singularidades encerradas
Si se divide el contorno en dos, de forma que cada uno contenga sólo una singularidad,
y que al sumarlos se obtenga nuevamente el contorno original (notando que en las partes
en que se juntan ambos caminos los sentidos son opuestos y se cancelan):
ˆ ˆ ˆ
f (z) f (z) f (z)
dz = dz + dz
C (z − z1 )(z − z2 ) C1 (z − z1 )(z − z2 ) C2 (z − z1 )(z − z2 )
De esta forma, cada integral puede ser evaluada utilizando la fórmula de Cauchy:
ˆ ˆ
f (z)/(z − z2 ) f (z)/(z − z1 ) f (z) f (z)
dz + dz = +
C1 z − z 1 C2 z − z 2 z − z 2 z=z1 z − z1 z=z2

‰ ‰ { −z }
1 e−z e e−z
dz = dz = 2 π i +
C e (z − 1)
z 2
C (z − 1)(z + 1) (z + 1) z=1 z−1 z=−1
[ −1 1
]
e e
= 2πi − = −2 π i sinh 1
2 2

5. Series infinitas de variable compleja
5.1 Series de Taylor

Un elemento de suma importancia en la física es el uso de series, en particular, la
expansión en serie de Taylor es fundamental.
Si se tiene una función f (z) que es analítica en un disco |z − z0 | < R0 (es decir, centrado
en z0 y de radio R0 ); entonces, la función f (z) posee una representación en serie de potencias:
∞
∑ 1 dn f
f (z) = cn (z − z0 )n cn = (Convergente en |z − z0 | < R0 )
n! dz n z=z0
n=0
donde la expansión anterior corresponde al desarrollo en serie de Taylor en torno a z0 ,

válido al interior del disco de radio R0 centrado en z0 . Si la función a expandir, no posee
singularidades entonces la serie converge a f (z) en todo el plano.
Un caso útil, es cuando la serie se expande en torno al origen (z0 = 0), lo que recibe el
nombre de serie de Maclaurin:
∞
∑ f (n)
f (z) = zn (Convergente en |z| < R0 )
n! z=0
n=0
donde f (n) = dn f /dz n representa la n-ésima derivada. Es importante recalcar que

una función posee una representación única en serie de potencias en torno a un punto,
convergente en un determinado dominio.
Series relevantes
Una de las funciones más relevantes en la teoría de variable compleja es la exponencial
f (z) = ez , que corresponde a una función entera, y por ende, posee una expansión de
Maclaurin válida para todo z.
38 Capítulo 5. Series infinitas de variable compleja
Para encontrar la serie de Maclaurin lo primero que se debe hacer es derivar la función
y evaluarla en cero para encontrar el coeficiente cn :
df d z dn f dn z
= e =1 = e =1 n = 0, 1, 2, ...
dz z=0 dz z=0 dz n z=0 dz n z=0
De esta forma, la representación en serie de Maclaurin será:

∞
∑ zn
z
e = |z| < ∞
n!
n=0
Es posible utilizar esta representación para derivar la expansión de funciones trigono-

métricas como el seno o el coseno:
[∞ ∞
] ∞
1 [ iz −i z
] 1 ∑ (iz)n ∑ (−iz)n 1 ∑ 1 n n
sin z = e −e = − = i z [1 − (−1)n ]
2i 2i n! n! 2i n!
n=0 n=0 n=0
Es posible notar que los términos con n pares se anulan, mientras que para n impares,
se obtiene el término 1 − (−1)n = 2. Para considerar sólo los términos de potencias impares
se reemplaza n por 2n + 1:
∞ ∞
1 ∑ z 2n+1 ∑ z 2n+1
sin z = 2 in = (−1)n |z| < ∞
2i (2n + 1)! (2n + 1)!
n=0 n=0
Si se calcula la serie derivando la función f (z) = sin z para obtener el coeficiente cn se

llega al mismo resultado. De forma análoga para el coseno, es posible derivar la serie anterior,
calcular el coeficiente según lo expuesto, o reemplazar la serie de las exponenciales en la
representación exponencial del coseno, y debe obtenerse lo mismo. Por ejemplo, derivando
la serie anterior:
∞
d d ∑ z 2n+1
cos z = sin z = (−1)n
dz dz (2n + 1)!
n=0
∞
∑ ∞
n 2n + 1 2n ∑ z 2n
= (−1) z = (−1)n |z| < ∞
(2n + 1)! (2n)!
n=0 n=0
Otra serie importante corresponde a la expansión de la función f (z) = 1/(1 − z). Para
calcular el coeficiente cn :
d 1 1 d2 1 2 dn 1 n!
= = =
dz 1 − z (1 − z)2 dz 1 − z
2 (1 − z)3 dz 1 − z
n (1 − z)n+1
Así entonces,
∑ ∞
1
= zn |z| < 1
1−z
n=0
5.2 Series de Laurent 39
donde aquí la serie es válida (o converge) para |z| < 1, ya que falla en ser analítica en el
punto z = 1, y el mayor círculo desde el origen que no contiene la singularidad es de radio
R0 = 1. Si se visualizan los primeros términos, es posible notar que corresponde a la suma
de la serie geométrica:
1 + z + z 2 + z 3 + ... + z n n = 0, 1, 2, ... |z| < 1
5.2 Series de Laurent

La expansión en serie de Taylor permite la representación de funciones analíticas al in-
terior de un círculo de convergencia, pero existen funciones que pueden ser analíticas fuera
de un círculo determinado, o de forma más general, en algún anillo, donde no puede reali-
zarse una expansión en serie de Taylor que converja en todo el dominio de la función. Para
realizar una expansión en serie en el dominio deseado, es necesario permitir la existencia
de potencias negativas de z − z0 en la serie.
Si una función f es analítica en un dominio anular R1 < |z − z0 | < R2 , centrado en z0 ,
entonces ésta posee una representación en serie de Laurent:
∞
∑
f (z) = cn (z − z0 )n (R1 < |z − z0 | < R2 )
n=−∞
que converge a f (z) en el anillo. Los coeficientes están dados por:

‰
1 f (z)
cn = dz n = 0 ± 1, ±2, ...
2π i C (z − z0 )n+1
Es posible separar la expansión en términos de potencias negativas, y no negativas:
∞
∑ ∞
∑
f (z) = an (z − z0 ) +
n
bn (z − z0 )−n R1 < |z − z0 | < R2
n=0 n=1
donde los coeficientes son
an = cn para n ≥ 0 bn = c−n para n < 0
La parte de la serie que contiene sólo potencias negativas de z − z0 se denomina parte

principal, mientras que el resto de la serie se denomina parte analítica.
Es posible notar que si f (z) es analítica al interior de R2 , entonces los términos de
la parte principal (potencias negativas) se anulan, ya que los coeficientes son cero por el
teorema de Cauchy-Goursat, mientras que los coeficientes de las parte analítica (potencias
no negativas) pueden ser evaluados por la fórmula integral de Cauchy:
‰
1 f (z) f (n) (z0 )
an = = (Por fórmula integral de Cauchy)
2 πi C (z − z0 )n+1 n!
‰
1 f (z)
bn = =0 (Por teorema de Cauchy-Goursat)
2 πi C (z − z0 )−n+1
por lo que en este caso se obtiene la expansión en serie de Taylor en torno a z0 . De esta
forma, es posible considerar las series de Laurent como una generalización de las series de
Taylor.
6. Residuos y polos
6.1 Clasificación de singularidades

Las singularidades son puntos en los que una función f (z) no es analítica. Éstas pueden
ser singularidades aisladas, es decir, existe una vecindad en torno a la singularidad en z0 ,
donde la función es analítica. También pueden ser no aisladas, lo que sucede cuando no
cumplen el criterio anterior, como por ejemplo en el caso de un corte de rama.
En el caso de las singularidades aisladas, existen diferentes clasificaciones:
Singularidad removible En este caso, si la función f (z) posee una singularidad en z0 ,
entonces el límite cuando z → z0 existe, y es igual a a0 . Puede evitarse la singularidad
definiendo la función en el punto como el límite que toma, es decir, f (z0 ) = a0 .
Además, al calcular la serie de Laurent en torno a z0 , se obtiene que la parte principal
se anula y se tiene una serie de Taylor.
Singularidad esencial Al calcular la serie de Laurent, se encuentra que ésta posee infini-
tos términos de potencias negativas. Una singularidad esencial será aquella en donde
dichos términos se indefinen simultáneamente.
Polo de orden k En este caso, la parte principal de la serie de Laurent posee una cantidad
finita de términos no nulos, donde el último coeficiente no nulo es bk , por lo que la
serie en un entorno punteado de z0 toma la forma:
{ ∞ }
∑
f (z) = an (z − z0 ) n
+ b1 (z − z0 )−1 + b2 (z − z0 )−2 + ... + bk (z − z0 )−k bk ̸= 0
n=0
Es importante notar que los casos anteriores son excluyentes, es decir, una singularidad
es removible (o evitable), esencial o es un polo. Una singularidad esencial podría
entenderse como un polo de orden infinito.
6.2 Residuos 41
6.2 Residuos
Si se tiene una singularidad aislada en z0 de una función f (z), entonces se tiene una
región para la que existe la representación en serie de Laurent:
{ ∞ }
∑
f (z) = an (z − z0 )n + b1 (z − z0 )−1 + ... + bn (z − z0 )−n + ...
n=0
donde los coeficientes bn están dados por:

‰
1 f (z)
bn = n = 1, 2, ...
2π i C (z − z0 )−n+1
donde C está en el dominio anular donde f (z) es analítica. Cuando n = 1, entonces se
obtiene la expresión de b1 :
‰
1
b1 = f (z) dz ≡ Res[f (z), z0 ]
2π i C
Se define el residuo de f en z0 como el valor del coeficiente b1 en la expansión de Laurent
de f en torno a z0 .
Con lo anterior, es posible notar que el problema de evaluar la integral cerrada de f (z)
se reduce a encontrar el coeficiente b1 de la serie de Laurent, denominado residuo:
‰
f (z)dz = 2 π i Res[f (z), z0 ]
C
Teorema del residuo de Cauchy

Cuando se tiene una cantidad finita de n singularidades aisladas al interior del contorno
de integración, y la función f (z) es analítica al interior de C, excepto en las singularidades,
entonces es posible encontrar su integral cerrada como:
‰ ∑ n
f (z) dz = 2 π i Res[f (z), zk ]
C k=1
6.3 Técnicas para determinar el residuo

Para encontrar el residuo de una función en un punto, es necesario conocer el orden
del polo. Existe una regla para determinarlo: Si z0 es un polo de orden N , entonces al
multiplicar f (z) por (z − z0 )m y tomar el límite cuando z → z0 se pueden obtener los
siguientes resultados:


bN m = N
lı́m (z − z0 ) f (z) = 0
m
m>N
z→z0 

∞ m<N
Si se considera la expansión de f (z) teniendo un polo de orden N en z0 :
f (z) = a0 + a1 (z − z0 ) + ... + b1 (z − z0 )−1 + ... + bN (z − z0 )−N

42 Capítulo 6. Residuos y polos
Entonces al multiplicarlo por (z − z0 )N se obtiene:
(z − z0 )N f (z) = a0 (z − z0 )N + a1 (z − z0 )N +1 + ... + b1 (z− z0 )N −1 + ... + bN
Para determinar el residuo de f (z) en torno a z0 es necesario obtener el coeficiente

b1 , pero ya que en (z − z0 )N f (z) está acompañado de la potencia (z − z0 )N −1 , es posible
derivarlo N − 1 veces para despejarlo:
dN −1 { } N!
N −1
(z − z0 )N f (z) = N ! a0 (z − z0 ) + a1 (z − z0 )2 + ... + (N − 1)! b1
dz 2!
Pero se obtiene una expresión de potencias sucesivas de z − z0 , pero ya que el término

b1 no está acompañado de ninguna potencia de z − z0 , es posible tomar el límite en que
z → z0 para deshacerse de las demás:
dN −1 { }
lı́m N −1
(z − z0 )N −1 f (z) = (N − 1)! b1
z→z0 dz
De esta forma, el residuo es simplemente
1 dN −1 { }
Res[f (z), z0 ] = lı́m −1
(z − z0 )N −1 f (z) (Polo de orden N )
(N − 1)! z→z0 dz N
Para el caso de orden 1 y 2 se tiene:
Res[f (z), z0 ] = lı́m { (z − z0 ) f (z) } (Polo de orden 1)

z→z0
d { }
Res[f (z), z0 ] = lı́m (z − z0 )2 f (z) (Polo de orden 2)
z→z0 dz
En el caso en que f (z) pueda escribirse como una división de funciones f (z) = g(z)/h(z),
y asumiendo que f (z) tiene un polo simple en z0 y que sólo h(z) se anula ahí, entonces al
aplicar la fórmula anterior:
g(z) g(z0 )
Res[f (z), z0 ] = lı́m (z − z0 ) = ′ (Polo de orden 1)
z→z0 h(z) h (z0 )
lo que resulta de utilizar la regla de l’Hôpital, siempre que h′ (z0 ) ̸= 0. En el caso de que
f (z) tenga un polo de segundo orden, lo anterior adquiere una forma más complicada, la
que puede deducirse tras determinar el coeficiente b1 de la serie de Laurent de g(z)/h(z):
[ ] ′′′
g(z) 2 g ′ (z0 ) 2 g(z0 ) h (z0 )
Res , z0 = ′′ − (Polo de orden 2)
h(z) h (z0 ) 3 (h′′ (z0 ))2
′′
donde g(z0 ) ̸= 0 y h(z0 ) = h′ (z0 ) = 0, pero h (z0 ) ̸= 0.
6.4 Integrales trigonométricas 43
6.4 Integrales trigonométricas

Un tipo de integrales reales que es posible resolver con el cálculo de residuos son aquellas
de la forma
ˆ 2π
R (cos θ, sin θ) dθ
0
con R siendo alguna función racional de cos θ y sin θ. Esta integral puede ser llevada a
una integral cerrada en el círculo unitario a través de las sustituciones:
z = ei θ dz = i ei θ dθ
1( ) 1 ( )
cos θ = z + z −1 sin θ = z − z −1
2 2i
De esta forma:
ˆ 2π ‰ ( )
1 1 ( −1
) 1 ( −1
)
R (cos θ, sin θ) dθ = R z+z , z−z dz
0 |z|=1 iz 2 2i
∑ [ ( ) ]
1 1 ( −1
) 1 ( −1
)
= 2πi Res R z+z , z−z , zk
iz 2 2i
|zk |<1
Ejemplo 6.1 Evaluar la integral

ˆ +π
1
dθ
−π 1 + sin2 θ
Haciendo z = ei θ :
ˆ +π ‰ ‰
1 1 dz 4iz
dθ = z−z −1 2 iz
= dz
−π 1 + sin2 θ |z|=1 1+( ) |z|=1 z4 − 6 z + 1
2i
Es necesario encontrar las raíces del denominador, el que es posible escribir como:
√
(z 2 )2 − 6(z 2 ) + 1 = 0 =⇒ z2 = 3 ± 2 2
√ √
Es decir,
√ se obtienen las cuatro soluciones z = ± 3 ± 2 2, donde sólo las raíces
√
z1,2 = ± 3 − 2 2 están al interior del círculo unitario; por lo que sólo es necesario
evaluar los residuos en estos puntos. Notando que z2 = −z1 :
‰ { [ ] [ ]}
4iz 4iz 4iz
dz = 2 π i Res 4 , z1 + Res 4 , z2
|z|=1 z − 6 z + 1 z − 6z 2 + 1 z − 6z 2 + 1
4
{ }
4 i z1 −4 i z1
= 2πi +
4 z13 − 12 z1 −4 z13 + 12 z1
√
= 2π
Es decir, se obtiene el resultado de la integral buscada:

ˆ +π √
dθ
2 = 2π
−π 1 + sin θ
6.5 Integrales impropias

Otro tipo de integrales a resolver son aquellas definidas como impropias, en donde alguno
-o ambos- de los límites de integración son infinitos:
ˆ +∞ ˆ k ˆ +∞
f (x) dx f (x) dx f (x) dx
k −∞ −∞
Puede mostrarse que
ˆ +∞ ∑
f (x) dx = 2 π i Res[f (z), polos en el semiplano superior]
−∞ k
Siempre que f (z) sea una función sin singularidades en el eje real y que cumpla con
lı́mz→∞ z f (z) = 0.
Tomando en primera instancia, la integral cerrada en un contorno C como el de la figura
6.1:
Figura 6.1
que consista en las líneas y = 0, −R ≤ x ≤ R, y el arco C1 dado por |z| = R,

0 ≤ arg z ≤ π. Cuando se escoge un R suficientemente grande, contendrá todas las singula-
ridades zk de la función que estén en el semiplano superior o upper half plane (abreviado
u.h.p.), y su valor es conocido por el teorema del residuo.
‰ ∑
f (z) dz = 2 π i Res[f (z), zk en el u.h.p.]
C k
Es posible separar la integral en dos partes; una en el eje real (donde z = x) y otra en
el arco C1 :
ˆ +R ˆ ∑
f (x) dx + f (z) dz = 2 π i Res[f (z), zk en el u.h.p.]
−R C1 k
6.5 Integrales impropias 45
Notar que el contorno debe ser recorrido en sentido antihorario para que en el eje real
los límites vayan de −R a +R. Cuando se hace tender R → ∞ se obtiene la integral real
buscada, pero además está la integral en C1 , la que se hace cero en las condiciones exigidas.
Es posible estimar el módulo de la integral en C1 por la desigualdad
ˆ ˆ π ( )
f (z) dz ≤ f R ei θ R dθ
C1 0
( ) ˆ π
≤ máx f R e iθ
R dθ
0≤θ≤π 0
= máx |z f (z)| π
z ∈ C1
donde se utilizó la parametrización z = R eiθ . Se consideró que la integral de |f (z)| es

siempre menor que la integral del valor máximo que toma |f (z)| en el camino C1 , el que se
sacó fuera de la integral por ser una constante.
Cuando R → ∞, entonces lı́mz→∞ z f (z) = 0 (condición que se exigía en un principio),
lo que significa que en este límite la integral en C1 se anula, y de esta forma:
ˆ +∞ ∑
f (x) dx = 2 π i Res[f (z), zk en el u.h.p.]
−∞ k
De forma análoga, es posible utilizar un camino que se encuentre en el semiplano inferior

o low half plane (l.h.p.), como se muestra en la figura 6.2.
Figura 6.2
Aquí es necesario que el contorno se recorra en sentido horario para que la integral en el
eje real vaya de −R a +R, pero eso implica que al evaluar los residuos hay que anteponer
un signo negativo:
ˆ +∞ ∑
f (x) dx = −2 π i Res[f (z), zk en el l.h.p.]
−∞ k
En el caso de funciones pares, es posible evaluar las integrales entre 0 e infinito utilizando
lo anterior, ya que:
ˆ ∞ ˆ
1 +∞
f (x) dx = f (x) dx Si f (x) es par
0 2 −∞
Ejemplo 6.2 Evaluar la integral

ˆ ∞
x4
dx
0 1 + x6
Para poder evaluarla con el método visto, es necesario que los límites estén entre
−∞ e ∞; notando que la función es par, entonces:
ˆ ∞ ˆ ∑ [ 4 ]
1 +∞ x4 z
= dx = π i Res , zk en el u.h.p.
0 2 −∞ 1 + x6 1 + z6
k
Los polos de la función están en 1 + z 6 = 0:
z 6 = −1
z 3 = ±i
( )1/3
z = e± i 2 ei2 π k = e± i 6 ei 3 π k
π π 2
1 (√ ) 1( √ )
z = ±i, 3±i , − 3±i
2 2
( √ )
Los polos en el u.h.p. son en i, ± 3 + i /2, los que pueden calcularse fácilmente, ya
que
z4 1
Res[f (z), zk ] = d
=
dz z=zk
6 zk
i
Res [f (z), i] = −
[ ] √ 6
√
3+i 3−i
Res f (z), =
2 12
[ √ ] √
− 3+i 3+i
Res f (z), =−
2 12
Sumando todo se obtiene:

ˆ ∞ ( √ √ )
x4 i 3−i 3+i π
6
dx = π i − + − =
0 1 + x 6 12 12 3
Integrales reales de Fourier
Utilizando en la sección anterior, también es posible evaluar las integrales del tipo
ˆ +∞ ˆ +∞
f (x) cos px dx f (x) sin px dx
−∞ −∞
que son comunes en cálculo de transformadas de Fourier. Para ello, es necesario recordar
que ambas integrales pueden escribirse como:
ˆ +∞ {ˆ +∞ }
f (x) cos px dx = Re f (z) ei p x
−∞
{ −∞ ∑ [ ]}
= Re 2 π i Res f (z) ei p z , Polos en u.h.p.
ˆ +∞ {ˆ +∞ }
ipx
f (x) sin px dx = Im f (z) e
−∞
{ −∞ ∑ [ ]}
= Im 2 π i Res f (z) ei p z , Polos en u.h.p.
6.6 Integrales en torno a puntos de rama

Es necesario considerar cómo es la integral de un arco de radio ρ → 0 alrededor de una
singularidad en x0 .
Figura 6.3
Para esto se considera un contorno Cρ como el de la figura 6.3, donde por conveniencia
posterior se toma en sentido horario.
Si se integra una función que tenga un polo simple en z = x0 , con una serie de Laurent
válida para 0 < ρ < R, se puede escribir:
∞
∑
c−1
f (z) = g(z) + g(z) = cn (z − x0 )n 0 < |z − x0 | < R
z − x0
n=0
Al integrarla en el contorno:
ˆ ˆ ˆ
1
f (z) dz = g(z) dz + c−1 dz
Cρ Cρ Cρ z − x0
g(z) está acotada al interior de |z − x0 | < R, por lo que en este dominio puede encon-
trarse una constante no negativa M tal que
ˆ
|g(z)| ≤ M =⇒ g(z) dz ≤ M L = M π rho en |z − x0 | < R
Cρ
Donde L es el largo del camino Cρ considerado. Cuando se toma el límite ρ → 0 entonces

la integral en g(z) se anula:
ˆ
lı́m g(z) dz = 0
ρ→0 Cρ
La otra integral puede parametrizarse utilizando que z − x0 = ρ ei θ donde 0 ≤ θ ≤ π:

ˆ ˆ π ˆ π
1 1
dz = − ρ i e dθ = −i
iθ
dθ = −i π
Cρ z − x0
iθ
0 ρe 0
Lo que es independiente de la magnitud de ρ. Notar que el signo nace de que el contorno

está recorrido en sentido horario.
La integral buscada entonces es:

ˆ
lı́m f (z) dz = −i π
ρ→0 Cρ
En general, cuando f (z) posee un polo simple en z0 , y se realiza una integral sobre un
arco Cρ de radio ρ con centro en z0 , que subtiende un ángulo α, como muestra la figura 6.4,
se cumple que:
ˆ [α ]
lı́m f (z) dz = −2 π i Res[f (z), z0 ]
ρ→0 Cρ 2π
Es decir, cuando se toma sólo una fracción de una integral cerrada circular, entonces el
resultado será la misma fracción del residuo, siempre que ρ → 0.
Figura 6.4
Cuando se tiene una integral impropia de una función real, que posee una singularidad
x0 en el eje real, es posible evaluarla de manera análoga a lo que se vio anteriormente, pero
ahora en un contorno C como el de la figura 6.5:
Figura 6.5
Si se toma un contorno C lo suficientemente grande (R → ∞), se tendrán en éste todas

las singularidades zk en el u.h.p., y el valor es conocido por el teorema de residuos:
‰ ∑
f (z) dz = 2 π Res[f (z), zk en el u.h.p.]
C k
De no haber singularidades la integral es nula por el teorema de Cauchy-Goursat. La

integral puede separarse en los diferentes caminos:
ˆ ˆ ˆ ˆ ˆ
f (z) dz = f (z) dz + f (z) dz + f (z) dz + f (z) dz
C L1 Cρ L2 CR
En los caminos L1 y L2 , z = x y tomando el límite ρ → 0, el valor de la integral en Cρ

es simplemente −πi como se obtuvo anteriormente:
ˆ ˆ 0 ˆ +R ˆ
f (z) dz = f (x) dx − i π + f (x) dx + f (z) dz
C −R 0 CR
Es posible tomar el caso R → ∞ y entonces la integral en CR → 0 por el lema de Jordan.

Así entonces:
ˆ ˆ 0 ˆ +∞ ∑
f (z) dz = f (x) dx + f (x) dx − i π = 2 π Res[f (z), zk en el u.h.p.]
C −∞ 0 k
O bien, reordenando lo buscado:

ˆ +∞ ∑
f (x) dx = 2 π Res[f (z), zk en el u.h.p.] + i π
−∞ k
Siempre que se tomen los límites adecuados y se cumpla el lema de Jordan.

Es fácil extender lo anterior al caso en que hay N singularidades en el eje real:
ˆ +∞ ∑
f (x) dx = 2 π Res[f (z), zk en el u.h.p.] + i N π
−∞ k
7. Bibliografía
Libros
1 G. Arfken, Mathematical methods for physicists, 7.a edición (Elsevier, 2012).
2 R.Churchill, Complex variables and applications, 8.a edición (McGraw-Hill, 2009) (véase
página 16).
3 Y.-K.
Kwok, Applied complex variables for scientists and engineers, 2.a edición (Cambridge
University Press, 2010).
4 D.Wunsch, Complex variables with applications, 3.a edición (Pearson, 2005) (véanse pági-
nas 10, 12, 16).

Apuntes de Variable Compleja (Nicolás Eugenio Herrera)

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes de Variable Compleja (Nicolás Eugenio Herrera)

Cargado por

Copyright:

Formatos disponibles

Variable compleja

Edición preliminar, 2018

3.5 Exponenciación compleja 27

4 Integrales en el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

5 Series infinitas de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

1.2 Algunas propiedades de los números complejos

En términos de esta cantidad nacen algunas identidades útiles:

En esta notación, se define el conjugado simplemente como:

y se obedece el álgebra de los pares en R2 . Considerando que un par ordenado representa

1.3 Plano complejo

Figura 1.1: Plano complejo

Es inmediato definir el módulo, o valor absoluto, de un número complejo como la can-

Geométricamente, |z| corresponde a la distancia entre el punto (x, y) y el origen, o bien, el

Figura 1.2: Representación polar

Haciendo uso de las relaciones trigonométricas, y considerando lo anterior, es posible

Tomando en cuenta la fórmula de Euler:

Entonces también es posible escribir z de manera más compacta, en forma exponencial:

Figura 1.3: z y su conjugado

Recuperándose así las propiedades encontradas anteriormente. Se utilizó que

1.4 Potencias de números complejos

Pero en su forma exponencial o polar el tratamiento es mucho más sencillo:

z = r ei θ =⇒ z n = rn ei (n θ) = rn [cos (n θ) + i sin(n θ)]

donde la última expresión se deriva de la fórmula de Euler y es conocida como la fórmula

θ → θ + 2πk k = 0, ±1, ±2, ...

Así entonces se encuentra aplicando lo anterior:

θ = 12◦ 1,123 + i 0,241 k=0

Figura 1.4: Valores de la raíz buscada[4]

Ejemplo 1.2 Resolver la siguiente ecuación para w:

Solución Es posible despejar w de la forma usual:

Ahora es posible utilizar lo anterior, con n = 3 y m = 4. Es necesario determinar el

El argumento puede deducirse al considerar que −2 i se encuentra en la parte negativa

r ei θ = r exp (i θ) = r cos θ + i r sin θ = r cis θ = r θ

1.5 Regiones en el plano complejo

Figura 1.5: Desigualdad representada por un área en el plano[4]

Es posible también representar curvas, como circunferencias, a través de las ecuaciones

(a) Circunferencia de radio r centrada en z0 (b) Entorno punteado de radio r en torno a z0

Figura 1.6: Representaciones de curvas y regiones

Para definir una región circular se puede plantear la inecuación:

El conjunto de puntos considerandos, recibe el nombre de conjunto, mientras que los

Es importante considerar el concepto de conjunto abierto; éste corresponde a una

2.1 Funciones de variable compleja

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

Análogamente, es posible describir los puntos del dominio de la función, en coordenadas

z = r ei θ =⇒ f (z) = u(r, θ) + i v(r, θ)

Una dificultad que se presenta, es al momento de visualizar estas funciones, ya que al

Si por ejemplo se desea visualizar la función w = z 2 con z = x + i y, podría graficarse

(b) Re{w} = x2 − y 2 (c) Im{w} = 2 x y

Figura 2.1: Formas de visualizar w

Figura 2.2: Esfera de Riemann en dos representaciones [2, 4]

Ejemplo 2.1 Estudiar la continuidad en z = i de la función

La primera condición es que la función esté definida en el punto z = i. En este caso,

La suma, diferencia, productos o cocientes∗ de funciones continuas, es también una

2.3 Derivada compleja

Identidades importantes de derivación:

2.4 Condiciones de Cauchy-Riemann

Al evaluar la función en ∆z se obtienen dos límites que corresponden a las derivadas

2.5 Funciones analíticas

Ejemplo 2.2 Estudiar la diferenciabilidad de

Encontrar su derivada y el dominio donde existe. La función puede escribirse como:

f (z) = ez = ex ei y = ex (cos y + i sin y)

Por lo que se satisfacen las condiciones de Cauchy-Riemann

Si dos funciones son analíticas en un dominio, entonces la suma, diferencia, el producto

2.6 Funciones armónicas

Si una función es analítica en un dominio D, entonces tanto la parte real como la