Embedding theorems of multi-weighted multi-parametric Sobolev spaces on domains with arbitrary shapes are obtained. Conditions on weight functions , and at which the inequality of an investment is fair are received
.
Examples with proofs are resulted.
Let area in , vectors with the whole coordinates ,
Below we will use designations: for
, , ,
Let , record of pokoordinatny comparison,
For, sets , and let
, .
Let , area ,
Let further
at We will put
,
and let
.
Through , , will be designated, respectively , , For a multiindex , for
;
.
Through , the weight Lebesgue space with norm will be designated
.
Below record will mean that.
Definition 1 ([1]). Domain we will call if area with a condition of a flexible horn (a flexible cone at ) if at some , for there is a curve, with the following properties:
(a) for all it is absolutely continuous on ; for the item of century.
(b).
Let's put thus
where the top edge takes on all for which takes place the listed properties.
Lemma 1([2]). Let . Then from family of parallelepipeds it is possible to take a covering a set parallelepipeds Thus family also forms The Frequency rate covering a covering, depend only from respectively
Lemma 2 ([2]). Let Then takes assessment place
where
Theorem. Let , and let weight , and on meet conditions: there is a regular function that
and
where. Then the investment takes place
(1)
from an exact constant
.
Proof. In these work [1, page 17] for functions on area with a condition of a flexible horn was received in particular, the following integrated representation:
(2)
where
. (3)
definite care,
and functions, satisfying the following conditions:
function (4)
(5)
(6)
(7)
where
Let's copy representation (2) for and considering conditions and (5):
(8)
where and
(9)
using integrated representation (8), (9), for a case we write out
(10)
where B (10) in conditions force (3), (7) , we will receive
. (11)
, (12)
where follows From a choice that for all From (11) and conditions (4), (5) follows that
(13)
where – the integrated operation with a care
From (13) follows that
(14)
where
Let Owing to a lemma 2 for any on
(15)
where
(16)
First composed in (15)
(17)
In (17) we will apply a lemma 1 in which for a kernel the following estimates are fair to an assessment of each integral:
Owing to a lemma 1
(18)
(17), (18) follows from estimates that
Having taken, at for from we remove that
Example 1. Let's consider theorem conditions for permission of a question about existence of an inclusion
where
at
In this case for any cube
Therefore in order that
and
it is enough to demand that the following conditions were satisfied:
(19)
Further we have
As well as
that
Let's say as let Then owing to (19)
Let's consider more general case now, namely, let and for any the surface has the area Then
So, in these conditions on , the inclusion takes place
References:
1. O. V. Besov. Integrated representations of functions and the theorem of an inclusion for area with a condition flexible roga.//Works of Mathematical institute of Academy of Sciences of the USSR, 1984. T.170. Page 12–29.
2. Kusainova L. K. About limitation of one class of operators in weighted spaces of Lebega.//Works of inter@ konf. Semipalatinsk. 2003. Page 94–95.