Derivada e integral indefinida

El grfico del logaritmo natural (verde) y su tangente en x = 1.5 (negro)

Las propiedades analticas de las funciones pasan a sus inversas.
3
As, como f(x) = b
x
es una
funcin continua y diferenciable, tambin lo ser log
b
(y). Toscamente hablando, una funcin
continua es diferenciable si su grfico no tiene trazos puntiagudos. Ms an, como
la derivada de f(x) evaluada en ln(b)b
x
por las propiedades de la funcin exponencial, la regla
de la cadena implica que la derivada de log
b
(x) es dada por
4

6


Esto es, la pendiente de la tangente que toca el grfico del logaritmo en base-b en el punto (x,
log
b
(x)) es igual a 1/(xln(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

El cociente del miembro derecho es denominado derivada logartmica de f. Calcular f'(x) por
medio de la derivada de ln(f(x)) se conoce como diferenciacin logartmica.
7
La integral
indefinida del logaritmo natural ln(x) es:
8


Frmulas relacionadas, tales como integrales indefinidas de logaritmos en otras bases pueden
ser obtenidas de esta ecuacin usando el cambio de bases.
9

[editar]Representacin integral del logaritmo natural


El logaritmo natural de t es el rea sombreada bajo el grfico de la funcin f(x) = 1/x (inversa de x).
Artculo principal: Logaritmo natural.
El logaritmo natural de t concuerda con la integral de 1/x dx desde 1 a t:

En otras palabras, ln(t) es igual al rea entre el eje x y el grfico de la funcin 1/x, recorrido
desde x = 1 a x = t (figura a la derecha). Esto es una consecuencia del teorema
fundamental del clculo y del hecho de que la derivada de ln(x) sea 1/x. El miembro de la
derecha de esta ecuacin puede servir con una definicin para el logaritmo natural. Las
frmulas del producto y potencias de logaritmo pueden ser obtenidas de esta
definicin.
10
Por ejemplo, la frmula del producto ln(tu) = ln(t) + ln(u) se deduce como:

La igualdad (1) descompone la integral en dos partes, mientras que la igualdad (2) es
un cambio de variable (w = x/t). En la ilustracin de abajo, la descomposicin
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 tamao. Movindola apropiadamente, el rea de la
grfica se ajusta a la funcin f(x) = 1/x de nuevo. Por lo tanto, el rea azul del trmino
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 demostracin geomtrica ms.


Una demostracin visual de la frmula del producto del logaritmo natural.
La frmula de la potencia ln(t
r
) = r ln(t) puede ser obtenida de manera similar:

La segunda igualdad usa los cambios de variable (integracin por
sustitucin), w := x
1/r
.
La suma sobre los inversos de los nmeros naturales,

es llamada serie armnica. Est estrechamente vinculada al logaritmo natural:
cuando n tiende a infinito, la diferencia,

converge (i.e., se aproxima arbitrariamente cerca) a un nmero conocido
como constante de Euler-Mascheroni. Esta relacin ayuda a analizar el
rendimiento de algoritmos, como quicksort.
11

[editar]Transcendencia del logaritmo
El logaritmo es un ejemplo de funcin trascendente y desde un punto de
vista terico, el teorema de Gelfond-Schneider afirma que los logaritmos
suelen tomar valores difciles . La declaracin formal se basa en la
nocin de nmeros algebraicos, que incluye a todos los nmeros
racionales, pero tambin nmeros tales como la raz cuadrada de 2 o

Nmeros complejos que no son algebraicos son
llamados transcendentes;
12
por ejemplo, y e son dos de esos
nmeros. Casi todos los nmeros complejos son trascendentes.
Usando estas nociones, el teorema de GelfondScheider declara que
dados dos nmeros algebraicos a y b, log
b
(a) es, o un nmero
trascendente, o un nmero racional p / q (en cuyo caso a
q
= b
p
, de
manera que, para empezar, a y b estaban estrechamente
relacionados).
13

[editar]Clculo
Los logaritmos son fciles del calcular en algunos casos, tales
como log
10
(1,000) = 3. En general, los logaritmos pueden ser
calculados usando series de potencias o la media aritmtico-
geomtrica, o ser obtenidos de una tabla de logaritmos precalculada
que proporciona una precisin fijada.
14

15
El mtodo de Newton, un
mtodo iterativo para resolver ecuaciones aproximadamente, puede
ser usado tambin para calcular el logaritmo, porque su funcin
inversa, la funcin exponencial, puede ser calculada
eficientemente.
16
Usando tablas de referencias, mtodos
como CORDIC pueden ser usados para calcular logaritmos si la
nicas operaciones disponibles son la adicin y el desplazamiento de
bits.
17

18
Ms an, el algoritmo del logaritmo binario calcula
lb(x) recursivamente basado en la repeticin cuadrtica de x,
aprovechando la relacin

[editar]Serie de potencias
Serie de Taylor


Serie de Taylor de ln(z) at z = 1. La animacin muestra las primeras 10
aproximaciones junto con las aproximaciones 99 y 100.
Para cualquier nmero real z que satisfaga 0 < z < 2, la siguiente
frmula se cumple:
nb 1

19


Esta es una manera rpida de decir que ln(z) puede ser
aproximado a un valor ms y ms preciso mediante las
siguientes expresiones:

Por ejemplo, con z = 1.5 la tercera aproximacin obtiene
0.4167, que es alrededor de 0.011 mayor que ln(1.5) =
0.405465. Esta serie aproxima ln(z) con precisin
arbitraria, siempre que el nmero de sumandos sea lo
suficientemente grande. En clculo elemental, ln(z) es
por tanto, el lmite 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 aproximacin til de
ln(1+z) cuando z es pequeo, |z| << 1, puesto que

Por ejemplo, con z = 0.1 el primer orden de
aproximacin da ln(1.1) 0.1, que es menor del 5%
del valor correcto 0.0953.

Series ms eficientes
Otra serie est basada en la funcin argumento de
tangente hiperblica:

para cualquier nmero real z > 0.
nb 2

19
Usando
la notacin sumatorio esta tambin puede ser
escrita como

Esta serie se puede obtener de la serie de
Taylor anterior. Converge ms rpido que
la serie de Taylor, especialmente si z es
cercano a 1. Por ejemplo, para z = 1.5, los
tres primeros trminos de la segunda serie
aproximan ln(1.5) con un error del entorno
de 310
6
. La rpida convergencia
para z cercano a 1 puede ser tomada como
una ventaja de la siguiente manera.: da una
aproximacin de baja exactitud y ln(z) y
calculando

el logaritmo de z es:

Cuando mejor es la aproximacin
inicial y, ms cerca est A de 1,
as que su logaritmo puede ser
calculado eficientemente. A puede
ser calculado usando la serie
exponencial, que converge
rpidamente siempre que y no sea
demasiado grande. Calculando el
logaritmo de un z mayor, puede
ser reducido a valores ms
pequeos que z mediante la
escritura z = a 10
b
, as queln(z) =
ln(a) + b ln(10).
Un mtodo ntimamente
relacionado puede ser utilizado
para calcular el logaritmo de
enteros. De la serie anterior, se
deduce que:

Si el logaritmo de un entero
grande n es conocido,
entonces esta serie obtiene
una veloz serie convergente
para log(n+1).
[editar]Aproximacin
mediante media
aritmtico-geomtrica
La media aritmtico-
geomtrica da aproximaciones
con gran precisin del
logaritmo natural. ln(x) es
aproximado con una precisin
de 2
p
(o p bits precisos)
mediante la siguiente frmula
(dada por Carl Friedrich
Gauss):
20

21


Aqu M denota la media
aritmtico-geomtrica. Se
puede obtener mediante
el clculo repetido de la
media (media aritmtica) y
de la raz cuadrada del
producto de dos nmeros
(media geomtrica). Ms
an, m es escogido tal
que

Ambas, media
aritmtico-geomtrica
y las constantes y
ln(2) pueden ser
calculadas mediante
series convergentes
muy rpidas.
[editar]Extension
es
Es posible extender el
concepto
de logaritmo ms all
de los reales
positivos.
[editar]Nmeros
reales
Para enteros b y x, el
nmero es i
rracional (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 nmero real
positivo est bien
definido y es un
nmero real. Sin
embargo, generalizar
el logaritmo natural a
nmeros reales
negativos slo puede
hacerse introduciendo
nmeros complejos.
Sin embargo, al igual
que sucede el
logaritmo de nmeros
complejos la eleccin
de logaritmo de un
nmero negativo no
es nica, aunque la
eleccin hecha es la
ms frecuentemente
usada para extender
el logaritmo a
nmeros reales
negativos.
[editar]Nmeros
complejos
Artculo
principal: Logaritmo
complejo.


Principal rama del
logaritmo complejo,
Log(z).
El logaritmo natural
de un nmero
complejo z es otro
nmero complejo b =
ln(z) que sea solucin
de la ecuacin:
(*)
La ecuacin anterior
no tiene solucin
nica. De hecho,
tiene un nmero
infinito de soluciones,
aunque todas ellas
son fciles de
encontrar. Dado un
nmero
complejo z escrito en
forma polar, una
solucin posible de la
ecuacin (*) es b
0
:

Puede comprobarse
que sta no es la
nica solucin, sino
que para cualquier
valor resulta
que el nmero
complejo b
k
, definido
a continuacin,
tambin es solucin:

De hecho cada valor
particular de k define
una superficie de
Riemann.
[editar]Logaritmo
en base
imaginaria
Artculo
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
fcilmente con la
frmula:

Dnde z es
cualquier nmero
complejo excepto 0.
Sin embargo, cabe
sealar que la
frmula anterior slo
es una de las
posibles soluciones
ya que la ecuacin:

admite no slo la
solucin dada
anteriormente sino
que cualquier x de la
forma:

tambin es solucin.
[editar]Matrices
Artculo
principal: Logaritmo de
una matriz.
Una matriz B es
logaritmo de una
matriz dada A si
la exponenciacin de
B es 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 una
matriz real.
Si el logaritmo no
est definido
sobre
el espectro o
conjunto de
autovalores, aun
as es posible
definir una matriz
logaritmo (en
forma similar a
como se definen
los logaritmos de
nmeros
negativos o
complejos),
aunque no
resulta nica.
En el caso de
una matriz no
diagonalizable,
este proceso es
ms complicado,
ya que requiere
encontrar primero
su forma
cannica de
Jordan.
[editar]Logarit
mo discreto
Artculo
principal: Logaritm
o discreto.
Los logaritmos
discretos son los
anlogos
en teora de
grupos de los
logaritmos
ordinarios. En
particular, un
logaritmo
ordinario log
a
(b)
es una solucin
de la
ecuacin a
x
= b s
obre nmeros
reales o nmeros
complejos. De
manera similar,
si g y h son
elementos de
un grupo
cclico finito G,
entonces una
solucin x de la
ecuacin g
x
= h e
s llamada
logaritmo discreto
en la
base g deh en el
grupo G.
Si (G,) es
un grupo
cclico finito
de orden n,
donde es el
operador
multiplicacin, si
se escoge
un generador g d
e G, entonces
cada
elemento h de G
puede ser escrito
como h = g
k
para
algn entero k,
de manera que la
funcin

asigna a
cada h la cla
se de
equivalencia
modulo n de
k, esto es,
todos
los k que
cumplan
que h g
k
m
od n.
Este
logaritmo
tiene
aplicaciones
en
criptografa,
en especial
en el mtodo
de
intercambio
de claves de
Diffie-
Hellman o en
el sistema de
ElGamal.
[editar]Hist
oria


John
Napier (Ne
per), fue el
primero
que defini
y
desarroll
los
logaritmos.
El mtodo de
clculo
mediante
logaritmos
fue
propuesto
por primera
vez,
pblicamente
, por John
Napier (latini
zado Neperu
s) en 1614,
en su libro
tituladoMirific
i
Logarithmoru
m Canonis
Descriptio. J
oost Brgi,
un
matemtico y
relojero suizo
al servicio
del duque de
Hesse-
Kassel,
concibi por
primera vez
los
logaritmos;
sin embargo,
public su
descubrimien
to cuatro
aos
despus que
Napier. La
inicial
resistencia a
la utilizacin
de logaritmos
fue cambiada
porKepler,
por el
entusiasta
apoyo de su
publicacin y
la impecable
y clara
explicacin
de cmo
funcionaban.
Este mtodo
contribuy al
avance de la
ciencia, y
especialment
e de
la astronom
a, facilitando
la resolucin
de clculos
muy
complejos.
Los
logaritmos
fueron
utilizados
habitualment
e
en geodesia,
navegacin
martima y
otras ramas
de la
matemtica
aplicada,
antes de la
llegada de
las
calculadoras
ycomputador
as. Adems
de la utilidad
en el clculo,
los
logaritmos
tambin
ocuparon un
importante
lugar en las
matemticas
ms
avanzadas;
el logaritmo
natural
presenta una
solucin para
el problema
de la
cuadratura
de un sector
hiperblico
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
propsitos de
interpolacin
y facilidad de
clculo, eran
tiles para
hallar la
relacin r en
una serie
geomtrica
tendente a 1.
Napier
escogir = 1
-
10
7
= 0,999
999 (Brgi
eligi r = 1 +
10
4
= 1,000
1). Los
logaritmos
originales de
Napier no
tenan
log 1 = 0,
sino
log 10
7
= 0.
As, si N es
un nmero y
L es el
logaritmo,
Napier
calcula: N =
10
7
(1 10
7
)
L
. Donde
(1 10
7
)
107

es
aproximada
mente 1/e,
haciendo L/1
0
7
equivalent
e a
log
1/e
N/10
7
.
Vase logarit
mo
neperiano.
Inicialmente,
Napier llam
nmeros
artificiales a
los
logaritmos y
nmeros
naturales a
los
antilogaritmo
s. Ms tarde,
Napier usa la
palabra
logaritmo en
el sentido de
un nmero
que indica
una
proporcin:
(logos)
el sentido de
proporcin, y

(arithmos)
significado
nmero, y se
define,
literalmente,
como un
nmero que
indica una
relacin o
proporcin.
Se refiere a
la
proposicin
que fue
hecha por
Napier en su
teorema
fundamental
, que
establece
que la
diferencia de
dos
logaritmos
determina la
relacin de
los nmeros
a los cuales
corresponde
n, de manera
que
una progresi
n
aritmtica de
logaritmos
corresponde
a
unaprogresi
n
geomtrica d
e nmeros.
El trmino
antilogaritmo
fue
introducido a
finales de
siglo XVII y,
aunque
nunca se
utiliz
ampliamente
en
matemticas,
perdur en
muchas
tablas, hasta
que cay en
desuso.