You are on page 1of 5
STUOIA amr, Y LxxIy. aes) Some approximation propertos in Ors Sobley spaces wy SeaNcernner GoaeEe dren) ‘Sets ivavng the ofuiaesonrugets am psn, we ney ‘an ints cnr ay nna onary Statement of ress. Tet Zy(2) be te Orlior space om an open xbsst 2 of R” conesponding to an function A aod let By(G) de ‘the nor close in Zy(0) of the Z=(Q) fanetians with compact Fupoet jn D, Th Soboler spe of fanetins roch Tat snd ta stetooa evivatives ap to order m Ue in Ly (2) (0p. By) Se denoted oy Wer) (rsp. W°By(2}). Standard reereocer sat these spaces studs [ay (1) (2 “A wall nown tacorem of Meper-Serin [13] states that for 1

0 and sevense uy 20°(G)aW "Ll O) auch that for lel cy ee As wil be seen nthe pro tues to cove Rauch that 16/2 Dh <¢y(0} foro) =m, where 24(0) denotes th Osis eats, Consaguetly, ‘when we Wy), 1 can be taken ssbitrary eal si we Tove from Theorom 1 ho real of (4] mentioned above, "he apace Wy} wil bs, — ‘seated with a subepce ot the produ J] (0) = []Zy. Dencting by ST the 2-untion eon toto I, we eraider the wen topologies of] Dx [T Ba 20d ([T Le II in). Density eet nvaring he lee BAY a mportant sol th ‘xsttuee theory for eronelynoniesr Doondary value problems ( (82 {stp Comparing the nodair convergence with o{f] Za, [] Za) (Lanna 6 bow, we obtain te ‘allowing onariawy 2. C°(Q}AWLy (A) se off] Las I] Em) deme in Werytah i now tum to the approximation by funetone whlch are ant vp to the boundary, assuming stne negulasity on. Row thot 12 ie Tid to have the spmen! propry If tharo exist an open covering {U)} (FD and corresponding vectors {y, 8°) such thst, for #8 Ur, nd Octet, eyed; @ bas tho cone propery if thre exes w finite fom @ rach that each 2 i tho verter of 8 cone (<0 congrawat 400, St mas prov in [3] that 2 has tho sogent property, then 312) 18 e(f] Zar IT Ep) dente Sa Wy), here 3D) donoes the vsti ‘ons to of the fosetins in.) This is improved in oar next rst ‘under the somuaption that 2 alo as tho cone property. ‘Tuxoun 9. Seppane that cate Bh the segment andthe one propery. at © WL) Then tee eet > Vand vopunce vy © 210) ch that for elm JMU —Drayajs0 ae bees ‘The proot wil show that i ution to chose Z such that 18(47+2)2 Dru ed yl) Sor [oem Moreover, the cone property Se only uHel % fqursste thet an someat ee W'Ey(d} with compect sapport in D {is tn (2) (the imbodalng shone of [4] sples# © O()AL"(0} ot te Dy) with Mon Rluaclion wh, By Lamm 44 of (8), eros ‘seen more aspldiy then 20, aud a6, aby cit ve Zt} his fer probebly holds under » yenker sammpéon on. Anysy, aking ‘gain aritrary anal, se rooover tom ‘Theoren 8 the emis a (6) ‘at I 2 has the pment propery, then 9) i borm dense in WE (2 Finally we comer the aasiogso of the We" econ, WPLy(2i 1s died ue the olf] Li [] Bn) loro of 92) in Wy (2) a0 WEEy(O) ae the norm slow wf G(2) WL y(O} (or equally i WP (2). When 02 is aficently regu, ose ean dine the tee 0 £0 of Du for we Wy) ad lel m1 and prove thatthe fone. tions tn WP vy() es. W3 (0) are prea howe WZ) (aesp, Wey (al) whoee tee atid neal Gervais upto order 2 20 ani (19D. Some epprocinaton pope in Orn ht spans = 8 usomat 4. Suppose at O safer the segment property. Lat We'll Gy Thon there eet 1> 0 and a uguene oy ©8(0) suck Dat for lel, JMor Teo a Kew. ‘The some estinata om 398 in Theoren 8 holds here. Thre in roves our rst of (8) tnt if 2 bas the eogment propery, then (2) 4s olf] Tac I] x) se in W3 Ey), "The ‘prov of the, Wed (Gy seals of (4) reered to shove a8 well ‘8 Bose ofthe off] Ly, [] x) verso of Thearena $ and & ven in [8] ‘te ratner sapla wodlflentons ofthe ewndand prot, No get Cala 2or Mhuorems 1,2 and 4 requis more ‘avaived callin, although ‘the construction ofthe approsimants asta the ase. An inegaalsy ‘whieh willbe tied repeataly a(Sr)er* ating ‘hate 2% sna + i the maximum aunber of nosaeo 7s, Whan to ‘in orginte from 9 pariti af unity, « catrel on r am be obtained, ‘ons single topological considerations (Lemna 7 below) ‘rool, Given function wa), wo danots Dy uy is ranslate (0) omy), by sits regularization 4 — weg, wher ee”) 3) 0 for i>, 40 und [-q—1y and byw, the fnaton w;-— 9 wher pa) = go) with p= 9), 0 pe, ) — fr Joh <1 and tla) 0 for (si >2, The faliowing ierine wil be Desde. amc 6. If we L(Y) with Mu 2B, them f M(4y—w) 0 4 00 and £69 —¥)-0 oF B00 wey fe, (24-8) root. Wo consider mj the cae of my is treated sinariy and that of ois tmmedits, Since yo in F004, one has, fora subsequence, yoru ne, and wo M(aj—u->0 a. Moreover, Ae oa) AMEE) + HD) < HaHCOW +E) ‘whore we have ved Jensen's integral inequality. Sino (4(2e-02 (24) SUR") we conlade by Will's hearer that (ay) +01), ‘ins we ese that for any we Zyy(R™) oye with reapect co the rodalarconvegence Le. ther xsts 0h that oy—W) i}. ‘i general, 4, does not converge to w in the mean a. the above with 21) and @ foion In noms Te 6 By), then 2u/he-2g RY) tae aU 250 sud by tsking 2 abltary emall, wo eventually dvive trom Lemon tnt ooverge to innova,» elt oily given in (2), Sinar remark apaly (Dy Proof of Theorem 1, Lat we W'y(2) and choote > 0 each ‘iat Iara e Ly (0) for alm. Let > 0, 2 We ll prow that there ele ¢0"(2}a0MZy(2) seh Oak o fMere—areya) ce fo cm Dain fF 622, 2m le0 wit aad di 20) > 20, tod any fe core, = By = y= Lt (pg f=, 2-3) SOO pall et tly oh a a sappy 8 Nl TE Or ah ete eg ® seein, ® Winton Drae os Jaren 0. Thus for a sabe equine, y+ Ao, in Take « ey(O}- Malptying o by a waitalo ‘constant, we can assume J0 ¢y(0)- By Youngs ineqalty, y= sel ay—an.8)+Fae, ‘eH ine, by Va’ theorem, tat fo —W)e-+0 ‘Tha yrots of Thcoroms 3 and 4 ee the following emma fu gener tology Tino 7, Ze oa led ult of and tt (0) bo an open eoeing ©f A. Thon (U)) con be refined it a Teal Fite oun oper evering {Vp} fA with he property ha at most 7-44 dnt; havea nonempty inireaion. ec fallow fom the fact Wat ho covering dimension of is LN fe [8 All wo noe actually Soe our purpoes isan einata on the ‘axinmm amber of intersting Vj wich is iodependent of -€ and tthe cverng (0) Such an eainste can be obtained azelly Dy el: Proof of Theorem 9, Tat we Wy(O) and choose A> 0 such that 168 #5) /4 Dewey) fo alm, We wl show tht for [m, © [ews—rrsin}oo rose wre ay = fhe fnstion Sale Tam 5. We wel to show that far cai F and far wach » > 0, nthe exits» © 210) sah that for alm. [Hews —Wrai)<. ‘The conclusion of Theorems 9 then follows eas. To venfy (0, wv woe Jreurs—vrejaycr [xr n wis sete YG) fata pnam or “ime isthe umber defined by (6) Bach term on the right hand sido soc to zro ng fore te fist ane by Lemma § and the tsond one By ‘inc canination, ‘To vexty (7) wo uo the covering {U) ot @ given by the sogment property. Reining (0) if necouary, we can assume that it aatioe he ‘ropere ested in Lamon 7 Im partic ¢= 1,2, ety bo 9 O° Darton of unity am subordinate to (0). Olay enppyr= 0 for tome open wt. T, with compact clomze Uz 0, Wree Ty = Uinél) and Ti, = F.~ty wero 4 the Yeotorasucated WoC, by the nxnent ‘ropety. Bete, eutaido @ by varo and note that ye, Yanihes Len ‘aly for # > some Not also that the translate (yi (0) = (wat “Fly 0-24-24, balnge to Wed JOT) and that, by the agent property, dit( Typ 2) 0. Lor eth tHe yonn iy howe Oe ed fd oj = ee 8. tty, sach thar (END hed Dinar AS < date toni for 3 yh th <5 and Joes savinnrsnge o — yeDea 8) 0) for which the maxinal function slo) map ita fn im Z2UR), Wo can dene ax 2 Saori" by Malay = Dot ‘Feiorman ond Btn showed that foray €2%,tms(, 9 in the sense of tampered distbutios and that f uniquly determines ‘ty. Wo niay thas dane 2 ae a syace of diteibutions with “norm” yg = Wag Se (81. "We eal's function O(2) 8 maton it (A) bin aupported on a cube @-< R. (0) Ihe 10 (10 8 the volume of @ (0) f Beare = 0 for it mottos a = (024-10) ith Jol = o1Fosby

You might also like