Funciones Elementales Basicas

CAP
ITULO 3
Funciones elementales b asicas
3.1 INTRODUCCI

ON
La familiaridad que hemos llegado a tener con funciones como la exponencial,
el logaritmo, las funciones trigonom etricas, pueden habernos hecho olvidar que
en realidad nunca hemos establecido una denici on analtica rigurosa de ellas.
Mediante consideraciones gr acas, en algunos casos, o conando en la autoridad
de turno en otros, hemos aceptado ciertas propiedades (entre ellas, nada menos que
su existencia), de las que hemos ido deduciendo las dem as.
Con nuestros conocimientos actuales, este es un buen momento y un buen
lugar para ofrecer esa denici on rigurosa mediante series de potencias en el campo
complejo y mostrar c omo de la denici on van saliendo las propiedades que nos
son tan conocidas. No es esta, desde luego, la unica via de construcci on posible
(pueden introducirse tambi en mediante integrales indenidas, o como soluciones
de ciertas ecuaciones o sistemas de ecuacionesdiferenciales), pero indudable-
mente es la m as adecuada al presente curso.
3.2 FUNCI

ON EXPONENCIAL
Func i on e xpone nc ial
La serie de potencias
+
n=0
z
n
n!
tiene radio de convergencia +, por lo que podemos
denir en todo C una funci on como suma de tal serie.
Denici on 3.1. Se llama funci on exponencial a la denida por
exp : z C exp(z) =
+
n=0
z
n
n!
C.
El n umero exp(1) se denota por e, y suele escribirse e
z
en lugar de exp(z)
[notaci on justicada por la propiedad que probaremos a continuaci on en (1.4)].
40
Funciones elementales b asicas 41
Propiedades de la exponencial compleja.
(1.1) La funci on exponencial es derivable (indenidamente) y su derivada es ella
misma: para cada z C,
exp
(z) = exp(z).
(1.2) exp(0) = 1.
(1.3) Para cada z C,
exp(z) =
1
exp(z)
con lo que, en particular, exp(z) = 0. Adem as, para cualesquiera z, w C,
exp(z +w) = exp(z) exp(w).
(1.4) Dados n N y z C, exp(nz) es el producto de n factores iguales a exp(z),
exp(nz) = exp(z)
n
exp(z);
en particular, exp(n) = e
n
e.
(1.5) Para cada x R, tambi en exp(x) R.
Demostraci on. (1.1) Basta aplicar la regla de derivaci on de una funci on denida
mediante una serie de potencias.
(1.2) Obvio.
(1.3) Puede verse directamente a partir de la denici onyde la multiplicaci onde
series de potencias. Otra demostraci on que usa s olo las propiedades diferenciales
de la exponencial es la siguiente:
Para un w cualquiera en C previamente jado, denamos
f : z C f (z) = exp(z) exp(z +w) C.
Derivando de acuerdo con (1.1),
f

(z) = exp(z) exp(z +w) +exp(z) exp(z +w) = 0,
luego como C es conexo, f toma constantemente el valor f (0) = exp(w).
Si el w elegido es 0, esto signica que exp(z) exp(z) = 1 cualquiera que
sea z C. Por consiguiente, volviendo al caso general, de exp(z) exp(z +w) =
f (0) = exp(w) podemos despejar
exp(z +w) = exp(z) exp(w).
(1.4) Se prueba por inducci on sobre n utilizando (1.3).
(1.5) Si x R, los t erminos de la serie que dene exp(x) son todos reales.
La restricci on de exp a Rpuede verse entonces como una aplicaci on de Ren R.
Denotaremos provisionalmente por Exp esta funci on, de modo que Exp : R R,
y la llamaremos exponencial real. Recogemos sus propiedades m as importantes.
42 Funciones elementales b asicas
Propiedades de la exponencial real.
(1.6) Para cada x R,
Exp(x) > 0.
(1.7) La funci on exponencial real es estrictamente creciente y convexa. En particu-
lar, es inyectiva.
(1.8) Se tiene
lim
x+
Exp(x) = + , lim
x
Exp(x) = 0.
Enconsecuencia, el conjuntoimagende la funci onexponencial real es (0, +).
Demostraci on. (1.6) Exp(x) = (Exp(x/2))
2
0 y Exp(x) = 0.
(1.7) La derivada primera y la derivada segunda de la funci on exponencial
real (que son iguales a ella misma) son estrictamente positivas.
(1.8) Puesto que la funci on exponencial real es estrictamente creciente,
e = Exp(1) > Exp(0) = 1,
luego lim
n
Exp(n) = +. Nuevamente por la monotona de la funci on exponencial,
esto basta para probar que
lim
x+
Exp(x) = +.
Finalmente,
lim
x
Exp(x) = lim
y+
Exp(y) = lim
y+
1
Exp(y)
= 0.
Aplicando el teorema de los valores intermedios (Darboux) se sigue que la
funci on exponencial aplica R sobre (0, +).
Obs ervese que, seg un la exposici on anterior, todas las propiedades b asicas de
la funci on exponencial se deducen realmente de (1.1) y (1.2), que en este sentido
pueden ser consideradas sus propiedades fundamentales. Esto no es tan sorpren-
dente sin pensamos en la unicidad de soluci on de la ecuaci on diferencial y
= y
con la condici on inicial y(0) = 1.
En lo que sigue volveremos ya a la notaci on tradicional, e
z
, para la exponencial
de z.
Func i on logart mic a re al
Una vez conocidas las propiedades b asicas de la funci on exponencial real, pode-
mos denir la funci on logartmica real como su funci on inversa, y deducir de ah
sus propiedades. No puede procederse de la misma manera con la exponencial
compleja, como se ver a m as adelante.
Denici on 3.2. La funci on logartmica real
ln : x (0, +) ln x R
es la inversa de la funci on exponencial, de modo que ln x = y si y s olo si e
y
= x.
Por tanto, est a caracterizada por cumplir
ln(e
x
) = x cualquiera que sea x R
y
e
ln x
= x cualquiera que sea x (0, +) .
Sus propiedades son consecuencia de las de la funci on exponencial.
Propiedades del logaritmo real.
(2.1) La funci on logartmica real es derivable indenidamente, y su derivada es la
funci on 1/x.
(2.2) ln 1 = 0, ln e = 1.
(2.3) Para cada x (0, +),
ln
1
x
= ln x .
(2.4) Dados x, y (0, +),
ln(xy) = ln x +ln y .
(2.5) Dados n N y x (0, +),
ln(x
n
) = n ln x .
(2.6) El conjunto imagen de la funci on logartmica real es R.
(2.7) La funci on logartmica real es estrictamente creciente y c oncava. En particular,
es inyectiva.
(2.8) Se tiene
lim
x+
ln x = +, lim
x0+
ln x = .
Demostraci on. Recordar las propiedades de la funci on inversa estudiadas para
funciones reales de variable real.
3.3 FUNCIONES SENO Y COSENO
Func ione s c omple jas s e no y c os e no
Denici on 3.3. La funci on seno est a denida por
sen : z C sen z =
n=0
(1)
n
z
2n+1
(2n +1)!
C ,
y la funci on coseno por
cos : z C cos z =
n=0
(1)
n
z
2n
(2n)!
C .
Estas funciones est an bien denidas, pues las series de potencias que guran
en las f ormulas tienen radio de convergencia +. Recordando la denici on de la
funci on exponencial, las relaciones siguientes son inmediatas:
sen z =
e
i z
e
i z
2i
, cos z =
e
i z
+e
i z
2
para cada z C, con lo que la funci on exponencial aparece como m as elemental
que el seno y el coseno, en el sentido de que estas son combinaciones lineales de
exponenciales.
Propiedades del seno y coseno complejos.
(3.1) El seno y el coseno son funciones derivables indenidamente y se cumple
para todo z C
sen
(z) = cos z, cos
(z) = sen z.
(3.2) El seno es una funci on impar, mientras que el coseno es una funci on par: es
decir, cualquiera que sea z C se tiene
sen(z) = sen z, cos(z) = cos z .
(3.3) Para todos z, w C,
sen(z +w) = sen z cos w +cos z sen w,
cos(z +w) = cos z cos w sen z sen w.
(3.4) Para cada z C es
sen
2
z +cos
2
z = 1 .
Demostraci on. (3.1), (3.2), (3.3)
Se siguen directamente de la denici on mediante series de potencias o a partir
de la expresi on en t erminos de exponenciales.
(3.4)
Se deduce de (3.2) y (3.3), tomando w = z.
Es instructivo ver c omo tambi en puede probarse esta identidad usando derivaci on:
deniendo f : z C f (z) = sen
2
z +cos
2
z C, a partir de (3.1) obtenemos
f

(z) = 2 sen z cos z 2 cos z sen z = 0
para todo z de C, luego f toma constantemente el valor f (0) = 1.
De las f ormulas anteriores se deducen mediante los c alculos de costumbre
otras muchas frecuentemente utilizadas; por ejemplo, las que se recogen en el
siguiente ejercicio.
Ejercicio. Dados z, w C, comprobar que
sen(z w) = sen z cos w cos z sen w;
cos(z w) = cos z cos w +sen z sen w;
sen z cos w =
1
2
[sen(z +w) +sen(z w)];
sen z sen w =
1
2
[cos(z +w) cos(z w)];
cos z cos w =
1
2
[cos(z +w) +cos(z w)];
sen 2z = 2 sen z cos z;
cos 2z = cos
2
z sen
2
z = 2 cos
2
z 1;
sen 3z = 3 sen z 4 sen
3
z;
cos 3z = 4 cos
3
z 3 cos z
y cualquier otra de las relaciones conocidas sobre las funciones seno y coseno.
Func ione s s e no y c os e no re ale s
Las funciones seno y coseno toman valores reales sobre R, luego podemos ver
las restricciones de estas funciones a R como funciones reales de variable real.
Estudiemos sus propiedades, para comprobar que coinciden con las que se les
atribuyen habitualmente. Ya hemos encontrado algunas de ellas. Para continuar, lo
primero que necesitamos es denir el n umero real .
Propiedades del seno y coseno reales.
(4.1) La funci on seno tiene ceros reales positivos, es decir,
{x > 0 : sen x = 0} = .
Este conjunto posee un elemento mnimo, que denotaremos por :
def
= min{x > 0 : sen x = 0} .
En el intervalo (0, ), el seno toma valores estrictamente positivos.
(4.2) cos = 1; cos

2
= 0; sen

2
= 1.
(4.3) Para conocer la funci on seno en R es suciente conocerla en el intervalo
_
0,
2
_
. En concreto,
(4.3.1) para cada x R es
sen ( x) = sen x = sen(x +);
(4.3.2) para cualesquiera x R y k Z,
sen(x +2k) = sen x,
es decir, el seno real es una funci on peri odica de periodo 2.
(4.4) Para conocer la funci on coseno en R es suciente conocerla en el intervalo
_
0,
2
_
. En concreto,
(4.4.1) para cada x R es
cos ( x) = cos x = cos(x +);
(4.4.2) para cualesquiera x R y k Z,
cos(x +2k) = cos x,
es decir, el coseno real es una funci on peri odica de periodo 2.
(4.5) La restricci on de la funci on seno al intervalo
_
2
,
2
_
es una aplicaci on
estrictamente creciente (en particular, inyectiva) sobre el intervalo [1, 1].
(4.6) La restricci on de la funci on coseno al intervalo [0, ] es una aplicaci on es-
trictamente decreciente (en particular, inyectiva) sobre el intervalo [1, 1].
(4.7) Dado x R, se verica sen x = 0 si y s olo si para alg un k Z es x = k .
(4.8) Dado x R, se verica cos x = 0 si y s olo si para alg un k Zes x =

2
+k.
Demostraci on. (4.1) Agrupando sumandos convenientemente, es claro que
sen x > x
x
3
3!
> 0 siempre que 0 < x 1
y que
sen 4 < 4
4
3
3!
+
4
5
5!

4
7
7!
+
4
9
9!
< 0,
de donde se deduce que el seno no se anula en (0, 1] pero que, seg un el teorema de
Bolzano, debe anularse al menos en un punto comprendido entre 1 y 4. Por tanto,
est a perfectamente determinado el n umero real
= inf{x > 0 : sen x = 0}
y es mayor o igual que 1 (luego > 0). Para asegurar que es el mnimo del conjunto,
o sea, que pertenece a el, basta tener en cuenta que es punto adherente del conjunto
y emplear la continuidad del seno.
As sen x = 0 para todo x (0, ) y por continuidad el seno debe mantener
el signo en todo este intervalo. De acuerdo con la primera desigualdad que hemos
escrito, debe ser estrictamente positivo en el.
(4.2) Como sen
2
+ cos
2
= 1, se deduce que cos
2
= 1 y por tanto
cos = 1 o cos = 1. Pero si cos = 1, como cos 0 = 1, el teorema de Rolle
dara la existencia de alg un punto t (0, ) en el que se anulara la derivada del
coseno, con lo cual sera sen t = 0 contra lo que acabamos de probar.
Puesto que cos = 2 cos
2

2
1, debe ser cos

2
= 0, lo que obliga a que
sen
2

2
= 1. Como 0 <
2
< , sen

2
debe ser positivo y por tanto igual a 1.
(4.3) Las igualdades de (4.3.1) son consecuencia de las f ormulas de adici on y
de los valores previamente calculados. La de (4.3.2) se comprueba por inducci on.
Con esto, conociendo los valores del seno en el intervalo
_
0,
2
_
, podemos
obtener los valores en el intervalo
_
2
,
_
usando que sen x = sen ( x); por ser
el seno impar, pasamos entonces a todo el intervalo [, ] y ya por periodicidad
a todo R.
(4.4) Similar al apartado anterior.
(4.5) Para cada x Rla igualdad sen
2
x+cos
2
x = 1 asegura que | sen x| 1,
| cos x| 1. Como sen

2
= 1 y por tanto sen
_
2
_
= 1, la continuidad del seno
y la propiedad de Darboux dan como conjunto imagen de
_
2
,
2
_
exactamente
el intervalo [1, 1].
Para demostrar que el seno (que es continua) es estrictamente creciente en
_
2
,
2
_
, usamos que es estrictamente positiva en (0, ). En consecuencia, el
coseno (que en cada punto x tiene por derivada sen x) ser a estrictamente decre-
ciente en [0, ], lo que permite armar que los valores que alcanza en el intervalo
_
0,
2
_
son estrictamente mayores que cos

2
= 0; como el coseno es par, lo mismo
vale en
_
2
,
2
_
; y nalmente, como el coseno es la derivada del seno, vemos
que este ultimo es estrictamente creciente en
_
2
,
2
_
.
(4.6) Repasar la demostraci on anterior.
(4.7) Es inmediato que si para alg un k Z es x = k, se verica que
sen x = 0.
Recprocamente, sea x R tal que sen x = 0. Para un k Z ser a
x
__
k
1
2
_
,
_
k +
1
2
_
_
. Entonces t = x k
_
2
,
2
_
y sen t =
sen x cos k cos x sen k = 0, luego forzosamente t = 0 y x = k.
(4.8) Similar a la anterior.
Func ione s t rigonom e t ric as y Trigonome t ra
Tenemos ahora dos versiones de las funciones seno y coseno: la versi on analtica
que venimos explorando y la versi on geom etrica de la Trigonometra (=medida de
angulos). La coherencia entre ambas versiones la prueba la siguiente proposici on,
que a su vez justica las armaciones que hicimos al denir los argumentos de un
n umero complejo no nulo.
Proposici on. Dados x, y R tales que x
2
+ y
2
= 1, existe un R de modo
que
cos = x, sen = y .
Adem as, para que un R cumpla igualmente que
cos = x, sen = y,
es necesario y suciente que exista un k Z tal que = +2k.
Demostraci on. Como x [1, 1], existe al menos un t R tal que cos t = x.
Entonces sen
2
t = y
2
, de donde o bien sen t = y, y tomaramos = t , o bien
sen t = y, y bastara tomar = t .
Por periodicidad, igualmente cos(+2k) = x, sen(+2k) = y para todo
k Z.
Supongamos ahora que encontramos Rpara el que cos = x, sen = y.
Entonces
sen( ) = y x x y = 0,
luego por (4.7) existir a un m Z tal que = m. Si m fuese de la forma
2k +1, k Z, resultara cos( ) = 1, mientras que
cos( ) = x x + y y = x
2
+ y
2
= 1,
por lo que debe ser m = 2k para alg un k Z y nalmente = +2k.
Gr acamente, esta proposici on signica que para cada punto sobre la circun-
ferencia T de centro el origen y radio unidad, hay un n umero real que mide el
angulo que forma el radio correspondiente al punto con el eje de abscisas, y que
dicho n umero est a unvocamente determinado salvo m ultiplos enteros de 2. Una
interpretaci on algebraica nos dira que la aplicaci on t R e
i t
T (que es un
homomorsmo entre el grupo aditivo Ry el grupo multiplicativo T) es suprayectiva
y tiene por n ucleo el semigrupo 2Z, de modo que Tes isomorfo al grupo cociente
R/2Z (para este enfoque, ver Cartan, H.: Th eorie el ementaire des fonctions
analytiques dune ou plusieurs variables complexes. Hermann, Paris (1961).)
3.4 DETERMINACIONES DEL ARGUMENTO Y DEL LOGARITMO.
Querramos denir la funci on logaritmo como la inversa de la funci on exponencial.
Pero nos encontramos con el problema, a diferencia de R, de que la funci on expo-
nencial no es inyectiva en C. Puesto que el logaritmo es una potente herramienta
en la teora de funciones de variable compleja, vamos a estudiarlo en todo detalle.
Valore s de la e xpone nc ial c omple ja
Proposici on.
(5.1) Dado z C, sea x = e z, y = mz. Entonces
e
z
= e
x+i y
= e
x
(cos y +i sen y)
(5.2) Para cada z C
e
_
e
z
_
= e
e z
cos(mz), m
_
e
z
_
= e
e z
sen(mz),
e
z
= e
e z
, mz arg
_
e
z
_
.
(5.3) La exponencial compleja no es inyectiva: es peri odica de periodo 2i . Con
mayor precisi on, dados z, w C, se tiene e
z
= e
w
si y s olo si z = w +2ki
para alg un k Z.
(5.4) El conjunto imagen de C mediante la exponencial es C \ {0}. Adem as, para
cada w C \ {0}, e
z
= w si y s olo si
z = ln |w| +i ( +2k), k Z, arg w.
Demostraci on. (5.1) Seg un la f ormula de adici on
e
z
= e
x
e
i y
,
y las f ormulas que ligan seno y coseno con exponenciales dan
cos y +i sen y = e
i y
.
(5.2) Aplicar lo anterior.
(5.3) Si z = w +2ki para alg un k Z, e
z
= e
w
e
2ki
= e
w
.
Recprocamente, sea e
z
= e
w
. Tomando m odulos,
e
e z
=
e
z
= |e
w
| = e
e w
,
luego por la inyectividad de la exponencial real
e z = e w.
Pero entonces
cos(mz) +i sen(mz) = cos(mw) +i sen(mw),
o sea
cos(mz) = cos(mw), sen(mz) = sen(mw),
lo que, seg un hemos visto en la proposici on anterior, s olo es posible si mz =
mw +2k para alg un k Z.
(5.4) Dado w C \ {0}, sea arg w y
z = ln |w| +i .
Obviamente e
z
= w, y cualquier otro complejo cuya exponencial coincida con w
ser a de la forma z + 2ki para alg un k Z por lo que acabamos de probar en
(5.3).
Esta informaci on engloba asimismo informaci on sobre el comportamiento de
otras funciones. Por ejemplo:
Corolario. Los unicos ceros del seno y el coseno son sus ceros reales. Expresado
de otro modo, si z C,
sen z = 0 z = k, k Z, cos z = 0 z =

2
+k, k Z.
Demostraci on. N otese que
sen z = 0 e
i z
= e
i z
e
2i z
= 1 = e
0
,
cos z = 0 e
i z
= e
i z
e
2i z
= 1 = e
i
.
De t e rminac ione s de l argume nt o y de l logarit mo.
La no inyectividad de la funci on exponencial C obliga a ser muy cuidadosos a la
hora de abordar una denici on de logaritmo.
Denici on. Dado 0 = z C, diremos que w es un logaritmo de z si exp w = z.
Por tanto, un n umero complejo tiene innitos logaritmos, pero sabemos a
qu e f ormula responden: misma parte real (el logaritmo real de |z|) y como parte
imaginaria un argumento de z,
exp w = z w = ln |z| +i ( +2k), k Z, arg z.
Podramos denir el conjunto
log z = {w : exp w = z}
y se tendr a la igualdad entre conjuntos,
log z = ln |z| +i arg z
Cuando queramos tener una funci on logaritmo, bastar a jar una funci on argu-
mento. Por ejemplo, si tomamos el argumento principal, tendramos la funci on
logaritmo principal. Sin embargo, necesitamos conceptos m as exibles.
Denici on. Sea = regi on, tal que 0 / .
1. Diremos que : R es una determinaci on del argumento en si:
i) es continua en .
ii) (z) arg z, z , (i.e., e
i (z)
=
z
|z|
).
2. Diremos que f : C es una determinaci on del logaritmo en si:
i) f es continua en .
ii) f (z) log z, z , (i.e., e
f (z)
= z).
Estos dos conceptos est an muy relacionados. En efecto,
Proposici on 1. Sea = regi on, tal que 0 / . Entonces,
es una determinaci on del argumento f (z) = ln |z| +i (z) es una determi-
naci on del logaritmo.
Demostraci on.
) Si es continua, es claro que f (z) = ln |z| +i (z) es continua, y
e
f (z)
= |z|e
i (z)
= |z|(z/|z|) = z.
) Si f es una determinaci on del logaritmo, en cada z , su parte real debe
ser ln |z| y su parte imaginaria (z) =
f (z) ln |z|
i
es una determinaci on del
argumento, pues es continua y
e
i (z)
= e
f (z)
e
ln |z|
= z/|z|.
Proposici on 2. Sea = regi on, tal que 0 / .
i) Si
1
,
2
son dos determinaciones del argumento, entonces
k Z,
1
(z) =
2
(z) +2k, z .
ii) Si f
1
, f
2
son dos determinaciones del logaritmo, entonces
k Z, f
1
(z) = f
2
(z) +2ki, z .
Demostraci on. i) Si
1
(z),
2
(z) arg z entonces, para cada z ,
1
(z)
2
(z) = 2k(z), con k(z) entero. La funci on k : Z es continua, y como
es regi on, su rango debe ser conexo y subconjunto de Z, luego solo puede ser un
punto. Es decir, k(z) k es constante.
ii) Consecuencia de i), o directamente de forma similar.
Ejemplos.
1. El ejemplo m as aparente es Arg z, que es una determinaci on del argumento
en la regi on C \ (, 0].
La correspondiente determinaci on del logaritmo en C \ (, 0]
Log z = ln |z| +i Arg z
se llama funci on logaritmo principal.
N otese que el dominio de denici on de esta funci on es C \ {0}, pero s olo es
continua en C \ (, 0]. Su restricci on a (0, +) es el logaritmo real.
2. An alogamente, jado R, la funci on Arg
[,+2)
es una determinaci on del
argumento en C \ {re
i
: r 0}. Y, la correspondiente determinaci on del
logaritmo es Log
[,+2)
z = ln |z| +i Arg
[,+2)
.
3. Las anteriores no son, obviamente, las unicas determinaciones del argumento
y del logaritmo. Veamos alg un ejemplo m as:

La funci on : R, denida por
(z) = Arg z, si z A,
(z) = Arg z +2, si z B,
(el segmento de R
lo debemos incluir
en A), es continua eny, encada punto,
(z) arg z. Por tanto, es una determi-
naci on del argumento en .
4.
Sea = C \ , ( une continuamente
0 e ).
La funci on : R, denida por
(z) = Arg z, si z A,
(z) = Arg z +2, si z B,
es una determinaci on del argumento en
.
5.
Sea = D(0; 2) \ D(0; 1). En no
existe determinaci on continua del argu-
mento. Supongamos que : R
lo es. En la regi on
= \ R
, y
Arg z son dos determinaciones del ar-
gumento y, por tanto, para alg un k Z
(z) = Arg z +2k, z
.
Pero entonces, no puede ser continua en porque si z
0
(2, 1), los lmites de
(z) para z z
0
a trav es de {z : mz > 0} o a trav es de {z : mz < 0}
dieren en 2.
Proposici on. Si f es una determinaci on del logaritmo en entonces f es holo-
morfa en . Adem as,
f

(z) =
1
z
, z .
Demostraci on. Fijemos un punto z
0
. Como la derivada de la funci on expo-
nencial es 1 en el punto 0, se tiene
lim
w0
e
w
1
w
= 1.
A partir de aqu, deducimos,
> 0, > 0 |w| <
w
e
w
1
1
< |z
0
|.
Por otro lado, como f es continua en z
0
, se tiene,
1
> 0 |h| <
1
| f (z
0
+h) f (z
0
)| < .
Juntando estos dos hechos, y usando que e
f (z)
= z, si |h| <
1
,
f (z
0
+h) f (z
0
)
h

1
z
0
f (z
0
+h) f (z
0
)
e
f (z
0
+h)
e
f (z
0
)

1
e
f (z
0
)
=
1
|z
0
|
f (z
0
+h) f (z
0
)
e
f (z
0
+h)f (z
0
)
1
1
< .
Luego, f es derivable en z
0
con derivada 1/z
0
.
Todava tenemos mucho m as.
Proposici on. Si f es una determinaci on del logaritmo en entonces f es analtica
en .
Demostraci on. Sea z
0
. Se verica
1
z
=
1
z
0
1
1 +
z z
0
z
0
=
n=0
(1)
n
(z z
0
)
n
z
n+1
0
, |z z
0
| < |z
0
|.
Por tanto, la serie de potencias primitiva t ermino a t ermino de la anterior
n=0
(1)
n
(z z
0
)
n+1
(n +1)z
n+1
0
es derivable en D(z
0
; |z
0
|) y su derivada es 1/z. Como este tambi en es el caso de
f en un entorno (conexo) de z
0
, tendremos
f (z) = C +
n=0
(1)
n
(z z
0
)
n+1
(n +1)z
n+1
0
en un entorno de z
0
. Por tanto, f es analtica en z
0
.
Observaci on.
La funci on Log(1 + z) es holomorfa (y analtica) en C \ (, 1], por
composici on. Por cambios de variable, o bien, repitiendo la demostraci on anterior,
obtenemos que el desarrollo en un entorno de 0 es:
Log(1 + z) = C +
n=0
(1)
n
z
n+1
n +1
, |z| < 1
Evaluando la igualdad en z = 0, vemos que el valor de la constante es C = Log 1 =
0.
Finalmente, cambiando el par ametro de sumaci on,
Log(1 + z) =
n=1
(1)
n+1
z
n
n
, |z| < 1.
El criterio de Dirichlet garantiza la convergencia de la serie tambi en para
|z| = 1, z = 1. La suma en tales puntos sigue siendo Log(1 + z) (por qu e?).
Observaci on.
En la pr actica, convendr a tener cuidado con el siguiente aspecto. Es claro
que si arg z, arg w, entonces + arg(zw), pero al particularizar
a determinaciones concretas del argumento no siempre se traduce esto en una
igualdad. As, en general,
Arg z +Arg w = Arg(zw).
De forma an aloga, en general,
Log z +Log w = Log(zw),
por ejemplo Log(1)+Log(1) = 2i = 0 = Log
_
(1)(1)
_
, aunque siempre
ocurre que
Log z +Log w log(zw).
3.5 EXPONENCIALES Y POTENCIAS ARBITRARIAS
Al tener concepto de logaritmo, podemos denir la potenciaci on.
Denici on. Dados u, v C, con u = 0, se dene el conjunto
u
v
= {exp(v) : log u}
Podramos poner brevemente (igualdad entre conjuntos),
u
v
= exp(v log u)
Los elementos del conjunto u
v
son, por tanto,
exp{v(ln |u| +i Arg u +2ki )}, k Z.
Este conjunto consta, en general, de innitos elementos. Pero, debido a la periodici-
dad de la funci on exponencial, estos elementos podran repetirse y dar un conjunto
nito. De hecho, es muy f acil probar que:
i) Si n N, u
n
consta de un solo elemento. Precisamente, u.u. . . .
n)
u.
ii) u
0
= 1.
iii) Si n Z
, u
n
=
1
u
n
.
iv) Si n N, u
1/n
consta de n elementos, justamente las n races n- esimas de u.
Ahora, bastar a precisar la elecci on de logaritmos para tener funciones expo-
nenciales y potenciales
1. Dado a = 0, la funci on
f (z) = a
z
= exp(z Log a)
es la funci on exponencial de base a. Es decir, a no ser que se indique lo
contrario, la expresi ona
z
indicar a que estamos tomandoel logaritmoprincipal.
Es claro que es una funci on entera (de hecho, analtica en C), pues s olo se
diferencia de la exponencial por el factor constante Log a.
2. Dado C, tambi en usaremos la notaci on z
para indicar la elecci on del

logaritmo principal.
f (z) = z
= exp( Log z), z C \ {0}.

Su dominio de denici on es C\{0}, pero solamente es holomorfa (y analtica),
por composici on de ellas, en C \ (, 0].
Cuando el par ametro es entero, es claro que, de hecho z
es holomorfa en
C \ {0}. Y si es natural, es holomorfa en C (deni endola como 0 en 0). En
cualquier otro caso, no puede ser holomorfa m as all a de C\ R
, pues es f acil
ver que en los puntos de R
no es contnua.
Desarrollo de (1 + z)
en serie de potencias centrada en 0.

Por razones obvias, se considera (1+z)
(y no z
) para desarrollar en potencias

de z. En todo caso, es claro que simples cambios de variable llevan la informaci on
de una funci on a otra.
Denotemos
f (z) = (1 + z)
= exp( Log(1 + z)), z = 1.

Esta funci on es analtica en C \ (, 1] (por composici on de analticas) y, por
tanto, es analtica en 0. Esto, te oricamente, nos dice que existe una serie de potencias
centrada en 0 con radio R > 0, tal que
f (z) =
n=0
a
n
z
n
en un entorno de 0. Si derivamos por la regla de la cadena,
f

(z) =
f (z)
1 + z
y, as, se debe cumplir la ecuaci on
(1 + z) f

(z) f (z) = 0. (1)
Por otra parte, la derivada de f es
f

(z) =
n=1
a
n
nz
n1
Entonces, la ecuaci on (1) queda
n=1
a
n
nz
n1
+
n=1
a
n
nz
n
n=0
a
n
z
n
= (a
1
a
0
) +
n=1
((n +1)a
n+1
+(n )a
n
)z
n
= 0
en un entorno del origen. Luego todos los coecientes deben ser 0, o sea,
(n +1)a
n+1
= ( n)a
n
, n = 0, 1, 2, . . .
Empezando con a
0
= f (0) = 1, es f acil comprobar por inducci on que
a
n
=
( 1) . . . ( n +1)
n!
Llamaremos a esta ultima cantidad n umero combinatorio generalizado y deno-
taremos (para C)
_
n
_
=
( 1) . . . ( n +1)
n!
, n N;
_
0
_
= 1.
Por tanto, hemos obtenido
(1 + z)
n=0
_
n
_
z
n
, (2)
en un entorno del origen.
Por ultimo, observemos que si es un n umero natural,
_
n
_
= 0 si n > y la
ecuaci on (2) no es otra cosa que la f ormula del binomio de Newton.
En otro caso, es f acil ver que la serie en (2) tiene radio R = 1. Tanto f como
la serie son analticas en D(0; 1) y coinciden en un entorno del origen. Entonces,
por el P.P.A. tendremos
(1 + z)
n=0
_
n
_
z
n
, |z| < 1.
Raz cuadrada principal.
Cuando se particulariza lo anterior para el exponente = 1/2, obtenemos
el conjunto de las races cuadradas y la raz cuadrada principal. Nos encontramos
ahora con un buen lo de notaci on: qu e signica z
1/2
? qu e signica

z? Los
convenios utilizados varan de unos textos a otros, por lo cual, ante la menor
ambig uedad, merece la pena explicitar el signicado atribuido a los signos que se
est en empleando.
En todo lo que sigue, salvo que se diga expresamente otra cosa, pondremos:
(i)
z para el conjunto de las races cuadradas de z, es decir,
z
def
= {w C : w
2
= z}.
(Ojo: no es una notaci on est andar). Tiene sentido para todo z C, incluido
z = 0.
(ii)

z o z
1
2
para la raz cuadrada principal de z, es decir,
z
def
= z
1
2
def
= e
(1/2) Log z
.
Tiene sentido para todo z C\ {0}, aunque por comodidad puede ser conve-
niente a veces escribir tambi en
0 = 0
1
2
= 0.
(ii.1) Seg un este convenio, para todo z C es
z = {
z,
z} = {z
1
2
, z
1
2
}.
(ii.2) Cuando z sea un n umero real no negativo, z [0, +), como z = 0 o
Arg z = 0 se obtiene como raz cuadrada principal de z justamente su
raz cuadrada real no negativa, con lo cual las notaciones introducidas
son consistentes con las que empleamos para n umeros reales.
Por lo que a desarrollos en serie de potencias respecta, bien repitiendo el
proceso visto anteriormente o bien calculando
_
1/2
n
_
= (1)
n1
1 3 5 (2n 3)
2 4 6 (2n)
, n 2,
que suele abreviarse mediante factoriales dobles en
_
1/2
n
_
= (1)
n1
(2n 3)!!
(2n)!!
,
queda, incluso si |z| = 1 (los coecientes son del tama no de n
3/2
),
1 + z = 1 +
1
2
z +
n=2
(1)
n1
(2n 3)!!
(2n)!!
z
n
= 1 +
1
2
z
1
8
z
2
+
1
16
z
3
5
128
z
4
+. . . , |z| 1.
Otro desarrollo importante, correspondiente a =
1
2
, es
1
1 + z
= 1 +
n=1
(1)
n
(2n 1)!!
(2n)!!
z
n
= 1
1
2
z +
3
8
z
2
5
16
z
3
+. . . , |z| < 1.
Del criterio de Dirichlet y el teorema del lmite de Abel se sigue que el
desarrollo es v alido siempre que |z| 1, z = 1.
3.6 OTRAS FUNCIONES ELEMENTALES
Func ione s t rigonom e t ric as e hipe rb olic as c omple jas .
Funciones trigonom etricas como la tangente, cotangente, secante y cosecante, as
como las funciones hiperb olicas, se pueden denir en C usando las f ormulas que
las denen en R. Las funciones obtenidas son las unicas extensiones analticas al
dominio correspondiente de las funciones reales del mismo nombre. De entre las
muchas relaciones y propiedades que podemos deducir f acilmente, nos limitamos
a se nalar un par de ellas que ligan funciones de distinto grupo.
Proposici on. Dado z C,
Sh z = i sen(i z), Ch z = cos(i z).
Ot ras func ione s inve rs as
La funci on arco tangente compleja.
Para su denici on, de nuevo tendremos que tomar precauciones, porque la
funci on tangente en C no es inyectiva. Tendremos que empezar por resolver la
ecuaci on
tan w = z
para z C jado. Aplicando la denici on
tan w = z
_
_
_
e
i w
+e
i w
= 0
e
i w
e
i w
e
i w
+e
i w
= i z

_
_
_
e
2i w
= 1
e
2i w
1
e
2i w
+1
= i z
(1 i z) e
2i w

=1 +i z
_
z = i, i
e
2i w
=
1 +i z
1 i z
[= 1]
Observamos en que si z = i o z = i no puede haber soluci on. Si z no es uno
de estos valores, las soluciones w son tales que
2i w log
_
1 +i z
1 i z
_
w
1
2i
log
_
1 +i z
1 i z
_
Hemos demostrado con esto que la funci on tangente
tan : C \ {
2
+k : k Z} C \ {i, i }
es suprayectiva, y dado z C \ {i, i },
tan w = z w
1
2i
log
_
1 +i z
1 i z
_
As, podramos escribir, para z C \ {i, i }, el conjunto
arctan z =
1
2i
log
_
1 +i z
1 i z
_
y, para tener una funci on, elegimos alg un logaritmo. Por supuesto, lo m as l ogico es
trabajar (casi siempre) con el principal. As, la funci on arco tangente principal,
que escribiremos Arctan z, ser a
Arctan z =
1
2i
Log
_
1 +i z
1 i z
_
, z = i, i.
El dominio de denici on es C\{i, i }. Veamos d onde es analtica. Por composici on
de analticas lo ser a en todos los puntos, salvo a lo m as en aqu ellos en que
1 +i z
1 i z
R
.
Hallemos estos zs:
1 +i z
1 i z
= z = i
1
1 +
.
Cuando recorre los n umeros reales negativos, z recorre el conjunto
I = {i x : x (, 1) [1, +)}.
Por tanto, la funci on Arctan z es analtica en el abierto = C \ I . (Que no lo es
en los puntos de I se prueba como siempre.)
I
i
-i
O
.
.
Notemos que, en particular, es analtica
en el disco unidad. Vamos a hallar su
desarrollo en serie de potencias de z.
Por la regla de la cadena, es f acil llegar
a que
Arctan
(z) =
1
1 + z
2
, z .
Si tenemos en cuenta que
1
1 + z
2
=
n=0
(1)
n
z
2n
, |z| < 1,
por igualdad de derivadas en D(0; 1) (conexo),
Arctan z =
n=0
(1)
n
z
2n+1
2n +1
, |z| < 1,
salvo la adici on de una constante C, de valor C = Arctan 0 = 0.
La funci on Arctan es una extensi on analtica (la unica posible en ) de la
funci on arco tangente real arc tg, inversa de la restricci on de la tangente al intervalo
(/2, /2). (Por qu e?)
Argumento principal y arco tangente real.
Para ciertos c alculos que efectuaremos posteriormente conviene disponer de
expresiones del argumento principal m as manejables que su denici on. Para cada
z = 0 se tiene
x = e z = |z| cos(Arg z), y = mz = |z| sen(Arg z),
luego tg (Arg z) = y/x si x = 0. Examinando los rangos de Arg y Arctan, se sigue
Arg(x +i y) =
_
_
Arctan
y
x
si x > 0;
Arctan
y
x
+ si x < 0, y 0;
Arctan
y
x
si x < 0, y < 0;
en esquema, repartido por cuadrantes,
Arg(x +i y) = Arg(x +i y) =
Arctan
y
x
+ Arctan
y
x
Arg(x +i y) = Arg(x +i y) =
Arctan
y
x
Arctan
y
x
La funci on arco seno compleja.
Fijado z C, tenemos que resolver la ecuaci on sen w = z. Con nuestra
notaci on
sen w = z e
i w
e
i w
= 2i z (e
i w
)
2
2i ze
i w
1 = 0
e
i w
i z
_
1 z
2
. (1)
N otese que
1 z
2
representa dos valores (los dos que elevados al cuadrado
nos dan 1 z
2
).
Sea cual sea z C, ninguno de los dos valores de i z
1 z
2
es 0, ya que
i z
_
1 z
2
z
2
= 1 z
2
.
Por tanto, la ecuaci on (1) siempre tiene soluci on, a saber, aquellos w tales que
w
1
i
log(i z
_
1 z
2
).
Hemos demostrado entonces que
sen : C C
es suprayectiva, y adem as, para cada z C, podemos denir el conjunto
arcsen z =
1
i
log(i z
_
1 z
2
)
donde, insistimos, por cada uno de los valores de z hay dos de
1 z
2
.
Si queremos una funci on Arcsen z, elegiremos las ramas principales, tanto en
el logaritmo, como en la raiz interior.
Arcsen z =
1
i
Log(i z +
_
1 z
2
), z C.
El dominio de esta funci on es todo C (si z = 1, entendemos
0 = 0).
Veamos d onde es analtica. Empezamos por la raz interior. Ser a analtica,
excepto a lo m as en los zs tales que
1 z
2
(, 0] z
2
[1, +) z [1, +) (, 1].
Por tanto, la determinaci on principal de

1 z
2
es analtica en C \ ([1, +)
(, 1]).
Ahora, en lo que respecta al logaritmo exterior, debemos quitar los zs tales
que i z +
1 z
2
R
. Pero,
i z +
_
1 z
2
= R

_
1 z
2
= i z (2)
De aqu, tiene que ser
1 z
2
= ( i z)
2
z = i
_
1
2
2
_
. (3)
Al elevar al cuadrado, se pueden a nadir soluciones. Entonces, tenemos que llevar
la expresi on (3) a (2) y tenemos
_
1 +
(1
2
)
2
4
2
= +
1
2
2
_
(1 +
2
)
2
4
2
=
1 +
2
2
.
Pero, comprobamos que la raiz principal de este n umero es el n umero positivo
(1 +
2
)/2||, de donde
(1 +
2
)
2||
=
1 +
2
2
= || = .
Este argumento ha demostrado que nunca sucede i z +
1 z
2
R
. Por tanto,
la unica limitaci on es la del principio, y concluimos que:
La funci on Arcsen es analtica en C \ ([1, +) (, 1]).
En particular, lo es en D(0; 1). Para hallar el correspondiente desarrollo en
serie, primero, comprobamos por la regla de la cadena que
Arcsen
(z) =
1
1 z
2
, z C \ ([1, +) (, 1]).
Por otro lado,
1
1 z
2
= (1 z
2
)
1/2
=
n=0
_
1/2
n
_
(1)
n
z
2n
, |z| < 1.
Integrando, (de nuevo la constante es C = Arcsen 0 = 0),
Arcsen z =
n=0
_
1/2
n
_
(1)
n
z
2n+1
2n +1
, |z| < 1.
La funci on Arcsen es una extensi on analtica (la unica posible en
C \ ([1, +) (, 1])) de la funci on arco seno real. (Por qu e?)

Funciones Elementales Basicas

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Funciones Elementales Basicas

Uploaded by

Copyright:

Available Formats

CAP

(z) = cos z, cos

para indicar la elecci on del

= exp( Log z), z C \ {0}.

en serie de potencias centrada en 0.

) para desarrollar en potencias

= exp( Log(1 + z)), z = 1.

z para el conjunto de las races cuadradas de z, es decir,

You might also like