Archivo de la etiqueta: límite de una función

Cálculo Diferencial e Integral I: Límite de una función a través de sucesiones

Por Juan Manuel Naranjo Jurado

Introducción

Alternativamente a la definición épsilon-delta revisada en la entrada anterior, se puede estudiar el límite de una función a través de límites de sucesiones; este enfoque tiene varias bondades en el sentido de que podremos hacer un amplio uso de las propiedades demostradas anteriormente para el límite de una sucesión. En esta entrada nos enfocaremos en probar un teorema que nos indica la equivalencia entre ambas formas de concebir el límite de una función.

Negación de la definición del límite de una función

Veamos primero qué significa que el límite de una función no exista, es decir, revisaremos la negación del concepto dado en la entrada anterior, para ello retomemos la definición de límite de una función:

Definición. Decimos que $f$ tiende hacia el límite $L$ en $x_{0}$ si para todo $ε > 0$ existe algún $δ > 0$ tal que, para todo $x$ , si $0 < | x - x_{0} | < δ$ , entonces $| f (x) - L | < ε .$

De esta forma, si no se cumple la definición anterior, entonces tenemos lo siguiente: $f$ no tiende hacia el límite $L$ en $x_{0}$ si existe algún $ε > 0$ , tal que para todo $δ > 0$ , hay algún $x$ que satisface $0 < | x - x_{0} | < δ$ , pero $| f (x) - L | \geq ε .$

Criterio de sucesiones para límites

Es momento de revisar un teorema que será particularmente útil para demostrar las propiedades del límite de una función. Este teorema nos indica que una función $f$ tiende al límite $L$ en $x_{0}$ si y solo si para toda sucesión ${a_{n}}$ en el dominio de $f$ que converja a $x_{0}$ se tiene que la sucesión generada por ${f (a_{n})}$ converge a $L .$

Teorema. Sean $A \subset R$ , $f : A \to R$ y $x_{0}$ un punto de acumulación de $A$ . Los siguientes enunciados son equivalentes.

$lim_{x \to x_{0}} f (x) = L .$
Para toda sucesión ${a_{n}}$ en $A$ que converge a $x_{0}$ tal que $a_{n} \neq x_{0}$ para todo $n \in N$ , la sucesión ${f (a_{n})}$ converge a $L .$

Demostración.

$1) \Rightarrow 2)]$ Sea $ε > 0$ . Supongamos que $lim_{x \to x_{0}} f (x) = L .$
Y sea ${a_{n}}$ una sucesión en $A$ que converge a $x_{0}$ tal que $a_{n} \neq x_{0}$ para todo $n \in N$ .

Por hipótesis $f$ converge a $L$ en $x_{0}$ , entonces existe $δ > 0$ tal que si
$0 < | x - x_{0} | < δ$ , entonces $| f (x) - L | < ε .$

Además, como la sucesión ${a_{n}}$ converge a $x_{0}$ , para el valor $δ > 0$ dado, existe $n_{0} \in N$ tal que si $n \geq n_{0}$ entonces $0 < | a_{n} - x_{0} | < δ$ y por hipótesis de la convergencia de $f$ a $L$ en $x_{0}$ , podemos concluir que $| f (a_{n}) - L | < ε$ . Así la sucesión ${f (a_{n})}$ converge a $L$ , es decir,
$lim_{n \to \infty} f (a_{n}) = L .$

$1) \Leftarrow 2)]$ Procederemos a hacer esta implicación por contrapositiva, es decir, demostraremos que si no sucede $1)$ , entonces tampoco sucede $2) .$

Supongamos que $1)$ no se cumple, es decir, existe algún $ε_{0} > 0$ , tal que para todo $δ > 0$ , hay al menos un real $x$ que cumple $0 < | x - x_{0} | < δ$ , pero $| f (x) - L | \geq ε_{0}$ . Así, consideremos justo ese valor de $ε_{0} .$ Notemos que para todo natural $n \in N$ , si consideramos $δ = \frac{1}{n}$ , entonces existe al menos un término $a_{n}$ en $A$ tal que $0 < | a_{n} - x_{0} | < \frac{1}{n}$ , pero $| f (a_{n}) - L | \geq ε_{0} .$

Tomemos la sucesión generada por ${a_{n}}$ , se tiene que la sucesión ${a_{n}}$ converge a $x_{0}$ y $a_{n} \neq x_{0}$ para todo $n \in N$ , pero la sucesión ${f (a_{n})}$ no converge a $L$ . Así, si no se cumple $1)$ , entonces tampoco $2)$ . Por lo anterior, podemos concluir que $2) \Rightarrow 1) .$

Límite de una función a través de sucesiones

Ahora nos enfocaremos en hacer uso del teorema anterior. En el momento de hacer las demostraciones correspondientes, debemos tener presente que una vez que expresamos el límite de una función en términos del límite de una sucesión, podemos hacer uso de las propiedades del mismo.

Ejemplo 1. Sea $A = R ∖ {1}$ . Consideremos la función $f : A \to R$ con $f (x) = \frac{x^{3} - x^{2} + x - 1}{x - 1}$ . Prueba que $lim_{x \to 1} f (x) = 2.$

Demostración.

Primero notemos que
$\begin{aligned} f (x) & = \frac{x^{3} - x^{2} + x - 1}{x - 1} \\ = \frac{(x - 1) (x^{2} + 1)}{x - 1} \\ = x^{2} + 1. \end{aligned}$

$∴ f (x) = x^{2} + 1.$

Sea ${a_{n}}$ una sucesión en $R$ tal que

$lim_{n \to \infty} a_{n} = 1.$
Para todo $n \in N$ , $a_{n} \neq 1.$
Para todo $n \in N$ , $a_{n} \in A .$

Entonces tenemos que

$\begin{aligned} lim_{x \to 1} f (x) & = lim_{n \to \infty} f (a_{n}) \\ = lim_{n \to \infty} (a_{n}^{2} + 1) \\ (1) & = lim_{n \to \infty} a_{n}^{2} + lim_{n \to \infty} 1 \\ = 1 + 1 \\ = 2. \end{aligned}$

$∴ lim_{x \to 1} \frac{x^{3} - x^{2} + x - 1}{x - 1} = 2.$

Es importante resaltar que aún no hemos probado ninguna propiedad del límite de una función, por lo que el criterio de sucesiones para límites es lo que nos permite emplear las propiedades que conocemos respecto a sus operaciones aritméticas y así realizar el paso $(1)$ en el ejemplo anterior.

Ejemplo 2. Sea $A = [0, \infty)$ . Consideremos la función $f : A \to R$ con $f (x) = \sqrt{x}$ . Demuestra que $lim_{x \to 2} f (x) = \sqrt{2} .$

Sea ${a_{n}}$ una sucesión en $R$ tal que

$lim_{n \to \infty} a_{n} = 2.$
Para todo $n \in N$ , $a_{n} \neq 2.$
Para todo $n \in N$ , $a_{n} \in A .$

Sabemos que si ${a_{n}}$ converge a $2$ , entonces ${\sqrt{a_{n}}}$ converge a $\sqrt{2}$ . Así, tenemos que

$\begin{aligned} lim_{x \to 2} f (x) & = lim_{n \to \infty} f (a_{n}) \\ = lim_{n \to \infty} \sqrt{a_{n}} \\ = \sqrt{2} . \end{aligned}$

$∴ lim_{x \to 2} \sqrt{x} = \sqrt{2} .$

Ejemplo 3. Sea $A = R ∖ {0}$ . Consideremos la función $f : A \to R$ con $f (x) = \frac{(3 + x)^{2} - 9}{x}$ . Prueba que $lim_{x \to 0} f (x) = 6.$

Demostración.

Primero notemos que

$\begin{aligned} f (x) & = \frac{(3 + x)^{2} - 9}{x} \\ = \frac{9 + 6 x + x^{2} - 9}{x} \\ = \frac{6 x + x^{2}}{x} \\ = 6 + x . \end{aligned}$

$∴ f (x) = 6 + x .$

Sea ${a_{n}}$ una sucesión en $R$ tal que

$lim_{n \to \infty} a_{n} = 0.$
Para todo $n \in N$ , $a_{n} \neq 0.$
Para todo $n \in N$ , $a_{n} \in A .$

$\begin{aligned} lim_{x \to 0} f (x) & = lim_{n \to \infty} f (a_{n}) \\ = lim_{n \to \infty} (6 + a_{n}) \\ = 6. \end{aligned}$

$∴ lim_{x \to 0} \frac{(3 + x)^{2} - 9}{x} = 6.$

Hasta este momento, solo hemos hecho uso del criterio de sucesiones para límites para probar la existencia de los mismos. Sin embargo, es posible usarlo también para el caso en el que tal límite no existe. Derivado directamente del teorema anterior se tiene que:

Si existen dos sucesiones ${a_{n}}$ , ${b_{n}}$ en el dominio de $f$ , ambas convergentes a $x_{0}$ , tal que $a_{n}$ , $b_{n} \neq x_{0}$ para todo $n \in N$ , pero $lim_{n \to \infty} f (a_{n}) \neq lim_{n \to \infty} f (b_{n})$ entonces no existe el límite de $f$ en $x_{0} .$

Veremos ahora un ejemplo donde el límite no existe.

Ejemplo 4. Sea $A = R ∖ {1}$ . Consideremos la función $f : A \to R$ con $f (x) = \frac{| x - 1 |}{x - 1}$ . Prueba que el límite

$lim_{x \to 1} f (x)$

no existe.

Demostración.

Veamos primero la gráfica de la función:

Podemos observar que es conveniente tomar una sucesión que se aproxime a $x_{0} = 1$ por la derecha y otra que se aproxime por la izquierda. Sean ${a_{n}}$ , ${b_{n}}$ dos sucesiones en el dominio de $f$ definidas de la siguiente forma:

$a_{n} = 1 + \frac{1}{n} y b_{n} = 1 - \frac{1}{n} .$

Se sigue que

$lim_{n \to \infty} a_{n} = 1 y lim_{n \to \infty} b_{n} = 1.$

Además, $a_{n} \neq 1$ , $b_{n} \neq 1$ para todo $n \in N$ .

Se tiene que

$\begin{aligned} lim_{n \to \infty} f (a_{n}) & = lim_{n \to \infty} \frac{| a_{n} - 1 |}{a_{n} - 1} \\ = lim_{n \to \infty} \frac{| 1 + \frac{1}{n} - 1 |}{1 + \frac{1}{n} - 1} \\ = lim_{n \to \infty} \frac{| \frac{1}{n} |}{\frac{1}{n}} \\ = lim_{n \to \infty} \frac{\frac{1}{n}}{\frac{1}{n}} \\ = 1. \end{aligned}$

$\begin{matrix} (1) & ∴ lim_{n \to \infty} f (a_{n}) = 1 . \end{matrix}$

Por otro lado,

$\begin{aligned} lim_{n \to \infty} f (b_{n}) & = lim_{n \to \infty} \frac{| b_{n} - 1 |}{b_{n} - 1} \\ = lim_{n \to \infty} \frac{| 1 - \frac{1}{n} - 1 |}{1 - \frac{1}{n} - 1} \\ = lim_{n \to \infty} \frac{| - \frac{1}{n} |}{- \frac{1}{n}} \\ = lim_{n \to \infty} \frac{\frac{1}{n}}{- \frac{1}{n}} \\ = - 1. \end{aligned}$

$\begin{matrix} (2) & ∴ lim_{n \to \infty} f (b_{n}) = - 1. \end{matrix}$

De $(1)$ y $(2)$ , se tiene que

$\begin{matrix} lim_{n \to \infty} f (a_{n}) \neq lim_{n \to \infty} f (b_{n}) . \\ ∴ lim_{x \to 1} \frac{| x - 1 |}{x - 1} no existe. \end{matrix}$

Más adelante…

En las siguientes entradas veremos propiedades específicas que nos ayudarán a calcular el límite de una función; y, como podrás imaginar, varias de estas propiedades son un símil a las revisadas para las sucesiones convergentes.

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.

A través del criterio de sucesiones para límite, prueba si existen o no los siguientes límites:

$lim_{x \to 0} \frac{x}{x + 1} .$
$lim_{x \to 0} x \cdot | x | .$
$lim_{x \to 7} \frac{x^{2} - 5 x + 10}{2 - x} .$
$lim_{x \to 0} \frac{x}{| x |} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Definición formal de límite de una función
Siguiente entrada del curso: Teoremas sobre el límite de una función
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»

Cálculo Diferencial e Integral: Límites de funciones trigonométricas

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

En las entradas anteriores nos enfocamos en desarrollar el concepto de límite y revisamos diversos tipos de funciones, sin embargo, evitamos un tipo particular: las funciones trigonométricas. En esta entrada centraremos nuestra atención en la revisión de estos límites haciendo uso de toda la teoría revisada hasta este punto.

Límite de funciones trigonométricas cuando $x$ tiende a $x_{0}$

En los primeros ejemplos podrás visualizar la gráfica de la función con la finalidad de tener cierta intuición respecto a los límites, pero, en caso de requerirlo, puedes repasar las funciones trigonométricas.

Ejemplo 1. Prueba que $lim_{x \to 0} s e n (x) = s e n (0) .$

Demostración.

Para probar este límite, procederemos a calcular los límites laterales.

Sea $x \in (0, π / 2)$ . Usaremos que $0 < s e n (x) < x$ si $x \in (0, π / 2)$ .

Además, $lim_{x \to 0} = 0 y lim_{x \to 0} x = 0.$

Por el teorema del sándwich, podemos concluir que $\begin{matrix} (1) & lim_{x \to 0^{+}} s e n (x) = 0 = s e n (0) . \end{matrix}$

Si $x \in (- π / 2, 0)$ , entonces $- x \in (0, π / 2)$ . De esta forma, se obtiene que

$0 < s e n (- x) < - x .$

Como $s e n (- x) = - s e n (x)$ , se sigue que $0 < - s e n (x) < - x .$

Por lo tanto $x < s e n (x) < 0$

Nuevamente por el teorema del sándwich, se sigue que $\begin{matrix} (2) & lim_{x \to 0^{-}} s e n (x) = 0 = s e n (0) . \end{matrix}$

De $(1)$ y $(2)$ se concluye que $lim_{x \to 0} s e n (x) = s e n (0) .$

Ejemplo 2. Prueba que $lim_{x \to 0} c o s (x) = c o s (0) .$

Demostración.

Como $c o s^{2} (x) + s e n^{2} (x) = 1,$ se sigue que $| c o s (x) | = \sqrt{1 - s e n^{2} (x)} .$

Consideremos $x \in (- π / 2, π / 2)$ , entonces $c o s (x) > 0$ , y de la expresión anterior se sigue que $c o s (x) = \sqrt{1 - s e n^{2} (x)} .$

De esta manera, se tiene que

$\begin{aligned} lim_{x \to 0} c o s (x) & = lim_{x \to 0} \sqrt{1 - s e n^{2} (x)} \\ = \sqrt{1 - 0} \\ = 1 \\ = c o s (0) . \end{aligned}$

Por lo tanto

$lim_{x \to 0} c o s (x) = c o s (0) .$

Ejemplo 3. Prueba que el siguiente límite no existe $lim_{x \to 0} s e n (\frac{1}{x}) .$

Demostración.

Notemos que por la relación entre el límite de una función y el de una sucesión, basta dar dos sucesiones ${a_{n}}$ , ${b_{n}}$ tal que converjan a $x_{0} = 0$ y $a_{n}$ , $b_{n} \neq 0$ para todo $n \in N$ , pero que las sucesiones obtenidas de evaluar la función en los términos de ambas sucesiones, ${f (a_{n})}$ , ${f (b_{n})}$ converjan a valores distintos.

Definimos $f (x) = s e n (\frac{1}{x})$ y consideremos las sucesiones $a_{n} = (π n)^{- 1}$ y $b_{n} = (\frac{1}{2} π + 2 π n)^{- 1},$ donde $a_{n}$ , $b_{n} \neq 0$ para todo $n \in N .$

Veamos que
$\begin{aligned} lim_{n \to \infty} a_{n} = & lim_{n \to \infty} (π n)^{- 1} \\ = & lim_{n \to \infty} \frac{1}{π n} \\ = & 0. \end{aligned}$
$∴ lim_{n \to \infty} a_{n} = 0.$
Además,
$\begin{aligned} lim_{n \to \infty} b_{n} = & lim_{n \to \infty} {(\frac{1}{2} π + 2 π n)}^{- 1} \\ = & lim_{n \to \infty} \frac{1}{\frac{1}{2} π + 2 π n} \\ = & lim_{n \to \infty} \frac{1}{\frac{π + 4 π n}{2}} \\ = & lim_{n \to \infty} \frac{2}{π + 4 π n} \\ = & 0. \end{aligned}$
$∴ lim_{n \to \infty} b_{n} = 0.$
Es decir, las sucesiones ${a_{n}}$ y ${b_{n}}$ tienden a cero. Y notemos que $f (a_{n}) = s e n (n π) = 0$ y $f (b_{n}) = s e n (\frac{1}{2} π + 2 π n) = 1$ para todo $n \in N .$

De esta forma $lim_{n \to \infty} f (a_{n}) \neq lim_{n \to \infty} f (b_{n}) .$
Por tanto, podemos concluir que el límite no existe.

Ejemplo 4. Prueba que $lim_{x \to 0} x s e n (\frac{1}{x}) = 0.$

Demostración.

Haremos la demostración de este límite mediante la definición épsilon-delta.

Sea $ε > 0$ . Consideremos $δ = ε .$
Si $0 < | x - 0 | < δ$ , entonces
$\begin{matrix} | x | < δ = ε . \\ \Rightarrow & | x | < ε . \end{matrix}$
Además, sabemos que $- 1 < s e n (\frac{1}{x}) < 1$ para cualquier $x \neq 0.$ Entonces

$\begin{aligned} | f (x) - 0 | = & | x s e n (\frac{1}{x}) | \\ = & | x | | s e n (\frac{1}{x}) | \\ \leq & δ \cdot 1 \\ = & ε . \end{aligned}$
$∴ lim_{x \to 0} x s e n (\frac{1}{x}) = 0.$

El siguiente ejemplo es un límite que nos ayudará en diversas ocasiones, así que vale la pena ponerle particular atención.

Ejemplo 5. Prueba que $lim_{x \to 0} \frac{s e n (x)}{x} = 1.$

Demostración.

Como nos interesa revisar qué sucede cuando $x \to 0$ . Podemos considerar que $x \in (- \frac{π}{2}, \frac{π}{2})$ con $x \neq 0.$

De esta forma, se tiene que

Área $△ A B C = \frac{s e n (x) c o s (x)}{2}$ .
Área del sector circular $A D C = \frac{x r^{2}}{2} = \frac{x}{2}$ .
Área $△ A D E = \frac{1 \cdot t a n (x)}{2} = \frac{s e n (x)}{2 c o s (x)}$ .

Podemos notar que Área $△ A B C <$ Área del sector circular $A D C <$ Área $△ A D E$ .

Como $x \in (- \frac{π}{2}, \frac{π}{2})$ con $x \neq 0$ , entonces $s e n (x) \neq 0$ y $c o s (x) \neq 0$ . Así, se sigue que

$\begin{matrix} \frac{s e n (x) c o s (x)}{2} < \frac{x}{2} < \frac{s e n (x)}{2 c o s (x)} . \end{matrix}$

De donde se obtiene que $c o s (x) < \frac{x}{s e n (x)} < \frac{1}{c o s (x)} .$

Y se sigue que $c o s (x) < \frac{x}{s e n (x)} y \frac{x}{s e n (x)} < \frac{1}{c o s (x)} .$

Es decir, $\frac{s e n (x)}{x} < \frac{1}{c o s (x)} y c o s (x) < \frac{s e n (x)}{x} .$

$∴ c o s (x) < \frac{s e n (x)}{x} < \frac{1}{c o s (x)} .$

Además, $lim_{x \to 0} c o s (x) = 1$ y $lim_{x \to 0} \frac{1}{c o s (x)} = 1$ . Por el teorema del del sándwich se concluye que

$lim_{x \to 0} \frac{s e n (x)}{x} = 1.$

Ejemplo 6. Determina el siguiente límite $lim_{x \to 0} \frac{1 - c o s (x)}{x} .$

Si $0 < | x | < π$ , entonces

$\begin{aligned} \frac{1 - c o s (x)}{x} = & \frac{1 - c o s (x)}{x} \cdot \frac{1 + c o s (x)}{1 + c o s (x)} \\ = & \frac{1 - c o s^{2} (x)}{x (1 + c o s (x))} \\ = & \frac{s e n^{2} (x)}{x (1 + c o s (x))} \\ = & \frac{s e n (x)}{x} \frac{s e n (x)}{1 + c o s (x)} . \end{aligned}$

Así,
$\begin{aligned} lim_{x \to 0} \frac{1 - c o s (x)}{x} = & lim_{x \to 0} \frac{s e n (x)}{x} \cdot \frac{s e n (x)}{1 + c o s (x)} \\ = & lim_{x \to 0} \frac{s e n (x)}{x} \cdot lim_{x \to 0} \frac{s e n (x)}{1 + c o s (x)} \\ = & 1 \cdot \frac{0}{2} \\ = & 0. \end{aligned}$

$∴ lim_{x \to 0} \frac{1 - c o s (x)}{x} = 0.$

Ejemplo 7. Calcula el siguiente límite $lim_{x \to 0} \frac{x + s e n (x)}{x^{2} - s e n (x)} .$

$\begin{aligned} lim_{x \to 0} \frac{x + s e n (x)}{x^{2} - s e n (x)} = & lim_{x \to 0} \frac{x + s e n (x)}{x^{2} - s e n (x)} \cdot \frac{\frac{1}{x}}{\frac{1}{x}} \\ = & lim_{x \to 0} \frac{1 + \frac{s e n (x)}{x}}{x - \frac{s e n (x)}{x}} \\ = & \frac{1 + 1}{0 - 1} \\ = & - 2. \end{aligned}$
$∴ lim_{x \to 0} \frac{x + s e n (x)}{x^{2} - s e n (x)} = - 2.$

Ejemplo 8. Calcula $lim_{x \to 0} \frac{s e c (x) - 1}{x} .$

$\begin{aligned} lim_{x \to 0} \frac{s e c (x) - 1}{x} = & lim_{x \to 0} \frac{\frac{1}{c o s (x)} - 1}{x} \\ = & lim_{x \to 0} \frac{\frac{1 - c o s (x)}{c o s (x)}}{x} \\ = & lim_{x \to 0} \frac{1 - c o s (x)}{x c o s (x)} \\ = & lim_{x \to 0} \frac{1}{c o s (x)} \frac{1 - c o s (x)}{x} \\ = & 1 \cdot 0 \\ = & 0. \end{aligned}$
$∴ lim_{x \to 0} \frac{s e c (x) - 1}{x} = 0.$

Límite de funciones trigonométricas cuando $x$ tiende a infinito

Ahora procederemos a revisar algunos ejemplos de funciones trigonométricas cuando $x \to \infty$ , o bien, cuando $x \to - \infty .$

Ejemplo 9. Calcula el límite $lim_{x \to \infty} \frac{s e n (x)}{x} .$

Sabemos que $- 1 \leq s e n (x) \leq 1.$ De esta forma, si $x \neq 0$ , se tiene que $- \frac{1}{x} \leq \frac{s e n (x)}{x} \leq \frac{1}{x} .$

Además, $lim_{x \to \infty} - \frac{1}{x} = 0 = lim_{x \to \infty} \frac{1}{x} .$

Por el teorema del sándwich, se concluye que
$lim_{x \to \infty} s e n (x) = 0.$

Ejemplo 10. Calcula el límite $lim_{x \to \infty} \frac{x s e n (x)}{x^{2} + 5} .$
$\begin{aligned} lim_{x \to \infty} \frac{x s e n (x)}{x^{2} + 5} = & lim_{x \to \infty} \frac{x s e n (x)}{x^{2} + 5} \cdot \frac{\frac{1}{x^{2}}}{\frac{1}{x^{2}}} \\ = & lim_{x \to \infty} \frac{\frac{x s e n (x)}{x^{2}}}{\frac{x^{2} + 5}{x^{2}}} \\ = & lim_{x \to \infty} \frac{\frac{s e n (x)}{x}}{1 + \frac{5}{x^{2}}} \\ = & \frac{0}{1}, por lo visto en el ejemplo anterior \\ = & 0. \end{aligned}$
$∴ lim_{x \to \infty} \frac{x s e n (x)}{x^{2} + 5} = 0.$

Ejemplo 11. Determina si existe el siguiente límite $lim_{x \to \infty} \frac{x^{2} (1 + s e n^{2} (x))}{(x + s e n (x))^{2}} .$

El límite no existe. Considera las sucesiones generadas por $a_{n} = π n$ y $b_{n} = \frac{1}{2} π + 2 π n$ donde $a_{n}$ , $b_{n} \to \infty$ cuando $n \to \infty .$ Notemos que
$\begin{aligned} lim_{n \to \infty} f (a_{n}) = & lim_{n \to \infty} \frac{(π n)^{2} (1 + s e n^{2} (π n))}{(π n + s e n (π n))^{2}} \\ = & lim_{n \to \infty} \frac{(π n)^{2} (1 + 0)}{(π n + 0)^{2}} \\ = & lim_{n \to \infty} \frac{(π n)^{2}}{(π n)^{2}} \\ = & lim_{n \to \infty} 1 \\ = & 1. \end{aligned}$
$∴ lim_{n \to \infty} f (a_{n}) = 1.$
Por otro lado,
$\begin{aligned} lim_{n \to \infty} f (b_{n}) = & lim_{n \to \infty} \frac{(\frac{1}{2} π + 2 π n)^{2} (1 + s e n^{2} (\frac{1}{2} π + 2 π n))}{(\frac{1}{2} π + 2 π n + s e n (\frac{1}{2} π + 2 π n))^{2}} \\ = & lim_{n \to \infty} \frac{(\frac{1}{2} π + 2 π n)^{2} (1 + 1)}{(\frac{1}{2} π + 2 π n + 1)^{2}} \\ = & lim_{n \to \infty} \frac{2 (\frac{1}{2} π + 2 π n)^{2}}{(\frac{1}{2} π + 2 π n + 1)^{2}} \\ = & 2. \end{aligned}$
$∴ lim_{n \to \infty} f (b_{n}) = 2.$

Como $lim_{n \to \infty} f (a_{n}) \neq lim_{n \to \infty} f (b_{n}) .$
Podemos concluir que el límite $lim_{x \to \infty} \frac{x^{2} (1 + s e n^{2} (x))}{(x + s e n (x))^{2}}$ no existe.

Ejemplo 12. Determina el siguiente límite $lim_{x \to - \infty} \frac{3 x^{2} - s e n (5 x)}{x^{2} + 2} .$

Recordemos que $- 1 < s e n (5 x) < 1$ , de donde se sigue que $- 1 < - s e n (5 x) < 1$ , así
$\begin{matrix} 3 x^{2} - 1 < 3 x^{2} - s e n (5 x) < 3 x^{2} + 1. \end{matrix}$

Se sigue que
$\begin{matrix} \frac{3 x^{2} - 1}{x^{2} + 2} < \frac{3 x^{2} - s e n (5 x)}{x^{2} + 2} < \frac{3 x^{2} + 1}{x^{2} + 2}, pues x^{2} + 2 > 0. \end{matrix}$

Y notemos que

$\begin{aligned} lim_{x \to - \infty} \frac{3 x^{2} + 1}{x^{2} + 2} = & lim_{x \to - \infty} \frac{\frac{3 x^{2} + 1}{x^{2}}}{\frac{x^{2} + 2}{x^{2}}} \\ = & lim_{x \to - \infty} \frac{3 + \frac{1}{x^{2}}}{1 + \frac{2}{x^{2}}} \\ = & \frac{3}{1} \\ = & 3. \end{aligned}$

De forma similar, se obtiene que $lim_{x \to - \infty} \frac{3 x^{2} - 1}{x^{2} + 2} = 3.$

Por lo que se tiene que $lim_{x \to - \infty} \frac{3 x^{2} + 1}{x^{2} + 2} = 3 = lim_{x \to - \infty} \frac{3 x^{2} - 1}{x^{2} + 2} .$ Usando el teorema del sándwich podemos concluir que
$lim_{x \to - \infty} \frac{3 x^{2} - s e n (5 x)}{x^{2} + 2} = 3.$

Más adelante…

En la siguiente entrada revisaremos el concepto de asíntotas con lo que nos será posible analizar un comportamiento particular que llegan a tener las funciones, el cual es aproximarse a una recta en determinado momento; y, con esto, estaremos finalizando la unidad referente al límite de una función.

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.

Halla los siguientes límites, justifica en caso de no alguno no exista.

$lim_{x \to 0} \frac{x^{2} (3 + s e n (x))}{(x + s e n (x))^{2}} .$
$lim_{x \to 1} \frac{s e n (x^{2} - 1)}{x - 1} .$
$lim_{x \to \infty} x^{2} s e n (\frac{1}{x}) .$
$lim_{x \to \infty} \frac{x + s e n^{3} (x)}{5 x + 6} .$
$lim_{x \to 0} \frac{t a n^{2} (x) + 2 x}{x + x^{2}} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Límites infinitos
Siguiente entrada del curso: Asíntotas
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»

Cálculo Diferencial e Integral I: Límites en el infinito

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

Previamente se revisó el concepto de límite de una función, así como el de límites laterales. En la revisión de estos temas nos habíamos enfocado en revisar el límite de una función $f$ en un punto $x_{0}$ . Ahora ampliaremos el concepto estudiando $f$ para el caso cuando $x$ tiende a infinito.

Límite en el infinito

La intuición detrás de la definición de límite en el infinito es que $f$ tiene límite $L$ cuando $x$ tiende a infinito si para valores lo suficientemente grandes de $x$ nos acercamos arbitrariamente a $L .$

Definición. Sea $f : A \to R$ . Decimos que $f$ tiende al límite $L \in R$ cuando $x$ tiende a infinito si para cualquier $ε > 0$ existe $M \in R$ , tal que para cualquier $x > M$ , se tiene que $| f (x) - L | < ε$ y lo denotamos $lim_{x \to \infty} f (x) = L .$

Ejemplo 1. Prueba que $lim_{x \to \infty} \frac{1}{x} = 0.$
Demostración.

Sea $ε > 0$ y tomemos $M = \frac{1}{ε}$ . De esta forma, para todo $x > M$ se tiene que $x > \frac{1}{ε}$ , y por lo tanto $- ε < 0 < \frac{1}{x} < ε$ , es decir, $| \frac{1}{x} - 0 | < ε .$
$∴ lim_{x \to \infty} \frac{1}{x} = 0.$

Podemos observar que la definición es bastante natural una vez hemos entendido el concepto de límite, por lo cual procederemos directamente a revisar algunas de sus propiedades.

Propiedades de los límites en el infinito

Al igual que la definición revisada para el límite de una función en un punto, el límite de una función cuando $x$ tiende a infinito también es único.

Proposición. El límite de una función cuando $x$ tiende a infinito es único, es decir, si $f$ tiende a $L$ cuando $x \to \infty$ y $f$ tiende a $L^{'}$ cuando $x \to \infty$ , entonces $L = L^{'} .$

La demostración es muy similar a la realizada en la entrada de definición formal del límite, por lo cual se omitirá, pero de ser necesario puedes realizarla para repasar los conceptos.

Análogamente a las entradas anteriores, tenemos una relación entre el límite al infinito de una función y el límite de una sucesión.

Teorema. Sea $f : A \to R$ . Los siguientes enunciados son equivalentes.

$lim_{x \to \infty} f (x) = L .$
Para cualquier sucesión ${a_{n}}$ en $A$ que diverge a infinito se tiene que la sucesión ${f (a_{n})}$ converge a $L .$

Notemos que para que el límite en el infinito tenga sentido, se debe cumplir que $(a, \infty) \subset A$ para algún $a \in R .$

Demostración.

$1) \Rightarrow 2)]$ Sea $ε > 0$ . Supongamos que $lim_{x \to \infty} f (x) = L .$
Y sea ${a_{n}}$ en $A$ que diverge a infinito.

Por hipótesis $f$ tiende a $L$ cuando $x$ tiende a infinito, entonces existe $M \in R$ tal que si $x > M$ se tiene que $| f (x) - L | < ε .$

Además, como ${a_{n}}$ diverge a infinito, entonces para $M$ existe $n_{0} \in N$ tal que si $n \geq n_{0}$ se tiene que $a_{n} > M .$ Por lo tanto, $| f (a_{n}) - L | < ε .$
$∴ lim_{n \to \infty} f (a_{n}) = L .$

$1) \Leftarrow 2)]$ Realizaremos esta demostración por contrapositiva, es decir, probaremos que si $lim_{x \to \infty} f (x) \neq L,$

entonces existe ${a_{n}}$ en $A$ tal que $lim_{n \to \infty} a_{n} = \infty y lim_{n \to \infty} f (a_{n}) \neq L .$

Supongamos que $lim_{x \to \infty} f (x) \neq L$ . Entonces existe $ε > 0$ tal que para todo $M_{n} > a$ existe $x_{n}^{'} > M_{n}$ tal que $| f (x_{n}^{'}) - L | \geq ε .$

De esta forma, es posible generar la sucesión ${x_{n}^{'}}$ en $A .$ Primero veremos que esta sucesión diverge a infinito.

Sea $α \in R$ . Entonces existe $M_{n_{0}} \in R$ tal que $M_{n_{0}} > α$ . Además, $x_{n_{0}}^{'} > M_{n_{0}} > α$ , y por lo tanto para todo $n \geq n_{0}$ se sigue que $x_{n}^{'} > M_{n} \geq M_{n_{0}} > α$ . Es decir, $x_{n}^{'} > α$ para todo $n \geq n_{0}$ .

$∴ lim_{n \to \infty} x_{n}^{'} = \infty .$

Además, se tiene que $| f (x_{n}^{'}) - L | \geq ε$ para todo $n \in N$ .

Consideremos ${a_{n}} = {x_{n}^{'}}$ , entonces

$lim_{n \to \infty} a_{n} = \infty y lim_{n \to \infty} f (a_{n}) \neq L .$

Por lo tanto, concluimos que $2) \Rightarrow 1)$

Después de este teorema, nuevamente logramos obtener las mismas propiedades que conocemos del límite de una sucesión.

Proposición. Sean $f : A \to R$ , $g : A \to R$ con $A \subset R$ tal que $(a, \infty) \subset A$ para algún $a \in R$ . Si además

$lim_{x \to \infty} f (x) = L y lim_{x \to \infty} g (x) = T$

entonces

$lim_{x \to \infty} c \cdot f (x) = c L .$
$lim_{x \to \infty} (f + g) (x) = L + T .$
$lim_{x \to \infty} (f - g) (x) = L - T .$
$lim_{x \to \infty} (f \cdot g) (x) = L T .$
Si $T \neq 0$ y $g (x) \neq 0$ para $x > a$ , entonces $lim_{x \to \infty} \frac{f}{g} (x) = \frac{L}{T} .$

Ahora veremos una proposición que nos será útil para el cálculo de límites.

Proposición. Para todo $k \in N$ se tiene que $lim_{x \to \infty} \frac{1}{x^{k}} = 0.$

Demostración.

Procederemos a realizar esta demostración mediante inducción.
Caso base: $k = 1$ .
En el ejemplo anterior se probó mediante la definición que $lim_{x \to \infty} \frac{1}{x^{1}} = lim_{x \to \infty} \frac{1}{x} = 0.$
Hipótesis de inducción: $lim_{x \to \infty} \frac{1}{x^{k}} = 0.$
Ahora veamos que también se cumple para $k + 1$ .

$\begin{aligned} lim_{x \to \infty} \frac{1}{x^{k + 1}} = & lim_{x \to \infty} \frac{1}{x^{k}} \cdot \frac{1}{x^{1}} \\ = & lim_{x \to \infty} \frac{1}{x^{k}} lim_{x \to \infty} \frac{1}{x^{1}} \\ = & 0 \cdot 0 = 0. \end{aligned}$

$\begin{matrix} ∴ lim_{x \to \infty} \frac{1}{x^{k + 1}} = 0. \\ ∴ lim_{x \to \infty} \frac{1}{x^{k}} = 0, \forall k \in N . \end{matrix}$

Revisaremos un par de ejemplos donde aplicaremos las propiedades enunciadas.

Ejemplo 2. Determina $lim_{x \to \infty} \frac{8 x + 5}{x^{3} + 10} .$

Notemos que
$\begin{aligned} lim_{x \to \infty} \frac{8 x + 5}{x^{3} + 10} = & lim_{x \to \infty} \frac{8 x + 5}{x^{3} + 10} \cdot \frac{\frac{1}{x^{3}}}{\frac{1}{x^{3}}} \\ = & lim_{x \to \infty} \frac{\frac{8 x}{x^{3}} + \frac{5}{x^{3}}}{\frac{x^{3}}{x^{3}} + \frac{10}{x^{3}}} \\ = & lim_{x \to \infty} \frac{\frac{8}{x^{2}} + \frac{5}{x^{3}}}{1 + \frac{10}{x^{3}}} \\ = & \frac{lim_{x \to \infty} \frac{8}{x^{2}} + \frac{5}{x^{3}}}{lim_{x \to \infty} 1 + \frac{10}{x^{3}}} \\ = & \frac{0 + 0}{1 + 0} \\ = & \frac{0}{1} \\ = & 0. \end{aligned}$
$∴ lim_{x \to \infty} \frac{8 x + 5}{x^{3} + 10} = 0.$

Ejemplo 3. Calcula el siguiente límite $lim_{x \to \infty} \frac{1}{\sqrt{x^{2} - 2 x} - x} .$

Como consideraremos que $x \to \infty$ , podemos suponer, particularmente, que $x > 0$ , entonces

$\begin{aligned} \frac{1}{\sqrt{x^{2} - 2 x} - x} = & \frac{1}{\sqrt{x^{2} - 2 x} - x} \cdot \frac{\sqrt{x^{2} - 2 x} + x}{\sqrt{x^{2} - 2 x} + x} \\ = & \frac{\sqrt{x^{2} - 2 x} + x}{{(\sqrt{x^{2} - 2 x})}^{2} - x^{2}} \\ = & \frac{\sqrt{x^{2} - 2 x} + x}{x^{2} - 2 x - x^{2}} \\ = & \frac{\sqrt{x^{2} - 2 x} + x}{- 2 x} \\ = & - \frac{\sqrt{x^{2} - 2 x}}{2 x} - \frac{x}{2 x} \\ = & - \frac{\sqrt{x^{2} - 2 x}}{\sqrt{4 x^{2}}} - \frac{1}{2}, como x es positivo, \sqrt{4 x^{2}} = | 2 x | = 2 x \\ = & - \sqrt{\frac{x^{2} - 2 x}{4 x^{2}}} - \frac{1}{2} \\ = & - \sqrt{\frac{x^{2}}{4 x^{2}} - \frac{2 x}{4 x^{2}}} - \frac{1}{2} \\ = & - \sqrt{\frac{1}{4} - \frac{1}{2 x}} - \frac{1}{2} . \end{aligned}$
$\Rightarrow \frac{1}{\sqrt{x^{2} - 2 x} - x} = - \sqrt{\frac{1}{4} - \frac{1}{2 x}} - \frac{1}{2} .$

Entonces tenemos que
$\begin{aligned} lim_{x \to \infty} \frac{1}{\sqrt{x^{2} - 2 x} - x} = & lim_{x \to \infty} (- \sqrt{\frac{1}{4} - \frac{1}{2 x}} - \frac{1}{2}) \\ = & - \sqrt{\frac{1}{4} - 0} - \frac{1}{2} \\ = & - \frac{1}{2} - \frac{1}{2} \\ = & - 1. \end{aligned}$
$∴ lim_{x \to \infty} \frac{1}{\sqrt{x^{2} - 2 x} - x} = - 1.$

A continuación enunciaremos el teorema del sándwich para este tipo de límites.

Proposición. Sean $f$ , $g$ , $h : A \to R$ con $A \subset R$ tal que $(a, \infty) \subset A$ para algún $a \in R$ . Si existe $M_{1} \in R$ tal que para todo $x > M_{1}$ se tiene que $f (x) \leq g (x) \leq h (x) y lim_{x \to \infty} f (x) = L = lim_{x \to \infty} h (x) .$

Entonces $lim_{x \to \infty} g (x) = L .$

Nuevamente, omitiremos la demostración pues es análoga a la revisada en una entrada anterior.

Extensión del límite en el infinito

Así como tenemos el límite en el infinito, existe una definición análoga que considera el límite de una función cuando $x$ tiende a $- \infty$ .

Definición. Sean $A \subseteq R$ y $f : A \to R$ . Decimos que $f$ tiende al límite $L \in R$ cuando $x$ tiende a $- \infty$ si para cualquier $ε > 0$ existe $m \in R$ , tal que para cualquier $x < m$ , se tiene que $| f (x) - L | < ε$ y lo denotamos $lim_{x \to - \infty} f (x) = L .$

La definición nos indica que $f$ tiene límite $L$ cuando $x$ tiende a $- \infty$ si para valores lo suficientemente pequeños de $x$ nos acercamos arbitrariamente a $L$ .

Esta extensión de límite tiene propiedades análogas revisadas en esta entrada.

Más adelante…

En la siguiente entrada revisaremos una nueva variante del límite de una función: los límites infinitos. Es decir, veremos el caso donde el límite de una función es infinito.

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.

Demostrar que si $f : A \to R$ es tal que $lim_{x \to \infty} x f (x) = L$ con $L \in R$ , entonces $lim_{x \to \infty} f (x) = 0.$
Sean $f$ y $g$ dos funciones definidas en $(a, \infty)$ tales que $lim_{x \to \infty} f (x) = L y lim_{x \to \infty} g (x) = \infty .$
Entonces se tiene que $lim_{x \to \infty} f (g (x)) = L .$
Prueba que $lim_{x \to \infty} f (x) = lim_{x \to - \infty} f (- x) .$
Prueba que $lim_{x \to 0^{-}} f (\frac{1}{x}) = lim_{x \to - \infty} f (x) .$
Calcula los siguientes límites
$i$ ) $lim_{x \to \infty} \frac{\sqrt{x + 1}}{x}, definido para x > 0.$
$i i$ ) $lim_{x \to \infty} \frac{\sqrt{x} - x}{\sqrt{x} + x}, definido para x > 0.$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Límites laterales
Siguiente entrada del curso: Límites infinitos
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»

Cálculo Diferencial e Integral I: Límites laterales

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

En las entradas anteriores hemos trabajado con la definición de límite y revisamos sus propiedades. En esta ocasión, daremos la definición de límite por la derecha y límite por la izquierda, que en conjunto son llamados límites laterales. De igual forma, revisaremos algunos ejemplos y su relación con la definición vista anteriormente.

Límites laterales

Las definiciones que veremos a continuación se basan en restringir la forma en que nos acercamos a $x_{0} .$ El límite por la derecha se enfoca en acercarnos por la derecha, es decir, pediremos que $x > x_{0},$ lo cual se traducirá en que debe cumplirse que $0 < x - x_{0} < δ$ . Por otro lado, para el límite por la izquierda debe cumplirse que $x < x_{0},$ de esta forma se tendrá que $0 < x_{0} - x < δ .$ Primero daremos la definición de límite por la derecha.

Definición. Sean $A \subset R$ y $f : A \to R .$ Se dice que $L \in R$ es límite por la derecha de $f$ en $x_{0},$ si para todo $ε > 0$ existe $δ > 0$ tal que si $0 < x - x_{0} < δ$ entonces $| f (x) - L | < ε .$ Cuando $L$ es el límite de $f$ en el punto $x_{0}$ por la derecha, lo denotamos $lim_{x \to x_{0} +} f (x) = L .$

Análogamente, tenemos la definición de límite por la izquierda.

Definición. Sean $A \subset R$ y $f : A \to R .$ Se dice que $L \in R$ es límite por la izquierda de $f$ en $x_{0},$ si para todo $ε > 0$ existe $δ > 0$ tal que si $0 < x_{0} - x < δ$ entonces $| f (x) - L | < ε .$ Cuando $L$ es el límite de $f$ en el punto $x_{0}$ por la izquierda, lo denotamos $lim_{x \to x_{0} -} f (x) = L .$

Propiedades de los límites laterales

De forma similar al teorema que vimos para los límites, existe una relación entre el límite lateral de una función y el límite de una sucesión, basta agregar a los supuestos la condición de que la sucesión sea mayor que $x_{0}$ para todo $n \in N$ en el caso de límite por la derecha y que sea menor que $x_{0}$ para todo $n \in N$ en el caso de límite por la izquierda.

Teorema. Sea $A \subset R .$ Definimos la función $f : A \to R .$ Entonces, dado un $x_{0},$ los siguientes enunciados son equivalentes.

$lim_{x \to x_{0} +} f (x) = L .$
Para toda sucesión ${a_{n}}$ en $A$ que converge a $x_{0}$ y tal que $a_{n} > x_{0}$ para todo $n \in N,$ la sucesión ${f (a_{n})}$ converge a $L .$

El teorema de límite por la izquierda es similar al anterior. Además, la demostración es totalmente análoga a la revisada en una entrada anterior por lo cual quedará como tarea moral. También recordemos que este teorema nos ayuda a determinar las propiedades que tienen los límites laterales debido a la herencia que nos brinda el límite de una sucesión; es gracias a ello que podremos hacer uso de tales propiedades en los siguientes ejemplos.

Ejemplo 1. Sea $f : R \to R,$ definida de la siguiente forma

$f (x) = {\begin{cases} x^{3} + 1 & si x < - 1 \\ x^{2} + 1 & si x \geq - 1. \end{cases}$

Determina los límites laterales en $x_{0} = - 1.$

Primero mostraremos la gráfica de la función:

Calculando el límite por la izquierda, tenemos
$lim_{x \to - 1^{-}} f (x) = lim_{x \to - 1^{-}} x^{3} + 1 = 0.$

Por otro lado, el límite por la derecha
$lim_{x \to - 1^{+}} f (x) = lim_{x \to - 1^{+}} x^{2} + 1 = 2.$

Por lo tanto
$lim_{x \to 0^{-}} f (x) = 0 y lim_{x \to 0^{+}} f (x) = 2.$

Ejemplo 2. Sea $f : R ∖ {0} \to R .$ Calcula los límites laterales en $x_{0} = 0$ de

$f (x) = \frac{| x |}{x} .$

La gráfica de la función es la siguiente:

Calculando el límite por la izquierda, tenemos
$\begin{aligned} lim_{x \to 0^{-}} f (x) = & lim_{x \to 0^{-}} \frac{| x |}{x} \\ = & lim_{x \to 0^{-}} \frac{- x}{x}, pues x < 0 \\ = & lim_{x \to 0^{-}} - 1 \\ = & - 1. \end{aligned}$
Por otro lado, el límite por la derecha
$\begin{aligned} lim_{x \to 0^{+}} f (x) = & lim_{x \to 0^{+}} \frac{| x |}{x} \\ = & lim_{x \to 0^{+}} \frac{x}{x}, pues x > 0 \\ = & lim_{x \to 0^{+}} 1 \\ = & 1. \end{aligned}$
Por lo tanto
$lim_{x \to 0^{-}} f (x) = - 1 y lim_{x \to 0^{+}} f (x) = 1.$

De los ejemplos revisados, el primero tiene la propiedad de que sus límites laterales son iguales mientras que para el segundo y el tercero tales límites son distintos en $x_{0} .$

Relación entre el límite de una función y sus límites laterales

Parece inmediato inferir que, considerando un punto $x_{0}$ dado, si los límites por la izquierda y por la derecha existen y son iguales, entonces el límite de la función sí existe en tal punto. De la misma manera, resulta natural que si el límite existe, entonces los límites laterales también existen y son iguales. Probaremos esta equivalencia, pero para hacerlo, primero demostraremos la siguiente proposición.

Proposición. Sean $x,$ $x_{0}$ en $R$ y $δ > 0.$ Entonces $0 < | x - x_{0} | < δ$ si y solo si $0 < x - x_{0} < δ$ ó $0 < x_{0} - x < δ .$

Demostración.
Supongamos que $0 < | x - x_{0} | < δ$ .

Caso 1: $x - x_{0} > 0$ .
Entonces $| x - x_{0} | = x - x_{0}$ , así
$\begin{matrix} 0 < | x - x_{0} | < δ \Leftrightarrow 0 < x - x_{0} < δ . \end{matrix}$

Caso 2: $x - x_{0} < 0$ .
Entonces $| x - x_{0} | = x_{0} - x$ , así
$\begin{matrix} 0 < | x - x_{0} | < δ \Leftrightarrow 0 < x_{0} - x < δ . \end{matrix}$

$∴ 0 < | x - x_{0} | < δ \Leftrightarrow 0 < x - x_{0} < δ ó 0 < x_{0} - x < δ .$

Teorema. El límite de una función $f$ en el punto $x_{0}$ existe y es igual a $L$ si y solo si los límites laterales existen y son iguales a $L$ , es decir

$lim_{x \to x_{0}} f (x) = L \Leftrightarrow lim_{x \to x_{0}^{+}} f (x) = L = lim_{x \to x_{0}^{-}} f (x) .$

Demostración.

$\Rightarrow]$ Supongamos que $lim_{x \to x_{0}} f (x) = L .$
Sea $ε > 0$ . Como $f$ converge a $L$ en $x_{0}$ , existe $δ > 0$ tal que si $0 < | x - x_{0} | < δ$ se tiene que $| f (x) - L | < ε .$

Si $0 < x - x_{0} < δ$ , entonces $0 < | x - x_{0} | < δ$ por la proposición anterior. Se sigue que
$\begin{matrix} | f (x) - L | < ε . \\ ∴ lim_{x \to x_{0}^{+}} f (x) = L . \end{matrix}$

Si $0 < x_{0} - x < δ$ , entonces $0 < | x - x_{0} | < δ$ por la proposición anterior. Se sigue que
$\begin{matrix} | f (x) - L | < ε . \\ ∴ lim_{x \to x_{0}^{-}} f (x) = L . \end{matrix}$

$\Leftarrow]$ Supongamos que $lim_{x \to x_{0}^{+}} f (x) = L = lim_{x \to x_{0}^{-}} f (x)$
Sea $ε > 0.$

Como $lim_{x \to x_{0}^{+}} f (x) = L$ , existe $δ_{1}$ tal que si $0 < x - x_{0} < δ_{1}$ entonces $| f (x) - L | < ε .$

Como $lim_{x \to x_{0}^{-}} f (x) = L$ , existe $δ_{2}$ tal que si $0 < x_{0} - x < δ_{2}$ entonces $| f (x) - L | < ε .$

Consideremos $δ = m i n {δ_{1}, δ_{2}} .$ Por la proposición, si $0 < | x - x_{0} | < δ$ , entonces $0 < x - x_{0} < δ$ ó $0 < x_{0} - x < δ .$

Para el primer caso, tenemos que $0 < x - x_{0} < δ \leq δ_{1}$ , entonces $| f (x) - L | < ε .$
Para el segundo caso, se tiene que $0 < x_{0} - x < δ \leq δ_{2}$ , entonces $| f (x) - L | < ε .$

Por lo tanto $lim_{x \to x_{0}} f (x) = L .$

$∴ lim_{x \to x_{0}} f (x) = L \Leftrightarrow lim_{x \to x_{0}^{+}} f (x) = L = lim_{x \to x_{0}^{-}} f (x) .$

Observación. Ya que hemos demostrado este teorema, podemos notar que si los límites laterales de una función son distintos en un punto $x_{0}$ , entonces no existe el límite de la función en tal punto.

Finalizaremos esta entrada revisando los siguientes ejemplos.

Ejemplo 3. Determina si existe el límite en $x_{0} = 0$ para la siguiente función $f (x) = x \sqrt{\frac{1}{4 x^{2}} - 16} .$

Veamos primero qué sucede con el límite por la izquierda
$\begin{aligned} lim_{x \to 0^{-}} f (x) = & lim_{x \to 0^{-}} x \sqrt{\frac{1}{4 x^{2}} - 16} \\ = & lim_{x \to 0^{-}} x \sqrt{\frac{1 - 64 x^{2}}{4 x^{2}}} \\ = & lim_{x \to 0^{-}} \frac{x \sqrt{1 - 64 x^{2}}}{\sqrt{4 x^{2}}} \\ = & lim_{x \to 0^{-}} \frac{x \sqrt{1 - 64 x^{2}}}{2 | x |} \\ = & lim_{x \to 0^{-}} \frac{x \sqrt{1 - 64 x^{2}}}{- 2 x}, pues x < 0 \\ = & lim_{x \to 0^{-}} - \frac{\sqrt{1 - 64 x^{2}}}{2} \\ = & - \frac{1}{2} . \end{aligned}$

De forma similar, tenemos que
$\begin{aligned} lim_{x \to 0^{+}} f (x) = & lim_{x \to 0^{+}} x \sqrt{\frac{1}{4 x^{2}} - 16} \\ = & lim_{x \to 0^{+}} x \sqrt{\frac{1 - 64 x^{2}}{4 x^{2}}} \\ = & lim_{x \to 0^{+}} \frac{x \sqrt{1 - 64 x^{2}}}{2 x}, pues x > 0 \\ = & lim_{x \to 0^{+}} \frac{\sqrt{1 - 64 x^{2}}}{2} \\ = & \frac{1}{2} . \end{aligned}$
$∴ lim_{x \to 0^{-}} f (x) = - \frac{1}{2} y lim_{x \to 0^{+}} f (x) = \frac{1}{2} .$

Como los límites laterales son distintos, podemos concluir que el límite de la función $f$ no existe en el punto $x_{0} = 0.$

Ejemplo 4. Sea $f : R \to R$ , definida de la siguiente forma
$f (x) = {\begin{cases} x^{2} & si x < 5 \\ 2 x + 15 & si x \geq 5. \end{cases}$
Determina si el límite existe en $x_{0} = 5.$

Iniciemos calculando el límite por la izquierda.
$lim_{x \to 5^{-}} f (x) = lim_{x \to 5^{-}} x^{2} = 25.$

Por otro lado, el límite por la derecha
$lim_{x \to 5^{+}} f (x) = lim_{x \to 5^{+}} 2 x + 15 = 25.$

Por lo tanto
$lim_{x \to 0^{-}} f (x) = 25 y lim_{x \to 0^{+}} f (x) = 25.$

Como los límites laterales existen y son iguales, podemos concluir que
$lim_{x \to 0} f (x) = 25.$

Más adelante…

¿Qué sucede cuando en lugar de acercarnos a un punto en particular $x_{0}$ , hacemos que $x$ crezca indefinidamente? Esto y otras ampliaciones del concepto del límite serán revisadas en la siguiente entrada con lo cual estaremos listos para calcular todo tipo de límites y, con ello, podremos conocer el comportamiento que toman las funciones tanto en un punto específico como «en el infinito».

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.

Demuestra que
$i$ ) $lim_{x \to 0^{+}} f (x) = lim_{x \to 0^{-}} f (- x) .$
$i i$ ) $lim_{x \to 0} f (| x |) = lim_{x \to 0^{+}} f (x) .$
Usando la definición épsilon-delta de límite por la derecha, prueba que $lim_{x \to 8^{+}} \sqrt{x - 8} = 0.$
Calcula el límite en $x_{0} = 5$ de la función
$f (x) = {\begin{cases} \frac{x^{2} - 12 x + 35}{x - 5} & si x < 5 \\ \frac{x - 5}{1 - \sqrt{x - 4}} & si x \geq 5. \end{cases}$
Usando límites laterales, determina si existe $lim_{x \to 0} \frac{3 x + | x |}{7 x - 5 | x |} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Teoremas sobre el límite de una función
Siguiente entrada del curso: Límites en el infinito
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»

Cálculo Diferencial e Integral I: Teoremas sobre el límite de una función

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

Después de haber revisado algunos ejemplos de límite de funciones, estamos listos para conocer y demostrar algunas de las propiedades; para este fin, usaremos la relación existente entre el límite de una función y el de una sucesión demostrada en la entrada anterior.

Teoremas sobre el límite de una función

Considerando el criterio de sucesiones para límites visto anteriormente, es natural que haya una gran cantidad de propiedades que se hereden del límite de sucesiones. A continuación revisaremos algunas de ellas y podremos aprovechar la relación de ambos conceptos para hacer la demostración de las mismas.

Teorema. Sean $f : A \to R$ y $g : A \to R$ dos funciones y sea $c \in R$ . Si $lim_{x \to x_{0}} f (x) = L y lim_{x \to x_{0}} g (x) = M .$
Entonces

$lim_{x \to x_{0}} c \cdot f (x) = c L .$
$lim_{x \to x_{0}} (f + g) (x) = L + M .$
$lim_{x \to x_{0}} (f - g) (x) = L - M .$
$lim_{x \to x_{0}} (f \cdot g) (x) = L \cdot M .$
Si además $M \neq 0$ , entonces $lim_{x \to x_{0}} (\frac{f}{g}) (x) = \frac{L}{M} .$

Demostración

Daremos la demostración del inciso 4 y la demostración de los demás es análoga.

Sea ${a_{n}}$ una sucesión en $A$ que converge a $x_{0}$ tal que $a_{n} \neq x_{0}$ para todo $n \in N$ , por el teorema anterior tenemos que
$lim_{n \to \infty} f (a_{n}) = L y lim_{n \to \infty} g (a_{n}) = M .$

De esta forma podemos usar las propiedades de convergencia de una sucesión, así

$lim_{n \to \infty} (f \cdot g) (a_{n}) = lim_{n \to \infty} (f (a_{n}) \cdot g (a_{n})) = lim_{n \to \infty} f (a_{n}) \cdot lim_{n \to \infty} g (a_{n}) = L \cdot M .$
Por el teorema revisado, podemos concluir que $lim_{x \to x_{0}} (f \cdot g) (x) = L \cdot M .$

Observación. Particularmente podemos generalizar los puntos 2 y 4, de tal forma que si $f_{1}, f_{2}, \dots, f_{n}$ son funciones definidas de $A$ a $R$ cada una con límite $L_{1}, L_{2}, \dots L_{n}$ en $x_{0}$ . Entonces

$\begin{matrix} lim_{x \to x_{0}} (f_{1} + f_{2} + \dots + f_{n}) (x) = L_{1} + L_{2} + \dots + L_{n} \\ y \\ lim_{x \to x_{0}} (f_{1} \cdot f_{2} \cdot \dots \cdot f_{n}) (x) = L_{1} \cdot L_{2} \cdot \dots \cdot L_{n} . \end{matrix}$

Revisaremos un par de ejemplos donde aplicaremos las propiedades anteriores.

Ejemplo 1. Calcula $lim_{x \to 2} \frac{5 x - 12}{2 x + 10} .$
$\begin{aligned} lim_{x \to 2} \frac{5 x - 12}{2 x + 10} = & \frac{lim_{x \to 2} (5 x - 12)}{lim_{x \to 2} (2 x + 10)}, por el punto 5 del teorema anterior \\ = & \frac{lim_{x \to 2} 5 x - lim_{x \to 2} 12}{lim_{x \to 2} 2 x + lim_{x \to 2} 10}, por los puntos 2 y 3 del teorema anterior \\ = & \frac{10 - 12}{4 + 10} \\ = & - \frac{1}{7} . \end{aligned}$
$∴ lim_{x \to 2} \frac{5 x - 12}{2 x + 10} = - \frac{1}{7} .$

Ejemplo 2. Calcula $lim_{x \to 5} \frac{x^{3} + 3}{8 x^{2} + 7} .$
$\begin{aligned} lim_{x \to 5} \frac{x^{3} + 3}{8 x^{2} + 7} = & \frac{lim_{x \to 5} (x^{3} + 3)}{lim_{x \to 5} (8 x^{2} + 7)}, por el punto 5 del teorema anterior \\ = & \frac{lim_{x \to 5} x^{3} + lim_{x \to 5} 3}{lim_{x \to 5} 8 x^{2} + lim_{x \to 5} 7}, por el punto 2 del teorema anterior \\ = & \frac{125 + 3}{200 + 7} \\ = & \frac{128}{207} . \end{aligned}$
$∴ lim_{x \to 5} \frac{x^{3} + 3}{8 x^{2} + 7} = \frac{128}{207} .$

En los ejemplos anteriores se hizo énfasis en las propiedades que nos permitieron calcular el límite con la finalidad de mostrar claramente cómo se emplean, sin embargo, esto no será necesario y, de hecho, no se hará tal hincapié de ahora en adelante.

A continuación probaremos el teorema del sándwich para el límite de una función.

Teorema. Sean $f$ , $g$ , $h : A \to R$ y sea $x_{0} \in A$ . Si

$f (x) \leq g (x) \leq h (x), para todo x \in A, x \neq x_{0},$

y si $lim_{x \to x_{0}} f (x) = L y lim_{x \to x_{0}} h (x) = L .$

Entonces

$lim_{x \to x_{0}} g (x) = L .$
Demostración

Sea $ε > 0$ , como $f$ y $h$ tienen como límite a $L$ en $x_{0}$ , entonces existen $δ_{1}$ , $δ_{2}$ tales que

$\begin{matrix} 0 < | x - x_{0} | < δ_{1}, entonces | f (x) - L | < ε \\ y \\ 0 < | x - x_{0} | < δ_{2}, entonces | h (x) - L | < ε . \end{matrix}$

Consideremos $δ = m i n {δ_{1}, δ_{2}}$ , si $0 < | x - x_{0} | < δ$ , se cumple que

$\begin{matrix} - ε < f (x) - L < ε \Leftrightarrow L - ε < f (x) < L + ε \\ y \\ - ε < h (x) - L < ε \Leftrightarrow L - ε < h (x) < L + ε . \end{matrix}$

Además, por hipótesis se tiene que $f (x) \leq g (x) \leq h (x)$ , entonces

$\begin{matrix} L - ε < f (x) \leq g (x) y g (x) \leq h (x) < L + ε . \end{matrix}$
Se sigue que
$\begin{matrix} L - ε < g (x) < L + ε . \\ \Leftrightarrow - ε < g (x) - L < ε . \\ ∴ | g (x) - L | < ε . \\ ∴ lim_{x \to x_{0}} g (x) = L . \end{matrix}$

A continuación veremos un ejemplo donde podemos aplicar el teorema del sándwich.

Ejemplo 3. Encuentra el siguiente límite: $lim_{x_{0} \to 0} x^{2} e^{s e n (\frac{1}{x})} .$
Sabemos que

$\begin{matrix} - 1 \leq s e n (\frac{1}{x}) \leq 1, para todo x \neq 0. \end{matrix}$
Dado que la función exponencial no altera la relación de orden, entonces tenemos
$\begin{matrix} e^{- 1} \leq e^{s e n (\frac{1}{x})} \leq e^{1} . \end{matrix}$
Se sigue que
$\begin{matrix} x^{2} e^{- 1} \leq x^{2} e^{s e n (\frac{1}{x})} \leq x^{2} e^{1} . \end{matrix}$

La función original $g (x) = x^{2} e^{s e n (\frac{1}{x})}$ está acotada por $f (x) = x^{2} e^{- 1}$ y $h (x) = x^{2} e^{1}$ . Tal como se muestra en la siguiente gráfica:

Notemos que
$lim_{x \to 0} x^{2} e^{- 1} = 0 y lim_{x \to 0} x^{2} e^{1} = 0.$
Por el teorema del sándwich podemos concluir que $lim_{x_{0} \to 0} x^{2} e^{s e n (\frac{1}{x})} = 0.$

En esta entrada revisamos algunas de las propiedades que tiene el límite de una función haciendo uso del límite de sucesiones, pero vale la pena destacar que también se pudo recorrer este tramo del camino usando la definición épsilon-delta y te invitamos a realizar el ejercicio de demostrar algunas de las propiedades haciendo uso de tal definición con la finalidad de tener un dominio mayor del concepto.

Más adelante…

Extenderemos la noción de límite de una función definiendo una nueva clase de límites: los límites laterales. Veremos la definición de límite por la derecha y límite por la izquierda que son definiciones menos exigentes y las cuales nos permiten tener un análisis más detallado para aquellas funciones donde el límite no existe.

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 si $lim_{x \to x_{0}} f (x) = L, entonces lim_{x \to x_{0}} | f (x) | = | L | .$
Calcula el límite $lim_{x \to 0} \frac{(x + 1)^{2} - 1}{x} .$
Calcula el límite $lim_{x \to 0} \frac{\sqrt{x} - 1}{x - 1} .$
Calcula el límite $lim_{x \to 0} x^{2} c o s (\frac{1}{x^{2}}) .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Límite de una función a través de sucesiones
Siguiente entrada del curso: Límites laterales
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»

Introducción

Negación de la definición del límite de una función

Criterio de sucesiones para límites

Límite de una función a través de sucesiones

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Introducción

Límite de funciones trigonométricas cuando x tiende a x0

Límite de funciones trigonométricas cuando x tiende a infinito

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Introducción

Límite en el infinito

Propiedades de los límites en el infinito

Extensión del límite en el infinito

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Introducción

Límites laterales

Propiedades de los límites laterales

Relación entre el límite de una función y sus límites laterales

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Introducción

Teoremas sobre el límite de una función

Más adelante…

Tarea moral

Entradas relacionadas

Agradecimientos

Límite de funciones trigonométricas cuando $x$ tiende a $x_{0}$

Límite de funciones trigonométricas cuando $x$ tiende a infinito