Logaritmo complexo
logaritmo dun número complexo From Wikipedia, the free encyclopedia
Remove ads
En matemáticas, un logaritmo complexo é unha xeneralización do logaritmo natural aos números complexos non nulos. O termo pode referirse a un dos seguintes conceptos, que están estreitamente relacionados:
- Un logaritmo complexo dun número complexo non nulo , definido como calquera número complexo tal que .[1][2] Tal número denótase por .[1] Se se expresa en forma polar como , onde e son números reais con , entón é un logaritmo de , e todos os logaritmos complexos de son exactamente os números da forma , para enteiros .[1][2] Estes logaritmos están equidistantes ao longo dunha liña vertical no plano complexo.
- Unha función con valores complexos , definida nun subconxunto do conxunto dos números complexos non nulos, e que cumpre para todo en . Tales funcións logarítmicas complexas son análogas á función logarítmica natural real , que é a función inversa da función exponencial real e cumpre eln x = x para todo número real positivo x. As funcións logarítmicas complexas poden construírse mediante fórmulas explícitas que empregan funcións reais, por integración de , ou mediante o proceso de prolongamento analítico.


Non existe ningunha función continua logarítmica complexa definida en todo . As maneiras de tratar esta cuestión inclúen o uso de ramas, a superficie de Riemann asociada e as inversas parciais da función exponencial complexa. O valor principal define unha función logarítmica complexa particular que é continua agás ao longo do eixe real negativo; no plano complexo cos números reais negativos e o cero eliminados, constitúe o prolongamento analítico do logaritmo natural (real).
Remove ads
Problemas coa inversión da función exponencial complexa

Para que unha función teña unha inversa, debe levar valores distintos a valores distintos; é dicir, debe ser inxectiva. Mais a función exponencial complexa non é inxectiva, porque para todo número complexo e todo enteiro , xa que engadir a ten o efecto de rotar no sentido antihorario un ángulo en radiáns. Así, os puntos
equidistantes ao longo dunha liña vertical, todos se envían ao mesmo número pola función exponencial. Isto significa que a función exponencial non ten unha función inversa no sentido estándar.[3][4] Existen dúas solucións a este problema.
Unha é restrinxir o dominio da función exponencial a unha rexión que non conteña dous números que difiran en múltiplos enteiros de : isto leva naturalmente á definición das ramas de , que son certas funcións que escollen un logaritmo de cada número nos seus dominios. Isto é análogo á definición de en como a inversa da restrición de ao intervalo : hai infinitos números reais con , pero elíxese arbitrariamente o que está en .
Outra maneira de resolver a indeterminación é considerar o logaritmo como unha función cuxo dominio non é unha rexión do plano complexo, senón unha superficie de Riemann que recobre o plano complexo perforado dunha maneira infinita-a-1. As ramas teñen a vantaxe de poderse definir como funcións de variable complexa.. Pola súa banda, a función sobre a superficie de Riemann é elegante porque reúne todas as ramas do logaritmo e non require unha elección arbitraria como parte da súa definición.
Remove ads
Valor principal
Definición
Para cada número complexo non nulo , o valor principal é o logaritmo cuxa parte imaxinaria pertence ao intervalo .[2] A expresión queda sen definir, xa que non existe número complexo que cumpra .[1]
Cando aparece a notación sen especificar ningún logaritmo en particular, xeralmente interprétase como o valor principal. En particular, isto dá un valor consistente co logaritmo natural cando é un número real positivo. Algúns autores empregan a maiúscula para distinguir o valor principal doutros logaritmos de .[2]
Cálculo do valor principal
A forma polar dun número complexo non nulo é , onde é o valor absoluto de , e é o seu argumento. O valor absoluto é real e positivo. O argumento está definido até unha constante aditiva de múltiplos enteiros de . O seu valor principal é o que pertence ao intervalo , que se expresa como .
Isto leva á seguinte fórmula para o valor principal do logaritmo complexo:
Por exemplo, , e .
O valor principal como función inversa
Outra maneira de describir é como a inversa dunha restrición da función exponencial complexa. A faixa horizontal formada polos números complexos tales que é un exemplo dunha rexión que non contén dous números que difiran nun múltiplo enteiro de . Polo tanto, a restrición da función exponencial a admite unha función inversa. De feito, a función exponencial aplica bixectivamente sobre o plano complexo perforado , e a inversa desta restrición é . A sección sobre aplicacións conformes explica con máis detalle as propiedades xeométricas deste mapeo.
O valor principal como continuación analítica
Na rexión formada polos números complexos que non son negativos reais nin cero, a función é a continuación analítica do logaritmo natural. Os valores sobre a recta real negativa poden obterse como límites de valores de puntos complexos veciños cunha parte imaxinaria positiva.
Propiedades
Non todas as identidades que cumpre se estenden aos números complexos. É certo que para todo (iso é o que significa que é un logaritmo de ), pero a identidade falla para fóra da faixa . Por esta razón, non se pode aplicar a ambos lados dunha identidade do tipo para concluír que . Tamén pode fallar a identidade : os dous lados poden diferir nun múltiplo enteiro de .[1] Por exemplo:
pero
A función é descontinua en cada número real negativo, pero continua en todo o demais en . Para explicar a descontinuidade, considérase o que ocorre co argumento cando se achega a un número real negativo . Se se achega a desde arriba, entón tende a , que é tamén o valor de . Pero se se achega desde abaixo, entón tende a . Polo tanto, "salta" ao cruzar o eixe real negativo, e así tamén salta en .
Remove ads
Ramas do logaritmo complexo
Existe algún xeito alternativo de escoller un logaritmo de cada número complexo non nulo para definir unha función que sexa continua en todo ? A resposta é non. Para velo, imaxinemos que seguimos unha función deste tipo ao longo da circunferencia unitaria, avaliando a medida que aumenta de a . Se é continua, tamén o é , pero esta última é diferenza de dous logaritmos de , así que toma valores no conxunto discreto e, polo tanto, é constante. En particular, , o que contradí .
Para obter un logaritmo continuo definido en números complexos, é necesario restrinxir o dominio a un subconxunto máis pequeno do plano complexo. Como un dos obxectivos é que a función sexa derivable, é razoable supoñer que está definida nun entorno de cada punto do seu dominio, é dicir, que sexa un conxunto aberto. Tamén é razoable asumir que sexa conexo, pois en caso contrario os valores da función nas distintas compoñentes de poderían non estar relacionados. Todo isto motiva a seguinte definición:
- Unha rama de é unha función continua definida nun subconxunto aberto conexo do plano complexo tal que é un logaritmo de para cada en .[2]
Por exemplo, o valor principal define unha rama no conxunto aberto onde é continua, que é , obtido eliminando o 0 e os números reais negativos do plano complexo.
Outro exemplo: a serie de Mercator
converxe localmente uniformemente para , así que poñendo defínese unha rama de no disco aberto de raio 1 centrado en 1. (En realidade, esta é só unha restrición de , como se pode ver derivando a diferenza e comparando valores en 1.)
Unha vez fixada unha rama, pódese denotar como se non hai risco de confusión. Porén, diferentes ramas poden dar valores distintos para o logaritmo dun número complexo, así que hai que fixar previamente a rama (ou entender que se usa o valor principal) para que "" teña un significado preciso e non ambiguo.
Nalgúns textos úsase a notación para denotar explicitamente a -ésima rama do logaritmo complexo. Esta notación é útil cando se traballa con logaritmos multivalorados na análise complexa e na topoloxía. Foi introducida por primeira vez no artigo Unwinding the Branches of the Lambert W function[5] e foi mencionada posteriormente no traballo de David Jeffrey.[6]
Cortes de rama
O razoamento anterior sobre a circunferencia unitaria xeralízase para mostrar que non pode existir ningunha rama de nun conxunto aberto que conteña unha curva pechada que se enrole arredor do 0. Dise entón que ten un punto de rama no 0. Para evitar conter curvas pechadas que se enrolen arredor de 0, adoita escollerse como o complemento dunha semirrecta ou curva no plano complexo que vaia desde 0 (incluído) ata o infinito en certa dirección. Nese caso, a curva chámase un corte de rama. Por exemplo, o valor principal ten un corte de rama ao longo do eixe real negativo.
Se se intenta estender a función para que estea definida nun punto do corte de rama, entón será necesariamente descontinua nese punto; como moito poderá ser continua “por un lado”, como lle ocorre a nos números reais negativos.
Derivada do logaritmo complexo
Cada rama de nun conxunto aberto é o inverso dunha restrición da función exponencial, concretamente a restrición á imaxe . Como a función exponencial é función holomorfa (é dicir, diferenciábel no sentido complexo) e ten derivada non nula, aplícase o análogo complexo do teorema da función inversa. Isto mostra que é holomorfa en e que para todo en .[2] Outra maneira de demostrar isto é comprobar as ecuacións de Cauchy–Riemann en coordenadas polares.[2]
Construción de ramas mediante integración
A función para real pode construírse mediante a fórmula Se o intervalo de integración comeza nun número positivo distinto de 1, a fórmula debe escribirse como no seu lugar.
Ao desenvolver o análogo para o logaritmo complexo, xorde unha complicación adicional: a definición da integral complexa require escoller un camiño de integración. Por sorte, se o integrando é holomorfo, entón o valor da integral non cambia ao deformar o camiño (mantendo fixos os extremos), e nun conxunto simplemente conexo (un dominio sen "buracos"), calquera camiño entre e dentro de pode ser continuamente deformado dentro de ata calquera outro. Todo isto leva ao seguinte:
Se é un subconxunto aberto e simplemente conexo de que non contén o 0, entón pódese construír unha rama de definida en escollendo un punto inicial en , escollendo un logaritmo de , e definindo
para cada en .[7]
Remove ads
O logaritmo complexo como aplicación conforme


Calquera aplicación holomorfa f: U → ℂ tal que f '(z) ≠ 0 para todo z ∈ U é unha aplicación conforme, o que significa que se dúas curvas que pasan por un punto a de U forman un ángulo α (no sentido de que as liñas tanxentes ás curvas en a forman un ángulo α), entón as imaxes das dúas curvas forman o *mesmo* ángulo α no punto f(a).
Como unha rama de log z é holomorfa e a súa derivada 1/z nunca se anula, defínese así unha aplicación conforme.
Por exemplo, a rama principal w = Log z, vista como unha aplicación desde ℂ − ℝ_{≤ 0} cara á banda horizontal definida por |Im z| < π, ten as seguintes propiedades, que son consecuencias directas da súa expresión en coordenadas polares:
- Os círculos[8] no plano z centrados na orixe son transformados en segmentos verticais no plano w que conectan a − πi con a + πi, onde a é o logaritmo real do raio do círculo.
- Os raios que emanan da orixe no plano z son transformados en liñas horizontais no plano w.
Cada círculo e raio no plano z como os descritos anteriormente intersécanse formando un ángulo recto. As súas imaxes baixo Log son un segmento vertical e unha liña horizontal, respectivamente, no plano w, e tamén se cortan en ángulo recto. Isto ilustra a propiedade conforme de Log.
Remove ads
A superficie de Riemann asociada

Construción
As diferentes ramas de log z non se poden pegar para formar unha única función continua log: ℂ^* → ℂ, porque dúas ramas poden dar valores distintos nun mesmo punto onde ambas están definidas. Por exemplo, compárense a rama principal Log z definida en ℂ − ℝ_{≤ 0}, cuxa parte imaxinaria θ está en (−π, π), coa rama L(z) definida en ℂ − ℝ_{≥ 0} cuxa parte imaxinaria está en (0, 2π). Ambas coinciden no semiplano superior, pero non no inferior. Polo tanto, ten sentido pegar os dominios desas ramas unicamente polas copias compartidas do semiplano superior. O dominio resultante é conexo, pero ten dúas copias do semiplano inferior. Esas dúas copias pódense visualizar como dous niveis dun aparcadoiro en espiral, e pódese subir desde o nivel da Log ao da L xirando 2π radianes en sentido antihorario arredor de 0, primeiro cruzando o eixe real positivo (no nivel da Log) cara ao semiplano superior compartido, e logo cruzando o eixe real negativo (no nivel da L) ata o nivel inferior da L.
Pódese continuar o proceso pegando ramas cuxa parte imaxinaria θ estea en (π, 3π), en (2π, 4π), e así sucesivamente, ou en dirección oposta con θ en (−2π, 0), (−3π, −π), etc. O resultado final é unha superficie conexa que se pode ver como un aparcadoiro helicoidal con infinitos niveis tanto cara arriba como cara abaixo. Esta é a superficie de Riemann R asociada ao logaritmo complexo.[9]
Un punto en R pode representarse como un par (z, θ), onde θ é un valor posible do argumento de z. Deste xeito, R pode considerarse embebida en ℂ × ℝ ≃ ℝ³.
A función logarítmica na superficie de Riemann
Como os dominios das ramas se pegaron unicamente nos abertos onde os seus valores coincidían, as ramas forman unha única función ben definida log_R: R → ℂ.[10] Esta envía cada punto (z, θ) en R a ln|z| + iθ. Este proceso de estender a rama principal mediante o pegado de funcións holomorfas compatibles coñécese como prolongación analítica.
Hai unha “aplicación de proxección” desde R cara a ℂ^* que “aplana” a espiral, enviando (z, θ) a z. Para calquera z en ℂ^*, se se toman todos os puntos (z, θ) de R que están “directamente enriba” de z e se avalía log_R en todos eles, obtense o conxunto de todos os logaritmos de z.
Pegando todas as ramas de log z
En lugar de pegar só as ramas escollidas anteriormente, pódese comezar con *todas* as ramas de log z e pegar simultaneamente *cada par* de ramas L₁: U₁ → ℂ e L₂: U₂ → ℂ no maior aberto do intersección U₁ ∩ U₂ onde coincidan. Isto produce a mesma superficie de Riemann R e a mesma función log_R que antes. Este enfoque, aínda que máis difícil de visualizar, é máis natural porque non require escoller ningunha rama concreta.
Se U′ é un subconxunto aberto de R que se proxecta bixectivamente sobre a súa imaxe U en ℂ^*, entón a restrición de log_R a U′ corresponde a unha rama de log z definida en U. Todas as ramas de log z xorden deste xeito.
A superficie de Riemann como recubrimento universal
A aplicación de proxección R → ℂ^* realiza R como un espazo de recubrimento de ℂ^*. De feito, trátase dun recubrimento de Galois cun grupo de automorfismos de cuberta isomorfo a ℤ, xerado polo homeomorfismo que envía (z, θ) a (z, θ + 2π).
Como variedade complexa, R é biholomorfa con ℂ a través da función log_R. (A aplicación inversa envía z a (e^z, Im(z)).) Isto mostra que R é simplemente conexa, polo que é o recubrimento universal de ℂ^*.
Remove ads
Aplicacións
- O logaritmo complexo é necesario para definir a exponenciación cando a base é un número complexo. En efecto, se e son números complexos con , pódese usar o valor principal para definir . Tamén se pode substituír por outros logaritmos de para obter outros valores de , que difiren por factores da forma .[1][11] A expresión ten un único valor se e só se é un número enteiro.[1]
- Como as funcións trigonométricas poden expresarse como funcións racionais de , as funcións trigonométricas inversas poden expresarse en termos de logaritmos complexos.
- En enxeñaría eléctrica, a constante de propagación implica un logaritmo complexo.
Remove ads
Xeneralizacións
Logaritmos con outras bases
Do mesmo xeito que cos números reais, pódese definir para números complexos e :
co único matiz de que o seu valor depende da elección dunha rama do logaritmo definida en e (e con ). Por exemplo, usando o valor principal obtense:
Logaritmos de funcións holomorfas
Se é unha función holomorfa nun subconxunto aberto e conexo de , entón unha rama de en é unha función continua sobre tal que para todo en . Dita función é necesariamente holomorfa e cumpre para todo en .
Se é un subconxunto aberto e simplemente conexo de , e é unha función holomorfa en que non se anula en ningún punto, entón pode construírse unha rama de en escollendo un punto inicial en , escollendo un logaritmo de , e definindo
para cada en .[2]
Remove ads
Notas
Referencias
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads