Math 2.0

Harmonic analysis on Euclidean spaces Definition

Calderón–Zygmund operator

Builds on Calderón–Zygmund kernelLp spaceSingular integral operator

Definition

Let n≥1n \ge 1. A Calderón–Zygmund operator is a linear operator T ⁣:L2(ℝn)→L2(ℝn)T \colon L^2(\R^n) \to L^2(\R^n) such that:

  1. TT is bounded on the L2L^2 space, that is ∥Tf∥L2≤C∥f∥L2\norm{Tf}_{L^2} \le C\norm{f}_{L^2} for some constant CC and all f∈L2(ℝn)f \in L^2(\R^n);
  2. there is a Calderón–Zygmund kernel KK such that, for every f∈L2(ℝn)f \in L^2(\R^n) with compact support, Tf(x)=∫ℝnK(x,y)f(y) dyfor almost every x∉supp⁡f.Tf(x) = \int_{\R^n} K(x, y) f(y) \, dy \quad \text{for almost every } x \notin \operatorname{supp} f.

Remarks

Example: the Hilbert transform HH on ℝ\R is a Calderón–Zygmund operator. It is bounded on L2(ℝ)L^2(\R) with norm 11, since its multiplier −isgn⁡ξ-i\sgn\xi has modulus 11. For xx outside the support of ff, the principal value is an ordinary integral, so Hf(x)=∫f(y)π(x−y) dyHf(x) = \int \frac{f(y)}{\pi(x - y)} \, dy, and 1π(x−y)\frac{1}{\pi(x - y)} is a Calderón–Zygmund kernel.

Non-example: on ℝ\R, let Tf=f∗𝟏[0,1]Tf = f * \mathbf{1}_{[0, 1]}, so Tf(x)=∫𝟏[0,1](x−y)f(y) dyTf(x) = \int \mathbf{1}_{[0, 1]}(x - y) f(y) \, dy. It is bounded on L2(ℝ)L^2(\R) by Young's inequality, so clause 1 holds. Clause 2 fails, because its kernel 𝟏[0,1](x−y)\mathbf{1}_{[0, 1]}(x - y) jumps at x−y=1x - y = 1. For y=0y = 0, x=1−ηx = 1 - \eta and x′=1+ηx' = 1 + \eta, the difference of the kernel values is 11, while the bound A(2η)δ(1−η)−1−δA(2\eta)^\delta (1 - \eta)^{-1-\delta} tends to 00 as η→0\eta \to 0.

The kernel does not determine the operator: the identity and the zero operator both have kernel 00 off the diagonal. Clause 2 is only required off the support of ff, since near the diagonal the integral need not converge absolutely. The singular integral operators with smooth mean-zero angular part are Calderón–Zygmund operators.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Calderón–Zygmund kernel concept
  2. Lp space concept
  3. Singular integral operator concept
  4. Calderón–Zygmund operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Singular_integral
About this page
TagJJ2G94HHJ6
URIm2://JJ2G94HHJ6
Kinddefinition
WritingW0 stub
MSC42B20, 47G10
DefinesCalderón–Zygmund operator
UsesCalderón–Zygmund kernel, Lp space, Singular integral operator

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.