Bounded mean oscillation

From Wikipedia, the free encyclopedia

In Harmonic analysis, a branch of mathematics, the space of functions of bounded mean oscillation (BMO), introduced by John & Nirenberg (1961), plays the same role in the theory of Hardy spaces that the space L of bounded functions plays in the theory of Lp-spaces. A general reference for functions of bounded mean oscillation is (Stein 1993, chapter IV).

A function u is said to be a BMO function if it is in L^1_{\ell oc}(R^n) (=locally integrable functions) and the "mean oscillation"

 \frac{1}{|Q|}\int_{Q}|u(y)-u_Q|\,dy

is bounded over all balls Q. The supremum is called the BMO norm of u and is denoted by ||u||BMO. Here |Q| is the volume of Q and

u_Q=\frac{1}{|Q|}\int_{Q} u(y)\,dy.

is the average value of u on the ball Q.

The function ||u||BMO becomes a norm on BMO functions after quotienting out by the constant functions (which have BMO norm 0).

Examples of BMO functions are all bounded (measurable) functions, and log(|P|) for any polynomial P that is not identically zero. BMO functions are locally Lp if 0<p<∞, but need not be locally bounded.

Fefferman (1971) showed that the BMO space is dual to H1, the Hardy space with p=1; see (Fefferman & Stein 1972) for the proof. The pairing between fH1 and g∈BMO is given by

(f,g)=\int_{R^n}f(x)g(x)dx

though some care is needed in defining this integral as it does not in general converge absolutely.

The space VMO of functions of vanishing mean oscillation is the closure of the continuous functions that vanish at infinity in BMO. It can also be defined as the space of functions whose "mean oscillations" on balls Q are not only bounded, but also tend to zero uniformly as the radius of the ball Q tends to 0 or infinity. The space VMO is a sort of Hardy space analogue of the space of continuous functions vanishing at infinity, and in particular the Hardy space H1 is the dual of VMO. (Stein 1993, p. 180)

[edit] References