topology & sobolev spaces - brezis

《topology & sobolev spaces - brezis》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、TOPOLOGYANDSOBOLEVSPACESHaimBrezis,(1);(2),andYanYanLi,(2)Section0.IntroductionLetMandNbecompact1connectedorientedsmoothRiemannianmanifoldswithorwithoutboundary.ThroughoutthepaperweassumethatdimM2butdimNcouldpossiblybeone,forexampleN=S1isofinterest.Ourfu

2、nctionalframeworkistheSobolevspaceW1;p(M;N)whichisdenedbyconsideringNassmoothlyembeddedinsomeEuclideanspaceRKandthenW1;p(M;N)=fu2W1;p(M;RK);u(x)2Na:e:g;1;pwith1p<1.W(M;N)isequippedwiththestandardmetricd(u;v)=ku−vkW1;p.Ourmainconcernistodeterminewhethero

3、rnotW1;p(M;N)ispath-connectedandifnotwhatcanbesaidaboutitspath-connectedcomponents,i.e.itsW1;p-homotopyclasses.WesaythatuandvareW1;p-homotopicifthereisapathut2C([0;1];W1;p(M;N))suchthatu0=uandu1=v.Wedenotebythecorrespondingequivalencerelation.Letdenotep

4、theequivalencerelationonC0(M;N),i.e.uvifthereisapathut2C([0;1];C0(M;N))suchthatu0=uandu1=v.FirstaneasyresultTheorem0.1.AssumepdimM,thenW1;p(M;N)ispath-connectedifandonlyifC0(M;N)ispath-connected.Theorem0.1isbasicallyknown(andreliesonanideaintroducedbySc

5、hoenandUh-lenbeck[SU]whenp=dimM;seealsoBrezisandNirenberg[BN]).OnecanalsodeduceitfromPropositionsA.1,A.2andA.3intheAppendix.Since,ingeneral,C0(M;N)isnotpath-connected,thismeansthatW1;p(M;N)isnotpath-connectedwhenpisarge".Ontheotherhandifpismall",weexpectW

6、1;p(M;N)tobepath-connectedforallMandN.Indeedwehave1SeeRemarkA.1intheAppendixifNisnotcompact.12SECTION0.INTRODUCTIONTheorem0.2.Let1p<2(andrecallthatdimM2).ThenW1;p(M;N)ispath-connected.OurproofofTheorem0.2issurprisinglyinvolvedandrequiresanumberoftechnic

7、altoolswhicharepresentedinSections1-4.Wecalltheattentionofthereaderespeciallytothebridging"method(seeProposition1.2andProposition3.1)whichisnewtothebestofourknowledge.Remark0.1.Assumption1p<2inTheorem0.2issharp(forgeneralMandN).Forexampleifisanyopencon

8、nectedset(oraconnectedRiemannianmanifold)ofdimension1,thenW1;2(S1;S1)isnotpath-connected.ThismaybeseenusingtheresultsofB.White[W2]orRubinstein-Sternberg[RS].Thisisalsoaconsequenceoftheresultin[BLMN]whichwerecallf