Besov space

From HandWiki

In mathematics, the Besov space (named after Oleg Vladimirovich Besov) Bp,qs(𝐑) is a complete quasinormed space which is a Banach space when 1 ≀ p, q ≀ ∞. These spaces, as well as the similarly defined Triebel–Lizorkin spaces, serve to generalize more elementary function spaces such as Sobolev spaces and are effective at measuring regularity properties of functions.

Definition

Several equivalent definitions exist. One of them is given below.

Let

Δhf(x)=f(xh)f(x)

and define the modulus of continuity by

ωp2(f,t)=sup|h|tΔh2fp

Let n be a non-negative integer and define: s = n + α with 0 < α ≀ 1. The Besov space Bp,qs(𝐑) contains all functions f such that

fWn,p(𝐑),0|ωp2(f(n),t)tα|qdtt<.

Norm

The Besov space Bp,qs(𝐑) is equipped with the norm

fBp,qs(𝐑)=(fWn,p(𝐑)q+0|ωp2(f(n),t)tα|qdtt)1q

The Besov spaces B2,2s(𝐑) coincide with the more classical Sobolev spaces Hs(𝐑).

If p=q and s is not an integer, then Bp,ps(𝐑)=WÂŻs,p(𝐑), where WÂŻs,p(𝐑) denotes the Sobolev–Slobodeckij space.

References