Định lý Calderón–Zygmund

Bước 1 (phân tích Calderón–Zygmund). Cố định $f \in L^1$ và $\lambda>0$. Dùng lập luận dừng thời gian trên các hình lập phương nhị phân (tương đương, hàm cực đại Hardy–Littlewood $Mf$), tách $f = g + b$ trong đó phần 'tốt' thỏa $\|g\|_\infty \le C\lambda$ và $\|g\|_1 \le \|f\|_1$, còn phần 'xấu' $b = \sum_j b_j$ là tổng các mảnh có giá trên các hình lập phương nhị phân rời nhau đôi một $Q_j$ với trung bình bằng không, $\int_{Q_j} b_j = 0$, và tổng độ đo $\sum_j |Q_j| \le \frac{C}{\lambda}\|f\|_1$ (đây chính xác là chặn yếu-(1,1) cho $M$ áp dụng cho các hình lập phương dừng).

Bước 2 (phần tốt). Vì $T$ bị chặn trên $L^2$ và $\|g\|_2^2 \le \|g\|_\infty \|g\|_1 \le C\lambda\|f\|_1$, bất đẳng thức Chebyshev cho $|\{|Tg| > \lambda/2\}| \le \frac{4}{\lambda^2}\|Tg\|_2^2 \le \frac{C}{\lambda}\|f\|_1$: riêng phần tốt đã thỏa chặn yếu-(1,1).

Bước 3 (phần xấu, ngoài các hình lập phương nhân đôi). Gọi $Q_j^*$ là hình lập phương cùng tâm với $Q_j$ và độ dài cạnh gấp đôi; hợp $\bigcup_j Q_j^*$ cũng có độ đo tối đa $\frac{C}{\lambda}\|f\|_1$. Ngoài $Q_j^*$, điều kiện trung bình bằng không của $b_j$ cho phép trừ một hằng số khỏi hạt nhân: $Tb_j(x) = \int_{Q_j} \big(K(x-y)-K(x-c_j)\big) b_j(y)\,dy$ với tâm $c_j$ của $Q_j$, và chặn độ trơn Hörmander $|K(x)| \le \dfrac{C}{|x|^n}, \qquad |\nabla K(x)| \le \dfrac{C}{|x|^{n+1}}$ cho thấy hiệu này đủ nhỏ để $\int_{(Q_j^*)^c} |Tb_j(x)|\,dx \le C\|b_j\|_1$.

Bước 4 (gộp lại). Cộng Bước 3 theo $j$ và áp dụng Chebyshev ngoài các hình lập phương nhân đôi cho $\big|\{x \notin \bigcup_j Q_j^* : |Tb(x)|>\lambda/2\}\big| \le \frac{C}{\lambda}\sum_j \|b_j\|_1 \le \frac{C}{\lambda}\|f\|_1$. Cộng thêm độ đo của $\bigcup_j Q_j^*$ từ Bước 1, phần xấu cũng đóng góp $O(\|f\|_1/\lambda)$ vào tập mức, và kết hợp với Bước 2 cho phần tốt cho ra ước lượng đầy đủ $\big|\{x : |Tf(x)| > \lambda\}\big| \le \dfrac{C}{\lambda}\|f\|_{L^1}$.