Cálculo Diferencial e Integral I: La regla de L’Hôpital

Por Juan Manuel Naranjo Jurado

Introducción

Esta entrada es la última de la unidad, y la dedicaremos a demostrar uno de los resultados ampliamente usado en el cálculo de límites para los casos donde existen indeterminaciones de los tipos $0/0$ e $\infty/\infty$; este tipo de límites es posible resolverlos mediante de la derivada.

Teorema del Valor Medio Generalizado

Antes de probar la Regla de L’Hôpital, probaremos una generalización del teorema del valor medio, también conocido como teorema del Valor Medio de Cauchy. Para ello, primero revisemos el siguiente teorema.

Teorema. Sean $f,g: [a,b] \to \RR$, tal que $f(a)=g(a)=0$ y sea $g(x) \neq 0$ para $a<x<b$. Si $f$ y $g$ son derivables en $a$ y si $g'(a) \neq 0$, entonces el límite de $f/g$ en $a$ existe y es igual a $f'(a)/g'(a)$. Por tanto,

$$\lim_{x \to a^+} \frac{f(x)}{g(x)} = \frac{f'(a)}{g'(a)}.$$

Demostración.

Puesto que $f(a) = g(a) = 0$, el cociente $\frac{f(x)}{g(x)}$ para $a<x<b$ puede escribirse como sigue

$$\frac{f(x)}{g(x)} = \frac{f(x)-f(a)}{g(x)-g(a)} = \frac{ \frac{f(x)-f(a)}{x-a} }{ \frac{g(x)-g(a)}{x-a} }.$$

Aplicando el límite, tenemos que

$$\lim_{x \to a^+} \frac{f(x)}{g(x)} = \frac{\lim\limits_{x \to a^+} \frac{f(x)-f(a)}{x-a} }{ \lim\limits_{x \to a^+} \frac{g(x)-g(a)}{x-a} } = \frac{f'(a)}{g'(a)}.$$

$\square$

Teorema del Valor Medio de Cauchy. Sean $f,g: [a,b] \to \RR$, ambas funciones continuas en $[a,b]$ y derivables en $(a,b)$, y supongamos que $g'(x) \neq 0$ para todo $x$ en $(a,b)$. Entonces existe $c$ en $(a,b)$ tal que

$$\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f'(c)}{g'(c)}.$$

Demostración.

Notemos que como $g'(x) \neq 0$ para todo $x \in (a,b)$, del teorema de Rolle se sigue que $g(a) \neq g(b)$. Para $x$ en $[a,b]$, definimos

$$h(x) = \frac{f(b)-f(a)}{g(b)-g(a)} (g(x)-g(a))-(f(x)-f(a)).$$

De esta forma, se tiene que $h$ es continua en $[a,b]$, derivable en $(a,b)$ y $h(a)=h(b)=0$. Nuevamente, por el teorema de Rolle se sigue que existe un punto $c \in (a,b)$ tal que

$$0 = h'(c) = \frac{f(b)-f(a)}{g(b)-g(a)} g'(c)-f'(c).$$

Puesto que $g'(c) \neq 0$, podemos dividir la expresión anterior entre $g'(c)$, con lo que obtenemos

\begin{gather*}
\frac{0}{g'(c)} =\frac{ \frac{f(b)-f(a)}{g(b)-g(a)}g'(c)-f'(c) }{g'(c)}. \\ \\
\Rightarrow 0 = \frac{f(b)-f(a)}{g(b)-g(a)}-\frac{f'(c)}{g'(c)}. \\ \\
\therefore \frac{f'(c)}{g'(c)} = \frac{f(b)-f(a)}{g(b)-g(a)}.
\end{gather*}

$\square$

Regla de L’Hôpital

Demostraremos la regla de L’Hôpital empleando límites por la derecha, pero los resultados se extienden de forma análoga al límite por la izquierda.

Regla de L’Hôpital. Sean $a$, $b \in \RR$ talque $a<b$ y sean $f$, $g$ funciones derivables en $(a,b)$ tales que $g'(x) \neq 0$ para todo $x \in (a,b)$. Supongamos que

$$\lim_{x \to a^+} f(x) = 0 = \lim_{x \to a^+} g(x).$$

$i)$ Si $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = L \in \RR$, entonces $\lim\limits_{x \to a^+} \frac{f(x)}{g(x)} = L.$

$ii)$ Si $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = \infty$ ó $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = – \infty$, entonces $\lim\limits_{x \to a^+} \frac{f(x)}{g(x)} = L.$

Demostración.

Si $a < \alpha < \beta < b$, entonces el teorema de Rolle implica que $g(\beta) \neq g(\alpha)$. Ya que para que exista el límite de $f'(x)/g'(x)$ debe existir un intervalo donde $g'(x) \neq 0$, lo que implica que $g(x) \neq 0$ y si se asume que $g(\alpha) = g(\beta)$ por el teorema de Rolle se tendrían que existe un valor $c$ en el intervalo tal que $g'(c) = 0$, lo cual es una contradicción.

Además, por el teorema del Valor Medio de Cauchy, existe $u \in (\alpha, \beta)$, tal que

$$\frac{f(\beta)-f(\alpha)}{g(\beta)-g(\alpha)} = \frac{f'(u)}{g'(u)}. \tag{1}$$

$i)$ Si $L \in \RR$ y sea $\varepsilon > 0$. Por hipótesis, sabemos que $$\lim_{x \to a^+} \frac{f'(x)}{g'(x)} = L.$$

entonces existe $c \in (a,b)$ tal que

$$\left| \frac{f'(u)}{g'(u)} – L \right|< \varepsilon \text{ para } u \in (a,c).$$

Usando $(1)$, se tiene que

$$\left| \frac{f(\beta)-f(\alpha)}{g(\beta)-g(\alpha)}-L \right| < \varepsilon \text{ para } a < \alpha < \beta < c.$$

Además, por hipótesis sabemos que $\lim\limits_{\alpha \to a^+} f(\alpha) = 0$ y $\lim\limits_{\alpha \to a^+} g(\alpha) = 0.$ Así, de la expresión anterior se sigue que

$$\left| \frac{f(\beta)}{g(\beta)}-L \right| < \varepsilon \text{ para } \beta \in (a,c).$$

$$\therefore \lim_{x \to a^+} \frac{f(x)}{g(x)} = L.$$

$ii)$ Veremos el caso $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = \infty$. El caso $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = \infty$ es análogo. Sea $M>0$, Como $$\lim_{x \to a^+} \frac{f'(x)}{g'(x)} = \infty.$$

Entonces existe $c \in (a,b)$ tal que

$$\frac{f'(u)}{g'(u)} >M \text{ para } u \in (a,c).$$

Nuevamente, por $(1)$ se tiene que

$$\frac{f(\beta)-f(\alpha)}{g(\beta)-g(\alpha)} > M \text{ para } a < \alpha < \beta < c.$$

Además, por hipótesis sabemos que $\lim\limits_{\alpha \to a^+} f(\alpha) = 0$ y $\lim\limits_{\alpha \to a^+} g(\alpha) = 0.$ Así, de la expresión anterior se sigue que

$$\frac{f(\beta)}{g(\beta)} > M \text{ para } \beta \in (a,c).$$

$$\therefore \lim_{x \to a^+} \frac{f(x)}{g(x)} = \infty.$$

$\square$

Hay diversas extensiones de la regla de L’Hôpital. En particular, enunciaremos la siguiente.

Teorema. Sean $a$, $b \in \RR$ tal que $a < b$ y sean $f$, $g$ funciones derivables en $(a,b)$ tales que $g'(x) \neq 0$ para todo $x \in (a,b).$ Supongamos que

$$\lim_{x \to a^+} g(x) = \pm \infty.$$

$i)$ Si $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = L \in \RR$, entonces $\lim\limits_{x \to a^+} \frac{f(x)}{g(x)} = L.$

$ii)$ Si $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = \infty$ ó $\lim\limits_{x \to a^+} \frac{f'(x)}{g'(x)} = – \infty$, entonces $\lim\limits_{x \to a^+} \frac{f(x)}{g(x)} = L.$

Procederemos ahora a revisar algunos ejemplos de límite donde aplicaremos la regla de L’Hôpital.

Ejemplo 1. Calcula el límite $$\lim_{x \to 1} \frac{ln(x)}{x-1}.$$

Aplicando la Regla de $L’Hôpital$, tenemos

\begin{align*}
\lim_{x \to 1} \frac{ln(x)}{x-1} & = \lim_{x \to 1} \frac{(ln(x))’}{(x-1)’} \\ \\
& = \lim_{x \to 1} \frac{1/x}{1} \\ \\
& = 1.
\end{align*}

Ejemplo 2. Calcula el límite $$\lim_{x \to \infty} \frac{x^2}{e^x}.$$

Usando la generalización de la regla de L’Hôpital se tiene

\begin{align*}
\lim_{x \to \infty} \frac{x^2}{e^x} & = \lim_{x \to \infty} \frac{(x^2)’}{(e^x)’} \\ \\
& = \lim_{x \to \infty} \frac{2x}{e^x} \\ \\
& = \lim_{x \to \infty} \frac{(2x)’}{(e^x)’} \\ \\
& = \lim_{x \to \infty} \frac{2}{e^x} = 0.
\end{align*}

Más adelante…

En la siguiente unidad estudiaremos las aplicaciones prácticas de la derivada con lo cual podrás relacionar toda la abstracción revisada con la «realidad». Se revisará la manera en que se puede usar el cálculo en ámbitos diversos, desde física hasta economía.

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.

  • Sea $f(x) = x^2$ para $x$ racional y $f(x) = 0$ para $x$ irracional. Sea $g(x) = sen(x)$ para $x \in \RR$. Usa el primer teorema revisado en esta entrada para probar que $\lim_{x \to 0} f(x)/g(x) = 0$.
  • Sea $f(x) = x^2sen(1/x)$ para $x \neq 0$ y $f(0) = 0$. Sea $g(x) = sen(x)$ para $x \in \RR$. Demuestra que $\lim_{x \to 0} \frac{f(x)}{g(x)} = 0$ pero que el límite $\lim_{x \to 0} \frac{f'(x)}{g'(x)}$ no existe.
  • Evalúa los límites donde el cociente está definido en el dominio $(0, \pi/2)$
    • $$\lim_{x \to 0^+} \frac{ln(x+1)}{sen(x)}.$$
    • $$\lim_{x \to 0^+} \frac{tan(x)}{x}.$$
    • $$\lim_{x \to 0^+} \left( \frac{1}{x}-\frac{1}{sen(x)} \right).$$
  • Evalúa los límites donde el cociente está definido en el dominio $(0, \infty).$
    • $$\lim_{x \to \infty} \frac{ln(x)}{x}.$$
    • $$\lim_{x \to \infty} \frac{ln(x)}{\sqrt{x}}.$$
    • $$\lim_{x \to \infty} \frac{x+ln(x)}{xln(x)}.$$

Entradas relacionadas

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»

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.