Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Nota Importante:
1. Conjuntamente, los puntos 2, 3 y 4 de la proposición 7.1 aseguran que cada
solución no trivial de (7.1) genera todas las soluciones al multiplicarse por un
número real arbitrario.
df
2. Si f (x) es solución de (7.1), su función derivada (x) también lo es.
dx
A partir de la proposición 7.1, damos la definición siguiente:
xk
c) lim = 0, para cada k natural.
x→∞ exp x
148 La función exponencial y sus aplicaciones
exp x
3
e
2
x
-3 -2 -1 0 1
Figura 7.1 La función exponencial f (x) = exp x
Para probar 2.a), tenemos que para cada x0 , la función g(x) = exp(x + x0 ) es
también solución de (7.1), ya que aplicando la regla de la cadena se tiene
dg d
(x) = exp(x + x0 ) = exp(x + x0 ) = g(x)
dx dx
y, además, g(0) = exp x0 . Como la función exp x0 exp x, en virtud de lo demostrado
en el punto 2 de la proposición 7.1, es también solución de (7.1) y coincide con g(x)
en el punto x0 , por la unicidad de soluciones con un mismo valor en un punto dado,
tendremos
g(x) = exp(x + x0 ) = exp x0 exp x para toda x ∈ R.
La prueba de 2.b) se sigue del hecho de que cada solución de (7.1) tiene derivadas
de todos los órdenes, y entonces, escribiendo su desarrollo de Taylor de orden n
alrededor de x = 0, se tiene
1 2 1
exp x = 1 + x + x + · · · + xn + Rn (x)
2! n!
1
con |Rn (x)| 6 exp xc |x|n+1 ,
n!
donde xc ∈ [−x, x]. Por otro lado, al ser exp x una función continua en [−x, x], existe
M > 0 tal que
exp y < M para toda y ∈ [−x, x].
7.1 La función exponencial 149
dx2
lim (x) = lim exp x = ∞
x→∞ dx x→∞
y
2x x
lim = 2 lim = 0,
x→∞ exp x x→∞ exp x
Nota Importante:
150 La función exponencial y sus aplicaciones
ln : (0, ∞) → R
ln x = exp−1 x.
1. ln(xy) = ln x + ln y
d ln 1
2. (x) =
dx x
3. Es creciente y cóncava hacia abajo en toda la semirrecta (0, ∞)
1 1 1
4. ln(1 + x) = x − x2 + x3 − · · · (−1)k−1 xk + Rk (x).
2 3 k
k −k−1 k
con Rk (x) = (−1) (1 + xc ) (x − xc ) x, donde xc ∈ (0, x).
x
−1 1 2 3 4 5
−1
−2
−3
y la sucesión de sumas converge al valor de ln(1 + x). Por otro lado, tomando en
1
cuenta que ln x = − ln se concluye que la fórmula representa el logaritmo natural
x
para todo punto de su dominio.
def
1. Para cada r ∈ R, xr : (0, ∞) → R, xr = er ln x .
def
2. Para cada a > 0, ax : (0, ∞) → R, ax = ex ln a .
def
3. xx : (0, ∞) → R, xx = ex ln x .