INGENIERIA ELECTRONICA

FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA

UNIVERSIDAD NACIONAL DEL CALLAO

FUNCION LOGARITO COMPLEJA

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 queew = 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
de z; sumndole mltiplos enteros de 2i se obtienen todos los dems.

logaritmo

Problemas con la inversin de la funcin exponencial compleja

Para que una funcin tenga una funcin inversa, esta debe ser inyectiva, esto es,
distintos argumentos de la funcin han de dar lugar a distintos resultados de la
misma, sin repeticin. Pero la funcin exponencial compleja no cumple esta
propiedad: ew+2i = ew para cualquier w, y la adicin de i a w tiene el efecto de
rotar ew en el sentido contrario de las agujas del reloj radianes. Pero esto es
incluso peor, la lista infinita de nmeros

Que forma una secuencia de puntos equiespaciados a lo largo de la recta vertical

en el plano complejo, toda ella da lugar al mismo nmero cuando se le aplica la
funcin exponencial. Entonces, la funcin exponencial no tiene una funcin inversa
en el sentido usual.
Existen dos soluciones para este problema
Una es restringir el dominio de la funcin exponencial a una regin en la que no
contenga cualesquiera dos nmeros que difieran en un mltiplo entero de 2i: esto
lleva de forma natural a la definicin de ramificaciones de log z, las cuales son
ciertas funciones que dan un slo valor del logaritmo a cada punto de sus
dominios. Esto es anlogo a la definicin de sin1x en [1,1] como la funcin
inversa de la restriccin de sin en el intervalo [/2,/2]: hay muchos nmeros
reales con sin = x, pero se escoge (de una forma ms o menos arbitraria)
los 0 del intervalo [/2,/2].
Otra forma de resolver esta indeterminacin es ver al logaritmo como una funcin
cuyo dominio no es una regin del plano complejo, sino de una superficie de
Riemann querecubre el plano complejo (sin el cero) de una forma infinito-a-1.
Las ramificaciones tienen la ventaja de que pueden ser evaluadas en nmeros
complejos. Por otro lado, la funcin sobre la superficie de Riemann tiene la
elegancia de contenertodas las ramas de log z y no requiere la eleccin de una
ramificacin en particular para su definicin.

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO
Definicin del valor principal
Para cada nmero complejo z no nulo, el valor principal de Log z es el logaritmo
cuya parte imaginaria cae en el intervalo (,]. La expresin Log 0 no est bien
definida, pues no existe ningn nmero complejo w que satisfaga ew = 0.
Hay otras posibles maneras de definir el valor principal.
Para definir una frmula para Log z, se empieza con la representacin
de z en forma polar, z = rei. Dado z, la forma polar no es nica debido a la
posibilidad de sumar un mltiplo entero de 2 a , pero puede hacerse nica bajo
el requisito de que caiga en el intervalo (,]; este se denomina valor
principal del argumento, y normalmente se escribe como Arg z. Entonces, el valor
principal del logaritmo1 puede escribirse como

Por ejemplo, Log(-3i) = ln 3 i/2.

Otra manera de definir a Log z es como el inverso de la funcin exponencial
compleja definida sobre una regin restringida del plano complejo, como en la
seccin previa. La banda horizontal S de nmeros complejos w = rei tales que
< es un ejemplo de una regin del plano complejo que no contiene
cualesquiera dos nmeros que difieran en un mltiplo entero de 2i, entonces la
restriccin de la funcin exponencial a S tiene una inversa bien definida. De hecho,
la funcin exponencial mapea a S de forma biyectiva al plano complejo sin el
cero
, y la inversa de esta restriccin es
. La seccin de
representacin conforme que viene a continuacin explica las propiedades
geomtricas de este mapa con ms detalle.
Cuando la notacin log z aparece sin haberse especificado ninguna rama particular
del logaritmo, lo mejor es asumir que tenemos la definicin del valor principal. En
particular, esto da un valor consistente con el valor en el eje real de
ln z cuando z es un nmero real positivo. La notacin Log (con mayscula en vez
de log) la usan distintos autores1para distinguir el valor principal de otros
logaritmos de z.
Una fuente de errores comn a la hora de trabajar con logaritmos complejos es
asumir que identidades verificadas por ln se extienden a nmeros complejos. Es
cierto queeLog z = z para todo z 0 (esto no es ms que de definicin de
Log z como el logaritmo de z), pero la identidad Log ez = z no es correcta
para z fuera de la banda S. Por esta razn, no se puede aplicar siempre Log a los
dos lados de una igualdad de la forma ez = ew para deducir que z = w. Tambin la
identidad Log(z1z2) = Log z1 + Log z2 puede no ser correcta: los dos lados de
dicha igualdad pueden diferir por un entero mltiplo de 2i: de hecho,

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO

La funcin Log z es discontinua en todos los reales negativos, pero continua en el

resto de puntos de
. Para entender la discontinuidad, veamos qu le pasa a
Arg z cuando zse aproxima a un nmero negativo real a. Si z se aproxima
a a desde el semiplano superior, entonces Arg z se aproxima a , que es el valor de
Arg a. Pero si z se aproxima a adesde el semiplano inferior, entonces Arg z se
aproxima a . Entonces Arg z "salta" (tiene una discontinuidad de)
2 cuando z cruza el eje negativo real y, de forma similar, Log z salta 2i.

FUNCIONES TRIGONOMTRICAS INVERSAS

Arcocoseno complejo
Dado un nmero complejo z C se trata de calcular los complejos w tales que
cos(w) = z.

Puesto que exp(w) 0 para cualquier w, podemos multiplicar por

expresin anterior:
podemos escribirla

.Poniendo

la

, la ecuacin anterior

, cuyas races son:

Observa que dichas races son distintas de 0, de hecho una es inversa de la

otra pues su producto es igual a 1. Hemos obtenido que:

Naturalmente, hay infinitos valores de w que verifican la igualdad anterior. El

conjunto de todos ellos se representa por Arccos(z).

De todos ellos elegimos el que corresponde al logaritmo principal y le llamamos

valor principal de Arccos(z) que est definido por:

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO
Veamos que el arccos(z) extiende al arcocoseno real. En efecto, para z = x
[1, 1] tenemos que:

Observemos que

es un punto de la mitad superior de la circunferencia

unidad y una medida del ngulo que forma el nmero complejo

con
el eje real positivo es precisamente el arco cuyo coseno es x. Adems, para x
[1, 1] se tiene que 0 arccos(x) .
Deducimos que
. Teniendo en cuenta que
que el logaritmo principal es holomorfoen

, deducimos, por la regla de la

cadena, que la funcin

es holomorfa en el conjunto:

Anlogamente

es derivable en el conjunto:

Como

, y

son inversos, tenemos que:

Deducimos que
. Luego el arco coseno es holomorfo en
. La regla de la cadena nos permite calcular su derivada:

Arcoseno complejo
Dado un nmero complejo z queremos calcular los complejos w tales que
sen(w) = z. El conjunto de tales nmeros lo representaremos por Arcsen.
Aunque podemos repetir el mismo proceso anterior, podemos aprovechar lo ya

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO
hecho y observar que

, luego sen(w) = z si, y slo si,

. Equivalentemente si:

El valor principal del arco seno, que notaremos por arcsen(z), se define
eligiendo el logaritmo principal:

y es una funcin holomorfa en

Arcotangente compleja
Dado z C queremos calcular los nmeros complejos w tales que z = tan(w) o,
lo que es lo mismo, z cos(w) = sen(w). El conjunto de todos ellos lo
representaremos por Arctan(z). Escribiendo la definicin de seno y coseno

Si z = i, la ecuacin anterior no tiene solucin por lo que consideramos z

i. Multiplicando por

la expresin anterior resulta:

Puesto que z i podemos escribir

, esto es,

Definimos entonces el valor principal de Arctan(z) por:

Puedes probar ahora que la funcin arctan(z) es holomorfa en

. Es fcil probar que la funcin arco tangente compleja, al

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO
igual que ocurre con las dems funciones trigonomtricas complejas, extiende
a la funcin arco tangente real.
FUNCIONES TRIGONOMETRICAS E HIPERBLICAS
Si y es real entonces:

Definicin: Para todo

se define:

De nuevo, si z es real cos z y sen z se reducen a las correspondientes funciones

reales.
Propiedades:
Para todo

Demostracin:
I.
II.

Trivial.
Por ejemplo

se tiene:

III.
IV.

INGENIERIA ELECTRONICA
FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
UNIVERSIDAD NACIONAL DEL CALLAO
Caso particular de las frmulas anteriores.
Hacer w = z en la frmula para cos(z + w).

V.
VI.

Consecuencia de

VII.

Por el apartado III), basta probar la afirmacin para la funcin sen. La

igualdad sen(z + w) = sen z es equivalente a
. Para que esta igualdad se cumpla para
todo
para un w fijo es necesario y suficiente que
decir que iw sea un mltiplo entero de 2i.

Funciones hiperblicas:
Para todo

se define:

De aqu se deducen las propiedades de las funciones hiperblicas.

Por ejemplo:

, es