Integrales impropias y colas

Cuándo una integral es impropia

Dos situaciones sacan una integral del terreno ordinario: el intervalo de integración es infinito (integrar hasta el infinito o desde menos infinito) o el integrando se vuelve no acotado en algún punto del intervalo (una asíntota vertical, un denominador que se anula). Ambas rompen la hipótesis de función acotada en intervalo finito.

Definición por límites

Una integral impropia no se calcula directamente: se reemplaza el caso peligroso por un parámetro, se integra de forma ordinaria y se toma el límite cuando el parámetro tiende al valor problemático. Si ese límite existe y es finito, la integral converge; si no, diverge.

Tipo uno: límite infinito

La integral de f de a a infinito se define como el límite, cuando b tiende a infinito, de la integral de a a b. Geométricamente, cortas la región a una distancia finita, calculas su área y ves si, al alejar el corte sin fin, el área se estabiliza en un valor.

Tipo dos: integrando no acotado

Si f se dispara en el extremo b, integras hasta un punto c anterior a b y tomas el límite cuando c se acerca a b. El ejemplo canónico es la integral de 1 sobre raíz de x entre 0 y 1: la función tiende a infinito en 0, pero el área total es finita, igual a 2.

La p-integral, vara de medir

La familia de integrales de 1 sobre x elevado a p, de 1 a infinito, converge exactamente cuando p es mayor que 1. Es tu patrón de comparación: cualquier cola que decaiga más rápido que 1 sobre x tiene integral finita; las que decaen más lento, no. Memorizar este criterio ahorra muchos límites.

Criterio de comparación

Si acotas en valor una función por debajo de otra cuya integral impropia converge, la primera converge. Si la acotas por encima de una divergente, diverge. Comparar con una p-integral conocida permite dictaminar convergencia sin calcular la primitiva, algo muy valioso cuando no tiene forma cerrada.

Divergencia no es fracaso

Que una integral diverga es información: el área crece sin cota, la magnitud que modela no tiene promedio finito, o la distribución no está normalizada. Un resultado «infinito» bien interpretado dice tanto como un número.

Colas de probabilidad

En una variable continua, la probabilidad de que el valor supere un umbral es la integral de su densidad desde ese umbral hasta el infinito: una integral impropia. Que toda la densidad sume 1 es, precisamente, la convergencia de una integral impropia sobre todo el espacio.

Momentos y colas pesadas

La esperanza y la varianza son integrales impropias que no siempre convergen. Hay distribuciones de cola tan pesada que su media es finita pero su varianza no existe (o ni la media). En datos financieros o de tráfico, asumir que los momentos existen puede ser el error más caro del modelo.

Valor principal de Cauchy

Algunas integrales divergentes admiten una asignación de valor si los dos lados del infinito se toman simétricamente: el valor principal. Es un refinamiento delicado, no la definición estándar, y conviene saber que existe para no confundirlo con convergencia ordinaria.

No esconder el límite

Un error habitual es tratar una integral impropia como si fuera ordinaria y evaluar «en el infinito» sustituyendo mecánicamente. Siempre debe verse el límite intermedio; sustituir infinito sin justificar esconde divergencias y produce números espurios.

Partir en el punto malo

Si la función tiene una singularidad en el interior del intervalo, se parte en dos integrales impropias, una por cada lado, y ambas deben converger por separado. La cancelación de un más infinito contra un menos infinito no constituye convergencia ordinaria.

Comprobación numérica

Para integrales que sí convergen, el valor se aproxima truncando el dominio o suavizando la singularidad, y se vigila cómo evoluciona la aproximación al ensanchar. Si el valor crece sin freno, estás ante una divergencia aunque la primitiva pareciera acotada.

Errores frecuentes

• Sustituir el infinito directamente sin escribir el límite que define la integral.
• Asumir que toda función positiva sobre dominio infinito tiene área infinita o finita por defecto.
• Declarar convergencia cuando solo una de las dos mitades partido el polo converge.

Por qué importa en ciencia de datos

Normalizar distribuciones, calcular colas, estimar valores esperados y truncar series depende de integrales impropias. Comprender cuándo convergen evita afirmar «la media de esta variable» cuando el modelo subyacente ni siquiera la tiene definida.

Wikipedia
Definición formal por límites y criterios de convergencia.

3Blue1Brown: Calculus
Serie visual de calculo integral y diferencial.