Introducción

En las secciones anteriores vimos las integrales impropias de primer, segundo tipo y tercer tipo, aprendiendo como dar solución a cada una de ella. En esta sección veremos distintos criterios para estudiar la convergencia o divergencia de las integrales impropias. Comencemos enunciando algunos teoremas de convergencia importantes para estas integrales.

Criterios de convergencia

Comencemos con el siguiente teorema.

Teorema: La integral ${\int }_1^{\mathrm{\infty }}f(x)dx$ converge $\iff \mathrm{\forall }ϵ>0\mathrm{\exists }r$ tal que si $x,x^{‘}>r$ entonces:

$$|{\int }_{x^{‘}}^{x}f(t)dt|<ϵ$$

Demostración:

Sea $ϵ>0,{\int }_a^{\mathrm{\infty }}f(x)dx$ converge:

$$\iff {\int }_a^{\mathrm{\infty }}f(x)dx=L\iff \underset{x\to \mathrm{\infty }}{lim}{\int }_a^{x}f(t)dt=L$$

$$\iff \mathrm{\exists }rtalquesix,x^{‘}>r$$

Por definición de limite:

$$\Rightarrow |{\int }_a^{x}f(t)dt-L|<\frac{ϵ}{2}y|{\int }_a^{x^{‘}}f(t)dt-L|<\frac{ϵ}{2}$$

$$\iff |{\int }_a^{x}f(t)dt-L|<\frac{ϵ}{2}y|L-{\int }_a^{x^{‘}}f(t)dt|<\frac{ϵ}{2}$$

Ya que $|r|<c$ si y sólo si $-c<r<c$, entonces:

$$\iff -\frac{ϵ}{2}<{\int }_a^{x}f(t)dt-L<\frac{ϵ}{2}y-\frac{ϵ}{2}<L-{\int }_a^{x^{‘}}f(t)dt<\frac{ϵ}{2}$$

$$\iff -ϵ<{\int }_a^{x}f(t)dt-{\int }_a^{x^{‘}}f(t)dt<ϵ$$

$$\iff -ϵ<{\int }_x^{x^{‘}}f(t)dt<ϵ$$

$$\iff |{\int }_x^{x^{‘}}f(t)dt|<ϵ$$

$$\iff |{\int }_{x^{‘}}^{x}f(t)dt|<ϵ$$

$$\therefore {\int }_1^{\mathrm{\infty }}f(x)dxconverge$$

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

Lema: Sea una función $f(x)$ continua en $[a,b)$ entonces la integral impropia ${\int }_a^{b}f(x)dx$ es convergente $\iff \mathrm{\forall }ϵ>0\mathrm{\exists }\delta >0talquesi0<b-x<\delta y0<b-x^{‘}<\delta$ entonces:

$$|{\int }_{x^{‘}}^{x}f(t)dt|<ϵ$$

Demostración:

${\int }_a^{b}f(x)dx$ es convergente:

$$\iff {\int }_a^{b}f(x)dx=L\iff \underset{x\to b^{-}}{lim}{\int }_a^{b}f(x)dx=L$$

$$\mathrm{\exists }\delta >0talquesi0<b-x<\delta y0<b-x^{‘}<\delta$$

$$\Rightarrow |{\int }_a^{x}f(t)dt-L|<\frac{ϵ}{2}y|{\int }_a^{x^{‘}}f(t)dt-L|<\frac{ϵ}{2}$$

Hacemos el mismo procedimiento como la demostración del teorema anterior, por lo que:

$$|{\int }_{x^{‘}}^{x}f(t)dt|<ϵconverge$$

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

Lema: Sea $f$ continua en $[a,b]$ entonces la integral impropia ${\int }_a^{b}f(x)dx$ es convergente $\iff \mathrm{\exists }\delta >0talquesi0<b-x<\delta y0<b-x^{‘}<\delta$, entonces:

$$|{\int }_{x^{‘}}^{x}f(t)dt|<ϵ$$

La demostración se dejará como ejercicio moral, ya que la demostración es muy similar a la demostración del lema anterior.

Teorema: Sea $f$ una función continua en $[a,b)$ y acotada en $[a,b]$ entonces ${\int }_a^{b}f(x)dx$ es convergente.

Demostración:

Sea $ϵ>0$, como $f$ está acotada en $[a,b]$ entonces:

$$\mathrm{\exists }Mtalque|f(x)|\le M\mathrm{\forall }xϵ[a,b]$$

Tomamos $\delta =\frac{ϵ}{M}$.

Sea $x,x^{‘}$ tal que si $0<b-x<\delta$ y $0<b-x^{‘}<\delta$, entonces por propiedades de la integral: [Hipervinculo: Calculo II-Propiedad de valor absoluto de la integral menor o igual que la integral del valor absoluto de una funcion]:

$$|{\int }_{x^{‘}}^{x}f(t)dt|\le {\int }_{x^{‘}}^x|f(t)|dt\le {\int }_{x^{‘}}^{x}Mdt=M|x-x^{‘}<\delta M$$

$$\Rightarrow |{\int }_{x^{‘}}^{x}f(t)dt|<ϵ$$

$$\mathrm{\forall }x,x^{‘}talque0<b-x<\delta y0<b-x^{‘}<\delta$$

Por el lema anterior:

$${\int }_a^{b}f(x)dxconverge$$

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

Teorema: Sea $f$ una función continua en $(a,b]$ y acotada en $[a,b]$ entonces ${\int }_a^{b}f(x)dx$ es convergente.

La demostración se dejará como tarea moral, la idea de la demostración es muy similar a la demostración del teorema anterior.

Teorema: (Criterio de comparación)

Sean $f$ y $g$ dos funciones continuas en $[a,\mathrm{\infty })$ tal que si $0\le f(x)\le g(x)\mathrm{\forall }xϵ[a,\mathrm{\infty })$, Entonces:

Si ${\int }_a^{\mathrm{\infty }}g(x)dx$ converge entonces ${\int }_a^{\mathrm{\infty }}f(x)dx$ converge.

Mientras que si ${\int }_a^{\mathrm{\infty }}f(x)dx$ diverge, entonces ${\int }_a^{\mathrm{\infty }}g(x)dx$ diverge.

La demostración se dejará como tarea moral, la idea de la demostración es usar las definiciones de límite.

Una aplicación de las integrales impropias en el área de la física, es calcular la velocidad de escape de la superficie de la Tierra. Sabemos que la fuerza gravitacional está dada como:

$$F=G\frac{mM}{r^2}$$

Donde $G=6.67\cdot {10}^{-11}\frac{N{m}^2}{k{g}^2}$ es la constante gravitacional y $M$ la masa de la tierra. Así integramos desde un punto $R$ de la Tierra a la fuerza de gravedad, entonces:

$${\int }_a^{b}Fdx={\int }_R^{\mathrm{\infty }}G\frac{mM}{r^2}dr=GmM{\int }_R^{\mathrm{\infty }}\frac{1}{r^2}dr=-GmM{\left[\frac{1}{r}\right]}_R^{r\to \mathrm{\infty }}=G\frac{mM}{R}$$

En ese te caso $R$ es el radio de la Tierra, cuyo valor es $R=6.37\cdot {10}^{6}m$, $M=5.98\cdot {10}^{24}kg$ es la masa de la Tierra, por lo que:

$$G\frac{mM}{R}\approx m\cdot 6.26\cdot {10}^7\frac{Nm}{kg}$$

Para calcular la velocidad de escape, igualamos la fuerza de gravedad con la energía cinética:

$$\frac{1}{2}m{v}^2=G\frac{mM}{R}\Rightarrow$$

$$v=\sqrt{\frac{2GM}{R}}\approx 11,91\frac{m}{s}$$

Tarea moral

Los siguientes ejercicios no son para evaluación, pero son ejercicios para que practiques lo aprendido que te ayudaran en el desarrollo del entendimiento del tema, por lo que te invitamos a resolver los siguientes ejercicios propuestos relacionados con el tema visto.

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.

1. Demuestra el primer lema de esta sección.
2. Demuestra el segundo lema de esta sección.
3. Demuestra el teorema del criterio de la comparación.

Utiliza el criterio de la comparación para determinar la convergencia de las siguientes integrales:

1. $${\int }_1^{\mathrm{\infty }}\frac{1+e^{-x}}{x}dx$$
2. $${\int }_1^{\mathrm{\infty }}{e}^{-x^2}dx$$

Más adelante…

En esta sección vimos algunos teoremas y lemas para la determinación de la convergencia de las integrales impropias, por lo que son útiles en algunos casos para el mismo objetivo. Este tema es el último de esta unidad 5, por lo que comenzaremos a estudiar la unidad 6, en el cual se verán algunas aplicaciones de las integrales.

Entradas relacionadas

• Cálculo Diferencial e Integral II.
• Entrada anterior del curso: Cálculo Diferencial e Integral II: Integrales impropias del $2^{do}$ tipo – El blog de Leo (nekomath.com)
• Siguiente entrada del curso: Cálculo Diferencial e Integral II: Área entre curvas – El blog de Leo (nekomath.com)