Está en la página 1de 4

La funcion exponencial compleja

En lo que sigue, exp denotara la funcion denida por la formula


exp(z) =

n=0
z
n
n!
(exponencial compleja). La serie anterior tiene radio de convergencia innito, luego
dene una funcion entera. Derivando, resulta directamente que exp

(z) = exp(z). Clara-


mente, exp(0) = 1 y exp(z) = exp(z).
a).- exp(z) ,= 0 para todo z C y (exp(z))
1
= exp (z), z C.
En efecto, la funcion h(z) := exp(z)exp(z) es entera y verica h

(z) = 0, z C.
Por tanto. h(z) = h(0) = 1, z C.
b).- si f es una funcion holomorfa en un dominio G que contiene a 0, tal que f

= f
y f(0) = 1, entonces f = exp en G.
La funcion g(z) := f(z)exp(z) es holomorfa en G y g

(z) = 0 , luego g(z) = g(0) =


1 z G.
c).- para todo par de puntos z, w C se cumple (exp w)(exp z) =exp(w + z).
Para cada w C, consideremos la funcion f
w
(z) := exp(z +w)exp(z). De nuevo, f
w
es entera y satisface f

w
(z) = 0 z C, luego f
w
(z) = f
w
(0) = exp(w).
d).- La funcion exp(z) es analtica.
En efecto, si a C se tiene que exp(z) = exp(a)exp(z a) = exp(a)

n=0
(za)
n
n!
=

n=0
exp(a)
n!
(z a)
n
, lo que proporciona una expresion de exp(z) en serie de potencias
centrada en a.
e).- exp(z) = e
x
cos y +ie
x
sen y para z = x+iy C. As pues, exp es la unica funcion
entera que coincide con la exponencial real sobre R. Por ello, escribiremos indistintamente
exp(z) = e
z
, z C
La funcion f(x + iy) := e
x
cos y + ie
x
sen y es entera (sus partes real e imaginaria
son de clase innito y verican las condiciones de Cauchy-Riemann) y cumple f

(z) =
(/x)'f(z) + i(/x)f(z) = f(z), f(0) = 1, luego coincide con exp. El teorema de
identidad justica la ultima armacion
f).- [expz[ = exp('z) y [exp w[ = 1 w Ri. Ded uzcase tambien de (e) que
exp(w) = 1 w = 2ki, k N.
[exp(z)[
2
= exp(z)exp(z) = exp(z)exp(z) = exp(z + z) = e
2z
. Por tanto, [exp w[ =
1 e
w
= 1 'w = 0 w Ri. Finalmente, de lo anterior y (e) resulta que
exp(z) = 1 'z = 0 y cos z = 1 z = 2ki, k N.
g).- Ded uzcase que exp(C) = C0.
Si z C0 podemos escribir z = [z[
z
|z|
= e
log |z|
exp
i
=exp(log [z[ + i), para alg un
1
R (Todo punto de la circunferencia unidad del plano es de la forma (cos , sen )).
2
Funciones Logaritmo en el campo complejo.
Sea G un dominio en C. Una funcion holomorfa H(G) se llama una funcion
logaritmo sobre G si exp((z)) = z para todo z G. (Obviamente, 0 / G en este caso.)
a).- Si es una funcion logaritmo sobre G, +2in : n Z es el conjunto de todas
las funciones logaritmo sobre G.
Desde luego, +2in (n Z) es tambien una funcion logaritmo sobre G. Si
1
es otra
funcion logaritmo sobre G, exp(
1
) = exp()(exp(
1
)
1
= 1, luego para cada z G
existe un entero n(z) tal que (z) =
1
(z) +2in(z). Pero n(z) =
(z)
1
(z)
2i
es continua y
toma valores enteros sobre el conexo G, luego ha de ser constante.
b).- es una funcion logaritmo sobre G si y solo si

(z) =
1
z
en G y exp((a)) = a
para al menos un a G.
Si es una funcion logaritmo sobre G, derivando la expresion exp((z)) = z, resulta
que

(z) =
1
z
. Recprocamente, la funcion g(z) := zexp((z)) es holomorfa en G y, por
la hipotesis, tiene derivada 0. Por la conexion de G resulta entonces que g(z) = g(a) =
1, z G.
c).- La funcion
(z) :=

k=1
(1)
k1
k
(z 1)
k
es una funcion logaritmo en el disco D(1; 1), y para cada a, C0 y b un logaritmo de
a, (
z
a
) + b es una funcion logaritmo sobre D(a; [a[).
La serie que dene tiene radio de convergencia 1 (criterio del cociente, p.e.), luego
H(G(1; 1)). ademas

(z) =

n=0
(1)
n
(z 1)
n
=
1
1 + (z 1)
=
1
z
([z 1[ < 1)
Como (1) = 0, de (b) resulta que es una funcion logaritmo en D(1; 1). Obviamente,
la funcion
a
(z) := (
z
a
) + b es holomorfa en [z a[ < [a[ y cumple exp(
a
(z)) =
exp((z/a))exp(b) =
z
a
a = z.
e).- Si : G C es continua y verica exp((z)) = z para todo z G, entonces es
una funcion logaritmo sobre G.
Sea a G (desde luego, a ,= 0), y sea
a
la funcion logaritmo en D(a; [a[) considerada
en (c). Entonces exp((z)
a
(z)) = 1 en alg un disco D(a, r) G (r [a[). Por tanto, la
funcion continua D(a; r) z
(z)
a
(z)
2i
toma valores enteros, luego ha de ser constante
sobre D(a; r), e.d., existe n Z tal que (z) =
a
(z) + 2in, z D(a; r). Por tanto,
es holomorfa en D(a; r). La arbitrariedad de a G muestra que es holomorfa en G.
f).- Sea C

:= Cr : r 0 Todo elemento de C

se escribe de una unica manera en


3
la forma z = [z[exp(i), con < = Arg(z) < . Entonces
Log(z) := log [z[ + i,
es una funcion logaritmo en C

que coincide sobre D(1, 1) con la funcion (z) denida


en (c).
Es claro que exp(Log(z)) = z z C

, luego basta probar (por (e)) que Log(z) es


continua y, para ello, que C

z = [z[exp(i) = Arg(z), ( < < ) es continua.


Pero ya se ha visto (Cuestion 1 de la hoja 2) que
Arg(z) = 2 arctan
Im(z)
Re(z) +[z[
. z C

,
lo que pone de maniesto que C

z Arg(z) es continua.
Por (c), Log[
D(1;1)
y son funciones logaritmo en D(1, 1), y Log(1) = 0 = (1), luego,
por (a), Log [
D(1;1)
= .
4