Logaritmo complejo

Logaritmo complejo
En anlisis complejo, una funcin logaritmo complejo es una "funcin inversa" de la funcin exponencial compleja, de la misma manera que el logaritmo natural lnx 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 logz. Pero debido a que todo nmero complejo z distinto de cero tiene infinitos logaritmos distintos, hay que tener cuidado para darle a esta notacin un significado no ambiguo. Si z=rei con r>0 (forma polar), entonces w = lnr+i es un logaritmo de z; sumndole mltiplos enteros de 2i se obtienen todos los dems.

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

Una nica rama del logaritmo complejo. El tono del color se utiliza para mostrar el argumento (ngulo de coordenadas polares) del logaritmo complejo. La intensidad del color se utiliza para mostrar el mdulo del logaritmo complejo. La pgina con la versin grande de esta imagen tiene una imagen que muestra la codificacin de colores en funcin de sus valores complejos.

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.[2][3] 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 logz, 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 que recubre 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 contener todas las ramas de logz y no requiere la eleccin de una ramificacin en particular para su definicin.

Logaritmo complejo

Definicin del valor principal

Para cada nmero complejo z no nulo, el valor principal de Logz es el logaritmo cuya parte imaginaria cae en el intervalo (,]. La expresin Log0 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 Logz, 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 Argz. Entonces, el valor principal del logaritmo puede escribirse como

Por ejemplo, Log(-3i)=ln3i/2. Otra manera de definir a Logz 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 logz aparece sin haberse especificado ninguna rama particular del logaritmo, lo mejor es asumir que tenemos la definicin del valor principal. In particular, esto da un valor consistente con el valor en el eje real de lnz cuando z es un nmero real positivo. La notacin Log (con mayscula en vez de log) la usan distintos autores para 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 que eLogz=z para todo z0 (esto no es ms que de definicin de Logz como el logaritmo de z), pero la identidad Logez = 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)=Logz1+Logz2 puede no ser correcta: los dos lados de dicha igualdad pueden diferir por un entero mltiplo de 2i: de hecho,

La funcin Logz es discontinua en todos los reales negativos, pero continua en el resto de puntos de

. Para

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

Ramificaciones del logaritmo complejo

Existe una forma diferente de elegir un logaritmo de cada nmero complejo no nulo de tal manera que la funcin 'L(z) sea continua en todos los puntos de ? Desafortunadamente, la respuesta es no. Para entender la razn de esto, no hay ms que seguir el comportamiento de tal funcin logaritmo a lo largo del crculo unidad, evaluando L en ei cuando aumenta de valor desde 0 hasta 2. Por simplicidad, supongamos que empezamos en L(1) = 0. Entonces, para que L(z) fuera continua, L(ei) debera ser igual a i cuando incrementa su valor (la diferencia es una funcin continua de que toma valores en el conjunto discreto ). En particular, L(e2i)=2i, pero e2i=1, pero esto contradice la condicin inicial L(1)=0.

Logaritmo complejo Para obtener un logaritmo continuo definido sobre el plano complejo, es necesario restringir el dominio a un subconjunto menor U del plano complejo. Debido a que uno de los objetivos es poder definir una derivada del logaritmo, es razonable asumir que la funcin est definida en una vecindad de cada punto de su dominio; en otras palabras, U debera ser un conjunto abierto. Tambin es razonable asumir que U est conectado, pues de otra manera la definicin de la funcin en las distintas partes de U podra no ser coherente, no tener relacin entre s. Todo esto motiva la siguiente definicin: Una ramificacin de logz es una funcin continua L(z) definida en un subconjunto abierto conectado U del plano complejo tal que L(z) es un logaritmo de z para cada z en U. Por ejemplo, el valor principal define una ramificacin en el conjunto abierto donde es continua, el cual es el conjunto obtenido al eliminar el cero y todos los nmeros reales negativos del plano complejo. Otro ejemplo; la serie de Mercator (serie de Taylor del logaritmo) es

converge localmente uniformemente para |u|<1, as que z=1+u define una ramificacin de logz en el disco abierto de radio 1 centrado en 1. (En realidad, esto es slo una restriccin de Logz, como puede ser demostrado diferenciando la serie y comparando los valores en 1.) Una vez que la ramificacin est fijada, esta podra denotarse como "logz" si no hay confusin con la definicin. Diferentes ramificaciones dan diferentes valores del logaritmo de un nmero complejo concreto, sin embargo, cualquier ramificacin ha de estar fijada de antemano (o en caso contrario debe entenderse que trabajamos con la ramificacin principal) para que "logz" nos de un resultado concreto libre de ambigedades.

Cortes de ramificaciones
El argumento de arriba del crculo unidad se puede generalizar para mostrar que no existe ninguna ramificacin de logz sobre un conjunto abierto U que contenga una curva cerrada con ndice alrededor de 0. Para comprobar esto, U es normalmente elegido como el complemento de un rayo o curva en el plano complejo que va desde 0 (inclusive) hacia el infinito en una direccin dada. En este caso, la curva se conoce como corte de ramificacin. Por ejemplo, la ramificacin principal tiene un corte de ramificacin a lo largo del eje real negativo. Si la funcin L(z) se extiende para que est definida sobre un punto del corte de ramificacin, esta funcin ser necesariamente discontinua sobre dicho punto; En el mejor de los casos ser continua "por un lado", como de hecho le ocurre a Logz sobre los nmeros negativos reales.

La derivada del logaritmo complejo

Cada ramificacin L(z) de logz 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 que L(z) es holomorfa sobre cada z en U, y L(z) = 1/z. Otra forma de probar esto es a travs de las ecuaciones de Cauchy-Riemann en coordenadas polares.

Logaritmo complejo

Construccin de ramas mediante la integracin

La funcin lnx para x>0 puede ser construida con la frmula

Si el rango de integracin empieza en un nmero positivo a distinto de 1, la frmula puede escribirse como

En la definicin de un anlogo del logaritmo complejo, hay una complicacin adicional: la definicin de la integral compleja requiere la eleccin de un camino de integracin. Afortunadamente, como el integrando es holomorfo, el valor de la integral es invariante al deformar el camino (siempre que los extremos del camino de integracin se mantengan fijos), y en una regin simplemente conectada U (regin "sin agujeros") cualquier camino desde a a z dentro de U puede ser continuamente deformada dentro de U en otra. Todo este razonamiento lleva a la siguiente definicin: Si U es un conjunto abierto simplemente conectado de sin el 0, entonces una ramificacin de logz definida en U puede construirse eligiendo como punto de inicio a un punto a de U, eligiendo a b como un logaritmo de a, y definiendo

para cada z en U.[4]

El logaritmo complejo como una transformacin conforme

Cualquier mapa para todo holomorfo que satisfaga es una transformacin conforme,

lo que significa que si dos curvas que pasan a travs de un punto a de U forman un ngulo (en el sentido de que las lneas tangentes a las curvas en a forman un ngulo ), entonces las imgenes de las dos curvas forman el mismo ngulo en f(a). Como una ramificacin de logz es holomorfa, y como su derivada 1/z no es nunca 0, esta funcin define un transformacin conforme. Por ejemplo, la ramificacin principal w = Logz, vista como un mapeo de a la banda horizontal definida por |Imz|<, tiene las siguientes propiedades, que son una consecuencia directa de la frmula del logaritmo en trminos de la expresin de z en su forma polar: Crculos[5] de radio a en el z-plano centrados en 0 son mapeados a segmentos verticales en el w-plano [ai,a+i], donde a es el radio del crculo. Rayos que emanan de 0 en el z-plano se mapean a lneas horizontales en el w-plano. Cada crculo y rayo en el z-plano se cortan perpendicularmente. Sus imgenes bajo Log son segmentos verticales y lneas horizontales (repectivamente) en el w-plano, y por tanto tambin se cortan perpendicularmente. Esta es una ilustracin de la propiedad de transformacin conforme del logaritmo.

Los crculos Re(Log z) = constante y los rayos Im(Logz) = constante en el z-plano complejo.

Logaritmo complejo

La superficie de Riemann asociada

Construccin
Las distintas ramificaciones de logz no pueden pegarse para dar una funcin porque dos ramas pueden dar distintos valores en puntos en los que las dos estn definidas. Comprese por ejemplo la rama del valor principal Log(z) en con parte imaginaria en (,) y la ramificacin L(z) en cuya parte imaginaria cae en (0,2). Ambas ramificaciones coinciden en el semiplano superior, pero no en el semiplano inferior. As que tiene sentido pegar los dominios de dichas ramificaciones slo sobre el semiplano superior. El domonio resultante tras el pegado es conectado, pero tiene dos copias del semiplano inferior. Estas copias pueden visualizarse como dos niveles de un aparcamiento (que llamaremos de forma obvia niveles Log y L), y se puede llegar desde el nivel Log del semiplano inferior hasta el nivel L del semiplano inferior yendo 360 en sentido antihorario alrededor de 0, primero cruzando el eje real positivo (del nivel Log) en la copia compartida del semiplano superior y luego cruzando el eje real negativo (del nivel L) en el nivel L del semiplano inferior.

Una visualizacin de la superficie de Riemenn de logz. La superficie parece una espiral alrededor de la lnea vertical que corresponde al origen del plano complejo. La superficie real se extiende arbitrariamente lejos, tanto vertical como horizontalmente, pero est cortada en esta imagen.

Se puede continuar pegando ramificaciones con parte imaginaria en (,3), en (2,4), y as continuamente, y en la otra direccin ramificaciones con parte imaginaria en (2,0), en (3,) y ms de la misma manera. El resultado final es una superficie conectada que puede ser vista como la rampa de ascenso de un aparcamiento (siguiendo con la analoga anterior) con infinitos niveles hacia arriba y hacia abajo. Esta es la superficie de Riemann R asociada a logz. Un punto en R puede verse como un par (z,) donde es un posible valor del argumento de z. De esta manera, R puede ser embebido en como en la figura adjunta.

La funcin logaritmo en la superficie de Riemann

Debido a que los dominios de las ramificaciones se pegan slo a lo largo de conjuntos abiertos donde sus valores coinciden, las ramificaciones pegadas dan lugar a una funcin bien definida .[6] Esto mapea cada punto (z,) en R a ln|z|+i. Este proceso de extensin de la ramificacin original Log por el procedimiento de pegado de funciones compatibles holomorfas es conocido como continuacin analtica. Hay un "mapa de proyecciones" desde R a que proyecta la espiral mandando al par (z,) a z. Para cualquier , si se cogen todos los puntos (z,) de R que caen "dirctamente por encima" de z y evaluamos logR a todos estos puntos, se obtienen todos los posibles logaritmos de z.

Pegando todas las ramificaciones de logz

En vez de pegar slo las ramificaciones elegidas arriba, uno puede empezar con todas las ramificaciones de logz, y simultneamente pegar todo para de ramificaciones yand a lo largo del mayor subconjunto abierto de en el cual L1 y L2 coinciden. Este procedimiento nos da la misma superficie de Riemann R y la misma funcin logR que el procedimiento anterior. Esta aproximacin, aunque ms difcil de visualizar, es ms natural pues no requiere seleccionar ninguna ramificacin particular.

Logaritmo complejo Si U es una subconjunto abierto de R proyentado biyectivamente a su imagen U en , entonces la restriccin de

logR a U corresponde a una ramificacin de logz definida en U. Toda ramificacin de logz surge de esta manera.

La superficie de Riemann como un recubridor universal

El mapa de proyecin de Galois con grupo isomorfo a da cuenta de R como un espacio recubridor de . De hecho, es un recubrimiento , generado por el homeomorfismo de equivalencia de (z,) a (z,+2). via logR. (El mapeo inverso manda z a (ez, Imz)). Esto muestra .

Como una variedad compleja, R es biholomorfo a

que R es simplemente conectado, entonces R es el recubridor universal de

Aplicaciones
El logaritmo complejo es necesario para definir la exponenciacin en la que la base sea un nmero complejo. Si a y b son nmeros complejos con a 0, se puede usar el valor principal del logaritmo para definir ab = ebLoga. Tambin se puede reemplazar Loga por otro logaritmo de a para obtener otros valores de ab. Como el mapeo w=Logz transforma crculos centrados en 0 en segmentos verticales, se puede usar esta propiedad para aplicaciones ingenieriles que involucren anillos.[citarequerida]

Generalizaciones
Logaritmos de otras bases
De la misma manera que para nmeros reales, se puede definir logab = (logb)/(loga) para nmeros complejos a y b, con la nica salvedad de que sus valores dependen de la eleccin de la ramificacin del logaritmo definido en a y b (con loga 0). Por ejemplo, usando valores principales, se obtiene

Logaritmos de funciones holomorfas

Si f es una funcin holomorfa sobre un subconjunto abierto U de una funcin continua g en U tal que e g(z)=f(z)/f(z) para todo z in U.
g(z)

, entonces una ramificacin de logf en U es

=f(z) para todo z in U. Tal funcin g es necesariamente holomorfa con , y f es una funcin holomorma en U tal que no se hace

Si U es un subconjunto abierto simplemente conexo de

cero en ningn punto z de U, entonces una ramificacin de logf definida en U puede ser construida eligiendo un punto inicial a de U, un logaritmo b de f(a), y definiendo

para cada z de U.

Logaritmo complejo

Grficas de la funcin logaritmo complejo (rama principal)

widths

z = Re(Log(x+iy))

Superposicin de los tres grficos anteriores

Notas
[1] Donald Sarason, Complex function theory (http:/ / books. google. com/ books?id=FUWPyHM-XK0C& pg=PA40& dq=logarithm+ intitle:Complex+ intitle:function+ intitle:theory+ inauthor:sarason& lr=& as_brr=0& ei=df4UScGONJ_EtAPZ5-XjCw), 2nd ed., Amer. Math. Society, 2007, Section IV.9. [2] John B. Conway, Functions of one complex variable, second edition, Springer, 1978, p. 39. [3] Otra interpretacin es que la "funcin inversa" de la exponencial compleja es una funcin multivaluada que toma para cada nmero complejo y no nulo el conjunto de todos los logaritmos de z. [4] Serge Lang, Complex analysis, 3rd edition, Springer-Verlag, 1993, p. 121. [5] De forma rigurosa, el punto de cada crculo sobre el eje real negativo debera ser descartado, o debera usarse el valor principal ah. [6] Las notaciones R y logR no son estndar fuera de este artculo.

Referencias
Gino Moretti, Functions of a Complex Variable, Prentice-Hall, Inc., 1964. E. T. Whittaker and G. N. Watson, A Course in Modern Analysis, fourth edition, Cambridge University Press, 1927.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Logaritmo complejo Fuente: http://es.wikipedia.org/w/index.php?oldid=70285428 Contribuyentes: Jerowiki, Jkbw, Lojano, Parodrilo, Raulshc, UAwiki, Zulucho, 13 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Complex log.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Complex_log.jpg Licencia: Public Domain Contribuyentes: Jan Homann; Color encoding image comment author Hal Lane, September 28, 2009 Archivo:Logez02.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Logez02.jpg Licencia: Attribution Contribuyentes: Domitori Archivo:Riemann surface log.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Riemann_surface_log.jpg Licencia: Public Domain Contribuyentes: Jan Homann Image:NaturalLogarithmRe.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:NaturalLogarithmRe.png Licencia: GNU Free Documentation License Contribuyentes: Original uploader was Sam Derbyshire at en.wikipedia Image:NaturalLogarithmIm.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:NaturalLogarithmIm.png Licencia: GNU Free Documentation License Contribuyentes: Original uploader was Sam Derbyshire at en.wikipedia Image:NaturalLogarithmAbs.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:NaturalLogarithmAbs.png Licencia: GNU Free Documentation License Contribuyentes: Original uploader was Sam Derbyshire at en.wikipedia Image:NaturalLogarithmAll.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:NaturalLogarithmAll.png Licencia: GNU Free Documentation License Contribuyentes: Original uploader was Sam Derbyshire at en.wikipedia

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/