Math 2.0

Harmonic analysis on Euclidean spaces Definition

Singular integral operator

Builds on Lebesgue integralLimit of a sequence

Definition

Let n≥1n \ge 1, let Sn−1S^{n-1} be the unit sphere of ℝn\R^n with its surface measure dσd\sigma, and let Ω ⁣:Sn−1→ℂ\Omega \colon S^{n-1} \to \C be an integrable function with ∫Sn−1Ω(ω) dσ(ω)=0.\int_{S^{n-1}} \Omega(\omega) \, d\sigma(\omega) = 0. Let K(x)=Ω(x/∣x∣)/∣x∣nK(x) = \Omega(x/\abs{x})/\abs{x}^n for x≠0x \ne 0. The singular integral operator with kernel KK is Tf(x)=lim⁡ε→0+∫∣y∣>εK(y)f(x−y) dy,Tf(x) = \lim_{\varepsilon \to 0^+} \int_{\abs{y} > \varepsilon} K(y) f(x - y) \, dy, defined first for smooth functions ff with compact support, where the limit exists for every xx.

Remarks

The limit is a principal value: the mean zero condition makes ∫ε<∣y∣<1K(y) dy=0\int_{\varepsilon < \abs{y} < 1} K(y) \, dy = 0, so f(x−y)f(x - y) may be replaced by f(x−y)−f(x)=O(∣y∣)f(x - y) - f(x) = O(\abs{y}) near y=0y = 0, which is integrable against ∣y∣−n\abs{y}^{-n}. When Ω\Omega is Lipschitz continuous, TT extends to a bounded operator on Lp(ℝn)L^p(\R^n) for 1<p<∞1 < p < \infty, and it is of weak type (1,1)(1, 1). The more general Calderón–Zygmund operators have kernels K(x,y)K(x, y) that need not be of convolution type.

Example: for n=1n = 1, S0={−1,1}S^0 = \set{-1, 1}, and Ω(±1)=±1/π\Omega(\pm 1) = \pm 1/\pi has mean zero. Then K(x)=1/(πx)K(x) = 1/(\pi x) and TT is the Hilbert transform. For n≥2n \ge 2, Ωj(ω)=cnωj\Omega_j(\omega) = c_n\omega_j has mean zero by symmetry, and gives the Riesz transforms.

Non-example: Ω≡1\Omega \equiv 1 fails the mean zero condition. For ff equal to 11 near xx, the integral ∫ε<∣y∣<1∣y∣−n dy\int_{\varepsilon < \abs{y} < 1} \abs{y}^{-n} \, dy is a constant times log⁡(1/ε)\log(1/\varepsilon), so the limit does not exist.

Reading path

To understand this page from the ground up, read these 3 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. Lebesgue integral concept
  2. Limit of a sequence concept
  3. Singular integral operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Singular_integral
About this page
Tag8VB096R12H
URIm2://8VB096R12H
Kinddefinition
WritingW0 stub
MSC42B20, 47G10
DefinesSingular integral operator
UsesLebesgue integral, Limit of a sequence
Changed2 November 2026

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.