Matemáticas Superiores
Unidad I: Variable Compleja
Funciones de variable compleja. Parte I
Wilfredo ANGULO
1 Generalidades sobre funciones de variable compleja
Se quiere estudiar las relaciones que pueden existir entre conjuntos de números complejos,
extendiendo ası́ el concepto de función como una transformación entre conjuntos.
Definición 1 (Función real de variable compleja). Se define función real de variable com-
pleja a toda transformación de un subconjunto D ⊆ C de números complejos en los reales R.
Se representa de la manera usual como
f : D⊆C → R
z 7→ w = f (z)
Note que si z ∈ C está en la forma z = (x, y), entonces la función real de variable compleja
f transforma este número complejo en el número real w que es la imagen del par ordenado
(x, y) mediante la regla de correspondencia asociada a la transformación. Es decir que w =
f (z) = f (x, y).
Ejemplo 1. Algunos ejemplos de funciones reales de variable compleja, f : D ⊆ C → R, viene
dadas por las siguientes reglas de correspondencia:
a) f (z) = Re(z) = x ∈ R (función parte real);
b) f (z) = Im(z) = y ∈ R (función parte imaginaria);
√
c) f (z) = |z| = x2 + y 2 ∈ R (función módulo);
d) f (z) = arg(z) = θ ∈ R (función argumento).
Definición 2 (Función compleja de variable compleja). Se define función compleja de va-
riable compleja a toda transformación de un subconjunto D ⊆ C de números complejos en
los números complejos C. Se representa de la manera usual como
f : D⊆C → C
z 7→ w = f (z)
Note que si z ∈ C está en de la forma z = (x, y), entonces la función compleja de variable
compleja f transforma este número complejo en el número complejo w que es la imagen
2 Wilfredo ANGULO
del par ordenado (x, y) mediante la regla de correspondencia asociada a la transformación. Es
decir que
w = f (z) = f (x, y) = (u(x, y), v(x, y))
donde
u(x, y) = Re(w) y v(x, y) = Im(w)
son funciones reales de la variable compleja z = (x, y). Por tal razón, una función compleja
de variable compleja EQUIVALE a una función VECTORIAL DE DOS VARIABLES
REALES .
Ejemplo 2. Algunos ejemplos de funciones reales de variable compleja, f : D ⊆ C → C, vienen
dadas por las siguientes reglas de correspondencia:
a) Id (z) = z ∈ C (función identidad);
b) T (z) = z + a ∈ C (función traslación);
c) f (z) = z n ∈ C (función potencia);
1
d) f (z) = ∈ C (función inverso de z ̸= 0).
z
Definición 3 (Dominio y Rango). El conjunto de números complejos z donde la función f
está bien definida se denomina dominio de f . El conjunto de todas las imagenes w = f (z) es
llamado rango de f .
Ejemplo 3 (Realizado en clase). Determine el dominio de
(z + i3) (z − i)(z − 1)
f (z) = e|z| , f (z) = 2i|z|2 , f (z) = 2
y f (z) =
(z + 9) z(z 2 + 1)
A w = f (z) también se le expresará en la forma binómica
w = u + iv.
Es decir que la función w = f (z) se expresa en términos de las variables x e y en lugar de z
directamente.
Ejemplo 4 (Explicado en clase). Dada w = f (z) = z 2 encuentre la forma w = u + iv.
Solución: Para encontrar la forma binómica de w = f (z) es suficiente encontrar las funciones
reales de variable compleja: Re[f (z)] y Im[f (z)], que representan a las funciones reales de
Matemáticas Superiores 3
variable vectorial u(x, y) y v(x, y), para especificar la forma binómica de w. En efecto: como
z = x + iy, entonces
w = f (z) =z 2
=(x + iy)2
=x2 + 2ixy + i2 y 2
=x2 + 2ixy − y 2
=(x2 − y 2 ) + 2ixy
Re[f (z)] + iIm[f (z)] =(x2 − y 2 ) + i2xy
De aquı́ se tiene que
Re[f (z)] = (x2 − y 2 ) y Im[f (z)] = 2xy.
Luego
u(x, y) = x2 − y 2 y v(x, y) = 2xy.
Finalmente
w = (x2 − y 2 ) + i2xy.
O de manera análoga: w es la función vectorial de las dos variables reales, w : R2 → R2 , dada
por
w = (u, v) = (x2 − y 2 , 2xy).
A menudo la expresión de w = f (x, y), que está en términos de x e y, puede volverse a
escribir fácilmente en términos de z. Para este caso, las identidaes
1 1
x = (z + z) y y= (z − z)
2 2i
son útiles para pasar de las variables (x, y) a z.
x − iy
Ejemplo 5 (Explicado en clase). Dada w = f (x, y) = 2x + iy + expresarla en
x2 + y 2
términos de z = x + iy.
Solución: Lo que se debe hacer es expresar w = f (z). Para esto, por un lado se sabe que
1 1
x := Re(z) = (z + z) y y := Im(z) = (z − z).
2 2i
Por otro lado, del álgebra de números complejos, se cuenta con las identidades siguientes:
x2 + y 2 = z · z y x − iy = z.
4 Wilfredo ANGULO
Sustituyendo estas cuatro expresiones en la función dada se ecuentra:
[ ] [ ]
1 1 z
w = f (x, y) = f (z) =2 (z + z) + i (z − z) +
2 2i z·z
[ ] [ ]
1 1 z
=2 (z + z) + i (z − z) +
2 2i z · z
1 1
=z + z + (z − z) +
2 z
z z 1
=z + + z − +
2 2 z
3z z 1
f (z) = + + .
2 2 z
De aquı́
3z z 1
w = f (z) = + + .
2 2 z
Observación 1. Al ser f : D ⊆ C → C en esencia una función de R2 en R2 , no es posible
obtener una representación gráfica en el sentido usual debido a que f lo que hace es
transformar conjuntos de R2 en otros conjuntos de R2 . En particular si el conjunto D ⊆ C
es el dominio de f entonces el rango de esta función será la imagen de dicho conjunto que se
denotará por f (D) ⊆ C y se define como
f (D) = {w ∈ C; w = f (z), ∀z ∈ D}.
Por tanto, es posible representar gráfica e independientemente la forma que tendrán D y f (D)
como subconjuntos de R2 . En este orden de ideas, para una fución compleja
w = u + iv = f (z)
se requieren dos planos: el plano z en que se grafican los valores de z ∈ D, y el plano w, en
donde se grafican los valores de las imagenes f (z) = w ∈ f (D). Una ilustración abstracta de
esto se muestra en el siguiente gráfico.
Matemáticas Superiores 5
Figura 1: Funciones complejas a variables complejas como transformaciones entre conjuntos de C
Ejemplo 6 (Realizado en clase). Sea
f :D⊂C→C
para la cual
D = {z ∈ C; Re(z) = 1}
y la regla de correspondencia viene dada por
f (z) = z 2 .
a.) Encuentre f (D).
b.) Realice un bosquejo de los conjuntos D y f (D) en el plano z y el plano w
respectivamente.
2 Lı́mite y continuidad
Ya que C es en esencia R2 , el concepto de lı́mite y continuidad no difiere mucho del concepto
de lı́mite y continuidad para funciones de R2 en R2 . En esta sección se dedica atención a estos
dos conceptos fundamentales.
Definición 4 (Lı́mite). Sea f : D ⊆ C → C y definida en todos los puntos de una cierta
vecindad de z0 ∈ C, excepto, posiblemente en el mismo z0 . Se dice que ℓ ∈ C es un lı́mite de f ,
si para cada número positivo ε, existe un número positivo δ tal que:
|f (z) − ℓ| < ε siempre que 0 < |z − z0 | < δ.
6 Wilfredo ANGULO
Se denota con
lı́m f (z) = ℓ,
z→z0
lo que se lee: ℓ es el lı́mite de f (z) cuando z tiende a z0 .
Teorema 5 (Unicidad del lı́mite). El lı́mite de una función compleja de variable compleja en
un punto, si existe, es único.
Observación 2.
1. La definición de lı́mite es un concepto de aproximación. Esto significa que los valores de
la imagén f (z) están próximos al valor ℓ tanto como se desee para todo z que esté lo
suficientemente próximo a z0 .
2. La definición topológica de lı́mite implica la existencia de una bola abierta y perforada de
◦
radio δ > 0 y centrada z0 , denotada por B δ (z0 ) = Bδ (z0 ) − {z0 }, tal que la imagen f (z)
◦
de cualquier z ∈ B δ (z0 ) debe pertenecer a una vecindad dada de ℓ; denotada por Bε (ℓ)
para cualquier ε > 0. Es decir:
◦
∀ ε > 0 ⇒ ∃ δ > 0 : f (z) ∈ Bε (ℓ) siempre que z ∈ B δ (z0 )
Figura 2: Ilustración del concepto de lı́mite
Ejemplo 7 (Realizado en clase). Demuestre que
lı́m(z + i) = 2i
z→i
usando la definición.
3. Como la función compleja de variable compleja es en esencia una función vectorial de R2
en R2 , la definición implı́ca que z puede aproximarse a z0 desde cualquier dirección
del plano.
Matemáticas Superiores 7
Ejemplo 8 (Realizado en clase). Sea
x2 + x i(y 2 + y)
f (z) = + .
x+y x+y
Determine, si existe, lı́mf (z).
z→0
Teorema 6 (Relación con lı́mites de funciones de R2 en R2 ). Suponga que z0 = x0 + iy0 ,
f (z) = w = u(x, y) + iv(x, y) y ℓ = ℓu + iℓv . Entonces
lı́m f (z) = ℓ
z→z0
si, y sólo si
lı́m u(x, y) = ℓu y lı́m v(x, y) = ℓv .
(x,y)→(x0 ,y0 ) (x,y)→(x0 ,y0 )
El teorema anterior afirma que el lı́mite de una función compleja de variable compleja
existe siempre y cuando existan los correspondientes lı́mites de las partes real e imaginaria y
recı́procamente.
Ejemplo 9 (Realizado en clase). Realice nuevamente el ejemplo 9 pero aplicando el
Teorema 6.
El Teorema 6 también garantiza que todas las operaciones conocidas para los lı́mites de
funciones vectoriales de dos variables se cumplen para los lı́mites de funciones de variable
compleja. Este es el resultado que a continuación se enuncia.
Teorema 7 (Propiedades del lı́mite). Sean f1 y f2 definidas en la vecindad de un punto z0 .
Suponga que lı́m f1 (z) = ℓ1 y lı́m f2 (z) = ℓ2 . Entonces las siguientes propiedades se satisfacen:
z→z0 z→z0
1. lı́m [f1 (z) ± f2 (z)] = ℓ1 ± ℓ2 ;
z→z0
2. lı́m [f1 (z) · f2 (z)] = ℓ1 · ℓ2 ;
z→z0
[ ]
f1 (z) ℓ1
3. lı́m = , ℓ2 ̸= 0.
z→z0 f2 (z) ℓ2
Ejemplo 10 (Realizado en clase). Calcular los siguientes lı́mites:
z
a) lı́m
z→1 z + 1
z + iz 2
b) lı́m √
z→0 |z|
8 Wilfredo ANGULO
Definición 8 (Continuidad en punto). Sea f : D ⊆ C → C y z0 ∈ D. Se dice que f (z) es
continua en z0 si, y sólo si:
i) f (z0 ) está definida;
ii) existe lı́m f (z);
z→z0
iii) lı́m f (z) = f (z0 ).
z→z0
Definición 9 (Función continua). Sea f : D ⊆ C → C y z0 ∈ D. Se dice que f (z) es continua
en D si, y sólo si, f (z) es continua en todo z ∈ D.
Teniendo en cuenta el Teorema 6 sobre la relación que existe entre el lı́mite de funciones
complejas y las funciones de R2 en R2 , se tiene el siguiente resultado.
Teorema 10. Sea f : D ⊆ C → C y z0 ∈ C. Entonces f (z) es continua en z0 si, y sólo si, las
funciones u(x, y) = Re[f (z)] y v(x, y) = Im[f (z)] son continuas en z0 .
De manera operativa, este teorema dice que se debe expresar f (z) como
f (x, y) = u(x, y) + iv(x, y)
y luego estudiar la continuidad u(x, y) y v(x, y), como funciones de R2 en R2 , en el punto
(x0 , y0 ).
Ejemplo 11 (Realizado en clase). Estudie la continuidad en z0 = 1 de la función
x − iy
f (z) = 2x + iy +
x2 + y 2
empleando el Teorema 10.
Ejemplo 12 (Realizado en clase). Estudie la continuidad de la función
z2 + 1
, si z ̸= i;
f (z) = z−i
3i, si z = i.
Ejemplo 13 (Realizado en clase). Estudie la continuidad de la función
z2 + 1
, si z ̸= −i;
f (z) = z+i
−2i, si z = −i.
Matemáticas Superiores 9
Teorema 11 (Continuidad respecto a las operaciones básicas). Sean f y g funciones de variable
compleja continuas en un dominio D ⊂ C del plano complejo. Entonces:
1. las funciones (f + g) y (f − g) son continuas en D;
2. la función f · g es continua en D;
f
3. la función es continua en D \ {z ∈ C; g(z) = 0}.
g
Ejemplo 14 (Realizado en clase). Estudie la continuidad en z0 = 1 de la función
x − iy
f (z) = 2x + iy +
x2 + y 2
empleando el Teorema 11.
Solución: Del ejemplo 5 se tiene que
3z z 1
f (z) = + + .
2 2 z
Sean
3z z 1
f1 (z) = , f2 (z) = y f3 (z) = .
2 2 z
Empleando el Teorema 11, la función f (z) será continua en el dominio D ⊆ C donde sean
continua a la vez estas tres funciones. En efecto, como f1 y f2 son polinomiales entonces son
continuas en todo C. Pero como f3 es una función racional para la cual el denominador se anula
en z = 0, entonces el dominio donde son continuas a la vez estas tres funciones será
D = C \ {z = 0}.
Por tanto la función
x − iy
f (z) = 2x + iy +
x2 + y 2
es continua en éste conjunto D que incluye al punto z0 = 1. En conclusión f (z) es continua en
el punto z0 = 1.
Teorema 12 (Continuidad de la composición de funciones continuas). Sean f y g dos funciones
de variable compleja definidas respectivamente en los dominios D ⊂ C y E ⊂ C, tales que
f (D) ⊆ E. Si f es continua en D y g es continua en f (D), entonces la función
h(z) = (g ◦ f )(z) = g(f (z))
es continua en D.
10 Wilfredo ANGULO
La utilidad de este resultado se esclarecerá cuando se estudien diversas funciones elementales
de z. Por ejemplo, una vez que se entienda el significado de
g(z) = ez , ∀z ∈ C,
y además se vea que es una función continua para todo z ∈ C. Por lo tanto, la continuidad de
la función
2
g(z) = e1/z
1
se puede analizar como la composición de la función g(z) = ez con f (z) = :
z2
2
(g ◦ f )(z) = g(f (z)) = g(1/z 2 ) ≡ g(z) = e1/z .
Como f es continua para todo z ̸= 0, entonces g también es continua para todo z ̸= 0.
3 Diferenciación de funciones complejas
La diferenciación, o diferenciabilidad, de una función compleja de variable compleja se describe
en los mismos términos como se hace con una función real de variable real.
Definición 13 (Diferenciabilidad). Sea f una función de variable compleja definida en un
dominio D ⊂ C. Sea z0 ∈ C un punto de acumulación de D.
1. La función f(z) es diferenciable en z0 si, y sólo si, existe el siguiente lı́mite
f (z) − f (z0 )
lı́m
z→z0 z − z0
2. La función f (z) es diferenciable en D si, y sólo si, f (z) es diferenciable en todo punto
z ∈ D.
Observación 3.
1. El valor del lı́mite
f (z) − f (z0 )
lı́m ,
z→z0 z − z0
df
si existe, es un número complejo que suele denotarse como f ′ (z0 ) o por (z0 ) y se le
dz
denomina la DERIVADA de f (z) en z0 . Ası́ que
df f (z) − f (z0 )
(z0 ) = f ′ (z0 ) := lı́m
dz z→z0 z − z0
Matemáticas Superiores 11
2. Si se toma h := (z − z0 ) ∈ C entonces la derivada de f (z) en z0 se transforma en la
siguiente expresión equivalente
df f (z0 + h) − f (z0 )
(z0 ) = f ′ (z0 ) := lı́m .
dz h→0 h
Ejemplo 15 (Realizado en clase). Usando la definición, calcular las derivadas en z0 de
las siguientes funciones:
a) f (z) = z
b) f (z) = z 2
c) f (z) = z n
Ejemplo 16 (Realizado en clase). Diga si la función f (z) = z es diferenciable.
Teorema 14 (Derivabilidad implica continuidad). Si la derivada de f (z) en z0 existe, entonces
f (z) es continua en z0 .
Como en el caso de la derivada de una función de variable real, este Teorema indica que
para poseer una derivada en un punto z0 dado, la función ha de ser continua en dicho punto,
pero el solo hecho de que la función sea continua no basta para garantizar la existencia de la
derivada.
3.1 Ecuaciones de Cauchy-Riemann
El problema de saber si existe la derivada de una función de variable compleja a valor complejo
es más complicado cuando dicha función viene expresada de la forma
f (z) = u(x, y) + iv(x, y).
En primera instancia, el siguiente resultado proporciona una condición que satisfacen las fun-
ciones componentes u(x, y) y v(x, y) en cierto punto (x0 , y0 ) si se supiera que la función f (z)
formada con ellas es diferenciable en dicho punto.
Teorema 15 (Ecuaciones de Cauchy-Riemann). Sea f (z) = f (x, y) = u(x, y) + iv(x, y) dife-
renciable en z0 = x0 + iy0 . Entonces, las funciones componentes, u(x, y) y v(x, y), satisfacen
las ecuaciones de Cauchy-Riemann en el punto (x0 , y0 ), esto es:
∂u ∂v
(x0 , y0 ) = (x0 , y0 )
∂x ∂y
(1)
∂u ∂v
(x0 , y0 ) = − (x0 , y0 )
∂y ∂x
12 Wilfredo ANGULO
El hecho de que una función satisfaga las ecuaciones de Cauchy-Riemann en un punto z0 ,
NO ES SUFICIENTE para garantizar que f (z) sea diferenciable en z0 . Por ejemplo, la
función 2
z
, si z ̸= 0;
f (z) = z
0, si z = 0
satisface las ecuaciones de Cauchy-Riemann en z = 0, pero no es diferenciable en ese punto (se
deja al lector verificar este hecho).
Ası́ pues, la validez de las ecuaciones de Cauchy-Riemann es una CONDICIÓN NECE-
SARIA para que exista la derivada de la función en el punto z0 . El solo hecho que las ecuaciones
de Cauchy-Riemann sean válidas para una función, no significa que todas las trayectorias por
las que z0 + h se aproxime a z0 den lugar a un mismo valor lı́mite de la definición de derivada.
El siguiente resultado muestra las CONDICIONES NECESARIAS Y SUFICIENTES
para que una función sea diferenciable en un punto.
Teorema 16 (Condiciones suficientes y necesarias para la diferenciabilidad). Sean f (z) =
f (x, y) = u(x, y) + iv(x, y) y z0 = x0 + iy0 . Si u(x, y) y v(x, y) tienen primeras derivadas
parciales continuas, con respecto a x e y, en (x0 , y0 ), y satisfacen las ecuaciones de Cauchy-
Riemann (1) en (x0 , y0 ), entonces f ′ (z0 ) existe y está dada por
∂u ∂v
f ′ (z0 ) = (x0 , y0 ) + i (x0 , y0 ), (2)
∂x ∂x
o por
∂v ∂u
f ′ (z0 ) = (x0 , y0 ) − i (x0 , y0 ), (3)
∂y ∂y
Ejemplo 17 (Realizado en clase). Demuestre que la función
f (z) = ex cos(y) + iex sen(y)
es diferenciable en todo punto z del plano complejo.
Ejemplo 18 (Realizado en clase). Estudie la diferenciabilidad de f (z) = z 2 .
Ejemplo 19 (Realizado en clase). Estudie la diferenciabilidad de f (z) = zz = |z|2 .