Math 2.0

Harmonic analysis on Euclidean spaces Definition

Bochner–Riesz means

Builds on Fourier transformSchwartz spaceLp multiplier

Definition

Let n≥1n \ge 1, let δ≥0\delta \ge 0 and let R>0R > 0. Let f^(ξ)=∫ℝnf(x)e−2πix⋅ξ dx\hat f(\xi) = \int_{\R^n} f(x) e^{-2\pi i x \cdot \xi} \, dx be the Fourier transform of a Schwartz function ff on ℝn\R^n, and let t+=max⁡(t,0)t_+ = \max(t, 0), with the convention t+0=𝟏t>0t_+^0 = \mathbf{1}_{t > 0}. The Bochner–Riesz mean of order δ\delta and radius RR of ff is SRδf(x)=∫ℝn(1−∣ξ∣2R2)+δf^(ξ) e2πix⋅ξ dξ.S^\delta_R f(x) = \int_{\R^n} \Big(1 - \frac{\abs{\xi}^2}{R^2}\Big)_+^\delta \hat f(\xi) \, e^{2\pi i x \cdot \xi} \, d\xi. The operator Sδ=S1δS^\delta = S^\delta_1 is the Bochner–Riesz operator of order δ\delta.

Remarks

Example: for δ=0\delta = 0, SR0fS^0_R f is the spherical partial sum, the inverse Fourier transform of f^\hat f restricted to the open ball of radius RR. For n=1n = 1 and δ=1\delta = 1, the multiplier is (1−ξ2/R2)+(1 - \xi^2/R^2)_+, which is a continuous function with compact support.

The multiplier of SRδS^\delta_R is the dilate of the multiplier of SδS^\delta by RR, and dilations do not change LpL^p operator norms. So SRδS^\delta_R is bounded on Lp(ℝn)L^p(\R^n) uniformly in RR if and only if (1−∣ξ∣2)+δ(1 - \abs{\xi}^2)_+^\delta is an LpL^p multiplier. In that case, SRδf→fS^\delta_R f \to f in Lp(ℝn)L^p(\R^n) as R→∞R \to \infty for every f∈Lp(ℝn)f \in L^p(\R^n), 1≤p<∞1 \le p < \infty.

Non-example of convergence: for δ=0\delta = 0, n≥2n \ge 2 and p≠2p \ne 2, the ball multiplier is not an LpL^p multiplier, by Fefferman's ball multiplier theorem.

For δ>(n−1)/2\delta > (n - 1)/2, the kernel of SδS^\delta is integrable, so SδS^\delta is bounded on Lp(ℝn)L^p(\R^n) for all 1≤p≤∞1 \le p \le \infty. The value (n−1)/2(n - 1)/2 is the critical index.

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. Fourier transform concept
  2. Lp multiplier concept
  3. Schwartz space concept
  4. Bochner–Riesz means definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Bochner%E2%80%93Riesz_mean, Definition
About this page
Tag2R4H0RFQZZ
URIm2://2R4H0RFQZZ
Kinddefinition
WritingW0 stub
MSC42B08, 42B15
DefinesBochner–Riesz means
UsesFourier transform, Schwartz space, Lp multiplier

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)

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.