Logaritmo

No debe confundirse con Algoritmo.

En análisis matemático el logaritmo de un número real positivo n, en una determinada base b, es el exponente x de b para obtener n:

Logaritmo
Gráfica de Logaritmo
Definición	${\displaystyle \log _{b}(x):={\frac {\ln(x)}{\ln(b)}}\,\!\,}$ ${\displaystyle \scriptstyle \mathrm {con} \;b\ \in \ \mathbb {R} _{+}\setminus \{1\}}$
Tipo	Función real
Descubridor(es)	John Napier (1614)
Dominio	${\displaystyle (0,+\infty )\,}$
Codominio	${\displaystyle (-\infty ,+\infty )\,}$
Imagen	${\displaystyle (-\infty ,+\infty )\,}$
Propiedades	Biyectiva Cóncava Estrictamente creciente Trascendente
Cálculo infinitesimal
Derivada	${\displaystyle {\frac {1}{x\ln(b)}}\,}$
Función inversa	${\displaystyle b^{x}\,}$
Límites	${\displaystyle \lim _{x\to 0^{+} \atop b>1}\log _{b}(x)=-\infty \,}$ ${\displaystyle \lim _{x\to +\infty \atop b>1}\log _{b}(x)=+\infty \,}$${\displaystyle \lim _{x\to 0^{+} \atop 0<b<1}\log _{b}(x)=+\infty \,}$ ${\displaystyle \lim _{x\to +\infty \atop 0<b<1}\log _{b}(x)=-\infty \,}$
Funciones relacionadas	Función exponencial
El rojo representa el logaritmo en base e. El verde corresponde a la base 10. El púrpura al de la base 1,7.
[editar datos en Wikidata]

${\displaystyle \log _{b}n=x\quad \Leftrightarrow \ \quad b^{x}=n}$

La base tiene que ser positiva y distinta de 1.

Así, el logaritmo de 1000 en base 10 es 3, porque 10 al cubo vale 1000:

${\displaystyle \log _{10}1000=3\quad \Leftrightarrow \ \quad 10^{3}=1000}$

De la misma manera que la operación opuesta de la suma es la resta y la de la multiplicación la división, el cálculo de logaritmos o logaritmación es la operación inversa a la exponenciación de la base del logaritmo.

Para representar la operación de logaritmo en una determinada base se escribe la abreviatura log y como subíndice la base y después el número resultante del que deseamos hallar el logaritmo. Por ejemplo, 3⁵=243 luego log₃243=5. Cuando se sobreentiende la base, se puede omitir.

Los logaritmos fueron introducidos por John Napier a principios del siglo XVII como un medio de simplificación de los cálculos. Estos fueron prontamente adoptados por científicos, ingenieros, banqueros y otros para realizar operaciones fácil y rápidamente, usando reglas de cálculo y tablas de logaritmos. Estos dispositivos se basan en el hecho más importante —por identidades logarítmicas— que el logaritmo de un producto es la suma de los logaritmos de los factores:

${\displaystyle \log _{b}(xy)=\log _{b}(x)+\log _{b}(y).\,}$

La noción actual de los logaritmos viene de Leonhard Euler, quien conectó estos con la función exponencial en el siglo XVIII.

Introducción

Los logaritmos, que hacen posible transformar una multiplicación en una suma, una división en una resta, una potencia en un producto y una raíz en una división, tuvieron gran importancia porque simplificaban los cálculos numéricos; hoy en día, con las calculadoras y los ordenadores, las operaciones con logaritmos han cambiado sustancialmente.^[1]​

Definición

Dado un número real (argumento x), la función logaritmo le asigna el exponente n (o potencia) a la que un número fijo b (base) se ha de elevar para obtener dicho argumento. Es la función inversa de b a la potencia n. Esta función se escribe como: n = log_b x, lo que permite obtener n.^[2]​

${\displaystyle \log _{b}x=n\quad \Leftrightarrow \ \quad b^{n}=x\,}$ 

(Esto se lee como: logaritmo en base b de x es igual a n; si y solo si b elevado a la n da por resultado x.)

Para que la definición sea válida, no todas las bases y números son posibles. La base b tiene que ser positiva y distinta de 1 (b> 0 y b ≠ 1), x tiene que ser un número positivo x > 0 y n puede ser cualquier número real (n ∈ R).^[3]​

Así, en la expresión 10² = 100, el logaritmo en base 10 de 100 es 2, y se escribe como log₁₀ 100 = 2.

Propiedades generales

Los logaritmos, independientemente de la base elegida, cumplen una serie de propiedades comunes que los caracterizan. Así, logaritmo de su base es siempre 1; log_b b = 1 ya que b¹ = b. El logaritmo de 1 es cero (independientemente de la base); log_b 1=0 ya que b⁰ = 1.

Si b es entero (Z) y el número real a se encuentra dentro del intervalo 0 <  a < 1 entonces log_b a da un valor negativo o se dice que es un logaritmo negativo. Es evidente, ya que si logaritmo de 1 es cero, entonces valores reales menores que uno serán negativos por ser la función logarítmica estrictamente creciente y cuyo recorrido es (-∞, +∞). También usando la identidad logarítmica log_b(x/y)=log_b x - log_b y; puesto que a pertenece al intervalo 0 <  a < 1, su inverso a^-1 será mayor que uno, con lo que log_b(a)=log_b(1/a^-1) = log_b 1 - log_b(a^-1)= -log_b(a^-1). Esto puede resumirse así: Sea b ∈ Z ∧ 0<a<1 ⇒ log_b(a)= -c.

Los números negativos no tienen logaritmo en el cuerpo de los reales R, ya que cualquiera que sea el exponente n, se tendrá siempre que bⁿ será mayor que cero, bⁿ > 0; en consecuencia, no hay ningún valor real de n que pueda satisfacer bⁿ = x cuando x sea menor que 0. Sin embargo, este obstáculo se puede salvar, ampliando el dominio de definición al cuerpo de los números complejos C, pudiendo calcular logaritmos de números negativos usando el logaritmo complejo o recurriendo a la fórmula de Euler.

Las potencias consecutivas de una base forman una progresión geométrica y la de los exponentes una progresión aritmética. Por ejemplo, las potencias de 2 son 1,2,4,8,16,32,64,…, etc., y sus exponentes serán 0, 1, 2, 3, 4, …, etc., ya que 2⁰ = 1, 2¹ = 2, 2² = 4, 2³ = 8, y 2⁴ = 16, etc., luego log₂ 1 = 0, log₂ 2 = 1, log₂ 4 = 2, log₂ 8 = 3 y log₂ 16 = 4, etc.

Propiedades algebraicas

Artículo principal: Identidades logarítmicas

En esta parte se destaca la capacidad operativa del uso de logaritmos en el sentido de operaciones coligadas; mediante logaritmos, una operación se convierte en otra operación de menor nivel. Por ejemplo, un producto de n factores se reduce a una adición de n sumandos.

Ciertamente, las siguientes proposiciones funcionan como identidades para los valores de su dominio de definición. Sin embargo, el éxito de la invención y uso de los logaritmos, justamente, radicó en poder convertir productos en sumas; cocientes en restas; potencia en producto y raíz de grado n en un cociente. Este hecho permite decir que, en su momento, el uso de logaritmos produjo un cambio revolucionario en los cálculos, empleados en la astronomía, navegación y matemática financiera aplicada a la banca y los negocios colaterales.^[4]​ Los logaritmos mantienen ciertas identidades aritméticas muy útiles a la hora de realizar cálculos:

• El logaritmo de un producto es igual a la suma de los logaritmos de los factores.

${\displaystyle \!\,\log _{b}(xy)=\log _{b}(x)+\log _{b}(y)\,}$ 

• El logaritmo de un cociente es igual al logaritmo del numerador menos el logaritmo del denominador.

${\displaystyle \!\,\log _{b}\left({\frac {x}{y}}\right)=\log _{b}(x)-\log _{b}(y)\,}$ 

• El logaritmo de una potencia es igual al producto entre el exponente y el logaritmo de la base de la potencia.

${\displaystyle \!\,\log _{b}(x^{y})=y\log _{b}(x)\,}$ 

• El logaritmo de una raíz es igual al producto entre la inversa del índice y el logaritmo del radicando.

${\displaystyle \!\,\log _{b}({\sqrt[{y}]{x}})={\frac {\log _{b}(x)}{y}}\,}$ 

En realidad la tercera y cuarta identidad son equivalentes, sin más que hacer:

${\displaystyle \!\,{\sqrt[{y}]{x}}=x^{\frac {1}{y}}\,}$ 

Selección y cambio de base

Entre los logaritmos más utilizados se encuentra el logaritmo natural, cuya base es e, base 10 (logaritmo común), base 2 (logaritmo binario), o en base indefinida (logaritmo indefinido). La elección de un determinado número como base de los logaritmos no es crucial, ya que, todos son proporcionales entre sí. Es útil la siguiente fórmula que define al logaritmo de x en base b (suponiendo que b, x, y k son números reales positivos y que tanto b como k son diferentes de 1):

${\displaystyle \log _{b}(x)={\frac {\log _{k}(x)}{\log _{k}(b)}}\,\!\,}$ 

en la que k es cualquier base válida. Si hacemos k=x, obtendremos:

${\displaystyle \log _{b}(x)={\frac {1}{\log _{x}(b)}}.}$ 

El logaritmo más ampliamente utilizado es el natural, ya que tiene multitud de aplicaciones en física, matemáticas, ingeniería y en ciencias en general. También es bastante utilizado el logaritmo decimal, que se indica como ${\displaystyle \log(x)\,\!\,}$ , en ciencias que hacen uso de las matemáticas, como la química en la medida de la acidez (denominada pH) y en física en magnitudes como la medida de la luminosidad (candela), de intensidad de sonido (dB), de la energía de un terremoto (escala sismológica de Richter), etc. En informática se usa el logaritmo en base 2 la mayoría de veces.

Propiedades analíticas

Un estudio más profundo de los logaritmos requiere el concepto de función. Un ejemplo es la función que produce la x-ésima potencia de b para cualquier número real x, donde la base (o raíz) b es un número fijo. Esta función se escribe como

${\displaystyle f(x)=b^{x}\,}$ 

Función logarítmica

Para garantizar la definición de logaritmos, es necesario demostrar que para la ecuación exponencial

${\displaystyle b^{x}=y\,}$ 

existe una única solución x , asumiendo que y es positivo y que b es positivo y distinto de 1. Una demostración de este hecho requiere del teorema del valor intermedio del cálculo elemental.^[5]​ Este teorema establece que una función continua que produce dos valores m y n también produce cualquier valor que se encuentre entre m y n. Una función es continua si esta no «salta», esto es, si su gráfico puede ser escrito sin levantar el lápiz del papel.

Esta propiedad se puede demostrar que se cumple para la función f(x) = b^x. Puesto que f toma arbitrariamente valores grandes positivos y valores pequeños positivos, cualquier número y > 0 que se encuentra entre f(x₀) y f(x₁) para un adecuado x₀ y x₁. Por lo tanto, el teorema del valor intermedio asegura que la ecuación f(x) = y tiene una solución. Más aún, hay únicamente una solución para esta ecuación, puesto que la función f es estrictamente creciente (para b > 1), o estrictamente decreciente (para 0 < b < 1).^[6]​

La única solución x es el logaritmo de y en la base b, log_b(y). La función que asigna a cada y su logaritmo se llama función logaritmo o función logarítmica (o logaritmo a secas).

Función inversa

 

Gráfico de la función logarítmica log_b(x) (azul) se obtiene mediante reflexión del gráfico de la función b^x (roja) sobre la línea diagonal ( x = y).

La fórmula para el logaritmo de una potencia dice en particular que para cualquier número x,

${\displaystyle \log _{b}\left(b^{x}\right)=x\log _{b}(b)=x.}$ 

En lenguaje llano, tomando la x-ésima potencia de b y luego el base-b logaritmo se vuelve a obtener x. De modo contrario, dado un número positivo y, la fórmula

${\displaystyle b^{\log _{b}(y)}=y}$ 

dice que tomando primero el logaritmo y después exponenciando se vuelve a obtener y. Así, las dos maneras posibles de combinar (o componer) logaritmos y exponenciales vuelve a dar el número original. Por lo tanto, el logaritmo en base b es la función inversa de f(x) = b^x.^[7]​

Las funciones inversas están íntimamente relacionadas con las funciones originales. Sus gráficos se corresponden el uno con el otro mediante el intercambio de las coordenadas x e y (o por reflexión sobre la línea diagonal x = y), como se muestra en la figura de la derecha: un punto (t, u = b^t) sobre el gráfico de f proporciona un punto (u, t = log_bu) sobre el gráfico del logaritmo y viceversa.

Crecimiento o decrecimiento de la función

Como consecuencia, log_b(x) tiende a + infinito (se hace más grande que cualquier número dado) si x aproxima a + infinito, siempre que b sea mayor que 1. En ese caso, log_b(x) es un función creciente. Para b < 1, log_b(x) tiende a menos infinito en lugar de a infinito. Cuando x se aproxima a cero, log_b(x) tiende a menos infinito para b > 1 (a más infinito cuando b < 1, respectivamente). En cualquier caso, y para todo valor apropiado de la base b, la gráfica de la función logarítmica corta al eje de las abscisas en el punto (1,0).

Derivada e integral indefinida

 

El gráfico del logaritmo natural (verde) y su tangente en x = 1.5 (negro)

Las propiedades analíticas de las funciones pasan a sus inversas.^[5]​ Así, como f(x) = b^x es una función continua y diferenciable, también lo será log_b(y). Toscamente hablando, una función continua es diferenciable si su gráfico no tiene «trazos puntiagudos». Más aún, como la derivada de f(x) evaluada en ln(b)b^x por las propiedades de la función exponencial, la regla de la cadena implica que la derivada de log_b(x) es dada por^[6]​^[8]​

${\displaystyle {\frac {\text{d}}{{\text{d}}x}}\log _{b}(x)={\frac {1}{x\ln(b)}}.}$ 

Esto es, la pendiente de la tangente que toca el gráfico del logaritmo en base-b en el punto (x, log_b(x)) es igual a 1/(x ln(b)). En particular, la derivada de ln(x) es 1/x, lo que implica que la integral indefinida de 1/x es ln(x) + C.La derivada con un argumento funcional generalizado f(x) es

${\displaystyle {\frac {\text{d}}{{\text{d}}x}}\ln(f(x))={\frac {f'(x)}{f(x)}}.}$ 

El cociente del miembro derecho es denominado derivada logarítmica de f. Calcular f'(x) por medio de la derivada de ln(f(x)) se conoce como diferenciación logarítmica.^[9]​ La integral indefinida del logaritmo natural ln(x) es:^[10]​

${\displaystyle \int \ln(x)\,{\text{d}}x=x\ln(x)-x+C.}$ 

Fórmulas relacionadas, tales como integrales indefinidas de logaritmos en otras bases pueden ser obtenidas de esta ecuación usando el cambio de bases.^[11]​

Representación integral del logaritmo natural

 

El logaritmo natural de t es el área sombreada bajo el gráfico de la función f(x) = 1/x (inversa de x).

Artículo principal: Logaritmo natural

El logaritmo natural de t concuerda con la integral de 1/x dx desde 1 a t:

${\displaystyle \ln(t)=\int _{1}^{t}{\frac {1}{x}}\,dx.}$ 

En otras palabras, ln(t) es igual al área entre el eje x y el gráfico de la función 1/x, recorrido desde x = 1 a x = t (figura a la derecha). Esto es una consecuencia del teorema fundamental del cálculo y del hecho de que la derivada de ln(x) sea 1/x. El miembro de la derecha de esta ecuación puede servir con una definición para el logaritmo natural. Las fórmulas del producto y potencias de logaritmo pueden ser obtenidas de esta definición.^[12]​ Por ejemplo, la fórmula del producto ln(tu) = ln(t) + ln(u) se deduce como:

${\displaystyle \ln(tu)=\int _{1}^{tu}{\frac {1}{x}}\,dx\ {\stackrel {(1)}{=}}\int _{1}^{t}{\frac {1}{x}}\,dx+\int _{t}^{tu}{\frac {1}{x}}\,dx\ {\stackrel {(2)}{=}}\ln(t)+\int _{1}^{u}{\frac {1}{w}}\,dw=\ln(t)+\ln(u).}$ 

La igualdad (1) descompone la integral en dos partes, mientras que la igualdad (2) es un cambio de variable ( w = x/t). En la ilustración de abajo, la descomposición corresponde a dividir el área en las partes azul y amarilla. Reescalando el área azul de la izquierda verticalmente mediante el factor t y contrayendo esta por el mismo factor horizontalmente no se cambia su tamaño. Moviéndola apropiadamente, el área de la gráfica se ajusta a la función f(x) = 1/x de nuevo. Por lo tanto, el área azul del término izquierdo, que es la integral de f(x) desde t a tu es la misma que la de la integral desde 1 a u. Esto justifica la igualdad (2) con otra demostración geométrica más.

 

Una demostración visual de la fórmula del producto del logaritmo natural.

La fórmula de la potencia ln(t^r) = r ln(t) puede ser obtenida de manera similar:

${\displaystyle \ln(t^{r})=\int _{1}^{t^{r}}{\frac {1}{x}}dx=\int _{1}^{t}{\frac {1}{w^{r}}}\left(rw^{r-1}\,dw\right)=r\int _{1}^{t}{\frac {1}{w}}\,dw=r\ln(t).}$ 

La segunda igualdad usa los cambios de variable (integración por sustitución), w := x^1/r.

La suma sobre los inversos de los números naturales,

${\displaystyle 1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}=\sum _{k=1}^{n}{\frac {1}{k}},}$ 

es llamada serie armónica. Está estrechamente vinculada al logaritmo natural: cuando n tiende a infinito, la diferencia,

${\displaystyle \sum _{k=1}^{n}{\frac {1}{k}}-\ln(n),}$ 

converge (es decir, se aproxima arbitrariamente cerca) a un número conocido como constante de Euler-Mascheroni. Esta relación ayuda a analizar el rendimiento de algoritmos, como quicksort.^[13]​

Trascendencia del logaritmo

El logaritmo es un ejemplo de función trascendente y desde un punto de vista teórico, el teorema de Gelfond-Schneider afirma que los logaritmos suelen tomar valores «difíciles». La declaración formal se basa en la noción de números algebraicos, que incluye a todos los números racionales, pero también números tales como la raíz cuadrada de 2 o

${\displaystyle {\sqrt {-5+{\sqrt[{3}]{\cfrac {3}{13}}}}}}$ 

Números complejos que no son algebraicos son llamados transcendentes;^[14]​ por ejemplo, π y e son dos de esos números. Casi todos los números complejos son trascendentes. Usando estas nociones, el teorema de Gelfond–Scheider declara que dados dos números algebraicos a y b, log_b(a) es, o un número trascendente, o un número racional p / q (en cuyo caso a^q = b^p, de manera que, para empezar, a y b estaban estrechamente relacionados).^[15]​

Cálculo

Los logaritmos son fáciles de calcular en algunos casos, tales como log₁₀(1000) = 3. En general, los logaritmos pueden ser calculados usando series de potencias o la media aritmético-geométrica, o ser obtenidos de una tabla de logaritmos precalculada que proporciona una precisión fijada.^[16]​^[17]​ El método de Newton, un método iterativo para resolver ecuaciones aproximadamente, puede ser usado también para calcular el logaritmo, porque su función inversa, la función exponencial, puede ser calculada eficientemente.^[18]​ Usando tablas de referencias, métodos como CORDIC pueden ser usados para calcular logaritmos si la únicas operaciones disponibles son la adición y el desplazamiento de bits.^[19]​^[20]​ Más aún, el algoritmo del logaritmo binario calcula lb(x) recursivamente basado en la repetición cuadrática de x, aprovechando la relación

${\displaystyle \log _{2}(x^{2})=2\log _{2}(x).\,}$ 

Serie de potencias

Serie de Taylor

Artículo principal: Serie de Taylor

 

Serie de Taylor de  ln(z) at z = 1. La animación muestra las primeras  10 aproximaciones junto con las aproximaciones 99 y 100.

Para cualquier número real z que satisfaga 0 < z < 2, la siguiente serie de potencias se cumple:^{[nb 1]}​^[21]​

${\displaystyle \ln(z)=(z-1)-{\frac {(z-1)^{2}}{2}}+{\frac {(z-1)^{3}}{3}}-{\frac {(z-1)^{4}}{4}}+\cdots }$ 

Esta es una manera rápida de decir que ln(z) puede ser aproximado a un valor más y más preciso mediante las siguientes expresiones:

${\displaystyle {\begin{array}{lllll}(z-1)&&\\(z-1)&-&{\frac {(z-1)^{2}}{2}}&\\(z-1)&-&{\frac {(z-1)^{2}}{2}}&+&{\frac {(z-1)^{3}}{3}}\\\vdots &\end{array}}}$ 

Por ejemplo, con z = 1.5 la tercera aproximación obtiene 0.4167, que es alrededor de 0.011 mayor que ln(1.5) = 0.405465. Esta serie aproxima ln(z) con precisión arbitraria, siempre que el número de sumandos sea lo suficientemente grande. En cálculo elemental, ln(z) es por tanto, el límite de la serie. Esta es la serie de Taylor del logaritmo natural en z = 1. La serie de Taylor de ln z proporciona una particular aproximación útil de ln(1+z) cuando z es pequeño, |z| << 1, puesto que

${\displaystyle \ln(1+z)=z-{\frac {z^{2}}{2}}+\cdots \approx z.}$ 

Por ejemplo, con z = 0,1 el primer orden de aproximación da ln(1,1) ≈ 0.1, que es menor del 5 % del valor correcto 0,0953.

Series más eficientes

Otra serie está basada en la función argumento de tangente hiperbólica:

${\displaystyle \ln(z)=2\cdot \operatorname {artanh} \,{\frac {z-1}{z+1}}=2\left({\frac {z-1}{z+1}}+{\frac {1}{3}}{\left({\frac {z-1}{z+1}}\right)}^{3}+{\frac {1}{5}}{\left({\frac {z-1}{z+1}}\right)}^{5}+\cdots \right),}$ 

para cualquier número real z > 0.^{[nb 2]}​^[21]​ Usando la notación sumatorio esta también puede ser escrita como

${\displaystyle \ln(z)=2\sum _{k=0}^{\infty }{\frac {1}{2k+1}}\left({\frac {z-1}{z+1}}\right)^{2k+1}.}$ 

Esta serie se puede obtener de la serie de Taylor anterior. Converge más rápido que la serie de Taylor, especialmente si z es cercano a 1. Por ejemplo, para  , los tres primeros términos de la segunda serie aproximan ln(1,5) con un error del entorno de 3×10⁻⁶. La rápida convergencia para z cercano a 1 puede ser tomada como una ventaja de la siguiente manera.: da una aproximación de baja exactitud y ≈ ln(z) y calculando

${\displaystyle A={\frac {z}{\exp(y)}},\,}$ 

el logaritmo de z es:

${\displaystyle \ln(z)=y+\ln(A).\,}$ 

Cuando mejor es la aproximación inicial y, más cerca está A de 1, así que su logaritmo puede ser calculado eficientemente. A puede ser calculado usando la serie exponencial, que converge rápidamente siempre que y no sea demasiado grande. Calculando el logaritmo de un z mayor, puede ser reducido a valores más pequeños que z mediante la escritura z = a · 10^b, así que ln(z) = ln(a) + b · ln(10).

Un método íntimamente relacionado puede ser utilizado para calcular el logaritmo de enteros. De la serie anterior, se deduce que:

${\displaystyle \ln(n+1)=\ln(n)+2\sum _{k=0}^{\infty }{\frac {1}{2k+1}}\left({\frac {1}{2n+1}}\right)^{2k+1}.}$ 

Si el logaritmo de un entero grande n es conocido, entonces esta serie obtiene una veloz serie convergente para log(n+1).

Aproximación mediante media aritmético-geométrica

La media aritmético-geométrica da aproximaciones con gran precisión del logaritmo natural. ln(x) es aproximado con una precisión de 2^−p (o p bits precisos) mediante la siguiente fórmula (dada por Carl Friedrich Gauss):^[22]​^[23]​

${\displaystyle \ln(x)\approx {\frac {\pi }{2M(1,2^{2-m}/x)}}-m\ln(2).}$ 

Aquí M denota la media aritmético-geométrica. Se puede obtener mediante el cálculo repetido de la media (media aritmética) y de la raíz cuadrada del producto de dos números (media geométrica). Más aún, m es escogido tal que

${\displaystyle x\,2^{m}>2^{p/2}.\,}$ 

Ambas, media aritmético-geométrica y las constantes π y ln(2) pueden ser calculadas mediante series convergentes muy rápidas.

Extensiones

Es posible extender el concepto de logaritmo más allá de los reales positivos.

Números reales

Para enteros b y x, el número ${\displaystyle \log _{b}(x)\,}$  es irracional (no puede representarse como el cociente de dos enteros) si b o x tienen un factor primo que el otro no tiene.

El logaritmo natural de un número real positivo está bien definido y es un número real. Sin embargo, generalizar el logaritmo natural a números reales negativos solo puede hacerse introduciendo números complejos.

Sin embargo, al igual que sucede el logaritmo de números complejos la elección de logaritmo de un número negativo no es única, aunque la elección hecha es la más frecuentemente usada para extender el logaritmo a números reales negativos.

Números complejos

Artículo principal: Logaritmo complejo

 

Principal rama del logaritmo complejo, Log(z).

El logaritmo natural de un número complejo z es otro número complejo b = ln(z) que sea solución de la ecuación:

(*)${\displaystyle z=e^{b}\;\,}$ 

La ecuación anterior no tiene solución única. De hecho, tiene un número infinito de soluciones, aunque todas ellas son fáciles de encontrar. Dado un número complejo z escrito en forma polar, una solución posible de la ecuación (*) es b₀:

${\displaystyle b_{0}=\ln \rho +i\theta \qquad {\mbox{con}}\ z=\rho e^{i\theta }\,}$ 

Puede comprobarse que esta no es la única solución, sino que para cualquier valor ${\displaystyle k\in \mathbb {Z} \,}$  resulta que el número complejo b_k, definido a continuación, también es solución:

${\displaystyle b_{k}=\ln \rho +i\theta +2\pi ki\qquad \Rightarrow e^{b_{k}}=\rho e^{i\theta }\cdot e^{2\pi ki}=z\,}$ 

De hecho cada valor particular de k define una superficie de Riemann.

Logaritmo en base imaginaria

Artículo principal: Logaritmo en base imaginaria

Un logaritmo en base imaginaria es un logaritmo que tiene como base i (la unidad imaginaria). Este tipo de logaritmos se puede resolver fácilmente con la fórmula:

${\displaystyle \log _{i}(z)={{2\ln(z)} \over i\pi }.\,}$ 

Dónde z es cualquier número complejo excepto 0. Sin embargo, cabe señalar que la fórmula anterior solo es una de las posibles soluciones ya que la ecuación:

${\displaystyle i^{\lambda }=z\,}$ 

admite no solo la solución dada anteriormente sino que cualquier x de la forma:

${\displaystyle \lambda ={\frac {2}{i\pi }}\ln(z)+4k=\log _{i}(z)+4k,\qquad k\in \mathbb {Z} \,}$ 

también es solución.

Matrices

Artículo principal: Logaritmo de una matriz

Una matriz B es logaritmo de una matriz dada A si la exponenciación de B es A:

${\displaystyle e^{B}=A\,}$ 

A diferencia de la exponenciación de matrices, el logaritmo de una matriz real puede no estar definido siempre. En el caso de una matriz diagonalizable es necesario que logaritmo esté definido para todos y cada uno de los autovalores o valores propios de la matriz. En ese caso el logaritmo de la matriz está definido y es logaritmo de una matriz con autovalores positivos es otra matriz real. Si el 0 es un autovalor de la matriz, entonces su logaritmo no está definido.

Si el logaritmo está definido sobre el espectro o conjunto de autovalores y estos incluyen algún número negativo, aun así es posible definir una matriz logaritmo (en forma similar a como se definen los logaritmos de números negativos o complejos), aunque no resulta única.

En el caso de una matriz no diagonalizable, este proceso es más complicado, ya que requiere encontrar primero su forma canónica de Jordan.

Logaritmo discreto

Artículo principal: Logaritmo discreto

Los logaritmos discretos son los análogos en teoría de grupos de los logaritmos ordinarios. En particular, un logaritmo ordinario log_a(b) es una solución de la ecuación a^x = b sobre números reales o números complejos. De manera similar, si g y h son elementos de un grupo cíclico finito G, entonces una solución x de la ecuación g^x = h es llamada logaritmo discreto en la base g de h en el grupo G.

Si (G,·) es un grupo cíclico finito de orden n, donde · es el operador multiplicación, si se escoge un generador g de G, entonces cada elemento h de G puede ser escrito como h = g^k para algún entero k, de manera que la función

${\displaystyle \operatorname {log} _{g}:G\rightarrow \mathbb {Z} /n\mathbb {Z} }$ 

asigna a cada h la clase de equivalencia módulo n de k, esto es, todos los k que cumplan que h ≡ g^k mod n.

Este logaritmo tiene aplicaciones en criptografía, en especial en el método de intercambio de claves de Diffie-Hellman o en el sistema de ElGamal.

Historia

Artículo principal: Historia de los logaritmos

 

John Napier (Neper), fue el primero que definió y desarrolló los logaritmos.

El método de cálculo mediante logaritmos fue propuesto por primera vez, públicamente, por John Napier (latinizado Neperus) en 1614, en su libro titulado Mirifici Logarithmorum Canonis Descriptio. Joost Bürgi, un matemático y relojero suizo al servicio del duque de Hesse-Kassel, concibió por primera vez los logaritmos; sin embargo, publicó su descubrimiento cuatro años después que Napier. La inicial resistencia a la utilización de logaritmos fue cambiada por Kepler, por el entusiasta apoyo de su publicación y la impecable y clara explicación de cómo funcionaban.

Este método contribuyó al avance de la ciencia, y especialmente de la astronomía, facilitando la resolución de cálculos muy complejos. Los logaritmos fueron utilizados habitualmente en geodesia, navegación marítima y otras ramas de la matemática aplicada, antes de la llegada de las calculadoras y computadoras. Además de la utilidad en el cálculo, los logaritmos también ocuparon un importante lugar en las matemáticas más avanzadas; el logaritmo natural presenta una solución para el problema de la cuadratura de un sector hiperbólico ideado por Gregoire de Saint-Vincent en 1647.

Napier no usó una base tal como ahora se entiende pero, sus logaritmos, como factor de escala, funcionaban de manera eficaz con base 1/e. Para los propósitos de interpolación y facilidad de cálculo, eran útiles para hallar la relación r en una serie geométrica tendente a 1. Napier escogió r = 1 - 10⁻⁷ = 0,999999 (Bürgi eligió r = 1 + 10⁻⁴ = 1,0001). Los logaritmos originales de Napier no tenían log 1 = 0, sino log 10⁷ = 0. Así, si N es un número y L es el logaritmo, Napier calcula: N = 10⁷(1 − 10⁻⁷)^L. Donde (1 − 10⁻⁷)¹⁰⁷ es aproximadamente 1/e, haciendo L/10⁷ equivalente a log_1/e N/10⁷. Véase logaritmo neperiano.

Inicialmente, Napier llamó «números artificiales» a los logaritmos y «números naturales» a los antilogaritmos. Más tarde, Napier usa la palabra logaritmo en el sentido de un número que indica una proporción: λόγος (logos) el sentido de proporción, y ἀριθμός (arithmos) significado número, y se define, literalmente, como «un número que indica una relación o proporción». Se refiere a la proposición que fue hecha por Napier en su «teorema fundamental», que establece que la diferencia de dos logaritmos determina la relación de los números a los cuales corresponden, de manera que una progresión aritmética de logaritmos corresponde a una progresión geométrica de números. El término antilogaritmo fue introducido a finales de siglo xvii y, aunque nunca se utilizó ampliamente en matemáticas, perduró en muchas tablas, hasta que cayó en desuso.

Véase también

• Identidades logarítmicas
• Cologaritmo
• Logaritmo binario
• Logaritmo natural
• Logaritmo neperiano
• Logaritmo decimal
• Logaritmo complejo
• Logaritmo en base imaginaria
• Logaritmo iterado
• Logaritmo discreto
• Logaritmo de una matriz
• Función exponencial La función inversa del logaritmo.
• Neper
• pH
• Decibelio (dB) unidad logarítmica para expresar la relación entre dos magnitudes, acústicas o eléctricas.
• Escala logarítmica

Función elemental Función algebraica Potenciación Función polinómica Función racional Radicación Función trascendente Función trigonométrica Función exponencial Logaritmo

Notas

1. La misma serie se cumple para el valor principal del logaritmo complejo para números complejos z que satisfacen que |z − 1| < 1.
2. La misma serie se cumple para el valor principal del logaritmo complejo para números complejos z con parte real positiva.

Referencias

1. Arias Cabezas, José María; Maza Sáez, Ildefonso (2008). «Aritmética y Álgebra». En Carmona Rodríguez, Manuel; Díaz Fernández, Francisco Javier, eds. Matemáticas 1. Madrid: Grupo Editorial Bruño, Sociedad Limitada. p. 13. ISBN 9788421659854.  |fechaacceso= requiere |url= (ayuda)
2. Weisstein, Eric W. «Logaritmo». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
3. González, Mario O.; Mancill, Julián (1980). Álgebra Elemental Moderna. Buenos Aires: Editorial Kapelusz. p. 243. 
4. Kasner-Newman: Matemática e imaginación.
5. Lang, 1997, Sección III.3.
6. Lang, 1997, Sección IV.2.
7. Stewart, James (2007), Single Variable Calculus: Early Transcendentals, Belmont: Thomson Brooks/Cole, ISBN 978-0-495-01169-9 ., section 1.6
8. . Wolfram Alpha. Wolfram Research. Archivado desde el original el 18 de julio de 2011. Consultado el 15 de marzo de 2011. 
9. Kline, Morris (1998), Calculus: an intuitive and physical approach, Dover books on mathematics, New York: Dover Publications, ISBN 978-0-486-40453-0 ., p. 386
10. . Wolfram Alpha. Wolfram Research. Archivado desde el original el 18 de julio de 2011. Consultado el 15 de marzo de 2011. 
11. (Abramowitz y Stegun, 1972, p. 69)
12. Courant, Richard (1988), Differential and integral calculus. Vol. I, Wiley Classics Library, New York: John Wiley & Sons, ISBN 978-0-471-60842-4, MR 1009558 ., section III.6
13. Havil, Julian (2003), Gamma: Exploring Euler's Constant, Princeton University Press, ISBN 978-0-691-09983-5 ., sections 11.5 and 13.8
14. Nomizu, Katsumi (1996), Selected papers on number theory and algebraic geometry 172, Providence, RI: AMS Bookstore, p. 21, ISBN 978-0-8218-0445-2 .
15. Baker, Alan (1975), Transcendental number theory, Cambridge University Press, ISBN 978-0-521-20461-3 ., p. 10.
16. Muller, Jean-Michel (2006), Elementary functions (2nd edición), Boston, MA: Birkhäuser Boston, ISBN 978-0-8176-4372-0 ., sections 4.2.2 (p. 72) and 5.5.2 (p. 95)
17. Hart, Cheney, Lawson et al. (1968), Computer Approximations, SIAM Series in Applied Mathematics, New York: John Wiley ., section 6.3, pp. 105-111
18. Zhang, M.; Delgado-Frias, J. G.; Vassiliadis, S. (1994), , IEE Proceedings Computers & Digital Techniques 141 (5): 281-292, ISSN 1350-387 |issn= incorrecto (ayuda), doi:10.1049/ip-cdt:19941268, archivado desde el original el 9 de mayo de 2012, consultado el 23 de junio de 2012 ., section 1 for an overview
19. Meggitt, J. E. (abril de 1962), «Pseudo Division and Pseudo Multiplication Processes», IBM Journal, doi:10.1147/rd.62.0210 .
20. Kahan, W. (20 de mayo de 2001), Psuedo-Division Algorithms for Floating-Point Logarithms and Exponentials .
21. (Abramowitz y Stegun, 1972, p. 68)
22. Sasaki, T.; Kanada, Y. (1982), «Practically fast multiple-precision evaluation of log(x)», Journal of Information Processing 5 (4): 247-250, consultado el 30 de marzo de 2011 .
23. Ahrendt, Timm (1999), Fast computations of the exponential function, Lecture notes in computer science 1564, Berlin, New York: Springer, pp. 302-312, doi:10.1007/3-540-49116-3_28 .

Bibliografía

• Lang, Serge (1997). Undergraduate analysis. Undergraduate Texts in Mathematics (2.ª edición). Berlin, New York: Springer-Verlag. ISBN 978-0-387-94841-6. MR 1476913. 
• Doctor Honoris Causa Rito Rizquez, University of Boston, J. Aritmética razonada. 
• Marcos, C.; Martínez, J. (1768). Matemáticas. 
• González Aguilar. Matemáticas. 
• Chávez Reyes, Carmen; León Quintanar, Adriana. La Biblia de las Matemáticas. 

Enlaces externos

•   Wikimedia Commons alberga una galería multimedia sobre Logaritmo.
• Weisstein, Eric W. «Logaritmo». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

•   Datos: Q11197
•   Multimedia: Logarithm