Funciones matemáticas elementales

Tema 2.
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
(z) = f (z) para cada z C y f (0) = 1

entonces f (z) = exp(z).
La exponencial compleja extiende a la exponencial real. Esto justica el
uso de la notacin exp(z) = e
z
.
exp(z +w) = exp(z) exp(w), z, w C.
La exponencial compleja es una funcin analtica.
Propiedades de la funcin exponencial
Propiedades
Frmula de Euler: Dado t R se cumple exp(it ) = cos t +i sent .
Dado z = Re(z) +i Im(z) C entonces
e
z
= e
Re(z)
_
cos(Imz) +i sen(Imz)
_
Por tanto |e
z
| = e
Re z
, Imz Arg(e
z
).
La exponencial compleja no se anula nunca.
La exponencial compleja es una funcin peridica de periodo 2i .
Adems e
z
= e
w
si, y slo si, z w 2i Z.
Forma exponencial de un nmero complejo
El uso de la funcin exponencial permite escribir un nmero complejo en la
forma z = |z| e
it
; si z = 0, basta que t Arg(z). En tal caso,
Observa que la frmula de De Moivre se expresa ahora simplemente por
z
n
= |z|
n
e
int
.
Logaritmos complejos
Dado z C
, probaremos que hay innitos nmeros complejos w C que

verican e
w
= z.
En efecto, como
e
w
= e
Re w
_
cos (Imw) +i sen(Imw)
_
Para que e
w
= z es necesario y suciente que:
|e
w
| = |z|, esto es, e
Re w
= |z|, es decir, Rew = log|z | (logaritmo natural
del nmero real positivo |z|).
Arg(e
w
) = Arg(z), esto es, Imw Argz y esto se cumple si, y slo si
Imw = arg(z) +2k, con k Z.
Hemos probado que
{w C : e
w
= z} =
_
log|z| +i (arg(z) +2k) : k Z
_
Por tanto, hay innitos complejos w que satisfacen la igualdad e
w
= z.
Cualquiera de ellos se llama un logaritmo de z. El conjunto de todos ellos lo
representaremos por Logz.
Logz =
_
log|z| +i (arg(z) +2k) : k Z
_
= log|z| +i Arg(z) (z C
)
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.
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)
Logaritmos y argumentos de una funcin
Sea f : A C
, con A C un subconjunto no vaco de C.

Cualquier funcin g : A C tal que g(z) Logf (z) para todo z A se
llama un logaritmo de f en A. Cuando f es la identidad se dice
simplemente que g es un logaritmo en A.
Cualquier funcin : A R tal que (z) Argf (z) para todo z A es
un argumento de f en A. Cuando f es la identidad se dice simplemente
que es un argumento en A.
Probaremos que un logaritmo continuo de una funcin holomorfa es
automticamente un logaritmo holomorfo.
Proposicin
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
.
Proposicin
Sea C un abierto y f : C
una funcin holomorfa. Equivalen las

siguientes armaciones:
1
f tiene argumentos continuos en , es decir, existe una funcin continua
: R tal que (z) Arg(f (z)) para z .
2
f tiene logaritmos continuos en , es decir, existe una funcin continua
g : C tal que g(z) Logf (z) para z .
3
f tiene logaritmos holomorfos en , es decir, existe una funcin
holomorfa g : C tal que g(z) Logf (z) para z .
4
La funcin
f
(z)
f (z)
tiene primitivas en , es decir, existe H() tal que
(z) =
f
(z)
f (z)
para todo z .
Proposicin
En cualquier disco que no contenga al origen hay logaritmos holomorfos.
Concretamente, si a C
, entonces en el disco D(a, |a|) hay logaritmos

holomorfos.
El logaritmo principal es una funcin analtica en 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
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
que contiene a una circunferencia centrada en

cero entonces en A no hay ningn argumento continuo. En particular, en C
no hay argumentos continuos.

Races complejas
Dados una funcin compleja, f , denida en un subconjunto A de C y un
nmero natural n2, cualquier funcin, h : A C, tal que (h(z))
n
= f (z)
para todo z A, se llama una raz de orden n de f en A. Una raz de orden n
de la funcin identidad en A se llama, simplemente, una raz de orden n en A.
Como de costumbre las (funciones) races de orden 2 se llaman races
cuadradas. Las expresiones raz de orden n continua o o raz de orden n
holomorfa se entienden por s mismas.
Proposicin
Sea f una funcin holomorfa y que no se anula en un abierto . Si f tiene
un logaritmo holomorfo en entonces, para todo nN, f tambin tiene
races n-simas holomorfas en .
Potencias complejas
Dados dos nmeros reales a > 0 y b R, la potencia de base a y exponente
b se dene como a
b
= e
b log a
.
Ahora, dados a, b C, con a = 0, sabemos que hay innitos logaritmos de a,
todos ellos son de la forma loga +i 2k, con k Z. Por ello, cualquier
nmero complejo de la forma e
b(log a+i 2k)
donde k Z, es una potencia de
base a y exponente b.
Representaremos por [a
b
] el conjunto de todas ellas
[a
b
] = exp(b Log(a)) = {exp(bw) : w Log(a)}
De entre las potencias de base a y exponente b se destaca una:
a
b
= e
b log a
y dicho nmero se llama valor principal de la potencia de base a y exponente
b.
Potencias complejas
Observa que si b = 1/n donde n N, entonces
[a
1/n
] =
_
exp
_
1
n
_
log|a| +i arg(a) +2ki
_
_
: k Z
_
=
_
exp
_
1
n
log|a|
_
exp
_
i
n
_
arg(a) +2k
_
_
: k Z
_
=
_
n
_
|a|
_
cos
arg(a) +2k
n
+i sen
arg(a) +2k
n
_
: k Z
_
Es decir, [a
1/n
] es el conjunto de las races n-simas de a.
Adems
a
1/n
= exp
_
1
n
loga
_
= exp
_
log|a|
n
+i
arga
n
_
= |a|
1/n
_
cos
arga
n
+i sen
arga
n
_
es el valor principal de la raz n-sima de a que antes hemos notado por
n
a.
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.
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.
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
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).
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.
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
si, y slo si, su inverso verica la misma

condicin. Por tanto, si z +i
1 z
2
R
, entonces
2z = z +i
1 z
2
+z i
1 z
2
R
,
luego z R
. Si 1 < z < 0, entonces 1 z

2
R
+
, de donde y
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
.
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.
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
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.
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
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].
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
, entonces la funcin arctgz

es holomorfa en = C \ {i : R, || 1} y adems
arctg

(z) =
1
1 +z
2
, z .
Es fcil probar que la rama principal del arcotangente complejo extiende a la
funcin arcotangente real.

Funciones matemáticas elementales

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Funciones matemáticas elementales

Enviado por

Direitos autorais:

Formatos disponíveis

Tema 2.

(z) = f (z) para cada z C y f (0) = 1

, probaremos que hay innitos nmeros complejos w C que

, con A C un subconjunto no vaco de C.

una funcin holomorfa. Equivalen las

, entonces en el disco D(a, |a|) hay logaritmos

que contiene a una circunferencia centrada en

no hay argumentos continuos.

si, y slo si, su inverso verica la misma

. Si 1 < z < 0, entonces 1 z

, entonces la funcin arctgz

Você também pode gostar