Académique Documents
Professionnel Documents
Culture Documents
Funciones
elementales
Mtodos Matemticos I
2
o
Fsicas E
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 1 / 26
Funcin exponencial
La exponencial compleja es la funcin denida para todo z C por
exp(z) =
n=0
1
n!
z
n
= lim
n
_
1 +z +
z
2
2!
+
z
3
3!
+ +
z
n
n!
_
Propiedades
exp
(z) = exp(z) para todo z C.
exp(0) = 1
Las dos propiedades anteriores caracterizan a la funcin exponencial,
esto es, si f H(C) es tal que f
)
De entre todos ellos elegimos uno, llamado logaritmo principal (o rama
principal del logaritmo), denido por
logz = log|z| +i arg(z) (z C
)
La restriccin del logaritmo principal a R
+
coincide con el logaritmo
neperiano.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 5 / 26
Logaritmos complejos
El logaritmo principal es continuo en C
\R
y es discontinuo en R
.
Como
exp(logz +logw) = exp(logz) exp(logw) = zw
Se verica que logz +logw es un logaritmo de zw pero no tiene por qu ser
el logaritmo principal de zw.
De hecho, tenemos que
log(zw) = logz +logw < arg(z) +arg(w)
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 6 / 26
Logaritmos y argumentos de una funcin
Sea f : A C
, con A C y a A A
. Sea g : A C un logaritmo de f en
A. Supongamos adems que f es derivable en a y que g es continua en a.
Entonces g es derivable en a y
g
(a) =
f
(a)
f (a)
En consecuencia, si f H(), 0 f () y g : C es continua en y tal
que e
g(z)
= f (z) para cada z , entonces g H() y g
(z) =
f
(z)
f (z)
para
todo z .
El logaritmo principal es una funcin holomorfa en C
\R
y su derivada viene
dada por log
(z) =
1
z
para todo z C
\R
.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 8 / 26
Logaritmos complejos
Proposicin
Sea C un abierto y f : C
(z)
f (z)
tiene primitivas en , es decir, existe H() tal que
(z) =
f
(z)
f (z)
para todo z .
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 9 / 26
Logaritmos complejos
Proposicin
En cualquier disco que no contenga al origen hay logaritmos holomorfos.
Concretamente, si a C
\R
.
De hecho, para a C
\R
se verica que
logz = loga +
n=0
(1)
n
(n +1)a
n+1
(z a)
n+1
z D(a,
a
),
donde
a
=
_
|a| si Rea 0
|Ima| si Rea < 0
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 10 / 26
Argumentos continuos
Proposicin
Sea A C un conjunto conexo y supongamos que en A hay un argumento
continuo . Entonces cualquier otro argumento continuo en A es de la forma
+2k para algn entero k.
Corolario
Sea A un subconjunto de C
a.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 14 / 26
Funciones exponenciales y potenciales
La funcin exponencial compleja de base a C
, z a
z
, est denida por
a
z
= exp(z loga) y es una funcin entera.
La funcin potencia compleja de exponente b, es la funcin z z
b
, dada por
z
b
= exp(b logz) es holomorfa en C \ R
0
.
Las funciones exponenciales cumplen la igualdad a
z+w
= a
z
a
w
.
Para las funciones potencia no se cumple en general la igualdad
(zw)
b
= z
b
w
b
.
La igualdad (z
b
)
c
= z
bc
no es cierta en general.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 15 / 26
Seno y coseno complejos
Sustituyendo en la frmula de Euler e
it
= cos t +i sent , t por t tenemos
e
it
= cos(t ) +i sen(t ) = cos t i sent y despejando obtenemos
cos t =
e
it
+e
it
2
, sent =
e
it
e
it
2i
Estas igualdades, vlidas para todo t R, tambin tienen sentido para
nmeros complejos. Por ello, para todo z C denimos el coseno y el seno
complejos por:
cos z =
e
iz
+e
iz
2
, senz =
e
iz
e
iz
2i
El seno y coseno complejos extienden a las funciones seno y coseno reales.
Sus propiedades se deducen fcilmente a partir de las propiedades de la
exponencial.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 16 / 26
Propiedades de las funciones seno y coseno
Identidad fundamental: cos
2
z +sen
2
z = 1
La funcin coseno es par cos(z) = cos(z), y la funcin seno es impar
sen(z) = sen(z). Ambas son funciones peridicas con perodo 2.
Frmulas de adicin
sen(z +w) = senz cos w +cos z senw
cos(z +w) = cos z cos w senz senw
Las funciones seno y coseno son enteras y analticas en C y para todo
z C:
cos
(z) = senz, cos z =
n=0
(1)
n
(2n)!
z
2n
sen
(z) = cos z, senz =
n=0
(1)
n
(2n +1)!
z
2n+1
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 17 / 26
Propiedades de las funciones seno y coseno
Relacin con las funciones hiperblicas
cos(ix) = coshx sen(ix) = i senhx
Para todo z = x +iy se cumplen las igualdades
senz = senx coshy +i cos x senhy
cos z = cos x coshy i senx senhy
Las funciones seno y coseno complejos no estn acotadas en C aunque
s lo estn en bandas horizontales de anchura acotada.
Las funciones seno y coseno complejas no tienen ms ceros que los
reales, esto es, senz = 0 si, y slo si, z es real de la forma k (k Z), y
cos z = 0 si, y slo si, z es real de la forma
2
+k (k Z).
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 18 / 26
Tangente compleja
Por analoga con la tangente real denimos la funcin tangente compleja
como
tgz =
senz
cos z
_
z C \ {/2 +k : k Z}
_
Puesto que el seno y el coseno son funciones enteras la tangente compleja
es una funcin holomorfa en su dominio de denicin
C \ {z : cos z = 0} = C \ {/2 +k : k Z}.
Las propiedades de la tangente se deducen con facilidad de las propiedades
del seno y el coseno.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 19 / 26
Arcocoseno complejo
Dado z C hay innitos nmeros w C tales que cos w = z. El conjunto de
todos ellos se representa por Arccos z y viene dado por:
Arccos z =
1
i
Log(z i
1 z
2
)
Es fcil comprobar que la funciones z z i
1 z
2
no pueden anularse y
slo toman valores negativos si z R
y z < 1.
Para ello, usaremos que
_
z +i
1 z
2
__
z i
1 z
2
_
= z
2
_
i
1 z
2
_
2
= z
2
+1 z
2
= 1
Como consecuencia, se verica que z i
1 z
2
= 0 para cualquier
complejo z.
Adems z +i
1 z
2
R
1 z
2
R
, entonces
2z = z +i
1 z
2
+z i
1 z
2
R
,
luego z R
1 z
2
R
+
, luego z +i
1 z
2
R.
Si z 1, entonces z +i
1 z
2
= z +i (i )
z
2
1 = z
z
2
1 R
.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 20 / 26
Arcocoseno complejo
De todos los valores del conjunto Arccos z, llamaremos valor principal al que
est denido por:
arccos z =
1
i
log(z +i
1 z
2
) (z C)
La funcin arccos extiende el arcocoseno real.
En efecto, para z = x [1, 1] tenemos que:
1
i
log(x +i
_
1 x
2
) =
1
i
_
log|x +i
1 x
2
| +i arg(x +i
1 x
2
)
_
=
= arg(x +i
1 x
2
)
Observemos que (x,
1 x
2
) es un punto de la mitad superior de la
circunferencia unidad y una medida del ngulo que forma el nmero complejo
x +i
1 x
2
con el eje real positivo es precisamente el arco cuyo coseno es
x. Adems, para x [1, 1] se tiene que 0 arccos x . Deducimos que
arg(x +i
1 x
2
) = arccos x.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 21 / 26
Arcocoseno complejo
Se verica
1 z
2
R
0
z {t R : |t | 1}
y
1 z
2
= exp
_
1
2
log(1 z
2
)
_
(z C\{1})
El logaritmo principal es una funcin holomorfa en C
\R
y antes
comprobamos que la funcin z z +i
1 z
2
no se anula ni toma valores
negativos en C \ (] , 1] [1, +[).
Como consecuencia de la regla de la cadena, obtenemos que la rama
principal del arcocoseno es holomorfa en el dominio
= C \ (] , 1] [1, +[)
La regla de la cadena tambin nos permite calcular su derivada:
arccos
(z) =
1
1 z
2
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 22 / 26
Arcocoseno complejo
Otro argumento alternativo para comprobar que la funcin arcocoseno
compleja extiende a la correspondiente funcin real, consiste en usar que la
funcin arcocoseno compleja es derivable en los puntos del intervalo ] 1, 1[
y su derivada coincide con la de la funcin arcocoseno real en este intervalo.
Adems ambas funciones son continuas en [1, 1]. Como adems en 0 su
valor es
1
i
log(0 +i
1) =
1
i
_
log|i | +i arg(i )
_
=
2
,
la funcin arco coseno complejo es una extensin de la funcin arco coseno
real.
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 23 / 26
Arcoseno complejo
Como
senw = cos
_
2
w
_
,
tenemos que
senw = z
2
w
1
i
Log
_
z i
1 z
2
_
Denimos
Arcsenz =
2
+i Log
_
z i
1 z
2
_
El valor principal del arcoseno, que notaremos por arcsenz, se dene
eligiendo el logaritmo principal:
arcsenz =
2
+i log
_
z +i
1 z
2
_
z C
y es una funcin holomorfa en C \ (] , 1] [1, +[).
Se verica que
arcsenz =
2
arccos z
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 24 / 26
Arcoseno compleja
Como consecuencia, la derivada de la funcin arcoseno es
arcsen
z =
1
1 z
2
, z C \ (] , 1] [1, +[).
Usando el mismo tipo de argumento que para la funcin arcocoseno, se
obtiene que la funcin arcoseno compleja extiende a la correspondiente
funcin real denida en el intervalo [1, 1].
(Universidad de Granada) Tema 2. Funciones elementales Granada, 27 noviembre 2012 25 / 26
Arcotangente compleja
Dado z C\{i }, hay innitas soluciones de la ecuacin z = tgw. El
conjunto de todos ellos lo representaremos por Arctgz y viene dado por:
Arctgz =
1
2i
Log
_
1 +iz
1 iz
_
(z = i )
Denimos el valor principal de Arctgz por:
arctgz =
1
2i
log
_
1 +iz
1 iz
_
(z = i )
Dado que
1 +iz
1 iz
R
(1 +iz)(1 +i z) R
1 |z|
2
+2i Rez R
z {it : t R, |t | > 1}
y el logaritmo principal es holomorfa en C
\R