Modo de convergencia en un espacio vectorial topológico (típicamente un espacio de Banach o Hilbert, o espacio de medidas) en el que una sucesión x_n converge débilmente a x si todo funcional lineal continuo φ satisface φ(x_n) → φ(x); en espacios de medidas esto generaliza la convergencia débil-* o estrecha de medidas.

Principio

Enfocarse en la convergencia de apareamientos de dualidad en lugar de normas: la convergencia débil captura límites distribucionales y preserva acotación y constricciones lineales, siendo estrictamente más débil que la convergencia en norma, y permite compacidad vía Banach–Alaoglu o resultados tipo Rellich cuando las inyecciones de norma no son compactas.

Demostración

En L^2(Ω) cualquier sucesión acotada tiene una subsecuencia que converge débilmente; por ejemplo, funciones oscilatorias normalizadas sin(kx) en [0,2π] convergen débilmente a cero aunque no fuertemente. Escenario ilustrativo: usar convergencia débil en cálculo de variaciones para pasar al límite en términos lineales de una energía mientras que los términos no lineales semicontinuos inferiores requieren argumentos adicionales.

Aplicación incorrecta

Tratar la convergencia débil como convergencia fuerte (suponer convergencia de normas, valores puntuales o composiciones no lineales) o intentar pasar límites a través de funcionales no lineales no semicontinuos inferiores sin compacidad o medidas de defecto.

Consecuencia

Su uso correcto produce afirmaciones de compacidad, paso al límite en formas lineales y resultados de existencia (p. ej. soluciones débiles de EDP). También identifica cuándo aparecen fenómenos de concentración u oscilación e impulsa refinamientos (medidas de Young, compacidad compensada) cuando los límites débiles son insuficientes.

Inversión

La inversa es la convergencia fuerte (en norma): convergencia en la topología inducida por la norma, que implica la convergencia de todos los funcionales lineales continuos y a menudo propiedades puntuales o métricas ausentes en los límites débiles.

Límite

Se aplica en espacios vectoriales topológicos con un dual; excluye nociones de convergencia basadas en convergencia casi por todas partes o topologías fuertes de operadores, salvo que coincidan en el contexto dado. La convergencia débil no controla necesariamente cantidades no lineales o comportamiento puntual sin estructura adicional.

Tensión semántica

Tensión con la convergencia en medida, la convergencia casi por todas partes o la convergencia estrecha de medidas: estas nociones se solapan en algunos entornos pero difieren en qué propiedades preservan (p. ej. integrales vs valores puntuales vs masa total), y la identificación equivocada causa errores analíticos.

Síntesis

La convergencia débil es el concepto de convergencia impulsado por la dualidad que asegura la compacidad basada en la acotación y el paso de funcionales lineales al límite, a la vez que señala la necesidad de técnicas suplementarias cuando se requieren propiedades no lineales, puntuales o fuertes.