In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the Besov space (named after
Oleg Vladimirovich Besov
Oleg Vladimirovich Besov (russian: Олег Владимирович Бесов; born 1933) is a Russian mathematician. He heads the Department of Function Theory at the Steklov Institute of Mathematics, where he defended his PhD in 1960 and habi ...
)
is a
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
quasinorm
In linear algebra, functional analysis and related areas of mathematics, a quasinorm is similar to a norm in that it satisfies the norm axioms, except that the triangle inequality is replaced by
\, x + y\, \leq K(\, x\, + \, y\, )
for some K > 0 ...
ed space which is a
Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...
when . These spaces, as well as the similarly defined
Triebel–Lizorkin space In the mathematical discipline known as functional analysis, a Triebel–Lizorkin space is a generalization of many standard function spaces such as ''L'p'' spaces and Sobolev spaces. It is named after (born February 7th 1936 in Dessau
De ...
s, serve to generalize more elementary
function space
In mathematics, a function space is a set of functions between two fixed sets. Often, the domain and/or codomain will have additional structure which is inherited by the function space. For example, the set of functions from any set into a vect ...
s such as
Sobolev space
In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense t ...
s and are effective at measuring regularity properties of functions.
Definition
Several equivalent definitions exist. One of them is given below.
Let
:
and define the
modulus of continuity In mathematical analysis, a modulus of continuity is a function ω : , ∞→ , ∞used to measure quantitatively the uniform continuity of functions. So, a function ''f'' : ''I'' → R admits ω as a modulus of continuity if and only if
:, f(x)-f ...
by
:
Let be a non-negative integer and define: with . The Besov space
contains all functions such that
:
Norm
The Besov space
is equipped with the norm
:
The Besov spaces
coincide with the more classical
Sobolev spaces
In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense t ...
.
If
and
is not an integer, then
, where
denotes the
Sobolev–Slobodeckij space.
References
*
*
* DeVore, R. and Lorentz, G. "Constructive Approximation", 1993.
* DeVore, R., Kyriazis, G. and Wang, P. "Multiscale characterizations of Besov spaces on bounded domains", Journal of Approximation Theory 93, 273-292 (1998).
* Leoni, Giovanni (2017).
A First Course in Sobolev Spaces: Second Edition'.
Graduate Studies in Mathematics Graduate Studies in Mathematics (GSM) is a series of graduate-level textbooks in mathematics published by the American Mathematical Society (AMS). The books in this series are published ihardcoverane-bookformats.
List of books
*1 ''The General To ...
. 181. American Mathematical Society. pp. 734.
Banach spaces
Function spaces
{{mathanalysis-stub