Las Funciones Elementales Complejas

Problema de extensin o prolongacin: dada una funcin real

f (x), se puede definir f para nmeros complejos, manteniendo las
propiedades de f ?
Qu dominio tendr la nueva funcin?
Qu propiedades deben mantenerse?
La extensin es nica?
Qu nuevas propiedades tendr la funcin extendida?

La Frmula de Euler
exp(ix) = cos(x) + i sen(x)
Idea: usar las series de Taylor (reales) en 0 (series de MacLaurin):
x2 x3 x4
+
+
+ ...
2!
3!
4!
x2 x4 x6
cos(x) = 1
+

+ ...
2!
4!
6!
x3 x5 x7
sin(x) = x
+

+ ...
3!
5!
7!

exp(x) = 1 + x +

Qu puede producir este patrn de signos? Las potencias de i!

in = 1, i, 1, i, 1, i, 1, i, . . .
luego al sustituir ix por x en la serie de exp(x) aparece cis(x).
La identidad de Euler
ei + 1 = 0
Aparecen las cinco constantes universales: 1, 0, , e, i.
1

 La trigonometra (real) es lgebra compleja con exponenciales.

Una de las ms notables frmulas, casi asombrosa, de todas las matemticas Richard Feynman.

La Exponencial
Para que exp(z + w) = exp(z) exp(w), solo se puede definir como
exp(x + iy) = ex cis(y)

x, y R

ex para x R es la exponencial real habitual.

Notacin: ez , exp(z).
Como todava no hemos definido una potencia compleja, ez es solo
notacin, de momento.
La serie de Taylor compleja
exp(z) =

X
zn
n=0

n!

Es la misma que la real, pero con variable compleja. Por qu?

!

k X
l
k l
k l
X
X
X
X
X
z
w
z w
z w

=
=
k!
l!
k!l!
k!l!
n=0 k+l=n
k=0
l=0
k,l0
!

X
X
X
n! k l
(z + w)n
1
=
z w =
n!
k!l!
n!
n=0
n=0
k+l=n

entonces, para x, y R,
x

e =

X
xk
k=0

k!

cis(y) =

X
(iy)l
k=0

l!

= e cis(y) =

X
(x + iy)n
n=0

n!

 Propiedades Bsicas
ez nunca es 0. De hecho
|ez | = eRe z

ez+w = ez ew
e0 = 1
ez = 1/ez
Resumen: ez : C C es un morfismo de grupos.
Periodicidad
ez = ew z w mod 2iZ
Primero, ez = ew ezw = 1, luego basta con demostrar que
ez = 1 z 2iZ. Calculando, se ve que e2in = 1 para todo
n Z. Adems
ez = 1 = |ez | = eRe z = 1 = Re z = 0 = z = i,

= ei = cis = 1 = 2Z = z = i 2iZ
Geometra de la exponencial
La imagen de una recta vertical es una circunferencia de centro 0.
ex0 +iR = ex0 eiR = ex0 T = C(0, ex0 )
La imagen de una recta horizontal es una semirrecta desde 0.
ex+iy0 = ex eiy0 = R+ eiy0 = Sy0
donde S es la semirrecta desde 0 (sin incluir) con ngulo polar .
3

 Logaritmos complejos
Conjunto de logaritmos
{log w} = {z : exp(z) = w}

Frmula para los logaritmos complejos

{log w} = logR |w| + i{arg w}
o sea, si es un logaritmo particular (solucin de exp() = w)
{log w} = + 2iZ
la parte real de un logaritmo es siempre el logaritmo real del mdulo, y
la parte imaginaria es un argumento

Demostracin.
{log w} logR |w| + i{arg w}
Escribir w en forma polar: w = |w| cis(), por tanto {arg w}
Escribir z en forma rectangular: z = x + iy con x, y R
w = exp(z) |w| cis() = ex cis(y) = |w| = ex
al tomar mdulos. Por tanto x = logR |w|. Cancelando |w| = ex ,
cis() = cis(y) y mod 2Z y {arg w}
{log w} logR |w| + i{arg w}
Sea z = x + iy con x = logR |w|, y {arg w}. Entonces exp(z) =
ex cis(y) = |w| cis(y) = w.

 Interpretacin algebraica
exp : C C ,

ker exp = 2iZ = C/2iZ

= C

luego induce una inversa al cociente log : C C/2iZ. El conjunto

de logaritmos es una clase de equivalencia.
Ramas (determinaciones) del logaritmo
regiones de inyectividad de exp(z), eliminando la periodicidad:
B = R + i(, + 2)

(banda horizontal)

Imagen: exp(B ) = eR ei(,+2) = R+ (T \ ei ) = C \ S

La inversa es una rama o determinacin del logaritmo
log : C \ S B
(selecciona un logaritmo del conjunto total de logaritmos)
Frmula para una rama del logaritmo
La inversa de exp : B C \ S es el logaritmo log : C \ S B ,
lo cual require que tomemos para la parte imaginaria del logaritmo el
argumento y (, + 2)
log (w) = logR |w| + i arg (w)

Inclusin de la semirrecta cortada

Cerrando la banda B por un lado con (, + 2] con [, + 2),
la imagen de exp es todo C , por tanto el logaritmo est definido en
todo C , pero es discontinuo en S al serlo el argumento.

 El Logaritmo principal
Log w = logR |w| + i Arg w
recordando que
Arg w (, ]
Es til entre otras razones porque satisface
Log z = Log z
ya que
Arg(
z ) = Arg z
Ejemplos
Log(x) = logR (x) (x > 0),

Log(1) = i

Relacin de inversas
exp(log (w)) = w,

w C

La exponencial de un logaritmo siempre es la identidad, por definicin

log (exp(z)) = z cuando z B ,

pero en general
log (exp(z)) = z 0
donde z 0 es el nico z 0 B con z 0 z mod 2iZ (sumar o restar
mltiplos enteros de 2i z hasta entrar en la banda).
La rama en del logaritmo compuesta con la exponencial selecciona el representante
con < Im z +2 Im z < +2 de la clase de equivalencia de z mod 2iZ

ejemplo exp(3i) = exp(i) = 1, pero

Log(e3i ) 6= 3i,

Log(e3i ) = i = Log(1).

sino que
6

 Potencias
Conjunto de Potencias Para z 6= 0, a C, consideramos


{z a } = exp(a{log z}) = exp(a) : {log z}
Sea {log z} un logaritmo particular de z, o sea, z = exp().
Entonces w = exp(a) es una potencia particular de z con exponente
a. Se tiene
{z a } = exp(a( + 2iZ)) = exp(a) exp(2iaZ)
= w exp(2iaZ)
Esto indica que la eleccin de potencia particular no altera el conjunto.
Algebraicamente, significa que el conjunto de potencias es una clase
de equivalencia en
C / exp(2iaZ)
Casos particulares
a=mZ

(potencias algebraicas)

En este caso exp(2iaZ) = {1}, o sea, slo hay un elemento. Cul

es? Pues basta con encontrar una potencia particular y sa ser.
Elegimos un logaritmo particular {log z}. Como z = exp() y
m Z, la propiedad de homomorfismo de exp(z) significa que
w = exp(m) = exp()m = z m
donde se trata de la potencia en sentido

z z z

1
1
1
m
z =

z z m z

1
7

algebraico, es decir,
m>0
m<0
m=0

a=

1
, mZ\0
m

(races enteras)


{z 1/m } = exp
m


2i
exp
Z = w Tm
m

Este conjunto es precisamente el de races en el sentido habitual:

{z 1/m } = {w : wm = z}

Un elemento w = exp


wm = exp
m

m

con Tm satisface

m = exp() 1 = z,

al tratarse de una potencia algebraica. En particular, wm = z.

:

si wm = z entonces, tambin por ser potencias algebraicas,

wm = wm = z = (w/w )m = wm /wm = z/z = 1
= = w/w Tm
= w = w w Tm = {z 1/m }.

Si z est en forma polar, z = rei , usando el logaritmo particular

= logR r + i
tenemos la raz particular correspondiente
1

w = e/m = e m logR r+i m

= e m logR r ei m
= elogR r

1/m

ei m

= r1/m ei m
donde r1/m es la nica raz msima real del mdulo r = |z|.
8

z = x R+ , a R

(potencias reales de reales positivos)

Tomando = logR x R tenemos

a

ea = ea logR x = elogR x = (xa )R

(potencia real usual)

por tanto
{xa } = ea e2iaZ = (xa )R e2iaZ
El subgrupo exp(2iaZ) C
Poniendo a = exp(2ia), vemos que se trata del subgrupo de C
generado por a , es decir, sus potencias (algebraicas):
exp(2iaZ) = {an : n Z} := ha i
por la propiedad de homomorfismo de exp(z).
Si Im a 6= 0, | exp(2iaZ)| es infinito, por tanto exp(2iaZ) tambin:
Pongamos a = + i con , R y sea n Z. Tenemos
exp(2ian) = exp(2i( + i)n)
= exp(2in) exp(2n)
= e2n cis(2n)
donde ex denota la exponencial real. Tomando mdulos,
| exp(2iaZ)| = e2Z
con lo cual si 6= 0, esto es una sucesin infinita de reales positivos.
Si Im a = 0, es a = R, con exp(2iaZ) T. Para a R,
# exp(2iaZ) < a Q
siendo entonces exp(2iaZ) = Tm un grupo de races de la unidad.
9

Por tanto en general, para cualquier potencia,

#{z a } < a Q
siendo entonces {z a } = Tm para algn m = 1, 2, 3, . . . .
De hecho exp(2iaZ) est equidistribuido en T si a R \ Q
Ramas de la Potencia
z a = ea log z
donde log z es una rama del logaritmo. La rama principal corresponde al logaritmo principal.
Si a = m Z, z m siempre es la potencia algebraica.
Si a = 1/m, m Z \ 0, entonces z 1/m es una raz msima de z
Si z = x > 0 y a R, la rama principal de xa es la potencia real
usual, ya que Arg x = 0.
La potencia principal de ea es exp(a)
Efectivamente, ea = exp(a Log e) y Log e = logR e = 1.
Por eso podemos escribir ez en vez de exp(z) a partir de ahora.
Propiedades generales de las potencias complejas
z a+b = z a z b
z0 = 1
1
z a = a
z
za
ab
z
= b
z
Cualquier otra propiedad de la potencia real es falsa para
potencias complejas en general
10

 Trampas (frmulas que en general son falsas)

log(zw) 6= log z + log w

Rama (, 3), z = w = 1 rama prin-

cipal, z = w = e2i/3 , rama principal, z = 1, w = i.

1a 6= 1

Rama (, 3),
1

11/m = e m log 1 = e2i/m .

Con la rama principal, si se tiene 1a = 1.
log z a 6= a log z

(z a )b 6= z ab

(zw)a 6= z a wa

Rama principal, z = i, a = 3

Rama principal, z = i, a = 3, b = 1/3

Rama (, 3), z = w = 1, a = 1/m

Frmulas de Conjuntos que arreglan lo anterior

{log zw} = {log z} + {log w}
{1a } = e2iaZ
{log{z a }} = a{log z} + 2iZ
{{z a }b } = {z ab } e2ibZ
{(zw)a } = {z a } {wa }

11