arxiv:math/ v4 [math.fa] 4 Sep 2007

Transcription

1 1 Weighted Sobolev saces ad embeddig theorems V. Gol dshtei, A. Ukhlov 1 ABSTRACT. arxiv:math/73725v4 [math.fa] 4 Se 27 I the reset aer we study embeddig oerators for weighted Sobolev saces whose weights satisfy the well-kow Muckehout A -coditio. Sufficiet coditios for boudedess ad comactess of the embeddig oerators are obtaied for smooth domais ad domais with boudary sigularities. The roosed method is based o the cocet of geeralized uasicoformal homeomorhisms homeomorhisms with bouded mea distortio. The choice of the homeomorhism tye deeds o the choice of the corresodig weighted Sobolev sace. Such classes of homeomorhisms iduce bouded comositio oerators for weighted Sobolev saces. With the hel of these homeomorhism classes the embeddig roblem for o-smooth domais is reduced to the corresodig classical embeddig roblem for smooth domais. Examles of domais with aisotroic Hölder sigularities demostrate sharess of our machiery comaratively with kow results. Itroductio Weighted Sobolev saces are solutio saces of degeerate ellitic euatios see, for examle [1]. Tye of a weight deeds o the euatio tye. Similar to the classical theory of Sobolev saces, embeddig theorems of weighted Sobolev saces are suitable for the corresodig ellitic boudary roblems, esecially for existece ad uiueess of solutios. Embeddig oerators for weighted Sobolev saces i smooth domais were studied by may authors see, for examle, [1 6] with the hel of the itegral reresetatios theory adoted to the weighted case. Weighted Sobolev saces i o smooth domais were ot studied before, excet article [7] where some sufficiet coditios for boudedess of the embeddig oerators were obtaied. The mai techical roblem for the o-smooth case is a adeuate descritio of a iterlay betwee weights ad boudary tyes sigularities. The adeuate choice allows us to obtai shar Sobolev tye embeddigs. The relatio betwee Jacobias of uasicoformal homeomorhisms ad admissible weights for Sobolev ad Poicare ieualities was studied i [8]. I the reset article we itroduce a ew aroach based o the cocet of geeralized uasicoformal homeomorhisms or homeomorhisms with bouded mea distortio i aother termiology that iduce bouded comositio oerators of weighted Sobolev saces. These homeomorhisms trasform the origial embeddig oerators o o smooth domais to the embeddig oerators o smooth domais with a corresodig weight chage. This aroach was suggested i [9] for classical Sobolev saces o o smooth domais ad ca be briefly described with the hel of the followig diagram: W 1, w ϕ W 1 L s, w ϕ 1 L r 1 The secod author was artially suorted by Israel Miistry of Immigrat Absortio

2 2 Here the oerator ϕ f = f ϕ is a bouded comositio oerator of Sobolev saces iduced by a homeomorhism ϕ that mas smooth domai R oto o smooth domai R. Suose that its iverse homeomorhism ϕ 1 iduces a bouded comositio oerator of corresodig Lebesgue saces. If the Sobolev sace W 1 ermits a bouded comact embeddig oerator ito L r the, usig the corresodig comositios, we ca costruct the embeddig oerator of the weighted Sobolev sace W 1, w ito L s, w. The same scheme was used i the article [1] for the study of the embeddig oerators of W2 1 ito L 2 o o smooth bouded domais. I article [11] the same aroach was alied to embeddig roblems for domais of Carot grous. Let us shortly describe the cotet of the aer. I sectio 1 we give ecessary defiitios ad rove desity of smooth fuctios i weighted Sobolev saces with weights satisfyig the A -coditio. Such weighted Sobolev saces are Baach saces. I sectio 2 we itroduce classes of uasiisometrical homeomorhisms ad rove sufficiet coditios for the comactess of the embeddig oerators for the weighted Sobolev saces i domais uasiisometrically euivalet to smooth oes. I sectio 3 we itroduce classes of homeomorhisms with bouded mea distortio ad study embeddig oerators for weighted Sobolev saces defied o images of smooth domais. We aly these abstract results to domais with aisotroic Hölder tye sigularities. The obtaied estimates are sharer tha the kow result [7]. I sectio 5 we aly embeddig theorems for weighted Sobolev saces to degeerated ellitic boudary roblems. 1. Weighted saces I this aer we study weighted Lebesgue ad Sobolev saces defied i the domais of -dimesioal Euclidea sace R, 2. Let be a oe subset of R, 2, ad w : R [, be a locally summable oegative fuctio, i.e., a weight. efie a weighted Lebesgue sace L, w, 1 <, as a Baach sace of locally summable fuctios f : R euied with the followig orm: 1/ f L, w = f xwx, 1 <. efie a weighted Sobolev sace W m, w, 1 m <, 1 <, as a ormed sace of locally summable, m times weakly differetiable fuctios f : R euied with the followig orm: 1/ f W m, w = f xwx + 1/ α f xwx, α =m α := α 1, α 2,..., α is a multiidex, α i =, 1,..., α = α 1 + α α ad α f is the weak derivative of order α of the fuctio f: f α η = 1 α α fη, η C. As usual C is the sace of ifiitely smooth fuctios with a comact suort.

3 3 By techical reasos we will eed also a semiormed sace L m of locally summable, m times weakly differetiable fuctios f : R euied with the followig semiorm: f L 1, w = α =m α f xwx 1/. Without additioal restrictios the sace W m, w is ot ecessarily a Baach sace see, for examle [1]. Let us assume additioally that weight w : R [, satisfies the well-kow A - coditio: 1 su B R B B 1 w B B w 1/1 1 < +, where 1 < <, ad B is Lebesgue measure of ball B. Theorem 1. Let R be a oe set ad a weight w satisfies to the A -coditio. The W m, w, 1 m <, 1 < <, is a Baach sace. Smooth fuctios of the class W m, w are dese i W m, w. Let us give some remarks before the roof. Suose that oegative fuctio ω : R [, belogs to C R, su ω B, 1 ad ω = 1. R eote by A r fx = 1 ω r R x z r fz dz a mollifier fuctio of f with a mollificatio kerel ω. Let δ = {x : distx, > δ} for δ >. The roof of the theorem is based o the followig lemma see, for examle [12]: Lemma 1. Let R be a oe set ad a fuctio f L 1,loc has a weak derivative α f o. The for every < r < δ α A r f = A r α f o δ. Proof. For the reader coveiece we reroduce here a versio of the roof. Note, that for every x δ, A r fx = fx rzωz dz, < r < δ. B,1 By defiitio of the weak derivative α xfx rz = α xfx rz o δ. Suose x, z δ B, 1. efie Fx, z = fx rzωz ad Gx, z = α x fx rzωz. The for each comact K δ the fuctios F, G belog to L 1 K B, 1.

4 4 Moreover, by Fubii s theorem ad the defiitio of the mollificatio kerel we get K B,1 fx rzωz dz = 1 = fyω x y r r K r K 1 fy r K r K 1 r Bx,r dy R ω x y r fyω x y dy r 1 fy r K r K dy = ω x y dy r K r fy dy = f L 1 K r. Here K r is the r-eighborhood of K, K r. Of course, the same estimate is correct for G. Usig the Fubii s theorem we have xfx α rzωz dz ηx = α x fx rzωz ηx dz δ B,1 = 1 α B,1 B,1 δ δ fx rzωz = 1 α α ηx dz fx rzωz dz α ηx δ B,1 for every fuctio η C δ. Hece for every x δ α A r fx = α fx rzωz dz B,1 = α xfx rzωz dz = A r α fx. B,1 Proof of Theorem 1. Fix δ >. Sice the weight w satisfies the A -coditio, Hardy-Littlewood maximal oerator 1 Mfx = su fz dz δ>r> r Bx,r

5 5 is bouded i L δ, w [13]. Hece A r f f L δ, w = = δ δ B,1 B,1 fx rzωz dz fx wx fx rz fxωz dz wx M max ωx x B,1 1 1 δ fx rz fx wx Here M is the orm of the maximal oerator i the sace L δ, w. From the last ieuality follows, that for cotiuous fuctios f A r f f i L δ, w. Usig a aroximatio of a arbitrary fuctio f L δ, w by cotiuous fuctios see, for examle, [14] the covergece ca by obtaied for f L δ, w also. By Lemma 1 A r f f i W m δ, w for a arbitrary fuctio f W m, w. Therefore smooth fuctios are dese i W m δ, w. esity of smooth fuctios of class W m, w i W m, w will be roved usig the scheme roosed i [15]. Choose a seuece of oe sets j j+1, j 1 comactly embedded oe ito aother, such that j j =. Let Ψ be a artitio of uity o, subordiate to the coverig j+1 \ j 1. Let ψ j deote the fiite sum of those ψ Ψ for which su ψ j+1 \ j 1. Thus ψ j C j+1 \ j 1 ad j ψ j 1 i. Fix ε > ad for each j = 1, 2,... choose ϕ j C j+1 \ j 1 such that The ϕ = j ϕ j C, ad ϕ j ψ j f W m, w ε2 j. 1. ϕ f W m, w = j ϕ j j ψ j f W m, w j ϕ j ψ j f W m, w < ε. Therefore, the weighted sace W m, w is a Baach sace ad smooth fuctios of the class W m, w are dese i this sace. eote by wa = wx the weighted measure the measure associated with the A weight w of a measurable set A R. By [13] the Muckehout A -coditio leads to the doublig coditio for the weighted measure i.e, µbx, 2r CαµBx, r for all x R ad r >.

6 6 efiitio 1. We call a bouded subdomai of Euclidea sace R a embeddig domai, if for ay fuctio f L 1, 1 <, the Sobolev-Poicare tye ieuality if f c L r M f L 1 c R holds for ay r /. Here a costat M deeds o ad r oly. Remid that for ay embeddig domai ad for ay r < / the corresodig embeddig oerator W 1 L r is comact. Lischitz bouded domais R rereset examles of embeddig domais. Let us remid also that Sobolev tye embeddigs for smooth domais have bee studied thoroughly ad a discussio about the differet asects of the embeddig roblem ca be foud, for examle, i [16]. 2. Quasiisometrical maigs ad Sobolev embeddigs Let ad be domais i Euclidea sace R, 2. A homeomorhism ϕ : is called Q-uasiisometrical, if there exists a costat < Q < +, such that for all oits x. Here ϕ x = lim if z x 1 Q ϕ x ϕ x Q ϕx ϕz x z ad ϕ x = lim su z x ϕx ϕz. x z It is well kow that ay Q-uasiisometrical homeomorhism is locally bi-lischitz, weakly differetiable ad differetiable almost everywhere i. Hece its Jacobi matrix ϕ = ϕ i x j, i, j = 1,..., ad its Jacobia Jx, ϕ = det ϕi x j are well defied almost everywhere i. By defiitio of a Q-uasiisometrical homeomorhism Q Jx, ϕ Q almost everywhere. Let us remid also, that a uasiisometrical homeomorhism has Luzi N-roerty: the image of a set of measure zero is a set of measure zero. Therefore, for ay Q-uasiisometrical homeomorhism ϕ the chage of variable formula i the Lebesgue itegral fy dy = f ϕx Jx, ϕ ϕe E holds for ay oegative measurable fuctio f ad ay measurable set E [17]. Suose weight w satisfies the A -coditio ad a homeomorhism ϕ : R R is Q-uasiisometrical. Combiig the chage of variable formula ad the two side estimate for Jx, ϕ we ca coclude that the weight w ϕ also satisfies the A -coditio. Theorem 2. Let ϕ : be a Q-uasiisometrical homeomorhism. The a comositio oerator ϕ f = f ϕ is a isomorhism of the Sobolev saces W 1, w ad W 1, w, 1 < <, where w = w ϕ.

7 7 Proof. Choose a arbitrary fuctio f W 1, w. By [14] f belogs to the sace W1,loc 1 ad by [17] the comositio f ϕ W1,loc 1. Hece ϕ f W 1, w = 1 f ϕ w ϕx + 1 f ϕ w ϕx ad f ϕ w 1 ϕx Jx, ϕ Jx, ϕ + 1 f ϕxw ϕx Jx, ϕ ϕ x 1 Jx, ϕ. Sice ϕ is a Q-uasiisometrical homeomorhism the followig estimates are correct: Hece ϕ f W 1, w Q 1 Jx, ϕ Q for almost all x ϕ x Q for almost all x. 1 f ϕ w ϕx Jx, ϕ + Q +1 1 f ϕxw ϕx Jx, ϕ. Usig the chage of variable formula we fially get the followig ieuality ϕ f W 1, w Q f w y dy 1 + Q +1 f yw y dy 1 Q Q + 1 f W 1, w. Sice the iverse homeomorhism ϕ 1 is also a Q-uasiisometrical oe, the iverse ieuality is also correct. ϕ 1 g W 1, w Q Q + 1 g W 1, w, g W 1, w. Corollary 1. Let ad be domais i the Euclidea sace R. Suose there exists a Q-uasiisomerical homeomorhism ϕ :. The the embeddig oerator i : W 1, w L r, w is bouded comact if ad oly if the embeddig oerator i : W 1, w L r, w

8 8 is bouded comact. Proof. Suose the embeddig oerator i : W 1, w L r, w is bouded comact. Sice ϕ 1 is a Q-uasiisometrical homeomorhism, the a comositio oerator ϕ 1 = g ϕ 1 : L r, w L r, w is bouded as oe ca see by a simle calculatio: ϕ 1 g L r, w 1 = g ϕ 1 r yw r y dy = g r xw ϕx Jx, ϕ 1 r Q r 1 g r r xwx = Q r g Lr, w. Therefore, the embeddig oerator i : W 1, w L r, w is bouded comact as a comositio of bouded oerators ϕ, ϕ 1 ad bouded comact embeddig oerator W 1, w L r, w. The roof i the iverse directio is the same. By Corollary 1 a image = ϕ of a embeddig domai uder a uasiisometrical homeomorhism ϕ is a embeddig domai also. I the aer [1] the various examles of embeddig domais of such tye were discussed. The ext theorem demostrates simle coditios for comactess of the embeddig oerators of weighted Sobolev saces. Theorem 3. Let R be a uasiisometrical image of a embeddig domai, 1 s r < /,, 1 < <, ad { } Kw = max w 1 L, w 1 s L rs < +. r s The the embeddig oerator i : W 1, w L s, w is a comact oerator. For r = / the embeddig oerator i is bouded oly. Proof. By coditios of the theorem there exists a Q-uasiisometrical homeomorhism ϕ : of the embeddig domai oto the domai. For ay fuctio u W 1, w the comositio u ϕ is weakly differetiable i the domai, ad the

9 9 followig estimate is correct u ϕ W 1 = 1 u ϕ + 1 u ϕ 1 u ϕ Jx, ϕ wϕx 1 Jx, ϕ wϕx + u ϕ x Jx, ϕ wϕx 1 Jx, ϕ wϕx 1. By the Hölder ieuality u ϕ W Jx, ϕ wϕx ϕ x Jx, ϕ wϕx 1 u ϕxwϕx Jx, ϕ 1 u ϕxwϕx Jx, ϕ. Sice ϕ is a Q-uasiisometrical homeomorhism, the by the chage of variable formula for the Lebesgue itegral we obtai u ϕ W 1 Q wy dy u wy dy 1 + Q + wy dy u wy dy 1 Q Kw u L, w + Q + Kw u L w. By the revious ieuality the comositio oerator ϕ : W 1, w W 1, 1 < +, is bouded. Let us rove boudedess of the comositio oerator ϕ 1 : L r L s, w. By the theorem s coditios the uatity w 1 s L rs is fiite. Hece by [18] the r s comositio oerator ϕ 1 : L r L s, w, 1 s r < +, is bouded. Because is a embeddig domai the embeddig oerator i : W 1 L r is comact for ay r < / ad bouded for r = /. Therefore the embeddig oerator i : W 1, w L s, w is comact bouded as a comositio

10 1 of bouded oerators ϕ, ϕ 1 ad the comact bouded embeddig oerator i for ay r < / r = /. I a similar way we ca rove Theorem 4. Let R be a uasiisometrical image of a embeddig domai, 1 s r < /,, 1 < <, ad The the embeddig oerator Kw = w 1 s L rs r s < +. i : W 1 L s, w is comact. For r = / the embeddig oerator i is bouded oly. The ext lemma allows us to costruct various examles of the embeddig domais. Lemma 2. Let 1 ad 2 be such domais that embeddig oerators are comact. The the embeddig oerator is also comact. i : W 1 1, w L s 1, v, i : W 1 2, w L s 2, v i : W 1 1 2, w L s 1 2, v Proof. We rove this lemma by the scheme suggested i [1]. Choose a seuece of fuctios {f } W 1 1 2, w such that f W 1 1 2, w 1 for all. Let g = f 1 ad h = f 2. The g W 1 1, h W 1 2, f W 1 1 1, h W Because the embeddig oerator i : W 1 1, w L s 1, v is comact, we ca choose a subseuece {g k } of the seuece {g } which coverges i L s 1, v to a fuctio g L s 1, v. Because the secod embeddig oerator i : W 1 2, w L s 2, v is also comact we ca choose a subseuece {h km } of the seuece {h k } which coverges i L s 2, v to a fuctio h L s 2, v. It is evidet that g = h v-almost everywhere i 1 2 ad the fuctio f = g o 1 ad f = h o 2 belogs to L s 1 2, v. Hece f km f L s 1 2, v g km g L s 1, v + h km h L s 2, v. Therefore f km f L s 1 2, v for m. 3. Embeddig oerators for geeral domais Let ad be domais i Euclidea sace R, 2. Remember that a homeomorhism ϕ : belogs to Sobolev class W1,loc 1 if its coordiate fuctios belog to

11 11 W1,loc 1. eote by ϕ the weak differetial of ϕ. The orm ϕx is the stadard orm of the liear oerator defied by ϕx. Call a homeomorhism ϕ : w-weighted, -uasicoformal, if ϕ belogs to the Sobolev sace W1,loc 1, ϕ = almost everywhere o the set Z = {x : Jx, ϕ wϕx = } ad the followig ieuality [ K,, w = ϕx Jx, ϕ wϕx ] < is correct. For w 1 we call a 1-weighted, -uasicoformal homeomorhism a, -uasicoformal oe. The followig result was roved i [19] for a more geeral class of maigs. For readers coveiece we reroduce here a simle versio of the roof adoted to homeomorhisms. Proositio 1. Let ad be domais i Euclidea sace R, 2 ad ϕ : be a w-weighted, -uasicoformal homeomorhism. The a comositio oerator is bouded. ϕ : L 1, w L 1, 1 < +, Proof. Let f L 1, w be a smooth fuctio. The f ϕ L 1 1,loc ad the followig ieualities ϕ f L 1 = f ϕ 1 ϕ f 1 1 ϕ 1 Jx, ϕ f Jx, ϕ wϕx wϕx are correct. Usig Hölder ieuality ad the chage of variable formula for Lebesgue itegral, we obtai ϕ f L 1 [ ϕx ] Jx, ϕ wϕx 1 f Jx, ϕ wϕx = K,, w f L 1, w. The fulfillmet of the last ieuality for a arbitrary fuctio f L 1, w ca be roved by a aroximatio of f by smooth fuctios [19]. The ext theorem gives sufficiet coditio for boudedess comactess embeddig oerators i o-smooth domais. Theorem 5. Let a domai R be a embeddig domai ad there exists a w- weighted, -uasicoformal homeomorhism ϕ : of domai oto bouded domai.

12 12 If for some s r < the followig ieuality is correct the a embeddig oerator r r s Jx, ϕ wϕx < +, i : W 1, w L s, w is bouded, if s r /, ad is comact if s r < /. Proof. Because r r s Jx, ϕ wϕx < +, the comositio oerator ϕ 1 : L r L s, w is bouded, i.e. the followig ieuality ϕ 1 v L s, w A r,s, w v L r is correct. Here A r,s, w is a ositive costat. Because domai is a embeddig domai ad the comositio oerators ϕ 1 : L r L s, w, ϕ : L 1, w L 1 are bouded, the followig ieualities if u c L s, w A r,s, w if v c L r c R c R A r,s, wm v L 1 A r,s, wk,, wm u L 1, w hold. Here M ad K,, w are ositive costats. The Hölder ieuality imlies the followig estimate c = w 1 c L, w w 1 u L, w + u c L, w Because r we have w 1 u L, w + w 1 s u c Ls, w. v L c L + v c L c 1 r + r w 1 u L, w +w 1 s u c Ls, w From revious ieualities we obtai fially v L 1 w 1 u L + A r,s, wk,, wm 1 w 1 u L 1, w v c Lr 1 r + r v c Lr. + K,, wm r r u L 1, w.

13 13 Therefore the comositio oerator ϕ : W 1, w W 1 is also bouded. Fially we ca coclude that the embeddig oerator i : W 1, w L s, w is bouded as the comositio of bouded oerators ϕ, ϕ 1 ad the embeddig oerator W 1 L r i the case r /. The embeddig oerator i : W 1, w L s, w is comact as the comositio of bouded oerators ϕ, ϕ 1 ad comact the embeddig oerator W 1 L r, i the case r < /. Let us aly these geeral results to domais with aisotroic Hölder sigularities described i [9]. Let g i τ = τ γ i, γ i 1, τ 1. For the fuctio G = 1 i=1 g i deote by γ = log Gτ log τ + 1. It is evidet that γ. Let us cosider the domai H g = {x R : < x < 1, < x i < g i x, i = 1, 2,..., 1}. I the case g 1 = g 2 = = g 1 we will say that domai H g is a domai with σ-hölder sigularity, σ = γ 1/ 1. For g 1 τ = g 2 τ = = g 1 τ = τ we will use otatio H 1 istead of H g. The domai H 1 is uasiisometrically homeomorhic to the stadard uit ball. Hece by Theorem 3 domai H 1 is a embeddig domai. If the weight is olyomial i.e. wx := x α the the A -coditio is correct oly if < α < 1. Theorem 6. Let < α < 1 ad 1 < < α+γ, the the embeddig oerator is comact for ay 1 s < α+γ α+γ. W 1 H g, x α L s H g, x α Proof. For ay < a < 1 we defie a homeomorhism ϕ a : H 1 H g, a >, by the exressio ϕ a x = x 1 g1 a x x,..., x 1 g 1 a x x, x a. urig the roof we will choice a umber a ad a corresodig homeomorhism i such a way that the coditios of Theorem 5 will be fulfilled. By simle calculatio ϕ a i x i = ga i x x, ϕ a i x = x ig a i x x 2 + ax ig a 1 i x x g ix ad ϕ a x = ax a 1 for ay i = 1,..., 1. Hece Jx, ϕ a x = ax a G a x. By defiitio fuctios g i, i = 1, 2,..., 1 are Lischitz fuctios. Therefore there exists a costat M < + such that g i x Mx ad g ix M

14 14 for ay x [, 1] ad i = 1, 2,..., 1. Usig estimates for derivatives ad the ieualities x i x that are correct for all x H 1 we obtai the followig estimate ϕ a x c 1 x a 1. By the same way we obtai also the two-sided estimate: c 2 x αa ϕ ax α c 3 x αa. Now we ca check for which the homeomorhism ϕ a : H 1 H g is a w-weighted, - uasicoformal homeomorhism: I a = K, H 1, w = C H 1 1 x ϕ a x Jx, ϕ a wϕ a x... Hece the uatity I a is fiite if or x x a 1 x a G a x x αa = C 1 x a 1 aα G a a 1 aα aγ 1 > < / aα + γ + a. x. Hece, the homeomorhism ϕ a is a w-weighted, -uasicoformal homeomorhism. Let us check the coditios of Theorem 5. First we have to estimate the degree of itegrability for Jacobia J a of the homeomorhism ϕ a : J a = r r s Jx, ϕ wϕx H 1 C 1 x... x x aα+1 r r s G a r r s x C 1 aα+1 r r s + 1+a r r s γ 1 x. The itegral J a coverges, if or r aα + 1 r s + + a r γ 1 >, r s s < aα + γ r.

15 15 Hece, the coditios of Theorem 5 are fulfilled if s < aα + γ r, r < ad < aα + γ + a. Therefore s < Theorem 6 is roved. aα + γ < aα + γ = aα + γ α + γ α + γ. Remark 1. The coclusio of Theorem 6 are fulfilled for fuctios g i : [, 1] R, i = 1, 2,..., 1 such that C 1 τ γ i g i τ C 2 τ γ i for some costats C 1 ad C 2. From theorem 6 immediately follows. Corollary 2. Let R be a domai with σ-hölder sigularity. The the embeddig oerator W 1, x α L s, x α is comact for s σ α σ 1 + α 1. Here s, sice < α + γ, σ = γ 1/ 1. Let us comare this result with the kow oes. From the mai result of [7] it follows that for a arbitrary domai with σ-hölder sigularity the embeddig oerator is bouded, while W 1, x α L s, x α s + α σα The s > s while σ > 1, ad s = s while σ = 1. Hece our estimate is sharer. The ext results deal with embeddigs of classical Sobolev saces ito weighted Lebesgue saces. Theorem 7. Let R be a embeddig domai ad there exists a, -uasicoformal homeomorhism ϕ of oto bouded domai. If r r s Jx, ϕ wϕx < +, for a air of umbers s < r < the a embeddig oerator i : W 1 L s, w is comact for r < / ad is bouded for r = /.

16 16 Proof. Because is a embeddig domai, -uasicoformal homeomorhism ϕ iduces the bouded comositio oerator see [18]. Because ϕ : W 1 W 1 r r s Jx, ϕ wϕx < + the comositio oerator for Lebesgue saces ϕ 1 v L s, w A r,s, w v L r is bouded also. Fially we ca coclude that 1 If r / the the embeddig oerator i : W 1 L s, w is bouded as a comositio of bouded oerators ϕ, ϕ 1 ad the bouded embeddig oerator W 1 L r ; 2 If r < / the the embeddig oerator i : W 1 L s, w is comact as a comositio of bouded oerators ϕ, ϕ 1 ad the comact embeddig oerator W 1 L r. Aly the revious result to aisotroic Hölder domais. Theorem 8. Let 1 < < γ ad 1 s < α+γ, the the embeddig oerator γ is comact. W 1 H g L s H g, x α Proof. Similar to the roof of Theorem 6 for ay < a < 1 we defie a homeomorhism ϕ a : H 1 H g, a > by the exressio ϕ a x = x 1 x g a 1x,..., x 1 x g a 1x, x a. urig the roof we will choice a umber a ad the corresodig homeomorhism i such a way that the coditios of Theorem 7 will be fulfilled. By simle calculatio we have ϕ a i x i = ga i x x, ϕ a i x = x ig a i x x 2 + ax ig a 1 i x x g i x ad ϕ a x = ax a 1 for ay i = 1,..., 1. Hece Jx, ϕ a x = ax a G a x. By defiitio fuctios g i, i = 1, 2,..., 1 are Lischitz. So there exists a costat M < + such that g i x Mx ad g ix M for ay x [, 1] ad i = 1, 2,..., 1. Usig estimates for derivatives ad the ieualities x i x that are correct for all x H 1 we obtai the followig estimate ϕ a x c 1 x a 1. I the same way we obtai also the two-sided estimate c 2 x αa ϕ ax α c 3 x αa.

17 17 Now we ca check for which the homeomorhism ϕ a : H 1 H g is a, -uasicoformal homeomorhism. Let us start from the followig estimate I a = K, H 1 = ϕa x H 1 1 x C Jx, ϕ a... Hece, the uatity I a is fiite if or x a 1 x 1... x a G a 1 x = C 1 x a 1 a+ + 1 G a a 1 a + + aγ 1 > < / aγ + a. x. Hece, the homeomorhism ϕ a is a, -uasicoformal homeomorhism. Let us check the coditios of Theorem 5. First we have to estimate the degree of itegrability for Jacobia J a of the homeomorhism ϕ a : J a = r r s Jx, ϕ wϕx H 1 C 1 x... x x aα+1 r r s G a r r s x The itegral J a coverges, if or C 1 aα+1 r aα + 1 r s + + a r γ 1 >, r s aα + γ s < r. Hece, the coditios of Theorem 5 are fulfilled if r r s + 1+a r r s γ 1 x. Therefore s < s < aα + γ r, r < ad < aα + γ < aα + γ aγ aγ + a. = α + γ γ.

18 18 4. Sobolev embeddigs for saces with high derivatives This sectio is devoted to embeddig theorems for weighted Sobolev saces with high derivatives. If for some m ad a embeddig theorem for classical Sobolev saces W m is correct the, usig a stadard rocedure, it is ossible to obtai the corresodig embeddig theorem for m 1 m ad 1 also see, for examle [9]. Here we adot the scheme of [9] to the case of weighted Sobolev saces. The ext lemma is the mai techical result of this sectio. Lemma 3. Let be a domai i R. Suose that for some 1 ad 1 the embeddig oerator W 1, w L, w is bouded. Let ad 1 > 1 1. If is such that the the embeddig oerator is bouded also. 1 1 = 1 1 W 1, w L, w Proof. Let a fuctio u belogs to the sace W 1, w C of the embeddig oerator W 1, w L, w we obtai the followig estimate. Usig boudedess 1 u wx = C 1 u wx u wx u wx C u u wx u u wx. Alyig Hölder ieuality we get 1 u wx C 1 u wx u wx + 1 u wx u wx.

19 19 Because = we obtai fially 1 u wx C 1 u wx + 1 u wx u wx. Sice 1 = 1 the u L, w C u W 1, w. Lemma is roved. eote m, = su{ R+ : the oerator W m, w L, w is bouded}. The followig statemets ca be obtaied directly from Lemma 3. Corollary 3. If is a bouded domai i R,, the 1, 1, 1, 1,. Corollary 4. If is a bouded domai i R, ad m > 1, the m, 1, 1, m 1,. Proof. This corollary follows from the revious corollary by iductio with resect to m. Combiig Theorem 5 ad Corollary 4 we obtai fially. Theorem 9. Let domai R be a embeddig domai ad there exist w-weighted, -uasicoformal homeomorhism ϕ : of domai oto bouded domai. If for some s r / the followig ieuality is correct the a embeddig oerator r r s Jx, ϕ wϕx < +, i : W m, w L s, w is bouded, if s s s ms.

20 2 5. Solvability of degeerate ellitic euatios I this sectio we aly a embeddig theorem for Hilbert Sobolev saces W2 1 to a degeerate ellitic boudary roblem. Theorem 1. Let R be a uasiisometrical image of a embeddig domai ad wy 2 dy < +. The a embeddig oerator i : W 1 2, w L 2 is bouded. Proof. By coditios of the theorem there exists a Q-uasiisometrical homeomorhism ϕ : of the embeddig domai oto. For ay fuctio u W 1 2, w the comositio u ϕ is weakly differetiable i domai, ad the followig estimates are correct for ay 1 2. u ϕ W 1 = 1 u ϕ + 1 u ϕ u ϕ Jx, ϕ wϕx 1 2 Jx, ϕ wϕx 2 + By the Hölder ieuality we have 1 u ϕ x Jx, ϕ wϕx 1 2 Jx, ϕ wϕx 2 1. u ϕ W Jx, ϕ wϕx ϕ x 2 Jx, ϕ wϕx u 2 ϕxwϕx Jx, ϕ 1 2 u 2 ϕxwϕx Jx, ϕ Sice ϕ is the Q-uasiisometrical homeomorhism, the by the chage of variable formula i the Lebesgue itegral, we obtai u ϕ W 1 Q wy dy u 2 wy dy Q 2 + wy dy u wy dy 1 2 = Q Kw u L2, w + Q 2 + Kw u L 2 w.

21 21 By the revious ieuality the comositio oerator ϕ : W2 1, w W 1, 1 2, is bouded. Sice is a embeddig domai there exists the bouded embeddig oerator i : W 1 L. Now we choose a umber such that 2 = 2 i.e. =. +2 Sice ϕ is the Q-uasiisometrical homeomorhism, the followig comositio oerator actig o Lebesgue saces ϕ 1 : L 2 L 2, is bouded also [18]. Therefore the embeddig oerator i : W 1 2, w L 2 is bouded as a comositio of bouded oerators ϕ, ϕ 1 ad the bouded embeddig oerator i. efie a ier roduct i the weighted sace W2 1, w as: < u, v >= u v wx, for ay u, v W2 1, w. Cosider irichlet roblem for the degeerate ellitic euatio: i a bouded domai for the weight w C 1. divwx u = f, 1 u =. 2 Theorem 11. Let f L 2 ad wy 2 < +. The there exists the uiue weak solutio u W 1 2, w of the roblem 1, 2. Proof. The fuctio f L 2 iduces a liear fuctioal F : L 2 R by the stadard rule Fφ = fxφx. 1 By Theorem 1 there exists bouded embeddig oerator i : W 2, w L 2. Therefore Fφ f φ L 1 1 f L 2 φ L 2 C f L 2 φ W 2, w. Hece, F is a bouded liear fuctioal i Hilbert sace W 1, w. By Riesz reresetatio theorem [2] there exists the uiue fuctio u W 2 1 2, w such that

22 22 Fφ =< u, φ >= u φ wx, or u φ wx = fxφx. Therefore u is the uiue weak solutio of the roblem 1, 2. REFERENCES 1. Kufer A. Weighted Sobolev saces. Leizig: Teuber-Texte fur Mathematik, Turesso B. O. Noliear Potetial Theory ad Weighted Sobolev saces. Berli: Sriger. Lecture Notes i Mathematics, Gurka P., Oic B. Cotiuous ad comact embeddigs of weighted Sobolev saces. I.// Czech. Math. J V. 38. N P Gurka P., Oic B. Cotiuous ad comact embeddigs of weighted Sobolev saces. II.// Czech. Math. J V. 39. N P Gurka P., Oic B. Cotiuous ad comact embeddigs of weighted Sobolev saces. III.// Czech. Math. J V. 41. N P Atoci F. Some ecessary ad some sufficiet coditios for the comactess of the embeddig of weighted Sobolev saces.// Ricerche Mat. 23. V. 52. N. 1. P Besov O. V. The Sobolev embeddig theorem for a domai with a irregular boudary.// oklady Mathematics 2. V. 62. N. 1. P avid G., Semmes S. Strog A -weights, Sobolev ieualities ad uasicoformal maigs.// Lecture otes i Pure ad Al. Math V P Gol dshtei V., Gurov L. Alicatios of chage of variables oerators for exact embeddig theorems.// Itegral Euatios Oerator Theory V. 19. N. 1. P Gol dshtei V., Ramm A. G. Comactess of the embeddig oerators for rough domais.// Math. Ieualities ad Alicatios 21. V. 4. N. 1. P Vodo yaov S. K., Ukhlov A. Set fuctios ad their alicatios i the theory of Lebesgue ad Sobolev saces. II// Siberia Adv. Math. 25. V. 15. N. 1. P Burekov V. I. Sobolev Saces o omais- Stuttgart: Teuber-Texter zur Mathematik

23 Stei E. Harmoic aalysis real-variable methods, orthogoality, ad oscillatory itegrals Priceto: Priceto Uiv. Press Kilelaie T. Weighted Sobolev saces ad caacity.// A. Acad. Sci. Fe. Ser. A. I. Math V. 19. P Heioe J., Kilelaie T., Martio O. Noliear otetial theory of degeerate ellitic euatios Oxford: Oxford Uiv. Press Maz ya V. Sobolev saces Berli: Sriger Verlag Gol dshtei V. M., Reshetyak Yu. G. Quasicoformal maigs ad Sobolev saces ordrecht, Bosto, Lodo: Kluwer Academic Publishers Vodo yaov S. K., Ukhlov A. Set fuctios ad their alicatios i the theory of Lebesgue ad Sobolev saces. I// Siberia Adv. Math. 24. V. 14. N. 4. P Vodo yaov S. K., Ukhlov A. Maigs associated with weighted Sobolev saces.// Cotemorary Mathematics to aear 2. Riesz F. Sur les oeratios foctioelles lieaires.// C. R. Acad. Sci. Paris 199. V P