INTEGRALES IMPROPIAS: LÍMITES AL INFINITO Y DISCONTINUIDADES

El Teorema Fundamental del Cálculo exige dos condiciones innegociables para poder evaluar una integral definida: el intervalo de integración $[a, b]$ debe ser finito y la función $f(x)$ debe ser continua en todo ese intervalo.

Cuando una o ambas reglas se rompen, entramos al dominio de las Integrales Impropias. Para resolverlas y evitar paradojas matemáticas, el cálculo combina la integración tradicional con la teoría de límites.

1. Tipo 1: Intervalos Infinitos (Infinite Intervals)

Concepto Fundamental:

¿Es posible que una región que se extiende infinitamente hacia la derecha o hacia la izquierda tenga un área total finita? Sorprendentemente, sí. Si la curva "cae" y se acerca al eje X lo suficientemente rápido, el área acumulada se frena y alcanza un límite máximo estático.

Definición Analítica:

Transformamos el límite infinito problemático en una variable real $t$, integramos usando las reglas normales, y al final evaluamos el límite cuando $t$ tiende a infinito.

1. Límite superior infinito:
2. $$ \int_a^\infty f(x) \, dx = \lim_{t \to \infty} \int_a^t f(x) \, dx $$
3. Límite inferior infinito:
4. $$ \int_{-\infty}^b f(x) \, dx = \lim_{t \to -\infty} \int_t^b f(x) \, dx $$
5. Ambos límites infinitos: Se debe partir la integral obligatoriamente en un número real cualquiera $c$ (usualmente $0$):
6. $$ \int_{-\infty}^\infty f(x) \, dx = \int_{-\infty}^c f(x) \, dx + \int_c^\infty f(x) \, dx $$

Demostración Analítica:

Calcular el área bajo la curva $f(x) = \frac{1}{x^2}$ desde $x = 1$ hasta el infinito.

1. Reemplazamos el infinito con un límite:
2. $$ \lim_{t \to \infty} \int_1^t x^{-2} \, dx $$
3. Integramos usando la regla inversa de la potencia:
4. $$ \lim_{t \to \infty} \left[ -x^{-1} \right]_1^t = \lim_{t \to \infty} \left[ -\frac{1}{x} \right]_1^t $$
5. Evaluamos en los extremos de integración:
6. $$ \lim_{t \to \infty} \left( -\frac{1}{t} - \left(-\frac{1}{1}\right) \right) = \lim_{t \to \infty} \left( 1 - \frac{1}{t} \right) $$
7. Aplicamos el límite: Como $t$ crece infinitamente, la fracción $\frac{1}{t}$ se vuelve idéntica a cero.
8. $$ 1 - 0 = 1 $$
9. Conclusión: El área infinita es exactamente $1$. Decimos que la integral converge.

2. Tipo 2: Integrandos Discontinuos (Discontinuous Integrands)

Concepto Fundamental:

En este caso, el intervalo de integración en el eje X es finito (ej. de 0 a 1), pero la función posee una asíntota vertical dentro de ese intervalo. La curva se dispara hacia el infinito positivo o negativo en el eje Y.

Definición Analítica:

Reemplazamos el punto exacto de la discontinuidad con una variable $t$, y analizamos el límite acercándonos lateralmente hacia esa asíntota.

1. Discontinuidad en el límite superior ($b$):
2. $$ \int_a^b f(x) \, dx = \lim_{t \to b^-} \int_a^t f(x) \, dx $$
3. Discontinuidad en el límite inferior ($a$):
4. $$ \int_a^b f(x) \, dx = \lim_{t \to a^+} \int_t^b f(x) \, dx $$
5. Discontinuidad en un punto intermedio ($c$): Partimos la integral en dos bloques, cortando exactamente en la asíntota:
6. $$ \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx $$

Demostración Analítica:

Calcular el área bajo $f(x) = \frac{1}{\sqrt{x}}$ desde $x = 0$ hasta $x = 1$.

Problema: La función no está definida en $x=0$ (división por cero). Existe una barrera asintótica.

1. Planteamos el límite acercándonos a 0 por la derecha:
2. $$ \lim_{t \to 0^+} \int_t^1 x^{-1/2} \, dx $$
3. Integramos:
4. $$ \lim_{t \to 0^+} \left[ 2x^{1/2} \right]_t^1 = \lim_{t \to 0^+} \left[ 2\sqrt{x} \right]_t^1 $$
5. Evaluamos la integral y luego aplicamos el límite:
6. $$ \lim_{t \to 0^+} (2\sqrt{1} - 2\sqrt{t}) = 2 - 2(0) = 2 $$
7. Conclusión: A pesar de que la "chimenea" de la curva sube infinitamente hacia arriba pegada al eje Y, su grosor se reduce tan drásticamente que el área total es finita y equivale exactamente a $2$.

3. Resumen y El Teorema p (Improper Integrals Summary)

Al resolver cualquier integral impropia (de Tipo 1 o Tipo 2), solo existen dos categorías de resultados:

El Teorema p (P-Test):

Para las familias comunes de integrales infinitas con la forma $\int_1^\infty \frac{1}{x^p} \, dx$, puedes predecir analíticamente si convergen sin calcular el límite:

• Si $p > 1$: La integral Converge. (El denominador crece rápido; la curva se aplasta pronto contra el eje).
• Si $p \le 1$: La integral Diverge. (Incluyendo a $\frac{1}{x}$, la curva cae demasiado lento para detener la acumulación de área).