Funcin logaritmo

En anlisis complejo, una funcin logaritmo complejo es una "funcin

inversa" de la funcin exponencial compleja, de la misma manera que el
logaritmo natural ln x es la funcin inversa de la funcin exponencial ex.
Entonces, un logaritmo de z es un nmero complejo w tal que ew = z.1
La notacin para tal w es log z. Pero debido a que todo nmero
complejo z distinto de cero tiene infinitos logaritmos distintos,1 hay que
tener cuidado para darle a esta notacin un significado no ambiguo.

Si z = rei con r > 0 (forma polar), entonces w = ln r + i es un logaritmo

de z; sumndole mltiplos enteros de 2i se obtienen todos los dems.

Definicin 1

Dado: z=x +iy C , 0 se define

logz=ln z+i( argz+2 k ), k z

Ejemplos:
2 1+i
a) Calcular el siguiente nmero complejo: z= log ( )
i 1i

1+ i (1+i)(1+i)
Como = =i
1i (1i)(1+i )

logi=( +2 k )i
2

2
El valor pedido es: z= logi= + 4 k k Z
i
 b) logi=ln|i|+ i ( 2 + 2 k)=i ( 2 +2 k ), k z
c) log(1)=i( + 2 k ) , k z

2+ i( +2 k ), k z
d) 4
log ( 1+i )=ln

El logaritmo asocia entonces a cada nmero complejo infinitos valores

complejos, que tienen la misma parte real pero su parte imaginaria
difiere entre ellos un mltiplo entero de 2.

Si se restringen los valores del argumento de z a un determinado

intervalo de amplitud 2, como puede ser el intervalo [, ), el logaritmo
complejo se convierte en una funcin unvoca que se denomina
logaritmo principal, o determinacin principal del logaritmo, y se
denota con mayscula

Log z = ln z + iArg (z), Arg (z) [, ).

Propiedades

1. log (zw)=log z+ log w .

2. log ( wz )=log zlog w

3. log ( zw ) =log z+ log w 2 ki

Es importante tener en cuenta que mientras exp (Log z) = z, cualquiera que

sea el valor de z, Log (exp z) puede tomar un valor distinto de z. En efecto, si
z=x +iy
Es tal que y > , se tiene que
 log ( e z )=ln ( e x )+ iArg ( e z )=x+i ( y2 k )=z2 ki z

Se puede comprobar ahora de manera formal que la funcin exponencial

puede tomar cualquier valor complejo distinto de 0. En efecto, si se fija

un

nmero complejo w 0, existe otro nmero complejo, z*, tal que ez w.

Basta tomar: z* = ln w + iarg w. Se tiene entonces:

cos ( arg w ) +i sen ( arg w ) ) =|w|( cos ( arg w ) +i sen ( argw ) )=w
Ez = eln|w | (

Para cada z hay una infinidad de valores de a + ib tales que a+ib = z, en

correspondencia con la infinidad de valores del argumento de z, que
difieren unos de otros por mltiplos de 2. Pero la exponencial es
inyectaba en cada regin del plano de la forma {z C/ < Im (z) < +
2}.En cada una de estas regiones la exponencial es inyectiva y tiene una
inversa continua, llamada

una rama del logaritmo.

Si elegimos un intervalo de longitud 2 para calcular los argumentos de

todos los nmeros complejos, entonces podemos definir una rama del
logaritmo como:

log (z )=log z+iarg(z ) arg( z )< +2

El logaritmo as definido es continuo en C R donde R es el rayo arg(z) =

As que cada nmero complejo tiene una infinidad de logaritmos complejos,

que difieren unos de otros por mltiplos de 2 i .

Se sigue de la definicin que los logaritmos complejos tienen la propiedad

fundamental de los logaritmos reales, salvo por mltiplos de 2 i :

log ( wz )=log ( w )+ log ( z ) ,(mod 2 i)

La derivada del logaritmo complejo

Cada ramificacin L (z) de log z en el conjunto abierto U es una inversa de
una restriccin de la funcin exponencial, que se denomina "restriccin a la
imagen de U sobre L". Como la funcin exponencial es holomorfa (es decir,
diferenciable en el plano complejo) con derivada no nula, el anlogo
complejo del teorema de la funcin inversa es aplicable. Esto nos muestra

1
que L (z) es holomorfa sobre cada z en U , y L' ( z)= .1 Otra forma de
z

probar esto es a travs de las ecuaciones de Cauchy-Riemann en

coordenadas polares.

Funciones definidas como potencias

Potencias complejas

El logaritmo complejo permite extender las potencias al campo complejo.

Se puede as tomar un nmero complejo distinto de 0 y elevarlo a un

determinado exponente complejo a travs de la siguiente definicin

Definicin 1

Dados los nmeros complejos c y d, con c 0, se define:

c d=exp(d . log c )
 La expresin anterior representa a infinitos nmeros complejos.

Definicin 2

La funcin f ( z)=z c , siendo el exponente c una constante compleja,

cC, se define como: f (z)=exp(c . log z ), z 0.

Ejemplos:

a) i2 i=exp(2 i. log i)=exp(2i .(i.( + 2 k . )))= ( 4k 1) , k Z
2 e

b) (
( 1+i ) i=exp (i. log ( 1+i ) )=exp i. ln 2+ + 2k
4 )

+2 k
e 4
( cos ( ln 2 )isen ( ln 2 ) ) , k z
Se pueden tambin definir funciones en las que se utilicen potencias complejas, y

en ellas la variable z puede aparecer en la base o en el exponente. Estas

funciones son en general funciones multivaluadas, es decir, con infinitas ramas.

De forma anloga al logaritmo, si se fija un intervalo de tamao 2 para el

argumento de z se tiene una funcin univaluada.

Se tienen distintas situaciones en funcin del valor del exponente c.

Si c=n Z , es decir, si c es el nmero entero n, entonces f es una

funcin univaluada, pues

z n=exp ( n . log z ) =exp ( n ( ln|z|+i ( arg z+2 k ) ) ) =

|z|n .exp (i. n( Arg z +2 k ))= zn . exp(i . n . Arg z)

 p
Si c es un nmero racional que tiene como forma irreducible c=
q ,

con p y q enteros, la funcin f (z)=z c tiene q ramas,

p
correspondientes a las q races q-simas de z .
Finalmente, si c es un nmero real irracional, o un nmero complejo
con parte imaginaria distinta de cero, la funcin f ( z)=z c
Tiene infinitas ramas. Cada una de ellas se obtiene al fijar un valor de
> 0 , y expresar z en forma polar.

Definicin 3
La funcin f (z)=c z , siendo la base una constante compleja,
c C , c 0,

Se define como: (z)=exp( zlog c) .

Para cada valor de log c prefijado, la funcin f as definida asocia a cada

nmero complejo z un nico valor complejo, y por tanto f es una funcin

univaluada.