Singular integral operators of convolution type
In mathematics, singular integral operators of convolution type are the singular integral operators that arise on Rn and Tn through convolution by distributions; equivalently they are the singular integral operators that commute with translations. The classical examples in harmonic analysis are the harmonic conjugation operator on the circle, the Hilbert transform on the circle and the real line, the Beurling transform in the complex plane and the Riesz transforms in Euclidean space. The continuity of these operators on L2 is evident because the Fourier transform converts them into multiplication operators. Continuity on Lp spaces was first established by Marcel Riesz. The classical techniques include the use of Poisson integrals, interpolation theory and the Hardy–Littlewood maximal function. For more general operators, fundamental new techniques, introduced by Alberto Calderón and Antoni Zygmund in 1952, were developed by a number of authors to give general criteria for continuity on Lp spaces. This article explains the theory for the classical operators and sketches the subsequent general theory. Harmonic conjugate The theory for L2 functions is particularly simple on the circle. If f ∈ L2(T), then it has a Fourier series expansion Hardy space H2(T) consists of the functions for which the negative coefficients vanish, an = 0 for n < 0. These are precisely the square-integrable functions that arise as boundary values of holomorphic functions in the open unit disk. Indeed, f is the boundary value of the function in the sense that the functions defined by the restriction of F to the concentric circles |z| = r, satisfy The orthogonal projection P of L2(T) onto H2(T) is called the Szegő projection. It is a bounded operator on L2(T) with operator norm 1. By Cauchy's theorem Thus When r = 1, the integrand on the right-hand side has a singularity at θ = 0. The truncated Hilbert transform is defined by where δ = |1 – eiε|. Since it is defined as convolution with a bounded function, it is a bounded operator on L2(T).