El espacio de funciones localmente integrables cuya oscilación media sobre bolas (o cubos) está uniformemente acotada; denotado habitualmente BMO y utilizado como sustituto de L^∞ en análisis armónico, estimaciones en extremos y teoría de conmutadores.

Principio

Controlar uniformemente, a través de escalas, las desviaciones respecto de la media local: f∈BMO si sup_B (1/|B|) ∫_B |f−f_B| < ∞, capturando oscilación acotada en lugar de acotamiento puntual.

Demostración

Fenómeno de John–Nirenberg: las funciones BMO tienen integrabilidad exponencial en bolas, y BMO aparece como el dual del espacio de Hardy real H^1, lo que explica su papel en estimaciones para integrales singulares y conmutadores.

Aplicación incorrecta

Tratar BMO como si fuera L^∞ (p. ej., asumir cotas puntuales por el supremo esencial) o usar la norma BMO indistintamente con normas L^p en estimaciones que requieren acotamiento uniforme verdadero; identificar como acotadas funciones con gran oscilación local.

Consecuencia

El uso correcto proporciona cotas óptimas en extremos, dualidad con H^1, control de conmutadores con operadores de Calderón–Zygmund y un marco natural para desigualdades de tipo logarítmico y fenómenos de compacidad compensada.

Inversión

L^∞: las funciones esencialmente acotadas punto a punto constituyen la condición inversa (más fuerte), mientras que los espacios de oscilación media no acotada muestran comportamientos muy diferentes y carecen de muchas propiedades de extremo del análisis armónico.

Límite

Se aplica a funciones localmente integrables en R^n o espacios métricos con medida que satisfacen condiciones de duplicación y de Poincaré; no incluye espacios puramente acotados punto a punto o Hölder y exige distinguir entre BMO global, BMO módulo constantes y variantes homogéneas.

Tensión semántica

Tensión con L^∞ y espacios de Hardy: BMO se sitúa estrictamente entre las escalas L^p y L^∞, actuando como extremo en muchas estimaciones; su naturaleza de oscilación media compite con el acotamiento puntal y el control derivativo tipo Sobolev.

Síntesis

BMO captura la acotación uniforme de la oscilación media a través de escalas, funcionando como sustituto extremo de L^∞ con rica dualidad y consecuencias operatorias en análisis armónico.