Вы находитесь на странице: 1из 7

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 Tema 1, funciones algebraicas.

Se trata ahora de extender las funciones trascendentes reales al plano complejo, es decir,
definir funciones complejas de variable compleja, de forma que su restriccin al caso de
valores reales de la variable coincida con la funcin real del mismo nombre. Se pretende
adems que en el dominio en el que la funcin sea derivable, la expresin formal de la
derivada coincida con la de la correspondiente funcin real.

1. LA FUNCIN EXPONENCIAL

a) Introduccin

Se trata de definir la funcin exponencial compleja f ( z ) exp( z ) z C, de forma


que para todo x real coincida con la funcin exponencial real. Tambin se desea que la
expresin de su derivada sea, como en el caso real: f ' ( z ) exp( z ) . Y que se cumpla la
propiedad ms importante de la funcin exponencial real: la ley de exponentes.
La funcin exponencial f ( z ) exp( z ) se denota tambin e z . Para que se mantenga la
ley de exponentes, habr de ser: exp(z ) e z e x iy e x .eiy
Queda por tanto definir e iy . Si se define e iy cos y iseny , resulta:
e iy1 .e iy 2 (cos y1 iseny1 )(cos y 2 iseny 2 )
(cos y1 cos y 2 seny1seny 2 ) i(seny1 cos y 2 cos y1seny 2 )
cos( y1 y2 ) isen ( y1 y2 ) ei ( y1 y 2 )
Se cumplira entonces la ley de exponentes.

b) Definicin

Si z x i y , se define la funcin exponencial, y se denota indistintamente exp( z )


o e z como:
exp( z ) e z e x i y e x .e iy e x (cos y i seny ) (3.1)
donde y se expresa en radianes

c) Propiedades

Las siguientes propiedades se deducen directamente de la definicin de exp(z ) .

i) Para z = x, el valor de la funcin exponencial compleja coincide con el valor


de la exponencial real.

ii) La funcin exponencial est definida y es continua z C


iii) De la definicin se deduce: e z
e x
; arg e z y ( en radianes )

1
d z
iv) La funcin exponencial es entera y e ez
dz

u e x cos y u x e x cos y v y
Pues es ( x , y) 2
u y e x seny v x
v e x seny
Adems ux , uy , vx , vy son continuas en 2 . Luego ez es analtica
z C, es decir e z es entera, siendo su derivada:
d z
e u x iv x e x cos y ie x seny e z
dz

v) e z1 z 2 e z1 e z 2 z 1 , z2 C
Pues ambos miembros tienen el mismo mdulo e x 1 x 2 y el mismo
argumento y1 y 2

e z1
vi) e z1 z 2 z 1 , z2 C
e z2
Pues ambos miembros tienen el mismo mdulo e x1 x 2 y el mismo
argumento y1 y 2

1
vii) e z
ez
Ambos miembros tienen el mismo mdulo e x y el mismo argumento -y.

viii) e z n e nz n Z
Ambas tienen el mismo mdulo e nx y el mismo argumento ny

ix) ez 0 z C
Pues e z
e x
0

x) e iy 1 y
e i 1
Si n Z es e 2 n i 1 y recprocamente: e z 1 z 2 n i n Z
2 ni
Pues e cos(2n) isen ( 2n) 1

2
ez 1 x
z e 1
Recproco: Si e 1 z2 in
argez 2n y2n
e z1 e z2 z 1 z 2 2ni n Z
xi) ezes peridica con periodo T 2i
Pues ez 2i eze2i ez

m
e z n e n ( z 2ki )
m
xii) k 0 ,1...n 1 (3.2)

xiii) ez ez ( De la definicin )

e iy cos y iseny
xiv) Frmulas de Euler: De la definicin es
e iy cos y iseny
e iy e iy e iy e iy
Luego: cos y seny
2 2i

d) Expresin para los nmeros complejos

Se escriban los complejos en forma trigonomtrica: z r (cos isen)


Por tanto, todo nmero complejo z 0 puede escribirse en la forma: z re i donde
r z y arg z 2k .
Con esta representacin, las expresiones de un producto, cociente o potencia natural,
toman las formas simples:
z1 r1 i(1 2 )
z1.z 2 r1r2ei(1 2 ) ; e ; z n r n e in
z 2 r2

e) Representacin de la funcin exponencial

El recorrido de la funcin exponencial es C 0 , es decir, w C 0 ,


z C / ez w

Se observa que por ser ez peridica, para w C 0 , existirn infinitas anti-


imgenes.
La aplicacin z w ez no es una biyeccin cuando z recorre C.

3
Todo punto del plano z, puede llevarse a la banda 0 y 2 por una traslacin de un
mltiplo entero de 2i. Por periodicidad, esta traslacin no cambia el valor de la
funcin.
y
2
y b

x0 xa y0 x
Plano z
La imagen en el plano w del segmento x = a , y (0,2) , es la circunferencia de centro
0 y radio e a . Cuando a crece de a , el radio del crculo crece desde 0 hasta

v
y b

x0 xa
1 ea u

Plano w ez

La imagen en el plano w de la recta y = b 0 y 2 es la semirrecta por el


origen con ngulo b . Cuando x crece de a la semirrecta es recorrida una
vez de 0 a . Cuando y crece de 0 a 2 , la semirrecta gira en torno al origen,
describiendo el plano.

La correspondencia es una biyeccin entre los puntos de la banda 0 y 2 y


el plano excepto el origen.

2. FUNCIONES TRIGONOMTRICAS O CIRCULARES

2.1 Funciones seno y coseno

a) Definicin
eix eix eix eix
Se ha visto que para x es: cos x , senx
2 2i
Por tanto la forma natural de definir el seno y coseno complejos es:

Para z C: cos z
e iz e iz
2
senz
e iz e iz
2i
(3.3)

b) Propiedades

4
i) Para z = x, el valor de estas funciones coincide con el valor de las
funciones seno y coseno reales.

ii) Las funciones sen z y cos z son enteras y sus derivadas son:

d d
( senz ) cos z (cos z ) senz
dz dz
Son enteras por ser combinaciones lineales de funciones enteras: e iz y
iz .
e
d d e iz e iz e iz e iz
Adems: (senz) cos z
dz dz 2i 2
Anlogo para cos z
iii) Las funciones sen z y cos z son peridicas con periodo 2 .
Pues e z es de periodo 2i, luego e iz , e iz lo son de periodo 2.

iv) cos (-z) = cos z sen (-z) = -sen z

De la definicin

v) sen 2 z cos 2 z 1

De la definicin

sen( z 1 z 2 ) senz1 cos z 2 cos z 1 senz 2


vi) (3.4)
cos( z 1 z 2 ) cos z 1 cos z 2 senz1 senz 2
Pues senz1 cos z 2 cos z1senz 2

1
4i
e iz1

e iz1 e iz2 e iz2 e iz1 e iz1 e iz2 e iz2 ...

1
2i
e
i( z1 z 2 )

ei( z1 z 2 ) sen (z1 z 2 )

Anlogo para la diferencia y para el coseno.


vii) sen z cos z cos z senz
2 2

Pues sen z sen cos z cos senz cos z
2 2 2

Anlogo para cos z
2

viii) cos nz i sen nz cos z i senz n (3.5)


Pues cos nz i sen nz e inz

e iz n
cos z i senz n

5
sen z sen x Ch y i cos x Sh y
ix) (3.6)
cos z cos x Ch y i sen x Sh y
ey e y e y e y e y e y
Es cos iy Ch y sen iy i i Sh y
2 2i 2
Luego:
sen z sen( x iy) sen x cos iy cos x sen iy sen x Ch y i cos x Sh y
cos z cos(x iy) cos x cos iy sen x sen iy cos x Ch y i sen x Sh y

x) sen z senz cos z cos z


e iz e iz e i z e i z e i z e i z
Es senz sen z
2i 2i 2i

Anlogo para el coseno

xi) Las funciones sen z y cos z no son acotadas, pues


2 2
cos z cos 2 x Sh 2 y senz sen 2 x Sh 2 y (3.7)
En efecto:
De (3,6): sen z 2 sen 2 x Ch 2 y cos 2 x Sh 2 y


sen 2 x 1 Sh 2 y cos 2 x Sh 2 y sen 2 x Sh 2 y
Anlogo para el cos z.


xii) cos z 0 z
2
k k Z ; senz 0 z k k Z
Es decir, que los ceros de senz cosz son los de senx cosx
respectivamente.
Pues senz 0 e iz e iz 0 e 2iz 1 2iz 2ki k Z
z k k Z
Anlogo para el coseno

2.2 Restantes funciones trigonomtricas

a) Definicin

Se definen: tg z
sen z
cos z
sec z
1
cos z
z C

2
k , k
Z
cot g z
cos z
sen z
cos ec z
1
sen z z C k , k Z
b) Propiedades

i) Las funciones anteriores son analticas en sus respectivos campos de


existencia y en ellos es:
d d
( tg z ) sec 2 z 1 tg 2 z (sec z ) sec z tg z
dz dz

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

tg z 1 tg z 2
ii) Es tg ( z 1 z 2 ) (3.8)
1 tg z 1 tg z 2

iii) Otras propiedades de estas funciones se obtienen a partir de las


propiedades vistas para sen z y cos z.