Universidad Nacional de Asunción

Facultad Politécnica

Nota de Clases: Cálculo V

Elaborado por: Mercedes Noelia Ruı́z Dı́az Alonso

Ciudad Universitaria, San Lorenzo - Paraguay

2019
Índice
1. Unidad 1: Números Complejos.

1.1. Importancia, Utilidades y Aplicaciones del Análisis del Campo Complejo . . . . . . 3

1.2. Números Complejos. Definición. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Forma binómica. Representación gráfica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Propiedades algebraicas básicas. Otras propiedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Forma polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Forma exponencial. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7. Potencia y Raı́z n-sima de un número complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8. Regiones en el Plano Complejo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.9. Ejercitario 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

2. Unidad 2: Funciones Analı́ticas y Elementales.

2.1. Funciones de variable compleja.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .16

2.2. Lı́mites. Teoremas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3. Continuidad. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4. Continuidad. Ejercitario 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.5. Derivadas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.6. Fórmulas de derivación. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.7. Funciones Analı́ticas. Teorema: Condición Necesaria de Derivabilidad. . . . . . . . 26
2.8. Teoremas: Condiciones Suficientes de Derivabilidad. . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.9. Funciones Analı́ticas - Armónicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.10. Familias Ortogonales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.11. Funciones Elementales: F. exponencial, logarı́tmica. . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.12. Funciones Trigonométricas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.13. Funciones Hiperbólicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.14. Exponentes complejos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.15. Funciones Trigonométricas Inversas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.16. Funciones Hiperbólicas Inversas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.17. Ejercitario 3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

3. Unidad 3: Integrales.

3.1. Integrales de Camino. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .38

3.2. Funciones complejas de variable real. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3. Propiedades. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .39
3.4. Integrales definidas de funciones complejas de variable real. . . . . . . . . . . . . . . . . . 39
3.5. Teorema Fundamental del Cálculo para primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.6. Propiedades de Integrales de funciones complejas de variable compleja. . . . . . . 40

1
 3.7. Teorema Fundamental para Integrales sobre Caminos. . . . . . . . . . . . . . . . . . . . . . . .40
3.8. Teorema de Cauchy Goursat. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.9. Teorema de Morera. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.10. Fórmula Integral de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.11. Ejercitario 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

4. Unidad 4: Series.

4.1. Series de Taylor. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

4.2. Series de Laurent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3. Residuos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.4. Residuos y Polos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5. Ceros y Polos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.6. Teorema de los Residuos de Cauchy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.7. Reducción a un único residuo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.8. Ejercitario 5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

5. Resumen de Fórmulas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

6. Bibliografı́a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .66

2
Importancia, Utilidades y Aplicaciones del Análisis del Campo
Complejo.
1. Se puede observar la conexión existente entre las funciones elementales, que en
análisis real no se podı́a intuir. Ej: La relación entre la función exponencial y las
funciones trigonométricas, ası́ como la relación entre la función logarı́tmica y las
trigonométricas inversas.

2. Al extender el sistema de los números reales a los números complejos diversas

integrales reales difı́ciles de resolver son mucho más sencillas de calcular.
Ej: Teorema de los Residuos de Cauchy en la resolución de integrales impropias.

3. Toda ecuación polinomial tiene solución en el campo complejo, lo que no ocurre en el

campo de los números reales.(Teorema Fundamental del Álgebra)

4. En Ingenierı́a, los números complejos se utilizan para describir circuitos eléctricos y

ondas electromagnéticas.

5. El análisis complejo también se aplica en el diseño de las alas de aviones.

6. Los números complejos también se utilizan para representar ondas electromagnéticas
y la corriente eléctrica.

7. La mecánica cuántica utiliza Espacios de Hilbert de dimensión infinita sobre el campo

complejo.

8. El conjunto de Mandelbrot es un fractal que surge de un proceso iterativo de números

complejos.

Números Complejos
Definición: Un número complejo z es un par ordenado (x, y) de números reales; donde

x = Re(z) e y = Im(z)
denotan las partes real e imaginaria del número complejo z respectivamente.

Denotaremos por C el conjunto de todos los números complejos. Es decir,

C = {(x, y) : x, y ∈ R}

Ahora, sean z1 , z2 ∈ C. Entonces z1 = (x1 , y1 ), z2 = (x2 , y2 )

Igualdad de números complejos

z1 = z2 ⇔ x1 = x2 , y1 = y2

3
 Suma de números complejos
z1 + z2 = (x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ) (1)

Producto de números complejos

z1 · z2 = (x1 , y1 ) · (x2 , y2 ) = (x1 x2 − y1 y2 , x2 y1 + x1 y2 ) (2)

Si y1 = y2 = 0 en (1) y (2)

(x1 , 0) + (x2 , 0) = (x1 + x2 , 0) y (x1 , 0) · (x2 , 0) = (x1 x2 , 0)

| {z }
Operaciones usuales de suma y producto en R
De ésto podemos concluir que el Sistema de los números complejos (C, +, ·) es una
extensión del Sistema de los números reales (R, +, ·).

Forma binómica
z = (x, y) ⇔ z = (x, 0) + (0, y) ⇔ z = (x, 0) + (0, 1)(y, 0); i : (0, 1) ⇒ Unidad Imaginaria

z = x + iy forma binómica de z

Observación: i2 = i · i = (0, 1) · (0, 1) = (−1, 0) = −1

Representación gráfica de los números complejos

Vector posición de z (z 6= 0): segmento dirigido que parte desde el origen hasta z = (x, y).

4
 Propiedades algebraicas básicas
1. Conmutatividad: z1 + z2 = z2 + z1 , z1 · z2 = z2 · z1

2. Asociatividad: (z1 + z2 ) + z3 = z1 + (z2 + z3 ) , (z1 · z2 ) · z3 = z1 · (z2 · z3 )

3. Identidad Aditiva: 0 = (0, 0) , z + 0 = 0 + z = z

4. Identidad Multiplicativa: 1 = (1, 0) , z · 1 = 1 · z = z

5. Inverso Aditivo: ∀ z ∈ C, ∃ w = −z ∈ C tal que z + w = w + z = 0

6. Inverso Multiplicativo: ∀ z ∈ C (z 6= 0), ∃ w = z −1 ∈ C tal que z · w = w · z = 1

7. Distributividad: z1 (z2 + z3 ) = z1 z2 + z1 z3 , (z1 + z2 )z3 = z1 z3 + z2 z3

Por tanto (C, +, ·) es un cuerpo o campo.

Otras Propiedades
z1 · z2 = 0 ⇒ z1 = 0 ó z2 = 0
z1 1
= z1 · = z1 · z2−1
z2 z2
Conjugado de un número complejo (z = x + iy): z = x − iy ; z=z
 
z1 z1
z1 ± z2 = z1 ± z2 ; z1 · z2 = z1 · z2 ; = ; z2 6= 0
z2 z2
p
Módulo de un número complejo z: |z| = + x2 + y 2 ; |z|2 = x2 + y 2
 
 z1  |z1 |
|z|2 = z · z ; |z| = |z| ; |z1 z2 | = |z1 ||z2 | ;   = , z2 6= 0
z2 |z2 |
Desigualdad triangular: |z1 ± z2 | ≤ |z1 | + |z2 |

||z1 | − |z2 || ≤ |z1 ± z2 |

z n = |z ·{z
· · z} z n+1 = z n z
nveces

n    
X n n−k k
n n n!
Fórmula binomial: (z1 + z2 ) = z1 z2 ; = ; n = 1, 2, ...
k=0
k k k!(n − k)!

5
 Forma polar
Sean r, θ las coordenadas polares del punto (x, y) correspondiente al número complejo
z = x + iy ; z 6= 0 ; r = |z|

x = r cos θ y = r sen θ

z = r cos θ + i r sen θ

⇒ z = r(cos θ + i sen θ)

6
 Forma exponencial

eiθ = cos θ + i sen θ Fórmula de Euler

z = r eiθ z 6= 0
Si z = 0 la coordenada θ no está bien definida.

1. θ: representa el ángulo medido en radianes, que forma el vector posición de z con el

semieje real positivo.

2. θ tiene infinitos valores posibles.

y
3. Tales valores de θ pueden hallarse a partir de la ecuación tan θ = especificando el
x
cuadrante que contiene al punto z.

4. Argumento de z: Cada valor posible de θ

5. arg z: Conjunto de argumentos de z.

6. Arg z: Argumento principal de z.

7. arg z = Arg z + 2nπ n = 0, ±1, ±2, ... donde Arg z: único valor Θ de arg z tal que
−π < Θ ≤ π

Propiedades
1. arg (z1 z2 ) = arg z1 + arg z2 ; z1 6= 0 , z2 6= 0
 
z1
2. arg = arg z1 − arg z2 ; z1 6= 0 , z2 6= 0
z2
3. arg z = −arg z z 6= 0

Si z1 = r1 eiθ1 y z2 = r2 eiθ2 ; z1 6= 0 , z2 6= 0

1. z1 = z2 ⇔ r1 = r2 , θ1 = θ2 + 2kπ k = 0, ±1, ±2, ...

2. z1 · z2 = r1 · r2 ei(θ1 +θ2 )
z1 r1
3. = ei(θ1 −θ2 )
z2 r2
1 1
4. = e−iθ donde z = r eiθ z 6= 0
z r
5. z n = (z −1 )m m = −n = 1, 2, ... n = −1, −2, ... z 6= 0

Observaciones:

1. La ecuación z = Reiθ 0 ≤ θ ≤ 2π es representación paramétrica de |z| = R

2. La ecuación z = z0 + Reiθ 0 ≤ θ ≤ 2π es representación paramétrica de |z − z0 | = R

7
 Potencia de un número complejo
z = r eiθ ; z 6= 0 z n = rn ei nθ n = 0, ±1, ±2, .... Si r = 1,

(eiθ )n = ei nθ ⇒ (cos θ + i sen θ)n = cos (nθ) + i sen (nθ) n = 0, ±1, ±2, ...

Raı́z n-sima de un número complejo z0

z : z n = z0 (n ∈ Z, n ≥ 2), z = rei θ , r = |z|, θ ∈ arg z ; z0 = r0 ei θ0 , r0 = |z0 |, θ0 ∈ arg z0

n
1. r ei θ = r0 e i θ 0
2. rn ei nθ = r0 ei θ0
3. rn = r0 ; nθ = θ0 + 2kπ ; k = 0, ±1, ±2, ...
√ θ0 + 2kπ
4. r = n r
0 ; θ=
n
√
n r ei (
θ0 +2kπ
)
5. z = 0 n

√ θ0 +2kπ
6. ck = n r0 ei ( n ) k = 0, 1, 2, ..., n − 1
Denotamos por ck las n raı́ces distintas de z0 y si consideramos θ0 = Arg z0 ⇒ c0 : Raı́z
principal de z0 .

Para n > 2, ck representan vértices de un polı́gono regular inscripto en una cia. centrada
√
en el orı́gen y radio n r0 .
2π
Entre cada vértice hay una amplitud de ángulo .
n
Entonces, si c es cualquier raı́z n-sima de z0 , las demás raı́ces vienen dadas por:

2π 2π 2π
i n i n i n
c, ce
| {z }, c|1 e{z }, ..., c|n−2{ze }
c1 c2 cn−1

Ejemplo:

1. De un triángulo equilátero centrado en el origen, se conoce un vértice que es el punto

(2, 2). Calcular los vértices restantes.

Tenemos que el vértice dado representa una raı́z de algún número complejo. Entonces,
es posible calcular las demás raı́ces multiplicando el factor ei 2π/n a cada raı́z obtenida de
la siguiente manera:

En primer lugar expresamos c0 = 2 + 2i en forma exponencial.

√ √
r0 = |c0 | = 22 + 22 = 2 2 θ0 = π/4
√
Luego, c0 = 2 2 eiπ/4 . Entonces:
√ √
c1 = c0 ei 2π/3 = 2 2ei 11π/12 c2 = c1 ei 2π/3 = 2 2 ei 19π/12

8
 Regiones en el Plano Complejo
Definiciones:

Entorno de un punto dado z0 : Consta de todos los puntos z interiores al cı́rculo centrado
en z0 , de radio especificado  > 0

|z − z0 | < 

Entorno perforado de un punto dado z0 : Consta de todos los puntos de un entorno de z0 ,

excepto z0 .
0 < |z − z0 | <  , >0

Punto interior. Se dice que z0 es un punto interior de un conjunto S si existe algún

entorno de z0 contenido en S.

Punto exterior. Se dice que z0 es un punto exterior de un conjunto S si existe algún

entorno de z0 que no contenga puntos de S.

Punto frontera. Si un punto z0 no es interior ni exterior, se dice que es un punto frontera

de S.

Observación. Todo entorno de un punto frontera contiene puntos que están en S y puntos
que no están en S.

9
Conjunto abierto. Un conjunto es abierto si no contiene a ninguno de sus puntos frontera.
Equivalentemente, un conjunto es abierto si y solo si todos sus puntos son interiores.

Ejemplos:

a) |z − 1| > 3 b) |z − 1| < 3 c) Re(z 2 ) > 0 d) Re(z) 6= 2

e) {z ∈ C : Im(z) < −1 ∨ Im(z) > 1}

Conjunto cerrado. Un conjunto es cerrado si contiene todos sus puntos frontera.

Ejemplos:

a) |z − 1| ≥ 4 b) |z − 1| ≤ 4 c) {1, i, −i, 2 − 8i, 3} d) Re(z) = 2

e) {z ∈ C : Im(z) ≤ −1 ∨ Im(z) ≥ 1}

Observación. Algunos conjuntos no son abiertos ni cerrados.

Ejemplos:

a) 0 < |z − 2| ≤ 1 b) 0 ≤ arg(z) ≤ π/2

Observación. Los únicos conjuntos abiertos y cerrados a la vez son: C y ∅

Conjunto conexo. Un conjunto S es conexo si todo par de puntos z1 , z2 ∈ S se pueden

unir por una lı́nea poligonal, formada por un número finito de segmentos rectos, contenida
por completo en S.

Dominio: es todo conjunto abierto y conexo.

Ejemplos:

a) |z| < 3 b) |z − 1| > 2 c) |z|2 + 3Re(z 2 ) < 4 d) 0 < |z − 2| < 1

Conjunto acotado. Un conjunto S es acotado si está contenido por completo dentro de

alguna circunferencia |z| = R. En caso contrario, se dice que S es no acotado.

Ejemplos:

a) |z| < 3 b) S = {1, i, −i, 3 + 2i} c) 0 < |z − 2| ≤ 1

10
EJERCITARIO 1
1. En cada caso realizar las operaciones indicadas, expresando el
resultado en forma binómica y exponencial.
4 + 3i 10i 12 + 5i 2 + 3i
A) z = + B) z = −
2−i 1 + 3i i+1 4 + 2i
       
3 1 2i 4
C) z = · D) z = ·
1 − 5i 3 + 4i 5 − 2i 2 + 7i

√ √ √
 
4
E) z = ( 3 + i) + 2i(3 − 2i) F) z = + 2i − 8i(4 − 2i)
3
√ √ 3
G) z = ( 2 − i)4 H) z = (5 + 3i)

√ ! √ !
4+i 2 5+i 3
I) z = J) z =
(3 + i)2 (2 + i)3

2i8 − 5i20 3i30 − i16 5i7 + 4i10 4i20 + 2i

K) z = + L) z = −
4i − 2 2 − 4i 4i − 1 1 − 5i
  √ !
13 + 5i 12 + 3i 5+i 2
M) z = −2 N) z =
i+1 3 + 3i (3 + i)2

39 39 69 33 248 192
Rta: A) z = 4 + 3i B) z = − i C) z = + i D) z = + i
5 10 650 650 1537 1537
√ √ √ √
 
4
E)z = (2 2 + 3) − 7i F) z = − 8 2 + 30i G) z = −7 − 4 2i
3
√ √ √ √
√ 16 + 3 2 2 2 − 6 10 + 11 3 2 3 − 55
H) z = 80 + 72 3i I) z = − i J) z = − i
50 25 125 125
1 1 157 86
K) z = − − i L) z = − + i M) z = 4 − i
10 5 221 221
√ √
20 + 3 2 4 2 − 15
N) z = − i
50 50

11
2. Dados los siguientes números complejos.

a) Hallar el argumento principal.

b) Expresar el resultado en forma polar y exponencial.

√ √
A) z = 3 + 3i B) z = −3 + 3i

i
C) z = −2 − 2i D) z =
2 + 2i
√
2 3+i
E) z = √ F) z =
1 − 3i −1 + i

−1
G) z = √ H) z = 65
1 + 3i

I) z = −10i J) z = −30
√
K) z = 15i L) z = 7 + 7 3i
√
7+i 1 3
M) z = N) z = − i
3 − 4i 2 2
−7 + i 7+i
O) z = P) z =
2 − 4i 3 + 4i

5 3 7
Rta: A) π/6 B) π C) − π D) π/4 E) π/3 F) − π
6 4 12
 
2 31
G) π H) 0 I) −π/2
J) π K) π/2 L) π/3 M) arctan
3   17
13
N) −π/3 O) −π + arc tan P) −π/4
9
3. Encontrar las siguientes cantidades:
 
4 + 3i
A) Im B) Re((3 − i)(2 + 3i))
1+i
 
1
C) Im D) Re[(2 + i)3 ]
1 − 2i

E) |(2 + 5i)30 | F) |z + 2|2

 1 − √2i 60
   12
−4
G)  √ H) √
 

 2+i  3+i

I) Im [ z1 · z2 ] J) Re [ z1 · z2 ]

1 2
Rta: A) − B) 9 C) D) 2 E) 2915 F) (x + 2)2 + y 2 G) 1 H) 212
2 5

12
I) x1 y2 − x2 y1 J) x1 x2 + y1 y2

4. Calcular en forma exponencial, las raı́ces indicadas en cada caso.

A) (3i)1/2 B) (−15)1/3
 √ 1/4 √ 1/5
C) 1− 3i D) 3+i

√ √ !1/3
2 2
E) − i F) (−4 + 4i)1/2
2 2
√ √ √
Rta: √A) c0 = 3 eiπ/4 c√ 1 = −c0 B) c0 =√ 3 15 eiπ/3 c1 =√3 15 eiπ
3
c2 = √ 15 ei 5π/3 C) c0 = 4√2 e−π/12 i c1 =√4 2 ei 5π/12 c2 = √ 4
2 ei 11π/12
4
c3 = √ 2 ei 17π/12 D) c0√= 5 2 ei π/30 c1 = 5 2 ei 13π/30 c2 = 5 2 ei 5π/6
c3 = 2 ei√
5 37π/30
c4 = 5 2 ei 49π/30 E) c0 = e−i π/12 c1 = ei 7π/12 c2 = ei 5π/4
F) c0 = 2 4 2 ei 3π/8 c1 = −c0

5. Un cuadrado centrado en el origen tiene un vértice situado en el punto

√
(1, 3). Calcular los vértices restantes:

Rta: 2 ei 5π/6 ; 2 ei 4π/3 ; 2 ei 11π/6

6. De un pentágono regular centrado en el origen, se conoce un vértice

√
que es el punto (−1, − 3). Calcular los vértices restantes:

Rta: 2 e−4π/15 i ; 2 ei 2π/15 ; 2 ei 8π/15 ; 2 ei 14π/15

7. De un hexágono regular centrado en el origen, se conoce un vértice

√
que es el punto ( 2, 0). Calcular los vértices restantes:
√ √ √ √ √
Rta: 2 eπ/3 i ; 2 ei 2π/3 ; 2 ei π ; 2 ei 4π/3 2 ei 5π/3

8. Probar que |z 2 + 2| ≤ 3 en el disco |z| ≤ 1

√
9. Si |z| < 1. Probar que |(1 + 3 i) z 2 + 2 i z| < 4

10. Determinar cuáles de los sgtes. puntos se encuentran dentro de la circunferencia

|z − (1 + i)| = 1
i 1 i
A) 1 + B) −
2 2 2
3 7 i
C) +i D) −
2 4 2

Rta: A) Se encuentra dentro de la cia. B) No se encuentra dentro

de la cia. C) Se encuentra dentro de la cia. D) No se encuentra dentro
de la cia.

13
 11. Para cada uno de los sgtes. conjuntos de números complejos,

I) Indicar cuáles son: a) Dominios b) Acotados

II) Determinar: Puntos frontera

√
A) S = { 3 + i, 2 + i, 0, i, 1} B) {z ∈ C : Re(z) ≤ 1}

1
C) {z ∈ C : − < Im(z) < 1} D) |z + 1 + i| < |z − 1 − i|
2

E) {reiθ : 0 < r < 1 ∧ −π/4 < θ < π/4} F) {reiθ : r > 1 ∧ π/2 < θ < π}

G) {z ∈ C : |z| < 1 ∨ |z − 2| < 1} H) |z − 2| ≥ Re(z − 2)

I) |z − 2i| ≥ 3 J) |z + 1 − i| = 2

K) Re(z 2 ) > −1 L) |z|2 + Re(z 2 ) > 2

M) |z − 1| + |z + 1| ≤ 4 N) |z − 2i| ≥ 1

O) |z − 1 + 2i| = 1 P) Re(z − 1) = 0

π
Q) 0 ≤ arg z ≤ R) Im(z + 3) < 2
2
 
1 1
S) Re ≤ T) |z|2 − Re(z 2 ) > 2
z−1 2

Rta: A) I) a) No es un dominio b) Es acotado II) Todos los puntos

de S

B) I) a) No es un dominio b) No es acotado II) Los puntos de la recta

x=1

C) I) a) Dominio b) No es acotado II) Los puntos de las rectas

1
y=− , y=1
2
D) I) a) Dominio b) No es acotado II) Los puntos de la recta y = −x

E) I) a) Dominio b) Es acotado

II) {0} ∪ {eiθ : −π/4 ≤ θ ≤ π/4} ∪ reiθ : 0 < r < 1, θ = −π/4, θ = π/4
π
≤ θ ≤ π} ∪ reiθ : r > 1, θ = π/2 , θ = π

F) I) a) Dominio b) No es acotado II) {eiθ :
2
G) I) a) No es un dominio b) Es acotado II) {z ∈ C : |z| = 1 ∨ |z − 2| = 1}

H) I) a) Dominio b) No es acotado II) No tiene

14
I) I) a) No es dominio b) No es acotado II) |z − 2i| = 3

J) I) a) No es dominio b) Acotado II) |z + 1 − i| = 2

K) I) a) Dominio b) No es acotado II) Re(z 2 ) = −1

L) I) a) No es un dominio b) No es acotado II) Los puntos de las rectas

x = −1 , x = 1

M) I) a) No es un dominio b) Acotado II) |z − 1| + |z + 1| = 4

N) I) a) No es un dominio b) No es acotado II) |z − 2i| = 1

O) I) a) No es un dominio b) Acotado II) |z − 1 + 2i| = 1

P) I) a) No es un dominio b) No es acotado II) Los puntos de la recta

x=1

Q) I) a) No es un dominio b) No es acotado
II) {0} ∪ {z ∈ C : arg(z) = 0 ó arg(z) = π/2}

R) I) a) Dominio b) No es acotado II) Todos los puntos de

la recta y = 2

S) I) a) No es un dominio b) No es acotado II) |z − 2| = 1

T) I) a) No es un dominio b) No es acotado II) {(x, y) : y = −1 ó y = 1}

Elaborado por: Lic. Mercedes Ruiz Dı́az.

Revisado por: MSc. Teresa Alderete.

15
 Funciones de variable compleja
Definición: Sea S ⊂ C. Una función f definida en S es una regla que asigna a cada
z ∈ S un número complejo w = f (z).

Observación: Cuando no se especifica el dominio de definición se sobreentenderá que es

el mayor conjunto posible.(máximo dominio de definición D(f ))

Para definir una función se necesitan:

* Un dominio de definición.

* Una regla de asignación.

Supongamos ahora
w = u + iv , z = x + iy
u + iv = f (x + iy)
Ası́,
f (z) = u(x, y) + i v(x, y) (1)
Si se usan coordenadas polares r, θ en lugar de x, y, tenemos que:

u + iv = f (reiθ )

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

Si la función v en cualquiera de las ecuaciones (1) ó (2) tiene siempre valor cero, el valor
de f es siempre real, esto es, f es una función real de variable compleja.

Algunos tipos de funciones:

1. Función Polinómica de grado n: P (z) = a0 + a1 z + a2 z 2 + ... + an z n , donde n ≥ 0,

n ∈ Z, a0 , a1 , a2 , ....., an constantes complejas y an 6= 0.

D(f ) = C , Ej: f (z) = z 2 + 2i

P (z)
2. Funciones racionales: F (z) = ; Q(z) 6= 0, donde P y Q son funciones
Q(z)

polinomiales.

2i
D(f ) = C − {z : Q(z) = 0} , Ej: f (z) = √
z4 − (1 + i 3)

3. Funciones multivaluadas (Generalización del concepto de función): Consiste en una

regla que asigna a cada punto z ∈ D(f ) más de un valor.

Observación: Cuando se estudian funciones multivaluadas se suele tomar solo uno de

los posibles valores que asigna a cada punto (de cierta forma sistemática) con lo que
se construye una función univaluada a partir de una función multivaluada.

16
 Ejemplo: Sea z ∈ C, z 6= 0
√
z 1/2 = ± r eiΘ/2 r>0− π < Θ ≤ π Función multivaluada
√
Si elegimos sólo el valor positivo de ± r, tenemos que:
√
f (z) = rei Θ/2 r > 0, −π < Θ ≤ π es una función univaluada, bien definida para z 6= 0

Como la única raı́z cuadrada de cero es cero, definiendo:

f (0) = 0 f se convierte en una función definida en todo el plano complejo.

Lı́mites
Definición: Sea f una función definida en todos los puntos z de un entorno perforado
de z0 . Entonces:

lı́m f (z) = w0 ⇔ ∀  > 0, ∃ δ > 0 tal que |f (z) − w0 | <  siempre que 0 < |z − z0 | < δ
z→z0

Observaciones: Una vez encontrado un número real δ adecuado, puede sustituirse por
cualquier número positivo más pequeño.

Si existe lı́mite de una función f (z) en un punto z0 , el valor de ese lı́mite es único.

Teoremas sobre Lı́mites

Teorema 1: Sea f (z) = u(x, y) + iv(x, y). Entonces,

lı́m f (z) = w0 ⇔ lı́m u(x, y) = u0 y lı́m v(x, y) = v0

z→z0 (x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )

Teorema 2: Supongamos que lı́m f (z) = w0 y lı́m F (z) = W0 . Entonces,

z→z0 z→z0

(i) lı́m [f (z) + F (z)] = w0 + W0

z→z0

(ii) lı́m [f (z) · F (z)] = w0 · W0

z→z0
 
f (z) w0
(iii) lı́m = W0 6= 0
z→z0 F (z) W0

Propiedad: lı́m z n = z0n donde n es un entero positivo.

z→z0

Observación: C = C ∪ {∞} donde ∞ denota el punto del infinito.

17
Teorema 3: Si z0 y w0 son puntos de los planos z y w respectivamente, entonces:
1
(i) lı́m f (z) = ∞ ⇔ lı́m =0
z→z0 z→z0 f (z)
 
1
(ii) lı́m f (z) = w0 ⇔ lı́m f = w0
z→∞ z→0 z
1
(iii) lı́m f (z) = ∞ ⇔ lı́m   = 0
z→∞ z→0 1
f
z
Ejemplos:

Demostrar que:
1
a) lı́m =∞
z→2 (z − 2)3

1
Si f (z) = , tenemos que:
(z − 2)3
1 1
lı́m = lı́m = lı́m (z − 2)3 = 03 = 0
z→2 f (z) z→2 f (z) z→2

Por tanto, por Teorema 3, (i), lı́m f (z) = ∞

z→2

3 z2
b) lı́m =3
z→∞ (z − 1)2

3 z2
Si f (z) = , tenemos que:
(z − 1)2
3/z 2
 
1 3 3
lı́m f = lı́m  2 = lı́m 2 = lı́m =3
z z→0 (1 − z)2

z→0 z→0 1 z→0 1 − z
−1 z2
z z
Por tanto, por Teorema 3, (ii), lı́m f (z) = 3
z→∞

1 + z2
c) lı́m =∞
z→∞ (z − 1)

1 + z2
Si f (z) = , tenemos que:
(z − 1)
1 1/z − 1 z(1 − z)
lı́m = lı́m 2
= lı́m =0
z→0 f (1/z) z→0 1 + 1/z z→0 1 + z 2

Por tanto, por Teorema 3, (iii), lı́m f (z) = ∞

z→∞

18
 Continuidad
Una función f de variable compleja es continua en un punto z0 si satisface las sgtes.
condiciones:

(i) f (z0 ) existe

(ii) lı́m f (z) existe

z→z0

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

z→z0

Definición en términos de entorno

lı́m f (z) = f (z0 ) ⇔ ∀  > 0, ∃ δ > 0 tal que |f (z)−f (z0 )| <  siempre que |z−z0 | < δ
z→z0

Observación: Se dice que una función f de una variable compleja es continua en una
región R, si es continua en cada punto de R.

Continuidad de la suma, producto, cociente y composición de

funciones continuas
 
f
Si f y g son funciones continuas en un punto z0 . Entonces, f + g, f · g, y (g0 f )
g
son funciones continuas en z0 .
 
f
Observaciones: a) El cociente es una función continua en z0 si g(z0 ) 6= 0.
g
b) Si f es continua en z0 y g es continua en f (z0 ). Entonces (g0 f ) es continua en z0 .

c) Una función f (z) = u(x, y) + iv(x, y) es continua en un punto z0 = (x0 , y0 ) si y solo si

sus funciones componentes son continuas en (x0 , y0 ).

Ejemplo:

x2 + iy 2
Si f (z) = , z 6= 0, f (0) = 1. Demostrar f (z) no es continua en z0 = 0
|z|2
Si z = (x, y) tiende a (0, 0) a través de (x, 0), x 6= 0

x2 + i02
lı́m f (z) = lı́m =1
z→0 x→0 x2 + 0 2
Si z = (x, y) tiende a (0, 0) a través de (0, y), y 6= 0

02 + iy 2
lı́m f (z) = lı́m =i
z→0 y→0 02 + y 2
Puesto que el valor de un lı́mite si existe es único, no existe lı́m f (z)
z→0

Luego f no es continua en z = 0.

19
EJERCITARIO 2
1. Sea f (z) = Re(z 2 ) + 2|z|2 − 5. Hallar:

A) f (2 + i) B) f (4i − 1) C) f (1 − i) D) f (i)

Rta: A) 8 B) 14 C) −1 D) −4

2. Si f (z) = 3z 40 − 2z 11 + 2. Hallar:
√ √ √
A) f ( 2 + i 2) B) f ( 3 + i)
√ √ √ √
Rta: A) (2 + 3 · 240 + 211 2) − 211 2i B) (−3 · 239 − 211 3 + 2) + i(3 · 239 3 + 211 )

3. Describir el dominio de definición de las siguientes funciones:

 
1 1
A) f (z) = Arg B) f (z) = −
z−2 z−1

2 z
C) f (z) = D) f (z) =
z5 1 + |z|

1 4
E) f (z) = F) f (z) =
1 − |z| z−z

3z
G) f (z) = H) f (z) = 4z 3 + 3iz 2 + 5z + 2i − 1
z2 + 4

Rta: A) {z ∈ C : z 6= 2} B) {z ∈ C : z 6= 1} C) {z ∈ C : z 6= 0} D) C
E) {(x, y) ∈ C : x2 + y 2 = 1} F) {(x, y) ∈ C : y 6= 0} G) {z ∈ C : z 6= ±2i}
H) C
4. Expresar las sgtes. funciones en la forma u(x, y) + iv(x, y)
1
A) f (z) = z 2 + 3iz B) f (z) = z 2 − z + 3 C) f (z) = −
1−z

D) f (z) = z · z − 4iz E) f (z) = z 3 + 1

Rta: A) f (z) = (x2 − y 2 − 3y) + (3x − 2xy)i B) f (z) = (x2 − y 2 − x + 3) + i(2xy − y)

(x − 1) −y
C) f (z) = + i D) f (z) = (x2 + y 2 + 4y) + (−4x)i
(1 − x)2 + y 2 (1 − x)2 + y 2
E) f (z) = (x3 − 3xy 2 + 1) + i(3x2 y − y 3 )

5. Expresar las sgtes. funciones en la forma u(r, θ) + iv(r, θ)

i
A) f (z) = z 1/2 B) f (z) = z 4 − z 2 C) f (z) =
z5
1 1
D) f (z) = z − E) f (z) = 2
z z

20
 √ θ √ θ
Rta: A) f (z) = r cos + i r sen
2 2
B) f (z) = (r4 cos 4θ − r2 cos 2θ) + i(r4 sen 4θ + r2 sen 2θ)
 
1 1
C) f (z) = 5 sen 5θ + i 5 cos 5θ
r r
   
1 1
D) f (z) = r − cos θ − i r + sen θ
r r
 
1 1
E) f (z) = 2 cos 2θ + i − 2 sen 2θ
r r
6. Probar que no existe lı́mite cuando z → 0 para cada una de las sgtes. funciones:

Re z Im z z2
A) f (z) = B) f (z) = C) f (z) =
z z z2
7. Determinar si existe :
(Re z)4
lı́m
z→0 (z · z)2

Rta: No existe

8. Calcular los sgtes. lı́mites:

z2 − 3
A) lı́m z 2 − 3z + 1 − 3i B) lı́m√ |z|2
√ C) lı́m
√
z→4i z→ 2+ 2i z→ 3 z 4 − 4z 2 + 3

|z|4 z2 + 1
D) lı́m [ ln(z · z) + iRe z ] E) lı́m F) lı́m
z→6+3i z→0 z2 z→i z6 + 1

Rta: A) −15 − 15i B) 4 C) 1/2 D) ln 45 + 6i E) 0 F) 1/3

9. Probar que:
z+i 2z + 5 + 3i 1+i
A) lı́m =∞ B) lı́m =∞ C) lı́m =∞
z→∞ 2i z→1/3 3z − 1 z→i (z − i)4

2z + 3 3z 2 1
D) lı́m =2 E) lı́m =3 F) lı́m =∞
z→∞ z − i z→∞ (z − 1)2 z→1+i z − (1 + i)

10. Analizar la continuidad de las sgtes. funciones:

A) f (z) = an z n + an−1 z n−1 + ... + a2 z 2 + a1 z + a0 ; n ≥ 0

Rta: f es continua en C

z2 + 3
B) f (z) =
z 2 − 2i
Rta: f es continua en C − {±(1 + i)}

21
 2i
C) f (z) =
z2 + 2z + (1 + i) (
√ ! √ √ ! √ )
2 2 2 2
Rta: f es continua en C − −1 + −i ; −1 − +i
2 2 2 2
|z|2
D) f (z) =
|z| + 1
Rta: f es continua en C
4z
E) f (z) =
z·z−1
Rta: f es continua en C − {(x, y) : x2 + y 2 = 1}
2 2
F) f (z) = ex cos y + iex sen y
Rta: f es continua en C

z4
G) f (z) =
z 2 − 4z + 1 √
Rta: f es continua en C − {2 ± 3}

11. Estudiar la continuidad de las sgtes. funciones sobre las regiones dadas:

|z 2 |
 
1
A) f (z) = sobre el disco D = z ∈ C : |z| <
Re(z 2 ) 2

Rta: f no es continua sobre D

√
 2
z +2
√ 6
si z = 2i



B) f (z) = z − 2i sobre R = {z ∈ C : |z − i| ≤ 4}

 √
2 + 3i si z = 2i


Rta: f no es continua sobre R

3i
C) f (z) = sobre R = {z ∈ C : |z| > 2}
(z 2 + 4)(z − 4i)

Rta: f no es continua sobre R


|z − 1|2
6 1
si z =



D) f (z) = z − 1 sobre R = {z ∈ C : |z| > 0}


 0 si z = 1

Rta: f es continua sobre R

22
 
Im z
6 0
si z =


|z|

E) f (z) = sobre R = {z ∈ C : |z| < 1}


 0 si z = 0

Rta: f no es continua sobre R

7z + 2
F) f (z) = sobre R = {z ∈ C : |z − 2i| < 1}
z2 − 2iz − 1
Rta: f es continua sobre R

Elaborado por: Lic. Mercedes Ruiz Dı́az.

Revisado por: MSc. Teresa Alderete.

23
 Derivadas
Sea f una función cuyo dominio de definición contiene un entorno del punto z0 .

La derivada de f en z0 , denotada por f 0 (z0 ), se define como:

f (z) − f (z0 )
f 0 (z0 ) = lı́m
z→z0 z − z0
siempre que este lı́mite exista.

Observación: Si existe la derivada de f en z0 , se dice que f es derivable en z0 .

f (z0 + ∆z) − f (z0 )

Si ∆z = z − z0 . Entonces: f 0 (z0 ) = lı́m
∆z→0 ∆z

1 1
Ejemplo: Si f (z) = − , entonces f 0 (z) = 2
z z
En efecto, aplicando la definición tenemos que:

Si ∆ w = f (z + ∆z) − f (z). Entonces:

 
1 1 1 1 −z + z + ∆ z
− − − − +
∆w z + ∆z z z(z + ∆ z) ∆z
= = z + ∆z z = =
∆z ∆z ∆z ∆z z(z + ∆ z)∆ z

∆w 1
=
∆z z(z + ∆ z)

∆w 1
Luego, lı́m = 2
∆z→0 ∆ z z
1
Por tanto, f 0 (z) = 2
z

24
 Fórmulas de Derivación
d
Notación: f (z) = f 0 (z)
dz
Sean c una constante compleja y f una función derivable en z ∈ C
d d d
(1) c=0 z=1 [c · f (z)] = c · f 0 (z)
dz dz dz

Si las derivadas de dos funciones f y F existen en z ∈ C

d
(2) [f (z) + F (z)] = f 0 (z) + F 0 (z)
dz
d
(3) [f (z) · F (z)] = F (z) · f 0 (z) + f (z) · F 0 (z)
dz
F (z)f 0 (z) − f (z)F 0 (z)
 
d f (z)
(4) = si F (z) 6= 0
dz F (z) [F (z)]2
d n
(5) Si n ∈ Z+ , z = n · z n−1 La fórmula también es válida si n ∈ Z− siempre que
dz
z 6= 0.

(6) Si F (z) = g[f (z)]. Supongamos f tiene derivada en z0 y g tiene derivada en f (z0 ).
Entonces F tiene derivada en z0 y,

F 0 (z0 ) = g 0 [f (z0 )] · f 0 (z0 )

Si denotamos w = f (z), W = g(w) tal que F (z) = W . Entonces:

dW dW dw
= · Regla de la cadena
dz dw dz

Regla de L0 Hopital: Supongamos f (z0 ) = g(z0 ) = 0 y que f 0 (z0 ) y g 0 (z0 ) existen

f (z) f 0 (z0 )
con g 0 (z0 ) 6= 0. Entonces: lı́m = 0
z→z0 g(z) g (z0 )

25
 Funciones Analı́ticas
Sean f una función de variable compleja z y S ⊂ C. Se tienen las siguientes definiciones:

Definiciones:

1. Función Analı́tica en un Conjunto Abierto. La función f es analı́tica en un conjunto

abierto S si tiene derivada en todos los puntos de S.

2. Función Analı́tica en un punto. La función f es analı́tica en un punto z0 , si es analı́tica

en algún conjunto abierto que contiene a z0 .

3. Función Analı́tica en un Conjunto no abierto. La función f es analı́tica en un conjunto

no abierto S, si es analı́tica en algún conjunto abierto que contiene a S.

4. Función Entera: es una función analı́tica en todo el plano complejo.

Ejemplo: Funciones polinómicas.

5. Punto singular. Si una función f no es analı́tica en un punto z0 , pero es analı́tica en

algún punto de todo entorno de z0 , diremos que z0 es un punto singular o una
singularidad de f .

Además, un punto singular z0 es aislado, si existe un entorno perforado de z0 en el cual

f es analı́tica.

En palabras sencillas, un punto singular (en caso de existir) es un punto donde una
función analı́tica (en alguna región) no tiene derivada.

Observación: Los siguientes teoremas establecen criterios para el análisis de la

analiticidad de una función en una región.

Teorema 1: Condición Necesaria de Derivabilidad.

Sea f (z) = u(x, y) + iv(x, y). Si existe f 0 (z0 ). Entonces, existen

ux (x0 , y0 ), uy (x0 , y0 ), vx (x0 , y0 ), vy (x0 , y0 ),
y satisfacen en z0 = (x0 , y0 ) las Ecuaciones de Cauchy - Riemann:
ux (x0 , y0 ) = vy (x0 , y0 ) ; uy (x0 , y0 ) = −vx (x0 , y0 )
Además, f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 ).

Utilidad(Contra-recı́proco del Teorema 1): Si no se satisfacen las ecuaciones de

Cauchy-Riemann en z0 , no existe f 0 (z0 ). Si z0 ∈ D donde D es una región, entonces f
no es analı́tica en D.

Ejemplo: Si f (z) = |z|2 , no existe f 0 (z) ∀ z 6= 0 porque las ecuaciones de

Cauchy-Riemann no se verifican en esos puntos.

Observación: Otra condición necesaria pero no suficiente para la derivabilidad de una

función en una región D es que sea continua en D.

26
Ejemplos: f (z) = z f (z) = Rez f (z) = Imz f (z) = x2 + iy 2 son funciones
continuas en todo punto z del plano complejo, sin embargo, no son funciones analı́ticas
en ningún punto.

Teorema 2: Condición Suficiente de Derivabilidad.

Sea f (z) = u(x, y) + iv(x, y) definida en un entorno |z − z0 | <  de z0 = (x0 , y0 ).

Si existen ux (x, y), uy (x, y), vx (x, y), vy (x, y) ∀(x, y) ∈ |z − z0 | < ,

son continuas en z0 y ux (x0 , y0 ) = vy (x0 , y0 ) ; uy (x0 , y0 ) = −vx (x0 , y0 ).

Entonces existe f 0 (z0 ).

Teorema 3: Condición Suficiente de Derivabilidad(en coordenadas polares).

Sea f (z) = u(r, θ) + iv(r, θ) definida en un entorno |z − z0 | <  de z0 = r0 ei θ0 ; z0 6= 0.

Si existen ur (r, θ), uθ (r, θ), vr (r, θ), vθ (r, θ) ∀ z ∈ |z − z0 | < ,

son continuas en z0 y rur (r0 , θ0 ) = vθ (r0 , θ0 ) ; uθ (r0 , θ0 ) = −rvr (r0 , θ0 ).

Entonces existe f 0 (z0 ) = e−i θ (ur + ivr ).

Observaciones: 1. Los teoremas 2 y 3 establecen condiciones suficientes para asegurar la

analiticidad de una función en una región D, ya que si las condiciones del teorema
se satisfacen en todo punto de D. Entonces f es analı́tica en D.

2. Otras condiciones suficientes se obtienen de las fórmulas de derivación.

Ası́, si dos funciones son analı́ticas en un dominio D, su suma y su producto son funciones
analı́ticas en D.

Análogamente, su cociente es una función analı́tica en D, si la función del denominador

no se anula en ningún punto de D.

Además, la composición de dos funciones analı́ticas es analı́tica.

3. Otra forma de determinar si una función es analı́tica en algún dominio es utilizando

la definición de derivada.

Ejemplos: a) f (z) = |z|2 es derivable solo en z = 0. Entonces no es analı́tica en ningún

punto. No admite puntos singulares.

b) f (z) = z 2 y f (z) = cos x cosh y − isen x senh y son funciones enteras.

No tienen puntos singulares.

c) f (z) = ln r + i θ (r > 0 − π < θ < π) es analı́tica en su dominio de definición.

El origen y los puntos del semieje real negativo son puntos singulares de la función.
(no aislados).

27
 d) f (z) = e−θ cos (ln r) + i e−θ sen (ln r) ; (r > 0, 0 < θ < 2π) es una función analı́tica
en su dominio de definición. El origen y los puntos del semieje real positivo son puntos
singulares de la función(no aislados).

z2 + 1 √ √
e) f (z) = 2 2
es analı́tica en C − {± i, ± 2}. Puntos singulares: ± i, ± 2
(z − 2)(z + 1)
Además estos puntos singulares son aislados.

1
f) f (z) = es analı́tica ∀ z 6= 0, donde z = 0 es un punto singular aislado de la función.
z2

Funciones Analı́ticas - Armónicas

Funciones Armónicas:

Una función H real de dos variables reales x, y se dice armónica en un dominio D del
plano xy si ∀ (x, y) ∈ D,

1. H tiene derivadas parciales de primer y segundo orden continuas.

2. Se satisface la ecuación de Laplace: Hxx (x, y) + Hyy (x, y) = 0 .

Teorema 1: Si f (z) = u(x, y) + i v(x, y) es analı́tica en un dominio D, entonces las

funciones componentes u y v son armónicas en D.

Definición: Sea f (z) = u(x, y) + i v(x, y); v es armónica conjugada de u en D si:

1. u y v son funciones armónicas en D.

2. Las derivadas parciales de primer orden de u y v satisfacen las ecuaciones de

Cauchy-Riemann en D.

Teorema 2: f (z) = u(x, y)+i v(x, y) es analı́tica en un dominio D si y solo si v es armónica

conjugada de u en D.

Familias Ortogonales:

Sea f (z) = u(x, y) + i v(x, y) analı́tica en un dominio D. Si f 0 (z) 6= 0, las familias de

curvas de nivel u(x, y) = α y v(x, y) = β son ortogonales; donde α y β constantes
reales arbitrarias.

Es decir, en su punto de intersección, cada miembro de una familia (lı́neas continuas en

la figura de abajo) es perpendicular a cada miembro de la otra.(lı́neas punteadas en la
figura de abajo).

Observación: Que una curva sea perpendicular a otra significa que las rectas tangentes a
las curvas, en el punto de intersección de las mismas, son perpendiculares.

28
 Ejemplo: f (z) = z 2 donde u(x, y) = x2 − y 2 , v(x, y) = 2xy
Las correspondientes curvas de nivel son: x2 − y 2 = α y 2xy = β, donde α y β constantes
reales.

Funciones Elementales
Función Exponencial

La función exponencial se define como: ez = ex eiy

z = x + iy, eiy = cosy + iseny donde y se mide en radianes.

Propiedades:

d z
1. e = ez ∀z ∈ C La función exponencial es una función entera.
dz
2. ez1 +z2 = ez1 ez2
ez1
3. ez1 −z2 =
ez2
1
4. e−z =
ez
5. |ez | = ex arg(ez ) = y + 2nπ n = 0, ±1, ±2, ...

6. ez 6= 0 ∀z ∈ C

7. ez+2πi = ez ∀z ∈ C Función periódica, con periodo imaginario puro 2πi.

8. ez = −1 ⇒ z = (2n + 1)πi , n = 0, ±1, ±2, ...

La Función Logaritmo

La función logarı́tmica de una variable compleja z = reiθ , z 6= 0 se define como:

log z = ln r + i(Θ + 2nπ) n = 0, ±1, ±2, ...

donde r = |z| − π < Θ ≤ π.

29
Observación: La función log z es una función multivaluada.

Valor principal de log z: Log z = ln r + iΘ −π <Θ≤π

Es una función univaluada para z 6= 0, pero no es continua en z = 0 y en los puntos del

semieje real negativo.

Ramas y Derivadas de Logaritmos

Una rama de una función multivaluada f es una función univaluada F analı́tica en un

cierto dominio D, tal que ∀z ∈ D, el valor F (z) es uno de los valores de f (z).

Sea α ∈ R, α < θ < α + 2π. Entonces:

La función log z = ln r + i θ r > 0, α < θ < α + 2π es univaluada y continua en

ese dominio. Además es analı́tica.

Entonces, para cada α fijo, la función univaluada

log z = ln r + i θ ( r > 0, α < θ < α + 2π)

es una rama de la función multivaluada:
log z = ln r + i(Θ + 2nπ) n = 0, ±1, ±2, ...

La función Log z = ln r + iΘ ( r > 0, −π < Θ < π) es la rama principal de la función

multivaluada log z.

Funciones Trigonométricas

eiz − e−iz eiz + e−iz

sen z = cos z =
2i 2

(1) Las funciones sen z y cos z son funciones enteras, ya que son combinaciones lineales
de funciones enteras, eiz y e−iz .
d d
sen z = cos z cos z = −sen z
dz dz

(2) sen (−z) = −sen z cos (−z) = cos z

(3) sen (z1 +z2 ) = sen z1 cos z2 +sen z2 cos z1 ; cos (z1 +z2 ) = cos z1 cos z2 −sen z1 sen z2

(4) sen2 z + cos2 z = 1 sen 2z = 2sen zcos z cos 2z = cos2 z − sen2 z

(5) sen z = sen x cosh y + i cos xsenhy cos z = cos x cosh y − i sen xsenh y

30
(6) Las funciones sen z y cos z no son acotadas en el plano complejo.

|sen z|2 = sen2 x + senh 2 y |cos z|2 = cos2 x + senh2 y

Observación:
Teorema de Liouville: Toda función entera no constante no está acotada.

(7) Definición: Un cero de una función f (z) es un número z0 tal que f (z0 ) = 0

Ceros de las funciones sen z y cos z

sen z = 0 ⇔ z = nπ
n = 0, ±1, ±2, ...
π
cos z = 0 ⇔ z = (2n + 1) n = 0, ±1, ±2, ...
2
sen z cos z
(8) tan z = cot z =
cos z sen z

1 1
sec z = csc z =
cos z sen z
(9) tan z y sec z son analı́ticos en todas partes, excepto en las singularidades:
π
z = (2n + 1) n = 0, ±1, ±2, ...
2
cot z y csc z son analı́ticos en todas partes, excepto en las singularidades:
z = nπ n = 0, ±1, ±2, ...
d d
(10) tan z = sec2 z cot z = −csc2 z
dz dz

d d
sec z = sec z tan z csc z = −csc z cot z
dz dz

Funciones hiperbólicas

ez − e−z ez + e−z
senh z = cosh z =
2 2

(1) Las funciones senh z y cosh z son funciones enteras, ya que son combinaciones
lineales de funciones enteras, ez y e−z .
d d
senh z = cosh z cosh z = senh z
dz dz
(2) senh z = 0 ⇔ z = nπi n = 0, ±1, ±2, ...
π
cosh z = 0 ⇔ z = (2n + 1) i n = 0, ±1, ±2, ...
2

31
 senh z cosh z
(3) tanh z = coth z =
cosh z senh z

1 1
sech z = csch z =
cosh z senh z
(4) tanh z y sech z son analı́ticos en todas partes, excepto en las singularidades:
π
z = (2n + 1) i n = 0, ±1, ±2, ...
2
coth z y csch z son analı́ticos en todas partes, excepto en las singularidades:
z = nπi n = 0, ±1, ±2, ...
d d
(5) tanh z = sech2 z coth z = −csch2 z
dz dz

d d
sech z = −sech z tanh z csch z = −csch z coth z
dz dz

Exponentes Complejos

z c = ec log z z 6= 0, c∈C

(1) La función z c = ec log z es univaluada y analı́tica en ( r > 0 α < θ < α + 2π)

si se usa la rama log z = ln r + i θ ( r > 0 α < θ < α + 2π), α ∈ R.
d c
(2) z = cz c−1 (|z| > 0 α < arg z < α + 2π)
dz
(3) Valor Principal de z c : (V.P) z c = ec Log z

(4) Rama Principal de z c : z c = ec Log z ( |z| > 0 − π < Arg z < π)

Funciones Trigonométricas inversas

w = sen−1 z ⇔ z = sen w , w∈C

(1) sen−1 z = −i log[iz + (1 − z 2 )1/2 ]

(2) cos−1 z = −i log[z + i(1 − z 2 )1/2 ]

i i+z
(3) tan−1 z = log
2 i−z
(4) Las funciones trigonométricas inversas son funciones multivaluadas. Se convierten en
funciones univaluadas y analı́ticas al usar ramas especı́ficas de la función raı́z cuadrada
y de las funciones logarı́tmicas.

32
 d 1 d 1
(5) sen−1 z = cos−1 z = −
dz (1 − z 2 )1/2 dz (1 − z 2 )1/2
d 1
(6) tan−1 z =
dz (1 + z 2 )

Funciones Hiperbólicas inversas

(1) senh−1 z = log[ z + (z 2 + 1)1/2 ]

(2) cosh−1 z = log[ z + (z 2 − 1)1/2 ]

1 1+z
(3) tanh−1 z = log
2 1−z
d 1 d 1
(4) senh−1 z = cosh−1 z = 2
dz (1 + z 2 )1/2 dz (z − 1)1/2
d 1
(5) tanh−1 z =
dz (1 − z 2 )

33
EJERCITARIO 3

1. Utilizar la definición de derivada para demostrar que:

1.1. Si f (z) = 5iz. Entonces f 0 (z) = 5i ∀z ∈ C
1.2. Si f (z) = z 2 − 3z. Entonces f 0 (z) = 2z − 3 ∀z ∈ C
1 1
1.3. Si f (z) = . Entonces f 0 (z) = − ∀z 6= 1
z−1 (z − 1)2
2. Para cada una de las funciones f (z) dadas:
a) Determinar el dominio donde f (z) es analı́tica.
b) En caso de existir puntos singulares, indicar cuáles son.
c) Hallar f 0 (z).

2.1. f (z) = 5z 4 + 3z 2 − 2i Rta: a) C b) No posee puntos singulares.

c) f 0 (z) = 20z 3 + 6z

2.2. f (z) = (2 + 3z 3 )4 Rta: a) C b) No posee puntos singulares.

c) f 0 (z) = 36z 2 (2 + 3z 3 )3
 
z+1 1
2.3. f (z) = Rta: a) C − b) z = 1/3
3z − 1 3
−4
c) f 0 (z) =
(3z − 1)2
z4 + 3
2.4. f (z) = 2 Rta: a) C − {±2, ±1} b) z = ±2, ±1
(z − 4)(z 2 − 1)
2z[−5z 4 + 2z 2 + 15]
c) f (z) =
(z 2 − 4)2 (z 2 − 1)2
2.5. f (z) = (z 2 + 4iz + 1)(z 3 + 2z 2 − 3i) Rta: a) C b) No posee puntos singulares.

c) f 0 (z) = 5z 4 + (8 + 16i)z 3 + (3 + 24i)z 2 + (4 − 6i)z + 12

(1 + z)3
2.6. f (z) = Rta: a) C − {−1} b) z = −1.
z+1
c) f 0 (z) = 2z + 2

z2 + 5 √ √
2.7. f (z) = 2 2
Rta: a) C − {± 5, ±i} b) z = ± 5, ±i
(z − 5)(z + 1)
−2z(z 4 + 10z 2 − 15)
c) f 0 (z) =
(z 2 − 5)2 (z 2 + 1)2

34
3. Determinar si las siguientes funciones son derivables en z = 0

Re(z 2 )

si z 6= 0

z2

|z 2 |

3.1. f (z) = 3.2. f (z) = 2

 |z|
0 si z = 0

z z2
3.3. f (z) = 3.4. f (z) = 2
z z
Rta: En todos los casos la función dada no es derivable en z = 0.

4. Utilizando las ecuaciones de Cauchy-Riemann:

a) Probar que cada una de las siguientes funciones f (z) es derivable en el dominio
de definición especificado.
b) Hallar f 0 (z)
√
4.1. f (z) = 6
r eiθ/6 ( r > 0 , α < θ < α + 2π) donde α: número real fijo.
0 1 −5/6
Rta: f (z) = z (r > 0, α < θ < α + 2π)
6
√
4.2. f (z) = 5 r eiθ/5 ( r > 0 , 0 < θ < 2π)
1 −4/5
Rta: f 0 (z) = z (r > 0, 0 < θ < 2π)
5
√
4.3. f (z) = 4 r eiθ/4 ( r > 0 , −π < θ < π)
1
Rta: f 0 (z) = z −3/4 (r > 0, −π < θ < π)
4
1
4.4. f (z) = 3 z 6= 0
z
3
Rta: f 0 (z) = − 4 ∀ z 6= 0
z
z
4.5. f (z) = i 2 z 6= 0
|z|
z2
Rta: f 0 (z) = −i 4 ∀ z 6= 0
|z|
4.6. f (z) = ln r + i(θ + π) ( r > 0 , 0 < θ < 2π)
1
Rta: f 0 (z) = (r > 0, 0 < θ < 2π)
z
4.7. f (z) = (ln r)2 − θ2 + π + i(2 θ ln r) ( r > 0 , −π < θ < π)
2
Rta: f 0 (z) = log z (r > 0, −π < θ < π)
z

5. Hallar los valores de las constantes a y b de modo que f (z) = (ax + y) + i(ax − by)
sea una función entera. Rta: a = −1 b = 1

35
6. Dadas las siguientes funciones:
a) Determinar si son analı́ticas en algún dominio del plano complejo.
b) Hallar la derivada f 0 (z) en los puntos donde exista.

6.1. f (z) = cos x senh y − i sen x cosh y Rta: f 0 (z) = −(sen x senh y + i cos x cosh y)
∀ z = (x, y) ∈ C

6.2. f (z) = cosh y(sen x + cos x) + i senh y(cos x − sen x)

Rta: f 0 (z) = cosh y( cos x − sen x ) − i senh y(sen x + cos x) ∀ z = (x, y) ∈ C

6.3. f (z) = sen x senh y + i cos x cosh y

Rta: f 0 (z) = cos x senh y − i sen x cosh y ∀ z = (x, y) ∈ C

6.4. f (z) = z 2 Rta: f 0 (z) = 0 si z = 0

6.5. f (z) = z Re(z) Rta: f 0 (z) = 0 si z = 0

6.6. f (z) = y 2 + i x2 Rta: f 0 (z) = i 2x si z = x − ix

6.7. f (z) = (y 3 − 3x2 y) + i (2 − 3xy 2 + x3 ) Rta: f 0 (z) = 3i z 2 ∀z ∈ C

1
6.8. f (z) = 2x3 + i (1 − 2y)3 Rta: f 0 (z) = 0 si z = i
2
x + iy
6.9. f (z) =
x2 + y 2
Rta: La función no es analı́tica en ningún dominio del plano complejo.

6.10. f (z) = sen 2z Rta: f 0 (z) = 2 cos 2z ∀z ∈ C

6.11. f (z) = cos 4z Rta: f 0 (z) = −4 sen 4z ∀z ∈ C

2 −4z
6.12. f (z) = Rta: f 0 (z) = ∀ z 6= ±i
1 + z2 (1 + z 2 )2
sen z z cos z − 3 sen z
6.13. f (z) = Rta: f 0 (z) = ∀ z 6= 0
z3 z4
ez ez [z 2 − 2z + 5] √
0
6.14. f (z) = 2 Rta: f (z) = ∀ z 6= ± 5 i
z +5 (z 2 + 5)2

4i −4i ez
6.15. f (z) = Rta: f 0 (z) = ∀ z 6= 2nπi n ∈ Z
ez − 1 (ez − 1)2
cos z
6.16. f (z) = 2iz Rta: f 0 (z) = 2i cot z − 2i z cosec2 z ∀z 6= nπ n∈Z
sen z
i −i [senh z + z cosh z]
6.17. f (z) = Rta: f 0 (z) = ∀ z 6= nπi n ∈ Z
z senh z z 2 senh2 z

36
 − e1/z
6.18. f (z) = e1/z + z Rta: f 0 (z) = + 1 ∀ z 6= 0
z2
2 −2 senh z π
6.19. f (z) = − z3 Rta: f 0 (z) = − 3z 2 ∀ z 6= (2n + 1) i, n ∈ Z
cosh z cosh2 z 2
1 1 π
6.20. f (z) = tan z + Rta: f 0 (z) = sec2 z − ∀ z 6= (2n + 1) n ∈ Z, z 6= 0
z z2 2

7. Verificar que las partes real e imaginaria de f (z) = z 2 − 2z − 1 son funciones

armónicas.

8. a) Determinar si a partir de la función real de dos variables reales

2xy
u(x, y) = 2 es posible construir una función analı́tica.
(x + y 2 )
Rta: La función u(x, y) no es armónica en ningún dominio, por lo que no es posible

construir una función analı́tica.

b) En caso de ser posible, hallar la función analı́tica correspondiente.

Ayuda: Encontrar una conjugada armónica v(x, y), entonces

f (z) = u(x, y) + iv(x, y) es analı́tica.
y
9. Dada la siguiente función u(x, y) = real de dos variables reales:
x2
+ y2
a) Probar que u(x, y) es armónica en algún dominio del plano xy
x
b) Hallar una conjugada armónica v(x, y) Rta: v(x, y) = 2 +C
x + y2  
y x
c) ¿Cuál es la función analı́tica correspondiente? Rta: v(x, y) = 2 +i +C
x + y2 x2 + y 2
10. Demostrar que la función f (z) = e2z es entera. Hallar su derivada.
Rta: f 0 (z) = 2 e2z ∀z ∈ C

11. Justificar por qué Re(ez ) es una función armónica en todo dominio del plano
xy.
Rta: Como f (z) = ez es una función analı́tica en todo el plano complejo, sus
funciones componentes u y v son armónicas en todo dominio del plano xy. Por
tanto, u(x, y) = Re(ez ) = ex cos y es una función armónica en todo dominio del
plano xy.

Elaborado por: Lic. Mercedes Ruiz Dı́az.

Revisado por: MSc. Teresa Alderete.

37
 Integrales de Camino
Sea f (z) una función continua a trozos sobre C. Entonces
Z Z b
f (z) dz = f [z(t)] · z 0 (t) dt (1)
C a
donde C es una curva suave a trozos.

C : z(t) = x(t) + i y(t) ; a, b ∈ R donde x e y continuas en a ≤ t ≤ b

z 0 (t) = x0 (t) + i y 0 (t) continua en [a, b] , z 0 (t) 6= 0 ∀ t ∈ (a, b)

Caminos(Contornos): Curva suave a trozos.

Esto es, es un arco o curva constituido por un número finito de arcos suaves unidos uno tras
otro.

Ejemplo: La curva C dada por:


x + ix 0 ≤ x ≤ 2
z(x) =
x + 2i 2 ≤ x ≤ 4
representa un camino.

Vemos de la definición (1), que integrar una función compleja sobre un camino, se reduce
a integrar una función compleja de variable real sobre un intervalo real, por lo que en primer
lugar estudiaremos las propiedades de este tipo de funciones.

38
 Funciones Complejas de Variable real t

w(t) = u(t) + i v(t)

dw
= w0 (t) w0 (t) = u0 (t) + i v 0 (t) si u0 y v 0 existen en t.
dt

Propiedades
d
1. [z0 w(t)] = z0 w0 (t)
dt
d z0 t
2. [e ] = z0 ez0 t
dt
3. Las reglas de derivación de suma, producto y cociente son exactamente iguales que
para funciones reales de variable real.

Sin embargo, no todas las propiedades de las funciones reales se extienden a funciones
complejas de variable real.

Integrales definidas de funciones w(t) = u(t) + iv(t)

Sea w : [a, b] → C continua a trozos en [a, b]

Z b Z b Z b
w(t) dt = u(t) dt + i v(t) dt
a a a
Z b  Z b
Re w(t) dt = Re(w(t)) dt
a a
Z b  Z b
Im w(t) dt = Im(w(t)) dt
a a

Reglas del Cálculo válidas

Z b Z b Z b
[W (t) + w(t)] dt = W (t) dt + w(t) dt
a a a
Z b Z b
z0 w(t) dt = z0 w(t) dt
a a
Z b Z b
w(t) dt = − w(t) dt
a a
Z b Z c Z b
w(t) dt = w(t) dt + w(t) dt c ∈ [a, b]
a a c

39
 Teorema Fundamental del Cálculo (para Primitivas)
Z b
0
Sean W (t) y w(t) continuas en [a, b] : W (t) = w(t) ∀ t ∈ [a, b] ⇒ w(t) dt = W (t)]ab
a

Propiedades de integrales de funciones complejas de variable

compleja.
Z Z Z
(α f (z) + β g(z)) = α f (z) dz + β g(z) dz
C C C
Z Z
f (z) dz = − f (z) dz
−C C
Z Z Z Z
f (z) dz = f (z) dz + f (z) dz +...+ f (z) dz donde C = C1 ∪ C2 ∪...∪ Cn
C C1 C2 Cn

Además, para aplicar la propiedad (iii) el punto inicial de Ci+1 debe coincidir con el
punto final de Ci .

Primitivas.

Teorema Fundamental para Integrales sobre Caminos.

Sea f (z) continua en D: Dominio. Son equivalentes:

(i) f (z) tiene una Primitiva F (z) en D

Z
(ii) f (z) dz tienen el mismo valor. donde C ⊂ D
C
Z
(iii) f (z) dz = 0 donde C: camino cerrado, C ⊂ D
C

Teorema de Cauchy - Goursat

Z
Si f es analı́tica en C ∪ Dint (C) ⇒ f (z) dz = 0
C

Teorema de Morera
Z
f (z) dz = 0 ⇒ f es analı́tica en D donde C ⊂ D C: camino cerrado y D: dominio.
C

Fórmula Integral de Cauchy

Sea f (z) analı́tica en Dint (C) ∪ C.

Z Z
1 f (z) f (z)
Si z0 ∈ Dint (C), f (z0 ) = dz ⇒ dz = 2π i f (z0 )
2π i C z − z0 C z − z0

Si una función es analı́tica en un punto, existen sus derivadas de todo orden en ese punto
y son, a su vez, funciones analı́ticas en él.

40
Fórmula Integral de Cauchy Generalizada

Z
(n) n! f (z)
f (z0 ) = n = 0, 1, 2, ....
2π i C (z − z0 )n+1

EJERCITARIO 4
1. Graficar las sgtes. curvas:

a) z(t) = t2 − 1 + i (t + 4) 0≤t≤2

b) z(t) = (t + 1)2 − 1 + it −1 ≤ t ≤ 1

c) z(t) = 5 cost − 3isen t π ≤ t ≤ 2π

d) z(t) = 4 cost + 4i sen t 0 ≤ t ≤ π/2

e) z(t) = (3 + 2i) + 2e−it −π ≤t≤π

f) z(θ) = 5 eiθ 0≤θ≤π

g) z(θ) = 4 eiθ − π/2 ≤ θ ≤ π/2

h) z(θ) = 2 + eiθ π ≤ θ ≤ 2π

 (2 + 4i)t si 0≤t≤1
i) γ(t) =
(5 − 4i)t − (3 − 8i) si 1≤t≤2


j) z(t) = (3 cos t + 2) + i(2sen t − 3) 0 ≤ t ≤ 2π



 t si 0 ≤ t ≤ 1
1 + (t − 1)i si 1 ≤ t ≤ 2

k) γ(t) =

 (3 − t) + i si 2 ≤ t ≤ 3
(4 − t)i si 3 ≤ t ≤ 4


 −t − ti si −2 ≤ t ≤ 0
l) γ(t) = t si 0 ≤ t ≤ 2
2 + (t − 2)i si 2 ≤ t ≤ 4

Z Z
2. Demostrar que z dz = z dz = 2 + 6i donde C1 es el segmento recto que
C1 C2 √
va desde −1 a 3 + 2i y C2 es la porción de parábola y = x + 1 desde −1 a 3 + 2i.

3. Dar una parametrización para el contorno C = C1 + C2 , donde C1 es la porción

de circunferencia de 1 a i y C2 es el segmento recto que va de i a −1.

Rta: Una parametrización para C1 es: z(t) = eit 0 ≤ t ≤ π/2 y una parametrización
para C2 es: z(t) = −t + i(1 − t) 0 ≤ t ≤ 1

41
4. Dar una parametrización para el contorno C = C1 + C2 + C3 , donde C1 , C2 y
C3 son segmentos rectos, que van de −1 a i, de i a 1 + i y de 1 + i a 1
respectivamente.

Rta: Una parametrización para C1 es: z(t) = (t − 1) + it 0 ≤ t ≤ 1

una parametrización para C2 es: z(t) = t + i 0 ≤ t ≤ 1
y una parametrización para C3 es: z(t) = 1 − it − 1 ≤ t ≤ 0
Z
5. Evaluar y dz de −2i a 2i a lo largo de los sgtes. contornos:
C

a) El contorno poligonal C con vértices −2i, −2 − 2i, −2 y 2i. Rta: 6

b) El contorno C que es la mitad izquierda de la circunferencia |z| = 2 Rta: 2π
Z
6. Evaluar x dz de −2 a 2 a lo largo de los sgtes. contornos:
C

a) El contorno poligonal C con vértices −2, −2 + 2i, 2 + 2i y 2. Rta: −8i

b) El contorno C que es la mitad superior de la circunferencia |z| = 2 Rta: −2iπ
Z
7. Evaluar z dz donde C está dado por z(t) = cost + isent para 0 ≤ t ≤ π/2
C
Rta: −1
Z
8. Demostrar que ez dz = e2+2i − 1 donde C es el segmento recto que va de
C
0 a 2 + 2i.

9. Demostrar que las integrales de f (z) = z sobre los caminos C1 y C2 tienen

valores distintos; donde C1 es la porción de cia. que va de i a 1 y C2 es el camino
poligonal de i a 1 + i y de 1 + i a 1.
Z Z
Rta: z dz = −iπ/2 z dz = −2i
C1 C2

10. Determinar el dominio de analiticidad de

Z las sgtes. funciones, luego aplicar el
Teorema de Cauchy-Goursat para calcular f (z) dz, donde C es la circunferencia
C
|z| = 2 con orientación positiva.
2z
a) f (z) = Rta: C − {±3i}
z2
+9
i √
b) f (z) = 2 Rta: C − {−2 ± 2i}
z + 4z + 6
c) f (z) = sec(z/2) Rta: C − {(2n + 1)π, n = 0, ±1, ±2, ...}

d) f (z) = Log(z + 3) Rta: C − {(x, y) : x ≤ −3, y = 0}

Z
Observación: En todos los casos f (z)dz = 0
C
Z
11. Hallar (z 2 − z)−1 dz para los sgtes. contornos:
C

42
a) La cia. |z − 1| = 3 con orientación positiva. Rta: 0

b) La cia. |z| = 1/2 con orientación positiva. Rta: −2πi

Z
12. Hallar (2z + 1)(z 2 − z)−1 dz para los sgtes. contornos:
C

a) La cia. |z| = 4 con orientación positiva. Rta: 4πi

b) La cia. |z − 1| = 1/2 con orientación positiva. Rta: 6πi

Z
13. Hallar (2z + 1)−1 (2z + 3)−1 dz para los sgtes. contornos:
C
πi
a) La cia. |z| = 1 con orientación positiva. Rta:
2
πi
b) La cia. |z + 3/2| = 1/2 con orientación positiva. Rta: −
2
c) La cia. |z| = 2 con orientación positiva. Rta: 0

14. Sea C el triángulo de vértices 0, 1 y −i, con orientación positiva.

a) Parametrizar C Rta: Si C = C1 + C2 + C3 parametrizaciones para C1 , C2 , C3 son:

z(t) = −t − 1 ≤ t ≤ 0 z(t) = −it 0 ≤ t ≤ 1 z(t) = t − i(1 − t) 0 ≤ t ≤ 1

Z Z
b) Demostrar que 1 dz = 0 y z dz = 0
C C
Z
15. Hallar z 1/2 dz; usando la rama principal de la función raı́z cuadrada, donde C es
C
4
la circunferencia |z| = 1. Rta: − i
3
Z 1
16. Hallar z i dz donde z i denota la rama principal z i = eiLog z
−1
( |z| > 0, −π < Argz < π) y donde el camino de integración es cualquier camino
1−i
que va de z = −1 a z = 1 por el semiplano superior. Rta: (1 + e−π )
2
 
i i log z π 3π
Ayuda: Usar una primitiva de la rama z = e |z| > 0, − < arg z <
2 2
de esa función potencia.

17. Sea C el contorno, orientado positivamente del semicı́rculo 0 ≤ r ≤ 1,

0 ≤ θ ≤ π y sea f (z) una función continua definida
 en ese semicı́rculo por f (0) = 0
√ iθ/2

π 3π
y por la rama f (z) = r e r > 0, − < θ < de la función multivaluada
Z 2 2
z 1/2 . Probar que f (z) dz = 0, calculando por separado las integrales de f (z)
C
sobre la semicircunferencia y los dos radios que configuran C. ¿Por qué no es
aplicable el teorema de Cauchy- Goursat?
Z
2z
18. Sea C la circunferencia |z + i| = 1 con orientación positiva. Hallar 2
dz
C z +2

43
Rta: 2πi
Z
z+2
19. Hallar dz donde C es el contorno que se muestra en la figura de
C z2 − z
abajo:

Rta: 10πi

20. Sea C un contorno cerrado simple con orientación positiva tal que z0 = 2i es
interior a C. Demostrar que:
Z Z
dz dz
= 2πi 3
=0
C z − 2i C (z − 2i)
Z
21. Evaluar (z 2 − 1)−1 dz donde C es la elipse |z − 1| + |z + 1| = 4
C
con orientación positiva. Rta: 0
√
Z
22. Evaluar z dz desde z = 0 hasta z = 3 + 3i, a lo largo de la curva C dada
C
por:
√
a) z(t) = t2 + it Rta: 6 − 3i
√ √ √
b) Las rectas
√ de z = 0 a z = 3i y de z = 3i a z = 3 + 3i, respectivamente.
Rta: 6 − 3 3i

Elaborado por: Lic. Mercedes Ruiz Dı́az.

Revisado por: MSc. Teresa Alderete.

44
 Series de Taylor
Teorema: Sea f una función analı́tica en |z − z0 | < R0 . Entonces, f (z) admite la
reperesentación en serie de potencias
∞
X
f (z) = an (z − z0 )n |z − z0 | < R0
n=0

f (n) (z0 )
donde an = n = 0, 1, 2, ...
n!
Desarrollo en Serie de Taylor de f (z) centrado en z0

Observación: Toda función analı́tica en un punto z0 , es representable por una serie

de Taylor centrada en z0 .

Si la función f es entera, la condición de validez es |z − z0 | < ∞, entonces la serie

converge a f (z) ∀z ∈ C. En este caso, conviene centrar el desarrollo en serie en z0 = 0.

Serie de Maclaurin: Caso particular de la serie de Taylor cuando z0 = 0.

∞
X f (n) (0) n
f (z) = z |z| < R0
n=0
n!
Ejemplos:

1. Representación en serie de Maclaurin de f (z) = ez

f (z) = ez es una función entera, entonces, admite una representación en serie de

Maclaurin válida ∀z ∈ C.

f (0) (z) = f (z) = ez

f 0 (z) = ez
..
.
f (n) (z) = ez

Luego,
∞
z
X zn
e = |z| < ∞
n=0
n!

45
2. Hallar la serie de Maclaurin de la función f (z) = sen z

f (z) = sen z es una función entera, admite representación en serie de Maclaurin válida
∀z ∈ C (|z| < ∞)

∞
eiz − e−iz z
X zn
sen z = e = |z| < ∞
2i n=0
n!
"∞ ∞
#
1 X (iz)n X (−iz)n
sen z = −
2i n=0 n! n=0
n!
"∞ ∞
#
1 X in z n X (−1)n in z n
sen z = −
2i n=0 n! n=0
n!
∞ n
1 X n nz
sen z = [1 − (−1) ] i
2i n=0 n!

Como 1 − (−1)n = 0 si n es par y 1 − (−1)n = 2 si n es impar, podemos reemplazar n

por 2n + 1 en la última serie,

∞ 2n+1
1 X 2n+1 2n+1 z

sen z = 1 − (−1) i
2i n=0 (2n + 1)!

∞ ∞
1 X 2 n z 2n+1 1X n z
2n+1
sen z = 2 (i ) i = 2(−1)
2i n=0 (2n + 1)! 2 n=0 (2n + 1)!

∞
X
n z 2n+1
sen z = (−1) |z| < ∞
n=0
(2n + 1)!

3. Si f (z) = cos z. Obtener su representación en serie.

∞
X z 2n+1
Tenemos que sen z = (−1)n |z| < ∞
n=0
(2n + 1)!
∞
X
Por una propiedad si f (z) = an (z − z0 )n |z − z0 | < R0
n=0
∞
X
0
Entonces, f (z) = n an (z − z0 )n−1 |z − z0 | < R0
n=0
∞ ∞
X (2n + 1)z 2n X (2n + 1)z 2n
por lo que cos z = (−1)n = (−1)n
n=0
(2n + 1)! n=0
(2n + 1 − 1)!(2n + 1)
∞
X z 2n
Entonces, cos z = (−1)n |z| < ∞
n=0
(2n)!

46
4. Obtener el desarrollo en serie de Maclaurin de la función f (z) = senh z

f (z) es entera, ésto es, analı́tica en |z| < ∞, entonces admite representación en serie
de potencias.

∞
X z 2n+1
Como senh z = −i sen(iz) y sen z = (−1)n
n=0
(2n + 1)!

∞
X (iz)2n+1
tenemos que sen(iz) = (−1)n
n=0
(2n + 1)!

∞
X i(2n+1) z 2n+1
sen(iz) = (−1)n
n=0
(2n + 1)!

∞
X z 2n+1
sen(iz) = (−1)n (i2 )n i |z| < ∞
n=0
(2n + 1)!

∞
X z 2n+1
sen(iz) = (−1)2n i |z| < ∞
n=0
(2n + 1)!

∞
X z 2n+1
por lo que senh z = −i (−1)2n i |z| < ∞
n=0
(2n + 1)!

∞
X z 2n+1
senh z = |z| < ∞
n=0
(2n + 1)!

5. Obtener el desarrollo en serie de Maclaurin de la función f (z) = cosh z

Como f (z) = cosh z es una función entera, analı́tica en |z| < ∞, admite representación
en serie de potencias.

∞
X z 2n
Además cosh z = cos(iz) y cos z = (−1)n (|z| < ∞)
n=0
(2n)!
∞
X (iz)2n
⇒ cos(iz) = (−1)n (|z| < ∞)
n=0
(2n)!

47
 ∞ 2n 2n
n (i) z
X
cos(iz) = (−1) |z| < ∞
n=0
(2n)!

∞ 2 n 2n
n (i ) z
X
cos(iz) = (−1) |z| < ∞
n=0
(2n)!

∞
X
nz 2n n
cos(iz) = (−1) (−1) |z| < ∞
n=0
(2n)!

∞
X z 2n2n
cos(iz) = (−1) |z| < ∞
n=0
(2n)!

∞
X z 2n
cos(iz) = |z| < ∞
n=0
(2n)!

∞
X z 2n
Por tanto, cosh z = |z| < ∞
n=0
(2n)!

∞
X 1
6. Probar que zn = (|z| < 1)
n=0
1−z
1
f (z) = es analı́tica en todo el plano complejo, excepto en z = 1. En particular,
1−z
f es analı́tica en |z| < 1. Entonces, admite representación en serie de potencias,

∞
X f n (z0 )
f (z) = an (z − z0 )n ; an = |z − z0 | < R0
n=0
n!

1
f (0) (z) = f (z) = = (1 − z)−1 = 0!(1 − z)−1
1−z

1
f 0 (z) = − 2
(−1) = (1 − z)−2 = 1!(1 − z)−2
(1 − z)

f 00 (z) = −2(1 − z)−3 (−1) = 2 · 1 · (1 − z)−3 = 2!(1 − z)−3

f 000 (z) = −6(1 − z)−4 (−1) = 2 · 3 · (1 − z)−4 = 3!(1 − z)−4

..
.

48
 n!
f (n) (z) = n = 0, 1, 2, .....
(1 − z)n+1

n!
f (n) (0) = = n! n = 0, 1, 2, .....
1n+1

X f n (0) ∞ ∞
1 X n!
⇒ = · zn = zn
1−z n=0
n! n=0
n!

∞
X 1
⇒ zn = |z| < 1
n=0
1−z

Series de Laurent
Teorema: Sea f (z) una función analı́tica en el anillo R1 < |z − z0 | < R2 . Entonces,
f (z) admite la representación:
∞ ∞
X
n
X bn
f (z) = an (z − z0 ) + R1 < |z − z0 | < R2
n=0 n=1
(z − z0 )n
donde C : cualquier camino cerrado simple, orientado positivamente, que rodea a z0 y
está totalmente contenido en ese dominio anular. R1 , R2 : números reales positivos.

I I
1 f (z) 1 f (z)
an = n = 0, 1, 2, ... bn = n = 1, 2, ...
2πi C (z − z0 )n+1 2πi C (z − z0 )−n+1

“Serie de Laurent válida en R1 < |z − z0 | < R2 ”

Regiones de validez. Casos:

I) Si f es analı́tica en un entorno perfordo de z0 : 0 < |z − z0 | < R

II) Si f es analı́tica en todo C, excepto en z0 : 0 < |z − z0 | < ∞

III) Si f es analı́tica en todo punto exterior a |z − z0 | = R: R < |z − z0 | < ∞

Definición: Se dice que un punto singular (z0 ), es aislado si existe un entorno perforado
0 < |z − z0 | < , ( > 0) de z0 en el cual f es analı́tica.

Ejemplo:
z+1
f (z) = ; z=0 , z = ±i son puntos singulares aislados de f .
z 3 (z 2 + 1)

49
 Residuos
Cuando z0 es un punto singular aislado de f , ∃ R > 0 tal que f es analı́tica en
0 < |z − z0 | < R. Por consiguiente, f (z) viene representado por una serie de Laurent,

∞
X b1 b2 bn
(1) f (z) = an (z−z0 )n + + 2
+ ... + + ... 0 < |z−z0 | < R
n=0
z − z0 (z − z0 ) (z − z0 )n
| {z }
Parte principal de f en z0

donde an y bn admiten representaciones integrales ; en particular:

I
1 f (z)
bn = n = 1, 2, ...
2πi C (z − z0 )−n+1
donde C es cualquier camino cerrado simple, orientado positivamente, en torno a z0
y contenido en 0 < |z − z0 | < R.
I
Para n = 1 tenemos: f (z) dz = 2πi b1
C

Esta fórmula proporciona un método para calcular ciertas integrales sobre caminos
cerrados simples.
1
Definición: El número complejo b1 , que es el coeficiente de en el desarrollo (1),
z − z0
se llama “Residuo de f en el punto singular aislado z0 ”

Notación: Resz=z0 f (z)

Clasificación de puntos singulares aislados

1. Polo de orden m: z0 es un polo de orden m si la parte principal de f en z0 contiene
una cantidad finita de coeficientes bi no nulos; i = 1, 2, ..., n, ésto es:
b1 b2 bm
+ 2
+ ... + donde bm 6= 0 y bm+1 = bm+2 = bm+3 = ... = 0
z − z0 (z − z0 ) (z − z0 )m

2. Singularidad evitable: z0 es una singularidad evitable si en la parte principal de la

función, bi = 0 ∀ i = 1, 2, ..., n, ...

Redefiniendo f (z0 ) = a0 se tiene que f es analı́tica en |z − z0 | < R

3. Singularidad esencial: z0 es una singularidad esencial si la parte principal de la función

en z0 contiene infinitos coeficientes bi no nulos, ésto es:

bi 6= 0 ∀ i = 1, 2, ...n, ...

50
 Residuos y Polos
Teorema: Un punto singular aislado z0 de una función f , es un polo de orden m si y sólo
si, f (z) se puede escribir en la forma:

φ(z)
f (z) = ; φ(z0 ) 6= 0 , φ analı́tica en z0
(z − z0 )m

φ(m−1) (z0 )
Además, Resz=z0 f (z) = si m ≥ 1
(m − 1)!

Ceros y Polos
Definición: Una función f tiene un cero de orden m en z0 si
f (z0 ) = f 0 (z0 ) = f 00 (z0 ) = ... = f (m−1) (z0 ) = 0 y f (m) (z0 ) 6= 0

Teorema: Supongamos
i) p y q funciones analı́ticas en z0

ii) p(z0 ) 6= 0 y q tiene un cero de orden m en z0

p(z)
Entonces, tiene un polo de orden m en z0
q(z)

Teorema: Sean p y q funciones analı́ticas en z0 . Si p(z0 ) 6= 0 ; q(z0 ) = 0 y q 0 (z0 ) 6= 0.

p(z)
Entonces, z0 es un polo simple del cociente
q(z)

p(z) p(z0 )
Además Resz=z0 = 0
q(z) q (z0 )

51
Teorema de los Residuos de Cauchy: Sea C un camino cerrado simple, orientado
en sentido positivo. Si una función f es analı́tica en C y en el dominio interior a C (Dint (C)),
excepto en un número finito de puntos singulares zk (k=1,2,...,n) interiores a C, entonces:
I n
X
f (z) dz = 2πi Resz=zk f (z)
C k=1

Reducción a un único Residuo: Si una función f es analı́tica en todo el plano,

excepto en un número finito de puntos singulares interiores a un camino cerrado simple C,
orientado positivamente. Entonces:
I   
1 1
f (z) dz = 2πi Resz=0 2 f
C z z

52
EJERCITARIO 5
1. Hallar el desarrollo en serie de Taylor centrado en z0 = 0 de la función:
1
f (z) =
z2 + 4
∞
X z 2n
Rta: f (z) = (−1)n (|z| < 2)
n=0
4n+1
1
2. Hallar el desarrollo en serie de Maclaurin de la función f (z) =
z4 +9
∞
X z 4n √
Rta: f (z) = (−1)n (|z| < 3)
n=0
32n+2
∞
X 3(1 − 32n )z 2n+1
3. Deducir el desarrollo en serie de Maclaurin sen3 z = (−1)n ·
n=1
4(2n + 1)!
3
(|z| < ∞) de la función f (z) = sen z, utilizando la identidad
3 1
sen3 z = sen z − sen 3z
4 4

4. Hallar el desarrollo en serie de Maclaurin de la función f (z) = z e2z

∞
X 2n−1
Rta: f (z) = zn (|z| < ∞)
n=1
(n − 1)!
1
5. Desarrollar la función f (z) = en potencias de z − 2 y la función
3−z
1
f (z) = en potencias de z − i
1+z
∞ ∞
X
n
X
n (z − i)
n √
Rta: (z − 2) (|z − 2| < 1) y (−1) (|z − i| < 2)
n=0 n=0
(1 + i)n+1
∞
2 2
X z 4n+2
6. Deducir el desarrollo en serie de Maclaurin z cosh (z ) = (|z| < ∞)
n=0
(2n)!
de f (z) = z 2 cosh (z 2 )
1
7. Hallar la representación en serie de potencias de la función f (z) =
(z − 3)(z − 2)
en el dominio |z| < 2
∞
"   n+1 #
n+1
X 1 1
Rta: f (z) = − zn (|z| < 2)
n=0
2 3

53
 1
8. Hallar la representación en serie de potencias de la función f (z) = −
(z − 1)(z − 2)
en cada uno de los sgtes. dominios:

a) |z| < 1 b) 1 < |z| < 2 c) 2 < |z| < ∞

Rta: ∞
X
a) f (z) = (2−n−1 − 1) z n (|z| < 1)
n=0
∞ ∞
X zn X 1
b) f (z) = + (1 < |z| < 2)
n=0
2(n+1) n=1
zn
∞
X (1 − 2n−1 )
c) f (z) = (2 < |z| < ∞)
n=1
zn
1
9. Hallar la representación en serie de potencias de la función f (z) =
(z − 3)
en cada uno de los sgtes. dominios:

a) |z| < 3 b) 3 < |z|

Rta: ∞
X zn
a) f (z) = − (|z| < 3)
n=0
3n+1
∞
X 3n
b) f (z) = (|z| > 3)
n=0
z n+1
3
10. Hallar la representación en serie de Laurent de la función f (z) =
(2 − z)(1 + z)
en cada uno de los sgtes. dominios:

a) |z| < 1 b) 1 < |z| < 2 c) 2 < |z|

Rta: ∞
X
(−1)n + 2−n−1 z n
 
a) f (z) = (|z| < 1)
n=0
∞ ∞
X zn X (−1)n+1
b) f (z) = + (1 < |z| < 2)
n=0
2n+1 n=1
zn
∞
X (−1)n+1 − 2n−1
c) f (z) = (|z| > 2)
n=1
zn
∞
X (1/2)n
1
11. Deducir el desarrollo en serie de Laurent = (|z| > 1/2)
2z − 1 n=1 z n

54
12. Deducir el desarrollo en serie de Laurent
" ∞
#
ez 1 1 X (z − 1)n
=e + + ( 0 < |z − 1| < ∞)
(z − 1)2 z − 1 (z − 1)2 n=0 (n + 2)!

13. Deducir el desarrollo en serie de Laurent

  ∞
3 1 z X 1 1
z cosh = + z3 + · 2n−1 ( |z| > 0)
z 2 n=1
(2n + 2)! z

1+z
14. Desarrollar la función f (z) =
1−z
a) En serie de Maclaurin

Rta: ∞
X
f (z) = 1 + 2 zn (|z| < 1)
n=1

b) En serie de Laurent en el dominio 1 < |z|

Rta: ∞
X 1
f (z) = −1 − 2 (|z| > 1)
n=1
zn
15. En cada caso:

a) Hallar el residuo en los puntos singulares de la función.

b) Determinar qué tipo de puntos singulares presenta la función.( polo,

singularidad evitable ó singularidad esencial.)
1 −1
15.1. f (z) = a)1/4, −1/4 b)polos 15.2. f (z) = a)1, −1 b)polos
4z − z 2 (z − 2)(z − 1)
senh z
15.3. f (z) = a)1 b) polo 15.4. f (z) = e1/z a)1 b) s. esencial
z2
e−z 1 − cos z
15.5. f (z) = a) − 1/e b) polo 15.6. f (z) = a)0 b) s. evitable
(z − 1)2 z
3z + 2 z3
15.7. f (z) = a)1, −5, 4 b) polos 15.8. f (z) = a) − 3/16 b) polo
z(z − 1)(z − 2) (2z + 1)3
sen z
15.9. f (z) = z 2 sen (1/z) a), −1/6 b) s. esencial 15.10. f (z) = a)0 b) s. evitable
z

16. Usar el teorema de los residuos de Cauchy para evaluar las integrales sobre la
cia. |z| = 3 (recorrida en sentido positivo), de las funciones dadas en el ejercicio 15.

Rtas:
−2πi
16.1. iπ/2 16.2. 0 16.3. 2πi 16.4. 2πi 16.5. 16.6. 0 16.7. 0
e
3 πi
16.8. − πi 16.9. − 16.10. 0
8 3

55
17. En cada caso, evaluar la integral de f (z) sobre la cia. |z| = 3 orientada en
sentido positivo.

1 (3z + 2)2
a) f (z) = Rta: 0 b) f (z) = Rta: 9πi
z 4 + z 3 − 2z 2 z(z − 1)(2z + 5)
z3 − z2 + z − 1 4 − 3z
c) f (z) = Rta: −2π i d) f (z) = 2 Rta:−6πi
z 3 + 4z z −z
18. Evaluar cada integral, donde C es la cia. |z| = 2 orientada en sentido positivo.
Z Z
18.1. cot z dz Rta:2π i 18.2. csc z dz Rta:2πi
C C
Z Z
sech z
18.3. tanh z dz Rta:4πi 18.4. dz Rta:0
C C z2
Z Z
sen z
18.5. dz Rta:2πi senh 1 18.6. sec z dz Rta:0
C z2 + 1 C
Z Z
1 1
18.7. dz Rta:0 18.8. dz Rta:2πi
C (z + 1)3 C ez −1

Elaborado por: Lic. Mercedes Ruiz Dı́az.

Revisado por: MSc. Teresa Alderete.

56
 Resúmen de Fórmulas
Fórmula binomial:
n    
n
X n n−k k n n!
(z1 + z2 ) = z1 z2 ; = ; n = 1, 2, ... z1 , z2 ∈ C
k=0
k k k!(n − k)!

Desigualdad triangular: |z1 ± z2 | ≤ |z1 | + |z2 |

Forma exponencial de z : z = r eiθ donde r = |z| , θ ∈ arg(z) , z 6= 0

Fórmula de Euler: eiθ = cos θ + i sen θ

Fórmula de De Moivre: (cos θ+i sen θ)n = cos (nθ)+i sen (nθ) n = 0, ±1, ±2, ...

Raı́z n-sima de un número complejo z0 :

√ θ0 +2kπ
ck = n r0 ei ( n ) k = 0, 1, 2, ..., n − 1 ; z0 = r0 eiθ0 ; z0 6= 0 , n ≥ 2

Argumento de un número complejo z: arg z = Arg z+2nπ n = 0, ±1, ±2, ...

donde Arg z: único valor Θ de arg z tal que −π < Θ ≤ π

Propiedades de los argumentos:

1. arg (z1 z2 ) = arg z1 + arg z2 ; z1 6= 0 , z2 6= 0
 
z1
2. arg = arg z1 − arg z2 ; z1 6= 0 , z2 6= 0
z2
3. arg z = −arg z z 6= 0

Propiedad: z n = (z −1 )m m = −n = 1, 2, ... n = −1, −2, ... z 6= 0

Ecuación paramétrica de la circunferencia:

1. La ecuación z = Reiθ 0 ≤ θ ≤ 2π es representación paramétrica de |z| = R

2. La ecuación z = z0 + Reiθ 0 ≤ θ ≤ 2π es representación paramétrica de |z − z0 | = R

57
Ecuación de la elipse centrada en el origen:

|z − C| + |z + C| = 2a donde a : longitud del semieje mayor.

b : longitud del semieje menor.

c : distancia del origen a uno de los focos. donde los puntos C y −C son los focos.

a2 = b 2 + c 2

Lı́mites Infinitos:
1
(i) lı́m f (z) = ∞ ⇔ lı́m =0
z→z0 f (z)
z→z0
 
1
(ii) lı́m f (z) = w0 ⇔ lı́m f = w0
z→∞ z→0 z
1
(iii) lı́m f (z) = ∞ ⇔ lı́m   = 0
z→∞ z→0 1
f
z
f (z) − f (z0 )
Definición de derivadas: f 0 (z0 ) = z→z
lı́m
0 z − z0

f (z0 + ∆z) − f (z0 )

Si ∆z = z − z0 . Entonces: f 0 (z0 ) = lı́m
∆z→0 ∆z
Fórmulas de Derivación:
d
Notación: f (z) = f 0 (z)
dz
Sean c una constante compleja y f una función derivable en z ∈ C
d d d
(1) c=0 z=1 [c · f (z)] = c · f 0 (z)
dz dz dz

Si las derivadas de dos funciones f y F existen en z ∈ C

d
(2) [f (z) + F (z)] = f 0 (z) + F 0 (z)
dz
d
(3) [f (z) · F (z)] = F (z) · f 0 (z) + f (z) · F 0 (z)
dz
F (z)f 0 (z) − f (z)F 0 (z)
 
d f (z)
(4) = si F (z) 6= 0
dz F (z) [F (z)]2

58
 d n
(5) Si n ∈ Z+ , z = n · z n−1 La fórmula también es válida si n ∈ Z− siempre que
dz
z 6= 0.

(6) Si F (z) = g[f (z)]. Supongamos f tiene derivada en z0 y g tiene derivada en f (z0 ).
Entonces F tiene derivada en z0 y,

F 0 (z0 ) = g 0 [f (z0 )] · f 0 (z0 )

Si denotamos w = f (z), W = g(w) tal que F (z) = W . Entonces:

dW dW dw
= · Regla de la cadena
dz dw dz

Regla de L0 Hopital: Supongamos f (z0 ) = g(z0 ) = 0 y que f 0 (z0 ) y g 0 (z0 ) existen

f (z) f 0 (z0 )
con g 0 (z0 ) 6= 0. Entonces: lı́m = 0
z→z0 g(z) g (z0 )

Ecuaciones de Cauchy - Riemann:

ux (x0 , y0 ) = vy (x0 , y0 ) ; uy (x0 , y0 ) = −vx (x0 , y0 )

Además, f 0 (z0 ) = ux (x0 , y0 ) + ivx (x0 , y0 )

Ecuaciones de Cauchy - Riemann en forma polar:

rur (r0 , θ0 ) = vθ (r0 , θ0 ) ; uθ (r0 , θ0 ) = −rvr (r0 , θ0 )

Además, f 0 (z0 ) = e−i θ (ur + ivr )

Ecuación de Laplace: Hxx (x, y) + Hyy (x, y) = 0 donde H es una función real
de dos variables reales.

Propiedades de la función exponencial:

d z
1. e = ez ∀z ∈ C La función exponencial es una función entera.
dz
2. ez1 +z2 = ez1 ez2
ez1
3. ez1 −z2 =
ez2
1
4. e−z =
ez
5. |ez | = ex arg(ez ) = y + 2nπ n = 0, ±1, ±2, ...

6. ez 6= 0 ∀z ∈ C

7. ez+2πi = ez ∀z ∈ C Función periódica, con periodo imaginario puro 2πi.

8. ez = −1 ⇒ z = (2n + 1)πi , n = 0, ±1, ±2, ...

59
La función logarı́tmica: log z = ln r + i(Θ + 2nπ) n = 0, ±1, ±2, ...

donde r = |z| − π < Θ ≤ π.

Valor principal de log z: Log z = ln r + iΘ −π <Θ≤π

Rama de la función logarı́tmica:

log z = ln r + i θ ( r > 0, α < θ < α + 2π)

Rama principal de la función logarı́tmica:

Log z = ln r + iΘ ( r > 0, −π < Θ < π)

Funciones Trigonométricas:
eiz − e−iz eiz + e−iz
sen z = cos z =
2i 2
d d
(1) sen z = cos z cos z = −sen z
dz dz
(2) sen (−z) = −sen z cos (−z) = cos z

(3) sen (z1 +z2 ) = sen z1 cos z2 +sen z2 cos z1 ; cos (z1 +z2 ) = cos z1 cos z2 −sen z1 sen z2

(4) sen2 z + cos2 z = 1 sen 2z = 2sen zcos z cos 2z = cos2 z − sen2 z

(5) sen z = sen x cosh y + i cos xsenhy cos z = cos x cosh y − i sen xsenh y

(6) |sen z|2 = sen2 x + senh 2 y |cos z|2 = cos2 x + senh2 y

(7) sen z = 0 ⇔ z = nπ n = 0, ±1, ±2, ...

π
(8) cos z = 0 ⇔ z = (2n + 1) n = 0, ±1, ±2, ...
2
sen z cos z
(9) tan z = cot z =
cos z sen z
1 1
(10) sec z = csc z =
cos z sen z
d d
(11) tan z = sec2 z cot z = −csc2 z
dz dz
d d
(12) sec z = sec z tan z csc z = −csc z cot z
dz dz

60
Funciones hiperbólicas
ez − e−z ez + e−z
senh z = cosh z =
2 2
d d
(1) senh z = cosh z cosh z = senh z
dz dz
(2) senh z = 0 ⇔ z = nπi n = 0, ±1, ±2, ...
π
cosh z = 0 ⇔ z = (2n + 1) i n = 0, ±1, ±2, ...
2
senh z cosh z
(3) tanh z = coth z =
cosh z senh z

1 1
sech z = csch z =
cosh z senh z

d d
(4) tanh z = sech2 z coth z = −csch2 z
dz dz

d d
sech z = −sech z tanh z csch z = −csch z coth z
dz dz

Exponentes Complejos:

z c = ec log z z 6= 0, c∈C
(1) La función z c = ec log z es univaluada y analı́tica en ( r > 0 α < θ < α + 2π)
si se usa la rama log z = ln r + i θ ( r > 0 α < θ < α + 2π), α ∈ R.
d c
(2) z = cz c−1 (|z| > 0 α < arg z < α + 2π)
dz
(3) Valor Principal de z c : (V.P) z c = ec Log z

(4) Rama Principal de z c : z c = ec Log z ( |z| > 0 − π < Arg z < π)

Funciones Trigonométricas inversas

w = sen−1 z ⇔ z = sen w , w∈C

(1) sen−1 z = −i log[iz + (1 − z 2 )1/2 ]

(2) cos−1 z = −i log[z + i(1 − z 2 )1/2 ]

i i+z
(3) tan−1 z = log
2 i−z
d 1 d 1 d 1
(4) sen−1 z = cos−1 z = − tan−1 z =
dz (1 − z 2 )1/2 dz (1 − z 2 )1/2 dz (1 + z 2 )

61
Funciones Hiperbólicas inversas:

(1) senh−1 z = log[ z + (z 2 + 1)1/2 ]

(2) cosh−1 z = log[ z + (z 2 − 1)1/2 ]

1 1+z
(3) tanh−1 z = log
2 1−z
d 1 d 1
(4) senh−1 z = cosh−1 z = 2
dz (1 + z 2 )1/2 dz (z − 1)1/2
d 1
(5) tanh−1 z =
dz (1 − z 2 )

Z Z b
Integrales de Camino: f (z) dz = f [z(t)] · z 0 (t) dt si f (z) es una función
C a
continua a trozos sobre C: curva suave a trozos.

C : z(t) = x(t) + i y(t) ; a, b ∈ R donde x e y continuas en a ≤ t ≤ b

z 0 (t) = x0 (t) + i y 0 (t) continua en [a, b] , z 0 (t) 6= 0 ∀ t ∈ (a, b)

Funciones complejas de una variable real: w(t) = u(t) + i v(t)

dw
= w0 (t) w0 (t) = u0 (t) + i v 0 (t) si u0 y v 0 existen en t.
dt

Propiedades:
d
1. [z0 w(t)] = z0 w0 (t)
dt
d z0 t
2. [e ] = z0 ez0 t
dt

Z b Z b Z b
Integrales definidas de funciones w(t): w(t) dt = u(t) dt + i v(t) dt
a a a
si w : [a, b] → C continua a trozos en [a, b]
Z b  Z b
(1) Re w(t) dt = Re(w(t)) dt
a a
Z b  Z b
(2) Im w(t) dt = Im(w(t)) dt
a a

62
Reglas del Cálculo válidas:
Z b Z b Z b
(1) [W (t) + w(t)] dt = W (t) dt + w(t) dt
a a a
Z b Z b
(2) z0 w(t) dt = z0 w(t) dt
a a
Z b Z b
(3) w(t) dt = − w(t) dt
a a
Z b Z c Z b
(4) w(t) dt = w(t) dt + w(t) dt c ∈ [a, b]
a a c

Teorema Fundamental del Cálculo (para Primitivas):

Z b
0
Sean W (t) y w(t) continuas en [a, b] : W (t) = w(t) ∀ t ∈ [a, b] ⇒ w(t) dt = W (t)]ab
a

Propiedades de integrales de funciones complejas de variable

compleja:
Z Z Z
(i) (α f (z) + β g(z)) = α f (z) dz + β g(z) dz
C C C
Z Z
(ii) f (z) dz = − f (z) dz
−C C
Z Z Z Z
(iii) f (z) dz = f (z) dz + f (z) dz + ... + f (z) dz donde
C C1 C2 Cn

C = C1 ∪ C2 ∪ ... ∪ Cn

Además, para aplicar la propiedad (iii) el punto inicial de Ci+1 debe coincidir con el
punto final de Ci .

Teorema Fundamental para Integrales sobre Caminos(Primitivas):

Sea f (z) continua en D: Dominio. Son equivalentes:

(i) f (z) tiene una Primitiva F (z) en D

Z
(ii) f (z) dz tienen el mismo valor. donde C ⊂ D
C
Z
(iii) f (z) dz = 0 donde C: camino cerrado, C ⊂ D
C

Teorema de Cauchy - Goursat:

Z
Si f es analı́tica en C ∪ Dint (C) ⇒ f (z) dz = 0
C

63
Teorema de Morera:
Z
f (z) dz = 0 ⇒ f es analı́tica en D donde C ⊂ D C: camino cerrado y D: dominio.
C

Fórmula Integral de Cauchy:

Sea f (z) analı́tica en Dint (C) ∪ C.

Z Z
1 f (z) f (z)
Si z0 ∈ Dint (C), f (z0 ) = dz ⇒ dz = 2πi f (z0 )
2πi C z − z0 C z − z0

Fórmula Integral de Cauchy Generalizada:

Z
(n) n! f (z)
f (z0 ) = n = 0, 1, 2, ....
2πi C (z − z0 )n+1

∞
X
Serie de Taylor: f (z) = an (z − z0 )n |z − z0 | < R0
n=0
f (n) (z0 )
donde an = n = 0, 1, 2, ... si f es una función analı́tica en |z − z0 | < R0 .
n!

Serie de Maclaurin: Caso particular de la serie de Taylor cuando z0 = 0.

∞
X f (n) (0) n
f (z) = z |z| < R0
n=0
n!

Desarrollo en serie de Maclaurin de algunas funciones analı́ticas:

∞ ∞
X zn X z 2n+1
(1) ez = |z| < ∞ (4) senh z = |z| < ∞
n=0
n! n=0
(2n + 1)!

∞ ∞
X z 2n+1
n
X z 2n
(2) sen z = (−1) |z| < ∞ (5) cosh z = |z| < ∞
n=0
(2n + 1)! n=0
(2n)!

∞ ∞
X z 2nn
X 1
(3) cos z = (−1) |z| < ∞ (6) zn = |z| < 1
n=0
(2n)! n=0
1−z

64
 ∞ ∞
X
n
X bn
Serie de Laurent: f (z) = an (z − z0 ) + R1 < |z − z0 | < R2
n=0 n=1
(z − z0 )n
si f (z) es una función analı́tica en el anillo R1 < |z − z0 | < R2 ; R1 , R2 > 0

I I
1 f (z) 1 f (z)
an = n = 0, 1, 2, ... bn = n = 1, 2, ...
2πi C (z − z0 )n+1 2πi C (z − z0 )−n+1

donde C : cualquier camino cerrado simple, orientado positivamente, que rodea a z0 y

está totalmente contenido en ese dominio anular.
I
Para n = 1 tenemos: f (z) dz = 2πi b1
C

Residuo de f en el punto singular aislado z0 : Resz=z0 f (z) = b1

Residuos y Polos: Un punto singular aislado z0 de una función f es un polo de

φ(z)
orden m ⇔ f (z) = ; φ(z0 ) 6= 0 , φ analı́tica en z0
(z − z0 )m

φ(m−1) (z0 )
Además, Resz=z0 f (z) = si m ≥ 1
(m − 1)!

Ceros y Polos: Si p(z0 ) 6= 0 ; q(z0 ) = 0 y q 0 (z0 ) 6= 0. Entonces, z0 es un polo

p(z)
simple del cociente donde p y q funciones analı́ticas en z0
q(z)

p(z) p(z0 )
Además Resz=z0 = 0
q(z) q (z0 )
I n
X
Teorema de los Residuos de Cauchy: f (z) dz = 2πi Resz=zk f (z)
C k=1

I   
1 1
Reducción a un único Residuo: f (z) dz = 2πi Resz=0 f
C z2 z

65
Referencias
[1] Jerrold E. Marsden.,Michael J. Hoffman, Análisis Básico de Variable Compleja

[2] Churchill Ruel V.,James Ward Brown, Variable Compleja y Aplicaciones. 7ma.
Edición

[3] Murray R. Spiegel.,Seymour Lipschutz, Variable Compleja. Colección Shaum

2da. Edición

[4] John H. Mathews,Russell W. Howell, Complex Analysis for Mathematics and

Engineering

66