5.2 5.2.2 Derivación logarítmica
ci-5-2-2 5.2.2 Derivación logarítmica
La técnica de derivación logarítmica es un método extraordinariamente potente que permite calcular de forma sencilla y elegante las derivadas de funciones complejas que involucran:
1. Funciones potencial-exponenciales donde tanto la base como el exponente son funciones de la variable independiente: \( y = [u(x)]^{v(x)} \)
Productos y cocientes largos compuestos por múltiples factores con potencias fraccionarias
El procedimiento general consta de cuatro pasos sistemáticos:
Aplicar logaritmos neperianos en ambos miembros de la ecuación \( y = f(x) \):
Utilizar las propiedades de los logaritmos (logaritmo de producto, cociente y potencia) para desglosar y simplificar al máximo el segundo miembro en sumas y productos simples.
Derivar implícitamente ambos miembros respecto a la variable independiente \( x \). En el primer miembro se obtiene siempre:
Despejar la derivada \( y' \) multiplicando toda la expresión resultante por la función original \( y \):
Fórmula general para la función potencial-exponencial \( y = u(x)^{v(x)} \) con \( u(x) > 0 \):
Tomando logaritmos: \( \ln y = v(x) \ln(u(x)) \)
Derivando implícitamente mediante la regla del producto:
Despejando \( y' \):
Observamos una hermosa propiedad de dualidad: la derivada total es exactamente la suma de tratar la función primero como una potencia pura (derivada respecto a la base) más tratarla como una exponencial pura (derivada respecto al exponente).
Tomamos logaritmos: $$ \ln y = \ln(x^x) = x \ln(x) $$
2. Derivamos implícitamente: $$ \frac{y'}{y} = (1) \cdot \ln(x) + x \cdot \left(\frac{1}{x}\right) = \ln(x) + 1 $$
Despejamos $$ y' $$ multiplicando por $$ y = x^x $$
A continuación resolvemos cinco problemas prácticos avanzados con desglose minucioso:
Como \( x \in (0, \pi) \), la base cumple \( \sin(x) > 0 \), por lo que el logaritmo neperiano está perfectamente definido.
Tomamos logaritmos neperianos en ambos miembros:
Bajamos el exponente aplicando la propiedad de las potencias del logaritmo:
Derivamos implícitamente respecto a \( x \) aplicando la regla del producto en el segundo miembro:
- La derivada de \( \cos(x) \) es \( -\sin(x) \)
- La derivada de \( \ln(\sin x) \) por la regla de la cadena es \( \frac{\cos(x)}{\sin(x)} = \cot(x) \)
Por tanto:
Despejamos \( y' \) multiplicando toda la expresión por la función original \( y = (\sin x)^{\cos x} \):
La derivada es $$ y' = (\sin x)^{\cos x} \left[ \frac{\cos^2(x)}{\sin(x)} - \sin(x)\ln(\sin x) \right] $$
Tomamos logaritmos neperianos en ambos miembros de la ecuación:
Expandimos el segundo miembro transformando los productos en sumas, los cocientes en restas y bajando los exponentes como coeficientes multiplicativos:
Derivamos término a término respecto a \( x \) de forma casi inmediata:
Simplificamos los coeficientes:
Despejamos la derivada \( y' \) multiplicando por la función original \( y \):
La técnica logarítmica permite resolver de forma limpia y directa una derivada que por las reglas convencionales de producto y cociente hubiera sido extraordinariamente farragosa.
Calculamos la ordenada del punto de tangencia evaluando en \( x_0 = 4 \):
El punto de contacto es \( P(4, 16) \)
Hallamos la función derivada \( y' \) mediante derivación logarítmica.
Tomamos logaritmos para \( x > 0 \):
Derivamos implícitamente respecto a \( x \) aplicando la regla del producto:
Como \( \frac{\sqrt{x}}{x} = \frac{1}{\sqrt{x}} \):
Despejamos la derivada:
Evaluamos la pendiente de la recta tangente en \( x_0 = 4 \):
Aproximando numéricamente: $$ m = 8(0.69315 + 1) = 8(1.69315) \approx 13.545 $$
Escribimos la ecuación de la recta tangente en la forma punto-pendiente:
La ecuación de la recta tangente es \( y - 16 = 8(\ln(2) + 1)(x - 4) \)
Tomamos logaritmos neperianos en la ecuación principal:
Derivamos implícitamente respecto a \( x \) aplicando la regla del producto:
Recordamos que la derivada del término \( u(x) = x^x \) fue calculada previamente mediante derivación logarítmica:
Sustituimos esta derivada en la expresión:
Despejamos \( y' \) multiplicando por la función original \( y = x^{(x^x)} \):
La derivada de la torre exponencial es $$ y' = x^{x^x + x} \left( \ln^2(x) + \ln(x) + \frac{1}{x} \right) $$
Tomamos logaritmos neperianos para \( x > 0 \):
Derivamos implícitamente respecto a \( x \) aplicando la regla del cociente en el segundo miembro:
Despejamos la función derivada:
Buscamos los puntos críticos igualando la derivada a cero (\( y' = 0 \)).
Como \( x^{1/x} > 0 \) y \( x^2 > 0 \), la derivada se anula si y solo si el numerador es cero:
Determinamos el signo de la derivada en torno a \( x = e \approx 2.718 \):
- Para \( 0 < x < e \): $$ \ln(x) < 1 \implies 1 - \ln(x) > 0 \implies y' > 0 $$
- Para \( x > e \): $$ \ln(x) > 1 \implies 1 - \ln(x) < 0 \implies y' < 0 $$
Por el criterio de la primera derivada, la función alcanza su máximo absoluto global en el punto crítico \( x = e \)
Evaluamos el valor máximo absoluto:
Como consecuencia de este resultado matemático, para cualquier número real \( x > 0 \) se cumple que \( x^{1/x} \le e^{1/e} \), lo que demuestra la célebre comparación: \( e^\pi > \pi^e \)
El único punto crítico es \( x = e \), donde la función alcanza su máximo absoluto global con un valor de $$ y_{\text{max}} = e^{1/e} = \sqrt[e]{e} \approx 1.4447 $$