Cap3 Funciones Elementales

141
CAPITULO 3: FUNCIONES ELEMENTALES
3. FUNCIONES
ELEMENTALES
1. Función exponencial compleja
Se llama función exponencial compleja a la función analítica e z definida por
e z  e x cos y  ie x sin y
Para hallar el modulo y el argumento de esta función la expresamos en su forma

polar
e z  e x cos y  i sin y   r cos   i sin  
De donde se obtiene
ez  ex  e
Rez 
,  
arg e z  y  2k   Im z   2k  ; k  0, 1, 2,...
Para la analiticidad tomamos la función
w  ez  u  iv  e x cos y  ie x sin y
Donde la parte real y la parte imaginaria son
u  e x cos y , v  e x sin y
Obteniendo las primeras derivadas parciales que son continúas en todo el plano Z
u v
 e x cos y ,  e x sin y
x x
u v
 e sin y ,
x
 e x cos y
y y
2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

142
Se observa que cumplen con las ecuaciones de Cauchy-Riemann en todo punto del
plano Z
u v u v
  e x cos y ,   e x sin y
x y y x
Por lo tanto e z es analítica z   y por lo tanto es una función entera.
Propiedades de la función exponencial
Sean z 1 y z 2   , además p y q   con q  0 , k  0,1, 2,  , q  1
z z2
vi) e 1  e 2  e 1
z z
i) e 0  1
z1
e z1 z2
ii) e  e  e
z x iy
vii) z2
e
e
1
 
p
iii) e z  viii) e
z
 e pz
ez
1 z 2 ki
iv) e  e
z z
ix) e   z q
e q
p pz 2 ki 
v)
d z
dz
e  ez  
x) e z q
e q
Periodicidad
Decimos que una función compleja f z  es periódica con periodo T si
f z  T   f z  , ya que la función exponencial está definida por la función seno y
coseno que son periódicas, se cumple
La función exponencial compleja e z es periódica con un periodo imaginario puro

2i .
MAT 218 – TEXTO OFICIAL

143
2. Funciones trigonométricas complejas
De acuerdo a la identidad de Euler, cuando  es un número real, tenemos
e i  cos   i sin  (1)
Si cambiamos el signo al ángulo  en (1) y aplicando paridad de las funciones

seno y coseno, obtenemos
e i  cos   i sin  (2)
Sumando (1) con (2), luego despejando la función coseno se obtiene
e i  e i
cos   (3)
2
Restando (1) con (2), luego despejando la función seno se obtiene
e i   e i 
sin   (4)
2i
Las expresiones (3) y (4) definen a las funciones seno y coseno de un número real
en términos de exponenciales complejas, usando estas expresiones definimos cos z
y sin z donde z es complejo de la siguiente manera
e iz  e iz
cos z  (5)
2
e iz  e iz
sin z  (6)
2i
Tanto cos z y sin z son combinación lineal de la función exponencial compleja

e z , por lo tanto, son funciones enteras, por lo que
d d
sin z  cos z ; cos z   sin z
dz dz
En general, para determinar el seno de un numero complejo expresado en forma

cartesiana z  x  iy

144
i x iy  ix iy 

e iz  e iz e e e ix y  e ix y e ye ix  e ye ix
sin z    
2i 2i 2i 2i
Usando la identidad de Euler para desarrollar las exponenciales compelas, separando

la parte real y la parte imaginaria
e y cos x  i sin x   e y cos x  i sin x  e y  e y e y  e y

sin z   sin x  i cos x
2i 2 2
Recordando las definiciones de seno hiperbólico y coseno hiperbólico, se obtiene
sin z   sin x  iy   sin x cosh y  i cos x sinh y
Para determinar el coseno de un numero complejo expresado en forma cartesiana

z  x  iy
i x iy  i x iy 
e iz  e iz e e e ix y  e ix y e ye ix  e ye ix
cos z    
2 2 2 2
Usando la identidad de Euler para desarrollar las exponenciales compelas, separando

e y cos x  i sin x   e y cos x  i sin x  e y  e y e y  e y

cos z   cos x  i sin x
2 2 2
cos z   cos x  iy   cos x cosh y  i sin x sinh y
Las demás funciones trigonométricas de argumentos complejos se definen de la

siguiente forma
sin z 1 e iz  e iz 1 2
tan z   iz sec z   iz
cos z i e  e iz cos z e  e iz
cos z e iz  e iz 1 2i
cot z   i iz csc z   iz
sin z e  e iz sin z e  e iz

145
Las derivadas de estas funciones son
d d
tan z  sec2 z sec z  sec z tan z
dz dz
d d
cot z   csc2 z csc z   csc z cot z
dz dz
También se debe indicar que el seno y el coseno de un número real son números
reales cuyo valor absoluto es inferior o igual que 1, pero en el caso de números
complejos es distinto.
El seno y el coseno de un número complejo no son solo en general complejos, sino

que además su módulo puede ser mayor o igual que 1.
Identidades trigonométricas complejas

Para obtener la expresión pitagórica de la suma de cuadrados usamos las expresiones
(5) y (6)
e iz  e iz  e iz  e iz 
2 2
e 2iz  2  e 2iz e 2iz  2  e 2iz
sin z  cos z  
2 2
  

  
 2i  2  4i 2 4
e 2iz  2  e 2iz e 2iz  2  e 2iz

sin z  cos z 
2 2

4 4
sin2 z  cos2 z  1
Para obtener el seno de la suma de dos números complejos, sean z 1 y z 2  
i z1 z 2  i z1 z 2  iz1 iz 2

e e
iz iz 2
e e 1e e
sin z 1  z 2   
2i 2i
Desarrollando mediante la identidad de Euler los exponenciales con z 2
e
iz1
cos z  i sin z 2   e
iz 1
cos z  i sin z 2 
sin z 1  z 2  
2 2
2i

146
sin z1  z 2   cos z 2

e iz1
e
iz1
  i sin z e iz1
e
iz1
  cos z sin z 1  sin z 2 cos z 1
2i 2
2i 2
Ordenando
sin z1  z 2   sin z 1 cos z 2  cos z 1 sin z 2
Para obtener el coseno de la suma de dos números complejos, sean z 1 y z 2  
i z1 z 2  i z1 z 2  iz1 iz 2

e e
iz iz 2
e e 1e e
cos z 1  z 2   
2 2
Desarrollando mediante la identidad de Euler los exponenciales con z 2
e
iz1
cos z  i sin z 2   e
iz 1
cos z  i sin z 2 
cos z 1  z 2  
2 2
cos z 1  z 2   cos z 2
e iz1
e
iz1
  i sin z e iz1
e
iz1
  cos z cos z1  sin z 2 sin z 1
2 2
2 2
Ordenando
cos z 1  z 2   cos z1 cos z 2  sin z1 sin z 2
Para la paridad de la función seno compleja, escribimos
i z  i z 
e e e iz  e iz e iz  e iz
sin z    
2i 2i 2i
sin z    sin z
Para la paridad de la función coseno compleja, escribimos
i z  iz 
e e e iz  e iz e iz  e iz
cos z    
2 2 2
cos z   cos z

147
Las demás identidades conocidas son consecuencia de las demostradas en este punto
por lo que también serán válidas previa demostración.
Periodicidad
f z  T   f z  , ya que las funciones seno y coseno se expresan en términos de la
función exponencial compleja que tiene periodo imaginario puro 2i , se obtiene que
Las funciones seno y coseno complejas son periódicas con un periodo real puro
2 .
Análogamente
Las funciones tangente y cotangente complejas son periódicas con un periodo real
puro  .
3. Funciones hiperbólicas
Las funciones seno hiperbólico y coseno hiperbólico complejos se definen de la

siguiente manera
e z  e z
sinh z  (7)
2
e z  e z
cosh z  (8)
2
Tanto sinh z y cosh z son combinación lineal de la función exponencial compleja

e z , por lo tanto, son funciones enteras, cuyas derivadas son
d d
sinh z  cosh z ; cosh z  sinh z
dz dz
En general, para determinar el seno hiperbólico de un número complejo expresado en

forma cartesiana, tomamos z  x  iy

148
x iy  x iy 

e z  e z e e e xe iy  e xe iy
sinh z   
2 2 2
Usando la identidad de Euler para desarrollar las exponenciales compelas, además

separando la parte real y la parte imaginaria
e x cos y  i sin y   e x cos y  i sin y 

sinh z 
2
sinh z 
e x
 e x  cos y  i e x
 e x  sin y
2 2
sinh z   sinh x  iy   sinh x cos y  i cosh x sin y
Para determinar el coseno hiperbólico de un número complejo expresado en forma

cartesiana, tomamos z  x  iy
x iy  x iy 

e z  e z e e e xe iy  e xe iy
cosh z   
2 2 2
Usando la identidad de Euler para desarrollar las exponenciales compelas, además

separando la parte real y la parte imaginaria
e x cos y  i sin y   e x cos y  i sin y 

cosh z 
2
cosh z 
e x
 e x  cos y  i e x
 e x  sin y
2 2
cosh z   cosh x  iy   cosh x cos y  i sinh x sin y
Las demás funciones hiperbólicas de argumentos complejos se definen de la siguiente

forma

149
sinh z e z  e z 1 2
tanh z   sech z   z
cosh z e z  e z cosh z e  e z
cosh z e z  e z 1 2
coth z   z csch z   z
sinh z e  e z sinh z e  e z
Las derivadas de estas funciones son
d d
tanh z  sech2 z sech z   sech z tanh z
dz dz
d d
coth z   csch2 z csch z   csch z coth z
dz dz
Relaciones trigonométricas-hiperbólicas
Las funciones trigonométricas e hiperbólicas complejas realizando un cambio de z con
iz en sus definiciones exponenciales están relacionadas de la siguiente manera
sinh iz   i sin z cosh iz   cos z
sin iz   i sinh z cos iz   cosh z
tan iz   i tanh z tanh iz   i tan z
Identidades hiperbólicas complejas

Para obtener la expresión pitagórica de la diferencia de cuadrados usamos las
expresiones (2) y (1) restando los cuadrados de las mismas
e z  e z  e z  e z 
2 2
  e 2 z  2  e 2 z e 2 z  2  e  2 z
cosh z  sinh z  
2 2

   
  
 2   2  4 4
e 2 z  2  e 2 z e 2z  2  e 2z
cosh 2 z  sinh 2 z  
4 4

150
cosh2 z  sinh2 z  1
Para obtener el seno hiperbólico de la suma de dos números complejos aplicamos las
relaciones con las funciones trigonométricas sin iz   i sinh z , sean z1 y z 2  
i sinh z 1  z 2   sin i z 1  z 2   sin iz 1  iz 2 

 
Aplicando la identidad trigonométricas seno de la suma de dos números complejos
i sinh z 1  z 2   sin iz 1  cos iz 2   cos iz 1  sin iz 2 
Usando las relaciones sin iz   i sinh z , cos iz   cosh z
i sinh z 1  z 2   i sinh z 1  cosh z 2   cosh z 1  i sinh z 2 
Simplificando i y generalizando para la resta de dos números complejos, obtenemos
sinh z 1  z 2   sinh z1  cosh z 2   cosh z1  sinh z 2 
Para obtener el coseno hiperbólico de la suma de dos números complejos aplicamos

las relaciones con las funciones trigonométricas cos iz   cosh z , sean z1 y z 2  
cosh z 1  z 2   cos i z 1  z 2   cos iz 1  iz 2 

 
Aplicando la identidad trigonométricas coseno de la suma de dos números complejos
cosh z 1  z 2   cos iz 1  cos iz 2   sin iz 1  sin iz 2 
Usando las relaciones sin iz   i sinh z , cos iz   cosh z
cosh z 1  z 2   cosh z 1  cosh z 2   i sinh z 1 i sinh z 2 
Simplificando i2 y generalizando para la resta de dos números complejos, obtenemos
cosh z 1  z 2   cosh z1  cosh z 2   sinh z1  sinh z 2 
Para la paridad de la función seno hiperbólico complejo, escribimos

151
z  z 
e e e z  e z e z  e z
sinh z    
2 2 2
sinh z    sinh z
Para la paridad de la función coseno hiperbólico complejo, escribimos
z  z 
e e e z  e z e z  e z
cosh z    
2 2 2
cosh z   cosh z
Las demás identidades conocidas son consecuencia de las demostradas en este punto
por lo que también serán válidas previa demostración.
Periodicidad
f z  T   f z  , ya que las funciones seno y coseno hiperbólicos complejos se
expresan en términos de la función exponencial compleja que tiene periodo imaginario
puro 2i , se obtiene que
Las funciones seno y coseno hiperbólicas complejas son periódicas con un periodo
imaginario puro 2i .
Análogamente
Las funciones tangente y cotangente hiperbólicas complejas son periódicas con

un periodo imaginario puro i .

152
4. Función Logarítmica
Para encontrar la función logarítmica compleja, se resuelve la ecuación
ew  z (9)
Donde se debe encontrar la función w  u  iv , para encontrar esta debe

cumplirse que
w  log z  u  iv (10)
Donde log denota al logaritmo natural de z, tomemos z en su forma polar

z  re i y con w  u  iv en la ecuación (9)
ew  z  e u iv  re i
e u cos v  ie u sin v  r cos   ir sin 
Igualando parte real e imaginaria, obtenemos el sistema de ecuaciones para las

incógnitas u y v
e u cos v  r cos  (11)
e u sin v  r sin  (12)
Elevando al cuadrado (11) y (12), luego sumado obtenemos
eu  r  u  Logr
La notación Log indica el logaritmo natural de un número real positivo,

reemplazando este valor en (11) obtenemos
cos v  cos 
Para que se cumpla la igualdad

153
v    2k ; k  0,  1,  2, 
Reemplazando u y v en (10)
log z  Logr  i   2k  ; k  0,  1,  2, 
Cambiando por z  x  iy , obtenemos la definición del logaritmo de un numero

complejo
log z  log x  iy   Log z  i   2k  ; k  0,  1,  2,  (13)
Donde z  r  0 representa al módulo de z y  representa el argumento

principal de z       , lo cual indica el logaritmo de un número z es una
función multiforme (tiene varios valores).
El valor principal de log z es el valor que se obtienen de la formula (13) cuando

k  0 y se denota también por Log z  es una función univaluada (un solo valor).
Log z   Log x  iy   Log z  i ;      

Se observa que Log r  es el logaritmo natural de un número real positivo y es
también un valor principal, es por esa razón que se lo escribe de esa forma (Log).
Para la analiticidad tomamos el valor principal, con r  0 y     
Logz  Log r   i
Esta función no es continua en z  0 puesto que no está definida en ese punto;

tampoco es continua sobre la parte negativa del eje real ya que   Arg z  no tiene
límite en ningún punto de dicho eje. Esto puede verse en la figura donde al acercarnos
al eje real negativo en sentido contrario de las manecillas del reloj    y
acercándonos en sentido de las manecillas del reloj    , por lo tanto el límite no
existe y la función es discontinua.

154
Definiendo el dominio D mediante las desigualdades r  0 ( z  0 ) y     

donde la función es continua entonces Logz será analítica, hallando su derivada
expresamos:
Logz  Log r   i  u r,    iv r,  
Donde
u r ,    Log r  ; v r ,    
Hallando las derivadas parciales
u 1 v
 ; 0
r r r
u v
0 ; 1
 
Reemplazando en las ecuaciones de Cauchy-Riemann en coordenadas polares
u 1 v 1 1
  
r r  r r
v 1 u
  00
r r 
Las funciones u r ,   y v r ,   satisfacen las ecuaciones de Cauchy-Riemann, además

las derivadas parciales son continuas en el dominio D, por lo tanto, la derivada de
f z   Logz debe existir.

155
Usando la expresión para f ' z  en coordenadas polares
 u v  
i  1
 e i 1 1
f ' z   e i   
 r  i r   e  r  i 0  r  re i  z
Por lo tanto Logz es analítica en el dominio D: r  0 ( z  0 ) ,      y

su derivada es
d 1
Logz 
dz z
La función valor principal Logz y los valores de z  D es una rama (rama principal)
de log z
Propiedades
Para utilizar las propiedades de la función Logarítmica compleja se debe tener
cuidado al querer utilizar las propiedades de logaritmos usadas en variable real, ya
que en general no siempre se cumplen y además de diferenciar cuando se escribe log
o Log.
a) e log z  z
b) log e z  z  2ki   ; k  0,  1,  2, 
c) ¿ log z n  n log z ? , satisface solo para valores apropiados
n
n
d) ¿ log z m  log z ? , satisface solo para valores apropiados
m
e) log z 1z 2   log z1  log z 2
z 
f) log  1   log z 1  log z 2
 z 2 
g) Log z 1z 2   Logz1  Logz 2   2ki   ; k  0,  1,  2, 

156
z 
h) Log  1   Logz 1  Logz 2   2ki   ; k  0,  1,  2, 
 z 2 
 
3
66. Resolver las ecuaciones: a) e  1  1 , b) ee  1
z
z
Solución: a) De la ecuación
e 
3
z
1  1  ez  1  3 1
1  0  2m 
e z  1  13  cis   ; m  0,1,2
 3 
Para m  0
e z  1  cis 0  e z  1  cos 0  i sin 0
ez  1  1  i0  ez  2
Aplicando logaritmo
z  log 2
z  Log 2  i 0  2k1   Log 2  i 2k1 ; k1  0, 1, 2,
z  Log 2  i 2k1 ; k1  0, 1, 2,
Para m  1
 2   2   2 
e z  1  cis    e z  1  cos    i sin  
 3   3   3 
1 3 1 3
ez  1    i  ez  i
2 2 2 2
Aplicando logaritmo

157
1 3   
2
 
 1 
2

z  log   i   z  Log     3   i arctan 3  2k ;
 2   
 2 2   2 
2
k2  0, 1, 2, 
 
z  Log1  i   2k2  ; k2  0, 1, 2, 
 3 
 
z  i   2k2  ; k2  0, 1, 2, 
3 
Para m  2
 4   4   4 
e z  1  cis    e z  1  cos    i sin  
 3   3   3 
1 3 1 3
ez  1    i  ez  i
2 2 2 2
Aplicando logaritmo
1 3 

z  log   i 
 2 2 
 3 
2
   
 1 
2
  k3  0, 1, 2,
z  Log       i arctan  3  2k 3 ;
 2   2 
  
z  Log1  i   2k3  ; k 3  0, 1,  2, 
 3 
  
z  i   2k3  ; k 3  0, 1, 2, 
 3 
b) De la ecuación
ee  1  e z  log 1
z
Aplicando logaritmo

158
e z  log 1  e z  Log 1  i 0  2k  ; k  0, 1, 2,
e z  i 2k ; k  0, 1, 2,
Aplicando nuevamente logaritmo
z  log i 2k  ; k  0, 1, 2,
Ya que el logaritmo no está definido para k  0 , quitamos este valor de la solución
z  log i 2k  ; k  1, 2,
   k  1, 2, 
z  Log 02  2k   i sgn(k )  2k1  ;
2
 2  k1  0, 1, 2,
   k  1, 2, 
z  Log 2k   i sgn(k )  2k1  ;
 2  k1  0, 1, 2,
   k  1, 2, 
z  Log 2k  i sgn k   2k1  ;
 2  k1  0, 1, 2,
 
   k  1, 2, 
z  Log 2k  i sgn k   2k1  ;
 2  k1  0, 1, 2,
 
67. Determinar todos los valores del logaritmo del siguiente número complejo

Log 1  i 3 
Solución: Por definición para el valor principal
 3 
    
 i arctan    Log 2  i

2
Log 1  i 3  Log 12  3
 1  3
Que es el número complejo dado, obteniendo el logaritmo de este número
 
   
log Log 1  i 3   log  Log 2  i 
   3 


159
    
   
 
 
2
    3  
log Log 1  i 3   Log  Log 2   
2
 i arctan    2k 
     3    Log 2 
   
   
Con k  0,  1,  2,  , por lo tanto
   
 
  
2
     
log  Log 1  i 3   Log Log 2     i arctan 
2   
  2k 
   3    3Log 2
 
 
k  0, 1, 2,
5. Función potencial generalizada
Para z  0   y a   se define la función
z a  e a log z
Ya que la función log z es multiforme, la función z a también lo será y cuando

se use el valor principal del logaritmo se obtendrá el valor principal de z a .
En el mismo dominio D: r  0 ,      la función será univaluada y analítica,

su derivada será
d a d
z  eaLogz
dz dz
Usando la derivada de la función exponencial
d a a a
z  eaLogz   z a   az a1
dz z z
La función exponencial de base a  0   se escribe
a z  e z log a

160
Cuando se especifica un valor de loga , se tendrá que a z es una función entera,

su derivada será
d z
a  a z log a
dz
Para la función z a podemos diferenciar tres casos particulares
a) Si a  
a  Logr i  2 k  a Logr i   2 kai

z a  e a log z  e  
e e  eaLogz  1
z a  eaLogz
En este caso la función potencial tiene un solo valor
p
b) Si a   ; a  con p, q  
q
p p p p p
log z Log r i   2 k  Logr i   2 k i
 
z q  eq  eq  eq e q
p p 1
 1q
Logz
z eq q
Como existen q raíces distintas de la unidad, la función potencial es multiforme con

q valores.
c) Si a   ; a  a 1  ia 2
a 1 ia 2  log z
z a  e a log z  e
En este caso la función es multiforme de varios valores.
68. Resolver i  i 0
z z
Solución: Resolviendo
1 i 2z  1
iz  iz  0  iz  0  0
iz iz

161
Para que se cumpla la igualdad el numerador debe ser igual a cero
i2z  1  0  i 2z  1
Por propiedades de logaritmos
log 1
2z log i   log 1  z
2 log i 
Por definición de logaritmo
Log  1  i   2k1 
z ; k1, k2  0, 1, 2,
  

2  Log i  i   2k2 
 2 
 
Log 1  i   2k1  i   2k1  i  1  2k1 

z  
     i  1  4k 
2  Log 1  i   2k2  2i   2k2  2
 2   2 
 
1  2k1
z ; k1, k2  0, 1, 2,
1  4k2
6. Funciones trigonométricas inversas

Sea z  sin w , donde w es el número complejo incógnita cuyo seno es z , se desea
conocer el valor de w que se denominará arcsin z , para hallarlo usemos la definición
exponencial de la función senoidal para w
e iw  e iw
z  sin w  z
2i
Sea p  e iw obtenemos la ecuación de segundo grado
1
p
p
z  p 2  2izp  1  0
2i
Cambiando e iw  p

162
e iw

 iz  1  z 
2 2
Tomamos logaritmos en la última ecuación y dividimos entre i, para despejar el valor

de w  arcsin z
 1 
1

arcsin z  log iz  1  z 2
i
 
2
 
Este resultado muestra que se tienen dos conjuntos de soluciones debido a la raíz
cuadrada y al logaritmo, por lo tanto arcsin z es una función multiforme.
Sea z  cos w , donde w es el número complejo incógnita cuyo coseno es z , se desea

conocer el valor de w que se denominará arccos z , para hallarlo usemos la definición
exponencial de la función cosenoidal para w
e iw  e iw
z  cos w  z
2
Sea p  e iw obtenemos la ecuación de segundo grado
1
p 1
p
z
2
 p  2zp  1  0
2
 
p  z  z 1
2
2

e iw  z  z 2  1  2

de w  arccos z
 1 
1

arccos z  log z  z 2  1
i
 
2
 
Este resultado muestra que se tienen dos conjuntos de soluciones debido a la raíz
cuadrada y al logaritmo, por lo tanto arccos z es una función multiforme.

163
Sea z  tan w , donde w es el número complejo incógnita cuya tangente es z , se

desea conocer el valor de w que se denominará arctanz , para hallarlo usemos la
definición exponencial de la función tangente para w
1 e iw  e iw
z  tan w  z
i e iw  e iw
Sea p  e iw obtenemos la ecuación
1
p
1 p 1  iz
z  p2 
i 1 1  iz
p
p
1  iz
e 2iw 
1  iz
Tomamos logaritmos en la última ecuación y dividimos entre 2i, para despejar el

valor de w  arctan z
1 1  iz 
arctan z  log  
2i  1  iz 
Este resultado muestra que, debido al logaritmo, arctanz es una función multiforme.
1  
69. Demostrar que: Re arccos(z )  arccos   x  1  y 2  x  1  y 2 
2 2
 2  

Solución: Expresando la función arccos z  en forma cartesiana
arccos z   u  iv  z  cos u  iv 
Las incógnitas serán u y v

u  Re arccos z   , 
v  Im arccos z  

164
En este caso debemos hallar u, tomando z  x  iy y desarrollando el coseno de la

suma
z  cos u  iv   x  iy  cos u cosh v  i sin u sinh v
Para la igualdad usamos la propiedad
z1  z 2

Re z 1   Re z 2 
Im z 1   Im z 2 
Obtenemos las ecuaciones
x
cos u cosh v  x  cosh v  (14)
cos u
y
 sin u sinh v  y  sinh v   (15)
sin u
Restando los cuadrados de (14) y (15)
 x   y 
2 2
x2 y2
cosh v   sinh v      
2 2
  cosh2 v  sinh2 v  
 cos u   sin u  cos2 u sin2 u
Aplicando la propiedad
cosh2 m  sinh2 m  1
Obtenemos
x2 y2 x2 y2
1   1 
cos2 u sin2 u cos2 u 1  cos2 u
Realizamos el cambio de variable p  cos2 u
x2 y2
1   p 1  p   x 2 1  p   y 2 p
p 1 p
Obtenemos la ecuación de segundo grado para p

165

p2  1  x 2  y 2 p  x 2  0 
Cuya solución es
 
1  x   
2
2
 y 2   1  x 2  y 2  4x 2 
 
p
2
Volviendo a la variable original p  cos2 u
 
1  x   
2
2
 y 2   1  x 2  y 2  4x 2 
 
cos2 u 
2
Se usa el signo negativo ya que se cumplirá 0  cos2 u  1
 
1  x   
2
2
 y 2   1  x 2  y 2  4x 2 
 
cos2 u 
2
 
1  x   
2
2
 y 2   1  x 2  y 2  4x 2 
 
cos u  
2
Transformando el radical doble con la formula
A C A C
Si A2  B es un cuadrado perfecto A B   , donde
2 2
C  A2  B
 
1  1  x 2  y 2  2x 1  x 2  y 2  2x 
cos u     
2  2 2 
 
1  1  x 2  y 2  2x  1  x 2  y 2  2x 
cos u    
2  2 
cos u  
1
2
 1x 2
 y 2  2x  1  x 2  y 2  2x 
Para elegir el signo ya que se cumple

166
 
1  x   
2 2
2
 y 2   1  x 2  y 2  4x 2   0  4x 2  0
 
x 0  cos u cosh v  x  cos u  0
 
1 
u  arccos  1  x 2  y 2  2x  1  x 2  y 2  2x 
2 
 
1  
u  arccos   x  1  y 2  x  1  y 2 
2 2
 2  

1  
 
Re arccos z   arccos   x  1  y 2  x  1  y 2 
2 2
 2  

7. Funciones hiperbólicas inversas

Sea z  sinh w , donde w es el número complejo incógnita cuyo seno hiperbólico es
z , se desea conocer el valor de w que se denominará arcsinhz , para hallarlo usemos
la definición exponencial de la función seno hiperbólico para w
e w  ew
z  sinh w  z
2
Sea p  e w obtenemos la ecuación de segundo grado
1
p 1
p
z
2
 p 2  2zp  1  0  p  z  1  z2  
2
Cambiando e w  p
e  z  1z
w
 
2 2
Tomamos logaritmos en la última ecuación, para despejar el valor de w  arcsinhz
 1 

arcsinhz  log z  1  z 2  2 

 

167
Este resultado muestra que debido al logaritmo la función arcsinhz es una función
multiforme.
Sea z  cosh w , donde w es el número complejo incógnita cuyo coseno hiperbólico

es z , se desea conocer el valor de w que se denominará arccoshz , para hallarlo
usemos la definición exponencial de la función coseno hiperbólico para w
e w  ew
z  cosh w  z
2
Sea p  e w obtenemos la ecuación de segundo grado
1
p 1
p
z
2
 p  2zp  1  0
2
 
p  z  z 1
2
2
Cambiando e w  p

ew  z  z 2  1 2
Tomamos logaritmos en la última ecuación, para despejar el valor de w  arccoshz
 1 

arccoshz  log z  z 2  1  2 

 
Este resultado muestra que debido al logaritmo la función arccoshz es una función
multiforme.
Sea z  tanh w , donde w es el número complejo incógnita cuya tangente hiperbólica

es z , se desea conocer el valor de w que se denominará arctanhz , para hallarlo
usemos la definición exponencial de la función tangente hiperbólico para w
e w  e w
z  tanh w  z
e w  e w
Sea p  e w obtenemos la ecuación

168
1
p
p 1z
z  p2 
1 1z
p
p
Cambiando e w  p
1z
e 2w 
1z
Tomamos logaritmos en la última ecuación, para despejar el valor de w  arctanhz
1 1  z 
arctanhz  log  
2  1  z 
Este resultado muestra que, debido al logaritmo, arctanhz es una función

multiforme.
70. Hallar una expresión reducida para: arctanh e i 
Solución: De la definición
1 1  z 
arctanhz  log  
2  1  z 
Sea z  e i
1  ei 
1
2
 
arctanh ei  log  
 1  ei 
Factorizando de numerador y denominador del argumento del logaritmo el término


i
e 2
 i   
  i

 i  i     i   
 e  e
2 2
e 2 e 2 i 
2    i 
 
 e  1  e  e  1 
  1 
2 2
arctanh e i  log   
 
  log     log i 2  2  
 i  i  
2 2  e i 2  e i 2  2  i


e i 2  e 2 
i
 e 2    e 2  e 2 

 2 

169
 i   
 e 2  ei 2 
 
 
 
arctanh ei
1
 log i  2  
2  i 2 i 
 e  e 2 
 
 2i 
Por definición de funciones trigonométricas
  
 cos   
  2  1   
 
arctanh ei
1
 log i   log i cot   
  2 
2  sin     2 
 
   
  2
  
   
 
1
arctanh ei  log i cot  
2  2 

1  2x 
71. Si u x , y   arctan  
2 1  x 2  y 2 
a) Hallar su armónica conjugada v x , y 

b) Con u x, y  y v x , y  halladas, reconstruir f z  tal que f Logi  
2
Nota. Para todos los logaritmos tomar el valor principal
Solución: a) Para la función f z  , hallamos la derivada parcial respecto de y

1  2x 
u x , y   arctan  
2 1  x 2  y 2 
 
u 1 1  2x 2y   u 2xy
 2  2
  
  1  x 2  y 2 
 
y 2  y
 
2
2 x 1  x 2  y 2  4x 2
1     
1  x 2  y 2 
Por la segunda ecuación de Cauchy-Riemann

170
u v

y x
Obtenemos
v 2xy
 
x
 
2
1  x 2  y 2  4x 2
Integrando respecto de x
2xy
v   dx
1  x 
2
2
y 2
 4x 2
2xy
v   dx
1  x  y  2x  2y 2  2x 2y 2  4x 2
4 4 2
Sumando términos semejantes, además sumando y restando la cantidad 2y 2
2xy
v   dx
1  x 4  y 4  2x 2  2y 2  2x 2y 2  2y 2  2y 2
Reagrupando el cuadrado de un trinomio
2xy
v   dx
1  x 
2
2
y 2
 4y 2
Sea el cambio de variable
  1  x 2  y2  d  2xdx
Reemplazando en la integral
1
v  y  d
  2y 
2
2
Integrando
1    2y  1 1  x 2  y 2  2y 
v  y Log     y   v Log     y 
2 2y     2y  4  1  x  y  2y 
2 2

171
Para hallar la función  y  derivamos v respecto de y
v 1 2y  2 2y  2  d 
   
y 4 1  x 2  y 2  2y 1  x 2  y 2  2y  dy
Para simplificar usamos el cambio de variable   1  x 2  y 2
1 y  1  2y   y  1  2y  d 

 
v 1 y 1 y  1  d 
       
  dy
y 2    2y   2y  dy 2   2  4y 2 
v 1  y  2y 2    2y  y  2y 2    2y  d  1  2  4y 2  d 
      2  
y 2  2  4y 2  dy 2    4y 2  dy
Retornando del cambio de variable   1  x 2  y 2
v 1  x 2  y 2  2y 2 d 1  x 2  y2 d
    (16)
y
 
1  x 2  y 2  4y 2 dy 
1  x 2  y 2  4x 2 dy 
2 2
Por la primera ecuación de Cauchy-Riemann
u v

x y
Para la función f z  , hallamos la derivada parcial respecto de x

1  2x 
u x , y   arctan  
2 1  x 2  y 2 
 
u

1 1 
 
 2 1  x 2  y 2  2x 2x 
  1  x 2  y2

x 2       
2 2 2
 2x 1  x 2  y2  1  x 2  y 2  4x 2
1   
1  x 2  y 2 
Reemplazando la derivada hallada y (16) en la primera ecuación de Cauhy-Riemann
u v

x y

172
1  x2  y2 1  x 2  y2 d
 
1  x  1  x  dy
2 2
2
 y2  4x 2 2
 y2  4x 2
d
0   y   C
dy
Por lo tanto, la armónica conjugada de u es
1 1  x 2  y 2  2y 
v  Log   C
4  1  x 2  y 2  2y 
b) Para reconstruir f z 
f z   u z, 0  iv z , 0
Reconstruyendo
    
1 2x   i  1 Log 1  x  y  2y   C 
2 2
f z   arctan   1  x 2  y 2  2y 
2 1  x 2  y 2  4
 

 
    
1 2z   i  1 Log 1  z  0  2  0   C 
2 2
f z   arctan 
2 1  z 2  02  4
  1  z 2  02  2  0  

 2z  1  2     
f z  
1
arctan    i  Log 1  z   C   1 arctan  2z   i  1 Log 1  C 

1  z    
1  z    4 
2 2
 4
2
 2 1  z 
2
 
1  2z 
f z   arctan    iC
2 1  z 2 
Por identidad de la función arcotangente
 p  q 
arctan p   arctan q   arctan  
1  pq 
Si p  q  m
 m  m 
arctan m   arctan m   arctan  
1  m  m 

173
 2m 
2 arctan m   arctan  
1  m  
Aplicando a f z 
1
f z   2 arctan z   iC  arctan z   iC
2  

Para hallar el valor de C usamos la condición inicial f Logi  
2

f Logi   arctan Logi   iC   arctan Logi   iC (17)
2
Para el logaritmo
 
Logi  Log i  i  
 2 
 
Logi  Log1  i    Logi  i
 2  2
Reemplazando en (17)
  
 arctan i   iC
2  2 
1 1  iz 
Para la función arcotangente, usamos su definición: arctan z  Log  
2i  1  iz 
 
1  i i    
 1  
 2   1  1   
 Log    iC   Log  2   iC
2 2i      2 2i  
1   
 1  i i   2
  2  
Parta el Logaritmo, observamos que el argumento es un número real negativo
 
 1  1     1 1 
 Log 2  i    iC    Log 2  iC
2 2i  1 

 2 2 2i 1 
 2  2

174
  i 1  1 1 
  Log 2  iC  C  Log 2
2 2 2 1  2 1 
2 2
Por lo tanto
1 1 
f z   arctan z   i Log 2
2 1 
2
72. Para la función sin z :
a) Demostrar que sin z  sin2 x  sinh2 y
b) Halar el módulo para z    iLog 2  5  

Solución: a) Para z  x  iy
i x iy  ix iy 

e iz  e iz e e e ix y  e ix y e ye ix  e ye ix
sin z    
2i 2i 2i 2i
Usando la identidad de Euler para desarrollar las exponenciales complejas, separando

e y cos x  i sin x   e y cos x  i sin y  e y  e y e y  e y

sin z   sin x  i cos x
2i 2 2
sin z  sin x cosh y  i cos x sinh y
El modulo será
sin x cosh y   cos x sinh y   sin 2 x cosh2 y  cos2 x sinh 2 y

2 2
sin z 
Usando las identidades
cosh 2 y  1  sinh 2 y , cos 2 x  1  sin 2 x

175
Obtenemos

sin z  sin2 x 1  sinh2 y  1  sin2 x sinh2 y   
sin z  sin2 x  sinh2 y
 
b) Para z    iLog 2  5 , en la expresión hallada
sin z  sin 2   sinh 2 Log 2   

5  sinh Log 2  5  
1
sin z 
e

Log 2  5 
e

 Log 2  5 

2 5
2 5   
4 2 5
2 2 2 2  5 
sin z  2
5
73. Obtener todas las soluciones de la ecuación: tan z   i
3
Solución: De la ecuación
5 5 
tan z   i  z  arctan  i 
3  3 
Aplicando la definición de arco tangente de z
1 1  iu 
arctan u  log  
2i  1  iu 
Obtenemos
  
 1  i  5 i  
5  1   3    
z  arctan  i   
z  log    1 log  1 
 3    4 
2i  1  i  5 i   2i

  3  


176
Aplicando logaritmo
1    
z  Log   1   i   2k  ; k  0, 1, 2,
2i   4  
   
Operando
   
z
1
2i
 Log  1   i   2k   1
  4   2i     
 Log 22  i  1  2k  ; k  0, 1, 2,
 
2 Log 2 i  1  2k  1 

z   i  Log 2     k  ; k  0, 1, 2,
2i 2i 2 
1 
z     k   i  Log 2 ; k  0, 1, 2,
 2 
  1  i 
74. Calcular mostrando todo el procedimiento el módulo de tanh  

 4 
 
Solución: Modificando convenientemente la definición
e z  e z 1  e  2z
tanh z  
e z  e z 1  e 2 z
Sea el número
 1  i 
z
4
Reemplazando
1i  1i   
2   i
1e 4
1e 2
1 e e 2 2
tanh z  1i 
  1i 
  
2   i
1e 4
1e 2 1  e 2e 2
Por Euler

177
  
1e

2 cos   i sin   
 2 

2 1  ie 2
tanh z  
   
1e

2 cos   i sin   1  ie

2
 2 2 
Sacando modulo y por propiedades



 1  ie 2
1  ie 2
tanh z  
 
 
1  ie 2
1  ie 2
Numerador y denominador son conjugados y tienen el mismo modulo, por lo tanto
  1  i  
tanh  
 1
 4 
 
 i
2i
75. Hallar de manera abreviada w  i  
 
Solución:
 i
2i
w  i  
2i
 z 
   
Donde, calculamos primero el argumento

   
i  Log i i  2 k 
z  i   e
i i logi   2 
e 
, k  0, 1, 2, 

2 k
z  e2 , k  0,  1,  2, 
Reemplazando en w
   2 k    
  2 k 
2i  i 0  2 k1 
  2 k   2 i loge 2


 2 i  Log e 2
 
 e 2 
 2i
w  z   e 
e  
; k1  0,  1,  2, 
 
 

178
  
 2 k 
2i Loge 2 i2 k1   
2i  2 k i2 k1 
  i 4 ik 4 k1
w e  
e 2 
e
 cos   i sin cos 4k  i sin 4k e

4 k1 4 k1
w  eie 4 kie
Finalmente
4 k1
w  e , k1  0, 1, 2, 

3 i4
76. Resolver cosh z  e
2
Solución: Por definición de la función coseno hiperbólico inversa
 
 3 i    3 i  
2
3 i4

  3 i  
cosh z  e  z  arccosh  e 4   log  e 4   e 4   1 
2  2   2  2  
 
 3 1 1  3   3 i 3 3 

z  log    i  
  1  i   log   1  i 
 2  2 2  4
 
 2 2 4

Extrayendo la raíz cuadrada del argumento del logaritmo
 
  
2
   
2
3 1 
1   43   i sgn  43  1  1   43  
2 2
1  i    1  
4 2        
 
3 1  5 5  1  1 3
1  i    1   i 1       i 
4 2  4 4  2 2 2 
1  1 3
Reemplazando la raíz    i  en el logaritmo y obteniendo el mismo
2  2 2 
 3 i 3
z  log  
1  1 3  


  i   log  3  1  i
3 3 1  

 2 2

2 2 2  
 2 2 2 2 
  

179

  
2
 3  1  3 3 1
2
  

z  Log       i    2k 
 2 2     3 

 2 2 
 
Por lo tanto
 6  2   

z  Log    i    2k  , k  0, 1, 2, 
  3 
 2  
1  1 3
Reemplazando la raíz    i  en el logaritmo y obteniendo el mismo
2 2 2 
 3 i 3
z  log  
1  1 3  


  i   log  3  1  i
3 3 1  

 2 2 2  2 2  
 2 2 2 2 
  

  
2
 3  1  3 3 1
2
  

z  Log       i    2k 
 2 2     3 

 2 2 
 
Por lo tanto
 6  2   

z  Log    i    2k  , k  0, 1, 2, 
 
 2   3 
77. Mostrando todo el procedimiento, hallar cos arcsin z 
Solución:
w  arcsin z 
Entonces
eiw  eiw
z  sin w 
2i

180
Sea p  eiw obtenemos la ecuación de segundo grado
1
p
p
z
2i
p 2  2izp  1  0
1
p  iz  1  z 2   2
e iw
 iz  1  z  2 2

de w  arcsin z
 1 
1
arcsin z  log iz  1  z 2
i
  2
 
Obteniendo el coseno
1  1  

cos arcsin z   cos  log iz  1  z 2
 i
  2  
 
  
  
1    
1   1  1
1 

i  log iz  1z 2
 i   
2 1 
i  log iz  1z 2
 i    
2 

log iz  1z 2
  
2 

 log iz  1z 2
  
2
     
e 
e 
e  
e  
cos arcsin z   
2 2
 1  1  1
          

 
   2
log iz  1z 2 2  log iz  1z 2 2 2 log iz  1z 2 2
iz  1  z 2   1
 1 
  
e  
e  
e  

cos arcsin z    
 
 
 1
2 log iz 1z 2 2 
 
2 iz  1  z 2 
 
 
2e  
 2 
 
2
iz  1  z   1 z 2  2iz 1  z 2  1  z 2  1
 
cos arcsin z    
 2   
2 iz  1  z 
 
2 iz  1  z 2 



  

181
cos arcsin z  
 
2 1  z 2  2iz 1  z 2

2 1  z2  1  z 2  iz 

2 iz 

1  z 
2 
2 iz 

1  z 
2
Por lo tanto
cos arcsin z   1  z 2
78. Resuelva la ecuación e z  1

2
Solución:
Aplicando logaritmos
z 2  log 1  Log 1  i 0  2k  , k  0, 1, 2,
z 2  2ki
Extrayendo la raíz cuadrada
1 
 0  2k   i sgn 2k   0  2k  
z  
2
1  2k 
 2k   i sgn k  2k    
z   1  i sgn k 
 
2 2
Por lo tanto
z   k  1  i sgn k  , k  0, 1, 2,

 

Cap3 Funciones Elementales

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap3 Funciones Elementales

Cargado por

Copyright:

Formatos disponibles

141

CAPITULO 3: FUNCIONES ELEMENTALES

Se llama función exponencial compleja a la función analítica e z definida por

Para hallar el modulo y el argumento de esta función la expresamos en su forma

e z  e x cos y  i sin y   r cos   i sin  

Para la analiticidad tomamos la función

Donde la parte real y la parte imaginaria son

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

Por lo tanto e z es analítica z   y por lo tanto es una función entera.

Propiedades de la función exponencial

Sean z 1 y z 2   , además p y q   con q  0 , k  0,1, 2,  , q  1

La función exponencial compleja e z es periódica con un periodo imaginario puro

MAT 218 – TEXTO OFICIAL

2. Funciones trigonométricas complejas

De acuerdo a la identidad de Euler, cuando  es un número real, tenemos

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

Si cambiamos el signo al ángulo  en (1) y aplicando paridad de las funciones

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

Sumando (1) con (2), luego despejando la función coseno se obtiene

Restando (1) con (2), luego despejando la función seno se obtiene

Tanto cos z y sin z son combinación lineal de la función exponencial compleja

En general, para determinar el seno de un numero complejo expresado en forma

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

i x iy  ix iy 

Usando la identidad de Euler para desarrollar las exponenciales compelas, separando

e y cos x  i sin x   e y cos x  i sin x  e y  e y e y  e y

Recordando las definiciones de seno hiperbólico y coseno hiperbólico, se obtiene

sin z   sin x  iy   sin x cosh y  i cos x sinh y

Para determinar el coseno de un numero complejo expresado en forma cartesiana

Usando la identidad de Euler para desarrollar las exponenciales compelas, separando

e y cos x  i sin x   e y cos x  i sin x  e y  e y e y  e y

Recordando las definiciones de seno hiperbólico y coseno hiperbólico, se obtiene

cos z   cos x  iy   cos x cosh y  i sin x sinh y

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

MAT 218 – TEXTO OFICIAL

Las derivadas de estas funciones son

El seno y el coseno de un número complejo no son solo en general complejos, sino

Identidades trigonométricas complejas

e 2iz  2  e 2iz e 2iz  2  e 2iz

Para obtener el seno de la suma de dos números complejos, sean z 1 y z 2  

i z1 z 2  i z1 z 2  iz1 iz 2

Desarrollando mediante la identidad de Euler los exponenciales con z 2

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

sin z1  z 2   cos z 2

sin z1  z 2   sin z 1 cos z 2  cos z 1 sin z 2

Para obtener el coseno de la suma de dos números complejos, sean z 1 y z 2  

i z1 z 2  i z1 z 2  iz1 iz 2

Desarrollando mediante la identidad de Euler los exponenciales con z 2

cos z 1  z 2   cos z1 cos z 2  sin z1 sin z 2

Para la paridad de la función seno compleja, escribimos

sin z    sin z

Para la paridad de la función coseno compleja, escribimos

cos z   cos z

MAT 218 – TEXTO OFICIAL

Las funciones seno hiperbólico y coseno hiperbólico complejos se definen de la

Tanto sinh z y cosh z son combinación lineal de la función exponencial compleja

En general, para determinar el seno hiperbólico de un número complejo expresado en

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA

x iy  x iy 

Usando la identidad de Euler para desarrollar las exponenciales compelas, además

e x cos y  i sin y   e x cos y  i sin y 

Recordando las definiciones de seno hiperbólico y coseno hiperbólico, se obtiene

sinh z   sinh x  iy   sinh x cos y  i cosh x sin y