Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matemáticas Especiales
Guı́a N◦ 3: Funciones elementales complejas:
exponencial, logaritmo, trigonométricas e
hiperbólicas
Grupo de Matemáticas Especiales
Resumen
ez = ex eiy . (1)
1
Propiedades de la función exponencial
1. e0 = 1
2. ez 6= 0
a) |ez | = ex .
b) arg (ez ) = y + 2nπ con n ∈ Z.
ez = u(x, y) + i v(x, y)
2
Ejemplo 1. A continuación se consideran algunas ecuaciones e identidades
que involucran exponenciales.
y de esta manera
z = x + iy = ln 2 + i(2n + 1)π, n ∈ Z.
entonces
ex cos y = 1 ex sen y = 2. (3)
Después de elevar ambas ecuaciones al cuadrado y sumarlas se obtiene
3
r
2+πi e
4. Verifique que e 4 = (1 + i).
2
En efecto,
2+πi 1 π 1
h ³π ´ ³ π ´i
e 4 = e 2 e 4 i = e 2 cos + i sen
µ ¶ 4r 4
√ 1 1 e
= e √ + i√ = (1 + i)
2 2 2
luego
u(x, y) = ex cos y v(x, y) = −ex sen y
ux = ex cos y vx = −ex sen y
x
uy = −e sen y vy = −ex cos y.
ux = v y uy = −vx
x x
e cos y = −e cos y −e sen y = ex sen y
x
cos y = 0 sen y = 0
2n + 1
y= π, n∈Z y = nπ, n∈Z
2
4
Sea z = reiθ , con −π < θ < π, y sea w = u + iv. Entonces de la ecuación
ew = z se sigue que
ex eiy = r eiθ ,
de donde
ex = r y = θ + 2nπ, n∈Z
x = ln r
donde θ = Arg(z). Nótese que para cada z esta función toma infinitos valores
(dependiendo del valor de n) y por esta razón se dice que el logaritmo
complejo es una función multivaluada.
Log z = ln r + iθ (5)
1. z = i
π
Como i = 1 e 2 i , entonces
³π ´ µ ¶
1
log i = ln 1 + i + 2nπ = iπ + 2n , n∈Z
2 2
π
y Log i = i.
2
2. z = −1
Dado que −1 = 1 eiπ , entonces
5
√
3. z = −1 + i 3 √ 2π
En este caso, −1 + i 3 = 2 e 3 i entonces
µ ¶ µ ¶
³ √ ´ 2π 1
log −1 + i 3 = ln 2+i + 2nπ = ln 2+2πi +n , n∈Z
3 3
¡ √ ¢ 2π
y Log −1 + i 3 = ln 2 + i.
3
4. z = −2 − 2i √ 3π
Como −2 − 2i = 8 e− 4 i , entonces para n ∈ Z
³√ ´ µ ¶ µ ¶
3π 1 3
log (−2 − 2i) = ln 8 +i − + 2nπ = ln 8 + iπ − + 2n ,
4 2 4
1 3π
y Log (−2 − 2i) = ln 8 − i.
2 4
♦
4. Si z 6= 0 y n ∈ Z entonces z n = en log z .
6
7. Si DLog es el conjunto de puntos en el plano complejo que no están en
el eje real negativo y distintos de cero, entonces Log z es una función
analı́tica en DLog y además para z ∈ DLog
d 1
Log z =
dz z
DLog
Observación 2. En general
y de otro lado
7
3. Exponentes Complejos
1. ii ¡ ¢
Como log i = iπ 12 + 2n entonces
iπ ( 12 +2n)
= e−π( 2 +2n) ,
1
log i
ii = e i = ei n∈Z
π
y de esta manera v.p ii = e− 2 , un número real!
2. (1 − i)4i ¡ ¢
1
Teniendo en cuenta que log(1−i) = 2 ln 2+iπ − 14 + 2n (verifı́quelo!),
entonces
y
³ √ ´1+i π
h ³ π´ ³ π ´i
v.p 1+i 3 = 2 e− 3 cos ln 2 + + i sen ln 2 + .
3 3
♦
8
Propiedades de las potencias complejas
1. z α z β = z α+β .
zα
2. == z α−β .
zβ
d α
3. (z ) = α z α−1
dz
4. Funciones Trigonométricas
Como es bien conocido, las funciones reales seno y coseno se pueden expresar
en términos de la función exponencial, es decir,
eix − e−ix eix + e−ix
sen x = , cos x = , para todo x real
2i 2
Esto sugiere las siguientes definiciones para los valores complejos z = x + iy:
eiz − e−iz eiz + e−iz
sen z = , cos z = . (8)
2i 2
Dado que la función ez es analı́tica para todo z, de (8) se sigue que las
funciones sen z y cos z también lo son. De las definiciones en (9) y (10) se
tiene que las funciones tan z y sec z son analı́ticas excepto en los puntos en
los que cos z es cero, y las funciones cot z y csc z son analı́ticas excepto donde
sen z es cero.
Las funciones cos z y sec z son pares, mientras que las demás son impares,
esto es:
sen(−z) = − sen z, tan(−z) = − tan z, sec(−z) = sec z,
(11)
cos(−z) = cos z, cot(−z) = − cot z, csc(−z) = − csc z.
9
Como la función exponencial compleja ez es periódica entonces también lo
son las funciones trigonométricas:
con n = 0, 1, 2, . . . Además,
A partir de las definiciones (8), (9) y (10) es sencillo demostrar que las
siguientes fórmulas, conocidas para funciones trigonométricas reales, siguen
siendo válidas en el caso complejo:
A partir de (8) se sigue que la fórmula de Euler sigue siendo válida para
valores complejos:
eiz = cos z + i sen z. (17)
10
y de (8) junto con la definición de seno y coseno hiperbólicos se sigue que
ei(iy) − e−i(iy) e−y − ey
sen(iy) = = = i senh y
2i 2i
ei(iy) + e−i(iy) e−y + ey
cos(iy) = = = cosh y,
2 2
por lo tanto,
sen z = sen x cosh y + i cos x senh y
(18)
cos z = cos x cosh y − i sen x senh y,
las cuales son muy útiles para el cálculo numérico de sen z y de cos z al
igual que para la solución de ecuaciones que involucren a dichas funciones.
Además, es sencillo verificar a partir de éstas fórmulas que
|sen z|2 = sen2 x + senh2 y
(19)
|cos z|2 = cos2 x + senh2 y.
Dado que la función senh y tiende a infinito cuando y tiende a infinito, las
ecuaciones (19) dejan ver que sen z y cos z no son acotadas en el plano
complejo! Esta es una diferencia notable con el caso real, pues como es bien
conocido, | sen x|, | cos x| ≤ 1 para todo x real.
5. Funciones hiperbólicas
11
entonces,
Ası́, las funciones tanh z y sech z son analı́ticas excepto en aquellos puntos en
los cuales cosh z sea cero, y las funciones coth z y csch z son analı́ticas salvo
cuando senh z = 0. Además, se tienen las fórmulas de derivación (análogas
a las conocidas para las funciones hiperbólicas reales),
d d d
senh z = cosh z, tanh z = sech 2 z, sech z = −sech z tanh z,
dz dz dz
d d d
cosh z = senh z, coth z = −csch 2 z, csch z = −csch z coth z.
dz dz dz
(29)
12
5.1. Inversas de las funciones trigonométricas e hiperbólicas
Por lo tanto, h p i
sen−1 z = −i log iz + 1 − z 2 (30)
es una función multivaluada, por la presencia del logaritmo complejo.
Bibliografı́a
[1] R.V. Churchill, Variable compleja con aplicaciones, McGraw-Hill, New
York. 1990.
[2] Peter V. O’Neil, Matemáticas avanzadas para ingenierı́a, International
Thomson Editores, S.A. Quinta Edición. 2004.
13
[3] W. Allen Smith, Elementary Complex Variables, Charles E. Merrill
Publishing Company, 1974.
14