Notas de análisis complejo

Andrés Figueroa Alvarado Walter Figueroa Neyra

Diciembre del 2023

Í NDICE GENERAL

1 Funciones analíticas y funciones elementales . . . . . . . . . . . . . . . 1

1.1 Preliminares: el cuerpo de los números complejos . . . . . . . . . . . . . . . 1
1.1.1 Conjugación compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Módulo de un número complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Forma polar de un número complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.4 Forma Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.5 Radicación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Topología del plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 Conjunto cerrado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.2 Puntos de acumulación. Adherencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.3 Conjuntos conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.4 Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Límites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4.1 Teoremas de límites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6 Continuidad Uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.7 Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8 Ecuaciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.8.1 Ecuaciones de Cauchy-Riemann en coordenadas polares . . . . . . . . . . . . . . . . 30
1.9 Funciones analíticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.10 Singularidad de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.11 Funciones armónicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.12 Funciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.12.1 La función exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.12.2 Funciones trigonométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.12.3 Funciones hiperbólicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.12.4 La función logarítmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.12.5 Funciones trigonométricas inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

2 Integración compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.1 Funciones complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.2 Contornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.3 Integrales de contorno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4 Integrales indefinidas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.4.1 Ejercicios sobre primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.5 La fórmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.6 Derivadas de funciones analíticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.7 Teorema fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.7.1 Teorema de Morera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.7.2 Teorema de la desigualdad de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.7.3 Teorema de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.7.4 Teorema del valor medio de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.7.5 Teorema del módulo máximo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.7.6 Teorema fundamental del álgebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.8 Ejercicios resueltos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.8.1 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69

3 Series, residuos y polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71

3.1 Criterios de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.1.1 Serie de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.2 Propiedades sobre sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.2.1 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79

4 Residuos y Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
4.1 Clasificación de singularidades aisladas . . . . . . . . . . . . . . . . . . . . . . . . 91
4.2 Polos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.3 Cálculos de residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.4 Aplicaciones de la teoría de residuos al cálculo e integrales reales 97
4.4.1 Cálculo del valor de integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.4.2 Cálculo de integrales impropias que contiene funciones trigonométricas . . . . 101

Bibliografía . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
 C APÍTULO

1
F UNCIONES ANALÍTICAS Y
FUNCIONES ELEMENTALES

1.1 P RELIMINARES : EL CUERPO DE LOS NÚMEROS COMPLEJOS

Sea C = {z = (a, b) : a, b ∈ R} el conjunto de los números complejos, donde a = Re(z) y b =

Im(z).
Si a, b, c, d ∈ R, definimos las operaciones

Igualdad: (a, b) = (c, d ) ⇔ a = c y b = d

Suma: (a, b) + (c, d ) = (a + c, b + d )
Multiplicación: (a, b) · (c, d ) = (ac − bd , ad + bc)

• Las propiedades de la adición y multiplicación para números reales, también se cumplen

para la adición y multiplicación en complejos.
Si z 1 , z 2 , z 3 ∈ C entonces

-) z 1 + z 2 ∈ C y z 1 · z 2 ∈ C (Prop. de clausura)
-) z 1 + z 2 = z 2 + z 1 y z 1 · z 2 = z 2 · z 1 (Prop. conmutativa)
-) z 1 + (z 2 + z 3 ) = (z 1 + z 2 ) + z 3 y z 1 · (z 2 · z 3 ) = (z 1 · z 2 ) · z 3 (Prop. asociativa)
-) z 1 · (z 2 + z 3 ) = z 1 · z 2 + z 1 · z 3 (Prop. distributiva)
-) ∃! τ = (0, 0) ∈ C / z + τ = z, ∀z ∈ Z (Elemento neutro para la adición)
-) ∃! w = (1, 0) ∈ C / z · w = z, ∀z ∈ Z (Elemento identidad para la multiplicación)
-) ∀0 ̸= z ∈ C, ∃! (−z) ∈ C, llamado el opuesto aditivo de z, tal que z + (−z) = 0.
-) ∀0 ̸= z ∈ C, ∃! z −1 ∈ C, llamado inverso de z, tal que z · z −1 = z −1 · z = 1.

• El conjunto C que satisface todas las propiedades anteriores es llamado un cuerpo com-
plejo.

• z = (a, 0) es equivalente al número real a. Esto nos dice que un número real es precisa-
mente un número complejo con la parte imaginaria igual a cero.

• Por otro lado: denotemos i = (0, 1). Luego por propiedad de multiplicación se tiene

(0, 1)2 = (0, 1) · (0, 1) = (−1, 0) esto implica que i 2 = −1.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 2 Cap.1: Funciones analíticas y funciones elementales

• Considerando el número complejo cualquier z = (a, b) como

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

resulta que para todo z ∈ C se puede representar en la forma

z = a + i b.

Las operaciones algebraicas las podemos hacer así:

1. (a + i b) ± (c + i d ) = (a ± c) + i (b ± d )

2. (a + i b) · (c + i d ) = (ac − bd ) + i (ad + bc)

2
3. a + i b = a + i b · c − i d = a(c − i d ) + i b(c − i d ) = ac − i ad + i bc − i bd
c +id c +id c −id c 2 − i 2d 2 c2 + d2
ac + bd bc − ad
= 2 2
+i 2
c +d c + d2

1.1.1 C ONJUGACIÓN COMPLEJA

Definición 1.1.
El conjugado del número complejo z = a + i b es el número z̄ = a − i b.

Si z = a + i b ⇒ z · z̄ = a 2 + b 2 . (*)

Definición 1.2.
z̄
Si z = a + i b ̸= 0 entonces z −1 = es llamado el inverso de z.
a2 + b2

Se verifican las siguientes relaciones inmediatas.

1) z 1 + z 2 = z 1 + z 2

2) z 1 − z 2 = z 1 − z 2

z1 z1
µ ¶
3) = , donde z 2 ̸= 0
z2 z2

4) z = z

5) z + z = 2 Re(z), z − z = 2 Im(z)

6) z es número real si, y solo si, z = z

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.1. Preliminares: el cuerpo de los números complejos 3

1.1.2 M ÓDULO DE UN NÚMERO COMPLEJO

Definición 1.3.
Sea el número complejop z = a+i b. Definimos el módulo o valor absoluto de z, al número
real no negativo |z| = a 2 + b 2 (es decir, | | : C → R+
0 ).

El inverso de z = a + i b en términos del valor absoluto se escribe como

z
z −1 = .
|z|2

También |z|2 = z · z.

1.1.2 P ROPIEDADES DEL MÓDULO

El módulo de z = a + i b es una función que tiene las siguientes propiedades.

1) |z| ≥ 0, |z| = 0 ⇐⇒ z = 0

2) |z 1 · z 2 | = |z 1 | · |z 2 |
¯ ¯
¯ z 1 ¯ |z 1 |
3) ¯¯ ¯¯ = , si z 2 ̸= 0
z2 |z 2 |
¯ ¯
4) ¯z ¯ = |−z| = |z|

5) |z 1 + z 2 | ≤ |z 1 | + |z 2 |

Prueba de (2)

|z 1 · z 2 |2 = (z 1 · z 2 ) · z 1 · z 2 = z 1 · z 2 · z 1 · z 2 = z 1 · z 1 · z 2 · z 2 = |z 1 |2 · |z 2 |2
q q
⇒ |z 1 · z 2 | = |z 1 | |z 2 |2 = |z 1 | · |z 2 |
2

∴ |z 1 · z 2 | = |z 1 | · |z 2 |

Prueba de (3)
z1
z2 · = z 1 . Tomar valor absoluto
z2
¯ ¯ ¯ ¯
¯ z1 ¯ ¯ z 1 ¯ |z 1 |
|z 2 | · ¯¯ ¯¯ = |z 1 | =⇒ ¯¯ ¯¯ = , z 2 ̸= 0.
z2 z2 |z 2 |

Andrés Figueroa Alvarado Walter Figueroa Neyra

 4 Cap.1: Funciones analíticas y funciones elementales

Prueba de (5)
Usaremos las siguientes desigualdades

− |z| ≤ Re(z) ≤ |z|

(*)
− |z| ≤ Im(z) ≤ |z|

|z 1 + z 2 |2 = (z 1 + z 2 )(z 1 + z 2 ) = z 1 · z 1 + z 2 · z 1 + z 1 · z 2 + z 2 · z 2
= |z 1 |2 + z 2 · z 1 + z 2 · z 1 + |z 2 |2
= |z 1 |2 + 2 Re(z2 z1 ) + |z 2 |2
≤ |z 1 |2 + 2 ¯z 2 · z 1 ¯ + |z 2 |2
¯ ¯

|z 1 + z 2 |2 = (|z 1 | + |z 2 |)2 ⇒ |z 1 + z 2 | ≤ |z 1 | + |z 2 |

1.1.3 F ORMA POLAR DE UN NÚMERO COMPLEJO

Sea z = x + i y, el módulo es r = |z|, θ =ángulo medido en radianes.

-) El ángulo se define en al menos un múltiplo de 2π. Este ángulo recibe el nombre de ar-
gumento o amplitud de z.
Es decir, θ = arg(z).
x
-) Sea cos θ = → x = r cos θ
r
y
sen θ = → y = r cos θ y • z = (x, y) = (r, θ)
r
y ³y´
|

tan θ = → θ = arctan
|z
=

p x x
r

r = x2 + y 2 θ
x

-) Luego z = x + i y = r (cos θ + i sen θ)

-) Del número infinito de valores de θ se toma −π ≤ θ ≤ π. Se llama argumento principal

de z,
θ = arg(z) = Arg(z) + 2kπ, k ∈ Z.

Operaciones en la forma polar

-) Adición. En la forma polar no se define esta operación.

-) Multiplicación. Sea z 1 = r (cos θ + i sen θ) y z 2 = ρ(cos α + i sen α).

z 1 · z 2 = r (cos θ + i sen θ) · ρ(cos α + i sen α)

= r · ρ [(cos θ + cos α − sen θ sen α) + i (cos θ sen α + sen θ cos α)]
z 1 · z 2 = r · ρ [cos(θ + α) + i sen(θ + α)]

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.1. Preliminares: el cuerpo de los números complejos 5

Observación:

Si se tiene z 1 = r 1 (cos θ1 + i sen θ1 ), . . . , z n = r n (cos θn + i sen θn ) entonces

z 1 · z 2 · · · z n = r 1 · r 2 · · · r n [cos(θ1 + θ2 + · · · + θn ) + i sen(θ1 + θ2 + · · · + θn )]

-) División.
z1 r (cos θ + i sen θ) r (cos θ + i sen θ) · (cos α − i sen α)
= =
z 2 ρ(cos α + i sen α) ρ(cos α + i sen α) · (cos α − i sen α)
r (cos θ cos α + sen θ sen α) + i (sen θ cos α − sen α cos θ)
= ·
ρ cos2 α + sen2 α
r
= [cos(θ − α) + i sen(θ − α)]
ρ

-) Potenciación. Sea z = r (cos θ + i sen θ). Se define z n por

z n = [r (cos θ + i sen θ)]n
= r (cos θ + i sen θ) · r (cos θ + i sen θ) · · · r (cos θ + i sen θ)
= |r · r{z· · · r}(cos θ + i sen θ) · (cos θ + i sen θ) · · · (cos θ + i sen θ)
n veces
= r n [cos(θ + θ + · · · + θ) + i sen(θ + θ + · · · + θ)]
z n = r n [cos(nθ) + i sen(nθ)]

Si r = 1 entonces z n = cos(nθ) + i sen(nθ).

(cos θ + i sen θ)n = cos(nθ) + i sen(nθ) (Fórmula de Moivre)

1.1.4 F ORMA E XPONENCIAL

La ecuación e i θ = cos θ + i sen θ que define el símbolo e i θ o exp(i θ), para todo θ se conoce
como la fórmula de Euler.
Sea z = r (cos θ + i sen θ) = r e i θ , esto es, la forma exponencial del número complejo z.

Observación: Las fórmulas de la multiplicación y división de números complejos en fun-

ción de la forma exponencial se escriben como
z 1 · z 2 = r · ρe i (θ+α)
z 1 r i (θ−α)
= e
z2 ρ

1.1.5 R ADICACIÓN

Sea z = r (cos θ + i sen θ). Debemos hallar la raíz n-ésima de z.

p p
n
n
z = r (cos θ + i sen θ) = ρ(cos α + i sen α)

Andrés Figueroa Alvarado Walter Figueroa Neyra

6 Cap.1: Funciones analíticas y funciones elementales

-) Debemos hallar ρ y α en función de r y θ respectivamente.

-) El número de raíces está dado por el índice del radical.

-) Elevando a la potencia n

r (cos θ + i sen θ) = ρ n (cos α + i sen α)n

= ρ n [cos(nα) + i sen(nα)]

De esto
p
r = ρ n −→ ρ = n
r

El argumento se define en un múltiplo de 2π, luego

nα = θ + 2kπ, k ∈ Z

entonces

θ + 2kπ
α= .
n

p θ + 2kπ θ + 2kπ
p · µ ¶ µ ¶¸
n
r (cos θ + i sen θ) = r cos
n
+ i sen
n n
para

k = 0, 1, 2, . . . , (n − 1), n − valores

Ejemplo 1.1.

Calcular las raíces n-ésimas de la unidad.

1 = cos 0◦ + i sen 0◦ ; r = 1
p p
µ ¶ µ ¶
n n ◦ ◦
2kπ 2kπ
1 = cos 0 + i sen 0 = cos + i sen , k = 0, 1, . . . , n − 1.
n n

denotaremos las raíces n-ésimas de la unidad por w nk

µ ¶
2kπ
w nk = exp i , k = 0, 1, 2, . . . , n − 1.
n

Nota: Las raíces n-ésimas de un número complejo, geométricamente forman un polígono

de n lados dentro del círculo de radio 1, donde cada vértice es una raíz.

Ejercicio 1.1.1.

Hallar las raíces cúbicas de la unidad.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.2. Topología del plano complejo 7

Ejemplo 1.2.

Hallar los valores de z tal que z 3 = −1 + i .

Pasar el número complejo z = −1 + i a la forma polar
p p
|z| = 12 + 12 =
2
3π
θ = arctan(−1) =
4 ¶
p
· µ µ ¶¸
3π 3π
−1 + i = 2 cos + 2kπ + i sen + 2kπ
4 4

p
· µ ¶ µ ¶¸
3 3 3π 3π
z = r (cos 3θ + i sen 3θ) = 2 cos + 2kπ + i sen + 2kπ
4 4
p 3π π 2kπ
r 3 = 2 → r = 21/6 , 3θ = + 2kπ → θ = +
4 4 3

luego

π 2kπ π 2kπ
· µ ¶ µ ¶¸
1/3 1/6
z = (−1 + i ) =2 cos + + i sen +
4 3 4 3

Si
³ π π´
k = 0 → z 1 = 21/6 cos + i sen
µ4 ¶4
π π 2π
· µ ¶¸ · ¸
1/6 2π 1/6 11π 11π
k = 1 → z2 = 2 cos + + i sen + =2 cos + i sen
4 3 4 3 12 12
π 4π π 4π
· µ ¶ µ ¶¸ · ¸
1/6 1/6 19π 19π
k = 2 → z3 = 2 cos + + i sen + =2 cos + i sen
4 3 4 3 12 12

1.2 T OPOLOGÍA DEL PLANO COMPLEJO

Definición 1.4.
Se llama vecindad de un punto z 0 ∈ C al conjunto

Vr (z 0 ) = {z : |z − z 0 | < r, r > 0}.

Una vecindad reducida es aquella en la que se omite el punto z 0 :

V
cr (z 0 ) = {z : 0 < |z − z 0 | < r }.

Definición 1.5.
El punto z 0 ∈ S ⊆ C se llama punto interior a S si existe Vr (z 0 ) tal que Vr (z 0 ) ⊆ S

Andrés Figueroa Alvarado Walter Figueroa Neyra

 8 Cap.1: Funciones analíticas y funciones elementales

El interior de S lo denotaremos por S̊ y está dado por

S̊ = {z : z es punto interior}.

S es abierto si, y solo si, S = S̊.

Teorema 1.1.
(1) La unión de una familia arbitraria de conjuntos abiertos es un conjunto abierto.

(2) La intersección de un número finito de conjuntos abiertos es un conjunto abierto.

Demostración.
S
(1) Sea {A λ }λ∈L una familia de conjuntos abiertos de S. Se probará que A = A λ es abierto.
λ∈L
En efecto: sea z 0 ∈ A entonces existe λ ∈ L tal que z 0 ∈ A λ , y como A λ es abierto existe
Vr (z 0 ) tal que Vr (z 0 ) ⊆ A λ . Entonces
[
Vr (z 0 ) ⊆ Vλ = A
λ∈L

luego

Vr (z 0 ) ⊆ A

Por lo tanto
[
A= Vλ es abierto.
λ∈L

n
(2) Sea {A λ }nλ=1 una familia finita de conjuntos abiertos. Por demostrar que A =
T
es abier-
λ=1
to de S.
En efecto, sea z 0 ∈ A. Para cada λ = 1, 2, . . . , n existe Vr λ (z 0 ) ⊆ A λ . Tomando r = mı́n{r 1 , . . . , r n }
entonces como r > 0 y Vr (z 0 ) ⊆ Vr λ (z 0 ) ⊆ A λ .
Para cada λ, luego
n
\ n
\
Vr (z 0 ) ⊆ Vr λ ⊆ Aλ
λ=1 λ=1

luego
n
\
Vr (z 0 ) ⊆ Aλ = A
λ=1

por lo tanto
n
\
A= A λ es abierto.
λ=1

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.2. Topología del plano complejo 9

1.2.1 C ONJUNTO CERRADO

Definición 1.6.
Un conjunto S es cerrado si su complemento C \ S es abierto.

Nota.
Los conjuntos ; y C son abiertos y cerrados a la vez.

Existen conjuntos que no son ni abiertos ni cerrados.

Ejemplo 1.3.

S = {z ∈ C : 1 ≤ |z| < 2}.

En efecto, S no es abierto pues S ̸= S̊ = {z : 1 < |z| < 2}.
Por otro lado:
S no es cerrado, puesto que C \ S = {z : |z| < 1} ∪ {z : |z| ≥ 2} no es abierto.

Teorema 1.2.
(1) La unión de un número finito de conjuntos cerrados es un conjunto cerrado.

(2) La intersección de una familia arbitraria de cerrados es un conjunto cerrado.

Ejemplo 1.4.

La unión de un número infinito de conjuntos cerrados puede no ser un conjunto cerra-

do. ½ ¾
1
En efecto: sea S n = z : |z| ≤ 1 − , n = 1, 2, 3, . . .. Entonces
n
∞
[
S n = {z : |z| < 1}
n=1

que no es cerrado.

1.2.2 P UNTOS DE ACUMULACIÓN . A DHERENCIA .

Andrés Figueroa Alvarado Walter Figueroa Neyra

 10 Cap.1: Funciones analíticas y funciones elementales

Definición 1.7.
Un punto z 0 se llama punto de acumulación (o punto límite) de un conjunto S si cada
vecindad Vr (z 0 ) contiene algún punto z ∈ S diferente de z 0 .

S ′ = {z : z es punto de acumulación de S}
se llama conjunto derivado de S.

Ejemplo 1.5.

z = 1 es un punto de acumulación de S = {z : |z| < 1}, sin embargo 1 ∉ S.

Ejemplo 1.6.

z = 0 aunque pertenece al conjunto S = {z : 1 < |z| < 2}∪{0} no es punto de acumulación.

El conjunto S = S ∪ S ′ es llamado cerradura o adherencia de S.

• Para un conjunto S cualquiera, S es cerrado.

• S es cerrado si, y solo si, S = S.

1.2.3 C ONJUNTOS CONEXOS

En forma intuitiva un conjunto conexo es aquel formado por un “solo pedazo”.

Definición 1.8.
Un conjunto S es conexo si no existen conjuntos abiertos A 1 ̸= ; y A 2 ̸= ; en S tal que

1. A 1 ∩ A 2 = ; 2. A 1 ∪ A 2 = S

Si S es conjunto abierto entonces podemos escribir

“Un conjunto abierto es conexo si S se puede representar de manera única como la

unión distinta de dos subconjuntos abiertos en S, no vacíos”.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.2. Topología del plano complejo 11

Ejemplo 1.7.

Considere el conjunto S ⊆ R2 dado por

½ ¾
1
S = (x, y) : y = sen , x > 0 ∪ {(0, 0)}
x
½ ¾
1
donde A = (x, y) : y = sen , x > 0 , B = {(0, 0)}.
x
1
En el intervalo 0 < x < ε, ε > 0, y = sen realizó infinidad de oscilaciones. Observar que
x
A ∩ B = ; y A ∪ B = S. Así S es conexo.

Definición 1.9.
Se llama dominio a todo conjunto abierto y conexo del plano complejo.

Ejemplo 1.8.

El conjunto C de números complejos es conexo.

Ejemplo 1.9.

El conjunto S = {z : |z| < 1} es conexo.

Ejemplo 1.10.

A = {z = x + i y : x > 0} y B = {z = x + i y : y < 0}.

Ejemplo 1.11.

El conjunto abierto S = {z : |z| < 1}∪{z : 2 < |z| < 1} no es un dominio (pues no es conexo).

Teorema 1.3.
Todo intervalo de la recta es un conjunto conexo.

Teorema 1.4 (Recíproco).

Todo conjunto conexo de la recta es un intervalo.

Definición 1.10.
Un conjunto S es acotado si existe k > 0 tal que |z| < k, para todo z ∈ S.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 12 Cap.1: Funciones analíticas y funciones elementales

1.2.4 C ONJUNTOS COMPACTOS

Definición 1.11.
Un conjunto S es compacto si cada cubrimiento de abiertos {A i }i ∈I de S posee un sub-
cubrimiento finito {A 1 , A 2 , . . . , A n }.

Teorema 1.5.
Un conjunto S es compacto si, y solo si, es cerrado y acotado.

Teorema 1.6 (Bolzano-Weierstrass).

Si S es un conjunto compacto, toda sucesión infinita de punto {a n }n∈N , a n ∈ A tiene al

menos un punto límite.

Teorema 1.7.
Todo subconjunto cerrado C de un conjunto compacto S es compacto.

1.3 F UNCIONES DE VARIABLE COMPLEJA

Definición 1.12.
Sea S ⊆ C un subconjunto de números complejos. Una función f definida sobre S es
una regla que asocia cada elemento z ∈ S con un número complejo w = f (z), llamada
función de valor complejo.

Simbólicamente se escribe

f : S ⊆C→C
z 7→ f (z) = w.

S es el dominio de definición de la función f .

Sea w = f (z) función compleja definida sobre un conjunto S.

Si z = x + i y ∈ S entonces w se puede escribir como w = f (z) = u(x, y) + i v(x, y), donde u

y v son funciones con valores reales de variables x e y.

Como z = x + i y, x, y ∈ R, considera f como una función de valor complejo de valores x e

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.3. Funciones de variable compleja 13

y.

f (x, y) + f (x, y) f (x, y) − f (x, y)

w = f (z) = f (x, y) = +i
| 2
{z } | 2 i
{z }
=u(x,y) =v(x,y)

por lo tanto

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

Ejemplo 1.12.

Si f (z) = z 2 + 2 entonces

f (x + i y) = (x + i y)2 + 2 = x 2 − y 2 + 2 + i 2x y.

De esto u(x, y) = x 2 − y 2 + 2 y v(x, y) = 2x y.

Si usamos coordenadas polares, se tiene z = r e i θ , entonces

³ ´
u + i v = f r eiθ ,

luego podemos escribir

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

Ejemplo 1.13.

1
Si f (z) = z + , z ̸= 0, entonces
z
³ ´ 1 1
f r e i θ = r e i θ + i θ = r (cos θ + i sen θ) + (cos θ − i sen θ)
µ ¶r e µ ¶ r
1 1
= r + cos θ + i r − sen θ
r r

de esto
µ ¶ µ ¶
1 1
u(r, θ) = r + cos θ y v(r, θ) = r − sen θ
r r

1.3.0 A PLICACIONES

• Si tenemos una función y = f (x, y), x, y ∈ R, las propiedades se reflejan al graficar la fun-
ción.

• Pero para la función w = f (z), z, w ∈ C, no existe una adecuada representación gráfica

de f , porque z y w se localizan en un plano y no en una recta. Sin embargo, podemos
exhibir cierta información de la función f indicando pares de puntos z = (x, y) y w =
(u, v), dibujando en planos z y w separadamente.

Andrés Figueroa Alvarado Walter Figueroa Neyra

14 Cap.1: Funciones analíticas y funciones elementales

• Esta función f es llamada aplicación (transformación o mapeo) de los puntos z = (x, y) en

los puntos w = (u, v).

• Si z ∈ S entonces la imagen de z es el punto w = f (z).

• Sea T ⊆ S entonces W = { f (z) : z ∈ T }, es el conjunto de imágenes de T por f .

• Si T = S entonces W = { f (z) : z ∈ S} =rando de f (o recorrido de f ).

• La pre-imagen (o imagen inversa) de w es f −1 (w) = {z ∈ S : w = f (z)},

• Las características geométricas dominantes de ciertas aplicaciones son: traslación, rota-

ción y reflexión. En estos casos, considerar los planos z y w como coincidentes. Por ejem-
plo

1. La aplicación w = z + 1, puede verse como una traslación de cada punto z a una posi-
ción situada a una unidad a la derecha.
2. La aplicación w = i z, (llamada rotación) gira cada punto z ̸= 0 en sentido antihorario
un ángulo π/2.
3. La aplicación w = z (llamada reflexión) transforma el número z en un reflejado respec-
to al eje real.

Ejemplo 1.14.
p
La
p aplicación f (z) = x 2 + y 2 − i y puede escribirse como la transformación u =
2 2
x + y , v = −y, del plano x y en el plano uv.
Los puntos del círculo x 2 + y 2 = c 2 se aplica en la línea recta u = c, puesto que v = −y, los
valores de y van desde −c a c
v
y Plano z Plano w
c
z w c
•z
u
=

(c, 0) (c, 0)
v

(0, c) (c,-c)
x
(−c, 0) (c, 0) −c c c u
(c, 0) (c, 0)
v
=

0,-C C.C −c
−

−c
u

La imagen del círculo es el segmento u = c y |−c ≤{zv ≤ c}.

−u≤v≤u
Observe que como z = f (x, y) y −z = (−x, y) tienen la misma imagen w, cada punto en
el segmento imagen, excepto los extremos, es la imagen de dos puntos del círculo.

Ejemplo 1.15.

La aplicación w = f (z) = z 2 puede escribirse como la transformación

u = x 2 − y 2 , v = 2x y (*1)

del plano x y en el plano uv. Usando (*1) se probará que la imagen de la franja vertical

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.3. Funciones de variable compleja 15

0 ≤ x ≤ 1, y ≥ 0 es la región semiparabólica cerrada (ver figura)

• Cuando 0 <x 1 < 1, el punto (x 1 , y 1 ) se mueve por una recta vertical, denotado por L 1 ,
creciendo por y ≥ 0, la imagen en el plano uv se tiene

u = x 12 − y 2 , v = 2x 1 y (0 ≤ y < ∞) (*2)

Reemplazando la segunda ecuación en la primera:

v2 4x 14 − v 2
u = x 12 − =⇒ u = =⇒ v 2 = −4x 12 (u − x 12 ).
4x 12 4x 12

Obtenemos una parábola, un vértice (x 12 , 0) y foco en el origen.

• Como v crece conforme lo hace y, desde v = 0 (según v = 2x 1 y).

• Se observa que mientras el punto (x 1 , y) sube por la recta L 1 a partir del eje x, su ima-
gen sube por la mitad superior L 1 de la parábola a partir del eje u.

• Cuando tomamos x 2 > x 1 la correspondiente semirecta L 2 , tiene por imagen L 2 , que

es una semiparábola.

• La imagen de la semirecta B A es la mitad superior de la parábola v 2 = −4(u − 1) deno-

tado por B ′ A ′ .

• La imagen de la semirecta C D se halla de u = x 2 − y 2 , puesto que un punto (0, y), con

y ≥ 0, sobre C D se transforma en el punto (−y 2 , 0) en el plano uv. AL subir un punto
por C D, su imagen se mueve a lo largo del eje u, desde el origen hacia la izquierda.

• SI las semirectas verticales en el plano x y se desplazan hacia la izquierda, sus arcos

parabólicos imagen en el plano uv van reclinándose hasta coincidir con la semirecta
C ′D ′.

• Las imágenes de las serectas entre C D y B A llenan toda la región semiparabólica ce-
rrada limitada por A ′ B ′C ′ D.
Por lo tanto todo punto de esa región es imagen de un único punto de la franja cerrada
limitada por ABC D.

1.4 L ÍMITES

Andrés Figueroa Alvarado Walter Figueroa Neyra

 16 Cap.1: Funciones analíticas y funciones elementales

Definición 1.13.
Sea f una función definida en un conjunto que contiene alguna vecindad agujereada de
z 0 . El número w 0 es el límite de f (z) cuando z se aproxima a z 0 y se escribe lı́m f (z) =
z→z 0
w0.

Equivalente: ∀ε > 0, ∃δ > 0 / si z ∈ Vδ (z 0 ) (es decir 0 < |z − z 0 | < δ) implica que w ∈ Vε (w 0 )

(esto es | f (z) − w 0 | < ε).
y Plano z v Plano w
Vδ (z 0 ) Vε (w 0 ) = f (z 0 )

w
δ
w 0 = f (z 0 )
z0
z

x u
0 < |z − z 0 | < δ |w − w 0 | < ε

Para demostraciones se usa la notación simbólica siguiente:

lı́m f (z) = w 0 ⇔ ∀ε > 0, ∃δ(ε) > 0 / si |z − z 0 | < δ ⇒ | f (z) − w 0 | < ε

z→z 0

Ejemplo 1.16.

z = x + i y. Demostrar que lı́m (2x + i y 2 ) = 4i .

z→2i

lı́m (2x + i y 2 ) = 4i ⇔ ∀ε > 0, ∃δ > 0 / si 0 < |z − 2i | < δ ⇒ ¯2x + i y 2 − 4i ¯ < ε

¯ ¯
z→2i
⇒ ¯2x + i (y 2 − 4)¯ < ε
¯ ¯

⇒ 2 |x| + ¯ y 2 − 4¯ < ε
¯ ¯

⇒ 2 |x| + ¯ y − 2¯ ¯ y + 2¯ < ε
¯ ¯¯ ¯

ε ¯ ¯¯ ¯ ε
⇒ 2 |x| < y ¯ y − 2¯ ¯ y + 2¯ <
2 2

Luego

ε
|x| < (*1 )
4
|y + 2| = |y − 2 + 4| < |y − 2| + 4 < 5, si |y − 2| < 1.
¯ ¯
Como ¯ y − 2¯ < 1 entonces −1 < y − 2 < 1, luego 1 < y < 3. Sumando 2: −5 < 3 < y + 2 < 5.
¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ε ¯ ¯ ε
Tomar ¯ y + 2¯ < 5 −→ ¯ y − 2¯ · ¯ y + 5¯ < 5 ¯ y − 2¯ < −→ ¯ y − 2¯ < . De esto
2 10

¯ y − 2¯ < mı́n ε , 1
¯ ¯ n o
(*2 )
10

Andrés Figueroa Alvarado Walter Figueroa Neyra

1.4. Límites 17

De (*1 ) y (*2 ) se encuentra

n ε uno valor adecuado para δ.
Por lo tanto, δ = mı́n ,1 .
10

Ejemplo 1.17.

Demostrar que
3z 4 − 2z 3 + 8z 2 − 2z + 5
lı́m = 4 + 4i .
z→i z −i
Demostraremos por medio de la definición de límites, pero antes simplificar la función
3z 4 − 2z 3 + 8z 2 − 2z + 5
f (z) =
z −i
Puesto que z ̸= i , podemos dividir numerador entre denominador y obtenemos

(3z 3 − (2 − 3i )z 2 + (5 − 2i )z + 5i )(z − i )
f (z) =
z −i
Cancelando el factor z − i ̸= 0, luego
3z 4 − 2z 3 + 8z 2 − 2z + 5
= 3z 3 − (2 − 3i )z 2 + (5 − 2i )z + 5i .
z −i
Por lo que se reduce a demostrar

lı́m(3z 3 − (2 − 3i )z 2 + (5 − 2i )z + 5i ) = 4 + 4i .
z→i

Para esto debemos mostrar que para ∀ε > 0, ∃δ > 0 tal que
¯ 3
¯3z − (2 − 3i )z 2 + (5 − 2i )z + 5i − 4 − 4i ¯ < ε siempre que 0 < |z − i | < δ
¯
¯ 3
¯3z − (2 − 3i )z 2 + (5 − 2i )z − 4 + i ¯ < ε siempre que 0 < |z − i | < δ.
¯

Si tomamos δ1 ≤ 1, entonces 0 < |z − i | < δ, el término |z − i | debe citar en (*) luego:

(∗)
∗ = z − iQ(z) o = Q(z)
z −i
Así dividiendo se obtiene:
¯ 3
¯ 3z − (2 − 3i )z 2 + (5 − 3i )z − 4 + i ¯ ¯ 2
¯
¯
¯ ¯ = ¯3z + (6i − 2)z − 1 − 4i ¯
¯ z −i ¯
¯ 3
¯3z − (2 − 3i )z 2 + (5 − 3i )z − 4 + i ¯ = |z − i | · ¯3z 2 + (6i − 2)z − 1 − 4i ¯
¯ ¯ ¯

= |z − i | · ¯3(z − i + i )2 + (6i − 2)(z − i + i ) − 1 − 4i ¯

¯ ¯

= |z − i | · ¯3(z − i )2 + (12i − 2)(z − i ) − 10 − 6i ¯

¯ ¯

< δ ¯3(z − i )2 ¯ + |12i − 2| · |z − i | + |−10 − 6i | < ε

¯ ¯

ε
< δ(3 + 12 + 12) = 27δ < ε ⇒ δ2 <
27
Luego
n εo
δ = mı́n 1, .
27

Andrés Figueroa Alvarado Walter Figueroa Neyra

 18 Cap.1: Funciones analíticas y funciones elementales

Ejemplo 1.18.

iz i
Probar que lı́m = .
z→i 2 2 ¯ ¯
¯i z i ¯
∀ε > 0, ∃δ > 0 tal que si |z − 1| < δ ⇒ ¯ − ¯¯ < ε.
¯
2 2
¯ ¯
¯i ¯
¯ ¯ · |z − 1| < ε ⇒ 1 |z − 1| < ε
¯2¯ 2
|z − 1| < 2ε por tanto δ = 2ε.

Proposición 1.1.

Si el lı́m f (z) = w 0 existe en z 0 , este es único.

z→z 0

Demostración. Suponga que existe también lı́m f (z) = w 1 , luego por definición
z→z 0

lı́m f (z) = w 0 → ∀ε > 0, ∃δ0 > 0 / ¯ f (z) − w 0 ¯ < ε, siempre que 0 < |z − z 0 | < δ0
¯ ¯
z→z 0

lı́m f (z) = w 1 → ∀ε > 0, ∃δ1 > 0 / ¯ f (z) − w 1 ¯ < ε, siempre que 0 < |z − z 0 | < δ1
¯ ¯
z→z 0

Tomamos δ = mı́n{δ0 , δ1 }, luego sumando y restando f (z), si 0 < |z − z 0 | < δ entonces

¯ ¯
|w 0 − w 1 | = ¯ f (z) − w 1 + f (z) − w 0 ¯
¯ ¯ ¯ ¯
≤ ¯ f (z) − w 1 ¯ + ¯ f (z) − w 2 ¯
< ε + ε = 2ε.

Como ε es tan pequeño como se quiere entonces

|w 0 − w 1 | < 2ε → 0
⇒w 0 − w 1 = 0
⇒w 0 = w 1

Por tanto, los límites, si existen, son iguales. ❚

1.4.1 T EOREMAS DE LÍMITES

Teorema 1.8.
Suponga que f (z) = u(x, y) + i v(x, y), z 0 = x 0 + i y 0 y w 0 = u 0 + i v 0 . Entonces

lı́m f (z) = w 0 (1)

z→z 0

Andrés Figueroa Alvarado Walter Figueroa Neyra

1.4. Límites 19

si, y solo si,

lı́m u(x, y) = u 0 y lı́m v(x, y) = v 0 (2)
(x,y)→(x 0 ,y 0 ) (x,y)→(x 0 ,y 0 )

Demostración. (1) ⇒ (2).

lı́m f (z) = w 0 → ∀ε > 0, ∃δ > 0 / ¯ f (z) − w 0 ¯ < ε, si 0 < |z − z 0 | < δ

¯ ¯
z→z 0

⇒ ¯u(x, y) + i v(x, y) − u 0 − i v 0 ¯ < ε si 0 < ¯x − x 0 + i y − y 0 ¯ < δ

¯ ¯ ¯ ¯

⇒ ¯u(x, y) − u 0 + i v(x, y) − i v 0 ¯ < ε

¯ ¯

Pero

¯u(x, y) − u 0 ¯ ≤ |u − u 0 + i v − v 0 | < ε
¯ ¯

¯v(x, y) − v 0 ¯ ≤ |u − u 0 + i v − v 0 | < ε
¯ ¯

se deduce

¯u(x, y) − u 0 ¯ε,
¯ ¯

siempre que

0 < (x − x 0 )2 + (y − y 0 )2 < δ2
¯(x − x 0 , y − y 0 )¯ < δ
¯ ¯

¯(x, y) − (x 0 , y 0 )¯ < δ
¯ ¯

Lo cual es equivalente a lı́m u(x, y) = u 0 .

(x,y)→(x 0 ,y 0 )
En forma análoga
¯v(x, y) − v 0 ¯ε,
¯ ¯

siempre que

0 < (x − x 0 )2 + (y − y 0 )2 < δ2
¯(x − x 0 , y − y 0 )¯ < δ
¯ ¯

¯(x, y) − (x 0 , y 0 )¯ < δ
¯ ¯

Luego se tiene lı́m v(x, y) = v 0 . Así se cumple (2).

(x,y)→(x 0 ,y 0 )

Ahora se prueba (2) ⇒ (1):

ε ¯ ε
lı́m u(x, y) = u 0 → ∀ > 0, ∃δ1 > 0 / ¯u(x, y) − u 0 ¯ < , si 0 < ¯(x, y) − (x 0 , y 0 )¯ < δ1
¯ ¯ ¯
z→z 0 2 2
0 < (x − x 0 ) + (y − y 0 )2 < δ21
2

y
ε ¯ ε
lı́m v(x, y) = v 0 → ∀ > 0, ∃δ2 > 0 / ¯v(x, y) − v 0 ¯ < , si 0 < ¯(x, y) − (x 0 , y 0 )¯ < δ2
¯ ¯ ¯
z→z 0 2 2

Andrés Figueroa Alvarado Walter Figueroa Neyra

 20 Cap.1: Funciones analíticas y funciones elementales

Tomando δ = mı́n{δ1 , δ2 }, tenemos que ∀ε > 0, ∃δ > 0 tal que

¯ ¯ ¯ ¯
¯ f (z) − w 0 ¯ = ¯(u(x, y) − u 0 ) + i (v(x, y) − v 0 )¯
¯ ¯ ¯ ¯ ε ε
≤ ¯u(x, y) − u 0 ¯ + ¯v(x, y) − v 0 ¯ < + , siempre que
q 2 2
0 < (x − x 0 )2 + (y − y 0 )2 < δ
0 < ¯(x − x 0 , y − y 0 )¯ < δ
¯ ¯

0 < ¯(x, y) − (x 0 , y 0 )¯ < δ

¯ ¯

|z − z 0 | < δ

Lo cual es equivalente a lı́m f (z) = w 0 . ❚

z→z 0

Teorema 1.9.
Suponga que lı́m f (z) = w 0 y lı́m g (z) = r 0 . Entonces
z→z 0 z→z 0

1. lı́m [ f (z) + g (z)] = w 0 + r 0

z→z 0

2. lı́m [ f (z) · g (z)] = w 0 · r 0

z→z 0

f (z) w 0
3. lı́m = , si r 0 ̸= 0.
z→z 0 g (z) r0

• También se prueba por definición que lı́m z = z 0 .

z→z 0
Este límite significa, ∀ε > 0, ∃δ > 0 / si 0 < |z − z 0 | < δ ⇒ |z − z 0 | < ε. (Basta tomar δ = ε).

• Por inducción matemática, se cumple lı́m z n = z 0n , (n = 1, 2, . . .).

z→z 0
En particular lı́m C = C .
z→z 0

• Si P (z) = a 0 + a 1 z + a 2 z 2 + · · · + a n z n , polinomio complejo de grado n entonces

lı́m P (z) = P (z 0 ).
z→z 0

¯ ¯
• Si lı́m f (z) = w 0 ⇒ lı́m ¯ f (z)¯ = |w 0 |.
z→z 0 z→z 0

1.5 C ONTINUIDAD

Definición 1.14.
Sea A ⊆ C un conjunto abierto y sea f : A → C una función. Se dice que f es continua en
z 0 ∈ A si cumple las condiciones:

i) f (z 0 ) existe

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.5. Continuidad 21

ii) lı́m f (z) existe

z→z 0

iii) lı́m f (z) = f (z 0 ).

z→z 0

- f es continua en A si f es continua en cada z 0 ∈ A.

- Con frecuencia la ecuación (iii) se toma como definición, suponiendo que f (z 0 ) y lı́m f (z)
z→z 0
existen.

- En términos de ε y δ se define una función continua de la manera siguiente:

f es continua en z 0 ∈ A si lı́m f (z) = f (z 0 )

z→z 0

lo cual es equivalente a

Dado ε > 0, ∃δ > 0 tal que ¯ f (z) − f (z 0 )¯ < ε, siempre que |z − z 0 | < δ
¯ ¯

Teorema 1.10.
Sean f , g funciones continuas en un punto z 0 ∈ A, entonces f + g , f − g y f · g son
f
continuas en z 0 ∈ A, y es continua en z 0 ∈ A, si g (z 0 ) ̸= 0.
g

Teorema 1.11.
Si g es continua en z 0 ∈ A ⊆ C y f es continua en g (z 0 ) ∈ B ⊆ C, entonces la función
compuesta h = f ◦ g es continua en z 0 .
Esto es
lı́m ( f ◦ g )(z) = ( f ◦ g )(z 0 )
z→z 0

Además tenemos
- La función constante f (z) = k, ∀z ∈ A y f (z) = z son continuas en A ⊆ C.

- Todo polinomio P (z) es continuo en z ∈ A ⊆ C.

- f (z) = u(x, y) + i v(x, y) es continua en z 0 ⇔ son continuas sus funciones componentes u

y v.

Proposición 1.2.

Un conjunto F ⊆ C es cerrado si z 1 , z 2 , z 3 , . . . es una sucesión de puntos en F tal que

w = lı́m z n existe, entonces w ∈ F .
n→∞

Suponga que F es cerrado y que z n es una sucesión de puntos en F , si Vr (w) vecindad cen-
trada en w, por definición de convergencia z n ⊆ Vr (w) para n suficientemente grande. Así
Vr (w) ̸⊆ C (F ) abierto, porque w no debe estar en el complemento de F , w debe estar en F .

Andrés Figueroa Alvarado Walter Figueroa Neyra

 22 Cap.1: Funciones analíticas y funciones elementales

Proposición 1.3.

Si f : C → C las siguientes afirmaciones son equivalente:

1) f es continua.

2) La imagen inversa de cualquier conjunto cerrado es cerrado.

3) La imagen inversa de cualquier conjunto abierto es abierto.

Demostración.
(1)⇒(2): Si f es continua y F ⊆ C es cerrado, entonces f −1 (F ) es cerrado. En efecto, sea
z 1 , z 2 , . . . una sucesión de puntos en f −1 (F ) y suponga que z n → w, puesto que f es
continua, f (z n ) → f (w), pero los puntos f (z n ) están en el conjunto cerrado F y por
tanto f (w), también está en F , esto es w ∈ f −1 (F ) luego por proposición anterior-
mente se tiene que f −1 (F ) es cerrado.

(2)⇒(3): Sea U abierto, entonces F = C \U es cerrado.

Si se cumple (2) entonces f −1 (F ) es cerrado, por tanto,

C \ f −1 (F ) = f −1 (C \ F ) = f −1 (U )

es abierto.

(3)⇒(1) Fijar z 0 y sea ε > 0, entonces z 0 ∈ f −1 (Vε ( f¯ (z 0 ))) abierto, ¯ en consecuencia existe δ >
0 con Vδ (z 0 ) ⊆ f −1 (Vε ( f (z 0 ))), esto significa ¯ f (z) − f (z 0 )¯ < ε siempre que |z − z 0 | < δ.
Por tanto f es continua.
❚

1.6 C ONTINUIDAD U NIFORME

Definición 1.15.
Una función f : A → C (o R) es uniformemente continua en A, si para cualquier elección
de ε > 0, existe δ > 0 tal que

¯ f (s) − f (t )¯ < ε, siempre que s, t ∈ A y |s − t | < δ.

¯ ¯

Nota:
La diferencia entre esta y la definición de continuidad es que ahora la elección de δ
puede hacerse de modo que la misma δ trabaje en cualquier parte del conjunto A.

-) La funciones uniformemente continuas con continuas. El recíproco no es cierto.

-) Una función continua en un conjunto compacto es uniformemente continua.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.7. Derivadas 23

Ejemplo 1.19.

z 3 + 2z + 1
Analizar la continuidad de la función f (z) = .
z3 + 1

Solución: Como el numerador es un polinomio, es continua. El denominador es continua.

Pero el cociente es continua siempre que z 3 + 1 ̸= 0. O lo que es lo mismo decir, es continua
excepto en puntos de z tales que z 3 + 1 ̸= 0, o lo que es lo mismo decir, es continua excepto
en puntos de z tales que
p
3
z 3 + 1 = 0 −→ z 3 = −1 o z = −1.

Luego la función es continua en todos los puntos del plano complejo excepto en las raíces
cúbicas de −1, es decir sobre: n o
C \ e i π/3 , e i π/5 , −1 .
❚

Ejemplo 1.20.

3z 4 + 2z 2 − z + 1
Encuentre lı́m .
z→∞ z4 + 1

Solución:
3z 4 + 2z 2 − z + 1 3 + 2z −2 − z −3 + z −4
lı́m = lı́m =3
z→∞ z4 + 1 z→∞ 1 + z −4
1
puesto que lı́m = 0. ❚
z→∞ z

1.7 D ERIVADAS

Definición 1.16.
Sea f : A ⊆ C → C, A es un conjunto abierto. Se dice que f es diferenciable en z 0 ∈ A si
f (z) − f (z 0 )
lı́m existe.
z→z 0 z − z0

d f (z 0 )
Este límite se denota por f ′ (z 0 ) o .
dz
-) Observe que f ′ (z 0 ) es un número complejo.

-) Se dice que f es analítica en A, si f es diferenciable en cada z 0 ∈ A.

-) Algunas veces se emplea la palabra “holomorfa” como sinónimo de la palabra “analítica”.

-) Se deduce que f es analítica en z 0 ∈ A si f es diferenciable en cada punto z ∈ Vr (z 0 ) ∈ A.

Andrés Figueroa Alvarado Walter Figueroa Neyra

24 Cap.1: Funciones analíticas y funciones elementales

Ejemplo 1.21.

Verifique que una función f puede ser diferenciable en un punto z 0 , sin embargo no es
diferenciable en ningún otro punto de su entorno.
Analizar la función f (z) = |z|3 cuando z 0 = 0.

Solución.

-) f (z) es diferenciable en z 0 = 0. Por definición se tiene

f (z) − f (0) |z|2 z ·z

f ′ (0) = lı́m = lı́m = lı́m =0
z→z 0 z −0 z→z 0 z z→z 0 z

existe.

-) Sin embargo veremos a continuación que f no es diferenciable en ningún otro punto

z 0 ̸= 0. En efecto:

-) Si la variable z = x + i y tiende a z 0 = x 0 + i y 0 a lo largo de la recta que pasa por z 0 , en

particular cuando z tiende a z 0 horizontalmente por los puntos del eje real, sea el número
real h = z − z 0 ̸= 0, el cociente:

f (z) − f (z 0 ) |z|2 − |z 0 |2 |z 0 + h|2 − |z 0 |2

= =
z − z0 h h
(x 0 + h) + y 0 − (x 0 + y 02 ) x 02 + 2x 0 h + h 2 + y 02 − x 02 − y 02
2 2 2
= =
h h
= 2x 0 + h

Tomando límite cuando h → 0

f (z) − f (z 0 )
f ′ (z 0 ) = lı́m = 2x 0
h→0 h

Por otro lado. Si z tiende a z 0 a lo largo de la recta que pasa por z 0 verticalmente por los
puntos del eje imaginario, o sea z − z 0 = i h, con h ̸= 0 real, entonces el cociente

f (z) − f (z 0 ) |z|2 − |z 0 |2 |z + i h|2 − |z 0 |2

= =
z − z0 h ih
¯x 0 + (y 0 + h)i ¯2 − |z 0 |2 x 2 + (y 0 + h)2 − (x 2 + y 2 )
¯ ¯
= = 0 0 0
ih ih
= −2y 0 i − hi

Tomando límite cuando h → 0, se tiene −2y 0 i .

Para z 0 ̸= 0, se tiene 2x 0 ̸= −2y 0 i .
f (z) − f (z 0 )
De lo cual se observa que lı́m no existe.
z→z 0 z − z0
Y por lo tanto f ′ (z 0 ) no existe para z ̸= z 0 = 0.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.7. Derivadas 25

Proposición 1.4.

Suponga que f y g sean analíticas en A, donde A ⊆ C es un conjunto abierto. Entonces

i) f + g es analítica en A y además ( f + g )′ (z) = f ′ (z) + g ′ (z).

ii) f · g es analítica en A y además ( f · g )′ (z) = f ′ (z) · g (z) + f (z) · g ′ (z).

iii) Si g (z) ̸= 0, ∀z ∈ A, entonces f /g es analítica en A y además

µ ¶′
f g (z) · f ′ (z) − f (z) · g ′ (z)
(z) = .
g [g (z)]2

iv) Cualquier polinomio a 0 + a 1 z + a 2 z 2 + · · · + a n z n es analítico en todo C con derivada

a 1 + 2a 2 z + · · · + na n z n−1 .

Demostración.
Demostración de (ii):

f (z) · g (z) − f (z 0 ) · g (z 0 ) f (z) · g (z) − f (z) · g (z 0 ) + f (z) · g (z 0 ) − f (z 0 ) · g (z 0 )

lı́m = lı́m
z→z 0 z − z0 z→z 0 z − z0
f (z) · (g (z) − g (z 0 )) + ( f (z) − f (z 0 )) · g (z 0 )
= lı́m
z→z 0 z − z0
′ ′
= f (z 0 ) · g (z 0 ) + f (z 0 ) · g (z 0 )

Luego

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

para todo z ∈ C.
Para (iii):

f f f (z) f (z 0 ) g (z 0 ) · f (z) − f (z 0 ) · g (z)

(z) − (z 0 ) −
g g g (z) g (z 0 ) g (z) · g (z 0 )
lı́m = lı́m = lı́m
z→z 0 z − z0 z→z 0 z − z0 z→z 0 z − z0
µ ¶′
f g (z 0 ) · f (z) − f (z 0 ) · g (z 0 ) + f (z 0 ) · g (z 0 ) − f (z 0 ) · g (z)
(z 0 ) = lı́m
g z→z 0 (z − z 0 ) · g (z) · g (z 0 )
f (z) − f (z 0 ) g (z) − g (z 0 )
 
g (z 0 ) · − f (z 0 ) ·
 z − z0 z − z0 
= lı́m  
z→z 0  g (z) · g (z 0 ) 

f (z) − f (z 0 ) g (z) − g (z 0 )
 
g (z 0 ) · lı́m − f (z 0 ) · lı́m
 z→z 0 z − z0 z→z 0 z − z0 
= 
 g (z) · g (z 0 ) 

g (z 0 ) · f ′ (z 0 ) − f (z 0 ) · g ′ (z 0 )
=
g (z 0 ) · g (z 0 )

Andrés Figueroa Alvarado Walter Figueroa Neyra

 26 Cap.1: Funciones analíticas y funciones elementales

Por lo tanto
µ ¶′
f g (z) · f ′ (z) − f (z) · g ′ (z)
(z) =
g [g (z)]2

para todo z ∈ C. ❚

Observación 1.1.

-) Si f (z) = c entonces f ′ (z) = 0.

-) Si f (z) = z entonces f ′ (z) = 1.

Proposición 1.5 (Regla de la cadena).

Sean f : A → C y g : B → C analítica (A y B conjuntos abiertos), y asuma que f (A) ⊆ B

entonces (g ◦ f )(z) = g ( f (z)) es analítico y

(g ◦ f )′ (z) = g ′ ( f (z)) · f ′ (z).

Demostración. Sea w 0 = f (z 0 ) y defina para w ∈ B ,

 g (w) − g (w 0 ) − g ′ (w )

0 si w ̸= w 0
h(w) = w − w0
0 si w = w 0 .


Dado que g ′ (w 0 ) existe, h es continua. Como la composición de dos funciones continuas es

continua

lı́m = h( f (z 0 )) = h(w 0 ) = 0 ( por definición de h).

z→z 0

De la definición de h y haciendo w = f (z) se tiene

g ◦ f (z) − g (w 0 ) = h( f (z)) + g ′ (w 0 )( f (z) − w 0 )

g ◦ f (z) − g ◦ f (z 0 ) f (z) − f (z 0 )
= h( f (z)) + g ′ (w 0 )
z − z0 z − z0

Tomando límite cuando z → z 0 en la expresión anterior

(g ◦ f )′ (z 0 ) = 0 + g ′ (w 0 ) · f ′ (z 0 )

Por lo tanto

(g ◦ f )′ (z) = g ′ ( f (z)) · f ′ (z) ∀z ∈ C.

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.8. Ecuaciones de Cauchy-Riemann 27

Teorema 1.12.
Si f ′ (z 0 ) existe (es decir, f es diferenciable en z 0 ) entonces f es continua en z 0 .

Demostración. Si f ′ (z 0 ) existe, por demostrar que lı́m f (z) = f (z 0 ).

z→z 0

f (z) − f (z 0 )
f (z) − f (z 0 ) = · (z − z 0 ), z ̸= 0
z − z0
f (z) − f (z 0 )
lı́m [ f (z) − f (z 0 )] = lı́m · lı́m (z − z 0 ), z ̸= 0
z→z 0 z→z 0 z − z0 z→z 0
′
= f (z 0 ) · 0 = 0
lı́m f (z) = lı́m f (z 0 ) = f (z 0 ).
z→z 0 z→z 0

Por lo tanto f es continua en z 0 . ❚

1.8 E CUACIONES DE C AUCHY-R IEMANN

Teorema 1.13.
Una condición necesaria y suficiente para que la función w = f (z) = u(x, y) + i v(x, y)
sea analítica en un conjunto abierto A, es que se satisfaga las ecuaciones de Cauchy-
Riemann (C-R)
∂u ∂u ∂u ∂v
= y =− . (1.1)
∂x ∂y ∂y ∂x

Si las derivadas parciales ∂u , ∂u , ∂v y ∂v

∂x ∂y ∂x ∂y
existen y son continuas, entonces las ecuaciones de
Cauchy-Riemann son condiciones suficientes para que f (z) sea analítica en A.

Demostración.
Condición necesaria.
Para que f (z) sea analítica en A, entonces se deben satisfacer las ecuaciones de Cauchy-
Riemann en el límite:

f (z + ∆z) − f (z)
f ′ (z) = lı́m
∆z→0 ∆z
f ((x + ∆x) + i (y + ∆y)) − f (x + i y)
= lı́m
∆x→0 ∆x + i ∆y
∆y→0
u(x + ∆x, y + ∆y) + i v(x + ∆x, y + ∆y) − u(x, y) − i v(x, y)
f ′ (z) = lı́m (1.2)
∆x→0 ∆x + i ∆y
∆y→0

Este límite debe existir independientemente como ∆z → 0, ((∆x, ∆y) → (0, 0)). Para ver eso
consideramos dos casos:

Andrés Figueroa Alvarado Walter Figueroa Neyra

28 Cap.1: Funciones analíticas y funciones elementales

Caso I: Consideramos ∆y = 0, luego ∆x → 0, en (1.2) se tiene

u(x + ∆x, y + ∆y) + i v(x + ∆x, y + ∆y) − u(x, y) − i v(x, y)

f ′ (z) = lı́m
∆x→0 ∆x + i ∆y
u(x + ∆x, y) − u(x, y) v(x + ∆x, y) − v(x, y)
½ ¾
= lı́m +i
∆x→0 ∆x ∆x
∂u ∂v
= (x, y) + i (x, y),
∂x ∂x
esto es, las derivadas parciales existen.

Caso II: Consideramos ∆x = 0, luego ∆y → 0, en (1.2) se tiene

u(x, y + ∆y) − u(x, y) v(x, y + ∆y) − v(x, y)

½ ¾
′
f (z) = lı́m +i
∆x→0 i ∆y i ∆y
1 ∂u ∂v
= (x, y) + (x, y)
i ∂y ∂y
∂u ∂v
= −i (x, y) + (x, y).
∂y ∂y

Como consecuencia de los casos I y II, puesto que los límites son diferentes, f no es ana-
lítica, salvo que los límites sean iguales, entonces la condición necesaria para que f (z) sea
analítica (o f ′ (z) exista) es que

∂u ∂v ∂u ∂v
(x, y) + i (x, y) = −i (x, y) + (x, y)
∂x ∂x ∂y ∂y

Luego

∂u ∂v ∂u ∂v
(x, y) = (x, y) y (x, y) = − (x, y)
∂x ∂y ∂y ∂x

abreviadamente

u x = v y y u y = −v y .

Condición suficiente:
Si f es derivable en un punto z ∈ A, entonces

∆ f (z) = f ′ (z)∆z + ε∆z

en donde,

∆z = z 1 − z = x 1 + i y 1 − x − i y = x 1 − x + i (y 1 − y) = ∆x + i ∆y
∆ f (z) = f (z 1 ) − f (z) = ∆u + i ∆v.

∂u ∂u
Como y son continuas, se tiene
∂x ∂y

∆u = u(x + ∆x, y + ∆y) − u(x, y)

Andrés Figueroa Alvarado Walter Figueroa Neyra

1.8. Ecuaciones de Cauchy-Riemann 29

sumar y restar u(x, y + ∆y)

= u(x + ∆x, y + ∆y) − u(x, y + ∆y) + u(x, y + ∆y) − u(x, y)

© ª © ª

∂u ∂u
= ∆x + ∆y + ε1 ∆x + η 1 ∆y
∂x ∂y

donde ε1 → 0 cuando ∆x → 0 y η 1 → 0 cuando ∆y → 0.

∂v ∂v
En forma similar, como y son continuas, se tiene
∂x ∂y

∆v = v(x + ∆x, y + ∆y) − v(x, y)

sumar y restar v(x, y + ∆y)

= v(x + ∆x, y + ∆y) − v(x, y + ∆y) + v(x, y + ∆y) − v(x, y)

© ª © ª

∂v ∂v
= ∆x + ∆y + ε2 ∆x + η 2 ∆y
∂x ∂y

donde ε2 → 0 cuando ∆x → 0 y η 2 → 0 cuando ∆y → 0.

Como

∆w = ∆u + i ∆v
∂u ∂u ∂v ∂v
= ∆x + ∆y + ε1 ∆x + η 1 ∆y + i ∆x + i ∆y + i ε2 ∆x + i η 2 ∆y
∂x ∂y ∂x ∂y
∂u ∂v ∂u ∂v
µ ¶ µ ¶
= +i ∆x + +i ∆y + (ε1 + i ε2 )∆x + (η 1 + i η 2 )∆y
∂x ∂x ∂y ∂y | {z } | {z }
ε η

donde ε = ε1 + i ε2 → 0 cuando ∆x → 0 y η = η 1 + i η 2 → 0 cuando ∆y → 0.

Usando las ecuaciones de Cauchy-Riemann, podemos escribir

∂u ∂v ∂v ∂u
µ ¶ µ ¶
∆w = +i ∆x + − +i ∆y + ε∆x + η∆y
∂x ∂x ∂x ∂x
∂u ∂v
µ ¶
= +i (∆x + i ∆y) + ε∆x + η∆y
∂x ∂x
∆w ∂u ∂v (∆x + i ∆y)
µ ¶
= = +i
∆z ∂x ∂x ∆z

Luego

∆w ∂u ∂v
µ ¶
lı́m = +i
∆z→0 ∆z ∂x ∂x

existe,

∂u ∂v
f ′ (z) = +i .
∂x ∂x

Esto afirma que la derivada existe y es única, por tanto f (z) es analítica en A. ❚

Andrés Figueroa Alvarado Walter Figueroa Neyra

 30 Cap.1: Funciones analíticas y funciones elementales

1.8.1 E CUACIONES DE C AUCHY-R IEMANN EN COORDENADAS POLARES

Vamos a expresar las ecuaciones de Cauchy-Riemann, cuando la variable independiente z

está en su forma polar, es decir,

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

donde

y
q
x = r cos θ, y = r sen θ, r = x 2 + y 2 , θ = arctan
x

luego

r = r (x, y), θ = θ(x, y).

Como f (z) = w = u(r, θ) + i v(r, θ), las derivadas parciales de u y v, respecto a x e y son

∂u ∂u ∂r ∂u ∂θ ∂u ∂u ∂r ∂u ∂θ
= · + · ; = · + ·
∂x ∂r ∂x ∂θ ∂x ∂y ∂r ∂y ∂θ ∂y
∂v ∂v ∂r ∂v ∂θ ∂v ∂v ∂r ∂v ∂θ
= · + · ; = · + ·
∂x ∂r ∂x ∂θ ∂x ∂y ∂r ∂y ∂θ ∂y

Calculando
∂r 2x x ∂r y y
= p = = cos θ; =p = = sen θ
∂x 2 x 2 + y 2 r ∂y x2 + y 2 r
y 1
Se sabe que θ = arctan , (arctan z)′ = ,
x 1 + z2

∂θ 1 ³ y ´′ x2 ³ y ´
= · = · − 2
∂x
³ y ´2
x x2 + y 2 x
1+
x
y 1 y 1
= − 2 = − · = − sen θ
r r r r

entonces

∂θ 1
= − sen θ.
∂x r

∂θ ³ y ´′ x2
µ ¶
1 1
= ³ y ´2 · = 2 ·
∂y x x +y 2 x
1+
x
x 1 x 1
= 2 = · = cos θ
r r r r

Andrés Figueroa Alvarado Walter Figueroa Neyra

1.8. Ecuaciones de Cauchy-Riemann 31

entonces

∂θ 1
= cos θ.
∂y r

Reemplazando en las derivadas parciales anteriores

∂u ∂u 1 ∂u ∂u ∂u 1 ∂u
= cos θ − sen θ; = sen θ + cos θ
∂x ∂r r ∂θ ∂y ∂r r ∂θ
∂v ∂v 1 ∂v ∂v ∂v 1 ∂v
= cos θ − sen θ; = sen θ + cos θ
∂x ∂r r ∂θ ∂y ∂r r ∂θ

De las ecuaciones de Cauchy-Riemann

∂u ∂v ∂u ∂v ∂u ∂v ∂u ∂v
= ⇒ − = 0, =− ⇒ + =0
∂x ∂y ∂x ∂y ∂y ∂x ∂y ∂x

De las relaciones anteriores se obtienen

∂u ∂v ∂u 1 ∂u ∂v 1 ∂v
0= − = cos θ − sen θ − sen θ − cos θ
∂x ∂x ∂r r ∂θ ∂r r ∂θ
∂u 1 ∂v 1 ∂u ∂v
µ ¶ µ ¶
0= − cos θ − + sen θ
∂r r ∂θ r ∂θ ∂r

∂u ∂v ∂u 1 ∂u ∂v 1 ∂v
0= + = sen θ + cos θ + cos θ − sen θ
∂y ∂x ∂r r ∂θ ∂r r ∂θ
∂u 1 ∂v ∂v 1 ∂u
µ ¶ µ ¶
0= − sen θ + + cos θ.
∂r r ∂θ ∂r r ∂θ

Para cualquier valor de θ, estas ecuaciones son válidas, por lo tanto para que sean igual a
cero los coeficientes de sen θ y cos θ serán cero. Así tenemos

∂u 1 ∂v ∂u 1 ∂v

− =0 = 
∂r r ∂θ ∂r r ∂θ



⇒ (1.3)
1 ∂u ∂v ∂v 1 ∂u 

+ =0 =−


r ∂θ ∂r ∂r r ∂θ

Esta ecuaciones (1.3) son las ecuaciones de Cauchy-Riemann en coordenadas polares. Tam-
bién podemos escribir:

1
ur = v θ
r
1
v r = − uθ
r

Ejemplo 1.22.

Probar que f ′ (z) no existe en ningún punto, dado f (z) = e z̄ , z = x + i y.

Andrés Figueroa Alvarado Walter Figueroa Neyra

32 Cap.1: Funciones analíticas y funciones elementales

Solución.

f (z) = e z̄ = e x−i y = e x e −i y = e x (cos y − i sen y)

luego

u(x, y) = e x cos y, v(x, y) = −e x sen y.

Se probará que las derivadas parciales u x , u y , v x , v y existen y si no se verifican las ecuacio-

nes de Cauchy-Riemann, entonces f (z) no es analítica, por tanto f ′ (z) no existe:

u x (x, y) = e x cos y v x (x, y) = −e x sen y

u y (x, y) = −e x sen y v y (x, y) = −e x cos y

Usando las ecuaciones C-R

u x = e x cos y ̸= −e x cos y = v y y u y = −e x sen y ̸= e x sen y = −v y .

Por lo tanto f ′ (z) no existe en ningún punto. ❚

Ejemplo 1.23.

Sea A un subconjunto de C y A ∗ = {z̄ : z̄ ∈ A}. Suponga que f es analítica en A y defina

una función g en A ∗ como g (z) = f (z̄). Demuestre que g es analítica en A ∗ .

Solución. Se considera f (z) = u(x, y) + i v(x, y) y por ser analítica se diferencias las ecuacio-
nes de Cauchy-Riemann u x = v y , u y = −v x .
Considere z = (x, y), z̄ = (x, −y), luego g (z) = f (x, −y) = u(x, y) + i v(x, y).
Chequear las ecuaciones de Cauchy-Riemann, para g :
Note que u(x, −y) = Re(g(z)), −v(x, −y) = Im(g(z)).
∂ £ ∂u ¯¯ ⊕ ∂v ¯
¯ ¯
¤ ¯
Re(g(z)) = u x (x 1 − y) = =
∂x ∂x (x1 −y) ∂y ¯(x1 −y)
¯

⊕ por ser f analítica y cumplen las ecuaciones C-R para u y v

∂ ∂
= [−v(x, y)] = [Im(g(z))] = v y (x 1 − y)
∂y ∂y
Además
∂ £ ∂u ¯¯ ⊕ ∂v ¯
¯ ¯
¤ ¯
Re(g(z)) = u y (x 1 − y) = − =
∂r ∂y (x1 −y) ∂x ¯(x1 −y)
¯

∂ ∂
=− [−v(x 1 − y)] = − [Im(g(z))] = −v x (x 1 − y)
∂x ∂x
En conclusión se ha verificado que

u x (x, −y) = v y (x, −y)

u y (x, −y) = −v x (x, −y)

las cuales verifican las ecuaciones de Cauchy-Riemann para g (z).

Por lo tanto, g (z) es analítica en A ∗ . ❚

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.9. Funciones analíticas 33

1.9 F UNCIONES ANALÍTICAS

Definición 1.17.
Una función es analítica (u holomorfa) en un punto z 0 sii f está definida y es derivable
no solo en z 0 sino en todo punto z ∈ Vδ (z 0 ).
f es analítica en un conjunto S, si f es analítica en todos los puntos de S.

Ejemplo 1.24.

1
Demuestre que f (z) = no es analítico en A = {z : |z| < 1}, pero si lo es en A = {z : 0 <
z
|z| < 1}.

Solución. f (z) no está definida en z = 0 entonces f (z) no es analítica en z = 0 ∈ A (además

f ′ (z) no existe en z = 0).
1
Por otro lado en el conjunto A: f ′ (z) = − 2 , consideremos un punto cualquiera z 0 ∈ A en-
z
tonces existe Vδ (z 0 ) ⊆ Â. Como cualquier 0 ̸= z 0 ∈ A, f (z) está definida y es derivable enton-
ces f (z) es analítica en cualquier z 0 ∈ A, por lo tanto f (z) es analítica en A. ❚

Ejemplo 1.25.

Demostrar que f (z) = x 2 y + i x, definida para todo z = x + i y es continua en todas partes

del plano complejo Z , pero en ninguna parte es analítica.

Solución. Sea f (z) = x 2 y + i x = u(x, y) + i v(x, y) entonces u(x, y) = x 2 y, v(x, y) = x.

Como son funciones reales de valor real, son continuas en todo el plano complejo. Así f (z)
es continua.
Por otro lado, para que f (z) sea analítica se debe verificar las ecuaciones de Cauchy-Riemann
para u y v.

u x = 2x y, u y = x 2 , v x = 1, v y = 0

luego

u x = v y → 2x y = 0
u y = −v x → x 2 = −1

De esto se observa que no existen soluciones reales para x e y. Así f (z) no es analítico en
ninguna parte. ❚

Andrés Figueroa Alvarado Walter Figueroa Neyra

 34 Cap.1: Funciones analíticas y funciones elementales

Definición 1.18.
Una función entera es una función que es analítica en todos los puntos del plano com-
plejo C.

Ejemplo 1.26.

Las funciones polinómicas tienen derivadas en todas partes, luego son funciones ente-
ras.

1.10 S INGULARIDAD DE FUNCIONES

Definición 1.19.
Si una función no es analítica en un punto z 0 , pero es analítica en algún punto de una
vecindad de z 0 , se dice que z 0 es un punto singular de f .

Ejemplo 1.27.

1 1
f (z) = es analítica en todo punto de C, excepto en z 0 = 0, (pues f ′ (z) = − 2 no existe
z z
en z 0 = 0).
Por lo tanto el punto z 0 = 0 es un punto singular de f .

Definición 1.20.
Un punto singular z 0 de una función f es un punto singular aislado si existe una vecin-
dad V (z 0 ), en el cual f es analítica (V (z 0 ) velocidad reducida de z 0 ).
Un punto z 0 no es aislado si cada vecindad de z 0 contiene otras singularidades.

Ejemplo 1.28.

z +1
Hallar las singularidades de f (z) = .
z 3 (z 2 + 1)

Los puntos donde f (z) no está definida son z 3 (z 2 + 1) = 0 entonces z = 0 y z = ±i , luego ahí
f (z) no es analítica.

1.11 F UNCIONES ARMÓNICAS

Andrés Figueroa Alvarado Walter Figueroa Neyra

 1.11. Funciones armónicas 35

Definición 1.21.
Una función dos veces diferenciable h : A ⊆ C → R, definida en un conjunto abierto A es
llamada armónica en A ⊆ C, si satisface la ecuación de Laplace

∂2 h ∂2 h
∇2 h(x, y) = (x, y) + (x, y) = 0.
∂x 2 ∂y 2

La expresión ∇2 h(x, y) se llama el laplaciano de h.

Proposición 1.6.

Si f (z) = u(x, y)+i v(x, y) es analítica en un dominio D entonces u y v son armónicas en

D.

Demostración. Como f (z) es analítica en D, se satisfacen las ecuaciones de Cauchy-Riemann

ux = v y , u y = −v x (1.4)

Como existen las segundas derivadas parciales, diferenciando la primera ecuación respecto
a x y la segunda respecto a y, obtenemos

u xx = v y x , u y y = −v x y . (1.5)

Por ser las derivadas continuas v y x = v x y . Luego se tiene

u xx − v y x = 0 → u xx − v x y = 0 → u xx + u y y = 0,

así u es armónica en D.
Análogamente en (1.4) derivamos la primera ecuación respecto a y y la segunda respecto a
x.

ux y = v y x , u y x = −v xx

por continuidad u x y = u y x

v y y − ux y = 0 → v y y − u y x = 0
→ v y y + v xx = 0

Por lo tanto v es armónica en D. ❚

Definición 1.22.
Si u y v son armónicas en un dominio D y sus primeras derivadas parciales satisfacen
las ecuaciones de Cauchy-Riemann para todo punto en D, se dice que v es armónica
conjugada de u.

Como una consecuencia directa se tiene:

Andrés Figueroa Alvarado Walter Figueroa Neyra

 36 Cap.1: Funciones analíticas y funciones elementales

Proposición 1.7.

Una función f (z) = u(x, y)+i v(x, y) es analítica en D si y solo si v es armónica conjugada
de u en D.

Ejemplo 1.29.

u(x, y) = x 2 − y 2 y v(x, y) = 2x y son armónicas conjugadas la una con la otra.

Observe que u y v son parte real e imaginaria de f (z) = z 2 = x 2 − y 2 + 2i x y, donde u =
x 2 − y 2 y v = 2x y, y satisfacen las ecuaciones de Cauchy-Riemann.

u x = 2x = v y
u y = −2y = −v x

de esto u es armónica conjugada de v o v es armónica conjugada de u.

Proposición 1.8.

Sean u y v armónicas conjugadas en D y suponga que u(x, y) = c t e = c 1 y v(x, y) = c t e =

c 2 definen curvas suaves, entonces estas curvas se intersecan ortogonalmente.

Demostración. Suficiente mostrar que ∇u · ∇v = 0.

∂u ∂u ∂v ∂v
µ ¶ µ ¶
∇u · ∇v = , · ,
∂x ∂y ∂x ∂y
∂u ∂v ∂u ∂v
= · + ·
∂x ∂x ∂y ∂y
∂v ∂v ∂v ∂v
= · − · =0
∂y ∂x ∂x ∂y
Por lo tanto ∇u y ∇v son ortogonales. ❚

Observación 1.2.

1. Si v es armónica conjugada de u en cierto dominio D, en general no siempre es

cierto que u sea armónica conjugada de v en D.

Ejemplo 1.30.

Considerando u(x, y) = 2x y y v(x, y) = x 2 − y 2 en el ejemplo anterior, las ecuacio-

nes de Cauchy-Riemann no se satisfacen.

2. Si dos funciones u y v son conjugadas la una de la otra, ambas u y v deben ser cons-
tantes.

3. Si v es armónica conjugada de u en un dominio D, se cumple que −u es una armóni-

ca conjugada de v en D y recíprocamente. Eso se debe a que f (z) = u(x, y) + i v(x, y)
es analítica en D si y solo si −i f (z) = v(x, y) − i u(x, y) es analítica en D.

Andrés Figueroa Alvarado Walter Figueroa Neyra

1.11. Funciones armónicas 37

Método para obtener una armónica conjugada de una función armónica dada

Ilustramos mediante un ejemplo.

Ejemplo 1.31.

Encontrar la armónica conjugada de la función u(x, y) = y 3 − 3x 2 y.

1. Verificar que u es armónica. En efecto,

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

Luego

u xx + u y y = −6y + 6y = 0

Por lo tanto u es armónica en C.

2. Vamos a encontrar una armónica conjugada v(x, y).

Considerar la ecuaciones de Cauchy-Riemann

ux = v y (1.6)
u y = −v x (1.7)

i) De la ecuación (1.6 ) se deduce que v y = −6x y, fijando x e integrando respecto a y,

Z Z
∂v = −6x y∂y

v(x, y) = −3x y 2 + Φ(x), donde Φ(x) es una función arbitraria de x.

ii) En la ecuación (1.7) se debe cumplir que u y = −v x ,

u y = 3y 2 − 3x 2 y − v x = −(−3y 2 + Φ′ (x))

de la cual

3y 2 − 3x 2 = 3y 2 − Φ′ (x)
⇒ Φ′ (x) = 3x 2 ⇒ Φ(x) = x 3 +C
Así v(x, y) = −3x y 2 + x 3 +C es la armónica conjugada de u(x, y).

3. La función analítica correspondiente es f (z) = u(x, y) + i v(x, y),

f (z) = y 3 − 3x 3 y + i (x 3 − 3x y 2 +C )
= i [(x + i y)3 +C ] = i (z 3 +C ).

Andrés Figueroa Alvarado Walter Figueroa Neyra

 38 Cap.1: Funciones analíticas y funciones elementales

1.12 F UNCIONES ELEMENTALES

1.12.1 L A FUNCIÓN EXPONENCIAL

La función exponencial f (z) = e z , para todo z = x + i y, se define como

f (z) = e z = e x (cos y + i sen y).

En forma polar se tiene

f (z) = e z = ρ(cos θ + i sen θ), donde ρ = e x , φ = y

es decir,ρ = ¯e ¯ = e x , arg(e z ) = y.
¯ z¯

Observe que f (z) = w = ρ(cos φ + i sen φ) es la imagen de z = ln ρ + i φ.

Proposición 1.9 Propiedades.

1. e z+w = e z · e w , para todo z, w ∈ C.

2. e z nunca es cero.

3. Si x es real, entonces e x > 1 cuando x > 0, y e x < 1 cuando x < 0.

4. |e z | = e x , si z = x + i y.

5. e πi /2 = i , e πi = −1, e 3πi /2 = −i , e 2πi = 1.

6. e z es periódica, cualquier periodo de e z tiene la forma 2πni , n ∈ Z.

7. e z = 1 si, y solo si, z = 2nπi , para algún entero n.

¿Cuál es la representación de e i y ?

1
ei y
iy
Cuando y varia desde 0 hasta 2π, e se
mueve alrededor del círculo unitario, en y
dirección antihoraria. e i y es el punto so- −1 1
bre el círculo unitario con argumento y.

−1

Interpretación geométrica de e z

La función f (z) = e z transforma la familia de rectas paralelas al eje imaginario, en una fami-
lia de circunferencias con centro en el origen de coordenadas, la familia de rectas paralelas

Andrés Figueroa Alvarado Walter Figueroa Neyra