a

r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Universidad de Los Lagos
Funciones logaritmo complejo
y
potencia compleja
Alumnos:
Cristian Arteaga
Guillermo Salgado
Profesor: Sr. Rigoberto Medina.
Julio, 2014.
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Sabemos que la funcin logaritmo es la inversa de la exponecial en
los reales, es decir;
log
b
a = x, entonces b
x
= a
ln a = x, entonces e
x
= a; donde ln a = log
e
a
Observacin: Se utiliza la notacin log para redenir logaritmo natu-
ral.
Luego, deniremos las funciones anteriores en los complejos, con z =
x + yi; entonces
1.- log
z
e
= z
2.- e
log z
= z
Prueba 1:
z = z 1
= z log e
= log e
z
Prueba 2:
z = z = log z = log z
= log z 1
= log z log e
= log e
log z
log z = log e
log z
= z = e
log z
Ahora la representacin polar de un complejo quedo de la siguiente forma.
Sea, z = |z|e
iargz
Luego, al aplicar log a la expresin anterior nos queda:
log z = log |z|e
iargz
= log |z| + log e
iargz
= log |z| + iargz log e
= log |z| + iargz 1
= log |z| + iargz
1
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Denicin: z = log |z| + iargz
Por la denicin anterior, tenemos que:
log z = log |z| + iargz
log w = log |w| + iargw
Ahora;
log z log w = log |z| + iargz (log |w| + iargw)
= log |z| + iargz log |w| iargw
= log |z| log |w| + iargz iargw
= (log |z| log |w|) + i(argz argw)
Observacin: Todo lo anterior, atrevez de la suma de Riemann, en
terminos de vecindades para el clculo y anlisis de lmites, continuidad,
derivabilidad y analticidad.
Teorema: La funcin log z = log |z| + iargz es analtica para todo z en
Riemann.
Prueba Demostraremos que la analiticidad atrevez de sis derivadas par-
ciales.
Sea |z| =

x
2
+ y
2
. Aplicando logaritmo
log |z| = log

x
2
+ y
2
= log

x
2
+ y
2
= log(x
2
+ y
2
)
1
2
=
1
2
log(x
2
+ y
2
)
Sea, el argumento de z, es decir: argz = , argz = tan
1
y
x
+n, donde
n es la periodicidad.
Luego; realizando el calculo de las derivadas.
2
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Sea f =
1
2
log(x
2
+ y
2
)
f
x
=
1
2

1
x
2
+ y
2
2x

=
1
2

2x
x
2
+ y
2
=
x
x
2
+ y
2
f
y
=
1
2

1
x
2
+ y
2
2y

=
1
2

2y
x
2
+ y
2
=
y
x
2
+ y
2
Sea g = tan
1
y
x
+ n
g
x
=

y
x

1 +

y
x

2
=

y
x
2
x
2
+ y
2
x
2
=
y
x
2
+ y
2
g
y
=

y
x

1 +

y
x

2
=
x
x
2
x
2
+ y
2
x
2
=
x
x
2
+ y
2
Hemos probado que las derivadas parciales de las funciones f y g son
continuas en Riemann, ya que la analiticidad es una propiedad local y es una
condicin suciente.
A continuacin, probaremos algunas propiedades usuales de un logaritmo
complejo. Sean z
1
, z
2
puntos de la supercie de Riemann.
a) log z
1
z
2
= log z
1
+ log z
2
b) log
z
1
z
2
= log z
1
log z
2
3
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Prueba: Sean: log z
1
= x = e
x
= z
1
y log z
2
= y = e
y
= z
2
De lo anterior:
e
x
e
y
= z
1
z
2
e
x+y
= z
1
z
2
log e
x+y
= log z
1
z
2
x + y log e = log z
1
z
2
x + y = log z
1
z
2
log z
1
z
2
= log z
1
+ log z
2
por otro lado:
e
x
e
y
=
z
1
z
2
e
xy
=
z
1
z
2
log e
xy
= log

z
1
z
2

x y log e = log

z
1
z
2

x y = log

z
1
z
2

log z
1
log z
2
= log
z
1
z
2
A continuacin proberemos que la denida de z = e
log z
se cumple en
Riemann
dz
dz
=
de
log x
dz
1 = e
log x
d log z
dz
1 = e
log x

1
z
z = e
log x
Es necesario mencionar que no siempre la propiedades usuales de logarit-
mo se cumplen para los logaritmo complejo.
4
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Ejemplo
log i = log i + iargi
= log

0 + 1
2
+ iarg(0 + i)
=
1
2
log 1 + i

2
=
1
2
0 + i

2
=

2
i
...
log(1 + i) = log | 1 + i| + iarg(1 + i)
= log

(1)
2
+ 1
2
+ i
3
4

= log

2 +
3
4
i
=
1
2
log 2 +
3
4
i
...
5
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
log i + log(1 + i) =

2
i +
1
2
log 2 +
3
4
i
=
1
2
log 2 +
5
4
i. . . (1)
Ahora;
log[i(1 + i)] = log(i + i
2
)
= log(i 1)
= log | i 1| + iarg(1 i)
= log

1
2
+ 1
2
+ i

3
4

= log

2 +
3
4
i
=
1
2
log 2 +
3
4
i. . . (2)
...
Finalmente de (1) y de (1) podemos concluir que no se cumple la propie-
dad.
log[i(1 + i)] = log i + log(1 + i)
Las expresiones anteriores dieren por 2i ya que;
1
2
log 2 +
5
4
i

1
2

3
4

=
5
4
+
3
4
i
=
8
4
i
= 2i
Por el argumento de la representacin graca de los complejos es 2 =
360

6
a
r
t
e
a
g
a
c
u
l
i
a
o
p
a
g
a
Denicin: Sea z = e
log z
, elevado a a; con a = 0 C y z = 0
z
a
= e
(log z)
a
= e
a log z
Luego, la funcin z
a
es analitica, ya que cumple con la composicin por
la regla de la cadena.

e
a log z

= e
a log z
(a log z)

= e
a log z

o +
a
z

=
ae
a log z
z

Por otro lado:

(z
a
)

= az
a1
Por lo anterior, en la igualdad de la funcin z
a
= e
a log z
nos queda:
ae
a log z
z
= az
a1
Ahora, analizaremos que ocurre con un a de la forma
m
n
, es decir, a =
m
n
,
con
m
n
> 0.
Sea k = 0, 1, 2, ... (puntos colinales que dividen la graca en el eje
imaginario)
e
(
m
n
)2ki
= e
(
m
n
)2(pn+q)i
, donde k = pn + q
= e
(
m
n
)2ipn+(
m
n
)2iq
= e
(
m
n
)2ipn
e
(
m
n
)2iq
= e
2mip
e
(
m
n
)2iq
, donde p = 0
= e
(
m
n
)2iq
7