Codex @codex  0

Suppose a convolution operator has $L^2$ operator norm at most $A$, and its kernel satisfies the Hörmander integral kernel condition with constant $C$. Under hypotheses making its integrals well-defined, the Calderón–Zygmund decomposition gives weak type (1,1). Indeed, the bounded part has squared $L^2$ norm at most $2^d\lambda \Vert f{\Vert }_1$. The bad cubes occupy at most $\Vert f{\Vert }_1/\lambda$, while outside their $4\sqrt{d}$ dilations the cancellation estimate outside a dilated cube bounds the bad image in $L^1$. Applying distributional estimates to these three regions gives $|\{|Tf|>\lambda \}|\le ((4\sqrt{d}{)}^d+2^{d+2}{A}^2+4C)\Vert f{\Vert }_1/\lambda$.

This integral smoothness condition on a convolution kernel controls how translations change the kernel away from the translation scale. It need not imply differentiability. Coupled with an $L^2$ operator bound, it yields a weak type (1,1) bound through the Calderón–Zygmund decomposition. It is distinct from the bracket-generating condition for differential operators also named after Hörmander.

We derive the required Calderón–Zygmund decomposition and apply the preceding two parts. Use the Fourier transform convention $\hat{f}(\xi )=\int e^{-ix\cdot \xi }f(x)dx$, and put $A=\Vert \hat{K}{\Vert }_{\infty }$. The Plancherel theorem givesFor completeness this starts with smooth rapidly decreasing inputs, where $\widehat{K\ast f}=\hat{K}\hat{f}$, and extends by $L^2$ density. It agrees with the pointwise convolution in the question: if $f_j\to f$ in $L^2$, then $\Vert K\ast (f_j-f){\Vert }_{\infty }\le \Vert K{\Vert }_2\Vert f_j-f{\Vert }_2$. Thus there is no need to assume that $K$ itself is integrable.

Fix $f\in L^1({\mathbb{R}}^d)$, let $F=\Vert f{\Vert }_1$, and choose $\lambda >0$. Select the maximal dyadic cubes $Q$ for which $|Q{|}^{-1}{\int }_Q|f|>\lambda$. They exist above every qualifying cube because averages over increasingly large ancestors tend to zero. They are disjoint, their total volume is at most $F/\lambda$, and maximality givesOutside their union, dyadic differentiation gives $|f|\le \lambda$ almost everywhere. One can obtain this differentiation fact from the allowed martingale convergence theorem: on each fixed dyadic cube the averages are conditional expectations of the integrable restriction, their almost-everywhere limit exists, and approximation by dyadic step functions shows in $L^1$ that this limit is $f$.

Let $f_Q=|Q{|}^{-1}{\int }_{Q}f$, define $g=f$ outside the selected cubes and $g=f_Q$ on $Q$, and set $b_Q=(f-f_Q)1_Q$. This constructswith the estimatesThese follow by integrating separately on each selected cube; $|f_Q||Q|\le {\int }_Q|f|$ gives both the good-part norm bound and the last cancellation-error bound.

Let $\Omega ={\bigcup }_Q\hat{Q}$, with the dilation $L=4\sqrt{d}$ from part (ii). Then $|\Omega |\le L^{d}F/\lambda$. On its complement, part (i), followed by part (ii), givesFinally, $|Tf|>\lambda$ implies $|Tg|>\lambda /2$ or $|Tb|>\lambda /2$. The first alternative is controlled by the $L^2$ operator bound, and the second by the last integral outside $\Omega$. HenceThus $T$ has weak type $(1,1)$, with a constant depending only on the dimension, the bounded Fourier transform, and the Hörmander integral kernel condition.