Límites y derivación: la regla de L'Hôpital
Cómo usar las derivadas para calcular límites que, a primera vista, «no se pueden hacer» ($\tfrac00$, $\tfrac\infty\infty$, $0\cdot\infty$, $\infty-\infty$, $1^\infty$, $0^0$, $\infty^0$), cuándo se puede usar la regla y cuándo no.
0Antes de empezar U pp.81-82
Definimos la derivada como un límite. Ahora se da la vuelta: la derivada ayuda a calcular límites. Cuando un cociente $\dfrac{f(x)}{g(x)}$ «se atasca» porque arriba y abajo tienden a $0$ (o a $\infty$), a veces basta mirar el cociente de las velocidades de cambio $\dfrac{f'(x)}{g'(x)}$. Además, con unos pocos trucos algebraicos, otras formas de atasco (productos, restas, potencias) se convierten en un cociente y entran en la misma máquina.
U p.81Qué necesitas saber ya
- Límites de funciones y sus «reglas de cálculo» (suma, producto, cociente), incluidos límites laterales y en el infinito (U §1.4). U p.46
- Derivar con soltura: tabla de derivadas, regla de la cadena (U §2.2). U pp.79-80
- Continuidad de la exponencial y del logaritmo: si $h\to L$, entonces $e^{h}\to e^{L}$. U p.51
Mapa del tema
| Apartado | Qué contiene | Dónde está |
|---|---|---|
| 1 Indeterminaciones | por qué $\tfrac00$ «no se sabe» y por qué la regla tiene sentido | S p.301-302 |
| 2 La regla | enunciado completo, condiciones, usos correctos e incorrectos | U p.82-83 · S p.302-305 · L p.558-560 |
| 3 $0\cdot\infty$ y $\infty-\infty$ | cómo convertirlos en un cociente | U p.83-84 · S p.305-306 · L p.560, 563 |
| 4 Potencias | $1^\infty$, $0^0$, $\infty^0$ y el número $e$ | U p.84-85 · S p.306-307 · L p.561-562 |
| 5 Sucesiones | L'Hôpital para $\lim_n a_n$ (Prop. 2.3) | U p.85 |
| 6 Tabla-decisión | «qué indeterminación tengo → qué hago» | síntesis propia |
| 7 Errores típicos | los siete fallos más frecuentes | U · S · L · E |
| 8 Ejercicios | E 2.24–2.33 y 4 ejemplos propios, con receta | E pp.66-72 |
Qué se pide en los ejercicios
Los diez ejercicios de E son cálculo de límites: siempre hay que (1) reconocer el tipo de indeterminación sustituyendo, (2) transformarlo a $\tfrac00$ o $\tfrac\infty\infty$ si hace falta, (3) comprobar las condiciones de la regla, (4) derivar y calcular el nuevo límite (simplificando antes de sustituir) y (5) deshacer la transformación (por ejemplo, $e^{L}$). Uno es tipo test (2.29) y otro de sucesiones (2.33). E pp.66-72
1) La hipótesis «si existe $\lim_{x\to a}\frac{f'}{g'}$» no aparece escrita en el enunciado de la regla de U (p. 82): véase el aviso «Sobre el enunciado de U» en el apartado 2.
2) U solo cita explícitamente $\infty^0$ y $1^\infty$; el tipo $0^0$ y la lista de formas no indeterminadas están en S y L. 3) U razona con «supongamos que $\lim_{x\to a}f^g=l$ y tomemos $\ln l$» (Ej. 2.12), lo cual da por hecho que el límite existe y es positivo; aquí usamos la forma $e^{g\ln f}$, que no supone nada.
U pp.82, 84 S p.302 L p.5581Indeterminaciones: cuando «sustituir» no basta S pp.301-302
En $\lim_{x\to a}\frac{f}{g}$ con $f\to0$ y $g\to0$, el numerador quiere hacer la fracción pequeña y el denominador quiere hacerla grande. Todo depende de quién se acerca más rápido a $0$. Con $\tfrac\infty\infty$ pasa lo mismo: Stewart lo describe como «una lucha entre numerador y denominador»: si gana el numerador el límite es $\infty$, si gana el denominador es $0$, y si empatan sale un número. Por eso «$\tfrac00$» no vale ni $0$, ni $1$, ni $\infty$: depende de las funciones.
S p.302Para $x\to0$: $\ \dfrac{3x}{x}\to3$, $\quad\dfrac{x^2}{x}=x\to0$, $\quad\dfrac{x}{x^2}=\dfrac1x\to+\infty$ (por la derecha). En los tres, numerador y denominador tienden a $0$. El símbolo $\tfrac00$ no es un número: es la etiqueta de una situación en la que hay que trabajar más.
PSe llaman indeterminadas las situaciones en que, al sustituir el valor al que tiende la variable, aparece uno de los símbolos $$\frac00,\quad\frac{\infty}{\infty},\quad 0\cdot\infty,\quad \infty-\infty,\quad 1^{\infty},\quad 0^{0},\quad \infty^{0},$$ porque no determinan el valor (ni siquiera la existencia) del límite: hace falta un estudio adicional. Las dos primeras son las únicas a las que se aplica directamente la regla de L'Hôpital; las demás se transforman en ellas (apartados 3 y 4).
S pp.301-306 L pp.557-563Por qué la regla tiene sentido (idea geométrica)
Si $f$ y $g$ son derivables y ambas valen $0$ en $a$, cerca de $a$ cada una se parece a su recta tangente: $f(x)\approx f'(a)(x-a)$ y $g(x)\approx g'(a)(x-a)$. Entonces $$\frac{f(x)}{g(x)}\approx\frac{f'(a)(x-a)}{g'(a)(x-a)}=\frac{f'(a)}{g'(a)}.$$ El factor $(x-a)$, que producía el «$0$ del atasco», se cancela y queda el cociente de pendientes. Esto es un argumento de plausibilidad (Stewart lo demuestra así solo para $f,g$ con derivada continua y $g'(a)\neq0$); la demostración general usa el teorema del valor medio de Cauchy. S pp.302-303 L p.558
2La regla de L'Hôpital U pp.82-83
Sean $f,g$ funciones definidas y derivables en un entorno de $a$ (salvo quizá en $a$ mismo) y tales que $g'(x)\neq0$ cerca de $a$ (esto no excluye que $g'(a)=0$). Supongamos que $$\lim_{x\to a}f(x)=\lim_{x\to a}g(x)=0\qquad\text{o bien}\qquad \lim_{x\to a}f(x)=\pm\infty\ \text{ y }\ \lim_{x\to a}g(x)=\pm\infty ,$$ y que existe el límite del cociente de derivadas, $\displaystyle\lim_{x\to a}\frac{f'(x)}{g'(x)}=\ell\in\overline{\mathbb R}$ (es decir, $\ell$ es un número real, $+\infty$ o $-\infty$). Entonces $$\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}=\ell .$$ La regla sigue valiendo si se cambia «$x\to a$» por $x\to a^+$, $x\to a^-$, $x\to+\infty$ o $x\to-\infty$. (Si $a=+\infty$, «cerca de $a$» significa en un intervalo $(M,+\infty)$; si $a=-\infty$, en $(-\infty,M)$.)
U p.82 S pp.302-303 L p.558U escribe la conclusión como «$\lim_{x\to a}\frac fg=\lim_{x\to a}\frac{f'}{g'}=\ell$» sin exigir explícitamente que este último límite exista; leído literalmente, parece afirmar que siempre existe. No es así: es una hipótesis, «si $\lim_{x\to a}\frac{f'}{g'}$ existe (o es $\pm\infty$)», como escriben S (p. 302: «si existe el límite del lado derecho») y L (Teorema 8.4, p. 558: «siempre que exista el límite por la derecha»). Larson lo subraya: «en realidad no sabe que el primer límite es igual al segundo hasta que se haya demostrado que existe el segundo». Y si $\lim_{x\to a}\frac{f'}{g'}$ no existe, la regla no dice nada (el límite original puede existir o no).
L p.559 S p.302 U p.82Lista de comprobación antes de derivar
Al derivar, se deriva el numerador y el denominador por separado; no se usa la regla del cociente. S p.303 L p.558
- Tipo. Numerador y denominador tienden a $0$: $\tfrac00$.
- Condiciones. $\operatorname{sen}x$ y $x$ son derivables en todo $\mathbb R$ y $(x)'=1\neq0$.
- Derivamos. $\displaystyle\lim_{x\to0}\frac{\cos x}{1}=1$. Como este límite existe, el original vale $1$.
Ojo, matiz lógico: para derivar $\operatorname{sen}$ ya se usó que $\lim_{x\to0}\frac{\operatorname{sen}x}{x}=1$; así que este ejemplo sirve para practicar la regla, no para demostrar ese límite (sería un razonamiento circular).
U pp.82-83- Tipo. $\tfrac\infty\infty$. Derivadas fáciles, $(x^3)'=3x^2\neq0$ para $x>0$.
- $\displaystyle\lim_{x\to\infty}\frac{1+e^{x^2}}{x^3}=\lim_{x\to\infty}\frac{2xe^{x^2}}{3x^2}=\lim_{x\to\infty}\frac{2e^{x^2}}{3x}$ (tras simplificar una $x$). Sigue siendo $\tfrac\infty\infty$ y cumple las condiciones.
- Otra vez: $\displaystyle\lim_{x\to\infty}\frac{2e^{x^2}}{3x}=\lim_{x\to\infty}\frac{4xe^{x^2}}{3}=+\infty$.
- Como el último límite existe (es $+\infty$), todos los anteriores valen $+\infty$ (se sube por la cadena de igualdades).
Tras derivar, casi siempre se puede simplificar el cociente $\frac{f'}{g'}$ (cancelar un factor $x$, aplicar $\frac{\operatorname{sen}x}{x}\to1$, etc.). Muchas veces el factor que causaba el atasco desaparece y ya no hace falta derivar otra vez. Stewart lo hace en su Ejemplo 3 ($\frac{\ln x}{\sqrt[3]x}$) y en el Ejemplo 4.
S p.304Ejemplo de Stewart: $\displaystyle\lim_{x\to\pi^-}\frac{\operatorname{sen}x}{1-\cos x}$ (Stewart lo plantea con $x\to\pi$). El numerador tiende a $0$, pero el denominador tiende a $1-\cos\pi=2\neq0$: no es $\tfrac00$. Si «se aplica la regla» se obtiene $\frac{\cos x}{\operatorname{sen}x}\to-\infty$ (numerador $\to-1$, denominador $\to0^+$), ¡y es falso: el límite vale $0$! Lo correcto: como el denominador no se anula, se sustituye: $\frac{\operatorname{sen}\pi}{1-\cos\pi}=\frac02=0$. Larson da otro: $\lim_{x\to0}\frac{e^x}{x}$ no es indeterminado (arriba $\to1$, abajo $\to0$; el límite no existe como número: da $\pm\infty$ según el lado), y «aplicar la regla» daría el valor falso $1$.
S pp.304-305 L p.563Contraejemplo: $\displaystyle\lim_{x\to+\infty}\frac{x+\operatorname{sen}x}{x}$. Es $\tfrac\infty\infty$ y $g'(x)=1\neq0$, pero $\frac{f'}{g'}=1+\cos x$ no tiene límite en $+\infty$ (oscila entre $0$ y $2$). La regla no dice nada; y sin embargo, directamente, $\frac{x+\operatorname{sen}x}{x}=1+\frac{\operatorname{sen}x}{x}\to1$ (cero por acotada). No es lo que ocurre en E 2.27, resuelto más abajo: allí $\lim_{x\to a}\frac{f'}{g'}$ sí existe (vale $1$), pero derivar no ayuda a calcularlo porque la expresión da vueltas.
PLa regla demuestra una «escalera» que conviene memorizar (para $x\to+\infty$, $p>0$, $a>1$):
donde $u\ll v$ significa $\frac uv\to0$: el logaritmo crece más despacio que cualquier potencia, y toda potencia crece más despacio que cualquier exponencial de base mayor que $1$.
Por qué. Logaritmo frente a potencia: $\displaystyle\lim_{x\to\infty}\frac{\ln x}{x^p}=\lim_{x\to\infty}\frac{1/x}{p\,x^{p-1}}=\lim_{x\to\infty}\frac{1}{p\,x^{p}}=0$ (regla, tipo $\tfrac\infty\infty$, $p>0$). Potencia frente a exponencial: para $p$ real, si $n\ge p$ es un entero y $x\ge1$, entonces $0\le x^p\le x^n$, luego $0\le\frac{x^p}{a^x}\le\frac{x^n}{a^x}\to0$ por E 2.32. Ejemplos en S Ej. 2-3.
S pp.303-304 P3Productos y restas: $0\cdot\infty$ y $\infty-\infty$ U pp.83-84
La regla solo entiende cocientes. Si tenemos un producto o una resta, el truco es fabricar un cociente sin cambiar el valor de la expresión. Como U escribe: «la regla no cita las indeterminaciones $\pm\infty\cdot0$, pero recordando esto podremos atacarlas».
U p.84$0\cdot\infty$: pasar un factor «al otro lado»
Si $f\to0$ y $g\to\pm\infty$, entonces $$f\cdot g=\frac{f}{1/g}\qquad\text{(tipo }\tfrac00\text{)}\qquad\text{o bien}\qquad f\cdot g=\frac{g}{1/f}\qquad\text{(tipo }\tfrac\infty\infty\text{)}.$$ Se elige la versión cuyo denominador es más fácil de derivar; casi siempre conviene pasar al denominador la potencia ($x^k$), no el logaritmo.
U p.84 S p.305 L pp.560-561- Tipo. $x-\frac\pi2\to0$ y $\operatorname{tg}x\to+\infty$ (por la izquierda): $0\cdot\infty$.
- Cociente. $\left(x-\frac\pi2\right)\operatorname{tg}x=\dfrac{x-\frac\pi2}{1/\operatorname{tg}x}$, de tipo $\tfrac00$ (y $1/\operatorname{tg}x=\frac{\cos x}{\operatorname{sen}x}$).
- Derivamos. Derivada del numerador: $1$; derivada del denominador $\left(\frac{\cos x}{\operatorname{sen}x}\right)'=-\frac1{\operatorname{sen}^2x}$. El cociente es $-\operatorname{sen}^2x\to-1$.
- Resultado: $-1$.
$0\cdot\infty$ es indeterminado. Con $x\to0^+$: $x\cdot\frac1x=1$, $\ x\cdot\frac2x=2$, $\ x\cdot\frac1{x^2}=\frac1x\to+\infty$, $\ x^2\cdot\frac1x=x\to0$. Larson pone cuatro ejemplos así, con cuatro respuestas distintas.
L p.560$\infty-\infty$: hacer la resta
Si $f\to+\infty$ y $g\to+\infty$ (o restas de infinitos del mismo signo), opera la resta hasta obtener un solo cociente: poniendo denominador común, racionalizando o sacando factor común. Normalmente sale $\tfrac00$ o $\tfrac\infty\infty$. (Si son infinitos de signos opuestos, $\infty+\infty=\infty$ no es indeterminado.)
U p.83 S pp.305-306- Tipo. Ambos sumandos $\to+\infty$: $\infty-\infty$.
- Resta: $\dfrac1x-\dfrac1{\operatorname{sen}x}=\dfrac{\operatorname{sen}x-x}{x\operatorname{sen}x}$, de tipo $\tfrac00$. La derivada del denominador, $\operatorname{sen}x+x\cos x$, no se anula cerca de $0$ (por la derecha).
- $\displaystyle\lim_{x\to0^+}\frac{\cos x-1}{\operatorname{sen}x+x\cos x}$ es de nuevo $\tfrac00$. Derivamos otra vez: $\displaystyle\lim_{x\to0^+}\frac{-\operatorname{sen}x}{2\cos x-x\operatorname{sen}x}=\frac{0}{2}=0$.
- Resultado: $0$.
4Potencias: $1^\infty$, $0^0$, $\infty^0$ U pp.84-85
Una potencia $f(x)^{g(x)}$ es difícil porque la variable está en la base y en el exponente. La salida es bajar el exponente con logaritmos: $f^g=e^{g\ln f}$. Así el problema pasa al exponente $g\ln f$, que es un producto ($0\cdot\infty$) y ya sabemos manejarlo.
- Escribe, para base positiva, $\ f(x)^{g(x)}=e^{\,g(x)\ln f(x)}$.
- Calcula $L=\displaystyle\lim_{x\to a} g(x)\ln f(x)$; es de tipo $0\cdot\infty$. Pásalo a cociente (apartado 3) y aplica L'Hôpital.
- Deshaz el logaritmo: $\displaystyle\lim_{x\to a} f^g=e^{L}$ (con $e^{+\infty}=+\infty$ y $e^{-\infty}=0$), porque $\exp$ es continua.
Este camino no necesita «suponer que el límite existe» (como hace U en su Ej. 2.12, con $\ln l$): basta que exista $L$.
U pp.84-85 S pp.306-307 L pp.561-562Tras calcular $L$, el límite pedido es $e^{L}$, no $L$. U lo avisa expresamente: «un error típico es olvidar que aplicamos logaritmos y dar como valor del límite $0$ en lugar de $1$». (Con $x^{1/x}$, $L=0$ y el límite es $e^0=1$.)
U p.85- Base $\to+\infty$, exponente $\to0$: $\infty^0$.
- $x^{1/x}=e^{\frac{\ln x}{x}}$ para $x>0$.
- $L=\displaystyle\lim_{x\to+\infty}\frac{\ln x}{x}$ es $\tfrac\infty\infty$; por L'Hôpital, $=\lim_{x\to+\infty}\frac{1/x}{1}=0$.
- Resultado: $e^{0}=1$.
Es indeterminado: $0^x=0$ para $x>0$ pero $x^0=1$; la base y el exponente «tiran» en direcciones distintas. Con $x^x=e^{x\ln x}$ y $\lim_{x\to0^+}x\ln x=0$ (apartado 3), el límite es $e^0=1$. (Stewart lo resuelve igual y señala que los valores de $y=x^x$ se acercan a $1$.)
S p.307 L p.562Atajo para $1^\infty$: el número $e$
Si $\displaystyle\lim_{x\to a}f(x)=\pm\infty$, entonces $\displaystyle\lim_{x\to a}\left(1+\frac1{f(x)}\right)^{f(x)}=e$.
U p.85Se usa forzando el exponente a ser la misma $f(x)$ que aparece en la base, y luego propiedades de potencias.
Con $f(x)=x^2\to\infty$: $\ \left(1+\frac1{x^2}\right)^{2x^2}=\left[\left(1+\frac1{x^2}\right)^{x^2}\right]^{2}\to e^2$ (la función $t\mapsto t^2$ es continua). Es el mismo límite que el Ejemplo 1.29 de sucesiones (tema 1.2), con $n$ en lugar de $x$, como señala U.
U p.85Si $f\to1$ y $g\to\infty$, entonces $\lim_{x\to a} f^g=e^{\lim_{x\to a} g\,(f-1)}$ (siempre que exista $\lim_{x\to a} g(f-1)$ en $\overline{\mathbb R}$, con $e^{+\infty}=+\infty$ y $e^{-\infty}=0$ como en la receta).
Por qué. Donde $f\neq1$: $g\ln f=g(f-1)\cdot\dfrac{\ln f}{f-1}$, y $\dfrac{\ln t}{t-1}\to1$ cuando $t\to1$ (regla, tipo $\tfrac00$: $\frac{1/t}{1}\to1$); como $f\to1$, el segundo factor tiende a $1$. Donde $f=1$, ambos lados valen $0$. Se usa en E 2.24 y en el propio 3.
PLo que NO es indeterminado
Estas formas sí determinan el límite (no hay que hacer nada más, y la regla daría resultados falsos):
$\infty+\infty=\infty$, $\quad(-\infty)+(-\infty)=-\infty$, $\quad\infty\cdot\infty=\infty$, $\quad\dfrac{c}{\infty}=0$, $\quad\dfrac{c}{0^{\pm}}=\pm\infty$ (con $c\neq0$; el signo depende del signo de $c$ y del lado), $\quad0^{+\infty}=0$ y $0^{-\infty}=+\infty$ (con base $\to0^+$), $\quad\infty^{\infty}=\infty$.
L p.563 P S p.3065L'Hôpital y sucesiones U p.85
Una sucesión $a_n$ solo está definida para $n=1,2,3,\dots$; no se puede «derivar respecto de $n$». Pero si $a_n=f(n)$ para una función $f$ de variable real, y $f(x)$ tiene límite cuando $x\to\infty$, la sucesión, que es como «mirar $f$ solo en los enteros», tiene el mismo límite.
Si $\displaystyle\lim_{x\to\infty}f(x)=l\in\overline{\mathbb R}$, entonces $\displaystyle\lim_{n\to\infty}f(n)=l$.
U p.85 L pp.585-588La función asociada es $f(x)=\frac{\ln x}{x}$, de tipo $\tfrac\infty\infty$; por L'Hôpital, $\lim_{x\to\infty}\frac{\ln x}{x}=\lim_{x\to\infty}\frac{1/x}{1}=0$. Por la Prop. 2.3, $\lim_n\frac{\ln n}{n}=0$.
U p.85Que $f(n)\to l$ no implica que $f(x)\to l$. Contraejemplo: $\operatorname{sen}(\pi n)=0$ para todo $n$ (la sucesión tiende a $0$), pero $\operatorname{sen}(\pi x)$ no tiene límite cuando $x\to\infty$. Por tanto, si $\lim_{x\to\infty}f(x)$ no existe, esta técnica no dice nada de la sucesión.
P6Tabla-decisión: qué indeterminación tengo y qué hago P
Paso 0, siempre: sustituye el valor al que tiende $x$ (o calcula el límite de cada pieza). Mira qué «símbolo» sale y busca la fila.
| Al sustituir sale… | ¿Indeterminado? | Qué hago |
|---|---|---|
| $\tfrac{c}{0}$, $c\neq0$ | no | El límite es $\pm\infty$ (o no existe si los lados difieren): decide el signo de cada lado. No usar L'Hôpital. |
| $\tfrac{c}{\infty}$, $\infty+\infty$, $\infty\cdot\infty$, $0^{+\infty}$, $\infty^\infty$ | no | Ya está determinado ($0$, $\infty$, $\infty$, $0$ si la base $\to0^+$, $\infty$). Nada que hacer. |
| $\tfrac00$ | sí | Primero álgebra (factorizar y simplificar, Ruffini, racionalizar). Si no basta: L'Hôpital tras comprobar las 3 condiciones. |
| $\tfrac\infty\infty$ | sí | Comparar crecimientos ($\ln x\ll x^p\ll a^x$), dividir por el término dominante, o L'Hôpital (reiterado si hace falta). Si al derivar todo se repite, usar la división. |
| $0\cdot\infty$ | sí | Escribir $fg=\dfrac{f}{1/g}$ o $\dfrac{g}{1/f}$; poner abajo el factor cuya inversa sea fácil de derivar (la potencia, no el logaritmo). Luego L'Hôpital. |
| $\infty-\infty$ | sí | Hacer la resta: denominador común, racionalizar o factor común. Sale $\tfrac00$ o $\tfrac\infty\infty$. |
| $1^\infty$ | sí | Prop. 2.2 (base $1+\frac1f$, exponente múltiplo de $f$) o $e^{g\ln f}$ / atajo $e^{\lim_{x\to a} g(f-1)}$. Devolver $e^{L}$. |
| $0^0$, $\infty^0$ | sí | $f^g=e^{g\ln f}$; el exponente es $0\cdot\infty$ (fila anterior). Devolver $e^{L}$. |
| Sucesión $a_n$ con indeterminación | sí | Cambiar $n$ por $x$: $f(x)$; calcular $\lim_{x\to\infty}f(x)$ (L'Hôpital) y aplicar Prop. 2.3. |
| Tras derivar, $\lim_{x\to a}\frac{f'}{g'}$ no existe o la expresión «da vueltas» | — | La regla no concluye. Cambiar de método (dividir por el dominante, acotar, álgebra). |
- Sustituir y nombrar el tipo.
- ¿Se puede resolver con álgebra o comparando crecimientos? Hazlo así (suele ser más corto y más seguro).
- Si no, transformar a $\tfrac00$ o $\tfrac\infty\infty$.
- Escribir las condiciones de la regla (aunque sea en una línea).
- Derivar, simplificar, calcular. Devolver la transformación si la hubo.
7Errores típicos, resumidos
- Sin indeterminación: usar L'Hôpital cuando el denominador no tiende a $0$ (S Ej. 5, L p. 563).
- Regla del cociente: derivar $\frac fg$ en lugar de $f'$ y $g'$ por separado (L p. 558; S p. 303).
- «Si $\lim_{x\to a} f'/g'$ no existe, el límite tampoco»: falso; la regla simplemente no informa.
- $0\cdot\infty=0$, $1^\infty=1$, $\infty-\infty=0$: son indeterminados.
- Olvidar deshacer el logaritmo: el resultado es $e^{L}$ (U p. 85).
- Signo de $0^\pm$: al pasar a $\infty$ o $-\infty$ en un límite lateral, decidir bien el signo (E 2.28: el numerador es $+\infty$).
- Exigir $g'(a)\neq0$: lo que importa es $g'(x)\neq0$ cerca de $a$, no en $a$ (U p. 82, E 2.25).
8Ejercicios del libro, resueltos E pp.66-72
Todos los límites se han comprobado con cálculo simbólico. Los ejercicios respetan la numeración de E. Orden de estudio recomendado, de fácil a difícil:
| Orden | Ejercicio | Tipo | Resultado |
|---|---|---|---|
| 1 | 2.26 | $\tfrac00$ (polinomios) | $-\tfrac34$ |
| 2 | 2.25 | $\tfrac00$ (raíz y logaritmo) | $-1$ |
| 3 | 2.28 | $\tfrac\infty\infty$ lateral | $0$ |
| 4 | 2.30 | $0\cdot\infty$ | $0$ |
| 5 | 2.27 | $\tfrac\infty\infty$ donde la regla «da vueltas» | $1$ |
| 6 | 2.31 | $0^0$ | $1$ |
| 7 | 2.29 | $\infty^0$ (test) | b) $1$ |
| 8 | 2.24 | $1^\infty$ | $\sqrt e$ |
| 9 | 2.32 | $\tfrac\infty\infty$ reiterado $n$ veces | $0$ |
| 10 | 2.33 | $\tfrac00$ en una sucesión | $1$ |
Ejercicio 2.24 · $1^\infty$ E pp.66-67
Calcula el valor de $\displaystyle\lim_{x\to+\infty}\left(\frac{\ln x^2+1}{2\ln x}\right)^{\ln x}$.
Aquí $\ln x^2+1$ significa $\ln(x^2)+1$ (así lo usa la solución de E).
Camino 1: el número $e$ (Prop. 2.2 de U).
- Tipo. Como $\ln(x^2)=2\ln x$, la base es $\dfrac{2\ln x+1}{2\ln x}=1+\dfrac1{2\ln x}\to1$ y el exponente $\ln x\to+\infty$: $1^{+\infty}$.
- Forzar la forma de la Prop. 2.2. Tomamos $f(x)=\ln x^2=2\ln x\to+\infty$. El exponente es $\ln x=\frac12\ln x^2$, luego $$\left(1+\frac1{\ln x^2}\right)^{\ln x}=\left[\left(1+\frac1{\ln x^2}\right)^{\ln x^2}\right]^{1/2}$$ (propiedad $(b^c)^d=b^{cd}$, válida para $b>0$).
- Límite. Lo de dentro tiende a $e$ (Prop. 2.2) y $t\mapsto t^{1/2}$ es continua en $e$: el límite es $e^{1/2}=\sqrt e$.
Camino 2: logaritmos y L'Hôpital (la «Nota» de E).
- La expresión es $e^{h(x)}$ con $h(x)=\ln x\cdot\ln\!\left(1+\frac1{\ln x^2}\right)$, de tipo $+\infty\cdot0$.
- Cociente: $h(x)=\dfrac{\ln\left(1+\frac1{\ln x^2}\right)}{1/\ln x}$, de tipo $\tfrac00$.
- Derivadas (cadena): numerador $\dfrac1{1+\frac1{\ln x^2}}\cdot\left(-\dfrac1{(\ln x^2)^2}\cdot\dfrac2x\right)$; denominador $-\dfrac1{(\ln x)^2}\cdot\dfrac1x\neq0$.
- Cociente de derivadas, usando $(\ln x^2)^2=4(\ln x)^2$: $\ \dfrac{2(\ln x)^2}{(\ln x^2)^2}\cdot\dfrac1{1+\frac1{\ln x^2}}=\dfrac1{2\left(1+\frac1{\ln x^2}\right)}\to\dfrac12$.
- Por continuidad de $\exp$: límite $=e^{1/2}=\sqrt e$.
Decir «$1^\infty=1$»: la base solo tiende a $1$ y el exponente amplifica la diferencia. Notación: si se leyera $\ln(x^2+1)$ el límite sería $1$, no $\sqrt e$. Además, en la «Nota» E remite al Ej. 2.12 de U para $1^{\pm\infty}$, pero el Ej. 2.12 es de tipo $\infty^0$; lo del $1^\infty$ está en U p. 85.
Teoría: U p.85
Ejercicio 2.25 · $\tfrac00$ con raíz y logaritmo E p.67
Calcula el valor de $\displaystyle\lim_{x\to0}\frac{\ln(1+x)-x}{1-\sqrt{1-x^2}}$.
- Tipo. Numerador: $\ln1-0=0$. Denominador: $1-\sqrt1=0$. Ambas son continuas en $0$: $\tfrac00$.
- Hipótesis. En $(-1,1)$ ambas son derivables. $f'(x)=\dfrac1{1+x}-1=\dfrac{-x}{1+x}$ y $g'(x)=-\dfrac1{2\sqrt{1-x^2}}\cdot(-2x)=\dfrac{x}{\sqrt{1-x^2}}$. $g'(x)=0$ solo en $x=0$; luego $g'(x)\neq0$ en $(-1,1)\setminus\{0\}$, que es lo que exige U («esta última condición no excluye que $g'(a)$ pueda ser $0$»).
- Simplificar antes de pasar al límite. Para $x\neq0$: $\dfrac{f'}{g'}=\dfrac{-x}{1+x}\cdot\dfrac{\sqrt{1-x^2}}{x}=-\dfrac{\sqrt{1-x^2}}{1+x}$. Podemos cancelar $x$ porque en un límite nunca se toma $x=0$.
- Límite. La última función es continua en $0$ y vale $-1$.
- Conclusión. El límite pedido es $-1$.
Decir «$g'(0)=0$, luego no se puede aplicar»: lo que importa es $g'\neq0$ cerca de $0$, no en $0$. (E dice «la derivada del denominador cerca de cero no se anula»: es correcto en el sentido de U, es decir, cerca de $0$ sin contar el propio $0$; véase también U Ej. 2.10, p. 83.)
Teoría: U p.82
Ejercicio 2.26 · $\tfrac00$ con polinomios E p.67
Calcula el valor de $\displaystyle\lim_{x\to-1}\dfrac{x^5+x^4-x^2+1}{x^4-1}$.
- Sustituir primero. Numerador en $x=-1$: $-1+1-1+1=0$. Denominador: $1-1=0$. Son polinomios (continuos): $\tfrac00$. No vale el «cociente de límites» porque el del denominador es $0$.
- Condiciones. Ambos son polinomios, derivables en $\mathbb R$; $g'(x)=4x^3$ solo se anula en $x=0$, así que $g'\neq0$ en un entorno de $-1$ (por ejemplo en $(-2,0)$).
- Derivar (numerador y denominador por separado): $f'(x)=5x^4+4x^3-2x$, $\ g'(x)=4x^3$.
- Límite del cociente de derivadas. El denominador vale $4(-1)^3=-4\neq0$, basta sustituir: $\ \dfrac{5-4+2}{-4}=-\dfrac34$.
- Conclusión. Como este límite existe, el original vale $-\dfrac34$.
- Comprobación sin L'Hôpital. $x=-1$ anula a ambos, luego $(x+1)$ divide a los dos (Ruffini): $x^5+x^4-x^2+1=(x+1)(x^4-x+1)$ y $x^4-1=(x+1)(x-1)(x^2+1)$. Simplificando, $\dfrac{x^4-x+1}{(x-1)(x^2+1)}\to\dfrac{3}{(-2)(2)}=-\dfrac34$. Coincide.
Aplicar la regla del cociente $\left(\frac fg\right)'$ en vez de derivar numerador y denominador por separado.
Teoría: U p.82
Ejercicio 2.27 · cuando L'Hôpital da vueltas E p.68
Calcula el valor del límite $\displaystyle\lim_{x\to+\infty}\frac{\operatorname{sen}x+e^x}{\cos x+e^x}$.
- Tipo. $e^x\to+\infty$ y $\operatorname{sen}x,\cos x\in[-1,1]$; así $\operatorname{sen}x+e^x\ge e^x-1\to+\infty$ y lo mismo el denominador: $\tfrac\infty\infty$.
- Intento con L'Hôpital. Las condiciones se cumplen ($g'(x)=-\operatorname{sen}x+e^x\ge e^x-1>0$ para $x>0$), pero $\ \dfrac{f'}{g'}=\dfrac{\cos x+e^x}{-\operatorname{sen}x+e^x}$, $\ \dfrac{f''}{g''}=\dfrac{-\operatorname{sen}x+e^x}{-\cos x+e^x},\dots$ Tras cuatro derivaciones se vuelve al cociente de partida: no simplifica nada.
- Otro camino: dividir por el término dominante $e^x$ arriba y abajo: $\ \dfrac{\operatorname{sen}x+e^x}{\cos x+e^x}=\dfrac{\operatorname{sen}x\cdot e^{-x}+1}{\cos x\cdot e^{-x}+1}$.
- Cada trozo. $e^{-x}\to0$ y $\operatorname{sen}x,\cos x$ están acotadas: $\operatorname{sen}x\,e^{-x}\to0$ y $\cos x\,e^{-x}\to0$ («cero por acotada»).
- Álgebra de límites (el denominador tiende a $1\neq0$): el límite es $\dfrac{0+1}{0+1}=1$.
Concluir «el límite no existe» porque L'Hôpital no termina. La regla solo informa si sabes calcular $\lim_{x\to a} f'/g'$; si no, hay que buscar otro método. (E dice que la regla «no es infalible»: en rigor sus hipótesis se cumplen y $\lim_{x\to+\infty}\frac{f'}{g'}$ existe, vale $1$; lo que ocurre es que derivar no ayuda a calcularlo.)
Teoría: U pp.45-46 S p.305
Ejercicio 2.28 · $\tfrac\infty\infty$ lateral E p.68
Calcula el valor del límite $\displaystyle\lim_{x\to\frac\pi2^-}\frac{2-\ln(\cos x)}{2+\operatorname{tg}x}$.
- Dominio. Para $x\in(0,\pi/2)$, $\cos x>0$ y $\ln(\cos x)$ está definido: tiene sentido el límite por la izquierda.
- Tipo. Cuando $x\to\frac\pi2^-$, $\cos x\to0^+$, luego $\ln(\cos x)\to-\infty$ y el numerador $2-\ln(\cos x)\to+\infty$. Además $\operatorname{tg}x=\frac{\operatorname{sen}x}{\cos x}\to\frac1{0^+}=+\infty$. Es $\tfrac{+\infty}{+\infty}$.
- Condiciones. Ambas son derivables en $(0,\pi/2)$. $f'(x)=-\dfrac1{\cos x}\cdot(-\operatorname{sen}x)=\dfrac{\operatorname{sen}x}{\cos x}$ y $g'(x)=\dfrac1{\cos^2x}$, que nunca se anula.
- Cociente de derivadas. Dividir entre $\frac1{\cos^2x}$ es multiplicar por $\cos^2x$: $\ \dfrac{f'}{g'}=\dfrac{\operatorname{sen}x}{\cos x}\cdot\cos^2x=\operatorname{sen}x\cos x\to1\cdot0=0$.
- Conclusión. El límite vale $0$.
Interpretación: el numerador crece como $-\ln(\cos x)$ (muy despacio) y el denominador como $\frac1{\cos x}$ (como una potencia): gana el denominador.
Equivocar el signo: $\ln(\cos x)\to-\infty$ pero hay un signo menos delante, así que el numerador va a $+\infty$. E escribe que la indeterminación es del tipo $\frac{-\infty}{+\infty}$; es $\frac{+\infty}{+\infty}$ (el resultado $0$ es correcto).
Teoría: U p.82
Ejercicio 2.29 · $\infty^0$ (test) E p.69
Señala el valor del límite $\displaystyle\lim_{x\to+\infty}x^{\frac1{x+1}}$: a) $0$. b) $1$. c) $e$. d) $e^e$.
- Tipo. Base $\to+\infty$, exponente $\frac1{x+1}\to0$: $\infty^0$.
- Exponencial. Para $x>0$: $x^{\frac1{x+1}}=e^{\frac{\ln x}{x+1}}$.
- Exponente, de tipo $\tfrac\infty\infty$ (derivables en $(0,\infty)$ y $(x+1)'=1\neq0$): $\displaystyle\lim_{x\to+\infty}\frac{\ln x}{x+1}=\lim_{x\to+\infty}\frac{1/x}{1}=0$.
- Continuidad de $\exp$: el límite es $e^0=1$. Respuesta b).
- Descarte rápido en un test: para $x>1$ la base es $>1$ y el exponente positivo, luego $x^{1/(x+1)}>1$: la a) es imposible; y como el exponente de $e$ tiende a $0$, no puede salir $e$ ni $e^e$.
Escribir «$\ln l=\ln\lim_{x\to a}\ldots$» sin haber probado que el límite $l$ existe y es positivo (E y U suponen que el límite existe: falta de rigor). Con la forma $e^{g\ln f}$ no hace falta suponerlo.
Teoría: U p.84
Ejercicio 2.30 · $0\cdot\infty$ E p.70
Calcula el valor de $\displaystyle\lim_{x\to0^+}x\ln x$.
- Tipo. $x\to0^+$ y $\ln x\to-\infty$: $0\cdot(-\infty)$. L'Hôpital no se aplica a productos.
- Convertir en cociente. Pasamos al denominador el factor $x$: $x\ln x=\dfrac{\ln x}{1/x}$, de tipo $\tfrac{-\infty}{+\infty}$.
- Condiciones. $\ln x$ y $\frac1x$ son derivables en $(0,\infty)$ y $\left(\frac1x\right)'=-\frac1{x^2}\neq0$.
- L'Hôpital: $\displaystyle\lim_{x\to0^+}\frac{\ln x}{1/x}=\lim_{x\to0^+}\frac{1/x}{-1/x^2}=\lim_{x\to0^+}(-x)=0$.
- La otra elección (mala). $x\ln x=\dfrac{x}{1/\ln x}$ es $\tfrac00$, pero al derivar sale $-x(\ln x)^2$, más complicado que el de partida.
Pensar «$0$ por lo que sea es $0$». Aquí sale $0$, pero $x\cdot\frac1x=1$ también es $0\cdot\infty$ y vale $1$.
Teoría: U p.84 Es exactamente S p.305
Ejercicio 2.31 · $0^0$ E p.70
Calcula el valor de $\displaystyle\lim_{x\to0^+}x^{x^2}$.
- Tipo. Base $x\to0^+$, exponente $x^2\to0$: $0^0$.
- Escribir como exponencial. Para $x>0$: $x^{x^2}=e^{\ln(x^{x^2})}=e^{x^2\ln x}$.
- Límite del exponente ($0\cdot(-\infty)$), pasado a cociente como en 2.30: $\displaystyle\lim_{x\to0^+}x^2\ln x=\lim_{x\to0^+}\frac{\ln x}{1/x^2}=\lim_{x\to0^+}\frac{1/x}{-2/x^3}=\lim_{x\to0^+}\left(-\frac{x^2}{2}\right)=0$. (Condiciones: $\tfrac{-\infty}{+\infty}$, derivables en $(0,\infty)$, $(x^{-2})'=-2x^{-3}\neq0$.)
- Volver a la potencia. Como $\exp$ es continua, $\lim_{x\to0^+} e^{x^2\ln x}=e^0=1$.
Quedarse en el límite del exponente y responder $0$ en lugar de $e^0=1$ (U lo avisa en el recuadro de la p. 85).
Teoría: U pp.84-85 S p.307 L p.562
Ejercicio 2.32 · potencia frente a exponencial E p.70
Calcula para $n\in\mathbb N$ y $a>1$ el límite $\displaystyle\lim_{x\to+\infty}\frac{x^n}{a^x}$.
- Qué es la variable. $n$ está fijo; la variable es $x$.
- Tipo. $a^x=e^{x\ln a}$ con $\ln a>0$ (porque $a>1$), luego $a^x\to+\infty$; y $x^n\to+\infty$: $\tfrac\infty\infty$.
- Una aplicación de L'Hôpital. $(x^n)'=nx^{n-1}$ y $(a^x)'=a^x\ln a\neq0$: $\ \displaystyle\lim_{x\to\infty}\frac{x^n}{a^x}=\frac n{\ln a}\lim_{x\to\infty}\frac{x^{n-1}}{a^x}$, siempre que este último límite exista.
- Inducción (lo que E llama «aplicamos L'Hôpital $n$ veces»). Sea $L_k=\lim_{x\to\infty}\frac{x^k}{a^x}$. Para $k=0$: $L_0=\lim_{x\to\infty}\frac1{a^x}=0$. Si $L_{k-1}=0$ con $k\ge1$, entonces $\frac{x^k}{a^x}$ es $\tfrac\infty\infty$, se cumplen las condiciones y, por el paso anterior, $L_k=\frac k{\ln a}L_{k-1}=0$. Luego $L_n=0$. Equivalentemente, tras $n$ derivaciones queda $\dfrac{n!}{a^x(\ln a)^n}\to0$.
- Pregunta final de E ($0<a<1$). Entonces $a^x\to0^+$ y ya no hay indeterminación: $\frac{x^n}{a^x}=x^n\left(\frac1a\right)^x$ es un producto de dos funciones que tienden a $+\infty$, luego el límite es $+\infty$. (E deja la pregunta sin responder.)
Derivar respecto de $n$, o tratar $a^x$ como si fuese $x^a$: su derivada es $a^x\ln a$, no $x\,a^{x-1}$.
Teoría: U p.83 El Ejemplo 3 de Larson equivale a $n=2$, $a=e$ con $t=-x$: L p.560
Ejercicio 2.33 · una sucesión E p.71
Utilizando la regla de L'Hôpital calcula el valor del límite de la sucesión $\left\{\dfrac{\ln\frac{n+1}{n}}{\ln\frac{n+2}{n+1}}\right\}$ cuando $n$ tiende a $+\infty$.
- Por qué no se deriva la sucesión. Solo está definida en $\mathbb N$. Pasamos a una función de variable real con la Prop. 2.3 de U: si $\lim_{x\to\infty}f(x)=l$, entonces $\lim_{n\to\infty}f(n)=l$.
- Función asociada: $f(x)=\dfrac{\ln\frac{x+1}{x}}{\ln\frac{x+2}{x+1}}$, $x>0$.
- Tipo. $\frac{x+1}{x}\to1$ y $\frac{x+2}{x+1}\to1$; por continuidad del logaritmo, arriba y abajo $\to\ln1=0$: $\tfrac00$.
- Derivadas (conviene escribir $\ln\frac{x+1}x=\ln(x+1)-\ln x$): numerador $\dfrac1{x+1}-\dfrac1x=\dfrac{-1}{x(x+1)}$; denominador $\dfrac1{x+2}-\dfrac1{x+1}=\dfrac{-1}{(x+1)(x+2)}$, que no se anula nunca.
- Cociente de derivadas: $\ \dfrac{-1/(x(x+1))}{-1/((x+1)(x+2))}=\dfrac{(x+1)(x+2)}{x(x+1)}=\dfrac{x+2}x=1+\dfrac2x\to1$.
- Conclusión. $\lim_{x\to\infty}f(x)=1$ y, por la Prop. 2.3, el límite de la sucesión es $1$. (Comprobación numérica: para $n=1000$ el término vale $1{,}0010$.)
Usar la implicación al revés: que $f(n)\to l$ no implica que $f(x)\to l$ (por ejemplo, $\operatorname{sen}(\pi n)=0$ para todo $n$, pero $\operatorname{sen}(\pi x)$ no tiene límite en $+\infty$).
Teoría: U p.85 L pp.585, 588
Ejemplos propios (de fácil a difícil)
Propio 1 · $\tfrac00$ con dos derivaciones P
Calcula $\displaystyle\lim_{x\to0}\frac{e^x-1-x}{x^2}$.
- En $0$: $\frac{1-1-0}{0}$, tipo $\tfrac00$. Derivables; $(x^2)'=2x\neq0$ si $x\neq0$.
- L'Hôpital: $\lim_{x\to0}\dfrac{e^x-1}{2x}$, otra vez $\tfrac00$; $(2x)'=2\neq0$.
- L'Hôpital: $\lim_{x\to0}\dfrac{e^x}{2}=\dfrac12$. Resultado: $\dfrac12$.
Propio 2 · $\infty-\infty$ P
Calcula $\displaystyle\lim_{x\to0}\left(\frac1x-\frac1{e^x-1}\right)$.
- Por la derecha es $+\infty-(+\infty)$ (y por la izquierda $-\infty-(-\infty)$). Restamos: $\dfrac{e^x-1-x}{x(e^x-1)}$, de tipo $\tfrac00$.
- Derivadas: numerador $e^x-1$; denominador $h(x)=e^x-1+xe^x$. Como $h'(x)=(2+x)e^x>0$ cerca de $0$, $h$ es estrictamente creciente allí y solo se anula en $0$: condiciones cumplidas.
- $\lim_{x\to0}\dfrac{e^x-1}{e^x-1+xe^x}$ sigue siendo $\tfrac00$; derivamos otra vez: $\lim_{x\to0}\dfrac{e^x}{(2+x)e^x}=\lim_{x\to0}\dfrac1{2+x}=\dfrac12$. Resultado: $\dfrac12$.
Propio 3 · $1^\infty$ P
Calcula $\displaystyle\lim_{x\to0}(\cos x)^{1/x^2}$.
- Base $\to1$, exponente $\to+\infty$: $1^\infty$. Cerca de $0$, $\cos x>0$, luego $(\cos x)^{1/x^2}=e^{\ln(\cos x)/x^2}$.
- Exponente: $\dfrac{\ln\cos x}{x^2}$ es $\tfrac00$. L'Hôpital: $\dfrac{-\operatorname{tg}x}{2x}=-\dfrac12\cdot\dfrac{\operatorname{sen}x}{x}\cdot\dfrac1{\cos x}\to-\dfrac12$ (usando $\frac{\operatorname{sen}x}x\to1$, U Ej. 2.8).
- Resultado: $e^{-1/2}=\dfrac1{\sqrt e}$.
Propio 4 · sucesión $n\left(a^{1/n}-1\right)$ P
Para $a>0$, calcula $\displaystyle\lim_{n\to\infty}n\left(a^{1/n}-1\right)$.
- Función asociada: $f(x)=x\left(a^{1/x}-1\right)=\dfrac{a^{1/x}-1}{1/x}$. Como $a^{1/x}=e^{(\ln a)/x}\to1$, es $\tfrac00$.
- Derivadas: numerador $a^{1/x}\ln a\cdot\left(-\frac1{x^2}\right)$; denominador $-\frac1{x^2}\neq0$. Cociente: $a^{1/x}\ln a\to\ln a$.
- Por la Prop. 2.3: $\lim_n n\left(a^{1/n}-1\right)=\ln a$ (numéricamente, con $a=2$ y $n=1000$: $0{,}69339\approx\ln2=0{,}69315$).
9Así lo preguntan en el examen X
Estos son los tipos reales que caen en los exámenes resueltos (fuente X, páginas del PDF de exámenes). La dificultad es la de los ejercicios de E, con dos diferencias: casi siempre es una pregunta corta de 1 punto (un único límite, sin margen para dar vueltas) y, en las preguntas largas, la regla aparece dentro de un problema de continuidad y derivabilidad. Están ordenados de fácil a difícil.
Examen 1 · $\tfrac00$: aplicar la regla dos veces X p.88
Calcule el límite $\displaystyle\lim_{x\to0}\frac{e^x-x-1}{x^2}$.
Al sustituir $x=0$ sale $\tfrac00$, que no dice nada. La regla de L'Hôpital permite derivar arriba y abajo y volver a mirar; si sigue saliendo $\tfrac00$, se repite.
- Sustituir. Arriba: $e^0-0-1=0$. Abajo: $0^2=0$. Sale $\tfrac00$, así que se puede usar la regla.
- Derivar arriba y abajo por separado (no es la regla del cociente): $\dfrac{e^x-1}{2x}$.
- Sustituir otra vez. Arriba: $e^0-1=0$. Abajo: $0$. Vuelve a salir $\tfrac00$: derivamos de nuevo.
- Derivar otra vez: $\dfrac{e^x}{2}$. Ahora ya no hay problema: en $x=0$ vale $\tfrac12$.
Es $\tfrac00$; aplicamos L'Hôpital (las derivadas del denominador, $2x$ y $2$, no se anulan cerca de $0$, salvo en $0$ mismo): $$\lim_{x\to0}\frac{e^x-x-1}{x^2}\overset{L'H}{=}\lim_{x\to0}\frac{e^x-1}{2x}\overset{L'H}{=}\lim_{x\to0}\frac{e^x}{2}=\frac12 .$$
Resultado: $\tfrac12$.
Correcta. Solo que la condición precisa es sobre las derivadas del denominador, no sobre el denominador.
Teoría: U pp.82-83
Examen 2 · $\tfrac\infty\infty$ con exponenciales X p.10
Calcule el valor del límite $\displaystyle\lim_{x\to\infty}\frac{x+e^x}{2x+e^x}$.
Para $x$ enorme, $e^x$ es gigantesca y $x$ es una miseria al lado. Por ejemplo, con $x=20$: $e^{20}\approx485\,000\,000$ frente a $20$. Así que arriba y abajo «casi solo hay $e^x$», y el cociente se acerca a $\tfrac{e^x}{e^x}=1$.
- Tipo. Arriba y abajo tienden a $+\infty$: es $\tfrac\infty\infty$.
- Derivar arriba y abajo: $\dfrac{1+e^x}{2+e^x}$. Sigue siendo $\tfrac\infty\infty$.
- Derivar otra vez: $\dfrac{e^x}{e^x}=1$ para todo $x$. Su límite es $1$.
Es $\tfrac\infty\infty$; aplico L'Hôpital (la derivada del denominador, $2+e^x$, no se anula nunca): $$\lim_{x\to\infty}\frac{x+e^x}{2x+e^x}\overset{L'H}{=}\lim_{x\to\infty}\frac{1+e^x}{2+e^x}\overset{L'H}{=}\lim_{x\to\infty}\frac{e^x}{e^x}=1 .$$
Resultado: $1$.
Camino alternativo sin regla: divide arriba y abajo entre $e^x$: $\dfrac{x/e^x+1}{2x/e^x+1}\to\dfrac{0+1}{0+1}=1$, porque $x/e^x\to0$ (la exponencial gana siempre).
La condición de la regla es sobre la derivada del denominador ($2+e^x\neq0$), no sobre «el numerador».
Teoría: U p.82 y el error típico «la regla da vueltas» S pp.304-305
Examen 3 · $\infty-\infty$: restar y aplicar la regla X p.104
Calcule el límite $\displaystyle\lim_{x\to0}\left(\frac1x-\frac1{1-\cos x}\right)$.
Una resta $\infty-\infty$ no se puede resolver tal cual. Se junta en una sola fracción y entonces sale un $\tfrac00$ que ya sabemos tratar con L'Hôpital.
- Juntar las dos fracciones (denominador común): $$\frac1x-\frac1{1-\cos x}=\frac{1-\cos x-x}{x(1-\cos x)} .$$
- Sustituir $x=0$. Arriba: $1-1-0=0$. Abajo: $0\cdot0=0$. Sale $\tfrac00$.
- Derivar arriba y abajo. Arriba: $\operatorname{sen}x-1$. Abajo (regla del producto): $(1-\cos x)+x\operatorname{sen}x$.
- Sustituir $x=0$ en lo nuevo. Arriba: $0-1=-1$. Abajo: $0$. Es «$\tfrac{-1}{0}$», que ya no es indeterminado: hay que ver el signo del $0$.
- Signo del denominador. Cerca de $0$ (con $x\ne0$), $1-\cos x>0$, y $x\operatorname{sen}x>0$ porque $x$ y $\operatorname{sen}x$ tienen el mismo signo. El denominador es positivo: $\tfrac{-1}{0^+}=-\infty$.
$$\lim_{x\to0}\left(\frac1x-\frac1{1-\cos x}\right)=\lim_{x\to0}\frac{1-\cos x-x}{x(1-\cos x)}\overset{L'H}{=}\lim_{x\to0}\frac{\operatorname{sen}x-1}{(1-\cos x)+x\operatorname{sen}x}=\frac{-1}{0^+}=-\infty .$$ (El denominador es $>0$ cerca de $0$, con $x\neq0$.)
Resultado: $-\infty$.
Correcta. No comenta que por la izquierda no hay indeterminación; el resultado es el mismo.
Teoría: U pp.83-84
Examen 4 · $0^0$: exponencial y $0\cdot\infty$ X p.8
Calcule $\displaystyle\lim_{x\to0^+}x^{x^2}$.
Una potencia con $0^0$ es difícil de manejar. Escribimos $x^{x^2}=e^{x^2\ln x}$ y calculamos solo el exponente $x^2\ln x$, que ya es un límite normal; al final se pone $e^{\text{(resultado)}}$.
- Pasar a exponencial. Para $x>0$: $x^{x^2}=e^{x^2\ln x}$. Hay que hallar $L=\lim_{x\to0^+}x^2\ln x$; la respuesta será $e^L$.
- Ver qué tipo es el exponente. $x^2\to0$ y $\ln x\to-\infty$: es $0\cdot\infty$. Se pasa a fracción poniendo la potencia abajo: $$x^2\ln x=\frac{\ln x}{x^{-2}},\qquad\text{tipo }\tfrac{-\infty}{+\infty}.$$
- Derivar arriba y abajo. $(\ln x)'=\frac1x$ y $(x^{-2})'=-2x^{-3}$: $$\frac{1/x}{-2/x^3}=-\frac{x^2}{2}.$$
- Sustituir. $-\frac{x^2}{2}\to0$, luego $L=0$.
- Volver a la exponencial: $e^{L}=e^0=1$.
$$x^{x^2}=e^{x^2\ln x},\qquad \lim_{x\to0^+}x^2\ln x=\lim_{x\to0^+}\frac{\ln x}{x^{-2}}\overset{L'H}{=}\lim_{x\to0^+}\frac{1/x}{-2x^{-3}}=\lim_{x\to0^+}\left(-\frac{x^2}{2}\right)=0.$$ Como $e^t$ es continua, $\displaystyle\lim_{x\to0^+}x^{x^2}=e^0=1$.
Resultado: $1$.
Supone que el límite existe («suponemos que es $l$»). Mejor el camino de arriba, que no supone nada.
Teoría: U pp.84-85
Examen 5 · $1^\infty$ en $x\to\infty$ X p.132
Calcule el límite $\displaystyle\lim_{x\to\infty}\left(\frac{x-1}{x+2}\right)^x$.
Es el truco de la potencia otra vez: se escribe $f^g=e^{g\ln f}$ y se calcula solo el exponente. Aquí la base se acerca a $1$ y el exponente crece sin parar ($1^\infty$).
- Pasar a exponencial. $\left(\frac{x-1}{x+2}\right)^x=e^{\,x\ln\frac{x-1}{x+2}}$. Hay que hallar $L=\lim_{x\to\infty}x\ln\frac{x-1}{x+2}$.
- Pasar a fracción. $x$ pasa abajo como $\frac1x$, y el logaritmo se separa en dos: $$L=\lim_{x\to\infty}\frac{\ln(x-1)-\ln(x+2)}{1/x},\qquad\text{tipo }\tfrac00.$$
- Derivar arriba y abajo. Arriba: $\frac1{x-1}-\frac1{x+2}=\frac{3}{(x-1)(x+2)}$. Abajo: $-\frac1{x^2}$.
- Dividir y simplificar: $\dfrac{3/((x-1)(x+2))}{-1/x^2}=\dfrac{-3x^2}{x^2+x-2}$.
- Límite. Con $x$ enorme, $x^2+x-2\approx x^2$, así que el cociente tiende a $-3$. Luego $L=-3$.
- Volver: el resultado es $e^{L}=e^{-3}$.
$$\left(\frac{x-1}{x+2}\right)^x=e^{x\ln\frac{x-1}{x+2}},\quad \lim_{x\to\infty}\frac{\ln(x-1)-\ln(x+2)}{1/x}\overset{L'H}{=}\lim_{x\to\infty}\frac{-3x^2}{x^2+x-2}=-3.$$ Por la continuidad de $e^t$, el límite pedido es $e^{-3}$.
Resultado: $e^{-3}$. (El solucionario lo hace con el número $e$, Prop. 2.2: base $=1+\frac{-3}{x+2}$ y exponente reescrito; vale igual, pero es más fácil equivocarse.)
Resultado correcto. No explica por qué se puede pasar al límite del exponente (continuidad de $e^t$).
Teoría: U p.85
Examen 6 · la regla dentro de un problema de continuidad y derivabilidad X pp.86-87
Dada $f(x)=\dfrac{x}{e^x-1}$ si $x\neq0$, $f(0)=1$. (a) (1 punto) Demuestre que es continua en $\mathbb R$. (b) (0.75 puntos) Demuestre que tiene derivada continua en $\mathbb R-\{0\}$. (c) (1.25 puntos) Demuestre que la derivada es continua en $x=0$.
La función cambia de fórmula en $x=0$, y justo ahí la fórmula da $\tfrac00$. Así que en $0$ hay que comprobar tres cosas con límites: que $f$ encaja (a), que $f'$ existe y cuánto vale (c) y que $f'$ también encaja; la regla de L'Hôpital resuelve cada límite.
- (a) Fuera de $0$. Si $x\neq0$, entonces $e^x\neq1$: $f$ es un cociente de funciones continuas con denominador no nulo, luego es continua.
- (a) En $0$: qué hay que probar. Que $\lim_{x\to0}f(x)=f(0)=1$.
- (a) Calcular el límite. Al sustituir sale $\tfrac00$. Derivando arriba y abajo: $\dfrac{1}{e^x}\to1$. Coincide con $f(0)$: $f$ es continua en $\mathbb R$.
- (b) Derivar fuera de $0$ con la regla del cociente: $$f'(x)=\frac{(e^x-1)-xe^x}{(e^x-1)^2}.$$ Es cociente de continuas con denominador $\neq0$ si $x\neq0$: $f'$ es continua en $\mathbb R-\{0\}$.
- (c) Valor de $f'(0)$. La fórmula del paso anterior no vale en $0$: se usa la definición, $f'(0)=\lim_{h\to0}\frac{f(h)-f(0)}{h}$. Escribiendo $f(h)-1$ con denominador común queda $$f'(0)=\lim_{h\to0}\frac{h-e^h+1}{h(e^h-1)}\quad\left(\tfrac00\right).$$
- (c) L'Hôpital, 1ª vez. Arriba: $1-e^h$. Abajo (producto): $(e^h-1)+he^h$. Sigue saliendo $\tfrac00$.
- (c) L'Hôpital, 2ª vez. Arriba: $-e^h$. Abajo: $(2+h)e^h$. El cociente $\dfrac{-1}{2+h}$ tiende a $-\tfrac12$. Luego $f'(0)=-\tfrac12$.
- (c) ¿Es continua $f'$ en $0$? Falta ver que $\lim_{x\to0}f'(x)=-\tfrac12$. Sustituyendo en la fórmula de (b) sale $\tfrac00$.
- Derivar arriba y abajo. Arriba: $-xe^x$. Abajo: $2(e^x-1)e^x$. Se simplifica $e^x$: $$\frac{-xe^x}{2(e^x-1)e^x}=-\frac12\cdot\frac{x}{e^x-1}.$$
- Límite. $\dfrac{x}{e^x-1}\to1$ (paso 3), así que todo tiende a $-\tfrac12=f'(0)$. Luego $f'$ es continua en $0$.
(a) $\displaystyle\lim_{x\to0}\frac{x}{e^x-1}\overset{L'H}{=}\lim_{x\to0}\frac1{e^x}=1=f(0)$. (c) $\displaystyle f'(0)=\lim_{h\to0}\frac{h-e^h+1}{h(e^h-1)}\overset{L'H}{=}\lim_{h\to0}\frac{1-e^h}{(e^h-1)+he^h}\overset{L'H}{=}\lim_{h\to0}\frac{-e^h}{(2+h)e^h}=-\frac12$, y $\displaystyle\lim_{x\to0}f'(x)\overset{L'H}{=}\lim_{x\to0}\frac{-xe^x}{2(e^x-1)e^x}=-\frac12\lim_{x\to0}\frac{x}{e^x-1}=-\frac12$.
Alternativa con Taylor (tema 3.1): $\frac{x}{e^x-1}=1-\frac x2+O(x^2)$ da directamente $f'(0)=-\tfrac12$.
Resultados impresos correctos. En el último límite el solucionario salta de $\frac{-xe^x}{2(e^x-1)e^x}$ a $\frac{-1}{2e^x}$ sin explicarlo (simplifica $e^x$ y aplica la regla otra vez).
Teoría: U pp.82-83 (más derivada por definición, U §2.1, y regla del cociente, U §2.2)
- Feb. 2017, 1ª sem., I. Electrónica, P1 (1 punto): $\lim_{x\to0}\frac{x-\operatorname{sen}x}{x^3}=\frac16$ (regla tres veces). X p.137
- Feb. 2018, 2ª sem., I. Electrónica, P1 (1 punto): $\lim_{x\to\infty}\frac{\ln 5x^2}{3+7\ln x}=\frac27$ (con la regla: $\frac{2/x}{7/x}=\frac27$). X p.140
- Sept. 2010, Eléctrica, P1 (1 punto): extender $\frac{\operatorname{sen}x}{x}$ por continuidad en $0$ (es U Ej. 2.8). X p.7
- Feb. 2017, Mecánica, Modelo B, P1: $\lim_{x\to0^+}\frac{5+\cos(e^{-x^2})}{\ln x}=0$. No es indeterminado (acotado$/\infty$): ejemplo de cuándo NO usar la regla. X p.81
- $\infty^0$ (p. ej. $\lim_{x\to\infty}x^{1/x}$): no aparece en ningún examen del PDF.
- Límite con parámetro (hallar $a$ para que un límite resuelto con la regla sea finito o tenga un valor dado): no hay ninguno en el PDF.
- Límite de sucesión resuelto pasando a variable real y aplicando la regla (U Prop. 2.3): en el PDF las sucesiones $1^\infty$ se resuelven con el número $e$ (p. ej. X p.101), no con L'Hôpital.
- Producto $0\cdot\infty$ «puro», del tipo $\lim_{x\to0^+}x\ln x$: solo aparece como paso intermedio (Examen 4).
10Chuleta y lista de comprobación
Regla: $f,g$ derivables cerca de $a$, $g'\neq0$ cerca de $a$; $\tfrac00$ o $\tfrac\infty\infty$; si existe $\lim_{x\to a}\frac{f'}{g'}=\ell\in\overline{\mathbb R}$, entonces $\lim_{x\to a}\frac fg=\ell$. Vale con $a^\pm$ y $\pm\infty$.
Productos: $fg=\dfrac f{1/g}$ o $\dfrac g{1/f}$. Restas: denominador común, racionalizar, factor común. Potencias: $f^g=e^{g\ln f}$, límite $e^{L}$. Prop. 2.2: $f\to\pm\infty\Rightarrow(1+\frac1f)^f\to e$. Prop. 2.3: $\lim_x f=l\Rightarrow\lim_nf(n)=l$.
Escalera: $\ln x\ll x^p\ll a^x$ ($p>0$, $a>1$). No indeterminados: $\frac c\infty=0$, $\frac c{0^\pm}=\pm\infty$ (signo según $c$ y el lado), $\infty+\infty=\infty$, $0^{+\infty}=0$ (base $\to0^+$), $\infty^\infty=\infty$.
U pp.82-85- Sé reconocer, sustituyendo, si un límite es $\tfrac00$, $\tfrac\infty\infty$, $0\cdot\infty$, $\infty-\infty$, $1^\infty$, $0^0$, $\infty^0$ o no es indeterminado.
- Sé enunciar la regla con todas sus condiciones, incluida «existe $\lim_{x\to a} f'/g'$».
- Sé derivar numerador y denominador por separado y simplificar antes de sustituir.
- Sé convertir $0\cdot\infty$ en cociente eligiendo qué factor pasar al denominador.
- Sé resolver $\infty-\infty$ operando la resta.
- Sé resolver potencias con $e^{g\ln f}$ y no olvido devolver $e^{L}$.
- Sé cuándo abandonar L'Hôpital (si da vueltas o si $\lim_{x\to a} f'/g'$ no existe) y dividir por el término dominante.
- Sé pasar de una sucesión a una función y usar la Prop. 2.3, y sé por qué no vale al revés.
- Decido el signo de $0^\pm$ en los límites laterales antes de decir $+\infty$ o $-\infty$.