Introducción

En esta entrada revisaremos la derivada de dos funciones populares dentro de las matemáticas: las funciones exponencial y logarítmica. Para ello, será de gran utilidad tener presente lo que se revisó previamente respecto a estas funciones debido a que usaremos varias de sus propiedades.

Función logarítmica

Iniciaremos probando dos teoremas que nos serán útiles para estudiar la derivada de la función logarítmica. Básicamente los teoremas nos indican que es posible realizar cambios de variable al momento de calcular el límite de una función siempre que ésta sea continua en el punto donde se calcula el límite.

Teorema. Sean $f:A\to \mathbb{R}$ y $g:B\to \mathbb{R}$ tales que $g(B)\subset A$. Si $f$ es continua en $L$, y $\underset{x\to x_0}{lim}g(x)=L$, entonces $$\underset{x\to x_0}{lim}f(g(x))=\underset{t\to L}{lim}f(t).$$

Demostración.

Sea $\epsilon >0$. Como $f$ es continua en $L$, existe ${\delta }_1>0$ tal que si $0<|t-L|<{\delta }_1$, se tiene que

$$|f(t)-f(L)|<\epsilon .$$

Como $\underset{x\to x_0}{lim}g(x)=L$, entonces para todo ${\epsilon }^{\prime }>0$, existe $\delta >0$ tal que si $0<|x-x_0|<\delta$ se tiene que
$$|g(x)–L|<{\epsilon }^{\prime }.$$

En particular, consideremos ${\epsilon }^{\prime }={\delta }_1$. Entonces $f(g(x))$ está definido y si $0<|x-x_0|<\delta$, se tiene que

$$|f(g(x))–f(L)|<\epsilon .$$

$$\therefore \underset{x\to x_0}{lim}f(g(x))=f(L).$$

Como $f$ es continua en $L$, se concluye que

$$\underset{x\to x_0}{lim}f(g(x))=\underset{t\to L}{lim}f(t).$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. Sean $f:A\to \mathbb{R}$ y $g:B\to \mathbb{R}$ tales que $g(B)\subset A$. Si $f$ es continua en $L$, y $\underset{x\to \mathrm{\infty }}{lim}g(x)=L$, entonces $$\underset{x\to \mathrm{\infty }}{lim}f(g(x))=\underset{t\to L}{lim}f(t).$$

La demostración del teorema anterior sigue la misma lógica que el primero.

Ahora probaremos que la función logaritmo es continua en todo su dominio, una vez que lo hayamos probado, demostraremos que también es derivable en todo su dominio.

Proposición. Sea $f:(0,\mathrm{\infty })\to \mathbb{R}$ definida como $f(x)=ln(x)$. La función $f$ es continua en $x_0=1$.

Demostración.

Para demostrar $f$ es continua en $x_0=1$, debemos probar que $\underset{x\to 1}{lim}ln(x)=ln(1)=0$.

Procederemos a calcular los límites laterales.

Primero veremos el límite por la derecha. Sean $\epsilon >0$ y $x>1.$

Notemos que
$$\begin{array}{rl}|f(x)-f(x_0)|& =|ln(x)-ln(1)|\\ & =|ln(x)|\\ & =ln(x).\end{array}$$

$$\begin{array}{}\text{(1)}& \therefore |f(x)-f(x_0)|=ln(x).\end{array}$$

Consideremos $\delta =e^{\epsilon }-1$.

Si $0<x-1<e^{\epsilon }-1$, entonces $x<e^{\epsilon }$, es decir, $ln(x)<\epsilon$. Por $(1)$ se concluye que $|f(x)-f(x_0)|<\epsilon$.

$$\therefore \underset{x\to 1^{+}}{lim}ln(x)=ln(1).$$

Ahora revisemos el límite por la izquierda. Sean $\epsilon >0$ y $x<1.$

Notemos que
$$\begin{array}{rl}|f(x)-f(x_0)|& =|ln(x)-ln(1)|\\ & =|ln(x)|\\ & =-ln(x).\end{array}$$

$$\begin{array}{}\text{(2)}& \therefore |f(x)-f(x_0)|=–ln(x).\end{array}$$

Consideremos $\delta =1-e^{-\epsilon }$.

Si $0<1-x<1-e^{-\epsilon }$, entonces $x>e^{-\epsilon }$, es decir, $ln(x)>-\epsilon$. Por $(2)$ se concluye que $|f(x)-f(x_0)|<\epsilon$.

$$\therefore \underset{x\to 1^{-}}{lim}ln(x)=ln(1).$$

Como ambos límites laterales coinciden, se concluye que la función $f(x)=ln(x)$ es continua en $x_0=1$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. Sea $f:(0,\mathrm{\infty })\to \mathbb{R}$ definida como $f(x)=ln(x)$. La función $f$ es continua en todo su dominio.

Demostración.

Procederemos a calcular el límite directamente.

$$\begin{array}{rl}\underset{x\to x_0}{lim}f(x)& =\underset{x\to x_0}{lim}ln(x)\\ \\ & =\underset{h\to 0}{lim}ln(x_0+h)\\ \\ & =\underset{h\to 0}{lim}ln\left(x_0(1+\frac{h}{x_0})\right)\\ \\ & =\underset{h\to 0}{lim}[ln(x_0)+ln(1+\frac{h}{x_0})]\\ \\ & =\underset{h\to 0}{lim}ln(x_0)+\underset{h\to 0}{lim}ln(1+\frac{h}{x_0})\\ \\ & =ln(x_0)+0\text{, pues }ln(x)\text{ es continua en }1\\ \\ & =ln(x_0).\end{array}$$

$$\therefore \underset{x\to x_0}{lim}ln(x)=ln(x_0).$$

Se concluye que $f$ es continua en todo su dominio.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. Sea $f:(0,\mathrm{\infty })\to \mathbb{R}$ definida como $f(x)=ln(x)$. Para todo $x>0$ se tiene que $f^{\prime }(x)=\frac{1}{x}.$

Demostración.

Veamos el siguiente límite

$$\begin{array}{rl}\underset{h\to 0}{lim}\frac{f(x_0+h)-f(x_0)}{h}& =\underset{h\to 0}{lim}\frac{ln(x_0+h)-ln(x_0)}{h}\\ \\ & =\underset{h\to 0}{lim}\frac{ln\left(\frac{x_0+h}{x_0}\right)}{h}\\ \\ & =\underset{h\to 0}{lim}\frac{1}{h}\cdot ln(1+\frac{h}{x_0})\\ \\ & =\underset{h\to 0}{lim}ln{(1+\frac{h}{x_0})}^{\frac{1}{h}}.\end{array}$$

Consideremos $t=\frac{h}{x_0}$. Notemos que cuando $h\to 0,$ se tiene que $t\to 0$. Además, se sigue que $\frac{1}{h}=\frac{1}{x_0}\cdot \frac{1}{t}$. Como $f(x)=ln(x)$ es continua en todo su dominio y por el primer teorema de esta entrada, se sigue que

$$\begin{array}{rl}\underset{h\to 0}{lim}ln{(1+\frac{h}{x_0})}^{\frac{1}{h}}& =\underset{t\to 0}{lim}ln{(1+t)}^{\frac{1}{x_0}\cdot \frac{1}{t}}\\ \\ & =\underset{t\to 0}{lim}ln{\left({(1+t)}^{\frac{1}{t}}\right)}^{\frac{1}{x_0}}\\ \\ & =\underset{t\to 0}{lim}\frac{1}{x_0}\cdot ln{(1+t)}^{\frac{1}{t}}.\\ \end{array}$$

Tomemos $n=\frac{1}{t}$. Cuando $t\to 0$, se tiene que $n\to \mathrm{\infty }$. Además, $t=\frac{1}{n}$. Como $f(x)=ln(x)$ es continua en todo su dominio y por el segundo teorema de esta entrada, se sigue que

$$\begin{array}{rl}\underset{t\to 0}{lim}\frac{1}{x_0}\cdot ln{(1+t)}^{\frac{1}{t}}& =\underset{n\to \mathrm{\infty }}{lim}\frac{1}{x_0}\cdot ln{(1+\frac{1}{n})}^n\\ \\ & =\frac{1}{x_0}\cdot \underset{n\to \mathrm{\infty }}{lim}ln{(1+\frac{1}{n})}^n\\ \\ & =\frac{1}{x_0}\cdot ln(e)\text{, pues }ln(x)\text{ es continua en todo su dominio}\\ \\ & =\frac{1}{x_0}.\end{array}$$

$$\therefore l{n}^{\prime }(x_0)=\frac{1}{x_0}.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Función exponencial

Ahora probaremos que la función exponencial es derivable en todo su dominio y, por la relación entre derivabilidad y continuidad, también es continua.

Teorema. La función $f:\mathbb{R}\to \mathbb{R}$ definida como $f(x)=e^x$ es derivable para todo $x\in \mathbb{R}$, y su derivada es $f^{\prime }(x)=e^x.$

Demostración.

Veamos el siguiente límite

$$\begin{array}{rl}\underset{h\to 0}{lim}\frac{f(x_0+h)-f(x_0)}{h}& =\underset{h\to 0}{lim}\frac{e^{x_0+h}-e^{x_0}}{h}\\ \\ & =\underset{h\to 0}{lim}\frac{e^{x_0}{e}^h-e^{x_0}}{h}\\ \\ & =\underset{h\to 0}{lim}{e}^{x_0}\cdot \frac{e^h-1}{h}.\\ \end{array}$$

Consideremos $t=e^h-1$, se sigue que $h=ln(t+1)$, además cuando $h\to 0$, se tiene que $t\to 0$. Así, de la expresión anterior tenemos

$$\begin{array}{rl}\underset{h\to 0}{lim}{e}^{x_0}\cdot \frac{e^h-1}{h}& =\underset{t\to 0}{lim}{e}^{x_0}\cdot \frac{t}{ln(t+1)}\\ \\ & =e^{x_0}\cdot \underset{t\to 0}{lim}\frac{\frac{1}{t}}{\frac{1}{t}}\cdot \frac{t}{ln(t+1)}\\ \\ & =e^{x_0}\cdot \underset{t\to 0}{lim}\frac{1}{\frac{1}{t}ln(t+1)}\\ \\ & =e^{x_0}\cdot \underset{t\to 0}{lim}\frac{1}{ln(t+1{)}^{\frac{1}{t}}}\\ \\ & =e^{x_0}\cdot \underset{n\to \mathrm{\infty }}{lim}\frac{1}{ln(1+\frac{1}{n}{)}^n},\text{ considerando }n=\frac{1}{t}\\ \\ & =e^{x_0}\cdot \frac{1}{ln(e)}\\ \\ & =e^{x_0}.\end{array}$$

$$\therefore f^{\prime }(x_0)=e^{x_0}.$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Corolario. La función $f(x)=e^x$ es continua.

Algunos ejemplos

Para los siguientes ejemplos haremos uso de las reglas de la derivada que conocemos hasta ahora, incluyendo la derivada de las funciones revisadas en esta entrada.

Ejemplo 1. Encuentra la derivada de $f(x)=ln(x+\sqrt{x^2+1})$.

$$\begin{array}{rl}{f}^{\prime }(x)& ={\left(ln(x+\sqrt{x^2+1})\right)}^{\prime }\\ \\ & =l{n}^{\prime }(x+\sqrt{x^2+1})\cdot {(x+\sqrt{x^2+1})}^{\prime }\text{, por la regla de la cadena}\\ \\ & =\frac{1}{x+\sqrt{x^2+1}}\cdot ((x{)}^{\prime }+(\sqrt{x^2+1}{)}^{\prime })\\ \\ & =\frac{1}{x+\sqrt{x^2+1}}\cdot (1+\frac{1}{2\sqrt{x^2+1}}\cdot (x^2+1{)}^{\prime })\\ \\ & =\frac{1}{x+\sqrt{x^2+1}}\cdot (1+\frac{1}{2\sqrt{x^2+1}}\cdot 2x)\\ \\ & =\frac{1}{x+\sqrt{x^2+1}}\cdot (1+\frac{x}{\sqrt{x^2+1}})\\ \\ & =\frac{1}{x+\sqrt{x^2+1}}\cdot \left(\frac{\sqrt{x^2+1}+x}{\sqrt{x^2+1}}\right)\\ \\ & =\frac{1}{\sqrt{x^2+1}}.\end{array}$$

$$\therefore f^{\prime }(x)=\frac{1}{\sqrt{x^2+1}}.$$

Ejemplo 2. Encuentra la derivada de la función $f(x)=x^6{e}^{\sqrt{x}}.$

$$\begin{array}{rl}{f}^{\prime }(x)& =x^6(e^{\sqrt{x}}{)}^{\prime }+e^{\sqrt{x}}(x^6{)}^{\prime }\\ & =x^6(e^{\sqrt{x}}\cdot (\sqrt{x}{)}^{\prime })+6x^5{e}^{\sqrt{x}}\\ & =x^6(e^{\sqrt{x}}\cdot \frac{1}{2\sqrt{x}})+6x^5{e}^{\sqrt{x}}\\ & =\frac{x^6{e}^{\sqrt{x}}}{2\sqrt{x}}+6x^5{e}^{\sqrt{x}}.\end{array}$$

$$\therefore f^{\prime }(x)=\frac{x^6{e}^{\sqrt{x}}}{2\sqrt{x}}+6x^5{e}^{\sqrt{x}}.$$

Más adelante…

Antes de continuar con el estudio de la derivada de funciones trigonométricas, deberemos desarrollar otra herramienta que nos será muy útil: la derivada de las funciones inversas. En la siguiente entrada veremos cómo derivar la inversa de una función, así como las restricciones existentes para que esto sea posible.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

• Prueba que la derivada de $f(x)=a^x$ con $a>0$, es $f^{\prime }(x)=ln(a)a^x$. Sugerencia: Considera que $f(x)=a^x=e^{xln(a)}$ y emplea la regla de la cadena.
• Sea $c\in \mathbb{R}$ un real fijo y consideremos $f:A\subset (0,\mathrm{\infty })\to \mathbb{R}$, tal que $f(x)=x^c$. Prueba que $f$ es derivable en todo su dominio y su derivada es $f^{\prime }(x)=c{x}^{c-1}$. Sugerencia: Considera que $f(x)=x^c=e^{cln(x)}$ y emplea la regla de la cadena.
• Encuentra la derivada de la función $f(x)=e^{x^2}+ln(x^2)$.
• Encuentra la derivada de la función $f(x)=ln(x+\sqrt{x^2+x})$.
• Encuentra la derivada de la función $f(x)=\frac{1}{\sqrt{x}}{e}^{x^2}$.

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral I
• Entrada anterior del curso: Reglas de derivación
• Siguiente entrada del curso: La derivada de la función inversa
• Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»