Math 2.0

Harmonic analysis on Euclidean spaces Restriction, Kakeya and oscillatory integrals Conjecture

Restriction conjecture

Builds on Fourier transformLp spacen-sphereSchwartz space

Statement

Let n≥2n \ge 2, let Sn−1⊆ℝnS^{n-1} \subseteq \R^n be the unit sphere, and let σ\sigma be its surface measure. Let f^\hat f be the Fourier transform of ff. Let 1≤p<2nn+11 \le p < \frac{2n}{n+1}, let p′p' be given by 1/p+1/p′=11/p + 1/p' = 1, and let 1≤q≤n−1n+1p′1 \le q \le \frac{n-1}{n+1} p'. Then there is a constant CC such that (∫Sn−1∣f^(ξ)∣q dσ(ξ))1/q≤C∥f∥Lp(ℝn)\Big( \int_{S^{n-1}} \abs{\hat f(\xi)}^q \, d\sigma(\xi) \Big)^{1/q} \le C \norm{f}_{L^p(\R^n)} for every Schwartz function ff on ℝn\R^n.

Remarks

The conditions on pp and qq are necessary. The condition p<2n/(n+1)p < 2n/(n+1) comes from the function dσ^\widehat{d\sigma}. It decays exactly like ∣x∣−(n−1)/2\abs{x}^{-(n-1)/2}, so it lies in Lp′L^{p'} only for p′>2n/(n−1)p' > 2n/(n-1). By duality, the conjecture requires dσ^\widehat{d\sigma} to lie in Lp′L^{p'}. The condition q≤n−1n+1p′q \le \frac{n-1}{n+1}p' comes from the Knapp example, a function whose Fourier transform is concentrated on a small cap of the sphere.

Status: the conjecture holds for n=2n = 2 and is open for every n≥3n \ge 3. The Stein–Tomas restriction theorem proves the case q=2q = 2, where the range is p≤2(n+1)/(n+3)p \le 2(n+1)/(n+3). The conjecture implies the Kakeya conjecture that every Kakeya set in ℝn\R^n has Hausdorff dimension nn.

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. Fourier transform concept
  2. Lp space concept
  3. Schwartz space concept
  4. n-sphere object
  5. Restriction conjecture conjecture

Further reading

  1. Web https://en.wikipedia.org/wiki/Restriction_conjecture
About this page
Tag9CE11G48JY
URIm2://9CE11G48JY
Kindconjecture
WritingW0 stub
MSC42B10, 42B20
StatusThis copy of the site has no build data. Run m2 status 9CE11G48JY.
AboutFourier transform
UsesFourier transform, Lp space, n-sphere, Schwartz space

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.