Namespaces
Variants
Actions

Weighted space

From Encyclopedia of Mathematics
Revision as of 08:13, 13 January 2024 by Chapoton (talk | contribs) (latex details)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


function space with weighted norm, weighted class, space with a weight, space of functions with weighted norm

A space of functions with a finite norm (or semi-norm) involving a functional multiplier — the weight. The norm (or semi-norm) of the function is then called the weighted norm (semi-norm), while the weight is also called the weight function of the norm (semi-norm). The introduction of a weight makes it possible to enlarge or restrict ordinary non-weighted normed and semi-normed function spaces consisting of functions with infinite ordinary non-weighted norm (semi-norm). Consider, for example, the weighted space $ C _ \phi ( E) $( where $ \phi $ is the weight function), its norm being defined by the formula

$$ \| f \| _ {C _ \phi } = \ \sup _ {x \in E } | \phi ( x) f ( x) | . $$

If the function $ \phi $ is suitably chosen, the space may be larger or smaller than the space $ C( E) $ with the ordinary norm

$$ \| f \| _ {C} = \sup _ {x \in E } | f ( x) | . $$

For instance, the space $ C _ {x} ( 0, 1) $ with the norm

$$ \| f \| _ {C _ {x} } = \sup _ {0 < x < 1 } | xf ( x) | $$

contains certain unbounded functions, and includes the space $ C( 0, 1) $ of functions bounded on the interval $ ( 0, 1) $ as a proper subspace. Conversely, the space $ C _ {1/x} ( 0, 1) $ with the norm

$$ \| f \| _ {C _ {1/x} } = \sup _ {0 < x < 1 } \left | { \frac{1}{x} } f( x) \right | $$

is a proper subspace of the space $ C( 0, 1) $. A second example: the semi-normed space with the weighted semi-norm $ \sqrt { {D _ \alpha } ( u) } $, where $ u = u( x, y) $ and

$$ D _ \alpha ( u) = {\int\limits \int\limits } _ {r \leq 1 } ( 1- r) ^ \alpha ( u _ {x} ^ {2} + u _ {y} ^ {2} ) dx dy, $$

$ r = \sqrt {x ^ {2} + y ^ {2} } $, contains, for $ \alpha > 0 $, the space of functions with weightless semi-norm $ \sqrt {D _ {0} ( u) } $ as a proper subspace, while for $ \alpha < 0 $ it is a proper subspace of this space.

In most cases the weight function tends to zero or to infinity as its arguments approach a given manifold, which may degenerate to a point, including a point at an infinite distance. Spaces with a weight naturally arise both in the theory of functions when studying ordinary (non-weighted) spaces, and in applications of the theory of functions, e.g. in the theory of boundary value problems for partial differential equations.

The principal problem in the study of weighted spaces is to obtain imbedding theorems for such spaces. In imbedding theorems of the first type the norm of a function is estimated by its norm in another weighted space, assuming both norms are defined for functions with the same domain of definition. Theorems of this type include theorems on the equivalence of norms in a weighted space, in particular concerning norms defined by means of the Fourier–Bessel transform. These include the estimates, in appropriate spaces, of the weighted norms of lower derivatives, in particular of the function itself, in terms of (weighted) norms of higher derivatives for functions vanishing on the boundary of the domain of definition. For instance, these theorems can be used to determine with what weight a function in a given domain is summable if all its higher derivatives belong to a given weighted space. In imbedding theorems of the second type, estimates of the norms of traces of functions on manifolds of smaller dimension in terms of their weighted norms are given.

An important class of weighted spaces consists of function spaces in which the absolute values of all derivatives of the functions, up to an arbitrary order, are summable to a given degree with a power weight. For such cases the imbeddings of weighted spaces have been studied in most detail. For instance, let the weighted space $ W _ {p, \alpha } ^ { l } ( E ^ {n} \mid \infty ) $ consist of the functions $ f $ on $ n $- dimensional Euclidean space $ E ^ {n} $ having generalized derivatives $ D _ {0} ^ {k} f $, $ k = ( k _ {1} \dots k _ {n} ) $, up to order $ l $( inclusive) and such that the quantity (which is the norm):

$$ | f; W _ {p, \alpha } ^ { l } ( E ^ {n} \mid \infty ) | = $$

$$ = \ \sum _ {| k | = l } | ( 1 + | x |) ^ {- \alpha } D ^ {k} f ; L _ {p} ( E ^ {n} ) | + | f; L _ {p} ( Q ^ {n} ) | $$

remains finite. Here $ x = ( x _ {1} \dots x _ {n} ) \in E ^ {n} $, $ | x | = \sqrt {\sum_{i=1} ^ {n} x _ {i} ^ {2} } $, $ Q ^ {n} $ is the $ n $- dimensional unit sphere in $ E ^ {n} $, $ 1 \leq p \leq \infty $, $ \alpha $ is a real number, and $ | k | = k _ {1} + \dots + k _ {n} $. The following imbedding theorem then applies: If $ \alpha > ( n/p) - 1 $, $ 0 \leq k \leq l $, then

$$ W _ {p, \alpha } ^ { l } ( E ^ {n} \mid \infty ) \rightarrow \ W _ {p, \alpha + k } ^ { l- k } ( E ^ {n} \mid \infty ). $$

If $ \alpha > 0 $ is small (i.e. in the case of so-called small degeneration), the weighted spaces $ W _ {p, \alpha } ^ { l } ( E ^ {n} \mid \infty ) $ have properties resembling those of weightless spaces: If $ 0 \leq \alpha \leq ( n/p) - 1 $, then for any $ \epsilon > 0 $ the imbedding

$$ W _ {p, \alpha } ^ { 1 } ( E ^ {n} \mid \infty ) \rightarrow \ W _ {p, ( n + \epsilon )/ p } ^ { 0 } ( E ^ {n} \mid \infty ) $$

holds. If $ \alpha = 0 $, it follows that, for example, the Dirichlet integral

$$ D ( f ) = \ \int\limits \sum _ {i = 1 } ^ { n } \left ( \frac{\partial f }{\partial x _ {i} } \right ) ^ {2} \ d E _ {+} ^ {n} $$

(where $ E _ {+} ^ {n} = \{ {x } : {x _ {n} > 0 } \} $ is the half-space) is not bounded from below as a functional on the space of functions, belonging to $ L _ {2} ( E _ {+} ^ {n} ) $, which vanish on the hyperplane $ E ^ {n-1} = \{ {x } : {x _ {n} = 0 } \} $, but it is bounded from below on the corresponding weighted space.

If $ 0 \leq \alpha < ( n/p) - l $, then to each function in the weighted space $ W _ {p, \alpha } ^ { l } ( E ^ {n} \mid \infty ) $ there corresponds a polynomial of degree at least $ l - 1 $ such that the difference between it and the function itself tends to zero as the point tends to infinity along radii.

The trace imbedding theorems for weighted spaces are a generalization of direct and inverse imbedding theorems for ordinary function spaces, and have been studied in depth for weights behaving like some power of the distance from a point in the domain to the boundary of the domain.

Imbedding theorems for weighted spaces are used, first of all, in the theory of degenerate elliptic equations; for them it is possible to give an exact formulation of boundary value problems and to obtain (in dependence on the degree of degeneracy and on the parts of the boundary on which no restrictions are imposed) necessary and sufficient conditions (in terms of properties of boundary values) for the solvability of several boundary value problems; they play an important role in proving the existence and uniqueness of solutions of boundary value problems in their respective weighted spaces and in establishing the stability of this solution in the sense of the energy integral as the boundary values are varied. If the region is unbounded, weighted spaces are also employed in the theory of uniformly elliptic equations.

Imbedding theorems for weighted spaces have found immediate application in solving problems of best extension of a function (or of a system of functions) from a manifold onto the entire space so that the extended function is infinitely differentiable on the complement of the manifold. Here, best extension is understood in the sense of minimal order of growth of derivatives as the point approaches the given manifold. The global degree of smoothness of the function on the manifold gives, for a sufficiently smooth manifold, the largest possible global degree of smoothness of the function which is obtained as a result of extension; for this reason, from some definite order onwards, the derivatives of the extended function will have a finite norm only with a certain weight, i.e. will belong to the respective weighted space.

References

[1] S.M. Nikol'skii, "On imbedding, continuation and approximation theorems for differentiable functions of several variables" Russian Math. Surveys , 16 : 5 (1961) pp. 55–104 Uspekhi Mat. Nauk , 16 : 5 (1961) pp. 63–114
[2] L.D. Kudryavtsev, S.M. Nikol'skii, , Some problems in mathematics and mechanics , Novosibirsk pp. 87–109
[3] L.D. Kudryavtsev, "Direct and inverse imbedding theorems. Applications to solutions of elliptic equations by variational methods" Trudy Mat. Inst. Steklov. , 55 (1959) (In Russian)
[4] L.D. Kudryavtsev, S.M. Nikol'skii, "Spaces of differentiable functions of several variables and imbedding theorems" S.M. Nikol'skii (ed.) , Analysis III , Encycl. Math. Sci. , 26 , Springer (1990) pp. 1–140 (Translated from Russian)
How to Cite This Entry:
Weighted space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weighted_space&oldid=55019
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article