topology & sobolev spaces - brezis

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

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

2、meworkistheSobolevspaceW1;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.OurmainconcernistodeterminewhetherornotW1;p(M;N)ispath-co

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

4、.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(andreliesonanideaintroducedbySchoenandUh-lenbeck[SU]whenp=dimM;seealsoBrezi

5、sandNirenberg[BN]).OnecanalsodeduceitfromPropositionsA.1,A.2andA.3intheAppendix.Since,ingeneral,C0(M;N)isnotpath-connected,thismeansthatW1;p(M;N)isnotpath-connectedwhenpisarge".Ontheotherhandifpismall",weexpectW1;p(M;N)tobepath-connectedforallMandN.Indeedwehave1SeeR

6、emarkA.1intheAppendixifNisnotcompact.12SECTION0.INTRODUCTIONTheorem0.2.Let1p<2(andrecallthatdimM2).ThenW1;p(M;N)ispath-connected.OurproofofTheorem0.2issurprisinglyinvolvedandrequiresanumberoftechnicaltoolswhicharepresentedinSections1-4.Wecalltheattentionofthereade

7、respeciallytothebridging"method(seeProposition1.2andProposition3.1)whichisnewtothebestofourknowledge.Remark0.1.Assumption1p<2inTheorem0.2issharp(forgeneralMandN).Forexampleifisanyopenconnectedset(oraconnectedRiemannianmanifold)ofdimension1,thenW1;2(S1;S1)isnot

8、path-connected.ThismaybeseenusingtheresultsofB.White[W2]orRubinstein-Sternberg[RS].Thisisalsoaconsequenceoftheresultin[BLMN]whichwerecallf