Funciones Elementales
Funciones Elementales
Funciones Elementales
Docentes: Lic.
Silvia Longoni Prof. Rosana Gasperi
FUNCIONES ELEMENTALES.
En el capítulo anterior se han definido una clase de funciones que son muy importantes en
Análisis Complejo, las funciones analíticas. Ahora, se definen y analizan una serie de funciones
complejas analíticas. En particular, se estudiarán las funciones exponenciales complejas,
logarítmicas, de potencia, trigonométricas, hiperbólicas, trigonométricas inversas e
hiperbólicas inversas. Estas funciones se utilizarán en las demás unidades.
d x
( e ) =e x para toda x.
dx
ACTIVIDAD 1.
x x
e cosy+i e seny=r ( cosθ+isenθ )
x x
e cos y +i e cosy=r cosθ +i sen θ
|e z|=r
Y arg ( e z )= y +2 nπ , n=0 , ±1 , ±2 , …
De la expresión del módulo se deduce que nunca puede tomar el valor w=0 , es decir, e z
nunca puede ser cero ya que para todos los valores reales e x >0 .
¿ e ( cos (− y )+isen (− y ) ) =e
x x−iy z
=e
z z
Por lo tanto; e =e
PROPIEDADES ALGEBRAICAS DE e z .
0
i) e =1
z z z +z
ii) e . e =e
1 2 1 2
z
e 1
z −z
iii) z
=e 1 2
e 2
n
iv) ( e z ) =e z n , n=0 , ±1 , ±2 , …
1 1
PERIODICIDAD
De esto se deduce que la función exponencial no es unívoca, y se supone que todos los valores
de e z son tomados de cualquier franja horizontal infinita de ancho 2 π en el plano z . Por
ejemplo, si se supone que todos los valores de la función e z se toman del conjunto
−∞ < x <∞ , y 0 < y < y 0 +2 π , donde y 0 es una constante real, entonces los valores de
z z+2 πi
f ( z )=e , f ( z+ 2 πi )=e =f ( z−2 πi )=f ( z−4 πi)=f ( z+ 4 πi )
El mapeo exponencial.
a +¿ a
w=e =e ( cost +isent ) ,−π < t ≤ π
Donde sabemos que esta región define una circunferencia de radio e a y centrada en el
origen. Debido a que a puede ser cualquier número real, el radio e a puede ser cualquier
número real positivo, distinto de cero. Es decir, la imagen de la región fundamental bajo el
mapeo exponencial consiste del conjunto de todas las circunferencias con centro en el
origen y con radio distinto de cero.
El mapeo w=e z mapea la región fundamental −∞ < x <∞ ,−π < y ≤ π sobre el
conjunto |w|<0 , que se suele llamar plano complejo perforado en z=0 .
w=e mapea el segmento de recta vertical x=a ,−π < y ≤ π sobre la circunferencia
z
|w|=e a centrada en el origen
t +ib t
w=e =e ( cosb +isenb ) ,−∞ <t ≤ ∞
Definiendo un nuevo parámetro s=et , y observar que 0< s< ∞ . Utilizando el parámetro s,
nos queda W ( s )=s ¿ , el cual es el conjunto formado por todos los puntos w ≠ 0 en el rayo
que sale del origen y que contiene al punto e ib. La imagen también se puede describir con
la ecuación arg ( z )=b .
ACTIVIDAD 2
Dado un número complejo z fijo distinto de cero, la ecuación e w =z tiene un número infinito
de soluciones. Para ver esto, supongamos que w=u+iv .
Dado a que hay un número infinitos de argumentos de z , esta última expresión da infinitas
soluciones w para la ecuación e w =z . El conjunto de valores dados por esta expresión, además,
define una función multivaluada w=G(z ), que se denomina logaritmo complejo de z y se
denota por log z , la siguiente definición resume este análisis.
Ejemplo 1
Encontrar todas las soluciones complejas para cada una de la siguiente ecuación:
1) e w =i
Para cada ecuación e w =z , el conjunto de soluciones está dado por w=log ( z), por lo tanto;
π
Para z=i , se tiene que |i|=1, arg ( i )= +2 nπ , Por tanto, se obtiene:
2
π
w=ln ( 1 ) +i( +2 nπ )
2
π ( 4 n+1 )
w= i , n=0 ,± 1 , ±2 , …
2
3 π 5π
w=… ,− πi, i, i, ,…
2 2 2
Satisface la ecuación e w =i .
ACTIVIDAD 3.
a) e w =1+i
b) e w =−2
c) e w =4
Identidades logarítmicas.
ii) log
( )
z1
z2
=log z1−log z2
Ejemplo 2.
π π
log ( i )=ln ( 1 ) + i= i
2 2
Nota: Es importante indicar que las identidades del logaritmo complejo del teorema no son
necesariamente satisfechas con el valor principal del logaritmo complejo, (aunque puede ser
cierto para algunos valores).
ACTIVIDAD 4
Ya que ln (z) es uno de los valores de la función logaritmo complejo, se deduce que:
log ( z )
e =z para todo z ≠ 0
Esto sugiere que la función logarítmica log (z) es una función inversa de la función
exponencial e z , y para ello, hay que limitarse a un dominio en el que sea unívoca con el fin de
tener una función inversa bien definida.
¿ x +iy
En resumen:
Analiticidad
El valor principal del logaritmo complejo log z es discontinua en z=0 ya que esta función no
está definida ahí. Esta función también es discontinua en el eje real negativo. (Probar).
Sin embargo la función log z es, continua sobre el conjunto de puntos que consiste del plano
complejo excluyendo el eje real no positivo. Para probar esto, hay que tener en cuenta que
una función compleja es continua en un punto z=x +iy si y solo si tanto u(x , y) como
v (x , y ) son funciones reales continuas en (x , y ). Probar.
f 1 ( z )=ln r+ iθ (2)
Ya que la función f 1 asigna un solo valor a cada valor a cada z del dominio (1) esta es una rama
de la función multivaluada F ( z )=log (z ). Esta rama se llama rama principal del logaritmo
complejo. El eje real negativo es un corte de la rama para f 1 y el punto z=0 es un punto rama.
La rama principal f 1 del logaritmo complejo que se define con (2) es una función analítica y su
derivada está dada por: gmmqfghm,tr
' 1
f 1=
z
Ejemplo 3
Solución
1.a) Como z es entera y log z es derivable en el dominio (1) se deduce que z log(z) es
derivable en el dominio definido por |z|>0 ,−π <arg ( z)< π , la derivada viene dada por la
regla del producto;
1
d ( z log z )=z . +1. log ( z )=1+ log z
z
1.b) La función log z y z +1son las funciones que componen a la función log (z+1), como z +1
es entera, se deduce de la regla de la cadena que log (z+1) es derivable en todos los puntos
w=z +1 tal que |w|>0 ,−π <arg ( w)< π .
O sea, z=w−1 define un mapeo lineal del plano w sobre el plano z dado por la traslación por
-1. Bajo este mapeo el eje real no positivo se mapea en el rayo que sale de z=−1 y que
contiene el punto z=−2 se muestra en la Figura 5;
Figura 5.
O sea que la función log (z+1) es derivable en todos los puntos que no están en este rayo.
Para estos puntos, se obtiene;
d 1
( log ( z +1 ) )=
dz z +1
La rama principal del logaritmo complejo f 1 que se definió anteriormente es sólo una de las
muchas posibles ramas de la función multivaluada F ( z )=log (z ). Podemos definir otras
ramas de F simplemente cambiando el intervalo de definición de θ para un intervalo distinto
de longitud 2 π . Por ejemplo,
π 3
f 2 ( z )=ln r+ iθ ,− < θ< π
2 2
Y se puede probar que para cualquier rama f k ( z ) =ln r +iθ ,θ 0<θ <θ0 +2 π
' 1
su derivada está dada por: f k ( z )=
z
ACTIVIDAD 5
2
b) f ( z )=e z
1
c) f ( z )=e z
POTENCIAS COMPLEJAS.
Recordemos de la sección anterior que z=e logz para todo número z distinto de cero. Por tanto,
cuando n es un entero se obtiene z n=e logzn =e n .logz. Esta fórmula, que se cumple para
exponentes enteros, sugiere la siguiente fórmula utilizada para definir la potencia compleja z α
para cualquier exponente complejo α .
α α logz
z =e
El último factor es igual a cos (2 nkπ )+ isen ( 2 nkπ ) =1+ 0 i, siendo n y k enteros.
Ejemplo 4
a) i 2 i
2i
i =e
2i .
[ 4 k +1
2
πi
]=e ( −4 k+1 ) π
PROPIEDADES.
1) z α . z α =z α +α
1 2 1 2
2) z α : z α =z α −α
1 2 1 2
Nota: dependerá del contexto a cuál de las funciones (univaluada o multivaluada) se refiere.
Analiticidad.
Es una rama de la función multivaluada F ( z )=z α =eα log z , esta rama particular es la rama
principal de la potencia compleja z α , su corte de rama es el eje real negativo, y z=0 , es un
punto rama. Esta rama coincide con el valor principal definido anteriormente en el dominio
|z|>0 ,−π <arg ( z )< π . En consecuencia, la derivada de f 1 se puede encontrar utilizando la
regla de la cadena:
d αLog ( z )
'
f 1= (e ) =e α .log ( z) . α
dz z
Es decir, en el dominio |z|>0 ,−π <arg ( z)< π , el valor principal de la potencia compleja z α es
derivable y
d α
( z )=α . z α−1
dz
Ejemplo 5
Como el punto z=1+i se encuentra en el dominio |z|>0 ,−π <arg ( z )< π , se tiene que:
i i−1
z =i z ,
Así,
d i
z |
dz z=1 +i
=i ( 1+i )i−1 ≈ 0,1370+ 0,2919 i
Comprobar
ACTIVIDAD 6
3
a) z 2 ; z=1+i
b) z 1+i ; z=1+ √ 3i
Funciones trigonométricas.
Mediante la adición de estas dos ecuaciones, se obtiene una ecuación que relaciona la función
coseno real con la función exponencial compleja;
ix ix
e +e
cos x= (2)
2
De manera similar, si restamos las dos ecuaciones se obtiene una expresión para la función
seno real;
ix −ix
e −e
sen x= (3)
2i
Las fórmulas para el coseno y seno real dadas en (2) y (3) se pueden utilizar para definir al
seno y coseno complejos sustituyendo x por la variable z .
De esto se deduce que el coseno y seno complejos concuerdan con el coseno y seno reales
para la variable real.
senz cos z 1 1
tg ( z ) = , cotg ( z )= , sec z = , cosec z =
cosz sen z cos z sen z
Estas funciones también concuerdan con sus contrapartes reales para la variable real.
ACTIVIDAD 7
a) cos i
b) sen(2+i)
c) tg( π−2 i)
IDENTIDADES TRIGONOMÉTRICAS.
Periodicidad.
Como
i ( z+2 π ) −i ( z +2 π ) iz −iz
e −e e −e
sen ( z+ 2 π )= = =sen z
2i 2i
Se afirma que el período del seno complejo es igual a 2 π y de la misma manera se puede
comprobar que el período del cosenos complejo también es igual a 2 π para todo complejo z.
Ecuaciones Trigonométricas.
Ejemplo 6.
2
( e iz ) −1
iz
=10i
e
2
( e iz ) −10 i eiz −1=0
Sustituyendo e iz =u, obtenemos una ecuación de segundo grado;
2
u −10 i u−1=0
al resolverla obtenemos el valor de u el cual se reemplaza por su valor para así hallar el valor
de z .
4 k +1
Verificar que z= π−i ln (5± 2 √ 6)
2
Módulo.
Si se sustituye el símbolo z por x +iy en la expresión del sen z entonces se puede obtener:
Un cálculo similar nos permite expresar la función coseno complejo en términos de sus partes
real e imaginaria como:
Luego para calcular el módulo del seno y coseno complejos, aplicamos la fórmula;
Del cálculo en una variable real se puede recordar que las funciones hiperbólicas reales no
están acotadas, entonces en las fórmulas del módulo del seno y coseno complejos se pueden
hacer arbitrariamente grandes. Así, el seno y el coseno complejos resultan no acotados. Esta
situación es diferente para el seno y cosenos reales, que verifican |sen x|<1 y |cos x|< 1.
Ceros.
Una forma de reconocer los ceros de las funciones seno y coseno complejos es igualando las
fórmulas del módulo a cero. Esto es; |sen z|=0
Como ambos dan números positivos, solo se verifica si sen x=0 y senh y=0 que ocurre
cuando x=nπ , n=0 , ±1 , ± 2, … , y=0. Es decir, no hay ceros adicionales para la función
seno en el plano complejo. En esencia, de la misma manera, se puede mostrar que los únicos
ceros de la función coseno complejo son los números reales
2 n+1
z= π , n=0 , ± 1, ± 2 ,± 3 , …
2
2 n+1
cos z= π
2
Para n=0 , ±1 , ±2 , …
Analiticidad.
Las derivadas del seno y del coseno complejo se encuentran utilizando la regla de la cadena.
Para la función seno complejo tenemos:
( )
iz −iz iz −iz
d d e −e i e +i e
sen z= = =cos z , es decir;
dz dz 2i 2i
d
sen z=cos z
dz
d
cos z=−sen z
dz
Las derivadas del sen z y cos z se pueden utilizar para demostrar que las derivadas de todas
las funciones trigonométricas complejas son iguales a las de las funciones trigonométricas
reales. Las derivadas de las seis funciones trigonométricas complejas se sintetizan en el
siguiente resumen.
d d
a) sen z=cos z d) cos z=−sen z
dz dz
d 2 d 2
b) tg z =sec z e) cotg z=−cose c z
dz dz
d d
c) sec z=sec z tg z f) cosec z=−cosec z cotg z
dz dz
ACTIVIDAD 8
Las funciones seno y coseno hiperbólicos reales se definen usando la función exponencial real
como se muestra a continuación:
x −x x −x
e −e e +e
senh ( x )= y cosh ( x )=
2 2
Las funciones seno y coseno hiperbólicos complejos se definen de manera similar utilizando la
función exponencial compleja:
Ya que la función exponencial compleja concuerda con la función exponencial real con variable
real, se deduce que las funciones hiperbólicas complejas concuerdan con las funciones
hiperbólicas reales. Sin embargo, a diferencia de las funciones hiperbólicas reales, las
funciones hiperbólicas complejas son periódicas y tienen una infinidad de ceros.
senh z cosh z 1 1
tgh z= cotgh z= sech z= cosech z=
cosh z senh z cosh z senh z
Existe una conexión entre las funciones trigonométricas reales y las hiperbólicas complejas. Si
en la definición de senh z sustituimos a z por iz :
( e iz −e−iz )
( )=i sen z
iz −iz
e −e
senh ( iz )= =i .
2 2i
Repitiendo este proceso para las demás funciones (verificarlo) se pueden obtener las
siguientes relaciones:
ACTIVIDAD 9
b) z tg ( 1z )
c) cos ( ie z )
b) cosh 1+( π6 i)
senh ( i )
π
c)
2
a) csh z =i
b) senh ( z )=cosh (z )
7) Encuentre las partes real e imaginaria de la función sen z y utilícelas para demostrar
que esta función no es analítica en ningún punto.