Littlewood–Paley theory

Littlewood–Paley theory uses a decomposition of a function f into a sum of functions fρ with localized frequencies. There are several ways to construct such a decomposition; a typical method is as follows. If f(x) is a function on R, and ρ is a measurable set (in the frequency space) with characteristic function \chi_\rho(\xi), then fρ is defined via its Fourier transform :\hat f_\rho := \chi_\rho\hat f. Informally, fρ is the piece of f whose frequencies lie in ρ. If Δ is a collection of measurable sets which (up to measure 0) are disjoint and have union on the real line, then a well behaved function f can be written as a sum of functions fρ for ρ ∈ Δ. When Δ consists of the sets of the form : \rho = [-2^{k+1},-2^k] \cup [2^k,2^{k+1}]. for k an integer, this gives a so-called "dyadic decomposition" of f : Σρ fρ. There are many variations of this construction; for example, the characteristic function of a set used in the definition of fρ can be replaced by a smoother function. A key estimate of Littlewood–Paley theory is the Littlewood–Paley theorem, which bounds the size of the functions fρ in terms of the size of f. There are many versions of this theorem corresponding to the different ways of decomposing f. A typical estimate is to bound the Lp norm of (Σρ |fρ|2)1/2 by a multiple of the Lp norm of f. In higher dimensions it is possible to generalize this construction by replacing intervals with rectangles with sides parallel to the coordinate axes. Unfortunately these are rather special sets, which limits the applications to higher dimensions. ==The Littlewood–Paley g function==

The g function is a non-linear operator on Lp(Rn) that can be used to control the Lp norm of a function f in terms of its Poisson integral. The Poisson integral u(x,y) of f is defined for y > 0 by :u(x,y) = \int_{\mathbb R^n} P_y(t)f(x-t) \, dt where the Poisson kernel P on the upper half space \{ (y;x)\in\mathbf{R}^{n+1} \mid y>0\} is given by :P_y(x) = \int_{\mathbb R^n} e^{-2\pi i t \cdot x - 2\pi |t|y} \, dt = \frac{\Gamma((n+1)/2)}{\pi^{(n+1)/2}}\frac{y}{(|x|^2+y^2)^{(n+1)/2}}. The Littlewood–Paley g function g(f) is defined by :g(f)(x) = \left(\int_0^\infty|\nabla u(x,y)|^2y \, dy\right)^{1/2} A basic property of g is that it approximately preserves norms. More precisely, for 1 p norms of f and g(f) is bounded above and below by fixed positive constants depending on n and p but not on f. ==Applications==

One early application of Littlewood–Paley theory was the proof that if Sn are the partial sums of the Fourier series of a periodic Lp function (p > 1) and nj is a sequence satisfying nj+1/nj > q for some fixed q > 1, then the sequence ''S'n'j converges almost everywhere. This was later superseded by the Carleson–Hunt theorem showing that S''n itself converges almost everywhere. Littlewood–Paley theory can also be used to prove the Marcinkiewicz multiplier theorem. ==References==