Math 2.0

Harmonic analysis on Euclidean spaces Definition

Littlewood–Paley square function

Builds on Littlewood–Paley decompositionLp spaceFourier transform

Definition

Let n≥1n \ge 1, and let χ\chi, ψ\psi and Δj\Delta_j, j∈ℤj \in \Z, be as in the Littlewood–Paley decomposition on ℝn\R^n. Let ff be in the Lp space Lp(ℝn)L^p(\R^n) for some 1≤p≤∞1 \le p \le \infty. The Littlewood–Paley square function of ff is the function Sf ⁣:ℝn→[0,∞]Sf \colon \R^n \to [0, \infty] given by Sf(x)=(∑j∈ℤ∣Δjf(x)∣2)1/2.Sf(x) = \left( \sum_{j \in \Z} \abs{\Delta_j f(x)}^2 \right)^{1/2}.

Remarks

The operator f↦Sff \mapsto Sf is not linear, but it is sublinear: S(f+g)≤Sf+SgS(f + g) \le Sf + Sg, by the triangle inequality in ℓ2\ell^2. It depends on the choice of χ\chi, but the LpL^p norms of square functions built from two choices are comparable for 1<p<∞1 < p < \infty.

Example: assume moreover that χ\chi is radial and nonincreasing in ∣ξ∣\abs{\xi}, so that ψ≥0\psi \ge 0. For each ξ≠0\xi \ne 0 at most two of the numbers ψ(2−jξ)\psi(2^{-j}\xi) are nonzero, and they sum to 11. So 12≤∑jψ(2−jξ)2≤1\frac{1}{2} \le \sum_j \psi(2^{-j}\xi)^2 \le 1. By Plancherel's theorem for the Fourier transform, ∥Sf∥22=∫∑jψ(2−jξ)2∣f^(ξ)∣2 dξ\norm{Sf}_2^2 = \int \sum_j \psi(2^{-j}\xi)^2 \abs{\hat f(\xi)}^2 \, d\xi, hence 12∥f∥22≤∥Sf∥22≤∥f∥22\frac{1}{2}\norm{f}_2^2 \le \norm{Sf}_2^2 \le \norm{f}_2^2 for f∈L2(ℝn)f \in L^2(\R^n).

Non-example: the constant function 11 is not in any Lp(ℝn)L^p(\R^n) with p<∞p < \infty. As a tempered distribution its Fourier transform is the point mass at 00, and ψ(0)=0\psi(0) = 0, so every Δj1\Delta_j 1 vanishes and the formula gives S1=0S1 = 0 although 1≠01 \ne 0. This is why the comparison of ∥Sf∥p\norm{Sf}_p and ∥f∥p\norm{f}_p needs p<∞p < \infty.

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. Littlewood–Paley decomposition concept
  3. Lp space concept
  4. Littlewood–Paley square function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Littlewood%E2%80%93Paley_theory
About this page
TagZBXBQYKP5W
URIm2://ZBXBQYKP5W
Kinddefinition
WritingW0 stub
MSC42B25
DefinesLittlewood–Paley square function
UsesLittlewood–Paley decomposition, Lp space, Fourier transform

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.