Академический Документы
Профессиональный Документы
Культура Документы
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 .