Calderon-Zygmund theory of singular integrals.

1. Calderon-Zygmund decomposition

Title: Understanding the Calderon-Zygmund Decomposition and Bounded Singular Integrals

The Calderon-Zygmund decomposition is a key step in the real variable analysis of singular integrals. The idea behind this decomposition is that it is often useful to split an arbitrary integrable function into its “small” and “large” parts, and then use different techniques to analyze each part.

The scheme is roughly as follows. Given a function $f$ and an altitude $\alpha$, we write $f=g+b$, where $|g|$ is pointwise bounded by a constant multiple $\alpha$. While $b$ is large, it does enjoy two redeeming features: it is supported in a set of reasonably small measure, and its mean value is zero on each of the balls that constitute its support. To obtain the decomposition $f=g+b$, one might be tempted to “cut” $f$ at the height $\alpha$; however, this is not what works. Instead, one bases the composition on the set where the maximal function of $f$ has height $\alpha$.

Theorem 1 (Calderon-Zygmund decomposition)

Suppose we are given a function $f\in L^1$ and a positive number $\alpha$, with $\alpha>\frac{1}{\mu(R^n)}\int_{R^n}|f|d\mu$. Then there exists a decomposition of $f$, $f=g+b$, with $b=\sum_{k}b_k$, and a sequence of balls ${B_k^*}$, so that,

  • $|g(x)|\leq c\alpha$, for a.e. $x$.
  • Each $b_k$ is supported in $B_k^$, $\int|b_k(x)|d\mu(x)\leq c\alpha\mu(B_k^)$, and $\int b_k(x)d\mu(x)=0$.
  • $\sum_k\mu(B_k^*)\leq \frac{c}{\alpha}\int|f(x)|d\mu(x)$.

Before proving this theorem, let’s explain the geometric intuition behind why this theorem could be true first. Simply speaking, this is just based on cutting off the function into two parts: the part with high altitude and the part with low altitude, and extending the part with high altitude to make the extension one satisfy conditions 2 and 3.

Proof:
In fact, this decomposition has a good geometric explanation. We just divide the part ${x: |f(x)|>\alpha}$ and extend it carefully to make it behave like several balls, to satisfy the special conditions on this part. $\Box$

Remark 1:
A Calderon-Zygmund decomposition for $L^p$ function was done in Charlie Fefferman’s thesis; see Section II of ams.org/mathscinet-getitem?mr=257819. One can also find this in Loukas Grafakos’s “Classical Fourier Analysis” page 303 exercise 4.3.8. The question is broken up into parts that should be easy to handle.

Several people have considered this question. An excellent paper that comes to mind is Anthony Carbery’s “Variants of the Calderon–Zygmund theory for $L^p$-spaces” which appeared in Revista Matematica Iberoamericana, Volume 2, Number 4 in 1986. There are also several useful references that appear in Carbery’s paper.

Remark 2:
We could also consider a variant of Calderon-Zygmund decomposition, such as equipped with a nontrivial weight function $w$ or find some different way to decompose for some special purpose.

Remark 3:
Considering suitable decomposition of the physics space or even both the physics space and fractional space to try to gain some reasonable estimate is a fundamental philosophy in harmonic analysis, beside the Calderon-Zygmund decomposition.

  • Whitney decomposition: This is an important trick in the proof of Fefferman-Stein restriction theorem and differential topology.
  • Wave packet decomposition: The wave packet decomposition underlies the proof of Carleson’s theorem (this is more explicit in Fefferman’s proof than Carleson’s original proof), Lacey and Thiele’s proof of the boundedness of the bilinear Hilbert transform, as well as a host of follow-up work in multilinear harmonic analysis. The idea of the wave packet decomposition is to decompose a function/operator in terms of an overdetermined basis. This allows one to preserve symmetries (such as modulation symmetries) that aren’t preserved by a classical Calderon-Zygmund decomposition (which endows the frequency with a distinguished role). One might consider using a wave packet decomposition if working with an operator that has a modulation symmetry. This is discussed in more detail in Tao’s blog post on the trilinear Hilbert transform.
  • Polynomial decomposition: The application of polynomial decomposition to harmonic analysis is more recent, and its full potential still seems unclear. Applications include Dvir’s proof of the finite field Kakeya conjecture, Guth’s proof of the endpoint multilinear Kakeya conjecture (and, indirectly, the Bourgain-Guth restriction theorems), Katz and Guth’s proof of the joints problem and Erdos distance problem, among many other results. Generally, the idea behind the polynomial decomposition is to partition a subset of a vector space over a field into a finite number of cells each of which contains roughly the same fraction of the original set. One further wishes that no low degree algebraic variety can intersect too many of the cells. In Euclidean space, the polynomial ham sandwich decomposition does exactly this. This allows one to, for instance, control linear (or, more generally, ‘low algebraic degree’) interactions between points in distinct cells. This has so far proven the most useful in incidence-type problems, but many problems in harmonic analysis, thanks to the translation symmetry of the Fourier transform, are inextricably linked with such incidence-type problems. See (again) Tao’s survey of this topic for a more detailed account.

Singular Integrals

Having the Calderon-Zygmund decomposition in hand, now we prove a conditional one bounded result for singular integrals.

The singular integrals one is interested in are operators $T$, expressible in the form

$$(Tf)(x)=\int_{R^n}K(x,y)f(y)d\mu(y) \ \ \ \ \ (1)$$

Where the kernel $K$ is singular near $x=y$, and so the expression is meaningful only if $K$ is treated as a distribution or in some limiting sense. Now the particular regularization of $(Tf)(x)$ may be appropriate depends much on the context, and a complete treatment of the issues thereby raised takes us quite far afield.

Let us limit ourselves to two closely related ways of dealing with the questions concerning the definability of the operator. One is to prove estimates for the (dense) subspace where the operator is initially defined. The other is to regularize the given operators by replacing it with a suitable family, and to prove the uniformly estimates for this family. This idea is similar occurring in spectral geometry when we wish to investigate the spectrum of some operator we try to consider some deformation, so deduce to control the spectrum of a series of paramatrix, for example, consider the wave kernel or heat kernel rather than the passion kernel itself. Common to both methods is a priori approach: We assume some additional properties of the kernel, but then prove estimates that are independent of these “regularity” properties.

We now carry out the first approach in detail. There will be two kinds of assumptions made about the operator. The first is quantitative: we assume that we are given a bound $A$, so that the operator $T$ is defined and bounded on $L^q$ with norm $A$; that is,

$$|T(f)|_q\leq A|f|_q, \forall f, f\in L^q \ \ \ \ \ (2)$$

Moreover, we assume that there is associated to $T$ a measurable function $K$ (that plays the role of its kernel), so that for the same constant $A$ and some constant $c>1$,

$$\int_{R^n-B(y,c\delta)}|K(x,y)-K(x,\bar{y})|d\mu(x)\leq A, \forall \bar{y}\in B(y,\delta), \ \ \ \ \ (3)$$

for all $y\in R^n, \delta>0$.

The further regularity assumption on the kernel $K$ is that for each $f$ in $L^q$ that has compact support, the integral converges absolutely for almost all $x$ in the complement of the support of $f$, and that equality holds for these $x$.

Theorem 2 (Bounded of singular integral with condition)

Under the conditions 1 and 3 made above on $K$, the operator $T$ is bounded in $L^p$ norm on $L^p\cap L^q$, when $1<p<q$. More precisely,

$$|T(f)|_p\leq A_p|f|_p$$

For $f\in L^p\cap L^q$ with $1<p<q$, where the bound $A_p$ depends only on the constant $A$ appearing in 1 and 3 and on $p$, but not on the assumed regularity of $K$, or on $f$.

Proof:
Now let us begin to prove the conditional theorem. The key point is to use the potential of $T$ as a bounded operator from $L^q\rightarrow L^q$. That is, it already assumed $\exists A>0$ such that $\forall f\in L^q$ we have $|T(f)|_q\leq A|f|_q$. Now let us look at the singular integral expression:

$$(Tf)(x)=\int_{R^n}K(x,y)f(y)d\mu(y). \ \ \ \ \ (4)$$

The key point is to prove the mapping $f\rightarrow T(f)$ is a weak-type $1-1$; that is,

$$\mu{x:|Tf(x)|>\alpha}\leq \frac{A’}{\alpha}\int |f|d\mu. \ \ \ \ \ (5)$$

At once we establish 5, then the theorem followed by interpolation. Now we use theorem 1 on $f$ to get $f=g+b$. Thanks to the triangle inequality and something similar, we have $g,b \in L^q$. In fact, $R^n= A\cup B, B\cup_{k}B_k$, $g=\chi_A g+\chi_{B}g, b=\chi_A b+\chi_{B} b$. By the triangle inequality and $f=g+b$, to prove $g,b \in L^q$, we only need to prove $\chi_A g, \chi_B g, \chi_A b, \chi_B b\in L^q$, but this is easy to prove.

Now we know the $L^q$ boundedness of $g,b$, we divide the difficulty of establishing the weak 1-1 bound of $f$ into the difficulty of establishing the weak 1-1 bound for $g$ and $b$. i.e.

$$\mu{x:|Tf(x)|>\alpha}\leq \mu {x:|Tg(x)|>\alpha} +\mu{x:|Tb(x)|>\alpha} \ \ \ \ \ (6)$$

For $g$, if this weak 1-1 bound is not true, we have,

$$\mu {x:|Tg(x)|>\alpha}\geq \frac{A’}{\alpha}\int |g|d\mu \ \ \ \ \ (7)$$

Thanks to the trivial estimate $|g|_q \leq c\alpha^{q-1}|g|_1$. Combining this two estimates, we have:

$$c\alpha^{q-1}|g|_1\geq |g|^q_q\geq c|Tg|^q_q \geq A’\alpha^{q-1} |g|_1 \ \ \ \ \ (8)$$

The first estimate is true on $A$ due to $|g|\leq \alpha, a.e. x\in R^n$. But comparing the left and the right of 8 leads to a contradiction, so 7 follows. For $b$, the thing is more complicated and in fact really involves the structure of the convolution type of the singular integral. The key point is controlling near the diagonal of $K(x,y)$. We warm up with a more refined decomposition $b=\sum b_k$, $\forall k, b_k=b\cdot \chi_{B_k}$. For a large constant $c>>1$ choose later define $B^*_k=c B_k$. We know $b\in L^q$, but the really difficult thing occurs in how to combine the following 5 conditions to lead to a contradiction:

  • $|Tb|_q\leq |b|_q$.
  • Property come from the Calderon-Zygmund decomposition, $\int_{B_k}|b|\leq c\alpha \mu(B_k),\forall k$ and $\int_{B_k}b=0$.
  • Hormander condition 3, $\int_{R^n-B(y,c\delta)}|K(x,y)-K(x,\bar{y})|d\mu(x)\leq A, \forall \bar{y}\in B(y,\delta)$.
  • The reverse of weak 1-1 of $b$, $\mu{x:b(x)>\alpha}> \frac{A’}{\alpha}|b|_1$.
  • The structure $Tb(x)=\int_{R^n} K(x,y)b(y)dy$.

The first step is to break $b$ into $b_k$, and reduce the case of several balls to the case of only one ball, this could be done by triangle inequality or more, maybe we could do it directly, but anyway it is not difficult.

Then the thing becomes interesting, we focus on $b_1$, divide $Tb_1=T\chi_{B_1} b_1+ T\chi_{{\mathbb R}^n-B_1}b$. Thanks to Hormander condition 3, we have good control on $T\chi_{{\mathbb R}^n-B_1^*}$. In fact, we can prove a weak 1-1 bound on it,

$$\mu{x:|T_{{\mathbb R}^n-B_1^*}b_1|>\alpha}< \frac{A’}{\alpha}|b_1|_1 \ \ \ \ \ (9)$$

$$\begin{array}{rcl}
T_{{\mathbb R}^n-B_1^}b_1(x) & = & \int_{{\mathbb R}^n-B_1^}K(x,y)b_1(y)dy\
& = & \int_{{\mathbb R}^n-B_1^}[K(x,y)-K(x,\bar{y})]b_1(y)dy+\int_{{\mathbb R}^n-B_1^}K(x,\bar{y})b_1(y)dy\
& \leq & \int_{{\mathbb R}^n-B_1^}Ab_1(y)dy+\int_{{\mathbb R}^n-B_1^}K(x,\bar{y})b_1(y)dy
\end{array}$$

So we conclude,

$$\begin{array}{rcl}
|T_{{\mathbb R}^n-B_1^}b_1|_1 & = & \int_{{\mathbb R}^n}|\int_{{\mathbb R}^n-B_1^}K(x,y)b_1(y)dy|dx\
& = & \int_{{\mathbb R}^n}\int_{{\mathbb R}^n-B_1^}|[K(x,y)-K(x,\bar{y})]b_1(y)dy|dx+\int_{{\mathbb R}^n}|\int_{{\mathbb R}^n-B_1^}K(x,\bar{y})b_1(y)dy|dx\
& \leq & A\int_{{\mathbb R}^n}b_1(y)dy+\int_{{\mathbb R}^n-B_1^*}K(x,\bar{y})b_1(y)dy=A\int_{{\mathbb R}^n}b_1(y)dy
\end{array}$$

The last equality used the condition $\int b_1=0$. $\Box$