Una descomposición de una función integrable f en espacio euclidiano a un nivel elegido λ > 0 en f = g + b donde g es una parte 'buena' con norma L^∞ controlada (acotada por un múltiplo de λ) y b es una suma de partes 'malas' b_j soportadas en cubos disjuntos con media nula y masa L^1 controlada; se usa para tratar operadores singulares y probar estimaciones weak y de L^p.

Principio

Realizar una selección por tiempo de parada de cubos máximos donde el promedio local de |f| supera λ, fijar g igual a f fuera de estos cubos y igual al promedio dentro de cada uno, y escribir b como las desviaciones con signo y media cero en cada cubo; así se localizan grandes oscilaciones conservando el control global en L^1.

Demostración

Para f ∈ L^1 y λ > 0, seleccionar cubos diádicos máximos Q_j con (1/|Q_j|)∫_{Q_j} |f| > λ; definir g = f en el complemento y g = promedio(f) en cada Q_j, y b = ∑ (f − promedio(f)) 1_{Q_j}. Entonces g es acotada y ∥b∥_1 ≤ ∥f∥_1, lo que permite estimaciones para integrales singulares de Calderón–Zygmund.

Aplicación incorrecta

No asegurar la disyunción de los cubos, omitir la condición de media cero en los b_j, o elegir λ inapropiadamente de modo que la parte 'buena' no sea acotada, socava la descomposición e invalida las estimaciones de operadores posteriores.

Consecuencia

Permite demostrar bounds weak-(1,1) y en L^p para muchos operadores singulares y relacionados mediante la separación en partes manejables, y proporciona un esquema para construir descomposiciones atómicas y argumentos de interpolación.

Inversión

Las descomposiciones atómicas para espacios de Hardy o descomposiciones tipo wavelet ofrecen descomposiciones alternativas que enfatizan otras normas y átomos en lugar de partes malas localizadas de media cero; invirtiendo roles se pueden construir aproximaciones tipo g a partir de sumas atómicas.

Límite

Formulada clásicamente en espacio euclidiano usando cubos (o bolas) y la medida de Lebesgue con propiedad de duplicación; requiere adaptaciones para medidas no duplicantes, variedades, entornos discretos o cuando se sustituye L^1 por otros espacios base.

Tensión semántica

Tensión entre la descomposición de Calderón–Zygmund y las descomposiciones atómicas/H^1: ambas localizan la masa de la función pero difieren en normalización, soporte y objetivos de estimación — CZ es apta para interpolación en L^p e integrales singulares, las atómicas son más adecuadas para teoría de espacios de Hardy en el extremo.

Síntesis

La descomposición de Calderón–Zygmund separa una función de L^1 en una parte acotada y regularizable y una suma de fluctuaciones localizadas de media cero soportadas en cubos disjuntos, proporcionando un mecanismo robusto para controlar integrales singulares y derivar estimaciones de normas débiles y fuertes.