Un modo de fallo en el que una sucesión acotada en un espacio de funciones no contiene una subsecuencia que converja fuertemente debido a efectos de traslación, concentración u oscilación; la acotación por sí sola es insuficiente para asegurar precompacidad en dominios no compactos o de dimensión infinita.

Principio

La compacidad requiere tanto control de normas como control de concentración/escape-a-infinito y oscilación; la pérdida ocurre cuando la masa se traslada al infinito, se concentra a escalas que tienden a cero o oscila cada vez más rápido, produciendo sólo convergencia débil o ninguna en topologías fuertes.

Demostración

Traslación: u_n(x)=u(x-n) en L^p(R) está acotada pero no tiene subsecuencia convergente fuertemente. Concentración: u_n(x)=n^{1/2} φ(n x) concentra masa en un punto y falla la convergencia fuerte. Oscilación: sin(n x) en un intervalo acotado converge débilmente a 0 pero no fuertemente en L^2.

Aplicación incorrecta

Usar argumentos basados en compacidad (p. ej., extraer subsecuencias convergentes fuertemente) sin verificar tightness, invariancia por traslación o ecuicontinuidad uniforme; aplicar ingenuamente Rellich en dominios no compactos o bajo cambios de escala.

Consecuencia

Reconocer la pérdida de compacidad motiva descomposiciones concentración-compacidad, descomposiciones de perfiles, compacidad compensada o trabajar con nociones de convergencia más débiles (débil, medida, medidas de Young) e introducir parámetros de modulación para recuperar compacidad módulo invariancias.

Inversión

La compacidad asegura que toda sucesión acotada tenga una subsecuencia que convirja fuertemente en la topología elegida, a menudo gracias a teoremas de inclusión junto con control de traslaciones y escalas.

Límite

Se refiere a la compacidad funcional en espacios de Banach o Hilbert y a inclusiones (Rellich, Aubin); excluye entornos finito-dimensionales donde la acotación implica precompacidad y entornos donde restricciones adicionales (periodicidad, decaimiento, simetría) restauran la compacidad.

Tensión semántica

Compite con la convergencia débil: la pérdida de compacidad suele permitir límites débiles, por lo que existe tensión entre esperar convergencia fuerte o aceptar sólo límites débiles o en medidas; se relaciona con mecanismos de concentración frente a oscilación.

Síntesis

La pérdida de compacidad es el fenómeno por el que la acotación no produce subsecuencias fuertes porque la masa se escapa, se concentra u oscila; su tratamiento requiere descomposiciones, modulación por invariancias o conceptos de límite más débiles.