Captulo 3

Funciones elementales
En este captulo se introducen la funciones elementales variable compleja: la exponencial,
el logaritmo y las funciones trigonometricas e hiperbolicas. Como veremos, muchas de las
propiedades que estas funciones verifican en el caso real tambien se cumplen en el caso complejo.
Pero tambien surgen propiedades distintas. Veremos, por ejemplo, que la exponencial compleja
es una funcion periodica o que las funciones sen y cos no estan acotadas en C.
l

3.1.

Funci
on exponencial

l se define la funcion exponencial compleja como

Definici
on 3.1 Dado z = x + iy C
exp(z) = ex (cos(y) + i sen(y))
Comparando esta expresion con la forma polar de los n
umeros complejos se tiene que
x
| exp(z)| = e y que y es un argumento de exp(z).
Observamos que esta definicion es coherente con la notacion de Euler pues si z = 0 + iy,
con y l-R, se tiene que eiy = cos(y) + i sen(y).
Tambien se utiliza la notacion ez en vez de exp(z).
En primer lugar comprobaremos que la funcion exponencial compleja extiende a la exponencial real. Si z = x + i0, con x l-R, se tiene que exp(x + i0) = ex .
Proposici
on 3.1 La funcion exponencial es derivable y su derivada es ella misma.
Ejemplo 3.1 Exprese en forma polar y represente graficamente ei , e2+i/2 y ei/4 .
Ejemplo 3.2 Exprese en la forma ex+iy los n
umeros complejos 2, 2i, 3, 2i.
19

20
Ejemplo 3.3 Halle la imagen de la recta y = /4 mediante la funcion exponencial.
Ejemplo 3.4 Halle la imagen de la recta x = 1 mediante la funcion exponencial.
Ejercicio 3.1 Razone que si w 6= 0 siempre existe un z C
l tal que ez = w.
Ejercicio 3.2 Dados a, b l-R, halle la imagen de las rectas x = a e y = b mediante la funcion
exponencial.
Ejercicio 3.3 Halle la imagen del conjunto A = [1, 2] [0, ] mediante la funcion exponencial.
Proposici
on 3.2 Para cualesquiera z1 , z2 C
l se verifica
exp(z1 + z2 ) = exp(z1 ) exp(z2 ).

(3.1)

Corolario 3.1 Para cualquier z C

l se verifica:
1. exp(z) 6= 0,
2. exp(z) =

1
,
exp(z)

3. (exp(z))n = exp(nz) n ZZ.

Las propiedades vistas hasta ahora son comunes a las exponenciales real y compleja. Veremos que tambien hay propiedades que verifica una y la otra no. Por ejemplo, sabemos que la
exponencial real es inyectiva. La exponencial compleja no lo es, pues como establece corolario
siguiente, es una funcion periodica y sus periodos son de la forma 2ki con k ZZ.
Corolario 3.2 Para cualesquiera z1 , z2 C
l se tiene que ez1 = ez2 si, y solamente si, z1 =
z2 + 2ki con k ZZ.
on ez = 1 + i y representelas graficamente.
Ejemplo 3.5 Halle las soluciones de la ecuaci
Ejercicio 3.4 Demuestre que la funcion exponencial es inyectiva si se restringe el conjunto de
partida al conjunto A0 = l-R (, ). Halle el conjunto imagen.

21

3.2.

El logaritmo complejo

En el caso real, la funcion exponencial es inyectiva, y tambien sobreyectiva si restringimos el

conjunto de llegada al intervalo (0, +). Puede considerarse entonces la funcion inversa que es
el logaritmo neperiano real. Para introducir el logaritmo en el caso complejo no puede seguirse
exactamente el mismo procedimiento pues, como ya se ha mencionado, la funcion exponencial
compleja no es inyectiva y, si se considera su inversa, se obtiene una correspondencia no unvoca.
Para conseguir una funcion univaluada el procedimiento que seguiremos sera elegir zonas donde
la exponencial es inyectiva y considerar, en cada zona, la correspondiente funcion inversa. As se
construyen las denominadas ramas del logaritmo.
Dado w C
l analicemos las soluciones de la ecuacion
exp(z) = w
Si z = x + iy y es un argumento de w, la ecuacion se escribe
ex eiy = |w|ei
e igualando modulos se obtiene, en el campo de los n
umeros reales, la ecuacion
ex = |w|
de donde1 x = ln(|w|), si w 6= 0, y no tiene solucion si w = 0.
Igualando ahora argumentos se obtiene
y = + 2k para k ZZ.
Tenemos pues que y puede ser cualquier argumento del n
umero complejo w. Se define entonces
el logaritmo como sigue
Definici
on 3.2 Sea w =
6 0, se dice que z es un logaritmo de w si exp(z) = w. Si |w| = y
es un argumento de w, los logaritmos de w son
log(w) = {ln() + i( + 2k), k ZZ}.

(3.2)

Si de todos los posibles argumentos de w se elige el u

nico que pertenece al intervalo (, ],
se obtiene un u
nico logaritmo que se denomina logaritmo principal. La instruccion log de
Matlab calcula este logaritmo.
Ejemplo 3.6 Calcule los logaritmos de: (a) 1 + i , (b) 1, (c) 1, (d) i.
Ejercicio 3.5 Estudie si el logaritmo principal extiende a la funcion logaritmo neperiano real.
1

Empleamos la notacion ln para el logaritmo neperiano real.

22
Ejercicio 3.6 Halle las soluciones de la acuacion ez = 1 +
A0 = l-R (, ).

p
(3)i que pertenecen al conjunto

Seg
un la definicion anterior, el logaritmo asocia a cada n
umero complejo w 6= 0 un conjunto
de n
umeros. Por tanto, el logaritmo as definido resulta una funcion multvoca esto es debido a
que la funcion exponencial es una funcion periodica. Si deseamos obtener una funcion univaluada
que sea inversa de la exponencial basta restringirse a un dominio donde esta sea inyectiva. Si
para l-R se considera el conjunto A = (, ) ( , + ), la funcion exp : A C
l
i+
resulta inyectiva y su conjunto imagen es C
l \ H , siendo H = {z = e
: 0}. Tenemos
entonces que la funcion
2

exp : (, ) ( , + ) C
l \ H
es biyectiva y, por tanto, podemos considerar su inversa que se denotara por log .
Tenemos entonces que si w C
l
H , w posee infinitos logaritmos que son
ln(|w|) + i,
donde es un argumento cualquiera de w. La funcion log asocia a w el u
nico de estos logaritmos
perteneciente al conjunto A = (, ) ( , + ). Utilizando la funcion arg se tiene
que
log (w) = ln |w| + i arg (w).
Definici
on 3.3 Dado l-R, se llama log a la inversa de la funcion
exp : (, ) ( , + ) C
l \ H
Se tiene entonces que log : C
l \ H (, ) ( , + ) es
log (z) = ln |z| + i arg (z)

(3.3)

De la definicion se deduce que log (z) log(z) y, por lo tanto, elog (z) = z para todo
zC
l H . Tambien se verifica que si z A = (, ) ( , + ), log (exp(z)) = z,
igualdad que es falsa si z
/ A .
Ejemplo 3.7 Calcule: log (1), log3 (1), log0 (1), log2 (1).
Proposici
on 3.3 La funcion log : C
l \ H C
l es analtica en su dominio de definicion y
su derivada es
1
d log (z)
= .
dz
z

23
Ejemplo 3.8 Halle el dominio de definicion de f (z) = log0 (z 2 ) y calcule su derivada.
3
Ejercicio 3.7 Estudie si l-R es cierto que log(e1+i 2 ) = 1 + i 3
.
2

Ejercicio 3.8 Estudie si log0 puede extenderse como funcion continua a los puntos del semieje
real negativo.
l
Ejercicio 3.9 Dado l-R, estudie si z, w C\H
se cumple log (z w) = log (z)+log (w).
Ejercicio 3.10 Dado l-R, estudie si z C
l \ H y n lN se cumple que log (z n ) =
n log (z).
Ejercicio 3.11 Halle el dominio de definicion de f (z) = log0 (1 z) y calcule su derivada.

3.3.

Funciones trigonom
etricas e hiperb
olicas

En esta seccion se definen las funciones trigonometricas e hiperbolicas y se estudian sus

principales propiedades. Las funciones se introducen a partir de la funcion exponencial, extendiendo a las funciones trigonometricas e hiperbolicas del caso real. Veremos que no todas las
propiedades del caso real se verifican en el caso complejo.
Dado t l-R se tienen las expresiones
eit = cos(t) + i sen(t)
eit = cos(t) i sen(t)
Sumando y restando se obtiene
sen(t) =

eit eit
,
2i

cos(t) =

eit + eit
,
2

ecuaciones que expresan el sen y el cos de un n

umero real en funcion de la exponencial compleja.
Parece entonces natural la definicion siguiente:
Definici
on 3.4 Para z C
l se definen
eiz eiz
2i
iz
e + eiz
cos(z) =
2

sen(z) =

(3.4)
(3.5)

24
Resulta obvio que estas funciones extienden al sen y al cos del caso real por lo que no hay
ambig
uedad en la notacion.
Proposici
on 3.4 Las funciones sen y cos son enteras y sus derivadas son:
d sen(z)
d cos(z)
= cos(z) y
= sen(z).
dz
dz
Proposici
on 3.5 Se verifican las siguientes propiedades:
1. Las funciones sen(z) y cos(z) son peri
odicas de periodo 2.
2. eiz = cos(z) + i sen(z) z C.
l
l
3. sen(z) = sen(z) y cos(z) = cos(z) z C.
4. sen2 (z) + cos2 (z) = 1.
5. sen(z1 + z2 ) = sen(z1 ) cos(z2 ) + sen(z2 ) cos(z1 ), z1 , z2 C.
l
6. cos(z1 + z2 ) = cos(z1 ) cos(z2 ) sen(z1 ) sen(z2 ) , z1 , z2 C.
l
Proposici
on 3.6 Se verifica que:
1. sen(z) = 0 si, y solo si, z = k con k ZZ
2. cos(z) = 0 si, y solo si, z = /2 + k con k ZZ.

Ejemplo 3.9 Halle las soluciones de la ecuaci

on sen(z) = 2. (Sol. z = ( 2 + 2k) i ln(2 + 3)

o z = ( 2 + 2k) i ln(2 3) con k ZZ.)

p
Ejercicio 3.12 Halle las soluciones de la ecuaci
on cos(z 2 ) = 0. (Sol. z = 2 + k con
p
+

k ZZ {0} o z = k 2 i con k ZZ ).
El ejemplo siguiente muestra que no todas las propiedades del caso real se verifican en el
caso complejo. Como sabemos, cuando x l-R, | sen(x)| 1. Esta propiedad no se cumple en C.
l
Ejemplo 3.10 Demuestre que sen(z) no esta acotada cuando z C.
l
Analogamente al caso real se definen el resto de funciones trigonometricas.
Las funciones hiperbolicas se definen como las reales.

25
Definici
on 3.5 Para z C
l se definen
senh(z) =

ez ez
2

cosh(z) =

ez + ez
2

De estas definiciones resulta obvio que extienden a las funciones senh y cosh reales. Es
inmediato comprobar las siguientes proposiciones:
Proposici
on 3.7 Las funciones senh y cosh son enteras y sus derivadas son:
d senh(z)
= cosh(z)
dz

d cosh(z)
= senh(z).
dz

Proposici
on 3.8 Para z, z1 , z2 C se verifican
1. cosh2 (z) senh2 (z) = 1,
2. senh(z1 + z2 ) = senh(z1 ) cosh(z2 ) + cosh(z1 ) senh(z2 ),
3. cosh(z1 + z2 ) = cosh(z1 ) cosh(z2 ) + senh(z1 ) senh(z2 ).
Ejercicio 3.13 Verifique la relaciones: (a) senh(iz) = i sen(z), (b) cosh(iz) = cos(z).
El resto de las funciones hiperbolicas se definen como en el caso real:

tgh(z) =

senh(z)
, si cosh(z) 6= 0
cosh(z)

sech(z) =

1
, ...
cosh(z)

Ejercicio 3.14 Halle los ceros de senh(z) y cosh(z).

3.4.

Exponenciaci
on y potenciaci
on en Cl

En el caso de los n
umeros reales, si x, y l-R, x > 0, se tiene
xy = ey ln(x)
Extendiendo esta expresion al caso complejo podemos definir z w como sigue:

26
Definici
on 3.6 Para z 6= 0 se define
z w = ew log(z)
Ejemplo 3.11 Halle ii , 1i , i .
Ejemplo 3.12 Halle e1/2 y verifique que no coincide con exp(1/2).
Se observa que hay una ambig
uedad en la notacion: ez puede interpretarse como exp(z) o
como la potencia ez , que son cosas diferentes. Cuando se escriba ez , salvo que se especifique
otra cosa, se entendera que es exp(z).
Ejemplo
3.13 Estudie si es cierto que m, n lN y z 6= 0 se cumple que z m/n coincide con

n
zm.
Si se desea obtener una exponenciacion univaluada se utiliza una ramas del logaritmo.
Definici
on 3.7 Sea l-R y w C.
l Para z C
l \ H se define la potencia w de z como
w log (z)
pw
(z) = e

Proposici
on 3.9 La funcion pw
tica en C
l \ H y su derivada es
(z) es anal
1/3

Ejercicio 3.15 Sea f (z) = p0 (z).

1. Calcule su dominio de definicion A y el conjunto imagen B = f (A).
2. Sea g(z) = z 3 . Estudie si es cierto que g(f (z)) = z z A.
3. Estudie si es cierto que f (g(z)) = z z B. Y para todo z C?
l

w w1
p (z).
z