Variable Compleja

Parical 2
Funciones Analı́ticas

1.3 ALGUNAS FUNCIONES ELEMENTALES

La función exponencial

Definición (Exponencial). Si z = x + iy, entonces definimos ez como ez = ex (cos y + sin y).

Proposición.

(i) |ex+y | = ex

(ii) ez = 1 si y sólo si z = 2πni para algún entero n

Las funciones trigonométricas

Proposición.

(i) sin (a ± b) = sin a cos b ± cos a sin b

(ii) cos (a ± b) = cos a cos b ∓ sin a sin b

Definición (Seno y Coseno).

eiz − e−iz eiz − e−iz

sin z = y cos z = .
2i 2
La función logaritmo

Proposición.
Sea Ay0 = {x + iy : x ∈ R y y0 ≤ y < y0 + 2π}, entonces ez : Ay0 → C\{0} es una biyección.

Definición (Logaritmo).
La función log : C\{0} → Ay0 se define en la rama y0 ≤ y < y0 + 2π como

log z = ln |z| + i arg z.

Proposición.
(i) elog z = z
(ii) log ez = z + 2πni, donde n = 0 si y ∈ [y0 , y0 + 2π)

Proposición.
Si z1 , z2 ∈ C\{0}, entonces log (z1 z2 ) = ln z1 + ln z2 + 2πni, donde n = 0 si y ∈ [y0 , y0 + 2π)

Potencias complejas

Definición (Exponentes). ab = eb log a .

Proposición.
(i) Si b es entero, entonces ab tiene solución única
(ii) Si b = p/q entonces ab tiene q soluciones
(iii) En otro caso ab tiene infinitas soluciones, y además todos difieren por un factor de la forma e2πnbi

1
La función raı́z n-ésima
√
Definición (Raı́z n-ésima). n
z = z 1/n = e(log z)/n , para una rama fija de log z.
√ √
Proposición. Si z = reiθ , entonces n
z= n
reiθ/n , donde θ está en la rama de log z

Ejemplo ii = ei log i = ei[log 1+(iπ/2)+(2πni)i] = e−2π(n+1/4) .

1.4 FUNCIONES CONTINUAS

Conjuntos abiertos

Definición. Un conjunto A es abierto si para todo z ∈ A existe r > 0 tal que B(z, r) ⊂ A.
Aquı́, B(z, r) es una r-vecindad de z.

Funciones, lı́mites y continuidad

Definición. Decimos que f tiene lı́mite a en z0 si para cada ε > 0, existe un δ > 0 tal que si
|z − z0 | < δ y z 6= z0 , entonces |f (z) − a| < ε.

Definición. Sea A ∈ C un conjunto abierto. Decimos que f es continua en z0 ∈ A si

lim f (z) = f (z0 ).

z→z0

Definición. Una función f es continua en A si f es continua en cada punto de A.

Sucesiones

Definición. Una sucesión zn de puntos de C converge a z0 si para cada ε > 0, existe un entero N
tal que n ≥ N implica |zn − z0 | < ε.

El limite de una sucesión se expresa como

lim zn = z0 o zn → z0 .
n→∞

Definición. Una sucesión zn es de Cauchy si para todo ε > 0 existe un entero N tal que si n ≥ N y
m ≥ N , entonces |zn − zm | < ε.

Proposición. Si Re(zn ) → Re(z0 ) y además Im(zn ) → Im(z0 ), entonces zn → z0 .

Proposición. Toda sucesión de Cauchy en C converge.

Proposición. Sea A ∈ C, y sea f : A → C. Entonces f es continua en z0 ∈ A si para toda sucesión

zn en A que converge a z0 , tenemos que f (zn ) → f (z0 ).

Conjuntos cerrados

Definición. Un conjunto F es cerrado en C si su complemento C\F es abierto.

Proposición. Un conjunto F es cerrado si y solo si contiene a todos sus puntos de acumulación.

Definición. La imagen inversa de A bajo f se define como f −1 (A) = {z ∈ C : f (z) ∈ A}.

Proposición. Si f : C → C, las siguientes afirmaciones son equivalentes.

(i) f es continua.
(ii)La imagen inversa de cualquier conjunto cerrado es cerrada.
(iii)La imagen inversa de cualquier conjunto abierto es abierta.

2
 Definición. Un subconjunto B de A se dice abierto relativo de A si B = A ∩ U para algun conjunto
abierto U .

Definición. Un subconjunto B de A se dice cerrado relativo de A si B = A ∩ U para algun conjunto

cerrado U .

Proposición. Si f : A → C, las siguientes afirmaciones son equivalentes.

(i) f es continua en A.
(ii)La imagen inversa de todo conjunto cerrado es cerrado relativo de A.
(iii)La imagen inversa de todo conjunto cerrado es abierto relativo de A.

Conjuntos conexos

Definición. Un conjunto C es conexo por trayectorias si para cada a, b ∈ C existe una función
continua γ : [0, 1] → C continua con γ(0) = a y γ(1) = b. Decimos que γ es una trayectoria que une a y b.

Definición. Un conjunto C no es conexo si hay abiertos U y V tales que

(i) C ⊂U ∪V

(ii) C ∩ U 6= ∅ y C ∩ V 6= ∅
(iii) (C ∩ U ) ∩ (C ∩ V ) = ∅
Proposición. Un conjunto C es conexo si y sólo si los únicos subconjuntos de C que son abiertos y
cerrados relativos a C, son ∅ y C .
Proposición. Si C es conexo por trayectorias, entonces es conexo.

Proposición. Si C es un conjunto abierto conexo, entonces para todo a, b ∈ C existe una trayectoria
continua γ : [0, 1] → C tal que γ(0) = a y γ(1) = b.

Definición. Decimos que un conjunto A es región o dominio de f si A es abierto y conexo.

Proposición. Si f es una función continua definida en un conjunto conexo C , entonces su imagen

f (C) es un conjunto conexo.

Conjuntos compactos

Definición. Un conjunto K es compacto si toda cubierta abierta de K tiene una subcubierta finita.

Proposición. Si K ∈ C, las siguientes condiciones son equivalentes

(i) K es cerrado y acotado.
(ii) Toda sucesión de puntos en K tiene una subsicesión que converge a algún punto de K.
(iii) K es compacto.

Proposición. Si K es un conjunto compacto y f es una función continua definida en K, entonces

la imagen f (K) es un conjunto compacto.

Teorema del valor extremo. Si K es un conjunto compacto y f : K → R es continua, entonces f

alcanza sus valores máximo y mı́nimo, es decir inf f (K) y sup f (K) existen y están en f (K).

Definición. Sean A y B subconjuntos de C. Definimos la distancia de A a B como

d(A, B) = inf {d(a, b) : a ∈ A, b ∈ B}.

Lema de la distancia. Sea K compacto, sea C cerrado y supongamos que K ∩ C 6= ∅. Entonces

d(K, C) > 0, es decir, existe ρ > 0 tal que si x ∈ K y y ∈ C, entonces |x − y| > ρ.

3
Continuidad unforme

Definición. Una función f es uniformemente continua en A si para cada ε > 0 existe δ > 0 tal que
si x, y ∈ A y |x − y| < δ, entonces |f (x) − f (y)| < ε.

Proposición. Si f es una función continua en un conjunto compacto K, entonces es uniformemente

continua en K.

La esfera de Riemann y el punto al infinito

Definición. Definimos el plano complejo extendido C como C = C ∪ {∞}.

Definición. Decimos que limz→∞ f (z) = z0 si para todo ε > 0, existe un R > 0 tal que si |z| > R,
entonces |f (z) − z0 | < ε.

Definición. Decimos que limz→z0 f (z) = ∞ si para todo ε > 0, existe un δ > 0 tal que si |z − z0 | < δ,
entonces |f (z)| > ε.

Definición. Decimos que limn→∞ zn = ∞ si para todo ε > 0, existe un N > 0 tal que si n ≥ N ,
entonces |zn | > ε.

Proposición. Sea f : C → {(x, y, z) : ||(x, y, z)|| = 1} definida por

x y
f (x, y, z) = ( , ).
1−z 1−z
Entonces f es una biyección. A la imagen de f se le denomina esfera de Riemann.

Funciones Analı́ticas

Diferenciabilidad

Definición. Sea A un conjunto abierto y sea f : A → C. Decimos que f es diferenciable en z0 ∈ A

si existe
f (z) − f (z0 )
lim .
z→z0 z − z0
Definición. Se dice que f es analı́tica en A si f es compleja-diferenciable en cada z0 ∈ A. Decimos
que es analı́tica en z0 si lo es en una vecindad de z0 .

Proposición. Si f 0 (z0 ) existe, entonces f es continua en z0 .

Proposición. Sean f : A → C y g : B → C funciones analı́ticas, donde A y B son abiertos. Entonces

g ◦ f es analı́tica y
d
(g ◦ f )(z) = (g 0 ◦ f )(z) · f 0 (z)
dz
Proposición. Sea A ⊂ C abierto conexo, y sea f : A → C analı́tica. Si f 0 (z) = 0 en A, entonces f
es constante en A.

Ecuaciones de Cauchy-Riemann

Teorema de Cauchy-Riemann. Sea A un conjunto abierto, sea f : A → C y sea z0 ∈ A. Además,

supongamos que f = u + iv. Entonces f 0 (z0 ) existe si y solo si

∂u ∂v ∂u ∂v
= y =− .
∂x ∂y ∂y ∂x
Lema. Sean x y y = a + ib números complejos. Podemos expresar el producto xy como
 
a b
· x.
−b a

4
Funciones inversas

Teorema de la función inversa. Sea f : A → C una función analı́tica. Supongamos que f 0 existe,
y que además f 0 (z0 ) 6= 0. Entonces existen vecindades U de z0 y V de f (z0 ) tales que f : U → V es una
biyección. Además la función inversa f −1 es analı́tica, donde su derivada está dada por
d 1
f −1 (f (z)) = 0 .
df (z) f (z)

Funciones armónicas y armónicas conjugadas

Definición. El laplaciano de una función u ∈ C 2 se define como

∂2u ∂2u
∇2 u = + 2.
∂x2 ∂y

Definición. Sea A un conjunto abierto y sea u : A → R tal que u ∈ C 2 . Decimos que u es armónica
en A si ∇2 u = 0, es decir, si
∂2u ∂2u
+ 2 = 0.
∂x2 ∂y
Proposición. Si f es analı́tica en un conjunto abierto A y f = u + iv, entonces u y v son armónicas
en A.

Proposición. Sea A un conjunto abierto, sea z0 en A, y sea u ∈ C 2 . Entonces existe una vecindad
de z0 tal que Re(f ) = u para alguna función f .

Ecuaciones de Cauchy-Riemann en coordenadas polares

∂u 1 ∂v ∂v 1 ∂u
= y =−
∂r r ∂θ ∂r r ∂θ