Scribd Logo
Upload

Welcome to Scribd!

  • N.S. Trudinger, An Imbedding Theorem For H0 (G,) Spaces, Stud. Math. 50 (1974) 17-30.

    Uploaded by

    Andre Lima
    11 views8 pages

    Original Title

    [29] N.S. Trudinger, An imbedding theorem for H0(G, )spaces, Stud. Math. 50 (1974) 17–30.

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    11 views8 pages

    N.S. Trudinger, An Imbedding Theorem For H0 (G,) Spaces, Stud. Math. 50 (1974) 17-30.

    Uploaded by

    Andre Lima

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 8
    © tho, nd IP. Pates Be Peeing Sea vo Shao, 0 in a an 0 on ns) om on on on cs eee ee Te ae raumtmtne mee SEIS nie eta iat it EE 2, ca mt me, ts 1, SEE Rancenlehi, Pine veg 0 Ontrenganyn rae) Landsberg, Che a pate hmpale A0unpn, Math, Aan. 154 (ety saa SPRL Rludrch, Dr pun Bigs hope AMtnngen in pets Paces, Made Am. 3000), 890, Srlnermaua, Cher Diente tnatiet iiungen te sor ate ly Deity et mt Henn ot ESRC fe Rega Pa a tt rn oe, 2h iow ly, 2. Uae Don 1 HH, 5 a 03 0 ldy, Wi. Toh Cr Fattrtonon esis Ton, Cabra te Boutin Bar Tween dnp nr Vf ona ‘hase gt Bei Aap 36,108 x servi warmuamies, 11 929 ‘An imbedding theorem fr H°(0, 2) apes NULLS TRUDIORR (Lain, Ant) sar tn ie ey) ne eee Stereo inte (0) by the tng he) arm of hn gan of fneone aye haa spn ogra eden oe See pn fe 2) wh net pie sig tn oe § 1 Introduction. In to yop) buding theres ace sabe tor Orlcr Sobol spore. Tn te rent paper, me conser regenera flaw of pacer which pera Giferet tng beharnat of drtaives fe ifrenedvclone and we dre the spytopeate ibeding ino ‘tended Ove spas. The rors extend tote [1 and the techniques ‘we nploy ut on the wales efiement an extension town neon hore. Theoret I, ad espa ets wile we teat, canbe Vowel nt lucarting extension of the wellknown Seber imbedding Shearer. "Thabo ofthe yoper vied Into eee etapa Bection ne dvs the convex fonction called funtion, and he paces Zi, 2) 1a terme uf whlch the imbding there atin Seton 3, we introduce the (0,0) vguese and dco tbe Seda taxon, Thea 1, together with me sppletne. The peal of the mala theare i tinally sapped a Beaton 4, alg wih bet sreatzeat of possible extension, $2. Gmetios and (0,0) pas. Int FE denote m-dnenional int pacts A fanion 2 R=, oo} wl be ele” 6 felon ‘i ya eaten the allowing proper: (a0) 6; (8) (rm) tH te) = (i) i mse, thay Olin st iy) Ata AI) for at 0261, eye (iv) © is apatite) = Gl) fr all ee; (9) (ox) bs tana sway foe (0 Tower senieontisaon. ‘A Getantin of oe varie wil be calle 8 Yowny foto» oe (0). Typical examples of une fancions age ti yin HE aac, evi, eyed ye) a Gttons ot wales ww rll eanatrcted front Yong fone tans Bor exannp we have the flowing: a, 4) vated (00) 6,0) ~ AUD, al = Saien 7 0) 7 60) where Ay dof My om ae Young felon. "Pho dn ot @fanttne een inleds the dst of even gnealza 2 foptions teat in 6] fe also (8) and (8 The later es eons of G@fnetions adylng (0) = 0, (0) = oe, tom “EEL togetter with a uniformity condition whieh for example cies the faction Gy talon le yoy 2 "for any to (function, dy, ly there eit non-negative amber: an Each tat o lo) Oaths) tor wl a> 6 ‘then we wate y-36y IE 0, 24 sd y 20) we ite ~ty an tall @y and, ertet. By vitae af proper () andl, thee Wl fit for any uation, non-negative and tng ° salle) for wie, hat yy 3 where yy (0) = is Any Gstontion alo gives vite to ‘Young tonethns fy typ my and @ A) ~ 10) Oyo fd hoace we obtain fate tention, 2, gen by ra(edy Sa 0 n ey - Seen 101 = Sey. 4 tig ar for HO, 2) pa yt sae 6 hv o 10) 8m so that @ For many @-tunctions incuaing tho generalised fusions ‘(8 @ aot aro im et eqvaent an exon where thie ot the Oe20) = timate ‘he voniuate function G* of » Garton le defined by @ 6°) = pap te 9-019. Bro proper (to (8) of follows that Gi aio a faction and GG ee (3, Seaton 12. Prom (6) mo bias immediatly goneral- fast Young Inequality o SY SOCIO), for all eyyeR, 4 further conjgate fanetion, 3, may ao be defined by 6 2 = mp 9G), ‘arly < and into inguality (7) we may eeplase "by OF provided y stifles 9,20 Examples of conjugate fonctions. Refevag to the previowly en exnrpln of Gomes, weave son whee 243 % iF eer tle) falloe i, a) ~ te) = AG, ° 2 a0) = 40) = Sarton, hte) = 09 = ale "Phe L(G, 0) wpaces at Diem dowain in yay y h be mes able fants ony = (Uy any Hy) and» function” The space LG, 2) he deli. by 14,2) ~{o [Glenae< m to we o>) More generally, we onl reptie by any ive easure moe. A norm, ‘sonlgoas tothe Leeembang nar Tor Onlee pace Into (G, 2) by detining a mateo fo(3) ees By property (si ot we have for I> 8 o Jol ‘That fy dose in tat stify the requir cantons for » norm {allows from propre) ti of 6. The veriation whieh Illa athe Oalee ‘yc a (8) et othe rade to sappy. Patheror, fom Snoqnaey {@) we abtoin for we (0, 0} nod wo a Jinites RLF ca sa that L(B, O40) 0) < co. Wo ato hae and in Ya segul serve ‘indeste continous imag. One ca then eondade that 0, 2) a Banach apace fr arbiary 2 ‘CG is Young tonetin, wo cll L(G, 0) an ended lee spe le it in walt 0) 8, Om) =m in Law, tn) 20, te 202) on Os Rigo the Fev cng anton, we in Liye, @) = D0), HO, 0) = (Ed, aT, 14, 0) = [] 21s 2), E16, 21 = 240). Byuialnt @-unetion: yl the vane £(@, 2} space when 12 ite Sod for arity fe, = OSs the condition (1). The above exams fal reduce to products of extended. Ones spac and thie wil bo toe for say Gfenition satisfying @~0 nd 2) = 2 or =O ith = 0 Jn) By (Oy we always awe Li@, 2}-+E16, 2) with ino < ming we A@, 2 An iting har fo 0 pes a “Fro the inngulity (7) lone goteraied Haler inequality as) furtde< volte for all we L(G, )y v« 0", 2). I the components of Fare non-negative, ‘we can noplace 6° by @2. although OF he not neatly 8 Gsantion, lemnlae (0) and (1) sti make sage tar w, > 0. "Sow it bes Yonny fnactio and saype that (0) < for |<, A) = stort N'whee oc n-BY the cain of 0 (0,3), swe havo for any ve L(A, 2} wit inks #8, oe Jalae- orthermore if N'< sd, 2)<"Fal) and if ao 10] < om then Za, 2) = D9) ith a9 A120 VoL Smpis Ny wee take 4-1) = N for f> AUN), Ta general, we will have by iri ‘the dition a the conjrste A", 0) reaha tye at tor 16, Further yrpertics of the L(0, 0) spaces rach at dualty may be Aeveepe following the ne of (8) u (0) The above treatmen, However, Sr aie for the purpows of this pape. § 3. The imbediing there. Let domain in Rand 0 8 @tune- tion of » rriabln. Then an Pee) = Hale 1a norm on C32) where we ave ured Du forthe gradient of w Tho face 11(0, 2} sdf tobe te completion of C20) ender (x) By the timate (2) he lente af (0,2) can o ented as weakly ait {eatiable fusions sad when [2] < cow wil have HP(@, 2) WP (2) trie WE (a) inthe Soar space H(p, OD}, yla} i In tet tor ig) = 1 pw HG, olin ihe eer poe 2712) So move geenlly when (2) ~ Bat) where isan function, 2"(G, 2) {ete Over Sebolor apace Wig} (e (])- The objec of our retent ‘Work jh to determine tbe tended Orlox spaces Into which (6, 2) Jtecontinaouty bedded. Toward this goal we hav the fllowing generat mon Lal f= (fn) where fy ve continous, now nening, swdeanig fotiona on (0,0) satifyng a Oris} 5 ay fo ee (29) tor eft)” Then (G, Q)-=L(A, 0) for any Young funtion A ttfying @ eeu ac {for some constant Burtharmore thar eit «canton © depending ly ey Iw, eta for al wo 4G, 9), An immediate comtequeace of Theorem 2 ic te towing Coonornanr Lf on ation othe Repth of Teron we a ane eo she 1,8), Betrr, fo #0 0 7a oo space Caray follows by vireo th exinate (5) andthe competent ot 1510). ‘Thre it an optimal way’ of choosing the fenton f la There 1 “Namely we role that eqelty bol in (28) and that 7% ‘equatly a wl be evidenced in tho examples Blow, a Young tnetion ‘qutalnt to amy otal soph hi roel ef yp ar |0} < 2 he condition (19) xno gute to xan he ab ing H°(G, Oy L(A, fa ths condition sab flected by fhe rplee- 2) fe 7) = constant. An ining har for H0, ) pee * ato by an exeivatent tention. Of eoune then the farm finegeaity (23) wealdetuuge, For [2] the rstrtion (1) ill be nee “appliestions Let O(e) — Rls) where 2 ix « Young fonction, We bare then (G2 (a) = Bin) no that we my choo fin =e, Conequenty mi) eat. (= eat Dasning eo) one swe ave My negli (6), Tr 29 Shot provided Weminc min, #0, HG, Dy-sE(A, 2) toe wwf Wyte etinte 3, v0 hae Was Oe Waly fur any we 74,8), Tl ago ih Taro 2. 8 (i) Let @(e) Sa where By, 6 = 1.4 are Young fonetions. eS " Ga) — Yate ‘so that we may choose “ nw -1(2) Conequeatly ene, provid fas<~ see have HG, 2) 4, 2) oe oom = fH. 00 = a5 theron, for say HIG, 0), es oe < oto iting Ores 1, we a0 tha i 2] < se ad Fasc then 6, 2)--0°) {I he previo example we take By = Pay 1 <0 9, whe ByG) = ity 10,< 0, = x o Fo) =valeh tat in he prt eta o De (2), ‘ne, we ay are oy Iain< Sooty < atom Let deine a, string 1.< 0% c, by ng for BG, pe » ne o oles by (22) and (30) for aay we 3, 2), Hann we have Sider, le . fer" ope that or <1, 2) 2 he i) = 2 a Ari aa Lamy to hat fo 2) < 2 1, 0)» T tht ye ete Yas talaga opm de ts sq fe Singer erat wnt eyo sre Oceesty ‘ite Sont warps or sufsenant dane es Skependeace on 0}, we colder trabsfomtion of cordites 7: Piven by 5 * hea 22 = 2 wo Rav os Presa = 10 MDE ayy Hiace we obtain for a>, we H(O, 2) Sia es) sap aon 10" ‘whle for a = we have (0) where «(ess es) Gln) are pilire constants depending ob Abie Tait nrgomente. The ibeings for ti anc acy a> 0 were Gurved by Nikola (4) by completly tent means Sn uionequsin fo in lation to Theor yf what 000 tions the rst oil, ute, (2) sth nals extended Ose {ce ato which 27,2) eed. We knew from te Sobelur pace ne that the melt apn fr G2) = [eh a a Dut not fr Bla) iat Te the ltr cane HUG, LUA, 2} where en Agar su hi nbn arp (2, 1 ‘Syncs of higher onder deities my’ be define aslogonly to the (Gy 0) rpc. let Fe a nonsnugaive tog and Ga tention af ‘vata, Wiking py where ni a utdex of feat for gnele Doin in HO, we ca dtne mormon C20} by st wr 68) ‘and complete G80) under (3) to get a Banach space Hi(@, 2). An Fbotilng thooes fr (6, 2) would the follow by tration ofthe hoo b= gent frtla wold be oxeutingly conpleatl to wate (down bat petal ce cane veadty derived. For example, i Nas (0) ours) = SPW), 15S sero Pi eine by (20), hen sting a 2-3 2a Oe pele ayer) « At bp = and [Oy a0 HO, 2-200) ip» ond (2 < 4. Proof af Theorem I. he kay cle lon he eat the toting exes f the Sollee Snbedding tare forthe axe U2 =i LIDOL 2. Yor 0-235 2 lt Bm (By oi) ele Bye C0, (0) =0, hin Bi) = a, HO, 18m Wig setfyay! 18 tne fr BB, 2} spe = 10 lace, for any with wap <3, yea Ref Samat ain J mawnidiside for every 6 Hones ° we BUM? ll sina wena) ‘We now intgmte the estimate (42) rucssivey over cach vviablo ty sopping at etch tage te flowing extension o€ the Sdbmareneqeaity “s) SFjx<(ff fv Conaquents, we obtain =k [ Sircwoinmite a ‘The yrat of Theorems wl ow be accomplibed by making pete ‘hoe of toe fictions Ba Lemma 1. Te eis fo choo to matsiy wy ‘men dtferntting (4), we obtain Arata) = flea wo nt [Now lt me deine : o an = fa lainae ‘men by inegaality 45) “ eaf3}a nd Dy Inequality (28) () eye. ‘The Sanctions By wil Slay autaty the bypoteses of Tamm 3 for wo enon i w+ (0) aa ouplal t, 3) w-| semen, stiwst1 for 6<1-

    You might also like