Math 2.0

Harmonic analysis on Euclidean spaces Singular integrals and Calderón–Zygmund theory Theorem

Cauchy integral on Lipschitz curves

Builds on Lipschitz conditionLp spaceHilbert transformSingular integral operator

Statement

Let A ⁣:ℝ→ℝA \colon \R \to \R be a function that satisfies a Lipschitz condition, and let Γ\Gamma be its graph {x+iA(x):x∈ℝ}\set{x + iA(x) : x \in \R} in ℂ\C. For ε>0\varepsilon > 0 and ff continuous with compact support on ℝ\R, let Cεf(x)=1πi∫∣x−y∣>εf(y) (1+iA′(y))(y−x)+i(A(y)−A(x)) dy,x∈ℝ.C_\varepsilon f(x) = \frac{1}{\pi i} \int_{\abs{x - y} > \varepsilon} \frac{f(y) \, (1 + iA'(y))}{(y - x) + i(A(y) - A(x))} \, dy, \quad x \in \R. Then there is a constant CC, depending only on ∥A′∥L∞\norm{A'}_{L^\infty}, such that ∥Cεf∥L2(ℝ)≤C∥f∥L2(ℝ)\norm{C_\varepsilon f}_{L^2(\R)} \le C \norm{f}_{L^2(\R)} for all ε>0\varepsilon > 0 and all such ff. So the Cauchy integral on Γ\Gamma extends to a bounded operator on the Lp space L2(ℝ)L^2(\R).

Remarks

The operator CεfC_\varepsilon f is the truncated Cauchy integral 1πi∫F(ζ)ζ−z dζ\frac{1}{\pi i}\int \frac{F(\zeta)}{\zeta - z} \, d\zeta over Γ\Gamma, written in the parameter xx, with F(y+iA(y))=f(y)F(y + iA(y)) = f(y) and z=x+iA(x)z = x + iA(x). A Lipschitz function is differentiable almost everywhere, with A′A' bounded, so the formula makes sense. Let Hf(x)=1πlim⁡ε→0∫∣x−y∣>εf(y)x−y dyHf(x) = \frac{1}{\pi} \lim_{\varepsilon \to 0} \int_{\abs{x - y} > \varepsilon} \frac{f(y)}{x - y} \, dy be the Hilbert transform. For A=0A = 0 the curve is the real line and the operator is iHiH. So the theorem generalizes the L2L^2 bound of the Hilbert transform.

The case of small ∥A′∥L∞\norm{A'}_{L^\infty} is due to Calderón. Expanding the kernel in powers of A(y)−A(x)A(y) - A(x) writes the operator as a series of Calderón commutators, and the series converges when ∥A′∥L∞\norm{A'}_{L^\infty} is small. The general case, for every Lipschitz function AA, was proved by Coifman, McIntosh and Meyer. Since the kernel is a Calderón–Zygmund kernel, the L2L^2 bound also gives boundedness on Lp(ℝ)L^p(\R) for 1<p<∞1 < p < \infty.

Going deeper

For a student

The theorem is a central example of a singular integral operator whose kernel is not of convolution type. It is the starting point for the method of layer potentials on Lipschitz domains, which solves the Dirichlet problem for the Laplacian on domains with rough boundary.

Reading path

To understand this page from the ground up, read these 5 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. Hilbert transform concept
  2. Lipschitz condition concept
  3. Lp space concept
  4. Singular integral operator concept
  5. Cauchy integral on Lipschitz curves statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Singular_integral_operators_on_closed_curves
About this page
Tag31DQH72ZJP
URIm2://31DQH72ZJP
Kindstatement, theorem
WritingW0 stub
MSC42B20, 30E20, 42A50
StatusThis copy of the site has no build data. Run m2 status 31DQH72ZJP.
AboutSingular integral operator
UsesLipschitz condition, Lp space, Hilbert transform, 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.