I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.

2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

LAS FUNCIONES TRASCENDENTES BÁSICAS

FUNCIÓN EXPONENCIAL COMPLEJA

La función exponencial para z = x + iy se denota por exp(z) ó ez y se define

considerando las funciones reales ex , cos(y) , sen(y) mediante la fórmula

ez = e x ( cosy + i seny) = e x cosy + i e x seny

Propiedades
d z z
1. ez es analítica en todo el plano complejo y e e .
dz
2. ez e w = e z + w

3. ez ≠ 0 para todo z.
4. e – z = 1/ ez para todo z.
5. ez / ew = e z –w .

6. Si x es real ‫׀‬eix‫ = ׀‬1.

7. ez = 1 si y sólo si z = 2nπ i para algún número entero n.

8. ez = e w si y solo si z = w + 2nπi, para algún número entero n.
Concluiremos esta sección con la observación de que la forma polar de
z = re i θ es muy conveniente en la parametrización de circunferencias en el
plano complejo
Recordemos que una circunferencia de radio R con centro en z0 es el lugar
geométrico de puntos z que satisfacen

z  z0  R

Para que z satisfaga esta ecuación, z – z0 debe tener magnitud r y debe ser
de la forma rei θ. Por tanto, cualquier punto en este en la circunferencia
también puede escribirse como

θ
z= z0 + Rei

51 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

FUNCIONES TRIGONOMÉTRICAS COMPLEJAS

La identidad de Euler indica que, cuando θ es un número real, tenemos

e i  cos   i sen (1)

e  i  cos   i sen (2)

Sumando las ecuaciones (1) y (2) obtenemos la expresión real

e i  e  i
cos   (3)
2
Si en lugar de sumar estas ecuaciones hubiéramos restado la ecuación (2)
de la ecuación (1), habríamos obtenido

e i  e  i (4)
sen 
2i

La ecuaciones (3) y (4) sirven para definir el seno y el coseno de un

número real en términos de exponenciales complejas.
Es entonces natural definir sen(z) y cos(z), donde z es compleja, de la
siguiente manera:

e i z  e i z (5)
sen z 
2i

e i z  e i z
cos z  (6)
2
Estas definiciones tienen sentido por diversas razones:

a. Cuando z es un número real, las definiciones dadas por las

ecuaciones (5) y (6) se reducen a las definiciones convencionales
(3) y (4) para las funciones seno y el coseno de un argumento
real.

b. ei z y e- i z son analíticas en todo el plano Z. Por lo tanto, sen(z), y

cos(z), definidas como sumas y diferencias de estas funciones,
también lo son.

52 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

c.
d
sen z 
i e  iz
e
i z
 cos z
dz 2i

d
cos z   sen z
dz

Por medio de las ecuaciones (5) y (6), podemos determinar el valor

numérico del seno y el coseno de un número complejo cualquiera.

Consideremos ahora la expresión de la ecuación (5):

e i ( x  i y )  e  i ( x  i y ) e  y e ix  e y e  ix
sen z  
2i 2i
e  y (cos x  i senx) e y (cos x  i senx)
sen z  
2i 2i

sen z  sen x
e y
 e y 
 i cos x

e y e  y 
2 2

sen z  sen x cosh y  i cos x senh y

Pasemos encontrar un expresión similar para la función cos(z):

cos z  cos x cosh y  i sen x senh y

La demás funciones trigonométricas de argumentos complejos se definen

fácilmente por analogía con las funciones de argumento real, esto es,

sen z 1 cos z
tan z   , cot anz 
cos z cot an z sen z

1 1
sec z  , cos ec z 
cos z sen z

53 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

Las derivadas de estas funciones son:

d
tan z  sec 2 z
dz
d
sec z  tan z sec z
dz
d
cos ec z   cot z cos ec z
dz

IDENTIDADES TRIGONOMÉTRICAS

Las funciones trigonométricas complejas satisfacen las identidades con las

que estamos familiarizados para las funciones trigonométricas reales

1. sen2z + cos2z = 1

2. sec2z - tan2z = 1

3. sen(z ± w) = sen z cos z ± cos z sen w

4. cos(z ± w) = cos z cos w  sen z sen w

5. sen 2z = 2sen zcos z

6. cos2z = cos2z - sen2 z

…….
etc.

TEOREMAS

1. Las funciones sen z y cos z son periódicas periodo 2nπ. Esto es,

sen (z + 2nπ) = sen z y cos (z + 2nπ) = cos z

para cualquier z y cualquier número entero n.

2. sen z = 0 si y solo si z = nπ ; para algún número entero n.

3. cos z = 0 si y solo si z = (2n +1) π / 2 ; para algún número entero n.

54 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

Nota.- el seno y coseno de un número complejo no son sólo, en general,

complejos, sino que además su módulo puede ser mayor que 1

EJEMPLO 1

e i  e  i
sen 
2i
1 t
Sea z = t i , sen ( t i )  (e  e t ) , entones
2i

1 t
sen( t i )  e e t 
2

55 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

FUNCIONES HIPERBÓLICAS COMPLEJAS

Definiremos las siguientes funciones como

e z e z
senh z 
2
e e z
z
cosh z 
2
Si z es real, estas definiciones se reducen a funciones hiperbólicas de
argumento real. Vemos que senh z y cosh z se componen de sumas y
diferencias de las funciones e z y e – z, que son analíticas en todo el plano Z.
Por lo tanto, senh z y cosh z son analíticas para todo z. Es fácil
comprobar que

d
senh z  cosh z
dz

d
cosh z  senh z
dz

Para z = x + i y, obtenemos senh z y cosh z en términos de funciones reales

de variables reales. Se trata de las siguientes expresiones

senh z = senh x cos y + i cosh x sen y

cosh z = cosh x cos y + i senh x seny

Las otras funciones hiperbólicas se obtienen directamente del seno y

coseno hiperbólicos:

senh z 1
tanh z  , sec h z 
cosh z cosh z

1 1
cos ch z  , coth z 
senh z tanh z

56 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

IDENTIDADES HIPERBÓLICAS

Todas las identidades relativas a las funciones hiperbólicas de variable real

son también válidas para estas funciones, por ejemplo, podemos demostrar
que

1. cosh2 z – senh2 z = 1

2. cosh (z ± w) = cosh z cosh w ± senh z senh w

3. senh (z ± w) = senh z cosh w ± cosh z senh w

etc.

TEOREMAS

1. Las funciones senh z y cosh z son periódicas de periodo 2πi. Esto es,

senh(z +2πi) = senh z y cosh (z+2π i) = cosh z

para cualquier z.

2. senh z = 0 si y solo si z = in π, donde n= 0, ± 1, ± 2,…..

3. cosh z = 0 si y solo si z = ± (2n +1) πi / 2, donde n = 0, 1, 2,….

Extendiendo las funciones trigonométricas e hiperbólicas al plano

complejo, obtenemos relaciones que no son posibles para las funciones de
valores reales. Por ejemplo,

cos (i z) = cosh z

sen (i z) = i senh z

senh (i z) = i senz

cosh (i z) = cos z

57 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

LA FUNCIÓN LOGARITMO COMPLEJA (Logaritmo Natural)

Definimos para z ≠ 0,

w = log(z) si y sólo si z = e w

Ahora quisiéramos tener una manera explícita de calcular log (z), dado
z ≠ 0.

Escribimos z = r e i θ y sea w = u + i v. Consideremos la ecuación

z = e w,obtendremos la parte real e imaginaria de w.

Tenemos
z = r e i θ = e w = e u e iv (I)

Tomando la magnitud en ambos lados de la ecuación (I) tenemos

r ei   e u ei v

i
pero e  e iv
 1 ya que θ y v son reales. Por lo tanto, r = e u
Como tanto r como e u son números reales, concluimos que

u = ln(r) = ln(‫ ׀‬z‫) ׀‬

De donde ln(r) es la función logaritmo natural real evaluada en r.

Ahora debemos resolver v para obtener w. Como sabemos que r = eu la
ecuación (I) nos lleva a

e i   e iv ,  e i (v   )  1
Por la propiedad (7) de la sección anterior, (v - θ) debe ser múltiplo entero
de 2π. Por lo tanto, para algún entero n, se tiene que v = θ + 2nπ.
Ahora tenemos, para z ≠ 0 ,

w = u + i v = log (z) = ln‫׀‬z‫ ׀‬+ i (θ +2nπ )

Como θ es cualquier argumento de z, el símbolo arg(z) contiene a todos

los número de la forma θ +2nπ y podemos escribir

log(z) = ln‫׀‬z‫ ׀‬+ i arg (z)

58 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

Observemos que hay un número infinito de logaritmos naturales diferentes

de cualquier número complejo z distinto de cero. Dado estos logaritmos
difieren en múltiplos enteros de 2π.
Para tener una función logaritmo compleja, definimos el logaritmo
principal de z ≠ 0 por:

Log(z) = ln (‫׀‬z‫ ) ׀‬+ iArg (z) ; -π<Arg(z) ≤ π

utilizando el valor principal del argumento Arg.

Propiedades

Sean z y w números complejos distintos de cero. Entonces

1. e
log( z )
 z , y log(e z) = z + 2nπi, con n cualquier número entero.

2. log (z w) = log(z) + log(w)

3. log(z / w ) = log(z) - log(w).

4. Para cualquier número racional r, log (z r) = r log (z).

5. Sea D el dominio que consiste en todos los números complejos z= x + iy

con Im (z) ≠ 0 si Re ( z)  0 .Entonces D es un dominio y Log(z) es
analítica en D. Más aún, para z en D,

d 1
Log ( z )  ;    Arg ( z )  
dz z

59 Rosa Ñique Alvarez

I7UNIVERSIDAD NACIONAL DE INGENIERIA P.A.2017 II
FACULTAD DE INGENIERIA MECANICA VARIABLE COMPLEJA

EXPONENCIALES COMPLEJAS

Definimos z w por la ecuación

z w  e w log ( z ) z0

Como log(z) tiene un número infinito de valores, también z wlos tendrá.

TEOREMA 1

Seaz cualquier número complejo distinto de cero y sean αy β números

cualesquiera. Entonces

1. z  z   z  

z  
2.  z
z
3.  z    z  
Podemos definir una función llamada el valor principal de z w como

 
Pr z w  e w Log ( z )

en donde utilizamos la función logaritmo principal en lugar del logaritmo

en la definición de potencias.

TEOREMA 2

Sea D que consta de todos los puntos en el plano complejo excepto el

origen y todos los puntos del eje real negativo. Entonces D es un dominio.
 
Además, si ά es cualquier número complejo f ( z )  Pr z  es analítica
en D, y

d f
dz

  Pr z   1 

60 Rosa Ñique Alvarez