TEMA 3: FUNCIONES TRASCENDENTES ELEMENTALES

En el anlisis real, se definieron funciones algebraicas (sumas productos, cocientes,

potencias,...) y funciones trascendentes como las trigonomtricas, hiperblicas,
exponenciales e inversas de estas tres.
Ya se han citado en el ema !, funciones algebraicas.
"e trata ahora de extender las funciones trascendentes reales al plano comple#o, es decir,
definir funciones comple#as de variable comple#a, de forma $ue su restriccin al caso de
valores reales de la variable coincida con la funcin real del mismo nombre. "e pretende
adems $ue en el dominio en el $ue la funcin sea derivable, la expresin formal de la
derivada coincida con la de la correspondiente funcin real.
1. LA FUNCIN EXPONENCIAL
a) Introducc!n
"e trata de definir la funcin %exponencial comple#a&
) exp( ) ( z z f

z
C, de forma
$ue para todo
x
real coincida con la funcin exponencial real. ambin se desea $ue la
expresin de su derivada sea, como en el caso real'
) exp( ) ( ( z z f
. Y $ue se cumpla
la propiedad ms importante de la funcin exponencial real' la ley de exponentes.
)a funcin exponencial
) exp( ) ( z z f
se denota tambin
*
e . +ara $ue se mantenga
la ley de exponentes, habr de ser'
iy x iy x *
e . e e e ) * exp(
+
,ueda por tanto definir
iy
e . "i se define iseny y cos e
iy
+ , resulta'
+ + ) iseny y )(cos iseny y (cos e . e
- - ! !
iy iy
- !
+ + ) seny y cos y cos seny ( i ) seny seny y cos y (cos
- ! - ! - ! - !
) y y ( i
- ! - !
- !
e ) y y ( isen ) y y cos(
+
+ + +
"e cumplir.a entonces la ley de exponentes.
") D#$nc!n
Si
y i x z +
, se define la funcin exponencial, y se denota indistintamente
) z exp(

o
z
e como:
) seny i y (cos e e . e e e ) z exp(
x iy x y i x z
+
+
%3.1)
donde y se expresa en radianes
c) Pro&#dad#'
)as siguientes propiedades se deducen directamente de la definicin de
) exp(z
.
i) +ara * / x, el valor de la funcin exponencial comple#a coincide con el valor
de la exponencial real.
ii) )a funcin exponencial est definida y es continua
z
C
iii) De la definicin se deduce:
x z
e e
; y e arg
z
( en radianes )
!
iv) La funcin exponencial es entera y
z z
e e
dz
d

+ues es

'

seny e v
y cos e u
x
x

x
x
y
y
x
x
v seny e u
v y cos e u



-
) y , x (
0dems u
x
, u
y
, v
x
, v
y
son continuas en
-
. )uego
*
e es anal.tica
z
C, es decir
*
e es entera, siendo su derivada'
* x x
x x
*
e seny ie y cos e iv u e
d*
d
+ +
v)
2 2
z z z z
e e e
+

z
,

2
z
C
+ues ambos miembros tienen el mismo mdulo
2
x x
e
+
y el mismo
argumento
- !
y y +
vi)
2

2
z
z
z z
e
e
e

z
,

2
z
C
+ues ambos miembros tienen el mismo mdulo
- !
x x
e

y el mismo
argumento
- !
y y
vii)
z
z
e

0mbos miembros tienen el mismo mdulo

x
e

y el mismo argumento 1y.

viii)
( )
nz
n
z
e e
n
!
0mbas tienen el mismo mdulo
nx
e y el mismo argumento ny
ix) " e
z

z
C
+ues
2 e e
x *
>
x)
e
iy
y
e
i

Si
n
! es e
i n 2

y rec#procamente: i n 2 z e
z

n
!
+ues ! ) n - ( isen ) n - cos( e
i n -
+

-
3ec.proco' "i
i n - *
n - y
! e
n - e arg
! e
! e
x
*
*
*

'

'

ni 2 z z e e
2
z z
2

n
!
xi)
z
e es peridica con periodo i 2 $
+ues
* i - * i - *
e e e e
+
xii)
( )
) i % 2 z (
n
m
n
m
z
e e
+

n ... , " %
(4.-)
xiii)
z z
e e
( 5e la definicin )
xiv) &rmulas de 'uler' 5e la definicin es

'

iseny y cos e
iseny y cos e
iy
iy
)uego'
2
e e
y cos
iy iy
+

i 2
e e
seny
iy iy

d) E(&r#'!n &ara )o' n*+#ro' co+&)#,o'

"e escrib.an los comple#os en forma trigonomtrica'
) isen (cos r * +
+or tanto, todo n6mero comple#o 2 * puede escribirse en la forma'

i
re * donde
* r
y
+ 7 - * arg
.
8on esta representacin, las expresiones de un producto, cociente o potencia natural,
toman las formas simples'
) ( i
- ! - !
- !
e r r * . *
+

9
) ( i
-
!
-
!
- !
e
r
r
*
*

in n n
e r *
#) R#&r#'#ntac!n d# )a $unc!n #(&on#nca)
El recorrido de la funcin exponencial es C
{ } 2
, es decir,
:
C
{ } 2
,
* C ; : e
*

"e observa $ue por ser
*
e peridica, para
:
C
{ } 2
, existirn infinitas anti1
imgenes.
)a aplicacin
*
e : * no es una biyeccin cuando * recorre C.
4
odo punto del plano *, puede llevarse a la banda
< - y 2
por una traslacin de un
m6ltiplo entero de -i. +or periodicidad, esta traslacin no cambia el valor de la
funcin.

)a imagen en el plano : del segmento x / a ,
) - , 2 ( y
, es la circunferencia de centro
2 y radio
a
e . 8uando a crece de a + , el radio del c.rculo crece desde 2 hasta

)a imagen en el plano : de la recta y / b

< - y 2
es la semirrecta por el
origen con ngulo b . 8uando x crece de a + la semirrecta es recorrida una
ve* de 2 a . 8uando y crece de 2 a - , la semirrecta gira en torno al origen,
describiendo el plano.
)a correspondencia es una biyeccin entre los puntos de la banda
< - y 2
y
el plano excepto el origen.
-. FUNCIONES TRI.ONOM/TRICAS O CIRCULARES
-.1 Funcon#' '#no 0 co'#no
a) D#$nc!n
"e ha visto $ue para x es'
-
e e
x cos
ix ix
+
,
i -
e e
senx
ix ix

+or tanto la forma natural de definir el seno y coseno comple#os es'

(ara
*
C'
2
e e
z cos
iz iz
+

i 2
e e
senz
iz iz

%3.3)
") Pro&#dad#'
<
+lano z
2 x a x 2 y
b y
-
y
x
b y
!
u
v
a x
a
e
2 x
+lano
*
e :
i) (ara z ) x, el *alor de estas funciones coincide con el *alor de las
funciones seno y coseno reales.
ii) +as funciones sen z y cos z son enteras y sus deri*adas son:
z cos ) senz (
dz
d
senz ) z (cos
dz
d

"on enteras por ser combinaciones lineales de funciones enteras'
i*
e y
i*
e

.
0dems' * cos
-
e e
i -
e e
d*
d
) sen* (
d*
d
i* i* i* i*

0nlogo para
z cos
iii) +as funciones sen z y cos z son peridicas con periodo 2 .
+ues
*
e es de periodo -i, luego
i*
e ,
i*
e

lo son de periodo -.
iv) cos (,z) ) cos z sen (,z) ) ,sen z
5e la definicin
v) z cos z sen
2 2
+
5e la definicin
vi)

'

t
t t
2 2 2
2 2 2
senz senz z cos z cos ) z z cos(
senz z cos z cos senz ) z z ( sen

(4.<)
+ues
+
- ! - !
sen* * cos * cos sen*
( ) ( ) ( ) ( ) [ ] ... e e e e e e e e
i <
!
- - ! ! - - ! !
i* i* i* i* i* i* i* i*
+ + +

[ ] ) * * ( sen e e
i -
!
- !
) * * ( i ) * * ( i
- ! - !
+
+ +

0nlogo para la diferencia y para el coseno.
vii)
z cos z
2
sen
,
_

senz z
2
cos
,
_

+ues
* cos sen*
-
cos * cos
-
sen *
-
sen

,
_

0nlogo para
,
_

*
-
cos
viii) ( )
n
senz i z cos nz sen i nz cos + + (4.=)
+ues ( ) ( )
n
n
i* in*
sen* i * cos e e n* sen i n* cos + +
=
ix)

'

+
y S- x sen i y C- x cos z cos
y S- x cos i y C- x sen z sen
(4.>)
Es y 8h
-
e e
iy cos
y y

y "h i
-
e e
i
i -
e e
iy sen
y y y y

)uego'
y "h x cos i y 8h x sen iy sen x cos iy cos x sen ) iy x ( sen * sen + + +
y "h x sen i y 8h x cos iy sen x sen iy cos x cos ) iy x cos( * cos +
x) senz z sen z cos z cos
Es * sen
i -
e e
i -
e e
i -
e e
sen*
* i * i * i * i i* i*

,
_

0nlogo para el coseno
xi) +as funciones sen z y cos z no son acotadas, pues
y "h x cos * cos
- - -
+ y "h x sen sen*
- - -
+
(4.?)
En efecto'
5e (4,>)'
+ y "h x cos y 8h x sen * sen
- - - - -
[ ] y "h x sen y "h x cos y "h ! x sen
- - - - - -
+ + +
0nlogo para el cos *.
xii)

%
2
z " z cos +

%
! . % z " senz
%
!
Es decir, $ue los ceros de sen* cos* son los de senx cosx
respectivamente.
+ues i 7 - i* - ! e 2 e e 2 sen*
i* - i* i*



k
!
7 *
7
!
0nlogo para el coseno
-.- R#'tant#' $uncon#' tr1ono+2trca'
a) D#$nc!n
"e definen'
z cos
z sen
z tg
z cos

z sec
z
C
{

%
2
+
,
%
!
}
z sen
z cos
z g cot
z sen

z ec cos

z
C
{ % ,
%
!
}
") Pro&#dad#'
i) +as funciones anteriores son anal#ticas en sus respecti*os campos de
existencia y en ellos es:
z tg z sec ) z tg (
dz
d
2 2
+ z tg z sec ) z (sec
dz
d

>
z ec cos ) z g (cot
dz
d
2
z g cot z ec cos ) z ec (cos
dz
d

ii) Es
2
2
2
z tg z tg
z tg z tg
) z z ( tg

t
t
(4.@)
iii) Atras propiedades de estas funciones se obtienen a partir de las
propiedades vistas para sen * y cos *.
?