Lemma von Calderón-Zygmund

Das Lemma von Calderón-Zygmund ist ein mathematisches Resultat aus dem Bereich der Fourieranalyse beziehungsweise der harmonischen Analysis. Es wurde nach den Mathematikern Alberto Calderón und Antoni Zygmund benannt.

Das Lemma zeigt eine Möglichkeit, eine integrierbare Funktion in ihre „kleinen“ und „großen“ Anteile aufzuspalten und die „großen“ Anteile zu kontrollieren. Diese Zerlegung ist zum Beispiel essentiell für den Beweis der atomaren Zerlegung von reellen Hardy-Funktionen.

Lemma von Calderón-Zygmund

Sei $f : ℝ^{n} \to ℝ$ eine nicht-negative, integrierbare Funktion, und sei $α$ eine positive Konstante. Dann existiert eine Zerlegung von $ℝ^{n}$ mit den folgenden Eigenschaften:

$ℝ^{n} = F \cup Ω$ mit $F \cap Ω = \emptyset;$
$f (x) \leq α$ fast überall in $F;$
$Ω$ ist die Vereinigung von Würfeln

Ω = ⋃_{k} Q_{k},

wobei das Innere jedes Würfels disjunkt zum Inneren jedes anderen Würfels ist. Außerdem gilt für jeden Würfel

Q_{k}

die Ungleichung

α < \frac{1}{m (Q_{k})} \int_{Q_{k}} f (x) d m (x) \leq 2^{n} α .

Hierbei bezeichnet

m (Q_{k})

ein Maß von

Q_{k}

.

Calderón-Zygmund-Zerlegung

Sei $f \in L^{1}$ eine integrierbare Funktion und $β$ eine positive Konstante mit

β > \frac{1}{m (ℝ^{n})} \int_{ℝ^{n}} | f (x) | d m (x) .

Dann existiert eine Zerlegung $f = g + b$ mit $b = \sum_{k = 1}^{\infty} b_{k}$ und eine Folge von Würfel (oder Bällen) $(Q_{k})_{k \in ℕ}$ mit folgenden Eigenschaften:

$| g (x) | \leq c β$ für fast alle $x \in ℝ^{n};$
Jede Funktion $b_{k}$ hat ihren Träger in dem Würfel (Ball) $Q_{k}$ , und es gilt

\int_{Q_{k}} | b_{k} (x) | d m (x) \leq c β m (B_{k})

und

\int_{Q_{k}} b_{k} (x) d m (x) = 0 .

$\sum_{k} m (Q_{k}) \leq \frac{c}{β} \int_{ℝ^{n}} | f (x) | d m (x)$

Literatur

Elias M. Stein: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press 1993, ISBN 0-691-03216-5.
Elias M. Stein: Singular Integrals And Differentiability Properties Of Functions. Princeton University Press 1970, ISBN 0-691-08079-8.

Lemma von Calderón-Zygmund