Eine Zerlegung einer integrierbaren Funktion f im euklidischen Raum auf einem gewählten Niveau λ > 0 in f = g + b, wobei g ein 'guter' Anteil mit kontrollierter L^∞-Norm (durch ein Vielfaches von λ beschränkt) ist und b als Summe 'schlechter' Anteile b_j dargestellt wird, die auf disjunkten Würfeln mit Mittelwert Null und kontrollierter L^1-Masse liegen; verwendet zur Behandlung singulärer Integraloperatoren und zum Beweis von Weak-Type- und L^p-Schranken.

Prinzip

Eine Stoppzeit-Auswahl maximaler Würfel durchführen, auf denen der lokale Durchschnitt von |f| das Niveau λ übersteigt, g außerhalb dieser Würfel gleich f und innerhalb gleich dem Durchschnitt setzen, und b als die vorzeichenbehafteten Abweichungen mit Mittelwert Null auf jedem Würfel schreiben; so werden große Oszillationen lokalisiert und zugleich die globale L^1-Kontrolle erhalten.

Demonstration

Für f ∈ L^1 und λ > 0 wählt man maximale dyadische (oder vergleichbare) Würfel Q_j mit (1/|Q_j|)∫_{Q_j} |f| > λ; definiere g = f auf dem Komplement und g = Durchschnitt(f) auf jedem Q_j, sowie b = ∑ (f − Durchschnitt(f)) 1_{Q_j}. Dann ist g beschränkt und ∥b∥_1 ≤ ∥f∥_1, was Abschätzungen für Calderón–Zygmund-Integraloperatoren ermöglicht.

Fehlanwendung

Das Nichtgewährleisten der Disjunktheit der Würfel, das Weglassen der Mittelwert-Null-Bedingung für b_j oder die ungeeignete Wahl von λ, sodass der 'gute' Anteil nicht beschränkt ist, untergräbt die Zerlegung und macht nachfolgende Operatorabschätzungen ungültig.

Konsequenz

Ermöglicht den Beweis von weak-(1,1)- und L^p-Beschränkungen für viele singuläre Integral- und verwandte Operatoren durch Aufspaltung in handhabbare Teile und bietet ein Schema zur Konstruktion atomarer Zerlegungen und Interpolationsargumente.

Umkehrung

Atomare Zerlegungen für Hardy-Räume oder waveletartige Zerlegungen bieten alternative Zerlegungen, die andere Normen und Atome betonen statt lokalisierter, mittelwertfreier schlechter Anteile; die Rollen umgekehrt, kann man g-ähnliche Approximationen aus atomaren Summen herstellen.

Abgrenzung

Klassisch formuliert im euklidischen Raum unter Verwendung von Würfeln (oder Bällen) und dem Lebesgue-Maß mit Verdopplungseigenschaft; Anpassungen sind nötig für nicht-verdoppelnde Maße, Mannigfaltigkeiten, diskrete Umgebungen oder beim Ersetzen von L^1 durch andere Basenräume.

Semantische Spannung

Spannung zwischen der Calderón–Zygmund-Zerlegung und atomaren/H^1-Zerlegungen: beide lokalisieren Funktionsmasse, unterscheiden sich jedoch in Normierung, Träger und beabsichtigten Operatorabschätzungen — CZ eignet sich für L^p-Interpolation und singuläre Integrale, atomare Zerlegungen für Grenzraum-Theorie.

Synthese

Die Calderón–Zygmund-Zerlegung trennt eine L^1-Funktion in einen beschränkten, glättbaren Anteil und eine Summe lokalisierter, mittelwertfreier Schwankungen auf disjunkten Würfeln und bietet damit einen robusten Mechanismus zur Kontrolle singulärer Integrale und zur Herleitung schwacher und starker Normabschätzungen.