Escuela Acadmica Profesional de

Ingeniera de Sistemas e Informtica

Tema:
FUNCIONES TRASCENDENTES COMPLEJAS: Funciones Logartmicas


DOCENTE :
Ing. POZO PINO Gelacio

ALUMNO :
AUPA PONCIANO Geissler A.


CURSO :
Clculo V





HUNUCO PER
2014
LA FUNCIN LOGARITMO

a) Introduccin

En el anlisis real e defina el logaritmo en base a ( ) 1 a , 0 a = > como la funcin inversa de la
exponencial de base a, es decir:
x a x log y
y
a
= = 0 x , 1 a , 0 a > = >
Para el caso a = e la funcin reciba el nombre de logaritmo neperiano y se denotaba y = ln x
Y cuando a = 10 , se suprima la a en la notacin y se escriba y = log x.
En el anlisis complejo, se define anlogamente la funcin logaritmo como funcin inversa de la
funcin exponencial compleja.


b) Definiciones

- Sea e z C y 0 z= . Si w es un n complejo tal que exp(w) = z, entonces se dice que w es un
logaritmo de z . Y se escribe w = log z. Es decir z log w z ) w exp( = =

Se ver que la ecuacin z e
w
= tiene infinitas soluciones en el campo complejo. Cada una de ellas
se llama una determinacin del logaritmo. Es decir que w = log z es una funcin multiforme.

Sea w = u + iv. Y sea r z = y t + u = k 2 z arg ( e k Z ) siendo ( | t t e u ,
el argumento principal de z ( Argz )
Entonces ) sen i (cos r ) v isen v (cos e z e
u w
u + u = + =
Por tanto r e
u
= , es decir r ln u = , y t + u = k 2 v ( e k Z )

Luego: i ) k 2 ( r ln z log t u + + = con z r = , Argz = u , e k Z, u en radianes (3.13)

Se ha visto que, en efecto, existen infinitos logaritmos de un n complejo. Era de esperar, dada la
periodicidad de la funcin exponencial.










- Se llama logaritmo principal de z o valor principal del logaritmo, y se denota Logz w= a:
i r ln Logz u + = con z r = , ( ) 0 r = , ( | t t u , Argz e = (3.14)

La funcin logaritmo principal, es ya uniforme.
Est definida en todo el plano complejo, excluyendo al origen. Y su recorrido es la franja horizontal
de anchura t 2 : { } t t s < + = = v / iv u w ) z Log ( c Re

- Se observa que si 9 e = x z y 0 x > , entonces el valor principal de su logaritmo complejo,
coincide con su logaritmo real neperiano, es decir: x ln x Log =

- A partir de la funcin multiforme i ) k 2 ( r ln z log t + u + = , adems de la funcin univaluada
logaritmo principal, obtenida dando a k el valor cero, podran obtenerse otras funciones
univaluadas, tomando otro valor de e k Z.
Cada una de estas funciones recibe el nombre de rama de la funcin logaritmo. El dominio de
todas ellas es el plano complejo salvo el origen. Y el recorrido de la correspondiente a k, la franja
horizontal de anchura t 2 :
{ } t t ) 1 k 2 ( v ) 1 k 2 ( / iv u w + s < + = e k Z

















Tambin podran definirse otras ramas partiendo de la nueva principal: i r ln ) z ( F u + = con 0 r >
y | | t + u u e u 2 ,
0 0
.
A la semirrecta
0
u = u se le llamara corte de la rama.
El punto 0 = z comn a todos los cortes, se le llama punto de ramificacin de la funcin
multiforme.
En el caso del valor principal Log z, el corte de la rama sera la semirrecta t = u

c) Propiedades

i) La funcin u i r ln z Log + = t u t s < es continua en todo el plano complejo,
excepto en los puntos del semieje real negativo. Tampoco ser por tanto derivable
en estos puntos.
Es evidente la continuidad en los puntos en los que t = u
Si
0
x pertenece al semieje real negativo es
0
x r = y t = u . Pero el componente
imaginario u i de Log z no es funcin continua en
0
x , pues en l su valor es t ,
mientras que en la mitad inferior de un entorno arbitrariamente pequeo de
0
x ,
toma valores prximos a t

ii) La funcin Log z es analtica en el dominio } , 0 r / C z { D t u t < < > e = y su
derivada en l es:
z
1
Logz
dz
d
=
Demostracin: Ya se ha dicho que u + = i r ln Logz es continua en D
Para esta funcin es:

u =
=
v
r ln u
Luego

= =
= =
u u
1 v , 0 u
0 v ,
r
1
u
r r

Estas derivadas son continuas en D y satisfacen las condiciones de Cauchy-Riemann

=
=
u
u
u rv
v ru
r
r
en D
Luego Log z es analtica en D.
Adems: | |
z
1
re
1
r
1
e iv u e z Log
dz
d
i
i
r r
i
= =
(

= + =
u
u u
D ze

iii) Si 0 z z
2 1
= , se verifica:
-
2 1 2 1
z log z log ) z z log( + =
Pues = t + u + u + + = t + u + u + = i ) k 2 ( r ln r ln i ) k 2 ( r r ln ) z z log(
2 1 2 1 2 1 2 1 2 1


2 1
z log z log + =
- ) z , z ( i 2 z Log z Log ) z z ( Log
2 1 2 1 2 1
t + + = siendo:

=
1
0
1
) z , z (
2 1

si
si
si
t s + < t
t s + < t
t s + < t
2 z Arg z Arg
z Arg z Arg
z Arg z Arg 2
2 1
2 1
2 1


iv) Si 0 z z
2 1
= , se verifica:
2 1 2 1
z log z log ) z / z log( =
Demostracin anloga a la del producto

FUNCIN LOGARITMICA
El logaritmo complejo se introduce como la funcin inversa de la funcin exponencial.
La primera dificultad est en el hecho de que la funcin exponencial no es una funcin
inyectiva, y por tanto la funcin inversa asociada no va a ser una correspondencia
unvoca, como sucede en la definicin usual de funcin, sino que va a ser una funcin
multvoca, tal que a cada nmero complejo distinto de cero le va a asociar infinitos
valores complejos.
Definicin 2.1.8:
Dado z = x + iy C, z 0, se define:
log z = ln z + i(arg z + 2k), k Z
As, por ejemplo:
a) log i = ln ( /2 + 2k) = i( /2 + 2k), k Z
b) log (1) = i ( + 2k), k Z
c) log (1+ i) = ln + i( /4 + 2k), k Z 2
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 lzl + iArg (z), Arg (z) [, ).
Propiedades
1. log (zw) = log z + log w.
2. log () = log z log w. wz
3. Log (zw) = log z + log w 2ki.

Observacin: 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(y 2k) = z 2ki 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. Basta tomar e^z* = ln lwl + iarg w. Se tiene
entonces: e^z*=(cos(arg w) + isen(arg w)) = lwl(cos(arg w) + isen(arg w)) = w.


LOGARITMO NATURAL
Usaremos el hecho de que sabemos evaluar la funcin exponencial para nmeros
complejos y proponemos lo siguiente



sta igualdad de nmeros complejos se cumple si y slo si se satisface el sistema
de ecuaciones asociado


Para resolver este sistema en trminos de sumamos los cuadrados de ambas
ecuaciones de la siguiente forma



Para hallar el valor de dividimos la segunda entre la primera como sigue



De este modo tenemos

Donde .

LOGARITMO EN CUALQUIER BASE
El mismo clculo se puede hacer para cualquier base siguiendo el
mismo procedimiento dado que (observe
que esto es vlido dada la extensin que acabamos de hacer para la funcin
logaritmo natural) entonces



Ell sistema de ecuaciones asociado es


Para resolver este sistema en trminos de sumamos los cuadrados de ambas
ecuaciones de la siguiente forma



Para hallar el valor de dividimos la segunda entre la primera como sigue



Finalmente

Donde y .