Namespaces
Variants
Actions

Difference between revisions of "Weighted space"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
w0975801.png
 +
$#A+1 = 53 n = 0
 +
$#C+1 = 53 : ~/encyclopedia/old_files/data/W097/W.0907580 Weighted space,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''function space with weighted norm, weighted class, space with a weight, space of functions with weighted norm''
 
''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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975801.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975802.png" /> is the weight function), its norm being defined by the formula
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975803.png" /></td> </tr></table>
+
$$
 +
\| f \| _ {C _  \phi  }  = \
 +
\sup _ {x \in E }  | \phi ( x) f ( x) | .
 +
$$
  
If the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975804.png" /> is suitably chosen, the space may be larger or smaller than the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975805.png" /> with the ordinary norm
+
If the function $  \phi $
 +
is suitably chosen, the space may be larger or smaller than the space $  C( E) $
 +
with the ordinary norm
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975806.png" /></td> </tr></table>
+
$$
 +
\| f \| _ {C}  = \sup _ {x \in E }  | f ( x) | .
 +
$$
  
For instance, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975807.png" /> with the norm
+
For instance, the space $  C _ {x} ( 0, 1) $
 +
with the norm
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975808.png" /></td> </tr></table>
+
$$
 +
\| f \| _ {C _ {x}  }  = \sup _ {0 < x < 1 }  | xf ( x) |
 +
$$
  
contains certain unbounded functions, and includes the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w0975809.png" /> of functions bounded on the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758010.png" /> as a proper subspace. Conversely, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758011.png" /> with the norm
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758012.png" /></td> </tr></table>
+
$$
 +
\| f \| _ {C _ {1/x} }  = \sup _ {0 < x < 1 }
 +
\left | {
 +
\frac{1}{x}
 +
} f( x) \right |
 +
$$
  
is a proper subspace of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758013.png" />. A second example: the semi-normed space with the weighted semi-norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758014.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758015.png" /> and
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758016.png" /></td> </tr></table>
+
$$
 +
D _  \alpha  ( u)  = {\int\limits \int\limits } _ {r \leq  1 }
 +
( 1- r)  ^  \alpha  ( u _ {x}  ^ {2} + u _ {y}  ^ {2} )  dx  dy,
 +
$$
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758017.png" />, contains, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758018.png" />, the space of functions with weightless semi-norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758019.png" /> as a proper subspace, while for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758020.png" /> it is a proper subspace of this space.
+
$  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.
 
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.
Line 27: Line 69:
 
The principal problem in the study of weighted spaces is to obtain [[Imbedding theorems|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.
 
The principal problem in the study of weighted spaces is to obtain [[Imbedding theorems|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758021.png" /> consist of the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758022.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758023.png" />-dimensional Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758024.png" /> having generalized derivatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758026.png" />, up to order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758027.png" /> (inclusive) and such that the quantity (which is the norm):
+
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):
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758028.png" /></td> </tr></table>
+
$$
 +
| f; W _ {p, \alpha }  ^ { l } ( E  ^ {n} \mid  \infty ) | =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758029.png" /></td> </tr></table>
+
$$
 +
= \
 +
\sum _ {| k | = l } | ( 1 + | x |) ^ {- \alpha } D  ^ {k} f ;
 +
L _ {p} ( E  ^ {n} ) | + | f; L _ {p} ( Q  ^ {n} ) |
 +
$$
  
remains finite. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758032.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758033.png" />-dimensional unit sphere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758036.png" /> is a real number, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758037.png" />. The following imbedding theorem then applies: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758038.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758039.png" />, then
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758040.png" /></td> </tr></table>
+
$$
 +
W _ {p, \alpha }  ^ { l } ( E  ^ {n} \mid  \infty )  \rightarrow \
 +
W _ {p, \alpha + k }  ^ { l- k } ( E  ^ {n} \mid  \infty ).
 +
$$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758041.png" /> is small (i.e. in the case of so-called small degeneration), the weighted spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758042.png" /> have properties resembling those of weightless spaces: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758043.png" />, then for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758044.png" /> the imbedding
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758045.png" /></td> </tr></table>
+
$$
 +
W _ {p, \alpha }  ^ { 1 } ( E  ^ {n} \mid  \infty )  \rightarrow \
 +
W _ {p, ( n + \epsilon )/ p }  ^ { 0 } ( E  ^ {n} \mid  \infty )
 +
$$
  
holds. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758046.png" />, it follows that, for example, the [[Dirichlet integral|Dirichlet integral]]
+
holds. If $  \alpha = 0 $,  
 +
it follows that, for example, the [[Dirichlet integral|Dirichlet integral]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758047.png" /></td> </tr></table>
+
$$
 +
D ( f  )  = \
 +
\int\limits \sum _ {i = 1 } ^ { n }
 +
\left (
 +
\frac{\partial  f }{\partial  x _ {i} }
 +
\right )  ^ {2} \
 +
d E _ {+}  ^ {n}
 +
$$
  
(where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758048.png" /> is the half-space) is not bounded from below as a functional on the space of functions, belonging to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758049.png" />, which vanish on the hyperplane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758050.png" />, but it is bounded from below on the corresponding weighted space.
+
(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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758051.png" />, then to each function in the weighted space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758052.png" /> there corresponds a polynomial of degree at least <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w097/w097580/w09758053.png" /> such that the difference between it and the function itself tends to zero as the point tends to infinity along radii.
+
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.
 
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.

Revision as of 08:29, 6 June 2020


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=49197
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article