Décomposition d'une fonction intégrable f sur l'espace euclidien à un niveau choisi λ > 0 en f = g + b où g est une partie « bonne » de norme L^∞ contrôlée (bornée par un multiple de λ) et b est une somme de parties « mauvaises » b_j supportées sur des cubes disjoints de moyenne nulle et de masse L^1 contrôlée ; utilisée pour traiter les opérateurs singuliers et démontrer des estimations de type faible et des bornes en L^p.

Principe

Effectuer une sélection par temps d'arrêt de cubes maximaux où la moyenne locale de |f| dépasse λ, poser g égal à f en dehors de ces cubes et égal à la moyenne à l'intérieur, et écrire b comme les déviations signées de moyenne nulle sur chaque cube ; ceci localise les grandes oscillations tout en préservant le contrôle global en L^1.

Démonstration

Pour f ∈ L^1 et λ > 0, on choisit des cubes dyadiques maximaux Q_j tels que (1/|Q_j|)∫_{Q_j} |f| > λ ; définir g = f sur le complémentaire et g = moyenne(f) sur chaque Q_j, et b = ∑ (f − moyenne(f)) 1_{Q_j}. Alors g est bornée et ∥b∥_1 ≤ ∥f∥_1, ce qui permet des estimations pour les intégrales singulières de Calderón–Zygmund.

Mauvaise application

Ne pas garantir la disjonction des cubes, omettre la condition de moyenne nulle sur les b_j, ou choisir λ de façon inappropriée de sorte que la partie « bonne » ne soit pas bornée, compromet la décomposition et rend invalides les estimations d'opérateurs ultérieures.

Conséquence

Permet de démontrer des bornes weak-(1,1) et L^p pour de nombreux opérateurs singuliers et apparentés via une séparation en parties gérables, et fournit un modèle pour construire des décompositions atomiques et des arguments d'interpolation.

Inversion

Les décompositions atomiques pour les espaces de Hardy ou les décompositions de type ondelettes offrent des décompositions alternatives mettant l'accent sur d'autres normes et atomes au lieu de parties mauvaises localisées de moyenne nulle ; en inversant les rôles on peut construire des approximations de type g à partir de sommes d'atomes.

Limite

Formulée classiquement dans l'espace euclidien en utilisant des cubes (ou des boules) et la mesure de Lebesgue avec propriété de doublage ; des adaptations sont nécessaires pour les mesures non doublantes, les variétés, les contextes discrets ou quand on remplace L^1 par d'autres espaces de base.

Tension sémantique

Tension entre la décomposition de Calderón–Zygmund et les décompositions atomiques/H^1 : les deux localisent la masse de la fonction mais diffèrent en normalisation, support et objectifs d'estimation — la CZ convient à l'interpolation en L^p et aux intégrales singulières, les atomes conviennent mieux à la théorie des espaces de Hardy au point extrême.

Synthèse

La décomposition de Calderón–Zygmund sépare une fonction de L^1 en une partie bornée et régularisable et une somme de fluctuations localisées de moyenne nulle supportées sur des cubes disjoints, fournissant un mécanisme robuste pour contrôler les intégrales singulières et obtenir des estimations de normes faibles et fortes.