0% encontró este documento útil (0 votos)
47 vistas16 páginas

Funciones Elementales en Variable Compleja

Este documento define y analiza funciones elementales complejas. Primero define la función exponencial compleja ez y sus propiedades, incluyendo que es analítica y periódica con periodo 2πi. Luego define las funciones trigonométricas complejas como combinaciones de ez y e-z, demostrando que son funciones enteras. Finalmente, define otras funciones trigonométricas como tangente, cotangente, secante y cosecante en términos de las funciones básicas.

Cargado por

rx127712
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
47 vistas16 páginas

Funciones Elementales en Variable Compleja

Este documento define y analiza funciones elementales complejas. Primero define la función exponencial compleja ez y sus propiedades, incluyendo que es analítica y periódica con periodo 2πi. Luego define las funciones trigonométricas complejas como combinaciones de ez y e-z, demostrando que son funciones enteras. Finalmente, define otras funciones trigonométricas como tangente, cotangente, secante y cosecante en términos de las funciones básicas.

Cargado por

rx127712
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

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
CAPITULO 3: FUNCIONES ELEMENTALES

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
CAPITULO 3: FUNCIONES ELEMENTALES

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

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


144
CAPITULO 3: FUNCIONES ELEMENTALES

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


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


cos z   cos x  i sin x
2 2 2

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


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

MAT 218 – TEXTO OFICIAL


145
CAPITULO 3: FUNCIONES ELEMENTALES

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

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


146
CAPITULO 3: FUNCIONES ELEMENTALES

sin z1  z 2   cos z 2


e iz1
e
iz1
  i sin z e iz1
e
iz1
  cos z sin z1  sin z 2 cos z1
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 z1  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

MAT 218 – TEXTO OFICIAL


147
CAPITULO 3: FUNCIONES ELEMENTALES

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
Decimos que una función compleja f z  es periódica con periodo T si
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

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


148
CAPITULO 3: FUNCIONES ELEMENTALES

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

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

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

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

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

MAT 218 – TEXTO OFICIAL


149
CAPITULO 3: FUNCIONES ELEMENTALES

sinh z e z  e z 1 2
tanh z   z sech z   z
cosh z e  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

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


150
CAPITULO 3: FUNCIONES ELEMENTALES

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 z 1  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 z 1  sinh z 2 

Para la paridad de la función seno hiperbólico complejo, escribimos

MAT 218 – TEXTO OFICIAL


151
CAPITULO 3: FUNCIONES ELEMENTALES

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
Decimos que una función compleja f z  es periódica con periodo T si
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 .

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


152
CAPITULO 3: FUNCIONES ELEMENTALES

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

MAT 218 – TEXTO OFICIAL


153
CAPITULO 3: FUNCIONES ELEMENTALES

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.

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


154
CAPITULO 3: FUNCIONES ELEMENTALES

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.

MAT 218 – TEXTO OFICIAL


155
CAPITULO 3: FUNCIONES ELEMENTALES

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, 

2ki TEORIA Y 2000 PROBLEMAS EN VARIABLE COMPLEJA


156
CAPITULO 3: FUNCIONES ELEMENTALES

z 
h) Log  1   Logz 1  Logz 2   2ki   ; k  0,  1,  2, 
 z 2 

 
3
59. Resolver las ecuaciones: a) e z  1  1 , b) ee  1
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

MAT 218 – TEXTO OFICIAL

También podría gustarte